title: SaSeVAL: A Safety/Security-Aware Approach for Validation of Safety-Critical Systems

abstract: Increasing communication and self-driving capabilities for road vehicles lead to threats imposed by attackers. Especially attacks leading to safety violations have to be identified to address them by appropriate measures. The impact of an attack depends on the threat exploited, potential countermeasures and the traffic situation. In order to identify such attacks and to use them for testing, we propose the systematic approach SaSeVAL for deriving attacks of autonomous vehicles. SaSeVAL is based on threats identification and safety-security analysis. The impact of automotive use cases to attacks is considered. The threat identification considers the attack interface of vehicles and classifies threat scenarios according to threat types, which are then mapped to attack types. The safety-security analysis identifies the necessary requirements which have to be tested based on the architecture of the system under test. lt determines which safety impact a security violation may have, and in which traffic situations the highest impact is expected. Finally, the results of threat identification and safety-security analysis are used to describe attacks. The goal of SaSeVAL is to achieve safety validation of the vehicle w.r.t. security concerns. lt traces safety goals to threats and to attacks explicitly. Hence, the coverage of safety concerns by security testing is assured. Two use cases of vehicle communication and autonomous driving are investigated to prove the applicability of the approach.


title: TableSense: Spreadsheet Table Detection with Convolutional Neural Networks

abstract: Spreadsheet table detection is the task of detecting all tables on a given sheet and locating their respective ranges. Automatic table detection is a key enabling technique and an initial step in spreadsheet data intelligence. However, the detection task is challenged by the diversity of table structures and table layouts on the spreadsheet. Considering the analogy between a cell matrix as spreadsheet and a pixel matrix as image, and encouraged by the successful application of Convolutional Neural Networks (CNN) in computer vision, we have developed TableSense, a novel end-to-end framework for spreadsheet table detection. First, we devise an effective cell featurization scheme to better leverage the rich information in each cell; second, we develop an enhanced convolutional neural network model for table detection to meet the domain-specific requirement on precise table boundary detection; third, we propose an effective uncertainty metric to guide an active learning based smart sampling algorithm, which enables the efficient build-up of a training dataset with 22,176 tables on 10,220 sheets with broad coverage of diverse table structures and layouts. Our evaluation shows that TableSense is highly effective with 91.3\% recall and 86.5\% precision in EoB-2 metric, a significant improvement over both the current detection algorithm that are used in commodity spreadsheet tools and state-of-the-art convolutional neural networks in computer vision.


title: Semi-supervised multiple testing

abstract: An important limitation of standard multiple testing procedures is that the null distribution should be known. Here, we consider a null distribution-free approach for multiple testing in the following semi-supervised setting: the user does not know the null distribution, but has at hand a sample drawn from this null distribution. In practical situations, this null training sample (NTS) can come from previous experiments, from a part of the data under test, from specific simulations, or from a sampling process. In this work, we present theoretical results that handle such a framework, with a focus on the false discovery rate (FDR) control and the Benjamini-Hochberg (BH) procedure. First, we provide upper and lower bounds for the FDR of the BH procedure based on empirical $p$-values. These bounds match when $\alpha (n+1)/m$ is an integer, where $n$ is the NTS sample size and $m$ is the number of tests. Second, we give a power analysis for that procedure suggesting that the price to pay for ignoring the null distribution is low when $n$ is sufficiently large in front of $m$; namely $n\gtrsim m/(\max(1,k))$, where $k$ denotes the number of ``detectable'' alternatives. Third, to complete the picture, we also present a negative result that evidences an intrinsic transition phase to the general semi-supervised multiple testing problem {and shows that the empirical BH method is optimal in the sense that its performance boundary follows this transition phase}. Our theoretical properties are supported by numerical experiments, which also show that the delineated boundary is of correct order without further tuning any constant. Finally, we demonstrate that our work provides a theoretical ground for standard practice in astronomical data analysis, and in particular for the procedure proposed in \cite{Origin2020} for galaxy detection.


title: Introducing the Q-based interpretation of quantum theory

abstract: This article outlines a novel interpretation of quantum theory: the Q-based interpretation. The core idea underlying this interpretation, recently suggested for quantum field theories by Drummond and Reid [2020], is to interpret the phase space function Q -- a transform of the better known Wigner function -- as a proper probability distribution, roughly analogous to the probability distribution \rho in classical statistical mechanics. Here I motivate the Q-based interpretation, investigate whether it is empirically adequate, and outline some of its key conceptual features. I argue that the Q-based interpretation is attractive in that it promises having no measurement problem, is conceptually parsimonious and has the potential to apply elegantly to relativistic and field-theoretic contexts.


title: Data-based Design of Inferential Sensors for Petrochemical Industry

abstract: Inferential (or soft) sensors are used in industry to infer the values of imprecisely and rarely measured (or completely unmeasured) variables from variables measured online (e.g., pressures, temperatures). The main challenge, akin to classical model overfitting, in designing an effective inferential sensor is the selection of a correct structure of the sensor. The sensor structure is represented by the number of inputs to the sensor, which correspond to the variables measured online and their (simple) combinations. This work is focused on the design of inferential sensors for product composition of an industrial distillation column in two oil refinery units, a Fluid Catalytic Cracking unit and a Vacuum Gasoil Hydrogenation unit. As the first design step, we use several well-known data pre-treatment (gross error detection) methods and compare the ability of these approaches to indicate systematic errors and outliers in the available industrial data. We then study effectiveness of various methods for design of the inferential sensors taking into account the complexity and accuracy of the resulting model. The effectiveness analysis indicates that the improvements achieved over the current inferential sensors are up to 19 %.


title: Usage-based Summaries of Learning Videos

abstract: Much of the delivery of University education is now by synchronous or asynchronous video. For students, one of the challenges is managing the sheer volume of such video material as video presentations of taught material are difficult to abbreviate and summarise because they do not have highlights which stand out. Apart from video bookmarks there are no tools available to determine which parts of video content should be replayed at revision time or just before examinations. We have developed and deployed a digital library for managing video learning material which has many dozens of hours of short-form video content from a range of taught courses for hundreds of students at undergraduate level. Through a web browser we allow students to access and play these videos and we log their anonymised playback usage. From these logs we score to each segment of each video based on the amount of playback it receives from across all students, whether the segment has been re-wound and re-played in the same student session, whether the on-screen window is the window in focus on the student's desktop/laptop, and speed of playback. We also incorporate negative scoring if a video segment is skipped or fast-forward, and overarching all this we include a decay function based on recency of playback, so the most recent days of playback contribute more to the video segment scores. For each video in the library we present a usage-based graph which allows students to see which parts of each video attract the most playback from their peers, which helps them select material at revision time. Usage of the system is fully anonymised and GDPR-compliant.


title: Compactification of the Rigid Motions Group in Image Processing

abstract: Image processing problems in general, and in particular in the field of single-particle cryo-electron microscopy, often require considering images up to their rotations and translations. Such problems were tackled successfully when considering images up to rotations only, using quantities which are invariant to the action of rotations on images. Extending these methods to cases where translations are involved is more complicated. Here we present a computationally feasible and theoretically sound approximate invariant to the action of rotations and translations on images. It allows one to approximately reduce image processing problems to similar problems over the sphere, a compact domain acted on by the group of 3D rotations, a compact group. We show that this invariant is induced by a family of mappings deforming, and thereby compactifying, the group structure of rotations and translations of the plane, i.e., the group of rigid motions, into the group of 3D rotations. Furthermore, we demonstrate its viability in two image processing tasks: multi-reference alignment and classification. To our knowledge, this is the first instance of a quantity that is either exactly or approximately invariant to rotations and translations of images that both rests on a sound theoretical foundation and also applicable in practice.


title: Logicality and Model Classes

abstract: We ask, when is a property of a model a logical property? According to the so-called Tarski-Sher criterion this is the case when the property is preserved by isomorphisms. We relate this to model-theoretic characteristics of abstract logics in which the model class is definable. This results in a graded concept of logicality in the terminology of Sagi. We investigate which characteristics of logics, such as variants of the L\"owenheim-Skolem Theorem, Completeness Theorem, and absoluteness, are relevant from the logicality point of view, continuing earlier work by Bonnay, Feferman, and Sagi. We suggest that a logic is the more logical the closer it is to first order logic. We also offer a refinement of the result of McGee that logical properties of models can be expressed in $L_{\infty\infty}$ if the expression is allowed to depend on the cardinality of the model, based on replacing $L_{\infty\infty}$ by a ``tamer" logic.


title: Pilot Contamination Elimination for Channel Estimation with Complete Knowledge of Large-Scale Fading in Downlink Massive MIMO Systems

abstract: Massive multiple-input multiple-output is a very important technology for future fifth-generation systems. However, massive massive multiple input multiple output systems are still limited because of pilot contamination, impacting the data rate due to the non-orthogonality of pilot sequences transmitted by users in the same cell to the neighboring cells. We propose a channel estimation with complete knowledge of large-scale fading by using an orthogonal pilot reuse sequence to eliminate PC in edge users with poor channel quality based on the estimation of large-scale fading and performance analysis of maximum ratio transmission and zero forcing precoding methods. We derived the lower bounds on the achievable downlink DR and signal-to-interference noise ratio based on assigning PRS to a user grouping that mitigated this problem when the number of antenna elements approaches infinity The simulation results showed that a high DR can be achieved due to better channel estimation and reduced performance loss


title: MARS: A second-order reduction algorithm for high-dimensional sparse precision matrices estimation

