title: Bayesian causal inference in automotive software engineering and online evaluation

abstract: Randomised field experiments, such as A/B testing, have long been the gold standard for evaluating software changes. In the automotive domain, running randomised field experiments is not always desired, possible, or even ethical. In the face of such limitations, we develop a framework BOAT (Bayesian causal modelling for ObvservAtional Testing), utilising observational studies in combination with Bayesian causal inference, in order to understand real-world impacts from complex automotive software updates and help software development organisations arrive at causal conclusions. In this study, we present three causal inference models in the Bayesian framework and their corresponding cases to address three commonly experienced challenges of software evaluation in the automotive domain. We develop the BOAT framework with our industry collaborator, and demonstrate the potential of causal inference by conducting empirical studies on a large fleet of vehicles. Moreover, we relate the causal assumption theories to their implications in practise, aiming to provide a comprehensive guide on how to apply the causal models in automotive software engineering. We apply Bayesian propensity score matching for producing balanced control and treatment groups when we do not have access to the entire user base, Bayesian regression discontinuity design for identifying covariate dependent treatment assignments and the local treatment effect, and Bayesian difference-in-differences for causal inference of treatment effect overtime and implicitly control unobserved confounding factors. Each one of the demonstrative case has its grounds in practise, and is a scenario experienced when randomisation is not feasible. With the BOAT framework, we enable online software evaluation in the automotive domain without the need of a fully randomised experiment.


title: On the Performance of Data Compression in Clustered Fog Radio Access Networks

abstract: The fog-radio-access-network (F-RAN) has been proposed to address the strict latency requirements, which offloads computation tasks generated in user equipments (UEs) to the edge to reduce the processing latency. However, it incorporates the task transmission latency, which may become the bottleneck of latency requirements. Data compression (DC) has been considered as one of the promising techniques to reduce the transmission latency. By compressing the computation tasks before transmitting, the transmission delay is reduced due to the shrink transmitted data size, and the original computing task can be retrieved by employing data decompressing (DD) at the edge nodes or the centre cloud. Nevertheless, the DC and DD incorporate extra processing latency, and the latency performance has not been investigated in the large-scale DC-enabled F-RAN. Therefore, in this work, the successful data compression probability (SDCP) is defined to analyse the latency performance of the F-RAN. Moreover, to analyse the effect of compression offloading ratio (COR), a novel hybrid compression mode is proposed based on the queueing theory. Based on this, the closed-form result of SDCP in the large-scale DC-enabled F-RAN is derived by combining the Matern cluster process and M/G/1 queueing model, and validated by Monte Carlo simulations. Based on the derived SDCP results, the effects of COR on the SDCP is analysed numerically. The results show that the SDCP with the optimal COR can be enhanced with a maximum value of 0.3 and 0.55 as compared with the cases of compressing all computing tasks at the edge and at the UE, respectively. Moreover, for the system requiring the minimal latency, the proposed hybrid compression mode can alleviate the requirement on the backhaul capacity.


title: Optimal Dithering Configuration Mitigating Rayleigh-Backscattering-Induced Distortion in Radioastronomic Optical Fiber Systems

abstract: In the context of Radioastronomic applications where the Analog Radio-over-Fiber technology is used for the antenna downlink, detrimental nonlinearity effects arise because of the interference between the forward signal generated by the laser and the Rayleigh backscattered one which is re-forwarded by the laser itself toward the photodetector. The adoption of the so called dithering technique, which involves the direct modulation of the laser with a sinusoidal tone and takes advantage of the laser chirping phenomenon, has been proved to reduce such Rayleigh Back Scattering - induced nonlinearities. The frequency and the amplitude of the dithering tone should both be as low as possible, in order to avoid undesired collateral effects on the received spectrum as well as keep at low levels the global energy consumption. Through a comprehensive analysis of dithered Radio over Fiber systems, it is demonstrated that a progressive reduction of the dithering tone frequency affects in a peculiar fashion both the chirping characteristics of the field emitted by the laser and the spectrum pattern of the received signal at the fiber end. Accounting for the concurrent effects caused by such phenomena, optimal operating conditions are identified for the implementation of the dithering tone technique in radioastronomic systems.


title: Keeping Less is More: Point Sparsification for Visual SLAM

abstract: When adapting Simultaneous Mapping and Localization (SLAM) to real-world applications, such as autonomous vehicles, drones, and augmented reality devices, its memory footprint and computing cost are the two main factors limiting the performance and the range of applications. In sparse feature based SLAM algorithms, one efficient way for this problem is to limit the map point size by selecting the points potentially useful for local and global bundle adjustment (BA). This study proposes an efficient graph optimization for sparsifying map points in SLAM systems. Specifically, we formulate a maximum pose-visibility and maximum spatial diversity problem as a minimum-cost maximum-flow graph optimization problem. The proposed method works as an additional step in existing SLAM systems, so it can be used in both conventional or learning based SLAM systems. By extensive experimental evaluations we demonstrate the proposed method achieves even more accurate camera poses with approximately 1/3 of the map points and 1/2 of the computation.


title: Gravitational wave memory in wormhole spacetimes

abstract: Gravitational wave memory is studied in the context of a certain class of braneworld wormholes. Unlike other wormhole geometries, this novel class of wormholes do not require any exotic matter fields for its traversability. First, we study geodesics in this wormhole spacetime, in the presence of a gravitational wave pulse. The resulting evolution of the geodesic separation shows the presence of displacement and velocity memory effects. Motivated by the same, we study the memory effects at null infinity using the Bondi-Sachs formalism, adapted for braneworld wormhole. Our analysis provides a non-trivial change of the Bondi mass after the passage of a burst of gravitational radiation and hence manifests the memory effect at null infinity. In both of these exercises, the presence of extra dimension and the wormhole nature of the spacetime geometry gets imprinted in the memory effect. Since future gravitational wave detectors will be able to probe the memory effect, the present work provides another avenue to search for compact objects other than black holes.


title: Introducing flexible perovskites to the IoT world using photovoltaic-powered wireless tags

abstract: Billions of everyday objects could become part of the Internet of Things (IoT) by augmentation with low-cost, long-range, maintenance-free wireless sensors. Radio Frequency Identification (RFID) is a low-cost wireless technology that could enable this vision, but it is constrained by short communication range and lack of sufficient energy available to power auxiliary electronics and sensors. Here, we explore the use of flexible perovskite photovoltaic cells to provide external power to semi-passive RFID tags to increase range and energy availability for external electronics such as microcontrollers and digital sensors. Perovskites are intriguing materials that hold the possibility to develop high-performance, low-cost, optically tunable (to absorb different light spectra), and flexible light energy harvesters. Our prototype perovskite photovoltaic cells on plastic substrates have an efficiency of 13% and a voltage of 0.88 V at maximum power under standard testing conditions. We built prototypes of RFID sensors powered with these flexible photovoltaic cells to demonstrate real-world applications. Our evaluation of the prototypes suggests that: i) flexible PV cells are durable up to a bending radius of 5 mm with only a 20 % drop in relative efficiency; ii) RFID communication range increased by 5x, and meets the energy needs (10-350 microwatt) to enable self-powered wireless sensors; iii) perovskite powered wireless sensors enable many battery-less sensing applications (e.g., perishable good monitoring, warehouse automation)


title: WS-Snapshot: An effective algorithm for wide-field and large-scale imaging

abstract: The Square Kilometre Array (SKA) is the largest radio interferometer under construction in the world. The high accuracy, wide-field and large size imaging significantly challenge the construction of the Science Data Processor (SDP) of SKA. We propose a hybrid imaging method based on improved W-Stacking and snapshots. The w range is reduced by fitting the snapshot $uv$ plane, thus effectively enhancing the performance of the improved W-Stacking algorithm. We present a detailed implementation of WS-Snapshot. With full-scale SKA1-LOW simulations, we present the imaging performance and imaging quality results for different parameter cases. The results show that the WS-Snapshot method enables more efficient distributed processing and significantly reduces the computational time overhead within an acceptable accuracy range, which would be crucial for subsequent SKA science studies.


title: A note on generalized Thurston--Bennequin inequalities

abstract: We give a generalized Thurston--Bennequin-type inequality for links in $S^3$ using a Bauer--Furuta-type invariant for 4-manifolds with contact boundary. As a special case, we also give an adjunction inequality for smoothly embedded orientable surfaces with negative intersection in a closed oriented smooth 4-manifold whose non-equivariant Bauer--Furuta invariant is non-zero.


title: Search for heavy resonances decaying into a $Z$ or $W$ boson and a Higgs boson in final states with leptons and $b$-jets in $139~$fb$^{-1}$ of $pp$ collisions at $\sqrt{s}=13~$TeV with the ATLAS detector

abstract: This article presents a search for new resonances decaying into a $Z$ or $W$ boson and a 125 GeV Higgs boson $h$, and it targets the $\nu\bar{\nu}b\bar{b}$, $\ell^+\ell^-b\bar{b}$, or $\ell^{\pm}{\nu}b\bar{b}$ final states, where $\ell=e$ or $\mu$, in proton-proton collisions at $\sqrt{s}=13$ TeV. The data used correspond to a total integrated luminosity of 139 fb$^{-1}$ collected by the ATLAS detector during Run 2 of the LHC at CERN. The search is conducted by examining the reconstructed invariant or transverse mass distributions of $Zh$ or $Wh$ candidates for evidence of a localised excess in the mass range from 220 GeV to 5 TeV. No significant excess is observed and 95% confidence-level upper limits between 1.3 pb and 0.3 fb are placed on the production cross section times branching fraction of neutral and charged spin-1 resonances and CP-odd scalar bosons. These limits are converted into constraints on the parameter space of the Heavy Vector Triplet model and the two-Higgs-doublet model.


title: Motion Compensated Frequency Selective Extrapolation for Error Concealment in Video Coding

