title: Traffic Analytics Development Kits (TADK): Enable Real-Time AI Inference in Networking Apps

abstract: Sophisticated traffic analytics, such as the encrypted traffic analytics and unknown malware detection, emphasizes the need for advanced methods to analyze the network traffic. Traditional methods of using fixed patterns, signature matching, and rules to detect known patterns in network traffic are being replaced with AI (Artificial Intelligence) driven algorithms. However, the absence of a high-performance AI networking-specific framework makes deploying real-time AI-based processing within networking workloads impossible. In this paper, we describe the design of Traffic Analytics Development Kits (TADK), an industry-standard framework specific for AI-based networking workloads processing. TADK can provide real-time AI-based networking workload processing in networking equipment from the data center out to the edge without the need for specialized hardware (e.g., GPUs, Neural Processing Unit, and so on). We have deployed TADK in commodity WAF and 5G UPF, and the evaluation result shows that TADK can achieve a throughput up to 35.3Gbps per core on traffic feature extraction, 6.5Gbps per core on traffic classification, and can decrease SQLi/XSS detection down to 4.5us per request with higher accuracy than fixed pattern solution.


title: A Graph-Based Modelling of Epidemics: Properties, Simulation, and Continuum Limit

abstract: This work is concerned with epidemiological models defined on networks, which highlight the prominent role of the social contact network of a given population in the spread of infectious diseases. In particular, we address the modelling and analysis of very large networks. As a basic epidemiological model, we focus on a SEIR (Susceptible-Exposed-Infective-Removed) model governing the behaviour of infectious disease among a population of individuals, which is partitioned into sub-populations. We study the long-time behaviour of the dynamic for this model, also taking into account the heterogeneity of the infections and the social network. By relying on the theory of graphons, we address the natural question of the large population limit and investigate the behaviour of the model as the size of the network tends to infinitely. After establishing the existence and uniqueness of solutions to the selected models, we discuss the use of the graphon-based limit model as a generative model for a network with particular statistical properties related to the distribution of connections. We also provide some preliminary numerical tests.


title: Asymptotic behavior for multi-scale SDEs with monotonicity coefficients driven by L\'evy processes

abstract: In this paper, we study the asymptotic behavior for multi-scale stochastic differential equations driven by L\'evy processes. The optimal strong convergence order 1/2 is obtained by studying the regularity estimates for the solution of Poisson equation with polynomial growth coefficients, and the optimal weak convergence order 1 is got by using the technique of Kolmogorov equation. The main contribution is that the obtained results can be applied to a class of multi-scale stochastic differential equations with monotonicity coefficients, as well as the driven processes can be the general L\'evy processes, which seems new in the existing literature.


title: Optimal Gamma density to Obfuscate Quantitative data with Added Noise

abstract: Protecting the privacy of individuals in a data-set is no less important than making statistical inferences from it. In case the data in hand is quantitative, the usual way to protect it is to add a noise to the individual data values. But, what should be an ideal density used to generate the noise, so that we can get the maximum use of the data, without compromising privacy? In this paper, we deal with this problem and propose a method of selecting a density within the Gamma family that is optimal for this purpose.


title: Towards Blockchain-based Trust and Reputation Management for Trustworthy 6G Networks

abstract: 6G is envisioned to enable futuristic technologies, which exhibit more complexities than the previous generations, as it aims to bring connectivity to a large number of devices, many of which may not be trustworthy. Proper authentication can protect the network from unauthorized adversaries. However, it cannot guarantee in situ reliability and trustworthiness of authorized network nodes, as they can be compromised post-authentication and impede the reliability and resilience of the network. Trust and Reputation Management (TRM) is an effective approach to continuously evaluate the trustworthiness of each participant by collecting and processing evidence of their interactions with other nodes and the infrastructure. In this article, we argue that blockchain-based TRM is critical to build trustworthy 6G networks, where blockchain acts as a decentralized platform for collaboratively managing and processing interaction evidence with the end goal of quantifying trust. We present a case study of resource management in 6G networks, where blockchain-based TRM quantifies and maintains reputation scores by evaluating fulfillment of resource owner's obligations and facilitating resource consumers to provide feedback. We also discuss inherent challenges and future directions for the development of blockchain-based TRM for next-generation 6G networks.


title: Reinforcement Learning to Rank with Coarse-grained Labels

abstract: Ranking lies at the core of many Information Retrieval (IR) tasks. While existing research on Learning to Rank (LTR) using Deep Neural Network (DNN) has achieved great success, it is somewhat limited because of its dependence on fine-grained labels. In practice, fine-grained labels are often expensive to acquire, i.e. explicit relevance judgements, or suffer from biases, i.e. click logs. Compared to fine-grained labels, coarse-grained labels are easier and cheaper to collect. Some recent works propose utilizing only coarse-grained labels for LTR tasks. A most representative line of work introduces Reinforcement Learning (RL) algorithms. RL can help train the LTR model with little reliance on fine-grained labels compared to Supervised Learning. To study the effectiveness of the RL-based LTR algorithm on coarse-grained labels, in this paper, we implement four different RL paradigms and conduct extensive experiments on two well-established LTR datasets. The results on simulated coarse-grained labeled dataset show that while using coarse-grained labels to train an RL model for LTR tasks still can not outperform traditional approaches using fine-grained labels, it still achieve somewhat promising results and is potentially helpful for future research in LTR. Our code implementations will be released after this work is accepted.


title: Partial Equivalence Checking of Quantum Circuits

abstract: Equivalence checking of quantum circuits is an essential element in quantum program compilation, in which a quantum program can be synthesized into different quantum circuits that may vary in the number of qubits, initialization requirements, and output states. Verifying the equivalences among the implementation variants requires proper generality. Although different notions of quantum circuit equivalence have been defined, prior methods cannot check observational equivalence between two quantum circuits whose qubits are partially initialized, which is referred to as partial equivalence. In this work, we prove a necessary and sufficient condition for two circuits to be partially equivalent. Based on the condition, we devise algorithms for checking quantum circuits whose partial equivalence cannot be verified by prior approaches. Experiment results confirm the generality and demonstrate the efficiency and effectiveness of our method. Our result may unleash the optimization power of quantum program compilation to take more aggressive steps.


title: Prediction of Seismic Intensity Distributions Using Neural Networks

abstract: The ground motion prediction equation is commonly used to predict the seismic intensity distribution. However, it is not easy to apply this method to seismic distributions affected by underground plate structures, which are commonly known as abnormal seismic distributions. This study proposes a hybrid of regression and classification approaches using neural networks. The proposed model treats the distributions as 2-dimensional data like an image. Our method can accurately predict seismic intensity distributions, even abnormal distributions.


title: Multi-dimensional topological loss for cortical plate segmentation in fetal brain MRI

abstract: The fetal cortical plate (CP) undergoes drastic morphological changes during the in utero development. Therefore, CP growth and folding patterns are key indicator in the assessment of the brain development and maturation. Magnetic resonance imaging (MRI) offers specific insights for the analysis of quantitative imaging biomarkers. Nonetheless, accurate and, more importantly, topologically correct MR image segmentation remains the key baseline to such analysis. In this study, we propose a deep learning segmentation framework for automatic and morphologically consistent segmentation of the CP in fetal brain MRI. Our contribution is two fold. First, we generalized a multi-dimensional topological loss function in order to enhance the topological accuracy. Second, we introduced hole ratio, a new topology-based validation measure that quantifies the size of the topological defects taking into account the size of the structure of interest. Using two publicly available datasets, we quantitatively evaluated our proposed method based on three complementary metrics which are overlap-, distance- and topology-based on 27 fetal brains. Our results evidence that our topology-integrative framework outperforms state-of-the-art training loss functions on super-resolution reconstructed clinical MRI, not only in shape correctness but also in the classical evaluation metrics. Furthermore, results on additional 31 out-of-domain SR reconstructions from clinical acquisitions were qualitatively assessed by three experts. The experts' consensus ranked our TopoCP method as the best segmentation in 100\% of the cases with a high inter-expert agreement. Overall, both quantitative and qualitative results, on a wide range of gestational ages and number of cases, support the generalizability and added value of our topology-guided framework for fetal CP segmentation.


title: Computing Smallest Convex Intersecting Polygons

abstract: A polygon C is an intersecting polygon for a set O of objects in the plane if C intersects each object in O, where the polygon includes its interior. We study the problem of computing the minimum-perimeter intersecting polygon and the minimum-area convex intersecting polygon for a given set O of objects. We present an FPTAS for both problems for the case where O is a set of possibly intersecting convex polygons in the plane of total complexity n. Furthermore, we present an exact polynomial-time algorithm for the minimum-perimeter intersecting polygon for the case where O is a set of n possibly intersecting segments in the plane. So far, polynomial-time exact algorithms were only known for the minimum perimeter intersecting polygon of lines or of disjoint segments.


title: A note on the (non-)conservation of curvature perturbation

abstract: In this note, we compare two different definitions for the cosmological perturbation $\zeta$ which is conserved on large scales, and study their non-conservation on small scales. We derive an equation for the time evolution of the curvature perturbation on a uniform density slice through a calculation solely in longitudinal (conformal-Newtonian) gauge. The result is concise and compatible with that obtained via local conservation of energy-momentum tensor.


title: On inner functions on the symmetrized polydisc

abstract: Inner functions have played a prominent role in the function theory of several domains. In this note, we first show that the closed algebra generated by them in the symmetrized bidisc is a proper subalgebra of the algebra of all bounded holomorphic functions. We follow it up by showing, nevertheless, certain approximation results. Revolving around the theme of a celebrated classical result of Caratheodory, which states that any holomorphic function defined on the open unit disc and mapping into it, can be approximated uniformly on compact subsets by finite Blaschke products, we prove a host of results on the symmetrized bidisc (many of them extending to the symmetrized polydisc) culminating in a Caratheodory type theorem for matrix-valued holomorphic functions.


