title: RPLHR-CT Dataset and Transformer Baseline for Volumetric Super-Resolution from CT Scans

abstract: In clinical practice, anisotropic volumetric medical images with low through-plane resolution are commonly used due to short acquisition time and lower storage cost. Nevertheless, the coarse resolution may lead to difficulties in medical diagnosis by either physicians or computer-aided diagnosis algorithms. Deep learning-based volumetric super-resolution (SR) methods are feasible ways to improve resolution, with convolutional neural networks (CNN) at their core. Despite recent progress, these methods are limited by inherent properties of convolution operators, which ignore content relevance and cannot effectively model long-range dependencies. In addition, most of the existing methods use pseudo-paired volumes for training and evaluation, where pseudo low-resolution (LR) volumes are generated by a simple degradation of their high-resolution (HR) counterparts. However, the domain gap between pseudo- and real-LR volumes leads to the poor performance of these methods in practice. In this paper, we build the first public real-paired dataset RPLHR-CT as a benchmark for volumetric SR, and provide baseline results by re-implementing four state-of-the-art CNN-based methods. Considering the inherent shortcoming of CNN, we also propose a transformer volumetric super-resolution network (TVSRN) based on attention mechanisms, dispensing with convolutions entirely. This is the first research to use a pure transformer for CT volumetric SR. The experimental results show that TVSRN significantly outperforms all baselines on both PSNR and SSIM. Moreover, the TVSRN method achieves a better trade-off between the image quality, the number of parameters, and the running time. Data and code are available at https://github.com/smilenaxx/RPLHR-CT.


title: TESS Hunt for Young and Maturing Exoplanets (THYME) VII : Membership, rotation, and lithium in the young cluster Group-X and a new young exoplanet