abstract: Although wireless and IP-based access to video content gives a new degree of freedom to the viewers, the risk of severe block losses caused by transmission errors is always present. The purpose of this paper is to present a new method for concealing block losses in erroneously received video sequences. For this, a motion compensated data set is generated around the lost block. Based on this aligned data set, a model of the signal is created that continues the signal into the lost areas. Since spatial as well as temporal informations are used for the model generation, the proposed method is superior to methods that use either spatial or temporal information for concealment. Furthermore it outperforms current state of the art spatio-temporal concealment algorithms by up to 1.4 dB in PSNR.


title: Multi-features based Semantic Augmentation Networks for Named Entity Recognition in Threat Intelligence

abstract: Extracting cybersecurity entities such as attackers and vulnerabilities from unstructured network texts is an important part of security analysis. However, the sparsity of intelligence data resulted from the higher frequency variations and the randomness of cybersecurity entity names makes it difficult for current methods to perform well in extracting security-related concepts and entities. To this end, we propose a semantic augmentation method which incorporates different linguistic features to enrich the representation of input tokens to detect and classify the cybersecurity names over unstructured text. In particular, we encode and aggregate the constituent feature, morphological feature and part of speech feature for each input token to improve the robustness of the method. More than that, a token gets augmented semantic information from its most similar K words in cybersecurity domain corpus where an attentive module is leveraged to weigh differences of the words, and from contextual clues based on a large-scale general field corpus. We have conducted experiments on the cybersecurity datasets DNRTI and MalwareTextDB, and the results demonstrate the effectiveness of the proposed method.


title: Optimized and Parallelized Processing Order for Improved Frequency Selective Signal Extrapolation

abstract: In the recent years, multi-core processor designs have found their way into many computing devices. To exploit the capabilities of such devices in the best possible way, signal processing algorithms have to be adapted to an operation in parallel tasks. In this contribution an optimized processing order is proposed for Frequency Selective Extrapolation, a powerful signal extrapolation algorithm. Using this optimized order, the extrapolation can be carried out in parallel. The algorithm scales very good, resulting in an acceleration of a factor of up to 7.7 for an eight core computer. Additionally, the optimized processing order aims at reducing the propagation of extrapolation errors over consecutive losses. Thus, in addition to the acceleration, a visually noticeable improvement in quality of up to 0.5 dB PSNR can be achieved.


title: Visual Transformer Meets CutMix for Improved Accuracy, Communication Efficiency, and Data Privacy in Split Learning

abstract: This article seeks for a distributed learning solution for the visual transformer (ViT) architectures. Compared to convolutional neural network (CNN) architectures, ViTs often have larger model sizes, and are computationally expensive, making federated learning (FL) ill-suited. Split learning (SL) can detour this problem by splitting a model and communicating the hidden representations at the split-layer, also known as smashed data. Notwithstanding, the smashed data of ViT are as large as and as similar as the input data, negating the communication efficiency of SL while violating data privacy. To resolve these issues, we propose a new form of CutSmashed data by randomly punching and compressing the original smashed data. Leveraging this, we develop a novel SL framework for ViT, coined CutMixSL, communicating CutSmashed data. CutMixSL not only reduces communication costs and privacy leakage, but also inherently involves the CutMix data augmentation, improving accuracy and scalability. Simulations corroborate that CutMixSL outperforms baselines such as parallelized SL and SplitFed that integrates FL with SL.


title: Advanced asteroseismic modelling: breaking the degeneracy between stellar mass and initial helium abundance

abstract: Current stellar model predictions of adiabatic oscillation frequencies differ significantly from the corresponding observed frequencies due to the non-adiabatic and poorly understood near-surface layers of stars. However, certain combinations of frequencies -- known as frequency ratios -- are largely unaffected by the uncertain physical processes as they are mostly sensitive to the stellar core. Furthermore, the seismic signature of helium ionization provides envelope properties while being almost independent of the outermost layers. We have developed an advanced stellar modelling approach in which we complement frequency ratios with parameters of the helium ionization zone while taking into account all possible correlations to put the most stringent constraints on the stellar internal structure. We have tested the method using the Kepler benchmark star 16 Cyg A and have investigated the potential of the helium glitch parameters to constrain the basic stellar properties in detail. It has been explicitly shown that the initial helium abundance and mixing-length parameters are well constrained within our framework, reducing systematic uncertainties on stellar mass and age arising for instance from the well-known anti-correlation between the mass and initial helium abundance. The modelling of six additional Kepler stars including 16 Cyg B reinforces the above findings and also confirms that our approach is mostly independent from model uncertainties associated with the near-surface layers. Our method is relatively computationally expensive, however, it provides stellar masses, radii and ages precisely in an automated manner, paving the way for analysing numerous stars observed in the future during the ESA PLATO mission.


title: Direct and Indirect Methods of Vortex Identification in Continuum limit

abstract: Inspired by direct and indirect maximal center gauge methods which identify vortices in lattice calculations, and by using the connection formalism, we show that under some appropriate gauge transformations, vortices and chains appear in the continuum limit of QCD vacuum.


title: Improving Speech Enhancement through Fine-Grained Speech Characteristics

abstract: While deep learning based speech enhancement systems have made rapid progress in improving the quality of speech signals, they can still produce outputs that contain artifacts and can sound unnatural. We propose a novel approach to speech enhancement aimed at improving perceptual quality and naturalness of enhanced signals by optimizing for key characteristics of speech. We first identify key acoustic parameters that have been found to correlate well with voice quality (e.g. jitter, shimmer, and spectral flux) and then propose objective functions which are aimed at reducing the difference between clean speech and enhanced speech with respect to these features. The full set of acoustic features is the extended Geneva Acoustic Parameter Set (eGeMAPS), which includes 25 different attributes associated with perception of speech. Given the non-differentiable nature of these feature computation, we first build differentiable estimators of the eGeMAPS and then use them to fine-tune existing speech enhancement systems. Our approach is generic and can be applied to any existing deep learning based enhancement systems to further improve the enhanced speech signals. Experimental results conducted on the Deep Noise Suppression (DNS) Challenge dataset shows that our approach can improve the state-of-the-art deep learning based enhancement systems.


title: Distributed Parallel Image Signal Extrapolation Framework using Message Passing Interface

abstract: This paper introduces a framework for distributed parallel image signal extrapolation. Since high-quality image signal processing often comes along with a high computational complexity, a parallel execution is desirable. The proposed framework allows for the application of existing image signal extrapolation algorithms without the need to modify them for a parallel processing. The unaltered application of existing algorithms is achieved by dividing input images into overlapping tiles which are distributed to compute nodes via Message Passing Interface. In order to keep the computational overhead low, a novel image tiling algorithm is proposed. Using this algorithm, a nearly optimum tiling is possible at a very small processing time. For showing the efficacy of the framework, it is used for parallelizing a high-complexity extrapolation algorithm. Simulation results show that the proposed framework has no negative impact on extrapolation quality while at the same time offering good scaling behavior on compute clusters.


title: hyperbolic fibered slice knots with right-veering monodromy

abstract: We construct a hyperbolic fibered slice knot with right-veering monodromy, giving a negative answer to the question posed by Hubbard-Kawamuro-Kose-Martin-Plamenevskaya-Raoux-Truong-Turner.


title: Nonlocal Drag Thermoelectricity Generated by Ferroelectric Heterostructures

abstract: The \textquotedblleft ferron\textquotedblright\ excitations of the electric-dipolar order carry energy as well as electric dipoles. Here we predict a nonlocal ferron drag effect in a ferroelectric on top of a metallic film: An electric current in the conductor generates a heat current in the ferroelectric by long-range charge-dipole interactions. The non-local Peltier and its reciprocal Seebeck effect can be controlled by electric gates and detected thermographically. We predict large effects for van der Waals ferroelectric films on graphene.


title: Adaptation, Comparison and Practical Implementation of Fairness Schemes in Kidney Exchange Programs

abstract: In Kidney Exchange Programs (KEPs), each participating patient is registered together with an incompatible donor. Donors without an incompatible patient can also register. Then, KEPs typically maximize overall patient benefit through donor exchanges. This aggregation of benefits calls into question potential individual patient disparities in terms of access to transplantation in KEPs. Considering solely this utilitarian objective may become an issue in the case where multiple exchange plans are optimal or near-optimal. In fact, current KEP policies are all-or-nothing, meaning that only one exchange plan is determined. Each patient is either selected or not as part of that unique solution. In this work, we seek instead to find a policy that contemplates the probability of patients of being in a solution. To guide the determination of our policy, we adapt popular fairness schemes to KEPs to balance the usual approach of maximizing the utilitarian objective. Different combinations of fairness and utilitarian objectives are modelled as conic programs with an exponential number of variables. We propose a column generation approach to solve them effectively in practice. Finally, we make an extensive comparison of the different schemes in terms of the balance of utility and fairness score, and validate the scalability of our methodology for benchmark instances from the literature.


title: Kaon-baryon coupling schemes and kaon condensation in hyperon-mixed matter

abstract: Possible coexistence of kaon condensation and hyperons in highly dense matter [the ($Y+K$) phase] is investigated on the basis of the relativistic mean-field theory combined with the effective chiral Lagrangian. Two coupling schemes for the $s$-wave kaon-baryon interaction are compared regarding the onset density of kaon condensation in the hyperon-mixed matter and equation of state for the developed ($Y+K$) phase: One is the contact interaction scheme related to the nonlinear effective chiral Lagrangian. The other is the meson-exchange scheme, where the interaction vertices between the kaon field and baryons are described by exchange of mesons (sigma, sigma^* mesons for scalar coupling, and omega, rho, phi mesons for vector coupling). It is shown that in the meson exchange scheme, the contribution from the nonlinear scalar self-interaction gives rise to a repulsive effect for kaon effective energy, pushing up the onset density of kaon condensation as compared with the case of the contact interaction scheme. In general, the difference of kaon-baryon dynamics between the contact interaction scheme and the meson-exchange scheme relies on the specific forms of the nonlinear self-interacting meson terms. It is shown that the nonlinear self-interacting term is not relevant to repulsive energy leading to stiffening of the equation of state at high densities and that it cannot be compensated with large attractive energy due to the appearance of the ($Y$+$K$) phase in the case of the contact interaction scheme. We also discuss in the contact interaction scheme what effects are necessary so as to make the equation of state with (Y+K) phase stiff enough to be consistent with recent observations of massive neutron stars.