abstract: Estimation of the precision matrix (or inverse covariance matrix) is of great importance in statistical data analysis and machine learning. However, as the number of parameters scales quadratically with the dimension $p$, computation becomes very challenging when $p$ is large. In this paper, we propose an adaptive sieving reduction algorithm to generate a solution path for the estimation of precision matrices under the $\ell_1$ penalized D-trace loss, with each subproblem being solved by a second-order algorithm. In each iteration of our algorithm, we are able to greatly reduce the number of variables in the {problem} based on the Karush-Kuhn-Tucker (KKT) conditions and the sparse structure of the estimated precision matrix in the previous iteration. As a result, our algorithm is capable of handling datasets with very high dimensions that may go beyond the capacity of the existing methods. Moreover, for the sub-problem in each iteration, other than solving the primal problem directly, we develop a semismooth Newton augmented Lagrangian algorithm with global linear convergence rate on the dual problem to improve the efficiency. Theoretical properties of our proposed algorithm have been established. In particular, we show that the convergence rate of our algorithm is asymptotically superlinear. The high efficiency and promising performance of our algorithm are illustrated via extensive simulation studies and real data applications, with comparison to several state-of-the-art solvers.


title: A 15-user quantum secure direct communication network

abstract: Quantum secure direct communication (QSDC) based on entanglement can directly transmit confidential information. However, the inability to simultaneously distinguish the four sets of encoded entangled states limits its practical application. Here, we explore a deterministic QSDC network based on time-energy entanglement and sum-frequency generation. 15 users are in a fully connected QSDC network, and the fidelity of the entangled state shared by any two users is greater than 97%. The results show that when any two users are performing QSDC over 40 kilometers of optical fiber, the fidelity of the entangled state shared by them is still greater than 95%, and the rate of information transmission can be maintained above 1Kbp/s. Our Letter demonstrates the feasibility of a proposed QSDC network, and hence lays the foundation for the realization of satellite-based long-distance and global QSDC in the future.


title: Hamiltonian flows for pseudo-Anosov mapping classes

abstract: For a given pseudo-Anosov homeomorphism $\varphi$ of a closed surface $S$, the action of $\varphi$ on the Teichm\"uller space $\mathcal T(S)$ preserves the Weil-Petersson symplectic form. We give explicit formulae for two invariant functions $\mathcal T(S)\to \mathbb R$ whose symplectic gradients generate autonomous Hamiltonian flows that coincide with the action of $\varphi$ at time one. We compute the Poisson bracket between these two functions. This amounts to computing the variation of length of a H\"older cocyle on one lamination along a shear vector field defined by another. For a measurably generic set of laminations, we prove that the variation of length is expressed as the cosine of the angle between the two laminations integrated against the product H\"older distribution, generalizing a result of Kerckhoff. We also obtain rates of convergence for the supports of germs of differentiable paths of measured laminations in the Hausdorff metric on a hyperbolic surface, which may be of independent interest.


title: Evaluation of Deep-Learning-Based Voice Activity Detectors and Room Impulse Response Models in Reverberant Environments

abstract: State-of-the-art deep-learning-based voice activity detectors (VADs) are often trained with anechoic data. However, real acoustic environments are generally reverberant, which causes the performance to significantly deteriorate. To mitigate this mismatch between training data and real data, we simulate an augmented training set that contains nearly five million utterances. This extension comprises of anechoic utterances and their reverberant modifications, generated by convolutions of the anechoic utterances with a variety of room impulse responses (RIRs). We consider five different models to generate RIRs, and five different VADs that are trained with the augmented training set. We test all trained systems in three different real reverberant environments. Experimental results show $20\%$ increase on average in accuracy, precision and recall for all detectors and response models, compared to anechoic training. Furthermore, one of the RIR models consistently yields better performance than the other models, for all the tested VADs. Additionally, one of the VADs consistently outperformed the other VADs in all experiments.


title: The L2L System for Second Language Learning Using Visualised Zoom Calls Among Students

abstract: An important part of second language learning is conversation which is best practised with speakers whose native language is the language being learned. We facilitate this by pairing students from different countries learning each others' native language. Mixed groups of students have Zoom calls, half in one language and half in the other, in order to practice and improve their conversation skills. We use Zoom video recordings with audio transcripts enabled which generates recognised speech from which we extract timestamped utterances and calculate and visualise conversation metrics on a dashboard. A timeline highlights each utterance, colour coded per student, with links to the video in a playback window. L2L was deployed for a semester and recorded almost 250 hours of zoom meetings. The conversation metrics visualised on the dashboard are a beneficial asset for both students and lecturers.


title: Littlestone Classes are Privately Online Learnable

abstract: We consider the problem of online classification under a privacy constraint. In this setting a learner observes sequentially a stream of labelled examples $(x_t, y_t)$, for $1 \leq t \leq T$, and returns at each iteration $t$ a hypothesis $h_t$ which is used to predict the label of each new example $x_t$. The learner's performance is measured by her regret against a known hypothesis class $\mathcal{H}$. We require that the algorithm satisfies the following privacy constraint: the sequence $h_1, \ldots, h_T$ of hypotheses output by the algorithm needs to be an $(\epsilon, \delta)$-differentially private function of the whole input sequence $(x_1, y_1), \ldots, (x_T, y_T)$. We provide the first non-trivial regret bound for the realizable setting. Specifically, we show that if the class $\mathcal{H}$ has constant Littlestone dimension then, given an oblivious sequence of labelled examples, there is a private learner that makes in expectation at most $O(\log T)$ mistakes -- comparable to the optimal mistake bound in the non-private case, up to a logarithmic factor. Moreover, for general values of the Littlestone dimension $d$, the same mistake bound holds but with a doubly-exponential in $d$ factor. A recent line of work has demonstrated a strong connection between classes that are online learnable and those that are differentially-private learnable. Our results strengthen this connection and show that an online learning algorithm can in fact be directly privatized (in the realizable setting). We also discuss an adaptive setting and provide a sublinear regret bound of $O(\sqrt{T})$.


title: Phoneme-aware and Channel-wise Attentive Learning for Text DependentSpeaker Verification

abstract: This paper proposes a multi-task learning network with phoneme-aware and channel-wise attentive learning strategies for text-dependent Speaker Verification (SV). In the proposed structure, the frame-level multi-task learning along with the segment-level adversarial learning is adopted for speaker embedding extraction. The phoneme-aware attentive pooling is exploited on frame-level features in the main network for speaker classifier, with the corresponding posterior probability for the phoneme distribution in the auxiliary subnet. Further, the introduction of Squeeze and Excitation (SE-block) performs dynamic channel-wise feature recalibration, which improves the representational ability. The proposed method exploits speaker idiosyncrasies associated with pass-phrases, and is further improved by the phoneme-aware attentive pooling and SE-block from temporal and channel-wise aspects, respectively. The experiments conducted on RSR2015 Part 1 database confirm that the proposed system achieves outstanding results for textdependent SV.


title: Ultralong temporal coherence in optically trapped exciton-polariton condensates

abstract: We investigate an optically trapped exciton-polariton condensate and observe temporal coherence beyond 1~ns duration. Due to the reduction of the spatial overlap with the thermal reservoir of excitons, the coherence time of the trapped condensate is more than an order of magnitude longer than that of an untrapped condensate. This ultralong coherence enables high precision spectroscopy of the trapped condensate, and we observe periodic beats of the field correlation function due to a fine energy splitting of two polarization modes of the condensate. Our results are important for realizing polariton simulators with spinor condensates in lattice potentials.


title: Multi-Domain Active Learning: Literature Review and Comparative Study

abstract: Multi-domain learning (MDL) refers to learning a set of models simultaneously, where each model is specialized to perform a task in a particular domain. Generally, a high labeling effort is required in MDL, as data needs to be labeled by human experts for every domain. Active learning (AL) can be utilized in MDL to reduce the labeling effort by only using the most informative data. The resultant paradigm is termed multi-domain active learning (MDAL). In this work, we provide an exhaustive literature review for MDAL on the relevant fields, including AL, cross-domain information sharing schemes, and cross-domain instance evaluation approaches. It is found that the few studies which have been directly conducted on MDAL cannot serve as off-the-shelf solutions on more general MDAL tasks. To fill this gap, we construct a pipeline of MDAL and present a comprehensive comparative study of thirty different algorithms, which are established by combining six representative MDL models and five commonly used AL strategies. We evaluate the algorithms on six datasets involving textual and visual classification tasks. In most cases, AL brings notable improvements to MDL, and the naive BvSB (best vs. second best) Uncertainty strategy can perform competitively with the state-of-the-art AL strategies. Besides, BvSB with the MAN (multinomial adversarial networks) model can consistently achieve top or above-average performance on all the datasets. Furthermore, we qualitatively analyze the behaviors of the well-performed strategies and models, shedding light on their superior performance in the comparison. Finally, we recommend using BvSB with the MAN model in the application of MDAL due to their good performance in the experiments.


title: Temporal Graph Signal Decomposition

abstract: Temporal graph signals are multivariate time series with individual components associated with nodes of a fixed graph structure. Data of this kind arises in many domains including activity of social network users, sensor network readings over time, and time course gene expression within the interaction network of a model organism. Traditional matrix decomposition methods applied to such data fall short of exploiting structural regularities encoded in the underlying graph and also in the temporal patterns of the signal. How can we take into account such structure to obtain a succinct and interpretable representation of temporal graph signals? We propose a general, dictionary-based framework for temporal graph signal decomposition (TGSD). The key idea is to learn a low-rank, joint encoding of the data via a combination of graph and time dictionaries. We propose a highly scalable decomposition algorithm for both complete and incomplete data, and demonstrate its advantage for matrix decomposition, imputation of missing values, temporal interpolation, clustering, period estimation, and rank estimation in synthetic and real-world data ranging from traffic patterns to social media activity. Our framework achieves 28% reduction in RMSE compared to baselines for temporal interpolation when as many as 75% of the observations are missing. It scales best among baselines taking under 20 seconds on 3.5 million data points and produces the most parsimonious models. To the best of our knowledge, TGSD is the first framework to jointly model graph signals by temporal and graph dictionaries.


