title: Text classification dataset and analysis for Uzbek language

abstract: Text classification is an important task in Natural Language Processing (NLP), where the goal is to categorize text data into predefined classes. In this study, we analyse the dataset creation steps and evaluation techniques of multi-label news categorisation task as part of text classification. We first present a newly obtained dataset for Uzbek text classification, which was collected from 10 different news and press websites and covers 15 categories of news, press and law texts. We also present a comprehensive evaluation of different models, ranging from traditional bag-of-words models to deep learning architectures, on this newly created dataset. Our experiments show that the Recurrent Neural Network (RNN) and Convolutional Neural Network (CNN) based models outperform the rule-based models. The best performance is achieved by the BERTbek model, which is a transformer-based BERT model trained on the Uzbek corpus. Our findings provide a good baseline for further research in Uzbek text classification.


title: Target-Enclosed Least-Squares Seismic Imaging

abstract: Least-Squares Reverse-Time Migration (LSRTM) is a method that seismologists utilize to compute a high-resolution subsurface image. Nevertheless, LSRTM is a computationally demanding problem. One way to reduce the computational costs of the LSRTM is to choose a small region of interest and compute the image of that region. However, finding representations that account for the wavefields entering the target region from the surrounding boundaries is necessary. This paper confines the region of interest between two boundaries above and below this region. The acoustic reciprocity theorem is employed to derive representations for the wavefields at the upper and lower boundaries of the target region. With the help of these representations, a target-enclosed LSRTM algorithm is developed to compute a high-resolution image of the region of interest. Moreover, the possibility of using virtual receivers created by Marchenko redatuming is investigated.


title: Thermally-robust spatiotemporal parallel reservoir computing by frequency filtering in frustrated magnets

abstract: Physical reservoir computing is a framework for brain-inspired information processing that utilizes nonlinear and high-dimensional dynamics in non-von-Neumann systems. In recent years, spintronic devices have been proposed for use as physical reservoirs, but their practical application remains a major challenge, mainly because thermal noise prevents them from retaining short-term memory, the essence of neuromorphic computing. Here, we propose a framework for spintronic physical reservoirs that exploits frequency domain dynamics in interacting spins. Through the effective use of frequency filters, we demonstrate, for a model of frustrated magnets, both robustness to thermal fluctuations and feasibility of frequency division multiplexing. This scheme can be coupled with parallelization in spatial domain even down to the level of a single spin, yielding a vast number of spatiotemporal computational units. Furthermore, the nonlinearity via the exchange interaction allows information processing among different frequency threads. Our findings establish a design principle for high-performance spintronic reservoirs with the potential for highly integrated devices.


title: An active-set method for sparse approximations. Part II: General piecewise-linear terms

