title: Performance of the Cherenkov Telescope Array in the presence of clouds

abstract: The Cherenkov Telescope Array (CTA) is the future ground-based observatory for gamma-ray astronomy at very high energies. The atmosphere is an integral part of every Cherenkov telescope. Different atmospheric conditions, such as clouds, can reduce the fraction of Cherenkov photons produced in air showers that reach ground-based telescopes, which may affect the performance. Decreased sensitivity of the telescopes may lead to misconstructed energies and spectra. This study presents the impact of various atmospheric conditions on CTA performance. The atmospheric transmission in a cloudy atmosphere in the wavelength range from 203 nm to 1000 nm was simulated for different cloud bases and different optical depths using the MODerate resolution atmospheric TRANsmission (MODTRAN) code. MODTRAN output files were used as inputs for generic Monte Carlo simulations. The analysis was performed using the MAGIC Analysis and Reconstruction Software (MARS) adapted for CTA. As expected, the effects of clouds are most evident at low energies, near the energy threshold. Even in the presence of dense clouds, high-energy gamma rays may still trigger the telescopes if the first interaction occurs lower in the atmosphere, below the cloud base. A method to analyze very high-energy data obtained in the presence of clouds is presented. The systematic uncertainties of the method are evaluated. These studies help to gain more precise knowledge about the CTA response to cloudy conditions and give insights on how to proceed with data obtained in such conditions. This may prove crucial for alert-based observations and time-critical studies of transient phenomena.


title: Chiral condensates for neutron stars in hadron-quark crossover: from a parity doublet nucleon model to an NJL quark model

abstract: We study the chiral condensates in neutron star matter from nuclear to quark matter domain. We describe nuclear matter with a parity doublet model (PDM), quark matter with the Nambu--Jona-Lasino (NJL) model, and a matter at the intermediate density by interpolating nuclear and quark matter equations of state. The model parameters are constrained by nuclear physics and neutron star observations. Various condensates in the interpolated domain are estimated from the chemical potential dependence of the condensates at the boundaries of the interpolation. The use of the PDM with substantial chiral invariant mass ($m_0 \gtrsim 500$ MeV, which is favored by the neutron star observations) predicts the mild chiral restoration, and the significant chiral condensate remains to baryon density $n_B \sim 2-3n_0$ ($n_0\simeq 0.16\,{\rm fm}^{-3}$: nuclear saturation density), smoothly approaching the NJL predictions for the color-flavor-locked phase at $n_B \gtrsim 5n_0$. The same method is applied to estimate diquark condensates, number densities of up-, down- and strange-quarks, and the lepton fraction. In our descriptions the chiral restoration in the interpolated domain proceeds with two conceptually distinct chiral restoration effects; the first is associated with the positive scalar density in a nucleon, relevant in dilute regime, and the other primarily arises from the modification of the quark Dirac sea, which is triggered by the growth of the quark Fermi sea. We discuss several qualitative conjectures to interpolate the microphysics in nuclear and quark matter.


title: An approximately translation-dilation invariant system

abstract: Let $\theta >2$ be real and non-integral with integer part $n = \lfloor \theta \rfloor$ and let $ \phi (x)$ be a generalised polynomial with leading term $x^\theta.$ We establish a mean value estimate for the exponential sum \begin{equation*} \sum_{1 \leq x \leq P} e \left(\alpha_1 x + \cdots + \alpha_n x^n + \alpha_\phi \phi (x) \right). \end{equation*}


title: Automatic Boundedness of Adjointable Operators on Barreled VH-Spaces

abstract: We consider the space of adjointable operators on barreled VH (Vector Hilbert) spaces and show that such operators are automatically bounded.This generalizes the well known corresponding result for locally Hilbert $C^*$-modules.We pick a consequence of this result in the dilation theory of VH-spaces and show that, when barreled VH-spaces are considered, a certain boundedness condition for the existence of VH-space linearisations, equivalently, of reproducing kernel VH-spaces, is automatically satisfied.


title: Massive Gravitons as Feebly Interacting Dark Matter Candidates

abstract: We detailed our discovery of a chiral enhancement in the production cross sections of massive spin-2 gravitons, below the electroweak symmetry breaking scale, that makes them ideal dark matter candidates for the freeze-in mechanism. The result is independent of the physics at high scales, and points toward masses in the keV- MeV range. The graviton is, therefore, a sub-MeV dark matter particle, as favored by the small scale galaxy structures. We apply the novel calculation to a Randall-Sundrum model with multiple branes, showing a significant parameter space where the first two massive gravitons saturate the dark matter relic density.


title: Evaluating the COVID-19 Identification ResNet (CIdeR) on the INTERSPEECH COVID-19 from Audio Challenges

abstract: We report on cross-running the recent COVID-19 Identification ResNet (CIdeR) on the two Interspeech 2021 COVID-19 diagnosis from cough and speech audio challenges: ComParE and DiCOVA. CIdeR is an end-to-end deep learning neural network originally designed to classify whether an individual is COVID-positive or COVID-negative based on coughing and breathing audio recordings from a published crowdsourced dataset. In the current study, we demonstrate the potential of CIdeR at binary COVID-19 diagnosis from both the COVID-19 Cough and Speech Sub-Challenges of INTERSPEECH 2021, ComParE and DiCOVA. CIdeR achieves significant improvements over several baselines.


title: Assistance and Interdiction Problems on Interval Graphs

abstract: We introduce a novel framework of graph modifications specific to interval graphs. We study interdiction problems with respect to these graph modifications. Given a list of original intervals, each interval has a replacement interval such that either the replacement contains the original, or the original contains the replacement. The interdictor is allowed to replace up to $k$ original intervals with their replacements. Using this framework we also study the contrary of interdiction problems which we call assistance problems. We study these problems for the independence number, the clique number, shortest paths, and the scattering number. We obtain polynomial time algorithms for most of the studied problems. Via easy reductions, it follows that on interval graphs, the most vital nodes problem with respect to shortest path, independence number and Hamiltonicity can be solved in polynomial time.


title: Sensing and Mapping for Better Roads: Initial Plan for Using Federated Learning and Implementing a Digital Twin to Identify the Road Conditions in a Developing Country -- Sri Lanka

abstract: We propose how a developing country like Sri Lanka can benefit from privacy-enabled machine learning techniques such as Federated Learning to detect road conditions using crowd-sourced data collection and proposed the idea of implementing a Digital Twin for the national road system in Sri Lanka. Developing countries such as Sri Lanka are far behind in implementing smart road systems and smart cities compared to the developed countries. The proposed work discussed in this paper matches the UN Sustainable Development Goal (SDG) 9: "Build Resilient Infrastructure, Promote Inclusive and Sustainable Industrialization and Foster Innovation". Our proposed work discusses how the government and private sector vehicles that conduct routine trips to collect crowd-sourced data using smartphone devices to identify the road conditions and detect where the potholes, surface unevenness (roughness), and other major distresses are located on the roads. We explore Mobile Edge Computing (MEC) techniques that can bring machine learning intelligence closer to the edge devices where produced data is stored and show how the applications of Federated Learning can be made to detect and improve road conditions. During the second phase of this study, we plan to implement a Digital Twin for the road system in Sri Lanka. We intend to use data provided by both Dedicated and Non-Dedicated systems in the proposed Digital Twin for the road system. As of writing this paper, and best to our knowledge, there is no Digital Twin system implemented for roads and other infrastructure systems in Sri Lanka. The proposed Digital Twin will be one of the first implementations of such systems in Sri Lanka. Lessons learned from this pilot project will benefit other developing countries who wish to follow the same path and make data-driven decisions.


title: High Performance Uncertainty Quantification with Parallelized Multilevel Markov Chain Monte Carlo

abstract: Numerical models of complex real-world phenomena often necessitate High Performance Computing (HPC). Uncertainties increase problem dimensionality further and pose even greater challenges. We present a parallelization strategy for multilevel Markov chain Monte Carlo, a state-of-the-art, algorithmically scalable Uncertainty Quantification (UQ) algorithm for Bayesian inverse problems, and a new software framework allowing for large-scale parallelism across forward model evaluations and the UQ algorithms themselves. The main scalability challenge presents itself in the form of strong data dependencies introduced by the MLMCMC method, prohibiting trivial parallelization. Our software is released as part of the modular and open-source MIT UQ Library (MUQ), and can easily be coupled with arbitrary user codes. We demonstrate it using the DUNE and the ExaHyPE Engine. The latter provides a realistic, large-scale tsunami model in which identify the source of a tsunami from buoy-elevation data.


title: A Novel Approach towards the Search for Gamma-ray Emission from the Northern Fermi Bubble with HAWC

abstract: The Fermi bubbles are structures observed in gamma rays at GeV energies, emanating from the central region of our galaxy and extending up to 8.5 kpc above and below the galactic plane. While initial studies showed a flat brightness across the entire structure, more recent work found a brightening at the base. We perform a template-based search for TeV signals from the northern Fermi bubble and just from the base of it in data from the High Altitude Water Cherenkov (HAWC) gamma-ray observatory. We employ a profile likelihood approach to calculate the significance and flux from the search regions. With no significant signal from the northern Fermi bubble and its base, we report new upper limits on the integral flux at 95% confidence level. Our integral flux upper limits for the northern Fermi bubble are more constraining than the previous limits reported by HAWC. Moreover, we present, for the first time, TeV limits pertaining to the base of the bubble which constitutes a more fair comparison to Fermi Large Area Telescope data points close to this particular region.


title: International Trade Network: Country centrality and COVID-19 pandemic

