title: On Heegaard splittings with finite many pairs of disjoint compression disks

abstract: Suppose $V\cup_S W$ is a weakly reducible Heegaard splitting of a closed 3-manifold which admits only $n$ pairs of disjoint compression disks on distinct sides and $g>2$. We show $V\cup_S W$ admits an untelescoping: $(V_1\cup_{S_1}W_1)\cup_F(W_2\cup_{S_2}V_2)$ such that $W_i$ has only one separating compressing disk and $d(S_i)\geq 2$, for $i=1,~2$. If $n>1$, at least one of $d(S_i)$ is 2 and $S$ is a critical Heegaard surface.


title: Mutual Visibility by Fat Robots with Slim Omnidirectional Camera

abstract: In the existing literature of the Mutual Visibility problem for autonomous robot swarms, the adopted visibility models have some idealistic assumptions that are not consistent with practical sensing device implementations. This paper investigates the problem in the more realistic visibility model called opaque fat robots with slim omnidirectional camera. The robots are modeled as unit disks, each having an omnidirectional camera represented as a disk of smaller size. We assume that the robots have compasses that allow agreement in the direction and orientation of both axes of their local coordinate systems. The robots are equipped with visible lights which serve as a medium of communication and also as a form of memory. We present a distributed algorithm for the Mutual Visibility problem which is provably correct in the semi-synchronous setting. Our algorithm also provides a solution for Leader Election which we use as a subroutine in our main algorithm. Although Leader Election is trivial with two axis agreement in the full visibility model, it is challenging in our case and is of independent interest.


title: Interpretable differential diagnosis for Alzheimer's disease and Frontotemporal dementia

abstract: Alzheimer's disease and Frontotemporal dementia are two major types of dementia. Their accurate diagnosis and differentiation is crucial for determining specific intervention and treatment. However, differential diagnosis of these two types of dementia remains difficult at the early stage of disease due to similar patterns of clinical symptoms. Therefore, the automatic classification of multiple types of dementia has an important clinical value. So far, this challenge has not been actively explored. Recent development of deep learning in the field of medical image has demonstrated high performance for various classification tasks. In this paper, we propose to take advantage of two types of biomarkers: structure grading and structure atrophy. To this end, we propose first to train a large ensemble of 3D U-Nets to locally discriminate healthy versus dementia anatomical patterns. The result of these models is an interpretable 3D grading map capable of indicating abnormal brain regions. This map can also be exploited in various classification tasks using graph convolutional neural network. Finally, we propose to combine deep grading and atrophy-based classifications to improve dementia type discrimination. The proposed framework showed competitive performance compared to state-of-the-art methods for different tasks of disease detection and differential diagnosis.


title: Designing a Provenance Analysis for SGX Enclaves

abstract: Intel SGX enables memory isolation and static integrity verification of code and data stored in user-space memory regions called enclaves. SGX effectively shields the execution of enclaves from the underlying untrusted OS. Attackers cannot tamper nor examine enclaves' content. However, these properties equally challenge defenders as they are precluded from any provenance analysis to infer intrusions inside SGX enclaves. In this work, we propose SgxMonitor, a novel provenance analysis to monitor and identify anomalous executions of enclave code. To this end, we design a technique to extract contextual runtime information from an enclave and propose a novel model to represent enclaves' intrusions. Our experiments show that not only SgxMonitor incurs an overhead comparable to traditional provenance tools, but it also exhibits macro-benchmarks' overheads and slowdowns that marginally affect real use cases deployment. Our evaluation shows SgxMonitor successfully identifies enclave intrusions carried out by the state of the art attacks while reporting no false positives and negatives during normal enclaves executions, thus supporting the use of SgxMonitor in realistic scenarios.


title: Determining Satellite Infall Times Using Machine Learning

abstract: A key unknown of the Milky Way (MW) satellites is their orbital history, and, in particular, the time they were accreted onto the MW system since it marks the point where they experience a multitude of environmental processes. We present a new methodology for determining infall times, namely using a neural network (NN) algorithm. The NN is trained on MW-analogues in the EAGLE hydrodynamical simulation to predict if a dwarf galaxy is at first infall or a backsplash galaxy and to infer its infall time. The resulting NN predicts with 85\% accuracy if a galaxy currently outside the virial radius is a backsplash satellite and determines the infall times with a typical 68\% confidence interval of 4.4 Gyrs. Applying the NN to MW dwarfs with Gaia EDR3 proper motions, we find that all of the dwarfs within 300 kpc had been inside the Galactic halo. The overall MW satellite accretion rate agrees well with the theoretical prediction except for late times when the MW shows a second peak at a lookback time of 1.5 Gyrs corresponding to the infall of the LMC and its satellites. We also find that the quenching times for ultrafaint dwarfs show no significant correlation with infall time and thus supporting the hypothesis that they were quenched during reionisation. In contrast, dwarfs with stellar masses above $10^5~M_\odot$ are found to be consistent with environmental quenching inside the Galactic halo, with star-formation ceasing on average at $0.5^{+0.9}_{-1.2}$ Gyrs after infall.


title: Non Linear Singular Drifts and Fractional Operators