title: Bridging Fidelities to Predict Nanoindentation Tip Radii Using Interpretable Deep Learning Models

abstract: As the need for miniaturized structural and functional materials has increased,the need for precise materials characterizaton has also expanded. Nanoindentation is a popular method that can be used to measure material mechanical behavior which enables high-throughput experiments and, in some cases, can also provide images of the indented area through scanning. Both indenting and scanning can cause tip wear that can influence the measurements. Therefore, precise characterization of tip radii is needed to improve data evaluation. A data fusion method is introduced which uses finite element simulations and experimental data to estimate the tip radius in situ in a meaningful way using an interpretable multi-fidelity deep learning approach. By interpreting the machine learning models, it is shown that the approaches are able to accurately capture physical indentation phenomena.


title: Discriminator-Guided Model-Based Offline Imitation Learning

abstract: Offline imitation learning (IL) is a powerful method to solve decision-making problems from expert demonstrations without reward labels. Existing offline IL methods suffer from severe performance degeneration under limited expert data. Including a learned dynamics model can potentially improve the state-action space coverage of expert data, however, it also faces challenging issues like model approximation/generalization errors and suboptimality of rollout data. In this paper, we propose the Discriminator-guided Model-based offline Imitation Learning (DMIL) framework, which introduces a discriminator to simultaneously distinguish the dynamics correctness and suboptimality of model rollout data against real expert demonstrations. DMIL adopts a novel cooperative-yet-adversarial learning strategy, which uses the discriminator to guide and couple the learning process of the policy and dynamics model, resulting in improved model performance and robustness. Our framework can also be extended to the case when demonstrations contain a large proportion of suboptimal data. Experimental results show that DMIL and its extension achieve superior performance and robustness compared to state-of-the-art offline IL methods under small datasets.


title: Parameters of the Radcliffe wave from masers, radio stars and T Tauri stars

abstract: The presence of the Radcliffe wave is shown both in the positions and in the vertical velocities of masers and radio stars belonging to the Local Arm. This gives the impression that the structure of the Radcliffe wave is not a wave in the full sense of the word. It is more like a local high-amplitude burst, rapidly fading away. Moreover, this structure has the largest amplitude in the immediate vicinity of the Sun, where the main ``contributors'' are the Gould Belt stars. Based on the spectral analysis of masers, the following estimates of the geometric and kinematic characteristics of the wave were obtained: the largest value of the vertical coordinate $z_{max}=87\pm4$ pc and the wavelength $\lambda=2.8\pm0.1$ kpc, the vertical velocity perturbation amplitude reaches $W_{max}=5.1\pm0.7$ km s$^{-1}$ and the wavelength found from vertical velocities is $\lambda=3.9\pm1.6$ kpc. The Radcliffe wave also manifests itself in the positions of very young stars that have not reached the main sequence stage. We extracted a sample of such stars from the Gaia DR2$\times$AllWISE database and obtained the following estimates from them: $z_{max}=118\pm3$ pc and wavelength $\lambda=2.0\pm0.1$ kpc.


title: Point Cloud Change Detection With Stereo V-SLAM:Dataset, Metrics and Baseline

abstract: Localization and navigation are basic robotic tasks requiring an accurate and up-to-date map to finish these tasks, with crowdsourced data to detect map changes posing an appealing solution. Collecting and processing crowdsourced data requires low-cost sensors and algorithms, but existing methods rely on expensive sensors or computationally expensive algorithms. Additionally, there is no existing dataset to evaluate point cloud change detection. Thus, this paper proposes a novel framework using low-cost sensors like stereo cameras and IMU to detect changes in a point cloud map. Moreover, we create a dataset and the corresponding metrics to evaluate point cloud change detection with the help of the high-fidelity simulator Unreal Engine 4. Experiments show that our visualbased framework can effectively detect the changes in our dataset.


title: A New Riemann Solver for Modelling Bridges in Flood Flows -- Development and Experimental Validation

abstract: Flows in rivers can be strongly affected by obstacles to flow or artificial structures such as bridges, weirs and dams. This is especially true during floods, where significant backwater effects or diversion of flow out of bank can result. However, within contemporary industry practice, linear features such as bridges are often modelled using coarse approximations, empirically based methods or are omitted entirely. Presented within this paper is a novel Riemann solver which is capable of modelling the influence of such features within hydrodynamic flood models using finite volume schemes to solve the shallow water equations. The solution procedure represents structures at the interface between neighbouring cells and uses a combination of internal boundary conditions and a different form of the conservation laws in the adjacent cells to resolve numerical fluxes across the interface. Since the procedure only applies to the cells adjacent to the interface at which a structure is being modelled, the method is therefore potentially compatible with existing hydrodynamic models. Comparisons with validation data collected from a state of the art research flume demonstrate that the solver is suitable for modelling a range of flow conditions and structure configurations such as bridges and gates.


title: Pulse Frequency Fluctuations of Persistent Accretion Powered Pulsars

abstract: In this study, we examine the long term torque noise fluctuations of persistent Xray binaries Her X-1, Vela X-1, GX 301-2, CEN X-3, 4U 1538-53, OAO 1657-415 and 4U 1626-67 using the historical pulse frequency measurements provided by CGRO/BATSE and Fermi/GBM. We find that known disk-fed sources exhibit $1/\omega^{2}$ red noise component in their power density spectra which is saturated over long timescales. On the other hand, wind-fed sources form a clear white noise component and the wind-fed sources with occasional transient disk formation imprint $1/\omega$ type flicker noise. We discuss their long-term timing noise properties based on the models to describe the power density spectrum of pulse frequency derivative fluctuations in terms of monochromatic and colored noise processes. Furthermore, we investigate the relation between measured timing noise strengths and other independently measured physical parameters. Despite the low number of sample sources, we suggest that noise strengths of these sources are correlated with their luminosities and uncorrelated with their magnetic fields strengths, implying that the dominant noise generating mechanism is accretion


title: A theoretical approach for electron dynamics and ultrafast spectroscopy

abstract: In this manuscript we present a theoretical framework and its numerical implementation to simulate the out-of-equilibrium electron dynamics induced by the interaction of ultrashort laser pulses in condensed-matter systems. Our approach is based on evolving in real-time the density matrix of the system in reciprocal space. It considers excitonic and non-perturbative light-matter interactions. We show some relevant examples that illustrate the efficiency and flexibility of the approach to describe realistic ultrafast spectroscopy experiments. Our approach is suitable for modeling the promising and emerging ultrafast studies at the attosecond time scale that aim at capturing the electron dynamics and the dynamical electron-electron correlations via X-ray absorption spectroscopy.


title: Ferromagnetic diagonal stripe states in the two-dimensional Hubbard model with $U\lesssim\infty$

abstract: We have performed a variational Monte Carlo simulation to study the ground state of a two-dimensional Hubbard model on a square lattice in the strong coupling region. The energy gain of possible inhomogeneous electron states are computed as a function of $U$ when the hole density $\epsilon=1/8$ and next nearest-neighbor hopping $t'/t=-0.30$. The bond-centered ferromagnetic diagonal stripe state is stabilized in the strong coupling region ($U/t\geq$16), which is due to the gain of both kinetic energy and on-site Coulomb interaction energy due to the holon moving over the ferromagnetic domain and the gain of kinetic-exchange-interaction energy at the antiferromagnetic domain wall.


title: Computer-aided Tuberculosis Diagnosis with Attribute Reasoning Assistance

abstract: Although deep learning algorithms have been intensively developed for computer-aided tuberculosis diagnosis (CTD), they mainly depend on carefully annotated datasets, leading to much time and resource consumption. Weakly supervised learning (WSL), which leverages coarse-grained labels to accomplish fine-grained tasks, has the potential to solve this problem. In this paper, we first propose a new large-scale tuberculosis (TB) chest X-ray dataset, namely the tuberculosis chest X-ray attribute dataset (TBX-Att), and then establish an attribute-assisted weakly-supervised framework to classify and localize TB by leveraging the attribute information to overcome the insufficiency of supervision in WSL scenarios. Specifically, first, the TBX-Att dataset contains 2000 X-ray images with seven kinds of attributes for TB relational reasoning, which are annotated by experienced radiologists. It also includes the public TBX11K dataset with 11200 X-ray images to facilitate weakly supervised detection. Second, we exploit a multi-scale feature interaction model for TB area classification and detection with attribute relational reasoning. The proposed model is evaluated on the TBX-Att dataset and will serve as a solid baseline for future research. The code and data will be available at https://github.com/GangmingZhao/tb-attribute-weak-localization.


title: A dynamical systems approach to WKB-methods: The simple turning point

abstract: In this paper, we revisit the classical linear turning point problem for the second order differential equation $\epsilon^2 x'' +\mu(t)x=0$ with $\mu(0)=0,\,\mu'(0)\ne 0$ for $0<\epsilon\ll 1$. Written as a first order system, $t=0$ therefore corresponds to a turning point connecting hyperbolic and elliptic regimes. Our main result is that we provide an alternative approach to WBK that is based upon dynamical systems theory, including GSPT and blowup, and we bridge -- perhaps for the first time -- hyperbolic and elliptic theories of slow-fast systems. As an advantage, we only require finite smoothness of $\mu$. The approach we develop will be useful in other singular perturbation problems with hyperbolic-to-elliptic turning points.