abstract: International trade is based on a set of complex relationships between different countries that can be modelled as an extremely dense network of interconnected agents. On the one hand, this network might favour the economic growth of countries, but on the other, it can also favour the diffusion of diseases, like the COVID-19. In this paper, we study whether, and to what extent, the topology of the trade network can explain the rate of COVID-19 diffusion and mortality across countries. We compute the countries' centrality measures and we apply the community detection methodology based on communicability distance. Then, we use these measures as focal regressors in a negative binomial regression framework. In doing so, we also compare the effect of different measures of centrality. Our results show that the number of infections and fatalities are larger in countries with a higher centrality in the global trade network.


title: Spectral gap for Weil-Petersson random surfaces with cusps

abstract: We show that for any $\epsilon>0$, $\alpha\in[0,\frac{1}{2})$, as $g\to\infty$ a generic finite-area genus g hyperbolic surface with $n=O\left(g^{\alpha}\right)$ cusps, sampled with probability arising from the Weil-Petersson metric on moduli space, has no non-zero eigenvalue of the Laplacian below $\frac{1}{4}-\left(\frac{2\alpha+1}{4}\right)^{2}-\epsilon$. For $\alpha=0$ this gives a spectral gap of size $\frac{3}{16}-\epsilon$ and for any $\alpha<\frac{1}{2}$ gives a uniform spectral gap of explicit size.


title: The nonlinear motion of cells subject to external forces

abstract: To develop a minimal model for a cell moving in a crowded environment such as in tissue, we investigate the response of a liquid drop of active matter moving on a flat rigid substrate to forces applied at its boundaries. We consider two different self-propulsion mechanisms, active stresses and treadmilling polymerisation, and we investigate how the active drop motion is altered by these surface forces. We find a highly non-linear response to forces that we characterise using drop velocity, drop shape, and the traction between the drop and the substrate. Each self-propulsion mechanism gives rise to two main modes of motion: a long thin drop with zero traction in the bulk, mostly occurring under strong stretching forces, and a parabolic drop with finite traction in the bulk, mostly occurring under strong squeezing forces. In each case there is a sharp transition between parabolic, and long thin drops as a function of the applied forces and indications of drop break-up where large forces stretch the drop.


title: Measurement of splittings along a jet shower in $\sqrt{s} = 200$ GeV pp collisions at STAR

abstract: Jets are algorithmic proxies of hard scattered partons, i.e. quarks and gluons, in high energy particle collisions. The STAR collaboration presents the first measurements of substructure observables at the first, second and third splits in the jet clustering tree via the iterative SoftDrop procedure. For each of these splits, we measure the fully corrected groomed shared momentum fraction (\zg) and groomed jet radius (\rg). We discuss the evolution of jet substructure in both the angular and momentum scales which allows for a self-similarity test of the DGLAP splitting function. We compare the fully corrected data to Monte Carlo models, providing stringent constraints on model parameters related to the parton shower and non-perturbative effects such as hadronization.


title: Towards a Sustainable Power Grid: Stochastic Hierarchical Planning for High Renewable Integration

abstract: Driven by ambitious renewable portfolio standards, large-scale inclusion of variable energy resources (such as wind and solar) are expected to introduce unprecedented levels of uncertainty into power system operations. The current practice of operations planning with deterministic optimization models may be ill-suited for a future with abundant uncertainty. To overcome the potential reliability and economic challenges, we present a stochastic hierarchical planning (SHP) framework. This framework captures operations at day-ahead, short-term and hour-ahead timescales, along with the interactions between the stochastic processes and decisions. In contrast to earlier studies where stochastic optimization of individual problems (e.g., unit commitment, economic dispatch) have been studied, this paper studies an integrated framework of \emph{planning under uncertainty}, where stochastic optimization models are stitched together in a hierarchical setting which parallels the deterministic hierarchical planning approach that is widely adopted in the power industry. Our experiments, based on the NREL-118 dataset, reveal that under high renewable penetration, significant operational improvements can be expected by transitioning to the SHP paradigm. In particular, the computational results show that significant improvements can be achieved in several metrics, including system reliability, environmental sustainability, and system economics, solely by making a strategic choice to adopt the new SHP paradigm.


title: T-odd quark-gluon-quark correlation function in the light-front quark-diquark model

abstract: We have scrutinized the transverse momentum dependent quark-gluon-quark correlation function. We have utilized the light-front quark-diquark model to study the time-reversal-odd interaction-dependent twist-3 gluon distributions which we have obtained from the disintegration of the transverse momentum dependent quark-gluon-quark correlator. Specifically, we have studied the behavior of $\tilde{e}_{L}$ and $\tilde{e}_{T}$ while considering our diquark to be an axial-vector.


title: Recent Studies of Exotic Hadrons at the LHCb Experiment

abstract: Recent results on studies of exotic hadrons at the LHCb experiment are summarised. These are the observation of new resonances decaying to J/$\psi K^{+}$ and J/$\psi\phi$, evidence of a J/$\psi\Lambda$ structure and observation of excited $\Xi^{-}$ states in the $\Xi_{b}^{-}\to J/\psi \Lambda K^{-}$ decay and the study of $B_{s}^{0}\to J/\psi\pi^{+}\pi^{-}K^{+}K^{-}$ decays.


title: TASK3 DCASE2021 Challenge: Sound event localization and detection using squeeze-excitation residual CNNs

abstract: Sound event localisation and detection (SELD) is a problem in the field of automatic listening that aims at the temporal detection and localisation (direction of arrival estimation) of sound events within an audio clip, usually of long duration. Due to the amount of data present in the datasets related to this problem, solutions based on deep learning have positioned themselves at the top of the state of the art. Most solutions are based on 2D representations of the audio (different spectrograms) that are processed by a convolutional-recurrent network. The motivation of this submission is to study the squeeze-excitation technique in the convolutional part of the network and how it improves the performance of the system. This study is based on the one carried out by the same team last year. This year, it has been decided to study how this technique improves each of the datasets (last year only the MIC dataset was studied). This modification shows an improvement in the performance of the system compared to the baseline using MIC dataset.


title: Time-Slicing Path-integral in Curved Space

abstract: Path integrals constitute powerful representations for both quantum and stochastic dynamics. Yet despite many decades of intensive studies, there is no consensus on how to formulate them for dynamics in curved space, or how to make them covariant with respect to nonlinear transform of variables. In this work, we construct rigorous and covariant formulations of time-slicing path integrals for quantum and classical stochastic dynamics in curved space. We first establish a rigorous criterion for correct time-slice actions of path integrals (Lemma 1). This implies the existence of infinitely many equivalent representations for time-slicing path integral. We then show that, for any dynamics with second order generator, all time-slice actions are asymptotically equivalent to a Gaussian (Lemma 2). Using these results, we further construct a continuous family of equivalent actions parameterized by an interpolation parameter $\alpha \in [0,1]$ (Lemma 3). The action generically contains a spurious drift term linear in $\Delta \boldsymbol x$, whose concrete form depends on $\alpha$. Finally we also establish the covariance of our path-integral formalism, by demonstrating how the action transforms under nonlinear transform of variables. The $\alpha = 0$ representation of time-slice action is particularly convenient because it is Gaussian and invariant, as long as $\Delta \boldsymbol x$ transforms according to Ito's formula.

categories: cond-mat.stat-mech math-ph math.MP quant-ph


title: Iterative, Deep, and Unsupervised Synthetic Aperture Sonar Image Segmentation

abstract: Deep learning has not been routinely employed for semantic segmentation of seabed environment for synthetic aperture sonar (SAS) imagery due to the implicit need of abundant training data such methods necessitate. Abundant training data, specifically pixel-level labels for all images, is usually not available for SAS imagery due to the complex logistics (e.g., diver survey, chase boat, precision position information) needed for obtaining accurate ground-truth. Many hand-crafted feature based algorithms have been proposed to segment SAS in an unsupervised fashion. However, there is still room for improvement as the feature extraction step of these methods is fixed. In this work, we present a new iterative unsupervised algorithm for learning deep features for SAS image segmentation. Our proposed algorithm alternates between clustering superpixels and updating the parameters of a convolutional neural network (CNN) so that the feature extraction for image segmentation can be optimized. We demonstrate the efficacy of our method on a realistic benchmark dataset. Our results show that the performance of our proposed method is considerably better than current state-of-the-art methods in SAS image segmentation.


title: A fast estimator for quantifying the shape dependence of the 3D bispectrum

abstract: The dependence of the bispectrum on the size and shape of the triangle contains a wealth of cosmological information. Here we consider a triangle parameterization which allows us to separate the size and shape dependence. We have implemented an FFT based fast estimator for the three dimensional (3D) bin averaged bispectrum, and we demonstrate that it allows us to study the variation of the bispectrum across triangles of all possible shapes (and also sizes). The computational requirement is shown to scale as $\sim N_{\rm g}^3~\log{N_{\rm g}^3}$ where $N_g$ is the number of grid points along each side of the volume. We have validated the estimator using a non-Gaussian field for which the bispectrum can be analytically calculated. The estimated bispectrum values are found to be in good agreement ($< 10 \%$ deviation) with the analytical predictions across much of the triangle-shape parameter space. We also introduce linear redshift space distortion, a situation where also the bispectrum can be analytically calculated. Here the estimated bispectrum is found to be in close agreement with the analytical prediction for the monopole of the redshift space bispectrum.


title: Structure of benzothiadiazine at zwitterionic phospholipid cell membranes

