title: PAR: Personal Activity Radius Camera View for Contextual Sensing

abstract: Contextual sensing using wearable cameras has seen a variety of different camera angles proposed to capture a wide gamut of different visual scenes. In this paper, we propose a new camera view that aims to capture the same visual information as many of the camera positions and orientations combined from a single camera view point. The camera, mounted on the corner of a glasses frame is pointing downwards towards the floor, a field-of-view we named Personal Activity Radius (PAR). The PAR field-of-view captures the visual information around a wearer's personal bubble, including items they interact with, their body motion, their surrounding environment, etc. In our evaluation, we tested the PAR view's interpretability by human labelers in two different activity tracking scenarios: food related behaviors and exercise tracking. Human labelers achieved an overall high level of precision in identifying body motions in exercise tracking of 91% precision and eating/drinking motions at 96% precision. Item interaction identification reached a precision of 86% precision for labeling grocery categories. We show a high level on the device setup and contextual views we were able to capture with the device. We see that the camera wide angle captures different activities such as driving, shopping, gym exercises, walking and eating and can observe the specific interaction item of the user as well as the immediate contextual surrounding.


title: Magnetorotational core collapse of possible GRB progenitors. III. Three-dimensional models

abstract: We explore the influence of non-axisymmetric modes on the dynamics of the collapsed core of rotating, magnetized high-mass stars in three-dimensional simulations of a rapidly rotating star with an initial mass of $M_{ZAMS}$ = 35 solar masses endowed with four different pre-collapse configurations of the magnetic field, ranging from moderate to very strong field strength and including the field predicted by the stellar evolution model. The model with the weakest magnetic field achieves shock revival due to neutrino heating in a gain layer characterized by a large-scale, hydrodynamic m = 1 spiral mode. Later on, the growing magnetic field of the proto-neutron star launches weak outflows into the early ejecta. Their orientation follows the evolution of the rotational axis of the proto-neutron star, which starts to tilt from the original orientation due to the asymmetric accretion flows impinging on its surface. The models with stronger magnetization generate mildly relativistic, magnetically driven polar outflows propagating over a distance of $10^4$ km within a few 100 ms. These jets are stabilized against disruptive non-axisymmetric instabilities by their fast propagation and by the shear of their toroidal magnetic field. Within the simulation times of around 1 s, the explosions reach moderate energies and the growth of the proto-neutron star masses ceases at values substantially below the threshold for black hole formation, which, in combination with the high rotational energies, might suggest a possible later proto-magnetar activity.


title: Jensen polynomials are not a plausible route to proving the Riemann Hypothesis

abstract: Recent work on the Jensen polynomials of the Riemann xi-function and its derivatives found a connection to the Hermite polynomials. Those results have been suggested to give evidence for the Riemann Hypothesis, and furthermore it has been suggested that those results shed light on the random matrix statistics for zeros of the zeta-function. We place that work in the context of prior results, and explain why the appearance of Hermite polynomials is interesting and surprising, and may represent a new type of universal law which refines M. Berry's "cosine is a universal attractor" principle. However, we find there is no justification for the suggested connection to the Riemann Hypothesis, nor for the suggested connection to the conjectured random matrix statistics for zeros of L-functions. These considerations suggest that Jensen polynomials, as well as a large class of related polynomials, are not useful for attacking the Riemann Hypothesis. We propose general criteria for determining whether an equivalence to the Riemann Hypothesis is likely to be useful.


title: Moment-to-moment Engagement Prediction through the Eyes of the Observer: PUBG Streaming on Twitch

abstract: Is it possible to predict moment-to-moment gameplay engagement based solely on game telemetry? Can we reveal engaging moments of gameplay by observing the way the viewers of the game behave? To address these questions in this paper, we reframe the way gameplay engagement is defined and we view it, instead, through the eyes of a game's live audience. We build prediction models for viewers' engagement based on data collected from the popular battle royale game PlayerUnknown's Battlegrounds as obtained from the Twitch streaming service. In particular, we collect viewers' chat logs and in-game telemetry data from several hundred matches of five popular streamers (containing over 100,000 game events) and machine learn the mapping between gameplay and viewer chat frequency during play, using small neural network architectures. Our key findings showcase that engagement models trained solely on 40 gameplay features can reach accuracies of up to 80% on average and 84% at best. Our models are scalable and generalisable as they perform equally well within- and across-streamers, as well as across streamer play styles.


title: Using an added liquid to suppress drying defects in hard particle coatings

abstract: Hypothesis: Lateral accumulation and film defects during drying of hard particle coatings is a common problem, typically solved using polymeric additives and surface active ingredients, which require further processing of the dried film. Capillary suspensions with their tunable physical properties, devoid of polymers, offer new pathways in producing uniform and defect free particulate coatings. Experiments: We investigated the effect of small amounts of secondary liquid on the coating's drying behavior. Stress build-up and weight loss in a temperature and humidity controlled drying chamber were simultaneously measured. Changes in the coating's reflectance and height profile over time were related with the weight loss and stress curve. Findings: Capillary suspensions dry uniformly without defects. Lateral drying is inhibited by the high yield stress, causing the coating to shrink to an even height. The bridges between particles prevent air invasion and extend the constant drying period. The liquid in the lower layers is transported to the interface via corner flow within surface pores, leading to a partially dry layer near the substrate while the pores above are still saturated. Using capillary suspensions for hard particle coatings results in more uniform, defect free films with better printing characteristics, rendering high additive content obsolete.


title: Theory of Energy Transfer in Organic Nanocrystals

abstract: Recent experiments have shown that highly efficient energy transfer can take place in organic nanocrystals at extremely low acceptor densities. This striking phenomenon has been ascribed to the formation of exciton polaritons thanks to the photon confinement provided by the crystal itself. We propose an alternative theoretical model that accurately reproduces fluorescence lifetime and spectrum measurements in these systems without such an assumption. Our approach treats molecule-photon interactions in the weak-coupling regime, and describes the donor and acceptor population dynamics by means of rate equations with parameters extracted from electromagnetic simulations. The physical insight and predictive value of our model also enables us to propose nanocrystal configurations in which acceptor emission dominates the fluorescence spectrum at densities orders of magnitude lower than the experimental ones.


title: Method for measurement of the grid transparency in ionization chambers

abstract: A method is proposed for measurements of the transparency coefficient of the grids used in ionization chambers. The method is based on application of the Green's reciprocity theorem and gives an accuracy of (3 - 5)%. The experimental data are compared with the results of theoretical calculations for the case of flat grids.


title: Liouville-type theorems and existence of solutions for quasilinear elliptic equations with nonlinear gradient terms

abstract: This paper is concerned with two properties of positive weak solutions of quasilinear elliptic equations with nonlinear gradient terms. First, we show a Liouville-type theorem for positive weak solutions of the equation involving the $m$-Laplacian operator \begin{equation*} -\Delta_{m}u=u^q|\nabla u|^p\ \ \ \mathrm{in}\ \mathbb{R}^N, \end{equation*} where $N\geq1$, $m>1$ and $p,q\geq0$. The technique of Bernstein gradient estimates is ultilized to study the case $p<m$. Moreover, a Liouville-type theorem for supersolutions under subcritial range of exponents \begin{equation*} q(N-m)+p(N-1)<N(m-1) \end{equation*} is also established. Then, we use a degree argument to obtain the existence of positive weak solutions for a nonlinear Dirichlet problem of the type $-\Delta_m u = f(x,u,\nabla u)$, with $f$ satisfying certain structure conditions. Our proof is based on a priori estimates, which will be accomplished by using a blow-up argument together with the Liouville-type theorem in the half-space. As another application, some new Harnack inequalities are proved.


title: Optimal minimal Linear codes from posets

abstract: Recently, some infinite families of minimal and optimal binary linear codes were constructed from simplicial complexes by Hyun {\em et al.} We extend this construction method to arbitrary posets. Especially, anti-chains are corresponded to simplicial complexes. In this paper, we present two constructions of binary linear codes from hierarchical posets of two levels. In particular, we determine the weight distributions of binary linear codes associated with hierarchical posets with two levels. Based on these results, we also obtain some optimal and minimal binary linear codes not satisfying the condition of Ashikhmin-Barg.


title: Weight conjectures for $\ell$-compact groups and spetses

abstract: Fundamental conjectures in modular representation theory of finite groups, more precisely, Alperin's Weight Conjecture and Robinson's Ordinary Weight Conjecture, can be expressed in terms of fusion systems. We use fusion systems to connect the modular representation theory of finite groups of Lie type to the theory of $\ell$-compact groups. Under some mild conditions we prove that the fusion systems associated to homotopy fixed points of $\ell$-compact groups satisfy an equation which for finite groups of Lie type is equivalent to Alperin's Weight Conjecture. For finite reductive groups, Robinson's Ordinary Weight Conjecture is closely related to Lusztig's Jordan decomposition of characters and the corresponding results for Brauer $\ell$-blocks. Motivated by this, we define the principal block of a spets attached to a spetsial ${\mathbb Z}_\ell$-reflection group, using the fusion system related to it via $\ell$-compact groups, and formulate an analogue of Robinson's conjecture for this block. We prove this formulation for an infinite family of cases as well as for some groups of exceptional type. Our results not only provide further strong evidence for the validity of the weight conjectures, but also point toward some yet unknown structural explanation for them purely in the framework of fusion systems.


title: Computation for Latent Variable Model Estimation: A Unified Stochastic Proximal Framework

abstract: Latent variable models have been playing a central role in psychometrics and related fields. In many modern applications, the inference based on latent variable models involves one or several of the following features: (1) the presence of many latent variables, (2) the observed and latent variables being continuous, discrete, or a combination of both, (3) constraints on parameters, and (4) penalties on parameters to impose model parsimony. The estimation often involves maximizing an objective function based on a marginal likelihood/pseudo-likelihood, possibly with constraints and/or penalties on parameters. Solving this optimization problem is highly non-trivial, due to the complexities brought by the features mentioned above. Although several efficient algorithms have been proposed, there lacks a unified computational framework that takes all these features into account. In this paper, we fill the gap. Specifically, we provide a unified formulation for the optimization problem and then propose a quasi-Newton stochastic proximal algorithm. Theoretical properties of the proposed algorithms are established. The computational efficiency and robustness are shown by simulation studies under various settings for latent variable model estimation.