title: Inhale: Enabling High-Performance and Energy-Efficient In-SRAM Cryptographic Hash for IoT

abstract: In the age of big data, information security has become a major issue of debate, especially with the rise of the Internet of Things (IoT), where attackers can effortlessly obtain physical access to edge devices. The hash algorithm is the current foundation for data integrity and authentication. However, it is challenging to provide a high-performance, high-throughput, and energy-efficient solution on resource-constrained edge devices. In this paper, we propose Inhale, an in-SRAM architecture to effectively compute hash algorithms with innovative data alignment and efficient read/write strategies to implicitly execute data shift operations through the in-situ controller. We present two variations of Inhale: Inhale-Opt, which is optimized for latency, throughput, and area-overhead; and Inhale-Flex, which offers flexibility in repurposing a part of last-level caches for hash computation. We thoroughly evaluate our proposed architectures on both SRAM and ReRAM memories and compare them with the state-of-the-art in-memory and ASIC accelerators. Our performance evaluation confirms that Inhale can achieve 1.4x - 14.5x higher throughput-per-area and about two-orders-of-magnitude higher throughput-per-area-per-energy compared to the state-of-the-art solutions.


title: MSE-Based Transceiver Designs for RIS-Aided Communications With Hardware Impairments

abstract: It is challenging to precisely configure the phase shifts of the reflecting elements at the reconfigurable intelligent surface (RIS) due to inherent hardware impairments (HIs). In this paper, the mean square error (MSE) performance is investigated in an RIS-aided single-user multiple-input multipleoutput (MIMO) communication system with transceiver HIs and RIS phase noise. We aim to jointly optimize the transmit precoder, linear received equalizer, and RIS reflecting matrices to minimize the MSE. To tackle this problem, an iterative algorithm is proposed, wherein the beamforming matrices are alternately optimized. Specifically, for the beamforming optimization subproblem, we derive the closed-form expression of the optimal precoder and equalizer matrices. Then, for the phase shift optimization subproblem, an efficient algorithm based on the majorization-minimization (MM) method is proposed. Simulation results show that the proposed MSE-based RIS-aided transceiver scheme dramatically outperforms the conventional system algorithms that do not consider HIs at both the transceiver and the RIS.


title: Fine-Grained Complexity Lower Bounds for Families of Dynamic Graphs

abstract: A dynamic graph algorithm is a data structure that answers queries about a property of the current graph while supporting graph modifications such as edge insertions and deletions. Prior work has shown strong conditional lower bounds for general dynamic graphs, yet graph families that arise in practice often exhibit structural properties that the existing lower bound constructions do not possess. We study three specific graph families that are ubiquitous, namely constant-degree graphs, power-law graphs, and expander graphs, and give the first conditional lower bounds for them. Our results show that even when restricting our attention to one of these graph classes, any algorithm for fundamental graph problems such as distance computation or approximation or maximum matching, cannot simultaneously achieve a sub-polynomial update time and query time. For example, we show that the same lower bounds as for general graphs hold for maximum matching and ($s,t$)-distance in constant-degree graphs, power-law graphs or expanders. Namely, in an $m$-edge graph, there exists no dynamic algorithms with both $O(m^{1/2 - \epsilon})$ update time and $ O(m^{1 -\epsilon})$ query time, for any small $\epsilon > 0$. Note that for ($s,t$)-distance the trivial dynamic algorithm achieves an almost matching upper bound of constant update time and $O(m)$ query time. We prove similar bounds for the other graph families and for other fundamental problems such as densest subgraph detection and perfect matching.


title: Higher-order accurate two-sample network inference and network hashing

abstract: Two-sample hypothesis testing for network comparison presents many significant challenges, including: leveraging repeated network observations and known node registration, but without requiring them to operate; relaxing strong structural assumptions; achieving finite-sample higher-order accuracy; handling different network sizes and sparsity levels; fast computation and memory parsimony; controlling false discovery rate (FDR) in multiple testing; and theoretical understandings, particularly regarding finite-sample accuracy and minimax optimality. In this paper, we develop a comprehensive toolbox, featuring a novel main method and its variants, all accompanied by strong theoretical guarantees, to address these challenges. Our method outperforms existing tools in speed and accuracy, and it is proved power-optimal. Our algorithms are user-friendly and versatile in handling various data structures (single or repeated network observations; known or unknown node registration). We also develop an innovative framework for offline hashing and fast querying as a very useful tool for large network databases. We showcase the effectiveness of our method through comprehensive simulations and applications to two real-world datasets, which revealed intriguing new structures.


title: Machine Learning-Based Test Smell Detection

abstract: Context: Test smells are symptoms of sub-optimal design choices adopted when developing test cases. Previous studies have proved their harmfulness for test code maintainability and effectiveness. Therefore, researchers have been proposing automated, heuristic-based techniques to detect them. However, the performance of such detectors is still limited and dependent on thresholds to be tuned. Objective: We propose the design and experimentation of a novel test smell detection approach based on machine learning to detect four test smells. Method: We plan to develop the largest dataset of manually-validated test smells. This dataset will be leveraged to train six machine learners and assess their capabilities in within- and cross-project scenarios. Finally, we plan to compare our approach with state-of-the-art heuristic-based techniques.


title: Holographic Lorentz and Carroll Frames

abstract: Relaxing the Bondi gauge, the solution space of three-dimensional gravity in the metric formulation has been shown to contain an additional free function that promotes the boundary metric to a Lorentz or Carroll frame, in asymptotically AdS or flat spacetimes. We pursue this analysis and show that the solution space also admits a finite symplectic structure, obtained taking advantage of the built-in ambiguities. The smoothness of the flat limit of the AdS symplectic structure selects a prescription in which the holographic anomaly appears in the boundary Lorentz symmetry, that rotates the frame. This anomaly turns out to be cohomologically equivalent to the standard holographic Weyl anomaly and survives in the flat limit, thus predicting the existence of quantum anomalies in conformal Carrollian field theories. We also revisit these results in the Chern--Simons formulation, where the prescription for the symplectic structure admitting a smooth flat limit follows from the variational principle, and we compute the charge algebra in the boundary conformal gauge.


title: Object Discovery via Contrastive Learning for Weakly Supervised Object Detection

abstract: Weakly Supervised Object Detection (WSOD) is a task that detects objects in an image using a model trained only on image-level annotations. Current state-of-the-art models benefit from self-supervised instance-level supervision, but since weak supervision does not include count or location information, the most common ``argmax'' labeling method often ignores many instances of objects. To alleviate this issue, we propose a novel multiple instance labeling method called object discovery. We further introduce a new contrastive loss under weak supervision where no instance-level information is available for sampling, called weakly supervised contrastive loss (WSCL). WSCL aims to construct a credible similarity threshold for object discovery by leveraging consistent features for embedding vectors in the same class. As a result, we achieve new state-of-the-art results on MS-COCO 2014 and 2017 as well as PASCAL VOC 2012, and competitive results on PASCAL VOC 2007.


title: Order-Invariance of Two-Variable Logic is coNExpTime-complete

abstract: We establish coNExpTime-completeness of the problem of deciding order-invariance of a given two variable first-order formula, improving and significantly simplifying coTwoNExpTime bound by Zeume and Harwath.


title: Dynamical Susceptibilities Near Ideal Glass Transitions

abstract: Building on the recently derived inhomogeneous mode-coupling theory, we extend the generalised mode-coupling theory of supercooled liquids to inhomogeneous environments. This provides a first-principles-based, systematic and rigorous way of deriving high-point dynamical susceptibilities from variations of the many-body dynamic structure factors with respect to their conjugate field. This new framework allows for a novel and fully microscopic possibility to probe for collective relaxation mechanisms in supercooled liquids near the mode-coupling glass transition.


title: Towards the phenomenological implications of the Physical Scheme in PDF fits

abstract: We describe the impact on PDF extractions of the 'Physical Scheme', a heavy-quark mass scheme that accounts for the effects of intrinsic heavy-quarks and provides a way to smoothly transition over the heavy-quark thresholds. The modifications made to the conventional $\overline{\text{MS}}$ scheme splitting functions and $\alpha_s$ running will be emphasised, collectively giving rise to a new Physical Scheme PDF evolution. We also present the analytic formulae for the DIS coefficient functions at NLO in the Physical Scheme and show results for the $F_2$ charm DIS structure function. Motivated by the upcoming statistics from the High-Luminosity LHC, embodying the next phase of the precision physics era at the LHC, as well as in time from the Electron-Ion collider, we end by highlighting the need to quantify the effect of these corrections on PDF extractions over a wide range of momentum fractions $x$ and scales $Q^2$ and propose the use of $\texttt{xFitter}$ for doing so.


title: Functional Convergence of Berry's Nodal Lengths: Approximate Tightness and Total Disorder

abstract: We consider Berry's random planar wave model (1977), and prove spatial functional limit theorems - in the high-energy limit - for discretized and truncated versions of the random field obtained by restricting its nodal length to rectangular domains. Our analysis is crucially based on a detailed study of the projection of nodal lengths onto the so-called second Wiener chaos, whose high-energy fluctuations are given by a Gaussian total disorder field indexed by polygonal curves. Such an exact characterization is then combined with moment estimates for suprema of stationary Gaussian random fields, and with a tightness criterion by Davydov and Zikitis (2005).


title: Regression modelling of spatiotemporal extreme U.S. wildfires via partially-interpretable neural networks