title: A study of the double pendulum using polynomial optimization

abstract: In dynamical systems governed by differential equations, a guarantee that trajectories emanating from a given set of initial conditions do not enter another given set can be obtained by constructing a barrier function that satisfies certain inequalities on phase space. Often these inequalities amount to nonnegativity of polynomials and can be enforced using sum-of-squares conditions, in which case barrier functions can be constructed computationally using convex optimization over polynomials. To study how well such computations can characterize sets of initial conditions in a chaotic system, we use the undamped double pendulum as an example and ask which stationary initial positions do not lead to flipping of the pendulum within a chosen time window. Computations give semialgebraic sets that are close inner approximations to the fractal set of all such initial positions.


title: A growth model for water distribution networks with loops

abstract: Water distribution networks (WDNs) expand their service areas over time. These growth dynamics are poorly understood. One facet of WDNs is that they have loops in general, and closing loops may be a functionally important process for enhancing their robustness and efficiency. We propose a growth model for WDNs that generates networks with loops and is applicable to networks with multiple water sources. We apply the proposed model to four empirical WDNs to show that it produces networks whose structure is similar to that of the empirical WDNs. The comparison between the empirical and modelled WDNs suggests that the empirical WDNs may realize a reasonable balance between cost, efficiency and robustness in terms of the network structure. We also study the design of pipe diameters based on a biological positive feedback mechanism. Specifically, we apply a model inspired by Physarum polycephalum to find moderate positive correlations between the empirical and modelled pipe diameters. The difference between the empirical and modelled pipe diameters suggests that we may be able to improve the performance of WDNs by following organizing principles of biological flow networks.


title: Complexity of Deciding Syntactic Equivalence up to Renaming for Term Rewriting Systems (Extended Version)

abstract: Motivated by questions from program transformations, eight notions of isomorphisms between term rewriting systems are defined, analysed, and classified. The notions include global isomorphisms, where the renaming of variables and function symbols is the same for all term rewriting rules of the system, local ones, where a single renaming for every rule is used, and a combination, where one symbol set is renamed globally while the other set is renamed locally. Preservation of semantic properties like convertibility and termination is analysed for the different isomorphism notions. The notions of templates and maximal normal forms of term rewriting systems are introduced and algorithms to efficiently compute them are presented. Equipped with these techniques, the complexity of the underlying decision problems of the isomorphisms are analysed and either shown to be efficiently solvable or proved to be complete for the graph isomorphism complexity class.


title: Manually Annotated Spelling Error Corpus for Amharic

abstract: This paper presents a manually annotated spelling error corpus for Amharic, lingua franca in Ethiopia. The corpus is designed to be used for the evaluation of spelling error detection and correction. The misspellings are tagged as non-word and real-word errors. In addition, the contextual information available in the corpus makes it useful in dealing with both types of spelling errors.


title: Identifying outstanding transition-metal-alloy heterogeneous catalysts for the oxygen reduction and evolution reactions via subgroup discovery

abstract: In order to estimate the reactivity of a large number of potentially complex heterogeneous catalysts while searching for novel and more efficient materials, physical as well as data-centric models have been developed for a faster evaluation of adsorption energies compared to first-principles calculations. However, global models designed to describe as many materials as possible might overlook the very few compounds that have the appropriate adsorption properties to be suitable for a given catalytic process. Here, the subgroup-discovery (SGD) local artificial-intelligence approach is used to identify the key descriptive parameters and constrains on their values, the so-called SG rules, which particularly describe transition-metal surfaces with outstanding adsorption properties for the oxygen reduction and evolution reactions. We start from a data set of 95 oxygen adsorption energy values evaluated by density-functional-theory calculations for several monometallic surfaces along with 16 atomic, bulk and surface properties as candidate descriptive parameters. From this data set, SGD identifies constraints on the most relevant parameters describing materials and adsorption sites that (i) result in O adsorption energies within the Sabatier-optimal range required for the oxygen reduction reaction and (ii) present the largest deviations from the linear scaling relations between O and OH adsorption energies, which limit the performance in the oxygen evolution reaction. The SG rules not only reflect the local underlying physicochemical phenomena that result in the desired adsorption properties but also guide the challenging design of alloy catalysts.


title: Sensitive detection of metastable NO and \ce{N2} by reactive collisions with laser-excited Li

abstract: In a proof-of-principle experiment, we demonstrate that metastable nitric oxide molecules, NO(a$^4\Pi_i$), generated inside a pulsed, supersonic beam, can be detected by reactive gas-phase collisions with electronically excited Li atoms in the $2^2$P$_{3/2}$ state. Since the internal energy of NO(a$^4\Pi_i$, $v \leq 4$) is lower than the ionization potential of Li in the $2^2$S$_{1/2}$ electronic ground state, we observe that the product ion yield arising from autoionizing NO(a$^4\Pi_i$)+Li($2^2$S$_{1/2}$) collisions is a factor of 21 lower than the ion yield from NO(a$^4\Pi_i$)+Li($2^2$P$_{3/2}$) collisions. We also compare our findings with measurements of relative rates for collisions of metastable \ce{N2}+Li($2^2$S$_{1/2}$) and metastable \ce{N2}+Li($2^2$P$_{3/2}$) reactive collisions. Using this detection method, we infer densities of $\approx 600$ NO(a$^4\Pi_i$) molecules/cm$^3$ and $\approx 6 \cdot 10^{4}$ metastable \ce{N2} molecules/cm$^3$ in the interaction region. Our results also allow for an estimate of the fractional population of NO(a$^4\Pi_i$, $v \geq 5$) prior to the collision process. The production of NO(a$^4\Pi_i$) in selected vibrational states using laser excitation from the X$^2\Pi_r$ ground state will open possibilities for the detailed study of vibrational-state-selected NO(a$^4\Pi_i$)-Li($2^2$P$_{3/2}$) collisions.


title: Cost-efficient, QoS and Security aware Placement of Smart Farming IoT Applications in Cloud-Fog Infrastructure

abstract: Smart farming is a recent innovation in the agriculture sector that can improve the agricultural yield by using smarter, automated, and data driven farm processes that interact with IoT devices deployed on farms. A cloud-fog infrastructure provides an effective platform to execute IoT applications. While fog computing satisfies the real-time processing need of delay-sensitive IoT services by bringing virtualized services closer to the IoT devices, cloud computing allows execution of applications with higher computational requirements. The deployment of IoT applications is a critical challenge as cloud and fog nodes vary in terms of their resource availability and use different cost models. Moreover, diversity in resource, quality of service (QoS) and security requirements of IoT applications make the problem even more complex. In this paper, we model IoT application placement as an optimization problem that aims at minimizing the cost while satisfying the QoS and security constraints. The problem is formulated using Integer Linear Programming (ILP). The ILP model is evaluated for a small-scale scenario. The evaluation shows the impact of QoS and security requirement on the cost. We also study the impact of relaxing security constraint on the placement decision.


title: Bunch Expansion as a cause for Pulsar Radio Emissions

abstract: Electromagnetic waves due to electron-positron clouds (bunches), created by cascading processes in pulsar magnetospheres, have been proposed to explain the pulsar radio emission. In order to verify this hypothesis, we utilized for the first time Particle-in-Cell (PIC-) code simulations to study the nonlinear evolution of electron-positron bunches in dependence on the relative drift speeds of electrons and positrons, on the initial plasma temperature, and on the initial distance between the bunches. For this sake, we utilized the PIC-code ACRONYM with a high-order field solver and particle weighting factor, appropriate to describe relativistic pair plasmas. We found that the bunch expansion is mainly determined by the relative electron-positron drift speed. Finite drift speeds were found to cause the generation of strong electric fields that reach up to $E \sim 7.5 \times 10^{5}$ V/cm ($E / (m_\mathrm{e} c \omega_\mathrm{p} e^{-1}) \sim 4.4$) and strong plasma heating. As a result, up to 15~\% of the initial kinetic energy is transformed into the electric field energy. Assuming the same electron- and positron-distributions we found that the fastest (in the bunch reference frame) particles of consecutively emitted bunches eventually overlap in the momentum (velocity) space. This overlap causes two-stream instabilities that generate (electrostatic) subluminal L-mode waves with electric field amplitudes reaching up to $E \sim 1.9\times 10^{4}$ V/cm ($E / (m_\mathrm{e} c \omega_\mathrm{p} e^{-1}) \sim 0.11$). We found that the interaction of electron-position bunches leads to plasma heating, to the generation of strong electric fields and of intense superluminal L-mode waves which, in principle, can be behind the observed electromagnetic emissions of pulsars in the radio wave range.


title: Enhanced photogalvanic effect in the two-dimensional MgCl$_2$/ZnBr$_2$ vertical heterojunction by inhomogenous tensile stress

abstract: The photogalvanic effect (PGE) occurring in noncentrosymmetric materials enables the generation of a dc photocurrent at zero bias with a high polarization sensitivity, which makes it very attractive in photodetection. However, the magnitude of the PGE photocurrent is usually small, leading to a low photoresponsivity, and therefore hampers its practical application in photodetection. Here, we propose an approach to largely enhancing the PGE photocurrent by applying an inhomogenous mechanical stretch, based on quantum transport simulations. We model a two-dimensional photodetector consisting of the wide-bandgap MgCl$_2$/ZnBr$_2$ vertical van der Waals heterojunction with the noncentrosymmetric $C_{3v}$ symmetry. Polarization-sensitive PGE photocurrent is generated under the vertical illumination of linearly polarized light. By applying inhomogenous mechanical stretch on the lattice, the photocurrent can be largely increased by up to 3 orders of magnitude due to the significantly increased device asymmetry. Our results propose an effective way to enhance the PGE by inhomogenous mechanical strain, showing the potential of the MgCl$_2$/ZnBr$_2$ vertical heterojunction in the low-power UV photodetection.