abstract: The public, all-sky surveys Gaia and TESS provide the ability to identify new young associations and determine their ages. These associations enable study of planetary evolution by providing new opportunities to discover young exoplanets. A young association was recently identified by Tang et al. and F{\"u}rnkranz et al. using astrometry from Gaia (called "Group-X" by the former). In this work, we investigate the age and membership of this association; and we validate the exoplanet TOI 2048 b, which was identified to transit a young, late G dwarf in Group-X using photometry from TESS. We first identified new candidate members of Group-X using Gaia EDR3 data. To infer the age of the association, we measured rotation periods for candidate members using TESS data. The clear color--period sequence indicates that the association is the same age as the $300\pm50$ Myr-old NGC 3532. We obtained optical spectra for candidate members that show lithium absorption consistent with this young age. Further, we serendipitously identify a new, small association nearby Group-X, which we call MELANGE-2. Lastly, we statistically validate TOI 2048 b, which is $2.6\pm0.2$ \rearth\ radius planet on a 13.8-day orbit around its 300 Myr-old host star.


title: Energy Consumption Analysis of pruned Semantic Segmentation Networks on an Embedded GPU

abstract: Deep neural networks are the state of the art in many computer vision tasks. Their deployment in the context of autonomous vehicles is of particular interest, since their limitations in terms of energy consumption prohibit the use of very large networks, that typically reach the best performance. A common method to reduce the complexity of these architectures, without sacrificing accuracy, is to rely on pruning, in which the least important portions are eliminated. There is a large literature on the subject, but interestingly few works have measured the actual impact of pruning on energy. In this work, we are interested in measuring it in the specific context of semantic segmentation for autonomous driving, using the Cityscapes dataset. To this end, we analyze the impact of recently proposed structured pruning methods when trained architectures are deployed on a Jetson Xavier embedded GPU.


title: On the impact of dataset size and class imbalance in evaluating machine-learning-based windows malware detection techniques

abstract: The purpose of this project was to collect and analyse data about the comparability and real-life applicability of published results focusing on Microsoft Windows malware, more specifically the impact of dataset size and testing dataset imbalance on measured detector performance. Some researchers use smaller datasets, and if dataset size has a significant impact on performance, that makes comparison of the published results difficult. Researchers also tend to use balanced datasets and accuracy as a metric for testing. The former is not a true representation of reality, where benign samples significantly outnumber malware, and the latter is approach is known to be problematic for imbalanced problems. The project identified two key objectives, to understand if dataset size correlates to measured detector performance to an extent that prevents meaningful comparison of published results, and to understand if good performance reported in published research can be expected to perform well in a real-world deployment scenario. The research's results suggested that dataset size does correlate with measured detector performance to an extent that prevents meaningful comparison of published results, and without understanding the nature of the training set size-accuracy curve for published results conclusions between approaches on which approach is "better" shouldn't be made solely based on accuracy scores. Results also suggested that high accuracy scores don't necessarily translate to high real-world performance.


title: Distributed Adversarial Training to Robustify Deep Neural Networks at Scale

abstract: Current deep neural networks (DNNs) are vulnerable to adversarial attacks, where adversarial perturbations to the inputs can change or manipulate classification. To defend against such attacks, an effective and popular approach, known as adversarial training (AT), has been shown to mitigate the negative impact of adversarial attacks by virtue of a min-max robust training method. While effective, it remains unclear whether it can successfully be adapted to the distributed learning context. The power of distributed optimization over multiple machines enables us to scale up robust training over large models and datasets. Spurred by that, we propose distributed adversarial training (DAT), a large-batch adversarial training framework implemented over multiple machines. We show that DAT is general, which supports training over labeled and unlabeled data, multiple types of attack generation methods, and gradient compression operations favored for distributed optimization. Theoretically, we provide, under standard conditions in the optimization theory, the convergence rate of DAT to the first-order stationary points in general non-convex settings. Empirically, we demonstrate that DAT either matches or outperforms state-of-the-art robust accuracies and achieves a graceful training speedup (e.g., on ResNet-50 under ImageNet). Codes are available at https://github.com/dat-2022/dat.


title: Featurized Query R-CNN

abstract: The query mechanism introduced in the DETR method is changing the paradigm of object detection and recently there are many query-based methods have obtained strong object detection performance. However, the current query-based detection pipelines suffer from the following two issues. Firstly, multi-stage decoders are required to optimize the randomly initialized object queries, incurring a large computation burden. Secondly, the queries are fixed after training, leading to unsatisfying generalization capability. To remedy the above issues, we present featurized object queries predicted by a query generation network in the well-established Faster R-CNN framework and develop a Featurized Query R-CNN. Extensive experiments on the COCO dataset show that our Featurized Query R-CNN obtains the best speed-accuracy trade-off among all R-CNN detectors, including the recent state-of-the-art Sparse R-CNN detector. The code is available at {https://github.com/hustvl/Featurized-QueryRCNN.


title: Realistic Gramophone Noise Synthesis using a Diffusion Model

abstract: This paper introduces a novel data-driven strategy for synthesizing gramophone noise audio textures. A diffusion probabilistic model is applied to generate highly realistic quasiperiodic noises. The proposed model is designed to generate samples of length equal to one disk revolution, but a method to generate plausible periodic variations between revolutions is also proposed. A guided approach is also applied as a conditioning method, where an audio signal generated with manually-tuned signal processing is refined via reverse diffusion to improve realism. The method has been evaluated in a subjective listening test, in which the participants were often unable to recognize the synthesized signals from the real ones. The synthetic noises produced with the best proposed unconditional method are statistically indistinguishable from real noise recordings. This work shows the potential of diffusion models for highly realistic audio synthesis tasks.


title: OpenCBS: An Open-Source COBOL Defects Benchmark Suite

abstract: As the current COBOL workforce retires, entry-level developers are left to keep complex legacy systems maintained and operational. This creates a massive gap in knowledge and ability as companies are having their veteran developers replaced with a new, inexperienced workforce. Additionally, the lack of COBOL and mainframe technology in the current academic curriculum further increases the learning curve for this new generation of developers. These issues are becoming even more pressing due to the business-critical nature of these systems, which makes migrating or replacing the mainframe and COBOL anytime soon very unlikely. As a result, there is now a huge need for tools and resources to increase new developers' code comprehension and ability to perform routine tasks such as debugging and defect location. Extensive work has been done in the software engineering field on the creation of such resources. However, the proprietary nature of COBOL and mainframe systems has restricted the amount of work and the number of open-source tools available for this domain. To address this issue, our work leverages the publicly available technical forum data to build an open-source collection of COBOL programs embodying issues/defects faced by COBOL developers. These programs were reconstructed and organized in a benchmark suite to facilitate the testing of developer tools. Our goal is to provide an open-source COBOL benchmark and testing suite that encourage community contribution and serve as a resource for researchers and tool-smiths in this domain.


title: An Application of Nodal Curves

abstract: In this work, we present an efficient method for computing in the generalized Jacobian of special singular curves, nodal curves. The efficiency of the operation is due to the representation of an element in the Jacobian group by a single polynomial. In addition, we propose a probabilistic public key algorithm as an application of nodal curves.


title: Corrections to Estimated Accretion Disk Size due to Color Correction, Disk Truncation and Disk Wind

abstract: We consider three corrections to the disk sizes estimated at a given frequency using accretion models. They are due to a color correction, a disk truncation at an inner radius larger than the innermost stable circular orbit, and disk winds, which we apply to the standard disk model. We apply our results to the estimates of the disk sizes based on microlensing. We find these three effects combined can explain the long-standing problem of the disk sizes from microlensing being larger than those estimated using the standard disk model (i.e., that without accounting for the above effects). In particular, an increase of the color correction with the increasing temperature can lead to a strong increase of the half-light radius even if this correction is close to unity at the temperature corresponding to an observed frequency. Our proposed formalism for calculating the half-light radius also resolves the long-standing issue of discrepancies between the disk size estimates based on the accretion rate and on the observed flux.


title: Floquet Renormalization Group Approach to the Periodically Driven Kondo Model

abstract: We study the interplay of strong correlations and coherent driving by considering the strong-coupling Kondo model driven by a time-periodic bias voltage. Combining a recent nonequilibrium renormalization group method with Floquet theory, we find that by the coherent dressing of the driving field side-replicas of the Kondo resonance emerge in the conductance, which are not completely washed out by the decoherence induced by the driving. We show that to accurately capture the interplay of driving and strong correlations one needs to go beyond simple phenomenological pictures, which underestimate decoherence, or adiabatic approximations, highlighting the relevance of non-Markovian memory effects. Within our method the differential conductance shows good quantitative agreement with experimental data in the full crossover regime from weak to strong driving. We analyze memory effects in detail based on the response to short voltage pulses.


title: Automatic Polyp Segmentation with Multiple Kernel Dilated Convolution Network

abstract: The detection and removal of precancerous polyps through colonoscopy is the primary technique for the prevention of colorectal cancer worldwide. However, the miss rate of colorectal polyp varies significantly among the endoscopists. It is well known that a computer-aided diagnosis (CAD) system can assist endoscopists in detecting colon polyps and minimize the variation among endoscopists. In this study, we introduce a novel deep learning architecture, named MKDCNet, for automatic polyp segmentation robust to significant changes in polyp data distribution. MKDCNet is simply an encoder-decoder neural network that uses the pre-trained ResNet50 as the encoder and novel multiple kernel dilated convolution (MKDC) block that expands the field of view to learn more robust and heterogeneous representation. Extensive experiments on four publicly available polyp datasets and cell nuclei dataset show that the proposed MKDCNet outperforms the state-of-the-art methods when trained and tested on the same dataset as well when tested on unseen polyp datasets from different distributions. With rich results, we demonstrated the robustness of the proposed architecture. From an efficiency perspective, our algorithm can process at (approx 45) frames per second on RTX 3090 GPU. MKDCNet can be a strong benchmark for building real-time systems for clinical colonoscopies. The code of the proposed MKDCNet is available at https://github.com/nikhilroxtomar/MKDCNet.


title: Subleading contributions to $N$-boson systems inside the universal window

abstract: We study bosonic systems in the regime in which the two-body system has a shallow bound state or, equivalently, a large value of the two-body scattering length. Using the effective field theory framework as a guide, we construct a series of potential terms which have decreasing importance in the description of the binding energy of the systems. The leading order potential terms consist of a two-body term, usually attractive, plus a three-body term, usually repulsive; this last term is required to prevent the collapse of systems with more than two particles. At this order, the parametrization of the two-body potential is done to obtain a correct description of the scattering length, which governs the dynamics in this regime, whereas the three-body term fixes a three-body datum. We investigate the role of the cut-off in the leading order description and we extend the exploration beyond the leading order by including the next-to-leading order terms in both, the two- and three-body potentials. We use the requirement of the stability of the N-body system, whose energy is variationally estimated, to introduce the three-body forces. The potential parametrization, as a function of the cut-off, is fixed to describe the energy of 4 He clusters up to seven particles within the expected accuracy. Finally, we also explore the possibility to describe at the same time the atom-dimer scattering length.


title: Enhancement of Rural Connectivity by Recycling TV Towers with Massive MIMO Techniques

abstract: Nowadays, the digital divide is one of the major issues facing the global community. Around 3 billion people worldwide are still not-connected or under-connected. In this article, we investigate the use of TV towers with multi user (MU) massive multiple input multiple output (mMIMO) techniques to offer connectivity in rural areas. Specifically, the coverage range is assessed for a MU mMIMO base station (BS) mounted on a high tower as a TV tower, and compared with a legacy mMIMO BS. The obtained results show that one high tower BS can cover an area at least 25 times larger than the area covered by a legacy BS. This is of high interest as recycling TV towers can enhance the rural connectivity with low expenditures. We apply the proposed solution to a realistic case study in an Ethiopian rural area, based on population densities and locations of current BS and TV towers. Our study shows that a high number of people can be covered by existing TV towers. Additional possible solutions to enhance rural connectivity are discussed in the last section.


title: MMMNA-Net for Overall Survival Time Prediction of Brain Tumor Patients

abstract: Overall survival (OS) time is one of the most important evaluation indices for gliomas situations. Multimodal Magnetic Resonance Imaging (MRI) scans play an important role in the study of glioma prognosis OS time. Several deep learning-based methods are proposed for the OS time prediction on multi-modal MRI problems. However, these methods usually fuse multi-modal information at the beginning or at the end of the deep learning networks and lack the fusion of features from different scales. In addition, the fusion at the end of networks always adapts global with global (eg. fully connected after concatenation of global average pooling output) or local with local (eg. bilinear pooling), which loses the information of local with global. In this paper, we propose a novel method for multi-modal OS time prediction of brain tumor patients, which contains an improved nonlocal features fusion module introduced on different scales. Our method obtains a relative 8.76% improvement over the current state-of-art method (0.6989 vs. 0.6426 on accuracy). Extensive testing demonstrates that our method could adapt to situations with missing modalities. The code is available at https://github.com/TangWen920812/mmmna-net.


title: The topological complexity of pure graph braid groups is stably maximal

abstract: We prove Farber's conjecture on the stable topological complexity of configuration spaces of graphs. The conjecture follows from a general lower bound derived from recent insights into the topological complexity of aspherical spaces. Our arguments apply equally to higher topological complexity.


title: Global uniform in $N$ estimates for solutions of a system of Hartree-Fock-Bogoliubov type in the Gross-Pitaveskii regime

abstract: We extend the recent work of Chong et al., (2022) to the critical case. More precisely, we prove global in time, uniform in $N$ estimates for the solutions $\phi$, $\Lambda$ and $\Gamma$ of a coupled system of Hartree--Fock--Bogoliubov type with interaction potential $\frac1NV_N(x-y)=N^{2}v(N(x-y))$. We assume that the potential $v$ is small which satisfies some technical conditions, and the initial conditions have finite energy. The main ingredient is a sharp estimate for the linear Schr\"odinger equation with potential in 6+1 dimension, which may be of interest in its own right.


title: Near-Optimal Sample Complexity Bounds for Constrained MDPs

abstract: In contrast to the advances in characterizing the sample complexity for solving Markov decision processes (MDPs), the optimal statistical complexity for solving constrained MDPs (CMDPs) remains unknown. We resolve this question by providing minimax upper and lower bounds on the sample complexity for learning near-optimal policies in a discounted CMDP with access to a generative model (simulator). In particular, we design a model-based algorithm that addresses two settings: (i) relaxed feasibility, where small constraint violations are allowed, and (ii) strict feasibility, where the output policy is required to satisfy the constraint. For (i), we prove that our algorithm returns an $\epsilon$-optimal policy with probability $1 - \delta$, by making $\tilde{O}\left(\frac{S A \log(1/\delta)}{(1 - \gamma)^3 \epsilon^2}\right)$ queries to the generative model, thus matching the sample-complexity for unconstrained MDPs. For (ii), we show that the algorithm's sample complexity is upper-bounded by $\tilde{O} \left(\frac{S A \, \log(1/\delta)}{(1 - \gamma)^5 \, \epsilon^2 \zeta^2} \right)$ where $\zeta$ is the problem-dependent Slater constant that characterizes the size of the feasible region. Finally, we prove a matching lower-bound for the strict feasibility setting, thus obtaining the first near minimax optimal bounds for discounted CMDPs. Our results show that learning CMDPs is as easy as MDPs when small constraint violations are allowed, but inherently more difficult when we demand zero constraint violation.


title: Point-Dimension Theory (Part I): The Point-Extended Box Dimension

abstract: This article is an introductory work to a larger research project devoted to pure, applied and philosophical aspects of dimension theory. It concerns a novel approach toward an alternate dimension theory foundation: the point-dimension theory. For this purpose, historical research on this notion and related concepts, combined with critical analysis and philosophical development proved necessary. Hence, our main objective is to challenge the conventional zero dimension assigned to the point. This reconsideration allows us to propose two new ways of conceiving the notion of dimension, which are the two sides of the same coin. First as an organization; accordingly, we suggest the existence of the Dimensionad, an elementary particle conferring dimension to objects and space-time. The idea of the existence of this particle could possibly adopted as a projection to create an alternative way to unify quantum mechanics and Einstein's general relativity. Secondly, in connection with Boltzmann and Shannon entropies, dimension appears essentially as a comparison between entropies of sets. Thus, we started from the point and succeeded in constructing a point-dimension notion allowing us to extend the principle of box dimension in many directions. More precisely, we introduce the notion of point-extended box dimension in the large framework of topological vector spaces, freeing it from the notion of metric. This general setting permits us to treat the case of finite, infinite and invisible dimensions. This first part of our research project focuses essentially on general properties and is particularly oriented towards establishing a well founded framework for infinite dimension. Among others, one prospect is to test the possibility of using other types of spaces as a setting for quantum mechanics, instead of limiting it to the exclusive Hilbertian framework.


title: Topological Defects in Floquet Circuits

abstract: We introduce a Floquet circuit describing the driven Ising chain with topological defects. The corresponding gates include a defect that flips spins as well as the duality defect that explicitly implements the Kramers-Wannier duality transformation. The Floquet unitary evolution operator commutes with such defects, but the duality defect is not unitary, as it projects out half the states. We give two applications of these defects. One is to analyze the return amplitudes in the presence of "space-like" defects stretching around the system. We verify explicitly that the return amplitudes are in agreement with the fusion rules of the defects. The second application is to study unitary evolution in the presence of "time-like" defects that implement anti-periodic and duality-twisted boundary conditions. We show that a single unpaired localized Majorana zero mode appears in the latter case. We explicitly construct this operator, which acts as a symmetry of this Floquet circuit. We also present analytic expressions for the entanglement entropy after a single time step for a system of a few sites, for all of the above defect configurations.

categories: cond-mat.str-el cond-mat.stat-mech hep-th quant-ph


title: Learning Joint Surface Atlases

abstract: This paper describes new techniques for learning atlas-like representations of 3D surfaces, i.e. homeomorphic transformations from a 2D domain to surfaces. Compared to prior work, we propose two major contributions. First, instead of mapping a fixed 2D domain, such as a set of square patches, to the surface, we learn a continuous 2D domain with arbitrary topology by optimizing a point sampling distribution represented as a mixture of Gaussians. Second, we learn consistent mappings in both directions: charts, from the 3D surface to 2D domain, and parametrizations, their inverse. We demonstrate that this improves the quality of the learned surface representation, as well as its consistency in a collection of related shapes. It thus leads to improvements for applications such as correspondence estimation, texture transfer, and consistent UV mapping. As an additional technical contribution, we outline that, while incorporating normal consistency has clear benefits, it leads to issues in the optimization, and that these issues can be mitigated using a simple repulsive regularization. We demonstrate that our contributions provide better surface representation than existing baselines.


title: Lalaine: Measuring and Characterizing Non-Compliance of Apple Privacy Labels at Scale

abstract: As a key supplement to privacy policies that are known to be lengthy and difficult to read, Apple has launched the app privacy labels, which purportedly help users more easily understand an app's privacy practices. However, false and misleading privacy labels can dupe privacy-conscious consumers into downloading data-intensive apps, ultimately eroding the credibility and integrity of the labels. Although Apple releases requirements and guidelines for app developers to create privacy labels, little is known about whether and to what extent the privacy labels in the wild are correct and compliant, reflecting the actual data practices of iOS apps. This paper presents the first systematic study, based on our new methodology named Lalaine, to evaluate data-flow to privacy-label (flow-to-label) consistency. Lalaine analyzed the privacy labels and binaries of 5,102 iOS apps, shedding light on the prevalence and seriousness of privacy-label non-compliance. We provide detailed case studies and analyze root causes for privacy label non-compliance that complements prior understandings. This has led to new insights for improving privacy-label design and compliance requirements, so app developers, platform stakeholders, and policy-makers can better achieve their privacy and accountability goals. Lalaine is thoroughly evaluated for its high effectiveness and efficiency. We are responsibly reporting the results to stakeholders.


title: Robust Trajectory Tracking for Underactuated Quadrotors with Prescribed Performance

abstract: We propose a control protocol based on the prescribed performance control (PPC) methodology for a quadrotor unmanned aerial vehicle (UAV). Quadrotor systems belong to the class of underactuated systems for which the original PPC methodology cannot be directly applied. We introduce the necessary design modifications to stabilize the considered system with prescribed performance. The proposed control protocol does not use any information of dynamic model parameters or exogenous disturbances. Furthermore, the stability analysis guarantees that the tracking errors remain inside of designer-specified time-varying functions, achieving prescribed performance independent from the control gains' selection. Finally, simulation results verify the theoretical results.


title: On the reusability of samples in active learning

abstract: An interesting but not extensively studied question in active learning is that of sample reusability: to what extent can samples selected for one learner be reused by another? This paper explains why sample reusability is of practical interest, why reusability can be a problem, how reusability could be improved by importance-weighted active learning, and which obstacles to universal reusability remain. With theoretical arguments and practical demonstrations, this paper argues that universal reusability is impossible. Because every active learning strategy must undersample some areas of the sample space, learners that depend on the samples in those areas will learn more from a random sample selection. This paper describes several experiments with importance-weighted active learning that show the impact of the reusability problem in practice. The experiments confirmed that universal reusability does not exist, although in some cases -- on some datasets and with some pairs of classifiers -- there is sample reusability. Finally, this paper explores the conditions that could guarantee the reusability between two classifiers.


title: Controlling transient gas flow in real-world pipeline intersection areas

abstract: Compressor stations are the heart of every high-pressure gas transport network. Located at intersection areas of the network they are contained in huge complex plants, where they are in combination with valves and regulators responsible for routing and pushing the gas through the network. Due to their complexity and lack of data compressor stations are usually dealt with in the scientific literature in a highly simplified and idealized manner. As part of an ongoing project with one of Germany's largest Transmission System Operators to develop a decision support system for their dispatching center, we investigated how to automatize control of compressor stations. Each station has to be in a particular configuration, leading in combination with the other nearby elements to a discrete set of up to 2000 possible feasible operation modes in the intersection area. Since the desired performance of the station changes over time, the configuration of the station has to adapt. Our goal is to minimize the necessary changes in the overall operation modes and related elements over time, while fulfilling a preset performance envelope or demand scenario. This article describes the chosen model and the implemented mixed integer programming based algorithms to tackle this challenge. By presenting extensive computational results on real world data we demonstrate the performance of our approach.


title: Gaia DR3: Specific processing and validation of all-sky RR Lyrae and Cepheid stars -- The RR Lyrae sample

abstract: Gaia DR3 publishes a catalogue of full-sky RR Lyrae stars (RRLs) observed during the initial 34 months of science operations, that were processed through the Specific Object Study (SOS) pipeline for Cepheids and RRLs (SOS Cep&RRL) observed by Gaia. The SOS Cep&RRL validation of DR3 candidate RRLs relies on tools that include the Period (P) G-amplitude diagram and the P-phi21 and -phi31 parameters of the G light curve Fourier decomposition, based on a sample of bona fide known RRLs (Gold Sample). The SOS processing led to a catalogue of 271779 RRLs listed in the vari_rrlyrae table of DR3. By dropping sources that clearly are contaminants, or have an uncertain classification we produce the final catalogue of SOS-confirmed DR3 RRLs containing 270905 sources (174947 fundamental mode, 93952 first overtone and 2006 double-mode RRLs) confirmed and fully characterised by the SOS Cep&RRL pipeline. They are distributed all over the sky, including 95 globular clusters and 25 Milky Way companions. RVS time series radial velocities are also published for 1096 RRLs and 799 Cepheids. Of the 270905 DR3 RRLs, 200294 are already known in the literature and 70611 are, to the best of our knowledge, new discoveries by Gaia. An estimate of the interstellar absorption is published for 142660 fundamental-mode RRLs from a relation based on the G-band amplitude and the pulsation period. Metallicities derived from the Periods and the phi31 Fourier parameters of the G-light curves are also released for 133559 RRLs. The final Gaia DR3 catalogue of confirmed RRLs almost doubles the DR2 RRLs catalogue. An increase of statistical significance, a better characterization of the RRLs pulsational and astrophysical parameters, and the improved astrometry published with Gaia EDR3, make the SOS Cep&RRL DR3 sample, the largest, most homogeneous and parameter-rich catalogue of All-Sky RRLs published so far.

categories: astro-ph.SR astro-ph.CO astro-ph.EP astro-ph.GA astro-ph.IM


title: A Machine Learning Model for Predicting, Diagnosing, and Mitigating Health Disparities in Hospital Readmission

abstract: The management of hyperglycemia in hospitalized patients has a significant impact on both morbidity and mortality. Therefore, it is important to predict the need for diabetic patients to be hospitalized. However, using standard machine learning approaches to make these predictions may result in health disparities caused by biases in the data related to social determinants (such as race, age, and gender). These biases must be removed early in the data collection process, before they enter the system and are reinforced by model predictions, resulting in biases in the model's decisions. In this paper, we propose a machine learning pipeline capable of making predictions as well as detecting and mitigating biases in the data and model predictions. This pipeline analyses the clinical data and determines whether biases exist in the data, if so, it removes those biases before making predictions. We evaluate the performance of the proposed method on a clinical dataset using accuracy and fairness measures. The findings of the results show that when we mitigate biases early during the data ingestion, we get fairer predictions.


title: Next-to-Leading Order (NLO) Perturbative Effects in QCD Sum-Rule Analyses of Light Tetraquark Systems: A Case Study in the Scalar-Isoscalar Channel

abstract: QCD sum-rule mass predictions for tetraquark states provide insights on the interpretations and internal structure of experimentally-observed exotic mesons. However, the overwhelming majority of tetraquark QCD sum-rule analyses have been performed at leading order (LO), which raises questions about the underlying theoretical uncertainties from higher-loop corrections. The impact of next-to-leading order (NLO) perturbative effects are systematically examined in scalar ($J^{PC}=0^{++}$) isoscalar light-quark tetraquark systems where comprehensive LO sum-rule analyses have been performed and NLO perturbative corrections to the correlators have previously been calculated. Using the scalar-isoscalar state as a detailed case study to illustrate the differences between LO and NLO analyses, it is shown that NLO effects in individual Laplace sum-rules are numerically significant and have an important role in improving the reliability of the sum-rule analyses by widening the Borel window. However, ratios of sum-rules are found to be less sensitive to NLO effects with the additional advantage of cancelling the anomalous dimension that emerges from the NLO corrections. NLO mass predictions based on these sum-rule ratios are thus remarkably robust despite the slow perturbative convergence of the underlying correlator. The mass predictions $0.52\,\text{GeV}< m_{\sigma}< 0.77\,\text{GeV}$ for the lightest scalar-isoscalar $\sigma$ state are in good agreement with the four-quark interpretation of the $f_0(500)$, and the relative coupling strengths of the $f_{0}(980)$ and $f_0(500)$ to the tetraquark current agree with the pattern found in chiral Lagrangian analyses. Effects of the $\sigma$ resonance width are studied for different models, including resonance shapes inspired by chiral Lagrangians.


title: Cumulative culture spontaneously emerges in artificial navigators who are social and memory-guided

abstract: Cumulative cultural evolution occurs when adaptive innovations are passed down to consecutive generations through social learning. This process has shaped human technological innovation, but also occurs in non-human species. While it is traditionally argued that cumulative culture relies on high-fidelity social transmission and advanced cognitive skills, here I show that a much simpler system suffices. Cumulative culture spontaneously emerged in artificial agents who navigate with a minimal cognitive architecture of goal-direction, social proximity, and route memory. Within each generation, naive individuals benefitted from being paired with experienced navigators because they could follow previously established routes. Crucially, experienced navigators also benefitted from the presence of naive individuals through regression to the goal. As experienced agents followed their memorised path, their naive counterparts (unhindered by route memory) were more likely to err towards than away from the goal, and thus biased the pair in that direction. This improved route efficiency within each generation. In control experiments, cumulative culture was attenuated when agents' social proximity or route memory were lesioned, whereas eliminating goal-direction only reduced efficiency. These results demonstrate that cumulative cultural evolution occurs even in the absence of sophisticated communication or thought. One interpretation of this finding is that current definitions are too loose, and should be narrowed. An alternative conclusion is that rudimentary cumulative culture is an emergent property of systems that seek social proximity and have an imprecise memory capacity, providing a flexible complement to traditional evolutionary mechanisms.


title: Analysis of Randomization Effects on Sim2Real Transfer in Reinforcement Learning for Robotic Manipulation Tasks

abstract: Randomization is currently a widely used approach in Sim2Real transfer for data-driven learning algorithms in robotics. Still, most Sim2Real studies report results for a specific randomization technique and often on a highly customized robotic system, making it difficult to evaluate different randomization approaches systematically. To address this problem, we define an easy-to-reproduce experimental setup for a robotic reach-and-balance manipulator task, which can serve as a benchmark for comparison. We compare four randomization strategies with three randomized parameters both in simulation and on a real robot. Our results show that more randomization helps in Sim2Real transfer, yet it can also harm the ability of the algorithm to find a good policy in simulation. Fully randomized simulations and fine-tuning show differentiated results and translate better to the real robot than the other approaches tested.


title: Two Results on Fremlin's Archimedean Riesz Space Tensor Product

abstract: In this paper, we characterize when, for any infinite cardinal {\alpha}, the Fremlin tensor product of two Archimedean Riesz spaces is Dedekind {\alpha}-complete. We also provide an example of an ideal I in an Archimedean Riesz space E such that the Fremlin tensor product of I with itself is not an ideal in the Fremlin tensor product of E with itself.


title: DHOST gravity in Ultra-diffuse galaxies -- Part I: the case of NGC1052-DF2

abstract: The Ultra-Diffuse galaxy NGC1052-DF2 has recently been under intense scrutiny because from its kinematics it has revealed to be "extremely deficient" in dark matter, if not lacking it at all. This claim has raised many questions and solutions regarding the relationship between baryons and dark matter in Ultra-Diffuse galaxies. But there seems to be a quite unanimous belief that, if such very low dark matter content is confirmed and extended to other similar galactic objects, it might be a deathblow to theories which modify and extend General Relativity. Deficient dark matter galaxies thus represent a fertile ground to test both standard dark matter and modified gravity theories. In this work, we consider a specific Degenerate Higher-Order Scalar Tensor model to study the velocity dispersion of ten compact globular clusters-like objects associated with NGC1052-DF2 to infer the dynamical mass of the galaxy. Due to the partial breaking of the corresponding screening mechanism, this model can possibly have large cosmological scale effects influencing the dynamics of smaller structures like galaxies. We consider two scenarios: one in which the model only describes dark energy; and one in which it additionally entirely substitutes dark matter. We find that the best model to explain data is the one in which we have General Relativity and only stellar contribution. But while in former scenario General Relativity is still statistically (Bayesian) favoured, in the latter one the alternative model is as much successful and effective as General Relativity in matching observations. Thus, we can conclude that even objects like NGC1052-DF2 are not in contrast, and are not obstacles, to the study and the definition of a reliable alternative to General Relativity.


title: The remarkable prospect for quantum-dot-coupled tin qubits in silicon

abstract: Spin-$\frac{1}{2}$ $^{119}$Sn nuclei in a silicon semiconductor could make excellent qubits. Nuclear spins in silicon are known to have long coherence times. Tin is isoelectronic with silicon, so we expect electrons can easily shuttle from one Sn atom to another to propagate quantum information via a hyperfine interaction that we predict, from all-electron linearized augmented plane wave density functional theory calculations, to be roughly ten times larger than intrinsic $^{29}$Si. A hyperfine-induced electro-nuclear controlled-phase (e-n-CPhase) gate operation, generated (up to local rotations) by merely holding an electron at a sweet-spot of maximum hyperfine strength for a specific duration of time, is predicted to be exceptionally resilient to charge/voltage noise. Diabatic spin flips are suppressed with a modest magnetic field ($>15~$mT for $<10^{-6}$ flip probabilities) and nuclear spin bath noise may be avoided via isotopic enrichment or mitigated using dynamical decoupling or through monitoring and compensation. Combined with magnetic resonance control, this operation enables universal quantum computation.


title: Impact of the COVID-19 pandemic on bike-sharing uses in two french towns

abstract: Urban areas have been dramatically impacted by the sudden and fast spread of the COVID-19 pandemic. As one of the most noticeable consequences of the pandemic, people have quickly reconsidered their travel options to minimize infection risk. Many studies on the Bike Sharing System (BSS) of several towns have shown that, in this context, cycling appears as a resilient, safe and very reliable mobility option. Differences and similarities exist about how people reacted depending on the place being considered, and it is paramount to identify and understand such reactions in the aftermath of an event in order to successfully foster permanent changes. In this paper, we carry out a comparative analysis of the effects of the pandemic on BSS usage in two French towns, Toulouse and Lyon. We used Origin/Destination data for the two years 2019 (pre-pandemic) and 2020 (pandemic), and considered two complementary quantitative approaches. Our results confirm that cycling increased during the pandemic, more significantly in Lyon than in Toulouse, with rush times remaining exactly the same as during the pre-pandemic year. Among several results, we note for example that BSS usage is more evenly spread throughout the day in 2020, peripheral/city center flow is more noticeable in Toulouse than in Lyon and that student BSS usage is more specific in Lyon. We also found that trip duration during the pandemic situation was longer on working days and shorter on weekends.


title: Physics-informed neural networks for quantum control

abstract: Quantum control is a ubiquitous research field that has enabled physicists to delve into the dynamics and features of quantum systems, delivering powerful applications for various atomic, optical, mechanical, and solid-state systems. In recent years, traditional control techniques based on optimization processes have been translated into efficient artificial intelligence algorithms. Here, we introduce a computational method for optimal quantum control problems via physics-informed neural networks (PINNs). We apply our methodology to open quantum systems by efficiently solving the state-to-state transfer problem with high probabilities, short-time evolution, and using low-energy consumption controls. Furthermore, we illustrate the flexibility of PINNs to solve the same problem under changes in physical parameters and initial conditions, showing advantages in comparison with standard control techniques.


title: Global behaviour of solutions stable at infinity for gradient systems in higher space dimension: the no invasion case

abstract: This paper is concerned with parabolic gradient systems of the form \[ u_t = -\nabla V(u) + \Delta_x u \,, \] where the space variable $x$ and the state variable $u$ are multidimensional, and the potential $V$ is coercive at infinity. For such systems, the asymptotic behaviour of solutions stable at infinity, that is approaching a stable homogeneous equilibrium as $|x|$ goes to $+\infty$, is investigated. A partial description of the global asymptotic behaviour of such a solution is provided, depending on the mean speed of growth of the spatial domain where the solution is not close to this equilibrium, in relation with the asymptotic energy of the solution. If this mean speed is zero, then the asymptotic energy is nonnegative, and the time derivative $u_t$ goes to $0$ uniformly in space. If conversely the mean speed is nonzero, then the asymptotic energy equals $-\infty$. This result is called upon in a companion paper where the global behaviour of radially symmetric solutions stable at infinity is described. The proof relies mainly on energy estimates in the laboratory frame and in frames travelling at a small nonzero velocity.


title: Silver-Bullet-3D at ManiSkill 2021: Learning-from-Demonstrations and Heuristic Rule-based Methods for Object Manipulation

abstract: This paper presents an overview and comparative analysis of our systems designed for the following two tracks in SAPIEN ManiSkill Challenge 2021: No Interaction Track: The No Interaction track targets for learning policies from pre-collected demonstration trajectories. We investigate both imitation learning-based approach, i.e., imitating the observed behavior using classical supervised learning techniques, and offline reinforcement learning-based approaches, for this track. Moreover, the geometry and texture structures of objects and robotic arms are exploited via Transformer-based networks to facilitate imitation learning. No Restriction Track: In this track, we design a Heuristic Rule-based Method (HRM) to trigger high-quality object manipulation by decomposing the task into a series of sub-tasks. For each sub-task, the simple rule-based controlling strategies are adopted to predict actions that can be applied to robotic arms. To ease the implementations of our systems, all the source codes and pre-trained models are available at \url{https://github.com/caiqi/Silver-Bullet-3D/}.


title: Constrained Quantum Optimization for Extractive Summarization on a Trapped-ion Quantum Computer

abstract: Realizing the potential of near-term quantum computers to solve industry-relevant constrained-optimization problems is a promising path to quantum advantage. In this work, we consider the extractive summarization constrained-optimization problem and demonstrate the largest-to-date execution of a quantum optimization algorithm that natively preserves constraints on quantum hardware. We report results with the Quantum Alternating Operator Ansatz algorithm with a Hamming-weight-preserving XY mixer (XY-QAOA) on trapped-ion quantum computer. We successfully execute XY-QAOA circuits that restrict the quantum evolution to the in-constraint subspace, using up to 20 qubits and a two-qubit gate depth of up to 159. We demonstrate the necessity of directly encoding the constraints into the quantum circuit by showing the trade-off between the in-constraint probability and the quality of the solution that is implicit if unconstrained quantum optimization methods are used. We show that this trade-off makes choosing good parameters difficult in general. We compare XY-QAOA to the Layer Variational Quantum Eigensolver algorithm, which has a highly expressive constant-depth circuit, and the Quantum Approximate Optimization Algorithm. We discuss the respective trade-offs of the algorithms and implications for their execution on near-term quantum hardware.


title: Exploring Structure-aware Transformer over Interaction Proposals for Human-Object Interaction Detection

abstract: Recent high-performing Human-Object Interaction (HOI) detection techniques have been highly influenced by Transformer-based object detector (i.e., DETR). Nevertheless, most of them directly map parametric interaction queries into a set of HOI predictions through vanilla Transformer in a one-stage manner. This leaves rich inter- or intra-interaction structure under-exploited. In this work, we design a novel Transformer-style HOI detector, i.e., Structure-aware Transformer over Interaction Proposals (STIP), for HOI detection. Such design decomposes the process of HOI set prediction into two subsequent phases, i.e., an interaction proposal generation is first performed, and then followed by transforming the non-parametric interaction proposals into HOI predictions via a structure-aware Transformer. The structure-aware Transformer upgrades vanilla Transformer by encoding additionally the holistically semantic structure among interaction proposals as well as the locally spatial structure of human/object within each interaction proposal, so as to strengthen HOI predictions. Extensive experiments conducted on V-COCO and HICO-DET benchmarks have demonstrated the effectiveness of STIP, and superior results are reported when comparing with the state-of-the-art HOI detectors. Source code is available at \url{https://github.com/zyong812/STIP}.


title: MLP-3D: A MLP-like 3D Architecture with Grouped Time Mixing

abstract: Convolutional Neural Networks (CNNs) have been regarded as the go-to models for visual recognition. More recently, convolution-free networks, based on multi-head self-attention (MSA) or multi-layer perceptrons (MLPs), become more and more popular. Nevertheless, it is not trivial when utilizing these newly-minted networks for video recognition due to the large variations and complexities in video data. In this paper, we present MLP-3D networks, a novel MLP-like 3D architecture for video recognition. Specifically, the architecture consists of MLP-3D blocks, where each block contains one MLP applied across tokens (i.e., token-mixing MLP) and one MLP applied independently to each token (i.e., channel MLP). By deriving the novel grouped time mixing (GTM) operations, we equip the basic token-mixing MLP with the ability of temporal modeling. GTM divides the input tokens into several temporal groups and linearly maps the tokens in each group with the shared projection matrix. Furthermore, we devise several variants of GTM with different grouping strategies, and compose each variant in different blocks of MLP-3D network by greedy architecture search. Without the dependence on convolutions or attention mechanisms, our MLP-3D networks achieves 68.5\%/81.4\% top-1 accuracy on Something-Something V2 and Kinetics-400 datasets, respectively. Despite with fewer computations, the results are comparable to state-of-the-art widely-used 3D CNNs and video transformers. Source code is available at https://github.com/ZhaofanQiu/MLP-3D.


title: Learning Domain Adaptive Object Detection with Probabilistic Teacher

abstract: Self-training for unsupervised domain adaptive object detection is a challenging task, of which the performance depends heavily on the quality of pseudo boxes. Despite the promising results, prior works have largely overlooked the uncertainty of pseudo boxes during self-training. In this paper, we present a simple yet effective framework, termed as Probabilistic Teacher (PT), which aims to capture the uncertainty of unlabeled target data from a gradually evolving teacher and guides the learning of a student in a mutually beneficial manner. Specifically, we propose to leverage the uncertainty-guided consistency training to promote classification adaptation and localization adaptation, rather than filtering pseudo boxes via an elaborate confidence threshold. In addition, we conduct anchor adaptation in parallel with localization adaptation, since anchor can be regarded as a learnable parameter. Together with this framework, we also present a novel Entropy Focal Loss (EFL) to further facilitate the uncertainty-guided self-training. Equipped with EFL, PT outperforms all previous baselines by a large margin and achieve new state-of-the-arts.


title: Introducing Proof Tree Automata and Proof Tree Graphs

abstract: In structural proof theory, designing and working on large calculi make it difficult to get intuitions about each rule individually and as part of a whole system. We introduce two novel tools to help working on calculi using the approach of graph theory and automata theory. The first tool is a Proof Tree Automaton (PTA): a tree automaton which language is the derivation language of a calculus. The second tool is a graphical representation of a calculus called Proof Tree Graph (PTG). In this directed hypergraph, vertices are sets of terms (e.g. sequents) and hyperarcs are rules. We explore properties of PTA and PTGs and how they relate to each other. We show that we can decompose a PTA as a partial map from a calculus to a traditional tree automaton. We formulate that statement in the theory of refinement systems. Finally, we compare our framework to proof nets and string diagrams.


title: Markov Chain Score Ascent: A Unifying Framework of Variational Inference with Markovian Gradients

abstract: Minimizing the inclusive Kullback-Leibler (KL) divergence with stochastic gradient descent (SGD) is challenging since its gradient is defined as an integral over the posterior. Recently, multiple methods have been proposed to run SGD with biased gradient estimates obtained from a Markov chain. This paper provides the first non-asymptotic convergence analysis of these methods by establishing their mixing rate and gradient variance. To do this, we demonstrate that these methods-which we collectively refer to as Markov chain score ascent (MCSA) methods-can be cast as special cases of the Markov chain gradient descent framework. Furthermore, by leveraging this new understanding, we develop a novel MCSA scheme, parallel MCSA (pMCSA), that achieves a tighter bound on the gradient variance. We demonstrate that this improved theoretical result translates to superior empirical performance.


title: Remarks on Hilbert's tenth problem and the Iwasawa theory of elliptic curves

abstract: Let $E$ be an elliptic curve with positive rank over a number field $K$ and let $p$ be an odd prime number. Let $K_{cyc}$ be the cyclotomic $\mathbb{Z}_p$-extension of $K$ and $K_n$ denote its $n$-th layer. The Mordell--Weil rank of $E$ is said to be constant in the cyclotomic tower of $K$ if for all $n$, the rank of $E(K_n)$ is equal to the rank of $E(K)$. We apply techniques in Iwasawa theory to obtain explicit conditions for the rank of an elliptic curve to be constant in the above sense. We then indicate the potential applications to Hilbert's tenth problem for number rings.


title: Weak Coupling Limit of U(1) Lattice Model in Fourier Basis

abstract: The transfer-matrix of the U(1) lattice model is considered in the Fourier basis and in the weak coupling limit. The issues of Gauss law constraint and gauge invariant states are addressed in the Fourier basis. In particular, it is shown that in the strong coupling limit the gauge invariant Fourier states are effectively the finite size closed loop currents. In the weak coupling limit, however, the link-currents along periodic or infinite spatial directions find comparable roles as gauge invariant states. The subtleties related to the extreme weak coupling of the transfer-matrix in the Fourier basis are discussed. A careful analysis of the zero eigenvalues of the matrix in the quadratic action leads to a safe extraction of the diverging group volume in the limit $g\to 0$. By means of the very basic notions and tools of the lattice model, the spectrum at the weak coupling limit for any dimension and size of lattice is obtained analytically. The spectrum at the weak coupling limit corresponds to the expected one by the continuum model in the large lattice limit.


title: Drop impact on viscous liquid films

abstract: When a liquid drop falls on a solid substrate, the air layer in between them delays the occurrence of liquid--solid contact. For impacts on smooth substrates, the air film can even prevent wetting, allowing the drop to bounce off with dynamics identical to that observed for impacts on superamphiphobic materials. In this article, we investigate similar bouncing phenomena, occurring on viscous liquid films, that mimic atomically smooth substrates, with the goal to probe their effective repellency. We elucidate the mechanisms associated to the bouncing to non-bouncing (floating) transition using experiments, simulations, and a minimal model that predicts the main characteristics of drop impact, the contact time, and the coefficient of restitution. In the case of highly viscous or very thin films, the impact dynamics is not affected by the presence of the viscous film. Within this substrate--independent limit, bouncing is suppressed once the drop viscosity exceeds a critical value as on superamphiphobic substrates. For thicker or less viscous films, both the drop and film properties influence the rebound dynamics and conspire to inhibit bouncing above a critical film thickness. This substrate--dependent regime also admits a limit, for low viscosity drops, in which the film properties alone determine the limits of repellency.


title: An adversarially robust data-market for spatial, crowd-sourced data

abstract: We describe an architecture for a decentralised data market for applications in which agents are incentivised to collaborate to crowd-source their data. The architecture is designed to reward data that furthers the market's collective goal, and distributes reward fairly to all those that contribute with their data. We show that the architecture is resilient to Sybil, wormhole, and data poisoning attacks. In order to evaluate the resilience of the architecture, we characterise its breakdown points for various adversarial threat models in an automotive use case.


title: Internet of Things (IoT) based Smart Agriculture Aiming to Achieve Sustainable Goals

abstract: Despite the fact, a handful of scholars have endorsed the Internet of Things (IoT) as an effective transformative tool for shifting traditional farming to smart farming, relatively little study has addressed the enabling role of smart agriculture in achieving sustainable agriculture and green climate. Researchers are more focused on technological invention and model introduction rather than discussing societal or global development goals. Sustainable development goals (SDGs) designed by United Nations (UN), therefore demand discussions as SDGs targets have a closer implication of technology. To fill this gap, in this study a model of smart agriculture is developed and centring the model we investigated how the model addresses SDGs targets. The investigation suggests that smart agriculture supports targets mentioned in Goal 6, 7, 8, 9, 11 and 12 of SDG. This research is very important, both for developing and developed nations since most of the nations are moving more towards industrialization and aiming to achieve the SDG goals This research is expected to provide a path to the IT practitioners, governments and developing agencies on how technological intervention can provide a more sustainable agricultural world.


title: A Hybrid Artificial Neural Network for Task Offloading in Mobile Edge Computing

abstract: Edge Computing (EC) is about remodeling the way data is handled, processed, and delivered within a vast heterogeneous network. One of the fundamental concepts of EC is to push the data processing near the edge by exploiting front-end devices with powerful computation capabilities. Thus, limiting the use of centralized architecture, such as cloud computing, to only when it is necessary. This paper proposes a novel edge computer offloading technique that assigns computational tasks generated by devices to potential edge computers with enough computational resources. The proposed approach clusters the edge computers based on their hardware specifications. Afterwards, the tasks generated by devices will be fed to a hybrid Artificial Neural Network (ANN) model that predicts, based on these tasks, the profiles, i.e., features, of the edge computers with enough computational resources to execute them. The predicted edge computers are then assigned to the cluster they belong to so that each task is assigned to a cluster of edge computers. Finally, we choose for each task the edge computer that is expected to provide the fastest response time. The experiment results show that our proposed approach outperforms other state-of-the-art machine learning approaches using real-world IoT dataset.


title: Closing the Performance Gap with Modern C++

abstract: On the way to Exascale, programmers face the increasing challenge of having to support multiple hardware architectures from the same code base. At the same time, portability of code and performance are increasingly difficult to achieve as hardware architectures are becoming more and more diverse. Today's heterogeneous systems often include two or more completely distinct and incompatible hardware execution models, such as GPGPU's, SIMD vector units, and general purpose cores which conventionally have to be programmed using separate tool chains representing non-overlapping programming models. The recent revival of interest in the industry and the wider community for the C++ language has spurred a remarkable amount of standardization proposals and technical specifications in the arena of concurrency and parallelism. This recently includes an increasing amount of discussion around the need for a uniform, higher-level abstraction and programming model for parallelism in the C++ standard targeting heterogeneous and distributed computing. Such an abstraction should perfectly blend with existing, already standardized language and library features, but should also be generic enough to support future hardware developments. In this paper, we present the results from developing such a higher-level programming abstraction for parallelism in C++ which aims at enabling code and performance portability over a wide range of architectures and for various types of parallelism. We present and compare performance data obtained from running the well-known STREAM benchmark ported to our higher level C++ abstraction with the corresponding results from running it natively. We show that our abstractions enable performance at least as good as the comparable base-line benchmarks while providing a uniform programming API on all compared target architectures.


title: Regulating dynamics through intermittent interactions

abstract: In this letter, we experimentally demonstrate an efficient scheme to regulate the behaviour of coupled nonlinear oscillators through dynamic control of their interaction. It is observed that introducing intermittency in the interaction term as a function of time or the system state, predictably alters the dynamics of the constituent oscillators. Choosing the nature of the interaction - attractive or repulsive, allows for either suppression of oscillations or stimulation of activity. Two parameters $\Delta$ and $\tau$, that reign the extent of interaction among subsystems are introduced. They serve as a harness to access the entire range of possible behaviours from fixed points to chaos. For fixed values of system parameters and coupling strength, changing $\Delta$ and $\tau$ offers fine control over the dynamics of coupled subsystems. We show this experimentally using coupled Chua's circuits and elucidate their behaviour for a range of coupling parameters through detailed numerical simulations.


title: Multi-user Co-inference with Batch Processing Capable Edge Server

abstract: Graphics processing units (GPUs) can improve deep neural network inference throughput via batch processing, where multiple tasks are concurrently processed. We focus on novel scenarios that the energy-constrained mobile devices offload inference tasks to an edge server with GPU. The inference task is partitioned into sub-tasks for a finer granularity of offloading and scheduling, and the user energy consumption minimization problem under inference latency constraints is investigated. To deal with the coupled offloading and scheduling introduced by concurrent batch processing, we first consider an offline problem with a constant edge inference latency and the same latency constraint. It is proven that optimizing the offloading policy of each user independently and aggregating all the same sub-tasks in one batch is optimal, and thus the independent partitioning and same sub-task aggregating (IP-SSA) algorithm is inspired. Further, the optimal grouping (OG) algorithm is proposed to optimally group tasks when the latency constraints are different. Finally, when future task arrivals cannot be precisely predicted, a deep deterministic policy gradient (DDPG) agent is trained to call OG. Experiments show that IP-SSA reduces up to 94.9\% user energy consumption in the offline setting, while DDPG-OG outperforms DDPG-IP-SSA by up to 8.92\% in the online setting.


title: Extrinsic eigenvalues upper bounds for submanifolds in weighted manifolds

abstract: We prove Reilly-type upper bounds for divergence-type operators of the second order as well as for Steklov problems on submanifolds of Riemannian manifolds of bounded sectional curvature endowed with a weighted measure.


title: Normal polytopes: between discrete, continuous, and random

abstract: The first three sections of this survey represent an updated and much expanded version of the abstract of my talk at FPSAC'2010: new results are incorporated and several concrete conjectures on the interactions between the three perspectives on normal polytopes in the title are proposed. The last section outlines new challenges in general convex polytopes, motivated by the study of normal polytopes.


title: Towards Constructing Finer then Homotopy Path Classes

abstract: This work presents a new path classification criterion to distinguish paths geometrically and topologically from the workspace, which is divided through cell decomposition, generating a medial-axis-like skeleton structure. We use this information as well as the topology of the robot to bound and classify different paths in the configuration space. We show that the path class found by the proposed method is equivalent to and finer than the path class defined by the homotopy of paths. The proposed path classes are easy to compute, compare, and can be used for various planning purposes. The classification builds heavily upon the topology of the robot and the geometry of the workspace, leading to an alternative fiber-bundle-based description of the configuration space. We introduce a planning framework to overcome obstacles and narrow passages using the proposed path classification method and the resulting path classes.


title: Knowledge Graph Construction and Its Application in Automatic Radiology Report Generation from Radiologist's Dictation

abstract: Conventionally, the radiologist prepares the diagnosis notes and shares them with the transcriptionist. Then the transcriptionist prepares a preliminary formatted report referring to the notes, and finally, the radiologist reviews the report, corrects the errors, and signs off. This workflow causes significant delays and errors in the report. In current research work, we focus on applications of NLP techniques like Information Extraction (IE) and domain-specific Knowledge Graph (KG) to automatically generate radiology reports from radiologist's dictation. This paper focuses on KG construction for each organ by extracting information from an existing large corpus of free-text radiology reports. We develop an information extraction pipeline that combines rule-based, pattern-based, and dictionary-based techniques with lexical-semantic features to extract entities and relations. Missing information in short dictation can be accessed from the KGs to generate pathological descriptions and hence the radiology report. Generated pathological descriptions evaluated using semantic similarity metrics, which shows 97% similarity with gold standard pathological descriptions. Also, our analysis shows that our IE module is performing better than the OpenIE tool for the radiology domain. Furthermore, we include a manual qualitative analysis from radiologists, which shows that 80-85% of the generated reports are correctly written, and the remaining are partially correct.


title: Clustering coefficients as measures of the complex interactions in a directed weighted multilayer network

abstract: In this paper, we provide novel definitions of clustering coefficient for weighted and directed multilayer networks. We extend in the multilayer theoretical context the clustering coefficients proposed in the literature for weighted directed monoplex networks. We quantify how deeply a node is involved in a choesive structure focusing on a single node, on a single layer or on the entire system. The coefficients convey several characteristics inherent to the complex topology of the multilayer network. We test their effectiveness applying them to a particularly complex structure such as the international trade network. The trade data integrate different aspects and they can be described by a directed and weighted multilayer network, where each layer represents import and export relationships between countries for a given sector. The proposed coefficients find successful application in describing the interrelations of the trade network, allowing to disentangle the effects of countries and sectors and jointly consider the interactions between them.


title: Delicate Superconductivity in NaAlGe Single Crystal

abstract: Nodal-line superconductor NaAlSi with a transition temperature ($T_c$) of 7 K has attracted considerable attention in recent years, whereas its Ge counterpart, NaAlGe, does not superconduct down to the lowest temperature regardless of their similar atomic and electrical structures. To tackle this enigma, we resort to the growth of NaAlGe single crystal and characterize its semimetallic ground state. Interestingly, when hole doped by oxidation, single-crystalline NaAlGe transforms from a semimetal to a superconductor ($T_c = 2.3 \sim$ 3.5 K) with zero resistivity and a diamagnetic shielding fraction over 100$\%$, but without a thermodynamic response in heat capacity. Continuous x-ray diffraction reveals a transient new structure with a larger $c$ axis, which is suggested to have arisen from the minor loss of Na and to be responsible for the emergence of the delicate superconductivity. Our findings resolve the controversies in NaAlSi and NaAlGe, while their similarities and differences provide an ideal opportunity to investigate a variety of exciting topological quantum states.


title: Decomposition of the regular representation for dihedral quandles

abstract: We decompose the regular quandle representation of a dihedral quandle $\mathcal{R}_n$ into irreducible quandle subrepresentations.


title: Spectrahedral Shadows and Completely Positive Maps on Real Closed Fields

abstract: In this article we develop new methods for exhibiting convex semialgebraic sets that are not spectrahedral shadows. We characterize when the set of nonnegative polynomials with a given support is a spectrahedral shadow in terms of sums of squares. As an application of this result we prove that the cone of copositive matrices of size $n\geq5$ is not a spectrahedral shadow, answering a question of Scheiderer. Our arguments are based on the model theoretic observation that any formula defining a spectrahedral shadow must be preserved by every unital $\mathbb{R}$-linear completely positive map $R\to R$ on a real closed field extension $R$ of $\mathbb{R}$.


title: The Ultramarine Simulation: properties of dark matter haloes before redshift 5.5

abstract: We introduce the Ultramarine simulation, an extremely large $N$-body simulation of the structure formation and evolution to redshift 5.5 at which cosmic reionization was just completed. The simulation evolves 2.1 trillion particles within a $512~h^{-1}$Mpc cube and has an unprecedented mass and force resolution for large volume simulations of this kind, $5.6\times 10^6 h^{-1}$M$_\odot$ and $1.2~h^{-1}$kpc, respectively. We present some basic statistical results of the simulation, including the halo mass function, halo bias parameter as well as halo mass-concentration relation at high redshifts, and compare them with some existing representative models. We find excellent agreement with some models on the high redshift halo mass functions, but neither the halo bias factor nor halo mass-concentration relation. All halo bias models for comparison over-predicate high redshift halo bias by large factors, an accurate fit to our simulation is given. High redshift dark matter haloes still can be reasonably described with NFW model, the halo mass-concentration relations are monotonic, with more massive haloes having lower concentration, in disfavor of the upturn feature reported by some studies. The mass concentration relation has little evolution between $z=5.5$ to $z=10$, in contrast to strong evolution predicted by most existing models. In addition, concentration parameters of high redshift dark matter haloes are much lower than most model predictions.


title: Capillarity-driven thinning and breakup of weakly rate-thickening fluids

abstract: A number of commercial fluids, including synthetic automotive oils, food and consumer products containing polymer additives exhibit weakly rate-thickening responses in the final stages of capillarity-driven thinning, where a large accumulated strain and high extensional strain rate alter the thinning dynamics of the slender liquid filament. Consequently, the capillarity-driven thinning dynamics typically feature two distinct regions at the early and late stages of the filament breakup process, each dominated by distinct mechanisms. These features have been incorporated in a simple Inelastic Rate-Thickening (IRT) model with linear and quadratic contributions to the constitutive stress-strain rate relationship, where the apparent extensional viscosity slowly thickens at high strain rates. We numerically compute the thinning dynamics of the IRT model assuming an axially-slender axisymmetric filament and no fluid inertia. The computational results motivate a new self-similar solution dominated by the second-order stress obtained through a similarity transformation. The new asymptotic solution leads to a self-similar filament shape that is more slender than the Newtonian counterpart and results in a quadratic thinning of the mid-point radius of the filament with time to breakup close to singularity. A new and distinct asymptotic geometric correction factor, $X\approx 0.5778$ is obtained, from which a more accurate true extensional viscosity can be recovered from an interpolated time-varying geometric correction factor based on the magnitudes of different stress components. Finally, we propose a statistics-based protocol to select the best-fit constitutive model using a parameter-free criterion, enabling us to quantify the extensional rheological behavior through capillarity-driven thinning dynamics more systematically on complex rate-thickening viscoelastic fluids.


title: JiuZhang: A Chinese Pre-trained Language Model for Mathematical Problem Understanding

abstract: This paper aims to advance the mathematical intelligence of machines by presenting the first Chinese mathematical pre-trained language model~(PLM) for effectively understanding and representing mathematical problems. Unlike other standard NLP tasks, mathematical texts are difficult to understand, since they involve mathematical terminology, symbols and formulas in the problem statement. Typically, it requires complex mathematical logic and background knowledge for solving mathematical problems. Considering the complex nature of mathematical texts, we design a novel curriculum pre-training approach for improving the learning of mathematical PLMs, consisting of both basic and advanced courses. Specially, we first perform token-level pre-training based on a position-biased masking strategy, and then design logic-based pre-training tasks that aim to recover the shuffled sentences and formulas, respectively. Finally, we introduce a more difficult pre-training task that enforces the PLM to detect and correct the errors in its generated solutions. We conduct extensive experiments on offline evaluation (including nine math-related tasks) and online $A/B$ test. Experimental results demonstrate the effectiveness of our approach compared with a number of competitive baselines. Our code is available at: \textcolor{blue}{\url{https://github.com/RUCAIBox/JiuZhang}}.


title: Nonlinear corrections in the quantization of a weakly nonideal Bose gas at zero temperature. II. The general case

abstract: In the present paper, discussion of the canonical quantization of a weakly nonideal Bose gas at zero temperature within the framework of the Bogolyubov approach is continued. Contrary to the previous paper on this subject, here the two-body interaction potential is considered in the general form. It is shown that in such a case consideration of the first nonlinear correction also leads to the automatic particle number conservation without any additional assumptions or modification of the resulting effective Hamiltonian.


title: Learning Uncertainty with Artificial Neural Networks for Improved Predictive Process Monitoring

abstract: The inability of artificial neural networks to assess the uncertainty of their predictions is an impediment to their widespread use. We distinguish two types of learnable uncertainty: model uncertainty due to a lack of training data and noise-induced observational uncertainty. Bayesian neural networks use solid mathematical foundations to learn the model uncertainties of their predictions. The observational uncertainty can be calculated by adding one layer to these networks and augmenting their loss functions. Our contribution is to apply these uncertainty concepts to predictive process monitoring tasks to train uncertainty-based models to predict the remaining time and outcomes. Our experiments show that uncertainty estimates allow more and less accurate predictions to be differentiated and confidence intervals to be constructed in both regression and classification tasks. These conclusions remain true even in early stages of running processes. Moreover, the deployed techniques are fast and produce more accurate predictions. The learned uncertainty could increase users' confidence in their process prediction systems, promote better cooperation between humans and these systems, and enable earlier implementations with smaller datasets.


title: Limited-Trust in Diffusion of Competing Alternatives over Social Networks

abstract: We consider the diffusion of two alternatives in social networks using a game-theoretic approach. Each individual plays a coordination game with its neighbors repeatedly and decides which to adopt. As products are used in conjunction with others and through repeated interactions, individuals are more interested in their long-term benefits and tend to show trust to others to maximize their long-term utility by choosing a suboptimal option with respect to instantaneous payoff. To capture such trust behavior, we deploy limited-trust equilibrium (LTE) in diffusion process. We analyze the convergence of emerging dynamics to equilibrium points using mean-field approximation and study the equilibrium state and the convergence rate of diffusion using absorption probability and expected absorption time of a reduced-size absorbing Markov chain. We also show that the diffusion model on LTE under the best-response strategy can be converted to the well-known linear threshold model. Simulation results show that when agents behave trustworthy, their long-term utility will increase significantly compared to the case when they are solely self-interested. Moreover, the Markov chain analysis provides a good estimate of convergence properties over random networks.


title: Characterizing the post-inflationary reheating history, Part II: Multiple interacting daughter fields

abstract: We characterize the post-inflationary dynamics of an inflaton $\phi$ coupled to multiple interacting daughter fields $X_n$ ($n=1,\dots N_d$) through quadratic-quadratic interactions $g_n^ 2\phi^2 X_n^2$. We assume a monomial inflaton potential $V(\phi) \propto |\phi|^p$ ($p \geq 2$) around the minimum. By simulating the system in 2+1-dimensional lattices, we study the post-inflationary evolution of the energy distribution and equation of state, from the end of inflation until a stationary regime is achieved. We show that in this scenario, the energy transferred to the daughter field sector can be larger than $50\%$, surpassing this way the upper bound found previously for single daughter field models. In particular, for $p \geq 4$ the energy at very late times is equally distributed between all fields, and only $100/(N_d + 1) \%$ of the energy remains in the inflaton. We also consider scenarios in which the daughter fields have scale-free interactions $\lambda_{nm} X_n^2 X_m^2$, including the case of quartic daughter field self-interactions (for $n=m$). We show that these interactions trigger a resonance process during the non-linear regime, which in the single daughter field case already allows to deplete more than $50\%$ of the energy from the inflaton for $p\geq 4$.


title: Cryptocurrency Bubble Detection: A New Stock Market Dataset, Financial Task & Hyperbolic Models

abstract: The rapid spread of information over social media influences quantitative trading and investments. The growing popularity of speculative trading of highly volatile assets such as cryptocurrencies and meme stocks presents a fresh challenge in the financial realm. Investigating such "bubbles" - periods of sudden anomalous behavior of markets are critical in better understanding investor behavior and market dynamics. However, high volatility coupled with massive volumes of chaotic social media texts, especially for underexplored assets like cryptocoins pose a challenge to existing methods. Taking the first step towards NLP for cryptocoins, we present and publicly release CryptoBubbles, a novel multi-span identification task for bubble detection, and a dataset of more than 400 cryptocoins from 9 exchanges over five years spanning over two million tweets. Further, we develop a set of sequence-to-sequence hyperbolic models suited to this multi-span identification task based on the power-law dynamics of cryptocurrencies and user behavior on social media. We further test the effectiveness of our models under zero-shot settings on a test set of Reddit posts pertaining to 29 "meme stocks", which see an increase in trade volume due to social media hype. Through quantitative, qualitative, and zero-shot analyses on Reddit and Twitter spanning cryptocoins and meme-stocks, we show the practical applicability of CryptoBubbles and hyperbolic models.


title: Higher regularity for solutions to equations arising from composite materials

abstract: We consider parabolic systems in divergence form with piecewise $C^{(s+\delta)/2,s+\delta}$ coefficients and data in a bounded domain consisting of a finite number of cylindrical subdomains with interfacial boundaries in $C^{s+1+\mu}$, where $s\in\mathbb N$, $\delta\in (1/2,1)$, and $\mu\in (0,1]$. We establish piecewise $C^{(s+1+\mu')/2,s+1+\mu'}$ estimates for weak solutions to such parabolic systems, where $\mu'=\min\big\{1/2,\mu\big\}$, and the estimates are independent of the distance between the interfaces. In the elliptic setting, our results answer an open problem (c) in Li and Vogelius (Arch. Rational Mech. Anal. 153 (2000), 91--151).


title: Tackling Multiple Tasks with One Single Learning Framework

abstract: Deep Multi-Task Learning (DMTL) has been widely studied in the machine learning community and applied to a broad range of real-world applications. Searching for the optimal knowledge sharing in DMTL is more challenging for sequential learning problems, as the task relationship will change in the temporal dimension. In this paper, we propose a flexible and efficient framework called HierarchicalTemporal Activation Network (HTAN) to simultaneously explore the optimal sharing of the neural network hierarchy (hierarchical axis) and the time-variant task relationship (temporal axis). HTAN learns a set of time-variant activation functions to encode the task relation. A functional regularization implemented by a modulated SPDNet and adversarial learning is further proposed to enhance the DMTL performance. Comprehensive experiments on several challenging applications demonstrate that our HTAN-SPD framework outperforms SOTA methods significantly in sequential DMTL.


title: Visual Transformer for Object Detection

abstract: Convolutional Neural networks (CNN) have been the first choice of paradigm in many computer vision applications. The convolution operation however has a significant weakness which is it only operates on a local neighborhood of pixels, thus it misses global information of the surrounding neighbors. Transformers, or Self-attention networks to be more specific, on the other hand, have emerged as a recent advance to capture long range interactions of the input, but they have mostly been applied to sequence modeling tasks such as Neural Machine Translation, Image captioning and other Natural Language Processing tasks. Transformers has been applied to natural language related tasks and achieved promising results. However, its applications in visual related tasks are far from being satisfying. Taking into consideration of both the weaknesses of Convolutional Neural Networks and those of the Transformers, in this paper, we consider the use of self-attention for discriminative visual tasks, object detection, as an alternative to convolutions. In this paper, we propose our model: DetTransNet. Extensive experiments show that our model leads to consistent improvements in object detection on COCO across many different models and scales, including ResNets, while keeping the number of parameters similar. In particular, our method achieves a 1.2% Average Precision improvement on COCO object detection task over other baseline models.


title: Neutrino specific spin-3/2 dark matter

abstract: In this paper we consider a spin-$\frac{3}{2}$ dark matter (DM) particle coupled to neutrinos as a viable candidate to produce the observed DM relic density through the thermal freeze-out mechanism. The couplings of DM to neutrinos is considered first in a most general dimension six effective field theory framework. We then consider two specific neutrino-portal models discussed in the literature. In the first model DM couples to the standard model neutrinos through mixing generated by a sterile pseudo-Dirac massive neutrino and the second model we consider is the widely studied $U(1)_{L_\mu - L_\tau}$ gauge symmetric model. For each of these models we explore the parameter space required to generate the observed relic density. The constraints on the parameters of these models from the existing and proposed neutrino experiments as well as from existing cosmological and astrophysical bounds are considered in the context of the relic density calculations.


title: Improved weighted restriction estimates in $\Bbb R^3$

abstract: Suppose $0 < \alpha \leq n$, $H: \Bbb R^n \to [0,1]$ is a Lebesgue measurable function, and $A_\alpha(H)$ is the infimum of all numbers $C$ for which the inequality $\int_B H(x) dx \leq C R^\alpha$ holds for all balls $B \subset \Bbb R^n$ of radius $R \geq 1$. After Guth introduced polynomial partitioning to Fourier restriction theory, weighted restriction estimates of the form $\| Ef \|_{L^p(B,Hdx)} \leq C R^\epsilon A_\alpha(H)^{1/p} \| f \|_{L^q(\sigma)}$ have been studied and proved in several papers, leading to new results about the decay properties of spherical means of Fourier transforms of measures and, in some cases, to progress on Falconer's distance set conjecture in geometric measure theory. This paper improves on the known estimates when $E$ is the extension operator associated with the unit paraboloid ${\mathcal P} \subset \Bbb R^3$, reaching the full possible range of $p,q$ exponents (up to the sharp line) for $p \geq 3 + (\alpha-2)/(\alpha+1)$ and $2 < \alpha \leq 3$.


title: Interacting conformal scalar in a wedge

abstract: We study a class of two-point functions in a conformal field theory near a wedge. This is a set-up with two boundaries intersecting at an angle $\theta$. We compute it as a solution to the Dyson-Schwinger equation of motion for a quartic interaction in the $d=4-\epsilon$ bulk and in the $d=3-\epsilon$ boundary, up to order $\mathcal{O}(\epsilon)$. We have extracted the anomalous dimensions from such correlators and we have complemented them with Feynman diagrams computations.


title: On the eigenvalues of operators with gaps. Application to Dirac operators

abstract: This paper is devoted to a general min-max characterization of the eigenvalues in a gap of the essential spectrum of a self-adjoint unbounded operator. We prove an abstract theorem, then we apply it to the case of Dirac operators with a Coulomb-like potential. The result is optimal for the Coulomb potential. An erratum is appended at the end of the tex.


title: Speed of sound in dense strong-interaction matter

abstract: We study the speed of sound in strong-interaction matter at zero temperature and in density regimes which are expected to be governed by the presence of a color-superconducting gap. At (very) high densities, our analysis indicates that the speed of sound approaches its asymptotic value associated with the non-interacting quark gas from below, in agreement with first-principles studies which do not take the presence of a color-superconducting gap into account. Towards lower densities, however, the presence of a gap induces an increase of the speed of sound above its asymptotic value. Importantly, even if gap-induced corrections to the pressure may appear small, we find that derivatives of the gap with respect to the chemical potential can still be sizeable and lead to a qualitative change of the density dependence of the speed of sound. Taking into account constraints on the density dependence of the speed of sound at low densities, our general considerations suggest the existence of a maximum in the speed of sound. Interestingly, we also observe that specific properties of the gap can be related to characteristic properties of the speed of sound which are indirectly constrained by observations.


title: Topological Bordism of Singular Spaces and an Application to Stratified L-Classes

abstract: A generalized-homology bordism-theory is constructed, such that for certain manifold homotopy stratified sets (MHSS; Quinn-spaces) homeomorphism-invariant geometric fundamental-classes exist. The construction combines three ideas: Firstly, instead of restricting geometric cycles by conditions on links only, a more flexible framework is built directly via geometric properties, secondly, controlled topology methods are used to give an accessible link-based criterion to detect suitable cycles and thirdly, a geometric argument is used to show, that these classes of cycles are suitable to study the transition to intrinsic stratifications. As an application, we give a construction of topologically (homeomorphism) invariant (homological) L-classes on MHSS Witt-spaces satisfying conditions on Whitehead-groups of links and the dimensional spacing of meeting strata. These L-classes agree, whenever those spaces are additionally pl-pseudomanifolds, with the Goresky-MacPherson L-classes.


title: On the HI Content of MaNGA Major Merger Pairs

abstract: The role of HI content in galaxy interactions is still under debate. To study the HI content of galaxy pairs at different merging stages, we compile a sample of 66 major-merger galaxy pairs and 433 control galaxies from the SDSS-IV MaNGA IFU survey. In this study, we adopt kinematic asymmetry as a new effective indicator to describe the merging stage of galaxy pairs. With archival data from the HI-MaNGA survey and new observations from the Five-hundred-meter Aperture Spherical Radio Telescope (FAST), we investigate the differences in HI gas fraction ($f_{\text{HI}}$), star formation rate (SFR), and HI star formation efficiency ($\rm SFE_{\text{HI}}$) between the pair and control samples. Our results suggest that the HI gas fraction of major-merger pairs on average is marginally decreased by $\sim 15\%$ relative to isolated galaxies, implying mild HI depletion during galaxy interactions. Compared to isolated galaxies, pre-passage paired galaxies have similar $f_{\text{HI}}$, SFR and $\rm SFE_{\text{HI}}$, while pairs during pericentric passage have weakly decreased $f_{\text{HI}}$ ($-0.10\pm0.05$ dex), significantly enhanced SFR ($0.42\pm0.11$ dex) and $\rm SFE_{\text{HI}}$ ($0.48\pm0.12$ dex). When approaching the apocenter, paired galaxies show marginally decreased $f_{\text{HI}}$ ($-0.05\pm0.04$ dex), comparable SFR ($0.04\pm0.06$ dex) and $\rm SFE_{\text{HI}}$ ($0.08\pm0.08$ dex). We propose the marginally detected HI depletion may originate from the gas consumption in fuelling the enhanced $\rm H_2$ reservoir of galaxy pairs. In addition, new FAST observations also reveal an HI absorber ($N_{\text{HI}}\sim 4.7 \times 10^{21} \text{ cm}^{-2}$), which may suggest gas infalling and the triggering of AGN activity.


title: Learning Generalized Wireless MAC Communication Protocols via Abstraction

abstract: To tackle the heterogeneous requirements of beyond 5G (B5G) and future 6G wireless networks, conventional medium access control (MAC) procedures need to evolve to enable base stations (BSs) and user equipments (UEs) to automatically learn innovative MAC protocols catering to extremely diverse services. This topic has received significant attention, and several reinforcement learning (RL) algorithms, in which BSs and UEs are cast as agents, are available with the aim of learning a communication policy based on agents' local observations. However, current approaches are typically overfitted to the environment they are trained in, and lack robustness against unseen conditions, failing to generalize in different environments. To overcome this problem, in this work, instead of learning a policy in the high dimensional and redundant observation space, we leverage the concept of observation abstraction (OA) rooted in extracting useful information from the environment. This in turn allows learning communication protocols that are more robust and with much better generalization capabilities than current baselines. To learn the abstracted information from observations, we propose an architecture based on autoencoder (AE) and imbue it into a multi-agent proximal policy optimization (MAPPO) framework. Simulation results corroborate the effectiveness of leveraging abstraction when learning protocols by generalizing across environments, in terms of number of UEs, number of data packets to transmit, and channel conditions.


title: On the Algebraic Foundation of the Mandelbulb

abstract: In this paper, we generalize the Mandelbrot set using quaternions and spherical coordinates. In particular, we use pure quaternions to define a spherical product. This product, which is inspired by the product of complex numbers, add the angles and multiply the radii of the spherical coordinates. We show that the algebraic structure of pure quaternions with the spherical product is a commutative unital magma. Then, we present several generalizations of the Mandelbrot set. Among them, we present a set that is visually identical to the so-called Mandelbulb. We show that this set is bounded and that it can be generated by an escape time algorithm. We also define another generalization, the bulbic Mandelbrot set. We show that one of its 2D cuts has the same dynamics as the Mandelbrot set and that we can generate this set only with a quaternionic product, without using the spherical product.


title: A HC model with countable set of spin values: uncountable set of Gibbs measures

abstract: We consider a hard core (HC) model with a countable set $\mathbb{Z}$ of spin values on the Cayley tree. This model is defined by a countable set of parameters $\lambda_{i}>0, i \in \mathbb{Z}\setminus\{0\}$. For all possible values of parameters, we give limit points of the dynamical system generated by a function which describes the consistency condition for finite-dimensional measures. Also, we prove that every periodic Gibbs measure for the given model is either translation-invariant or periodic with period two. Moreover, we construct uncountable set of Gibbs measures for this HC model.