abstract: Risk management in many environmental settings requires an understanding of the mechanisms that drive extreme events. Useful metrics for quantifying such risk are extreme quantiles of response variables conditioned on predictor variables that describe, e.g., climate, biosphere and environmental states. Typically these quantiles lie outside the range of observable data and so, for estimation, require specification of parametric extreme value models within a regression framework. Classical approaches in this context utilise linear or additive relationships between predictor and response variables and suffer in either their predictive capabilities or computational efficiency; moreover, their simplicity is unlikely to capture the truly complex structures that lead to the creation of extreme wildfires. In this paper, we propose a new methodological framework for performing extreme quantile regression using artificial neutral networks, which are able to capture complex non-linear relationships and scale well to high-dimensional data. The "black box" nature of neural networks means that they lack the desirable trait of interpretability often favoured by practitioners; thus, we unify linear, and additive, regression methodology with deep learning to create partially-interpretable neural networks that can be used for statistical inference but retain high prediction accuracy. To complement this methodology, we further propose a novel point process model for extreme values which overcomes the finite lower-endpoint problem associated with the generalised extreme value class of distributions. Efficacy of our unified framework is illustrated on U.S. wildfire data with a high-dimensional predictor set and we illustrate vast improvements in predictive performance over linear and spline-based regression techniques.


title: Deletion Robust Non-Monotone Submodular Maximization over Matroids

abstract: Maximizing a submodular function is a fundamental task in machine learning and in this paper we study the deletion robust version of the problem under the classic matroids constraint. Here the goal is to extract a small size summary of the dataset that contains a high value independent set even after an adversary deleted some elements. We present constant-factor approximation algorithms, whose space complexity depends on the rank $k$ of the matroid and the number $d$ of deleted elements. In the centralized setting we present a $(4.597+O(\varepsilon))$-approximation algorithm with summary size $O( \frac{k+d}{\varepsilon^2}\log \frac{k}{\varepsilon})$ that is improved to a $(3.582+O(\varepsilon))$-approximation with $O(k + \frac{d}{\varepsilon^2}\log \frac{k}{\varepsilon})$ summary size when the objective is monotone. In the streaming setting we provide a $(9.435 + O(\varepsilon))$-approximation algorithm with summary size and memory $O(k + \frac{d}{\varepsilon^2}\log \frac{k}{\varepsilon})$; the approximation factor is then improved to $(5.582+O(\varepsilon))$ in the monotone case.


title: HVS-Inspired Signal Degradation Network for Just Noticeable Difference Estimation

abstract: Significant improvement has been made on just noticeable difference (JND) modelling due to the development of deep neural networks, especially for the recently developed unsupervised-JND generation models. However, they have a major drawback that the generated JND is assessed in the real-world signal domain instead of in the perceptual domain in the human brain. There is an obvious difference when JND is assessed in such two domains since the visual signal in the real world is encoded before it is delivered into the brain with the human visual system (HVS). Hence, we propose an HVS-inspired signal degradation network for JND estimation. To achieve this, we carefully analyze the HVS perceptual process in JND subjective viewing to obtain relevant insights, and then design an HVS-inspired signal degradation (HVS-SD) network to represent the signal degradation in the HVS. On the one hand, the well learnt HVS-SD enables us to assess the JND in the perceptual domain. On the other hand, it provides more accurate prior information for better guiding JND generation. Additionally, considering the requirement that reasonable JND should not lead to visual attention shifting, a visual attention loss is proposed to control JND generation. Experimental results demonstrate that the proposed method achieves the SOTA performance for accurately estimating the redundancy of the HVS. Source code will be available at https://github.com/jianjin008/HVS-SD-JND.


title: Artificial stochastic neural network on the base of double quantum wells

abstract: We consider a model of an artificial neural network based on quantum-mechanical particles in $W$ potential. These particles play the role of neurons in our model. To simulate such a quantum-mechanical system the Monte-Carlo integration method is used. A form of the self-potential of a particle as well as two interaction potentials (exciting and inhibiting) are proposed. Examples of simplest logical elements (such as AND, OR and NOT) are shown. Further we show an implementation of the simplest convolutional network in framework of our model.


title: Neural network fragile watermarking with no model performance degradation

abstract: Deep neural networks are vulnerable to malicious fine-tuning attacks such as data poisoning and backdoor attacks. Therefore, in recent research, it is proposed how to detect malicious fine-tuning of neural network models. However, it usually negatively affects the performance of the protected model. Thus, we propose a novel neural network fragile watermarking with no model performance degradation. In the process of watermarking, we train a generative model with the specific loss function and secret key to generate triggers that are sensitive to the fine-tuning of the target classifier. In the process of verifying, we adopt the watermarked classifier to get labels of each fragile trigger. Then, malicious fine-tuning can be detected by comparing secret keys and labels. Experiments on classic datasets and classifiers show that the proposed method can effectively detect model malicious fine-tuning with no model performance degradation.


title: Partitions of nonnegative integers with identical representation functions

abstract: Let $\mathbb{N}$ be the set of all nonnegative integers. For any integer $r$ and $m$, let $r+m\mathbb{N}=\{r+mk: k\in\mathbb{N}\}$. For $S\subseteq \mathbb{N}$ and $n\in \mathbb{N}$, let $R_{S}(n)$ denote the number of solutions of the equation $n=s+s'$ with $s, s'\in S$ and $s<s'$. Let $r_{1}, r_{2}, m$ be integers with $0<r_{1}<r_{2}<m$ and $2\mid r_{1}$. In this paper, we prove that there exist two sets $C$ and $D$ with $C\cup D=\mathbb{N}$ and $C\cap D=(r_{1}+m\mathbb{N})\cup (r_{2}+m\mathbb{N})$ such that $R_{C}(n)=R_{D}(n)$ for all $n\in\mathbb{N}$ if and only if there exists a positive integer $l$ such that $r_{1}=2^{2l+1}-2, r_{2}=2^{2l+1}-1, m=2^{2l+2}-2$.


title: Making Reinforcement Learning Work on Swimmer

abstract: The SWIMMER environment is a standard benchmark in reinforcement learning (RL). In particular, it is often used in papers comparing or combining RL methods with direct policy search methods such as genetic algorithms or evolution strategies. A lot of these papers report poor performance on SWIMMER from RL methods and much better performance from direct policy search methods. In this technical report we show that the low performance of RL methods on SWIMMER simply comes from the inadequate tuning of an important hyper-parameter, the discount factor. Furthermore we show that, by setting this hyper-parameter to a correct value, the issue can be easily fixed. Finally, for a set of often used RL algorithms, we provide a set of successful hyper-parameters obtained with the Stable Baselines3 library and its RL Zoo.


title: Human-to-Robot Manipulability Domain Adaptation with Parallel Transport and Manifold-Aware ICP

abstract: Manipulability ellipsoids efficiently capture the human pose and reveal information about the task at hand. Their use in task-dependent robot teaching - particularly their transfer from a teacher to a learner - can advance emulation of human-like motion. Although in recent literature focus is shifted towards manipulability transfer between two robots, the adaptation to the capabilities of the other kinematic system is to date not addressed and research in transfer from human to robot is still in its infancy. This work presents a novel manipulability domain adaptation method for the transfer of manipulability information to the domain of another kinematic system. As manipulability matrices/ellipsoids are symmetric positive-definite (SPD) they can be viewed as points on the Riemannian manifold of SPD matrices. We are the first to address the problem of manipulability transfer from the perspective of point cloud registration. We propose a manifold-aware Iterative Closest Point algorithm (ICP) with parallel transport initialization. Furthermore, we introduce a correspondence matching heuristic for manipulability ellipsoids based on inherent geometric features. We confirm our method in simulation experiments with 2-DoF manipulators as well as 7-DoF models representing the human-arm kinematics.


title: Efficient Multimodal Transformer with Dual-Level Feature Restoration for Robust Multimodal Sentiment Analysis

abstract: With the proliferation of user-generated online videos, Multimodal Sentiment Analysis (MSA) has attracted increasing attention recently. Despite significant progress, there are still two major challenges on the way towards robust MSA: 1) inefficiency when modeling cross-modal interactions in unaligned multimodal data; and 2) vulnerability to random modality feature missing which typically occurs in realistic settings. In this paper, we propose a generic and unified framework to address them, named Efficient Multimodal Transformer with Dual-Level Feature Restoration (EMT-DLFR). Concretely, EMT employs utterance-level representations from each modality as the global multimodal context to interact with local unimodal features and mutually promote each other. It not only avoids the quadratic scaling cost of previous local-local cross-modal interaction methods but also leads to better performance. To improve model robustness in the incomplete modality setting, on the one hand, DLFR performs low-level feature reconstruction to implicitly encourage the model to learn semantic information from incomplete data. On the other hand, it innovatively regards complete and incomplete data as two different views of one sample and utilizes siamese representation learning to explicitly attract their high-level representations. Comprehensive experiments on three popular datasets demonstrate that our method achieves superior performance in both complete and incomplete modality settings.


title: Neural Networks for Extreme Quantile Regression with an Application to Forecasting of Flood Risk

abstract: Risk assessment for extreme events requires accurate estimation of high quantiles that go beyond the range of historical observations. When the risk depends on the values of observed predictors, regression techniques are used to interpolate in the predictor space. We propose the EQRN model that combines tools from neural networks and extreme value theory into a method capable of extrapolation in the presence of complex predictor dependence. Neural networks can naturally incorporate additional structure in the data. We develop a recurrent version of EQRN that is able to capture complex sequential dependence in time series. We apply this method to forecast flood risk in the Swiss Aare catchment. It exploits information from multiple covariates in space and time to provide one-day-ahead predictions of return levels and exceedance probabilities. This output complements the static return level from a traditional extreme value analysis, and the predictions are able to adapt to distributional shifts as experienced in a changing climate. Our model can help authorities to manage flooding more effectively and to minimize their disastrous impacts through early warning systems.


title: Uncertainty-guided Source-free Domain Adaptation

abstract: Source-free domain adaptation (SFDA) aims to adapt a classifier to an unlabelled target data set by only using a pre-trained source model. However, the absence of the source data and the domain shift makes the predictions on the target data unreliable. We propose quantifying the uncertainty in the source model predictions and utilizing it to guide the target adaptation. For this, we construct a probabilistic source model by incorporating priors on the network parameters inducing a distribution over the model predictions. Uncertainties are estimated by employing a Laplace approximation and incorporated to identify target data points that do not lie in the source manifold and to down-weight them when maximizing the mutual information on the target data. Unlike recent works, our probabilistic treatment is computationally lightweight, decouples source training and target adaptation, and requires no specialized source training or changes of the model architecture. We show the advantages of uncertainty-guided SFDA over traditional SFDA in the closed-set and open-set settings and provide empirical evidence that our approach is more robust to strong domain shifts even without tuning.


