title: On contractive mappings in $b_v(s)$-metric spaces

abstract: The major motives of this paper are to study different types of contractive mappings and also to answer an open question of Garai et al. [The contractive principle for mappings in $b_v(s)$-metric spaces, arXiv:1802.03136]. We first set up some fixed point results associated with two types of contractive mappings in $b_v(s)$-metric spaces and then we give an answer, in positive, to the open question. Most importantly, we characterize the completeness of a $b_v(s)$-metric space via fixed point property of a certain type of contractive mappings. Our results extend and generalized several important results in the literature.


title: Impact on Mobility and Environmental data of COVID-19 Lockdown on Florence Area

abstract: According to the changed operative conditions due to lockdown and successive reopening a number of facts can be analysed. The main effects have been detected on: mobility, environment, social media and people flows. While in this first report only mobility, transport and environment are reported. The analysis performed identified a strong reduction of the mobility and transport activities, and in the pollutants. The mobility reduction has been assessed to be quite coherent with respect to what has been described by Google Global mobility report. On the other hand, in this paper a number of additional aspects have been put in evidence providing detailed aspects on mobility and parking that allowed us to better analyze the impact of the reopening on an eventual revamping of the infection. To this end, the collected data from the field have been compared from those of google and some considerations with respect to the Imperial college Report 20 have been derived. For the pollutant aspects, a relevant reduction on most of them has been measured and rationales are reported.


title: A Long-Range Ising Model of a Barab\'asi-Albert Network

abstract: Networks that have power-law connectivity, commonly referred to as the scale-free networks, are an important class of complex networks. A heterogeneous mean-field approximation has been previously proposed for the Ising model of the Barab\'{a}si-Albert model of scale-free networks with classical spins on the nodes wherein it was shown that the critical temperature for such a system scales logarithmically with network size. For finite sizes, there is no criticality for such a system and hence no true phase transition in terms of singular behavior. Further, in the thermodynamic limit, the mean-field prediction of an infinite critical temperature for the system may exclude any true phase transition even then. Nevertheless, with an eye on potential applications of the model on biological systems that are generally finite, one may still try to find approximations that describe the relevant observables quantitatively. Here we present an alternative, approximate formulation for the description of the Ising model of a Barab\'{a}si-Albert Network. Using the classical definition of magnetization, we show that Ising models on a network can be well-approximated by a long-range interacting homogeneous Ising model wherein each node of the network couples to all other spins with a strength determined by the mean degree of the Barab\'{a}si-Albert Network. In such an effective long-range Ising model of a Barab\'{a}si-Albert Network, the critical temperature is directly proportional to the number of preferentially attached links added to grow the network. The proposed model describes the magnetization of the majority of the sites with average or smaller than average degree better compared to the heterogeneous mean-field approximation. The long-range Ising model is the only homogeneous description of Barab\'{a}si-Albert networks that we know of.


title: Relational Model for Parameter Description in Automatic Semantic Web Service Composition

abstract: Automatic Service Composition is a research direction aimed at facilitating the usage of atomic web services. Particularly, the goal is to build workflows of services that solve specific queries, which cannot be resolved by any single service from a known repository. Each of these services is described independently by their providers that can have no interaction with each other, therefore some common standards have been developed, such as WSDL, BPEL, OWL-S. Our proposal is to use such standards together with JSON-LD to model a next level of semantics, mainly based on binary relations between parameters of services. Services relate to a public ontology to describe their functionality. Binary relations can be specified between input and/or output parameters in service definition. The ontology includes some relations and inference rules that help to deduce new relations between parameters of services. To our knowledge, it is for the first time that parameters are matched not only based on their type, but on a more meaningful semantic context considering such type of relations. This enables the automation of a large part of the reasoning that a human person would do when manually building a composition. Moreover, the proposed model and the composition algorithm can work with multiple objects of the same type, a fundamental feature that was not possible before. We believe that the poor model expressiveness is what is keeping service composition from reaching large-scale application in practice.


title: Repetitive cluster categories of type Dn

abstract: In this paper, we show that the repetitive cluster category of type $D_n$, defined as the orbit category $\mathcal{D}^b(\mathrm{mod}K D_n)/(\tau^{-1}[1])^p$, is equivalent to a category defined on a subset of tagged edges in a regular punctured polygon. This generalizes the construction of Schiffler, \cite{S}, which we recover when $p=1$.


title: A Light Signalling Approach to Node Grouping for Massive MIMO IoT Networks

abstract: Massive MIMO is a leading technology to connect very large numbers of energy constrained nodes, as it offers both extensive spatial multiplexing and large array gain. A challenge resides in partitioning the many nodes into groups that can communicate simultaneously such that the mutual interference is minimized. We here propose node partitioning strategies that do not require full channel state information, but rather are based on nodes' respective directional channel properties. In our considered scenarios, these typically have a time constant that is far larger than the coherence time of the channel. We developed both an optimal and an approximation algorithm to partition users based on directional channel properties, and evaluated them numerically. Our results show that both algorithms, despite using only these directional channel properties, achieve similar performance in terms of the minimum signal-to-interference-plus-noise ratio for any user, compared with a reference method using full channel knowledge. In particular, we demonstrate that grouping nodes with related directional properties is to be avoided. We hence realise a simple partitioning method requiring minimal information to be collected from the nodes, and where this information typically remains stable over a long term, thus promoting their autonomy and energy efficiency.


title: Contribution of the aging effect to the observed asymmetry of interplanetary magnetic clouds

abstract: Large magnetic structures are launched away from the Sun during solar eruptions. They are observed as (interplanetary) coronal mass ejections (ICMEs or CMEs) with coronal and heliospheric imagers. A fraction of them are observed insitu as magnetic clouds (MCs). Fitting these structures properly with a model requires a better understanding of their evolution. In situ measurements are done locally when the spacecraft trajectory crosses the magnetic configuration. These observations are taken for different elements of plasma and at different times, and are therefore biased by the expansion of the magnetic configuration. This aging effect leads to stronger magnetic fields measured at the front than at the rear of MCs, an asymmetry often present in MC data. However, can the observed asymmetry be explained quantitatively only from the expansion? Based on self-similar expansion, we derive a method to estimate the expansion rate from observed plasma velocity. We next correct for the aging effect both the observed magnetic field and the spatial coordinate along the spacecraft trajectory. This provides corrected data as if the MC internal structure was observed at the same time. We apply the method to 90 best observed MCs near Earth (1995-2012). The aging effect is the main source of the observed magnetic asymmetry only for 28\% of MCs. After correcting the aging effect, the asymmetry is almost symmetrically distributed between MCs with a stronger magnetic field at the front and those at the rear of MCs. The proposed method can efficiently remove the aging bias within insitu data of MCs, and more generally of ICMEs. This allows one to analyse the data with a spatial coordinate, such as in models or remote sensing observations.


title: Autonomous Tissue Scanning under Free-Form Motion for Intraoperative Tissue Characterisation

abstract: In Minimally Invasive Surgery (MIS), tissue scanning with imaging probes is required for subsurface visualisation to characterise the state of the tissue. However, scanning of large tissue surfaces in the presence of deformation is a challenging task for the surgeon. Recently, robot-assisted local tissue scanning has been investigated for motion stabilisation of imaging probes to facilitate the capturing of good quality images and reduce the surgeon's cognitive load. Nonetheless, these approaches require the tissue surface to be static or deform with periodic motion. To eliminate these assumptions, we propose a visual servoing framework for autonomous tissue scanning, able to deal with free-form tissue deformation. The 3D structure of the surgical scene is recovered and a feature-based method is proposed to estimate the motion of the tissue in real-time. A desired scanning trajectory is manually defined on a reference frame and continuously updated using projective geometry to follow the tissue motion and control the movement of the robotic arm. The advantage of the proposed method is that it does not require the learning of the tissue motion prior to scanning and can deal with free-form deformation. We deployed this framework on the da Vinci surgical robot using the da Vinci Research Kit (dVRK) for Ultrasound tissue scanning. Since the framework does not rely on information from the Ultrasound data, it can be easily extended to other probe-based imaging modalities.


title: Sparsifying Parity-Check Matrices

abstract: Parity check matrices (PCMs) are used to define linear error correcting codes and ensure reliable information transmission over noisy channels. The set of codewords of such a code is the null space of this binary matrix. We consider the problem of minimizing the number of one-entries in parity-check matrices. In the maximum-likelihood (ML) decoding method, the number of ones in PCMs is directly related to the time required to decode messages. We propose a simple matrix row manipulation heuristic which alters the PCM, but not the code itself. We apply simulated annealing and greedy local searches to obtain PCMs with a small number of one entries quickly, i.e. in a couple of minutes or hours when using mainstream hardware. The resulting matrices provide faster ML decoding procedures, especially for large codes.


title: Dynamical Systems Theory and Algorithms for NP-hard Problems

abstract: This article surveys the burgeoning area at the intersection of dynamical systems theory and algorithms for NP-hard problems. Traditionally, computational complexity and the analysis of non-deterministic polynomial-time (NP)-hard problems have fallen under the purview of computer science and discrete optimization. However, over the past few years, dynamical systems theory has increasingly been used to construct new algorithms and shed light on the hardness of problem instances. We survey a range of examples that illustrate the use of dynamical systems theory in the context of computational complexity analysis and novel algorithm construction. In particular, we summarize a) a novel approach for clustering graphs using the wave equation partial differential equation, b) invariant manifold computations for the traveling salesman problem, c) novel approaches for building quantum networks of Duffing oscillators to solve the MAX-CUT problem, d) applications of the Koopman operator for analyzing optimization algorithms, and e) the use of dynamical systems theory to analyze computational complexity.


