title: Relative Policy-Transition Optimization for Fast Policy Transfer

abstract: We consider the problem of policy transfer between two Markov Decision Processes (MDPs). We introduce a lemma based on existing theoretical results in reinforcement learning to measure the relativity gap between two arbitrary MDPs, that is the difference between any two cumulative expected returns defined on different policies and environment dynamics. Based on this lemma, we propose two new algorithms referred to as Relative Policy Optimization (RPO) and Relative Transition Optimization (RTO), which offer fast policy transfer and dynamics modelling, respectively. RPO transfers the policy evaluated in one environment to maximize the return in another, while RTO updates the parameterized dynamics model to reduce the gap between the dynamics of the two environments. Integrating the two algorithms results in the complete Relative Policy-Transition Optimization (RPTO) algorithm, in which the policy interacts with the two environments simultaneously, such that data collections from two environments, policy and transition updates are completed in one closed loop to form a principled learning framework for policy transfer. We demonstrate the effectiveness of RPTO on a set of MuJoCo continuous control tasks by creating policy transfer problems via variant dynamics.


title: Constant-Round Linear-Broadcast Secure Computation with Penalties

abstract: It is known that Bitcoin enables achieving fairness in secure computation by imposing monetary penalties on adversarial parties. This functionality is called secure computation with penalties. Bentov and Kumaresan (Crypto 2014) introduced the claim-or-refund functionality that can be implemented via Bitcoin. They achieved secure computation with penalties with $O(n)$ rounds and $O(n)$ broadcasts for any function, where $n$ is the number of parties. After that, Kumaresan and Bentov (CCS 2014) showed a constant-round protocol. Unfortunately, this protocol requires $O(n^2)$ broadcasts. As far as we know, no protocol achieves $O(1)$ rounds and $O(n)$ broadcasts based on Bitcoin. This work accomplishes such efficiency in secure computation with penalties. We first show a protocol in a slightly relaxed setting called secure computation with non-equivalent penalties. This setting is the same as secure computation with penalties except that every honest party receives more than a predetermined amount of compensation, while the previous one requires that every honest party receives the same amount of compensation. Namely, our setting allows the compensations for honest parties to be non-equivalent. Moreover, we present a technique to remove the non-equivalence of our protocol without sacrificing efficiency. We then propose a new ideal functionality called claim-refund-or-give that can be implemented via Bitcoin.


title: Reinforcement Learning-based Placement of Charging Stations in Urban Road Networks

abstract: The transition from conventional mobility to electromobility largely depends on charging infrastructure availability and optimal placement.This paper examines the optimal placement of charging stations in urban areas. We maximise the charging infrastructure supply over the area and minimise waiting, travel, and charging times while setting budget constraints. Moreover, we include the possibility of charging vehicles at home to obtain a more refined estimation of the actual charging demand throughout the urban area. We formulate the Placement of Charging Stations problem as a non-linear integer optimisation problem that seeks the optimal positions for charging stations and the optimal number of charging piles of different charging types. We design a novel Deep Reinforcement Learning approach to solve the charging station placement problem (PCRL). Extensive experiments on real-world datasets show how the PCRL reduces the waiting and travel time while increasing the benefit of the charging plan compared to five baselines. Compared to the existing infrastructure, we can reduce the waiting time by up to 97% and increase the benefit up to 497%.


title: Search for new phenomena in final states with photons, jets and missing transverse momentum in $pp$ collisions at $\sqrt{s} = 13$ TeV with the ATLAS detector

abstract: A search for new phenomena has been performed in final states with at least one isolated high-momentum photon, jets and missing transverse momentum in proton--proton collisions at a centre-of-mass energy of $\sqrt{s} = 13$ TeV. The data, collected by the ATLAS experiment at the CERN LHC, correspond to an integrated luminosity of 139 $fb^{-1}$. The experimental results are interpreted in a supersymmetric model in which pair-produced gluinos decay into neutralinos, which in turn decay into a gravitino, at least one photon, and jets. No significant deviations from the predictions of the Standard Model are observed. Upper limits are set on the visible cross section due to physics beyond the Standard Model, and lower limits are set on the masses of the gluinos and neutralinos, all at 95% confidence level. Visible cross sections greater than 0.022 fb are excluded and pair-produced gluinos with masses up to 2200 GeV are excluded for most of the NLSP masses investigated.


title: Optical spectroscopy of the Be/black hole binary MWC656 -- interaction of a black hole with a circumstellar disc

abstract: We present new spectroscopic observations of the Be/black hole binary MWC 656 obtained during the period 2015 - 2021. We measure the equivalent width of H$\alpha$ (EW$_\alpha$), H$\beta$ ($EW_\beta$), and the distance between the peaks of H$\alpha$ ($\Delta V_\alpha$), H$\beta$ ($\Delta V_\beta$), and FeII ($\Delta V_{FeII}$) lines. Combining new and old data, we find that: - the density of the circumstellar disc of MWC 656 ($\Delta V_\alpha$ versus $EW_\alpha$ diagram) is similar to the Be stars. For the Be stars we find the relation $\Delta V_\beta = 0.999 \Delta V_\alpha + 62.4$ km s$^{-1}$, and the position of MWC~656 corresponds to the average behaviour of the Be stars. This means that the presence of the black hole does not change the overall structure of the circumstellar disc. - the periodogram analysis indicates modulation of $EW_\alpha$ with a period $60.4 \pm 0.4$ days, which is identical to the binary orbital period. The maxima of $EW_\alpha$ and $EW_\beta$ are around periastron (phase zero). - around orbital phase zero, $\Delta V_\beta$ and $\Delta V_{FeII}$ decrease by about $30$ km s$^{-1}$. This suggests that we observe an increase of the circumstellar disc size induced by the periastron passage of the black hole and that the entire circumstellar disc pulsates with the orbital period with relative amplitude of 10-20%. The observations also indicate, that the reason for the black hole in MWC 656 to be in deep quiescence is a very low efficiency of accretion ($\sim 2 \times 10^{-6}$).


title: Exploring and Exploiting Hubness Priors for High-Quality GAN Latent Sampling

abstract: Despite the extensive studies on Generative Adversarial Networks (GANs), how to reliably sample high-quality images from their latent spaces remains an under-explored topic. In this paper, we propose a novel GAN latent sampling method by exploring and exploiting the hubness priors of GAN latent distributions. Our key insight is that the high dimensionality of the GAN latent space will inevitably lead to the emergence of hub latents that usually have much larger sampling densities than other latents in the latent space. As a result, these hub latents are better trained and thus contribute more to the synthesis of high-quality images. Unlike the a posterior "cherry-picking", our method is highly efficient as it is an a priori method that identifies high-quality latents before the synthesis of images. Furthermore, we show that the well-known but purely empirical truncation trick is a naive approximation to the central clustering effect of hub latents, which not only uncovers the rationale of the truncation trick, but also indicates the superiority and fundamentality of our method. Extensive experimental results demonstrate the effectiveness of the proposed method.


title: No-Regret Learning in Games with Noisy Feedback: Faster Rates and Adaptivity via Learning Rate Separation

abstract: We examine the problem of regret minimization when the learner is involved in a continuous game with other optimizing agents: in this case, if all players follow a no-regret algorithm, it is possible to achieve significantly lower regret relative to fully adversarial environments. We study this problem in the context of variationally stable games (a class of continuous games which includes all convex-concave and monotone games), and when the players only have access to noisy estimates of their individual payoff gradients. If the noise is additive, the game-theoretic and purely adversarial settings enjoy similar regret guarantees; however, if the noise is multiplicative, we show that the learners can, in fact, achieve constant regret. We achieve this faster rate via an optimistic gradient scheme with learning rate separation -- that is, the method's extrapolation and update steps are tuned to different schedules, depending on the noise profile. Subsequently, to eliminate the need for delicate hyperparameter tuning, we propose a fully adaptive method that attains nearly the same guarantees as its non-adapted counterpart, while operating without knowledge of either the game or of the noise profile.


title: Constraints on key $^{17}$O($\alpha,\gamma$)$^{21}$Ne resonances and impact on the weak s-process

abstract: The efficiency of the slow neutron-capture process in massive stars is strongly influenced by neutron-capture reactions on light elements. At low metallicity, $^{16}$O is an important neutron absorber, but the effectiveness of $^{16}$O as a light-element neutron poison is modified by competition between subsequent $^{17}$O$(\alpha,n)^{20}$Ne and $^{17}$O$(\alpha,\gamma)^{21}$Ne reactions. The strengths of key $^{17}$O$(\alpha,\gamma)^{21}$Ne resonances within the Gamow window for core helium burning in massive stars are not well constrained by experiment. This work presents more precise measurements of resonances in the energy range $E_{c.m.} = 612 - 1319$ keV. We extract resonance strengths of $\omega\gamma_{638} = 4.85\pm0.79$ $\mu$eV, $\omega\gamma_{721} = 13.0^{+3.3}_{-2.4}$ $\mu$eV, $\omega\gamma_{814} = 7.72\pm0.55$ meV and $\omega\gamma_{1318} = 136\pm 13$ meV, for resonances at $E_{c.m.} =$ 638, 721, 814 and 1318 keV, respectively. We also report an upper limit for the 612 keV resonance of $\omega\gamma<140$ neV ($95\%$ c.l.), which effectively rules out any significant contribution from this resonance to the reaction rate. From this work, a new $^{17}$O$(\alpha,\gamma)^{21}$Ne thermonuclear reaction rate is calculated and compared to the literature. The effect of present uncertainties in the $^{17}$O$(\alpha,\gamma)^{21}$Ne reaction rate on weak s-process yields are then explored using post-processing calculations based on a rotating $20M_{\odot}$ low-metallicity massive star. The resulting $^{17}$O$(\alpha,\gamma)^{21}$Ne reaction rate is lower with respect to the pre-existing literature and found to enhance weak s-process yields in rotating massive star models.


title: Shear-thickening of dense bidispersed suspensions

abstract: We study the rheological behaviour of a dense bidispersed suspension varying the relative size of the two dispersed phases. The main outcome of our analysis is that an enhanced flowability (reduced relative viscosity) of the suspension can be achieved by increasing the dispersion ratio of the phases. We explain the observed result by showing that the presence of large particles increases the packing efficiency of the suspension, leading to a reduction of the contribution of the contacts on the overall viscosity of the suspension in the shear-thickening regime, i.e. where the contacts are the dominating component.