title: Multi-Point Integrated Sensing and Communication: Fusion Model and Functionality Selection

abstract: Integrated sensing and communication (ISAC) represents a paradigm shift, where previously competing wireless transmissions are jointly designed to operate in harmony via the shared use of the hardware platform for improving the spectral and energy efficiencies. However, due to adversarial factors such as fading and interference, ISAC may suffer from high sensing uncertainties. This paper presents a multi-point ISAC (MPISAC) system that fuses the outputs from multiple ISAC devices for achieving higher sensing performance by exploiting multi-view data redundancy. Furthermore, we propose to effectively explore the performance trade-off between sensing and communication via a functionality selection module that adaptively determines the working state (i.e., sensing or communication) of an ISAC device. The crux of our approach is to derive a fusion model that predicts the fusion accuracy via hypothesis testing and optimal voting analysis. Simulation results demonstrate the superiority of MPISAC over various benchmark schemes and show that the proposed approach can effectively span the trade-off region in ISAC systems.


title: The Low Emission Oil&Gas Open (LEOGO) Reference Platform of an Off-Grid Energy System for Renewable Integration Studies

abstract: This article introduces and describes the integrated energy system of a the Low Emission Oil&Gas Open (LEOGO) reference platform. It is a hypothetical case meant to represent a typical oil&gas installation in the North Sea. The aim of this detailed specification is to serve as an open reference case where all information about it can be publicly shared, facilitating benchmarking and collaboration. The relevance of this reference case of an off-grid energy system is not limited to the oil&gas industry, since it can also been seen as a special kind of electrical micro grid. The remote offshore location makes it especially relevant for studying offshore wind power and ocean energy sources like wave power. The specification has an emphasis on the energy system and electrical configuration, but includes also a basic description of oil field and processing system. The intention is that it will serve as a basis for energy system studies and relating power system stability analyses regarding the integration of renewable energy sources. This allows for comparisons of a base case with different design modifications, new operational planning methods, power management strategies and control concepts. Examples of possible modifications are the replacement of gas turbines by wind turbines, addition of energy storage systems, a more variable operation of loads, etc. The last part of the article demonstrates the behaviour of the reference platform implemented in two software tools. One for operational planning and one for dynamic power system analyses.


title: The Moment Passing Method for Wireless Channel Capacity Estimation

abstract: Wireless network capacity can be regarded as the most important performance metric for wireless communication systems. With the fast development of wireless communication technology, future wireless systems will become more and more complicated. As a result, the channel gain matrix will become a large-dimensional random matrix, leading to an extremely high computational cost to obtain the capacity. In this paper, we propose a moment passing method (MPM) to realize the fast and accurate capacity estimation for future ultra-dense wireless systems. It can determine the capacity with quadratic complexity, which is optimal considering that the cost of a single matrix operation is not less than quadratic complexity. Moreover, it has high accuracy. The simulation results show that the estimation error of this method is below 2 percent. Finally, our method is highly general, as it is independent of the distributions of BSs and users, and the shape of network areas. More importantly, it can be applied not only to the conventional multi-user multiple input and multiple output (MU-MIMO) networks, but also to the capacity-centric networks designed for B5G/6G.


title: High-sensitivity quantum sensing with pump-enhanced spontaneous parametric down-conversion

abstract: Recent years have seen the development of quantum sensing concepts utilizing nonlinear interferometers based on correlated photon pairs generated by spontaneous parametric down-conversion (SPDC). Using SPDC far from frequency degeneracy allows a 'division of labor' between the mid-infrared photon for strongest sample interaction and the correlated near-infrared photon for low-noise detection. The small number of photons provided by SPDC and the resulting inferior signal-to-noise ratio are, however, a limiting factor preventing wide applicability of the novel sensing concept. Here, we demonstrate a nonlinear interferometer based on pump-enhanced SPDC with strongly improved emission rates, but maintaining broadband, spontaneous emission. For validation of the concept, we demonstrate high-resolution mid-infrared spectroscopy with near-infrared detection, showcasing the improved accuracy. Although the number of mid-infrared photons is about five orders of magnitude smaller than in classical spectrometers, the sensitivity of the quantum spectrometer becomes comparable, marking an essential step toward real-world applications.


title: Hardy-Littlewood-Riesz type equivalent criteria for the Generalized Riemann hypothesis

abstract: In the present paper, we prove that the generalized Riemann hypothesis for the Dirichlet $L$-function $L(s,\chi)$ is equivalent to the following bound: Let $k \geq 1$ and $\ell$ be positive real numbers. For any $\epsilon >0$, we have \begin{align*} \sum_{n=1}^{\infty} \frac{\chi(n) \mu(n)}{n^{k}} \exp \left(- \frac{ x}{n^{\ell}}\right) = O_{\epsilon,k,\ell} \bigg(x^{-\frac{k}{\ell}+\frac{1}{2 \ell} + \epsilon }\bigg), \quad \mathrm{as}\,\, x \rightarrow \infty, \end{align*} where $\chi$ is a primitive Dirichlet character modulo $q$, and $\mu(n)$ denotes the M\"{o}bius function. This bound generalizes the previous bounds given by Riesz, and Hardy-Littlewood.


title: Manual-Guided Dialogue for Flexible Conversational Agents

abstract: How to build and use dialogue data efficiently, and how to deploy models in different domains at scale can be two critical issues in building a task-oriented dialogue system. In this paper, we propose a novel manual-guided dialogue scheme to alleviate these problems, where the agent learns the tasks from both dialogue and manuals. The manual is an unstructured textual document that guides the agent in interacting with users and the database during the conversation. Our proposed scheme reduces the dependence of dialogue models on fine-grained domain ontology, and makes them more flexible to adapt to various domains. We then contribute a fully-annotated multi-domain dataset MagDial to support our scheme. It introduces three dialogue modeling subtasks: instruction matching, argument filling, and response generation. Modeling these subtasks is consistent with the human agent's behavior patterns. Experiments demonstrate that the manual-guided dialogue scheme improves data efficiency and domain scalability in building dialogue systems. The dataset and benchmark will be publicly available for promoting future research.


title: The Parareal Algorithm Applied to the FESOM 2 Ocean Circulation Model

abstract: In this work the parallel-in-time algorithm Parareal was applied to the ocean-circulation and sea-ice model FESOM2 developed by the Alfred-Wegener Institut (AWI). The climate model provides one time integration method and hence, the coarse and fine propagators were defined by time step width. The coarse method was executed at the CFL condition limit, while fine step-sizes where gradually refined. As a first assessment of the performance of Parareal a low-resolution test mesh was used with default settings provided by the AWI. An introduction to FESOM2 and the straightforward implementation of Parareal on the DKRZ cluster is given. The evaluation of numerical results for different simulation intervals and fine propagator configurations shows strong dependence on the simulation time and time step-size of the fine propagator. Increasing the latter leads to stagnation and eventually divergence of the Parareal algorithm.


title: Exclusive doubly charged Higgs boson pair production in $pp$ collisions at the LHC

abstract: The type II seesaw model predicts the existence of a doubly charged Higgs boson ($H ^{\pm\pm}$), which can be produced through the Drell - Yan process and photon -- induced interactions at hadronic colliders. In recent years, such reactions have been largely investigated in inclusive processes, where both incident protons breakup and a large number of particles is produced in addition to the doubly charged Higgs pair. In this paper, we investigate, for the first time, the possibility of searching for $H ^{\pm\pm}$ in exclusive processes, which are characterized by two rapidity gaps and two intact very forward protons in final state. We estimate the associated cross section making use of the exclusive nature of the final state, together with the use of timing information provided by forward proton detectors. Moreover, the background is estimated considering distinct amounts of pile-up. Our results indicate that the exclusive doubly charged Higgs pair production is a promising way to search for signatures of the type II seesaw and to obtain lower mass bounds on $H ^{\pm\pm}$.


title: Linking discrete and continuum diffusion models: Well-posedness and stable finite element discretizations

abstract: In the context of mathematical modeling, it is sometimes convenient to integrate models of different nature. These types of combinations, however, might entail difficulties even when individual models are well-understood, particularly in relation to the well-posedness of the ensemble. In this article, we focus on combining two classes of dissimilar diffusive models: the first one defined over a continuum and the second one based on discrete equations that connect average values of the solution over disjoint subdomains. For stationary problems, we show unconditional stability of the linked problems and then the stability and convergence of its discretized counterpart when mixed finite elements are used to approximate the model on the continuum. The theoretical results are highlighted with numerical examples illustrating the effects of linking diffusive models. As a side result, we show that the methods introduced in this article can be used to infer the solution of diffusive problems with incomplete data.


title: An Optimal Transport Approach to the Computation of the LM Rate

abstract: Mismatch capacity characterizes the highest information rate for a channel under a prescribed decoding metric, and is thus a highly relevant fundamental performance metric when dealing with many practically important communication scenarios. Compared with the frequently used generalized mutual information (GMI), the LM rate has been known as a tighter lower bound of the mismatch capacity. The computation of the LM rate, however, has been a difficult task, due to the fact that the LM rate involves a maximization over a function of the channel input, which becomes challenging as the input alphabet size grows, and direct numerical methods (e.g., interior point methods) suffer from intensive memory and computational resource requirements. Noting that the computation of the LM rate can also be formulated as an entropy-based optimization problem with constraints, in this work, we transform the task into an optimal transport (OT) problem with an extra constraint. This allows us to efficiently and accurately accomplish our task by using the well-known Sinkhorn algorithm. Indeed, only a few iterations are required for convergence, due to the fact that the formulated problem does not contain additional regularization terms. Moreover, we convert the extra constraint into a root-finding procedure for a one-dimensional monotonic function. Numerical experiments demonstrate the feasibility and efficiency of our OT approach to the computation of the LM rate.