title: Low-Rank Nonlinear Decoding of $\mu$-ECoG from the Primary Auditory Cortex

abstract: This paper considers the problem of neural decoding from parallel neural measurements systems such as micro-electrocorticography ($\mu$-ECoG). In systems with large numbers of array elements at very high sampling rates, the dimension of the raw measurement data may be large. Learning neural decoders for this high-dimensional data can be challenging, particularly when the number of training samples is limited. To address this challenge, this work presents a novel neural network decoder with a low-rank structure in the first hidden layer. The low-rank constraints dramatically reduce the number of parameters in the decoder while still enabling a rich class of nonlinear decoder maps. The low-rank decoder is illustrated on $\mu$-ECoG data from the primary auditory cortex (A1) of awake rats. This decoding problem is particularly challenging due to the complexity of neural responses in the auditory cortex and the presence of confounding signals in awake animals. It is shown that the proposed low-rank decoder significantly outperforms models using standard dimensionality reduction techniques such as principal component analysis (PCA).


title: The HR 1614 moving group is not a dissolving cluster

abstract: The HR 1614 overdensity in velocity space and has for a long time been known as an old (~2 Gyr) and metal-rich ([Fe/H]~0.2) nearby moving group that has a dissolving cluster origin. The existence of such old and metal-rich groups in the solar vicinity is quite unexpected since the vast majority of nearby moving groups are known to be young. In the light of new and significantly larger data sets we aim to re-investigate the properties and origin of the HR 1614 moving group. To identify and characterise the HR 1614 moving group we use astrometric data from Gaia DR2; distances, extinction, and reddening corrections from the StarHorse code; elemental abundances from the GALAH and APOGEE spectroscopic surveys; and photometric metallicities from the SkyMapper survey. Bayesian ages were estimated for the SkyMapper stars. Since the Hercules stream is the closest kinematical structure to the HR 1614 moving group in velocity space, we use it for comparison purposes. Stars that are likely to be members of the two groups were selected based on their space velocities. The HR 1614 moving group is located mainly at negative U velocities, does not form an arch of constant energy in the U-V space and is tilted in V. The overdensity is not chemically homogeneous but that its stars exist at a wide range of both metallicities, ages, and elemental abundance ratios. They are essentially similar to what is observed in the Galactic thin and thick disks, a younger population (~3 Gyr) that is metal-rich (-0.2<[Fe/H]<0.4) and alpha-poor. It should therefore not be considered as a dissolving open cluster, or an accreted population. We suggest that HR 1614 has a complex origin that could be explained by combining several different mechanisms such as resonances with the Galactic bar and spiral structure, phase-mixing of dissolving spiral structure, and phase-mixing due to an external perturbation.


title: The multiple realizability of general relativity in quantum gravity

abstract: Must a theory of quantum gravity have some truth to it if it can recover general relativity in some limit of the theory? This paper answers this question in the negative by indicating that general relativity is multiply realizable in quantum gravity. The argument is inspired by spacetime functionalism - multiple realizability being a central tenet of functionalism - and proceeds via three case studies: induced gravity, thermodynamic gravity, and entanglement gravity. In these, general relativity in the form of the Einstein field equations can be recovered from elements that are either manifestly multiply realizable or at least of the generic nature that is suggestive of functions. If general relativity, as argued here, can inherit this multiple realizability, then a theory of quantum gravity can recover general relativity while being completely wrong about the posited microstructure. As a consequence, the recovery of general relativity cannot serve as the ultimate arbiter that decides which theory of quantum gravity that is worthy of pursuit, even though it is of course not irrelevant either qua quantum gravity. Thus, the recovery of general relativity in string theory, for instance, does not guarantee that the stringy account of the world is on the right track; despite sentiments to the contrary among string theorists.


title: Sound Absorption in Partially Ionized Hydrogen Plasma and Heating Mechanism of Solar Chromosphere

abstract: The temperature dependence of rates of electron impact ionization and two electrons recombination are calculated using Wannier cross section of electron impact ionization of neutral hydrogen atom. Entropy production and power dissipation are derived for the case when the ionization degree deviates from its equilibrium value. This is the special case of the obtained general formula for entropy production accompanying chemical reactions. Damping rate of the sound waves is calculated and the conditions when ionization processes dominate are considered. A quasi-classical approximation for the heating mechanism of solar chromosphere is proposed. Several analogous phenomena for damping rates in liquids and crystals are shortly discussed, for example, deaf sound of a glass of beer or English salt solution. An explicit expression for the second or bulk (or volume) viscosity of hydrogen plasma is calculated from firsts principles. For the first time some second viscosity is calculated from first principles.


title: Reinforcement Learning for UAV Autonomous Navigation, Mapping and Target Detection

abstract: In this paper, we study a joint detection, mapping and navigation problem for a single unmanned aerial vehicle (UAV) equipped with a low complexity radar and flying in an unknown environment. The goal is to optimize its trajectory with the purpose of maximizing the mapping accuracy and, at the same time, to avoid areas where measurements might not be sufficiently informative from the perspective of a target detection. This problem is formulated as a Markov decision process (MDP) where the UAV is an agent that runs either a state estimator for target detection and for environment mapping, and a reinforcement learning (RL) algorithm to infer its own policy of navigation (i.e., the control law). Numerical results show the feasibility of the proposed idea, highlighting the UAV's capability of autonomously exploring areas with high probability of target detection while reconstructing the surrounding environment.


title: Dynamics of an Intra-host Diffusive Pathogen Infection Model

abstract: In this paper, we first propose a diffusive pathogen infection model with general incidence rate which incorporates cell-to-cell transmission. By applying the theory of monotone dynamical systems, we prove that the model admits the global threshold dynamics in terms of the basic reproduction number ($\mathcal{R}_{0}$), which is defined by the spectral radius of the next generation operator. Then, we derive a discrete counterpart of the continuous model by nonstandard finite difference scheme. The results show that the discrete model preserves the positivity and boundedness of solutions in order to ensure the well-posedness of the problem. Moreover, this method preserves all equilibria of the original continuous model. By constructing appropriate Lyapunov functionals for both models, we show that the global threshold dynamics is completely determined by the basic reproduction number. Further, with the help of sensitivity analysis we also have identified the most sensitive parameters which effectively contribute to change the disease dynamics. Finally, we conclude the paper by an example and numerical simulations to improve and generalize some known results.


title: Spectral asymptotic and positivity for singular Dirichlet-to-Neumann operators

abstract: In the framework of Hilbert spaces we shall give necessary and sufficient conditions to define a Dirichlet-to-Neumann operator via Dirichlet principle. For singular Dirichlet-to-Neumann operators we will establish Laurent expansion near singularities as well as Mittag--Leffler expansion for the related quadratic form. The established results will be exploited to solve definitively the problem of positivity of the related semigroup in the $L^2$ setting. The obtained results are supported by some examples on Lipschitz domains. Among other results, we shall demonstrate that regularity of the boundary may affect positivity and derive Mittag-Leffler expansion for the eigenvalues of singular Dirichlet-to-Neumann operators.


title: Predictive Analysis of COVID-19 Time-series Data from Johns Hopkins University

abstract: We provide a predictive analysis of the spread of COVID-19, also known as SARS-CoV-2, using the dataset made publicly available online by the Johns Hopkins University. Our main objective is to provide predictions of the number of infected people for different countries in the next 14 days. The predictive analysis is done using time-series data transformed on a logarithmic scale. We use two well-known methods for prediction: polynomial regression and neural network. As the number of training data for each country is limited, we use a single-layer neural network called the extreme learning machine (ELM) to avoid over-fitting. Due to the non-stationary nature of the time-series, a sliding window approach is used to provide a more accurate prediction.


title: Do we know the operating principles of our computers better than those of our brain?

abstract: The increasing interest in understanding the behavior of the biological neural networks, and the increasing utilization of artificial neural networks in different fields and scales, both require a thorough understanding of how neuromorphic computing works. On the one side, the need to program those artificial neuron-like elements, and, on the other side, the necessity for a large number of such elements to cooperate, communicate and compute during tasks, need to be scrutinized to determine how efficiently conventional computing can assist in implementing such systems. Some electronic components bear a surprising resemblance to some biological structures. However, combining them with components that work using different principles can result in systems with very poor efficacy. The paper discusses how the conventional principles, components and thinking about computing limit mimicking the biological systems. We describe what changes will be necessary in the computing paradigms to get closer to the marvelously efficient operation of biological neural networks.


title: Non-stationarity and Dissipative Time Crystals: Spectral Properties and Finite-Size Effects

abstract: We discuss the emergence of non-stationarity in open quantum many-body systems. This leads us to the definition of dissipative time crystals which display experimentally observable, persistent, time-periodic oscillations induced by noisy contact with an environment. We use the Loschmidt echo and local observables to indicate the presence of a finite sized dissipative time crystal. Starting from the closed Hubbard model we then provide examples of dissipation mechanisms that yield experimentally observable quantum periodic dynamics and allow analysis of the emergence of finite sized dissipative time crystals. For a disordered Hubbard model including two-particle loss and gain we find a dark Hamiltonian driving oscillations between GHZ states in the long-time limit. Finally, we discuss how the presented examples could be experimentally realized.


title: Spatial super-spreaders and super-susceptibles in human movement networks