title: Clustering of consecutive numbers in permutations under Mallows distributions and super-clustering under general $p$-shifted distributions

abstract: Let $A^{(n)}_{l;k}\subset S_n$ denote the set of permutations of $[n]$ for which the set of $l$ consecutive numbers $\{k, k+1,\cdots, k+l-1\}$ appears in a set of consecutive positions. Under the uniformly probability measure $P_n$ on $S_n$, one has $P_n(A^{(n)}_{l;k})\sim\frac{l!}{n^{l-1}}$ as $n\to\infty$. In one part of this paper we consider the probability of clustering of consecutive numbers under Mallows distributions $P_n^q$, $q>0$. Because of a duality, it suffices to consider $q\in(0,1)$. We show that for $q_n=1-\frac c{n^\alpha}$, with $c>0$ and $\alpha\in(0,1)$, $P_n^q(A^{(n)}_{l;k_n})$ is on the order $\frac1{n^{\alpha(l-1)}}$, uniformly over all sequences $\{k_n\}_{n=1}^\infty$. Thus, letting $N^{(n)}_l=\sum_{k=1}^{n-l+1}1_{A^{(n)}_{l;k}}$ denote the number of sets of $l$ consecutive numbers appearing in sets of consecutive positions, we have \begin{equation*} \lim_{n\to\infty} E_n^{q_n}N^{(n)}_l = \begin{cases}\infty,\ \text{if}\ l<\frac{1+\alpha}\alpha;\\ 0,\ \text{if} \ l>\frac{1+\alpha}\alpha. \end{cases}. \end{equation*} We also consider the cases $\alpha=1$ and $\alpha>1$. In the other part of the paper we consider general $p$-shifted distributions, of which the Mallows distribution is a particular case. We calculate explicitly the quantity $\lim_{l\to\infty} \liminf_{n\to\infty}P_n^q(A^{(n)}_{l;k_n}) = \lim_{l\to\infty}\limsup_{n\to\infty}P_n^q(A^{(n)}_{l;k_n})$ in terms of the $p$-distribution. When this quantity is positive, we say that super-clustering occurs. In particular, super-clustering occurs for the Mallows distribution with parameter $q\neq1$. We also give a new characterization of $p$-shifted distributions.


title: Algorithm for SIS and MultiSIS problems

abstract: SIS problem has numerous applications in cryptography. Known algorithms for solving that problem are exponential in complexity. A new algorithm is suggested in this note, its complexity is sub-exponential for a range of parameters.


title: Characterising the shape, size and orientation of cloud-feeding coherent boundary layer structures

abstract: This paper presents two techniques for characterisation of cloud-feeding coherent boundary layer structures through analysis of large-eddy simulations of shallow cumulus clouds, contrasting conditions with and without ambient shear. The first technique is a generalisation of the two-point correlation function where the correlation length-scale as well as orientation can be extracted. The second technique decomposes the vertical transport by coherent structures by the shape, size and orientation of these structures. It is found that the structures dominating the vertical flux are plume-like in character (extending from the surface into cloud), show small width/thickness asymmetry and rise near-vertically in the absence of ambient wind. The planar stretching and tilting of boundary layer structures caused by the introduction of ambient shear is also quantified, demonstrating the general applicability of the techniques for future study of other boundary layer patterns.


title: Infinite order linear differential equation satisfied by $p$-adic Hurwitz-type Euler zeta functions

abstract: In 1900, at the international congress of mathematicians, Hilbert claimed that the Riemann zeta function $\zeta(s)$ is not the solution of any algebraic ordinary differential equations on its region of analyticity. In 2015, Van Gorder considered the question of whether $\zeta(s)$ satisfies a non-algebraic differential equation and showed that it formally satisfies an infinite order linear differential equation. Recently, Prado and Klinger-Logan extended Van Gorder's result to show that the Hurwitz zeta function $\zeta(s,a)$ is also formally satisfies a similar differential equation \begin{equation*}\label{HurDE} T\left[\zeta (s,a) - \frac{1}{a^s}\right] = \frac{1}{(s-1)a^{s-1}}. \end{equation*} But unfortunately in the same paper they proved that the operator $T$ applied to Hurwitz zeta function $\zeta(s,a)$ does not converge at any point in the complex plane $\mathbb{C}$. In this paper, by defining $T_{p}^{a}$, a $p$-adic analogue of Van Gorder's operator $T,$ we establish an analogue of Prado and Klinger-Logan's differential equation satisfied by $\zeta_{p,E}(s,a)$ which is the $p$-adic analogue of the Hurwitz-type Euler zeta functions \begin{equation*}\label{HEZ} \zeta_E(s,a)=\sum_{n=0}^\infty\frac{(-1)^n}{(n+a)^s}. \end{equation*} In contrast with the complex case, due to the non-archimedean property, the operator $T_{p}^{a}$ applied to the $p$-adic Hurwitz-type Euler zeta function $\zeta_{p,E}(s,a)$ is convergent $p$-adically in the area of $s\in\mathbb{Z}_{p}$ with $s\neq 1$ and $a\in K$ with $|a|_{p}>1,$ where $K$ is any finite extension of $\mathbb{Q}_{p}$ with ramification index over $\mathbb{Q}_{p}$ less than $p-1.$


title: A Delay Equation Model for the Atlantic Multidecadal Oscillation

abstract: A new technique to derive delay models from systems of partial differential equations, based on the Mori-Zwanzig formalism, is used to derive a delay difference equation model for the Atlantic Multidecadal Oscillation. The Mori-Zwanzig formalism gives a rewriting of the original system of equations which contains a memory term. This memory term can be related to a delay term in a resulting delay equation. Here the technique is applied to an idealized, but spatially extended, model of the Atlantic Multidecadal Oscillation. The resulting delay difference model is of a different type than the delay differential model which has been used to describe the El Ni\~no- Southern Oscillation. In addition to this model, which can also be obtained by integration along characteristics, error terms for a smoothing approximation of the model have been derived from the Mori-Zwanzig formalism. Our new method of deriving delay models from spatially extended models has a large potential to use delay models to study a range of climate variability phenomena.


title: Scoring the Terabit/s Goal:Broadband Connectivity in 6G

abstract: This paper explores the road to vastly improving the broadband connectivity in future 6G wireless systems. Different categories of use cases are considered, with peak data rates up to 1 Tbps. Several categories of enablers at the infrastructure, spectrum, and protocol/algorithmic levels are required to realize the intended broadband connectivity goals in 6G. At the infrastructure level, we consider ultra-massive MIMO technology (possibly implemented using holographic radio), intelligent reflecting surfaces, user-centric cell-free networking, integrated access and backhaul, and integrated space and terrestrial networks. At the spectrum level, the network must seamlessly utilize sub-6 GHz bands for coverage and spatial multiplexing of many devices, while higher bands will be mainly used for pushing the peak rates of point-to-point links. Finally, at the protocol/algorithmic level, the enablers include improved coding, modulation, and waveforms to achieve lower latency, higher reliability, and reduced complexity.


title: Modelling uncertainty in coupled electricity and gas systems -- is it worth the effort?

abstract: The interdependence of electricity and natural gas markets is becoming a major topic in energy research. Integrated energy models are used to assist decision-making for businesses and policymakers addressing challenges of energy transition and climate change. The analysis of complex energy systems requires large-scale models, which are based on extensive databases, intertemporal dynamics and a multitude of decision variables. Integrating such energy system models results in increased system complexity. This complexity poses a challenge for energy modellers to address multiple uncertainties that affect both markets. Stochastic optimisation approaches enable an adequate consideration of uncertainties in investment and operation planning; however, stochastic modelling of integrated large-scale energy systems further scales the level of complexity. In this paper, we combine integrated and stochastic optimisation problems and parametrise our model for European electricity and gas markets. We analyse and compare the impact of uncertain input parameters, such as gas and electricity demand, renewable energy capacities and fuel and CO2 prices, on the quality of the solution obtained in the integrated optimisation problem. Our results quantify the value of encoding uncertainty as a part of a model. While the methodological contribution should be of interest for energy modellers, our findings are relevant for industry experts and stakeholders with an empirical interest in the European energy system.


title: Structure preserving discretization of time-reparametrized Hamiltonian systems with application to nonholonomic mechanics

abstract: We propose a discretization of vector fields that are Hamiltonian up to multiplication by a positive function on the phase space that may be interpreted as a time reparametrization. We prove that our method is structure preserving in the sense that the discrete flow is interpolated to arbitrary order by the flow of a continuous system possessing the same structure. In particular, our discretization preserves a smooth measure on the phase space to arbitrary order. We present applications to a remarkable class of nonholonomic mechanical systems that allow Hamiltonization. To our best knowledge, these results provide the first occurrence in the literature of a measure preserving discretization of measure preserving nonholonomic systems.


title: The fully marked surface theorem