title: Joint Angle Estimation Error Analysis and 3D Positioning Algorithm Design for mmWave Positioning System

abstract: In this paper, we propose a comprehensive framework to jointly analyze the angle estimation error and design the three-dimensional (3D) positioning algorithm for a millimeter wave (mmWave) positioning system. First, we estimate the angles of arrival (AoAs) at the anchors by applying the two-dimensional discrete Fourier transform (2D-DFT) algorithm. Based on the property of the 2D-DFT algorithm, the angle estimation error is analyzed in terms of probability density functions (PDF). The analysis shows that the derived angle estimation error is non-Gaussian, which is different from the existing work. Second, the intricate expression of the PDF of the AoA estimation error is simplified by employing the first-order linear approximation of triangle functions. Then, we derive a complex expression for the variance based on the derived PDF. Specifically, for the azimuth estimation error, the variance is separately integrated according to the different non-zero intervals of the PDF. Finally, we apply the weighted least square (WLS) algorithm to estimate the 3D position of the MU by using the estimated AoAs and the obtained non-Gaussian variance. Extensive simulation results confirm that the derived angle estimation error is non-Gaussian, and also demonstrate the superiority of the proposed framework.


title: Online Learning Based NLOS Ranging Error Mitigation in 5G Positioning

abstract: The fifth-generation (5G) wireless communication is useful for positioning due to its large bandwidth and low cost. However, the presence of obstacles that block the line-of-sight (LOS) path between devices would affect localization accuracy severely. In this paper, we propose an online learning approach to mitigate ranging error directly in non-line-of-sight (NLOS) channels. The distribution of NLOS ranging error is learned from received raw signals, where a network with neural processes regressor (NPR) is utilized to learn the environment and range-related information precisely. The network can be implemented for online learning free from retraining the network, which is computationally efficient. Simulation results show that the proposed approach outperforms conventional techniques in terms of NLOS ranging error mitigation.


title: Achieve Fully Decentralized End to End Encryption Meeting via Blockchain

abstract: Zoom Meeting is an enterprise online video conferencing solution with real-time messaging and content sharing. However, it's lack of privacy protection since centralized Zoom servers are capable of monitoring user's messages. Thereby, to solve the privacy problem, in May 2020, Zoom acquired Keybase so that Keybase's team can help it to build end-to-end encryption meeting while remaining Zoom's current scalability and high-performance. Nonetheless, according to the latest released Zoom's whitepaper, even with the new design of E2E (end to end) encryption meeting, the security threats can't be erased completely since the new design is not fully decentralized. In this paper, we introduce a fully decentralized design of E2E encryption meeting via blockchain technology. With this new design, Zoom's E2E meeting privacy can be further improved.


title: $L^p$ sampling numbers for the Fourier-analytic Barron space

abstract: In this paper, we consider Barron functions $f : [0,1]^d \to \mathbb{R}$ of smoothness $\sigma > 0$, which are functions that can be written as \[ f(x) = \int_{\mathbb{R}^d} F(\xi) \, e^{2 \pi i \langle x, \xi \rangle} \, d \xi \quad \text{with} \quad \int_{\mathbb{R}^d} |F(\xi)| \cdot (1 + |\xi|)^{\sigma} \, d \xi < \infty. \] For $\sigma = 1$, these functions play a prominent role in machine learning, since they can be efficiently approximated by (shallow) neural networks without suffering from the curse of dimensionality. For these functions, we study the following question: Given $m$ point samples $f(x_1),\dots,f(x_m)$ of an unknown Barron function $f : [0,1]^d \to \mathbb{R}$ of smoothness $\sigma$, how well can $f$ be recovered from these samples, for an optimal choice of the sampling points and the reconstruction procedure? Denoting the optimal reconstruction error measured in $L^p$ by $s_m (\sigma; L^p)$, we show that \[ m^{- \frac{1}{\max \{ p,2 \}} - \frac{\sigma}{d}} \lesssim s_m(\sigma;L^p) \lesssim (\ln (e + m))^{\alpha(\sigma,d) / p} \cdot m^{- \frac{1}{\max \{ p,2 \}} - \frac{\sigma}{d}} , \] where the implied constants only depend on $\sigma$ and $d$ and where $\alpha(\sigma,d)$ stays bounded as $d \to \infty$.


title: RIS-Aided Localization Algorithm and Analysis: Tackling Non-Gaussian Angle Estimation Errors

abstract: Reconfigurable intelligent surface (RIS)-aided localization systems are increasingly recognized for enhancing accuracy in internet of things (IoT) networks. However, prevailing studies tend to either assume a Gaussian distribution for angle estimation error (AEE) or directly neglect the impact of the AEE, overlooking its non-Gaussian nature in real-world scenarios, particularly with diverse estimation methods (e.g., 2D-DFT algorithm). Addressing this oversight, this paper explores the design and performance analysis of RIS-aided localization systems, specifically tackling non-Gaussian AEE. We adopt the classical two-step three-dimensional (3D) localization scheme to determine the position of mobile user (MU). Initially, we estimate angles of arrival (AoAs) and time differences of arrival (TDoAs) at the RIS using different methods, resulting in non-Gaussian and Gaussian errors, respectively. Subsequently, to accommodate the non-Gaussian nature of AoAs errors and the Gaussian character of TDoA errors, we design a multiple weighted least squares (mWLS) algorithm to accurately localize MU. Besides, our research also includes a unique bias analysis for evaluating the performance of the proposed localization algorithm under both Gaussian and non-Gaussian errors. Simulation results demonstrate the effectiveness of both the proposed mWLS algorithm and the bias analysis methodology.


title: Vacuum Circuit Breaker Closing Time Key Moments Detection via Vibration Monitoring: A Run-to-Failure Study

abstract: Circuit breakers (CBs) play an important role in modern society because they make the power transmission and distribution systems reliable and resilient. Therefore, it is important to maintain their reliability and to monitor their operation. A key to ensure a reliable operation of CBs is to monitor their condition. In this work, we performed an accelerated life testing for mechanical failures of a vacuum circuit breaker (VCB) by performing close-open operations continuously until failure. We recorded data for each operation and made the collected run-to-failure dataset publicly available. In our experiments, the VCB operated more than 26000 close-open operations without current load with the time span of five months. The run-to-failure long-term monitoring enables us to monitor the evolution of the VCB condition and the degradation over time. To monitor CB condition, closing time is one of the indicators, which is usually measured when the CB is taken out of operation and is completely disconnected from the network. We propose an algorithm that enables to infer the same information on the closing time from a non-intrusive sensor. By utilizing the short-time energy (STE) of the vibration signal, it is possible to identify the key moments when specific events happen including the time when the latch starts to move, and the closing time. The effectiveness of the proposed algorithm is evaluated on the VCB dataset and is also compared to the binary segmentation (BS) change point detection algorithm. This research highlights the potential for continuous online condition monitoring, which is the basis for applying future predictive maintenance strategies.


title: Galaxy And Mass Assembly (GAMA): Bulge-disk decomposition of KiDS data in the nearby universe

abstract: We derive single S\'ersic fits and bulge-disk decompositions for 13096 galaxies at redshifts z < 0.08 in the GAMA II equatorial survey regions in the Kilo-Degree Survey (KiDS) g, r and i bands. The surface brightness fitting is performed using the Bayesian two-dimensional profile fitting code ProFit. We fit three models to each galaxy in each band independently with a fully automated Markov-chain Monte Carlo analysis: a single S\'ersic model, a S\'ersic plus exponential and a point source plus exponential. After fitting the galaxies, we perform model selection and flag galaxies for which none of our models are appropriate (mainly mergers/Irregular galaxies). The fit quality is assessed by visual inspections, comparison to previous works, comparison of independent fits of galaxies in the overlap regions between KiDS tiles and bespoke simulations. The latter two are also used for a detailed investigation of systematic error sources. We find that our fit results are robust across various galaxy types and image qualities with minimal biases. Errors given by the MCMC underestimate the true errors typically by factors 2-3. Automated model selection criteria are accurate to > 90 % as calibrated by visual inspection of a subsample of galaxies. We also present g-r component colours and the corresponding colour-magnitude diagram, consistent with previous works despite our increased fit flexibility. Such reliable structural parameters for the components of a diverse sample of galaxies across multiple bands will be integral to various studies of galaxy properties and evolution. All results are integrated into the GAMA database.


title: Connecting Cosmic Inflation to Particle Physics with LiteBIRD, CMB S4, EUCLID and SKA

abstract: We show that next generation Cosmic Microwave Background experiments will be capable of the first ever measurement of the inflaton coupling to other particles, opening a new window to probe the connection between cosmic inflation and particle physics. For our analysis we introduce a simple analytic method to estimate the sensitivity of future CMB observations to the reheating temperature and the inflaton coupling. This sensitivity is based on the impact that the reheating phase after cosmic inflation has on the redshifting of cosmic perturbations. Applying our method to LiteBIRD and CMB-S4 we find that, within a given model of inflation, these missions have the potential to impose both an upper and a lower bound on the inflaton coupling. Further improvement can be achieved if CMB data is combined with optical and 21cm surveys. Our results demonstrate the potential of future observations to constrain microphysical parameters that can provide an important clue to understand how a given model of inflation may be embedded in a more fundamental theory of nature.


title: E-Statistics, Group Invariance and Anytime Valid Testing

abstract: We study worst-case-growth-rate-optimal (GROW) e-statistics for hypothesis testing between two group models. It is known that under a mild condition on the action of the underlying group G on the data, there exists a maximally invariant statistic. We show that among all e-statistics, invariant or not, the likelihood ratio of the maximally invariant statistic is GROW, both in the absolute and in the relative sense, and that an anytime-valid test can be based on it. The GROW e-statistic is equal to a Bayes factor with a right Haar prior on G. Our treatment avoids nonuniqueness issues that sometimes arise for such priors in Bayesian contexts. A crucial assumption on the group G is its amenability, a well-known group-theoretical condition, which holds, for instance, in scale-location families. Our results also apply to finite-dimensional linear regression.