abstract: As lockdowns and stay-at-home orders start to be lifted across the globe, governments are struggling to establish effective and practical guidelines to reopen their economies. In dense urban environments with people returning to work and public transportation resuming full capacity, enforcing strict social distancing measures will be extremely challenging, if not practically impossible. Governments are thus paying close attention to particular locations that may become the next cluster of disease spreading. Indeed, certain places, like some people, can be "super-spreaders." Is a bustling train station in a central business district more or less susceptible and vulnerable as compared to teeming bus interchanges in the suburbs? Here, we propose a quantitative and systematic framework to identify spatial super-spreaders and the novel concept of super-susceptibles, i.e. respectively, places most likely to contribute to disease spread or to people contracting it. Our proposed data-analytic framework is based on the daily-aggregated ridership data of public transport in Singapore. By constructing the directed and weighted human movement networks and integrating human flow intensity with two neighborhood diversity metrics, we are able to pinpoint super-spreader and super-susceptible locations. Our results reveal that most super-spreaders are also super-susceptibles and that counterintuitively, busy peripheral bus interchanges are riskier places than crowded central train stations. Our analysis is based on data from Singapore, but can be readily adapted and extended for any other major urban center. It therefore serves as a useful framework for devising targeted and cost-effective preventive measures for urban planning and epidemiological preparedness.


title: Anti-flexible bialgebras

abstract: We establish a bialgebra theory for anti-flexible algebras in this paper. We introduce the notion of an anti-flexible bialgebra which is equivalent to a Manin triple of anti-flexible algebras. The study of a special case of anti-flexible bialgebras leads to the introduction of anti-flexible Yang-Baxter equation in an anti-flexible algebra which is an analogue of the classical Yang-Baxter equation in a Lie algebra or the associative Yang-Baxter equation in an associative algebra. It is a unexpected consequence that both the anti-flexible Yang-Baxter equation and the associative Yang-Baxter equation have the same form. A skew-symmetric solution of anti-flexible Yang-Baxter equation gives an anti-flexible bialgebra. Finally the notions of an $\mathcal O$-operator of an anti-flexible algebra and a pre-anti-flexible algebra are introduced to construct skew-symmetric solutions of anti-flexible Yang-Baxter equation.


title: Neighbourhood Evaluation Criteria for Vertex Cover Problem

abstract: Neighbourhood Evaluation Criteria is a heuristical approximate algorithm that attempts to solve the Minimum Vertex Cover. degree count is kept in check for each vertex and the highest count based vertex is included in our cover set. In the case of multiple equivalent vertices, the one with the lowest neighbourhood influence is selected. In the case of still existing multiple equivalent vertices, the one with the lowest remaining active vertex count (the highest Independent Set enabling count) is selected as a tie-breaker.


title: On the Transferability of Knowledge among Vehicle Routing Problems by using Cellular Evolutionary Multitasking

abstract: Multitasking optimization is a recently introduced paradigm, focused on the simultaneous solving of multiple optimization problem instances (tasks). The goal of multitasking environments is to dynamically exploit existing complementarities and synergies among tasks, helping each other through the transfer of genetic material. More concretely, Evolutionary Multitasking (EM) regards to the resolution of multitasking scenarios using concepts inherited from Evolutionary Computation. EM approaches such as the well-known Multifactorial Evolutionary Algorithm (MFEA) are lately gaining a notable research momentum when facing with multiple optimization problems. This work is focused on the application of the recently proposed Multifactorial Cellular Genetic Algorithm (MFCGA) to the well-known Capacitated Vehicle Routing Problem (CVRP). In overall, 11 different multitasking setups have been built using 12 datasets. The contribution of this research is twofold. On the one hand, it is the first application of the MFCGA to the Vehicle Routing Problem family of problems. On the other hand, equally interesting is the second contribution, which is focused on the quantitative analysis of the positive genetic transferability among the problem instances. To do that, we provide an empirical demonstration of the synergies arisen between the different optimization tasks.


title: Upper Trust Bound Feasibility Criterion for Mixed Constrained Bayesian Optimization with Application to Aircraft Design

abstract: Bayesian optimization methods have been successfully applied to black box optimization problems that are expensive to evaluate. In this paper, we adapt the so-called super effcient global optimization algorithm to solve more accurately mixed constrained problems. The proposed approach handles constraints by means of upper trust bound, the latter encourages exploration of the feasible domain by combining the mean prediction and the associated uncertainty function given by the Gaussian processes. On top of that, a refinement procedure, based on a learning rate criterion, is introduced to enhance the exploitation and exploration trade-off. We show the good potential of the approach on a set of numerical experiments. Finally, we present an application to conceptual aircraft configuration upon which we show the superiority of the proposed approach compared to a set of the state-of-the-art black box optimization solvers. Keywords: Global Optimization, Mixed Constrained Optimization, Black box optimization, Bayesian Optimization, Gaussian Process.


title: Charging and energy fluctuations of a driven quantum battery

abstract: We consider a quantum battery modeled as a set of N independent two-level quantum systems driven by a time dependent classical source. Different figures of merit, such as stored energy, time of charging and energy quantum fluctuations during the charging process, are characterized in a wide range of parameters, by means of numerical approach and suitable analytical approximation scheme. Particular emphasis is put on the role of different initial conditions, describing the preparation state of the quantum battery, as well as on the sensitivity to the functional form of the external time-dependent drive. It is shown that an optimal charging protocol, characterized by fast charging time and the absence of charging fluctuations, can be achieved starting from the ground state of each two-level system, while other pure preparation states are less efficient. Moreover, we argue that a periodic train of peaked rectangular pulses can lead to fast charging. This study aims at providing a useful theoretical background in view of future experimental solid-state implementations.


title: Transfer Learning and Online Learning for Traffic Forecasting under Different Data Availability Conditions: Alternatives and Pitfalls

abstract: This work aims at unveiling the potential of Transfer Learning (TL) for developing a traffic flow forecasting model in scenarios of absent data. Knowledge transfer from high-quality predictive models becomes feasible under the TL paradigm, enabling the generation of new proper models with few data. In order to explore this capability, we identify three different levels of data absent scenarios, where TL techniques are applied among Deep Learning (DL) methods for traffic forecasting. Then, traditional batch learning is compared against TL based models using real traffic flow data, collected by deployed loops managed by the City Council of Madrid (Spain). In addition, we apply Online Learning (OL) techniques, where model receives an update after each prediction, in order to adapt to traffic flow trend changes and incrementally learn from new incoming traffic data. The obtained experimental results shed light on the advantages of transfer and online learning for traffic flow forecasting, and draw practical insights on their interplay with the amount of available training data at the location of interest.


title: Faster Exponential-time Algorithms for Approximately Counting Independent Sets

abstract: Counting the independent sets of a graph is a classical #P-complete problem, even in the bipartite case. We give an exponential-time approximation scheme for this problem which is faster than the best known algorithm for the exact problem. The running time of our algorithm on general graphs with error tolerance $\varepsilon$ is at most $O(2^{0.2680n})$ times a polynomial in $1/\varepsilon$. On bipartite graphs, the exponential term in the running time is improved to $O(2^{0.2372n})$. Our methods combine techniques from exact exponential algorithms with techniques from approximate counting. Along the way we generalise (to the multivariate case) the FPTAS of Sinclair, Srivastava, \v{S}tefankovi\v{c} and Yin for approximating the hard-core partition function on graphs with bounded connective constant. Also, we obtain an FPTAS for counting independent sets on graphs with no vertices with degree at least 6 whose neighbours' degrees sum to 27 or more. By a result of Sly, there is no FPTAS that applies to all graphs with maximum degree 6 unless $\mbox{P}=\mbox{NP}$.


title: A Millimeter-scale Single Charged Particle Dosimeter for Cancer Radiotherapy

abstract: This paper presents a millimeter-scale CMOS 64$\times$64 single charged particle radiation detector system for external beam cancer radiotherapy. A 1$\times$1 $\mu m^2$ diode measures energy deposition by a single charged particle in the depletion region, and the array design provides a large detection area of 512$\times$512 $\mu m^2$. Instead of sensing the voltage drop caused by radiation, the proposed system measures the pulse width, i.e., the time it takes for the voltage to return to its baseline. This obviates the need for using power-hungry and large analog-to-digital converters. A prototype ASIC is fabricated in TSMC 65 nm LP CMOS process and consumes the average static power of 0.535 mW under 1.2 V analog and digital power supply. The functionality of the whole system is successfully verified in a clinical 67.5 MeV proton beam setting. To our' knowledge, this is the first work to demonstrate single charged particle detection for implantable in-vivo dosimetry.


title: Precise Measurements of Branching Fractions for $D_s^+$ Meson Decays to Two Pseudoscalar Mesons

abstract: We measure the branching fractions for seven $D_{s}^{+}$ two-body decays to pseudo-scalar mesons, by analyzing data collected at $\sqrt{s}=4.178\sim4.226$ GeV with the BESIII detector at the BEPCII collider. The branching fractions are determined to be $\mathcal{B}(D_s^+\to K^+\eta^{\prime})=(2.68\pm0.17\pm0.17\pm0.08)\times10^{-3}$, $\mathcal{B}(D_s^+\to\eta^{\prime}\pi^+)=(37.8\pm0.4\pm2.1\pm1.2)\times10^{-3}$, $\mathcal{B}(D_s^+\to K^+\eta)=(1.62\pm0.10\pm0.03\pm0.05)\times10^{-3}$, $\mathcal{B}(D_s^+\to\eta\pi^+)=(17.41\pm0.18\pm0.27\pm0.54)\times10^{-3}$, $\mathcal{B}(D_s^+\to K^+K_S^0)=(15.02\pm0.10\pm0.27\pm0.47)\times10^{-3}$, $\mathcal{B}(D_s^+\to K_S^0\pi^+)=(1.109\pm0.034\pm0.023\pm0.035)\times10^{-3}$, $\mathcal{B}(D_s^+\to K^+\pi^0)=(0.748\pm0.049\pm0.018\pm0.023)\times10^{-3}$, where the first uncertainties are statistical, the second are systematic, and the third are from external input branching fraction of the normalization mode $D_s^+\to K^+K^-\pi^+$. Precision of our measurements is significantly improved compared with that of the current world average values.