abstract: The use of drugs derived from benzothiadiazine, which is a bicyclic heterocyclic benzene derivative, has become a widespread treatment for diseases such as hypertension (treated with diuretics such as bendroflumethiazide or chlorothiazide), low blood sugar (treated with non-diuretic diazoxide) or the human immunodeficiency virus, among others. In this work we have investigated the interactions of benzothiadiazine with the basic components of cell membranes and solvents such as phospholipids, cholesterol, ions and water. The analysis of the mutual microscopic interactions is of central importance to elucidate the local structure of benzothiadiazine as well as the mechanisms responsible for the access of benzothiadiazine to the interior of the cell. We have performed molecular dynamics simulations of benzothiadiazine embedded in three different model zwitterionic bilayer membranes made by dimyristoilphosphatidylcholine, dioleoylphosphatidylcholine, 1,2- dioleoyl-sn-glycero-3-phosphoserine and cholesterol inside aqueous sodium-chloride solution in order to systematically examine microscopic interactions of benzothiadiazine with the cell membrane at liquid-crystalline phase conditions. From data obtained through radial distribution functions, hydrogen-bonding lengths and potentials of mean force based on reversible work calculations, we have observed that benzothiadiazine has a strong affinity to stay at the cell membrane interface although it can be fully solvated by water in short periods of time. Furthermore, benzothiadiazine is able to bind lipids and cholesterol chains by means of single and double hydrogen-bonds of different characteristic lengths.


title: On small breathers of nonlinear Klein-Gordon equations via exponentially small homoclinic splitting

abstract: Families of breathers have been found for certain integrable PDEs but are believed to be rare in non-integrable ones such as nonlinear Klein-Gordon equations. In this paper we consider small breathers for semilinear Klein-Gordon equations with analytic odd nonlinearities. A breather with small amplitude exists only when its temporal frequency is close to be resonant with the linear Klein-Gordon dispersion relation. Our main result is that, for such frequencies, we rigorously identify the leading order term in the exponentially small (with respect to the small amplitude) obstruction to the existence of small breathers in terms of the so-called Stokes constant which depends on the nonlinearity analytically, but is independent of the frequency. As a corollary it proves that, for generic analytic odd nonlinearities, there does not exist any {\it small} breather of {\it any} temporal frequency, even though this had been intuitive for any single given frequency due to the dimension counting. In particular, this gives a rigorous justification of a formal asymptotic argument by Kruskal and Segur \cite{KS87} in the analysis of small breathers. We rely on the spatial dynamics approach where breathers can be seen as homoclinic orbits. The birth of such small homoclinics is analyzed via a singular perturbation setting where a Bogdanov-Takens type bifurcation is coupled to infinitely many rapidly oscillatory directions. The leading order term of the exponentially small splitting between the stable/unstable invariant manifolds is obtained through a careful analysis of the analytic continuation of their parameterizations. This requires the study of another limit equation in the complexified evolution variable, the so-called \emph{inner equation}.


title: Multiple exposure distributed lag models with variable selection

abstract: Distributed lag models are useful in environmental epidemiology as they allow the user to investigate critical windows of exposure, defined as the time period during which exposure to a pollutant adversely affects health outcomes. Recent studies have focused on estimating the health effects of a large number of environmental exposures, or an environmental mixture, on health outcomes. In such settings, it is important to understand which environmental exposures affect a particular outcome, while acknowledging the possibility that different exposures have different critical windows. Further, in the studies of environmental mixtures, it is important to identify interactions among exposures, and to account for the fact that this interaction may occur between two exposures having different critical windows. Exposure to one exposure early in time could cause an individual to be more or less susceptible to another exposure later in time. We propose a Bayesian model to estimate the temporal effects of a large number of exposures on an outcome. We use spike-and-slab priors and semiparametric distributed lag curves to identify important exposures and exposure interactions, and discuss extensions with improved power to detect harmful exposures. We then apply these methods to estimate the effects of exposure to multiple air pollutants during pregnancy on birthweight from vital records in Colorado.


title: Band strutures of hybrid graphene quantum dots with magnetic flux

abstract: We study the band structures of hybrid graphene quantum dots subject to a magnetic flux and electrostatic potential. The system is consisting of a circular single layer graphene surrounded by an infinite bilayer graphene. By solving the Dirac equation we obtain the solution of the energy spectrum in two regions. For the valley $K$, it is found that the magnetic flux strongly acts by decreasing the gap and shifting energy levels away from zero radius with some oscillations, which are note observed for null flux case. As for the valley $K'$, the energy levels rapidly increase when the radius increases. A number of oscillations appeared that is strongly dependent on the values taken by the magnetic flux.


title: Can You Hear It? Backdoor Attacks via Ultrasonic Triggers

abstract: This work explores backdoor attacks for automatic speech recognition systems where we inject inaudible triggers. By doing so, we make the backdoor attack challenging to detect for legitimate users, and thus, potentially more dangerous. We conduct experiments on two versions of a speech dataset and three neural networks and explore the performance of our attack concerning the duration, position, and type of the trigger. Our results indicate that less than 1% of poisoned data is sufficient to deploy a backdoor attack and reach a 100% attack success rate. We observed that short, non-continuous triggers result in highly successful attacks. However, since our trigger is inaudible, it can be as long as possible without raising any suspicions making the attack more effective. Finally, we conducted our attack in actual hardware and saw that an adversary could manipulate inference in an Android application by playing the inaudible trigger over the air.


title: Beep-And-Sleep: Message and Energy Efficient Set Cover