abstract: In his seminal 1976 paper Bill Thurston observed that a closed leaf S of a foliation has Euler characteristic equal, up to sign, to the Euler class of the foliation evaluated on [S], the homology class represented by S. The main result of this paper is a converse for taut foliations: if the Euler class of a taut foliation $\mathcal{F}$ evaluated on [S] equals up to sign the Euler characteristic of S and the underlying manifold is hyperbolic, then there exists another taut foliation $\mathcal{F'}$ such that $S$ is homologous to a union of leaves and such that the plane field of $\mathcal{F'}$ is homotopic to that of $\mathcal{F}$. In particular, $\mathcal{F}$ and $\mathcal{F'}$ have the same Euler class. In the same paper Thurston proved that taut foliations on closed hyperbolic 3-manifolds have Euler class of norm at most one, and conjectured that, conversely, any integral cohomology class with norm equal to one is the Euler class of a taut foliation. This is the second of two papers that together give a negative answer to Thurston's conjecture. In the first paper, counterexamples were constructed assuming the main result of this paper.


title: Topological inheritance in half-SSH Hubbard models

abstract: The interplay between interparticle interactions and topological features may result in unusual phenomena. Interestingly, interactions may induce topological features in an originally trivial system, as we illustrate for the case of a one-dimensional two-component Hubbard model in which one component is subjected to Su-Schrieffer-Heeger(SSH) dimerization, whereas the other one is not. We show that due to inter-component interactions the topological properties of one component are induced in the originally trivial one. Although for large interactions topological inheritance may be readily explained by on-site pairing, we show that the threshold for full inheritance occurs at weak interactions, for which the components are not yet paired. We illustrate this inheritance by discussing both bulk and edge properties, as well as dynamical observables as mean chiral displacement and charge pumping.


title: Privacy-Preserving Distributed Learning Framework for 6G Telecom Ecosystems

abstract: We present a privacy-preserving distributed learning framework for telecom ecosystems in the 6G-era that enables the vision of shared ownership and governance of ML models, while protecting the privacy of the data owners. We demonstrate its benefits by applying it to the use-case of Quality of Transmission (QoT) estimation in multi-domain multi-vendor optical networks, where no data of individual domains is shared with the network management system (NMS).


title: Exploring Longitudinal Effects of Session-based Recommendations

abstract: Session-based recommendation is a problem setting where the task of a recommender system is to make suitable item suggestions based only on a few observed user interactions in an ongoing session. The lack of long-term preference information about individual users in such settings usually results in a limited level of personalization, where a small set of popular items may be recommended to many users. This repeated exposure of such a subset of the items through the recommendations may in turn lead to a reinforcement effect over time, and to a system which is not able to help users discover new content anymore to the desirable extent. In this work, we investigate such potential longitudinal effects of session-based recommendations in a simulation-based approach. Specifically, we analyze to what extent algorithms of different types may lead to concentration effects over time. Our experiments in the music domain reveal that all investigated algorithms---both neural and heuristic ones---may lead to lower item coverage and to a higher concentration on a subset of the items. Additional simulation experiments however also indicate that relatively simple re-ranking strategies, e.g., by avoiding too many repeated recommendations in the music domain, may help to deal with this problem.


title: What Makes a Data-GIF Understandable?

abstract: GIFs are enjoying increasing popularity on social media as a format for data-driven storytelling with visualization; simple visual messages are embedded in short animations that usually last less than 15 seconds and are played in automatic repetition. In this paper, we ask the question, "What makes a data-GIF understandable?" While other storytelling formats such as data videos, infographics, or data comics are relatively well studied, we have little knowledge about the design factors and principles for "data-GIFs". To close this gap, we provide results from semi-structured interviews and an online study with a total of 118 participants investigating the impact of design decisions on the understandability of data-GIFs. The study and our consequent analysis are informed by a systematic review and structured design space of 108 data-GIFs that we found online. Our results show the impact of design dimensions from our design space such as animation encoding, context preservation, or repetition on viewers' understanding of the GIF's core message. The paper concludes with a list of suggestions for creating more effective Data-GIFs.


title: Irregular emission cycles in the Oe star HD 60848

abstract: We analyse the spectroscopic and photometric variability of the Oe star HD 60848 over the last twenty five years. The spectra reveal recurrent, but irregular cycles of increased circumstellar emission lines. These cycles are highly asymmetric displaying a slow increase over about 6 years, followed by a fast decay within about 6 months. Our analysis focuses on the most recent cycle (2013 - 2020). The equivalent width and velocity separation of the emission peaks indicate variations of the outer disk radius by a factor ~ 2.2, although the variability appears more complex than expected from first principle relations for optically thin Keplerian disks. We observe a time delay between the variations of the strengths of He I 5876 on the one hand and H-alpha and H-beta on the other hand. We interpret this behaviour in a two-step disk growth scenario, where the disk first expands radially before its density increases. A difference in behaviour is also seen between H-alpha and the H I Paschen lines, with the latter displaying a more symmetric cycle, similar to the photometric variability. The rather fast decays of the H-alpha emission observed in 2001, 2009 and 2018 - 2019 suggest that the strong radiation field and early spectral type of the star lead to a faster dissipation of the disk than in later-type Be stars, as theoretically expected. We discuss X-ray observations of the star both during a high and a low-emission state. The X-ray spectrum is soft at both epochs, and the X-ray fluxes are only marginally different and remain consistent with the canonical Lx/Lbol relation of O-type stars. These results indicate that the circumstellar decretion disk of HD 60848 has essentially no impact on the star's X-ray emission, and that the latter most likely arises inside the stellar wind.


title: Finite Element Network Analysis: A Machine Learning based Computational Framework for the Simulation of Physical Systems

abstract: This study introduces the concept of finite element network analysis (FENA) which is a physics-informed, machine-learning-based, computational framework for the simulation of complex physical systems. The framework leverages the extreme computational speed of trained neural networks and the unique transfer knowledge property of bidirectional recurrent neural networks (BRNN) to provide a uniquely powerful and flexible computing platform. One of the most remarkable properties of this framework consists in its ability to simulate the response of complex systems, made of multiple interconnected components, by combining individually pre-trained network models that do not require any further training following the assembly phase. This remarkable result is achieved via the use of key concepts such as transfer knowledge and network concatenation. Although the computational framework is illustrated and numerically validated for the case of a mechanical system under static loading, the conceptual structure of the framework has broad applicability and could be extended to the most diverse field of computational science. The framework is numerically validated against the solution provided by traditional finite element analysis and the results highlight the outstanding performance of this new concept of computational platform.


title: Robustness Verification of Quantum Classifiers

abstract: Several important models of machine learning algorithms have been successfully generalized to the quantum world, with potential speedup to training classical classifiers and applications to data analytics in quantum physics that can be implemented on the near future quantum computers. However, quantum noise is a major obstacle to the practical implementation of quantum machine learning. In this work, we define a formal framework for the robustness verification and analysis of quantum machine learning algorithms against noises. A robust bound is derived and an algorithm is developed to check whether or not a quantum machine learning algorithm is robust with respect to quantum training data. In particular, this algorithm can find adversarial examples during checking. Our approach is implemented on Google's TensorFlow Quantum and can verify the robustness of quantum machine learning algorithms with respect to a small disturbance of noises, derived from the surrounding environment. The effectiveness of our robust bound and algorithm is confirmed by the experimental results, including quantum bits classification as the "Hello World" example, quantum phase recognition and cluster excitation detection from real world intractable physical problems, and the classification of MNIST from the classical world.


title: StoRIR: Stochastic Room Impulse Response Generation for Audio Data Augmentation

abstract: In this paper we introduce StoRIR - a stochastic room impulse response generation method dedicated to audio data augmentation in machine learning applications. This technique, in contrary to geometrical methods like image-source or ray tracing, does not require prior definition of room geometry, absorption coefficients or microphone and source placement and is dependent solely on the acoustic parameters of the room. The method is intuitive, easy to implement and allows to generate RIRs of very complicated enclosures. We show that StoRIR, when used for audio data augmentation in a speech enhancement task, allows deep learning models to achieve better results on a wide range of metrics than when using the conventional image-source method, effectively improving many of them by more than 5 %. We publish a Python implementation of StoRIR online


title: Estimates for the single-spin asymmetries in $p^{\uparrow}p \to J/\psi X$ process at PHENIX RHIC and SPD NICA

abstract: We study the transverse single-spin asymmetry (TSSA) in $p^{\uparrow}p \to J/\psi X$ reaction, incorporating both transverse-momentum and spin effects. To predict production cross section of prompt $J/\psi$ we use two different approaches, the non-relativistic QCD (NRQCD) factorization approach and the Improved Color Evaporation Model (ICEM), and show how the predicted results for TSSAs depend on choice of hadronization model. For initial-state factorization we consider two models: the standard Generalized Parton Model (GPM) and the Colour Gauge-Invariant version of it (CGI-GPM). We demonstrate that PHENIX collaboration data on TSSA in the process $p^{\uparrow}p \to J/\psi X$ constrain the gluon Sivers function of the proton and rule-out one of existing parameterizations. Estimates for the TSSAs in $p^{\uparrow}p \to J/\psi X$ process for the conditions of the future SPD NICA experiment are presented for the first time.


title: Deterministic concurrent systems

abstract: We introduce deterministic concurrent systems as a subclass of concurrent systems. Deterministic concurrent system are "locally commutative" concurrent systems. We prove that irreducible and deterministic concurrent systems have a unique probabilistic dynamics, and we characterise these systems by means of their analytic combinatorics properties.


title: Multi-label Learning with Missing Values using Combined Facial Action Unit Datasets

abstract: Facial action units allow an objective, standardized description of facial micro movements which can be used to describe emotions in human faces. Annotating data for action units is an expensive and time-consuming task, which leads to a scarce data situation. By combining multiple datasets from different studies, the amount of training data for a machine learning algorithm can be increased in order to create robust models for automated, multi-label action unit detection. However, every study annotates different action units, leading to a tremendous amount of missing labels in a combined database. In this work, we examine this challenge and present our approach to create a combined database and an algorithm capable of learning under the presence of missing labels without inferring their values. Our approach shows competitive performance compared to recent competitions in action unit detection.


title: A Survey of Deep Learning for Data Caching in Edge Network

abstract: The concept of edge caching provision in emerging 5G and beyond mobile networks is a promising method to deal both with the traffic congestion problem in the core network as well as reducing latency to access popular content. In that respect end user demand for popular content can be satisfied by proactively caching it at the network edge, i.e, at close proximity to the users. In addition to model based caching schemes learning-based edge caching optimizations has recently attracted significant attention and the aim hereafter is to capture these recent advances for both model based and data driven techniques in the area of proactive caching. This paper summarizes the utilization of deep learning for data caching in edge network. We first outline the typical research topics in content caching and formulate a taxonomy based on network hierarchical structure. Then, a number of key types of deep learning algorithms are presented, ranging from supervised learning to unsupervised learning as well as reinforcement learning. Furthermore, a comparison of state-of-the-art literature is provided from the aspects of caching topics and deep learning methods. Finally, we discuss research challenges and future directions of applying deep learning for caching


title: On codes decoding a constant fraction of errors on the BSC

abstract: Using techniques and results from Kudekar et al. we strengthen the bounds on the weight distribution of linear codes achieving capacity on the BEC, which were shown by the first author. In particular, we show that for any doubly transitive binary linear code $C \subseteq \{0,1\}^n$ of rate $0 < R < 1$ with weight distribution $\left(a_0,...,a_n\right)$ holds $a_i \le 2^{o(n)} \cdot (1-R)^{-2 \ln 2 \cdot \min\{i, n-i\}}$. For doubly transitive codes with minimal distance at least $\Omega\left(n^c\right)$, $0 < c \le 1$, the error factor of $2^{o(n)}$ in this bound can be removed at the cost of replacing $1-R$ with a smaller constant $a = a(R,c) < 1- R$. Moreover, in the special case of Reed-Muller codes, due to the additional symmetries of these codes, this error factor can be removed at essentially no cost. This implies that for any doubly transitive code $C$ of rate $R$ with minimal distance at least $\Omega\left(n^c\right)$, there exists a positive constant $p = p(R,c)$ such that $C$ decodes errors on $\mathrm{BSC}(p)$ with high probability if $p < p(R,c)$. For doubly transitive codes of a sufficiently low rate (smaller than some absolute constant) the requirement on the minimal distance can be omitted, and hence this critical probability $p(R)$ depends only on $R$. Furthermore, $p(R) \rightarrow \frac12$ as $R \rightarrow 0$. In particular, a Reed-Muller code $C$ of rate $R$ decodes errors on $\mathrm{BSC}(p)$ with high probability if \[ R ~<~ 1 - \big(4p(1-p)\big)^{\frac{1}{4 \ln 2}}, \] answering a question of Abbe, Hazla, and Nachum.


title: Higher-order non-Hermitian skin effect

abstract: The non-Hermitian skin effect is a unique feature of non-Hermitian systems, in which an extensive number of boundary modes appear under the open boundary conditions. Here, we discover higher-order counterparts of the non-Hermitian skin effect that exhibit new boundary physics. In two-dimensional systems with the system size $L \times L$, while the conventional (first-order) skin effect accompanies $O\,( L^{2} )$ skin modes, the second-order skin effect accompanies $O\,( L )$ corner skin modes. This also contrasts with Hermitian second-order topological insulators, in which only $O\,( 1 )$ corner zero modes appear. Moreover, for the third-order skin effect in three dimensions, $O\,( L )$ corner skin modes appear from all $O\,( L^{3} )$ modes. We demonstrate that the higher-order skin effect originates from intrinsic non-Hermitian topology protected by spatial symmetry. We also show that it accompanies the modification of the non-Bloch band theory in higher dimensions.

categories: cond-mat.mes-hall math-ph math.MP physics.optics quant-ph


title: Injectivity of Gabor phase retrieval from lattice measurements

abstract: We establish novel uniqueness results for the Gabor phase retrieval problem: if $\mathcal{G} : L^2(\mathbb{R}) \to L^2(\mathbb{R}^2)$ denotes the Gabor transform then every $f \in L^4[-\tfrac{c}{2},\tfrac{c}{2}]$ is determined up to a global phase by the values $|\mathcal{G}f(x,\omega)|$ where $(x,\omega)$ are points on the lattice $b^{-1}\mathbb{Z} \times (2c)^{-1}\mathbb{Z}$ and $b>0$ is an arbitrary positive constant. This for the first time shows that compactly-supported, complex-valued functions can be uniquely reconstructed from lattice samples of their spectrogram. Moreover, by making use of recent developments related to sampling in shift-invariant spaces by Gr\"ochenig, Romero and St\"ockler, we prove analogous uniqueness results for functions in shift-invariant spaces with Gaussian generator. Generalizations to nonuniform sampling are also presented. Finally, we compare our results to the situation where the considered signals are assumed to be real-valued.


title: Computing $\nu$-invariants of Joyce's compact $G_2$-manifolds

abstract: Crowley and Nordstr\"{o}m introduced an invariant of $G_2$-structures on the tangent bundle of a closed 7-manifold, taking values in the integers modulo 48. Using the spectral description of this invariant due to Crowley, Goette and Nordstr\"{o}m, we compute it for many of the closed torsion-free $G_2$-manifolds defined by Joyce's generalized Kummer construction.


title: Model-Reference Reinforcement Learning for Collision-Free Tracking Control of Autonomous Surface Vehicles

abstract: This paper presents a novel model-reference reinforcement learning algorithm for the intelligent tracking control of uncertain autonomous surface vehicles with collision avoidance. The proposed control algorithm combines a conventional control method with reinforcement learning to enhance control accuracy and intelligence. In the proposed control design, a nominal system is considered for the design of a baseline tracking controller using a conventional control approach. The nominal system also defines the desired behaviour of uncertain autonomous surface vehicles in an obstacle-free environment. Thanks to reinforcement learning, the overall tracking controller is capable of compensating for model uncertainties and achieving collision avoidance at the same time in environments with obstacles. In comparison to traditional deep reinforcement learning methods, our proposed learning-based control can provide stability guarantees and better sample efficiency. We demonstrate the performance of the new algorithm using an example of autonomous surface vehicles.


title: The heat and the landscape I

abstract: Heat flows in 1+1 dimensional stochastic environment converge after scaling to the random geometry described by the directed landscape. In this first part, we show that the O'Connell-Yor polymer and the KPZ equation converge to the KPZ fixed point. The key is that one-dimensional Baik-Ben Arous-Peche statistics characterize the KPZ fixed point. This yields a general and elementary method that shows convergence based on previously established limit theorems. Independently, at the same time and place Quastel and Sharkar gave an unrelated proof of KPZ convergence. The methods invite extensions in different directions: ours to polymer models, and theirs to interacting particle systems.


title: Higher order Wirtinger-type inequalities and sharp bounds for the isoperimetric deficit

abstract: Using Fourier analysis, we derive Wirtinger-type inequalities of arbitrary high order. As applications, we prove various sharp geometric inequalities for closed curves on the Euclidean plane. In particular, we obtain both sharp lower and upper bounds for the isoperimetric deficit.


title: Transverse optical binding for a dual dipolar dielectric nanoparticle dimer

abstract: The physical origins of the transverse optical binding force and torque beyond the Rayleigh approximation have not been clearly expressed to date. Here, we present analytical expressions of the force and torque for a dual dipolar dielectric dimer illuminated by a plane wave propagating perpendicularly to the dimer axis. Using this analytical model, we explore the roles of the hybridized electric dipolar, magnetic dipolar, and electric-magnetic dipolar coupling interactions in the total force and torque on the particles. We find significant departures from the predictions of the Rayleigh approximation, particularly for high-refractive-index particles, where the force is dominated by the magnetic interaction. This results in an enhancement of the dimer stability by one to four orders of magnitude compared to the predictions of the Rayleigh approximation. For the case of torque, this is dominated by the coupling interaction and increases by an order of magnitude. Our results will help to guide future experimental work in optical binding of high-refractive-index dielectric particles.


title: Efficient Low-Latency Speech Enhancement with Mobile Audio Streaming Networks

abstract: We propose Mobile Audio Streaming Networks (MASnet) for efficient low-latency speech enhancement, which is particularly suitable for mobile devices and other applications where computational capacity is a limitation. MASnet processes linear-scale spectrograms, transforming successive noisy frames into complex-valued ratio masks which are then applied to the respective noisy frames. MASnet can operate in a low-latency incremental inference mode which matches the complexity of layer-by-layer batch mode. Compared to a similar fully-convolutional architecture, MASnet incorporates depthwise and pointwise convolutions for a large reduction in fused multiply-accumulate operations per second (FMA/s), at the cost of some reduction in SNR.


title: Cavity-enhanced magnetometer with a spinor Bose-Einstein condensate

abstract: We propose a novel type of composite light-matter magnetometer based on a transversely driven multi-component Bose-Einstein condensate coupled to two distinct electromagnetic modes of a linear cavity. Above the critical pump strength, the change of the population imbalance of the condensate caused by an external magnetic field entails the change of relative photon number of the two cavity modes. Monitoring the cavity output fields thus allows for nondestructive measurement of the magnetic field in real time. We show that the sensitivity of the proposed magnetometer exhibits Heisenberg-like scaling with respect to the atom number. For state-of-the-art experimental parameters, we calculate the lower bound on the sensitivity of such a magnetometer to be of the order of fT/$\sqrt{\mathrm{Hz}}$--pT/$\sqrt{\mathrm{Hz}}$ for a condensate of $10^4$ atoms with coherence times of the order of several ms.


title: Self-Supervised Learning for Monocular Depth Estimation from Aerial Imagery

abstract: Supervised learning based methods for monocular depth estimation usually require large amounts of extensively annotated training data. In the case of aerial imagery, this ground truth is particularly difficult to acquire. Therefore, in this paper, we present a method for self-supervised learning for monocular depth estimation from aerial imagery that does not require annotated training data. For this, we only use an image sequence from a single moving camera and learn to simultaneously estimate depth and pose information. By sharing the weights between pose and depth estimation, we achieve a relatively small model, which favors real-time application. We evaluate our approach on three diverse datasets and compare the results to conventional methods that estimate depth maps based on multi-view geometry. We achieve an accuracy {\delta}1.25 of up to 93.5 %. In addition, we have paid particular attention to the generalization of a trained model to unknown data and the self-improving capabilities of our approach. We conclude that, even though the results of monocular depth estimation are inferior to those achieved by conventional methods, they are well suited to provide a good initialization for methods that rely on image matching or to provide estimates in regions where image matching fails, e.g. occluded or texture-less regions.


title: Deep Learning Based Open Set Acoustic Scene Classification

abstract: In this work, we compare the performance of three selected techniques in open set acoustic scenes classification (ASC). We test thresholding of the softmax output of a deep network classifier, which is the most popular technique nowadays employed in ASC. Further we compare the results with the Openmax classifier which is derived from the computer vision field. As the third model, we use the Adapted Class-Conditioned Autoencoder (Adapted C2AE) which is our variation of another computer vision related technique called C2AE. Adapted C2AE encompasses a more fair comparison of the given experiments and simplifies the original inference procedure, making it more applicable in the real-life scenarios. We also analyse two training scenarios: without additional knowledge of unknown classes and another where a limited subset of examples from the unknown classes is available. We find that the C2AE based method outperforms the thresholding and Openmax, obtaining $85.5\%$ Area Under the Receiver Operating Characteristic curve (AUROC) and $66\%$ of open set accuracy on data used in Detection and Classification of Acoustic Scenes and Events Challenge 2019 Task 1C.


title: Minkowski type theorems for convex sets in cones

abstract: Minkowski's classical existence theorem provides necessary and sufficient conditions for a Borel measure on the unit sphere of Euclidean space to be the surface area measure of a convex body. The solution is unique up to a translation. We deal with corresponding questions for unbounded convex sets, whose behavior at infinity is determined by a given closed convex cone. We provide an existence theorem and a stability result.


title: Exploring the weather impact on bike sharing usage through a clustering analysis

abstract: Bike sharing systems (BSS) have been a popular traveling service for years and are used worldwide. It is attractive for cities and users who wants to promote healthier lifestyles; to reduce air pollution and greenhouse gas emission as well as improve traffic. One major challenge to docked bike sharing system is redistributing bikes and balancing dock stations. Some studies propose models that can help forecasting bike usage; strategies for rebalancing bike distribution; establish patterns or how to identify patterns. Other studies propose to extend the approach by including weather data. This study aims to extend upon these proposals and opportunities to explore how and in what magnitude weather impacts bike usage. Bike usage data and weather data are gathered for the city of Washington D.C. and are analyzed using k-means clustering algorithm. K-means managed to identify three clusters that correspond to bike usage depending on weather conditions. The results show that the weather impact on bike usage was noticeable between clusters. It showed that temperature followed by precipitation weighted the most, out of five weather variables.


title: Local-to-Global-rigidity of lattices in $SL_n(\mathbb{K})$

abstract: A vertex-transitive graph $\mathcal{G}$ is called Local-to-Global rigid if there exists $R>0$ such that every other graph whose balls of radius $R$ are isometric to the balls of radius $R$ in $\mathcal{G}$ is covered by $\mathcal{G}$. An example of such a graph is given by the Bruhat-Tits building of $PSL_n(\mathbb{K})$ with $n\geq 4$ and $\mathbb{K}$ a non-Archimedean local field of characteristic zero.. In this paper we extend this rigidity property to a class of graphs quasi-isometric to the building including torsion-free lattices of $SL_n(\mathbb{K})$. The demonstration is the occasion to prove a result on the local structure of the building. We show that if we fix a $PSL_n(\mathbb{K})$-orbit in it, then a vertex is uniquely determined by the neighbouring vertices in this orbit.


title: Muon tomography of a reinforced concrete block -- first experimental proof of concept

abstract: Quality assurance and condition assessment of concrete structures is an important topic world-wide due to the ageing infrastructure and increasing traffic demands. Common topics include, but are not limited to, localisation of rebar or tendon ducts, geometrical irregularities, cracks, voids, honeycombing or other flaws. Non-destructive techniques such as ultrasound or radar have found regular, successful practical application but sometimes suffer from limited resolution and accuracy, imaging artefacts or restrictions in detecting certain features. Until the 1980s X-ray transmission was used in case of special demands and showed a resolution much higher than other NDT techniques. However, due to safety concerns and cost issues, this method is almost never used anymore. Muon tomography has received much attention recently. Novel detectors for cosmic muons and tomographic imaging algorithms have opened up new fields of application, such as the investigation of freight containers for contraband or the assessment of the contents of radioactive waste containers. But Muon imaging also has the potential to fill some of the gaps currently existing in concrete NDT. As a first step towards practical use and as a proof of concept we used an existing system to image the interior of a reference reinforced 600 kg concrete block. Even with a yet not optimized setup for this kind of investigation, the muon imaging results show more resolution and less distortion compared to ultrasonic and radar imaging. The data acquisition takes more time and signals contain more noise, but the images allowed to detect the same important features that are visible in conventional high energy x-ray tomography. In our experiment, we have shown the tremendous potential of muon imaging for concrete inspection. The next steps include the development of mobile detectors and optimising acquisition and imaging parameters.


title: W[1]-Hardness of the k-Center Problem Parameterized by the Skeleton Dimension

abstract: In the $k$-Center problem, we are given a graph $G=(V,E)$ with positive edge weights and an integer $k$ and the goal is to select $k$ center vertices $C \subseteq V$ such that the maximum distance from any vertex to the closest center vertex is minimized. On general graphs, the problem is NP-hard and cannot be approximated within a factor less than $2$. Typical applications of the $k$-Center problem can be found in logistics or urban planning and hence, it is natural to study the problem on transportation networks. Such networks are often characterized as graphs that are (almost) planar or have low doubling dimension, highway dimension or skeleton dimension. It was shown by Feldmann and Marx that $k$-Center is W[1]-hard on planar graphs of constant doubling dimension when parameterized by the number of centers $k$, the highway dimension $hd$ and the pathwidth $pw$. We extend their result and show that even if we additionally parameterize by the skeleton dimension $\kappa$, the $k$-Center problem remains W[1]-hard. Moreover, we prove that under the Exponential Time Hypothesis there is no exact algorithm for $k$-Center that has runtime $f(k,hd,pw,\kappa) \cdot \vert V \vert^{o(pw + \kappa + \sqrt{k+hd})}$ for any computable function $f$.


title: A global model of particle acceleration at pulsar wind termination shocks

abstract: Pulsar wind nebulae are efficient particle accelerators, and yet the processes at work remain elusive. Self-generated, microturbulence is too weak in relativistic magnetized shocks to accelerate particles over a wide energy range, suggesting that the global dynamics of the nebula may be involved in the acceleration process instead. In this work, we study the role played by the large-scale anisotropy of the transverse magnetic field profile on the shock dynamics. We performed large two-dimensional particle-in-cell simulations for a wide range of upstream plasma magnetizations. A large-scale velocity shear and current sheets form in the equatorial regions and at the poles, where they drive strong plasma turbulence via Kelvin-Helmholtz vortices and kinks. The mixing of current sheets in the downstream flow leads to efficient nonthermal particle acceleration. The power-law spectrum hardens with increasing magnetization, akin to those found in relativistic reconnection and kinetic turbulence studies. The high end of the spectrum is composed of particles surfing on the wake produced by elongated spearhead-shaped cavities forming at the shock front and piercing through the upstream flow. These particles are efficiently accelerated via the shear-flow acceleration mechanism near the Bohm limit. Magnetized relativistic shocks are very efficient particle accelerators. Capturing the global dynamics of the downstream flow is crucial to understanding them, and therefore local plane parallel studies may not be appropriate for pulsar wind nebulae and possibly other astrophysical relativistic magnetized shocks. A natural outcome of such shocks is a variable and Doppler-boosted synchrotron emission at the high end of the spectrum originating from the shock-front cavities, reminiscent of the mysterious Crab Nebula gamma-ray flares.


title: An Improved Dilated Convolutional Network for Herd Counting in Crowded Scenes

abstract: Crowd management technologies that leverage computer vision are widespread in contemporary times. There exists many security-related applications of these methods, including, but not limited to: following the flow of an array of people and monitoring large gatherings. In this paper, we propose an accurate monitoring system composed of two concatenated convolutional deep learning architectures. The first part called Front-end, is responsible for converting bi-dimensional signals and delivering high-level features. The second part, called the Back-end, is a dilated Convolutional Neural Network (CNN) used to replace pooling layers. It is responsible for enlarging the receptive field of the whole network and converting the descriptors provided by the first network to a saliency map that will be utilized to estimate the number of people in highly congested images. We also propose to utilize a genetic algorithm in order to find an optimized dilation rate configuration in the back-end. The proposed model is shown to converge 30\% faster than state-of-the-art approaches. It is also shown that it achieves 20\% lower Mean Absolute Error (MAE) when applied to the Shanghai data~set.


title: Research on Survivability Strategies of Virtual Network

abstract: Virtualization facilitates heterogeneous cloud applications to share the same physical infrastructure with admirable flexibility, while resource efficiency and survivability are critical concerns for virtual network embedding (VNE). As more and more internet applications migrate to the cloud, the resource efficiency and the survivability of VNs, such as single link failure or large-scale disaster survivability, have become crucial issues. Separating the VNE problem into node and link mapping sub-problems without coordination might cause a high embedding cost. This dissertation presents two independent approaches to solve the aforementioned challenges. First, we study two-stage coordinated survivable VNE (SVNE) problem and propose an adaptive path splitting based SVNE (APSS) scheme. We first develop a concise anchor node strategy to restrict the solution space of the candidate substrate nodes, which coordinates node mapping with link mapping to limit the distance spans of the virtual links. Then, we employ an adaptive path splitting policy to provide full protection against single-link failures with partial backup resource, and design an agile frequency slot windows choosing mechanism to mitigate the spectrum fragmentation for link resource efficiency. Simulation results demonstrate that the proposed APSS scheme can achieve satisfactory performance in terms of spectrum utilization and blocking ratio. Second, we propose a synchronous evacuation strategy for VNs with dual virtual machines (VMs) inside a disaster risk zone (DRZ), which suffer higher risks than the VNs with single. The evacuation strategy exploits post-copy technique to sustain the online service alive and enhances synchronous VM migrations to shorten the dual-VM evacuation time. Numerical results show that the proposed strategy can outperform the best-effort scheme in terms of average and total evacuation times of dual-VMs.


title: Percolation effects in the Fortuin-Kasteleyn Ising model on the complete graph

abstract: The Fortuin-Kasteleyn (FK) random cluster model, which can be exactly mapped from the $q$-state Potts spin model, is a correlated bond percolation model. By extensive Monte Carlo simulations, we study the FK bond representation of the critical Ising model ($q=2$) on a finite complete graph, i.e. the mean-field Ising model. We provide strong numerical evidence that the configuration space for $q=2$ contains an asymptotically vanishing sector in which quantities exhibit the same finite-size scaling as in the critical uncorrelated bond percolation ($q=1$) on the complete graph. Moreover, we observe that in the full configuration space, the power-law behaviour of the cluster-size distribution for the FK Ising clusters except the largest one is governed by a Fisher exponent taking the value for $q=1$ instead of $q=2$. This demonstrates the percolation effects in the FK Ising model on the complete graph.


title: FLBench: A Benchmark Suite for Federated Learning

abstract: Federated learning is a new machine learning paradigm. The goal is to build a machine learning model from the data sets distributed on multiple devices so-called an isolated data island, while keeping their data secure and private. Most existing federated learning benchmarks work manually splits commonly used public datasets into partitions to simulate real world isolated data island scenarios. Still, this simulation fails to capture real world isolated data island intrinsic characteristics. This paper presents a federated learning (FL) benchmark suite named FLBench. FLBench contains three domains: medical, financial, and AIoT. By configuring various domains, FLBench is qualified to evaluate federated learning systems and algorithms essential aspects, like communication, scenario transformation, privacy-preserving, data distribution heterogeneity, and cooperation strategy. Hence, it becomes a promising platform for developing novel federated learning algorithms. Currently, FLBench is open sourced and in fast evolution. We package it as an automated deployment tool. The benchmark suite is available from https://www.benchcouncil.org/flbench.html.


title: The diametral strong diameter 2 property of Banach spaces is the same as the Daugavet property

abstract: We demonstrate the result stated in the title, thus answering an open question asked by Julio Becerra Guerrero, Gin\'es L\'opez-P\'erez and Abraham Rueda Zoca in J. Conv. Anal. \textbf{25}, no. 3 (2018).


title: BUT-FIT at SemEval-2020 Task 4: Multilingual commonsense

abstract: This paper describes work of the BUT-FIT's team at SemEval 2020 Task 4 - Commonsense Validation and Explanation. We participated in all three subtasks. In subtasks A and B, our submissions are based on pretrained language representation models (namely ALBERT) and data augmentation. We experimented with solving the task for another language, Czech, by means of multilingual models and machine translated dataset, or translated model inputs. We show that with a strong machine translation system, our system can be used in another language with a small accuracy loss. In subtask C, our submission, which is based on pretrained sequence-to-sequence model (BART), ranked 1st in BLEU score ranking, however, we show that the correlation between BLEU and human evaluation, in which our submission ended up 4th, is low. We analyse the metrics used in the evaluation and we propose an additional score based on model from subtask B, which correlates well with our manual ranking, as well as reranking method based on the same principle. We performed an error and dataset analysis for all subtasks and we present our findings.


title: Constant roll inflation in multifield models

abstract: Constant roll inflation is analyzed in the presence of multi scalar fields which are assumed to be described by a constant roll rate each. The different cases are studied and the corresponding potentials are reconstructed. The exact solutions are obtained, which show a similar behaviour to the single scalar field model. For one of the cases analyzed in the paper, the so-called adiabatic field also constant rolls while entropy perturbations become null, while the second case may lead to non-adiabatic perturbations. Both cases can fit well the Planck data by assuming the appropriate values for the free parameters of the models.


title: Self-dual Einstein spaces and the general heavenly equation. Eigenfunctions as coordinates

abstract: Eigenfunctions are shown to constitute privileged coordinates of self-dual Einstein spaces with the underlying governing equation being revealed as the general heavenly equation. The formalism developed here may be used to link algorithmically a variety of known heavenly equations. In particular, the classical connection between Plebanski's first and second heavenly equations is retrieved and interpreted in terms of eigenfunctions. In addition, connections with travelling wave reductions of the recently introduced TED equation which constitutes a 4+4-dimensional integrable generalisation of the general heavenly equation are found. These are obtained by means of (partial) Legendre transformations. As a particular application, we prove that a large class of self-dual Einstein spaces governed by a compatible system of dispersionless Hirota equations is genuinely four-dimensional in that the (generic) metrics do not admit any (proper or non-proper) conformal Killing vectors. This generalises the known link between a particular class of self-dual Einstein spaces and the dispersionless Hirota equation encoding three-dimensional Einstein-Weyl geometries.


title: Temporal Conformance Checking at Runtime based on Time-infused Process Models

abstract: Conformance checking quantifies the deviations between a set of traces in a given process log and a set of possible traces defined by a process model. Current approaches mostly focus on added or missing events. Lately, multi-perspective mining has provided means to check for conformance with time and resource constraints encoded as data elements. This paper presents an approach for quantifying temporal deviations in conformance checking based on infusing the input process model with a temporal profile. The temporal profile is calculated based on an associated process log considering task durations and the temporal distance between events. Moreover, a simple semantic annotation on tasks in the process model signifies their importance with respect to time. During runtime, deviations between an event stream and the process model with the temporal profile are quantified through a cost function for temporal deviations. The evaluation of the approach shows that the results for two real-world data sets from the financial and a manufacturing domain hold the promise to improve runtime process monitoring and control capabilities.


title: MLBF-Net: A Multi-Lead-Branch Fusion Network for Multi-Class Arrhythmia Classification Using 12-Lead ECG

abstract: Automatic arrhythmia detection using 12-lead electrocardiogram (ECG) signal plays a critical role in early prevention and diagnosis of cardiovascular diseases. In the previous studies on automatic arrhythmia detection, most methods concatenated 12 leads of ECG into a matrix, and then input the matrix to a variety of feature extractors or deep neural networks for extracting useful information. Under such frameworks, these methods had the ability to extract comprehensive features (known as integrity) of 12-lead ECG since the information of each lead interacts with each other during training. However, the diverse lead-specific features (known as diversity) among 12 leads were neglected, causing inadequate information learning for 12-lead ECG. To maximize the information learning of multi-lead ECG, the information fusion of comprehensive features with integrity and lead-specific features with diversity should be taken into account. In this paper, we propose a novel Multi-Lead-Branch Fusion Network (MLBF-Net) architecture for arrhythmia classification by integrating multi-loss optimization to jointly learning diversity and integrity of multi-lead ECG. MLBF-Net is composed of three components: 1) multiple lead-specific branches for learning the diversity of multi-lead ECG; 2) cross-lead features fusion by concatenating the output feature maps of all branches for learning the integrity of multi-lead ECG; 3) multi-loss co-optimization for all the individual branches and the concatenated network. We demonstrate our MLBF-Net on China Physiological Signal Challenge 2018 which is an open 12-lead ECG dataset. The experimental results show that MLBF-Net obtains an average $F_1$ score of 0.855, reaching the highest arrhythmia classification performance. The proposed method provides a promising solution for multi-lead ECG analysis from an information fusion perspective.