title: Analyzing the behaviour of D'WAVE quantum annealer: fine-tuning parameterization and tests with restrictive Hamiltonian formulations

abstract: Despite being considered as the next frontier in computation, Quantum Computing is still in an early stage of development. Indeed, current commercial quantum computers suffer from some critical restraints, such as noisy processes and a limited amount of qubits, among others, that affect the performance of quantum algorithms. Despite these limitations, researchers have devoted much effort to propose different frameworks for efficiently using these Noisy Intermediate-Scale Quantum (NISQ) devices. One of these procedures is D'WAVE Systems' quantum-annealer, which can be use to solve optimization problems by translating them into an energy minimization problem. In this context, this work is focused on providing useful insights and information into the behaviour of the quantum-annealer when addressing real-world combinatorial optimization problems. Our main motivation with this study is to open some quantum computing frontiers to non-expert stakeholders. To this end, we perform an extensive experimentation, in the form of a parameter sensitive analysis. This experimentation has been conducted using the Traveling Salesman Problem as benchmarking problem, and adopting two QUBOs: state-of-the-art and a heuristically generated. Our analysis has been performed on a single 7-noded instance, and it is based on more than 200 different parameter configurations, comprising more than 3700 unitary runs and 7 million of quantum reads. Thanks to this study, findings related to the energy distribution and most appropriate parameter settings have been obtained. Finally, an additional study has been performed, aiming to determine the efficiency of the heuristically built QUBO in further TSP instances.


title: A Survey on Active Simultaneous Localization and Mapping: State of the Art and New Frontiers

abstract: Active Simultaneous Localization and Mapping (SLAM) is the problem of planning and controlling the motion of a robot to build the most accurate and complete model of the surrounding environment. Since the first foundational work in active perception appeared, more than three decades ago, this field has received increasing attention across different scientific communities. This has brought about many different approaches and formulations, and makes a review of the current trends necessary and extremely valuable for both new and experienced researchers. In this work, we survey the state-of-the-art in active SLAM and take an in-depth look at the open challenges that still require attention to meet the needs of modern applications. After providing a historical perspective, we present a unified problem formulation and review the well-established modular solution scheme, which decouples the problem into three stages that identify, select, and execute potential navigation actions. We then analyze alternative approaches, including belief-space planning and deep reinforcement learning techniques, and review related work on multi-robot coordination. The manuscript concludes with a discussion of new research directions, addressing reproducible research, active spatial perception, and practical applications, among other topics.


title: Trajectory Forecasting on Temporal Graphs

abstract: Predicting future locations of agents in the scene is an important problem in self-driving. In recent years, there has been a significant progress in representing the scene and the agents in it. The interactions of agents with the scene and with each other are typically modeled with a Graph Neural Network. However, the graph structure is mostly static and fails to represent the temporal changes in highly dynamic scenes. In this work, we propose a temporal graph representation to better capture the dynamics in traffic scenes. We complement our representation with two types of memory modules; one focusing on the agent of interest and the other on the entire scene. This allows us to learn temporally-aware representations that can achieve good results even with simple regression of multiple futures. When combined with goal-conditioned prediction, we show better results that can reach the state-of-the-art performance on the Argoverse benchmark.


title: Unsupervised High-Resolution Portrait Gaze Correction and Animation

abstract: This paper proposes a gaze correction and animation method for high-resolution, unconstrained portrait images, which can be trained without the gaze angle and the head pose annotations. Common gaze-correction methods usually require annotating training data with precise gaze, and head pose information. Solving this problem using an unsupervised method remains an open problem, especially for high-resolution face images in the wild, which are not easy to annotate with gaze and head pose labels. To address this issue, we first create two new portrait datasets: CelebGaze and high-resolution CelebHQGaze. Second, we formulate the gaze correction task as an image inpainting problem, addressed using a Gaze Correction Module (GCM) and a Gaze Animation Module (GAM). Moreover, we propose an unsupervised training strategy, i.e., Synthesis-As-Training, to learn the correlation between the eye region features and the gaze angle. As a result, we can use the learned latent space for gaze animation with semantic interpolation in this space. Moreover, to alleviate both the memory and the computational costs in the training and the inference stage, we propose a Coarse-to-Fine Module (CFM) integrated with GCM and GAM. Extensive experiments validate the effectiveness of our method for both the gaze correction and the gaze animation tasks in both low and high-resolution face datasets in the wild and demonstrate the superiority of our method with respect to the state of the arts. Code is available at https://github.com/zhangqianhui/GazeAnimationV2


title: High-Performance GPU-to-CPU Transpilation and Optimization via High-Level Parallel Constructs

abstract: While parallelism remains the main source of performance, architectural implementations and programming models change with each new hardware generation, often leading to costly application re-engineering. Most tools for performance portability require manual and costly application porting to yet another programming model. We propose an alternative approach that automatically translates programs written in one programming model (CUDA), into another (CPU threads) based on Polygeist/MLIR. Our approach includes a representation of parallel constructs that allows conventional compiler transformations to apply transparently and without modification and enables parallelism-specific optimizations. We evaluate our framework by transpiling and optimizing the CUDA Rodinia benchmark suite for a multi-core CPU and achieve a 76% geomean speedup over handwritten OpenMP code. Further, we show how CUDA kernels from PyTorch can efficiently run and scale on the CPU-only Supercomputer Fugaku without user intervention. Our PyTorch compatibility layer making use of transpiled CUDA PyTorch kernels outperforms the PyTorch CPU native backend by 2.7$\times$.


title: A new proof of finiteness of maximal arithmetic reflection groups

abstract: We give a new proof of the finiteness of maximal arithmetic reflection groups. Our proof is novel in that it makes no use of trace formulas or other tools from the theory of automorphic forms and instead relies on the arithmetic Margulis lemma of Fraczyk, Hurtado and Raimbault.


title: COVID-19 Detection Using Transfer Learning Approach from Computed Tomography Images

abstract: The significance of efficient and accurate diagnosis amidst the unique challenges posed by the COVID-19 pandemic underscores the urgency for innovative approaches. In response to these challenges, we propose a transfer learning-based approach using a recently annotated Computed Tomography (CT) image database. While many approaches propose an intensive data preproseccing and/or complex model architecture, our method focusses on offering an efficient solution with minimal manual engineering. Specifically, we investigate the suitability of a modified Xception model for COVID-19 detection. The method involves adapting a pre-trained Xception model, incorporating both the architecture and pre-trained weights from ImageNet. The output of the model was designed to take the final diagnosis decisions. The training utilized 128 batch sizes and 224x224 input image dimensions, downsized from standard 512x512. No further da processing was performed on the input data. Evaluation is conducted on the 'COV19-CT-DB' CT image dataset, containing labeled COVID-19 and non-COVID-19 cases. Results reveal the method's superiority in accuracy, precision, recall, and macro F1 score on the validation subset, outperforming VGG-16 transfer model and thus offering enhanced precision with fewer parameters. Furthermore, when compared to alternative methods for the COV19-CT-DB dataset, our approach exceeds the baseline approach and other alternatives on the same dataset. Finally, the adaptability of the modified Xception trasnfer learning-based model to the unique features of the COV19-CT-DB dataset showcases its potential as a robust tool for enhanced COVID-19 diagnosis from CT images.


title: Towards Two-view 6D Object Pose Estimation: A Comparative Study on Fusion Strategy

abstract: Current RGB-based 6D object pose estimation methods have achieved noticeable performance on datasets and real world applications. However, predicting 6D pose from single 2D image features is susceptible to disturbance from changing of environment and textureless or resemblant object surfaces. Hence, RGB-based methods generally achieve less competitive results than RGBD-based methods, which deploy both image features and 3D structure features. To narrow down this performance gap, this paper proposes a framework for 6D object pose estimation that learns implicit 3D information from 2 RGB images. Combining the learned 3D information and 2D image features, we establish more stable correspondence between the scene and the object models. To seek for the methods best utilizing 3D information from RGB inputs, we conduct an investigation on three different approaches, including Early- Fusion, Mid-Fusion, and Late-Fusion. We ascertain the Mid- Fusion approach is the best approach to restore the most precise 3D keypoints useful for object pose estimation. The experiments show that our method outperforms state-of-the-art RGB-based methods, and achieves comparable results with RGBD-based methods.


title: snapshot CEST++ : the next snapshot CEST for fast whole-brain APTw imaging at 3T

abstract: CEST suffers from two main problems long acquisitin times or restricted coverage as well as incoherent protocol settings. In this paper we give suggestions on how to optimise your protocol settings fro CEST and present one setting for APT CEST. To increase the coverage while keeping the acquisition time constant we suggest using a spatial temporal Compressed Sensing approach. Finally, 1.8mm isotropic whole brain APT CEST maps can be acquired in a little bit less than 2min with a fully integrated online reconstruction. This will pave the way to an even further clinical use of CEST.


title: Wavelet leader based formalism to compute multifractal features for classifying lung nodules in X-ray images

abstract: This paper presents and validates a novel lung nodule classification algorithm that uses multifractal features found in X-ray images. The proposed method includes a pre-processing step where two enhancement techniques are applied: histogram equalization and a combination of wavelet decomposition and morphological operations. As a novelty, multifractal features using wavelet leader based formalism are used with Support Vector Machine classifier; other classical texture features were also included. Best results were obtained when using multifractal features in combination with classical texture features, with a maximum ROC AUC of 75\%. The results show improvements when using data augmentation technique, and parameter optimization. The proposed method proved to be more efficient and accurate than Modulus Maxima Wavelet Formalism in both computational cost and accuracy when compared in a similar experimental set up.


title: Effect of Homomorphic Encryption on the Performance of Training Federated Learning Generative Adversarial Networks