title: Joule-Thomson expansion of AdS black holes in quasi-topological electromagnetism

abstract: We study the Joule-Thomson expansion in Einstein-Maxwell theory supplemented with the so-called quasitopological electromagnetism, this in the extended phase space thermodynamic approach. We compute the Joule-Thomson coefficient and depict all relevant inversion and isenthalpic curves in the temperature-pressure plane, determining in this manner the corresponding cooling and heating regions. In contrast with previous related works we show the existence of three branches for the inversion curves which depends on suitable selections of the parameter space of the theory, thus departing from the usual van der Waals behavior which exhibits up to two branches.


title: SBvote: Scalable Self-Tallying Blockchain-Based Voting

abstract: Decentralized electronic voting solutions represent a promising advancement in electronic voting. One of the e-voting paradigms, the self-tallying scheme, offers strong protection of the voters' privacy while making the whole voting process verifiable. Decentralized smart contract platforms became interesting practical instantiation of the immutable bulletin board that this scheme requires to preserve its properties. Existing smart contract-based approaches employing the self-tallying scheme (such as OVN or BBB-Voting) are only suitable for a boardroom voting scenario due to their scalability limitation. The goal of our work is to build on existing solutions to achieve scalability without losing privacy guarantees and verifiability. We present SBvote, a blockchain-based self-tallying voting protocol that is scalable in the number of voters and therefore suitable for large-scale elections. The evaluation of our proof-of-concept implementation shows that the protocol's scalability is limited only by the underlying blockchain platform. We evaluated the scalability of SBvote on two public smart contract platforms -- Gnosis and Harmony. Despite the limitations imposed by the throughput of the blockchain platform, SBvote can accommodate elections with millions of voters.


title: Phase-space quantum Wiener-Khintchine theorem

abstract: We derive a quantum version of the classical-optics Wiener-Khintchine theorem within the framework of detection of phase-space displacements with a suitably designed quantum ruler. A phase-pace based quantum mutual coherence function is introduced that includes the contribution of the detector. We obtain an universal equality linking resolution with coherence. This is illustrated with the case of Gaussian states and number states.


title: On the almost-circular symplectic induced Ginibre ensemble

abstract: We consider the symplectic induced Ginibre process, which is a Pfaffian point process on the plane. Let $N$ be the number of points. We focus on the almost-circular regime where most of the points lie in a thin annulus $\mathcal{S}_{N}$ of width $O(\frac{1}{N})$ as $N \to \infty$. Our main results are the scaling limits of all correlation functions near the real axis, and also away from the real axis. Near the real axis, the limiting correlation functions are Pfaffians with a new correlation kernel, which interpolates the limiting kernels in the bulk of the symplectic Ginibre ensemble and of the anti-symmetric Gaussian Hermitian ensemble of odd size. Away from the real axis, the limiting correlation functions are determinants, and the kernel is the same as the one appearing in the bulk limit of almost-Hermitian random matrices. Furthermore, we obtain precise large $N$ asymptotics for the probability that no points lie outside $\mathcal{S}_{N}$, as well as of several other "semi-large" gap probabilities.


title: Machine Learning Training on a Real Processing-in-Memory System

abstract: Training machine learning algorithms is a computationally intensive process, which is frequently memory-bound due to repeatedly accessing large training datasets. As a result, processor-centric systems (e.g., CPU, GPU) suffer from costly data movement between memory units and processing units, which consumes large amounts of energy and execution cycles. Memory-centric computing systems, i.e., computing systems with processing-in-memory (PIM) capabilities, can alleviate this data movement bottleneck. Our goal is to understand the potential of modern general-purpose PIM architectures to accelerate machine learning training. To do so, we (1) implement several representative classic machine learning algorithms (namely, linear regression, logistic regression, decision tree, K-means clustering) on a real-world general-purpose PIM architecture, (2) characterize them in terms of accuracy, performance and scaling, and (3) compare to their counterpart implementations on CPU and GPU. Our experimental evaluation on a memory-centric computing system with more than 2500 PIM cores shows that general-purpose PIM architectures can greatly accelerate memory-bound machine learning workloads, when the necessary operations and datatypes are natively supported by PIM hardware. To our knowledge, our work is the first one to evaluate training of machine learning algorithms on a real-world general-purpose PIM architecture.


title: Virtual embeddings and self-consistency for self-supervised learning

abstract: Self-supervised Learning (SSL) has recently gained much attention due to the high cost and data limitation in the training of supervised learning models. The current paradigm in the SSL is to utilize data augmentation at the input space to create different views of the same images and train a model to maximize the representations between similar images and minimize them for different ones. While this approach achieves state-of-the-art (SOTA) results in various downstream tasks, it still lakes the opportunity to investigate the latent space augmentation. This paper proposes TriMix, a novel concept for SSL that generates virtual embeddings through linear interpolation of the data, thus providing the model with novel representations. Our strategy focuses on training the model to extract the original embeddings from virtual ones, hence, better representation learning. Additionally, we propose a self-consistency term that improves the consistency between the virtual and actual embeddings. We validate TriMix on eight benchmark datasets consisting of natural and medical images with an improvement of 2.71% and 0.41% better than the second-best models for both data types. Further, our approach outperformed the current methods in semi-supervised learning, particularly in low data regimes. Besides, our pre-trained models showed better transfer to other datasets.


title: Running of the Spectral Index and Inflationary Dynamics of $F(R)$ Gravity

abstract: In this work we shall provide a model-independent general calculation of the running of the spectral index for vacuum $F(R)$ gravities. We shall exploit the functional form of the spectral index and of the tensor-to-scalar ratio in order to present a general $n_s-r$ relation for vacuum $F(R)$ gravity theories. As we show, viable $F(R)$ gravity theories can be classified to two classes of models regarding their prediction for the running spectral index. The $R^2$-attractor models predict a running of the spectral index in the range $-10^{-3}<a_s<-10^{-4}$, which classifies them in the same universality class that most inflationary scalar field models belong to. We provide three models of this sort, for which we verify our claims in detail. However there exist viable $F(R)$ gravity models with running of spectral index outside the range $-10^{-3}<a_s<-10^{-4}$ and in some cases it can be positive. We also present an $R^2$-corrected scalar field model, which also predicts a running of the spectral index in the range $-10^{-3}<a_s<-10^{-4}$. For all the cases we studied, we found no evidence for the most phenomenologically interesting scenario of having $r<10^{-4}$ and a running $a_s<-10^{-3}$, which in principle could be realized.


title: Rethinking: Deep-learning-based Demodulation and Decoding

abstract: In this paper, we focus on the demodulation/decoding of the complex modulations/codes that approach the Shannon capacity. Theoretically, the maximum likelihood (ML) algorithm can achieve the optimal error performance whereas it has $\mathcal{O}(2^k)$ demodulation/decoding complexity with $k$ denoting the number of information bits. Recent progress in deep learning provides a new direction to tackle the demodulation and the decoding. The purpose of this paper is to analyze the feasibility of the neural network to demodulate/decode the complex modulations/codes close to the Shannon capacity and characterize the error performance and the complexity of the neural network. Regarding the neural network demodulator, we use the golden angle modulation (GAM), a promising modulation format that can offer the Shannon capacity approaching performance, to evaluate the demodulator. It is observed that the neural network demodulator can get a close performance to the ML-based method while it suffers from the lower complexity order in the low-order GAM. Regarding the neural network decoder, we use the Gaussian codebook, achieving the Shannon capacity, to evaluate the decoder. We also observe that the neural network decoder achieves the error performance close to the ML decoder with a much lower complexity order in the small Gaussian codebook. Limited by the current training resources, we cannot evaluate the performance of the high-order modulation and the long codeword. But, based on the results of the low-order GAM and the small Gaussian codebook, we boldly give our conjecture: the neural network demodulator/decoder is a strong candidate approach for demodulating/decoding the complex modulations/codes close to the Shannon capacity owing to the error performance of the near-ML algorithm and the lower complexity.


title: Robust Knockoffs for Controlling False Discoveries With an Application to Bond Recovery Rates

abstract: We address challenges in variable selection with highly correlated data that are frequently present in finance, economics, but also in complex natural systems as e.g. weather. We develop a robustified version of the knockoff framework, which addresses challenges with high dependence among possibly many influencing factors and strong time correlation. In particular, the repeated subsampling strategy tackles the variability of the knockoffs and the dependency of factors. Simultaneously, we also control the proportion of false discoveries over a grid of all possible values, which mitigates variability of selected factors from ad-hoc choices of a specific false discovery level. In the application for corporate bond recovery rates, we identify new important groups of relevant factors on top of the known standard drivers. But we also show that out-of-sample, the resulting sparse model has similar predictive power to state-of-the-art machine learning models that use the entire set of predictors.


title: Adversarial Models Towards Data Availability and Integrity of Distributed State Estimation for Industrial IoT-Based Smart Grid

abstract: Security issue of distributed state estimation (DSE) is an important prospect for the rapidly growing smart grid ecosystem. Any coordinated cyberattack targeting the distributed system of state estimators can cause unrestrained estimation errors and can lead to a myriad of security risks, including failure of power system operation. This article explores the security threats of a smart grid arising from the exploitation of DSE vulnerabilities. To this aim, novel adversarial strategies based on two-stage data availability and integrity attacks are proposed towards a distributed industrial Internet of Things-based smart grid. The former's attack goal is to prevent boundary data exchange among distributed control centers, while the latter's attack goal is to inject a falsified data to cause local and global system unobservability. The proposed framework is evaluated on IEEE standard 14-bus system and benchmarked against the state-of-the-art research. Experimental results show that the proposed two-stage cyberattack results in an estimated error of approximately 34.74% compared to an error of the order of 10^-3 under normal operating conditions.


title: Compact active vibration isolation and tilt stabilization for a portable high-precision atomic gravimeter