title: One Bit to Rule Them All : Binarizing the Reconstruction in 1-bit Compressive Sensing

abstract: This work focuses on the reconstruction of sparse signals from their 1-bit measurements. The context is the one of 1-bit compressive sensing where the measurements amount to quantizing (dithered) random projections. Our main contribution shows that, in addition to the measurement process, we can additionally reconstruct the signal with a binarization of the sensing matrix. This binary representation of both the measurements and sensing matrix can dramatically simplify the hardware architecture on embedded systems, enabling cheaper and more power efficient alternatives. Within this framework, given a sensing matrix respecting the restricted isometry property (RIP), we prove that for any sparse signal the quantized projected back-projection (QPBP) algorithm achieves a reconstruction error decaying like O(m-1/2)when the number of measurements m increases. Simulations highlight the practicality of the developed scheme for different sensing scenarios, including random partial Fourier sensing.


title: IQ Mixer Calibration for Superconducting Circuits

abstract: An important device for modulation and frequency translation in the field of circuit quantum electrodynamics is the IQ mixer, an analog component for which calibration is necessary to achieve optimal performance. In this paper, we introduce techniques originally developed for wireless communication applications to calibrate upconversion and downconversion mixers. A Kalman filter together with a controllable carrier frequency offset calibrates both mixers without removing them from the embedding measurement infrastructure. These techniques can be embedded into room temperature control electronics and they will find widespread use as circuit QED devices continue to grow in size and complexity.