abstract: We consider parabolic PDEs associated with fractional type operators drifted by non-linear singular first order terms. When the drift enjoys some boundedness properties in appropriate Lebesgue and Besov spaces, we establish by exploiting a priori Besov-type estimates, the H{\"o}lder continuity of the solutions. In particular, we handle the almost critical case in whole generality.


title: Variance Reduction for Inverse Trace Estimation via Random Spanning Forests

abstract: The trace $\tr(q(\ma{L} + q\ma{I})^{-1})$, where $\ma{L}$ is a symmetric diagonally dominant matrix, is the quantity of interest in some machine learning problems. However, its direct computation is impractical if the matrix size is large. State-of-the-art methods include Hutchinson's estimator combined with iterative solvers, as well as the estimator based on random spanning forests (a random process on graphs). In this work, we show two ways of improving the forest-based estimator via well-known variance reduction techniques, namely control variates and stratified sampling. Implementing these techniques is easy, and provides substantial variance reduction, yielding comparable or better performance relative to state-of-the-art algorithms.


title: Deep Neural Network Pruning for Nuclei Instance Segmentation in Hematoxylin & Eosin-Stained Histological Images

abstract: Recently, pruning deep neural networks (DNNs) has received a lot of attention for improving accuracy and generalization power, reducing network size, and increasing inference speed on specialized hardwares. Although pruning was mainly tested on computer vision tasks, its application in the context of medical image analysis has hardly been explored. This work investigates the impact of well-known pruning techniques, namely layer-wise and network-wide magnitude pruning, on the nuclei instance segmentation performance in histological images. Our utilized instance segmentation model consists of two main branches: (1) a semantic segmentation branch, and (2) a deep regression branch. We investigate the impact of weight pruning on the performance of both branches separately and on the final nuclei instance segmentation result. Evaluated on two publicly available datasets, our results show that layer-wise pruning delivers slightly better performance than networkwide pruning for small compression ratios (CRs) while for large CRs, network-wide pruning yields superior performance. For semantic segmentation, deep regression and final instance segmentation, 93.75 %, 95 %, and 80 % of the model weights can be pruned by layer-wise pruning with less than 2 % reduction in the performance of respective models.


title: Zero-shot object goal visual navigation

abstract: Object goal visual navigation is a challenging task that aims to guide a robot to find the target object based on its visual observation, and the target is limited to the classes pre-defined in the training stage. However, in real households, there may exist numerous target classes that the robot needs to deal with, and it is hard for all of these classes to be contained in the training stage. To address this challenge, we study the zero-shot object goal visual navigation task, which aims at guiding robots to find targets belonging to novel classes without any training samples. To this end, we also propose a novel zero-shot object navigation framework called semantic similarity network (SSNet). Our framework use the detection results and the cosine similarity between semantic word embeddings as input. Such type of input data has a weak correlation with classes and thus our framework has the ability to generalize the policy to novel classes. Extensive experiments on the AI2-THOR platform show that our model outperforms the baseline models in the zero-shot object navigation task, which proves the generalization ability of our model. Our code is available at: https://github.com/pioneer-innovation/Zero-Shot-Object-Navigation.


title: Local Identifiability of Deep ReLU Neural Networks: the Theory

abstract: Is a sample rich enough to determine, at least locally, the parameters of a neural network? To answer this question, we introduce a new local parameterization of a given deep ReLU neural network by fixing the values of some of its weights. This allows us to define local lifting operators whose inverses are charts of a smooth manifold of a high dimensional space. The function implemented by the deep ReLU neural network composes the local lifting with a linear operator which depends on the sample. We derive from this convenient representation a geometrical necessary and sufficient condition of local identifiability. Looking at tangent spaces, the geometrical condition provides: 1/ a sharp and testable necessary condition of identifiability and 2/ a sharp and testable sufficient condition of local identifiability. The validity of the conditions can be tested numerically using backpropagation and matrix rank computations.


title: Discrete-time Layered-network Epidemics Model with Time-varying Transition Rates and Multiple Resources

abstract: This paper studies a discrete-time time-varying multi-layer networked SIWS (susceptible-infected-water-susceptible) model with multiple resources under both single-virus and competing multi-virus settings. Besides the human-to-human interaction, we also consider that the disease can diffuse on different types of medium. We use \emph{resources} to refer to any media that the pathogen of a virus can spread through, and do not restrict the resource only to be water. In the single-virus case, we give a full analysis of the system's behaviour related to its healthy state and endemic equilibrium. In the multi-virus case, we show analytically that different equilibria appear driven by the competition among all viruses. We also show that some analytical results of the time-invariant system can be expanded into time-varying cases. Finally, we illustrate the results through some simulations.


title: Uniquely realisable graphs in analytic normed planes

abstract: A bar-joint framework $(G,p)$ in the Euclidean space $\mathbb{E}^d$ is globally rigid if it is the unique realisation, up to rigid congruences, of $G$ in $\mathbb{E}^d$ with the edge lengths of $(G,p)$. Building on key results of Hendrickson and Connelly, Jackson and Jord\'{a}n gave a complete combinatorial characterisation of when a generic framework is global rigidity in $\mathbb{E}^2$. We prove an analogous result when the Euclidean norm is replaced by any norm that is analytic on $\mathbb{R}^2 \setminus \{0\}$. More precisely, we show that a graph $G=(V,E)$ is globally rigid in a non-Euclidean analytic normed plane if and only if $G$ is 2-connected and $G-e$ contains 2 edge-disjoint spanning trees for all $e\in E$. The main technical tool is a recursive construction of 2-connected and redundantly rigid graphs in analytic normed planes. We also obtain some sufficient conditions for global rigidity as corollaries of our main result and prove that the analogous necessary conditions hold in $d$-dimensional analytic normed spaces.


title: Estimating Confidence of Predictions of Individual Classifiers and Their Ensembles for the Genre Classification Task

abstract: Genre identification is a subclass of non-topical text classification. The main difference between this task and topical classification is that genres, unlike topics, usually do not correspond to simple keywords, and thus they need to be defined in terms of their functions in communication. Neural models based on pre-trained transformers, such as BERT or XLM-RoBERTa, demonstrate SOTA results in many NLP tasks, including non-topical classification. However, in many cases, their downstream application to very large corpora, such as those extracted from social media, can lead to unreliable results because of dataset shifts, when some raw texts do not match the profile of the training set. To mitigate this problem, we experiment with individual models as well as with their ensembles. To evaluate the robustness of all models we use a prediction confidence metric, which estimates the reliability of a prediction in the absence of a gold standard label. We can evaluate robustness via the confidence gap between the correctly classified texts and the misclassified ones on a labeled test corpus, higher gaps make it easier to improve our confidence that our classifier made the right decision. Our results show that for all of the classifiers tested in this study, there is a confidence gap, but for the ensembles, the gap is bigger, meaning that ensembles are more robust than their individual models.


title: Indexing Temporal Relations for Range-Duration Queries

abstract: Temporal information plays a crucial role in many database applications, however support for queries on such data is limited. We present an index structure, termed RD-index, to support range-duration queries over interval timestamped relations, which constrain both the range of the tuples' positions on the timeline and their duration. RD-index is a grid structure in the two-dimensional space, representing the position on the timeline and the duration of timestamps, respectively. Instead of using a regular grid, we consider the data distribution for the construction of the grid in order to ensure that each grid cell contains approximately the same number of intervals. RD-index features provable bounds on the running time of all the operations, allow for a simple implementation, and supports very predictable query performance. We benchmark our solution on a variety of datasets and query workloads, investigating both the query rate and the behavior of the individual queries. The results show that RD-index performs better than the baselines on range-duration queries, for which it is explicitly designed. Furthermore, it outperforms specialized indexes also on workloads containing queries constraining either only the duration or the range.


title: Collusion-Resistant Worker Set Selection for Transparent and Verifiable Voting

abstract: Collusion occurs when multiple malicious participants of a distributed protocol work together to sabotage or spy on honest participants. Decentralized protocols often rely on a subset of participants called workers for critical operations. Collusion between workers can be particularly harmful to the security of the protocol. We propose two protocols that select a subset of workers from the set of participants such that the probability of the workers colluding together is minimized. Our first solution is a decentralized protocol that randomly selects workers in a verifiable manner without any trusted entities. The second solution is an algorithm that uses a social graph of participants and community detection to select workers that are socially distant in order to reduce the probability of collusion. We present our solutions in the context of a decentralized voting protocol proposed by Schiedermeier et al. [24] that guarantees transparency and verifiability. Enabling collusion-resistance in order to ensure democratic voting is clearly of paramount importance thus the voting protocol provides a suitable use case for our solutions.


title: Residual Language Model for End-to-end Speech Recognition

abstract: End-to-end automatic speech recognition suffers from adaptation to unknown target domain speech despite being trained with a large amount of paired audio--text data. Recent studies estimate a linguistic bias of the model as the internal language model (LM). To effectively adapt to the target domain, the internal LM is subtracted from the posterior during inference and fused with an external target-domain LM. However, this fusion complicates the inference and the estimation of the internal LM may not always be accurate. In this paper, we propose a simple external LM fusion method for domain adaptation, which considers the internal LM estimation in its training. We directly model the residual factor of the external and internal LMs, namely the residual LM. To stably train the residual LM, we propose smoothing the estimated internal LM and optimizing it with a combination of cross-entropy and mean-squared-error losses, which consider the statistical behaviors of the internal LM in the target domain data. We experimentally confirmed that the proposed residual LM performs better than the internal LM estimation in most of the cross-domain and intra-domain scenarios.


title: Physically-admissible polarimetric data augmentation for road-scene analysis

abstract: Polarimetric imaging, along with deep learning, has shown improved performances on different tasks including scene analysis. However, its robustness may be questioned because of the small size of the training datasets. Though the issue could be solved by data augmentation, polarization modalities are subject to physical feasibility constraints unaddressed by classical data augmentation techniques. To address this issue, we propose to use CycleGAN, an image translation technique based on deep generative models that solely relies on unpaired data, to transfer large labeled road scene datasets to the polarimetric domain. We design several auxiliary loss terms that, alongside the CycleGAN losses, deal with the physical constraints of polarimetric images. The efficiency of this solution is demonstrated on road scene object detection tasks where generated realistic polarimetric images allow to improve performances on cars and pedestrian detection up to 9%. The resulting constrained CycleGAN is publicly released, allowing anyone to generate their own polarimetric images.


title: A short note on compact embeddings of reproducing kernel Hilbert spaces in $L^2$ for infinite-variate function approximation

abstract: This note consists of two largely independent parts. In the first part we give conditions on the kernel $k: \Omega \times \Omega \rightarrow \mathbb{R}$ of a reproducing kernel Hilbert space $H$ continuously embedded via the identity mapping into $L^2(\Omega, \mu),$ which are equivalent to the fact that $H$ is even compactly embedded into $L^2(\Omega, \mu).$ In the second part we consider a scenario from infinite-variate $L^2$-approximation. Suppose that the embedding of a reproducing kernel Hilbert space of univariate functions with reproducing kernel $1+k$ into $L^2(\Omega, \mu)$ is compact. We provide a simple criterion for checking compactness of the embedding of a reproducing kernel Hilbert space with the kernel given by $$\sum_{u \in \mathcal{U}} \gamma_u \bigotimes_{j \in u}k,$$ where $\mathcal{U} = \{u \subset \mathbb{N}: |u| < \infty\},$ and $(\gamma_u)_{u \in \mathcal{U}}$ is a sequence of non-negative numbers, into an appropriate $L^2$ space.


title: Particle Filtering and Gaussian Mixtures -- On a Localized Mixture Coefficients Particle Filter (LMCPF) for global NWP

abstract: In a global numerical weather prediction (NWP) modeling framework we study the implementation of Gaussian uncertainty of individual particles into the assimilation step of a localized adaptive particle filter (LAPF). We obtain a local representation of the prior distribution as a mixture of basis functions. In the assimilation step, the filter calculates the individual weight coefficients and new particle locations. It can be viewed as a combination of the LAPF and a localized version of a Gaussian mixture filter, i.e., a Localized Mixture Coefficients Particle Filter (LMCPF). Here, we investigate the feasibility of the LMCPF within a global operational framework and evaluate the relationship between prior and posterior distributions and observations. Our simulations are carried out in a standard pre-operational experimental set-up with the full global observing system, 52 km global resolution and $10^6$ model variables. Statistics of particle movement in the assimilation step are calculated. The mixture approach is able to deal with the discrepancy between prior distributions and observation location in a real-world framework and to pull the particles towards the observations in a much better way than the pure LAPF. This shows that using Gaussian uncertainty can be an important tool to improve the analysis and forecast quality in a particle filter framework.


title: Self-Supervised Implicit Attention: Guided Attention by The Model Itself

abstract: We propose Self-Supervised Implicit Attention (SSIA), a new approach that adaptively guides deep neural network models to gain attention by exploiting the properties of the models themselves. SSIA is a novel attention mechanism that does not require any extra parameters, computation, or memory access costs during inference, which is in contrast to existing attention mechanism. In short, by considering attention weights as higher-level semantic information, we reconsidered the implementation of existing attention mechanisms and further propose generating supervisory signals from higher network layers to guide lower network layers for parameter updates. We achieved this by building a self-supervised learning task using the hierarchical features of the network itself, which only works at the training stage. To verify the effectiveness of SSIA, we performed a particular implementation (called an SSIA block) in convolutional neural network models and validated it on several image classification datasets. The experimental results show that an SSIA block can significantly improve the model performance, even outperforms many popular attention methods that require additional parameters and computation costs, such as Squeeze-and-Excitation and Convolutional Block Attention Module. Our implementation will be available on GitHub.


title: Forecasting of depth and ego-motion with transformers and self-supervision

abstract: This paper addresses the problem of end-to-end self-supervised forecasting of depth and ego motion. Given a sequence of raw images, the aim is to forecast both the geometry and ego-motion using a self supervised photometric loss. The architecture is designed using both convolution and transformer modules. This leverages the benefits of both modules: Inductive bias of CNN, and the multi-head attention of transformers, thus enabling a rich spatio-temporal representation that enables accurate depth forecasting. Prior work attempts to solve this problem using multi-modal input/output with supervised ground-truth data which is not practical since a large annotated dataset is required. Alternatively to prior methods, this paper forecasts depth and ego motion using only self-supervised raw images as input. The approach performs significantly well on the KITTI dataset benchmark with several performance criteria being even comparable to prior non-forecasting self-supervised monocular depth inference methods.


title: Optimization of the anisotropic Cheeger constant with respect to the anisotropy

abstract: Given an open, bounded set $\Omega$ in $\mathbb{R}^N$, we consider the minimization of the anisotropic Cheeger constant $h_K(\Omega)$ with respect to the anisotropy $K$, under a volume constraint on the associated unit ball. In the planar case, under the assumption that $K$ is a convex, centrally symmetric body, we prove the existence of a minimizer. Moreover, if $\Omega$ is a ball, we show that the optimal anisotropy $K$ is not a ball and that, among all regular polygons, the square provides the minimal value.


title: Increased intermolecular interactions and cluster formation at the onset of the twist-bend nematic phase in thioether cyanobiphenyl-based liquid crystal dimers

abstract: Infrared spectroscopy (IR) and quantum chemistry calculations, based on density functional theory (DFT) were used to study the structure and the molecular interactions in the nematic (N) and twist-bend (NTB) phases of thioether-linked dimers. Infrared absorbance measurements were conducted in a polarized beam for homogeneously aligned samples to measure and understand the orientation of the vibrational transition dipole moments in the liquid crystal states. Revealing temperature-dependent changes in the mean IR absorbance in the twist-bend nematic phase were observed. In the transition from the N to the NTB phase, is was found to be associated with a decrease in absorbance for the longitudinal dipoles. This is a result of the antiparallel axial interactions of the dipoles, while the absorbance of the transverse dipoles remained unchanged up to 340 K and then increased and the dipoles correlated in parallel. In order to account for the molecular arrangement in the nematic phase, DFT calculations were conducted for the system nearest to the lateral neighborhoods. Changes in the square of transition dipoles were found to be quite similar to the mean absorbance that was observed in the IR spectra. Interactions of molecules that were dominated by pair formation was observed as well as a shift of the long axes of the molecules relative to each other. The most important observation from the spectroscopic measurements was the sudden increase in the intermolecular interactions as the temperature decreased from the N to the NTB phase. This was evidenced by a significant increase in the correlation of the dipoles that were induced in the dimer cores.


title: Multi-Objective Hyperparameter Optimization in Machine Learning -- An Overview

abstract: Hyperparameter optimization constitutes a large part of typical modern machine learning workflows. This arises from the fact that machine learning methods and corresponding preprocessing steps often only yield optimal performance when hyperparameters are properly tuned. But in many applications, we are not only interested in optimizing ML pipelines solely for predictive accuracy; additional metrics or constraints must be considered when determining an optimal configuration, resulting in a multi-objective optimization problem. This is often neglected in practice, due to a lack of knowledge and readily available software implementations for multi-objective hyperparameter optimization. In this work, we introduce the reader to the basics of multi-objective hyperparameter optimization and motivate its usefulness in applied ML. Furthermore, we provide an extensive survey of existing optimization strategies, both from the domain of evolutionary algorithms and Bayesian optimization. We illustrate the utility of MOO in several specific ML applications, considering objectives such as operating conditions, prediction time, sparseness, fairness, interpretability and robustness.


title: Impact of ionic quantum fluctuations on the thermodynamic stability and superconductivity of LaBH$_8$

abstract: The recent prediction of a metastable high-symmetry Fm$\bar{3}$m phase of LaBH$_8$ gives hopes to reach high superconducting critical temperatures at affordable pressures among ternary hydrogen-rich compounds. Making use of first-principles calculations within density functional theory and the stochastic self-consistent harmonic approximation, we determine that ionic quantum fluctuations drive the system dynamically unstable below 77 GPa, a much higher pressure than the 45 GPa expected classically. Quantum anharmonic effects stretch the covalent B-H bond in the BH$_8$ units of the structure and, consequently, soften all hydrogen-character modes. Above 77 GPa Fm$\bar{3}$m LaBH$_8$ remains metastable and, interestingly, its superconducting critical temperature is largely enhanced by quantum anharmonic effects, reaching critical temperatures around 170 K at the verge of the dynamical instability. Our results suggest that low pressure metastable phases with covalently bonded symmetric XH$_8$ units will be destabilized by ionic quantum fluctuations.


title: Synthetic observations using POLARIS: an application to simulations of massive prestellar cores

abstract: Young massive stars are usually found embedded in dense and massive molecular clumps which are known for being highly obscured and distant. During their formation process, the degree of deuteration can be used as a potential indicator of the very early formation stages. This is particularly effective when employing the abundance of H$_2$D$^+$. However, its low abundances and large distances make detections in massive sources hard to achieve. We present an application of the radiative transfer code POLARIS, with the goal to test the observability of the ortho-H$_2$D$^+$ transition $1_{10}$-$1_{11}$ (372.42 GHz) using simulations of high-mass collapsing cores that include deuteration chemistry. We analyzed an early and a late stage of the collapse of a 60 M$_{\odot}$ core, testing different source distances. For all cases, we generated synthetic single-dish and interferometric observations and studied the differences in both techniques. The column densities we derive are comparable to values reported for similar sources. These estimates depend on the extent over which they are averaged, and sources with compact emission they can be highly affected by beam dilution. Combined ALMA-ACA observations improve in signal-to-noise ratio and lead to better column density estimates as compared to ALMA alone. We confirm the feasibility to study ortho-H$_2$D$^+$ emission up to distances of 7 kpc. We provide a proof-of-concept of our framework for synthetic observations and highlight its importance when comparing numerical simulations with real observations. This work also proves how relevant it is to combine single-dish and interferometric measurements to derive appropriate source column densities.


title: Conformance Testing of Mealy Machines Under Input Restrictions

abstract: We introduce a grey-box conformance testing method for networks of interconnected Mealy Machines. This approach addresses the scenario where all interfaces of the component under test are observable, but its inputs are under the control of other white-box components. We prove new conditions for full fault detection that exploit repetitions across branching executions of the composite machine in a novel way.Finally, we provide experimental evaluation of our approach on cascade compositions of up to a thousand states, and show that it notably out-performs existing black-box testing techniques.


title: Predicting Gender via Eye Movements

abstract: In this paper, we report the first stable results on gender prediction via eye movements. We use a dataset with images of faces as stimuli and with a large number of 370 participants. Stability has two meanings for us: first that we are able to estimate the standard deviation (SD) of a single prediction experiment (it is around 4.1 %); this is achieved by varying the number of participants. And second, we are able to provide a mean accuracy with a very low standard error (SEM): our accuracy is 65.2 %, and the SEM is 0.80 %; this is achieved through many runs of randomly selecting training and test sets for the prediction. Our study shows that two particular classifiers achieve the best accuracies: Random Forests and Logistic Regression. Our results reconfirm previous findings that females are more biased towards the left eyes of the stimuli.


title: Study of the experimental and simulated vibrational spectra together with conformational analysis for thioether cyanobiphenyl-based liquid crystal dimers

abstract: Infrared spectroscopy (IR) and quantum chemistry calculations that are based on the density functional theory (DFT) have been used to study the structure, molecular interactions of the nematic and twist-bend phases for thioether-linked dimers. Infrared absorbance measurements were conducted in a polarized beam for a homogeneously aligned sample in order to obtain more details about the orientation of the vibrational transition dipole moments. The distributions to investigate the structure and conformation of the molecule dihedral angle were calculated. The calculated spectrum was compared with the experimental infrared spectra and as a result, detailed vibrational assignments are reported.


title: Protecting local and global symmetries in simulating 1+1-D non-abelian gauge theories

abstract: Efficient quantum simulation protocols for any quantum theories demand efficient protection protocols for its underlying symmetries. This task is nontrivial for gauge theories as it is involves local symmetry/invariance. For non-Abelian gauge theories, protecting all the symmetries generated by a set of mutually non-commuting generators, is particularly difficult. In this letter, a global symmetry-protection protocol is proposed. Using the novel loop-string-hadron formalism of non-Abelian lattice gauge theory, we numerically demonstrate that all of the local symmetries get protected even for large time by this global symmetry protection scheme. With suitable protection strength, the dynamics of a (1+1)-dimensional SU(2) lattice gauge theory remains confined in the physical Hilbert space of the theory even in presence of explicit local symmetry violating terms in the Hamiltonian that may occur in both analog and digital simulation schemes as an error. The whole scheme holds for SU(3) gauge theory as well.


title: The black hole information loss puzzle, matter-gravity entanglement entropy and the second law

abstract: Since Hawking's 1974 discovery, we expect that a black hole formed by collapse will emit radiation and eventually disappear. Closely related to the information loss puzzle is the challenge to define an objective notion of physical entropy which increases throughout this process in a way consistent with unitarity. In recent years, this has been addressed with certain notions of coarse grained entropy. We have suggested instead that physical entropy should be identified with matter-gravity entanglement entropy and that this may offer an explanation of entropy increase both for the black hole collapse and evaporation system and also for other closed unitarily evolving systems, notably the universe as a whole. For this to work, it would have to be that the matter-gravity entanglement entropy of the late-time state of black hole evaporation is larger than the entropy of the freshly formed black hole. We argue here that this is possibly the case due to (usually neglected) photon-graviton interactions. If black hole evaporation is slowed down by putting the black hole in a slightly permeable box, we give plausibility arguments that the radiation remaining after a large black hole has evaporated will (be pure and) mainly consist of roughly equal numbers of photons and gravitons entangled with one another -- with a photon-graviton entanglement entropy possibly greater than the entropy of the freshly formed black hole. It also seems possible that, even in the absence of such a box, the matter-gravity entanglement entropy might still increase and the late-time state again be a pure state of (predominantly) photons highly entangled with soft gravitons that the Hawking-emitted photons themselves had radiated. More work is needed to find out if it is indeed so.


title: Boosting DNN Cold Inference on Edge Devices

abstract: DNNs are ubiquitous on edge devices nowadays. With its increasing importance and use cases, it's not likely to pack all DNNs into device memory and expect that each inference has been warmed up. Therefore, cold inference, the process to read, initialize, and execute a DNN model, is becoming commonplace and its performance is urgently demanded to be optimized. To this end, we present NNV12, the first on-device inference engine that optimizes for cold inference NNV12 is built atop 3 novel optimization knobs: selecting a proper kernel (implementation) for each DNN operator, bypassing the weights transformation process by caching the post-transformed weights on disk, and pipelined execution of many kernels on asymmetric processors. To tackle with the huge search space, NNV12 employs a heuristic-based scheme to obtain a near-optimal kernel scheduling plan. We fully implement a prototype of NNV12 and evaluate its performance across extensive experiments. It shows that NNV12 achieves up to 15.2x and 401.5x compared to the state-of-the-art DNN engines on edge CPUs and GPUs, respectively.


title: On the construction of general large-amplitude spherically polarised Alfv\'en waves

abstract: In a magnetised plasma on scales well above ion kinetic scales, any constant-magnitude magnetic field, accompanied by parallel Alfv\'enic flows, forms a nonlinear solution in an isobaric, constant-density background. These structures, which are also known as spherically polarised Alfv\'en waves, are observed ubiquitously in the solar wind, presumably created by the growth of small-amplitude fluctuations as they propagate outwards in the corona. Here, we present a computational method to construct such solutions of arbitrary amplitude with general multi-dimensional structure, and explore some of their properties. The difficulty lies in computing a zero-divergence, constant-magnitude magnetic field, which leaves a single, quasi-free function to define the solution, while requiring strong constraints on any individual component of the field. Motivated by the physical process of wave growth in the solar wind, our method circumvents this issue by starting from low-amplitude Alfv\'enic fluctuations dominated by a strong mean field, then "growing" magnetic perturbations into the large-amplitude regime. We present example solutions with nontrivial structure in one, two, and three dimensions, demonstrating a clear tendency to form very sharp gradients or discontinuities, unless the solution is one dimensional. As well as being useful as an input for other calculations, particularly the study of parametric decay, our results provide a natural explanation for the extremely sharp field discontinuities observed across magnetic-field switchbacks in the low solar wind.


title: The ZevoMOS entry to VoiceMOS Challenge 2022

abstract: This paper introduces the ZevoMOS entry to the main track of the VoiceMOS Challenge 2022. The ZevoMOS submission is based on a two-step finetuning of pretrained self-supervised learning (SSL) speech models. The first step uses a task of classifying natural versus synthetic speech, while the second step's task is to predict the MOS scores associated with each training sample. The results of the finetuning process are then combined with the confidence scores extracted from an automatic speech recognition model, as well as the raw embeddings of the training samples obtained from a wav2vec SSL speech model. The team id assigned to the ZevoMOS system within the VoiceMOS Challenge is T01. The submission was placed on the 14th place with respect to the system-level SRCC, and on the 9th place with respect to the utterance-level MSE. The paper also introduces additional evaluations of the intermediate results.


title: Self-Assessment for Single-Object Tracking in Clutter Using Subjective Logic

abstract: Reliable tracking algorithms are essential for automated driving. However, the existing consistency measures are not sufficient to meet the increasing safety demands in the automotive sector. Therefore, this work presents a novel method for self-assessment of single-object tracking in clutter based on Kalman filtering and subjective logic. A key feature of the approach is that it additionally provides a measure of the collected statistical evidence in its online reliability scores. In this way, various aspects of reliability, such as the correctness of the assumed measurement noise, detection probability, and clutter rate, can be monitored in addition to the overall assessment based on the available evidence. Here, we present a mathematical derivation of the reference distribution used in our self-assessment module for our studied problem. Moreover, we introduce a formula that describes how a threshold should be chosen for the degree of conflict, the subjective logic comparison measure used for the reliability decision making. Our approach is evaluated in a challenging simulation scenario designed to model adverse weather conditions. The simulations show that our method can significantly improve the reliability checking of single-object tracking in clutter in several aspects.

categories: eess.SP cs.RO cs.SY eess.SY math.PR stat.AP


title: AstroSat observation of rapid Type-I thermonuclear burst from the low mass X-ray binary GX 3+1

abstract: We report the results of an observation of low mass X-ray binary GX 3+1 with {\it AstroSat}'s Large Area X-ray Proportional Counter (LAXPC) and Soft X-ray Telescope (SXT) instruments on-board for the first time. We have detected one Type-1 thermonuclear burst ($\sim$ 15 s) present in the LAXPC 20 light curve, with a double peak feature at higher energies and our study of the hardness-intensity diagram reveals that the source was in a soft banana state. The pre-burst emission could be described well by a thermally Comptonised model component. The burst spectra is modelled adopting a time-resolved spectroscopic method using a single color blackbody model added to the pre-burst model, to monitor the parametric changes as the burst decays. Based on our time-resolved spectroscopy, we claim that the detected burst is a photospheric radius expansion (PRE) burst. During the PRE phase, the blackbody flux is found to be approximately constant at an averaged value $\sim$ 2.56 in $10^{-8}$ ergs s$^{-1}$ cm$^{-2}$ units. On the basis of literature survey, we infer that \textit{AstroSat}/LAXPC 20 has detected a burst from GX 3+1 after more than a decade which is also a PRE one. Utilising the burst parameters obtained, we provide a new estimation to the source distance, which is $\sim$ 9.3 $\pm$ 0.4 kpc, calculated for an isotropic burst emission. Finally, we discuss and compare our findings with the published literature reports.


title: Pressure jump and radial stationary solutions of the degenerate Cahn-Hilliard equation

abstract: The Cahn-Hilliard equation with degenerate mobility is used in several areas including the modeling of living tissues. We are interested in quantifying the pressure jump at the interface in the case of incompressible flows. To do so, we include an external force and consider stationary radial solutions. This allows us to compute the pressure jump in the small dispersion regime. We also characterize compactly supported stationary solutions in the incompressible case, prove the incompressible limit and prove convergence of the parabolic problems to stationary states.


title: Deformations and Extensions of BiHom-alternative algebras

abstract: The aim of this paper is to deal with BiHom-alternative algebras which are a generalization of alternative and Hom-alternative algebras, their structure is defined with two commuting multiplicative linear maps. We study cohomology and one-parameter formal deformation theory of left BiHom-alternative algebras. Moreover, we study central and $T_\theta$-extensions of BiHom-alternative algebras and their relationship with cohomology. Finally, we investigate generalized derivations and give some relevant results.


title: First decay-time-dependent analysis of $B^{0} \to K_{S}^{0} \pi^{0}$ at Belle II

abstract: We report measurements of the branching fraction ($\mathcal{B}$) and direct $CP$-violating asymmetry ($A_{CP}$) of the charmless decay $B^{0} \to K^0 \pi^0$ at Belle II. A sample of $e^{+} e^{-}$ collisions, corresponding to $189.8 fb^{-1}$ of integrated luminosity, recorded at the $\Upsilon(4S)$ resonance is used for the first decay-time-dependent analysis of these decays within the experiment. We reconstruct about 135 signal candidates, and measure $\mathcal{B}(B^{0} \to K^{0} \pi^{0})= [11.0 \pm 1.2 (stat) \pm 1.0 (syst)] \times 10^{-6}$ and $A_{CP} (B^{0} \to K^{0} \pi^{0})= -0.41_{-0.32}^{+0.30} (stat) \pm 0.09 (syst)$.


title: Collaboration Effect by Co-Authorship on Academic Citation and Social Attention of Research

abstract: Academic citation and social attention measure different dimensions of the impact of research results. Both measures do not correlate with each other, and they are influenced by many factors. Among these factors are the field of research, the type of access, and co-authorship. In this study, the increase in the impact due to co-authorship in scientific articles disaggregated by field of research and access type, was quantified. For this, the citations and social attention accumulated until the year 2021 by a total of 244,880 research articles published in the year 2018, were analyzed. The data source was Dimensions.ai, and the units of study were research articles in Economics, History and Archaeology, and Mathematics. As the main results, a small proportion of the articles received a large part of the citations and most of the social attention. Both citations and social attention in-creased, in general, with the number of co-authors. Thus, the greater the number of co-authors, the greater the probability of being cited in academic articles and mentioned on social media. The advantage in citation and social attention due to collaboration is independent of the access type for the publication. Furthermore, although collaboration with an additional co-author is in general positive in terms of citation and social attention, these positive effects reduce as the number of co-authors increases.


title: Symplectic Geometry of character varieties and $SU(2)$ Lattice Gauge Theory I

abstract: Given a finite connected graph $\Lambda$, the space of $SU(2)$ lattice gauge-fields on $\Lambda$, modulo gauge transformations, is a Lagrangian submanifold -- with mild singularities -- of the $SU(2)$ character variety (= phase-space of Chern-Simons theory) of an associated surface. We present evidence that, in the limit of large $\Lambda$, integration over the character variety with respect to the Liouville measure approximates lattice-theoretic integrals. By the works of W. Goldman, L. Jeffrey and J. Weitsman, the formalism of Duistermaat-Heckman applies to the relevant integrals over the character variety. A continuous version of the Verlinde algebra facilitates computations. In two dimensions we recover standard expressions. For the theory on a 3-dimensional periodic lattice $\Lambda$ with Migdal action we get a very pleasant expression for the symplectic partition function, and with the Wilson action a more elaborate one. Each is a sum of a series with positive terms. One can also write down expressions for plaquette-plaquette correlations and 't Hooft loops.


title: Study of 20-inch PMTs dark count generated large pulses

abstract: The main goal of the JUNO experiment is to determine the neutrino mass ordering with a 20\,kt liquid-scintillator detector. The 20-inch PMT is crucial as one of JUNO key instruments to realize an excellent energy resolution of at least 3\,\% at 1\,MeV. The knowledge on PMT's characterisation and feature is critical for detector performance understanding. Large pulses from PMT dark count such as from flasher or others are one of the serious concerns for detector noise control. Focusing on the large pulses from 20-inch PMT dark count, this paper is trying to investigate the causes by measurements with a muon tagging system. It is found that the large pules of 20-inch PMT dark count is contributed mainly from muons hitting the PMT glass. A simulation is also realized and achieved a consistent understanding.


title: Existence and stability results for a coupled system of Hilfer fractional Langevin equation with non local integral boundary value conditions

abstract: This paper deals with the existence and uniqueness of solution for a coupled system of Hilfer fractional Langevin equation with non local integral boundary value conditions. The novelty of this work is that it is more general than the works based on the derivative of Caputo and Riemann-Liouville, because when $\beta =0$ we find the Riemann-Liouville fractional derivative and when $\beta =1$ we find the Caputo fractional derivative. Initially, we give some definitions and notions that will be used throughout the work, after that we will establish the existence and uniqueness results by employing the fixed point theorems. Finaly, we investigate different kinds of stability such as Ulam-Hyers stability, generalized Ulam-Hyers stability.


title: VisageSynTalk: Unseen Speaker Video-to-Speech Synthesis via Speech-Visage Feature Selection

abstract: The goal of this work is to reconstruct speech from a silent talking face video. Recent studies have shown impressive performance on synthesizing speech from silent talking face videos. However, they have not explicitly considered on varying identity characteristics of different speakers, which place a challenge in the video-to-speech synthesis, and this becomes more critical in unseen-speaker settings. Our approach is to separate the speech content and the visage-style from a given silent talking face video. By guiding the model to independently focus on modeling the two representations, we can obtain the speech of high intelligibility from the model even when the input video of an unseen subject is given. To this end, we introduce speech-visage selection that separates the speech content and the speaker identity from the visual features of the input video. The disentangled representations are jointly incorporated to synthesize speech through visage-style based synthesizer which generates speech by coating the visage-styles while maintaining the speech content. Thus, the proposed framework brings the advantage of synthesizing the speech containing the right content even with the silent talking face video of an unseen subject. We validate the effectiveness of the proposed framework on the GRID, TCD-TIMIT volunteer, and LRW datasets.


title: READ: Aggregating Reconstruction Error into Out-of-distribution Detection

abstract: Detecting out-of-distribution (OOD) samples is crucial to the safe deployment of a classifier in the real world. However, deep neural networks are known to be overconfident for abnormal data. Existing works directly design score function by mining the inconsistency from classifier for in-distribution (ID) and OOD. In this paper, we further complement this inconsistency with reconstruction error, based on the assumption that an autoencoder trained on ID data can not reconstruct OOD as well as ID. We propose a novel method, READ (Reconstruction Error Aggregated Detector), to unify inconsistencies from classifier and autoencoder. Specifically, the reconstruction error of raw pixels is transformed to latent space of classifier. We show that the transformed reconstruction error bridges the semantic gap and inherits detection performance from the original. Moreover, we propose an adjustment strategy to alleviate the overconfidence problem of autoencoder according to a fine-grained characterization of OOD data. Under two scenarios of pre-training and retraining, we respectively present two variants of our method, namely READ-MD (Mahalanobis Distance) only based on pre-trained classifier and READ-ED (Euclidean Distance) which retrains the classifier. Our methods do not require access to test time OOD data for fine-tuning hyperparameters. Finally, we demonstrate the effectiveness of the proposed methods through extensive comparisons with state-of-the-art OOD detection algorithms. On a CIFAR-10 pre-trained WideResNet, our method reduces the average FPR@95TPR by up to 9.8% compared with previous state-of-the-art.


title: Coarse-to-fine Deep Video Coding with Hyperprior-guided Mode Prediction

abstract: The previous deep video compression approaches only use the single scale motion compensation strategy and rarely adopt the mode prediction technique from the traditional standards like H.264/H.265 for both motion and residual compression. In this work, we first propose a coarse-to-fine (C2F) deep video compression framework for better motion compensation, in which we perform motion estimation, compression and compensation twice in a coarse to fine manner. Our C2F framework can achieve better motion compensation results without significantly increasing bit costs. Observing hyperprior information (i.e., the mean and variance values) from the hyperprior networks contains discriminant statistical information of different patches, we also propose two efficient hyperprior-guided mode prediction methods. Specifically, using hyperprior information as the input, we propose two mode prediction networks to respectively predict the optimal block resolutions for better motion coding and decide whether to skip residual information from each block for better residual coding without introducing additional bit cost while bringing negligible extra computation cost. Comprehensive experimental results demonstrate our proposed C2F video compression framework equipped with the new hyperprior-guided mode prediction methods achieves the state-of-the-art performance on HEVC, UVG and MCL-JCV datasets.


title: Conformance Checking with Uncertainty via SMT (Extended Version)

abstract: Logs of real-life processes often feature uncertainty pertaining the recorded timestamps, data values, and/or events. We consider the problem of checking conformance of uncertain logs against data-aware reference processes. Specifically, we show how to solve it via SMT encodings, lifting previous work on data-aware SMT-based conformance checking to this more sophisticated setting. Our approach is modular, in that it homogeneously accommodates for different types of uncertainty. Moreover, using appropriate cost functions, different conformance checking tasks can be addressed. We show the correctness of our approach and witness feasibility through a proof-of-concept implementation.


title: Boundaries of capture hyperbolic components

abstract: In complex dynamics, the boundaries of higher dimensional hyperbolic components in holomorphic families of polynomials or rational maps are mysterious objects, whose topological and analytic properties are fundamental problems. In this paper, we show that in some typical families of polynomials (i.e. algebraic varieties defined by periodic critical relations), the boundary of a capture hyperbolic component $\mathcal H$ is homeomorphic to the sphere $S^{2\dim_\mathbb{C}(\mathcal{H})-1}$. Furthermore, we establish an unexpected identity for the Hausdorff dimension of $\partial \mathcal H$: $$\operatorname{H{.}dim}(\partial\mathcal{H}) = 2 \dim_\mathbb{C}(\mathcal{H})-2+\max_{f\in\partial\mathcal{H}} \operatorname{H{.}dim}(\partial A^J(f)),$$ where $A^J(f)$ is the union of the bounded attracting Fatou components of $f$ associated with the free critical points in the Julia set $J(f)$. In the proof, some new results with independent interests are discovered.


title: Detailed abundances of the wide pairs of stars with and without planets: the binary systems 16 Cyg and HD 219542

abstract: We present results of the comparative analysis of the two wide binary systems -- 16 Cyg, with a giant gas planet orbiting around 16 Cyg B, and HD 219542 without planet detected. Atmospheric parameters of the binary components and the Sun were determined using their high-resolution spectra and the SME tools for automatic spectral analysis. By applying the synthetic spectrum method, we derived abundances of 29 and 23 chemical elements in 16 Cyg and HD 219542, respectively. For 19 of these elements, our results are based on the non-local thermodynamic equilibrium (NLTE) line formation. For both 16 Cyg and HD 219542, we obtained a small abundance difference between the A and B components: +0.019$\pm$0.012 and -0.014$\pm$0.019, respectively, suggesting only a weak influence of the giant gas planet formation on chemical composition of the host star atmosphere. For HD 219542 A and B, trends of the relative-to-solar abundances with the dust condensation temperature are similar to the literature data for the solar analogues without detected planets. The components of 16 Cyg reveal very similar behaviour of [X/H] with the condensation temperature, however, it is different from that for HD 219542. This indicates a specific chemical composition of the cloud from which the 16 Cyg binary system formed.


title: Proposition of extension of models relating rheological quantities and microscopic structure through the use of a double fractal structure

abstract: Colloidal suspensions and the relation between their rheology and their microstructure is investigated. The literature showed great evidence of the relation between rheological quantities and particle volume fraction, ignoring the influence of the cluster. We propose to extend previous models using a new double fractal structure which allows, first, to recover the well-known models on the case of percolated system and, second, to capture the influence of the cluster size. This new model emphasises the necessity of such structure to account for recent experimental results. Then, the model is compared with data coming from the literature and shows close agreement.


title: High-fidelity quantitative differential phase contrast deconvolution using dark-field sparse prior

abstract: Differential phase contrast (DPC) imaging plays an important role in the family of quantitative phase measurement. However, the reconstruction algorithm for quantitative DPC (qDPC) imaging is not yet optimized, as it does not incorporate the inborn properties of qDPC imaging. In this research, we propose a simple but effective image prior, the dark-field sparse prior (DSP), to facilitate the phase reconstruction quality for all DPC-based phase reconstruction algorithms. The DSP is based on the key observation that most pixel values for an idea differential phase contrast image are zeros since the subtraction of two images under anti-symmetric illumination cancels all background components. With this DSP prior, we formed a new cost function in which L0-norm was used to represent the DSP. Further, we developed two different algorithms based on (1) the Half Quadratic Splitting, and (2) the Richardson-Lucy deconvolution to solve this NP-hard L0-norm problem. We tested our new model on both simulated and experimental data and compare against state-of-the-art methods including L2-norm and total variation regularizations. Results show that our proposed model is superior in terms of phase reconstruction quality and implementation efficiency, in which it significantly increases the experimental robustness, while maintaining the data fidelity.


title: Decomposable Blaschke products of degree $2^n$

abstract: We study the decomposability of a finite Blaschke product $B$ of degree $2^n$ into $n$ degree-$2$ Blaschke products, examining the connections between Blaschke products, the elliptical range theorem, Poncelet theorem, and the monodromy group. We show that if the numerical range of the compression of the shift operator, $W(S_B)$, with $B$ a Blaschke product of degree $n$, is an ellipse then $B$ can be written as a composition of lower-degree Blaschke products that correspond to a factorization of the integer $n$. We also show that a Blaschke product of degree $2^n$ with an elliptical Blaschke curve has at most $n$ distinct critical values, and we use this to examine the monodromy group associated with a regularized Blaschke product $B$. We prove that if $B$ can be decomposed into $n$ degree-$2$ Blaschke products, then the monodromy group associated with $B$ is the wreath product of $n$ cyclic groups of order $2$. Lastly, we study the group of invariants of a Blaschke product $B$ of order $2^n$ when $B$ is a composition of $n$ Blaschke products of order $2$.


title: Meniscus osculation and adsorption on geometrically structured walls

abstract: We study the adsorption of simple fluids at smoothly structured, completely wet, walls and show that a meniscus osculation transition occurs when the Laplace and geometrical radii of curvature of locally parabolic regions coincide. Macroscopically, the osculation transition is of fractional, $7/2$, order and separates regimes in which the adsorption is microscopic, containing only a thin wetting layer, and mesoscopic, in which a meniscus exists. We develop a scaling theory for the rounding of the transition due to thin wetting layers and derive critical exponent relations that determine how the interfacial height scales with the geometrical radius of curvature. Connection with the general geometric construction proposed by Rasc\'on and Parry is made. Our predictions are supported by a microscopic model density functional theory (DFT) for drying at a sinusoidally shaped hard-wall where we confirm the order of the transition and also an exact sum-rule for the generalized contact theorem due to Upton. We show that as bulk coexistence is approached the adsorption isotherm separates into three regimes: a pre-osculation regime where it is microscopic, containing only a thin wetting layer, a mesoscopic regime, in which a meniscus sits within the troughs, and finally another microscopic regime where the liquid-gas interface unbinds from the crests of the substrate.

categories: cond-mat.soft cond-mat.mes-hall cond-mat.stat-mech physics.chem-ph


title: PolyU-BPCoMa: A Dataset and Benchmark Towards Mobile Colorized Mapping Using a Backpack Multisensorial System

abstract: Constructing colorized point clouds from mobile laser scanning and images is a fundamental work in surveying and mapping. It is also an essential prerequisite for building digital twins for smart cities. However, existing public datasets are either in relatively small scales or lack accurate geometrical and color ground truth. This paper documents a multisensorial dataset named PolyU-BPCoMA which is distinctively positioned towards mobile colorized mapping. The dataset incorporates resources of 3D LiDAR, spherical imaging, GNSS and IMU on a backpack platform. Color checker boards are pasted in each surveyed area as targets and ground truth data are collected by an advanced terrestrial laser scanner (TLS). 3D geometrical and color information can be recovered in the colorized point clouds produced by the backpack system and the TLS, respectively. Accordingly, we provide an opportunity to benchmark the mapping and colorization accuracy simultaneously for a mobile multisensorial system. The dataset is approximately 800 GB in size covering both indoor and outdoor environments. The dataset and development kits are available at https://github.com/chenpengxin/PolyU-BPCoMa.git.


title: Equivalence in delegated quantum computing

abstract: Delegated quantum computing (DQC) enables limited clients to perform operations that are outside their capabilities remotely on a quantum server. Protocols for DQC are usually set up in the measurement-based quantum computation framework, as this allows for a natural separation of the different parts of the computation between the client and the server. The existing protocols achieve several desired properties, including the security of inputs, the blindness of computation and its verifiability, and have also recently been extended to the multiparty setting. Two approaches are followed in DQC that demand completely different operations on the clients' side. In one, the clients are able to prepare quantum states, in the other, the clients are able to measure them. In this work, we provide a novel stringent definition of the equivalence of protocols and show that these distinct DQC settings are, in fact, equivalent in this sense. We use the abstract cryptography framework to prove our claims and provide a novel technique that enables changing from one setting to the other. In this way, we demonstrate that both approaches can be used to perform tasks with the same properties. I.e., using our proposed techniques, we can always translate from one setting to the other. We finally use our results to propose a hybrid-client model for DQC.


title: The EKOR-stratification on the Siegel modular variety with parahoric level structure

abstract: We study the arithmetic geometry of the reduction modulo $p$ of the Siegel modular variety with parahoric level structure. We realize the EKOR-stratification on this variety as the fibers of a smooth morphism into an algebraic stack parametrizing homogeneously polarized chains of certain truncated displays.


title: Dissipation-free modes in dissipative systems

abstract: The coupling between a system and its environment (or bath) always leads to dissipation. We show, however, that a system composed of two subsystems can have a dissipation-free mode, if the bath is shared between the two subsystems. Reading in reverse, a shared bath does not contribute to the dissipation of all modes. As a key example, we consider a simple model for a two-sublattice antiferromagnet, where the environment is modeled by a bath that is shared between the two sublattice magnetizations. In our model, we find that the N\'eel order parameter is a dissipation-free mode. For antiferromagnets, our results offer an explanation for why the dissipation rate of the N\'eel vector is typically much lower than that of the average magnetization. In general, our results suggest a way to reduce dissipation (and decoherence) for some modes in composite systems, which could have experimental and technological applications.


title: Collaborative Knowledge Graph Fusion by Exploiting the Open Corpus

abstract: To alleviate the challenges of building Knowledge Graphs (KG) from scratch, a more general task is to enrich a KG using triples from an open corpus, where the obtained triples contain noisy entities and relations. It is challenging to enrich a KG with newly harvested triples while maintaining the quality of the knowledge representation. This paper proposes a system to refine a KG using information harvested from an additional corpus. To this end, we formulate our task as two coupled sub-tasks, namely join event extraction (JEE) and knowledge graph fusion (KGF). We then propose a Collaborative Knowledge Graph Fusion Framework to allow our sub-tasks to mutually assist one another in an alternating manner. More concretely, the explorer carries out the JEE supervised by both the ground-truth annotation and an existing KG provided by the supervisor. The supervisor then evaluates the triples extracted by the explorer and enriches the KG with those that are highly ranked. To implement this evaluation, we further propose a Translated Relation Alignment Scoring Mechanism to align and translate the extracted triples to the prior KG. Experiments verify that this collaboration can both improve the performance of the JEE and the KGF.


title: On the degree of varieties of sum of squares

abstract: We study the problem of how many different sums of squares decompositions a general polynomial $f$ with SOS-rank $k$ admits. We show that there is a link between the variety $\mathrm{SOS}_k(f)$ of all SOS-decompositions of $f$ and the orthogonal group $\mathrm{O}(k)$. We exploit this connection to obtain the dimension of $\mathrm{SOS}_k(f)$ and show that its degree is bounded from below by the degree of $\mathrm{O}(k)$. In particular, for $k=2$ we show that $\mathrm{SOS}_2(f)$ is isomorphic to $\mathrm{O}(2)$ and hence the degree bound becomes an equality. Moreover, we compute the dimension of the space of polynomials of SOS-rank $k$ and obtain the degree in the special case $k=2$.


title: Priori Error Estimate of Deep Mixed Residual Method for Elliptic PDEs

abstract: In this work, we derive a priori error estimate of the mixed residual method when solving some elliptic PDEs. Our work is the first theoretical study of this method. We prove that the neural network solutions will converge if we increase the training samples and network size without any constraint on the ratio of training samples to the network size. Besides, our results suggest that the mixed residual method can recover high order derivatives better than the deep Ritz method, which has also been verified by our numerical experiments.


title: Neural Control of Discrete Weak Formulations: Galerkin, Least-Squares and Minimal-Residual Methods with Quasi-Optimal Weights

abstract: There is tremendous potential in using neural networks to optimize numerical methods. In this paper, we introduce and analyse a framework for the neural optimization of discrete weak formulations, suitable for finite element methods. The main idea of the framework is to include a neural-network function acting as a control variable in the weak form. Finding the neural control that (quasi-) minimizes a suitable cost (or loss) functional, then yields a numerical approximation with desirable attributes. In particular, the framework allows in a natural way the incorporation of known data of the exact solution, or the incorporation of stabilization mechanisms (e.g., to remove spurious oscillations). The main result of our analysis pertains to the well-posedness and convergence of the associated constrained-optimization problem. In particular, we prove under certain conditions, that the discrete weak forms are stable, and that quasi-minimizing neural controls exist, which converge quasi-optimally. We specialize the analysis results to Galerkin, least-squares and minimal-residual formulations, where the neural-network dependence appears in the form of suitable weights. Elementary numerical experiments support our findings and demonstrate the potential of the framework.


title: OpenCitations, an open e-infrastructure to foster maximum reuse of citation data

abstract: OpenCitations is an independent not-for-profit infrastructure organization for open scholarship dedicated to the publication of open bibliographic and citation data by the use of Semantic Web (Linked Data) technologies. OpenCitations collaborates with projects that are part of the Open Science ecosystem and complies with the UNESCO founding principles of Open Science, the I4OC recommendations, and the FAIR data principles that data should be Findable, Accessible, Interoperable and Reusable. Since its data satisfies all the Reuse guidelines provided by FAIR in terms of richness, provenance, usage licenses and domain-relevant community standards, OpenCitations provides an example of a successful open e-infrastructure in which the reusability of data is integral to its mission.


title: What Can Robots Teach Us About The COVID-19 Pandemic? Interactive Demonstrations of Epidemiological Models Using a Swarm of Brushbots

abstract: This paper describes the methodology and outcomes of a series of educational events conducted in 2021 which leveraged robot swarms to educate high-school and university students about epidemiological models and how they can inform societal and governmental policies. With a specific focus on the COVID-19 pandemic, the events consisted of 4 online and 3 in-person workshops where students had the chance to interact with a swarm of 20 custom-built brushbots -- small-scale vibration-driven robots optimized for portability and robustness. Through the analysis of data collected during a post-event survey, this paper shows how the events positively impacted the students' views on the scientific method to guide real-world decision making, as well as their interest in robotics.


title: Hecke Relations, Cosets and the Classification of 2d RCFTs

abstract: We systemically study the Hecke relations and the $c=8k$ coset relations among 2d rational conformal field theories (RCFTs) with up to seven characters. We propose that the characters of any 2d RCFT -- unitary or non-unitary -- satisfying a holomorphic modular linear differential equation (MLDE) can be realized as either a Hecke image or the coset of a Hecke image with respect to a $c=8k$ theory. Benefited from the recent results on holomorphic modular bootstrap, we check this proposal for all admissible theories with up to five characters. We also find many new interesting Hecke relations. For example, the characters of WZW models $(E_{6})_2,(E_7)_2,(E_{7\frac12})_2$ can be realized as the Hecke images $\mathsf{T}_{13},\mathsf{T}_{19},\mathsf{T}_{19}$ of Virasoro minimal models $M_{\rm sub}(7,6),M(5,4),M_{\rm eff}(13,2)$ respectively. Besides, we find the characters associated to the second largest Fisher group $Fi_{23}$ and the Harada-Norton group $HN$ can be realized as the Hecke images $\mathsf{T}_{23},\mathsf{T}_{19}$ of the product theories $M_{\rm eff}(5,2)\otimes M_{\rm eff}(7,2)$ and $M_{\rm eff}(7,2)^{\otimes 2}$ respectively. Mathematically, our study provides a great many interesting examples of vector-valued modular functions up to rank seven.

categories: hep-th cond-mat.str-el math-ph math.MP math.NT


title: Gamma-Ray Bursts, Supernovae Ia and Baryon Acoustic Oscillations: a binned cosmological analysis

abstract: Cosmological probes at any redshift are necessary to reconstruct consistently the cosmic history. Studying properly the tension on the Hubble constant, $H_0$, obtained by Supernovae Type Ia (SNe Ia) and the Planck measurements of the Cosmic Microwave Background Radiation would require complete samples of distance indicators at any epoch. Gamma-Ray Bursts (GRBs) are necessary for the aforementioned task because of their huge luminosity that allows us to extend the cosmic ladder at very high redshifts. However, using GRBs alone as standard candles is challenging because their luminosity varies widely. To this end, we choose a reliable correlation for GRBs with a very small intrinsic scatter: the so-called fundamental plane correlation for GRB afterglows corrected for selection biases and redshift evolution. We choose a well-defined sample: the platinum sample, composed of 50 Long GRBs. To further constrain cosmological parameters, we use Baryon Acoustic Oscillations (BAOs) given their reliability as standard rulers. Thus, we have applied GRBs, SNe Ia, and BAOs in a binned analysis in redshifts so that GRBs' contribution is fully included in the last redshift bin, which reaches $z=5$. We use the fundamental plane correlation together with SNe Ia and BAOs, to constrain $H_0$ and the density matter today, $\Omega_{M}$. This methodology allows us to assess the role of GRBs combined with SNe Ia and BAOs. We have obtained results for $H_0$ and $\Omega_{M}$ using GRBs+ SNe Ia+BAOs with better precision than the SNe Ia alone for every bin, thus confirming the beneficial role of BAOs and GRBs added together. In addition, consistent results between GRBs+ SNe Ia +BAOs are obtained when compared with the SNe Ia +BAOs, showing the importance of GRBs since the distance ladder is extended up to $z=5$ with a similar precision obtained with other probes without including the GRBs.


title: X-ray observations of the isolated black hole candidate OGLE-2011-BLG-0462 , and other collapsed objects discovered through gravitational microlensing

abstract: Isolated black holes and neutron stars can be revealed through the observation of long duration gravitational microlensing events. A few candidates have been found in surveys of stars in the direction of the Galactic bulge. Recently, thanks to the addition of astrometric information at milliarcsecond level, it has been possible to reduce the uncertainties in the masses and distances for some of these "dark" gravitational lenses and select the most promising candidates. These isolated compact objects might emit X-rays powered by accretion from the interstellar medium. Using data of the Chandra, XMM-Newton, and INTEGRAL satellites, we searched for X-ray emission in the isolated black hole candidate OGLE-2011-BLG-0462, and in several other putative collapsed objects found with gravitational microlensing. OGLE-2011-BLG-0462 has been recently interpreted as a 7.1 M_sun black hole at a distance of 1.6 kpc, although a different group obtained a mass range (1.6-4.4 M_sun) that cannot exclude a massive neutron star. We have derived upper limits on the flux from OGLE-2011-BLG-0462 of 9$\times10^{-15}$ erg cm$^{-2}$ s$^{-1}$ in the 0.5-7 keV range and $\sim2\times10^{-12}$ erg cm$^{-2}$ s$^{-1}$ in the 17-60 keV range. The implied X-ray luminosity is consistent with the small radiative efficiency expected for a black hole and disfavours a neutron star interpretation. Limits down to a factor about five lower are obtained for the soft X-ray flux of other candidates, but their interpretation is affected by larger uncertainties in the masses, distances and spatial velocities.


title: A Survey of Detection Methods for Die Attachment and Wire Bonding Defects in Integrated Circuit Manufacturing

abstract: Defect detection plays a vital role in the manufacturing process of integrated circuits (ICs). Die attachment and wire bonding are two steps of the manufacturing process that determine the power and signal transmission quality and dependability in an IC. This paper presents a survey or literature review of the methods used for detecting these defects based on different sensing modalities used including optical, radiological, acoustical, and infrared thermography. A discussion of the detection methods used is provided in this survey. Both conventional and deep learning approaches for detecting die attachment and wire bonding defects are considered along with challenges and future research directions.


title: Solution of a NxN System of Linear algebraic Equations: 1 -- The Steepest Descent Method Revisited

abstract: This is the first in a series of papers which deal with the development of novel methods for solving a system of linear algebraic equations with a time complexity lower than existing algorithms. The NxN system of linear equations, Ax = b, is often solved iteratively by minimizing the corresponding quadratic form using well known optimization techniques. The simplest of these is the steepest descent method, whose approach to the solution is usually quite rapid at the beginning but slows down drastically after a few iterations. This paper investigates possible approaches which can reduce or avoid this slowing down. The two approaches used here involve random movement of the point between iterations, and possible matrix transformations between iterations. This paper reports the results of computational experiments and shows the remarkable improvement in performance of the steepest descent method that is possible. The approaches described here do not give a practical algorithm right away. However, they set the stage for developing practical algorithms based on SD alone, which will be presented in later publications.


title: Blind Estimation of a Doubly Selective OFDM Channel: A Deep Learning Algorithm and Theory

abstract: We provide a new generation solution to the fundamental old problem of a doubly selective fading channel estimation for orthogonal frequency division multiplexing (OFDM) systems. For systems based on OFDM, we propose a deep learning (DL)-based blind doubly selective channel estimator. This estimator does require no pilot symbols, unlike the corresponding state-of-the-art estimators, even during the estimation of a deep fading doubly selective channel. We also provide the first of its kind theory on the testing mean squared error (MSE) performance of our investigated blind OFDM channel estimator based on over-parameterized ReLU FNNs.


title: Intelligent analysis of EEG signals to assess consumer decisions: A Study on Neuromarketing

abstract: Neuromarketing is an emerging field that combines neuroscience and marketing to understand the factors that influence consumer decisions better. The study proposes a method to understand consumers' positive and negative reactions to advertisements (ads) and products by analysing electroencephalogram (EEG) signals. These signals are recorded using a low-cost single electrode headset from volunteers belonging to the ages 18-22. A detailed subject dependent (SD) and subject independent (SI) analysis was performed employing machine learning methods like Naive Bayes (NB), Support Vector Machine (SVM), k-nearest neighbour and Decision Tree and the proposed deep learning (DL) model. SVM and NB yielded an accuracy (Acc.) of 0.63 for the SD analysis. In SI analysis, SVM performed better for the advertisement, product and gender-based analysis. Furthermore, the performance of the DL model was on par with that of SVM, especially, in product and ads-based analysis.


title: One-dimensional relativistic particle as a movable cellular automaton

abstract: The one-dimensional dynamics of identical discrete elements that combine the properties of newtonian mechanical particles and cellular automata are investigated. It is shown that the motion of a cluster of combined discrete elements, which is the simplest observable object of the model, leads to the Feynman chessboard model whose continuous limit gives the Dirac equation.


title: Topological Simplification of Signals for Inference and Approximate Reconstruction

abstract: As Internet of Things (IoT) devices become both cheaper and more powerful, researchers are increasingly finding solutions to their scientific curiosities both financially and computationally feasible. When operating with restricted power or communications budgets, however, devices can only send highly-compressed data. Such circumstances are common for devices placed away from electric grids that can only communicate via satellite, a situation particularly plausible for environmental sensor networks. These restrictions can be further complicated by potential variability in the communications budget, for example a solar-powered device needing to expend less energy when transmitting data on a cloudy day. We propose a novel, topology-based, lossy compression method well-equipped for these restrictive yet variable circumstances. This technique, Topological Signal Compression, allows sending compressed signals that utilize the entirety of a variable communications budget. To demonstrate our algorithm's capabilities, we perform entropy calculations as well as a classification exercise on increasingly topologically simplified signals from the Free-Spoken Digit Dataset and explore the stability of the resulting performance against common baselines.


title: Bayesian Networks for Brain-Computer Interfaces: A Survey

abstract: Brain-Computer Interface (BCI) is a rapidly developing technology that allows direct communications between the human brain and external devices, such as robotic arms and computers. Bayesian Networks is a powerful tool in machine learning for tackling with problems that requires understanding and modelling the uncertainty and complexity within complex system built by sub-modular components. Therefore, deploying Bayesian Networks in the application of Brain-Computer Interfaces becomes an increasingly popular approach in BCI research. This survey covers related existing works in relatively high-level perspectives, classifies the models and algorithms involved, and also summarizes the application of Bayesian Networks or its variants in the context of Brain-Computer Interfaces.


title: IoT- Based Low-Cost Soil Moisture and Soil Temperature Monitoring System

abstract: Soil moisture (SM) is referred to as a finite amount of water molecules within the pore spaces and it is a crucial parameter of Hydro-Meteorological processes. The behaviour of soil moisture water changes spatially and temporally in response to topography, soil characteristics, and climate[1]. Soil moisture is overseen by various hydro-meteorological factors that vary vertically with depth, laterally across terrestrial shapes, and temporarily in feedback to the climate. The precise monitoring and quantification of high-resolution surface and subsurface soil moisture observations are very important [13]. This paper highlights the outcomes of the fieldwork carried out at IITM, Pune, wherein we have developed a soil moisture and temperature measurement system using Raspberry Pi and the Internet of things (IoT). The development is classified into three stages, the first stage includes the assembly of the sensor with the microprocessor. The deployment of the low-cost system, data generation, and communication through a wireless sensor network is part of the second stage. Finally, the third stage includes real-time data visualization using a mobile application and data server for analysing soil moisture and temperature. The soil moisture profile obtained through the sensor deployed is highly correlated (r=.9) with in-situ gravimetric observations, having a root mean square error (RMSE) of about 3.1%. Similarly, the temperature observations are well-matched with the in-situ standard temperature observation. Here we present the preliminary results and compare the accuracy with the state-of-the-art sensors.

categories: eess.SP cs.SY eess.SY physics.ao-ph physics.ins-det


title: A Review of Driver Drowsiness Detection Systems: Techniques, Advantages and Limitations

abstract: Driver Drowsiness is one of the most factors of road accidents, leading to severe injuries and deaths every year. Drowsiness means difficulty staying awake, which can lead to falling asleep. This paper introduces a literature review of driver drowsiness detection systems based on an analysis of physiological signals, facial features, and driving patterns. The paper also presents and details the recently proposed techniques for each class. We have also provided a comparative study of recently published works regarding the accuracy, reliability, hardware requirement, and intrusiveness. We have summarized and discussed the advantages and limitations of each class. As a result, each class of techniques has advantages and limitations. A hybrid system that combines two and more techniques will be efficient, robust, accurate, and used in real-time to take advantage of each technique.


title: Demo: low-power communications based on RIS and AI for 6G

abstract: Ultra-massive multiple-input-multiple-output (UM-MIMO) is promising to meet the high rate requirements for future 6G. However, due to the large number of antennas and high path loss, the hardware power consumption and computing power consumption of UM-MIMO will be unaffordable. To address this problem, we implement a low-power communication system based on reconfigurable intelligent surface (RIS) and artificial intelligence (AI) for 6G. For hardware design, we employ a 256-element RIS at the base station to replace the traditional phased array. Moreover, a 2304-element RIS is developed as a relay to assist communication with much reduced transmit power. For software implementation, we develop an AI-based transmission design to reduce computing power consumption. By jointly designing the hardware and software, this prototype can realize real-time 4K video transmission with much reduced power consumption.


title: Polaris: The Mathematics of Navigation and the Shape of the Earth

abstract: For millenia, sailors have used the empirical rule that the elevation angle of Polaris, the North Star, as measured by sextant, quadrant or astrolabe, is approximately equal to latitude. Here, we show using elementary trigonometry that Empirical Law 1 can be converted from a heuristic to a theorem. A second ancient empirical law is that the distance in kilometers from the observer to the North Pole, the geodesic distance measured along the spherical surface of the planet, is the number of degrees of colatitude multiplied by 111.1 kilometers. Can Empirical Law 2 be similarly rendered rigorous? No; whereas as the shape of the planet is controlled by trigonometry, the size of our world is an accident of cosmological history. However, Empirical Law 2, can be rigorously verified by measurements. The association of 111 km of north-south distance to one degree of latitude trivially yields the circumference of the globe as 40,000 km. We also extend these ideas and the parallel ray approximation to three different ways of modeling a Flat Earth. We show that photographs from orbit, taken by a very expensive satellite, are unnecessary to render the Flat Earth untenable; simple mathematics proves Earth a sphere just as well.


title: Preliminary study on the impact of EEG density on TMS-EEG classification in Alzheimer's disease

abstract: Transcranial magnetic stimulation co-registered with electroencephalographic (TMS-EEG) has previously proven a helpful tool in the study of Alzheimer's disease (AD). In this work, we investigate the use of TMS-evoked EEG responses to classify AD patients from healthy controls (HC). By using a dataset containing 17AD and 17HC, we extract various time domain features from individual TMS responses and average them over a low, medium and high density EEG electrode set. Within a leave-one-subject-out validation scenario, the best classification performance for AD vs. HC was obtained using a high-density electrode with a Random Forest classifier. The accuracy, sensitivity and specificity were of 92.7%, 96.58% and 88.2% respectively.


title: Training biases in machine learning for the analytic continuation of quantum many-body Green's functions

abstract: We address the problem of analytic continuation of imaginary-frequency Green's functions, which is crucial in many-body physics, using machine learning based on a multi-level residual neural network. We specifically address potential biases that can be introduced due to the use of artificially created spectral functions that are employed to train the neural network. We also implement an uncertainty estimation of the predicted spectral function, based on Monte Carlo dropout, which allows to identify frequency regions where the prediction might not be accurate, and we study the effect of noise, in particular also for situations where the noise level during training is different from that in the actual data. Our analysis demonstrates that this method can indeed achieve a high quality of prediction, comparable or better than the widely used maximum entropy method, but that further improvement is currently limited by the lack of true data that can be used for training. We also benchmark our approach by applying it to the case of SrVO$_3$, where an accurate spectral function has been obtained from dynamical mean-field theory using a solver that works directly on the real frequency axis.


title: Counting Phases and Faces Using Bayesian Thermodynamic Integration

abstract: We introduce a new approach to reconstruction of the thermodynamic functions and phase boundaries in two-parametric statistical mechanics systems. Our method is based on expressing the Fisher metric in terms of the posterior distributions over a space of external parameters and approximating the metric field by a Hessian of a convex function. We use the proposed approach to accurately reconstruct the partition functions and phase diagrams of the Ising model and the exactly solvable non-equilibrium TASEP without any a priori knowledge about microscopic rules of the models. We also demonstrate how our approach can be used to visualize the latent space of StyleGAN models and evaluate the variability of the generated images.

categories: cond-mat.stat-mech cond-mat.dis-nn cs.CV physics.data-an


title: Retrospective, Observational Studies for Estimating Vaccine Effects on the Secondary Attack Rate of SARS-CoV-2

abstract: COVID-19 vaccines are highly efficacious at preventing symptomatic infection, severe disease, and death. Most of the evidence that COVID-19 vaccines also reduce transmission of SARS-CoV-2 is based on retrospective, observational studies. Specifically, an increasing number of studies are evaluating vaccine efficacy against the secondary attack rate of SARS-CoV-2 using data available in existing healthcare databases or contact tracing databases. Since these types of databases were designed for clinical diagnosis or management of COVID-19, they are limited in their ability to provide accurate information on infection, infection timing, and transmission events. In this manuscript, we highlight challenges with using existing databases to identify transmission units and confirm potential SARS-CoV-2 transmission events. We discuss the impact of common diagnostic testing strategies including event-prompted and infrequent testing and illustrate their potential biases in estimating vaccine efficacy against the secondary attack rate of SARS-CoV-2. We articulate the need for prospective observational studies of vaccine efficacy against the SARS-CoV-2 SAR, and we provide design and reporting considerations for studies using retrospective databases.


title: Normalization, Square Roots, and the Exponential and Logarithmic Maps in Geometric Algebras of Less than 6D

abstract: Geometric algebras of dimension $n < 6$ are becoming increasingly popular for the modeling of 3D and 3+1D geometry. With this increased popularity comes the need for efficient algorithms for common operations such as normalization, square roots, and exponential and logarithmic maps. The current work presents a signature agnostic analysis of these common operations in all geometric algebras of dimension $n < 6$, and gives efficient numerical implementations in the most popular algebras $\mathbb{R}_{4}$, $\mathbb{R}_{3,1}$, $\mathbb{R}_{3,0,1}$ and $\mathbb{R}_{4,1}$, in the hopes of lowering the threshold for adoption of geometric algebra solutions by code maintainers.


title: Towards ML Methods for Biodiversity: A Novel Wild Bee Dataset and Evaluations of XAI Methods for ML-Assisted Rare Species Annotations

abstract: Insects are a crucial part of our ecosystem. Sadly, in the past few decades, their numbers have worryingly decreased. In an attempt to gain a better understanding of this process and monitor the insects populations, Deep Learning may offer viable solutions. However, given the breadth of their taxonomy and the typical hurdles of fine grained analysis, such as high intraclass variability compared to low interclass variability, insect classification remains a challenging task. There are few benchmark datasets, which impedes rapid development of better AI models. The annotation of rare species training data, however, requires expert knowledge. Explainable Artificial Intelligence (XAI) could assist biologists in these annotation tasks, but choosing the optimal XAI method is difficult. Our contribution to these research challenges is threefold: 1) a dataset of thoroughly annotated images of wild bees sampled from the iNaturalist database, 2) a ResNet model trained on the wild bee dataset achieving classification scores comparable to similar state-of-the-art models trained on other fine-grained datasets and 3) an investigation of XAI methods to support biologists in annotation tasks.


