title: A Closer Look at Weakly-Supervised Audio-Visual Source Localization

abstract: Audio-visual source localization is a challenging task that aims to predict the location of visual sound sources in a video. Since collecting ground-truth annotations of sounding objects can be costly, a plethora of weakly-supervised localization methods that can learn from datasets with no bounding-box annotations have been proposed in recent years, by leveraging the natural co-occurrence of audio and visual signals. Despite significant interest, popular evaluation protocols have two major flaws. First, they allow for the use of a fully annotated dataset to perform early stopping, thus significantly increasing the annotation effort required for training. Second, current evaluation metrics assume the presence of sound sources at all times. This is of course an unrealistic assumption, and thus better metrics are necessary to capture the model's performance on (negative) samples with no visible sound sources. To accomplish this, we extend the test set of popular benchmarks, Flickr SoundNet and VGG-Sound Sources, in order to include negative samples, and measure performance using metrics that balance localization accuracy and recall. Using the new protocol, we conducted an extensive evaluation of prior methods, and found that most prior works are not capable of identifying negatives and suffer from significant overfitting problems (rely heavily on early stopping for best results). We also propose a new approach for visual sound source localization that addresses both these problems. In particular, we found that, through extreme visual dropout and the use of momentum encoders, the proposed approach combats overfitting effectively, and establishes a new state-of-the-art performance on both Flickr SoundNet and VGG-Sound Source. Code and pre-trained models are available at https://github.com/stoneMo/SLAVC.


title: The BUCEA Speaker Diarization System for the VoxCeleb Speaker Recognition Challenge 2022

abstract: This paper describes the BUCEA speaker diarization system for the 2022 VoxCeleb Speaker Recognition Challenge. Voxsrc-22 provides the development set and test set of VoxConverse, and we mainly use the test set of VoxConverse for parameter adjustment. Our system consists of several modules, including speech activity detection (VAD), speaker embedding extractor, clustering methods, overlapping speech detection (OSD), and result fusion. Without considering overlap, the Dover-LAP (short for Diarization Output Voting Error Reduction) method was applied to system fusion, and overlapping speech detection and processing were finally carried out. Our best system achieves a diarization error rate (DER) of 5.48% and a Jaccard error rate (JER) of 32.1% on the VoxSRC 2022 evaluation set respectively.


title: Artificial Intelligence in Concrete Materials: A Scientometric View

abstract: Artificial intelligence (AI) has emerged as a transformative and versatile tool, breaking new frontiers across scientific domains. Among its most promising applications, AI research is blossoming in concrete science and engineering, where it has offered new insights towards mixture design optimization and service life prediction of cementitious systems. This chapter aims to uncover the main research interests and knowledge structure of the existing literature on AI for concrete materials. To begin with, a total of 389 journal articles published from 1990 to 2020 were retrieved from the Web of Science. Scientometric tools such as keyword co-occurrence analysis and documentation co-citation analysis were adopted to quantify features and characteristics of the research field. The findings bring to light pressing questions in data-driven concrete research and suggest future opportunities for the concrete community to fully utilize the capabilities of AI techniques.


title: Ein Satz \"{U}ber die Diophantische Gleichung $Ax^{2}-By^{4}=C$ ($C=1,2,4)$

abstract: In this document, we provide both the original German version of Ljunggren's article, "Ein Satz \"{u}ber die Diophantische Gleichung $Ax^{2}-By^{4}=C$ ($C=1,2,4$)", Tolfte Skand. Matematikerkongressen, Lund, 1953, pp.~188--194 (1954), as well as our English translation. It also contains a correction of his Satz 4.


title: Machine Learning Models Evaluation and Feature Importance Analysis on NPL Dataset

abstract: Predicting the probability of non-performing loans for individuals has a vital and beneficial role for banks to decrease credit risk and make the right decisions before giving the loan. The trend to make these decisions are based on credit study and in accordance with generally accepted standards, loan payment history, and demographic data of the clients. In this work, we evaluate how different Machine learning models such as Random Forest, Decision tree, KNN, SVM, and XGBoost perform on the dataset provided by a private bank in Ethiopia. Further, motivated by this evaluation we explore different feature selection methods to state the important features for the bank. Our findings show that XGBoost achieves the highest F1 score on the KMeans SMOTE over-sampled data. We also found that the most important features are the age of the applicant, years of employment, and total income of the applicant rather than collateral-related features in evaluating credit risk.


title: On the mod $p$ cohomology for $\operatorname{GL}_2$

abstract: Let $p$ be a prime number and $F$ a totally real number field unramified at places above $p$. Let $\bar{r}:\operatorname{Gal}(\bar F/F)\rightarrow\operatorname{GL}_2(\bar{\mathbb{F}_p})$ be a modular Galois representation which satisfies the Taylor-Wiles hypothesis and some technical genericity assumptions. For $v$ a fixed place of $F$ above $p$, we prove that many of the admissible smooth representations of $\operatorname{GL}_2(F_v)$ over $\bar{\mathbb{F}_p}$ associated to $\bar{r}$ in the corresponding Hecke-eigenspaces of the mod $p$ cohomology have Gelfand--Kirillov dimension $[F_v:\mathbb{Q}_p]$. This builds on and extends the work of Breuil-Herzig-Hu-Morra-Schraen and Hu-Wang, giving a unified proof in all cases ($\bar{r}$ either semisimple or not at $v$).


title: Rethinking Individual Global Max in Cooperative Multi-Agent Reinforcement Learning

abstract: In cooperative multi-agent reinforcement learning, centralized training and decentralized execution (CTDE) has achieved remarkable success. Individual Global Max (IGM) decomposition, which is an important element of CTDE, measures the consistency between local and joint policies. The majority of IGM-based research focuses on how to establish this consistent relationship, but little attention has been paid to examining IGM's potential flaws. In this work, we reveal that the IGM condition is a lossy decomposition, and the error of lossy decomposition will accumulated in hypernetwork-based methods. To address the above issue, we propose to adopt an imitation learning strategy to separate the lossy decomposition from Bellman iterations, thereby avoiding error accumulation. The proposed strategy is theoretically proved and empirically verified on the StarCraft Multi-Agent Challenge benchmark problem with zero sight view. The results also confirm that the proposed method outperforms state-of-the-art IGM-based approaches.


title: Calibrating Segmentation Networks with Margin-based Label Smoothing

abstract: Despite the undeniable progress in visual recognition tasks fueled by deep neural networks, there exists recent evidence showing that these models are poorly calibrated, resulting in over-confident predictions. The standard practices of minimizing the cross entropy loss during training promote the predicted softmax probabilities to match the one-hot label assignments. Nevertheless, this yields a pre-softmax activation of the correct class that is significantly larger than the remaining activations, which exacerbates the miscalibration problem. Recent observations from the classification literature suggest that loss functions that embed implicit or explicit maximization of the entropy of predictions yield state-of-the-art calibration performances. Despite these findings, the impact of these losses in the relevant task of calibrating medical image segmentation networks remains unexplored. In this work, we provide a unifying constrained-optimization perspective of current state-of-the-art calibration losses. Specifically, these losses could be viewed as approximations of a linear penalty (or a Lagrangian term) imposing equality constraints on logit distances. This points to an important limitation of such underlying equality constraints, whose ensuing gradients constantly push towards a non-informative solution, which might prevent from reaching the best compromise between the discriminative performance and calibration of the model during gradient-based optimization. Following our observations, we propose a simple and flexible generalization based on inequality constraints, which imposes a controllable margin on logit distances. Comprehensive experiments on a variety of public medical image segmentation benchmarks demonstrate that our method sets novel state-of-the-art results on these tasks in terms of network calibration, whereas the discriminative performance is also improved.


title: A Secure Healthcare 5.0 System Based on Blockchain Technology Entangled with Federated Learning Technique

abstract: In recent years, the global Internet of Medical Things (IoMT) industry has evolved at a tremendous speed. Security and privacy are key concerns on the IoMT, owing to the huge scale and deployment of IoMT networks. Machine learning (ML) and blockchain (BC) technologies have significantly enhanced the capabilities and facilities of healthcare 5.0, spawning a new area known as "Smart Healthcare." By identifying concerns early, a smart healthcare system can help avoid long-term damage. This will enhance the quality of life for patients while reducing their stress and healthcare costs. The IoMT enables a range of functionalities in the field of information technology, one of which is smart and interactive health care. However, combining medical data into a single storage location to train a powerful machine learning model raises concerns about privacy, ownership, and compliance with greater concentration. Federated learning (FL) overcomes the preceding difficulties by utilizing a centralized aggregate server to disseminate a global learning model. Simultaneously, the local participant keeps control of patient information, assuring data confidentiality and security. This article conducts a comprehensive analysis of the findings on blockchain technology entangled with federated learning in healthcare. 5.0. The purpose of this study is to construct a secure health monitoring system in healthcare 5.0 by utilizing a blockchain technology and Intrusion Detection System (IDS) to detect any malicious activity in a healthcare network and enables physicians to monitor patients through medical sensors and take necessary measures periodically by predicting diseases.


title: LOFAR search for radio emission from galaxies hosting tidal disruption events

abstract: Radio emission from 23 tidal disruption event host galaxies were searched in the 144 MHz LOFAR-LoTSS2 images. Three host galaxies are detected with diffuse radio emission, which can be interpreted as either galactic synchrotron radio emission or diffuse radio halo in dense galactic environments. Non-detection of (transient) radio emission in majority of galaxies could be due to self-absorption of radio emission associated with the tidal disruption event. The detected objects are AT2018iih, RBS 1032, and NGC 5905. Non-detection for Sw 1644+57 is also reported.


title: Topological Floquet bound states in the continuum