title: Comment on 'On biological signaling' by G. Nimtz and H. Aichmann, Z. Naturforsch. 75a: 507-509, 2020

abstract: In 2005, we proposed that the nerve pulse is an electromechanical soliton. This concept represents a challenge to the well-known Hodgkin-Huxley model which is of a purely electrical nature. The soliton theory was criticized by Nimtz and Aichmann in a recent article in Zeitung f\"ur Naturforschung A. Here, we wish to comment on some statements that we regard as misinterpretations of our views.


title: A Survey of Active Learning for Text Classification using Deep Neural Networks

abstract: Natural language processing (NLP) and neural networks (NNs) have both undergone significant changes in recent years. For active learning (AL) purposes, NNs are, however, less commonly used -- despite their current popularity. By using the superior text classification performance of NNs for AL, we can either increase a model's performance using the same amount of data or reduce the data and therefore the required annotation efforts while keeping the same performance. We review AL for text classification using deep neural networks (DNNs) and elaborate on two main causes which used to hinder the adoption: (a) the inability of NNs to provide reliable uncertainty estimates, on which the most commonly used query strategies rely, and (b) the challenge of training DNNs on small data. To investigate the former, we construct a taxonomy of query strategies, which distinguishes between data-based, model-based, and prediction-based instance selection, and investigate the prevalence of these classes in recent research. Moreover, we review recent NN-based advances in NLP like word embeddings or language models in the context of (D)NNs, survey the current state-of-the-art at the intersection of AL, text classification, and DNNs and relate recent advances in NLP to AL. Finally, we analyze recent work in AL for text classification, connect the respective query strategies to the taxonomy, and outline commonalities and shortcomings. As a result, we highlight gaps in current research and present open research questions.