abstract: A Generative Adversarial Network (GAN) is a deep-learning generative model in the field of Machine Learning (ML) that involves training two Neural Networks (NN) using a sizable data set. In certain fields, such as medicine, the training data may be hospital patient records that are stored across different hospitals. The classic centralized approach would involve sending the data to a centralized server where the model would be trained. However, that would involve breaching the privacy and confidentiality of the patients and their data, which would be unacceptable. Therefore, Federated Learning (FL), an ML technique that trains ML models in a distributed setting without data ever leaving the host device, would be a better alternative to the centralized option. In this ML technique, only parameters and certain metadata would be communicated. In spite of that, there still exist attacks that can infer user data using the parameters and metadata. A fully privacy-preserving solution involves homomorphically encrypting (HE) the data communicated. This paper will focus on the performance loss of training an FL-GAN with three different types of Homomorphic Encryption: Partial Homomorphic Encryption (PHE), Somewhat Homomorphic Encryption (SHE), and Fully Homomorphic Encryption (FHE). We will also test the performance loss of Multi-Party Computations (MPC), as it has homomorphic properties. The performances will be compared to the performance of training an FL-GAN without encryption as well. Our experiments show that the more complex the encryption method is, the longer it takes, with the extra time taken for HE is quite significant in comparison to the base case of FL.


title: A Functional Architecture for 6G Special Purpose Industrial IoT Networks

abstract: Future industrial applications will encompass compelling new use cases requiring stringent performance guarantees over multiple key performance indicators (KPI) such as reliability, dependability, latency, time synchronization, security, etc. Achieving such stringent and diverse service requirements necessitates the design of a special-purpose Industrial Internet of Things (IIoT) network comprising a multitude of specialized functionalities and technological enablers. This article proposes an innovative architecture for such a special-purpose 6G IIoT network incorporating seven functional building blocks categorized into: special-purpose functionalities and enabling technologies. The former consists of Wireless Environment Control, Traffic/Channel Prediction, Proactive Resource Management and End-to-End Optimization functions; whereas the latter includes Synchronization and Coordination, Machine Learning and Artificial Intelligence Algorithms, and Auxiliary Functions. The proposed architecture aims at providing a resource-efficient and holistic solution for the complex and dynamically challenging requirements imposed by future 6G industrial use cases. Selected test scenarios are provided and assessed to illustrate cross-functional collaboration and demonstrate the applicability of the proposed architecture in a wireless IIoT network.


title: Affordance Extraction with an External Knowledge Database for Text-Based Simulated Environments

abstract: Text-based simulated environments have proven to be a valid testbed for machine learning approaches. The process of affordance extraction can be used to generate possible actions for interaction within such an environment. In this paper the capabilities and challenges for utilizing external knowledge databases (in particular ConceptNet) in the process of affordance extraction are studied. An algorithm for automated affordance extraction is introduced and evaluated on the Interactive Fiction (IF) platforms TextWorld and Jericho. For this purpose, the collected affordances are translated into text commands for IF agents. To probe the quality of the automated evaluation process, an additional human baseline study is conducted. The paper illustrates that, despite some challenges, external databases can in principle be used for affordance extraction. The paper concludes with recommendations for further modification and improvement of the process.


title: Comparative study of charge order in undoped infinite-layer nickelate superconductors

abstract: To understand the microscopic mechanism of the charge order observed in the parent compound of the infinite-layer nickelate superconductors, we consider a minimal three-legged model consisting of a two-legged Hubbard ladder for the Ni $3d_{x^2-y^2}$ electrons and a free conduction electron chain from the rare-earths. With highly accurate density matrix renormalization group calculations, when the chemical potential difference is adjusted to make the Hubbard ladder with $1/3$ hole doping, we find a long-range charge order with period $3$ in the ground state of the model, while the spin excitation has a small energy gap. Moreover, the electron pair-pair correlation has a quasi-long-range behavior, indicating an instability of superconductivity even at half-filling. As a comparison, the same method is applied to a pure two-legged Hubbard model with $1/3$ hole doping in which the period-3 charge order is a quasi-long range one. The difference between them demonstrates that the free electron chain of the three-legged ladder plays the role of a charge reservoir and enhances the charge order in the undoped infinite-layer nickelates.


title: Initial conditions for the scalaron dark matter

abstract: The scalaron of the metric $f(R)$ gravity can constitute dark matter if its mass is in the range $4\,\text{meV} \lesssim m \lesssim 1\,\text{MeV}$. We give an overview of such $f (R)$ gravity theory minimally coupled to the Standard Model. Similarly to other dark-matter models based on scalar fields, this model has the issue of initial conditions. Firstly, the initial conditions for the scalaron are to be tuned in order to produce the observed amount of dark matter. Secondly, the primordial spatial inhomogeneities in the field are to be sufficiently small because they generate entropy (or isocurvature) perturbations, which are constrained by observations. We consider these issues in the present paper. The initial conditions for the scalaron presumably emerge at the inflationary stage. We point out that the homogeneous part of the scalaron initial value is largely unpredictable because of quantum diffusion during inflation. Thus, to account for the observed amount of dark matter, one has to resort to anthropic considerations. Observational constraints on the primordial spatial inhomogeneity of the scalaron are translated into upper bounds on the energy scale of inflation, which happen to be low but not too restrictive.


title: High-resolution Solar Image Reconstruction Based on Non-rigid Alignment

abstract: Suppressing the interference of atmospheric turbulence and obtaining observation data with a high spatial resolution is an issue to be solved urgently for ground observations. One way to solve this problem is to perform a statistical reconstruction of short-exposure speckle images. Combining the rapidity of Shift-Add and the accuracy of speckle masking, this paper proposes a novel reconstruction algorithm-NASIR (Non-rigid Alignment based Solar Image Reconstruction). NASIR reconstructs the phase of the object image at each frequency by building a computational model between geometric distortion and intensity distribution and reconstructs the modulus of the object image on the aligned speckle images by speckle interferometry. We analyzed the performance of NASIR by using the correlation coefficient, power spectrum, and coefficient of variation of intensity profile (CVoIP) in processing data obtained by the NVST (1m New Vacuum Solar Telescope). The reconstruction experiments and analysis results show that the quality of images reconstructed by NASIR is close to speckle masking when the seeing is good, while NASIR has excellent robustness when the seeing condition becomes worse. Furthermore, NASIR reconstructs the entire field of view in parallel in one go, without phase recursion and block-by-block reconstruction, so its computation time is less than half that of speckle masking. Therefore, we consider NASIR is a robust and high-quality fast reconstruction method that can serve as an effective tool for data filtering and quick look.


title: A bi-variant algebraic cobordism via correspondences

abstract: A bi-variant theory $\mathbb B(X,Y)$ defined for a pair $(X,Y)$ is a theory satisfying properties similar to those of Fulton--MacPherson's bivariant theory $\mathbb B(X \xrightarrow f Y)$ defined for a morphism $f:X \to Y$. In this paper, using correspondences we construct a bi-variant algebraic cobordism $\Omega^{*,\sharp}(X, Y)$ such that $\Omega^{*,\sharp}(X, pt)$ is isomorphic to Lee--Pandharipande's algebraic cobordism of vector bundles $\Omega_{-*,\sharp}(X)$. In particular, $\Omega^{*}(X, pt)=\Omega^{*, 0}(X, pt)$ is isomorphic to Levine--Morel's algebraic cobordism $\Omega_{-*}(X)$. Namely, $\Omega^{*,\sharp}(X, Y)$ is \emph{a bi-variant vesion} of Lee--Pandharipande's algebraic cobordism of bundles $\Omega_{*,\sharp}(X)$.


title: The distribution of order statistics under sampling without replacement

abstract: This paper examines the distribution of order statistics taken from simple-random-sampling without replacement (SRSWOR) from a finite population with values 1,...,N. This distribution is a shifted version of the beta-binomial distribution, parameterised in a particular way. We derive the distribution and show how it relates to the distribution of order statistics under IID sampling from a uniform distribution over the unit interval. We examine properties of the distribution, including moments and asymptotic results. We also generalise the distribution to sampling without replacement of order statistics from an arbitrary finite population. We examine the properties of the order statistics for inference about an unknown population size (called the German tank problem) and we derive relevant estimation results based on observation of an arbitrary set of order statistics. We also introduce an algorithm that simulates sampling without replacement of order statistics from an arbitrary finite population without having to generate the entire sample.


title: No need for a grid: Adaptive fully-flexible gaussians for the time-dependent Schr\"odinger equation

abstract: Linear combinations of complex gaussian functions, where the linear and nonlinear parameters are allowed to vary, are shown to provide an extremely flexible and effective approach for solving the time-dependent Schr\"odinger equation in one spatial dimension. The use of flexible basis sets has been proven notoriously hard within the systematics of the Dirac--Frenkel variational principle. In this work we present an alternative time-propagation scheme that de-emphasizes optimal parameter evolution but directly targets residual minimization via the method of Rothe's method, also called the method of vertical time layers. We test the scheme using a simple model system mimicking an atom subjected to an extreme laser pulse. Such a pulse produces complicated ionization dynamics of the system. The scheme is shown to perform very well on this model and notably does not rely on a computational grid. Only a handful of gaussian functions are needed to achieve an accuracy on par with a high-resolution, grid-based solver. This paves the way for accurate and affordable solution of the time-dependent Schr\"odinger equation for atoms and molecules within and beyond the Born--Oppenheimer approximation.


title: Grant-Free Transmission by LDPC Matrix Mapping and Integrated Cover-MPA Detector