abstract: We observe message-efficient distributed algorithms for the Set Cover problem. Given a ground set $U$ of $n$ elements and $m$ subsets of $U$, we aim to find the minimal number of these subsets that contain all elements. In the default distributed setup of this problem, each set has a bidirected communication link with each element it contains. Our first result is a $\tilde{O}(\log^2(\Delta))$-time and $O(\sqrt{\Delta)}(n+m))$-message algorithm with expected approximation ration of $O(\log(\Delta))$ in the $KT_0$ model. The value $\Delta$ denotes the maximal cardinality of each subset. Our algorithm is \emph{almost} optimal with regard to time and message complexity. Further, we present Set Cover algorithm in the Beeping model that only relies on carrier-sensing and can trade runtime for approximation ratio similar to the celebrated algorithm by Kuhn and Wattenhofer [PODC '03].


title: Observer-based switched-linear system identification

abstract: In this paper, we present a methodology to identify discrete-time state-space switched linear systems (SLSs) from input-output measurements. Continuous-state is not assumed to be measured. The key step is a deadbeat observer based transformation to a switched auto-regressive with exogenous input (SARX) model. This transformation reduces the state-space identification problem to a SARX model estimation problem. Overfitting issues are tackled. The switch and parameter identifiability and the persistence of excitation conditions on the inputs are discussed in detail. The discrete-states are identified in the observer domain by solving a non-convex sparse optimization problem. A clustering algorithm reveals the discrete-states under mild assumptions on the system structure and the dwell times. The switching sequence is estimated from the input-output data by the multi-variable output error state space (MOESP) algorithm and a variant modified from it. A convex relaxation of the sparse optimization problem yields the block basis pursuit denoising (BBPDN) algorithm. Theoretical findings are supported by means of a detailed numerical example. In this example, the proposed methodology is also compared to another identification scheme in hybrid systems literature.


title: Product1M: Towards Weakly Supervised Instance-Level Product Retrieval via Cross-modal Pretraining

abstract: Nowadays, customer's demands for E-commerce are more diversified, which introduces more complications to the product retrieval industry. Previous methods are either subject to single-modal input or perform supervised image-level product retrieval, thus fail to accommodate real-life scenarios where enormous weakly annotated multi-modal data are present. In this paper, we investigate a more realistic setting that aims to perform weakly-supervised multi-modal instance-level product retrieval among fine-grained product categories. To promote the study of this challenging task, we contribute Product1M, one of the largest multi-modal cosmetic datasets for real-world instance-level retrieval. Notably, Product1M contains over 1 million image-caption pairs and consists of two sample types, i.e., single-product and multi-product samples, which encompass a wide variety of cosmetics brands. In addition to the great diversity, Product1M enjoys several appealing characteristics including fine-grained categories, complex combinations, and fuzzy correspondence that well mimic the real-world scenes. Moreover, we propose a novel model named Cross-modal contrAstive Product Transformer for instance-level prodUct REtrieval (CAPTURE), that excels in capturing the potential synergy between multi-modal inputs via a hybrid-stream transformer in a self-supervised manner.CAPTURE generates discriminative instance features via masked multi-modal learning as well as cross-modal contrastive pretraining and it outperforms several SOTA cross-modal baselines. Extensive ablation studies well demonstrate the effectiveness and the generalization capacity of our model. Dataset and codes are available at https: //github.com/zhanxlin/Product1M.


title: Neural Network Based Model Predictive Control for an Autonomous Vehicle

abstract: We study learning based controllers as a replacement for model predictive controllers (MPC) for the control of autonomous vehicles. We concentrate for the experiments on the simple yet representative bicycle model. We compare training by supervised learning and by reinforcement learning. We also discuss the neural net architectures so as to obtain small nets with the best performances. This work aims at producing controllers that can both be embedded on real-time platforms and amenable to verification by formal methods techniques.


title: Surrogate Modelling for Injection Molding Processes using Machine Learning

abstract: Injection molding is one of the most popular manufacturing methods for the modeling of complex plastic objects. Faster numerical simulation of the technological process would allow for faster and cheaper design cycles of new products. In this work, we propose a baseline for a data processing pipeline that includes the extraction of data from Moldflow simulation projects and the prediction of the fill time and deflection distributions over 3-dimensional surfaces using machine learning models. We propose algorithms for engineering of features, including information of injector gates parameters that will mostly affect the time for plastic to reach the particular point of the form for fill time prediction, and geometrical features for deflection prediction. We propose and evaluate baseline machine learning models for fill time and deflection distribution prediction and provide baseline values of MSE and RMSE metrics. Finally, we measure the execution time of our solution and show that it significantly exceeds the time of simulation with Moldflow software: approximately 17 times and 14 times faster for mean and median total times respectively, comparing the times of all analysis stages for deflection prediction. Our solution has been implemented in a prototype web application that was approved by the management board of Fiat Chrysler Automobiles and Illogic SRL. As one of the promising applications of this surrogate modelling approach, we envision the use of trained models as a fast objective function in the task of optimization of technological parameters of the injection molding process (meaning optimal placement of gates), which could significantly aid engineers in this task, or even automate it.


title: DQ-SGD: Dynamic Quantization in SGD for Communication-Efficient Distributed Learning

abstract: Gradient quantization is an emerging technique in reducing communication costs in distributed learning. Existing gradient quantization algorithms often rely on engineering heuristics or empirical observations, lacking a systematic approach to dynamically quantize gradients. This paper addresses this issue by proposing a novel dynamically quantized SGD (DQ-SGD) framework, enabling us to dynamically adjust the quantization scheme for each gradient descent step by exploring the trade-off between communication cost and convergence error. We derive an upper bound, tight in some cases, of the convergence error for a restricted family of quantization schemes and loss functions. We design our DQ-SGD algorithm via minimizing the communication cost under the convergence error constraints. Finally, through extensive experiments on large-scale natural language processing and computer vision tasks on AG-News, CIFAR-10, and CIFAR-100 datasets, we demonstrate that our quantization scheme achieves better tradeoffs between the communication cost and learning performance than other state-of-the-art gradient quantization methods.


title: On weight spectrum of linear codes

abstract: We study sequences of linear or affine codes with uniform weight spectrum, i.e., a part of codewords with any fixed weight tends to zero. It is proved that a sequence of linear codes has a uniform weight spectrum if the number of vectors from codes with weight $1$ grows to infinity. We find an example of a sequence of linear codes such that the dimension of the code is the half of the codelength but it has not a uniform weight spectrum. This example generates eigenfunctions of the Fourier transform with minimal support and partial covering sets. Moreover, we generalize some MacWilliams-type identity. Keywords: weight distribution of code, dual code, MacWilliams identity, Fourier transform, partial covering array


title: Fast direct access to variable length codes

abstract: We consider the issue of direct access to any letter of a sequence encoded with a variable length code and stored in the computer's memory, which is a special case of the random access problem to compressed memory. The characteristics according to which methods are evaluated are the access time to one letter and the memory used. The proposed methods, with various trade-offs between the characteristics, outperform the known ones.


title: Winning the Ransomware Lottery: A Game-Theoretic Model for Mitigating Ransomware Attacks

abstract: Ransomware is a growing threat to individuals and enterprises alike, constituting a major factor in cyber insurance and in the security planning of every organization. Although the game theoretic lens often frames the game as a competition between equals -- a profit maximizing attacker and a loss minimizing defender -- the reality of many situations is that ransomware organizations are not playing a non-cooperative game, they are playing a lottery. The wanton behavior of attackers creates a situation where many victims are hit more than once by ransomware operators, sometimes even by the same group. If defenders wish to combat malware, they must then seek to remove the incentives of it. In this work, we construct an expected value model based on data from actual ransomware attacks and identify three variables: the value of payments, the cost of an attack, and the probability of payment. Using this model, we consider the potential to manipulate these variables to reduce the profit motive associated with ransomware attack. Based on the model, we present mitigations to encourage an environment that is hostile to ransomware operators. In particular, we find that off-site backups and government incentives for their adoption are the most fruitful avenue for combating ransomware.


title: Acoustic M\"obius insulators from projective symmetry

abstract: Symmetry plays a critical role in classifying phases of matter. This is exemplified by how crystalline symmetries enrich the topological classification of materials and enable unconventional phenomena in topologically nontrivial ones. After an extensive study over the past decade, the list of topological crystalline insulators and semimetals seems to be exhaustive and concluded. However, in the presence of gauge symmetry, common but not limited to artificial crystals, the algebraic structure of crystalline symmetries needs to be projectively represented, giving rise to unprecedented topological physics. Here we demonstrate this novel idea by exploiting a projective translation symmetry and constructing a variety of M\"obius-twisted topological phases. Experimentally, we realize two M\"obius insulators in acoustic crystals for the first time: a two-dimensional one of first-order band topology and a three-dimensional one of higher-order band topology. We observe unambiguously the peculiar M\"obius edge and hinge states via real-space visualization of their localiztions, momentum-space spectroscopy of their 4{\pi} periodicity, and phase-space winding of their projective translation eigenvalues. Not only does our work open a new avenue for artificial systems under the interplay between gauge and crystalline symmetries, but it also initializes a new framework for topological physics from projective symmetry.


title: Distributed Event- and Self-Triggered Coverage Control with Speed Constrained Unicycle Robots

abstract: Voronoi coverage control is a particular problem of importance in the area of multi-robot systems, which considers a network of multiple autonomous robots, tasked with optimally covering a large area. This is a common task for fleets of fixed-wing Unmanned Aerial Vehicles (UAVs), which are described in this work by a unicycle model with constant forward-speed constraints. We develop event-based control/communication algorithms to relax the resource requirements on wireless communication and control actuators, an important feature for battery-driven or otherwise energy-constrained systems. To overcome the drawback that the event-triggered algorithm requires continuous measurement of system states, we propose a self-triggered algorithm to estimate the next triggering time. Hardware experiments illustrate the theoretical results.


title: Causality in Higher Order Process Theories

abstract: Quantum supermaps provide a framework in which higher order quantum processes can act on lower order quantum processes. In doing so, they enable the definition and analysis of new quantum protocols and causal structures. Recently, key features of quantum supermaps were captured through a general categorical framework, which led to a framework of higher order process theories (HOPT). The HOPT framework models lower and higher order transformations in a single unified theory, with its mathematical structure shown to coincide with the notion of a closed symmetric monoidal category. Here we provide an equivalent construction of the HOPT framework from four simple axioms of process-theoretic nature. We then use the HOPT framework to establish connections between foundational features such as causality, determinism and signalling, alongside exploring their interaction with the mathematical structure of *-autonomy.


title: NeuralDP Differentially private neural networks by design

abstract: The application of differential privacy to the training of deep neural networks holds the promise of allowing large-scale (decentralized) use of sensitive data while providing rigorous privacy guarantees to the individual. The predominant approach to differentially private training of neural networks is DP-SGD, which relies on norm-based gradient clipping as a method for bounding sensitivity, followed by the addition of appropriately calibrated Gaussian noise. In this work we propose NeuralDP, a technique for privatising activations of some layer within a neural network, which by the post-processing properties of differential privacy yields a differentially private network. We experimentally demonstrate on two datasets (MNIST and Pediatric Pneumonia Dataset (PPD)) that our method offers substantially improved privacy-utility trade-offs compared to DP-SGD.


title: An Upper Bound on the Number of Bent Functions

abstract: The number of $n$-ary bent functions is less than $2^{3\cdot2^{n-3}(1+o(1))}$ as $n$ is even and $n\rightarrow\infty$. Keywords: Boolean function, bent function, upper bound


title: Unresolved sources naturally contribute to PeV $\gamma$-ray diffuse emission observed by Tibet AS$\gamma$

abstract: The Tibet AS$\gamma$ experiment provided the first measurement of the total diffuse gamma-ray emission from the Galactic disk in the sub-PeV energy range. Based on the analysis of TeV sources included in the HGPS catalog, we predict the expected contribution of unresolved sources in the two angular windows of the Galactic plane observed by Tibet AS$\gamma$. We show that the sum of this additional diffuse component due to unresolved sources and the truly diffuse emission, due to cosmic ray interaction with the interstellar medium, well saturates the Tibet data, without the need to introduce a progressive hardening of the cosmic-ray spectrum toward the Galactic center.


title: Dynamic optimal congestion pricing in multi-region urban networks by application of a Multi-Layer-Neural network

abstract: Traffic management by applying congestion pricing is a measure for mitigating congestion in protected city corridors. As a promising tool, pricing improves the level of service in a network and reduces travel delays. However, real-world implementations are restricted to static pricing, i.e., the price is fixed and not responsive to the prevailing regional traffic conditions. Dynamic pricing overcomes these limitations but also affects the users route choices. This work uses dynamic pricing's influence and predicts pricing functions to aim for a system optimal traffic distribution. The framework models a large-scale network where every region is considered homogeneous, allowing for the Macroscopic Fundamental Diagram (MFD) application. We compute Dynamic System Optimum (DSO) and a Quasi Dynamic User Equilibrium (QDUE) of the macroscopic model by formulating a linear optimization problem and utilizing the Dijkstra algorithm and a Multinomial Logit model (MNL), respectively. The equilibria allow us to find an optimal pricing methodology by training Multi-Layer-Neural (MLN) network models. We test our framework on a case study in Zurich, Switzerland, and showcase that (a) our neural network model learns the complex user behavior and (b) allows predicting optimal pricing functions. Results show a significant performance improvement when operating a transportation network in the DSO and highlight how dynamic pricing influences the user's route choice behavior towards the system optimal equilibrium.


title: An Efficient DP-SGD Mechanism for Large Scale NLP Models

abstract: Recent advances in deep learning have drastically improved performance on many Natural Language Understanding (NLU) tasks. However, the data used to train NLU models may contain private information such as addresses or phone numbers, particularly when drawn from human subjects. It is desirable that underlying models do not expose private information contained in the training data. Differentially Private Stochastic Gradient Descent (DP-SGD) has been proposed as a mechanism to build privacy-preserving models. However, DP-SGD can be prohibitively slow to train. In this work, we propose a more efficient DP-SGD for training using a GPU infrastructure and apply it to fine-tuning models based on LSTM and transformer architectures. We report faster training times, alongside accuracy, theoretical privacy guarantees and success of Membership inference attacks for our models and observe that fine-tuning with proposed variant of DP-SGD can yield competitive models without significant degradation in training time and improvement in privacy protection. We also make observations such as looser theoretical $\epsilon, \delta$ can translate into significant practical privacy gains.


title: Urdu & Hindi Poetry Generation using Neural Networks

abstract: One of the major problems writers and poets face is the writer's block. It is a condition in which an author loses the ability to produce new work or experiences a creative slowdown. The problem is more difficult in the context of poetry than prose, as in the latter case authors need not be very concise while expressing their ideas, also the various aspects such as rhyme, poetic meters are not relevant for prose. One of the most effective ways to overcome this writing block for poets can be, to have a prompt system, which would help their imagination and open their minds for new ideas. A prompt system can possibly generate one liner, two liner or full ghazals. The purpose of this work is to give an ode to the Urdu, Hindi poets, and helping them start their next line of poetry, a couplet or a complete ghazal considering various factors like rhymes, refrain, and meters. The result will help aspiring poets to get new ideas and help them overcome writer's block by auto-generating pieces of poetry using Deep Learning techniques. A concern with creative works like this, especially in the literary context, is to ensure that the output is not plagiarized. This work also addresses the concern and makes sure that the resulting odes are not exact match with input data using parameters like temperature and manual plagiarism check against input corpus. To the best of our knowledge, although the automatic text generation problem has been studied quite extensively in the literature, the specific problem of Urdu, Hindi poetry generation has not been explored much. Apart from developing system to auto-generate Urdu, Hindi poetry, another key contribution of our work is to create a cleaned and preprocessed corpus of Urdu, Hindi poetry (derived from authentic resources) and making it freely available for researchers in the area.


title: On the Configurations of Closed Kinematic Chains in three-dimensional Space

abstract: A kinematic chain in three-dimensional Euclidean space consists of $n$ links that are connected by spherical joints. Such a chain is said to be within a closed configuration when its link lengths form a closed polygonal chain in three dimensions. We investigate the space of configurations, described in terms of joint angles of its spherical joints, that satisfy the the loop closure constraint, meaning that the kinematic chain is closed. In special cases, we can find a new set of parameters that describe the diagonal lengths (the distance of the joints from the origin) of the configuration space by a simple domain, namely a cube of dimension $n-3$. We expect that the new findings can be applied to various problems such as motion planning for closed kinematic chains or singularity analysis of their configuration spaces. To demonstrate the practical feasibility of the new method, we present numerical examples.


title: On the Quantum-like Contextuality of Ambiguous Phrases

abstract: Language is contextual as meanings of words are dependent on their contexts. Contextuality is, concomitantly, a well-defined concept in quantum mechanics where it is considered a major resource for quantum computations. We investigate whether natural language exhibits any of the quantum mechanics' contextual features. We show that meaning combinations in ambiguous phrases can be modelled in the sheaf-theoretic framework for quantum contextuality, where they can become possibilistically contextual. Using the framework of Contextuality-by-Default (CbD), we explore the probabilistic variants of these and show that CbD-contextuality is also possible.


title: Residual Tree Aggregation of Layers for Neural Machine Translation

abstract: Although attention-based Neural Machine Translation has achieved remarkable progress in recent layers, it still suffers from issue of making insufficient use of the output of each layer. In transformer, it only uses the top layer of encoder and decoder in the subsequent process, which makes it impossible to take advantage of the useful information in other layers. To address this issue, we propose a residual tree aggregation of layers for Transformer(RTAL), which helps to fuse information across layers. Specifically, we try to fuse the information across layers by constructing a post-order binary tree. In additional to the last node, we add the residual connection to the process of generating child nodes. Our model is based on the Neural Machine Translation model Transformer and we conduct our experiments on WMT14 English-to-German and WMT17 English-to-France translation tasks. Experimental results across language pairs show that the proposed approach outperforms the strong baseline model significantly


title: Self-supervision for health insurance claims data: a Covid-19 use case

abstract: In this work, we modify and apply self-supervision techniques to the domain of medical health insurance claims. We model patients' healthcare claims history analogous to free-text narratives, and introduce pre-trained `prior knowledge', later utilized for patient outcome predictions on a challenging task: predicting Covid-19 hospitalization, given a patient's pre-Covid-19 insurance claims history. Results suggest that pre-training on insurance claims not only produces better prediction performance, but, more importantly, improves the model's `clinical trustworthiness' and model stability/reliability.


title: Offsets of a regular trifolium

abstract: The non-uniqueness of a rational parametrization of a rational plane curve may influence the process of computing envelopes of 1-parameter families of plane curves. We study envelopes of family of circles centred on a regular trifolium and its offsets, paying attention to different parametrizations. We use implicitization both to show that two rational parametrizations of a curve are equivalent, and to determine an implicit equation for the envelope under study. The derivation of an implicit equation of an offset follows another path, leading to new developments of the package GeoGebra Discovery. As an immediate symbolic result, we obtain that in the general case the offset curve of a regular trifolium is an algebraic curve of degree 14. We illustrate this fact by providing a GeoGebra applet that computes such curves automatically and visualizes them in a web browser.


title: Neural Variational Learning for Grounded Language Acquisition

abstract: We propose a learning system in which language is grounded in visual percepts without specific pre-defined categories of terms. We present a unified generative method to acquire a shared semantic/visual embedding that enables the learning of language about a wide range of real-world objects. We evaluate the efficacy of this learning by predicting the semantics of objects and comparing the performance with neural and non-neural inputs. We show that this generative approach exhibits promising results in language grounding without pre-specifying visual categories under low resource settings. Our experiments demonstrate that this approach is generalizable to multilingual, highly varied datasets.


title: Dark soliton detection using persistent homology

abstract: Classifying images often requires manual identification of qualitative features. Machine learning approaches including convolutional neural networks can achieve accuracy comparable to human classifiers, but require extensive data and computational resources to train. We show how a topological data analysis technique, persistent homology, can be used to rapidly and reliably identify qualitative features in experimental image data. The identified features can be used as inputs to simple supervised machine learning models such as logistic regression models, which are easier to train. As an example we consider the identification of dark solitons using a dataset of 6257 labelled atomic Bose-Einstein condensate density images.


title: Solve Polynomial and transcendental Equations with use Generalized Theorem (Method Lagrange)

abstract: The great innovation of the Generalized Theorem is that it gives us the philosophy to work out the knowledge that the number of roots of an equation depends on the subfields of the functional terms of the equation they generate. Thus, the final field of the roots of the equation will be the union of these subfields. We have a wide range of applications by solving hyperbolic in all sciences, especially in physics and chemistry. In this paper, we solve the generalized trinomial and some important applications in physics and astronomy like the generalized solution of the Kepler equation.


title: Multi-stage Pre-training over Simplified Multimodal Pre-training Models

abstract: Multimodal pre-training models, such as LXMERT, have achieved excellent results in downstream tasks. However, current pre-trained models require large amounts of training data and have huge model sizes, which make them difficult to apply in low-resource situations. How to obtain similar or even better performance than a larger model under the premise of less pre-training data and smaller model size has become an important problem. In this paper, we propose a new Multi-stage Pre-training (MSP) method, which uses information at different granularities from word, phrase to sentence in both texts and images to pre-train the model in stages. We also design several different pre-training tasks suitable for the information granularity in different stage in order to efficiently capture the diverse knowledge from a limited corpus. We take a Simplified LXMERT (LXMERT- S), which has only 45.9% parameters of the original LXMERT model and 11.76% of the original pre-training data as the testbed of our MSP method. Experimental results show that our method achieves comparable performance to the original LXMERT model in all downstream tasks, and even outperforms the original model in Image-Text Retrieval task.


title: Text Classification and Clustering with Annealing Soft Nearest Neighbor Loss

abstract: We define disentanglement as how far class-different data points from each other are, relative to the distances among class-similar data points. When maximizing disentanglement during representation learning, we obtain a transformed feature representation where the class memberships of the data points are preserved. If the class memberships of the data points are preserved, we would have a feature representation space in which a nearest neighbour classifier or a clustering algorithm would perform well. We take advantage of this method to learn better natural language representation, and employ it on text classification and text clustering tasks. Through disentanglement, we obtain text representations with better-defined clusters and improve text classification performance. Our approach had a test classification accuracy of as high as 90.11% and test clustering accuracy of 88% on the AG News dataset, outperforming our baseline models -- without any other training tricks or regularization.


title: SmartHand: Towards Embedded Smart Hands for Prosthetic and Robotic Applications

abstract: The sophisticated sense of touch of the human hand significantly contributes to our ability to safely, efficiently, and dexterously manipulate arbitrary objects in our environment. Robotic and prosthetic devices lack refined, tactile feedback from their end-effectors, leading to counterintuitive and complex control strategies. To address this lack, tactile sensors have been designed and developed, but they often offer an insufficient spatial and temporal resolution. This paper focuses on overcoming these issues by designing a smart embedded system, called SmartHand, enabling the acquisition and real-time processing of high-resolution tactile information from a hand-shaped multi-sensor array for prosthetic and robotic applications. We acquire a new tactile dataset consisting of 340,000 frames while interacting with 16 everyday objects and the empty hand, i.e., a total of 17 classes. The design of the embedded system minimizes response latency in classification, by deploying a small yet accurate convolutional neural network on a high-performance ARM Cortex-M7 microcontroller. Compared to related work, our model requires one order of magnitude less memory and 15.6x fewer computations while achieving similar inter-session accuracy and up to 98.86% and 99.83% top-1 and top-3 cross-validation accuracy, respectively. Experimental results show a total power consumption of 505mW and a latency of only 100ms.


title: SNE-RoadSeg+: Rethinking Depth-Normal Translation and Deep Supervision for Freespace Detection

abstract: Freespace detection is a fundamental component of autonomous driving perception. Recently, deep convolutional neural networks (DCNNs) have achieved impressive performance for this task. In particular, SNE-RoadSeg, our previously proposed method based on a surface normal estimator (SNE) and a data-fusion DCNN (RoadSeg), has achieved impressive performance in freespace detection. However, SNE-RoadSeg is computationally intensive, and it is difficult to execute in real time. To address this problem, we introduce SNE-RoadSeg+, an upgraded version of SNE-RoadSeg. SNE-RoadSeg+ consists of 1) SNE+, a module for more accurate surface normal estimation, and 2) RoadSeg+, a data-fusion DCNN that can greatly minimize the trade-off between accuracy and efficiency with the use of deep supervision. Extensive experimental results have demonstrated the effectiveness of our SNE+ for surface normal estimation and the superior performance of our SNE-RoadSeg+ over all other freespace detection approaches. Specifically, our SNE-RoadSeg+ runs in real time, and meanwhile, achieves the state-of-the-art performance on the KITTI road benchmark. Our project page is at https://www.sne-roadseg.site/sne-roadseg-plus.


title: MDQE: A More Accurate Direct Pretraining for Machine Translation Quality Estimation

abstract: It is expensive to evaluate the results of Machine Translation(MT), which usually requires manual translation as a reference. Machine Translation Quality Estimation (QE) is a task of predicting the quality of machine translations without relying on any reference. Recently, the emergence of predictor-estimator framework which trains the predictor as a feature extractor and estimator as a QE predictor, and pre-trained language models(PLM) have achieved promising QE performance. However, we argue that there are still gaps between the predictor and the estimator in both data quality and training objectives, which preclude QE models from benefiting from a large number of parallel corpora more directly. Based on previous related work that have alleviated gaps to some extent, we propose a novel framework that provides a more accurate direct pretraining for QE tasks. In this framework, a generator is trained to produce pseudo data that is closer to the real QE data, and a estimator is pretrained on these data with novel objectives that are the same as the QE task. Experiments on widely used benchmarks show that our proposed framework outperforms existing methods, without using any pretraining models such as BERT.


title: Who's Afraid of Thomas Bayes?

abstract: In many cases, neural networks perform well on test data, but tend to overestimate their confidence on out-of-distribution data. This has led to adoption of Bayesian neural networks, which better capture uncertainty and therefore more accurately reflect the model's confidence. For machine learning security researchers, this raises the natural question of how making a model Bayesian affects the security of the model. In this work, we explore the interplay between Bayesianism and two measures of security: model privacy and adversarial robustness. We demonstrate that Bayesian neural networks are more vulnerable to membership inference attacks in general, but are at least as robust as their non-Bayesian counterparts to adversarial examples.


title: Canonical matrices with entries integers modulo p

abstract: The work considers an equivalence relation in the set of all $n\times m$ matrices with entries in the set $[p]=\{ 0,1,\ldots , p-1 \}$. In each element of the factor-set generated by this relation, we define the concept of canonical matrix, namely the minimal element with respect to the lexicographic order. We have found a necessary and sufficient condition for an arbitrary matrix with entries in the set $[p]$ to be canonical. For this purpose, the matrices are uniquely represented by ordered n-tuples of integers.


title: Asymmetry and Variability in the Transmission Spectra of Tidally Locked Habitable Planets

abstract: Spatial heterogeneity and temporal variability are general features in planetary weather and climate, due to the effects of planetary rotation, uneven stellar flux distribution, fluid motion instability, etc. In this study, we investigate the asymmetry and variability in the transmission spectra of 1:1 spin--orbit tidally locked (or called synchronously rotating) planets around low-mass stars. We find that for rapidly rotating planets, the transit atmospheric thickness on the evening terminator (east of the substellar region) is significantly larger than that of the morning terminator (west of the substellar region). The asymmetry is mainly related to the spatial heterogeneity in ice clouds, as the contributions of liquid clouds and water vapor are smaller. The underlying mechanism is that there are always more ice clouds on the evening terminator, due to the combined effect of coupled Rossby--Kelvin waves and equatorial superrotation that advect vapor and clouds to the east, especially at high levels of the atmosphere. For slowly rotating planets, the asymmetry reverses (the morning terminator has a larger transmission depth than the evening terminator) but the magnitude is small or even negligible. For both rapidly and slowly rotating planets, there is strong variability in the transmission spectra. The asymmetry signal is nearly impossible to be observed by the James Webb Space Telescope (JWST), because the magnitude of the asymmetry (about 10 ppm) is smaller than the instrumental noise and the high variability further increases the challenge.


title: Three-Dimensional Data-Driven Magnetostatic Field Computation using Real-World Measurement Data

abstract: This paper presents a practical case study of a data-driven magnetostatic finite element solver applied to a real-world three-dimensional problem. Instead of using a hard-coded phenomenological material model within the solver, the data-driven computing approach reformulates the boundary value problem such that the field solution is directly computed on the measurement data. The data-driven formulation results in a minimization problem with a Lagrange multiplier, where the sought solution must conform to Maxwell's equations while at the same time being closest to the available measurement data. The data-driven solver is applied to a three-dimensional model of an inductor excited by a DC-current. Numerical results for data sets of increasing cardinality verify that the data-driven solver recovers the conventional solution. Furthermore, this work concludes that the data-driven magnetostatic finite element solver is applicable to computationally demanding three-dimensional problems. Simulations with real world measurement data further show the practical usability of the solver.


title: On the geometry of electrovacuum spaces in higher dimensions

abstract: A classical question in general relativity is about the classification of regular static black hole solutions of the static Einstein-Maxwell equations (or electrovacuum system). In this paper, we prove some classification results for an electrovacuum system such that the electric potential is a smooth function of the lapse function. In particular, we show that an n-dimensional locally conformally flat extremal electrovacuum space must be in the Majumdar-Papapetrou class. Also, we prove that any three or four dimensional extremal electrovacuum space must be locally conformally flat. Moreover, we prove that an n-dimensional subextremal electrovacuum space with fourth-order divergence free Weyl tensor and zero radial Weyl curvature such that the electric potential is in the Reissner-Nordstr\"om class is locally a warped product manifold with (n-1)-dimensional Einstein fibers. Finally, a three dimensional subextremal electrovacuum space with third-order divergence free Cotton tensor was also classified.


title: Revisiting the AMS-02 antiproton excess: The role of correlated errors

abstract: Cosmic-ray antiprotons are a remarkable diagnostic tool for the study of astroparticle physics' processes in our Galaxy. While the bulk of measured antiprotons is consistent with a secondary origin, several studies have found evidence for a subdominant primary component in the AMS-02 data. In this proceedings article, we revisit the excess considering systematic errors that could affect the signal. Of particular importance are unknown correlations in the AMS-02 systematic errors, the dominant of which are associated with the cross sections for cosmic-ray absorption in the detector. We compute their correlations in a careful reevaluation of nuclear scattering data, utilizing the Glauber-Gribov theory to introduce a welcomed redundancy that we explore in a global fit. The inclusion of correlated errors has a dramatic effect on the significance of the signal. In particular, the analysis becomes more sensitive to the diffusion model at low rigidities. For a minimal extension beyond single-power-law diffusion, the global significance drops below 1$\sigma$ severely questioning the robustness of the finding.


title: Three-photon productions within the $k_t$-factorization for the ATLAS-LHC data

abstract: Recently, the ATLAS data of isolated three-photon production showed that the next-to-leading order (NLO) collinear factorization is not enough to describe experimental data. Therefore, one needs to calculate the cross section beyond the NLO, and as showed later, these data can be well described by the NNLO calculation within the collinear factorization framework. However, it is shown that the $k_t$-factorization can be quite successful in describing exclusive and high energy collision processes, henceforth we decided to calculate isolated three-photon production within this framework. In this work we use the Martin, Ryskin, and Watt unintegrated parton distribution functions (MRW UPDFs) at LO and NLO levels, in addition to parton branching (PB) UPDFs in order to calculate cross section which we utilize the KATIE parton level event generator. It will be shown that in contrast to collinear factorization, the $k_t$-factorization can describe quiet well the three-photon production ATLAS data. Interestingly our results using the NLO-MRW and PB UPDFs can cover the data within their uncertainty bands, similar to the NNLO collinear results.


title: An iterative coordinate descent algorithm to compute sparse low-rank approximations

abstract: In this paper, we describe a new algorithm to build a few sparse principal components from a given data matrix. Our approach does not explicitly create the covariance matrix of the data and can be viewed as an extension of the Kogbetliantz algorithm to build an approximate singular value decomposition for a few principal components. We show the performance of the proposed algorithm to recover sparse principal components on various datasets from the literature and perform dimensionality reduction for classification applications.


title: Weierstrass Representations of Lorentzian Minimal Surfaces in $\mathbb R^4_2$

abstract: The minimal Lorentzian surfaces in $\mathbb{R}^4_2$ whose first normal space is two-dimensional and whose Gauss curvature $K$ and normal curvature $\varkappa$ satisfy $K^2-\varkappa^2 >0$ are called minimal Lorentzian surfaces of general type. These surfaces admit canonical parameters and with respect to such parameters are determined uniquely up to a motion in $\mathbb{R}^4_2$ by the curvatures $K$ and $\varkappa$ satisfying a system of two natural PDEs. In the present paper we study minimal Lorentzian surfaces in $\mathbb{R}^4_2$ and find a Weierstrass representation with respect to isothermal parameters of any minimal surface with two-dimensional first normal space. We also obtain a Weierstrass representation with respect to canonical parameters of any minimal Lorentzian surface of general type and solve explicitly the system of natural PDEs expressing any solution to this system by means of four real functions of one variable.


title: Machine Learning of Interstellar Chemical Inventories

abstract: The characterization of interstellar chemical inventories provides valuable insight into the chemical and physical processes in astrophysical sources. The discovery of new interstellar molecules becomes increasingly difficult as the number of viable species grows combinatorially, even when considering only the most thermodynamically stable. In this work, we present a novel approach for understanding and modeling interstellar chemical inventories by combining methodologies from cheminformatics and machine learning. Using multidimensional vector representations of molecules obtained through unsupervised machine learning, we show that identification of candidates for astrochemical study can be achieved through quantitative measures of chemical similarity in this vector space, highlighting molecules that are most similar to those already known in the interstellar medium. Furthermore, we show that simple, supervised learning regressors are capable of reproducing the abundances of entire chemical inventories, and predict the abundance of not yet seen molecules. As a proof-of-concept, we have developed and applied this discovery pipeline to the chemical inventory of a well-known dark molecular cloud, the Taurus Molecular Cloud 1 (TMC-1); one of the most chemically rich regions of space known to date. In this paper, we discuss the implications and new insights machine learning explorations of chemical space can provide in astrochemistry.


title: Automatic Vocabulary and Graph Verification for Accurate Loop Closure Detection

abstract: Localizing pre-visited places during long-term simultaneous localization and mapping, i.e. loop closure detection (LCD), is a crucial technique to correct accumulated inconsistencies. As one of the most effective and efficient solutions, Bag-of-Words (BoW) builds a visual vocabulary to associate features and then detect loops. Most existing approaches that build vocabularies off-line determine scales of the vocabulary by trial-and-error, which often results in unreasonable feature association. Moreover, the accuracy of the algorithm usually declines due to perceptual aliasing, as the BoW-based method ignores the positions of visual features. To overcome these disadvantages, we propose a natural convergence criterion based on the comparison between the radii of nodes and the drifts of feature descriptors, which is then utilized to build the optimal vocabulary automatically. Furthermore, we present a novel topological graph verification method for validating candidate loops so that geometrical positions of the words can be involved with a negligible increase in complexity, which can significantly improve the accuracy of LCD. Experiments on various public datasets and comparisons against several state-of-the-art algorithms verify the performance of our proposed approach.


title: Dual modulation STM: Simultaneous high-resolution mapping of the differential conductivity and local tunnel barrier height demonstrated on Au(111)

abstract: We present a scanning tunneling microscopy (STM) technique to simultaneously measure the topography, the local tunnel barrier height (dI/dz) and the differential conductivity (dI/dV). We modulate the voltage and tip piezo with small sinusoidal signals that exceed the cut-off frequency of the STM electronics and feed the tunneling current into two lock-in amplifiers (LIAs). We derive and follow a set of criteria for the modulation frequencies to avoid any interference between the LIA measurements. To validate the technique, we measure Friedel oscillations and the subtle tunnel barrier difference between the hcp and fcc stacked regions of the Au(111) herringbone reconstruction. Finally, we show that our method is also applicable to open feedback loop measurements by performing grid I(V) spectroscopy.


title: Incorporation of Deep Neural Network & Reinforcement Learning with Domain Knowledge

abstract: We present a study of the manners by which Domain information has been incorporated when building models with Neural Networks. Integrating space data is uniquely important to the development of Knowledge understanding model, as well as other fields that aid in understanding information by utilizing the human-machine interface and Reinforcement Learning. On numerous such occasions, machine-based model development may profit essentially from the human information on the world encoded in an adequately exact structure. This paper inspects expansive ways to affect encode such information as sensible and mathematical limitations and portrays methods and results that came to a couple of subcategories under all of those methodologies.


title: Theory of the line shape of the 1S--2S transition for magnetically trapped antihydrogen

abstract: The physics that determines the line shape of the 1S--2S transition in magnetically trapped $\bar{\rm H}$ is explored. Besides obtaining an understanding of the line shape, one goal is to replace the dependence on large scale simulations of $\bar{\rm H}$ with a simpler integration over well defined functions. For limiting cases, analytic formulas are obtained. Example calculations are performed to illustrate the limits of simplifying assumptions. We also describe a $\chi^2$ method for choosing experimental parameters that can lead to the most accurate determination of the transition frequency.


title: Simulation-Based Optimization of High-Performance Wheel Loading

abstract: Having smart and autonomous earthmoving in mind, we explore high-performance wheel loading in a simulated environment. This paper introduces a wheel loader simulator that combines contacting 3D multibody dynamics with a hybrid continuum-particle terrain model, supporting realistic digging forces and soil displacements at real-time performance. A total of 270,000 simulations are run with different loading actions, pile slopes, and soil to analyze how they affect the loading performance. The results suggest that the preferred digging actions should preserve and exploit a steep pile slope. High digging speed favors high productivity, while energy-efficient loading requires a lower dig speed.


title: Discrete analogues of maximally modulated singular integrals of Stein-Wainger type: $\ell^p$ bounds for $p>1$

abstract: It is proved that certain discrete analogues of maximally modulated singular integrals of Stein-Wainger type are bounded on $\ell^p(\mathbb{Z}^n)$ for all $p\in (1,\infty)$. This extends earlier work of the authors concerning the case $p=2$. Some open problems for further investigation are briefly discussed.


title: $n$-dimensional PDM-damped harmonic oscillators: Linearizability, and exact solvability

abstract: We consider position-dependent mass (PDM) Lagrangians/Hamiltonians in their standard textbook form, where the long-standing \emph{gain-loss balance} between the kinetic and potential energies is kept intact to allow conservation of total energy (i.e., $L=T-V$, $H=T+V$, and $dH/dt=dE/dt=0$). Under such standard settings, we discuss and report on $n$-dimensional PDM damped harmonic oscillators (DHO). We use some $n$-dimensional point canonical transformation to facilitate the linearizability of their $n$-PDM dynamical equations into some $n$-linear DHOs' dynamical equations for constant mass setting. Consequently, the well know exact solutions for the linear DHOs are mapped, with ease, onto the exact solutions for PDM DHOs. A set of one-dimensional and a set of $n$-dimensional PDM-DHO illustrative examples are reported along with their phase-space trajectories.


title: Stability Analysis of Relativistic Polytropes

abstract: A main question in astrophysics and cosmology has been the severe stability of the astrophysical objects, whether a particular equilibrium configuration is stable. In this article, we study the relativistic self-gravitating, hydrostatic spheres with a polytropic equation of state , considering structures with the polytropic indices and illustrates the results for the relativistic parameters . We determined the critical relativistic parameter at which the mass of the polytrope has a maximum value and represents the first mode of radial instability. For n=1 (0.5)-2.5, stable relativistic polytropes occur for less than the critical values 0.42, 0.20, 0.10, and 0.04 respectively, while unstable relativistic polytropes are obtained when the relativistic parameter is greater than the same values. When n=3.0 and, energetically unstable solutions have occurred. The results of critical values obtained in this paper for different polytropic indices are in full agreement with those evaluated by several authors. Comparisons between analytical and numerical solutions of the given relativistic functions provide a maximum relative error of order.


title: Statistical Inference of 1D Persistent Nonlinear Time Series and Application to Predictions

abstract: We introduce a method for reconstructing macroscopic models of one-dimensional stochastic processes with long-range correlations from sparsely sampled time series by combining fractional calculus and discrete-time Langevin equations. The method is illustrated for the ARFIMA(1,d,0) process and a nonlinear auto-regressive toy model with multiplicative noise. We reconstruct a model for daily mean temperature data recorded at Potsdam (Germany) and use it to predict the first frost date by computing the mean first passage time of the reconstructed process and the zero degree Celsius temperature line, illustrating the potential of long-memory models for predictions in the subseasonal-to-seasonal range.


title: Effect of an uniaxial single-ion anisotropy on the quantum and thermal entanglement of a mixed spin-(1/2,$S$) Heisenberg dimer

abstract: Exact analytical diagonalization is used to study the bipartite entanglement of the antiferromagnetic mixed spin-(1/2,$S$) Heisenberg dimer (MSHD) with the help of negativity. Under the assumption of uniaxial single-ion anisotropy affecting higher spin-$S$ ($S\!>\!1/2$) entities only, the ground-state degeneracy $2S$ is partially lifted and the ground state is two-fold degenerate with the total magnetization per dimer $\pm(S\!-\!1/2)$. It is shown that the largest quantum entanglement is reached for the antiferromagnetic ground state of MSHD with arbitrary half-odd-integer spins $S$, regardless of the exchange and single-ion anisotropies. Contrary to this, the degree of a quantum entanglement in MSHD with an integer spin $S$ for the easy-plane single-ion anisotropy, exhibits an increasing tendency with an obvious spin-$S$ driven crossing point. It is shown that the increasing spin magnitude is a crucial driving mechanism for an enhancement of a threshold temperature above which the thermal entanglement vanishes. The easy-plane single-ion anisotropy together with an enlargement of the spin-$S$ magnitude is other significant driving mechanism for an enhancement of the thermal entanglement in MSHD.


title: Follow-up of non-transiting planets detected by Kepler. Confirmation of three hot-Jupiters and validation of three other planets

abstract: The direct detection of new extrasolar planets from high-precision photometry data is commonly based on the observation of the transit signal of the planet as it passes in front of its star. Close-in planets, however, leave additional imprints in the light curve even if they do not transit. These are the so-called phase curve variations that include ellipsoidal, reflection and beaming effects. In Millholland & Laughlin (2017), the authors scrutinized the Kepler database looking for these phase variations from non-transiting planets. They found 60 candidates whose signals were compatible with planetary companions. In this paper, we perform a ground-based follow-up of a sub-sample of these systems with the aim of confirming and characterizing these planets and thus validating the detection technique. We used the CAFE and HERMES instruments to monitor the radial velocity of ten non-transiting planet candidates along their orbits. We additionally used AstraLux to obtain high-resolution images of some of these candidates to discard blended binaries that contaminate the Kepler light curves by mimicking planetary signals. Among the ten systems, we confirm three new hot-Jupiters (KIC8121913 b, KIC10068024 b, and KIC5479689 b) with masses in the range 0.5-2 M$_{\rm Jup}$ and set mass constraints within the planetary regime for the other three candidates (KIC8026887b, KIC5878307 b, and KIC11362225 b), thus strongly suggestive of their planetary nature. For the first time, we validate the technique of detecting non-transiting planets via their phase curve variations. We present the new planetary systems and their properties. We find good agreement between the RV-derived masses and the photometric masses in all cases except KIC8121913 b, which shows a significantly lower mass derived from the ellipsoidal modulations than from beaming and radial velocity data.


title: Coherent control of electron spin qubits in silicon using a global field

abstract: Silicon spin qubits promise to leverage the extraordinary progress in silicon nanoelectronic device fabrication over the past half century to deliver large-scale quantum processors. Despite the scalability advantage of using silicon technology, realising a quantum computer with the millions of qubits required to run some of the most demanding quantum algorithms poses several outstanding challenges, including how to control so many qubits simultaneously. Recently, compact 3D microwave dielectric resonators were proposed as a way to deliver the magnetic fields for spin qubit control across an entire quantum chip using only a single microwave source. Although spin resonance of individual electrons in the globally applied microwave field was demonstrated, the spins were controlled incoherently. Here we report coherent Rabi oscillations of single electron spin qubits in a planar SiMOS quantum dot device using a global magnetic field generated off-chip. The observation of coherent qubit control driven by a dielectric resonator establishes a credible pathway to achieving large-scale control in a spin-based quantum computer.


title: Phonon anomalies associated with spin reorientation in the Kagome ferromagnet Fe3Sn2

abstract: Polarization- and temperature-dependent Raman data along with theoretical simulations are presented for the Kagome ferromagnet Fe_3Sn_2. Eight out of nine expected phonon modes were identified. The experimental energies compare well with those from the simulations. The analysis of the line widths indicates relatively strong phonon-phonon coupling in the range 0.1 to 1. The temperature-dependent frequencies of three A_{1g} modes show weak anomalies at approximately 100 K. In contrast, the linewidths of all phonon modes follow the conventional exponential broadening up to room temperature except for the softest A_{1g} mode, whose width exhibits a kink close to 100 K and becomes nearly constant for T > 100 K. These features are indicative of a spin reorientation taking place in the temperature range above 100 K which might arise from spin-phonon coupling. The low-energy part of the electronic continuum in E_g symmetry depends strongly on temperature. The possible reasons include particle-hole excitation tracking the resistivity, a spin-dependent gap or spin fluctuations.


title: Convergent Star Products on Cotangent Bundles of Lie Groups

abstract: For a connected real Lie group $G$ we consider the canonical standard-ordered star product arising from the canonical global symbol calculus based on the half-commutator connection of $G$. This star product trivially converges on polynomial functions on $T^*G$ thanks to its homogeneity. We define a nuclear Fr\'echet algebra of certain analytic functions on $T^*G$, for which the standard-ordered star product is shown to be a well-defined continuous multiplication, depending holomorphically on the deformation parameter $\hbar$. This nuclear Fr\'echet algebra is realized as the completed (projective) tensor product of a nuclear Fr\'echet algebra of entire functions on $G$ with an appropriate nuclear Fr\'echet algebra of functions on $\mathfrak{g}^*$. The passage to the Weyl-ordered star product, i.e. the Gutt star product on $T^*G$, is shown to be preserve this function space, yielding the continuity of the Gutt star product with holomorphic dependence on $\hbar$.


title: Single-Leader-Multiple-Followers Stackelberg Security Game with Hypergame Framework

abstract: In this paper, we employ a hypergame framework to analyze the single-leader-multiple-followers (SLMF) Stackelberg security game with two typical misinformed situations: misperception and deception. We provide a stability criterion with the help of hyper Nash equilibrium (HNE) to investigate both strategic stability and cognitive stability of equilibria in SLMF games with misinformation. In fact, we find mild stable conditions such that the equilibria with misperception and deception can become HNE. Moreover, we discuss the robustness of the equilibria to reveal whether players have the ability to keep their profits under the influence of some misinformation.


title: The Origin of Rest-mass Energy

abstract: Today we have a solid, if incomplete, physical picture of how inertia is created in the standard model. We know that most of the visible baryonic `mass' in the Universe is due to gluonic back-reaction on accelerated quarks, the latter of which attribute their own inertia to a coupling with the Higgs field -- a process that elegantly and self-consistently also assigns inertia to several other particles. But we have never had a physically viable explanation for the origin of rest-mass energy, in spite of many attempts at understanding it towards the end of the nineteenth century, culminating with Einstein's own landmark contribution in his Annus Mirabilis. Here, we introduce to this discussion some of the insights we have garnered from the latest cosmological observations and theoretical modeling to calculate our gravitational binding energy with that portion of the Universe to which we are causally connected, and demonstrate that this energy is indeed equal to mc^2 when the inertia m is viewed as a surrogate for gravitational mass.


title: Coupling and recoupling of binaries in chaotic three body systems

abstract: Three body systems where one of the bodies is ejected without escaping the binary system have previously been studied in various restricted forms. However, none of these studies dwells on the problem in a general setting. Thus, to study this phenomenon qualitatively, we try to expand this problem's scope to unequal mass systems and generalize them by considering various configurations of fixed initial points with precisely calculated initial velocities, some zero velocity models, and some optimized models. We will see the use of terminology similar to the previous studies done in this domain, but incorporate different analytical and evaluation methods.


title: Binary evolution pathways of Blue Large-Amplitude Pulsators

abstract: Blue Large-Amplitude Pulsators (BLAPs) are a recently discovered class of pulsating star, believed to be proto-white dwarfs, produced by mass stripping of a red giant when it has a small helium core. An outstanding question is why the stars in this class of pulsator seem to form two distinct groups by surface gravity, despite predictions that stars in the gap between them should also pulsate. We use a binary population synthesis model to identify potential evolutionary pathways that a star can take to become a BLAP. We find that BLAPs can be produced either through common envelope evolution or Roche lobe overflow, with a Main Sequence star or an evolved compact object being responsible for the envelope stripping. The mass distribution of the inferred population indicates that fewer stars would be expected in the range of masses intermediate to the two known groups of pulsators, suggesting that the lack of observational discoveries in this region may be a result of the underlying population of pre-white dwarf stars. We also consider metallicity variation and find evidence that BLAPs at $Z = 0.010$ (half-Solar) would be pulsationally unstable and may also be more common. Based on this analysis, we expect the Milky Way to host around 12000 BLAPs and we predict the number density of sources expected in future observations such as the Legacy Survey of Space and Time at the Vera Rubin Observatory.


title: Spherical Cap Harmonic Analysis (SCHA) for Characterising the Morphology of Rough Surface Patches

abstract: We use spherical cap harmonic (SCH) basis functions to analyse and reconstruct the morphology of scanned genus-0 rough surface patches with open edges. We first develop a novel one-to-one conformal mapping algorithm with minimal area distortion for parameterising a surface onto a polar spherical cap with a prescribed half angle. We then show that as a generalisation of the hemispherical harmonic analysis, the SCH analysis provides the most added value for small half angles, i.e., for nominally flat surfaces where the distortion introduced by the parameterisation algorithm is smaller when the surface is projected onto a spherical cap with a small half angle than onto a hemisphere. From the power spectral analysis of the expanded SCH coefficients, we estimate a direction-independent Hurst exponent. We also estimate the wavelengths associated with the orders of the SCH basis functions from the dimensions of the first degree ellipsoidal cap. By windowing the spectral domain, we limit the bandwidth of wavelengths included in a reconstructed surface geometry. This bandlimiting can be used for modifying surfaces, such as for generating finite or discrete element meshes for contact problems. The codes and data developed in this paper are made available under the GNU LGPLv2.1 license.


title: Private Weakly-Random Sequences from Human Heart Rate for Quantum Amplification

abstract: We investigate whether the heart rate can be treated as a semi-random source with the aim of amplification by quantum devices. We use a semi-random source model called $\epsilon$-Santha-Vazirani source, which can be amplified via quantum protocols to obtain fully private random sequence. We analyze time intervals between consecutive heartbeats obtained from Holter electrocardiogram (ECG) recordings of people of different sex and age. We propose several transformations of the original time series into binary sequences. We have performed different statistical randomness tests and estimated quality parameters. We find that the heart can be treated as good enough, and private by its nature, source of randomness, that every human possesses. As such, in principle it can be used as input to quantum device-independent randomness amplification protocols. The properly interpreted $\epsilon$ parameter can potentially serve as a new characteristic of the human's heart from the perspective of medicine.


title: Critical ride comfort detection for automated vehicles

abstract: In a future connected vehicle environment, an optimized route and motion planning should not only fulfill efficiency and safety constraints but also minimize vehicle motions and oscillations, causing poor ride comfort perceived by passengers. This work provides a framework for a large-scale and cost-efficient evaluation to address AV's ride comfort and allow the comparison of different comfort assessment strategies. The proposed tool also gives insights to comfort data, allowing for the development of novel algorithms, guidelines, or motion planning systems incorporating passenger comfort. A vehicle-road simulation framework utilizable to assess the most common ride comfort determination strategies based on vehicle dynamics data is presented. The developed methodology encompasses a road surface model, a non-linear vehicle model optimization, and Monte Carlo simulations to allow for an accurate and cost-efficient generation of virtual chassis acceleration data. Ride comfort is determined by applying a commonly used threshold method and an analysis based on ISO 2631. The two methods are compared against comfort classifications based on empirical measurements of the International Roughness Index (IRI). A case study with three road sites in Austria demonstrates the framework's practical application with real data and achieves high-resolution ride comfort classifications. The results highlight that ISO 2631 comfort estimates are most similar to IRI classifications and that the thresholding procedure detects preventable situations but also over- or underestimates ride comfort. Hence, the work shows the potential risk of negative ride comfort of AVs using simple threshold values and stresses the importance of a robust comfort evaluation method for enhancing AVs' path and motion planning with maximal ride comfort.