title: Essential F sets and mixing properties

abstract: There is a long history of studying Ramsey theory using the algebraic structure of Stone-Cech compactification of discrete semigroup. It has been shown that various Ramsey theoretic structures are contained in different algebraic large sets. In this article we will study elementary characterization of essential F sets. And also study the mixing properties arises from essential F sets.


title: A New Computer-Aided Diagnosis System with Modified Genetic Feature Selection for BI-RADS Classification of Breast Masses in Mammograms

abstract: Mammography remains the most prevalent imaging tool for early breast cancer screening. The language used to describe abnormalities in mammographic reports is based on the breast Imaging Reporting and Data System (BI-RADS). Assigning a correct BI-RADS category to each examined mammogram is a strenuous and challenging task for even experts. This paper proposes a new and effective computer-aided diagnosis (CAD) system to classify mammographic masses into four assessment categories in BI-RADS. The mass regions are first enhanced by means of histogram equalization and then semiautomatically segmented based on the region growing technique. A total of 130 handcrafted BI-RADS features are then extrcated from the shape, margin, and density of each mass, together with the mass size and the patient's age, as mentioned in BI-RADS mammography. Then, a modified feature selection method based on the genetic algorithm (GA) is proposed to select the most clinically significant BI-RADS features. Finally, a back-propagation neural network (BPN) is employed for classification, and its accuracy is used as the fitness in GA. A set of 500 mammogram images from the digital database of screening mammography (DDSM) is used for evaluation. Our system achieves classification accuracy, positive predictive value, negative predictive value, and Matthews correlation coefficient of 84.5%, 84.4%, 94.8%, and 79.3%, respectively. To our best knowledge, this is the best current result for BI-RADS classification of breast masses in mammography, which makes the proposed system promising to support radiologists for deciding proper patient management based on the automatically assigned BI-RADS categories.


title: The First French COVID19 Lockdown Twitter Dataset

abstract: In this paper, we present a mainly French coronavirus Twitter dataset that we have been continuously collecting since lockdown restrictions have been enacted in France (in March 17, 2020). We offer our datasets and sentiment analysis annotations to the research community at https://github.com/calciu/COVID19-LockdownFr. They have been obtained using high performance computing (HPC) capabilities of our university's datacenter. We think that our contribution can facilitate analysis of online conversation dynamics reflecting people sentiments when facing severe home confinement restrictions determined by the outbreak of this world wide epidemic. We hope that our contribution will help decode shared experience and mood but also test the sensitivity of sentiment measurement instruments and incite the development of new instruments, methods and approaches.


title: Gap-type Particle Acceleration in the Magnetospheres of Rotating Supermassive Black Holes

abstract: The detection of rapidly variable gamma-ray emission in active galactic nuclei has generated renewed interest in magnetospheric particle acceleration and emission scenarios. In order to explore its potential, we study the possibility of steady gap acceleration around the null surface of a rotating black hole magnetosphere. We employ a simplified (1D) description along with the general relativistic expression of Gauss's law, and we assume that the gap is embedded in the radiation field of a radiatively inefficient accretion flow. The model is used to derive expressions for the radial distribution of the parallel electric field component, the electron and positron charge density, the particle Lorentz factor, and the number density of $\gamma$-ray photons. We integrate the set of equations numerically, imposing suitable boundary conditions. The results show that the existence of a steady gap solution for a relative high value of the global current is in principle possible if charge injection of both species is allowed at the boundaries. We present gap solutions for different choices of the global current and the accretion rate. When put in context, our results suggest that the variable very high energy $\gamma$-ray emission in M87 could be compatible with a magnetospheric origin.


title: Growth in Some Finite Three-Dimensional Matrix Groups

abstract: We study the growth of product sets in some finite three-dimensional matrix groups. In particular, we prove two results about the group of $2\times 2$ upper triangular matrices over arbitrary finite fields: a product set estimate using techniques from multiplicative combinatorics, and an energy estimate using incidence geometry. The energy method gives better quantitative results, but only applies to small sets. We also prove an energy result for the Heisenberg group.


title: Transformation Cloaking in Elastic Plates

abstract: In this paper we formulate the problem of elastodynamic transformation cloaking for Kirchhoff-Love plates and elastic plates with both the in-plane and out-of-plane displacements. A cloaking transformation maps the boundary-value problem of an isotropic and homogeneous elastic plate (virtual problem) to that of an anisotropic and inhomogeneous elastic plate with a hole surrounded by a cloak that is to be designed (physical problem). For Kirchhoff-Love plates, the (out-of-plane) governing equations of the virtual plate is transformed to those of the physical plate up to an unknown scalar field. In doing so, one finds the initial stress and the initial tangential body force for the physical plate, along with a set of constraints that we call cloaking compatibility equations. These constraints involve the cloaking transformation, the unknown scalar field, and the elastic constants of the virtual plate. It is noted that the cloaking map needs to satisfy certain conditions on the outer boundary of the cloak and the surface of the hole. In particular, the cloaking map needs to fix the outer boundary of the cloak up to the third order. Assuming a generic radial cloaking map, we show that cloaking a circular hole in Kirchoff-Love plates is not possible; the cloaking compatibility equations and the boundary conditions that the cloaking map needs to satisfy are the obstruction to cloaking. Next, relaxing the pure bending assumption, the transformation cloaking problem of an elastic plate in the presence of in-plane and out-of-plane displacements is formulated. In this case, there are two sets of governing equations that need to be simultaneously transformed under the cloaking map. We show that cloaking a circular hole is not possible for a general radial cloaking map; the cloaking compatibility equations and the boundary conditions that the cloaking map needs to satisfy obstruct cloaking.


title: A Survey on Sampling and Profiling over Big Data (Technical Report)

abstract: Due to the development of internet technology and computer science, data is exploding at an exponential rate. Big data brings us new opportunities and challenges. On the one hand, we can analyze and mine big data to discover hidden information and get more potential value. On the other hand, the 5V characteristic of big data, especially Volume which means large amount of data, brings challenges to storage and processing. For some traditional data mining algorithms, machine learning algorithms and data profiling tasks, it is very difficult to handle such a large amount of data. The large amount of data is highly demanding hardware resources and time consuming. Sampling methods can effectively reduce the amount of data and help speed up data processing. Hence, sampling technology has been widely studied and used in big data context, e.g., methods for determining sample size, combining sampling with big data processing frameworks. Data profiling is the activity that finds metadata of data set and has many use cases, e.g., performing data profiling tasks on relational data, graph data, and time series data for anomaly detection and data repair. However, data profiling is computationally expensive, especially for large data sets. Therefore, this paper focuses on researching sampling and profiling in big data context and investigates the application of sampling in different categories of data profiling tasks. From the experimental results of these studies, the results got from the sampled data are close to or even exceed the results of the full amount of data. Therefore, sampling technology plays an important role in the era of big data, and we also have reason to believe that sampling technology will become an indispensable step in big data processing in the future.


title: Continual Learning Using Multi-view Task Conditional Neural Networks

abstract: Conventional deep learning models have limited capacity in learning multiple tasks sequentially. The issue of forgetting the previously learned tasks in continual learning is known as catastrophic forgetting or interference. When the input data or the goal of learning change, a continual model will learn and adapt to the new status. However, the model will not remember or recognise any revisits to the previous states. This causes performance reduction and re-training curves in dealing with periodic or irregularly reoccurring changes in the data or goals. The changes in goals or data are referred to as new tasks in a continual learning model. Most of the continual learning methods have a task-known setup in which the task identities are known in advance to the learning model. We propose Multi-view Task Conditional Neural Networks (Mv-TCNN) that does not require to known the reoccurring tasks in advance. We evaluate our model on standard datasets using MNIST, CIFAR10, CIFAR100, and also a real-world dataset that we have collected in a remote healthcare monitoring study (i.e. TIHM dataset). The proposed model outperforms the state-of-the-art solutions in continual learning and adapting to new tasks that are not defined in advance.


title: Including arbitrary geometric correlations into one-dimensional time-dependent Schr\"{o}dinger equations

abstract: The so-called Born-Huang ansatz is a fundamental tool in the context of ab-initio molecular dynamics, viz., it allows to effectively separate fast and slow degrees of freedom and thus treating electrons and nuclei at different mathematical footings. Here we consider the use of a Born-Huang-like expansion of the three-dimensional time-dependent Schr\"odinger equation to separate transport and confinement degrees of freedom in electron transport problems that involve geometrical constrictions. The resulting scheme consists of an eigenstate problem for the confinement degrees of freedom (in the transverse direction) whose solution constitutes the input for the propagation of a set of coupled one-dimensional equations of motion for the transport degree of freedom (in the longitudinal direction). This technique achieves quantitative accuracy using an order less computational resources than the full dimensional simulation for a prototypical two-dimensional constriction.


title: Universal presence of time-crystalline phases and period-doubling oscillations in one-dimensional Floquet topological insulators

abstract: In this work, we reported a ubiquitous presence of topological Floquet time crystal (TFTC) in one-dimensional periodically-driven systems. The rigidity and realization of spontaneous discrete time-translation symmetry (DTS) breaking in our model require necessarily coexistence of anomalous topological invariants (0 modes and $\pi$ modes), instead of the presence of disorders or many-body localization. We found that in a particular frequency range of the underlying drive, the anomalous Floquet phase coexistence between zero and pi modes can produce the period-doubling (2T, two cycles of the drive) that breaks the spontaneously, leading to the subharmonic response ($\omega/2$, half the drive frequency). The rigid period-oscillation is topologically-protected against perturbations due to both non-trivially opening of 0 and $\pi$-gaps in the quasienergy spectrum, thus, as a result, can be viewed as a specific "Rabi oscillation" between two Floquet eigenstates with certain quasienergy splitting $\pi/T$. Our modeling of the time-crystalline 'ground state' can be easily realized in experimental platforms such as topological photonics and ultracold fields. Also, our work can bring significant interests to explore topological phase transition in Floquet systems and to bridge the gap between Floquet topological insulators and photonics, and period-doubled time crystals.