abstract: In high-precision atomic gravimeters, a rest mass is needed to provide a gravity reference, which is typically the retro-reflecting mirror of the Raman laser beams that addresses the two hyperfine ground states of the specific free-falling atomic test mass. We constructed a compact active feedback control system for the retro-reflecting mirror that provides vibration isolation in the vertical axis as well as two rotation stabilization in the horizontal plane. The active feedback control provides vertical vibration reduction of up to a factor of 300 in the frequency range of 0.03 to 10 Hz and tilt stabilization of approximately $\pm$ 1 $\mu$rad in the noisy lab environment. This system has enabled high-precision gravity measurements on a portable gravimeter with sensitivity reaching $6.4\times 10^{-8}$ g/$\sqrt{\text{Hz}}$ and resolution of $2.8\times 10^{-9}$ g after an integration time of 4000 s.


title: Mediators: Conversational Agents Explaining NLP Model Behavior

abstract: The human-centric explainable artificial intelligence (HCXAI) community has raised the need for framing the explanation process as a conversation between human and machine. In this position paper, we establish desiderata for Mediators, text-based conversational agents which are capable of explaining the behavior of neural models interactively using natural language. From the perspective of natural language processing (NLP) research, we engineer a blueprint of such a Mediator for the task of sentiment analysis and assess how far along current research is on the path towards dialogue-based explanations.


title: Exoplanet two square degree survey with SAO RAS robotic facilities

abstract: We used the 0.5-m robotic telescopes located at the Special Astrophysical Observatory of the Russian Academy of Sciences for monitoring two square degrees of the sky with the aim of detecting new exoplanets. A dimming of the visible brightness is expected due to the exoplanets transiting their host stars. We analyzed about 25000 raw images of stars taken in the period between August 2020 and January 2021 and plotted the light curves for about 30000 stars on a half-year timescale. Five newly discovered exoplanet candidates are being investigated to determine their transit event parameters. We also present the light curves for dozens of binary stars.


title: A universal synthetic dataset for machine learning on spectroscopic data

abstract: To assist in the development of machine learning methods for automated classification of spectroscopic data, we have generated a universal synthetic dataset that can be used for model validation. This dataset contains artificial spectra designed to represent experimental measurements from techniques including X-ray diffraction, nuclear magnetic resonance, and Raman spectroscopy. The dataset generation process features customizable parameters, such as scan length and peak count, which can be adjusted to fit the problem at hand. As an initial benchmark, we simulated a dataset containing 35,000 spectra based on 500 unique classes. To automate the classification of this data, eight different machine learning architectures were evaluated. From the results, we shed light on which factors are most critical to achieve optimal performance for the classification task. The scripts used to generate synthetic spectra, as well as our benchmark dataset and evaluation routines, are made publicly available to aid in the development of improved machine learning models for spectroscopic analysis.


title: Gaia Data Release 3: Ellipsoidal Variables with Possible Black-Hole or Neutron Star secondaries

abstract: As part of Gaia Data Release 3, supervised classification identified a large number of ellipsoidal variables, for which the periodic variability is presumably induced by tidal interaction with a companion in a close binary system. In this paper, we present 6306 short-period probable ellipsoidal variables with relatively large-amplitude Gaia G-band photometric modulations, indicating a possible massive, unseen secondary. In case of a main-sequence primary, the more massive secondary is probably a compact object -- either a black hole or a neutron star, and sometimes a white dwarf. The identification is based on a robust modified minimum mass ratio (mMMR) suggested recently by Gomel, Faigler and Mazeh (2021), derived from the observed ellipsoidal amplitude only, without the use of the primary mass or radius. We also list a subset of 262 systems with mMMR larger than unity, for which the compact-secondary probability is higher. Follow-up observations are needed to verify the true nature of these variables.


title: Automatic Contact Tracing using Bluetooth Low Energy Signals and IMU Sensor Readings

abstract: In this report, we present our solution to the challenge provided by the SFI Centre for Machine Learning (ML-Labs) in which the distance between two phones needs to be estimated. It is a modified version of the NIST Too Close For Too Long (TC4TL) Challenge, as the time aspect is excluded. We propose a feature-based approach based on Bluetooth RSSI and IMU sensory data, that outperforms the previous state of the art by a significant margin, reducing the error down to 0.071. We perform an ablation study of our model that reveals interesting insights about the relationship between the distance and the Bluetooth RSSI readings.


title: A hydrodynamic slender-body theory for local rotation at zero Reynolds number

abstract: Slender objects are commonplace in microscale flow problems, from soft deformable sensors to biological filaments such as flagella and cilia. Whilst much research has focussed on the local translational motion of these slender bodies, relatively little attention has been given to local rotation, even though it can be the dominant component of motion. In this study, we explore a classically motivated ansatz for the Stokes flow around a rotating slender body via superposed rotlet singularities, which leads us to pose an alternative ansatz that accounts for both translation and rotation. Through an asymptotic analysis that is supported by numerical examples, we determine the suitability of these flow ansatzes for capturing the fluid velocity at the surface of a slender body, assuming local axisymmetry of the object but allowing the cross-sectional radius to vary with arclength. In addition to formally justifying the presented slender-body ansatzes, this analysis reveals a markedly simple relation between the local angular velocity and the torque exerted on the body, which we term resistive torque theory. Though reminiscent of classical resistive force theories, this local relation is found to be algebraically accurate in the slender-body aspect ratio, even when translation is present, and is valid and required whenever local rotation contributes to the surface velocity at leading asymptotic order.


title: SHREC 2022: Protein-ligand binding site recognition

abstract: This paper presents the methods that have participated in the SHREC 2022 contest on protein-ligand binding site recognition. The prediction of protein-ligand binding regions is an active research domain in computational biophysics and structural biology and plays a relevant role for molecular docking and drug design. The goal of the contest is to assess the effectiveness of computational methods in recognizing ligand binding sites in a protein based on its geometrical structure. Performances of the segmentation algorithms are analyzed according to two evaluation scores describing the capacity of a putative pocket to contact a ligand and to pinpoint the correct binding region. Despite some methods perform remarkably, we show that simple non-machine-learning approaches remain very competitive against data-driven algorithms. In general, the task of pocket detection remains a challenging learning problem which suffers of intrinsic difficulties due to the lack of negative examples (data imbalance problem).


title: Towards a minimal $SU(5)$ model

abstract: I briefly outline the most prominent features of a novel $SU(5)$ unification model proposal. The particle content of the model comprises $5_H$, $24_H$, $35_H$, ${\overline{5}_F}_i$, ${10_F}_i$, $15_F$, $\overline{15}_F$, and $24_V$, where subscripts $H$, $F$, and $V$ denote whether a given representation contains scalars, fermions, or gauge bosons, respectively, while $i=1,2,3$. The model employs all possible interaction terms, as allowed by the Lorentz group, the $SU(5)$ gauge symmetry, and the aforementioned particle content, to generate the Standard Model fermion masses through three different mechanisms. It also connects the neutrino mass generation mechanism to the experimentally observed mass disparity between the down-type quarks and charged leptons. The minimal structure of the model requires $24_H$ and $5_H$ not only to break $SU(5)$ and $SU(3) \times SU(2) \times U(1)$ gauge groups, respectively, but to accomplish one additional task each. The model furthermore predicts that neutrinos are strictly Majorana fields, that one neutrino is purely a massless particle, and that neutrino masses are of normal ordering. The experimental bound on the $p \rightarrow \pi^0 e^+$ lifetime limit, in conjunction with the prediction of the model for the gauge mediated proton decays, implies that there are four new scalar multiplets at or below a $120$\,TeV mass scale if these multiplets are mass degenerate. If these multiplets are not mass degenerate, the quoted limit then applies, for all practical purposes, to the geometric mean of their masses. The scalars in question transform as $(1,3,0)$, $(8,1,0)$, $(\overline{3},3,-2/3)$, and $(\overline{6},2,1/6)$ under the Standard Model gauge group $SU(3) \times SU(2) \times U(1)$ with calculable couplings to the Standard Model fields.


title: Muon $g-2$ anomaly and non-locality

abstract: We show that the discrepancy between the observed value of the muon anomalous moment and the standard model prediction can be explained in the framework of nonlocal theories. We compute the leading order and next to leading order nonlocal correction to the anomalous magnetic moment $\alpha_{NL}$ and we find that it depends on the nonlocality scale $M_f$ and the fermion mass $m_f$ as $\alpha_{NL} \propto m_f^2/M_f^2$. Such a dependence of the anomalous magnetic momentum allows to explain, in a flavor-blind nonlocality scale, why the observed anomalous magnetic moment of the electron is much closer to the standard model prediction, and permits to predict a large anomaly that should exist for the $\tau$ particle. We also determine the lower bounds on the nonlocality scale, for both flavor-blind and flavor-dependent scenarios.


title: A unified non-interacting-electron theory of the integer and fractional quantum Hall conductance

abstract: We generalize the Laughlin argument for the integer quantum Hall effect of non-interacting two-dimensional electrons by taking into account the full three-dimensional nature of gauge symmetry. This naturally leads to the prediction of the principal experimental results on the quantum Hall effect, including the integer and fractional values and plateau widths of quantized Hall conductance. The approach includes, in a fundamental way, the influence of spin, allowing the description of both single electrons and Cooper pairs. Not requiring the introduction of strongly correlated multi-particle states nor a key role for disorder, the unified analysis sheds light on the profound connection between dimensionality, symmetry, and quantum behavior.


title: The Dynamics of Quantum Fluids

abstract: We review experimental and theoretical progress in the physical description of the dynamics of the quantum fluids \he4 and \he3. Historically, the elementary excitations in these systems have been identified as phonons and rotons and, in \he3, collective zero sound and spin-fluctuations. Both recent high-precision measurements and theoretical methods have shown that the dynamics of these systems is actually very rich as will be discussed in detail in the body of this contribution.


title: The AWAKE Run 2 programme and beyond

abstract: Plasma wakefield acceleration is a promising technology to reduce the size of particle accelerators. Use of high energy protons to drive wakefields in plasma has been demonstrated during Run 1 of the AWAKE programme at CERN. Protons of energy 400 GeV drove wakefields that accelerated electrons to 2 GeV in under 10 m of plasma. The AWAKE collaboration is now embarking on Run 2 with the main aims to demonstrate stable accelerating gradients of 0.5-1 GV/m, preserve emittance of the electron bunches during acceleration and develop plasma sources scalable to 100s of metres and beyond. By the end of Run 2, the AWAKE scheme should be able to provide electron beams for particle physics experiments and several possible experiments have already been evaluated. This article summarises the programme of AWAKE Run 2 and how it will be achieved as well as the possible application of the AWAKE scheme to novel particle physics experiments.