abstract: In this paper, a novel transceiver architecture is proposed to simultaneously achieve efficient random access and reliable data transmission in massive IoT networks. At the transmitter side, each user is assigned a unique protocol sequence which is used to identify the user and also indicate the user's channel access pattern. Hence, user identification is completed by the detection of channel access patterns. Particularly, the columns of a parity check matrix of low-density-parity-check (LDPC) code are employed as protocol sequences. The design guideline of this LDPC parity check matrix and the associated performance analysis are provided in this paper.At the receiver side, a two-stage iterative detection architecture is designed, which consists of a group testing component and a payload data decoding component. They collaborate in a way that the group testing component maps detected protocol sequences to a tanner graph, on which the second component could execute its message passing algorithm. In turn, zero symbols detected by the message passing algorithm of the second component indicate potential false alarms made by the first group testing component. Hence, the tanner graph could iteratively evolve.The provided simulation results demonstrate that our transceiver design realizes a practical one-step grant-free transmission and has a compelling performance.


title: Whistler Waves As a Signature of Converging Magnetic Holes in Space Plasmas

abstract: Magnetic holes are plasma structures that trap a large number of particles in a magnetic field that is weaker than the field in its surroundings. The unprecedented high time-resolution observations by NASA's Magnetospheric Multi-Scale (MMS) mission enable us to study the particle dynamics in magnetic holes in the Earth's magnetosheath in great detail. We reveal the local generation mechanism of whistler waves by a combination of Landau-resonant and cyclotron-resonant wave-particle interactions of electrons in response to the large-scale evolution of a magnetic hole. As the magnetic hole converges, a pair of counter-streaming electron beams form near the hole's center as a consequence of the combined action of betatron and Fermi effects. The beams trigger the generation of slightly-oblique whistler waves. Our conceptual prediction is supported by a remarkable agreement between our observations and numerical predictions from the Arbitrary Linear Plasma Solver (ALPS). Our study shows that wave-particle interactions are fundamental to the evolution of magnetic holes in space and astrophysical plasmas.


title: Anomaly-induced Chiral Mixing in Cold and Dense Matter

abstract: We construct the spectral functions for light vector mesons at finite density and temperature in the presence of a novel mixing between parity partners, induced by baryon density via the Wess-Zumino-Witten action. As the main origin of in-medium broadening, a set of baryon resonances that strongly couple to the vector mesons and the modifications of kaons and anti-kaons due to the Kaplan-Nelson term are included. It is shown that the vector spectra, even with the broadening effects, exhibit sizable signatures of chiral symmetry restoration thanks to the chiral mixing depending on three-momenta carried by the vector mesons. Those spectral functions are used to calculate the integrated production rates of lepton pairs, and a proper binning in momenta and potential decrease in the vector-meson masses due to chiral symmetry restoration are discussed in quantifying the signatures.


title: Local manifold learning and its link to domain-based physics knowledge

abstract: In many reacting flow systems, the thermo-chemical state-space is known or assumed to evolve close to a low-dimensional manifold (LDM). Various approaches are available to obtain those manifolds and subsequently express the original high-dimensional space with fewer parameterizing variables. Principal component analysis (PCA) is one of the dimensionality reduction methods that can be used to obtain LDMs. PCA does not make prior assumptions about the parameterizing variables and retrieves them empirically from the training data. In this paper, we show that PCA applied in local clusters of data (local PCA) is capable of detecting the intrinsic parameterization of the thermo-chemical state-space. We first demonstrate that utilizing three common combustion models of varying complexity: the Burke-Schumann model, the chemical equilibrium model and the homogeneous reactor. Parameterization of these models is known a priori which allows for benchmarking with the local PCA approach. We further extend the application of local PCA to a more challenging case of a turbulent non-premixed $n$-heptane/air jet flame for which the parameterization is no longer obvious. Our results suggest that meaningful parameterization can be obtained also for more complex datasets. We show that local PCA finds variables that can be linked to local stoichiometry, reaction progress and soot formation processes.


title: The role of the $\omega(4S)$ and $\omega(3D)$ states in mediating the $e^+e^-\to \omega\eta$ and $\omega\pi^0\pi^0$ processes

abstract: The $e^+e^-\to \omega\eta$ and $e^+e^-\to\omega\pi^0\pi^0$ processes are ideal platforms to search for higher $\omega$ states. Focusing on the observations of two enhancement structures around 2.2 GeV existing in $e^+e^-\to \omega\eta$ and $e^+e^-\to\omega\pi^0\pi^0$ at BESIII, we analyze how the $\omega(4S)$ and $\omega(3D)$ states play the role in the $e^+e^-\to \omega\eta$ and $e^+e^-\to\omega\pi^0\pi^0$ processes. The present study is supported by theoretical $\omega$ mesonic spectroscopy. For reproducing the data of the cross sections of $e^+e^-\to\omega\eta$ and $\omega\pi^0\pi^0$, the intermediate $\omega(4S)$ and $\omega(3D)$ should be introduced, which indicates that the enhancement structures around 2.2 GeV existing in $e^+e^-\to\omega\eta$ and $\omega\pi^0\pi^0$ contain the $\omega(4S)$ and $\omega(3D)$ signals. Nonetheless, in the process $e^+e^-\to\omega\eta$, the $\omega(4S)$ plays a dominant role, while the $\omega(4S)$ and $\omega(3D)$ have similar sizable contributions in the process of $e^+e^-\to\omega\pi^0\pi^0$, which leads to a difference in the line shape of enhancement structure in the cross sections under the interference effect. Thus, we find a solution to alleviate the puzzling difference of resonance parameter of two reported enhancement structures around 2.2 GeV existing in $e^+e^-\to \omega\eta$ and $e^+e^-\to\omega\pi^0\pi^0$ at BESIII. The present study provides valuable information to construct $\omega$ meson family, which can be accessible at future experiment like BESIII.


title: A non-uniform extension of Baranyai's Theorem

abstract: A celebrated theorem of Baranyai states that when $k$ divides $n$, the family $K_n^k$ of all $k$-subsets of an $n$-element set can be partitioned into perfect matchings. In other words, $K_n^k$ is $1$-factorable. In this paper, we determine all $n, k$, such that the family $K_n^{\le k}$ consisting of subsets of $[n]$ of size up to $k$ is $1$-factorable, and thus extend Baranyai's Theorem to the non-uniform setting. In particular, our result implies that for fixed $k$ and sufficiently large $n$, $K_n^{\le k}$ is $1$-factorable if and only if $n \equiv 0$ or $-1 \pmod k$.


title: BadHash: Invisible Backdoor Attacks against Deep Hashing with Clean Label

abstract: Due to its powerful feature learning capability and high efficiency, deep hashing has achieved great success in large-scale image retrieval. Meanwhile, extensive works have demonstrated that deep neural networks (DNNs) are susceptible to adversarial examples, and exploring adversarial attack against deep hashing has attracted many research efforts. Nevertheless, backdoor attack, another famous threat to DNNs, has not been studied for deep hashing yet. Although various backdoor attacks have been proposed in the field of image classification, existing approaches failed to realize a truly imperceptive backdoor attack that enjoys invisible triggers and clean label setting simultaneously, and they also cannot meet the intrinsic demand of image retrieval backdoor. In this paper, we propose BadHash, the first generative-based imperceptible backdoor attack against deep hashing, which can effectively generate invisible and input-specific poisoned images with clean label. Specifically, we first propose a new conditional generative adversarial network (cGAN) pipeline to effectively generate poisoned samples. For any given benign image, it seeks to generate a natural-looking poisoned counterpart with a unique invisible trigger. In order to improve the attack effectiveness, we introduce a label-based contrastive learning network LabCLN to exploit the semantic characteristics of different labels, which are subsequently used for confusing and misleading the target model to learn the embedded trigger. We finally explore the mechanism of backdoor attacks on image retrieval in the hash space. Extensive experiments on multiple benchmark datasets verify that BadHash can generate imperceptible poisoned samples with strong attack ability and transferability over state-of-the-art deep hashing schemes.


title: Acoustic waveguide with a dissipative inclusion

abstract: We consider the propagation of acoustic waves in a waveguide containing a penetrable dissipative inclusion. We prove that as soon as the dissipation, characterized by some coefficient $\eta$, is non zero, the scattering solutions are uniquely defined. Additionally, we give an asymptotic expansion of the corresponding scattering matrix when $\eta\to0^+$ (small dissipation) and when $\eta\to+\infty$ (large dissipation). Surprisingly, at the limit $\eta\to+\infty$, we show that no energy is absorbed by the inclusion. This is due to the so-called skin-effect phenomenon and can be explained by the fact that the field no longer penetrates into the highly dissipative inclusion. These results guarantee that in monomode regime, the amplitude of the reflection coefficient has a global minimum with respect to $\eta$. The situation where this minimum is zero, that is when the device acts as a perfect absorber, is particularly interesting for certain applications. However it does not happen in general. In this work, we show how to perturb the geometry of the waveguide to create 2D perfect absorbers in monomode regime. Asymptotic expansions are justified by error estimates and theoretical results are supported by numerical illustrations.


title: A study of efficient concurrent integration methods of B-Spline basis functions in IGA-FEM

abstract: Based on trace theory, we study efficient methods for concurrent integration of B-spline basis functions in IGA-FEM. We consider several scenarios of parallelization for two standard integration methods; the classical one and sum factorization. We aim to efficiently utilize hybrid memory machines, such as modern clusters, by focusing on the non-obvious layer of the shared memory part of concurrency. We estimate the performance of computations on a GPU and provide a strategy for performing such computations in practical implementations.


title: Transposed Poisson structures

abstract: To present a survey on known results from the theory of transposed Poisson algebras, as well as to establish new results on this subject, are the main aims of the present paper. Furthermore, a list of open questions for future research is given.


title: (Un)likelihood Training for Interpretable Embedding