title: Particle dynamics on torsional galilean spacetimes

abstract: We study free particle motion on homogeneous kinematical spacetimes of galilean type. The three well-known cases of Galilei and (A)dS--Galilei spacetimes are included in our analysis, but our focus will be on the previously unexplored torsional galilean spacetimes. We show how in well-chosen coordinates free particle motion becomes equivalent to the dynamics of a damped harmonic oscillator, with the damping set by the torsion. The realization of the kinematical symmetry algebra in terms of conserved charges is subtle and comes with some interesting surprises, such as a homothetic version of hamiltonian vector fields and a corresponding generalization of the Poisson bracket. We show that the Bargmann extension is universal to all galilean kinematical symmetries, but also that it is no longer central for nonzero torsion. We also present a geometric interpretation of this fact through the Eisenhart lift of the dynamics.


title: Accelerating nanomaterials discovery with artificial intelligence at the HPC centers

abstract: Study of properties of chemicals, drugs, biomaterials and alloys requires decades of dedicated work. Often times the outcome, however, is not what is expected for practical applications. This research procedure can be inverted by the new artificial intelligence and optimization methods. Instead of studying the properties of a material and its structurally close derivatives, the chemical and structural parameter space that contains all possible derivatives of that material can be scanned in a fast and smart way at the HPC centers. As a result of this, the particular material that has the specific physical or chemical properties can be found. Here we show how Bayesian optimization, Gaussian regression and artificial neural networks can be used towards this goal. We present an example smart search on the doped graphene quantum dot parameter space.

categories: cond-mat.mtrl-sci cond-mat.dis-nn physics.comp-ph stat.ML


title: Does lossy image compression affect racial bias within face recognition?

abstract: Yes - This study investigates the impact of commonplace lossy image compression on face recognition algorithms with regard to the racial characteristics of the subject. We adopt a recently proposed racial phenotype-based bias analysis methodology to measure the effect of varying levels of lossy compression across racial phenotype categories. Additionally, we determine the relationship between chroma-subsampling and race-related phenotypes for recognition performance. Prior work investigates the impact of lossy JPEG compression algorithm on contemporary face recognition performance. However, there is a gap in how this impact varies with different race-related inter-sectional groups and the cause of this impact. Via an extensive experimental setup, we demonstrate that common lossy image compression approaches have a more pronounced negative impact on facial recognition performance for specific racial phenotype categories such as darker skin tones (by up to 34.55\%). Furthermore, removing chroma-subsampling during compression improves the false matching rate (up to 15.95\%) across all phenotype categories affected by the compression, including darker skin tones, wide noses, big lips, and monolid eye categories. In addition, we outline the characteristics that may be attributable as the underlying cause of such phenomenon for lossy compression algorithms such as JPEG.


title: Reweighting the RCT for generalization: finite sample error and variable selection

abstract: Randomized Controlled Trials (RCTs) may suffer from limited scope. In particular, samples may be unrepresentative: some RCTs over- or under- sample individuals with certain characteristics compared to the target population, for which one wants conclusions on treatment effectiveness. Re-weighting trial individuals to match the target population can improve the treatment effect estimation. In this work, we establish the exact expressions of the bias and variance of such reweighting procedures -- also called Inverse Propensity of Sampling Weighting (IPSW) -- in presence of categorical covariates for any sample size. Such results allow us to compare the theoretical performance of different versions of IPSW estimates. Besides, our results show how the performance (bias, variance, and quadratic risk) of IPSW estimates depends on the two sample sizes (RCT and target population). A by-product of our work is the proof of consistency of IPSW estimates. Results also reveal that IPSW performances are improved when the trial probability to be treated is estimated (rather than using its oracle counterpart). In addition, we study choice of variables: how including covariates that are not necessary for identifiability of the causal effect may impact the asymptotic variance. Including covariates that are shifted between the two samples but not treatment effect modifiers increases the variance while non-shifted but treatment effect modifiers do not. We illustrate all the takeaways in a didactic example, and on a semi-synthetic simulation inspired from critical care medicine.


title: Active osmotic-like pressure on permeable inclusions

abstract: We use a standard minimal active Brownian model to investigate the osmotic-like effective pressure generated by active fluids on fixed hollow inclusions. These inclusions are enclosed by a permeable (albeit nonflexible) membrane, and the interior and exterior regions of the inclusions have different particle motility strengths. We consider both rectangular and disklike inclusions and analyze the effects of various system parameters, such as excluded volume interaction between active particles, hardness of membrane and active particle density, on the effective pressure produced on the enclosing membrane. We focus on the range of intermediate to high motility strengths and analyze the effective pressure in the steady state. Our findings for the active pressure produced in the interior and exterior regions of the inclusion indicate that the pressure is higher in the region with lower motility due to the relatively stronger accumulation of active particles.

categories: cond-mat.soft cond-mat.stat-mech physics.bio-ph physics.comp-ph


title: Charge dynamics in spintronic THz emitters

abstract: We show that to correctly describe the ultrafast currents in spintronic THz emitters it is necessary to take charge equilibration into account. The charge current which is locally induced by a fs laser pulse and the inverse spin-Hall effect (ISHE) leads to ultrafast charging phenomena at the edge of the illuminated area. Subsequent discharging leads to a current backflow with a delay and a time constant that mainly depends on the conductivity of the emitter. On the one hand, only this delayed charge equilibration allows the detection of the primary current pulse via THz emission because an instantaneous backflow would cancel any far field emission. On the other hand, especially for longer light pulses the backflow can significantly change the emitted spectrum compared to the initial spin-current pulse by suppressing low frequency components. For the analysis of spin physics based on the charge current profile it is important to understand that the timing of the spin current cannot be inferred from the charge current unless the contribution by the ISHE and the backflow can be deconvoluted.


title: Easy-plane anisotropic-exchange magnets on a honeycomb lattice: quantum effects and dealing with them

abstract: We provide analytical and numerical insights into the phase diagram and other properties of the extended Kitaev-Heisenberg model on the honeycomb lattice in the {\it easy-plane} limit, in which interactions are only between spin components that belong to the plane of magnetic ions. This parameter subspace allows for a much-needed systematic {\it quantitative} investigation of spin excitations in the ordered phases and of their generic features. Specifically, we demonstrate that in this limit one can consistently take into account magnon interactions in both zero-field zigzag and field-polarized phases. For the nominally polarized phase, we propose a regularization of the unphysical divergences that occur at the critical field and are plaguing the $1/S$-approximation in this class of models. For the explored parameter subspace, all symmetry-allowed terms of the standard parametrization of the extended Kitaev-Heisenberg model, such as $K$, $J$, and $\Gamma$, are significant, making the offered consideration relevant to a much wider parameter space. The dynamical structure factor near paramagnetic critical point illustrates this relevance by showing features that are reminiscent of the ones observed in $\alpha$-RuCl$_3$, underscoring that they are not unique and should be common to a wide range of parameters of the model and, by an extension, to other materials.


title: A pyramid-based adaptive optics for the high-resolution echelle spectrograph at SAO RAS 6-m telescope

abstract: We propose a design of an adaptive optics (AO) system for the high-resolution fiber-fed echelle spectrograph installed at the Nasmyth focus of the 6-m BTA telescope at the Special Astrophysical Observatory (SAO) of the Russian Academy of Sciences (RAS). The system will be based on a pyramid wavefront sensor and benefit from the experience of the Laboratoire d'Astrophysique de Marseille team in the field of adaptive optics. The AO will operate in the visible domain of 430-680 nm, in an f\30 input beam and provide correction for the on-axis source only. The main challenges in this particular design are insetting inserting the AO into an existing optical system and maintaining the focal and pupil planes configuration, fitting within the instrument's flux budget as well as limitations on the total cost of the AO bench. According to the current design, the AO bench will use an additional relay consisting of 2 spherical mirrors to re-collimate the beam and project the pupil onto a small deformable mirror. A dichroic splitter will be used to longwave component to the pyramid wavefront sensor branch based on refractive optics only. Using off-the-shelf components only we can reach the instrumental wavefront error of 0.016 waves PTV with a 20 nm bandpass filter at 700 nm. Using folding mirrors and refocusing of the fiber's microlens we restore the nominal geometry of the beam feeding the spectrograph. The final goal for the AO system is to increase the energy concentration in spot at the spectrograph's entrance, and our preliminary modelling shows that we can gain by factor of 69.5 with the typical atmospheric conditions at SAO RAS.


title: Transfer-matrix summation of path integrals for transport through nanostructures

abstract: On the basis of the method of iterative summation of path integrals (ISPI), we develop a numerically exact transfer-matrix method to describe the nonequilibrium properties of interacting quantum-dot systems. For this, we map the ISPI scheme to a transfer-matrix approach, which is more accessible to physical interpretation, allows for a more transparent formulation of the theory, and substantially improves the efficiency. In particular, the stationary limit is directly implemented, without the need of extrapolation. The resulting new method, referred to as "transfer-matrix summation of path integrals" (TraSPI), is then applied to resonant electronic transport through a single-level quantum dot.

categories: cond-mat.mes-hall cond-mat.stat-mech cond-mat.str-el physics.comp-ph quant-ph


title: Accurate localization of Kosterlitz-Thouless-type quantum phase transitions for one-dimensional spinless fermions