title: Unsupervised interpretable learning of topological indices invariant under permutations of atomic bands

abstract: Multi-band insulating Bloch Hamiltonians with internal or spatial symmetries, such as particle-hole or inversion, may have topologically disconnected sectors of trivial atomic-limit (momentum-independent) Hamiltonians. We present a neural-network-based protocol for finding topologically relevant indices that are invariant under transformations between such trivial atomic-limit Hamiltonians, thus corresponding to the standard classification of band insulators. The work extends the method of "topological data augmentation" for unsupervised learning introduced in Ref. [1] by also generalizing and simplifying the data generation scheme and by introducing a special "mod" layer of the neural network appropriate for $Z_n$ classification. Ensembles of training data are generated by deforming seed objects in a way that preserves a discrete representation of continuity. In order to focus the learning on the topologically relevant indices, prior to the deformation procedure we stack the seed Bloch Hamiltonians with a complete set of symmetry-respecting trivial atomic bands. The obtained datasets are then used for training an interpretable neural network specially designed to capture the topological properties by learning physically relevant momentum space quantities, even in crystalline symmetry classes.


title: On the Smale Conjecture for Diff$(S^4)$

abstract: Recently Watanabe disproved the Smale Conjecture for $S^4$, by showing Diff$(S^{4})\neq SO(5)$. He showed this by proving that their higher homotopy groups are different. Here we prove this more directly by showing $\pi_{0}$Diff$(S^{4})\neq 0$, otherwise a certain loose-cork could not possibly be a loose-cork.