title: Deep learning of interfacial curvature: a symmetry-preserving approach for the volume of fluid method

abstract: Estimation of interface curvature in surface-tension dominated flows is a remaining challenge in Volume of Fluid (VOF) methods. Data-driven methods are recently emerging as a promising alternative in this domain. They outperform conventional methods on coarser grids but diverge with grid refinement. Furthermore, unlike conventional methods, data-driven methods are sensitive to coordinate system and sign conventions, thus often fail to capture basic symmetry patterns in interfaces. The present work proposes a new data-driven strategy which conserves the symmetries in a cost-effective way and delivers consistent results over a wide range of grids. The method is based on artificial neural networks with deep multilayer perceptron (MLP) architecture which read volume fraction fields on regular grids. The anti-symmetries are preserved with no additional cost by employing a neural network model with input normalization, odd-symmetric activation functions and bias-free neurons. The symmetries are further conserved by height-function inspired rotations and averaging over several different orientations. The new symmetry-preserving MLP model is implemented into a flow solver (OpenFOAM) and tested against conventional schemes in the literature. It shows superior performance compared to its standard counterpart and has similar accuracy and convergence properties with the state-of-the-art conventional method despite using smaller stencil.


title: Algebraically closed $\sigma$-fields

abstract: The concept of a skew root of a skew polynomial is used to introduce notions of algebraic closedness for $\sigma$-fields, that is, a field equipped with an endomorphism. It is shown that every $\sigma$-field can be embedded in algebraically closed $\sigma$-fields of different types.


title: Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs

abstract: Finding software vulnerabilities in concurrent programs is a challenging task due to the size of the state-space exploration, as the number of interleavings grows exponentially with the number of program threads and statements. We propose and evaluate EBF (Ensembles of Bounded Model Checking with Fuzzing) -- a technique that combines Bounded Model Checking (BMC) and Gray-Box Fuzzing (GBF) to find software vulnerabilities in concurrent programs. Since there are no publicly-available GBF tools for concurrent code, we first propose OpenGBF -- a new open-source concurrency-aware gray-box fuzzer that explores different thread schedules by instrumenting the code under test with random delays. Then, we build an ensemble of a BMC tool and OpenGBF in the following way. On the one hand, when the BMC tool in the ensemble returns a counterexample, we use it as a seed for OpenGBF, thus increasing the likelihood of executing paths guarded by complex mathematical expressions. On the other hand, we aggregate the outcomes of the BMC and GBF tools in the ensemble using a decision matrix, thus improving the accuracy of EBF. We evaluate EBF against state-of-the-art pure BMC tools and show that it can generate up to 14.9% more correct verification witnesses than the corresponding BMC tools alone. Furthermore, we demonstrate the efficacy of OpenGBF, by showing that it can find 24.2% of the vulnerabilities in our evaluation suite, while non-concurrency-aware GBF tools can only find 0.55%. Finally, thanks to our concurrency-aware OpenGBF, EBF detects a data race in the open-source wolfMqtt library and reproduces known bugs in several other real-world programs, which demonstrates its effectiveness in finding vulnerabilities in real-world software.


title: New measurement of the $E_{\mathrm{c.m.}}=323$ keV resonance in the $^{19}$F$($p,\gamma$)$^{20}$Ne reaction

abstract: At temperatures below 0.1 GK the $^{19}$F$(p,\gamma)^{20}$Ne reaction is the only breakout path out of the CNO cycle. Experimental studies of this reaction are challenging from a technical perspective due to copious $\gamma$-ray background from the far stronger $^{19}$F$(p,\alpha)^{16}$O reaction channel. Here we present the first inverse kinematics study of the $^{19}$F$(p,\gamma)^{20}$Ne reaction, in which we measure the strength of the 323-keV resonance. We find a strength value of $\omega\gamma = 3.3^{+1.1}_{-0.9}$ meV, which is a factor of two larger than the most recent previous study. The discrepancy is likely the result of a direct to ground state transition which previous studies were not sensitive to. We also observe the transition to the first $2^{-}$ state, which has not been observed for this resonance in previous studies. A new thermonuclear reaction rate is calculated and compared with the literature.


title: A parabolic minimal surface in R3 intersects every nonflat properly embedded minimal surface of bounded curvature

abstract: We show that the image of a nonconstant conformal harmonic map $\mathbb C\to \mathbb R^3$, not necessarily proper and possibly with branch points, intersects every properly embedded nonflat minimal surface of bounded curvature in $\mathbb R^3$. The same holds if $\mathbb C$ is replaced by any open conformal surface without nonconstant bounded subharmonic functions.


title: Local Dependence and Guarding