abstract: We investigate the charge-density wave (CDW) transition for one-dimensional spinless fermions at half band-filling with nearest-neighbor electron transfer amplitude $t$ and interaction $V$. The model is equivalent to the anisotropic XXZ Heisenberg model for which the Bethe Ansatz provides an exact solution. For $V> V_{\rm c}= 2t$, the CDW order parameter and the single-particle gap are finite but exponentially small, as is characteristic for a Kosterlitz-Thouless transition. It is notoriously difficult to locate such infinite-order phase transitions in the phase diagram using approximate analytical and numerical approaches. Second-order Hartree-Fock theory is qualitatively applicable for all interaction strengths, and predicts the CDW transition to occur at $V_{\rm c,2}^{(2)}\approx 1.5t$. Second-order Hartree Fock theory is almost variational because the density of quasi-particle excitations is small. We apply the density-matrix renormalization group (DMRG) for periodic boundary conditions for system sizes up to 514 sites which permits a reliable extrapolation of all physical quantities to the thermodynamic limit, apart from the critical region. We investigate the ground-state energy, the gap, the order parameter, the momentum distribution, the quasi-particle density, and the density-density correlation function to locate $V_{\rm c}$ from the DMRG data. Tracing the breakdown of the Luttinger liquid and the peak in the quasi-particle density at the band edge permits us to reproduce $V_{\rm c}$ with an accuracy of one percent.


title: Extending the Variational Quantum Eigensolver to Finite Temperatures

abstract: We present a variational quantum thermalizer (VQT), called quantum-VQT (qVQT), which extends the variational quantum eigensolver (VQE) to finite temperatures. The qVQT makes use of an intermediate measurement between two variational circuits to encode a density matrix on a quantum device. A classical optimization provides the thermal state and, simultaneously, all associated excited states of a quantum mechanical system. We demonstrate the capabilities of the qVQT for two different spin systems. First, we analyze the performance of qVQT as a function of the circuit depth and the temperature for a 1-dimensional Heisenberg chain. Second, we use the excited states to map the complete, temperature dependent phase diagram of a 2-dimensional J1-J2 Heisenberg model. The numerical experiments demonstrate the efficiency of our approach, which can be readily applied to study various quantum many-body systems at finite temperatures on currently available NISQ devices.


title: KRACL: Contrastive Learning with Graph Context Modeling for Sparse Knowledge Graph Completion

abstract: Knowledge Graph Embeddings (KGE) aim to map entities and relations to low dimensional spaces and have become the \textit{de-facto} standard for knowledge graph completion. Most existing KGE methods suffer from the sparsity challenge, where it is harder to predict entities that appear less frequently in knowledge graphs. In this work, we propose a novel framework KRACL to alleviate the widespread sparsity in KGs with graph context and contrastive learning. Firstly, we propose the Knowledge Relational Attention Network (KRAT) to leverage the graph context by simultaneously projecting neighboring triples to different latent spaces and jointly aggregating messages with the attention mechanism. KRAT is capable of capturing the subtle semantic information and importance of different context triples as well as leveraging multi-hop information in knowledge graphs. Secondly, we propose the knowledge contrastive loss by combining the contrastive loss with cross entropy loss, which introduces more negative samples and thus enriches the feedback to sparse entities. Our experiments demonstrate that KRACL achieves superior results across various standard knowledge graph benchmarks, especially on WN18RR and NELL-995 which have large numbers of low in-degree entities. Extensive experiments also bear out KRACL's effectiveness in handling sparse knowledge graphs and robustness against noisy triples.


title: The impact of spurious collisional heating on the morphological evolution of simulated galactic discs

abstract: We use a suite of idealised N-body simulations to study the impact of spurious heating of star particles by dark matter particles on the kinematics and morphology of simulated galactic discs. We find that spurious collisional heating leads to a systematic increase of the azimuthal velocity dispersion ($\sigma_\phi$) of stellar particles and a corresponding decrease in their mean azimuthal velocities ($\overline{v}_\phi$). The rate of heating is dictated primarily by the number of dark matter halo particles (or equivalently, by the dark matter particle mass at fixed halo mass) and by radial gradients in the local dark matter density along the disc; it is largely insensitive to the stellar particle mass. Galaxies within haloes resolved with fewer than $\approx 10^6$ dark matter particles are particularly susceptible to spurious morphological evolution, irrespective of the total halo mass (with even more particles required to prevent heating of the galactic centre). Collisional heating transforms galactic discs from flattened structures into rounder spheroidal systems, causing them to lose rotational support in the process. It also affects the locations of galaxies in standard scaling relations that link their various properties: at fixed stellar mass, it increases the sizes of galaxies, and reduces their mean stellar rotation velocities and specific angular momenta. Our results urge caution when extrapolating simulated galaxy scaling relations to low masses where spurious collisional effects can bias their normalisation, slope and scatter.


title: Don't Reinvent the Wheel: Towards Automatic Replacement of Custom Implementations with APIs

abstract: Reusing code is a common practice in software development: It helps developers speedup the implementation task while also reducing the chances of introducing bugs, given the assumption that the reused code has been tested, possibly in production. Despite these benefits, opportunities for reuse are not always in plain sight and, thus, developers may miss them. We present our preliminary steps in building RETIWA, a recommender able to automatically identify custom implementations in a given project that are good candidates to be replaced by open source APIs. RETIWA relies on a ``knowledge base'' consisting of real examples of custom implementation-to-API replacements. In this work, we present the mining strategy we tailored to automatically and reliably extract replacements of custom implementations with APIs from open source projects. This is the first step towards building the envisioned recommender.


title: Static properties and Semileptonic transitions of lowest-lying double heavy baryons

abstract: The static properties and semileptonic decays of ground-state doubly heavy baryons are studied working in the framework of a non-relativistic quark model. Using a phenomenological potential model, we calculate the ground-state masses and magnetic moments of doubly heavy $ \Omega $ and $ \Xi $ baryons. In the heavy quark limit, we introduce a simple form of the universal Isgur-Wise function used as the transition form factor and then investigate the exclusive $ b \rightarrow c $ semileptonic decay widths and branching ratios for $ \frac{1}{2}\rightarrow \frac{1}{2} $ baryon transitions. Our obtained results are in agreement with other theoretical predictions.


title: Algorithmic Assistance with Recommendation-Dependent Preferences

abstract: When an algorithm provides risk assessments, we typically think of them as helpful inputs to human decisions, such as when risk scores are presented to judges or doctors. However, a decision-maker may not only react to the information provided by the algorithm. The decision-maker may also view the algorithmic recommendation as a default action, making it costly for them to deviate, such as when a judge is reluctant to overrule a high-risk assessment for a defendant or a doctor fears the consequences of deviating from recommended procedures. To address such unintended consequences of algorithmic assistance, we propose a principal-agent model of joint human-machine decision-making. Within this model, we consider the effect and design of algorithmic recommendations when they affect choices not just by shifting beliefs, but also by altering preferences. We motivate this assumption from institutional factors, such as a desire to avoid audits, as well as from well-established models in behavioral science that predict loss aversion relative to a reference point, which here is set by the algorithm. We show that recommendation-dependent preferences create inefficiencies where the decision-maker is overly responsive to the recommendation. As a potential remedy, we discuss algorithms that strategically withhold recommendations, and show how they can improve the quality of final decisions.


title: From pp-Waves to Galilean Spacetimes

abstract: We exhibit all spatially isotropic homogeneous Galilean spacetimes of dimension $(n+1) \geq 4$, including the novel torsional ones, as null reductions of homogeneous pp-wave spacetimes. We also show that the pp-waves are sourced by pure radiation fields and analyse their global properties.


title: FALCON: Scalable Reasoning over Inconsistent ALC Ontologies

abstract: Ontologies are one of the richest sources of knowledge. Real-world ontologies often contain thousands of axioms and are often human-made. Hence, they may contain inconsistency and incomplete information which may impair classical reasoners to compute entailments that are considered as useful. To overcome these two challenges, we propose FALCON, a Fuzzy Ontology Neural reasoner to approximate reasoning over ALC ontologies. We provide an approximate technique for the model generation step in classical ALC reasoners. Our approximation is not guaranteed to construct exact logical models, but can approximate arbitrary models, which is notably faster for some large ontologies. Moreover, by sampling multiple approximate logical models, our technique supports approximate entailment also over inconsistent ontologies. Theoretical results show that more models generated lead to closer, i.e., faithful approximation of entailment over ALC entailments. Experimental results show that FALCON enables approximate reasoning and reasoning in the presence of inconsistency. Our experiments further demonstrate how ontologies can improve knowledge base completion in biomedicine by incorporating knowledge expressed in ALC.


title: CONCERTO: Readout and control electronics

abstract: The CONCERTO spectral-imaging instrument was installed at the Atacama Pathfinder EXperiment (APEX) 12-meter telescope in April 2021. It has been designed to look at radiation emitted by ionised carbon atoms, [CII], and use the "intensity Mapping" technique to set the first constraints on the power spectrum of dusty star-forming galaxies. The instrument features two arrays of 2152 pixels constituted of Lumped Element Kinectic Inductance Detectors (LEKID) operated at cryogenic temperatures, cold optics and a fast Fourier Transform Spectrometer (FTS). To readout and operate the instrument, a newly designed electronic system hosted in five microTCA crates and composed of twelve readout boards and two control boards was designed and commissioned. The architecture and the performances are presented in this paper.


title: Effect of impact velocity and angle on deformational heating and post-impact temperature

abstract: The record of impact induced shock-heating in meteorites is an important key for understanding the collisional history of the solar system. Material strength is important for impact heating, but the effect of impact angle and impact velocity on shear heating remains poorly understood. Here, we report three-dimensional oblique impact simulations, which confirm the enhanced heating due to material strength and explore the effects of impact angle and impact velocity. We find that oblique impacts with an impact angle that is steeper than 45 degree produce a similar amount of heated mass as vertical impacts. On the other hand, grazing impacts produce less heated mass and smaller heated regions compared to impacts at steeper angles. We derive an empirical formula of the heated mass, as a function of the impact angle and velocity. This formula can be used to estimate the impact conditions (velocity and angle) that had occurred and caused Ar loss in the meteoritic parent bodies. Furthermore, our results indicate that grazing impacts at higher impact velocities could generate a similar amount of heated material as vertical impacts at lower velocities. As the heated material produced by grazing impacts has experienced lower pressure than the material heated by vertical impacts, our results imply that grazing impacts may produce weakly shock-heated meteorites.