abstract: In this paper we present an efficient active-set method for the solution of convex quadratic programming problems with general piecewise-linear terms in the objective, with applications to sparse approximations and risk-minimization. The method exploits the structure of the piecewise-linear terms appearing in the objective in order to significantly reduce its memory requirements, and thus improve its efficiency. We showcase the robustness of the proposed solver on a variety of problems arising in risk-averse portfolio selection, quantile regression, and binary classification via linear support vector machines. We provide computational evidence to demonstrate, on real-world datasets, the ability of the solver of efficiently handling a variety of problems, by comparing it against an efficient general-purpose interior point solver as well as a state-of-the-art alternating direction method of multipliers. This work complements the accompanying paper [``An active-set method for sparse approximations. Part I: Separable $\ell_1$ terms", S. Pougkakiotis, J. Gondzio, D. S. Kalogerias], in which we discuss the case of separable $\ell_1$ terms, analyze the convergence, and propose general-purpose preconditioning strategies for the solution of its associated linear systems.


title: Effective Community Search on Large Attributed Bipartite Graphs

abstract: Community search over bipartite graphs has attracted significant interest recently. In many applications such as user-item bipartite graph in E-commerce, customer-movie bipartite graph in movie rating website, nodes tend to have attributes, while previous community search algorithm on bipartite graphs ignore attributes, which makes the returned results with poor cohesion with respect to their node attributes. In this paper, we study the community search problem on attributed bipartite graphs. Given a query vertex q, we aim to find attributed $\left(\alpha,\beta\right)$-communities of $G$, where the structure cohesiveness of the community is described by an $\left(\alpha,\beta\right)$-core model, and the attribute similarity of two groups of nodes in the subgraph is maximized. In order to retrieve attributed communities from bipartite graphs, we first propose a basic algorithm composed of two steps: the generation and verification of candidate keyword sets, and then two improved query algorithms Inc and Dec are proposed. Inc is proposed considering the anti-monotonity property of attributed bipartite graphs, then we adopt different generating method and verifying order of candidate keyword sets and propose the Dec algorithm. After evaluating our solutions on eight large graphs, the experimental results demonstrate that our methods are effective and efficient in querying the attributed communities on bipartite graphs.


title: Moduli spaces and geometric invariant theory: old and new perspectives

abstract: Many moduli spaces are constructed as quotients of group actions; this paper surveys the classical theory, as well as recent progress and applications. We review geometric invariant theory for reductive groups and how it is used to construct moduli spaces, and explain two new developments extending this theory to non-reductive groups and to stacks, which enable the construction of new moduli spaces.


title: FreeEagle: Detecting Complex Neural Trojans in Data-Free Cases

abstract: Trojan attack on deep neural networks, also known as backdoor attack, is a typical threat to artificial intelligence. A trojaned neural network behaves normally with clean inputs. However, if the input contains a particular trigger, the trojaned model will have attacker-chosen abnormal behavior. Although many backdoor detection methods exist, most of them assume that the defender has access to a set of clean validation samples or samples with the trigger, which may not hold in some crucial real-world cases, e.g., the case where the defender is the maintainer of model-sharing platforms. Thus, in this paper, we propose FreeEagle, the first data-free backdoor detection method that can effectively detect complex backdoor attacks on deep neural networks, without relying on the access to any clean samples or samples with the trigger. The evaluation results on diverse datasets and model architectures show that FreeEagle is effective against various complex backdoor attacks, even outperforming some state-of-the-art non-data-free backdoor detection methods.


title: Temporal evolution of the extreme excursions of multivariate $k$th order Markov processes with application to oceanographic data

abstract: We develop two models for the temporal evolution of extreme events of multivariate $k$th order Markov processes. The foundation of our methodology lies in the conditional extremes model of Heffernan & Tawn (2004), and it naturally extends the work of Winter & Tawn (2016,2017) and Tendijck et al. (2019) to include multivariate random variables. We use cross-validation-type techniques to develop a model order selection procedure, and we test our models on two-dimensional meteorological-oceanographic data with directional covariates for a location in the northern North Sea. We conclude that the newly-developed models perform better than the widely used historical matching methodology for these data.


title: A Survey on Long Text Modeling with Transformers

abstract: Modeling long texts has been an essential technique in the field of natural language processing (NLP). With the ever-growing number of long documents, it is important to develop effective modeling methods that can process and analyze such texts. However, long texts pose important research challenges for existing text models, with more complex semantics and special characteristics. In this paper, we provide an overview of the recent advances on long texts modeling based on Transformer models. Firstly, we introduce the formal definition of long text modeling. Then, as the core content, we discuss how to process long input to satisfy the length limitation and design improved Transformer architectures to effectively extend the maximum context length. Following this, we discuss how to adapt Transformer models to capture the special characteristics of long texts. Finally, we describe four typical applications involving long text modeling and conclude this paper with a discussion of future directions. Our survey intends to provide researchers with a synthesis and pointer to related work on long text modeling.


title: Can We Use Diffusion Probabilistic Models for 3D Motion Prediction?

abstract: After many researchers observed fruitfulness from the recent diffusion probabilistic model, its effectiveness in image generation is actively studied these days. In this paper, our objective is to evaluate the potential of diffusion probabilistic models for 3D human motion-related tasks. To this end, this paper presents a study of employing diffusion probabilistic models to predict future 3D human motion(s) from the previously observed motion. Based on the Human 3.6M and HumanEva-I datasets, our results show that diffusion probabilistic models are competitive for both single (deterministic) and multiple (stochastic) 3D motion prediction tasks, after finishing a single training process. In addition, we find out that diffusion probabilistic models can offer an attractive compromise, since they can strike the right balance between the likelihood and diversity of the predicted future motions. Our code is publicly available on the project website: https://sites.google.com/view/diffusion-motion-prediction.


title: Optimum parameter estimation of shaped phase objects

abstract: We show a general method to estimate with optimum precision, i.e., the best precision determined by the light-matter interaction process, a set of parameters that characterize a phase object. The method derives from ideas presented by Pezze et al., [Phys. Rev. Lett. 119, 130504 (2017)]. Our goal is to illuminate the main characteristics of this method as well as its applications to the physics community, probably not familiar with the formal quantum language usually employed in works related to quantum estimation theory. First, we derive precision bounds for the estimation of the set of parameters characterizing the phase object. We compute the Cr\`amer-Rao lower bound for two experimentally relevant types of illumination: a multimode coherent state with mean photon number N, and N copies of a multimode single-photon quantum state. We show under which conditions these two models are equivalent. Second, we show that the optimum precision can be achieved by projecting the light reflected/transmitted from the object onto a set of modes with engineered spatial shape. We describe how to construct these modes, and demonstrate explicitly that the precision of the estimation using these measurements is optimum. As example, we apply these results to the estimation of the height and sidewall angle of a cliff-like nanostructure, an object relevant in semiconductor industry for the evaluation of nanofabrication techniques.


title: Nonlinear regression models to forecast PM$_{2.5}$ concentration in Wuhan, China

abstract: Forecasting PM$_{2.5}$ concentration is important to solving air pollution problems in Wuhan. This paper proposes a PM$_{2.5}$ concentration forecast model based on nonlinear regression, including a single-value forecast model and an interval forecast model. The single-value forecast model can precisely forecast PM$_{2.5}$ concentration for the next day, with forecast bias about 6 $\mu g/m^3$ in goodness of fit analysis. The interval forecast model can efficiently forecast high-concentration and low-concentration days, which covers 60%-80% observed samples in model validation. Moreover, this paper combines the PM$_{2.5}$ concentration forecast model with NCEP Climate Forecast System Version 2 to realize its forecast application, then develops NCEP CFS2's PM$_{2.5}$ concentration forecast model to enhance forecast accuracy. The results indicate that the PM$_{2.5}$ concentration forecast model has good capacity for independent forecasting.


title: How to construct decay rates for kinetic Fokker--Planck equations?

abstract: We study time averages for the norm of solutions to kinetic Fokker--Planck equations associated with general Hamiltonians. We provide fully explicit and constructive decay estimates for systems subject to a confining potential, allowing fat-tail, sub-exponential and (super-)exponential local equilibria, which also include the classic Maxwellian case. The key step in our estimates is a modified Poincar\'e inequality, obtained via a Lions--Poincar\'e inequality and an averaging lemma.


title: Ask and You Shall be Served: Representing and Solving Multi-agent Optimization Problems with Service Requesters and Providers

abstract: In scenarios with numerous emergencies that arise and require the assistance of various rescue units (e.g., medical, fire, \& police forces), the rescue units would ideally be allocated quickly and distributedly while aiming to minimize casualties. This is one of many examples of distributed settings with service providers (the rescue units) and service requesters (the emergencies) which we term \textit{service oriented settings}. Allocating the service providers in a distributed manner while aiming for a global optimum is hard to model, let alone achieve, using the existing Distributed Constraint Optimization Problem (DCOP) framework. Hence, the need for a novel approach and corresponding algorithms. We present the Service Oriented Multi-Agent Optimization Problem (SOMAOP), a new framework that overcomes the shortcomings of DCOP in service oriented settings. We evaluate the framework using various algorithms based on auctions and matching algorithms (e.g., Gale Shapely). We empirically show that algorithms based on repeated auctions converge to a high quality solution very fast, while repeated matching problems converge slower, but produce higher quality solutions. We demonstrate the advantages of our approach over standard incomplete DCOP algorithms and a greedy centralized algorithm.


title: Double Sum involving Product of Appell-Type Bernoulli and Euler Polynomials

abstract: In this work we derive a bilateral generating function involving the product of an Appell-type product of the Bernoulli and Euler polynomials over independent indices and orders. This function is expressed in terms of the Hurwitz zeta function and special cases in terms of the finite sum of the Hurwitz zeta function and integral formula are derived.


title: Policy Dispersion in Non-Markovian Environment

abstract: Markov Decision Process (MDP) presents a mathematical framework to formulate the learning processes of agents in reinforcement learning. MDP is limited by the Markovian assumption that a reward only depends on the immediate state and action. However, a reward sometimes depends on the history of states and actions, which may result in the decision process in a non-Markovian environment. In such environments, agents receive rewards via temporally-extended behaviors sparsely, and the learned policies may be similar. This leads the agents acquired with similar policies generally overfit to the given task and can not quickly adapt to perturbations of environments. To resolve this problem, this paper tries to learn the diverse policies from the history of state-action pairs under a non-Markovian environment, in which a policy dispersion scheme is designed for seeking diverse policy representation. Specifically, we first adopt a transformer-based method to learn policy embeddings. Then, we stack the policy embeddings to construct a dispersion matrix to induce a set of diverse policies. Finally, we prove that if the dispersion matrix is positive definite, the dispersed embeddings can effectively enlarge the disagreements across policies, yielding a diverse expression for the original policy embedding distribution. Experimental results show that this dispersion scheme can obtain more expressive diverse policies, which then derive more robust performance than recent learning baselines under various learning environments.


title: Bayesian Kernelized Tensor Factorization as Surrogate for Bayesian Optimization

abstract: Bayesian optimization (BO) primarily uses Gaussian processes (GP) as the key surrogate model, mostly with a simple stationary and separable kernel function such as the squared-exponential kernel with automatic relevance determination (SE-ARD). However, such simple kernel specifications are deficient in learning functions with complex features, such as being nonstationary, nonseparable, and multimodal. Approximating such functions using a local GP, even in a low-dimensional space, requires a large number of samples, not to mention in a high-dimensional setting. In this paper, we propose to use Bayesian Kernelized Tensor Factorization (BKTF) -- as a new surrogate model -- for BO in a $D$-dimensional Cartesian product space. Our key idea is to approximate the underlying $D$-dimensional solid with a fully Bayesian low-rank tensor CP decomposition, in which we place GP priors on the latent basis functions for each dimension to encode local consistency and smoothness. With this formulation, information from each sample can be shared not only with neighbors but also across dimensions. Although BKTF no longer has an analytical posterior, we can still efficiently approximate the posterior distribution through Markov chain Monte Carlo (MCMC) and obtain prediction and full uncertainty quantification (UQ). We conduct numerical experiments on both standard BO test functions and machine learning hyperparameter tuning problems, and our results show that BKTF offers a flexible and highly effective approach for characterizing complex functions with UQ, especially in cases where the initial sample size and budget are severely limited.


title: A Unified BEV Model for Joint Learning of 3D Local Features and Overlap Estimation

abstract: Pairwise point cloud registration is a critical task for many applications, which heavily depends on finding correct correspondences from the two point clouds. However, the low overlap between input point clouds causes the registration to fail easily, leading to mistaken overlapping and mismatched correspondences, especially in scenes where non-overlapping regions contain similar structures. In this paper, we present a unified bird's-eye view (BEV) model for jointly learning of 3D local features and overlap estimation to fulfill pairwise registration and loop closure. Feature description is performed by a sparse UNet-like network based on BEV representation, and 3D keypoints are extracted by a detection head for 2D locations, and a regression head for heights. For overlap detection, a cross-attention module is applied for interacting contextual information of input point clouds, followed by a classification head to estimate the overlapping region. We evaluate our unified model extensively on the KITTI dataset and Apollo-SouthBay dataset. The experiments demonstrate that our method significantly outperforms existing methods on overlap estimation, especially in scenes with small overlaps. It also achieves top registration performance on both datasets in terms of translation and rotation errors.


title: A DuMux Framework for Data-Driven Multi-Scale Parametrizations

abstract: Presented in this work is a framework for the data-driven determination of multi-scale porous media parametrizations. Simulations of flow and transport in a porous medium at the REV scale, although efficient, require well defined parameters that represent pore-scale phenomena to maintain their accuracy. Determining the optimal parameters for this often require expensive pore-scale calculations. This work outlines a series of four steps where these parameters can be calculated from pore scale data, their solutions generalized with a convolutional neural network, and their content better understood with descriptive pore metrics.


title: Listening to dark sirens from gravitational waves:\it{Combined effects of fifth force, ultralight particle radiation, and eccentricity}

abstract: We derive in detail the orbital period loss of a compact binary system in presence of a fifth force and radiation of ultralight particles for a general eccentric Keplerian orbit. We obtain constraints on fifth force strength $\alpha\lesssim 1.11\times 10^{-3}$ from the orbital period decay of compact binary systems. We derive constraints on the gauge coupling of ultralight scalar $(g_S\lesssim 3.06\times 10^{-20})$ and vector $(g_V\lesssim 2.29\times 10^{-20})$ particles from orbital period loss and the constraints get stronger in presence of a fifth force $(\alpha=0.9)$. In addition, we also obtain constraints on the axion decay constant $(7.94\times 10^{10}~\rm{GeV}\lesssim f_a\lesssim 3.16\times 10^{17}~\rm{GeV}, \alpha=0.9)$ if the orbital period decays due to the combined effects of axionic fifth force and axion radiation. We also achieve constraints on the strengths of the fifth force $(\alpha\lesssim 0.025)$ and radiation $(\beta\lesssim 10^{-3})$ from GW170817. The constraints on new force parameters depend on the choice of the initial eccentricity which we include in our analysis $(\epsilon_0=10^{-6}, 0.1)$. We do the model independent estimate of the capture of dark matter mass fraction by a binary system. Lastly, we obtain constraints on fifth force strength due to Brans-Dicke mediated scalar between two compact stars in a binary system $(\omega_{\rm{BD}}>266)$ and from the Nordtvedt effect $(\omega_{\rm{BD}}>75858)$. The bound on Brans-Dicke coupling gets stronger if one includes the effect of eccentricity. Our constraints can be generalized to any alternative theories of gravity and will be within the reach of second and third generation gravitational wave detectors.


title: Differentially Private Distributed Convex Optimization

abstract: This paper considers distributed optimization (DO) where multiple agents cooperate to minimize a global objective function, expressed as a sum of local objectives, subject to some constraints. In DO, each agent iteratively solves a local optimization model constructed by its own data and communicates some information (e.g., a local solution) with its neighbors until a global solution is obtained. Even though locally stored data are not shared with other agents, it is still possible to reconstruct the data from the information communicated among agents, which could limit the practical usage of DO in applications with sensitive data. To address this issue, we propose a privacy-preserving DO algorithm for constrained convex optimization models, which provides a statistical guarantee of data privacy, known as differential privacy, and a sequence of iterates that converges to an optimal solution in expectation. The proposed algorithm generalizes a linearized alternating direction method of multipliers by introducing a multiple local updates technique to reduce communication costs and incorporating an objective perturbation method in the local optimization models to compute and communicate randomized feasible local solutions that cannot be utilized to reconstruct the local data, thus preserving data privacy. Under the existence of convex constraints, we show that, while both algorithms provide the same level of data privacy, the objective perturbation used in the proposed algorithm can provide better solutions than does the widely adopted output perturbation method that randomizes the local solutions by adding some noise. We present the details of privacy and convergence analyses and numerically demonstrate the effectiveness of the proposed algorithm by applying it in two different applications, namely, distributed control of power flow and federated learning, where data privacy is of concern.


title: Flexible nuclear power and fluctuating renewables? -- A techno-economic analysis for decarbonized energy systems

abstract: Many governments are considering constructing new nuclear power plants to support the decarbonization of the energy system. On the one hand, dispatchable nuclear plants can complement fluctuating generation from wind and PV. On the other hand, escalating construction costs and times raise economic concerns. In this paper, we extensively review construction costs and times. On this basis, we apply a detailed multi-vector energy model to analyze the cost-efficient share of nuclear power in fully decarbonized energy systems, i.e., energy systems that do not utilize any fossil fuels. Our analysis finds that even if, reversing the historical trend, overnight construction costs of nuclear half to 4,000 US-$2018 per kW and construction times remain below ten years, the cost-efficient share of nuclear power in European electricity generation is only around 10%. The analysis still omits the social costs of nuclear power, such as the risk of accidents or waste management. Nuclear plants must operate inflexibly and at capacity factors close to 90% to recover their investment costs, implying that operational flexibility-even if technically possible-is not economically viable. As a result, grid infrastructure, flexible demand in multi-energy systems, and storage are more efficient options for integrating fluctuating wind and photovoltaic generation.


title: Learnt Deep Hyperparameter selection in Adversarial Training for compressed video enhancement with perceptual critic

abstract: Image based Deep Feature Quality Metrics (DFQMs) have been shown to better correlate with subjective perceptual scores over traditional metrics. The fundamental focus of these DFQMs is to exploit internal representations from a large scale classification network as the metric feature space. Previously, no attention has been given to the problem of identifying which layers are most perceptually relevant. In this paper we present a new method for selecting perceptually relevant layers from such a network, based on a neuroscience interpretation of layer behaviour. The selected layers are treated as a hyperparameter to the critic network in a W-GAN. The critic uses the output from these layers in the preliminary stages to extract perceptual information. A video enhancement network is trained adversarially with this critic. Our results show that the introduction of these selected features into the critic yields up to 10% (FID) and 15% (KID) performance increase against other critic networks that do not exploit the idea of optimised feature selection.


title: Arbitrary Decisions are a Hidden Cost of Differentially Private Training

abstract: Mechanisms used in privacy-preserving machine learning often aim to guarantee differential privacy (DP) during model training. Practical DP-ensuring training methods use randomization when fitting model parameters to privacy-sensitive data (e.g., adding Gaussian noise to clipped gradients). We demonstrate that such randomization incurs predictive multiplicity: for a given input example, the output predicted by equally-private models depends on the randomness used in training. Thus, for a given input, the predicted output can vary drastically if a model is re-trained, even if the same training dataset is used. The predictive-multiplicity cost of DP training has not been studied, and is currently neither audited for nor communicated to model designers and stakeholders. We derive a bound on the number of re-trainings required to estimate predictive multiplicity reliably. We analyze--both theoretically and through extensive experiments--the predictive-multiplicity cost of three DP-ensuring algorithms: output perturbation, objective perturbation, and DP-SGD. We demonstrate that the degree of predictive multiplicity rises as the level of privacy increases, and is unevenly distributed across individuals and demographic groups in the data. Because randomness used to ensure DP during training explains predictions for some examples, our results highlight a fundamental challenge to the justifiability of decisions supported by differentially private models in high-stakes settings. We conclude that practitioners should audit the predictive multiplicity of their DP-ensuring algorithms before deploying them in applications of individual-level consequence.


title: Generalization Error Bounds for Noisy, Iterative Algorithms via Maximal Leakage

abstract: We adopt an information-theoretic framework to analyze the generalization behavior of the class of iterative, noisy learning algorithms. This class is particularly suitable for study under information-theoretic metrics as the algorithms are inherently randomized, and it includes commonly used algorithms such as Stochastic Gradient Langevin Dynamics (SGLD). Herein, we use the maximal leakage (equivalently, the Sibson mutual information of order infinity) metric, as it is simple to analyze, and it implies both bounds on the probability of having a large generalization error and on its expected value. We show that, if the update function (e.g., gradient) is bounded in $L_2$-norm and the additive noise is isotropic Gaussian noise, then one can obtain an upper-bound on maximal leakage in semi-closed form. Furthermore, we demonstrate how the assumptions on the update function affect the optimal (in the sense of minimizing the induced maximal leakage) choice of the noise. Finally, we compute explicit tight upper bounds on the induced maximal leakage for other scenarios of interest.


title: An extension of Bohr's theorem

abstract: The following extension of Bohr's theorem is established: If a somewhere convergent Dirichlet series $f$ has an analytic continuation to the half-plane $\mathbb{C}_\theta = \{s = \sigma+it\,:\, \sigma>\theta\}$ that maps $\mathbb{C}_\theta$ to $\mathbb{C} \setminus \{\alpha,\beta\}$ for complex numbers $\alpha \neq \beta$, then $f$ converges uniformly in $\mathbb{C}_{\theta+\varepsilon}$ for any $\varepsilon>0$. The extension is optimal in the sense that the assertion no longer holds should $\mathbb{C}\setminus \{\alpha,\beta\}$ be replaced with $\mathbb{C}\setminus \{\alpha\}$.


title: Large Language Models Are State-of-the-Art Evaluators of Translation Quality

abstract: We describe GEMBA, a GPT-based metric for assessment of translation quality, which works both with a reference translation and without. In our evaluation, we focus on zero-shot prompting, comparing four prompt variants in two modes, based on the availability of the reference. We investigate nine versions of GPT models, including ChatGPT and GPT-4. We show that our method for translation quality assessment only works with GPT~3.5 and larger models. Comparing to results from WMT22's Metrics shared task, our method achieves state-of-the-art accuracy in both modes when compared to MQM-based human labels. Our results are valid on the system level for all three WMT22 Metrics shared task language pairs, namely English into German, English into Russian, and Chinese into English. This provides a first glimpse into the usefulness of pre-trained, generative large language models for quality assessment of translations. We publicly release all our code and prompt templates used for the experiments described in this work, as well as all corresponding scoring results, to allow for external validation and reproducibility.


title: Steganography of Steganographic Networks

abstract: Steganography is a technique for covert communication between two parties. With the rapid development of deep neural networks (DNN), more and more steganographic networks are proposed recently, which are shown to be promising to achieve good performance. Unlike the traditional handcrafted steganographic tools, a steganographic network is relatively large in size. It raises concerns on how to covertly transmit the steganographic network in public channels, which is a crucial stage in the pipeline of steganography in real world applications. To address such an issue, we propose a novel scheme for steganography of steganographic networks in this paper. Unlike the existing steganographic schemes which focus on the subtle modification of the cover data to accommodate the secrets. We propose to disguise a steganographic network (termed as the secret DNN model) into a stego DNN model which performs an ordinary machine learning task (termed as the stego task). During the model disguising, we select and tune a subset of filters in the secret DNN model to preserve its function on the secret task, where the remaining filters are reactivated according to a partial optimization strategy to disguise the whole secret DNN model into a stego DNN model. The secret DNN model can be recovered from the stego DNN model when needed. Various experiments have been conducted to demonstrate the advantage of our proposed method for covert communication of steganographic networks as well as general DNN models.


title: AdaptiveShape: Solving Shape Variability for 3D Object Detection with Geometry Aware Anchor Distributions

abstract: 3D object detection with point clouds and images plays an important role in perception tasks such as autonomous driving. Current methods show great performance on detection and pose estimation of standard-shaped vehicles but lack behind on more complex shapes as e.g. semi-trailer truck combinations. Determining the shape and motion of those special vehicles accurately is crucial in yard operation and maneuvering and industrial automation applications. This work introduces several new methods to improve and measure the performance for such classes. State-of-the-art methods are based on predefined anchor grids or heatmaps for ground truth targets. However, the underlying representations do not take the shape of different sized objects into account. Our main contribution, AdaptiveShape, uses shape aware anchor distributions and heatmaps to improve the detection capabilities. For large vehicles we achieve +10.9% AP in comparison to current shape agnostic methods. Furthermore we introduce a new fast LiDAR-camera fusion. It is based on 2D bounding box camera detections which are available in many processing pipelines. This fusion method does not rely on perfectly calibrated or temporally synchronized systems and is therefore applicable to a broad range of robotic applications. We extend a standard point pillar network to account for temporal data and improve learning of complex object movements. In addition we extended a ground truth augmentation to use grouped object pairs to further improve truck AP by +2.2% compared to conventional augmentation.


title: Automatic Heteronym Resolution Pipeline Using RAD-TTS Aligners

abstract: Grapheme-to-phoneme (G2P) transduction is part of the standard text-to-speech (TTS) pipeline. However, G2P conversion is difficult for languages that contain heteronyms -- words that have one spelling but can be pronounced in multiple ways. G2P datasets with annotated heteronyms are limited in size and expensive to create, as human labeling remains the primary method for heteronym disambiguation. We propose a RAD-TTS Aligner-based pipeline to automatically disambiguate heteronyms in datasets that contain both audio with text transcripts. The best pronunciation can be chosen by generating all possible candidates for each heteronym and scoring them with an Aligner model. The resulting labels can be used to create training datasets for use in both multi-stage and end-to-end G2P systems.


title: Swing Amplification and the Gaia Phase Spirals

abstract: We explore the interplay between in-plane and vertical dynamics in stellar discs within the framework of the shearing box approximation. Julian and Toomre used the shearing sheet to show that leading density waves are amplified as they swing into a trailing ones. We extend their formalism into the dimension perpendicular to the disc and obtain explicit solutions for the response of a disc to an impulsive, external excitation. An excitation that is is symmetric about the mid plane produces a density/breathing wave as well as two-armed phase spirals in the vertical phase space plane. On the other hand, an excitation that is antisymmetric about the mid plane leads to a bending wave and single-armed phase spirals. In either case, self-gravity plays a crucial role in driving the evolution of the disturbance and determining the amplitude and pitch angle of the ensuing spirals. We also show that when the disc is excited by a co-rotating cloud, it develops stationary phase spirals in the wake of the cloud. The results call into question simple kinematic arguments that have been used to determine the age of the phase spirals seen in the Gaia survey


title: Time averages and periodic attractors at high Rayleigh number for Lorenz-like models

abstract: Revisiting the Lorenz '63 equations in the regime of large of Rayleigh number, we study the occurrence of periodic solutions and quantify corresponding time averages of selected quantities. Perturbing from the integrable limit of infinite $\rho$, we provide a full proof of existence and stability of symmetric periodic orbits, which confirms previous partial results. Based on this, we expand time averages in terms of elliptic integrals with focus on the much studied average `transport', which is the mode reduced excess heat transport of the convection problem that gave rise to the Lorenz equations. We find a hysteresis loop between the periodic attractors and the non-zero equilibria of the Lorenz equations. These have been proven to maximize transport, and we show that the transport takes arbitrarily small values in the family of periodic attractors. In particular, when the non-zero equilibria are unstable, we quantify the difference between maximal and typically realized values of transport. We illustrate these results by numerical simulations and show how they transfer to various extended Lorenz models.


title: Application of Deep Kernel Models for Certified and Adaptive RB-ML-ROM Surrogate Modeling

abstract: In the framework of reduced basis methods, we recently introduced a new certified hierarchical and adaptive surrogate model, which can be used for efficient approximation of input-output maps that are governed by parametrized partial differential equations. This adaptive approach combines a full order model, a reduced order model and a machine-learning model. In this contribution, we extend the approach by leveraging novel kernel models for the machine learning part, especially structured deep kernel networks as well as two layered kernel models. We demonstrate the usability of those enhanced kernel models for the RB-ML-ROM surrogate modeling chain and highlight their benefits in numerical experiments.


title: Normalization of strongly hyperbolic logarithmic transseries and complex Dulac germs

abstract: We give normal forms for strongly hyperbolic logarithmic transseries f = z^r + ... (r is a positive real number nonequal to 1), with respect to parabolic logarithmic normalizations. These normalizations are obtained using fixed point theorems, and are given algorithmically, as limits of Picard sequences in appropriate formal topologies. The results are applied to describe the supports of normalizations and to prove that the strongly hyperbolic complex Dulac germs are analytically normalizable on standard quadratic domains inside the class of complex Dulac germs.


title: Analysis and experimental study on the Jumping Chain

abstract: A freely falling chain from a cup at certain height can jump. The process can be divided into two parts: a stable suspension and an accelerating procedure. Variational principle and force analysis demonstrate that the shape of stable suspension is an inverted catenary. The requirement of the jumping and the parameters to describe the jumping catenary have been studied in detail, and experiments have been conducted to verify the theoretical analysis. The physical picture of the falling chain could be useful in certain falling systems, providing valuable insight into the dynamical system.


title: Maximum Likelihood With a Time Varying Parameter

abstract: We consider the problem of tracking an unknown time varying parameter that characterizes the probabilistic evolution of a sequence of independent observations. To this aim, we propose a stochastic gradient descent-based recursive scheme in which the log-likelihood of the observations acts as time varying gain function. We prove convergence in mean-square error in a suitable neighbourhood of the unknown time varying parameter and illustrate the details of our findings in the case where data are generated from distributions belonging to the exponential family.


title: Spatial Curvature from Super-Hubble Cosmological Fluctuations

abstract: We revisit how super-Hubble cosmological fluctuations induce, at any time in the cosmic history, a non-vanishing spatial curvature of the local background metric. The random nature of these fluctuations promotes the curvature density parameter to a stochastic quantity for which we derive novel non-perturbative expressions for its mean, variance, higher moments and full probability distribution. For scale-invariant Gaussian perturbations, such as those favored by cosmological observations, we find that the most probable value for the curvature density parameter $\Omega_\mathrm{K}$ today is $-10^{-9}$, that its mean is $+10^{-9}$, both being overwhelmed by a standard deviation of order $10^{-5}$. We then discuss how these numbers would be affected by the presence of large super-Hubble non-Gaussianities, or, if inflation lasted for a very long time. In particular, we find that substantial values of $\Omega_\mathrm{K}$ are obtained if inflation lasts for more than a billion e-folds.


title: Finite sample inference for empirical Bayesian methods

abstract: In recent years, empirical Bayesian (EB) inference has become an attractive approach for estimation in parametric models arising in a variety of real-life problems, especially in complex and high-dimensional scientific applications. However, compared to the relative abundance of available general methods for computing point estimators in the EB framework, the construction of confidence sets and hypothesis tests with good theoretical properties remains difficult and problem specific. Motivated by the universal inference framework of Wasserman et al. (2020), we propose a general and universal method, based on holdout likelihood ratios, and utilizing the hierarchical structure of the specified Bayesian model for constructing confidence sets and hypothesis tests that are finite sample valid. We illustrate our method through a range of numerical studies and real data applications, which demonstrate that the approach is able to generate useful and meaningful inferential statements in the relevant contexts.


title: Rethinking Multi-Interest Learning for Candidate Matching in Recommender Systems

abstract: Existing research efforts for multi-interest candidate matching in recommender systems mainly focus on improving model architecture or incorporating additional information, neglecting the importance of training schemes. This work revisits the training framework and uncovers two major problems hindering the expressiveness of learned multi-interest representations. First, the current training objective (i.e., uniformly sampled softmax) fails to effectively train discriminative representations in a multi-interest learning scenario due to the severe increase in easy negative samples. Second, a routing collapse problem is observed where each learned interest may collapse to express information only from a single item, resulting in information loss. To address these issues, we propose the REMI framework, consisting of an Interest-aware Hard Negative mining strategy (IHN) and a Routing Regularization (RR) method. IHN emphasizes interest-aware hard negatives by proposing an ideal sampling distribution and developing a Monte-Carlo strategy for efficient approximation. RR prevents routing collapse by introducing a novel regularization term on the item-to-interest routing matrices. These two components enhance the learned multi-interest representations from both the optimization objective and the composition information. REMI is a general framework that can be readily applied to various existing multi-interest candidate matching methods. Experiments on three real-world datasets show our method can significantly improve state-of-the-art methods with easy implementation and negligible computational overhead. The source code will be released.


title: DEff-GAN: Diverse Attribute Transfer for Few-Shot Image Synthesis

abstract: Requirements of large amounts of data is a difficulty in training many GANs. Data efficient GANs involve fitting a generators continuous target distribution with a limited discrete set of data samples, which is a difficult task. Single image methods have focused on modeling the internal distribution of a single image and generating its samples. While single image methods can synthesize image samples with diversity, they do not model multiple images or capture the inherent relationship possible between two images. Given only a handful of images, we are interested in generating samples and exploiting the commonalities in the input images. In this work, we extend the single-image GAN method to model multiple images for sample synthesis. We modify the discriminator with an auxiliary classifier branch, which helps to generate a wide variety of samples and to classify the input labels. Our Data-Efficient GAN (DEff-GAN) generates excellent results when similarities and correspondences can be drawn between the input images or classes.


title: Spacerini: Plug-and-play Search Engines with Pyserini and Hugging Face

abstract: We present Spacerini, a tool that integrates the Pyserini toolkit for reproducible information retrieval research with Hugging Face to enable the seamless construction and deployment of interactive search engines. Spacerini makes state-of-the-art sparse and dense retrieval models more accessible to non-IR practitioners while minimizing deployment effort. This is useful for NLP researchers who want to better understand and validate their research by performing qualitative analyses of training corpora, for IR researchers who want to demonstrate new retrieval models integrated into the growing Pyserini ecosystem, and for third parties reproducing the work of other researchers. Spacerini is open source and includes utilities for loading, preprocessing, indexing, and deploying search engines locally and remotely. We demonstrate a portfolio of 13 search engines created with Spacerini for different use cases.


title: Phase-engineering the Andreev band structure of a three-terminal Josephson junction

abstract: In hybrid Josephson junctions with three or more superconducting terminals coupled to a semiconducting region, Andreev bound states may form unconventional energy band structures, or Andreev matter, which are engineered by controlling superconducting phase differences. Here we report tunnelling spectroscopy measurements of three-terminal Josephson junctions realised in an InAs/Al heterostructure. The three terminals are connected to form two loops, enabling independent control over two phase differences and access to a synthetic Andreev band structure in the two-dimensional phase space. Our results demonstrate a phase-controlled Andreev molecule, originating from two discrete Andreev levels that spatially overlap and hybridise. Signatures of hybridisation are observed in the form of avoided crossings in the spectrum and band structure anisotropies in the phase space, all explained by a numerical model. Future extensions of this work could focus on addressing spin-resolved energy levels, ground state fermion parity transitions and Weyl bands in multiterminal geometries.


title: On the Road to 6G: Visions, Requirements, Key Technologies and Testbeds

abstract: Fifth generation (5G) mobile communication systems have entered the stage of commercial development, providing users with new services and improved user experiences as well as offering a host of novel opportunities to various industries. However, 5G still faces many challenges. To address these challenges, international industrial, academic, and standards organizations have commenced research on sixth generation (6G) wireless communication systems. A series of white papers and survey papers have been published, which aim to define 6G in terms of requirements, application scenarios, key technologies, etc. Although ITU-R has been working on the 6G vision and it is expected to reach a consensus on what 6G will be by mid-2023, the related global discussions are still wide open and the existing literature has identified numerous open issues. This paper first provides a comprehensive portrayal of the 6G vision, technical requirements, and application scenarios, covering the current common understanding of 6G. Then, a critical appraisal of the 6G network architecture and key technologies is presented. Furthermore, existing testbeds and advanced 6G verification platforms are detailed for the first time. In addition, future research directions and open challenges are identified for stimulating the on-going global debate. Finally, lessons learned to date concerning 6G networks are discussed.


title: Signatures of quark deconfinement through the r-modes of twin stars

abstract: The observation and distinction of two compact stars with an identical mass but a different radius would be a clear sign of hadron-quark phase transition in nuclear matter. Motivated by studies searching for significant deviations in the observables of twin stars, we investigate the differences that manifest in their r-mode instability windows and spin-down evolution. Firstly, we obtain a set of hybrid equations of state (which predict the existence of a third stable branch of compact objects) by employing the well-known Maxwell construction within the phenomenological framework of constant speed of sound parametrization. Then, we systematically study the influence of certain parameters, such as the energy density jump (in the resulting hybrid equation of state) and the crust elasticity, on the deviations appearing in the r-mode instability windows and spin-down evolution of twin stars. We conclude that two stars with an identical mass and fairly similar spin frequency and temperature, may behave differently with respect to r-modes. Thus, the future possible detection of gravitational waves (due to unstable r-modes) from a star laying in the stable region of the frequency-temperature plane would be a strong indication for the existence of twin stars. Furthermore, we consider current data for the spin frequencies and temperatures of observed pulsars and compare them to the predictions made from equations of state employed in this study. We find that, depending on the transition density and the rigidness of the crust, hybrid equations of state may be a viable solution for the explanation of existing data.


title: Neutrinoless double beta decay in Left-Right symmetric model with double seesaw mechanism

abstract: We discuss a left-right (L-R) symmetric model with the double seesaw mechanism at the TeV scale generating Majorana masses for the active left-handed (LH) flavour neutrinos $\nu_{\alpha L}$ and the heavy right-handed (RH) neutrinos $N_{\beta R}$, $\alpha,\beta = e,\mu,\tau$, which in turn mediate lepton number violating processes, including neutrinoless double beta decay. The Higgs sector is composed of two Higgs doublets $H_L$, $H_R$, and a bi-doublet $\Phi$. The fermion sector has the usual for the L-R symmetric models quarks and leptons, along with three $SU(2)$ singlet fermion $S_{\gamma L}$. The choice of bare Majorana mass term for these sterile fermions induces large Majorana masses for the heavy RH neutrinos leading to two sets of heavy Majorana particles $N_j$ and $S_k$, $j,k=1,2,3$, with masses $m_{N_j} \ll m_{S_k}$. Working with a specific version of the model in which the $\nu_{\alpha L} - N_{\beta R}$ and the $N_{\beta R} - S_{\gamma L}$ Dirac mass terms are diagonal, and assuming that $m_{N_j} \sim (1 - 1000)$ GeV and ${\rm max}(m_{S_k}) \sim (1 - 10)$ TeV, $m_{N_j} \ll m_{S_k}$, we study in detail the new ``non-standard'' contributions to the $0\nu\beta\beta$ decay amplitude and half-life arising due to the exchange of virtual $N_j$ and $S_k$. We find that in both cases of NO and IO light neutrino mass spectra, these contributions are strongly enhanced and are dominant at relatively small values of the lightest neutrino mass $m_{1(3)} \sim (10^{-4} - 10^{-2})$ eV over the light Majorana neutrino exchange contribution. In large part of the parameter space, the predictions of the model for the $0\nu\beta\beta$ decay generalised effective Majorana mass and half-life are within the sensitivity range of the planned next generation of neutrinoless double beta decay experiments LEGEND-200 (LEGEND-1000), nEXO, KamlAND-Zen-II, CUPID, NEXT-HD.


title: Colossal magnetoresistance in EuZn$_2$P$_2$ and its electronic and magnetic structure

abstract: We investigate single crystals of the trigonal antiferromagnet EuZn$_2$P$_2$ ($P\overline{3}m1$) by means of electrical transport, magnetization measurements, X-ray magnetic scattering, optical reflectivity, angle-resolved photoemission spectroscopy (ARPES) and ab-initio band structure calculations (DFT+U). We find that the electrical resistivity of EuZn$_2$P$_2$ increases strongly upon cooling and can be suppressed in magnetic fields by several orders of magnitude (CMR effect). Resonant magnetic scattering reveals a magnetic ordering vector of $q = (0\, 0\, \frac{1}{2})$, corresponding to an $A$-type antiferromagnetic (AFM) order, below $T_{\rm N} = 23.7\,\rm K$. We find that the moments are canted out of the $a-a$ plane by an angle of about $40^{\circ}\pm 10^{\circ}$ degrees and aligned along the [100] in the $a-a$ plane. We observe nearly isotropic magnetization behavior for low fields and low temperatures which is consistent with the magnetic scattering results. The magnetization measurements show a deviation from the Curie-Weiss behavior below $\approx 150\,\rm K$, the temperature below which also the field dependence of the material's resistivity starts to increase. An analysis of the infrared reflectivity spectrum at $T=295\,\rm K$ allows us to resolve the main phonon bands and intra-/interband transitions, and estimate indirect and direct band gaps of $E_i^{\mathrm{opt}}=0.09\,\rm{eV}$ and $E_d^{\mathrm{opt}}=0.33\,\rm{eV}$, respectively, which are in good agreement with the theoretically predicted ones. The experimental band structure obtained by ARPES is nearly $T$-independent above and below $T_{\rm N}$. The comparison of the theoretical and experimental data shows a weak intermixing of the Eu 4$f$ states close to the $\Gamma$ point with the bands formed by the phosphorous 3$p$ orbitals leading to an induction of a small magnetic moment at the P sites.


title: Casimir effect, loop corrections and topological mass generation for interacting real and complex scalar fields in Minkowski spacetime with different conditions

abstract: In this paper the Casimir energy density, loop corrections, and generation of topological mass are investigated for a system consisting of two interacting real and complex scalar fields. The interaction considered is the quartic interaction in the form of a product of the modulus square of the complex field and the square of the real field. In addition, it is also considered the self-interaction associated with each field. In this theory, the scalar field is constrained to always obey periodic condition while the complex field obeys in one case a quasiperiodic condition and in other case mixed boundary conditions. The Casimir energy density, loop corrections, and topological mass are evaluated analytically for the massive and massless scalar fields considered. An analysis of possible different stable vacuum states and the corresponding stability condition is also provided. In order to better understand our investigation, some graphs are also presented. The formalism we use here to perform such investigation is the effective potential, which is written as loop expansions via path integral in quantum field theory.


title: Generalized exponentially bounded integrated semigroups

abstract: The main subject of this paper is the analysis of sequences of exponentially bounded integrated semigroups which are related to Cauchy problems \begin{equation}\label{jed} \frac{\partial}{\partial t}u(t,x)-a(D)u(t,x)=f(t,x), \quad u(0,x)=u_0(x), \quad t\geq 0, \ x\in \mathbb R^d, \end{equation} with a distributional initial data $u_0$ and a distributional right hand side $f$ through a sequence of equations with regularized $u_0$ and $f$ and a sequence of (pseudo) differential operators $a_n(D)$ instead of $a(D)$. Comparison of sequences of infinitesimal generators and the determination of corresponding sequences of integrated semigroups are the main subject of the paper. For this purpose, we introduce association, the relation of equivalence for infinitesimal generators on one side and the corresponding relations of equivalence of integrated semigroups on another side. The order of involved assumptions on generators essentially characterize the mutual dependence of sequences of infinitesimal generators and the corresponding sequences of integrated semigroups.


title: Electrodynamic Aharonov-Bohm effect

abstract: We propose an electrodynamic Aharonov-Bohm (AB) scheme where a nonzero AB phase difference appears even if the interferometer paths do not enclose a magnetic flux and are subjected to negligible scalar potential differences during the propagation of the quantum charged particle. In the proposal, the current in a solenoid outside the interferometer varies in time while the quantum particle is in a superposition state inside two Faraday cages, such that it is always subjected to negligible electromagnetic fields. At first glance, this result could challenge the topological nature of the AB effect. However, by considering the topology of the electromagnetic field configuration and the possible particle trajectories in spacetime, we demonstrate the topological nature of this situation.


title: RRT and Velocity Obstacles-based motion planning for Unmanned Aircraft Systems Traffic Management (UTM)

abstract: In this paper, an algorithm for Unmanned Aircraft Systems Traffic Management (UTM) for a finite number of unmanned aerial vehicles (UAVs) is proposed. This algorithm is developed by combining the Rapidly-Exploring Random Trees (RRT) and Velocity Obstacle (VO) algorithms and is referred to as the RRT-VO UTM algorithm. Here, the RRT algorithm works offline to generate obstacle-free waypoints in a given environment with known static obstacles. The VO algorithm, on the other hand, operates online to avoid collisions with other UAVS and known static obstacles. The boundary of the static obstacles are approximated by small circles to facilitate the formulation of VO algorithm. The proposed algorithm's performance is evaluated using numerical simulation and then compared to the well-known artificial potential field (APF) algorithm for collision avoidance. The advantages of the proposed method are clearly shown in terms of lower path length and collision avoidance capabilities for a challenging scenario.


title: Wide-gap CdTe Strip Detectors for High-Resolution Imaging in Hard X-rays

abstract: We propose a new strip configuration for CdTe X-ray detectors, named "Wide-gap CdTe strip detector", in which the gap between adjacent strips is much wider than the width of each strip. It has been known that the observed energies of an incoming photon in adjacent strips can be utilized to achieve a position resolution finer than the strip pitch, if and only if the charge cloud induced by an incoming X-ray photon is split into multiple strips and their energies are accurately measured. However, with existing CdTe strip detectors, the ratio of such charge-sharing events is limited. An idea for a potential breakthrough to greatly enhance the ratio of charge-sharing events is to widen the gaps between strips on the detector. To test the concept, we developed a wide-gap CdTe strip detector, which has 64 platinum strip electrodes on the cathode side with some variations in strip pitches from 60 um (30 um strip and 30 um gap width) to 80 um (30 um strip and 50 um gap width). We evaluated the performance depending on the strip pitches by irradiating X-rays from Am-241 on the detector. The charge loss due to the wider gaps on the detector was found to be significant to the extent that the assumption that the energy of an incoming photon for a charge-sharing event was the simple sum of the energies detected in adjacent strips lead to a significant degradation in the energy resolution in the accumulated spectrum, compared with those obtained with its predecessor having standard gap-widths. We then developed a new energy-reconstruction method to compensate for the charge loss. Application of the method to the data yielded a spectrum with a comparable spectral resolution with that of the predecessor. The ratio of the charge-sharing events for 17.8 keV events was doubled from that of the predecessor, from 24.3 to 49.9 percent.

categories: astro-ph.IM astro-ph.SR hep-ex physics.ins-det


title: Modern Bayesian Experimental Design

abstract: Bayesian experimental design (BED) provides a powerful and general framework for optimizing the design of experiments. However, its deployment often poses substantial computational challenges that can undermine its practical use. In this review, we outline how recent advances have transformed our ability to overcome these challenges and thus utilize BED effectively, before discussing some key areas for future development in the field.


title: Dynamic Logic of Communicating Hybrid Programs

abstract: This paper presents a dynamic logic $d\mathcal{L}_\text{CHP}$ for compositional deductive verification of communicating hybrid programs (CHPs). CHPs go beyond the traditional mixed discrete and continuous dynamics of hybrid systems by adding CSP-style operators for communication and parallelism. A compositional proof calculus is presented that modularly verifies CHPs including their parallel compositions from proofs of their subprograms by assumption-commitment reasoning in dynamic logic. Unlike Hoare-style assumption-commitments, $d\mathcal{L}_\text{CHP}$ supports intuitive symbolic execution via explicit recorder variables for communication primitives. Since $d\mathcal{L}_\text{CHP}$ is a conservative extension of differential dynamic logic $d\mathcal{L}$, it can be used soundly along with the $d\mathcal{L}$ proof calculus and $d\mathcal{L}$'s complete axiomatization for differential equation invariants.


title: Accurate first-principle bandgap predictions in strain-engineered ternary III-V semiconductors

abstract: Tuning the bandgap in ternary III-V semiconductors via modification of the composition or the strain in the material is a major approach for the design of optoelectronic materials. Experimental approaches screening a large range of possible target structures are hampered by the tremendous effort to optimize the material synthesis for every target structure. We present an approach based on density functional theory efficiently capable of providing the bandgap as a function of composition and strain. Using a specific density functional designed for accurate bandgap computation (TB09) together with a band unfolding procedure and special quasirandom structures, we develop a computational protocol efficiently able to predict bandgaps. The approach's accuracy is validated by comparison to selected experimental data. We thus map the phase space of composition and strain (we call this the ``bandgap phase diagram'') for several important III-V compound semiconductors: GaAsP, GaAsN, GaPSb, GaAsSb, GaPBi, and GaAsBi. We show the application of these diagrams for identifying the most promising materials for device design. Furthermore, our computational protocol can easily be generalized to explore the vast chemical space of III-V materials with all other possible combinations of III- and V-elements.


title: Safe-DS: A Domain Specific Language to Make Data Science Safe

abstract: Due to the long runtime of Data Science (DS) pipelines, even small programming mistakes can be very costly, if they are not detected statically. However, even basic static type checking of DS pipelines is difficult because most are written in Python. Static typing is available in Python only via external linters. These require static type annotations for parameters or results of functions, which many DS libraries do not provide. In this paper, we show how the wealth of Python DS libraries can be used in a statically safe way via Safe-DS, a domain specific language (DSL) for DS. Safe-DS catches conventional type errors plus errors related to range restrictions, data manipulation, and call order of functions, going well beyond the abilities of current Python linters. Python libraries are integrated into Safe-DS via a stub language for specifying the interface of its declarations, and an API-Editor that is able to extract type information from the code and documentation of Python libraries, and automatically generate suitable stubs. Moreover, Safe-DS complements textual DS pipelines with a graphical representation that eases safe development by preventing syntax errors. The seamless synchronization of textual and graphic view lets developers always choose the one best suited for their skills and current task. We think that Safe-DS can make DS development easier, faster, and more reliable, significantly reducing development costs.


title: Generalized Carter constant for quadrupolar test bodies in Kerr spacetime

abstract: We establish the existence of a deformation of the usual Carter constant which is conserved along the motion in a fixed Kerr background of a spinning test body possessing the spin-induced quadrupole coupling of a black hole. The conservation holds perturbatively up to second order in the test body's spin. This constant of motion is obtained through the explicit resolution of the conservation constraint equations, employing covariant algebraic and differential relations amongst covariant building blocks of the Kerr background. For generic spin-induced quadrupole couplings, which describe compact objects such as neutron stars, we obtain a no-go result on the existence of such a conserved quantity.


title: Construction of a fundamental system of solutions for a degenerate equation with a fractional derivative of Dzhrbashyan-Nersesyan

abstract: The article constructs a general solution of a degenerate equation with a fractional derivative of Dzhrbashyan-Nersesyan. Particular solutions are presented through the Kilbas-Saigo function.


title: Detecting and stabilizing measurement-induced symmetry-protected topological phases in generalized cluster models

abstract: We study measurement-induced symmetry-protected topological (SPT) order in a wide class of quantum random circuit models by combining calculations within the stabilizer formalism with tensor network simulations. We construct a family of quantum random circuits, generating the out-of-equilibrium version of all generalized cluster models, and derive a set of non-local string order parameters to distinguish different SPT phases. We apply this framework to investigate a random circuit realization of the XZX cluster model, and use the string order parameter to demonstrate that the phase diagram is stable against extending the class of unitary gates in the circuit, from Clifford gates to Haar unitaries. We then turn to the XZZX generalized cluster model, and demonstrate the coexistence of SPT order and spontaneous symmetry breaking, by relying on string order parameters and a connected correlation function.


title: Toward Robust Uncertainty Estimation with Random Activation Functions

abstract: Deep neural networks are in the limelight of machine learning with their excellent performance in many data-driven applications. However, they can lead to inaccurate predictions when queried in out-of-distribution data points, which can have detrimental effects especially in sensitive domains, such as healthcare and transportation, where erroneous predictions can be very costly and/or dangerous. Subsequently, quantifying the uncertainty of the output of a neural network is often leveraged to evaluate the confidence of its predictions, and ensemble models have proved to be effective in measuring the uncertainty by utilizing the variance of predictions over a pool of models. In this paper, we propose a novel approach for uncertainty quantification via ensembles, called Random Activation Functions (RAFs) Ensemble, that aims at improving the ensemble diversity toward a more robust estimation, by accommodating each neural network with a different (random) activation function. Extensive empirical study demonstrates that RAFs Ensemble outperforms state-of-the-art ensemble uncertainty quantification methods on both synthetic and real-world datasets in a series of regression tasks.


title: Angular Momentum Fluctuations

abstract: In this paper, we consider angular momentum fluctuations of a Schwartzschild black hole in thermal equilibrium with radiation which, for the sake of simplicity is here modeled by a scalar field. Important, we do not set the black hole angular momentum $J$ identically to zero at the outset; we allow it to have a small value (in the sense that $J/M<<1$) and then study the conditions for thermodynamical equilibrium; only then take the $J\rightarrow 0$ limit. We calculate the black hole's angular momentum fluctuations which turn out to have two independent contributions: one that comes from the black hole itself, with no respect to the radiation, and another one that arises from the radiation. The result is astonishingly simple: the radiation contribution depends exclusively on the cut-off proper distance from the horizon (or equivalently, the width of the brick wall), while the black hole contribution is proportional to its event horizon area. Accordingly, there are no strictly static black holes in nature, they randomly rotate in all possible directions. Since a black hole is nothing but geometry, we are dealing with geometry fluctuations -- our results are of quantum-gravitational nature (albeit at a semi-classical level). Interestingly enough, if we apply to the black hole fluctuations component the (quantum) rules of angular momentum we obtain an event horizon area quantization rule, albeit with a different spectrum from an equally spaced area spectrum which is widely accepted in the literature.


title: FPCD: An Open Aerial VHR Dataset for Farm Pond Change Detection

abstract: Change detection for aerial imagery involves locating and identifying changes associated with the areas of interest between co-registered bi-temporal or multi-temporal images of a geographical location. Farm ponds are man-made structures belonging to the category of minor irrigation structures used to collect surface run-off water for future irrigation purposes. Detection of farm ponds from aerial imagery and their evolution over time helps in land surveying to analyze the agricultural shifts, policy implementation, seasonal effects and climate changes. In this paper, we introduce a publicly available object detection and instance segmentation (OD/IS) dataset for localizing farm ponds from aerial imagery. We also collected and annotated the bi-temporal data over a time-span of 14 years across 17 villages, resulting in a binary change detection dataset called \textbf{F}arm \textbf{P}ond \textbf{C}hange \textbf{D}etection Dataset (\textbf{FPCD}). We have benchmarked and analyzed the performance of various object detection and instance segmentation methods on our OD/IS dataset and the change detection methods over the FPCD dataset. The datasets are publicly accessible at this page: \textit{\url{https://huggingface.co/datasets/ctundia/FPCD}}


title: Non-linear Topology Optimization of District Heating Networks: A benchmark of Mixed-Integer and Adjoint Approaches

abstract: The widespread use of optimization methods in the design phase of District Heating Networks is currently limited by the availability of scalable optimization approaches that accurately represent the network. In this paper, we compare and benchmark two different approaches to non-linear topology optimization of District Heating Networks in terms of computational cost and optimality gap. The first approach solves a mixed-integer non-linear optimization problem that resolves the binary constraints of pipe routing choices using a combinatorial optimization approach. The second approach solves a relaxed optimization problem using an adjoint optimization approach, and enforces a discrete network topology through penalization. Our benchmark shows that the relaxed penalized problem has a polynomial computational cost scaling, while the combinatorial solution scales exponentially, making it intractable for practical-sized networks. We also evaluate the optimality gap between the two approaches on two different District Heating Network optimization cases. We find that the mixed-integer approach outperforms the adjoint approach on a single-producer case, but the relaxed penalized problem is superior on a multi-producer case. Based on this study, we discuss the importance of initialization strategies for solving the optimal topology and design problem of District Heating Networks as a non-linear optimization problem.


title: An Alternative to Cells for Selective Execution of Data Science Pipelines

abstract: Data Scientists often use notebooks to develop Data Science (DS) pipelines, particularly since they allow to selectively execute parts of the pipeline. However, notebooks for DS have many well-known flaws. We focus on the following ones in this paper: (1) Notebooks can become littered with code cells that are not part of the main DS pipeline but exist solely to make decisions (e.g. listing the columns of a tabular dataset). (2) While users are allowed to execute cells in any order, not every ordering is correct, because a cell can depend on declarations from other cells. (3) After making changes to a cell, this cell and all cells that depend on changed declarations must be rerun. (4) Changes to external values necessitate partial re-execution of the notebook. (5) Since cells are the smallest unit of execution, code that is unaffected by changes, can inadvertently be re-executed. To solve these issues, we propose to replace cells as the basis for the selective execution of DS pipelines. Instead, we suggest populating a context-menu for variables with actions fitting their type (like listing columns if the variable is a tabular dataset). These actions are executed based on a data-flow analysis to ensure dependencies between variables are respected and results are updated properly after changes. Our solution separates pipeline code from decision making code and automates dependency management, thus reducing clutter and the risk of making errors.


title: GRAN: Ghost Residual Attention Network for Single Image Super Resolution

abstract: Recently, many works have designed wider and deeper networks to achieve higher image super-resolution performance. Despite their outstanding performance, they still suffer from high computational resources, preventing them from directly applying to embedded devices. To reduce the computation resources and maintain performance, we propose a novel Ghost Residual Attention Network (GRAN) for efficient super-resolution. This paper introduces Ghost Residual Attention Block (GRAB) groups to overcome the drawbacks of the standard convolutional operation, i.e., redundancy of the intermediate feature. GRAB consists of the Ghost Module and Channel and Spatial Attention Module (CSAM) to alleviate the generation of redundant features. Specifically, Ghost Module can reveal information underlying intrinsic features by employing linear operations to replace the standard convolutions. Reducing redundant features by the Ghost Module, our model decreases memory and computing resource requirements in the network. The CSAM pays more comprehensive attention to where and what the feature extraction is, which is critical to recovering the image details. Experiments conducted on the benchmark datasets demonstrate the superior performance of our method in both qualitative and quantitative. Compared to the baseline models, we achieve higher performance with lower computational resources, whose parameters and FLOPs have decreased by more than ten times.


title: Quantifying spatio-temporal patterns in classical and quantum systems out of equilibrium

abstract: A rich variety of non-equilibrium dynamical phenomena and processes unambiguously calls for the development of general numerical techniques to probe and estimate a complex interplay between spatial and temporal degrees of freedom in many-body systems of completely different nature. In this work we provide a solution to this problem by adopting a structural complexity measure to quantify spatio-temporal patterns in the time-dependent digital representation of a system. On the basis of very limited amount of data our approach allows to distinguish different dynamical regimes and define critical parameters in both classical and quantum systems. By the example of the discrete time crystal realized in non-equilibrium quantum systems we provide a complete low-level characterization of this nontrivial dynamical phase with only processing bitstrings, which can be considered as a valuable alternative to previous studies based on the calculations of qubit correlation functions.


title: Summability and speed of convergence in an ergodic theorem

abstract: Given an irrational vector $\alpha$ in $\mathbb{R}^{d}$, a continuous function $f(x)$ on the torus $\mathbb{T}^{d}$ and suitable weights $\Phi(N,n)$ such that $\sum_{n=-\infty}^{+\infty}\Phi(N,n)=1$, we estimate the speed of convergence to the integral $\int_{\mathbb{T}^{d}}f(y)dy$ of the weighted sum $\sum_{n=-\infty}^{+\infty}\Phi(N,n) f(x+n\alpha)$ as $N\rightarrow +\infty$. Whereas for the arithmetic means $N^{-1}\sum_{n=1}^{N}f(x+n\alpha)$ the speed of convergence is never faster than $cN^{-1}$, for other means such speed can be accelerated. We estimate the speed of convergence in two theorems with different flavor. The first result is a metric one, and it provides an estimate of the speed of convergence in terms of the Fourier transform of the weights $\Phi(N,n)$ and the smoothness of the function $f(x)$ which holds for almost every $\alpha$. The second result is a deterministic one, and the speed of convergence is estimated also in terms of the Diophantine properties of the given irrational vector $\alpha\in\mathbb R^d$.


title: On the determination of the 3D velocity field in terms of conserved variables in a compressible ocean

abstract: Explicit expressions of the 3D velocity field in terms of the conserved quantities of ideal fluid thermocline theory, namely Bernoulli function, density, and potential vorticity, are generalised here to a compressible ocean with a realistic nonlinear equation of state. The most general such expression is the `inactive wind' solution, an exact nonlinear solution of the inviscid compressible Navier-Stokes that satisfies the continuity equation as a consequence of Ertel's potential vorticity theorem. Such expressions are shown to be non-unique due to the non-uniqueness of the choice of Bernoulli function and in general approximately differ by the magnitude of their vertical velocity component. Due to the thermobaric nonlinearity of the equation of state, the expression of the 3D velocity field for a compressible ocean is found to resemble its ideal fluid counterpart only if constructed in terms of the available form of Bernoulli function as per Lorenz theory of available potential energy (APE). APE theory also naturally defines a quasi-material approximately neutral density variable called Lorenz reference density, which in turn defines a potential vorticity variable minimally affected by thermobaric production, thus providing all necessary tools for extending most results of ideal fluid thermocline theory to a compressible ocean.


title: Understanding Higher-Spin Gravity through Bilocal Holography for Free Fermions

abstract: We consider a simple theory of N free fermions in d dimensions with O\left(N\right) or U\left(N\right) symmetry. The singlet sector of this theory is expected from holography to be dual to the notoriously complicated Vasiliev gravity. By defining bilocal fields we find an explicit holographic mapping between the two theories, similar to what was done previously for scalars, which allows us to construct a quantum version of Vasiliev gravity, including loop (=1/N) corrections. Further more, such a mapping establishes a non-supersymmetric instance of the AdS/CFT duality.


title: Error estimate of the nonuniform $L1$ type formula for the time fractional diffusion-wave equation

abstract: In this paper, a temporal nonuniform $L1$ type difference scheme is built up for the time fractional diffusion-wave equation with the help of the order reduction technique. The unconditional convergence of the nonuniform difference scheme is proved rigorously in $L^2$ norm. Our main tool is the discrete complementary convolution kernels with respect to the coefficient kernels of the L1 type formula. The positive definiteness of the complementary convolution kernels is shown to be vital to the stability and convergence. To the best of our knowledge, this property is proved at the first time on the nonuniform time meshes. Two numerical experiments are presented to verify the accuracy and the efficiency of the proposed numerical methods.


title: Analysis of Cooperative and Non-Cooperative Architectures for Multi-Plane On-Orbit Refueling

abstract: As many satellite constellations are proposed, deployed, and operated, their maintenance becomes increasingly important to provide satisfactory services; therefore, on-orbit refueling to spacecraft has become one of the most promising technologies for realizing more sustainable space development. This paper develops an analytical model to examine two types of mission architectures for multi-target on-orbit refueling missions: a non-cooperative architecture and a cooperative architecture. In the (rather conventional) non-cooperative refueling architecture, a servicer spacecraft visits passive targets one by one, whereas, in the cooperative refueling architecture, both the servicer and the targets can actively maneuver to complete refueling cooperatively. This paper analytically compares the fuel mass required in each architecture to support the decision-making process of mission architects. Furthermore, the condition under which the cooperative architecture becomes more efficient than the non-cooperative architecture is analytically derived. The sensitivities of this condition against key mission parameters, such as the number of targets and their inclination, are also analyzed through a case study of multi-plane multi-target on-orbit refueling in low Earth orbits.


title: Exploring Self-supervised Pre-trained ASR Models For Dysarthric and Elderly Speech Recognition

abstract: Automatic recognition of disordered and elderly speech remains a highly challenging task to date due to the difficulty in collecting such data in large quantities. This paper explores a series of approaches to integrate domain adapted SSL pre-trained models into TDNN and Conformer ASR systems for dysarthric and elderly speech recognition: a) input feature fusion between standard acoustic frontends and domain adapted wav2vec2.0 speech representations; b) frame-level joint decoding of TDNN systems separately trained using standard acoustic features alone and with additional wav2vec2.0 features; and c) multi-pass decoding involving the TDNN/Conformer system outputs to be rescored using domain adapted wav2vec2.0 models. In addition, domain adapted wav2vec2.0 representations are utilized in acoustic-to-articulatory (A2A) inversion to construct multi-modal dysarthric and elderly speech recognition systems. Experiments conducted on the UASpeech dysarthric and DementiaBank Pitt elderly speech corpora suggest TDNN and Conformer ASR systems integrated domain adapted wav2vec2.0 models consistently outperform the standalone wav2vec2.0 models by statistically significant WER reductions of 8.22% and 3.43% absolute (26.71% and 15.88% relative) on the two tasks respectively. The lowest published WERs of 22.56% (52.53% on very low intelligibility, 39.09% on unseen words) and 18.17% are obtained on the UASpeech test set of 16 dysarthric speakers, and the DementiaBank Pitt test set respectively.


title: Reach-avoid Controllers Synthesis for Safety Critical Systems

abstract: In this paper we propose sufficient conditions to synthesizing reach-avoid controllers for deterministic systems modelled by ordinary differential equations and stochastic systems modeled by stochastic differential equations based on the notion of control guidance-barrier functions. We begin with considering deterministic systems. Given an open safe set, a target set and a nominal controller, we attempt to synthesize a reach-avoid controller, which modifies the nominal controller in a minimal way enforcing the reach-avoid objective, i.e., the system will enter the target set eventually while staying inside the safe set before the first target hitting time. Three control guidance-barrier functions are developed and three corresponding conditions for synthesizing reach-avoid controllers are constructed, which get progressively weaker and thus facilitate the optimal controller design. The first and second ones are termed exponential and asymptotic control guidance-barrier functions, which guarantee that every trajectory starting from the safe set will enter the target set respectively at an exponential rate and in an asymptotic way. However, it is observed that these two control guidance-barrier functions have one condition in common of enforcing invariance of its every positive sublevel set until the system enters the target set, which is strict and thus limits the space of admissible controllers. Consequently, a lax control guidance-barrier function is further developed such that only the safe set set is an invariance before the system enters the target set, expanding the space of admissible control inputs. Then, we extend the methodologies for deterministic systems to stochastic systems, which synthesize reach-avoid controllers in the probabilistic setting. Finally, several numerical examples demonstrate the performance of proposed methods.


title: Continuous interaction with a smart speaker via low-dimensional embeddings of dynamic hand pose

abstract: This paper presents a new continuous interaction strategy with visual feedback of hand pose and mid-air gesture recognition and control for a smart music speaker, which utilizes only 2 video frames to recognize gestures. Frame-based hand pose features from MediaPipe Hands, containing 21 landmarks, are embedded into a 2 dimensional pose space by an autoencoder. The corresponding space for interaction with the music content is created by embedding high-dimensional music track profiles to a compatible two-dimensional embedding. A PointNet-based model is then applied to classify gestures which are used to control the device interaction or explore music spaces. By jointly optimising the autoencoder with the classifier, we manage to learn a more useful embedding space for discriminating gestures. We demonstrate the functionality of the system with experienced users selecting different musical moods by varying their hand pose.


title: Active Learning with Combinatorial Coverage

abstract: Active learning is a practical field of machine learning that automates the process of selecting which data to label. Current methods are effective in reducing the burden of data labeling but are heavily model-reliant. This has led to the inability of sampled data to be transferred to new models as well as issues with sampling bias. Both issues are of crucial concern in machine learning deployment. We propose active learning methods utilizing combinatorial coverage to overcome these issues. The proposed methods are data-centric, as opposed to model-centric, and through our experiments we show that the inclusion of coverage in active learning leads to sampling data that tends to be the best in transferring to better performing models and has a competitive sampling bias compared to benchmark methods.


title: Relaxation mechanisms in a disordered system with the Poisson level statistics

abstract: We discuss the interplay between many-body localization and spin-symmetry. To this end, we study the time evolution of several observables in the anisotropic t-J model. Like the Hubbard chain, the studied model contains charge and spin degrees of freedom, yet it has smaller Hilbert space and thus allows for numerical studies of larger systems. We compare the field disorder that breaks the Z_2 spin symmetry and a potential disorder that preserves the latter symmetry. In the former case, sufficiently strong disorder leads to localization of all studied observables, at least for the studied system sizes. However, in the case of symmetry-preserving disorder, we observe that odd operators under the Z_2 spin transformation relax towards the equilibrium value at relatively short time scales that grow only polynomially with the disorder strength. On the other hand, the dynamics of even operators and the level statistics within each symmetry sector are consistent with localization. Our results indicate that localization exists within each symmetry sector for symmetry preserving disorder. Odd operators' apparent relaxation is due to their time evolution between distinct symmetry sectors.


title: Finding Things in the Unknown: Semantic Object-Centric Exploration with an MAV

abstract: Exploration of unknown space with an autonomous mobile robot is a well-studied problem. In this work we broaden the scope of exploration, moving beyond the pure geometric goal of uncovering as much free space as possible. We believe that for many practical applications, exploration should be contextualised with semantic and object-level understanding of the environment for task-specific exploration. Here, we study the task of both finding specific objects in unknown space as well as reconstructing them to a target level of detail. We therefore extend our environment reconstruction to not only consist of a background map, but also object-level and semantically fused submaps. Importantly, we adapt our previous objective function of uncovering as much free space as possible in as little time as possible with two additional elements: first, we require a maximum observation distance of background surfaces to ensure target objects are not missed by image-based detectors because they are too small to be detected. Second, we require an even smaller maximum distance to the found objects in order to reconstruct them with the desired accuracy. We further created a Micro Aerial Vehicle (MAV) semantic exploration simulator based on Habitat in order to quantitatively demonstrate how our framework can be used to efficiently find specific objects as part of exploration. Finally, we showcase this capability can be deployed in real-world scenes involving our drone equipped with an Intel RealSense D455 RGB-D camera.


title: Byzantine-Resilient Multi-Agent Distributed Exact Optimization with Less Data

abstract: This paper studies the distributed multi-agent resilient optimization problem under the f-total Byzantine attacks. Compared with the previous work on Byzantineresilient multi-agent exact optimization problems, we do not require the communication topology to be fully connected. Under the redundancy of cost functions, we propose the distributed comparative gradient elimination resilient optimization algorithm based on the traditional assumptions on strongly convex global costs and Lipschitz continuous gradients. Under this algorithm, we successfully prove that if the number of inneighbors of each normal agent is greater than some constant and the parameter f satisfies certain conditions, all normal agents' local estimations of the global variable will finally reach consensus and converge to the optimized solution. Finally, the numerical experiments successfully verify the correctness of the results.


title: Additivity of multiplicative (generalized) maps over rings

abstract: In this paper, we prove that a bijective map $\varphi$ over a ring $R$ with a non-trivial idempotent satisfying $\varphi(ab)=\varphi(a)\varphi(b),$ for all $a,b\in R$, is additive. Also, we prove that a map $D$ on $R$ satisfying $D(ab)=D(a)b+\varphi(a) D(b),$ for all $a,b\in R$ where $\varphi$ is the map just mentioned above, is additive. Moreover, we establish that if a map $g$ over $R$ satisfies $g(ab)=g(a)b+\varphi(a)D(b),$ for all $a,b\in R$ and above mentioned maps $\varphi$ and $D$, then $g$ is additive.


title: Training sound event detection with soft labels from crowdsourced annotations

abstract: In this paper, we study the use of soft labels to train a system for sound event detection (SED). Soft labels can result from annotations which account for human uncertainty about categories, or emerge as a natural representation of multiple opinions in annotation. Converting annotations to hard labels results in unambiguous categories for training, at the cost of losing the details about the labels distribution. This work investigates how soft labels can be used, and what benefits they bring in training a SED system. The results show that the system is capable of learning information about the activity of the sounds which is reflected in the soft labels and is able to detect sounds that are missed in the typical binary target training setup. We also release a new dataset produced through crowdsourcing, containing temporally strong labels for sound events in real-life recordings, with both soft and hard labels.


title: On a kinetic description of Lotka-Volterra dynamics

abstract: Owing to the analogies between the problem of wealth redistribution with taxation in a multi-agent society, we introduce and discuss a kinetic model describing the statistical distributions in time of the sizes of groups of biological systems with prey-predator dynamic. While the evolution of the mean values is shown to be driven by a classical Lotka-Volterra system of differential equations, it is shown that the time evolution of the probability distributions of the size of groups of the two interacting species is heavily dependent both on a kinetic redistribution operator and the degree of randomness present in the system. Numerical experiments are given to clarify the time-behavior of the distributions of groups of the species.


title: A Little Bit Attention Is All You Need for Person Re-Identification

abstract: Person re-identification plays a key role in applications where a mobile robot needs to track its users over a long period of time, even if they are partially unobserved for some time, in order to follow them or be available on demand. In this context, deep-learning based real-time feature extraction on a mobile robot is often performed on special-purpose devices whose computational resources are shared for multiple tasks. Therefore, the inference speed has to be taken into account. In contrast, person re-identification is often improved by architectural changes that come at the cost of significantly slowing down inference. Attention blocks are one such example. We will show that some well-performing attention blocks used in the state of the art are subject to inference costs that are far too high to justify their use for mobile robotic applications. As a consequence, we propose an attention block that only slightly affects the inference speed while keeping up with much deeper networks or more complex attention blocks in terms of re-identification accuracy. We perform extensive neural architecture search to derive rules at which locations this attention block should be integrated into the architecture in order to achieve the best trade-off between speed and accuracy. Finally, we confirm that the best performing configuration on a re-identification benchmark also performs well on an indoor robotic dataset.


title: Measuring Data Loss resulting from Radio Frequency Interference

abstract: This paper presents an observing methodology for calibrated measurements of radio interference levels and compare these with threshold interference limits that have been established for interference entering the bands allocated to the Radio Astronomy Service. The measurement time and bandwidth intervals for these observations may be commensurate with the time and frequency variability characteristic of the interfering signals and the threshold levels may be appropriately scaled from the values presented in ITU-R RA.769 using a 2\,000 seconds reference time interval. The data loss for astronomical instruments may be measured as a percentage of occupancy in the time-frequency domain both for short and long measurement intervals. The observed time-frequency occupancy characteristics for non-geostationary satellite systems and earth stations in the mobile-satellite service may be incorporated into an effective power flux density simulation to obtain the effective data loss and sky blockage due to these services.