abstract: A honeycomb array of helical waveguides with zigzag-zigzag edges and a refractive index gradient orthogonal to the edges may support Floquet bound states in continuum (BICs). The gradient of the refractive index leads to strong asymmetry of the Floquet-Bloch spectrum. The mechanism of creation of such Floquet BICs is understood as emergence of crossings and avoided crossings of the branches supported by spatially limited stripe array. The whole spectrum of a finite array is split into the bulk branches being continuation of the edge states in the extended zone revealing multiple self-crossings and bulk modes disconnected from the gap states by avoided crossing. Nearly all states in the system are localized due to the gradient, but topological edge states manifest much stronger localization than other states. Such strongly localized Floquet BICs coexist with localized Wannier-Stark-like bulk modes. Robustness of the edge Floquet states is confirmed by their passage through a localized edge defect in the form of a missing waveguide.


title: Multi-level Explanation of Deep Reinforcement Learning-based Scheduling

abstract: Dependency-aware job scheduling in the cluster is NP-hard. Recent work shows that Deep Reinforcement Learning (DRL) is capable of solving it. It is difficult for the administrator to understand the DRL-based policy even though it achieves remarkable performance gain. Therefore the complex model-based scheduler is not easy to gain trust in the system where simplicity is favored. In this paper, we give the multi-level explanation framework to interpret the policy of DRL-based scheduling. We dissect its decision-making process to job level and task level and approximate each level with interpretable models and rules, which align with operational practices. We show that the framework gives the system administrator insights into the state-of-the-art scheduler and reveals the robustness issue in regards to its behavior pattern.


title: Active Particle Filter Networks: Efficient Active Localization in Continuous Action Spaces and Large Maps

abstract: Accurate localization is a critical requirement for most robotic tasks. The main body of existing work is focused on passive localization in which the motions of the robot are assumed given, abstracting from their influence on sampling informative observations. While recent work has shown the benefits of learning motions to disambiguate the robot's poses, these methods are restricted to granular discrete actions and directly depend on the size of the global map. We propose Active Particle Filter Networks (APFN), an approach that only relies on local information for both the likelihood evaluation as well as the decision making. To do so, we couple differentiable particle filters with a reinforcement learning agent that attends to the most relevant parts of the map. The resulting approach inherits the computational benefits of particle filters and can directly act in continuous action spaces while remaining fully differentiable and thereby end-to-end optimizable as well as agnostic to the input modality. We demonstrate the benefits of our approach with extensive experiments in photorealistic indoor environments built from real-world 3D scanned apartments. Videos and code are available at http://apfn.cs.uni-freiburg.de.


title: A Multi-Layer Regression based Predicable Function Fitting Network

abstract: Function plays an important role in mathematics and many science branches. As the fast development of computer technology, more and more study on computational function analysis, e.g., Fast Fourier Transform, Wavelet Transform, Curve Function, are presented in these years. However, there are two main problems in these approaches: 1) hard to handle the complex functions of stationary and non-stationary, periodic and non-periodic, high order and low order; 2) hard to generalize the fitting functions from training data to test data. In this paper, a multiple regression based function fitting network that solves the two main problems is introduced as a predicable function fitting technique. This technique constructs the network includes three main parts: 1) the stationary transform layer, 2) the feature encoding layers, and 3) the fine tuning regression layer. The stationary transform layer recognizes the order of input function data, and transforms non-stationary function to stationary function. The feature encoding layers encode the raw input sequential data to a novel linear regression feature that can capture both the structural and the temporal characters of the sequential data. The fine tuning regression layer then fits the features to the target ahead values. The fitting network with the linear regression feature layers and a non-linear regression layer come up with high quality fitting results and generalizable predictions. The experiments of both mathematic function examples and the real word function examples verifies the efficiency of the proposed technique.


title: Safe Reinforcement Learning with Contrastive Risk Prediction

abstract: As safety violations can lead to severe consequences in real-world robotic applications, the increasing deployment of Reinforcement Learning (RL) in robotic domains has propelled the study of safe exploration for reinforcement learning (safe RL). In this work, we propose a risk preventive training method for safe RL, which learns a statistical contrastive classifier to predict the probability of a state-action pair leading to unsafe states. Based on the predicted risk probabilities, we can collect risk preventive trajectories and reshape the reward function with risk penalties to induce safe RL policies. We conduct experiments in robotic simulation environments. The results show the proposed approach has comparable performance with the state-of-the-art model-based methods and outperforms conventional model-free safe RL approaches.


title: Predicting Mutual Funds' Performance using Deep Learning and Ensemble Techniques

abstract: Predicting fund performance is beneficial to both investors and fund managers, and yet is a challenging task. In this paper, we have tested whether deep learning models can predict fund performance more accurately than traditional statistical techniques. Fund performance is typically evaluated by the Sharpe ratio, which represents the risk-adjusted performance to ensure meaningful comparability across funds. We calculated the annualised Sharpe ratios based on the monthly returns time series data for more than 600 open-end mutual funds investing in listed large-cap equities in the United States. We find that long short-term memory (LSTM) and gated recurrent units (GRUs) deep learning methods, both trained with modern Bayesian optimization, provide higher accuracy in forecasting funds' Sharpe ratios than traditional statistical ones. An ensemble method, which combines forecasts from LSTM and GRUs, achieves the best performance of all models. There is evidence to say that deep learning and ensembling offer promising solutions in addressing the challenge of fund performance forecasting.


title: When could NISQ algorithms start to create value in discrete manufacturing ?

abstract: Are quantum advantages in discrete manufacturing achievable in the near term? As manufacturing-relevant NISQ algorithms, we identified Quantum Annealing (QA) and the Quantum Approximate Optimization Algorithm (QAOA) for combinatorial optimization as well as Derivative Quantum Circuits (DQC) for solving non-linear PDEs. While there is evidence for QAOA's outperformance, this requires post-NISQ circuit depths. In the case of QA, there is up to now no unquestionable evidence for advantage compared to classical computation. Yet different protocols could lead to finding such instances. Together with a well-chosen quantum feature map, DQC are a promising concept. Further investigations for higher dimensional problems and improvements in training could follow.


title: Deep Convolutional Architectures for Extrapolative Forecast in Time-dependent Flow Problems

abstract: Physical systems whose dynamics are governed by partial differential equations (PDEs) find applications in numerous fields, from engineering design to weather forecasting. The process of obtaining the solution from such PDEs may be computationally expensive for large-scale and parameterized problems. In this work, deep learning techniques developed especially for time-series forecasts, such as LSTM and TCN, or for spatial-feature extraction such as CNN, are employed to model the system dynamics for advection dominated problems. These models take as input a sequence of high-fidelity vector solutions for consecutive time-steps obtained from the PDEs and forecast the solutions for the subsequent time-steps using auto-regression; thereby reducing the computation time and power needed to obtain such high-fidelity solutions. The models are tested on numerical benchmarks (1D Burgers' equation and Stoker's dam break problem) to assess the long-term prediction accuracy, even outside the training domain (extrapolation). Non-intrusive reduced-order modelling techniques such as deep auto-encoder networks are utilized to compress the high-fidelity snapshots before feeding them as input to the forecasting models in order to reduce the complexity and the required computations in the online and offline stages. Deep ensembles are employed to perform uncertainty quantification of the forecasting models, which provides information about the variance of the predictions as a result of the epistemic uncertainties.


title: Adversarial Color Projection: A Projector-based Physical Attack to DNNs

abstract: Recent research has demonstrated that deep neural networks (DNNs) are vulnerable to adversarial perturbations. Therefore, it is imperative to evaluate the resilience of advanced DNNs to adversarial attacks. However, traditional methods that use stickers as physical perturbations to deceive classifiers face challenges in achieving stealthiness and are susceptible to printing loss. Recently, advancements in physical attacks have utilized light beams, such as lasers, to perform attacks, where the optical patterns generated are artificial rather than natural. In this work, we propose a black-box projector-based physical attack, referred to as adversarial color projection (AdvCP), which manipulates the physical parameters of color projection to perform an adversarial attack. We evaluate our approach on three crucial criteria: effectiveness, stealthiness, and robustness. In the digital environment, we achieve an attack success rate of 97.60% on a subset of ImageNet, while in the physical environment, we attain an attack success rate of 100% in the indoor test and 82.14% in the outdoor test. The adversarial samples generated by AdvCP are compared with baseline samples to demonstrate the stealthiness of our approach. When attacking advanced DNNs, experimental results show that our method can achieve more than 85% attack success rate in all cases, which verifies the robustness of AdvCP. Finally, we consider the potential threats posed by AdvCP to future vision-based systems and applications and suggest some ideas for light-based physical attacks.


title: A Framework for Preserving Privacy and Cybersecurity in Brain-Computer Interfacing Applications

abstract: Brain-Computer Interfaces (BCIs) comprise a rapidly evolving field of technology with the potential of far-reaching impact in domains ranging from medical over industrial to artistic, gaming, and military. Today, these emerging BCI applications are typically still at early technology readiness levels, but because BCIs create novel, technical communication channels for the human brain, they have raised privacy and security concerns. To mitigate such risks, a large body of countermeasures has been proposed in the literature, but a general framework is lacking which would describe how privacy and security of BCI applications can be protected by design, i.e., already as an integral part of the early BCI design process, in a systematic manner, and allowing suitable depth of analysis for different contexts such as commercial BCI product development vs. academic research and lab prototypes. Here we propose the adoption of recent systems-engineering methodologies for privacy threat modeling, risk assessment, and privacy engineering to the BCI field. These methodologies address privacy and security concerns in a more systematic and holistic way than previous approaches, and provide reusable patterns on how to move from principles to actions. We apply these methodologies to BCI and data flows and derive a generic, extensible, and actionable framework for brain-privacy-preserving cybersecurity in BCI applications. This framework is designed for flexible application to the wide range of current and future BCI applications. We also propose a range of novel privacy-by-design features for BCIs, with an emphasis on features promoting BCI transparency as a prerequisite for informational self-determination of BCI users, as well as design features for ensuring BCI user autonomy. We anticipate that our framework will contribute to the development of privacy-respecting, trustworthy BCI technologies.