abstract: Cross-modal representation learning has become a new normal for bridging the semantic gap between text and visual data. Learning modality agnostic representations in a continuous latent space, however, is often treated as a black-box data-driven training process. It is well-known that the effectiveness of representation learning depends heavily on the quality and scale of training data. For video representation learning, having a complete set of labels that annotate the full spectrum of video content for training is highly difficult if not impossible. These issues, black-box training and dataset bias, make representation learning practically challenging to be deployed for video understanding due to unexplainable and unpredictable results. In this paper, we propose two novel training objectives, likelihood and unlikelihood functions, to unroll semantics behind embeddings while addressing the label sparsity problem in training. The likelihood training aims to interpret semantics of embeddings beyond training labels, while the unlikelihood training leverages prior knowledge for regularization to ensure semantically coherent interpretation. With both training objectives, a new encoder-decoder network, which learns interpretable cross-modal representation, is proposed for ad-hoc video search. Extensive experiments on TRECVid and MSR-VTT datasets show the proposed network outperforms several state-of-the-art retrieval models with a statistically significant performance margin.


title: Learning Lattice Quantum Field Theories with Equivariant Continuous Flows

abstract: We propose a novel machine learning method for sampling from the high-dimensional probability distributions of Lattice Field Theories, which is based on a single neural ODE layer and incorporates the full symmetries of the problem. We test our model on the $\phi^4$ theory, showing that it systematically outperforms previously proposed flow-based methods in sampling efficiency, and the improvement is especially pronounced for larger lattices. Furthermore, we demonstrate that our model can learn a continuous family of theories at once, and the results of learning can be transferred to larger lattices. Such generalizations further accentuate the advantages of machine learning methods.


title: Spin-hedgehog-derived electromagnetic effects in itinerant magnets

abstract: In itinerant magnets, the indirect exchange coupling of Ruderman-Kittel-Kasuya-Yosida type is known to stabilize incommensurate spin spiral. Whereas an account of higher order spin interactions favors the formation of a noncoplanar magnetic texture. This is manifested by the finite Berry phase the conduction electrons accumulate when their spins follow this texture, leading thus to the topological Hall effect. We herein utilize the effective spin model with bilinear-biquadratic exchange interactions for studying the formation of the magnetic hedgehog lattice, that represents a periodic array of magnetic anti- and monopoles and has been recently observed in the B20-type compounds, in a three-dimensional itinerant magnet. As opposed to widely used Monte Carlo simulations, we employ a neural-network-based approach for exploring the ground state spin configuration in a noncentrosymmetric crystal structure. Further, we address the topological Hall conductivity, associated with nonzero scalar spin chirality, in the itinerant magnet due to the coupling to the spin hedgehog lattice, and provide the evidence of magneto-optic Kerr effect.


title: Effects of massive gravity on $s$-wave holographic superconductor

abstract: Analytical investigation of the properties of $s$-wave holographic superconductors in the background of a massive gravity theory in the probe limit has been carried out employing the Sturm-Liouville eigenvalue method . We obtain the analytical expression for the relation between the critical temperature and the charge density. We also obtain the expression for the condensation operator and value of the critical exponent. Our findings show that as we increase the massive gravity couplings the critical temperature increases and the condensate decreases. More precisely we observe that the presence of massive graviton increases the critical temperature compared to the superconductors in Einstein gravity at some point if we keep on increasing the coupling constants. We also obtain the frequency dependence of conductivity by solving analytically the wave equation for electromagnetic perturbations. From the real part of the conductivity, we finally estimate the energy band gap.


title: Antiferromagnetic half-skyrmions electrically generated and controlled at room temperature

abstract: Topologically protected magnetic textures, such as skyrmions, half-skyrmions (merons) and their antiparticles, constitute tiny whirls in the magnetic order. They are promising candidates for information carriers in next-generation memory devices, as they can be efficiently propelled at very high velocities using current-induced spin torques. Antiferromagnets have been shown to host versions of these textures, which have gained significant attention because of their potential for terahertz dynamics, deflection free motion, and improved size scaling due to the absence of stray field. Here we show that topological spin textures, merons and antimerons, can be generated at room temperature and reversibly moved using electrical pulses in thin film CuMnAs, a semimetallic antiferromagnet that is a testbed system for spintronic applications. The electrical generation and manipulation of antiferromagnetic merons is a crucial step towards realizing the full potential of antiferromagnetic thin films as active components in high density, high speed magnetic memory devices.


title: DALG: Deep Attentive Local and Global Modeling for Image Retrieval

abstract: Deeply learned representations have achieved superior image retrieval performance in a retrieve-then-rerank manner. Recent state-of-the-art single stage model, which heuristically fuses local and global features, achieves promising trade-off between efficiency and effectiveness. However, we notice that efficiency of existing solutions is still restricted because of their multi-scale inference paradigm. In this paper, we follow the single stage art and obtain further complexity-effectiveness balance by successfully getting rid of multi-scale testing. To achieve this goal, we abandon the widely-used convolution network giving its limitation in exploring diverse visual patterns, and resort to fully attention based framework for robust representation learning motivated by the success of Transformer. Besides applying Transformer for global feature extraction, we devise a local branch composed of window-based multi-head attention and spatial attention to fully exploit local image patterns. Furthermore, we propose to combine the hierarchical local and global features via a cross-attention module, instead of using heuristically fusion as previous art does. With our Deep Attentive Local and Global modeling framework (DALG), extensive experimental results show that efficiency can be significantly improved while maintaining competitive results with the state of the arts.


title: Distributed Influence-Augmented Local Simulators for Parallel MARL in Large Networked Systems

abstract: Due to its high sample complexity, simulation is, as of today, critical for the successful application of reinforcement learning. Many real-world problems, however, exhibit overly complex dynamics, which makes their full-scale simulation computationally slow. In this paper, we show how to decompose large networked systems of many agents into multiple local components such that we can build separate simulators that run independently and in parallel. To monitor the influence that the different local components exert on one another, each of these simulators is equipped with a learned model that is periodically trained on real trajectories. Our empirical results reveal that distributing the simulation among different processes not only makes it possible to train large multi-agent systems in just a few hours but also helps mitigate the negative effects of simultaneous learning.


title: Learning to segment from object sizes

abstract: Deep learning has proved particularly useful for semantic segmentation, a fundamental image analysis task. However, the standard deep learning methods need many training images with ground-truth pixel-wise annotations, which are usually laborious to obtain and, in some cases (e.g., medical images), require domain expertise. Therefore, instead of pixel-wise annotations, we focus on image annotations that are significantly easier to acquire but still informative, namely the size of foreground objects. We define the object size as the maximum Chebyshev distance between a foreground and the nearest background pixel. We propose an algorithm for training a deep segmentation network from a dataset of a few pixel-wise annotated images and many images with known object sizes. The algorithm minimizes a discrete (non-differentiable) loss function defined over the object sizes by sampling the gradient and then using the standard back-propagation algorithm. Experiments show that the new approach improves the segmentation performance.


title: Competitive DER Aggregation for Participation in Wholesale Markets

abstract: The problem of the large-scale aggregation of the behind-the-meter demand and generation resources by a distributed-energy-resource aggregator (DERA) is considered. As a profit-seeking wholesale market participant, a DERA maximizes its profit while providing competitive services to its customers with higher consumer/prosumer surpluses than those offered by the distribution utilities or community choice aggregators. A constrained profit maximization program for aggregating behind-the-meter generation and consumption resources is formulated, from which payment functions for the behind-the-meter consumptions and generations are derived. Also obtained are DERA's bid and offer curves for its participation in the wholesale energy market and the optimal schedule of behind-the-meter resources. It is shown that the proposed DERA's aggregation model can achieve market efficiency equivalent to that when its customers participate individually directly in the wholesale market.


title: A Comparative Study of Graph Matching Algorithms in Computer Vision

abstract: The graph matching optimization problem is an essential component for many tasks in computer vision, such as bringing two deformable objects in correspondence. Naturally, a wide range of applicable algorithms have been proposed in the last decades. Since a common standard benchmark has not been developed, their performance claims are often hard to verify as evaluation on differing problem instances and criteria make the results incomparable. To address these shortcomings, we present a comparative study of graph matching algorithms. We create a uniform benchmark where we collect and categorize a large set of existing and publicly available computer vision graph matching problems in a common format. At the same time we collect and categorize the most popular open-source implementations of graph matching algorithms. Their performance is evaluated in a way that is in line with the best practices for comparing optimization algorithms. The study is designed to be reproducible and extensible to serve as a valuable resource in the future. Our study provides three notable insights: 1.) popular problem instances are exactly solvable in substantially less than 1 second and, therefore, are insufficient for future empirical evaluations; 2.) the most popular baseline methods are highly inferior to the best available methods; 3.) despite the NP-hardness of the problem, instances coming from vision applications are often solvable in a few seconds even for graphs with more than 500 vertices.


title: Offset equivariant networks and their applications

abstract: In this paper we present a framework for the design and implementation of offset equivariant networks, that is, neural networks that preserve in their output uniform increments in the input. In a suitable color space this kind of networks achieves equivariance with respect to the photometric transformations that characterize changes in the lighting conditions. We verified the framework on three different problems: image recognition, illuminant estimation, and image inpainting. Our experiments show that the performance of offset equivariant networks are comparable to those in the state of the art on regular data. Differently from conventional networks, however, equivariant networks do behave consistently well when the color of the illuminant changes.


title: Dynamics of quantum double dark-solitons and an exact finite-size scaling of Bose-Einstein condensation

abstract: We show several novel aspects in the exact non-equilibrium dynamics of quantum double dark-soliton states in the Lieb-Liniger model for the one-dimensional Bose gas with repulsive interactions. We also show an exact finite-size scaling of the fraction of the Bose-Einstein condensation (BEC) in the ground state, which should characterize the quasi-BEC in quantum double dark-soliton states that we assume to occur in the weak coupling regime. First, we show the exact time evolution of the density profile in the quantum state associated with a quantum double dark-soliton by the Bethe ansatz. Secondly, we derive a kind of macroscopic quantum wave-function effectively by exactly evaluating the square amplitude and phase profiles of the matrix element of the field operator between the quantum double dark-soliton states. The profiles are close to those of dark-solitons particularly in the weak-coupling regime. Then, the scattering of two notches in the quantum double dark-soliton state is exactly demonstrated. It is suggested from the above observations that the quasi-BEC should play a significant role in the dynamics of quantum double dark-soliton states. If the condensate fraction is close to 1, the quantum state should be well approximated by the quasi-BEC state where the mean-field picture is valid.