title: A Federated Learning Framework for Healthcare IoT devices

abstract: The Internet of Things (IoT) revolution has shown potential to give rise to many medical applications with access to large volumes of healthcare data collected by IoT devices. However, the increasing demand for healthcare data privacy and security makes each IoT device an isolated island of data. Further, the limited computation and communication capacity of wearable healthcare devices restrict the application of vanilla federated learning. To this end, we propose an advanced federated learning framework to train deep neural networks, where the network is partitioned and allocated to IoT devices and a centralized server. Then most of the training computation is handled by the powerful server. The sparsification of activations and gradients significantly reduces the communication overhead. Empirical study have suggested that the proposed framework guarantees a low accuracy loss, while only requiring 0.2% of the synchronization traffic in vanilla federated learning.


title: Robot art, in the eye of the beholder?: Personalization through self-disclosure facilitates visual communication of emotions in representational art

abstract: Socially assistive robots could help to support people's well-being in contexts such as art therapy where human therapists are scarce, by making art such as paintings together with people in a way that is emotionally contingent and creative. However, current art-making robots are typically either contingent, controlled as a tool by a human artist, or creative, programmed to paint independently, possibly because some complex and idiosyncratic concepts related to art, such as emotion and creativity, are not yet well understood. For example, the role of personalized taste in forming beauty evaluations has been studied in empirical aesthetics, but how to generate art that appears to an individual to express certain emotions such as happiness or sadness is less clear. In the current article, a collaborative prototyping/Wizard of Oz approach was used to explore generic robot art-making strategies and personalization of art via an open-ended emotion profile intended to identify tricky concepts. As a result of conducting an exploratory user study, participants indicated some preference for a robot art-making strategy involving "visual metaphors" to balance exogenous and endogenous components, and personalized representational sketches were reported to convey emotion more clearly than generic sketches. The article closes by discussing personalized abstract art as well as suggestions for richer art-making strategies and user models. Thus, the main conceptual advance of the current work lies in suggesting how an interactive robot can visually express emotions through personalized art; the general aim is that this could help to inform next steps in this promising area and facilitate technological acceptance of robots in everyday human environments.


title: Comparison and Benchmarking of AI Models and Frameworks on Mobile Devices

abstract: Due to increasing amounts of data and compute resources, deep learning achieves many successes in various domains. The application of deep learning on the mobile and embedded devices is taken more and more attentions, benchmarking and ranking the AI abilities of mobile and embedded devices becomes an urgent problem to be solved. Considering the model diversity and framework diversity, we propose a benchmark suite, AIoTBench, which focuses on the evaluation of the inference abilities of mobile and embedded devices. AIoTBench covers three typical heavy-weight networks: ResNet50, InceptionV3, DenseNet121, as well as three light-weight networks: SqueezeNet, MobileNetV2, MnasNet. Each network is implemented by three frameworks which are designed for mobile and embedded devices: Tensorflow Lite, Caffe2, Pytorch Mobile. To compare and rank the AI capabilities of the devices, we propose two unified metrics as the AI scores: Valid Images Per Second (VIPS) and Valid FLOPs Per Second (VOPS). Currently, we have compared and ranked 5 mobile devices using our benchmark. This list will be extended and updated soon after.


title: Decentralised, privacy-preserving Bayesian inference for mobile phone contact tracing

abstract: Many countries are currently gearing up to use smart-phone apps to perform contact tracing as part of the effort to manage the COVID-19 pandemic and prevent resurgences of the disease after the initial outbreak. With the announcement of the Apple/Google partnership to introduce contact-tracing functionality to iOS and Android, it seems likely that this will be adopted in many countries. An important part of the functionality of the app will be to decide whether a person should be advised to self-isolate, be tested or end isolation. However, the privacy preserving nature of the Apple/Google contact tracing algorithm means that centralised curation of these decisions is not possible so each phone must use its own "risk model" to inform decisions. Ideally, the risk model should use Bayesian inference to decide the best course of action given the test results of the user and those of other users. Here we present a decentralised algorithm that estimates the Bayesian posterior probability of viral transmission events and evaluates when a user should be notified, tested or released from isolation while preserving user privacy. The algorithm also allows the disease models on the phones to learn from everyone's contact-tracing data and will allow Epidemiologists to better understand the dynamics of the disease. The algorithm is a message passing algorithm, based on belief propagation, so each smart-phone can be used to execute a small part of the algorithm without releasing any sensitive information. In this way, the network of all participating smart-phones forms a distributed computation device that performs Bayesian inference, informs each user when they should start/end isolation or be tested and learns about the disease from user's data.


title: General relation between spatial coherence and absorption

abstract: Despite the fact that incandescent sources are usually spatially incoherent, it has been known for some time that a proper design of a thermal source can modify its spatial coherence. A natural question is whether it is possible to extend this analysis to electroluminescence and photoluminescence. A theoretical framework is needed to explore these properties. In this paper, we extend a general coherence-absorption relation valid at equilibrium to two non-equilibrium cases: luminescent bodies and anisothermal bodies. We then use this relation to analyse the differences between the isothermal and anisothermal cases and to study the near-field emission of an electroluminescent source.


title: Sheaf quantization and intersection of rational Lagrangian immersions

abstract: We study rational Lagrangian immersions in a cotangent bundle, based on the microlocal theory of sheaves. We construct a sheaf quantization of a rational Lagrangian immersion and investigate its properties in Tamarkin category. Using the sheaf quantization, we give an explicit bound for the displacement energy and a Betti/cup-length estimate for the number of the intersection points of the immersion and its Hamiltonian image by a purely sheaf-theoretic method.


title: Observation of collective decay dynamics of a single Rydberg superatom

abstract: We experimentally investigate the collective decay of a single Rydberg superatom, formed by an ensemble of thousands of individual atoms supporting only a single excitation due to the Rydberg blockade. Instead of observing a constant decay rate determined by the collective coupling strength to the driving field, we show that the enhanced emission of the single stored photon into the forward direction of the coupled optical mode depends on the dynamics of the superatom before the decay. We find that the observed decay rates are reproduced by an expanded model of the superatom which includes coherent coupling between the collective bright state and subradiant states.


title: Scaling behavior of the momentum distribution of a quantum Coulomb system in a confining potential

abstract: We calculate the single-particle momentum distribution of a quantum many-particle system in the presence of the Coulomb interaction and a confining potential. The region of intermediate momenta, where the confining potential dominates, marks a crossover from a Gaussian distribution valid at low momenta to a power-law behavior valid at high momenta. We show that for all momenta the momentum distribution can be parametrized by a $q$-Gaussian distribution whose parameters are specified by the confining potential. Furthermore, we find that the functional form of the probability of transitions between the confined ground state and the $n^{th}$ excited state is invariant under scaling of the ratio $Q^2/\nu_n$, where $Q$ is the transferred momentum and $\nu_n$ is the corresponding excitation energy. Using the scaling variable $Q^2/\nu_n$ the maxima of the transition probabilities can also be expressed in terms of a $q$-Gaussian.


title: Devil's staircase transition of the electronic structures in CeSb

abstract: Solids with competing interactions often undergo complex phase transitions with a variety of long-periodic modulations. Among such transition, devil's staircase is the most complex phenomenon, and for it, CeSb is the most famous material, where a number of the distinct phases with long-periodic magnetostructures sequentially appear below the Neel temperature. An evolution of the low-energy electronic structure going through the devil's staircase is of special interest, which has, however, been elusive so far despite the 40-years of intense researches. Here we use bulk-sensitive angle-resolved photoemission spectroscopy and reveal the devil's staircase transition of the electronic structures. The magnetic reconstruction dramatically alters the band dispersions at each transition. We moreover find that the well-defined band picture largely collapses around the Fermi energy under the long-periodic modulation of the transitional phase, while it recovers at the transition into the lowest-temperature ground state. Our data provide the first direct evidence for a significant reorganization of the electronic structures and spectral functions occurring during the devil's staircase.


title: Active Training of Physics-Informed Neural Networks to Aggregate and Interpolate Parametric Solutions to the Navier-Stokes Equations

abstract: The goal of this work is to train a neural network which approximates solutions to the Navier-Stokes equations across a region of parameter space, in which the parameters define physical properties such as domain shape and boundary conditions. The contributions of this work are threefold: 1) To demonstrate that neural networks can be efficient aggregators of whole families of parameteric solutions to physical problems, trained using data created with traditional, trusted numerical methods such as finite elements. Advantages include extremely fast evaluation of pressure and velocity at any point in physical and parameter space (asymptotically, ~3 $\mu s$ / query), and data compression (the network requires 99\% less storage space compared to its own training data). 2) To demonstrate that the neural networks can accurately interpolate between finite element solutions in parameter space, allowing them to be instantly queried for pressure and velocity field solutions to problems for which traditional simulations have never been performed. 3) To introduce an active learning algorithm, so that during training, a finite element solver can automatically be queried to obtain additional training data in locations where the neural network's predictions are in most need of improvement, thus autonomously acquiring and efficiently distributing training data throughout parameter space. In addition to the obvious utility of Item 2, above, we demonstrate an application of the network in rapid parameter sweeping, very precisely predicting the degree of narrowing in a tube which would result in a 50\% increase in end-to-end pressure difference at a given flow rate. This capability could have applications in both medical diagnosis of arterial disease, and in computer-aided design.