title: An optimal superconducting hybrid machine

abstract: Optimal engine performances are accomplished by quantum effects. Here we explore two routes towards ideal engines, namely (1) quantum systems that operate as hybrid machines being able to perform more than one useful task and (2) the suppression of fluctuations in doing such tasks. For classical devices, the absence of fluctuations is conditioned by a high entropy production as dictate the thermodynamic uncertainty relations. Here we generalize such relations for multiterminal conductors that operate as hybrid thermal machines. These relations are overcome in quantum conductors as we demonstrate for a double quantum dot contacted to normal metals and a reservoir being a generator of entangled Cooper pairs.


title: Lower Bounds on the Worst-Case Complexity of Efficient Global Optimization

abstract: Efficient global optimization is a widely used method for optimizing expensive black-box functions such as tuning hyperparameter, and designing new material, etc. Despite its popularity, less attention has been paid to analyzing the inherent hardness of the problem although, given its extensive use, it is important to understand the fundamental limits of efficient global optimization algorithms. In this paper, we study the worst-case complexity of the efficient global optimization problem and, in contrast to existing kernel-specific results, we derive a unified lower bound for the complexity of efficient global optimization in terms of the metric entropy of a ball in its corresponding reproducing kernel Hilbert space~(RKHS). Specifically, we show that if there exists a deterministic algorithm that achieves suboptimality gap smaller than $\epsilon$ for any function $f\in S$ in $T$ function evaluations, it is necessary that $T$ is at least $\Omega\left(\frac{\log\mathcal{N}(S(\mathcal{X}), 4\epsilon,\|\cdot\|_\infty)}{\log(\frac{R}{\epsilon})}\right)$, where $\mathcal{N}(\cdot,\cdot,\cdot)$ is the covering number, $S$ is the ball centered at $0$ with radius $R$ in the RKHS and $S(\mathcal{X})$ is the restriction of $S$ over the feasible set $\mathcal{X}$. Moreover, we show that this lower bound nearly matches the upper bound attained by non-adaptive search algorithms for the commonly used squared exponential kernel and the Mat\'ern kernel with a large smoothness parameter $\nu$, up to a replacement of $d/2$ by $d$ and a logarithmic term $\log\frac{R}{\epsilon}$. That is to say, our lower bound is nearly optimal for these kernels.


title: Nonparametric estimates of option prices via Hermite basis functions

abstract: We consider approximate pricing formulas for European options based on approximating the logarithmic return's density of the underlying by a linear combination of rescaled Hermite polynomials. The resulting models, that can be seen as perturbations of the classical Black-Scholes one, are nonpararametric in the sense that the distribution of logarithmic returns at fixed times to maturity is only assumed to have a square-integrable density. We extensively investigate the empirical performance, defined in terms of out-of-sample relative pricing error, of this class of approximating models, depending on their order (that is, roughly speaking, the degree of the polynomial expansion) as well as on several ways to calibrate them to observed data. Empirical results suggest that such approximate pricing formulas, when compared with simple nonparametric estimates based on interpolation and extrapolation on the implied volatility curve, perform reasonably well only for options with strike price not too far apart from the strike prices of the observed sample.


title: View-Disentangled Transformer for Brain Lesion Detection

abstract: Deep neural networks (DNNs) have been widely adopted in brain lesion detection and segmentation. However, locating small lesions in 2D MRI slices is challenging, and requires to balance between the granularity of 3D context aggregation and the computational complexity. In this paper, we propose a novel view-disentangled transformer to enhance the extraction of MRI features for more accurate tumour detection. First, the proposed transformer harvests long-range correlation among different positions in a 3D brain scan. Second, the transformer models a stack of slice features as multiple 2D views and enhance these features view-by-view, which approximately achieves the 3D correlation computing in an efficient way. Third, we deploy the proposed transformer module in a transformer backbone, which can effectively detect the 2D regions surrounding brain lesions. The experimental results show that our proposed view-disentangled transformer performs well for brain lesion detection on a challenging brain MRI dataset.


title: Lazy vs hasty: linearization in deep networks impacts learning schedule based on example difficulty

abstract: Among attempts at giving a theoretical account of the success of deep neural networks, a recent line of work has identified a so-called lazy training regime in which the network can be well approximated by its linearization around initialization. Here we investigate the comparative effect of the lazy (linear) and feature learning (non-linear) regimes on subgroups of examples based on their difficulty. Specifically, we show that easier examples are given more weight in feature learning mode, resulting in faster training compared to more difficult ones. In other words, the non-linear dynamics tends to sequentialize the learning of examples of increasing difficulty. We illustrate this phenomenon across different ways to quantify example difficulty, including c-score, label noise, and in the presence of easy-to-learn spurious correlations. Our results reveal a new understanding of how deep networks prioritize resources across example difficulty.


title: Ki-Pode: Keypoint-based Implicit Pose Distribution Estimation of Rigid Objects

abstract: The estimation of 6D poses of rigid objects is a fundamental problem in computer vision. Traditionally pose estimation is concerned with the determination of a single best estimate. However, a single estimate is unable to express visual ambiguity, which in many cases is unavoidable due to object symmetries or occlusion of identifying features. Inability to account for ambiguities in pose can lead to failure in subsequent methods, which is unacceptable when the cost of failure is high. Estimates of full pose distributions are, contrary to single estimates, well suited for expressing uncertainty on pose. Motivated by this, we propose a novel pose distribution estimation method. An implicit formulation of the probability distribution over object pose is derived from an intermediary representation of an object as a set of keypoints. This ensures that the pose distribution estimates have a high level of interpretability. Furthermore, our method is based on conservative approximations, which leads to reliable estimates. The method has been evaluated on the task of rotation distribution estimation on the YCB-V and T-LESS datasets and performs reliably on all objects.


title: Industrial Data Science for Batch Manufacturing Processes

abstract: Batch processes show several sources of variability, from raw materials' properties to initial and evolving conditions that change during the different events in the manufacturing process. In this chapter, we will illustrate with an industrial example how to use machine learning to reduce this apparent excess of data while maintaining the relevant information for process engineers. Two common use cases will be presented: 1) AutoML analysis to quickly find correlations in batch process data, and 2) trajectory analysis to monitor and identify anomalous batches leading to process control improvements.


title: Exact Matching and the Top-k Perfect Matching Problem

abstract: The aim of this note is to provide a reduction of the Exact Matching problem to the Top-$k$ Perfect Matching Problem. Together with earlier work by El Maalouly, this shows that the two problems are polynomial-time equivalent. The Exact Matching Problem is a well-known 40 years old problem for which a randomized, but no deterministic poly-time algorithm has been discovered. The Top-$k$ Perfect Matching Problem is the problem of finding a perfect matching which maximizes the total weight of the $k$ heaviest edges contained in it.


title: Stability of the vortex in micromagnetics and related models

abstract: We consider line-energy models of Ginzburg-Landau type in a two-dimensional simply-connected bounded domain. Configurations of vanishing energy have been characterized by Jabin, Otto and Perthame: the domain must be a disk, and the configuration a vortex. We prove a quantitative version of this statement in the class of $C^{1,1}$ domains, improving on previous results by Lorent. In particular, the deviation of the domain from a disk is controlled by a power of the energy, and that power is optimal. The main tool is a Lagrangian representation introduced by the second author, which allows to decompose the energy along characteristic curves.


title: Autonomous Visual Navigation A Biologically Inspired Approach

abstract: Inspired by the navigational behavior observed in the animal kingdom and especially the navigational behavior of the ants, we attempt to simulate it in an artificial environment by implementing different kinds of biomimetic algorithms.