categories: cond-mat.quant-gas hep-th math-ph math.MP nlin.SI quant-ph


title: The augmented Lagrangian method as a framework for stabilised methods in computational mechanics

abstract: In this paper we will review recent advances in the application of the augmented Lagrange multiplier method as a general approach for generating multiplier--free stabilised methods. We first show how the method generates Galerkin/Least Squares type schemes for equality constraints and then how it can be extended to develop new stabilised methods for inequality constraints. Application to several different problems in computational mechanics is given.


title: The Dangers of Computational Law and Cybersecurity; Perspectives from Engineering and the AI Act

abstract: Computational Law has begun taking the role in society which has been predicted for some time. Automated decision-making and systems which assist users are now used in various jurisdictions, but with this maturity come certain caveats. Computational Law exists on the platforms which enable it, in this case digital systems, which means that it inherits the same flaws. Cybersecurity addresses these potential weaknesses. In this paper we go through known issues and discuss them in the various levels, from design to the physical realm. We also look at machine-learning specific adversarial problems. Additionally, we make certain considerations regarding computational law and existing and future legislation. Finally, we present three recommendations which are necessary for computational law to function globally, and which follow ideas in safety and security engineering. As indicated, we find that computational law must seriously consider that not only does it face the same risks as other types of software and computer systems, but that failures within it may cause financial or physical damage, as well as injustice. Consequences of Computational Legal systems failing are greater than if they were merely software and hardware. If the system employs machine-learning, it must take note of the very specific dangers which this brings, of which data poisoning is the classic example. Computational law must also be explicitly legislated for, which we show is not the case currently in the EU, and this is also true for the cybersecurity aspects that will be relevant to it. But there is great hope in EU's proposed AI Act, which makes an important attempt at taking the specific problems which Computational Law bring into the legal sphere. Our recommendations for Computational Law and Cybersecurity are: Accommodation of threats, adequate use, and that humans remain in the centre of their deployment.


title: Sharing tripartite nonlocality sequentially by arbitrarily many independent observers

abstract: There exist bipartite entangled states whose violations of Clauser-Horne-Shimony-Holt (CHSH) Bell inequality can be observed by a single Alice and arbitrarily many sequential Bobs [Phys. Rev. Lett. 125, 090401 (2020)]. Here we consider its analogues for tripartite systems: a tripartite entangled state is shared among Alice, Bob and multiple Charlies. The first Charlie measures his qubit and then passes his qubit to the next Charlie who measures again with other measurements and so on. The goal is to maximize the number of Charlies that can observe some kind of nonlocality with the single Alice and Bob. It has been shown that at most two Charlies could share genuine nonlocality of the Greenberger-Horne-Zeilinger (GHZ) state via the violation of Svetlichny inequality with Alice and Bob [Quantum Inf. Process. 18, 42 (2019) and Phys. Rev. A 103, 032216 (2021)]. In this work, we show that arbitrarily many Charlies can have standard nonlocality (via violations of Mermin inequality) and some other kind of genuine nonlocality (which is known as genuinely nonsignal nonlocality) with the single Alice and single Bob.


title: Monitoring AGNs with H$\beta$ Asymmetry. III. Long-term Reverberation Mapping Results of 15 Palomar-Green Quasars

abstract: In this third paper of the series reporting on the reverberation mapping (RM) campaign of active galactic nuclei with asymmetric H$\beta$ emission-line profiles, we present results for 15 Palomar-Green (PG) quasars using spectra obtained between the end of 2016 to May 2021. This campaign combines long time spans with relatively high cadence. For 8 objects, both the time lags obtained from the entire light curves and the measurements from individual observing seasons are provided. Reverberation mapping of 9 of our targets has been attempted for the first time, while the results for 6 others can be compared with previous campaigns. We measure the H$\beta$ time lags over periods of years and estimate their black hole masses. The long duration of the campaign enables us to investigate their broad line region (BLR) geometry and kinematics for different years by using velocity-resolved lags, which demonstrate signatures of diverse BLR geometry and kinematics. The BLR geometry and kinematics of individual objects are discussed. In this sample, the BLR kinematics of Keplerian/virialized motion and inflow is more common than outflow.


title: Learning Quantum Systems

abstract: The future development of quantum technologies relies on creating and manipulating quantum systems of increasing complexity, with key applications in computation, simulation and sensing. This poses severe challenges in the efficient control, calibration and validation of quantum states and their dynamics. Although the full simulation of large-scale quantum systems may only be possible on a quantum computer, classical characterization and optimization methods still play an important role. Here, we review different approaches that use classical post-processing techniques, possibly combined with adaptive optimization, to learn quantum systems, their correlation properties, dynamics and interaction with the environment. We discuss theoretical proposals and successful implementations across different multiple-qubit architectures such as spin qubits, trapped ions, photonic and atomic systems, and superconducting circuits. This Review provides a brief background of key concepts recurring across many of these approaches with special emphasis on the Bayesian formalism and neural networks.


title: Higgstory repeats itself

abstract: We consider a scalar potential with two minima, one of which is arbitrarily deep, such as could be the case for the Higgs potential in the Standard Model. A recent calculation within the thin-wall approximation [arXiv:2205.10240] concludes that regions in which the scalar field takes values beyond the top of the potential barrier are forced by gravity to collapse, while they remain hidden behind a black hole horizon. We show that the thin-wall approximation is not applicable to this problem. We clarify the issue through numerical and analytical solutions to the field equations of the gravity-scalar system. We find that regions around the deeper minimum expand, and would thereby engulf the Universe in post-inflationary cosmology. We also show that black holes with Higgs hair are unstable. Even though the physics of the true vacuum is different, our final conclusion replicates the earlier `Higgstory' paper [arXiv:1505.04825].


title: Robust Bayesian Learning for Reliable Wireless AI: Framework and Applications

abstract: This work takes a critical look at the application of conventional machine learning methods to wireless communication problems through the lens of reliability and robustness. Deep learning techniques adopt a frequentist framework, and are known to provide poorly calibrated decisions that do not reproduce the true uncertainty caused by limitations in the size of the training data. Bayesian learning, while in principle capable of addressing this shortcoming, is in practice impaired by model misspecification and by the presence of outliers. Both problems are pervasive in wireless communication settings, in which the capacity of machine learning models is subject to resource constraints and training data is affected by noise and interference. In this context, we explore the application of the framework of robust Bayesian learning. After a tutorial-style introduction to robust Bayesian learning, we showcase the merits of robust Bayesian learning on several important wireless communication problems in terms of accuracy, calibration, and robustness to outliers and misspecification.


title: Can we learn from developer mistakes? Learning to localize and repair real bugs from real bug fixes

abstract: Real bug fixes found in open source repositories seem to be the perfect source for learning to localize and repair real bugs. However, the absence of large scale bug fix collections has made it difficult to effectively exploit real bug fixes in the training of larger neural models in the past. In contrast, artificial bugs -- produced by mutating existing source code -- can be easily obtained at a sufficient scale and are therefore often preferred in the training of existing approaches. Still, localization and repair models that are trained on artificial bugs usually underperform when faced with real bugs. This raises the question whether bug localization and repair models trained on real bug fixes are more effective in localizing and repairing real bugs. We address this question by introducing RealiT, a pre-train-and-fine-tune approach for effectively learning to localize and repair real bugs from real bug fixes. RealiT is first pre-trained on a large number of artificial bugs produced by traditional mutation operators and then fine-tuned on a smaller set of real bug fixes. Fine-tuning does not require any modifications of the learning algorithm and hence can be easily adopted in various training scenarios for bug localization or repair (even when real training data is scarce). In addition, we found that training on real bug fixes with RealiT is empirically powerful by nearly doubling the localization performance of an existing model on real bugs while maintaining or even improving the repair performance.


title: Transition from anti-solar to solar-like differential rotation: Dependence on Prandtl number

abstract: (abridged) Context: Late-type stars such as the Sun rotate differentially due to the interaction of turbulent convection and rotation. Aims: The aim of the study is to investigate the effects of the thermal Prandtl number on the transition from anti-solar (slow equator, fast poles) to solar-like (fast equator, slow poles) differential rotation. Methods: Three-dimensional hydrodynamic and magnetohydrodynamic simulations in semi-global spherical wedge geometry are used to model convection zones of solar-like stars. Results: The overall convective velocity amplitude increases as the Prandtl number decreases in accordance with earlier studies. The transition from anti-solar to solar-like differential rotation is insensitive to the Prandtl number for Prandtl numbers below unity but for Prandtl numbers greater than unity, solar-like differential rotation becomes significantly harder to excite. Magnetic fields and more turbulent regimes with higher fluid and magnetic Reynolds numbers help in achieving solar-like differential rotation in near-transition cases. Solar-like differential rotation occurs only in cases with radially outward angular momentum transport at the equator. The dominant contribution to such outward transport near the equator is due to prograde propagating thermal Rossby waves. Conclusions: The differential rotation is sensitive to the Prandtl number only for large Prandtl numbers in the parameter regime explored in the current study. Magnetic fields have a greater effect on the differential rotation, although the inferred presence of a small-scale dynamo does not lead to drastically different results in the present study. The dominance of the thermal Rossby waves in the simulations is puzzling given the non-detection in the Sun. The current simulations are shown to be incompatible with the currently prevailing mean-field theory of differential rotation.