title: Safe Motion Planning for a Mobile Robot Navigating in Environments Shared with Humans

abstract: In this paper, a robot navigating an environment shared with humans is considered, and a cost function that can be exploited in $\text{RRT}^\text{X}$, a randomized sampling-based replanning algorithm that guarantees asymptotic optimality, to allow for a safe motion is proposed. The cost function is a path length weighted by a danger index based on a prediction of human motion performed using either a linear stochastic model, assuming constant longitudinal velocity and varying lateral velocity, and a GMM/GMR-based model, computed on an experimental dataset of human trajectories. The proposed approach is validated using a dataset of human trajectories collected in a real world setting.


title: Mitigating Intra-Cell Pilot Contamination in Massive MIMO: A Rate Splitting Approach

abstract: Massive multiple-input multiple-output (MaMIMO) has become an integral part of the fifth-generation (5G) standard, and is envisioned to be further developed in beyond 5G (B5G) networks. With a massive number of antennas at the base station (BS), MaMIMO is best equipped to cater prominent use cases of B5G networks such as enhanced mobile broadband (eMBB), ultra-reliable low-latency communications (URLLC) and massive machine-type communications (mMTC) or combinations thereof. However, one of the critical challenges to this pursuit is the sporadic access behaviour of a massive number of devices in practical networks that inevitably leads to the conspicuous pilot contamination problem. Conventional linearly precoded physical layer strategies employed for downlink transmission in time division duplex (TDD) MaMIMO would incur a noticeable spectral efficiency (SE) loss in the presence of this pilot contamination. In this paper, we aim to integrate a robust multiple access and interference management strategy named rate-splitting multiple access (RSMA) with TDD MaMIMO for downlink transmission and investigate its SE performance. We propose a novel downlink transmission framework of RSMA in TDD MaMIMO, devise a precoder design strategy and power allocation schemes to maximize different network utility functions. Numerical results reveal that RSMA is significantly more robust to pilot contamination and always achieves a SE performance that is equal to or better than the conventional linearly precoded MaMIMO transmission strategy.