title: B{\'e}nard convection in a slowly rotating penny shaped cylinder subject to constant heat flux boundary conditions

abstract: We consider axisymmetric Boussinesq convection in a shallow cylinder radius, L, and depth, H (<< L), which rotates with angular velocity $\Omega$ about its axis of symmetry aligned to the vertical. Constant heat flux boundary conditions, top and bottom, are adopted, for which the onset of instability occurs on a long horizontal length scale provided that $\Omega$ is sufficiently small. We investigate the nonlinear development by well-established two-scale asymptotic expansion methods. Comparisons of the results with the direct numerical simulations (DNS) of the primitive governing equations are good at sufficiently large Prandtl number, $\sigma$. As $\sigma$ is reduced, the finite amplitude range of applicability of the asymptotics reduces in concert. Though the large meridional convective cell, predicted by the DNS, is approximated adequately by the asymptotics, the azimuthal flow fails almost catastrophically, because of significant angular momentum transport at small $\sigma$, exacerbated by the cylindrical geometry. To appraise the situation, we propose hybrid methods that build on the meridional streamfunction $\psi$ derived from the asymptotics. With $\psi$ given, we solve the now linear azimuthal equation of motion for the azimuthal velocity v by DNS. Our ''hybrid'' methods enable us to explain features of the flow at large Rayleigh number, found previously by Oruba, Davidson \& Dormy (J. Fluid Mech.,vol. 812, 2017, pp. 890-904).


title: Multi-scale dynamics in star-forming regions: the interplay between gravity and turbulence

abstract: In the multi-scale view of the star formation process the material flows from large molecular clouds down to clumps and cores. In this paradigm it is still unclear if it is gravity or turbulence that drives the observed supersonic non-thermal motions during the collapse, in particular in high-mass regions, and at which scales gravity becomes eventually dominant over the turbulence of the interstellar medium. To investigate this problem we have combined the dynamics of a sample of 70 micron-quiet clumps, selected to cover a wide range of masses and surface densities, with the dynamics of the parent filaments in which they are embedded. We observe a continuous interplay between turbulence and gravity, where the former creates structures at all scales and the latter takes the lead when a critical value of the surface density is reached, Sigma_th = 0.1 g cm^-2. In the densest filaments this transition can occur at the parsec, or even larger scales, leading to a global collapse of the whole region and most likely to the formation of the massive objects.


title: Documenting use cases in the affective computing domain using Unified Modeling Language

abstract: The study of the ethical impact of AI and the design of trustworthy systems needs the analysis of the scenarios where AI systems are used, which is related to the software engineering concept of "use case" and the "intended purpose" legal term. However, there is no standard methodology for use case documentation covering the context of use, scope, functional requirements and risks of an AI system. In this work, we propose a novel documentation methodology for AI use cases, with a special focus on the affective computing domain. Our approach builds upon an assessment of use case information needs documented in the research literature and the recently proposed European regulatory framework for AI. From this assessment, we adopt and adapt the Unified Modeling Language (UML), which has been used in the last two decades mostly by software engineers. Each use case is then represented by an UML diagram and a structured table, and we provide a set of examples illustrating its application to several affective computing scenarios.


title: Dynamic fracture with continuum-kinematics-based peridynamics

abstract: This contribution presents a concept to dynamic fracture with continuum-kinematics-based peridynamics. Continuum-kinematics-based peridynamics is a geometrically exact formulation of peridynamics, which adds surface- or volumetric-based interactions to the classical peridynamic bonds, thus capturing the finite deformation kinematics correctly. The surfaces and volumes considered for these non-local interactions are constructed using the point families derived from the material points' horizon. For fracture, the classical bond-stretch damage approach is not sufficient in continuum-kinematics-based peridynamics. Here it is extended to the surface- and volume-based interactions by additional failure variables considering the loss of strength in the material points' internal force densities. By numerical examples, it is shown that the approach can correctly handle crack growth, impact damage, and spontaneous crack initiation under dynamic loading conditions with large deformations.


title: Maximizing a Submodular Function with Bounded Curvature under an Unknown Knapsack Constraint

abstract: This paper studies the problem of maximizing a monotone submodular function under an unknown knapsack constraint. A solution to this problem is a policy that decides which item to pack next based on the past packing history. The robustness factor of a policy is the worst case ratio of the solution obtained by following the policy and an optimal solution that knows the knapsack capacity. We develop an algorithm with a robustness factor that is decreasing in the curvature $B$ of the submodular function. For the extreme cases $c=0$ corresponding to a modular objective, it matches a previously known and best possible robustness factor of $1/2$. For the other extreme case of $c=1$ it yields a robustness factor of $\approx 0.35$ improving over the best previously known robustness factor of $\approx 0.06$.


title: Ferroelectric valley valves with graphene/MoTe$_2$ van der Waals heterostructures

abstract: Ferroelectric van der Waals heterostructures provide a natural platform to design a variety of electrically controllable devices. In this work, we demonstrate that AB bilayer graphene encapsulated in MoTe$_2$ acts as a valley valve that displays a switchable built-in topological gap, leading to ferroelectrically driven topological channels. Using a combination of ab initio calculations and low energy models, we show that the ferroelectric order of MoTe$_2$ allows the control of the gap opening in bilayer graphene and leads to topological channels between different ferroelectric domains. Moreover, we analyze the effect that the moir\'e modulation between MoTe$_2$ and graphene layers has in the topological modes, demonstrating that the edge states are robust against moir\'e modulations of the ferroelectrically-induced electric potential. Our results put forward ferroelectric/graphene heterostructures as versatile platforms to engineer switchable built-in topological channels without requiring an external electric bias.


title: Explainable Clustering via Exemplars: Complexity and Efficient Approximation Algorithms

abstract: Explainable AI (XAI) is an important developing area but remains relatively understudied for clustering. We propose an explainable-by-design clustering approach that not only finds clusters but also exemplars to explain each cluster. The use of exemplars for understanding is supported by the exemplar-based school of concept definition in psychology. We show that finding a small set of exemplars to explain even a single cluster is computationally intractable; hence, the overall problem is challenging. We develop an approximation algorithm that provides provable performance guarantees with respect to clustering quality as well as the number of exemplars used. This basic algorithm explains all the instances in every cluster whilst another approximation algorithm uses a bounded number of exemplars to allow simpler explanations and provably covers a large fraction of all the instances. Experimental results show that our work is useful in domains involving difficult to understand deep embeddings of images and text.


title: Efficient Simulation of Complex Capillary Effects in Advanced Manufacturing Processes using the Finite Volume Method

abstract: The accurate representation of surface tension driven flows in multiphase systems is considered a challenging problem to resolve numerically. Although there have been extensive works in the past that have presented approaches to resolve these so called Marangoni flows at the phase boundaries, the question of how to efficiently resolve the interface in a universal and conservative manner remains largely open in comparison. Such problems are of high practical relevance in many manufacturing processes, especially in the microfluidic regime where capillary effects dominate the local force equilibria. In this work, we present a freely available numerical solver based on the Finite Volume Method that is able to resolve arbitrarily complex, incompressible multiphase systems with the mentioned physics at phase boundaries. An efficient solution with respect to the number of degrees of freedom can be obtained by either using high order WENO stencils or by employing adaptive cell refinement. We demonstrate the capabilities of the solver by investigating a model benchmark case as well as a single track laser melting process that is highly relevant within laser additive manufacturing.

categories: math.NA cond-mat.mtrl-sci cs.NA physics.flu-dyn


title: Algebraic delocalization for the Schr\"odinger equation on large tori

abstract: Let $\mathcal{L}$ be a fixed $d$-dimensional lattice. We study the localization properties of solutions of the stationary Schr\"odinger equation with a positive $L^\infty$ potential on tori $\mathbb{R}^d/L\mathcal{L}$ in the limit, as $L\to\infty$, for dimension $d \leq 3$. We show that the probability measures associated with $L^2$-normalized solutions, with eigenvalue $E$ near the bottom of the spectrum, satisfy an algebraic delocalization theorem which states that these probability measures cannot be localized inside a ball of radius $r = o(E^{-1/4+\epsilon})$, unless localization occurs with a sufficiently slow algebraic decay. In particular, we apply our result to Schr\"odinger operators modeling disordered systems, such as the d-dimensional continuous Anderson- Bernoulli model, where almost sure exponential localization of eigenfunctions, in the limit as $E \to 0$, was proved by Bourgain-Kenig in dimension $d \geq 2$, and show that our theorem implies an algebraic blow-up of localization length in this limit.


title: ExoClock Project III: 450 new exoplanet ephemerides from ground and space observations

abstract: The ExoClock project has been created with the aim of increasing the efficiency of the Ariel mission. It will achieve this by continuously monitoring and updating the ephemerides of Ariel candidates over an extended period, in order to produce a consistent catalogue of reliable and precise ephemerides. This work presents a homogenous catalogue of updated ephemerides for 450 planets, generated by the integration of $\sim$18000 data points from multiple sources. These sources include observations from ground-based telescopes (ExoClock network and ETD), mid-time values from the literature and light-curves from space telescopes (Kepler/K2 and TESS). With all the above, we manage to collect observations for half of the post-discovery years (median), with data that have a median uncertainty less than one minute. In comparison with literature, the ephemerides generated by the project are more precise and less biased. More than 40\% of the initial literature ephemerides had to be updated to reach the goals of the project, as they were either of low precision or drifting. Moreover, the integrated approach of the project enables both the monitoring of the majority of the Ariel candidates (95\%), and also the identification of missing data. The dedicated ExoClock network effectively supports this task by contributing additional observations when a gap in the data is identified. These results highlight the need for continuous monitoring to increase the observing coverage of the candidate planets. Finally, the extended observing coverage of planets allows us to detect trends (TTVs - Transit Timing Variations) for a sample of 19 planets. All products, data, and codes used in this work are open and accessible to the wider scientific community.


title: Testing Rare Downstream Safety Violations via Upstream Adaptive Sampling of Perception Error Models

abstract: Testing black-box perceptual-control systems in simulation faces two difficulties. Firstly, perceptual inputs in simulation lack the fidelity of real-world sensor inputs. Secondly, for a reasonably accurate perception system, encountering a rare failure trajectory may require running infeasibly many simulations. This paper combines perception error models -- surrogates for a sensor-based detection system -- with state-dependent adaptive importance sampling. This allows us to efficiently assess the rare failure probabilities for real-world perceptual control systems within simulation. Our experiments with an autonomous braking system equipped with an RGB obstacle-detector show that our method can calculate accurate failure probabilities with an inexpensive number of simulations. Further, we show how choice of safety metric can influence the process of learning proposal distributions capable of reliably sampling high-probability failures.


title: Symbolic Regression with Fast Function Extraction and Nonlinear Least Squares Optimization

abstract: Fast Function Extraction (FFX) is a deterministic algorithm for solving symbolic regression problems. We improve the accuracy of FFX by adding parameters to the arguments of nonlinear functions. Instead of only optimizing linear parameters, we optimize these additional nonlinear parameters with separable nonlinear least squared optimization using a variable projection algorithm. Both FFX and our new algorithm is applied on the PennML benchmark suite. We show that the proposed extensions of FFX leads to higher accuracy while providing models of similar length and with only a small increase in runtime on the given data. Our results are compared to a large set of regression methods that were already published for the given benchmark suite.


title: Evaluation Framework for Computer Vision-Based Guidance of the Visually Impaired

abstract: Visually impaired persons have significant problems in their everyday movement. Therefore, some of our previous work involves computer vision in developing assistance systems for guiding the visually impaired in critical situations. Some of those situations includes crosswalks on road crossings and stairs in indoor and outdoor environment. This paper presents an evaluation framework for computer vision-based guiding of the visually impaired persons in such critical situations. Presented framework includes the interface for labeling and storing referent human decisions for guiding directions and compares them to computer vision-based decisions. Since strict evaluation methodology in this research field is not clearly defined and due to the specifics of the transfer of information to visually impaired persons, evaluation criterion for specific simplified guiding instructions is proposed.


title: A Simple Temporal Information Matching Mechanism for Entity Alignment Between Temporal Knowledge Graphs

abstract: Entity alignment (EA) aims to find entities in different knowledge graphs (KGs) that refer to the same object in the real world. Recent studies incorporate temporal information to augment the representations of KGs. The existing methods for EA between temporal KGs (TKGs) utilize a time-aware attention mechanism to incorporate relational and temporal information into entity embeddings. The approaches outperform the previous methods by using temporal information. However, we believe that it is not necessary to learn the embeddings of temporal information in KGs since most TKGs have uniform temporal representations. Therefore, we propose a simple graph neural network (GNN) model combined with a temporal information matching mechanism, which achieves better performance with less time and fewer parameters. Furthermore, since alignment seeds are difficult to label in real-world applications, we also propose a method to generate unsupervised alignment seeds via the temporal information of TKG. Extensive experiments on public datasets indicate that our supervised method significantly outperforms the previous methods and the unsupervised one has competitive performance.


title: Detecting respiratory motion artefacts for cardiovascular MRIs to ensure high-quality segmentation

abstract: While machine learning approaches perform well on their training domain, they generally tend to fail in a real-world application. In cardiovascular magnetic resonance imaging (CMR), respiratory motion represents a major challenge in terms of acquisition quality and therefore subsequent analysis and final diagnosis. We present a workflow which predicts a severity score for respiratory motion in CMR for the CMRxMotion challenge 2022. This is an important tool for technicians to immediately provide feedback on the CMR quality during acquisition, as poor-quality images can directly be re-acquired while the patient is still available in the vicinity. Thus, our method ensures that the acquired CMR holds up to a specific quality standard before it is used for further diagnosis. Therefore, it enables an efficient base for proper diagnosis without having time and cost-intensive re-acquisitions in cases of severe motion artefacts. Combined with our segmentation model, this can help cardiologists and technicians in their daily routine by providing a complete pipeline to guarantee proper quality assessment and genuine segmentations for cardiovascular scans. The code base is available at https://github.com/MECLabTUDA/QA_med_data/tree/dev_QA_CMRxMotion.


title: An introduction to model categories with examples

abstract: We give an informal introduction to model categories, and treat three important examples in some details: the category of small categories, the category of dg algebras, and the category of small dg categories.


title: Stochastic Models for Replication Origin Spacings in Eukaryotic DNA Replication

abstract: We consider eukaryotic DNA replication and in particular the role of replication origins in this process. We focus on origins which are `active' - that is, trigger themselves in the process before being read by the replication forks of other origins. We initially consider the spacings of these active replication origins in comparison to certain probability distributions of spacings taken from random matrix theory. We see how the spacings between neighbouring eigenvalues from certain collections of random matrices has some potential for modelling the spacing between active origins. This suitability can be further augmented with the use of uniform thinning which acts as a continuous deformation between correlated eigenvalue spacings and exponential (Poissonian) spacings. We model the process as a modified 2D Poisson process with an added exclusion rule to identify active points based on their position on the chromosome and trigger time relative to other origins. We see how this can be reduced to a stochastic geometry problem and show analytically that two active origins are unlikely to be close together, regardless of how many non-active points are between them. In particular, we see how these active origins repel linearly. We then see how data from various DNA datasets match with simulations from our model. We see that whilst there is variety in the DNA data, comparing the data with the model provides insight into the replication origin distribution of various organisms.


title: SCGG: A Deep Structure-Conditioned Graph Generative Model

abstract: Deep learning-based graph generation approaches have remarkable capacities for graph data modeling, allowing them to solve a wide range of real-world problems. Making these methods able to consider different conditions during the generation procedure even increases their effectiveness by empowering them to generate new graph samples that meet the desired criteria. This paper presents a conditional deep graph generation method called SCGG that considers a particular type of structural conditions. Specifically, our proposed SCGG model takes an initial subgraph and autoregressively generates new nodes and their corresponding edges on top of the given conditioning substructure. The architecture of SCGG consists of a graph representation learning network and an autoregressive generative model, which is trained end-to-end. Using this model, we can address graph completion, a rampant and inherently difficult problem of recovering missing nodes and their associated edges of partially observed graphs. Experimental results on both synthetic and real-world datasets demonstrate the superiority of our method compared with state-of-the-art baselines.


title: E- & T-Model Hybrid Inflation

abstract: We consider the impact of a kinetic pole of order one or two on the non-supersymmetric model of hybrid inflation. These poles arise due to logarithmic Kaehler potentials which control the kinetic mixing of the inflaton field and parameterize hyperbolic manifolds with scalar curvature related to the coefficient (-N)<0 of the logarithm. Inflation is associated with the breaking of a local SU(2)xU(1) symmetry, which does not produce any cosmological defects after it, and remains largely immune from the minimal possible radiative corrections to the inflationary potential. For N=1 and equal values of the relevant coupling constants, lambda and kappa, the achievement of the observationally central value of ns requires the mass parameter, m, and the symmetry breaking scale, M, to be of the order of 10^12 GeV and 10^17 GeV respectively. Increasing N above unity the tensor-to-scalar ratio r increases above 0.002 and reaches its maximal allowed value for N~10-20.


title: Integrated modelling and multiscale gyrokinetic validation study of ETG turbulence in a JET hybrid H-mode scenario

abstract: Previous studies with first-principle-based integrated modelling suggested that ETG turbulence may lead to an anti-GyroBohm isotope scaling in JET high-performance hybrid H-mode scenarios. A dedicated comparison study against higher-fidelity turbulence modelling invalidates this claim. Ion-scale turbulence with magnetic field perturbations included, can match the power balance fluxes within temperature gradient error margins. Multiscale gyrokinetic simulations from two distinct codes produce no significant ETG heat flux, demonstrating that simple rules-of-thumb are insufficient criteria for its onset.


title: Quintessence from a state space perspective

abstract: We use dynamical systems methods to study quintessence models in a spatially flat and isotropic spacetime with matter and a scalar field with potentials for which $\lambda(\varphi)=-V_{,\varphi}/V$ is bounded, thereby going beyond the exponential potential for which $\lambda(\varphi)$ is constant. The scalar field equation of state parameter $w_\varphi$ plays a central role when comparing quintessence models with observations, but with the dynamical systems used to date $w_\varphi$ is an indeterminate, discontinuous, function on the state space in the asymptotically matter dominated regime. Our first main result is the introduction of new variables that lead to a \emph{regular} dynamical system on a \emph{bounded} three-dimensional state space on which $w_\varphi$ is a \emph{regular} function. The solution trajectories in the state space then provide a visualization of different types of quintessence evolution, and how initial conditions affect the transition between the matter and scalar field dominated epochs; this is complemented by graphs $w_\varphi(N)$, where $N$ is the $e$-fold time, which enables characterizing different types of quintessence evolution.


title: Does the fraction of dark matter diminish with early dark energy?

abstract: In pre-recombination early dark energy (EDE) resolutions of the Hubble tension, the rise of Hubble constant value $H_0$ is usually accompanied with the exacerbation of so-called $S_8$ tension. Inspired by the swampland conjecture, we investigate what if a fraction $f_*$ of dark matter is coupled to EDE, $m_{cdm}\sim \exp{(-c{|\Delta\phi_{ede}|\over M_{pl}})}$ with $c\sim {\cal O}(1)$. We perform the MCMC analysis for the relevant EDE models with PlanckCMB, BAO, Pantheon and SH0ES dataset, as well as DES-Y1 data, and find that such a fraction helps to alleviate the $S_8$ tension. However, though $c\gtrsim 0.1$ is allowed for a very small $f_*$, which suggests that a small fraction of dark matter has ever faded with EDE, $c\sim0$ is also consistent.


title: Shifted Contact Structures and Their Local Theory

abstract: In this paper, we formally define the concept of $k$-shifted contact structures on derived (Artin) stacks and study their local properties in the context of derived algebraic geometry. In this regard, for $k$-shifted contact derived $\mathbb{K}$-schemes, we develop a Darboux-like theorem and formulate the notion of symplectification.


title: Frame Size Optimization Using a Machine Learning Approach in WLAN Downlink MU-MIMO Channel

abstract: The IEEE 802.11ac/n introduced frame aggregation technology to accommodate the growing traffic demand and increase the performance of transmission efficiency and channel utilization. This is achieved by allowing many packets to be aggregated per transmission which realized a significant enhancement in the throughput performance of WLAN. However, it is difficult to efficiently utilize the benefits of frame aggregation in the downlink MU-MIMO channels as stations have heterogeneous transmission demands and data transmission rates. As a result of this, wasted space channel time will occur which degrades transmission efficiency. In addressing these challenges, the existing studies have proposed different approaches. However, most of these approaches did not consider a machine-Learning based optimization solution. The main contribution of this paper is to propose a machine-learning-based frame size optimization solution to maximize the system throughput of WLAN in the downlink MU-MIMO channel. In this approach, the Access Point (AP) performs the maximum system throughput measurement and collected frame size-system throughput patterns which contain knowledge about the effects of traffic patterns, channel conditions, and number of stations(STAs). Based on these patterns,our approach uses a neural network to correctly model the system throughput as a function of the system frame size. After training the neural network, we obtain the gradient information to adjust the frame size. the performance of the proposed Machine learning(ML) approach is evaluated over the FIFO aggregation algorithm under the effects of heterogenous traffic patterns for VoIP and video applications, channel conditions, and number of stations.


title: Sparse Vicious Attacks on Graph Neural Networks

abstract: Graph Neural Networks (GNNs) have proven to be successful in several predictive modeling tasks for graph-structured data. Amongst those tasks, link prediction is one of the fundamental problems for many real-world applications, such as recommender systems. However, GNNs are not immune to adversarial attacks, i.e., carefully crafted malicious examples that are designed to fool the predictive model. In this work, we focus on a specific, white-box attack to GNN-based link prediction models, where a malicious node aims to appear in the list of recommended nodes for a given target victim. To achieve this goal, the attacker node may also count on the cooperation of other existing peers that it directly controls, namely on the ability to inject a number of ``vicious'' nodes in the network. Specifically, all these malicious nodes can add new edges or remove existing ones, thereby perturbing the original graph. Thus, we propose SAVAGE, a novel framework and a method to mount this type of link prediction attacks. SAVAGE formulates the adversary's goal as an optimization task, striking the balance between the effectiveness of the attack and the sparsity of malicious resources required. Extensive experiments conducted on real-world and synthetic datasets demonstrate that adversarial attacks implemented through SAVAGE indeed achieve high attack success rate yet using a small amount of vicious nodes. Finally, despite those attacks require full knowledge of the target model, we show that they are successfully transferable to other black-box methods for link prediction.


title: Stochastic equations and dynamics beyond mean-field theory

abstract: The dynamical transition occurring in spin-glass models with one step of Replica-Symmetry-Breaking is a mean-field artifact that disappears in finite systems and/or in finite dimensions. The critical fluctuations that smooth the transition are described in the $\beta$ regime by dynamical stochastic equations. The quantitative parameters of the dynamical stochastic equations have been computed analytically on the 3-spin Bethe lattice Spin-Glass by means of the (static) cavity method and the equations have been solved numerically. The resulting parameter-free dynamical predictions are shown here to be in excellent agreement with numerical simulation data for the correlation and its fluctuations.


title: Classification of involutions on finitary incidence algebras of non-connected posets

abstract: Let $FI(X,K)$ be the finitary incidence algebra of a non-connected partially ordered set $X$ over a field $K$ of characteristic different from $2$. For the case where every multiplicative automorphism of $FI(X,K)$ is inner, we present necessary and sufficient conditions for two involutions on $FI(X,K)$ to be equivalent.


title: Two Piggybacking Codes with Flexible Sub-Packetization to Achieve Lower Repair Bandwidth

abstract: As a special class of array codes, $(n,k,m)$ piggybacking codes are MDS codes (i.e., any $k$ out of $n$ nodes can retrieve all data symbols) that can achieve low repair bandwidth for single-node failure with low sub-packetization $m$. In this paper, we propose two new piggybacking codes that have lower repair bandwidth than the existing piggybacking codes given the same parameters. Our first piggybacking codes can support flexible sub-packetization $m$ with $2\leq m\leq n-k$, where $n - k > 3$. We show that our first piggybacking codes have lower repair bandwidth for any single-node failure than the existing piggybacking codes when $n - k = 8,9$, $m = 6$ and $30\leq k \leq 100$. Moreover, we propose second piggybacking codes such that the sub-packetization is a multiple of the number of parity nodes (i.e., $(n-k)|m$), by jointly designing the piggyback function for data node repair and transformation function for parity node repair. We show that the proposed second piggybacking codes have lowest repair bandwidth for any single-node failure among all the existing piggybacking codes for the evaluated parameters $k/n = 0.75, 0.8, 0.9$ and $n-k\geq 4$.


title: Personalized Longitudinal Assessment of Multiple Sclerosis Using Smartphones

abstract: Personalized longitudinal disease assessment is central to quickly diagnosing, appropriately managing, and optimally adapting the therapeutic strategy of multiple sclerosis (MS). It is also important for identifying the idiosyncratic subject-specific disease profiles. Here, we design a novel longitudinal model to map individual disease trajectories in an automated way using sensor data that may contain missing values. First, we collect digital measurements related to gait and balance, and upper extremity functions using sensor-based assessments administered on a smartphone. Next, we treat missing data via imputation. We then discover potential markers of MS by employing a generalized estimation equation. Subsequently, parameters learned from multiple training datasets are ensembled to form a simple, unified longitudinal predictive model to forecast MS over time in previously unseen people with MS. To mitigate potential underestimation for individuals with severe disease scores, the final model incorporates additional subject-specific fine-tuning using data from the first day. The results show that the proposed model is promising to achieve personalized longitudinal MS assessment; they also suggest that features related to gait and balance as well as upper extremity function, remotely collected from sensor-based assessments, may be useful digital markers for predicting MS over time.


title: CLIO: a Novel Robotic Solution for Exploration and Rescue Missions in Hostile Mountain Environments

abstract: Rescue missions in mountain environments are hardly achievable by standard legged robots-because of the high slopes-or by flying robots-because of limited payload capacity. We present a concept for a rope-aided climbing robot which can negotiate up-to-vertical slopes and carry heavy payloads. The robot is attached to the mountain through a rope, and it is equipped with a leg to push against the mountain and initiate jumping maneuvers. Between jumps, a hoist is used to wind/unwind the rope to move vertically and affect the lateral motion. This simple (yet effective) two-fold actuation allows the system to achieve high safety and energy efficiency. Indeed, the rope prevents the robot from falling while compensating for most of its weight, drastically reducing the effort required by the leg actuator. We also present an optimal control strategy to generate point-to-point trajectories overcoming an obstacle. We achieve fast computation time (<1 s) thanks to the use of a custom simplified robot model. We validated the generated optimal movements in Gazebo simulations with a complete robot model with a < 5% error on a 16 m long jump, showing the effectiveness of the proposed approach, and confirming the interest of our concept. Finally, we performed a reachability analysis showing that the region of achievable targets is strongly affected by the friction properties of the foot-wall contact.


title: Modulating Thermal Conductivity via Targeted Phonon Excitation

abstract: Thermal conductivity is a critical material property in numerous applications, such as those related to thermoelectric devices and heat dissipation. Effectively modulating thermal conductivity has become a great concern in the field of heat conduction. In this study, a quantum strategy is proposed to modulate thermal conductivity by exciting targeted phonons. The results show that the thermal conductivity of graphene can be tailored in the range of 1559 W/m-K (49%) to 4093 W/m-K (128%), compared with the intrinsic value of 3189 W/m-K. A similar trend is also observed for graphene nanoribbons. The results are obtained through both ab initio calculations and molecular dynamics simulations. This brand-new quantum strategy to modulate thermal conductivity paves a way for quantum heat conduction.


title: Searching for axion dark matter with MeerKAT Radio Telescope

abstract: Axions provide a natural and well-motivated dark matter candidate, with the capability to convert directly to photons in the presence of an electromagnetic field. A particularly compelling observational target is the conversion of dark matter axions into photons in the magnetospheres of highly magnetised neutron stars, which is expected to produce a narrow spectral peak centred at the frequency of the axion mass. We point the MeerKAT radio telescope towards the isolated neutron star J0806.4$-$4123 for $10$-hours of observation and obtain the radio spectra in the frequency range $769$-$1051$ MHz. By modelling the conversion process of infalling axion dark matter (DM), we then compare these spectra to theoretical expectations for a given choice of axion parameters. Whilst finding no signal above $5\sigma$ in the data, we provide a unique constraint on the Primakoff coupling of axion DM, $g_{{\rm a}\gamma\gamma}\lesssim 9.3 \times 10^{-12}\,{\rm GeV}^{-1}$ at the $95\%$ confidence level, in the mass range $3.18$-$4.35\,\mu$eV. This result serves the strongest constraint in the axion mass range $4.20$-$4.35\,\mu$eV.


title: Synthesis of realistic fetal MRI with conditional Generative Adversarial Networks

abstract: Fetal brain magnetic resonance imaging serves as an emerging modality for prenatal counseling and diagnosis in disorders affecting the brain. Machine learning based segmentation plays an important role in the quantification of brain development. However, a limiting factor is the lack of sufficiently large, labeled training data. Our study explored the application of SPADE, a conditional general adversarial network (cGAN), which learns the mapping from the label to the image space. The input to the network was super-resolution T2-weighted cerebral MRI data of 120 fetuses (gestational age range: 20-35 weeks, normal and pathological), which were annotated for 7 different tissue categories. SPADE networks were trained on 256*256 2D slices of the reconstructed volumes (image and label pairs) in each orthogonal orientation. To combine the generated volumes from each orientation into one image, a simple mean of the outputs of the three networks was taken. Based on the label maps only, we synthesized highly realistic images. However, some finer details, like small vessels were not synthesized. A structural similarity index (SSIM) of 0.972+-0.016 and correlation coefficient of 0.974+-0.008 were achieved. To demonstrate the capacity of the cGAN to create new anatomical variants, we artificially dilated the ventricles in the segmentation map and created synthetic MRI of different degrees of fetal hydrocephalus. cGANs, such as the SPADE algorithm, allow the generation of hypothetically unseen scenarios and anatomical configurations in the label space, which data in turn can be utilized for training various machine learning algorithms. In the future, this algorithm would be used for generating large, synthetic datasets representing fetal brain development. These datasets would potentially improve the performance of currently available segmentation networks.


title: Collapse dynamics are diffusive

abstract: Non-interferometric experiments have been successfully employed to constrain models of spontaneous wave function collapse, which predict a violation of the quantum superposition principle for large systems. These experiments are grounded on the fact that, according to these models, the dynamics is driven by a noise that, besides collapsing the wave function in space, generates a diffusive motion with characteristic signatures, which, though small, can be tested. The non-interferometric approach might seem applicable only to those models which implement the collapse through a noisy dynamics, not to any model, which collapses the wave function in space. Here we show that this is not the case: under reasonable assumptions, any collapse dynamics (in space) is diffusive. Specifically, we prove that any space-translation invariant dynamics which complies with the no-signaling constraint, if collapsing the wave function in space, must change the average momentum of the system, and/or its spread.


title: A high-order artificial compressibility method based on Taylor series time-stepping for variable density flow

abstract: In this paper, we introduce a fourth-order accurate finite element method for incompressible variable density flow. The method is implicit in time and constructed with the Taylor series technique, and uses standard high-order Lagrange basis functions in space. Taylor series time-stepping relies on time derivative correction terms to achieve high-order accuracy. We provide detailed algorithms to approximate the time derivatives of the variable density Navier-Stokes equations. Numerical validations confirm a fourth-order accuracy for smooth problems. We also numerically illustrate that the Taylor series method is unsuitable for problems where regularity is lost by solving the 2D Rayleigh-Taylor instability problem.


title: PADLoC: LiDAR-Based Deep Loop Closure Detection and Registration Using Panoptic Attention

abstract: A key component of graph-based SLAM systems is the ability to detect loop closures in a trajectory to reduce the drift accumulated over time from the odometry. Most LiDAR-based methods achieve this goal by using only the geometric information, disregarding the semantics of the scene. In this work, we introduce PADLoC for joint loop closure detection and registration in LiDAR-based SLAM frameworks. We propose a novel transformer-based head for point cloud matching and registration, and to leverage panoptic information during training time. In particular, we propose a novel loss function that reframes the matching problem as a classification task for the semantic labels and as a graph connectivity assignment for the instance labels. During inference, PADLoC does not require panoptic annotations, making it more versatile than other methods. Additionally, we show that using two shared matching and registration heads with their source and target inputs swapped increases the overall performance by enforcing forward-backward consistency. We perform extensive evaluations of PADLoC on multiple real-world datasets demonstrating that it achieves state-of-the-art results. The code of our work is publicly available at http://padloc.cs.uni-freiburg.de.


title: Unresolved excess accumulation of myelin-derived cholesterol contributes to scar formation after spinal cord injury

abstract: Background: Spinal cord injury triggers complex pathological cascades, resulting in destructive tissue damage and incomplete tissue repair. Scar formation is generally considered as a barrier for regeneration in central nervous system (CNS), while the intrinsic mechanism of scar-forming after spinal cord injury has not been completed deciphered. Methods: We assessed cholesterol hemostasis in spinal cord lesions and injured peripheral nerves using confocal reflection microscopy and real-time PCR analyses. The involvement of the proteins, which were predicted to promote cholesterol efflux in spinal cord lesions, were assessed with Liver X receptor (LXR) agonist and Apolipoprotein E (APOE) deficiency. The role of reverse cholesterol transport (RCT) in cholesterol clearance was examined in APOE KO mice injured sciatic nerves and myelin-overloaded macrophages in vitro. Finally, we determined the consequence of excess cholesterol accumulation in CNS by transplantation of myelin into neonatal spinal cord lesions. Results: We found that excess cholesterol accumulates in phagocytes and is inefficiently removed in spinal cord lesions in young-adult mice. Interestingly, we observed that excessive cholesterol also accumulates in injured peripheral nerves, but is subsequently removed by RCT. Meanwhile, preventing RCT led to macrophage accumulation and fibrosis in injured peripheral nerves. Furthermore, the neonatal mouse spinal cord lesions are devoid of myelin-derived lipids, and able to heal without excess cholesterol accumulation. We found that transplantation of myelin into neonatal lesions disrupts healing with excessive cholesterol accumulation, persistent macrophage activation and fibrosis, indicating myelin-derived cholesterol plays a critical role in impaired wound healing.


title: Non-Coherent Massive MIMO Integration in Satellite Communication

abstract: Massive Multiple Input-Multiple Output (mMIMO) technique has been considered an efficient standard to improve the transmission rate significantly for the following wireless communication systems, such as 5G and beyond. However, implementing this technology has been facing a critical issue of acquiring much channel state information. Primarily, this problem becomes more criticising in the integrated satellite and terrestrial networks (3GPP-Release 15) due to the countable high transmission delay. To deal with this challenging problem, the mMIMO-empowered non-coherent technique can be a promising solution. To our best knowledge, this paper is the first work considering employing the non-coherent mMIMO in satellite communication systems. This work aims to analyse the challenges and opportunities emerging with this integration. Moreover, we identified the issues in this conjunction. The preliminary results presented in this work show that the performance measured in bit error rate (BER) and the number of antennas are not far from that required for terrestrial links. Furthermore, thanks to mMIMO in conjunction with the non-coherent approach, we can work in a low signal-to-noise ratio (SNR) regime, which is an excellent advantage for satellite links.


title: LEMURS: Learning Distributed Multi-Robot Interactions

abstract: This paper presents LEMURS, an algorithm for learning scalable multi-robot control policies from cooperative task demonstrations. We propose a port-Hamiltonian description of the multi-robot system to exploit universal physical constraints in interconnected systems and achieve closed-loop stability. We represent a multi-robot control policy using an architecture that combines self-attention mechanisms and neural ordinary differential equations. The former handles time-varying communication in the robot team, while the latter respects the continuous-time robot dynamics. Our representation is distributed by construction, enabling the learned control policies to be deployed in robot teams of different sizes. We demonstrate that LEMURS can learn interactions and cooperative behaviors from demonstrations of multi-agent navigation and flocking tasks.


title: Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming

abstract: A barrier certificate often serves as an inductive invariant that isolates an unsafe region from the reachable set of states, and hence is widely used in proving safety of hybrid systems possibly over an infinite time horizon. We present a novel condition on barrier certificates, termed the invariant barrier-certificate condition, that witnesses unbounded-time safety of differential dynamical systems. The proposed condition is the weakest possible one to attain inductive invariance. We show that discharging the invariant barrier-certificate condition -- thereby synthesizing invariant barrier certificates -- can be encoded as solving an optimization problem subject to bilinear matrix inequalities (BMIs). We further propose a synthesis algorithm based on difference-of-convex programming, which approaches a local optimum of the BMI problem via solving a series of convex optimization problems. This algorithm is incorporated in a branch-and-bound framework that searches for the global optimum in a divide-and-conquer fashion. We present a weak completeness result of our method, namely, a barrier certificate is guaranteed to be found (under some mild assumptions) whenever there exists an inductive invariant (in the form of a given template) that suffices to certify safety of the system. Experimental results on benchmarks demonstrate the effectiveness and efficiency of our approach.


title: Empirical likelihood-based portmanteau tests for autoregressive moving average models with possible infinite variance innovation

abstract: It is an important task in the literature to check whether a fitted autoregressive moving average (ARMA) model is adequate, while the currently used tests may suffer from the size distortion problem when the underlying autoregressive models have low persistence. To fill this gap, this paper proposes two empirical likelihood-based portmanteau tests. The first one is naive but can serve as a benchmark, and the second is for the case with infinite variance innovations. The asymptotic distributions under the null hypothesis are derived under mild moment conditions, and their usefulness is demonstrated by simulation experiments and two real data examples.


title: Multi-robot Implicit Control of Massive Herds

abstract: This paper solves the problem of herding countless evaders by means of a few robots. The objective is to steer all the evaders towards a desired tracking reference while avoiding escapes. The problem is very challenging due to the highly complex repulsive evaders' dynamics and the underdetermined states to control. We propose a solution that is based on Implicit Control and a novel dynamic assignment strategy to select the evaders to be directly controlled. The former is a general technique that explicitly computes control inputs even in highly complex input-nonaffine dynamics. The latter is built upon a convex-hull dynamic clustering inspired by the Voronoi tessellation problem. The combination of both allows to choose the best evaders to directly control, while the others are indirectly controlled by exploiting the repulsive interactions among them. Simulations show that massive herds can be herd throughout complex patterns by means of a few herders.


title: Diagonal fields in critical loop models

abstract: In critical loop models, there exist diagonal fields with arbitrary conformal dimensions, whose $3$-point functions coincide with those of Liouville theory at $c\leq 1$. We study their $N$-point functions, which depend on the $2^{N-1}$ weights of combinatorially inequivalent loops on a sphere with $N$ punctures. Using a numerical conformal bootstrap approach, we find that $4$-point functions decompose into infinite but discrete linear combinations of conformal blocks. We conclude that diagonal fields belong to an extension of the $O(n)$ model.


title: Differential elasticity in lineage segregation of embryonic stem cells

abstract: The question of what guides lineage segregation is central to development, where cellular differentiation leads to segregated cell populations destined for specialized functions. Here, using optical tweezers measurements of mouse embryonic stem cells (mESCs), we reveal a mechanical mechanism based on differential elasticity in the second lineage segregation of the embryonic inner cell mass into epiblast (EPI) cells - that will develop into the fetus - and primitive endoderm (PrE) - which will form extraembryonic structures such as the yolk sac. Remarkably, we find that these mechanical differences already occur during priming and not just after a cell has committed to differentiation. Specifically, we show that the mESCs are highly elastic compared to any other reported cell type and that the PrE cells are significantly more elastic than EPI-primed cells. Using a model of two cell types differing only in elasticity we show that differential elasticity alone can lead to segregation between cell types, suggesting that the mechanical attributes of the cells contribute to the segregation process. Our findings present differential elasticity as a previously unknown mechanical contributor to the lineage segregation during the embryo morphogenesis.


title: Two-Stage Submodular Optimization of Dynamic Thermal Rating for Risk Mitigation Considering Placement and Operation Schedule

abstract: Cascading failure causes a major risk to society currently. To effectively mitigate the risk, dynamic thermal rating (DTR) technique can be applied as a cost-effective strategy to exploit potential transmission capability. From the perspectives of service life and Braess paradox, it is important and challenging to jointly optimize the DTR placement and operation schedule for changing system state, which is a two-stage combinatorial problem with only discrete variables, suffering from no approximation guarantee and dimension curse only based on traditional models. Thus, the present work proposes a novel two-stage submodular optimization (TSSO) of DTR for risk mitigation considering placement and operation schedule. Specifically, it optimizes DTR placement with proper redundancy in first stage, and then determines the corresponding DTR operation for each system state in second stage. Under the condition of the Markov and submodular features in sub-function of risk mitigation, the submodularity of total objective function of TSSO can be proven for the first time. Based on this, a state-of-the-art efficient solving algorithm is developed that can provide a better approximation guarantee than previous studies by coordinating the separate curvature and error form. The performance of the proposed algorithms is verified by case results.


title: Modern Tontine with Transaction Costs

abstract: In this paper, we propose a new type of reversible modern tontine with transaction costs. The wealth of the retiree is divided into a bequest account and a tontine account. And consumption can only be withdrawn from the bequest account. Each transaction between the two accounts incurs fixed and proportional transaction costs depending on the transaction volume. The retiree dynamically controls the allocation policy between the two accounts and the consumption policy to maximize the consumption and bequest utilities. We formulate the optimization problem as a combined stochastic and impulse control problem with infinite time horizon, and characterize the value function as the unique viscosity solution of a HJBQVI (Hamilton-Jacobi-Bellmen quasi-variational inequality). The numerical results exhibit the V-shaped transaction region which consists of two stages. In the former stage, since longevity credits increase gradually, the retiree decreases the proportion of wealth in the tontine account to smooth the wealth and reduce the volatility. However, in the latter stage, the retiree increases the proportion of wealth in the tontine account to gamble for the considerable longevity credits.


title: Mean field study of 2D quasiparticle condensate formation in presence of strong decay

abstract: Bose-condensation in a system of 2D quasiparticles is considered in the scope of a microscopic model. Mean-field dynamical equations are derived with the help of the Schwinger-Keldysh formalism and a simple model is proposed which allows to describe key features of condensate formation in systems with various quasiparticle decay rates. By analysing stationary solutions of this equation, we obtain the phase diagram of quasiparticle gas, finding a bistability region in the parameter space of the system. Finally, as an application of our theory, we study the phase diagram of a 2D exciton-polariton system in CdTe microcavity.


title: Development of a Parallel BAT and Its Applications in Binary-state Network Reliability Problems

abstract: Various networks are broadly and deeply applied in real-life applications. Reliability is the most important index for measuring the performance of all network types. Among the various algorithms, only implicit enumeration algorithms, such as depth-first-search, breadth-search-first, universal generating function methodology, binary-decision diagram, and binary-addition-tree algorithm (BAT), can be used to calculate the exact network reliability. However, implicit enumeration algorithms can only be used to solve small-scale network reliability problems. The BAT was recently proposed as a simple, fast, easy-to-code, and flexible make-to-fit exact-solution algorithm. Based on the experimental results, the BAT and its variants outperformed other implicit enumeration algorithms. Hence, to overcome the above-mentioned obstacle as a result of the size problem, a new parallel BAT (PBAT) was proposed to improve the BAT based on compute multithread architecture to calculate the binary-state network reliability problem, which is fundamental for all types of network reliability problems. From the analysis of the time complexity and experiments conducted on 20 benchmarks of binary-state network reliability problems, PBAT was able to efficiently solve medium-scale network reliability problems.


title: Process Mining Meets Visual Analytics: The Case of Conformance Checking

abstract: Conformance checking is a major function of process mining, which allows organizations to identify and alleviate potential deviations from the intended process behavior. To fully leverage its benefits, it is important that conformance checking results are visualized in a way that is approachable and understandable for non-expert users. However, the visualization of conformance checking results has so far not been widely considered in research. Therefore, the goal of this paper is to develop an understanding of how conformance checking results are visualized by process mining tools to provide a foundation for further research on this topic. We conduct a systematic study, where we analyze the visualization capabilities of nine academic and seven commercial tools by means of a visual analytics framework. In this study, we find that the ''Why?'' aspect of conformance checking visualization seems already be well-defined, but the ''What?'' and ''How?'' aspects require future research.


title: A Tale of a Tail: A Tidally-Disrupting Ultra-Diffuse Galaxy in the M81 Group

abstract: We present the discovery of a giant tidal tail of stars associated with F8D1, the closest known example of an ultra-diffuse galaxy (UDG). F8D1 sits in a region of the sky heavily contaminated by Galactic cirrus and has been poorly studied since its discovery two decades ago. The tidal feature was revealed in a deep map of resolved red giant branch stars constructed using data from our Subaru Hyper Suprime-Cam survey of the M81 Group. It has an average surface brightness of $\mu_g \sim 32$ mag arcsec$^{-2}$ and can be traced for over a degree on the sky (60 kpc at the distance of F8D1) with our current imagery. We revisit the main body properties of F8D1 using deep multiband imagery acquired with MegaCam on CFHT and measure effective radii of $1.7-1.9$ kpc, central surface brightnesses of $24.7-25.7$ mag and a stellar mass of $\sim7 \times 10^7 M_{\odot}$. Assuming a symmetric feature on the other side of the galaxy, we calculate that $30-36$% of F8D1's present-day luminosity is contained in the tail. We argue that the most likely origin of F8D1's disruption is a recent close passage to M81, which would have stripped its gas and quenched its star formation. As the only UDG that has so far been studied to such faint surface brightness depths, the unveiling of F8D1's tidal disruption is important. It leaves open the possibility that many other UDGs could be the result of similar processes, with the most telling signatures of this lurking below current detection limits.


title: Cardiac Segmentation using Transfer Learning under Respiratory Motion Artifacts

abstract: Methods that are resilient to artifacts in the cardiac magnetic resonance imaging (MRI) while performing ventricle segmentation, are crucial for ensuring quality in structural and functional analysis of those tissues. While there has been significant efforts on improving the quality of the algorithms, few works have tackled the harm that the artifacts generate in the predictions. In this work, we study fine tuning of pretrained networks to improve the resilience of previous methods to these artifacts. In our proposed method, we adopted the extensive usage of data augmentations that mimic those artifacts. The results significantly improved the baseline segmentations (up to 0.06 Dice score, and 4mm Hausdorff distance improvement).


title: The bielliptic locus in genus 11

abstract: The Chow ring of $\mathcal{M}_g$ is known to be generated by tautological classes for $g \leq 9$. Meanwhile, the first example of a non-tautological class on $\mathcal{M}_{g}$ is the fundamental class of the bielliptic locus in $\mathcal{M}_{12}$, due to van Zelm. It remains open if the Chow rings of $\mathcal{M}_{10}$ and $\mathcal{M}_{11}$ are generated by tautological classes. In these cases, a natural first place to look is at the bielliptic locus. In genus $10$, it is already known that classes supported on the bielliptic locus are tautological. Here, we prove that all classes supported on the bielliptic locus are tautological in genus $11$. By Looijenga's vanishing theorem, this implies that they all vanish.


title: Recurrence times, waiting times and universal entropy production estimators

abstract: The universal typical-signal estimators of entropy and cross entropy based on the asymptotics of recurrence and waiting times play an important role in information theory. Building on their construction, we introduce and study universal typical-signal estimators of entropy production in the context of nonequilibrium statistical mechanics of one-sided shifts over finite alphabets.

categories: math-ph cs.IT math.DS math.IT math.MP math.PR


title: On a waiting-time result of Kontoyiannis: mixing or decoupling?

abstract: We introduce conditions of lower decoupling to the study of waiting-time estimations of the cross entropy between two mutually independent stationary stochastic processes. Although similar decoupling conditions have been used in the literature on large deviations and statistical mechanics, they appear largely unexplored in information theory. Building on a result of Kontoyiannis, namely Theorem 4 in [Kontoyiannis, J. Theor. Probab., 1998], and replacing the $\psi$-mixing condition in this result with a lower decoupling condition, we considerably extend the validity of waiting-time estimation of cross entropy.

categories: math.PR cs.IT math-ph math.DS math.IT math.MP


title: Solitary wave collisions for Whitham-Boussinesq systems

abstract: This work concerns soliton-type numerical solutions for two Whitham-Boussinesq-type models. Solitary waves are computed using an iterative Newton-type and continuation methods with high accuracy. The method allow us to compute solitary waves with large amplitude and speed close to the singular limit. These solitary waves are set as initial data and overtaking collisions are considered for both systems. We show that both system satisfy the geometric Lax-categorization of two-soliton collision. Numerical evidences indicate that one of the systems also admits an algebraic Lax-categorization based on the ratio of the initial solitary wave amplitudes with a different range from the one predicted by Lax. However, we show that such categorization is not possible for the second system.


title: Valuation of Music Catalogs

abstract: We propose a risk neutral approach to forecast the cashflows of music catalogs, based on historical revenue data. We use a discounted cashflows formula to produce reasonable ranges of multipliers for these assets, based on the age of the catalog, the last-twelve-months revenue and the duration of the contract. We compare the multipliers implied by the cashflows of top, median and bottom performing songs on the Royalty Exchange platform. We find that ask prices are close to the multipliers justified by median song cashflows. The best bids are near the multipliers justified by the bottom decile of song cashflows.


title: Adaptive and Collaborative Bathymetric Channel-Finding Approach for Multiple Autonomous Marine Vehicles

abstract: This paper reports an investigation into the problem of rapid identification of a channel that crosses a body of water using one or more Unmanned Surface Vehicles (USV). A new algorithm called Proposal Based Adaptive Channel Search (PBACS) is presented as a potential solution that improves upon current methods. The empirical performance of PBACS is compared to lawnmower surveying and to Markov decision process (MDP) planning with two state-of-the-art reward functions: Upper Confidence Bound (UCB) and Maximum Value Information (MVI). The performance of each method is evaluated through comparison of the time it takes to identify a continuous channel through an area, using one, two, three, or four USVs. The performance of each method is compared across ten simulated bathymetry scenarios and one field area, each with different channel layouts. The results from simulations and field trials indicate that on average multi-vehicle PBACS outperforms lawnmower, UCB, and MVI based methods, especially when at least three vehicles are used.