title: Alternating active-dormitive strategy enables overtaking by disadvantaged prey through Parrondo's paradox

abstract: Dormancy is a costly adaptive strategy that is widespread among living organisms inhabiting diverse environments. We explore mathematical models of predator-prey systems, in order to assess the impact of prey dormancy on the competition between two types of prey, a perennially active (PA) and capable of entering dormancy (dormitive). Both the active form and the dormant form of the dormitive prey are individually at a disadvantage compared to the PA prey and would go extinct due to their low growth rate, energy waste on the production of dormant prey, and inability of the latter to grow autonomously. However, the dormitive prey can paradoxically outcompete the PA prey with superior traits and even cause its extinction by alternating between the two losing strategies. This outcome recapitulates the game-theoretic Parrondo's paradox, where two losing strategies combine to achieve a winning outcome. We observed higher fitness of the dormitive prey in rich environments because a large predator population in a rich environment cannot be supported by the prey without adopting an evasive strategy, that is, dormancy. In such environments, populations experience large-scale fluctuations, which can be survived by dormitive but not by PA prey. Dormancy of the prey appears to be a natural evolutionary response to self-destructive over-predation that stabilizes evolving predator-prey systems through Parrondo's paradox.


title: Interactive query expansion for professional search applications

abstract: Knowledge workers (such as healthcare information professionals, patent agents and recruitment professionals) undertake work tasks where search forms a core part of their duties. In these instances, the search task is often complex and time-consuming and requires specialist expert knowledge to formulate accurate search strategies. Interactive features such as query expansion can play a key role in supporting these tasks. However, generating query suggestions within a professional search context requires that consideration be given to the specialist, structured nature of the search strategies they employ. In this paper, we investigate a variety of query expansion methods applied to a collection of Boolean search strategies used in a variety of real-world professional search tasks. The results demonstrate the utility of context-free distributional language models and the value of using linguistic cues such as ngram order to optimise the balance between precision and recall.


title: Navigating A Mobile Robot Using Switching Distributed Sensor Networks

abstract: This paper proposes a method to navigate a mobile robot by estimating its state over a number of distributed sensor networks (DSNs) such that it can successively accomplish a sequence of tasks, i.e., its state enters each targeted set and stays inside no less than the desired time, under a resource-aware, time-efficient, and computation- and communication-constrained setting.We propose a new robot state estimation and navigation architecture, which integrates an event-triggered task-switching feedback controller for the robot and a two-time-scale distributed state estimator for each sensor. The architecture has three major advantages over existing approaches: First, in each task only one DSN is active for sensing and estimating the robot state, and for different tasks the robot can switch the active DSN by taking resource saving and system performance into account; Second, the robot only needs to communicate with one active sensor at each time to obtain its state information from the active DSN; Third, no online optimization is required. With the controller, the robot is able to accomplish a task by following a reference trajectory and switch to the next task when an event-triggered condition is fulfilled. With the estimator, each active sensor is able to estimate the robot state. Under proper conditions, we prove that the state estimation error and the trajectory tracking deviation are upper bounded by two time-varying sequences respectively, which play an essential role in the event-triggered condition. Furthermore, we find a sufficient condition for accomplishing a task and provide an upper bound of running time for the task. Numerical simulations of an indoor robot's localization and navigation are provided to validate the proposed architecture.


title: A geometrical model to describe the alpha dose rates from particulates of UO$_2$ in water

abstract: A model investigating the role of geometry on the alpha dose rate of spent nuclear fuel has been developed. This novel approach utilises a new piecewise function to describe the probability of alpha escape as a function of particulate radius, decay range within the material, and position from the surface. The alpha dose rates were produced for particulates of radii 1 $\mu$m to 10 mm, showing considerable changes in the 1 $\mu$m to 50 $\mu$m range. Results indicate that for decreasing particulate sizes, approaching radii equal to or less than the range of the $\alpha$-particle within the fuel, there is a significant increase in the rate of energy emitted per unit mass of fuel material. The influence of geometry is more significant for smaller radii, showing clear differences in dose rate curves below 50 $\mu$m. These considerations are essential for any future accurate prediction of the dissolution rates and hydrogen gas release, driven by the radiolytic yields of particulate spent nuclear fuel.


title: Deep Residual Echo Suppression with A Tunable Tradeoff Between Signal Distortion and Echo Suppression

abstract: In this paper, we propose a residual echo suppression method using a UNet neural network that directly maps the outputs of a linear acoustic echo canceler to the desired signal in the spectral domain. This system embeds a design parameter that allows a tunable tradeoff between the desired-signal distortion and residual echo suppression in double-talk scenarios. The system employs 136 thousand parameters, and requires 1.6 Giga floating-point operations per second and 10 Mega-bytes of memory. The implementation satisfies both the timing requirements of the AEC challenge and the computational and memory limitations of on-device applications. Experiments are conducted with 161~h of data from the AEC challenge database and from real independent recordings. We demonstrate the performance of the proposed system in real-life conditions and compare it with two competing methods regarding echo suppression and desired-signal distortion, generalization to various environments, and robustness to high echo levels.


title: 139 GHz UV phase-locked Raman laser system for thermometry and sideband cooling of $^9$Be$^+$ ions in a Penning trap

abstract: We demonstrate phase locking of two ultraviolet laser sources by modulating a fundamental infrared laser with 4th-order sidebands using an electro-optic modulator and phase locking of one sideband to a second fundamental infrared laser. Subsequent sum frequency generation and second harmonic generation successfully translates the frequency offset to the ultraviolet domain. The phase lock at 139 GHz is confirmed through stimulated Raman transitions for thermometry of $^9$Be$^+$ ions confined in a cryogenic Penning trap. This technique might be used for sideband cooling of single $^9$Be$^+$ ions as well as sympathetic cooling schemes and quantum logic based measurements in Penning traps in the future.


title: Parisian ruin probability for two-dimensional Brownian risk model

abstract: Let $(W_1(s), W_2(t)), s,t\ge 0$ be a bivariate Brownian motion with standard Brownian motion marginals and constant correlation $\rho \in (-1,1).$ Parisian ruin is defined as a classical ruin that happens over an extended period of time, the so-called time-in-red. We derive exact asymptotics for the non-simultaneous Parisian ruin of the company conditioned on the event of non-simultaneous ruin happening. We are interested in finding asymptotics of such problem as $u \to \infty$ and with the length of time-in-red being of order $\frac{1}{u^2},$ where $u$ represents initial capital for the companies. Approximation of this problem is of interest for the analysis of Parisian ruin probability in bivariate Brownian risk model, which is a standard way of defining prolonged ruin models in the financial markets.


title: Goldstone Boson Scattering with a Light Composite Scalar

abstract: The appearance of a light composite $0^+$ scalar resonance in nearly conformal gauge-fermion theories motivates further study of the low energy structure of these theories. To this end, we present a nonperturbative lattice calculation of s-wave scattering of Goldstone bosons in the maximal-isospin channel in SU(3) gauge theory with $N_f=8$ light, degenerate flavors. The scattering phase shift is measured both for different values of the underlying fermion mass and for different values of the scattering momentum. We examine the effect of a light flavor-singlet scalar (reported in earlier studies) on Goldstone boson scattering, employing a dilaton effective field theory (EFT) at the tree level. The EFT gives a good description of the scattering data, insofar as the magnitude of deviations between EFT and lattice data are no larger than the expected size of next-to-leading order corrections in the EFT.


title: Nonparametric monitoring of sunspot number observations: a case study

abstract: Solar activity is an important driver of long-term climate trends and must be accounted for in climate models. Unfortunately, direct measurements of this quantity over long periods do not exist. The only observation related to solar activity whose records reach back to the seventeenth century are sunspots. Surprisingly, determining the number of sunspots consistently over time has remained until today a challenging statistical problem. It arises from the need of consolidating data from multiple observing stations around the world in a context of low signal-to-noise ratios, non-stationarity, missing data, non-standard distributions and many kinds of errors. The data from some stations experience therefore severe and various deviations over time. In this paper, we propose the first systematic and thorough statistical approach for monitoring these complex and important series. It consists of three steps essential for successful treatment of the data: smoothing on multiple timescales, monitoring using block bootstrap calibrated CUSUM charts and classifying of out-of-control situations by support vector techniques. This approach allows us to detect a wide range of anomalies (such as sudden jumps or more progressive drifts), unseen in previous analyses. It helps us to identify the causes of major deviations, which are often observer or equipment related. Their detection and identification will contribute to improve future observations. Their elimination or correction in past data will lead to a more precise reconstruction of the world reference index for solar activity: the International Sunspot Number.


title: Study of the Decay $D^{+}_{s}\rightarrow \pi^{+}\pi^{+}\pi^{-}\eta$ and Observation of the W-annihilation Decay $D^{+}_{s}\rightarrow a_0(980)^+\rho^0$