title: Building a Framework for Indigenous Astronomy Collaboration: Native Skywatchers, Indigenous Scientific Knowledge Systems, and The Bell Museum

abstract: Hundreds of years ago, colonization happened. Today we are still living out the ripple effects of this history. How does this relate to science, informal science education, and institutions that promote science communication? What obligations or considerations should a science museum have before integrating Indigenous knowledge into their existing programming? Presented in this document is the process of building a framework intended to provide a roadmap for developing Indigenous astronomy programming which can be a model for other institutions that may be interested in collaborating with Indigenous communities.


title: Double Soft Theorem for Generalised Biadjoint Scalar Amplitudes

abstract: We study double soft theorem for the generalised biadjoint scalar field theory whose amplitudes are computed in terms of punctures on $\mathbb{CP}^{k-1}$. We find that whenever the double soft limit does not decouple into a product of single soft factors, the leading contributions to the double soft theorems come from the degenerate solutions, otherwise the non degenerate solutions dominate. Our analysis uses the regular solutions to the scattering equations. Most of the results are presented for $k=3$ but we show how they generalise to arbitrary $k$. We have explicit analytic results, for any $k$, in the case when soft external states are adjacent.


title: Interaction between skyrmions and antiskyrmions in a coexisting phase of a Heusler material

abstract: Coexisting phases of magnetic skyrmions and antiskyrmions have proposed to exhibit a variety of fascinating properties, owing to interactions between them. The recent discovery of the coexisting phase in a Heusler material could offer a platform for skyrmion-antiskyrmion-based spintronics. Here we report Lorentz electron microscopy experiments and micromagnetic simulations in a similar Heusler material, Mn$_{1.3}$Pt$_{1.0}$Pd$_{0.1}$Sn. Around $B_c \sim$ 420$\,$mT, we find a stochastic reversible transformation and a room temperature coexisting phase of elliptical skyrmions and square-shaped antiskyrmions. The closeness of the energy competition is sensitive to the exchange stiffness constants and sample thickness. Furthermore, we reveal isotropic long-range repulsive interaction between the skyrmions and antiskyrmions regardless of their shapes and the skyrmion helicities, in stark contrast to conventional thought of angle- and helicity-dependent short-range pairwise interactions. The observed interaction possibly results from the topological protection against the intrusion of magnetic flux density coming from skyrmions (antiskyrmions) into antiskyrmions (skyrmions). Our results provide new insight into interacting skyrmions and antiskyrmions and a guide for developing skyrmion-antiskyrmion-based spintronics.


title: Why a computer program is a functional whole

abstract: Sharing, downloading, and reusing software is common-place, some of which is carried out legally with open source software. When it is not legal, it is unclear just how many copyright infringements and trade secret violations have taken place: does an infringement count for the artefact as a whole or perhaps for each file of the program? To answer this question, it must first be established whether a program should be considered as an integral whole, a collection, or a mere set of distinct files, and why. We argue that a program is a functional whole, availing of, and combining, arguments from mereology, granularity, modularity, unity, and function to substantiate the claim. The argumentation and answer contributes to the ontology of software artefacts, may assist industry in litigation cases, and demonstrates that the notion of unifying relation is operationalisable. Indirectly, it provides support for continued modular design of artefacts following established engineering practices.


title: mHealth Strategy to Fight Tuberculosis in Bangladesh

abstract: Bangladesh is one of the high TB burden countries in the world and TB is still a major public health problem in the country. To eradicate TB in Bangladesh and to ensure proper monitoring and better health care service, digital interventions may play a pivotal role. Over the years Bangladesh Government has been actively working to hold a control over TB with the help of donors, local and international NGOs. For sustainability there has been a need to develop mHealth strategy for Bangladesh to align with the Digital Bangladesh Vision 2021.


title: Facial Recognition: A cross-national Survey on Public Acceptance, Privacy, and Discrimination

abstract: With rapid advances in machine learning (ML), more of this technology is being deployed into the real world interacting with us and our environment. One of the most widely applied application of ML is facial recognition as it is running on millions of devices. While being useful for some people, others perceive it as a threat when used by public authorities. This discrepancy and the lack of policy increases the uncertainty in the ML community about the future direction of facial recognition research and development. In this paper we present results from a cross-national survey about public acceptance, privacy, and discrimination of the use of facial recognition technology (FRT) in the public. This study provides insights about the opinion towards FRT from China, Germany, the United Kingdom (UK), and the United States (US), which can serve as input for policy makers and legal regulators.


title: A Standardized Radiograph-Agnostic Framework and Platform For Evaluating AI Radiological Systems

abstract: Radiology has been essential to accurately diagnosing diseases and assessing responses to treatment. The challenge however lies in the shortage of radiologists globally. As a response to this, a number of Artificial Intelligence solutions are being developed. The challenge Artificial Intelligence radiological solutions however face is the lack of a benchmarking and evaluation standard, and the difficulties of collecting diverse data to truly assess the ability of such systems to generalise and properly handle edge cases. We are proposing a radiograph-agnostic platform and framework that would allow any Artificial Intelligence radiological solution to be assessed on its ability to generalise across diverse geographical location, gender and age groups.


title: Adaptive Hierarchical Hyper-gradient Descent

abstract: In this study, we investigate learning rate adaption at different levels based on the hyper-gradient descent framework and propose a method that adaptively learns the optimizer parameters by combining multiple levels of learning rates with hierarchical structures. Meanwhile, we show the relationship between regularizing over-parameterized learning rates and building combinations of adaptive learning rates at different levels. The experiments on several network architectures, including feed-forward networks, LeNet-5 and ResNet-18/34, show that the proposed multi-level adaptive approach can outperform baseline adaptive methods in a variety of circumstances.


title: Machine Learning in Population and Public Health

abstract: Research in population and public health focuses on the mechanisms between different cultural, social, and environmental factors and their effect on the health, of not just individuals, but communities as a whole. We present here a very brief introduction into research in these fields, as well as connections to existing machine learning work to help activate the machine learning community on such topics and highlight specific opportunities where machine learning, public and population health may synergize to better achieve health equity.


title: Spin networks and the big bang singularity avoidance in the AdS/CFT correspondence

abstract: We propose a new version of the $AdS/CFT$ correspondence, where polymer structures similar to Loop Quantum Cosmology spin networks can be induced on an isotropic and homogeneous flat Randall-Sundrum II brane, corresponding to the holographic duals of closed string states living in the bulk. Such polymer structures drive a discrete evolution of the braneworld spacetime that leads to the regularization of the Big Bang singularity. The present results show that the $AdS/CFT$ conjecture can be a possible bridge between String theory and Loop Quantum Gravity.


title: Assessing Viewer's Mental Health by Detecting Depression in YouTube Videos

abstract: Depression is one of the most prevalent mental health issues around the world, proving to be one of the leading causes of suicide and placing large economic burdens on families and society. In this paper, we develop and test the efficacy of machine learning techniques applied to the content of YouTube videos captured through their transcripts and determine if the videos are depressive or have a depressing trigger. Our model can detect depressive videos with an accuracy of 83%. We also introduce a real-life evaluation technique to validate our classification based on the comments posted on a video by calculating the CES-D scores of the comments. This work conforms greatly with the UN Sustainable Goal of ensuring Good Health and Well Being with major conformity with section UN SDG 3.4.


title: On Mean Absolute Error for Deep Neural Network Based Vector-to-Vector Regression

abstract: In this paper, we exploit the properties of mean absolute error (MAE) as a loss function for the deep neural network (DNN) based vector-to-vector regression. The goal of this work is two-fold: (i) presenting performance bounds of MAE, and (ii) demonstrating new properties of MAE that make it more appropriate than mean squared error (MSE) as a loss function for DNN based vector-to-vector regression. First, we show that a generalized upper-bound for DNN-based vector- to-vector regression can be ensured by leveraging the known Lipschitz continuity property of MAE. Next, we derive a new generalized upper bound in the presence of additive noise. Finally, in contrast to conventional MSE commonly adopted to approximate Gaussian errors for regression, we show that MAE can be interpreted as an error modeled by Laplacian distribution. Speech enhancement experiments are conducted to corroborate our proposed theorems and validate the performance advantages of MAE over MSE for DNN based regression.


title: An Architectural Design for Measurement Uncertainty Evaluation in Cyber-Physical Systems