title: Fast Radio Bursts from reconnection events in magnetar magnetospheres

abstract: Lyutikov (2002) predicted "radio emission from soft gamma-ray repeaters (SGRs) during their bursting activity". Detection of a Mega-Jansky radio burst in temporal coincidence with high energy bursts from a Galactic magnetar SGR 1935+2154 confirms that prediction. Similarity of this radio event with Fast Radio Bursts (FRBs) suggests that FRBs are produced within magnetar magnetospheres. We demonstrate that SGR 1935+2154 satisfies the previously derived constraints on the physical parameters at the FRBs' loci. Coherent radio emission is generated in the inner parts of the magnetosphere at $r< 100 R_{\rm NS}$. The radio emission is produced by the yet unidentified plasma emission process, occurring during the initial stages of reconnection events.


title: A mean counting function for Dirichlet series and compact composition operators

abstract: We introduce a mean counting function for Dirichlet series, which plays the same role in the function theory of Hardy spaces of Dirichlet series as the Nevanlinna counting function does in the classical theory. The existence of the mean counting function is related to Jessen and Tornehave's resolution of the Lagrange mean motion problem. We use the mean counting function to describe all compact composition operators with Dirichlet series symbols on the Hardy--Hilbert space of Dirichlet series, thus resolving a problem which has been open since the bounded composition operators were described by Gordon and Hedenmalm. The main result is that such a composition operator is compact if and only if the mean counting function of its symbol satisfies a decay condition at the boundary of a half-plane.


title: Two polymorphs of a new intermetallic Ce$_2$Rh$_2$Ga -- crystal structure and physical properties

abstract: We report on the synthesis and physical properties of the new ternary intermetallic Ce$_2$Rh$_2$Ga. Its formation and dimorphism have been investigated by powder and single crystal X-ray diffractometry, as well as by differential thermal analyses. LT- and HT-Ce$_2$Rh$_2$Ga can be obtained by the chosen respective thermal treatment. The high-temperature form (HT-Ce$_2$Rh$_2$Ga), stable above 864(5){\deg}C, is orthorhombic La2Ni3-type [Cmce, oS20, a=5.851(2) {\AA}, b=9.618 (2) {\AA}, c=7.487 (2) {\AA}, V=421.3(2) {\AA}3]; the low-temperature form (LT-Ce$_2$Rh$_2$Ga), stable below this temperature, is monoclinic Pr2Co2Al- (Ca2Ir2Si-) type [C2/c, mS20, a=10.0903(6) A, b=5.6041(3) A, c=7.8153(4) A, beta=104.995(3) degrees, V=426.88(4) A3]. The magnetic measurements were conducted on two different samples, namely on the LT-Ce$_2$Rh$_2$Ga and the other on the HT-Ce$_2$Rh$_2$Ga sample. The HT-Ce$_2$Rh$_2$Ga compound is found to exhibit a phase transition at 128.5 K. By virtue of the sharp peak anomaly in the temperature dependence of the magnetic susceptibility this phase transition is plausibly of antiferromagnetic origin, but occurs at a remarkably high temperature compared to what is typical for Ce binary and ternary compounds. LT- Ce$_2$Rh$_2$Gaa has a ground state of ferromagnetic nature which sets in at a paramagnetic-to-ferromagnetic phase transition at 5.2 K.


title: Advanced light-shift compensation protocol in a continuous-wave microcell atomic clock

abstract: Light-shifts are known to be an important limitation to the mid- and long-term fractional frequency stability of different types of atomic clocks. In this article, we demonstrate the experimental implementation of an advanced anti-light shift interrogation protocol onto a continuous-wave (CW) microcell atomic clock based on coherent population trapping (CPT). The method, inspired by the Auto-Balanced Ramsey (ABR) spectroscopy technique demonstrated in pulsed atomic clocks, consists in the extraction of atomic-based information from two successive light-shifted clock frequencies obtained at two different laser power values. Two error signals, computed from the linear combination of signals acquired along a symmetric sequence, are managed in a dual-loop configuration to generate a clock frequency free from light-shift. Using this method, the sensitivity of the clock frequency to both laser power and microwave power variations can be reduced by more than an order of magnitude compared to normal operation. In the present experiment, the consideration of the non-linear light-shift dependence allowed to enhance light-shift mitigation. The implemented technique allows a clear improvement of the clock Allan deviation for time scales higher than 1000 s. This method could be applied in various kinds of atomic clocks such as CPT-based atomic clocks, double-resonance Rb clocks, or cell-stabilized lasers.


title: Statistical learning for sensor localization in wireless networks

abstract: Indoor localization has become an important issue for wireless sensor networks. This paper presents a zoning-based localization technique that uses WiFi signals and works efficiently in indoor environments. The targeted area is composed of several zones, the objective being to determine the zone of the sensor using an observation model based on statistical learning.


title: Positional Games and QBF: A Polished Encoding

abstract: Positional games are a mathematical class of two-player games comprising Tic-tac-toe and its generalizations. We propose a novel encoding of these games into Quantified Boolean Formulas (QBFs) such that a game instance admits a winning strategy for the first player if and only if the corresponding formula is true. Our approach improves over previous QBF encodings of games in multiple ways. First, it is generic and lets us encode other positional games, such as Hex. Second, the structural properties of positional games, together with careful treatment of illegal moves, let us generate more compact instances that can be solved faster by state-of-the-art QBF solvers. We establish the latter fact through extensive experiments. Finally, the compactness of our new encoding makes it feasible to translate realistic game problems. We identify a few such problems of historical significance and put them forward to the QBF community as milestones of increasing difficulty.


title: Counterfactual Propagation for Semi-Supervised Individual Treatment Effect Estimation

abstract: Individual treatment effect (ITE) represents the expected improvement in the outcome of taking a particular action to a particular target, and plays important roles in decision making in various domains. However, its estimation problem is difficult because intervention studies to collect information regarding the applied treatments (i.e., actions) and their outcomes are often quite expensive in terms of time and monetary costs. In this study, we consider a semi-supervised ITE estimation problem that exploits more easily-available unlabeled instances to improve the performance of ITE estimation using small labeled data. We combine two ideas from causal inference and semi-supervised learning, namely, matching and label propagation, respectively, to propose counterfactual propagation, which is the first semi-supervised ITE estimation method. Experiments using semi-real datasets demonstrate that the proposed method can successfully mitigate the data scarcity problem in ITE estimation.


title: Magnetic monopoles revisited: Models and searches at colliders and in the Cosmos

abstract: In this review, we discuss recent developments in both the theory and the experimental searches of magnetic monopoles in past, current and future colliders and in the Cosmos. The theoretical models include, apart from the standard Grand Unified Theories, extensions of the Standard Model that admit magnetic monopole solutions with finite energy and masses that can be as light as a few TeV. Specifically, we discuss, among other scenarios, modified Cho-Maison monopoles and magnetic monopoles in (string-inspired, higher derivative) Born-Infeld extensions of the hypercharge sector of the Standard Model. We also outline the conditions for which effective field theories describing the interaction of monopoles with photons are valid and can be used for result interpretation in monopole production at colliders. The experimental part of the review focuses on, past and present, cosmic and collider searches, including the latest bounds on monopole masses and magnetic charges by the ATLAS and MoEDAL experiments at the LHC, as well as prospects for future searches.


title: Generalized Univariate Distributions and a New Asymmetric Laplace Model

abstract: This work provides a survey of the general class of distributions generated from the mixture of the beta random variables. We provide an extensive review of the literature, concerning generating new distributions via the inverse CDF transformation. In particular, we accounted for beta generated and Kumaraswamy generated families of distributions. We provide a brief summary of each of their families of distributions. We also propose a new asymmetric mixture distribution, which is an alternative to beta generated distributions. We provide basic properties of this new class of distributions generated from the Laplace model. We also address the issue of parameter estimation of this new skew generalized Laplace model.


title: Experimental free-space quantum secure direct communication and its security analysis

abstract: We report an experimental implementation of free-space quantum secure direct communication based on single photons. The quantum communication scheme uses phase encoding, and the asymmetric Mach-Zehnder interferometer is optimized so as to automatically compensate phase drift of the photons during their transitions over the free-space medium. An information transmission rate of 500 bps over a 10-meter free space with a mean quantum bit error rate of 0.49%$\pm$0.27% is achieved. The security is analyzed under the scenario that Eve performs collective attack and photon number splitting collective attack. Our results show that quantum secure direct communication is feasible in free space.


title: Calculations of QED effects with the Dirac Green function

abstract: Modern spectroscopic experiments in few-electron atoms reached the level of precision at which an accurate description of quantum electrodynamics (QED) effects is mandatory. In many cases, theoretical treatment of QED effects has to be performed without any expansion in the nuclear binding strength parameter $Z\alpha$ (where $Z$ is the nuclear charge number and $\alpha$ is the fine-structure constant). Such calculations involve multiple summations over the whole spectrum of the Dirac equation in the presence of the binding nuclear field, which can be evaluated in terms of the Dirac Green function. In this paper we describe the technique of numerical calculations of QED corrections with the Dirac Green function, developed in numerous investigations during the last two decades.


title: Predicting time to graduation at a large enrollment American university

abstract: The time it takes a student to graduate with a university degree is mitigated by a variety of factors such as their background, the academic performance at university, and their integration into the social communities of the university they attend. Different universities have different populations, student services, instruction styles, and degree programs, however, they all collect institutional data. This study presents data for 160,933 students attending a large American research university. The data includes performance, enrollment, demographics, and preparation features. Discrete time hazard models for the time-to-graduation are presented in the context of Tinto's Theory of Drop Out. Additionally, a novel machine learning method: gradient boosted trees, is applied and compared to the typical maximum likelihood method. We demonstrate that enrollment factors (such as changing a major) lead to greater increases in model predictive performance of when a student graduates than performance factors (such as grades) or preparation (such as high school GPA).