abstract: The decay $D^{+}_{s}\rightarrow \pi^{+}\pi^{+}\pi^{-}\eta$ is observed for the first time, using $e^+e^-$ collision data corresponding to an integrated luminosity of 6.32 fb$^{-1}$, collected by the BESIII detector at center-of-mass energies between 4.178 and 4.226 GeV. The absolute branching fraction for this decay is measured to be $\mathcal{B}(D^+_s \to \pi^+ \pi^+ \pi^- \eta) = (3.12\pm0.13_{\rm stat.}\pm0.09_{\rm syst.})$%. The first amplitude analysis of this decay reveals the sub-structures in $D^{+}_{s}\rightarrow \pi^{+}\pi^{+}\pi^{-}\eta$ and determines the relative fractions and the phases among these sub-structures. The dominant intermediate process is $D^{+}_{s}\rightarrow a_1(1260)^+ \eta, a_1(1260)^+ \rightarrow \rho(770)^0\pi^+$ with a branching fraction of $(1.73 \pm 0.14_{\rm stat.} \pm 0.08_{\rm syst.})$%. We also observe the W-annihilation process $D^{+}_{s}\rightarrow a_0(980)^+\rho(770)^0$, $a_0(980)^+ \to \pi^+ \eta$ with a branching fraction of $(0.21\pm0.08_{\rm stat.}\pm0.05_{\rm syst.})$%, which is larger than the branching fractions of other measured pure W-annihilation decays by one order of magnitude.


title: Heat Waves -- a hot topic in climate change research

abstract: Research on heat waves (periods of excessively hot weather, which may be accompanied by high humidity) is a newly emerging research topic within the field of climate change research with high relevance for the whole of society. In this study, we analyzed the rapidly growing scientific literature dealing with heat waves. No summarizing overview has been published on this literature hitherto. We developed a suitable search query to retrieve the relevant literature covered by the Web of Science (WoS) as complete as possible and to exclude irrelevant literature (n = 8,011 papers). The time-evolution of the publications shows that research dealing with heat waves is a highly dynamic research topic, doubling within about 5 years. An analysis of the thematic content reveals the most severe heat wave events within the recent decades (1995 and 2003), the cities and countries/regions affected (United States, Europe, and Australia), and the ecological and medical impacts (drought, urban heat islands, excess hospital admissions, and mortality). Risk estimation and future strategies for adaptation to hot weather are major political issues. We identified 104 citation classics which include fundamental early works of research on heat waves and more recent works (which are characterized by a relatively strong connection to climate change).


title: Beam Alignment in mmWave User-Centric Cell-Free Massive MIMO Systems

abstract: The problem of beam alignment (BA) in a cell-free massive multiple-input multiple-output (CF-mMIMO) system operating at millimeter wave (mmWaves) carrier frequencies is considered in this paper. Two estimation algorithms are proposed, in association with a protocol that permits simultaneous estimation, on a shared set of frequencies, for each user equipment (UE), of the direction of arrival and departure of the radio waves associated to the strongest propagation paths from each of the surrounding access points (APs), so that UE-AP association can take place. The proposed procedure relies on the existence of a reliable control channel at sub-6 GHz frequency, so as to enable exchange of estimated values between the UEs and the network, and assumes that APs can be identifies based on the prior knowledge of the orthogonal channels and transmit beamforming codebook. A strategy for assigning codebook entries to the several APs is also proposed, with the aim of minimizing the mutual interference between APs that are assigned the same entry. Numerical results show the effectiveness of the proposed detection strategy, thus enabling one shot fast BA for CF-mMIMO systems.


title: Dealing with Expert Bias in Collective Decision-Making

abstract: Quite some real-world problems can be formulated as decision-making problems wherein one must repeatedly make an appropriate choice from a set of alternatives. Multiple expert judgements, whether human or artificial, can help in taking correct decisions, especially when exploration of alternative solutions is costly. As expert opinions might deviate, the problem of finding the right alternative can be approached as a collective decision making problem (CDM) via aggregation of independent judgements. Current state-of-the-art approaches focus on efficiently finding the optimal expert, and thus perform poorly if all experts are not qualified or if they are overly biased, thereby potentially derailing the decision-making process. In this paper, we propose a new algorithmic approach based on contextual multi-armed bandit problems (CMAB) to identify and counteract such biased expertise. We explore homogeneous, heterogeneous and polarised expert groups and show that this approach is able to effectively exploit the collective expertise, outperforming state-of-the-art methods, especially when the quality of the provided expertise degrades. Our novel CMAB-inspired approach achieves a higher final performance and does so while converging more rapidly than previous adaptive algorithms.


title: Optimal Accelerated Degradation Testing Based on Bivariate Gamma Process with Dependent Components

abstract: Accelerated degradation testing (ADT) is one of the major approaches in reliability engineering which allows accurate estimation of reliability characteristics of highly reliable systems within a relatively short time. The testing data are extrapolated through a physically reasonable statistical model to obtain estimates of lifetime quantiles at normal use conditions. The Gamma process is a natural model for degradation, which exhibits a monotone and strictly increasing degradation path. In this work, optimal experimental designs are derived for ADT with two response components. We consider the situations of independent as well as dependent marginal responses where the observational times are assumed to be fixed and known. The marginal degradation paths are assumed to follow a Gamma process where a copula function is utilized to express the dependence between both components. For the case of independent response components the optimal design minimizes the asymptotic variance of an estimated quantile of the failure time distribution at the normal use conditions. For the case of dependent response components the $D$-criterion is adopted to derive $D$-optimal designs. Further, $D$- and $c$-optimal designs are developed when the copula-based models are reduced to bivariate binary outcomes.


title: A nonlinear hidden layer enables actor-critic agents to learn multiple paired association navigation

abstract: Navigation to multiple cued reward locations has been increasingly used to study rodent learning. Though deep reinforcement learning agents have been shown to be able to learn the task, they are not biologically plausible. Biologically plausible classic actor-critic agents have been shown to learn to navigate to single reward locations, but which biologically plausible agents are able to learn multiple cue-reward location tasks has remained unclear. In this computational study, we show versions of classic agents that learn to navigate to a single reward location, and adapt to reward location displacement, but are not able to learn multiple paired association navigation. The limitation is overcome by an agent in which place cell and cue information are first processed by a feedforward nonlinear hidden layer with synapses to the actor and critic subject to temporal difference error-modulated plasticity. Faster learning is obtained when the feedforward layer is replaced by a recurrent reservoir network.


title: Tensor-based framework for training flexible neural networks

abstract: Activation functions (AFs) are an important part of the design of neural networks (NNs), and their choice plays a predominant role in the performance of a NN. In this work, we are particularly interested in the estimation of flexible activation functions using tensor-based solutions, where the AFs are expressed as a weighted sum of predefined basis functions. To do so, we propose a new learning algorithm which solves a constrained coupled matrix-tensor factorization (CMTF) problem. This technique fuses the first and zeroth order information of the NN, where the first-order information is contained in a Jacobian tensor, following a constrained canonical polyadic decomposition (CPD). The proposed algorithm can handle different decomposition bases. The goal of this method is to compress large pretrained NN models, by replacing subnetworks, {\em i.e.,} one or multiple layers of the original network, by a new flexible layer. The approach is applied to a pretrained convolutional neural network (CNN) used for character classification.


title: A Variance-aware Multiobjective Louvain-like Method for Community Detection in Multiplex Networks

abstract: In this paper, we focus on the community detection problem in multiplex networks, i.e., networks with multiple layers having same node sets and no inter-layer connections. In particular, we look for groups of nodes that can be recognized as communities consistently across the layers. To this end, we propose a new approach that generalizes the Louvain method by (a) simultaneously updating average and variance of the modularity scores across the layers, and (b) reformulating the greedy search procedure in terms of a filter-based multiobjective optimization scheme. Unlike many previous modularity maximization strategies, which rely on some form of aggregation of the various layers, our multiobjective approach aims at maximizing the individual modularities on each layer simultaneously. We report experiments on synthetic and real-world networks, showing the effectiveness and the robustness of the proposed strategies both in the informative case, where all layers show the same community structure, and in the noisy case, where some layers represent only noise.


title: Improving Human Decisions by Adjusting the Alerting Thresholds for Computer Alerting Tools According to User and Task Characteristics

abstract: Objective: To investigate whether performance (number of correct decisions) of humans supported by a computer alerting tool can be improved by tailoring the tool's alerting threshold (sensitivity/specificity combination) according to user ability and task difficulty. Background: Many researchers implicitly assume that for each tool there exists a single ideal threshold. But research shows the effects of alerting tools on decision errors to vary depending on variables such as user ability and task difficulty. These findings motivated our investigation. Method: Forty-seven participants edited text passages, aided by a simulated spell-checker tool. We experimentally manipulated passage difficulty and tool alerting threshold, measured participants' editing and dictation ability, and counted participants' decision errors (false positives + false negatives). We investigated whether alerting threshold, user ability, task difficulty and their interactions affected error count. Results: Which alerting threshold better helped a user depended on an interaction between user ability and passage difficulty. Some effects were large: for higher ability users, a more sensitive threshold reduced errors by 30%, on the easier passages. Participants were not significantly more likely to prefer the alerting threshold with which they performed better. Conclusion: Adjusting alerting thresholds for individual users' ability and task difficulty could substantially improve effects of automated alerts on user decisions. This potential deserves further investigation. Improvement size and rules for adjustment will be application-specific. Application: Computer alerting tools have critical roles in many domains. Designers should assess potential benefits of adjustable alerting thresholds for their specific CAT application. Guidance for choosing thresholds will be essential for realizing these benefits in practice.


title: An Error-Based Approximation Sensing Circuit for Event-Triggered, Low Power Wearable Sensors