abstract: Several use cases from the areas of manufacturing and process industry, require highly accurate sensor data. As sensors always have some degree of uncertainty, methods are needed to increase their reliability. The common approach is to regularly calibrate the devices to enable traceability according to national standards and Syst\`eme international (SI) units - which follows costly processes. However, sensor networks can also be represented as Cyber Physical Systems (CPS) and a single sensor can have a digital representation (Digital Twin) to use its data further on. To propagate uncertainty in a reliable way in the network, we present a system architecture to communicate measurement uncertainties in sensor networks utilizing the concept of Asset Administration Shells alongside methods from the domain of Organic Computing. The presented approach contains methods for uncertainty propagation as well as concepts from the Machine Learning domain that combine the need for an accurate uncertainty estimation. The mathematical description of the metrological uncertainty of fused or propagated values can be seen as a first step towards the development of a harmonized approach for uncertainty in distributed CPSs in the context of Industrie 4.0. In this paper, we present basic use cases, conceptual ideas and an agenda of how to proceed further on.


title: Estimating Causal Effects with the Neural Autoregressive Density Estimator

abstract: Estimation of causal effects is fundamental in situations were the underlying system will be subject to active interventions. Part of building a causal inference engine is defining how variables relate to each other, that is, defining the functional relationship between variables given conditional dependencies. In this paper, we deviate from the common assumption of linear relationships in causal models by making use of neural autoregressive density estimators and use them to estimate causal effects within the Pearl's do-calculus framework. Using synthetic data, we show that the approach can retrieve causal effects from non-linear systems without explicitly modeling the interactions between the variables.


title: Forward and inverse reinforcement learning sharing network weights and hyperparameters

abstract: This paper proposes model-free imitation learning named Entropy-Regularized Imitation Learning (ERIL) that minimizes the reverse Kullback-Leibler (KL) divergence. ERIL combines forward and inverse reinforcement learning (RL) under the framework of an entropy-regularized Markov decision process. An inverse RL step computes the log-ratio between two distributions by evaluating two binary discriminators. The first discriminator distinguishes the state generated by the forward RL step from the expert's state. The second discriminator, which is structured by the theory of entropy regularization, distinguishes the state-action-next-state tuples generated by the learner from the expert ones. One notable feature is that the second discriminator shares hyperparameters with the forward RL, which can be used to control the discriminator's ability. A forward RL step minimizes the reverse KL estimated by the inverse RL step. We show that minimizing the reverse KL divergence is equivalent to finding an optimal policy. Our experimental results on MuJoCo-simulated environments and vision-based reaching tasks with a robotic arm show that ERIL is more sample-efficient than the baseline methods. We apply the method to human behaviors that perform a pole-balancing task and describe how the estimated reward functions show how every subject achieves her goal.


title: The geometry of quadrangular convex pyramids

abstract: A convex quadrangular pyramid $ABCDE$, where $ABCD$ is the base and $E$ -- the apex, is called \emph{strongly flexible}, if it belongs to a continuous family of pairwise non-congruent quadrangular pyramids that have the same lengths of corresponding edges. $ABCDE$ is called \emph{strongly rigid}, if such family does not exist. We prove the strong rigidity of convex quadrangular pyramids and prove that strong rigidity fails in the self-intersecting case. Let $L=\{l_1,\ldots,l_8\}$ be a set of positive numbers, then a \emph{realization} of $L$ is a convex quadrangular pyramid $ABCDE$ such, that $|AB|=l_1$, $|BC|=l_2$, $|CD|=l_3$, $|DA|=l_4$, $|EA|=l_5$, $|EB|=l_6$, $|EC|=l_7$, $|ED|=l_8$. We prove that the number of pairwise non-congruent realizations is $\leqslant 4$ and give an example of a set $L$ with three pairwise non-congruent realizations.


title: Model for Techno-Economic Assessment of Access Technologies. Doctoral Dissertation for PhD, Telecommunications Engineering (EECS)

abstract: This doctoral dissertation shows State of the Art of techno-economic modeling for access network technologies, presents the characteristics a universal techno-economic model should have, and shows a classification and analysis of techno-economic models in the literature based on such characteristics. In order to reduce the gap detected in the literature, the author defines and develops a Universal Techno-Economic Model called UTEM and the corresponding methodology to industrialize techno-economic assessment in multiple domains considering all market players perspectives, also suitable for technological consulting and currently available for all industry stakeholders under specific license of use.


title: Fock Space of Level infinity and Characters of Vertex Operators

abstract: We present an extension of the trace of a vertex operator and explain a representation-theoretic interpretation of the trace. Specifically, we consider a twist of the vertex operator with infinitely many Casimir operators and compute its trace as a character formula. To do this, we define the Fock space of infinite level $\mathfrak{F}^{\infty}$. Then, we prove a duality between $\mathfrak{gl}_{\infty}$ and $\mathfrak{a}_{\infty}=\widehat{\mathfrak{gl}}_{\infty}$ of Howe type, which provides a decomposition of $\mathfrak{F}^{\infty}$ into irreducible representations with joint highest weight vector for $\mathfrak{gl}_{\infty}$ and $\mathfrak{a}_{\infty}$. The decomposition of the Fock space $\mathfrak{F}^{\infty}$ into highest weight representations provides a method to calculate and interpret the extended trace.


title: Classification of diffraction patterns in single particle imaging experiments performed at X-ray free-electron lasers using a convolutional neural network

abstract: Single particle imaging (SPI) is a promising method for native structure determination which has undergone a fast progress with the development of X-ray Free-Electron Lasers. Large amounts of data are collected during SPI experiments, driving the need for automated data analysis. The necessary data analysis pipeline has a number of steps including binary object classification (single versus multiple hits). Classification and object detection are areas where deep neural networks currently outperform other approaches. In this work, we use the fast object detector networks YOLOv2 and YOLOv3. By exploiting transfer learning, a moderate amount of data is sufficient for training of the neural network. We demonstrate here that a convolutional neural network (CNN) can be successfully used to classify data from SPI experiments. We compare the results of classification for the two different networks, with different depth and architecture, by applying them to the same SPI data with different data representation. The best results are obtained for YOLOv2 color images linear scale classification, which shows an accuracy of about 97% with the precision and recall of about 52% and 61%, respectively, which is in comparison to manual data classification.


title: On finitely many resonances emerging under distant perturbations in multi-dimensional cylinders

abstract: We consider a general elliptic operator in an infinite multi-dimensional cylinder with several distant perturbations; this operator is obtained by ``gluing'' several single perturbation operators $\mathcal{H}^{(k)}$, $k=1,\ldots,n$, at large distances. The coefficients of each operator $\mathcal{H}^{(k)}$ are periodic in the outlets of the cylinder; the structure of these periodic parts at different outlets can be different. We consider a point $\lambda_0 \in\mathds{R}$ in the essential spectrum of the operator with several distant perturbations and assume that this point is not in the essential spectra of middle operators $\mathcal{H}^{(k)}$, $k=2,\ldots,n-1$, but is an eigenvalue of at least one of $\mathcal{H}^{(k)}$, $k=1,\ldots,n$. Under such assumption we show that the operator with several distant perturbations possesses finitely many resonances in the vicinity of $\lambda_0$. We find the leading terms in asymptotics for these resonances, which turn out to be exponentially small. We also conjecture that the made assumption selects the only case, when the distant perturbations produce finitely many resonances in the vicinity of $\lambda_0$. Namely, as $\lambda_0$ is in the essential spectrum of at least one of operators $\mathcal{H}^{(k)}$, $k=2,\ldots,n-1$, we do expect that infinitely many resonances emerge in the vicinity of $\lambda_0$.


title: Commercial Cloud Computing for Connected Vehicle Applications in Transportation Cyber-Physical Systems

abstract: This study focuses on the feasibility of commercial cloud services for connected vehicle (CV) applications in a Transportation Cyber-Physical Systems (TCPS) environment. TCPS implies that CVs, in addition to being connected with each other, communicates with the transportation and computing infrastructure to fulfill application requirements. The motivation of this study is to accelerate commercial cloud-based CV application development by presenting the lessons learned by implementing a CV mobility application using Amazon Web Services (AWS). The feasibility of the cloud-based CV application is assessed at three levels: (i) the development of a cloud-based TCPS architecture, (ii) the deployment of a cloud-based CV application using AWS, and (iii) the evaluation of the cloud-based CV application. We implemented this CV mobility application using a serverless cloud architecture and found that such a cloud-based TCPS environment could meet the permissible delay limits of CV mobility applications. Commercial cloud services, as an integral part of TCPS, could reduce costs associated with establishing and maintaining vast computing infrastructure for supporting CV applications. As the CV penetration levels on the surface transportation systems increase significantly over the next several years, scaling the backend infrastructure to support such applications is a critical issue. This study shows how commercial cloud services could automatically scale the backend infrastructure to meet the rapidly changing demands of real-world CV applications. Through real-world experiments, we demonstrate how commercial cloud services along with serverless cloud architecture could advance the transportation digital infrastructure for supporting connected mobility applications in a TCPS environment.


title: Evaluating for Diversity in Question Generation over Text

abstract: Generating diverse and relevant questions over text is a task with widespread applications. We argue that commonly-used evaluation metrics such as BLEU and METEOR are not suitable for this task due to the inherent diversity of reference questions, and propose a scheme for extending conventional metrics to reflect diversity. We furthermore propose a variational encoder-decoder model for this task. We show through automatic and human evaluation that our variational model improves diversity without loss of quality, and demonstrate how our evaluation scheme reflects this improvement.


title: A classical-logic view of a paraconsistent logic

abstract: This paper is concerned with the first-order paraconsistent logic LPQ$^{\supset,\mathsf{F}}$. A sequent-style natural deduction proof system for this logic is presented and, for this proof system, both a model-theoretic justification and a logical justification by means of an embedding into first-order classical logic is given. For no logic that is essentially the same as LPQ$^{\supset,\mathsf{F}}$, a natural deduction proof system is currently available in the literature. The given embedding provides both a classical-logic explanation of this logic and a logical justification of its proof system. The major properties of LPQ$^{\supset,\mathsf{F}}$ are also treated.