title: Remotely pumped GHz antibunched emission from single exciton centers in GaAs

abstract: Quantum communication networks require on-chip transfer and manipulation of single particles as well as their interconversion to single photons for long-range information exchange. Flying excitons propelled by GHz surface acoustic waves (SAWs) are outstanding messengers to fulfill these requirements. Here, we demonstrate the acoustic manipulation of single exciton centers consisting of individual excitons bound to shallow impurities centers embedded in a semiconductor quantum well. Time-resolved photoluminescence studies show that the emission intensity and energy from these centers oscillate at the SAW frequency of 3.5 GHz. Furthermore, these centers can be remotely pumped via acoustic transport of flying excitons along a quantum well channel over several microns. Time correlation studies reveal that the centers emit anti-bunched light, thus acting as single-photon sources operating at GHz frequencies. Our results pave the way for the exciton-based on-demand manipulation and on-chip transfer of single excitons at microwave frequencies with a natural photonic interface.


title: Multi-band MelGAN: Faster Waveform Generation for High-Quality Text-to-Speech

abstract: In this paper, we propose multi-band MelGAN, a much faster waveform generation model targeting to high-quality text-to-speech. Specifically, we improve the original MelGAN by the following aspects. First, we increase the receptive field of the generator, which is proven to be beneficial to speech generation. Second, we substitute the feature matching loss with the multi-resolution STFT loss to better measure the difference between fake and real speech. Together with pre-training, this improvement leads to both better quality and better training stability. More importantly, we extend MelGAN with multi-band processing: the generator takes mel-spectrograms as input and produces sub-band signals which are subsequently summed back to full-band signals as discriminator input. The proposed multi-band MelGAN has achieved high MOS of 4.34 and 4.22 in waveform generation and TTS, respectively. With only 1.91M parameters, our model effectively reduces the total computational complexity of the original MelGAN from 5.85 to 0.95 GFLOPS. Our Pytorch implementation, which will be open-resourced shortly, can achieve a real-time factor of 0.03 on CPU without hardware specific optimization.


title: Diffusion-driven demographics -- Turing model as a concept for the emergence of sedentism

abstract: Sedentism was a decisive moment in the history of humankind. In a review article Kay and Kaplan quantified land use for early human settlements and found that sedentism and the emergence of farming go hand in hand. For these settlements two primary land use categories, farming and living, can be identified, whereas for hunter gatherer societies no distinct differences can be made. It is natural to search for this in the behavior of two different groups, settlers and farmers. The development of two distinct zones and the two groups lead us to the hypothesis that the emergence of settlements is the result of diffusion-driven Turing instability. In this short communication we further specify this and show that this results in a regular settlement arrangement as can still be seen today in agricultural regions.


title: Whole-grain Petri nets and processes