abstract: Event-based sensors have the potential to optimize energy consumption at every stage in the signal processing pipeline, including data acquisition, transmission, processing and storage. However, almost all state-of-the-art systems are still built upon the classical Nyquist-based periodic signal acquisition. In this work, we design and validate the Polygonal Approximation Sampler (PAS), a novel circuit to implement a general-purpose event-based sampler using a polygonal approximation algorithm as the underlying sampling trigger. The circuit can be dynamically reconfigured to produce a coarse or a detailed reconstruction of the analog input, by adjusting the error threshold of the approximation. The proposed circuit is designed at the Register Transfer Level and processes each input sample received from the ADC in a single clock cycle. The PAS has been tested with three different types of archetypal signals captured by wearable devices (electrocardiogram, accelerometer and respiration data) and compared with a standard periodic ADC. These tests show that single-channel signals, with slow variations and constant segments (like the used single-lead ECG and the respiration signals) take great advantage from the used sampling technique, reducing the amount of data used up to 99% without significant performance degradation. At the same time, multi-channel signals (like the six-dimensional accelerometer signal) can still benefit from the designed circuit, achieving a reduction factor up to 80% with minor performance degradation. These results open the door to new types of wearable sensors with reduced size and higher battery lifetime.


title: Applications of large deviation theory in geophysical fluid dynamics and climate science

abstract: The climate system is a complex, chaotic system with many degrees of freedom and variability on a vast range of temporal and spatial scales. Attaining a deeper level of understanding of its dynamical processes is a scientific challenge of great urgency, especially given the ongoing climate change and the evolving climate crisis. In statistical physics, complex, many-particle systems are studied successfully using the mathematical framework of Large Deviation Theory (LDT). A great potential exists for applying LDT to problems relevant for geophysical fluid dynamics and climate science. In particular, LDT allows for understanding the fundamental properties of persistent deviations of climatic fields from the long-term averages and for associating them to low-frequency, large scale patterns of climatic variability. Additionally, LDT can be used in conjunction with so-called rare events algorithms to explore rarely visited regions of the phase space and thus to study special dynamical configurations of the climate. These applications are of key importance to improve our understanding of high-impact weather and climate events. Furthermore, LDT provides powerful tools for evaluating the probability of noise-induced transitions between competing metastable states of the climate system or of its components. This in turn essential for improving our understanding of the global stability properties of the climate system and of its predictability of the second kind in the sense of Lorenz. The goal of this review is manifold. First, we want to provide an introduction to the derivation of large deviation laws in the context of stochastic processes. We then relate such results to the existing literature showing the current status of applications of LDT in climate science and geophysical fluid dynamics. Finally, we propose some possible lines of future investigations.

categories: cond-mat.stat-mech physics.ao-ph physics.comp-ph physics.data-an physics.flu-dyn


title: Rediscovery of $B^0\to J\mskip 1mu / \psi\mskip 2mu K^0_{\scriptscriptstyle L}$ at Belle II

abstract: We present preliminary results on the reconstruction of the $B^0\to J\mskip 1mu / \psi\mskip 2mu K^0_{\scriptscriptstyle L}$ decay, where $J\mskip 1mu / \psi\mskip 2mu\to\mu^+\mu^-$ or $e^+e^-$. Using a dataset corresponding to a luminosity of $62.8\pm0.6\mbox{fb}^{-1}$ collected by the Belle II experiment at the SuperKEKB asymmetric energy $e^+e^-$ collider, we measure a total of $267\pm21$ candidates with $J\mskip 1mu / \psi\mskip 2mu\to\mu^+\mu^-$ and $226\pm20$ with with $J\mskip 1mu / \psi\mskip 2mu\to e^+e^-$. The quoted errors are statistical only.


title: Quasinormal modes and the correspondence with shadow in a charged black hole in presence of quintessence

abstract: In this paper, we investigate the photon sphere, shadow radius and quasinormal modes of a charged black hole in presence of quintessence. The result shows that the shadow radius decreases with the increase of the electric charge. The quasinormal modes are derived by the sixth WKB approximation method and shadow radius, respectively. For the fixed electric charge and multipole number, the values of the real and imaginary parts of the quasinormal modes decrease with the increase of the quintessence charge. When the value of the multipole number is large, the quasinormal modes derived by the two methods are consistent, which shows the correspondence between the quasinormal modes in the eikonal limit and shadow. When the value of the multipole number is small, the quasinormal modes obtained by the two methods are also in good agreement.


title: Connecting Sphere Manifolds Hierarchically for Regularization

abstract: This paper considers classification problems with hierarchically organized classes. We force the classifier (hyperplane) of each class to belong to a sphere manifold, whose center is the classifier of its super-class. Then, individual sphere manifolds are connected based on their hierarchical relations. Our technique replaces the last layer of a neural network by combining a spherical fully-connected layer with a hierarchical layer. This regularization is shown to improve the performance of widely used deep neural network architectures (ResNet and DenseNet) on publicly available datasets (CIFAR100, CUB200, Stanford dogs, Stanford cars, and Tiny-ImageNet).


title: Asymptotic bit frequency in Fibonacci words

abstract: It is known that binary words containing no $k$ consecutive 1s are enumerated by $k$-step Fibonacci numbers. In this note we discuss the expected value of a random bit in a random word of length $n$ having this property.


title: Circumpapillary OCT-Focused Hybrid Learning for Glaucoma Grading Using Tailored Prototypical Neural Networks

abstract: Glaucoma is one of the leading causes of blindness worldwide and Optical Coherence Tomography (OCT) is the quintessential imaging technique for its detection. Unlike most of the state-of-the-art studies focused on glaucoma detection, in this paper, we propose, for the first time, a novel framework for glaucoma grading using raw circumpapillary B-scans. In particular, we set out a new OCT-based hybrid network which combines hand-driven and deep learning algorithms. An OCT-specific descriptor is proposed to extract hand-crafted features related to the retinal nerve fibre layer (RNFL). In parallel, an innovative CNN is developed using skip-connections to include tailored residual and attention modules to refine the automatic features of the latent space. The proposed architecture is used as a backbone to conduct a novel few-shot learning based on static and dynamic prototypical networks. The k-shot paradigm is redefined giving rise to a supervised end-to-end system which provides substantial improvements discriminating between healthy, early and advanced glaucoma samples. The training and evaluation processes of the dynamic prototypical network are addressed from two fused databases acquired via Heidelberg Spectralis system. Validation and testing results reach a categorical accuracy of 0.9459 and 0.8788 for glaucoma grading, respectively. Besides, the high performance reported by the proposed model for glaucoma detection deserves a special mention. The findings from the class activation maps are directly in line with the clinicians' opinion since the heatmaps pointed out the RNFL as the most relevant structure for glaucoma diagnosis.


title: Graph Pattern Loss based Diversified Attention Network for Cross-Modal Retrieval

abstract: Cross-modal retrieval aims to enable flexible retrieval experience by combining multimedia data such as image, video, text, and audio. One core of unsupervised approaches is to dig the correlations among different object representations to complete satisfied retrieval performance without requiring expensive labels. In this paper, we propose a Graph Pattern Loss based Diversified Attention Network(GPLDAN) for unsupervised cross-modal retrieval to deeply analyze correlations among representations. First, we propose a diversified attention feature projector by considering the interaction between different representations to generate multiple representations of an instance. Then, we design a novel graph pattern loss to explore the correlations among different representations, in this graph all possible distances between different representations are considered. In addition, a modality classifier is added to explicitly declare the corresponding modalities of features before fusion and guide the network to enhance discrimination ability. We test GPLDAN on four public datasets. Compared with the state-of-the-art cross-modal retrieval methods, the experimental results demonstrate the performance and competitiveness of GPLDAN.


title: Exploring the Representation of Word Meanings in Context: A Case Study on Homonymy and Synonymy

abstract: This paper presents a multilingual study of word meaning representations in context. We assess the ability of both static and contextualized models to adequately represent different lexical-semantic relations, such as homonymy and synonymy. To do so, we created a new multilingual dataset that allows us to perform a controlled evaluation of several factors such as the impact of the surrounding context or the overlap between words, conveying the same or different senses. A systematic assessment on four scenarios shows that the best monolingual models based on Transformers can adequately disambiguate homonyms in context. However, as they rely heavily on context, these models fail at representing words with different senses when occurring in similar sentences. Experiments are performed in Galician, Portuguese, English, and Spanish, and both the dataset (with more than 3,000 evaluation items) and new models are freely released with this study.


title: Lipschitz retractions and complementation properties of Banach spaces

abstract: In the present paper we introduce and study the Lipschitz retractional structure of metric spaces. This topic was motivated by the analogous projectional structure of Banach spaces, a topic that has been thoroughly investigated. The more general metric setting fits well with the currently active theory of Lipschitz free spaces and spaces of Lipschitz functions. Among our applications we show that the Lipschitz free space $\mathcal{F}(X)$ is a Plichko space whenever $X$ is a Plichko Banach space. Our main results include two examples of metric spaces. The first one $M$ contains two points $\{0,1\}$ such that no separable subset of $M$ containing these points is a Lipschitz retract of $M$. The second example fails the analogous property for arbitrary infinite density. Finally, we introduce the metric version of the concept of locally complemented Banach subspace, and prove some metric analogues to the linear theory.


title: Effects of current limit for grid forming converters on transient stability: analysis and solution

abstract: Grid forming control applied to power converters that interface storage or renewable generation to the power grid, has been identified as a potential solution to facilitate a substantial share of converter-based renewable generation in the power system. Analyzing the response of grid forming converters (GFC) for large frequency, phase, and voltage events, particularly when the GFC enters the current limit operation, is very important for system stability, but studies on this have been limited. This paper presents a quantitative and illustrative analysis of the impact of the current limit in GFC on the transient stability of a system comprising of GFC. Furthermore, a solution based on virtual active power is proposed to improve the transient stability margin of the GFC when the GFC enters the current limit. Finally, the analysis and the proposed method to enhance the transient stability are verified by Power hardware in the loop (PHIL) experimental tests.


title: SRPN: similarity-based region proposal networks for nuclei and cells detection in histology images