title: Cascading Dark Energy

abstract: The standard cosmological model is in the midst of a stress test, thanks to the tension between supernovae-based measurements of the Hubble constant $H_{0}$ and inferences of its values from Cosmic Microwave Background (CMB) anisotropies. Numerous explanations for the present-day cosmic acceleration require the presence of a new fundamental scalar field, as do Early Dark Energy (EDE) solutions to the Hubble tension. This raises the possibility that \textit{multiple} fields cooperatively contribute to the dark energy component in bursts throughout cosmic time due to distinct initial conditions and couplings. Here, this Cascading Dark Energy (CDE) scenario is illustrated through a realization that effectively reduces to a two-field model, with two epochs in which dark energy is cosmologically significant. The model is compared to measurements of the CMB, baryon acoustic oscillations, and observations of Type-Ia supernovae. It is found that this scenario ameliorates the Hubble tension, improving over purely late-time models of dark energy, and improves agreement between the related Rock `n' Roll EDE scenario and galaxy survey measurements of baryon acoustic oscillations.


title: Online Learning for Non-monotone Submodular Maximization: From Full Information to Bandit Feedback

abstract: In this paper, we revisit the online non-monotone continuous DR-submodular maximization problem over a down-closed convex set, which finds wide real-world applications in the domain of machine learning, economics, and operations research. At first, we present the Meta-MFW algorithm achieving a $1/e$-regret of $O(\sqrt{T})$ at the cost of $T^{3/2}$ stochastic gradient evaluations per round. As far as we know, Meta-MFW is the first algorithm to obtain $1/e$-regret of $O(\sqrt{T})$ for the online non-monotone continuous DR-submodular maximization problem over a down-closed convex set. Furthermore, in sharp contrast with ODC algorithm \citep{thang2021online}, Meta-MFW relies on the simple online linear oracle without discretization, lifting, or rounding operations. Considering the practical restrictions, we then propose the Mono-MFW algorithm, which reduces the per-function stochastic gradient evaluations from $T^{3/2}$ to 1 and achieves a $1/e$-regret bound of $O(T^{4/5})$. Next, we extend Mono-MFW to the bandit setting and propose the Bandit-MFW algorithm which attains a $1/e$-regret bound of $O(T^{8/9})$. To the best of our knowledge, Mono-MFW and Bandit-MFW are the first sublinear-regret algorithms to explore the one-shot and bandit setting for online non-monotone continuous DR-submodular maximization problem over a down-closed convex set, respectively. Finally, we conduct numerical experiments on both synthetic and real-world datasets to verify the effectiveness of our methods.


title: Evaluating the Q-score of Quantum Annealers

abstract: We report the Atos Q-score for D-Wave's quantum devices, classical algorithms and hybrid quantum-classical solver. Computing the Q-score entails solving the Max-Cut problem for increasingly large graphs. This work presents the first computation of the Q-score on a quantum device and shows how these quantum devices compare to classical devices at solving optimisation problems. We use D-Wave's standard methods out of the box with a time limit of 60 seconds. The Q-score for D-Wave's 2000Q and Advantage devices are 70 and 140, respectively. The Q-score for two of D-Wave's classical algorithms, based on tabu search and simulated annealing respectively, are 2,300 and 5,800. Finally, we report the out-of-the-box hybrid approach to have a Q-score of 12,500.


title: On constraining the mesoscale eddy energy dissipation time-scale

abstract: A physically plausible lower bound on the spatially varying geostrophic mesoscale eddy energy dissipation time-scale within the ocean, related to the geographical energy transfer rate out of the geostrophic mesoscales, is provided by means of a simple and computational inexpensive inverse calculation. Data diagnosed from a high resolution global configuration ocean simulation is supplied to a parameterized model of the geostrophic mesoscale eddy energy, from which the dissipation time-scale results as a solution to an optimization calculation. We find that the dissipation time-scale is shortest in the Southern Ocean, in the Western Boundary Currents, and on the western boundaries, consistent with the expectation that these regions are notable sites of baroclinic activity with processes leading to energy transfer out of the geostrophic mesoscales. Although our solution should be interpreted as a lower bound given the assumptions going into the calculation, it serves as an important physically consistent base line reference for further investigations into ocean energetics, as well as for an intended inference calculation that is more complete but also much more complex.


title: A New Scheme for Image Compression and Encryption Using ECIES, Henon Map, and AEGAN

abstract: Providing security in the transmission of images and other multimedia data has become one of the most important scientific and practical issues. In this paper, a method for compressing and encryption images is proposed, which can safely transmit images in low-bandwidth data transmission channels. At first, using the autoencoding generative adversarial network (AEGAN) model, the images are mapped to a vector in the latent space with low dimensions. In the next step, the obtained vector is encrypted using public key encryption methods. In the proposed method, Henon chaotic map is used for permutation, which makes information transfer more secure. To evaluate the results of the proposed scheme, three criteria SSIM, PSNR, and execution time have been used.


title: Schwinger, ltd: Loop-tree duality in the parametric representation

abstract: We derive a variant of the loop-tree duality for Feynman integrals in the Schwinger parametric representation. This is achieved by decomposing the integration domain into a disjoint union of cells, one for each spanning tree of the graph under consideration. Each of these cells is the total space of a fiber bundle with contractible fibers over a cube. Loop-tree duality emerges then as the result of first decomposing the integration domain, then integrating along the fibers of each fiber bundle. As a byproduct we obtain a new proof that the moduli space of graphs is homotopy equivalent to its spine. In addition, we outline a potential application to Kontsevich's graph (co-)homology.


title: XMM-Newton and SRG/eROSITA observations of the isolated neutron star candidate 4XMM J022141.5-735632

abstract: We report the results of follow-up investigations of a possible new thermally emitting isolated neutron star (INS), 4XMM J022141.5-735632, using observations from XMM-Newton and Spectrum Roentgen Gamma (SRG) eROSITA. The analysis is complemented by Legacy Survey imaging in the optical and near-infrared wavelengths. The X-ray source, the first to be targeted by XMM-Newton in an effort to identify new INS candidates from the fourth generation of the XMM-Newton serendipitous source catalogue Data Release 9 (4XMM-DR9), shows a remarkably soft energy distribution and a lack of catalogued counterparts; the very high X-ray-to-optical flux ratio virtually excludes any other identification than an INS. Within current observational limits, no significant flux variation nor change of spectral state is registered over nearly ten years. Future dedicated observations, particularly to search for pulsations, are crucial to shed further light on the nature of the X-ray source and relations to other Galactic neutron stars.


title: Mask and Reason: Pre-Training Knowledge Graph Transformers for Complex Logical Queries

abstract: Knowledge graph (KG) embeddings have been a mainstream approach for reasoning over incomplete KGs. However, limited by their inherently shallow and static architectures, they can hardly deal with the rising focus on complex logical queries, which comprise logical operators, imputed edges, multiple source entities, and unknown intermediate entities. In this work, we present the Knowledge Graph Transformer (kgTransformer) with masked pre-training and fine-tuning strategies. We design a KG triple transformation method to enable Transformer to handle KGs, which is further strengthened by the Mixture-of-Experts (MoE) sparse activation. We then formulate the complex logical queries as masked prediction and introduce a two-stage masked pre-training strategy to improve transferability and generalizability. Extensive experiments on two benchmarks demonstrate that kgTransformer can consistently outperform both KG embedding-based baselines and advanced encoders on nine in-domain and out-of-domain reasoning tasks. Additionally, kgTransformer can reason with explainability via providing the full reasoning paths to interpret given answers.


title: RAWtoBit: A Fully End-to-end Camera ISP Network

abstract: Image compression is an essential and last processing unit in the camera image signal processing (ISP) pipeline. While many studies have been made to replace the conventional ISP pipeline with a single end-to-end optimized deep learning model, image compression is barely considered as a part of the model. In this paper, we investigate the designing of a fully end-to-end optimized camera ISP incorporating image compression. To this end, we propose RAWtoBit network (RBN) that can effectively perform both tasks simultaneously. RBN is further improved with a novel knowledge distillation scheme by introducing two teacher networks specialized in each task. Extensive experiments demonstrate that our proposed method significantly outperforms alternative approaches in terms of rate-distortion trade-off.


title: Educating Reflective Systems Developers at Scale: Towards productive feedback in a semi-capstone large-scale software engineering course

abstract: Feedback is critical in education. This Innovative Practice Full Paper reports lessons learned from improving the quality of feedback in a semi-capstone software engineering course, with particular focus on how to deliver productive feedback in large scale during project work. The bachelor-level introduction to software engineering course is taken by about 500 students from eight study programs, organised into 72 project teams. The course aims to educate reflective systems developers. The teaching staff includes 29 teaching assistants as supervisor and product owners for teams. Project teams get feedback on seven deliverables as part of formative portfolio assessment. Students expressed frustration on feedback not being aligned, that they got critique on topics not stated in assignments and that teaching assistants were reluctant to discuss the feedback. This article provides a description of the course design, an assessment of the quality of feedback and lessons learned from three main changes: Revising assignments and rubrics, reorganising the teaching staff and increasing training of teaching assistants. In discussing the changes, we draw on a survey to students with 142 respondents, a survey to teaching assistants with 18 respondents, meeting minutes from a student reference group and experience reports from teaching assistants as well as literature and own experience. The article concludes with three actionable lessons learned for large-scale semi-capstone courses.


title: Higher order concentration on Stiefel and Grassmann manifolds

abstract: We prove higher order concentration bounds for functions on Stiefel and Grassmann manifolds equipped with the uniform distribution. This partially extends previous work for functions on the unit sphere. Technically, our results are based on logarithmic Sobolev techniques for the uniform measures on the manifolds. Applications include Hanson--Wright type inequalities for Stiefel manifolds and concentration bounds for certain distance functions between subspaces of $\mathbb{R}^n$.