abstract: We study LFD, a base logic of functional dependence introduced by Baltag and van Benthem (2021) and its connections with the guarded fragment GF of first-order logic. Like other logics of dependence, the semantics of LFD uses teams: sets of permissible variable assignments. What sets LFD apart is its ability to express local dependence between variables and local dependence of statements on variables. Known features of LFD include decidability, explicit axiomatization, finite model property, and a bisimulation characterization. Others, including the complexity of satisfiability, remained open so far. More generally, what has been lacking is a good understanding of what makes the LFD approach to dependence computationally well-behaved, and how it relates to other decidable logics. In particular, how do allowing variable dependencies and guarding quantifiers compare as logical devices? We provide a new compositional translation from GF into LFD, and conversely, we translate LFD into GF in an `almost compositional' manner. Using these two translations, we transfer known results about GF to LFD in a uniform manner, yielding, e.g., tight complexity bounds for LFD satisfiability, as well as Craig interpolation. Conversely, e.g., the finite model property of LFD transfers to GF. Thus, local dependence and guarding turn out to be intricately entangled notions.


title: Neuromorphic Wireless Cognition: Event-Driven Semantic Communications for Remote Inference

abstract: Neuromorphic computing is an emerging computing paradigm that moves away from batched processing towards the online, event-driven, processing of streaming data. Neuromorphic chips, when coupled with spike-based sensors, can inherently adapt to the "semantics" of the data distribution by consuming energy only when relevant events are recorded in the timing of spikes and by proving a low-latency response to changing conditions in the environment. This paper proposes an end-to-end design for a neuromorphic wireless Internet-of-Things system that integrates spike-based sensing, processing, and communication. In the proposed NeuroComm system, each sensing device is equipped with a neuromorphic sensor, a spiking neural network (SNN), and an impulse radio transmitter with multiple antennas. Transmission takes place over a shared fading channel to a receiver equipped with a multi-antenna impulse radio receiver and with an SNN. In order to enable adaptation of the receiver to the fading channel conditions, we introduce a hypernetwork to control the weights of the decoding SNN using pilots. Pilots, encoding SNNs, decoding SNN, and hypernetwork are jointly trained across multiple channel realizations. The proposed system is shown to significantly improve over conventional frame-based digital solutions, as well as over alternative non-adaptive training methods, in terms of time-to-accuracy and energy consumption metrics.


title: Temporal and Spatial Elements in Interactive Epidemiological Maps

abstract: Maps have played an important role in epidemiology and public health since the beginnings of these disciplines. With the advent of geographical information systems and advanced information visualization techniques, interactive maps have become essential tools for the analysis of geographical patterns of disease incidence and prevalence, as well as communication of public health knowledge, as dramatically illustrated by the proliferation of web-based maps and disease surveillance ``dashboards'' during the COVID-19 pandemic. While such interactive maps are usually effective in supporting static spatial analysis, support for spatial epidemiological visualization and modelling involving distributed and dynamic data sources, and support for analysis of temporal aspects of disease spread have proved more challenging. Combining these two aspects can be crucial in applications of interactive maps in epidemiology and public health work. In this paper, we discuss these issues in the context of support for disease surveillance in remote regions, including tools for distributed data collection, simulation and analysis, and enabling multidisciplinary collaboration.


title: Characterising Modal Formulas with Examples

abstract: We initiate the study of finite characterizations and exact learnability of modal languages. A finite characterization of a modal formula w.r.t. a set of formulas is a finite set of finite models (labelled either positive or negative) which distinguishes this formula from every other formula from that set. A modal language L admits finite characterisations if every L-formula has a finite characterization w.r.t. L. This definition can be applied not only to the basic modal logic K, but to arbitrary normal modal logics. We show that a normal modal logic admits finite characterisations (for the full modal language) iff it is locally tabular. This shows that finite characterizations with respect to the full modal language are rare, and hence motivates the study of finite characterizations for fragments of the full modal language. Our main result is that the positive modal language without the truth-constants $\top$ and $\bot$ admits finite characterisations. Moreover, we show that this result is essentially optimal: finite characterizations no longer exist when the language is extended with the truth constant $\bot$ or with all but very limited forms of negation.


title: Anisotropic Dzyaloshinskii-Moriya interaction protected by D2d crystal symmetry in two-dimensional ternary compounds

abstract: Magnetic skyrmions, topologically protected chiral spin swirling quasiparticles, have attracted great attention in fundamental physics and applications. Recently, the discovery of two-dimensional (2D) van der Waals (vdW) magnets has aroused great interest due to their appealing physical properties. Moreover, both experimental and theoretical works have revealed that isotropic Dzyaloshinskii Moriya interaction (DMI) can be achieved in 2D magnets or ferromagnet-based heterostructures. However, 2D magnets with anisotropic DMI haven't been reported yet. Here, via using first-principles calculations, we unveil that anisotropic DMI protected by D2d crystal symmetry can exist in 2D ternary compounds MCuX2. Interestingly, by using micromagnetic simulations, we demonstrate that ferromagnetic (FM) antiskyrmions, FM bimerons, antiferromagnetic (AFM) antiskyrmions and AFM bimerons can be realized in MCuX2 family. Our discovery opens up an avenue to creating antiskyrmions and bimerons with anisotropic DMI protected by D2d crystal symmetry in 2D magnets.


title: $D$-wave excited $cs\bar{c}\bar{s}$ tetraquark states with $J^{PC}=1^{++}$ and $1^{+-}$

abstract: We study the mass spectra of D-wave excited $cs\bar{c}\bar{s}$ tetraquark states with $J^{PC}=1^{++}$ and $1^{+-}$ in both symmetric $\mathbf{6}_{cs}\otimes\bar{\mathbf{6}}_{\bar{c}\bar{s}}$ and antisymmetric $\bar{\mathbf{3}}_{cs}\otimes\mathbf{3}_{\bar{c}\bar{s}}$ color configurations by using the QCD sum rule method. We construct the D-wave diquark-antidiquark type of $cs\bar{c}\bar{s}$ tetraquark interpolating currents in various excitation structures with $(L_\lambda,L_\rho\{l_{\rho_1},l_{\rho_2}\})=(2,0\{0,0\}),(1,1\{1,0\}),(1,1\{0,1\}),(0,2\{1,1\}),(0,2\{2,0\}),(0,2\{0,2\})$. Our results support to interpret the recently observed $X(4685)$ resonance as a D-wave $cs\bar{c}\bar{s}$ tetraquark state with $J^{PC}=1^{++}$ in the $(2,0\{0,0\})$ or $(0,2\{2,0\})$ excitation mode, although some other possible excitation structures cannot be excluded exhaustively within theoretical errors. Moreover, our results provide a mass relation $6_{\rho\rho}<3_{\lambda\lambda}<3_{\lambda\rho}<3_{\rho\rho}$ and $6_{\rho\rho}<3_{\lambda\lambda}<6_{\lambda\lambda}<3_{\rho\rho}$ for the positive and negative $\mathbb{C}$-parity D-wave $cs\bar{c}\bar{s}$ tetraquarks, respectively. We suggest searching for these possible D-wave $cs\bar{c}\bar{s}$ tetraquarks in both the hidden-charm channels $J/\psi\phi$, $\eta_c\phi$ and open-charm channels such as $D_s\bar{D}_s^*$, $D_{s}\bar{D}_{s1}^*$ and so on.


title: Every toroidal graph without $3$-cycles is odd $7$-colorable

abstract: Odd coloring is a proper coloring with an additional restriction that every non-isolated vertex has some color that appears an odd number of times in its neighborhood. The minimum number of colors $k$ that can ensure an odd coloring of a graph $G$ is denoted by $\chi_o(G)$. We say $G$ is $k$-colorable if $\chi_o(G)\le k$. This notion is introduced very recently by Petru\v{s}evski and \v{S}krekovski, who proved that if $G$ is planar then $ \chi_{o}(G) \leq 9 $. A toroidal graph is a graph that can be embedded on a torus. Note that a $K_7$ is a toroidal graph, $\chi_{o}(G)\leq7$. In this paper, we proved that, every toroidal graph without $3$-cycles is odd $7$-colorable. Thus, every planar graph without $3$-cycles is odd $7$-colorable holds as a corollary. That's to say, every toroidal graph is $7$-colorable can be proved if the remained cases around $3$-cycle is resolved.


title: KATKA: A KRAKEN-like tool with $k$ given at query time

abstract: We describe a new tool, KATKA, that stores a phylogenetic tree $T$ such that later, given a pattern $P [1..m]$ and an integer $k$, it can quickly return the root of the smallest subtree of $T$ containing all the genomes in which the $k$-mer $P [i..i + k - 1]$ occurs, for $1 \leq i \leq m - k + 1$. This is similar to KRAKEN's functionality but with $k$ given at query time instead of at construction time.


title: Specifying and Testing $k$-Safety Properties for Machine-Learning Models

abstract: Machine-learning models are becoming increasingly prevalent in our lives, for instance assisting in image-classification or decision-making tasks. Consequently, the reliability of these models is of critical importance and has resulted in the development of numerous approaches for validating and verifying their robustness and fairness. However, beyond such specific properties, it is challenging to specify, let alone check, general functional-correctness expectations from models. In this paper, we take inspiration from specifications used in formal methods, expressing functional-correctness properties by reasoning about $k$ different executions, so-called $k$-safety properties. Considering a credit-screening model of a bank, the expected property that "if a person is denied a loan and their income decreases, they should still be denied the loan" is a 2-safety property. Here, we show the wide applicability of $k$-safety properties for machine-learning models and present the first specification language for expressing them. We also operationalize the language in a framework for automatically validating such properties using metamorphic testing. Our experiments show that our framework is effective in identifying property violations, and that detected bugs could be used to train better models.


title: A facile approach for phase change material encapsulation into polymeric flexible fibers using microfluidic principles

abstract: It is widely agreed that phase change materials (PCMs) are of high interest for sustainable energy future. Many of the applications require anti-leakage properties of PCM, that can be accomplished through PCM encapsulation. In this study, scalable and considerably simplified approach based on the microfluidics principles was successfully designed for polyvinylidene fluoride (PVDF) hollow- and for leakage-free paraffin-core/PVDF-sheath fibers production. The required device can be as simple as syringe+tube+glass capillary. The fibers were created by PVDF/N,NDimethylformamide (DMF) solution and PVDF/DMF/paraffin emulsion injection in water followed by solvent extraction process. The proposed approach results in a hollow PVDF or PVDF/paraffin composite fibers with the PCM content between 32-47.5% according to DSC and TGA measurements. SEM study of the fibers morphology has shown that PCM is in the form of slugs along the fibers. Such PCM distribution is maintained until the first melting cycle. Later, molten PCM spreads within the fiber under capillary forces that was captured by infrared camera. Elastic modules and stress vs. strain were measured to characterise mechanical properties of designed fibers. Finally, the composite fibers have shown outstanding retention capacity with only 3.5% of PCM mass loose after 1000 melting/crystallisation cycles.


title: Electrically driven reprogrammable vanadium dioxide metasurface using binary control for broadband beam-steering

abstract: Resonant optical phased arrays are a promising way to reach fully reconfigurable metasurfaces in the optical and NIR regimes with low energy consumption, low footprint and high reliability. Continuously tunable resonant structures suffer from inherent drawbacks such as low phase range, amplitude-phase correlation or extreme sensitivity that makes precise control at the individual element level very challenging. In order to bypass these issues, we use 1-bit (binary) control for beam steering for an innovative nano-resonator antenna and explore the theoretical capabilities of such phased arrays. A thermally realistic structure based on vanadium dioxide sandwiched in a metal-insulator-metal structure is proposed and optimized using inverse design to enhance its performance at 1550 nm. Continuous beam steering over 90{\deg} range is successfully achieved using binary control, with excellent agreement with predictions based on the theoretical first principles description of phased arrays. Furthermore a broadband response from 1500 nm to 1700 nm is achieved. The robustness of the design manufacturing imperfections is also demonstrated. This simplified approach can be implemented to optimize tunable nanophotonic phased array metasurfaces based on other materials or phased shifting mechanisms for various functionalities.


title: Low-complexity deep learning frameworks for acoustic scene classification

abstract: In this report, we presents low-complexity deep learning frameworks for acoustic scene classification (ASC). The proposed frameworks can be separated into four main steps: Front-end spectrogram extraction, online data augmentation, back-end classification, and late fusion of predicted probabilities. In particular, we initially transform audio recordings into Mel, Gammatone, and CQT spectrograms. Next, data augmentation methods of Random Cropping, Specaugment, and Mixup are then applied to generate augmented spectrograms before being fed into deep learning based classifiers. Finally, to achieve the best performance, we fuse probabilities which obtained from three individual classifiers, which are independently-trained with three type of spectrograms. Our experiments conducted on DCASE 2022 Task 1 Development dataset have fullfiled the requirement of low-complexity and achieved the best classification accuracy of 60.1%, improving DCASE baseline by 17.2%.


title: Energy-Efficient Wake-Up Signalling for Machine-Type Devices Based on Traffic-Aware Long-Short Term Memory Prediction

abstract: Reducing energy consumption is a pressing issue in low-power machine-type communication (MTC) networks. In this regard, the Wake-up Signal (WuS) technology, which aims to minimize the energy consumed by the radio interface of the machine-type devices (MTDs), stands as a promising solution. However, state-of-the-art WuS mechanisms use static operational parameters, so they cannot efficiently adapt to the system dynamics. To overcome this, we design a simple but efficient neural network to predict MTC traffic patterns and configure WuS accordingly. Our proposed forecasting WuS (FWuS) leverages an accurate long-short term memory (LSTM)- based traffic prediction that allows extending the sleep time of MTDs by avoiding frequent page monitoring occasions in idle state. Simulation results show the effectiveness of our approach. The traffic prediction errors are shown to be below 4%, being false alarm and miss-detection probabilities respectively below 8.8% and 1.3%. In terms of energy consumption reduction, FWuS can outperform the best benchmark mechanism in up to 32%. Finally, we certify the ability of FWuS to dynamically adapt to traffic density changes, promoting low-power MTC scalability


title: Realization of high-fidelity unitary operations on up to 64 frequency bins

abstract: The ability to apply user-chosen large-scale unitary operations with high fidelity to a quantum state is key to realizing future photonic quantum technologies. Here, we realize the implementation of programmable unitary operations on up to 64 frequency-bin modes. To benchmark the performance of our system, we probe different quantum walk unitary operations, in particular Grover walks on four-dimensional hypercubes with similarities exceeding 95\% and quantum walks with 400 steps on circles and finite lines with similarities of 98\%. Our results open a new path towards implementing high-quality unitary operations, which can form the basis for applications in complex tasks, such as Gaussian boson sampling.


title: Nematic Ordering in the Heisenberg Spin-Glass System in d=3 Dimensions

abstract: Nematic ordering, where the spins globally align along a spontaneously chosen axis irrespective of direction, occurs in spin-glass systems of classical Heisenberg spins in d=3. In this system where the nearest-neighbor interactions are quenched randomly ferromagnetic or antiferromagnetic, instead of the locally randomly ordered spin-glass phase, the system orders globally as a nematic phase. The system is solved exactly on a hierarchical lattice and, equivalently, Migdal-Kadanoff approximately on a cubic lattice. The global phase diagram is calculated, exhibiting this nematic phase, and ferromagnetic, antiferromagnetic, disordered phases. The nematic phase of the classical Heisenberg spin-glass system is also found in other dimensions d>2: We calculate nematic transition temperatures in 24 dimensions in 2<d=<4.


title: Sequential Convex Programming for Optimal Line of Sight Steering in Agile Missions

abstract: The trend toward onboard autonomy and spacecraft minimization present significant potential for advances in efficient Line of Sight management by making optimal use of the limited torque resources available. At SENER Aeroespacial, we are implementing AOCS algorithms capable of providing agility in different observation scenarios in which the exploitation of the resources is fundamental for the mission success. In this contribution, we present an in-house optimization toolbox for onboard guidance, the SENER Optimization Toolbox, and we propose its use for online attitude guidance of an agile space-craft using Control Moment Gyroscopes. We propose different optimization schemes based on Sequential Convex Programming aiming for reducing the computational burden for real-time implementations. The results highlight the potential for performance improvements when making use of embedded optimal control for fast slew maneuvers: with proposed schemes, we find solutions that implicitly manage singularities and are up to 12.2% faster than classical bang-bang maneuvers while increasing the smoothness of the trajectories to minimize the excitation of flexible modes.


title: Oxygen and calcium nebular emission line relationships in core-collapse supernovae and Ca-rich transients

abstract: This work examines the relationships between the properties (flux ratios, full width at half-maximum velocities) of the [O I] $\lambda\lambda$6300, 6364, [Ca II] $\lambda\lambda$7291, 7323, and the Ca II near-infrared triplet, emission lines of a large sample of core-collapse supernovae (SNe) and Ca-rich transients (509 spectra of 86 transients, of which 10 transients are Ca-rich events). Line-flux ratios as a function of time were investigated with differences identified between the transient classes, in particular the Type II SNe were found to have distinct line-flux ratios compared to stripped-envelope (SE) SNe. No correlation was found between the [Ca II]/[O I] flux ratios of SE-SNe and their ejecta masses and kinetic energies (as measured from light curve modelling), suggesting that there may be a contribution from an additional power source in more luminous SE-SNe. We found that the mean characteristic width of the [Ca II] emission line is less than the [O I] emission line for all SN types, indicating that the [Ca II] emission typically originates from deeper in the ejecta than [O I]. This is in some tension with standard models for emission in Type II SNe. The emission line properties of Type II SNe were also compared to theoretical models and found to favour lower mass tracks ($M_\mathrm{ZAMS}$ $<$ 15 M$_{\odot}$), with no evidence found for significant mixing of $^{56}$Ni into the H envelope nor Ca mixed into the O shell. The flux ratios of some superluminous SNe were found to be similar to those of SE-SNe when scaling to account for their longer rise times was applied (although we caution the sample size is small).


title: An Asymptotic Preserving and Energy Stable Scheme for the Barotropic Euler System in the Incompressible Limit

abstract: An asymptotic preserving and energy stable scheme for the barotropic Euler system under the low Mach number scaling is designed and analysed. A velocity shift proportional to the pressure gradient is introduced in the convective fluxes, which leads to the dissipation of mechanical energy and the entropy stability at all Mach numbers. The resolution of the semi-implicit in time and upwind in space fully-discrete scheme involves two steps: solution of an elliptic problem for the density and an explicit evaluation for the velocity. The proposed scheme possess several physically relevant attributes, such as the positivity of density, the entropy stability and the consistency with the weak formulation of the continuous Euler system. The AP property of the scheme, i.e.\ the boundedness of the mesh parameters with respect to the Mach number and its consistency with the incompressible limit system, is shown rigorously. The results of extensive case studies are presented to substantiate the robustness and efficacy of the proposed scheme as well as the theoretical claims.


title: Quantum control methods for robust entanglement of trapped ions

abstract: A major obstacle in the way of practical quantum computing is achieving scalable and robust high-fidelity entangling gates. To this end, quantum control has become an essential tool, as it can make the entangling interaction resilient to sources of noise. Nevertheless, it may be difficult to identify an appropriate quantum control technique for a particular need given the breadth of work pertaining to robust entanglement. To this end, we attempt to consolidate the literature by providing a non-exhaustive summary and critical analysis. The quantum control methods are separated into two categories: schemes which extend the robustness to (i) spin or (ii) motional decoherence. We choose to focus on extensions of the $\sigma_x\otimes\sigma_x$ Molmer-Sorensen interaction using microwaves and a static magnetic field gradient. Nevertheless, some of the techniques discussed here can be relevant to other trapped ion architectures or physical qubit implementations. Finally, we experimentally realize a proof-of-concept interaction with simultaneous robustness to spin and motional decoherence by combining several quantum control methods presented in this manuscript.


title: Deep ensemble learning for segmenting tuberculosis-consistent manifestations in chest radiographs

abstract: Automated segmentation of tuberculosis (TB)-consistent lesions in chest X-rays (CXRs) using deep learning (DL) methods can help reduce radiologist effort, supplement clinical decision-making, and potentially result in improved patient treatment. The majority of works in the literature discuss training automatic segmentation models using coarse bounding box annotations. However, the granularity of the bounding box annotation could result in the inclusion of a considerable fraction of false positives and negatives at the pixel level that may adversely impact overall semantic segmentation performance. This study (i) evaluates the benefits of using fine-grained annotations of TB-consistent lesions and (ii) trains and constructs ensembles of the variants of U-Net models for semantically segmenting TB-consistent lesions in both original and bone-suppressed frontal CXRs. We evaluated segmentation performance using several ensemble methods such as bitwise AND, bitwise-OR, bitwise-MAX, and stacking. We observed that the stacking ensemble demonstrated superior segmentation performance (Dice score: 0.5743, 95% confidence interval: (0.4055,0.7431)) compared to the individual constituent models and other ensemble methods. To the best of our knowledge, this is the first study to apply ensemble learning to improve fine-grained TB-consistent lesion segmentation performance.


title: Unraveling the observational signatures of cloud-cloud collision and hub-filament systems in W31

abstract: To understand the formation process of massive stars, we present a multi-scale and multi-wavelength study of the W31 complex hosting two extended HII regions (i.e., G10.30-0.15 (hereafter, W31-N) and G10.15-0.34 (hereafter, W31-S)) powered by a cluster of O-type stars. Several Class I protostars and a total of 49 ATLASGAL 870 $\mu$m dust clumps (at d = 3.55 kpc) are found toward the HII regions where some of the clumps are associated with the molecular outflow activity. These results confirm the existence of a single physical system hosting the early phases of star formation. The Herschel 250 $\mu$m continuum map shows the presence of hub-filament system (HFS) toward both W31-N and W31-S. The central hubs harbour HII regions and they are depicted with extended structures (with T$_{\text{d}}$ $\sim$ 25-32 K) in the Herschel temperature map. In the direction of W31-S, an analysis of the NANTEN2 $^{12}$CO(J = 1-0) and SEDIGISM $^{13}$CO(J = 2-1) line data supports the presence of two cloud components around 8 and 16 km s$^{-1}$, and their connection in velocity space. A spatial complementary distribution between the two cloud components is also investigated toward W31-S, where the signposts of star formation, including massive O-type stars, are concentrated. These findings favor the applicability of cloud-cloud collision (CCC) around $\sim$2 Myr ago in W31-S. Overall, our observational findings support the theoretical scenario of CCC in W31, which explains the formation of massive stars and the existence of HFSs.


title: Better Teacher Better Student: Dynamic Prior Knowledge for Knowledge Distillation

abstract: Knowledge distillation (KD) has shown very promising capabilities in transferring learning representations from large models (teachers) to small models (students). However, as the capacity gap between students and teachers becomes larger, existing KD methods fail to achieve better results. Our work shows that the `prior knowledge' is vital to KD, especially when applying large teachers. Particularly, we propose the dynamic prior knowledge (DPK), which integrates part of teacher's features as the prior knowledge before the feature distillation. This means that our method also takes the teacher's feature as `input', not just `target'. Besides, we dynamically adjust the ratio of the prior knowledge during the training phase according to the feature gap, thus guiding the student in an appropriate difficulty. To evaluate the proposed method, we conduct extensive experiments on two image classification benchmarks (i.e. CIFAR100 and ImageNet) and an object detection benchmark (i.e. MS COCO. The results demonstrate the superiority of our method in performance under varying settings. Besides, our DPK makes the performance of the student model positively correlated with that of the teacher model, which means that we can further boost the accuracy of students by applying larger teachers. More importantly, DPK provides a fast solution in teacher model selection for any given model.


title: The Equilibrium Tide: An Updated Prescription for Population Synthesis Codes

abstract: We present an updated prescription for the equilibrium tides suitable for population synthesis codes. A grid of 1D evolutionary models was created and the viscous time-scale was calculated for each detailed model. A metallicity dependent power-law relation was fitted to both the convective cores and convective envelopes of the models. The prescription was implemented into the population synthesis code BSE and predicts an 16.5% reduction in the overall number of merges, with those involving main-sequence stars most affected. The new prescription also reduces the overall supernova rate by 3.6% with individual channels being differently affected. The single degenerate Ia supernova occurrence is reduced by 12.8%. The merging of two Carbon Oxygen white dwarfs to cause a Ia supernova occurs 16% less frequently. The number of sub-synchronously rotating stars in close binaries is substantially increased with our prescription, as is the number of non-circularized systems at the start of common-envelope evolution.


title: Box constraints and weighted sparsity regularization for identifying sources in elliptic PDEs

abstract: We explore the possibility for using boundary data to identify sources in elliptic PDEs. Even though the associated forward operator has a large null space, it turns out that box constraints, combined with weighted sparsity regularization, can enable rather accurate recovery of sources with constant magnitude/strength. In addition, for sources with varying strength, the support of the inverse solution will be a subset of the support of the true source. We present both an analysis of the problem and a series of numerical experiments. Our work only addresses discretized problems. The reason for introducing the weighting procedure is that standard (unweighted) sparsity regularization fails to provide adequate results for the source identification task considered in this paper. This investigation is also motivated by applications, e.g., recovering mass distributions from measurements of gravitational fields and inverse scattering. We develop the methodology and the analysis in terms of Euclidean spaces, and our results can therefore be applied to many problems. For example, the results are equally applicable to models involving the screened Poisson equation as to models using the Helmholtz equation, with both large and small wave numbers.


title: Annular Computational Imaging: Capture Clear Panoramic Images through Simple Lens

abstract: Panoramic Annular Lens (PAL) composed of few lenses has great potential in panoramic surrounding sensing tasks for mobile and wearable devices because of its tiny size and large Field of View (FoV). However, the image quality of tiny-volume PAL confines to optical limit due to the lack of lenses for aberration correction. In this paper, we propose an Annular Computational Imaging (ACI) framework to break the optical limit of light-weight PAL design. To facilitate learning-based image restoration, we introduce a wave-based simulation pipeline for panoramic imaging and tackle the synthetic-to-real gap through multiple data distributions. The proposed pipeline can be easily adapted to any PAL with design parameters and is suitable for loose-tolerance designs. Furthermore, we design the Physics Informed Image Restoration Network (PI2RNet) considering the physical priors of panoramic imaging and single-pass physics-informed engine. At the dataset level, we create the DIVPano dataset and the extensive experiments on it illustrate that our proposed network sets the new state of the art in the panoramic image restoration under spatially-variant degradation. In addition, the evaluation of the proposed ACI on a simple PAL with only 3 spherical lenses reveals the delicate balance between high-quality panoramic imaging and compact design. To the best of our knowledge, we are the first to explore Computational Imaging (CI) in PAL. Code and datasets are publicly available at https://github.com/zju-jiangqi/ACI-PI2RNet.


title: Order preserving and order reversing operators on the class of $L^0$-convex functions in complete random normed modules

abstract: Based on both the fundamental theorem of affine geometry in regular $L^0$-modules and the recent progress in random convex analysis, this paper characterizes the stable fully order preserving and order reversing operators acting on the class of proper lower semicontinuous $L^0$-convex functions in complete random normed modules.


title: Rank Diminishing in Deep Neural Networks

abstract: The rank of neural networks measures information flowing across layers. It is an instance of a key structural condition that applies across broad domains of machine learning. In particular, the assumption of low-rank feature representations leads to algorithmic developments in many architectures. For neural networks, however, the intrinsic mechanism that yields low-rank structures remains vague and unclear. To fill this gap, we perform a rigorous study on the behavior of network rank, focusing particularly on the notion of rank deficiency. We theoretically establish a universal monotonic decreasing property of network rank from the basic rules of differential and algebraic composition, and uncover rank deficiency of network blocks and deep function coupling. By virtue of our numerical tools, we provide the first empirical analysis of the per-layer behavior of network rank in practical settings, i.e., ResNets, deep MLPs, and Transformers on ImageNet. These empirical results are in direct accord with our theory. Furthermore, we reveal a novel phenomenon of independence deficit caused by the rank deficiency of deep networks, where classification confidence of a given category can be linearly decided by the confidence of a handful of other categories. The theoretical results of this work, together with the empirical findings, may advance understanding of the inherent principles of deep neural networks.


title: General Solution to 2D Steady Navier-Stokes Equation for Incompressible Flow without vorticity diffusion

abstract: The study solves the general solution to 2D steady Navier-Stokes equation for incompressible flow without vorticity diffusion, which is more general than Stokes flow. In order to obtain the general solution, two potential functions are introduced to express the velocity: a vector potential describing the rotational incompressible flow and a scalar potential describing the irrotational incompressible flow. The results show that the vorticity equation expressed with potential functions is a biharmonic function, which means that the potential functions describing the flow field are polynomials of no more than fourth degree. For a steady unidirectional shear flow, the velocity and pressure fields can be described with the vector potential expressed by a polynomial of third degree. For non unidirectional two-dimensional steady shear flow, there may be four independent parameters in the two potential functions.


title: On Connections between Opacity and Security in Linear Systems

abstract: Opacity and attack detectability are important properties for any system as they allow the states to remain private and malicious attacks to be detected, respectively. In this paper, we show that a fundamental trade-off exists between these properties for a linear dynamical system, in the sense that if an opaque system is subjected to attacks, all attacks cannot be detected. We first characterize the opacity conditions for the system in terms of its weakly unobservable subspace (WUS) and show that the number of opaque states is proportional to the size of the WUS. Further, we establish conditions under which increasing the opaque sets also increases the set of undetectable attacks. This highlights a fundamental trade-off between security and privacy. We demonstrate application of our results on a remotely controlled automotive system.


title: Gaia Data Release 3: Pulsations in main sequence OBAF-type stars

abstract: The third Gaia data release provides photometric time series covering 34 months for about 10 million stars. For many of those stars, a characterisation in Fourier space and their variability classification are also provided. This paper focuses on intermediate- to high-mass (IHM) main sequence pulsators M >= 1.3 Msun) of spectral types O, B, A, or F, known as beta Cep, slowly pulsating B (SPB), delta Sct, and gamma Dor stars. These stars are often multi-periodic and display low amplitudes, making them challenging targets to analyse with sparse time series. All datasets used in this analysis are part of the Gaia DR3 data release. The photometric time series were used to perform a Fourier analysis, while the global astrophysical parameters necessary for the empirical instability strips were taken from the Gaia DR3 gspphot tables, and the vsini data were taken from the Gaia DR3 esphs tables. We show that for nearby OBAF-type pulsators, the Gaia DR3 data are precise and accurate enough to pinpoint them in the Hertzsprung-Russell diagram. We find empirical instability strips covering broader regions than theoretically predicted. In particular, our study reveals the presence of fast rotating gravity-mode pulsators outside the strips, as well as the co-existence of rotationally modulated variables inside the strips as reported before in the literature. We derive an extensive period-luminosity relation for delta Sct stars and provide evidence that the relation features different regimes depending on the oscillation period. Finally, we demonstrate how stellar rotation attenuates the amplitude of the dominant oscillation mode of delta Sct stars.


title: Characterization of chromospheric activity based on Sun-as-a-star spectral and disk-resolved activity indices

abstract: The strong chromospheric absorption lines Ca H & K are tightly connected to stellar surface magnetic fields. Only for the Sun, spectral activity indices can be related to evolving magnetic features on the solar disk. The Solar Disk-Integrated (SDI) telescope feeds the Potsdam Echelle Polarimetric and Spectroscopic Instrument (PEPSI) of the Large Binocular Telescope (LBT) at Mt. Graham International Observatory (MGIO), Arizona, U.S.A. We present high-resolution, high-fidelity spectra that were recorded on 184 & 82 days in 2018 & 2019 and derive the Ca H & K emission ratio, i.e., the S-index. In addition, we compile excess brightness and area indices based on full-disk Ca K line-core filtergrams of the Chromospheric Telescope (ChroTel) at Observatorio del Teide, Tenerife, Spain and full-disk ultraviolet (UV) 1600~{\AA} images of the Atmospheric Imaging Assembly (AIA) on board the Solar Dynamics Observatory (SDO). Thus, Sun-as-a-star spectral indices are related to their counterparts derived from resolved images of the solar chromosphere. All indices display signatures of rotational modulation, even during the very low magnetic activity in the minimum of Solar Cycle 24. Bringing together different types of activity indices has the potential to join disparate chromospheric datasets, yielding a comprehensive description of chromospheric activity across many solar cycles.


title: Physics-informed EDFA Gain Model Based on Active Learning

abstract: We propose a physics-informed EDFA gain model based on the active learning method. Experimental results show that the proposed modelling method can reach a higher optimal accuracy and reduce ~90% training data to achieve the same performance compared with the conventional method.


title: A short elementary proof of the Gearhart-Pr\"uss theorem for bounded semigroups

abstract: We present a short elementary proof of the Gearhart-Pr\"uss theorem for bounded $C_0$-semigroups on Hilbert spaces.


title: OHM: GPU Based Occupancy Map Generation

abstract: Occupancy grid maps (OGMs) are fundamental to most systems for autonomous robotic navigation. However, CPU-based implementations struggle to keep up with data rates from modern 3D lidar sensors, and provide little capacity for modern extensions which maintain richer voxel representations. This paper presents OHM, our open source, GPU-based OGM framework. We show how the algorithms can be mapped to GPU resources, resolving difficulties with contention to obtain a successful implementation. The implementation supports many modern OGM algorithms including NDT-OM, NDT-TM, decay-rate and TSDF. A thorough performance evaluation is presented based on tracked and quadruped UGV platforms and UAVs, and data sets from both outdoor and subterranean environments. The results demonstrate excellent performance improvements both offline, and for online processing in embedded platforms. Finally, we describe how OHM was a key enabler for the UGV navigation solution for our entry in the DARPA Subterranean Challenge, which placed second at the Final Event.


title: Boundedness of Fractional Integrals on Hardy Spaces Associated with Ball Quasi-Banach Function Spaces

abstract: Let $X$ be a ball quasi-Banach function space on ${\mathbb R}^n$ and $H_X({\mathbb R}^n)$ the Hardy space associated with $X$, and let $\alpha\in(0,n)$ and $\beta\in(1,\infty)$. In this article, assuming that the (powered) Hardy--Littlewood maximal operator satisfies the Fefferman--Stein vector-valued maximal inequality on $X$ and is bounded on the associate space of $X$, the authors prove that the fractional integral $I_{\alpha}$ can be extended to a bounded linear operator from $H_X({\mathbb R}^n)$ to $H_{X^{\beta}}({\mathbb R}^n)$ if and only if there exists a positive constant $C$ such that, for any ball $B\subset \mathbb{R}^n$, $|B|^{\frac{\alpha}{n}}\leq C \|\mathbf{1}_B\|_X^{\frac{\beta-1}{\beta}}$, where $X^{\beta}$ denotes the $\beta$-convexification of $X$. Moreover, under some different reasonable assumptions on both $X$ and another ball quasi-Banach function space $Y$, the authors also consider the mapping property of $I_{\alpha}$ from $H_X({\mathbb R}^n)$ to $H_Y({\mathbb R}^n)$ via using the extrapolation theorem. All these results have a wide range of applications. Particularly, when these are applied, respectively, to Morrey spaces, mixed-norm Lebesgue spaces, local generalized Herz spaces, and mixed-norm Herz spaces, all these results are new. The proofs of these theorems strongly depend on atomic and molecular characterizations of $H_X({\mathbb R}^n)$.


title: Besov Wavefront Set

abstract: We develop a notion of wavefront set aimed at characterizing in Fourier space the directions along which a distribution behaves or not as an element of a specific Besov space. Subsequently we prove an alternative, albeit equivalent characterization of such wavefront set using the language of pseudo-differential operators. Both formulations are used to prove the main underlying structural properties. Among these we highlight the individuation of a sufficient criterion to multiply distributions with a prescribed Besov wavefront set which encompasses and generalizes the classical Young's theorem. At last, as an application of this new framework we prove a theorem of propagation of singularities for a large class of hyperbolic operators.


title: Graph Comparison Based on Adjacency Function Matrix

abstract: In this paper, we present a new metric distance for comparing two large graphs to find similarities and differences between them based on one of the most important graph structural properties, which is Node Adjacency Information, for all vertices in the graph. Then, we defined a new function and some parameters to find the distance of two large graphs using different neighbors of vertices. There are some methods which they focused on the other features of graphs to obtain the distance between them, but some of them are Node Correspondence which means their node set have the same size. However, in this paper, we introduce a new method which can find the distance between two large graphs with different size of node set.


title: Dataset: Dependency Networks of Open Source Libraries Available Through CocoaPods, Carthage and Swift PM

abstract: Third party libraries are used to integrate existing solutions for common problems and help speed up development. The use of third party libraries, however, can carry risks, for example through vulnerabilities in these libraries. Studying the dependency networks of package managers lets us better understand and mitigate these risks. So far, the dependency networks of the three most important package managers of the Apple ecosystem, CocoaPods, Carthage and Swift PM, have not been studied. We analysed the dependencies for all publicly available open source libraries up to December 2021 and compiled a dataset containing the dependency networks of all three package managers. The dependency networks can be used to analyse how vulnerabilities are propagated through transitive dependencies. In order to ease the tracing of vulnerable libraries we also queried the NVD database and included publicly reported vulnerabilities for these libraries in the dataset.


title: Partially additive rings and group schemes over ${\mathbb F}_1$

abstract: We develop an elementary theory of partially additive rings as a foundation of ${\mathbb F}_1$-geometry. Our approach is so concrete that an analog of classical algebraic geometry is established very straightforwardly. As applications, (1) we construct a kind of group scheme ${\mathbb GL}_n$ whose value at a commutative ring $R$ is the group of $n\times n$ invertible matrices over $R$ and at ${\mathbb F}_1$ is the $n$-th symmetric group, and (2) we construct a projective space $\mathbb P^n$ as a kind of scheme and count the number of points of ${\mathbb P}^n({\mathbb F}_q)$ for $q=1$ or $q=p^n$ a power of a rational prime, then we explain a reason of number 1 in the subscript of ${\mathbb F}_1$ even though it has two elements.


title: Finite temperature study of correlations in bilayer band-insulator

abstract: We perform the finite-temperature determinant quantum Monte Carlo simulation for the attractive Hubbard model on the half-filled bilayer square lattice. Recent progress on optical lattice experiments lead us to investigate various single-particle properties such as momentum distribution and double occupancies which should be easily measured in cold-atom experiments. The pair-pair and the density-density correlations have been studied in detail, and through finite-size scaling, we show that there is no competing charge density wave order in the bilayer band-insulator model and that the superfluid phase is the stable phase for the interaction range $\abs{U}/t = 5-10$. We show the existence of two energy scales in the system as we increase the attractive interaction, one governing the phase coherence and the other one corresponding to the molecule formation. In the end, we map out the full $T-U$ phase diagram and compare the $T_c$ obtained through the mean-field analysis. We observe that the maximum $T_c/t(= 0.27)$ occurs for $\abs{U}/t = 6$, which is roughly twice the reported $T_c$ of the single-layer attractive Hubbard model.


title: A Correlation-Ratio Transfer Learning and Variational Stein's Paradox

abstract: A basic condition for efficient transfer learning is the similarity between a target model and source models. In practice, however, the similarity condition is difficult to meet or is even violated. Instead of the similarity condition, a brand-new strategy, linear correlation-ratio, is introduced in this paper to build an accurate relationship between the models. Such a correlation-ratio can be easily estimated by historical data or a part of sample. Then, a correlation-ratio transfer learning likelihood is established based on the correlation-ratio combination. On the practical side, the new framework is applied to some application scenarios, especially the areas of data streams and medical studies. Methodologically, some techniques are suggested for transferring the information from simple source models to a relatively complex target model. Theoretically, some favorable properties, including the global convergence rate, are achieved, even for the case where the source models are not similar to the target model. All in all, it can be seen from the theories and experimental results that the inference on the target model is significantly improved by the information from similar or dissimilar source models. In other words, a variational Stein's paradox is illustrated in the context of transfer learning.


title: Neutron-induced nuclear recoil background in the PandaX-4T experiment

abstract: Neutron-induced nuclear recoil background is critical to the dark matter searches in the PandaX-4T liquid xenon experiment. This paper studies the feature of neutron background in liquid xenon and evaluates their contribution in the single scattering nuclear recoil events through three methods. The first method is fully Monte Carlo simulation based. The last two are data-driven methods that also use the multiple scattering signals and high energy signals in the data, respectively. In the PandaX-4T commissioning data with an exposure of 0.63 tonne-year, all these methods give a consistent result that there are $1.15\pm0.57$ neutron-induced background in dark matter signal region within an approximated nuclear recoil energy window between 5 and 100 keV.


title: Social Practices: a Complete Formalization

abstract: Multi-agent models are a suitable starting point to model complex social interactions. However, as the complexity of the systems increase, we argue that novel modeling approaches are needed that can deal with inter-dependencies at different levels of society, where many heterogeneous parties (software agents, robots, humans) are interacting and reacting to each other. In this paper, we present a formalization of a social framework for agents based on the concept of Social Practices as high level specifications of normal (expected) behavior in a given social context. We argue that social practices facilitate the practical reasoning of agents in standard social interactions. Thus they can support deliberations for complex situations just like conventions and norms. However, they also come with a social context that gives handles for social planning and deliberation in top of the normal functional deliberation. The main goal of this paper is to give a formalization of social practices that can be used as a basis for implementations and defining precise structures within which social learning can take place.


title: Graph Neural Networks Intersect Probabilistic Graphical Models: A Survey

abstract: Graphs are a powerful data structure to represent relational data and are widely used to describe complex real-world data structures. Probabilistic Graphical Models (PGMs) have been well-developed in the past years to mathematically model real-world scenarios in compact graphical representations of distributions of variables. Graph Neural Networks (GNNs) are new inference methods developed in recent years and are attracting growing attention due to their effectiveness and flexibility in solving inference and learning problems over graph-structured data. These two powerful approaches have different advantages in capturing relations from observations and how they conduct message passing, and they can benefit each other in various tasks. In this survey, we broadly study the intersection of GNNs and PGMs. Specifically, we first discuss how GNNs can benefit from learning structured representations in PGMs, generate explainable predictions by PGMs, and how PGMs can infer object relationships. Then we discuss how GNNs are implemented in PGMs for more efficient inference and structure learning. In the end, we summarize the benchmark datasets used in recent studies and discuss promising future directions.


title: Regret-Aware Black-Box Optimization with Natural Gradients, Trust-Regions and Entropy Control

abstract: Most successful stochastic black-box optimizers, such as CMA-ES, use rankings of the individual samples to obtain a new search distribution. Yet, the use of rankings also introduces several issues such as the underlying optimization objective is often unclear, i.e., we do not optimize the expected fitness. Further, while these algorithms typically produce a high-quality mean estimate of the search distribution, the produced samples can have poor quality as these algorithms are ignorant of the regret. Lastly, noisy fitness function evaluations may result in solutions that are highly sub-optimal on expectation. In contrast, stochastic optimizers that are motivated by policy gradients, such as the Model-based Relative Entropy Stochastic Search (MORE) algorithm, directly optimize the expected fitness function without the use of rankings. MORE can be derived by applying natural policy gradients and compatible function approximation, and is using information theoretic constraints to ensure the stability of the policy update. While MORE does not suffer from the listed limitations, it often cannot achieve state of the art performance in comparison to ranking based methods. We improve MORE by decoupling the update of the mean and covariance of the search distribution allowing for more aggressive updates on the mean while keeping the update on the covariance conservative, an improved entropy scheduling technique based on an evolution path which results in faster convergence and a simplified and more effective model learning approach in comparison to the original paper. We compare our algorithm to state of the art black-box optimization algorithms on standard optimization tasks as well as on episodic RL tasks in robotics where it is also crucial to have small regret. We obtain competitive results on benchmark functions and clearly outperform ranking-based methods in terms of regret on the RL tasks.


title: Towards Autonomous Grading In The Real World

abstract: In this work, we aim to tackle the problem of autonomous grading, where a dozer is required to flatten an uneven area. In addition, we explore methods for bridging the gap between a simulated environment and real scenarios. We design both a realistic physical simulation and a scaled real prototype environment mimicking the real dozer dynamics and sensory information. We establish heuristics and learning strategies in order to solve the problem. Through extensive experimentation, we show that although heuristics are capable of tackling the problem in a clean and noise-free simulated environment, they fail catastrophically when facing real world scenarios. As the heuristics are capable of successfully solving the task in the simulated environment, we show they can be leveraged to guide a learning agent which can generalize and solve the task both in simulation and in a scaled prototype environment.


title: Certifying Temporal Correlations

abstract: Self-testing has been established as a major approach for quantum device certification based on experimental statistics under minimal assumptions. However, despite more than 20 years of research effort most of the self-testing protocols are restricted to spatial scenarios (Bell scenarios), without any temporal generalisations known. Under the scenario of sequential measurements performed on a single quantum system, we build upon previous works which used semi-definite programming (SDP) based methods to bound sequential measurement inequalities. For such SDPs, we show that the optimiser matrix is unique and moreover this uniqueness is robust to small deviations from the quantum bound. Further, we consider a generalised scenario in presence of quantum channels and draw analogies in the structure of Bell and sequential inequalities using the pseudo-density matrix formalism. These analogies allow us to show a practical use of maximal violations of sequential inequalities in the form of certification of quantum channels up to isometries.