abstract: The detection of nuclei and cells in histology images is of great value in both clinical practice and pathological studies. However, multiple reasons such as morphological variations of nuclei or cells make it a challenging task where conventional object detection methods cannot obtain satisfactory performance in many cases. A detection task consists of two sub-tasks, classification and localization. Under the condition of dense object detection, classification is a key to boost the detection performance. Considering this, we propose similarity based region proposal networks (SRPN) for nuclei and cells detection in histology images. In particular, a customized convolution layer termed as embedding layer is designed for network building. The embedding layer is added into the region proposal networks, enabling the networks to learn discriminative features based on similarity learning. Features obtained by similarity learning can significantly boost the classification performance compared to conventional methods. SRPN can be easily integrated into standard convolutional neural networks architectures such as the Faster R-CNN and RetinaNet. We test the proposed approach on tasks of multi-organ nuclei detection and signet ring cells detection in histological images. Experimental results show that networks applying similarity learning achieved superior performance on both tasks when compared to their counterparts. In particular, the proposed SRPN achieve state-of-the-art performance on the MoNuSeg benchmark for nuclei segmentation and detection while compared to previous methods, and on the signet ring cell detection benchmark when compared with baselines. The sourcecode is publicly available at: https://github.com/sigma10010/nuclei_cells_det.


title: Non-adiabatic dynamics in Rydberg gases with random atom positions

abstract: Assemblies of highly excited Rydberg atoms in an ultracold gas can be set into motion by a combination of van-der-Waals and resonant dipole-dipole interactions. Thereby, the collective electronic Rydberg state might change due to non-adiabatic transitions, in particular if the configuration encounters a conical interaction. For the experimentally most accessible scenario, in which the Rydberg atoms are initially randomly excited in a three-dimensional bulk gas under blockade conditions, we numerically show that non-adiabatic transitions can be common when starting from the most energetic repulsive BO-surface. We outline how this state can be selectively excited using a microwave resonance, and demonstrate a regime where almost all collisional ionization of Rydberg atoms can be traced back to a prior non-adiabatic transition. Since Rydberg ionisation is relatively straightforward to detect, the excitation and measurement scheme considered here renders non-adiabatic effects in Rydberg motion easier to demonstrate experimentally than in scenarios considered previously.


title: The planar two-body problem for spheroids and disks

abstract: We outline a new method suggested by Conway (2016) for solving the two-body problem for solid bodies of spheroidal or ellipsoidal shape. The method is based on integrating the gravitational potential of one body over the surface of the other body. When the gravitational potential can be analytically expressed (as for spheroids or ellipsoids), the gravitational force and mutual gravitational potential can be formulated as a surface integral instead of a volume integral, and solved numerically. If the two bodies are infinitely thin disks, the surface integral has an analytical solution. The method is exact as the force and mutual potential appear in closed-form expressions, and does not involve series expansions with subsequent truncation errors. In order to test the method, we solve the equations of motion in an inertial frame, and run simulations with two spheroids and two infinitely thin disks, restricted to torque-free planar motion. The resulting trajectories display precession patterns typical for non-Keplerian potentials. We follow the conservation of energy and orbital angular momentum, and also investigate how the spheroid model approaches the two cases where the surface integral can be solved analytically, i.e. for point masses and infinitely thin disks.


title: A Novel Self-Learning Framework for Bladder Cancer Grading Using Histopathological Images

abstract: Recently, bladder cancer has been significantly increased in terms of incidence and mortality. Currently, two subtypes are known based on tumour growth: non-muscle invasive (NMIBC) and muscle-invasive bladder cancer (MIBC). In this work, we focus on the MIBC subtype because it is of the worst prognosis and can spread to adjacent organs. We present a self-learning framework to grade bladder cancer from histological images stained via immunohistochemical techniques. Specifically, we propose a novel Deep Convolutional Embedded Attention Clustering (DCEAC) which allows classifying histological patches into different severity levels of the disease, according to the patterns established in the literature. The proposed DCEAC model follows a two-step fully unsupervised learning methodology to discern between non-tumour, mild and infiltrative patterns from high-resolution samples of 512x512 pixels. Our system outperforms previous clustering-based methods by including a convolutional attention module, which allows refining the features of the latent space before the classification stage. The proposed network exceeds state-of-the-art approaches by 2-3% across different metrics, achieving a final average accuracy of 0.9034 in a multi-class scenario. Furthermore, the reported class activation maps evidence that our model is able to learn by itself the same patterns that clinicians consider relevant, without incurring prior annotation steps. This fact supposes a breakthrough in muscle-invasive bladder cancer grading which bridges the gap with respect to train the model on labelled data.


title: Checking chordality on homomorphically encrypted graphs

abstract: The breakthrough of achieving fully homomorphic encryption sparked enormous studies on where and how to apply homomorphic encryption schemes so that operations can be performed on encrypted data without the secret key while still obtaining the correct outputs. Due to the computational cost, inflated ciphertext size and limited arithmetic operations that are allowed in most encryption schemes, feasible applications of homomorphic encryption are few. While theorists are working on the mathematical and cryptographical foundations of homomorphic encryption in order to overcome the current limitations, practitioners are also re-designing queries and algorithms to adapt the functionalities of the current encryption schemes. As an initial study on working with homomorphically encrypted graphs, this paper provides an easy-to-implement interactive algorithm to check whether or not a homomorphically encrypted graph is chordal. This algorithm is simply a refactoring of a current method to run on the encrypted adjacency matrices.


title: Singular solutions, graded meshes, and adaptivity for total-variation regularized minimization problems

abstract: Recent quasi-optimal error estimates for the finite element approximation of total-variation regularized minimization problems require the existence of a Lipschitz continuous dual solution. We discuss the validity of this condition and devise numerical methods using locally refined meshes that lead to improved convergence rates despite the occurrence of discontinuities. It turns out that nearly linear convergence is possible on suitably constructed meshes.


title: Branching of unitary $\operatorname{O}(1,n+1)$-representations with non-trivial $(\mathfrak{g},K)$-cohomology

abstract: Let $G=\operatorname{O}(1,n+1)$ with maximal compact subgroup $K$ and let $\Pi$ be a unitary irreducible representation of $G$ with non-trivial $(\mathfrak{g},K)$-cohomology. Then $\Pi$ occurs inside a principal series representation of $G$, induced from the $\operatorname{O}(n)$-representation $\bigwedge\nolimits^p(\mathbb{C}^n)$ and characters of a minimal parabolic subgroup of $G$ at the limit of the complementary series. Considering the subgroup $G'=\operatorname{O}(1,n)$ of $G$ with maximal compact subgroup $K'$, we prove branching laws and explicit Plancherel formulas for the restrictions to $G'$ of all unitary representations occurring in such principal series, including the complementary series, all unitary $G$-representations with non-trivial $(\mathfrak{g},K)$-cohomology and further relative discrete series representations in the cases $p=0,n$. Discrete spectra are constructed explicitly as residues of $G'$-intertwining operators which resemble the Fourier transforms on vector bundles over the Riemannian symmetric space $G'/K'$.


title: Dynamics governed by symmetry-protected exceptional rings for mechanical systems

abstract: Non-Hermitian topological phenomena occur in mechanical systems described by the Newton equation. A mechanical graphene, which is composed of mass points and springs, shows symmetry-protected exceptional rings (SPERs) in the presence of the friction. However, it remains unclear what physical properties or phenomena the SPERs induce. Our numerical analysis reveals that the SPERs can govern dynamics in the wavenumber space. Moreover, we propose how to extract the dynamics in the wavenumber space for systems with the boundaries. Furthermore, we also observe that connectivity of the SPERs changes depending on the fiction, which is analogous to the Lifshitz transition of electron systems.


title: Extreme event propagation using counterfactual theory and vine copulas

abstract: Understanding multivariate extreme events play a crucial role in managing the risks of complex systems since extremes are governed by their own mechanisms. Conditional on a given variable exceeding a high threshold (e.g.\ traffic intensity), knowing which high-impact quantities (e.g\ air pollutant levels) are the most likely to be extreme in the future is key. This article investigates the contribution of marginal extreme events on future extreme events of related quantities. We propose an Extreme Event Propagation framework to maximise counterfactual causation probabilities between a known cause and future high-impact quantities. Extreme value theory provides a tool for modelling upper tails whilst vine copulas are a flexible device for capturing a large variety of joint extremal behaviours. We optimise for the probabilities of causation and apply our framework to a London road traffic and air pollutants dataset. We replicate documented atmospheric mechanisms beyond linear relationships. This provides a new tool for quantifying the propagation of extremes in a large variety of applications.


title: Fluctuating ecological networks: a synthesis of maximum-entropy approaches for pattern detection and process inference

abstract: Ecological networks such as plant-pollinator systems and food webs vary in space and time. This variability includes fluctuations in global network properties such as total number and intensity of interactions but also in the local properties of individual nodes such as the number and intensity of species-level interactions. Fluctuations of species properties can significantly affect higher-order network features, e.g. robustness and nestedness. Local fluctuations should therefore be controlled for in applications that rely on null models, especially pattern and perturbation detection. By contrast, most randomization methods for null models used by ecologists treat node-level local properties as hard constraints that cannot fluctuate. Here, we synthesise a set of methods that resolves the limit of hard constraints and is based on statistical mechanics. We illustrate the methods with some practical examples making available open source computer codes. We clarify how this approach can be used by experimental ecologists to detect non-random network patterns with null models that not only rewire but also redistribute interaction strengths by allowing fluctuations in the null model constraints (soft constraints). Null modelling of species heterogeneity through local fluctuations around typical topological and quantitative constraints offers a statistically robust and expanded (e.g. quantitative null models) set of tools to understand the assembly and resilience of ecological networks.


title: Video Moment Retrieval with Text Query Considering Many-to-Many Correspondence Using Potentially Relevant Pair