abstract: We present a formalism for Petri nets based on polynomial-style finite-set configurations and etale maps. The formalism supports both a geometric semantics in the style of Goltz and Reisig (processes are etale maps from graphs) and an algebraic semantics in the style of Meseguer and Montanari, in terms of free coloured props, and allows the following unification: for P a Petri net, the Segal space of P-processes is shown to be the free coloured prop-in-groupoids on P. There is also an unfolding semantics \`a la Winskel, which bypasses the classical symmetry problems: with the new formalism, every Petri net admits a universal unfolding, which in turn has associated an event structure and a Scott domain. Since everything is encoded with explicit sets, Petri nets and their processes have elements. In particular, individual-token semantics is native. (Collective-token semantics emerges from rather drastic quotient constructions \`a la Best-Devillers, involving taking {\pi}_0 of the groupoids of states.)


title: Indirect Search for Dark Matter from the Galactic Center and Halo with the Super-Kamiokande Detector

abstract: We present a search for an excess of neutrino interactions due to dark matter in the form of Weakly Interacting Massive Particles (WIMPs) annihilating in the galactic center or halo based on the data set of Super-Kamiokande-I, -II, -III and -IV taken from 1996 to 2016. We model the neutrino flux, energy, and flavor distributions assuming WIMP self-annihilation is dominant to $\nu \overline{\nu}$, $\mu^+\mu^-$, $b\overline{b}$, or $W^+W^-$. The excess is in comparison to atmospheric neutrino interactions which are modeled in detail and fit to data. Limits on the self-annihilation cross section $\langle \sigma_{A} V \rangle$ are derived for WIMP masses in the range 1 GeV to 10 TeV, reaching as low as $9.6 \times10^{-23}$ cm$^3$ s$^{-1}$ for 5 GeV WIMPs in $b\bar b$ mode and $1.2 \times10^{-24}$ cm$^3$ s$^{-1}$ for 1 GeV WIMPs in $\nu \bar \nu$ mode. The obtained sensitivity of the Super-Kamiokande detector to WIMP masses below several tens of GeV is the best among similar indirect searches to date.


title: Threat modeling framework for mobile communication systems

abstract: Due to the complex nature of mobile communication systems, most of the security efforts in its domain are isolated and scattered across underlying technologies. This has resulted in an obscure view of the overall security. In this work, we attempt to fix this problem by proposing a domain-specific threat modeling framework. By gleaning from a diverse and large body of security literature, we systematically organize the attacks on mobile communications into various tactics and techniques. Our framework is designed to model adversarial behavior in terms of its attack phases and to be used as a common taxonomy matrix. We also provide concrete examples of using the framework for modeling the attacks individually and comparing them with similar ones.


title: Secure Computation to Hide Functions of Inputs

abstract: We consider a two-user secure computation problem in which Alice and Bob communicate interactively in order to compute some deterministic functions of the inputs. The privacy requirement is that each user should not learn any additional information about a function of the inputs other than what can be inferred from its own input and output. For the distribution-free setting, i.e., when the protocol must be correct and private for any joint input distribution, we completely characterize the set of all securely computable functions. When privacy is required only against Bob who computes a function based on a single transmission from Alice, we show that asymptotically secure computability is equivalent to perfectly secure computability. Separately, we consider an eavesdropper who has access to all the communication and should not learn any information about some function of the inputs (possibly different from the functions to be computed by the users) and show that interaction may be necessary for secure computation.


title: On the Trace Subshifts of Fractional Multiplication Automata

abstract: We address the dynamics of the cellular automaton (CA) that multiplies by $p/q$ in base $pq$ (for coprime $p>q>1$) by studying its trace subshift. We present a conjugacy of the trace to a previously studied base-$p/q$ numeration system. We also show that the trace subshift is not synchronizing and in particular not sofic. As a byproduct we compute its complexity function and we conclude by presenting an example of a sofic shift with the same complexity function.


title: Interpretable random forest models through forward variable selection

abstract: Random forest is a popular prediction approach for handling high dimensional covariates. However, it often becomes infeasible to interpret the obtained high dimensional and non-parametric model. Aiming for obtaining an interpretable predictive model, we develop a forward variable selection method using the continuous ranked probability score (CRPS) as the loss function. Our stepwise procedure leads to a smallest set of variables that optimizes the CRPS risk by performing at each step a hypothesis test on a significant decrease in CRPS risk. We provide mathematical motivation for our method by proving that in population sense the method attains the optimal set. Additionally, we show that the test is consistent provided that the random forest estimator of a quantile function is consistent. In a simulation study, we compare the performance of our method with an existing variable selection method, for different sample sizes and different correlation strength of covariates. Our method is observed to have a much lower false positive rate. We also demonstrate an application of our method to statistical post-processing of daily maximum temperature forecasts in the Netherlands. Our method selects about 10% covariates while retaining the same predictive power.


title: Evaluating Sparse Interpretable Word Embeddings for Biomedical Domain

abstract: Word embeddings have found their way into a wide range of natural language processing tasks including those in the biomedical domain. While these vector representations successfully capture semantic and syntactic word relations, hidden patterns and trends in the data, they fail to offer interpretability. Interpretability is a key means to justification which is an integral part when it comes to biomedical applications. We present an inclusive study on interpretability of word embeddings in the medical domain, focusing on the role of sparse methods. Qualitative and quantitative measurements and metrics for interpretability of word vector representations are provided. For the quantitative evaluation, we introduce an extensive categorized dataset that can be used to quantify interpretability based on category theory. Intrinsic and extrinsic evaluation of the studied methods are also presented. As for the latter, we propose datasets which can be utilized for effective extrinsic evaluation of word vectors in the biomedical domain. Based on our experiments, it is seen that sparse word vectors show far more interpretability while preserving the performance of their original vectors in downstream tasks.


title: Higher integrability for variational integrals with non-standard growth

abstract: We consider autonomous integral functionals of the form $\mathcal F[u]:=\int_\Omega f(D u)\,dx$ with $u:\Omega\to\mathbb R^N$ $N\geq1$, where the convex integrand $f$ satisfies controlled $(p,q)$-growth conditions. We establish higher gradient integrability and partial regularity for minimizers of $\mathcal F$ assuming $\frac{q}p<1+\frac2{n-1}$, $n\geq3$. This improves earlier results valid under the more restrictive assumption $\frac{q}p<1+\frac2{n}$.


title: Families of algebraic structures

abstract: We give a general account of family algebras over a finitely presented linear operad, this operad together with its presentation naturally defining an algebraic structure on the set of parameters.


title: Nearest Neighbor Classifiers over Incomplete Information: From Certain Answers to Certain Predictions

abstract: Machine learning (ML) applications have been thriving recently, largely attributed to the increasing availability of data. However, inconsistency and incomplete information are ubiquitous in real-world datasets, and their impact on ML applications remains elusive. In this paper, we present a formal study of this impact by extending the notion of Certain Answers for Codd tables, which has been explored by the database research community for decades, into the field of machine learning. Specifically, we focus on classification problems and propose the notion of "Certain Predictions" (CP) -- a test data example can be certainly predicted (CP'ed) if all possible classifiers trained on top of all possible worlds induced by the incompleteness of data would yield the same prediction. We study two fundamental CP queries: (Q1) checking query that determines whether a data example can be CP'ed; and (Q2) counting query that computes the number of classifiers that support a particular prediction (i.e., label). Given that general solutions to CP queries are, not surprisingly, hard without assumption over the type of classifier, we further present a case study in the context of nearest neighbor (NN) classifiers, where efficient solutions to CP queries can be developed -- we show that it is possible to answer both queries in linear or polynomial time over exponentially many possible worlds. We demonstrate one example use case of CP in the important application of "data cleaning for machine learning (DC for ML)." We show that our proposed CPClean approach built based on CP can often significantly outperform existing techniques in terms of classification accuracy with mild manual cleaning effort.


title: Dynamical Mean-Field Theory and Aging Dynamics

abstract: Dynamical Mean-Field Theory (DMFT) replaces the many-body dynamical problem with one for a single degree of freedom in a thermal bath whose features are determined self-consistently. By focusing on models with soft disordered $p$-spin interactions, we show how to incorporate the mean-field theory of aging within dynamical mean-field theory. We study cases with only one slow time-scale, corresponding statically to the one-step replica symmetry breaking (1RSB) phase, and cases with an infinite number of slow time-scales, corresponding statically to the full replica symmetry breaking (FRSB) phase. For the former, we show that the effective temperature of the slow degrees of freedom is fixed by requiring critical dynamical behavior on short time-scales, i.e. marginality. For the latter, we find that aging on an infinite number of slow time-scales is governed by a stochastic equation where the clock for dynamical evolution is fixed by the change of effective temperature, hence obtaining a dynamical derivation of the stochastic equation at the basis of the FRSB phase. Our results extend the realm of the mean-field theory of aging to all situations where DMFT holds.


title: Gaussian fluctuations and a law of the iterated logarithm for Nerman's martingale in the supercritical general branching process

abstract: In his, by now, classical work from 1981, Nerman made extensive use of a crucial martingale $(W_t)_{t \geq 0}$ to prove convergence in probability, in mean and almost surely, of supercritical general branching processes (a.k.a. Crump-Mode-Jagers branching processes) counted with a general characteristic. The martingale terminal value $W$ figures in the limits of his results. We investigate the rate at which the martingale, now called Nerman's martingale, converges to its limit $W$. More precisely, assuming the existence of a Malthusian parameter $\alpha > 0$ and $W_0\in L^2$, we prove a functional central limit theorem for $(W-W_{t+s})_{s\in\mathbb{R}}$, properly normalized, as $t\to\infty$. The weak limit is a randomly scaled time-changed Brownian motion. Under an additional technical assumption, we prove a law of the iterated logarithm for $W-W_t$.


title: Surfaces of coordinate finite II-type

abstract: In this article, we study the class of surfaces of revolution in the 3-dimensional Euclidean space $E^{3}$ with nonvanishing Gauss curvature whose position vector $\boldsymbol{x}$ satisfies the condition $\Delta^{II}\boldsymbol{x}=A\boldsymbol{x}$, where $A$ is a square matrix of order 3 and $\Delta^{II}$ denotes the Laplace operator of the second fundamental form $II$ of the surface. We show that a surface of revolution satisfying the preceding relation is a catenoid or part of a sphere.


title: The Structure of Space and Time, and the Indeterminacy of Classical Physics

abstract: I explain in what sense the structure of space and time is probably vague or indefinite, a notion I define. This leads to the mathematical representation of location in space and time by a vague interval. From this, a principle of complementary inaccuracy between spatial location and velocity is derived, and its relation to the Uncertainty Principle discussed. In addition, even if the laws of nature are deterministic, the behaviour of systems will be random to some degree. These and other considerations draw classical physics closer to Quantum Mechanics. An arrow of entropy is also derived, given an arrow of time. Lastly, chaos is given an additional, objective meaning.


title: Hyers--Ulam stability for quantum equations

abstract: We introduce and study the Hyers--Ulam stability (HUS) of a Cayley quantum ($q$-difference) equation of first order, where the constant coefficient is allowed to range over the complex numbers. In particular, if this coefficient is non-zero, then the quantum equation has Hyers--Ulam stability for certain values of the Cayley parameter, and we establish the best (minimal) HUS constant in terms of the coefficient only, independent of $q$ and the Cayley parameter. If the Cayley parameter equals one half, then there is no Hyers--Ulam stability for any coefficient value in the complex plane.


title: Fine-Grained Visual Classification with Efficient End-to-end Localization

abstract: The term fine-grained visual classification (FGVC) refers to classification tasks where the classes are very similar and the classification model needs to be able to find subtle differences to make the correct prediction. State-of-the-art approaches often include a localization step designed to help a classification network by localizing the relevant parts of the input images. However, this usually requires multiple iterations or passes through a full classification network or complex training schedules. In this work we present an efficient localization module that can be fused with a classification network in an end-to-end setup. On the one hand the module is trained by the gradient flowing back from the classification network. On the other hand, two self-supervised loss functions are introduced to increase the localization accuracy. We evaluate the new model on the three benchmark datasets CUB200-2011, Stanford Cars and FGVC-Aircraft and are able to achieve competitive recognition performance.


title: Contextuality versus Incompatibility

abstract: Our aim is to compare the fundamental notions of quantum physics - contextuality vs. incompatibility. One has to distinguish two different notions of contextuality, {\it Bohr-contextuality} and {\it Bell-contextuality}. The latter is defined operationally via violation of noncontextuality (Bell type) inequalities. This sort of contextuality will be compared with incompatibility. It is easy to show that, for quantum observables, there is {\it no contextuality without incompatibility.} The natural question arises: What is contextuality without incompatibility? (What is "dry-residue"?) Generally this is the very complex question. We concentrated on contextuality for four quantum observables. We shown that in the CHSH-scenarios (for "natural quantum observables") {\it contextuality is reduced to incompatibility.} However, generally contextuality without incompatibility may have some physical content. We found a mathematical constraint extracting the contextuality component from incompatibility. However, the physical meaning of this constraint is not clear. In appendix 1, we briefly discuss another sort of contextuality based on the Bohr's complementarity principle which is treated as the {\it contextuality-incompatibility principle}. Bohr-contextuality plays the crucial role in quantum foundations. Incompatibility is, in fact, a consequence of Bohr-contextuality. Finally, we remark that outside of physics, e.g., in cognitive psychology and decision making Bell-contextuality cleaned of incompatibility can play the important role.


title: FroDO: From Detections to 3D Objects

abstract: Object-oriented maps are important for scene understanding since they jointly capture geometry and semantics, allow individual instantiation and meaningful reasoning about objects. We introduce FroDO, a method for accurate 3D reconstruction of object instances from RGB video that infers object location, pose and shape in a coarse-to-fine manner. Key to FroDO is to embed object shapes in a novel learnt space that allows seamless switching between sparse point cloud and dense DeepSDF decoding. Given an input sequence of localized RGB frames, FroDO first aggregates 2D detections to instantiate a category-aware 3D bounding box per object. A shape code is regressed using an encoder network before optimizing shape and pose further under the learnt shape priors using sparse and dense shape representations. The optimization uses multi-view geometric, photometric and silhouette losses. We evaluate on real-world datasets, including Pix3D, Redwood-OS, and ScanNet, for single-view, multi-view, and multi-object reconstruction.


title: The Thue-Morse substitutions and self-similar groups and algebras

abstract: We introduce self-similar algebras and groups closely related to the Thue-Morse sequence, and begin their investigation by describing a character on them, the "spread" character.


title: Asymptotic Reduction of a Lithium-ion Pouch Cell Model

abstract: A three-dimensional model of a single-layer lithium-ion pouch cell is presented which couples conventional porous electrode theory describing cell electrochemical behaviour with an energy balance describing cell thermal behaviour. Asymptotic analysis of the model is carried out by exploiting the small aspect ratio typical of pouch cell designs. The analysis reveals the scaling that results in a distinguished limit, and highlights the role played by the electrical conductivities of the current collectors. The resulting model comprises a collection of one-dimensional models for the through-cell electrochemical behaviour which are coupled via two-dimensional problems for the Ohmic and thermal behaviour in the planar current collectors. A further limit is identified which reduces the problem to a single volume-averaged through-cell model, greatly reducing the computational complexity. Numerical simulations are presented which illustrate and validate the asymptotic results.


title: An Effective Dynamic Spatio-temporal Framework with Multi-Source Information for Traffic Prediction

abstract: Traffic prediction is necessary not only for management departments to dispatch vehicles but also for drivers to avoid congested roads. Many traffic forecasting methods based on deep learning have been proposed in recent years, and their main aim is to solve the problem of spatial dependencies and temporal dynamics. In this paper, we propose a useful dynamic model to predict the urban traffic volume by combining fully bidirectional LSTM, the more complex attention mechanism, and the external features, including weather conditions and events. First, we adopt the bidirectional LSTM to obtain temporal dependencies of traffic volume dynamically in each layer, which is different from the hybrid methods combining bidirectional and unidirectional ones; second, we use a more elaborate attention mechanism to learn short-term and long-term periodic temporal dependencies; and finally, we collect the weather conditions and events as the external features to further improve the prediction precision. The experimental results show that the proposed model improves the prediction precision by approximately 3-7 percent on the NYC-Taxi and NYC-Bike datasets compared to the most recently developed method, being a useful tool for the urban traffic prediction.