abstract: In this paper we undertake the task of text-based video moment retrieval from a corpus of videos. To train the model, text-moment paired datasets were used to learn the correct correspondences. In typical training methods, ground-truth text-moment pairs are used as positive pairs, whereas other pairs are regarded as negative pairs. However, aside from the ground-truth pairs, some text-moment pairs should be regarded as positive. In this case, one text annotation can be positive for many video moments. Conversely, one video moment can be corresponded to many text annotations. Thus, there are many-to-many correspondences between the text annotations and video moments. Based on these correspondences, we can form potentially relevant pairs, which are not given as ground truth yet are not negative; effectively incorporating such relevant pairs into training can improve the retrieval performance. The text query should describe what is happening in a video moment. Hence, different video moments annotated with similar texts, which contain a similar action, are likely to hold the similar action, thus these pairs can be considered as potentially relevant pairs. In this paper, we propose a novel training method that takes advantage of potentially relevant pairs, which are detected based on linguistic analysis about text annotation. Experiments on two benchmark datasets revealed that our method improves the retrieval performance both quantitatively and qualitatively.


title: Bounded cohomology of finitely presented groups: vanishing, non-vanishing, and computability

abstract: We provide new computations in bounded cohomology: A group is boundedly acyclic if its bounded cohomology with trivial real coefficients is zero in all positive degrees. We show that there exists a continuum of finitely generated non-amenable boundedly acyclic groups and construct a finitely presented non-amenable boundedly acyclic group. On the other hand, we construct a continuum of finitely generated groups, whose bounded cohomology has uncountable dimension in all degrees greater than or equal to~$2$, and a concrete finitely presented one. Countable non-amenable groups with these two extreme properties were previously known to exist, but these constitute the first finitely generated/finitely presented examples. Finally, we show that various algorithmic problems on bounded cohomology are undecidable.


title: A Method of Predicting Powder Flowability for Selective Laser Sintering

abstract: This work investigates a method for pre-screening material systems for Selective Laser Sintering (SLS) using a combination of Revolution Powder Analysis (RPA) and machine learning. To develop this method, nylon was mixed with alumina or carbon fibers in different wt.% to form material systems with varying flowability. The materials were measured in a custom RPA device and the results compared with as-spread layer density and surface roughness. Machine learning was used to attempt classification of all powders for each method. Ultimately, it was found that the RPA method is able to reliably classify powders based on their flowability, but as-spread layer density and surface roughness were not able to be classified.


title: Geometry Limitations in Indirect Selective Laser Sintering of Alumina

abstract: Ceramics containing open channels with complex geometries can be manufactured by additive manufacturing (AM) and are of great interest in clean energy technologies. However, design limitations and guidelines for manufacturing these architectures with AM have not yet been established. In this work, we compare previously proposed geometry limitations for polymer selective laser sintering (SLS) to the geometries produced using indirect SLS in alumina. We focus on a subset of model shapes that are simple to produce and measure. We show that these rules provide a starting point for the design and manufacture of ceramic geometries using indirect SLS. However, there are additional considerations for AM of ceramics by indirect SLS that further limit the geometries that can be produced.


title: Grain boundaries in minerals: atomic structure, phase transitions, and effect on strength of polycrystals

abstract: Grain boundaries (GBs) and interfaces in polycrystalline materials are significant research subjects in the field of materials science. Despite a more than 50-year history of their study, there are still many open questions. The main challenge in studying interfacial structures is the extreme complexity of their experimental and theoretical observation and description. The presence of phase-like states at grain boundaries called complexions requires even more effort in their study. Here, we demonstrate the effect of grain boundaries on the properties of polycrystalline minerals on the example of the $\Sigma$5[310](001) grain boundary in periclase (MgO). Using the combination of extended evolutionary algorithm USPEX and modern machine-learning interatomic potentials, we explore the configuration space of the specified grain boundary and predict its possible phase-like states. In addition to the widely studied CSL-type structure, we found several stable GB complexions with various atomic densities at the boundary plane. Analysis of grain boundary excess volume of the structures revealed the successive stages of GB failure under the tensile applied in the normal direction of the boundary plane. Our results demonstrate that interfacial chemistry and structural diversity can be surprisingly rich even in seemingly simple and thoroughly investigated materials. The phenomena we observe here are not specific to MgO and should be general.


title: Edge based stochastic block model statistical inference

abstract: Community detection in graphs often relies on ad hoc algorithms with no clear specification about the node partition they define as the best, which leads to uninterpretable communities. Stochastic block models (SBM) offer a framework to rigorously define communities, and to detect them using statistical inference method to distinguish structure from random fluctuations. In this paper, we introduce an alternative definition of SBM based on edge sampling. We derive from this definition a quality function to statistically infer the node partition used to generate a given graph. We then test it on synthetic graphs, and on the zachary karate club network.


title: Benchmarking Exercises for Granular Flows

abstract: For the 2007 International Forum on Landslide Disaster Management framework, our team performed several numerical simulations on both theoretical and natural cases of granular flows. The objective was to figure out the ability and the limits of our numerical model in terms of reproduction and prediction. Our benchmarking exercises show that for almost all the cases, the model we use is able to reproduce observations at the field scale. Calibrated friction angles are almost similar to that used in other models and the shape of the final deposits is in good agreement with observation. However, as it is tricky to compare the dynamics of natural cases, these exercises do not allow us to highlight the good ability to reproduce the behavior of natural landslides. Nevertheless, by comparing with analytical solution, we show that our model presents very low numerical dissipation due to the discretization and to the numerical scheme used. Finally, in terms of mitigation and prediction, the different friction angles used for each cases figure out the limits of using such model as long as constitutive equations for granular media are not known.


title: Preserving quantum correlations and coherence with non-Markovianity

abstract: Open quantum systems exhibit a rich phenomenology, in comparison to closed quantum systems that evolve unitarily according to the Schr\"odinger equation. The dynamics of an open quantum system are typically classified into Markovian and non-Markovian, depending on whether the dynamics can be decomposed into valid quantum operations at any time scale. Since Markovian evolutions are easier to simulate, compared to non-Markovian dynamics, it is reasonable to assume that non-Markovianity can be employed for useful quantum-technological applications. Here, we demonstrate the usefulness of non-Markovianity for preserving correlations and coherence in quantum systems. For this, we consider a broad class of qubit evolutions, having a decoherence matrix separated from zero for large times. While any such Markovian evolution leads to an exponential loss of correlations, non-Markovianity can help to preserve correlations even in the limit $t \rightarrow \infty$. For covariant qubit evolutions, we also show that non-Markovianity can be used to preserve quantum coherence at all times, which is an important resource for quantum metrology. We explicitly demonstrate this effect experimentally with linear optics, by implementing the required evolution that is non-Markovian at all times.


title: Multiview Video Compression Using Advanced HEVC Screen Content Coding

abstract: The paper presents a new approach to multiview video coding using Screen Content Coding. It is assumed that for a time instant the frames corresponding to all views are packed into a single frame, i.e. the frame-compatible approach to multiview coding is applied. For such coding scenario, the paper demonstrates that Screen Content Coding can be efficiently used for multiview video coding. Two approaches are considered: the first using standard HEVC Screen Content Coding, and the second using Advanced Screen Content Coding. The latter is the original proposal of the authors that exploits quarter-pel motion vectors and other nonstandard extensions of HEVC Screen Content Coding. The experimental results demonstrate that multiview video coding even using standard HEVC Screen Content Coding is much more efficient than simulcast HEVC coding. The proposed Advanced Screen Content Coding provides virtually the same coding efficiency as MV-HEVC, which is the state-of-the-art multiview video compression technique. The authors suggest that Advanced Screen Content Coding can be efficiently used within the new Versatile Video Coding (VVC) technology. Nevertheless a reference multiview extension of VVC does not exist yet, therefore, for VVC-based coding, the experimental comparisons are left for future work.


title: Stimulated parametric down-conversion for spatiotemporal metrology

abstract: A detailed analysis of the stimulated parametric down-conversion (PDC) process is performed to investigate the effects of the spatiotemporal degrees of freedom. The analysis provides information that would be useful for PDC-based metrology applications. Using a Wigner functional approach, we obtain the parametric down-converted state as the Bogoliubov transformed input state, in terms of Bogoliubov kernel functions. The result is used to consider the case for a coherent state seeding stimulated PDC. We also compute the background which is obtained from spontaneous PDC.


title: Robust Real-Time Delay Predictions in a Network of High-Frequency Urban Buses

abstract: Providing transport users and operators with accurate forecasts on travel times is challenging due to a highly stochastic traffic environment. Public transport users are particularly sensitive to unexpected waiting times, which negatively affect their perception on the system's reliability. In this paper we develop a robust model for real-time bus travel time prediction that depart from Gaussian assumptions by using Student-$t$ errors. The proposed approach uses spatiotemporal characteristics from the route and previous bus trips to model short-term effects, and date/time variables and Gaussian processes for long-run forecasts. The model allows for flexible modeling of mean, variance and kurtosis spaces. We propose algorithms for Bayesian inference and for computing probabilistic forecast distributions. Experiments are performed using data from high-frequency buses in Stockholm, Sweden. Results show that Student-$t$ models outperform Gaussian ones in terms of log-posterior predictive power to forecast bus delays at specific stops, which reveals the importance of accounting for predictive uncertainty in model selection. Estimated Student-$t$ regressions capture typical temporal variability between within-day hours and different weekdays. Strong spatiotemporal effects are detected for incoming buses from immediately previous stops, which is in line with many recently developed models. We finally show how Bayesian inference naturally allows for predictive uncertainty quantification, e.g. by returning the predictive probability that the delay of an incoming bus exceeds a given threshold.