title: The first 100 days: modeling the evolution of the COVID-19 pandemic

abstract: A simple analytical model for modeling the evolution of the 2020 COVID-19 pandemic is presented. The model is based on the numerical solution of the widely used Susceptible-Infectious-Removed (SIR) populations model for describing epidemics. We consider an expanded version of the original Kermack-McKendrick model, which includes a decaying value of the parameter $\beta$ (the effective contact rate) due to externally imposed conditions, to which we refer as the forced-SIR (FSIR) model. We introduce an approximate analytical solution to the differential equations that represent the FSIR model which gives very reasonable fits to real data for a number of countries over a period of 100 days (from the first onset of exponential increase, in China). The proposed model contains 3 adjustable parameters which are obtained by fitting actual data (up to April 28, 2020). We analyze these results to infer the physical meaning of the parameters involved. We use the model to make predictions about the total expected number of infections in each country as well as the date when the number of infections will have reached 99% of this total. We also compare key findings of the model with recently reported results on the high contagiousness and rapid spread of the disease.


title: Covid-19 and contact tracing apps: A review under the European legal framework

abstract: In this article, we would like to review the main technologies that have been proposed so far to fight the spread of the virus. Also, we would like to give an overview of the policy recommendations that some European organisations have put forward in these regards. Finally, we conclude with some considerations we would like to present to public attention and discussion.


title: Avoiding local minima in variational quantum eigensolvers with the natural gradient optimizer

abstract: We compare the BFGS optimizer, ADAM and Natural Gradient Descent (NatGrad) in the context of Variational Quantum Eigensolvers (VQEs). We systematically analyze their performance on the QAOA ansatz for the Transverse Field Ising Model (TFIM) as well as on overparametrized circuits with the ability to break the symmetry of the Hamiltonian. The BFGS algorithm is frequently unable to find a global minimum for systems beyond about 20 spins and ADAM easily gets trapped in local minima. On the other hand, NatGrad shows stable performance on all considered system sizes, albeit at a significantly higher cost per epoch. In sharp contrast to most classical gradient based learning, the performance of all optimizers is found to decrease upon seemingly benign overparametrization of the ansatz class, with BFGS and ADAM failing more often and more severely than NatGrad. Additional tests for the Heisenberg XXZ model corroborate the accuracy problems of BFGS in high dimensions, but they reveal some shortcomings of NatGrad as well. Our results suggest that great care needs to be taken in the choice of gradient based optimizers and the parametrization for VQEs.


title: NUBIA: NeUral Based Interchangeability Assessor for Text Generation

abstract: We present NUBIA, a methodology to build automatic evaluation metrics for text generation using only machine learning models as core components. A typical NUBIA model is composed of three modules: a neural feature extractor, an aggregator and a calibrator. We demonstrate an implementation of NUBIA which outperforms metrics currently used to evaluate machine translation, summaries and slightly exceeds/matches state of the art metrics on correlation with human judgement on the WMT segment-level Direct Assessment task, sentence-level ranking and image captioning evaluation. The model implemented is modular, explainable and set to continuously improve over time.


title: Very long baseline astrometry of PSR J1012+5307 and its implications on alternative theories of gravity

abstract: PSR J1012+5307, a millisecond pulsar in orbit with a helium white dwarf (WD), has been timed with high precision for about 25 years. One of the main objectives of this long-term timing is to use the large asymmetry in gravitational binding energy between the neutron star and the WD to test gravitational theories. Such tests, however, will be eventually limited by the accuracy of the distance to the pulsar. Here, we present VLBI (very long baseline interferometry) astrometry results spanning approximately 2.5 years for PSR J1012+5307, obtained with the Very Long Baseline Array as part of the MSPSRPI project. These provide the first proper motion and absolute position for PSR J1012+5307 measured in a quasi-inertial reference frame. From the VLBI results, we measure a distance of $0.83^{+0.06}_{-0.02}$kpc (all the estimates presented in the abstract are at 68% confidence) for PSR J1012+5307, which is the most precise obtained to date. Using the new distance, we improve the uncertainty of measurements of the unmodeled contributions to orbital period decay, which, combined with three other pulsars, places new constraints on the coupling constant for dipole gravitational radiation $\kappa_D=(-1.7\pm1.7)\times 10^{-4}$ and the fractional time derivative of Newton's gravitational constant $\dot{G}/G = -1.8^{\,+5.6}_{\,-4.7}\times 10^{-13}\,{\rm yr^{-1}}$ in the local universe. As the uncertainties of the observed decays of orbital period for the four leading pulsar-WD systems become negligible in $\approx10$ years, the uncertainties for $\dot{G}/G$ and $\kappa_D$ will be improved to $\leq1.5\times10^{-13}\,{\rm yr^{-1}}$ and $\leq1.0\times10^{-4}$, respectively, predominantly limited by the distance uncertainties.


title: Kosterlitz-Thouless phase and $Z_d$ topological quantum phase

abstract: It has been known that encoding Boltzmann weights of a classical spin model in amplitudes of a many-body wave function can provide quantum models whose phase structure is characterized by using classical phase transitions. In particular, such correspondence can lead to find new quantum phases corresponding to well-known classical phases. Here, we investigate this problem for Kosterlitz-Thouless (KT) phase in the d-state clock model where we find a corresponding quantum model constructed by applying a local invertible transformation on a d-level version of Kitaev's Toric code. In particular, we show the ground state fidelity in such quantum model is mapped to the heat capacity of the clock model. Accordingly, we identify an extended topological phase transition in our model in a sense that, for $d \geq 5$, a KT-like quantum phase emerges between a $Z_d$ topological phase and a trivial phase. Then, using a mapping to the correlation function in the clock model, we introduce a non-local (string) observable for the quantum model which exponentially decays in terms of distance between two endpoints of the corresponding string in the $Z_d$ topological phase while it shows a power law behavior in the KT-like phase. Finally, using well-known transition temperatures for d-state clock model we give evidences to show that while stability of both $Z_d$ topological phase and the KT-like phase increases by increasing d, the KT-like phase is even more stable than the $Z_d$ topological phase for large d.


title: On the Discreteness of Transmission Eigenvalues for the Maxwell Equations

abstract: In this paper, we establish the discreteness of transmission eigenvalues for Maxwell's equations. More precisely, we show that the spectrum of the transmission eigenvalue problem is discrete, if the electromagnetic parameters $\eps, \, \mu, \, \heps, \, \hmu$ in the equations characterizing the inhomogeneity and background, are smooth in some neighborhood of the boundary, isotropic on the boundary, and satisfy the conditions $\eps \neq \heps$, $\mu \neq \hmu$, and $\eps/ \mu \neq \heps/ \hmu$ on the boundary. These are quite general assumptions on the coefficients which are easy to check. To our knowledge, our paper is the first to establish discreteness of transmission eigenvalues for Maxwell's equations without assuming any restrictions on the sign combination of the contrasts $\eps-\heps$ and $\mu - \hmu$ near the boundary, and allowing for all the electromagnetic parameters to be inhomogeneous and anisotropic, except for on the boundary where they are isotropic but not necessarily constant as it is often assumed in the literature.


title: Spectral Theory of Laplace Operators on Oriented Hypergraphs

abstract: Several new spectral properties of the normalized Laplacian defined for oriented hypergraphs are shown. The eigenvalue $1$ and the case of duplicate vertices are discussed; two Courant nodal domain theorems are established; new quantities that bound the eigenvalues are introduced. In particular, the Cheeger constant is generalized and it is shown that the classical Cheeger bounds can be generalized for some classes of hypergraphs; it is shown that a geometric quantity used to study zonotopes bounds the largest eigenvalue from below, and that the notion of coloring number can be generalized and used for proving a Hoffman-like bound. Finally, the spectrum of the unnormalized Laplacian for Cartesian products of hypergraphs is discussed.


title: Attentive Weakly Supervised land cover mapping for object-based satellite image time series data with spatial interpretation

abstract: Nowadays, modern Earth Observation systems continuously collect massive amounts of satellite information. The unprecedented possibility to acquire high resolution Satellite Image Time Series (SITS) data (series of images with high revisit time period on the same geographical area) is opening new opportunities to monitor the different aspects of the Earth Surface but, at the same time, it is raising up new challenges in term of suitable methods to analyze and exploit such huge amount of rich and complex image data. One of the main task associated to SITS data analysis is related to land cover mapping where satellite data are exploited via learning methods to recover the Earth Surface status aka the corresponding land cover classes. Due to operational constraints, the collected label information, on which machine learning strategies are trained, is often limited in volume and obtained at coarse granularity carrying out inexact and weak knowledge that can affect the whole process. To cope with such issues, in the context of object-based SITS land cover mapping, we propose a new deep learning framework, named TASSEL (aTtentive weAkly Supervised Satellite image time sEries cLassifier), that is able to intelligently exploit the weak supervision provided by the coarse granularity labels. Furthermore, our framework also produces an additional side-information that supports the model interpretability with the aim to make the black box gray. Such side-information allows to associate spatial interpretation to the model decision via visual inspection.


title: Atmospheric dynamics on terrestrial planets with eccentric orbits

abstract: The insolation a planet receives from its parent star is the main driver of the climate and depends on the planet's orbital configuration. Planets with non-zero obliquity and eccentricity experience seasonal insolation variations. As a result, the climate exhibits a seasonal cycle, with its strength depending on the orbital configuration and atmospheric characteristics. In this study, using an idealized general circulation model, we examine the climate response to changes in eccentricity for both zero and non-zero obliquity planets. In the zero obliquity case, a comparison between the seasonal response to changes in eccentricity and perpetual changes in the solar constant shows that the seasonal response strongly depends on the orbital period and radiative timescale. More specifically, using a simple energy balance model, we show the importance of the latitudinal structure of the radiative timescale in the climate response. We also show that the response strongly depends on the atmospheric moisture content. The combination of an eccentric orbit with non-zero obliquity is complex, as the insolation also depends on the perihelion position. Although the detailed response of the climate to variations in eccentricity, obliquity, and perihelion is involved, the circulation is constrained mainly by the thermal Rossby number and the maximum temperature latitude. Finally, we discuss the importance of different planetary parameters that affect the climate response to orbital configuration variations.


title: SS3D: Single Shot 3D Object Detector

abstract: Single stage deep learning algorithm for 2D object detection was made popular by Single Shot MultiBox Detector (SSD) and it was heavily adopted in several embedded applications. PointPillars is a state of the art 3D object detection algorithm that uses a Single Shot Detector adapted for 3D object detection. The main downside of PointPillars is that it has a two stage approach with learned input representation based on fully connected layers followed by the Single Shot Detector for 3D detection. In this paper we present Single Shot 3D Object Detection (SS3D) - a single stage 3D object detection algorithm which combines straight forward, statistically computed input representation and a Single Shot Detector (based on PointPillars). Computing the input representation is straight forward, does not involve learning and does not have much computational cost. We also extend our method to stereo input and show that, aided by additional semantic segmentation input; our method produces similar accuracy as state of the art stereo based detectors. Achieving the accuracy of two stage detectors using a single stage approach is important as single stage approaches are simpler to implement in embedded, real-time applications. With LiDAR as well as stereo input, our method outperforms PointPillars. When using LiDAR input, our input representation is able to improve the AP3D of Cars objects in the moderate category from 74.99 to 76.84. When using stereo input, our input representation is able to improve the AP3D of Cars objects in the moderate category from 38.13 to 45.13. Our results are also better than other popular 3D object detectors such as AVOD and F-PointNet.


title: End-to-End Neural Word Alignment Outperforms GIZA++

abstract: Word alignment was once a core unsupervised learning task in natural language processing because of its essential role in training statistical machine translation (MT) models. Although unnecessary for training neural MT models, word alignment still plays an important role in interactive applications of neural machine translation, such as annotation transfer and lexicon injection. While statistical MT methods have been replaced by neural approaches with superior performance, the twenty-year-old GIZA++ toolkit remains a key component of state-of-the-art word alignment systems. Prior work on neural word alignment has only been able to outperform GIZA++ by using its output during training. We present the first end-to-end neural word alignment method that consistently outperforms GIZA++ on three data sets. Our approach repurposes a Transformer model trained for supervised translation to also serve as an unsupervised word alignment model in a manner that is tightly integrated and does not affect translation quality.


title: Pseudo-effective and numerically flat reflexive sheaves

abstract: In this note, we discuss the concept of pseudoeffective vector bundle and also introduce pseudoeffective torsion-free sheaves over compact K\"ahler manifolds. We show that a pseudoeffective reflexive sheaf over a compact K\"ahler manifold with vanishing first Chern class is in fact a numerically flat vector bundle. A proof is obtained through a natural construction of positive currents representing the Segre classes of pseudoeffective vector bundles.


title: AMPERSAND: Argument Mining for PERSuAsive oNline Discussions

abstract: Argumentation is a type of discourse where speakers try to persuade their audience about the reasonableness of a claim by presenting supportive arguments. Most work in argument mining has focused on modeling arguments in monologues. We propose a computational model for argument mining in online persuasive discussion forums that brings together the micro-level (argument as product) and macro-level (argument as process) models of argumentation. Fundamentally, this approach relies on identifying relations between components of arguments in a discussion thread. Our approach for relation prediction uses contextual information in terms of fine-tuning a pre-trained language model and leveraging discourse relations based on Rhetorical Structure Theory. We additionally propose a candidate selection method to automatically predict what parts of one's argument will be targeted by other participants in the discussion. Our models obtain significant improvements compared to recent state-of-the-art approaches using pointer networks and a pre-trained language model.


title: Limiting regimes of turbulent horizontal convection. Part I: Intermediate and low Prandtl numbers

abstract: We report the existence of two new limiting turbulent regimes in horizontal convection (HC) using direct numerical simulations at intermediate to low Prandtl numbers. The flow driven by a horizontal gradient along a horizontal surface, perpendicular to the acceleration of gravity is shown to transition to turbulence in the plume and the core, modifying the rate of heat and momentum transport. These transitions set a sequence of scaling laws blending the theoretical arguments from both the Shishkina, Grossmann & Lohse (SGL) theory with the Hughes, Griffiths & Mullarney (HGM) regime. These results embed the HGM model in the SGL theory, agree, and extend the known regime diagram of horizontal convection at high Rayleigh numbers. In particular, we show that HC and Rayleigh-B\'enard share similar turbulent characteristics at low-Prandtl numbers, where HC is shown for the first time to be ruled by its core dynamics and turbulent boundary layers. This new scenario confirms that fully turbulent HC enhances the transport of heat and momentum with respect to previously reported regimes at high Rayleigh numbers. This work provides new insights on the applicability of horizontal convection for geophysical flows such as overturning circulations found in the atmosphere, the oceans, and flows near the earth's inner core.


title: Limiting regimes of turbulent horizontal convection. Part II : Large Prandtl numbers

abstract: Horizontal Convection (HC) at large Rayleigh and Prandtl numbers, is studied experimentally in a regime up to seven orders of magnitude larger in terms of Rayleigh numbers than previously achieved. To reach Rayleigh up to $10^{17}$, the horizontal density gradient is generated using differential solutal convection by a differential input of salt and fresh water controlled by diffusion in a novel experiment where the zero-net mass flux of water is ensured through permeable membranes. This setup allows for measuring accurately the Nusselt number in solutal convection by carefully controlling the amount of salt water exchanged through the membranes. Combined measurements of density and velocity across more than five orders of magnitude in Rayleigh numbers show that the flow transitions from the Beardsley & Festa regime to the Chiu-Webster et al. regime and frames the present results within the scope of Shishkina et al., and the companion paper theory. In particular, we show that even for large Prandtl numbers, the circulation eventually clusters underneath the forcing horizontal boundary leaving a stratified core without motion. Finally, previous regime diagrams are extended combining the present results at high Prandtl numbers, the results at low Prandtl numbers of the companion paper, together with previous results from the literature. This work sets a new picture of the transition landscape of horizontal convection across six orders of magnitude in Prandtl number and sixteen orders of magnitude in Rayleigh numbers.


title: Blow-up analysis of conformal metrics of the disk with prescribed Gaussian and geodesic curvatures

abstract: This paper is concerned with the compactness of metrics of the disk with prescribed Gaussian and geodesic curvatures. We consider a blowing-up sequence of metrics and give a precise description of its asymptotic behavior. In particular, the metrics blow-up at a unique point on the boundary and we are able to give necessary conditions on its location. It turns out that such conditions depend locally on the Gaussian curvatures but they depend on the geodesic curvatures in a nonlocal way. This is a novelty with respect to the classical Nirenberg problem where the blow-up conditions are local, and this new aspect is driven by the boundary condition.


title: Learning nonlinear dynamical systems from a single trajectory

abstract: We introduce algorithms for learning nonlinear dynamical systems of the form $x_{t+1}=\sigma(\Theta^{\star}x_t)+\varepsilon_t$, where $\Theta^{\star}$ is a weight matrix, $\sigma$ is a nonlinear link function, and $\varepsilon_t$ is a mean-zero noise process. We give an algorithm that recovers the weight matrix $\Theta^{\star}$ from a single trajectory with optimal sample complexity and linear running time. The algorithm succeeds under weaker statistical assumptions than in previous work, and in particular i) does not require a bound on the spectral norm of the weight matrix $\Theta^{\star}$ (rather, it depends on a generalization of the spectral radius) and ii) enjoys guarantees for non-strictly-increasing link functions such as the ReLU. Our analysis has two key components: i) we give a general recipe whereby global stability for nonlinear dynamical systems can be used to certify that the state-vector covariance is well-conditioned, and ii) using these tools, we extend well-known algorithms for efficiently learning generalized linear models to the dependent setting.


title: Beam-Normal Single Spin Asymmetry in Elastic Electron Scattering off $^{28}$Si and $^{90}$Zr

abstract: We report on a new measurement of the beam-normal single spin asymmetry $A_{\mathrm{n}}$ in the elastic scattering of 570 MeV transversely polarized electrons off $^{28}$Si and $^{90}$Zr at $Q^{2}=0.04\, \mathrm{GeV}^2/c^2$. The studied kinematics allow for a comprehensive comparison with former results on $^{12}$C. No significant mass dependence of the beam-normal single spin asymmetry is observed in the mass regime from $^{12}$C to $^{90}$Zr.


title: Moduli-friendly Eisenstein series over the p-adics and the computation of modular Galois representations

abstract: We show how our p-adic method to compute Galois representations occurring in the torsion of Jacobians of algebraic curves can be adapted to modular curves. The main ingredient is the use of "moduli-friendly" Eisenstein series introduced by Makdisi, which allow us to evaluate modular forms at p-adic of modular curves points and dispenses us of the need for equations of modular curves and for q-expansion computations. The resulting algorithm compares very favourably to the complex-analytic method.


title: Sim-to-Real Transfer with Incremental Environment Complexity for Reinforcement Learning of Depth-Based Robot Navigation

abstract: Transferring learning-based models to the real world remains one of the hardest problems in model-free control theory. Due to the cost of data collection on a real robot and the limited sample efficiency of Deep Reinforcement Learning algorithms, models are usually trained in a simulator which theoretically provides an infinite amount of data. Despite offering unbounded trial and error runs, the reality gap between simulation and the physical world brings little guarantee about the policy behavior in real operation. Depending on the problem, expensive real fine-tuning and/or a complex domain randomization strategy may be required to produce a relevant policy. In this paper, a Soft-Actor Critic (SAC) training strategy using incremental environment complexity is proposed to drastically reduce the need for additional training in the real world. The application addressed is depth-based mapless navigation, where a mobile robot should reach a given waypoint in a cluttered environment with no prior mapping information. Experimental results in simulated and real environments are presented to assess quantitatively the efficiency of the proposed approach, which demonstrated a success rate twice higher than a naive strategy.


title: Design and Implementation of Air Selection based Augmented Reality Serious Game for Learning Capability Analysis

abstract: Rising advancements and ICT have changed the way of life of society, every single logical zone are exploiting innovation to get a genuine improvement. Specialists understand the advantages of utilizing genuine games as a dependable device in psychoanalyst. Hence, the exploration looks at important issues in regards to Dyspraxia issue in youngsters and presents a similar report in the treatments strategies by utilizing a non autonomous riddle and by utilizing the game, a Serious Game created in the intension of helping kids suffering from Dyspraxia to enhance their engine aptitudes and deftness through innovation. The investigation of information results indicated that exist a critical distinction among the two strategies, demonstrating that youngsters spending time with Serious Game got little schedule in the movement running and furthermore enhanced execution.


title: Dissipative Distillation of Supercritical Quantum Gases

abstract: We experimentally realize a method to produce non-equilibrium Bose Einstein condensates with condensed fraction exceeding those of equilibrium samples with the same parameters. To do this, we immerse an ultracold Bose gas of 87Rb in a cloud of 39K with substantially higher temperatures, providing a controlled source of dissipation. By combining the action of the dissipative environment with evaporative cooling, we are able to progressively distil the non-equilibrium Bose-Einstein condensate from the thermal cloud. We show that by increasing the strength of the dissipation it is even possible to produce condensates above the critical temperature. We finally demonstrate that our out-of-equilibrium samples are long-lived and do not reach equilibrium in a time that is accessible for our experiment. Due to its high degree of control, our distillation process is a promising tool for the engineering of open quantum systems.


title: New physics in $b\to s \ell\ell$ decays with complex Wilson coefficients

abstract: We perform a data-driven analysis of new physics (NP) effects in exclusive $b \to s \ell^+\ell^-$ decays in a model-independent effective theory approach with dimension six operators considering scalar, pseudo-scalar, vector and axial-vector operators with the corresponding Wilson coefficients (WC) taken to be complex. The analysis has been done with the most recent data while comparing the outcome with that from the relatively old data-set. We find that a left-handed quark current with vector muon coupling is the only one-operator $(\mathcal{O}_9)$ scenario that can explain the data in both the cases with real and complex WC with a large non-zero imaginary contribution. We simultaneously apply model selection tools like cross-validation and information-theoretic approach like Akaike Information Criterion (AIC) to find out the operator or sets of operators that can best explain the available data in this channel. The $\mathcal{O}_9$ with complex WC is the only one-operator scenario which survives the test. However, there are a few two and three-operator scenarios (with real or complex WCs) which survive the test, and the operator $\mathcal{O}_9$ is common among them.


title: Measurement of swelling-induced residual stress in ion implanted SiC, and its effect on micromechanical properties

abstract: Ion implantation is widely used as a surrogate for neutron irradiation in the investigation of radiation damage on the properties of materials. Due to the small depth of damage, micromechanical methods must be used to extract material properties. In this work, nanoindentation has been applied to ion irradiated silicon carbide to extract radiation-induced hardening. Residual stress is evaluated using HR-EBSD, AFM swelling measurements, and a novel microcantilever relaxation technique coupled with finite element modelling. Large compressive residual stresses of several GPa are found in the irradiated material, which contribute to the significant hardening observed in nanoindentation measurements. The origin of these residual stresses and the associated hardening is the unirradiated substrate which constrains radiation swelling. Comparisons with other materials susceptible to irradiation swelling show that this effect should not be neglected in studying the effects of ion irradiation damage on mechanical properties. This constraint may also be influencing fundamental radiation defects. This has significant implications for the suitability of ion implantation as a surrogate for neutron irradiations. These results demonstrate the significance of swelling-induced residual stresses in nuclear reactor components, and the impact on structural integrity of reactor components.


title: The dynamics of natural selection in dispersal-structured populations

abstract: The problem of natural selection in dispersal-structured populations consisting of individuals characterized by different diffusion coefficients is studied. The competition between the organisms is taken into account through the assumption that the reproduction and/or death probability of an individual is influenced by the number of other individuals within a neighborhood with radius R. It is observed that for a wide range of parameters the competition advantage is given to the individuals whose motion is characterized by intermediate values of diffusion coefficient, instead of the most or least motile ones. The optimal level of the dispersal is determined by the interplay between various factors such as cluster formation, temporal fluctuations, initial conditions, and carrying capacity of the system. The dynamics and the time evolution of the system are investigated in detail revealing the winning mechanism and process of the natural selection in such dispersal-structured populations. Furthermore, the rescaling of the results is discussed for different values of the interaction radius R of the organisms.

categories: nlin.AO cond-mat.stat-mech nlin.PS physics.bio-ph


title: AIBench Training: Balanced Industry-Standard AI Training Benchmarking

abstract: Earlier-stage evaluations of a new AI architecture/system need affordable benchmarks. Only using a few AI component benchmarks like MLPerfalone in the other stages may lead to misleading conclusions. Moreover, the learning dynamics are not well understood, and the benchmarks' shelf-life is short. This paper proposes a balanced benchmarking methodology. We use real-world benchmarks to cover the factors space that impacts the learning dynamics to the most considerable extent. After performing an exhaustive survey on Internet service AI domains, we identify and implement nineteen representative AI tasks with state-of-the-art models. For repeatable performance ranking (RPR subset) and workload characterization (WC subset), we keep two subsets to a minimum for affordability. We contribute by far the most comprehensive AI training benchmark suite. The evaluations show: (1) AIBench Training (v1.1) outperforms MLPerfTraining (v0.7) in terms of diversity and representativeness of model complexity, computational cost, convergent rate, computation, and memory access patterns, and hotspot functions; (2) Against the AIBench full benchmarks, its RPR subset shortens the benchmarking cost by 64%, while maintaining the primary workload characteristics; (3) The performance ranking shows the single-purpose AI accelerator like TPU with the optimized TensorFlowframework performs better than that of GPUs while losing the latter's general support for various AI models. The specification, source code, and performance numbers are available from the AIBench homepage https://www.benchcouncil.org/aibench-training/index.html.


title: A Cost-efficient IoT Forensics Framework with Blockchain

abstract: IoT devices have been adopted widely in the last decade which enabled collection of various data from different environments. The collected data is crucial in certain applications where IoT devices generate data for critical infrastructure or systems whose failure may result in catastrophic results. Specifically, for such critical applications, data storage poses challenges since the data may be compromised during the storage and the integrity might be violated without being noticed. In such cases, integrity and data provenance are required in order to be able to detect the source of any incident and prove it in legal cases if there is a dispute with the involved parties. To address these issues, blockchain provides excellent opportunities since it can protect the integrity of the data thanks to its distributed structure. However, it comes with certain costs as storing huge amount of data in a public blockchain will come with significant transaction fees. In this paper, we propose a highly cost effective and reliable digital forensics framework by exploiting multiple inexpensive blockchain networks as a temporary storage before the data is committed to Ethereum. To reduce Ethereum costs,we utilize Merkle trees which hierarchically stores hashes of the collected event data from IoT devices. We evaluated the approach on popular blockchains such as EOS, Stellar, and Ethereum by presenting a cost and security analysis. The results indicate that we can achieve significant cost savings without compromising the integrity of the data.


title: Sparse Hashing for Scalable Approximate Model Counting: Theory and Practice

abstract: Given a CNF formula F on n variables, the problem of model counting or #SAT is to compute the number of satisfying assignments of F . Model counting is a fundamental but hard problem in computer science with varied applications. Recent years have witnessed a surge of effort towards developing efficient algorithmic techniques that combine the classical 2-universal hashing with the remarkable progress in SAT solving over the past decade. These techniques augment the CNF formula F with random XOR constraints and invoke an NP oracle repeatedly on the resultant CNF-XOR formulas. In practice, calls to the NP oracle calls are replaced a SAT solver whose runtime performance is adversely affected by size of XOR constraints. The standard construction of 2-universal hash functions chooses every variable with probability p = 1/2 leading to XOR constraints of size n/2 in expectation. Consequently, the challenge is to design sparse hash functions where variables can be chosen with smaller probability and lead to smaller sized XOR constraints. In this paper, we address this challenge from theoretical and practical perspectives. First, we formalize a relaxation of universal hashing, called concentrated hashing and establish a novel and beautiful connection between concentration measures of these hash functions and isoperimetric inequalities on boolean hypercubes. This allows us to obtain (log m) tight bounds on variance and dispersion index and show that p = O( log(m)/m ) suffices for design of sparse hash functions from {0, 1}^n to {0, 1}^m. We then use sparse hash functions belonging to this concentrated hash family to develop new approximate counting algorithms. A comprehensive experimental evaluation of our algorithm on 1893 benchmarks demonstrates that usage of sparse hash functions can lead to significant speedups.


title: Semi-Supervised Text Simplification with Back-Translation and Asymmetric Denoising Autoencoders

abstract: Text simplification (TS) rephrases long sentences into simplified variants while preserving inherent semantics. Traditional sequence-to-sequence models heavily rely on the quantity and quality of parallel sentences, which limits their applicability in different languages and domains. This work investigates how to leverage large amounts of unpaired corpora in TS task. We adopt the back-translation architecture in unsupervised machine translation (NMT), including denoising autoencoders for language modeling and automatic generation of parallel data by iterative back-translation. However, it is non-trivial to generate appropriate complex-simple pair if we directly treat the set of simple and complex corpora as two different languages, since the two types of sentences are quite similar and it is hard for the model to capture the characteristics in different types of sentences. To tackle this problem, we propose asymmetric denoising methods for sentences with separate complexity. When modeling simple and complex sentences with autoencoders, we introduce different types of noise into the training process. Such a method can significantly improve the simplification performance. Our model can be trained in both unsupervised and semi-supervised manner. Automatic and human evaluations show that our unsupervised model outperforms the previous systems, and with limited supervision, our model can perform competitively with multiple state-of-the-art simplification systems.


title: Pseudoconvex domains with smooth boundary in projective spaces

abstract: Given a pseudoconvex domain U with C^1-boundary in P^n, n>2, we show that if H^{2n-2}_\dR}(U)\not=0, then there is a strictly psh function in a neighborhood of boundary U. We also solve the \dbar-equation in X=P^n\ U, for data smooth (0,1) forms on X. We also discuss Levi-flat domains in surfaces. If Z is a real algebraic hypersurface in P^2, (resp a real-analytic hypersurface with a point of strict pseudoconvexity), then there is a strictly psh function in a neighborhood of Z.


title: White Paper on 6G Drivers and the UN SDGs

abstract: The commercial launch of 6G communications systems and United Nations Sustainable Development Goals, UN SDGs, are both targeted for 2030. 6G communications is expected to boost global growth and productivity, create new business models and transform many aspects of society. The UN SDGs are a way of framing opportunities and challenges of a desirable future world and cover topics as broad as ending poverty, gender equality, climate change and smart cities. The relationship between these potentially mutually reinforcing forces is currently under-defined. Building on the vision for 6G, a review of megatrends, on-going activities on the relation of mobile communications to the UN SDGs and existing indicators, a novel linkage between 6G and the UN SDGs is proposed via indicators. The white paper has also launched the work of deriving new 6G related indicators to guide the research of 6G systems. The novel linkage is built on the envisaged three-fold role of 6G as a provider of services to help steer and support communities and countries towards reaching the UN SDGs, as an enabler of measuring tool for data collection to help reporting of indicators with hyperlocal granularity, and as a reinforcer of new ecosystems based on 6G technology enablers and 6G network of networks to be developed in line with the UN SDGs that incorporates future mobile communication technologies available in 2030. Related challenges are also identified. An action plan is presented along with prioritized focus areas within the mobile communication sector technology and industry evolution to best support the achievement of the UN SDGs.


title: Dynamic backup workers for parallel machine learning

abstract: The most popular framework for distributed training of machine learning models is the (synchronous) parameter server (PS). This paradigm consists of $n$ workers, which iteratively compute updates of the model parameters, and a stateful PS, which waits and aggregates all updates to generate a new estimate of model parameters and sends it back to the workers for a new iteration. Transient computation slowdowns or transmission delays can intolerably lengthen the time of each iteration. An efficient way to mitigate this problem is to let the PS wait only for the fastest $n-b$ updates, before generating the new parameters. The slowest $b$ workers are called backup workers. The optimal number $b$ of backup workers depends on the cluster configuration and workload, but also (as we show in this paper) on the hyper-parameters of the learning algorithm and the current stage of the training. We propose DBW, an algorithm that dynamically decides the number of backup workers during the training process to maximize the convergence speed at each iteration. Our experiments show that DBW 1) removes the necessity to tune $b$ by preliminary time-consuming experiments, and 2) makes the training up to a factor $3$ faster than the optimal static configuration.


title: Minimal Lagrangian tori and action-angle coordinates

abstract: We investigate which orbits of an $n$-dimensional torus action on a $2n$-dimensional toric K\"ahler manifold $M$ are minimal. In other words, we study minimal submanifolds appearing as the fibres of the moment map on a toric K\"ahler manifold. Amongst other questions we investigate and give partial answers to the following: (1) How many such minimal Lagrangian tori exist? (2) Can their stability, as critical points of the area functional, be characterised just from the ambient geometry? (3) Given a toric symplectic manifold, for which sets of orbits $S$, is there a compatible toric K\"ahler metric whose set of minimal Lagrangian orbits is $S$?


title: How to reduce computation time while sparing performance during robot navigation? A neuro-inspired architecture for autonomous shifting between model-based and model-free learning

abstract: Taking inspiration from how the brain coordinates multiple learning systems is an appealing strategy to endow robots with more flexibility. One of the expected advantages would be for robots to autonomously switch to the least costly system when its performance is satisfying. However, to our knowledge no study on a real robot has yet shown that the measured computational cost is reduced while performance is maintained with such brain-inspired algorithms. We present navigation experiments involving paths of different lengths to the goal, dead-end, and non-stationarity (i.e., change in goal location and apparition of obstacles). We present a novel arbitration mechanism between learning systems that explicitly measures performance and cost. We find that the robot can adapt to environment changes by switching between learning systems so as to maintain a high performance. Moreover, when the task is stable, the robot also autonomously shifts to the least costly system, which leads to a drastic reduction in computation cost while keeping a high performance. Overall, these results illustrates the interest of using multiple learning systems.


title: A 6G White Paper on Connectivity for Remote Areas

abstract: In many places all over the world rural and remote areas lack proper connectivity that has led to increasing digital divide. These areas might have low population density, low incomes, etc., making them less attractive places to invest and operate connectivity networks. 6G could be the first mobile radio generation truly aiming to close the digital divide. However, in order to do so, special requirements and challenges have to be considered since the beginning of the design process. The aim of this white paper is to discuss requirements and challenges and point out related, identified research topics that have to be solved in 6G. This white paper first provides a generic discussion, shows some facts and discusses targets set in international bodies related to rural and remote connectivity and digital divide. Then the paper digs into technical details, i.e., into a solutions space. Each technical section ends with a discussion and then highlights identified 6G challenges and research ideas as a list.


title: A primer on coupled state-switching models for multiple interacting time series

abstract: State-switching models such as hidden Markov models or Markov-switching regression models are routinely applied to analyse sequences of observations that are driven by underlying non-observable states. Coupled state-switching models extend these approaches to address the case of multiple observation sequences whose underlying state variables interact. In this paper, we provide an overview of the modelling techniques related to coupling in state-switching models, thereby forming a rich and flexible statistical framework particularly useful for modelling correlated time series. Simulation experiments demonstrate the relevance of being able to account for an asynchronous evolution as well as interactions between the underlying latent processes. The models are further illustrated using two case studies related to a) interactions between a dolphin mother and her calf as inferred from movement data; and b) electronic health record data collected on 696 patients within an intensive care unit.


title: Containment effort reduction and regrowth patterns of the Covid-19 spreading

abstract: In all Countries the political decisions aim to achieve an almost stable configuration with a small number of new infected individuals per day due to Covid-19. When such a condition is reached, the containment effort is usually reduced in favor of a gradual reopening of the social life and of the various economical sectors. However, in this new phase, the infection spread restarts and a quantitative analysis of the regrowth is very useful. We discuss a macroscopic approach which, on the basis of the collected data in the first lockdown, after few days from the beginning of the new phase, outlines different scenarios of the Covid-19 diffusion for longer time. The purpose of this paper is a demonstration-of-concept: one takes simple growth models, considers the available data and shows how the future trend of the spread can be obtained. The method applies a time dependent carrying capacity, analogously to many macroscopic growth laws in biology, economics and population dynamics. The illustrative cases of Singapore, France, Spain and Italy are analyzed.


title: Iterated Hopf Ore extensions in positive characteristic

abstract: Iterated Hopf Ore extensions (IHOEs) over an algebraically closed base field k of positive characteristic p are studied. We show that every IHOE over k satisfies a polynomial identity, with PI-degree a power of p, and that it is a filtered deformation of a commutative polynomial ring. We classify all 2-step IHOEs over k, thus generalising the classification of 2-dimensional connected unipotent algebraic groups over k. Further properties of 2-step IHOEs are described: for example their simple modules are classified, and every 2-step IHOE is shown to possess a large Hopf center and hence an analog of the restricted enveloping algebra of a Lie k-algebra. As one of a number of questions listed, we propose that such a restricted Hopf algebra may exist for every IHOE over k.


title: Modelling Weak-Coherent CV-QKD Systems Using a Classical Simulation Framework

abstract: Due to their compatibility to existing telecom technology, continuous variable (CV) weak coherent state protocols are promising candidates for a broad deployment of quantum key distribution (QKD) technology. We demonstrate how an existing simulation framework for modelling classical optical systems can be utilized for simulations of weak-coherent CV-QKD links. The quantum uncertainties for the measured characteristics of coherent signals are modelled in the electrical domain by shot noise, while a coherent signal in the optical domain is described by its quadrature components. We simulate various degradation effects such as attenuation, laser RIN, Raman noise (from classical channels in the same fibre), and device imperfections and compare the outcome with analytical theory. Having complemented the physical simulation layer by the post-processing layer (reconciliation and privacy amplification), we are able to estimate secure key rates from simulations, greatly boosting the development speed of practical CV-QKD schemes and implementations.


title: A Span-based Linearization for Constituent Trees

abstract: We propose a novel linearization of a constituent tree, together with a new locally normalized model. For each split point in a sentence, our model computes the normalizer on all spans ending with that split point, and then predicts a tree span from them. Compared with global models, our model is fast and parallelizable. Different from previous local models, our linearization method is tied on the spans directly and considers more local features when performing span prediction, which is more interpretable and effective. Experiments on PTB (95.8 F1) and CTB (92.4 F1) show that our model significantly outperforms existing local models and efficiently achieves competitive results with global models.


title: Multi-View Spectral Clustering Tailored Tensor Low-Rank Representation

abstract: This paper explores the problem of multi-view spectral clustering (MVSC) based on tensor low-rank modeling. Unlike the existing methods that all adopt an off-the-shelf tensor low-rank norm without considering the special characteristics of the tensor in MVSC, we design a novel structured tensor low-rank norm tailored to MVSC. Specifically, we explicitly impose a symmetric low-rank constraint and a structured sparse low-rank constraint on the frontal and horizontal slices of the tensor to characterize the intra-view and inter-view relationships, respectively. Moreover, the two constraints could be jointly optimized to achieve mutual refinement. On the basis of the novel tensor low-rank norm, we formulate MVSC as a convex low-rank tensor recovery problem, which is then efficiently solved with an augmented Lagrange multiplier based method iteratively. Extensive experimental results on five benchmark datasets show that the proposed method outperforms state-of-the-art methods to a significant extent. Impressively, our method is able to produce perfect clustering. In addition, the parameters of our method can be easily tuned, and the proposed model is robust to different datasets, demonstrating its potential in practice.


title: Axiomatization of crisp Godel modal logic

abstract: In this paper we consider the modal logic with both Box and Diamond arising fromKripke models with a crisp accessibility and whose propositions are valued over the stan-dard Godel algebra [0,1]G. We provide an axiomatic system extending the one from [3]for models with a valued accessibility with Dunn axiom from positive modal logics, andshow it is strongly complete with respect to the intended semantics. The axiomatizationsof the most usual frame restrictions are given too. We also prove that in the studied logicit is not possible to get Box as an abbreviation of Diamond, nor vice-versa, showing that indeedthe axiomatic system we present does not coincide with any ofthe mono-modal fragmentspreviously axiomatized in the literature.


title: Magnon Current Generation by Dynamical Distortion

abstract: The interaction between spin and nanomechanical degrees of freedom attracts interest from the viewpoint of basic science and device applications. We study the magnon current induced by the torsional oscillation of ferromagnetic nanomechanical cantilever. We find that a finite Dzyaloshinskii-Moriya (DM) interaction emerges by the torsional oscillation, which is described by the spin gauge field, and the DM interaction leads to the detectably-large magnon current with frequency same as that of the torsional oscillation. Our theory paves the way for studying torsional spin-nanomechanical phenomena by using the spin gauge field.


title: A Survey on Design and Performance of Higher-Order QAM Constellations

abstract: As the research on beyond 5G heats up, we survey and explore power and bandwidth efficient modulation schemes in details. In the existing publications and in various communication standards, initially square quadrature amplitude modulation (SQAM) constellations (even power of 2) were considered. However, only the square constellations are not efficient for varying channel conditions and rate requirements, and hence, odd power of 2 constellations were introduced. For odd power of 2 constellations, rectangular QAM (RQAM) is commonly used. However, RQAM is not a good choice due to its lower power efficiency, and a modified cross QAM (XQAM) constellation is preferred as it provides improved power efficiency over RQAM due to its energy efficient two dimensional (2D) structure. The increasing demand for high data-rates has further encouraged the research towards more compact 2D constellations which lead to hexagonal lattice structure based constellations, referred to as hexagonal QAM (HQAM). In this work, various QAM constellations are discussed and detailed study of star QAM, XQAM, and HQAM constellations is presented. Generation, peak and average energies, peak-to-average-power ratio, symbol-error-rate, decision boundaries, bit mapping, Gray code penalty, and bit-error-rate of star QAM, XQAM, and HQAM constellations with different constellation orders are presented. Finally, a comparative study of various QAM constellations is presented which justifies the supremacy of HQAM over other QAM constellations. With this, it can be claimed that the use of the HQAM in various wireless communication systems and standards can further improve the performance targeted for beyond 5G wireless communication systems.


title: Current-Controlled Nanomagnetic Writing for Reconfigurable Magnonic Crystals

abstract: Strongly-interacting nanomagnetic arrays are crucial across an ever-growing suite of technologies. Spanning neuromorphic computing, control over superconducting vortices and reconfigurable magnonics, the utility and appeal of these arrays lies in their vast range of distinct, stable magnetisation states. Different states exhibit different functional behaviours, making precise, reconfigurable state control an essential cornerstone of such systems. However, few existing methodologies may reverse an arbitrary array element, and even fewer may do so under electrical control, vital for device integration. We demonstrate selective, reconfigurable magnetic reversal of ferromagnetic nanoislands via current-driven motion of a transverse domain wall in an adjacent nanowire. The reversal technique operates under all-electrical control with no reliance on external magnetic fields, rendering it highly suitable for device integration across a host of magnonic, spintronic and neuromorphic logic architectures. Here, the reversal technique is leveraged to realise two fully solid-state reconfigurable magnonic crystals, offering magnonic gating, filtering, transistor-like switching and peak-shifting without reliance on global magnetic fields.


title: Towards Unsupervised Language Understanding and Generation by Joint Dual Learning

abstract: In modular dialogue systems, natural language understanding (NLU) and natural language generation (NLG) are two critical components, where NLU extracts the semantics from the given texts and NLG is to construct corresponding natural language sentences based on the input semantic representations. However, the dual property between understanding and generation has been rarely explored. The prior work is the first attempt that utilized the duality between NLU and NLG to improve the performance via a dual supervised learning framework. However, the prior work still learned both components in a supervised manner, instead, this paper introduces a general learning framework to effectively exploit such duality, providing flexibility of incorporating both supervised and unsupervised learning algorithms to train language understanding and generation models in a joint fashion. The benchmark experiments demonstrate that the proposed approach is capable of boosting the performance of both NLU and NLG.


title: Functional renormalization group for fermion lattice models in three dimensions: application to the Hubbard model on the cubic lattice

abstract: The channel-decomposed functional renormalization group (FRG) approach, most recently in the variant of truncated-unity-(TU-)FRG, has so far been used for various two-dimensional model systems. Yet, for many interesting material systems the third spatial dimension is of clear relevance. Therefore FRG schemes working in three spatial dimensions (3D) are definitely on the wishlist. Here we demonstrate that a 3D TUFRG scheme can be set up in straightforward extension of previous 2D codes and gives physically sensible results with affordable numerical effort, both regarding the qualitative as well as the quantitative description. The computed phase diagram of the three-dimensional Hubbard model at half filling or perfect nesting shows a phase transition to a \((\pi,\pi,\pi)\)-ordered antiferromagnetic ground state for repulsive interactions at an energy scale that compares well with other numerical approaches in the literature. Furthermore, the method allowed us to detect a \(d\)-wave pairing and a concurring \((\pi,\pi,0)\) antiferromagnetic ground state in the hole doped Hubbard model.


title: Potential-driven Inflation with Disformal Coupling to Gravity

abstract: In this paper, we investigate the potential-driven inflation models with a disformal coupling to Einstein Gravity, to find out the effects of such a coupling on these models. We consider a simple coupling form which introduces only one parameter, and three inflation models, namely the chaotic inflation, the Higgs inflation, and the monodromy inflation. We find that the disformal coupling can have some modifications to the observational variables of these models such as the power spectrum, the spectral index as well as the tensor/scalar ratio, although not too large due to the constraints on the disformal coupling parameter. With these modifications, one has the opportunity of improving models that lie on the edge of the favorable regions of Planck observational data, such as monodromy inflation. Moreover, the non-trivial sound speed of tensor perturbations (gravitational waves) may come out, due to the coupling of gravity and kinetic terms of the field.


title: On stationarity properties of generalized Hermite-type processes

abstract: The paper investigates properties of generalized Hermite-type processes that arise in non-central limit theorems for integral functionals of long-range dependent random fields. The case of increasing multidimensional domain asymptotics is studied. Three approaches to investigate properties of these processes are discussed. Contrary to the classical one-dimensional case, it is shown that for any choice of a multidimensional observation window the generalized Hermite-type process has non-stationary increments.


title: A Deep Recurrent Survival Model for Unbiased Ranking

abstract: Position bias is a critical problem in information retrieval when dealing with implicit yet biased user feedback data. Unbiased ranking methods typically rely on causality models and debias the user feedback through inverse propensity weighting. While practical, these methods still suffer from two major problems. First, when inferring a user click, the impact of the contextual information, such as documents that have been examined, is often ignored. Second, only the position bias is considered but other issues resulted from user browsing behaviors are overlooked. In this paper, we propose an end-to-end Deep Recurrent Survival Ranking (DRSR), a unified framework to jointly model user's various behaviors, to (i) consider the rich contextual information in the ranking list; and (ii) address the hidden issues underlying user behaviors, i.e., to mine observe pattern in queries without any click (non-click queries), and to model tracking logs which cannot truly reflect the user browsing intents (untrusted observation). Specifically, we adopt a recurrent neural network to model the contextual information and estimates the conditional likelihood of user feedback at each position. We then incorporate survival analysis techniques with the probability chain rule to mathematically recover the unbiased joint probability of one user's various behaviors. DRSR can be easily incorporated with both point-wise and pair-wise learning objectives. The extensive experiments over two large-scale industrial datasets demonstrate the significant performance gains of our model comparing with the state-of-the-arts.


title: Randomized Two-Valued Bounded Delay Online Buffer Management

abstract: In the bounded delay buffer management problem unit size packets arrive online to be sent over a network link. The objective is to maximize the total weight of packets sent before their deadline. In this paper we are interested in the two-valued variant of the problem, where every packet has either low (1) or high priority weight ($\alpha$ > 1). We show that its randomized competitive ratio against an oblivious adversary is 1 + ($\alpha$ -- 1)/($\alpha$ 2 + $\alpha$).


title: Inability of spatial transformations of CNN feature maps to support invariant recognition

abstract: A large number of deep learning architectures use spatial transformations of CNN feature maps or filters to better deal with variability in object appearance caused by natural image transformations. In this paper, we prove that spatial transformations of CNN feature maps cannot align the feature maps of a transformed image to match those of its original, for general affine transformations, unless the extracted features are themselves invariant. Our proof is based on elementary analysis for both the single- and multi-layer network case. The results imply that methods based on spatial transformations of CNN feature maps or filters cannot replace image alignment of the input and cannot enable invariant recognition for general affine transformations, specifically not for scaling transformations or shear transformations. For rotations and reflections, spatially transforming feature maps or filters can enable invariance but only for networks with learnt or hardcoded rotation- or reflection-invariant features


title: Binary autoencoder with random binary weights

abstract: Here is presented an analysis of an autoencoder with binary activations $\{0, 1\}$ and binary $\{0, 1\}$ random weights. Such set up puts this model at the intersection of different fields: neuroscience, information theory, sparse coding, and machine learning. It is shown that the sparse activation of the hidden layer arises naturally in order to preserve information between layers. Furthermore, with a large enough hidden layer, it is possible to get zero reconstruction error for any input just by varying the thresholds of neurons. The model preserves the similarity of inputs at the hidden layer that is maximal for the dense hidden layer activation. By analyzing the mutual information between layers it is shown that the difference between sparse and dense representations is related to a memory-computation trade-off. The model is similar to an olfactory perception system of a fruit fly, and the presented theoretical results give useful insights toward understanding more complex neural networks.


title: Characterizing the Universal Rigidity of Generic Tensegrities

abstract: A tensegrity is a structure made from cables, struts and stiff bars. A $d$-dimensional tensegirty is universally rigid if it is rigid in any dimension $d'$ with $d'\geq d$. The celebrated super stability condition due to Connelly gives a sufficient condition for a tensegrity to be universally rigid. Gortler and Thurston showed that super stability characterizes universal rigidity when the point configuration is generic and every member is a stiff bar. We extend this result in two directions. We first show that a generic universally rigid tensegrity is super stable. We then extend it to tensegrities with point group symmetry, and show that this characterization still holds as long as a tensegrity is generic modulo symmetry. Our strategy is based on the block-diagonalization technique for symmetric semidefinite programming problems, and our proof relies on the theory of real irreducible representation of finite groups.


title: The Interaction Between Credit Constraints and Uncertainty Shocks

abstract: Can uncertainty about credit availability trigger a slowdown in real activity? This question is answered by using a novel method to identify shocks to uncertainty in access to credit. Time-variation in uncertainty about credit availability is estimated using particle Markov Chain Monte Carlo. We extract shocks to time-varying credit uncertainty and decompose it into two parts: the first captures the "pure" effect of a shock to the second moment; the second captures total effects of uncertainty including effects on the first moment. Using state-dependent local projections, we find that the "pure" effect by itself generates a sharp slowdown in real activity and the effects are largely countercyclical. We feed the estimated shocks into a flexible price real business cycle model with a collateral constraint and show that when the collateral constraint binds, an uncertainty shock about credit access is recessionary leading to a simultaneous decline in consumption, investment, and output.


title: Photon blockade with ground-state neutral atoms

abstract: We show that induced dipole-dipole interactions allow for photon blockade in subwavelength ensembles of two-level, ground-state neutral atoms. Our protocol relies on the energy shift of the single-excitation, superradiant state of $N$ atoms, which can be engineered to yield an effective two-level system. A coherent pump induces Rabi oscillation between the ground state and a collective bright state, with at most a single excitation shared among all atoms. The possibility of using clock transitions that are long-lived and relatively robust against stray fields, alongside new prospects on experiments with subwavelength lattices, makes our proposal a promising alternative for quantum information protocols.


title: Solving an inverse problem for the Sturm-Liouville operator with a singular potential by Yurko's method

abstract: An inverse spectral problem for the Sturm-Liouville operator with a singular potential from the class $W_2^{-1}$ is solved by the method of spectral mappings. We prove the uniqueness theorem, develop a constructive algorithm for solution, and obtain necessary and sufficient conditions of solvability for the inverse problem in the self-adjoint and the non-self-adjoint cases


title: Maxima and near-maxima of a Gaussian random assignment field

abstract: The assumption that the elements of the cost matrix in the classical assignment problem are drawn independently from a standard Gaussian distribution motivates the study of a particular Gaussian field indexed by the symmetric permutation group. The correlation structure of the field is determined by the Hamming distance between two permutations. The expectation of the maximum of the field is shown to go to infinity in the same way as if all variables of the field were independent. However, the variance of the maximum is shown to converge to zero at a rate which is slower than under independence, as the variance cannot be smaller than the one of the cost of the average assignment. Still, the convergence to zero of the variance means that the maximum possesses a property known as superconcentration. Finally, the dimension of the set of near-optimal assignments is shown to converge to zero.


title: Named Entity Recognition without Labelled Data: A Weak Supervision Approach

abstract: Named Entity Recognition (NER) performance often degrades rapidly when applied to target domains that differ from the texts observed during training. When in-domain labelled data is available, transfer learning techniques can be used to adapt existing NER models to the target domain. But what should one do when there is no hand-labelled data for the target domain? This paper presents a simple but powerful approach to learn NER models in the absence of labelled data through weak supervision. The approach relies on a broad spectrum of labelling functions to automatically annotate texts from the target domain. These annotations are then merged together using a hidden Markov model which captures the varying accuracies and confusions of the labelling functions. A sequence labelling model can finally be trained on the basis of this unified annotation. We evaluate the approach on two English datasets (CoNLL 2003 and news articles from Reuters and Bloomberg) and demonstrate an improvement of about 7 percentage points in entity-level $F_1$ scores compared to an out-of-domain neural NER model.


title: Learning Bayesian Networks Under Sparsity Constraints: A Parameterized Complexity Analysis

abstract: We study the problem of learning the structure of an optimal Bayesian network when additional constraints are posed on the network or on its moralized graph. More precisely, we consider the constraint that the network or its moralized graph are close, in terms of vertex or edge deletions, to a sparse graph class $\Pi$. For example, we show that learning an optimal network whose moralized graph has vertex deletion distance at most $k$ from a graph with maximum degree 1 can be computed in polynomial time when $k$ is constant. This extends previous work that gave an algorithm with such a running time for the vertex deletion distance to edgeless graphs [Korhonen & Parviainen, NIPS 2015]. We then show that further extensions or improvements are presumably impossible. For example, we show that learning optimal networks where the network or its moralized graph have maximum degree $2$ or connected components of size at most $c$, $c\ge 3$, is NP-hard. Finally, we show that learning an optimal network with at most $k$ edges in the moralized graph presumably has no $f(k)\cdot |I|^{O(1)}$-time algorithm and that, in contrast, an optimal network with at most $k$ arcs can be computed in $2^{O(k)}\cdot |I|^{O(1)}$ time where $|I|$ is the total input size.


title: Temporal evolution of oscillating coronal loops

abstract: Context. Transverse oscillations of coronal structures are currently intensively studied to explore the associated magnetohydrodynamic wave physics and perform seismology of the local medium. Aims. We make a first attempt to measure the thermodynamic evolution of a sample of coronal loops that undergo decaying kink oscillations in response to an eruption in the corresponding active region. Methods. Using data from the six coronal wavelengths of SDO/AIA, we performed a differential emission measure (DEM) analysis of 15 coronal loops before, during, and after the eruption and oscillation. Results. We find that the emission measure, temperature, and width of the DEM distribution undergo significant variations on time scales relevant for the study of transverse oscillations. There are no clear collective trends of increases or decreases for the parameters we analysed. The strongest variations of the parameters occur during the initial perturbation of the loops, and the influence of background structures may also account for much of this variation. Conclusions. The DEM analysis of oscillating coronal loops in erupting active regions shows evidence of evolution on time scales important for the study of the oscillations. Further work is needed to separate the various observational and physical mechanisms that may be responsible for the variations in temperature, DEM distribution width, and total emission measure.


title: Weierstrass semigroups on the Skabelund maximal curve

abstract: In 2017, D. Skabelund constructed a maximal curve over $\mathbb{F}_{q^4}$ as a cyclic cover of the Suzuki curve. In this paper we explicitly determine the structure of the Weierstrass semigroup at any point $P$ of the Skabelund curve. We show that its Weierstrass points are precisely the $\mathbb{F}_{q^4}$-rational points. Also we show that among the Weierstrass points, two types of Weierstrass semigroup occur: one for the $\mathbb{F}_q$-rational points, one for the remaining $\mathbb{F}_{q^4}$-rational points. For each of these two types its Ap\'ery set is computed as well as a set of generators.


title: Bulk valley transport and Berry curvature spreading at the edge of flat bands

abstract: 2D materials based superlattices have emerged as a promising platform to modulate band structure and its symmetries. In particular, moir\'e periodicity in twisted graphene systems produces flat Chern bands. The recent observation of anomalous Hall effect (AHE) and orbital magnetism in twisted bilayer graphene has been associated with spontaneous symmetry breaking of such Chern bands. However, the valley Hall state as a precursor of AHE state, when time-reversal symmetry is still protected, has not been observed. Our work probes this precursor state using the valley Hall effect. We show that broken inversion symmetry in twisted double bilayer graphene (TDBG) facilitates the generation of bulk valley current by reporting the first experimental evidence of nonlocal transport in a nearly flat band system. Despite the spread of Berry curvature hotspots and reduced quasiparticle velocities of the carriers in these flat bands, we observe large nonlocal voltage several micrometers away from the charge current path -- this persists when the Fermi energy lies inside a gap with large Berry curvature. The high sensitivity of the nonlocal voltage to gate tunable carrier density and gap modulating perpendicular electric field makes TDBG an attractive platform for valley-twistronics based on flat bands.


title: Parameter estimation for semilinear SPDEs from local measurements

abstract: This work contributes to the limited literature on estimating the diffusivity or drift coefficient of nonlinear SPDEs driven by additive noise. Assuming that the solution is measured locally in space and over a finite time interval, we show that the augmented maximum likelihood estimator introduced in Altmeyer, Reiss (2020) retains its asymptotic properties when used for semilinear SPDEs that satisfy some abstract, and verifiable, conditions. The proofs of asymptotic results are based on splitting the solution in linear and nonlinear parts and fine regularity properties in $L^p$-spaces. The obtained general results are applied to particular classes of equations, including stochastic reaction-diffusion equations. The stochastic Burgers equation, as an example with first order nonlinearity, is an interesting borderline case of the general results, and is treated by a Wiener chaos expansion. We conclude with numerical examples that validate the theoretical results.


title: The Hartree functional in a double well

abstract: We consider a non-linear Hartree energy for bosonic particles in a symmetric double-well potential. In the limit where the wells are fare apart and the potential barrier is high, we prove that the ground state and first excited state are given to leading order by an even, respectively odd, superposition of ground states in single wells. We evaluate the resulting tunneling term splitting the corresponding energies precisely.


title: Flat-band physics in the spin-1/2 sawtooth chain

abstract: We consider the strongly anisotropic spin-1/2 $XXZ$ model on the sawtooth-chain lattice with ferromagnetic longitudinal interaction $J^{zz}=\Delta J$ and aniferromagnetic transversal interaction $J^{xx}=J^{yy}=J>0$. At $\Delta=-1/2$ the lowest one-magnon excitation band is dispersionless (flat) leading to a massively degenerate set of ground states. Interestingly, this model admits a three-coloring representation of the ground-state manifold [H.~J.~Changlani et at., Phys. Rev. Lett. {\bf 120}, 117202 (2018)]. We characterize this ground-state manifold and elaborate the low-temperature thermodynamics of the system. We illustrate the manifestation of the flat-band physics of the anisotropic model by comparison with two isotropic flat-band Heisenberg sawtooth chains. Our analytical consideration is complemented by exact diagonalization and finite-temperature Lanczos method calculations.


title: Elementwise semantics in categories with pull-backs

abstract: We extend the use of ("Kripke-Joyal")- reasoning in categories admitting pull-backs. The aim is to give a theory of jets in this context.


title: Dp-finite fields V: topological fields of finite weight

abstract: We prove that unstable dp-finite fields admit definable V-topologies. As a consequence, the henselianity conjecture for dp-finite fields implies the Shelah conjecture for dp-finite fields. This gives a conceptually simpler proof of the classification of dp-finite fields of positive characteristic. For $n \ge 1$, we define a local class of "$W_n$-topological fields", generalizing V-topological fields. A $W_1$-topology is the same thing as a V-topology, and a $W_n$-topology is some higher-rank analogue. If $K$ is an unstable dp-finite field, then the canonical topology is a definable $W_n$-topology for $n = \operatorname{dp-rk}(K)$. Every $W_n$-topology has between 1 and $n$ coarsenings that are V-topologies. If the given $W_n$-topology is definable in some structure, then so are the V-topological coarsenings.


title: Does Terrorism Trigger Online Hate Speech? On the Association of Events and Time Series

abstract: Hate speech is ubiquitous on the Web. Recently, the offline causes that contribute to online hate speech have received increasing attention. A recurring question is whether the occurrence of extreme events offline systematically triggers bursts of hate speech online, indicated by peaks in the volume of hateful social media posts. Formally, this question translates into measuring the association between a sparse event series and a time series. We propose a novel statistical methodology to measure, test and visualize the systematic association between rare events and peaks in a time series. In contrast to previous methods for causal inference or independence tests on time series, our approach focuses only on the timing of events and peaks, and no other distributional characteristics. We follow the framework of event coincidence analysis (ECA) that was originally developed to correlate point processes. We formulate a discrete-time variant of ECA and derive all required distributions to enable analyses of peaks in time series, with a special focus on serial dependencies and peaks over multiple thresholds. The analysis gives rise to a novel visualization of the association via quantile-trigger rate plots. We demonstrate the utility of our approach by analyzing whether Islamist terrorist attacks in Western Europe and North America systematically trigger bursts of hate speech and counter-hate speech on Twitter.


title: A Robust Hierarchical Graph Convolutional Network Model for Collaborative Filtering

abstract: Graph Convolutional Network (GCN) has achieved great success and has been applied in various fields including recommender systems. However, GCN still suffers from many issues such as training difficulties, over-smoothing, vulnerable to adversarial attacks, etc. Distinct from current GCN-based methods which simply employ GCN for recommendation, in this paper we are committed to build a robust GCN model for collaborative filtering. Firstly, we argue that recursively incorporating messages from different order neighborhood mixes distinct node messages indistinguishably, which increases the training difficulty; instead we choose to separately aggregate different order neighbor messages with a simple GCN model which has been shown effective; then we accumulate them together in a hierarchical way without introducing additional model parameters. Secondly, we propose a solution to alleviate over-smoothing by randomly dropping out neighbor messages at each layer, which also well prevents over-fitting and enhances the robustness. Extensive experiments on three real-world datasets demonstrate the effectiveness and robustness of our model.


title: Proceedings Eighth Workshop on Mathematically Structured Functional Programming

abstract: This volume contains the proceedings of the Eighth Workshop on Mathematically Structured Functional Programming (MSFP 2020). The meeting was originally scheduled to take place in Dublin, Ireland on the 25th of April as a satellite event of the European Joint Conferences on Theory & Practice of Software (ETAPS 2020). Due to the COVID-19 pandemic, ETAPS 2020, and consequently MSFP 2020, has been postponed to a date yet to be determined. The MSFP workshop highlights applications of mathematical structures to programming applications. We promote the use of category theory, type theory, and formal language semantics to the development of simple and reasonable programs. This year's papers cover a variety of topics ranging from array programming to dependent types to effects.


title: Long-Range Dependence in Financial Markets: a Moving Average Cluster Entropy Approach

abstract: A perspective is taken on the intangible complexity of economic and social systems by investigating the underlying dynamical processes that produce, store and transmit information in financial time series in terms of the \textit{moving average cluster entropy}. An extensive analysis has evidenced market and horizon dependence of the \textit{moving average cluster entropy} in real world financial assets. The origin of the behavior is scrutinized by applying the \textit{moving average cluster entropy} approach to long-range correlated stochastic processes as the Autoregressive Fractionally Integrated Moving Average (ARFIMA) and Fractional Brownian motion (FBM). To that end, an extensive set of series is generated with a broad range of values of the Hurst exponent $H$ and of the autoregressive, differencing and moving average parameters $p,d,q$. A systematic relation between \textit{moving average cluster entropy}, \textit{Market Dynamic Index} and long-range correlation parameters $H$, $d$ is observed. This study shows that the characteristic behaviour exhibited by the horizon dependence of the cluster entropy is related to long-range positive correlation in financial markets. Specifically, long range positively correlated ARFIMA processes with differencing parameter $ d\simeq 0.05$, $d\simeq 0.15$ and $ d\simeq 0.25$ are consistent with \textit{moving average cluster entropy} results obtained in time series of DJIA, S\&P500 and NASDAQ.


title: Temperature-dependent structure of methanol-water mixtures on cooling: X-ray and neutron diffraction and molecular dynamics simulations

abstract: Methanol-water liquid mixtures have been investigated by high-energy synchrotron X-ray and neutron diffraction at low temperatures. We are thus able to report the first complete sets of both X-ray and neutron weighted total scattering structure factors over the entire composition range (at 12 different methanol concentrations (x$_M$) from 10 to 100 mol%) and at temperatures from ambient down to the freezing points of the mixtures. The new diffraction data may later be used as reference in future theoretical and simulation studies. The measured data are interpreted by molecular dynamics simulations, in which the all atom OPLS/AA force field model for methanol is combined with both the SPC/E and TIP4P/2005 water potentials. Although the TIP4P/2005 water model was found to be somewhat more successful, both combinations provide at least semi-quantitative agreement with measured diffraction data. From the simulated particle configurations, partial radial distribution functions, as well as various distributions of the number of hydrogen bonds have been determined. As a general trend, the average number of hydrogen bonds increases upon cooling. However, the number of hydrogen bonds between methanol molecules slightly decreases with lowering temperatures in the concentration range between ca. 30 and 60 mol % alcohol content. The same is valid for water-water hydrogen bonds above 70 mol % of methanol content, from room temperature down to 193 K.


title: Vacua and Exact Solutions in Lower-$D$ Limits of EGB

abstract: We consider the action principles that are the lower dimensional limits of the Einstein-Gauss-Bonnet gravity {\it via} the Kaluza-Klein route. We study the vacua and obtain some exact solutions. We find that the reality condition of the theories may select one vacuum over the other from the two vacua that typically arise in Einstein-Gauss-Bonnet gravity. We obtain exact black hole and cosmological solutions carrying scalar hair, including scalar hairy BTZ black holes with both mass and angular momentum turned on. We also discuss the holographic central charges in the asymptotic AdS backgrounds.


title: Strict inequality for bond percolation on a dilute lattice with columnar disorder

abstract: We consider a dilute lattice obtained from the usual $\mathbb{Z}^3$ lattice by removing independently each of its columns with probability $1-\rho$. In the remaining dilute lattice independent Bernoulli bond percolation with parameter $p$ is performed. Let $\rho \mapsto p_c(\rho)$ be the critical curve which divides the subcritical and supercritical phases. We study the behavior of this curve near the disconnection threshold $\rho_c = p_c^{\text{site}}(\mathbb{Z}^2)$ and prove that, uniformly over $\rho$ it remains strictly below $1/2$ (the critical point for bond percolation on the square lattice $\mathbb{Z}^2)$.


title: Criss-Cross Insertion and Deletion Correcting Codes

abstract: This paper studies the problem of constructing codes correcting deletions in arrays. Under this model, it is assumed that an $n\times n$ array can experience deletions of rows and columns. These deletion errors are referred to as $(t_r,t_c)$-criss-cross deletions if $t_r$ rows and $t_c$ columns are deleted, while a code correcting these deletion patterns is called a $(t_r,t_c)$-criss-cross deletion correction code. The definitions for criss-cross insertions are similar. It is first shown that when $t_r=t_c$ the problems of correcting criss-cross deletions and criss-cross insertions are equivalent. The focus of this paper lies on the case of $(1,1)$-criss-cross deletions. A non-asymptotic upper bound on the cardinality of $(1,1)$-criss-cross deletion correction codes is shown which assures that the redundancy is at least $2n-3+2\log n$ bits. A code construction with an existential encoding and an explicit decoding algorithm is presented. The redundancy of the construction is at most $2n+4 \log n + 7 +2 \log e$. A construction with explicit encoder and decoder is presented. The explicit encoder adds an extra $5\log n + 5$ bits of redundancy to the construction.


title: The Lipschitz Constant of Perturbed Anonymous Games

abstract: The worst-case Lipschitz constant of an $n$-player $k$-action $\delta$-perturbed game, $\lambda(n,k,\delta)$, is given an explicit probabilistic description. In the case of $k\geq 3$, $\lambda(n,k,\delta)$ is identified with the passage probability of a certain symmetric random walk on $\mathbb Z$. In the case of $k=2$ and $n$ even, $\lambda(n,2,\delta)$ is identified with the probability that two two i.i.d.\ Binomial random variables are equal. The remaining case, $k=2$ and $n$ odd, is bounded through the adjacent (even) values of $n$. Our characterisation implies a sharp closed form asymptotic estimate of $\lambda(n,k,\delta)$ as $\delta n /k\to\infty$.


title: Compactification of the finite Drinfeld period domain as a moduli space of ferns

abstract: Let $\mathbb{F}_q$ be a finite field with $q$ elements and let $V$ be a vector space over $\mathbb{F}_q$ of dimension $n>0$. Let $\Omega_V$ be the Drinfeld period domain over $\mathbb{F}_q$. This is an affine scheme of finite type over $\mathbb{F}_q$, and its base change to $\mathbb{F}_q(t)$ is the moduli space of Drinfeld $\mathbb{F}_q[t]$-modules with level $(t)$ structure and rank $n$. In this thesis, we give a new modular interpretation to Pink and Schieder's smooth compactification $B_V$ of $\Omega_V$. Let $\hat V$ be the set $V\cup\{\infty\}$ for a new symbol $\infty$. We define the notion of a $V$-fern over an $\mathbb{F}_q$-scheme $S$, which consists of a stable $\hat V$-marked curve of genus $0$ over $S$ endowed with a certain action of the finite group $V\rtimes \mathbb{F}_q^\times$. Our main result is that the scheme $B_V$ represents the functor that associates an $\mathbb{F}_q$-scheme $S$ to the set of isomorphism classes of $V$-ferns over $S$. Thus $V$-ferns over $\mathbb{F}_q(t)$-schemes can be regarded as generalizations of Drinfeld $\mathbb{F}_q[t]$-modules with level $(t)$ structure and rank $n$. To prove this theorem, we construct an explicit universal $V$-fern over $B_V$. We then show that any $V$-fern over a scheme $S$ determines a unique morphism $S\to B_V$, depending only its isomorphism class, and that the $V$-fern is isomorphic to the pullback of the universal $V$-fern along this morphism. We also give several functorial constructions involving $V$-ferns, some of which are used to prove the main result. These constructions correspond to morphisms between various modular compactifications of Drinfeld period domains over $\mathbb{F}_q$. We describe these morphisms explicitly.


title: Zero-index Weyl metamaterials

abstract: Depending on the geometry of their Fermi surfaces, Weyl semimetals and their analogues in classical systems have been classified into two types. In type I Weyl semimetals (WSMs), the cone-like spectrum at the Weyl point (WP) is not tilted, leading to a point-like closed Fermi surface. In type II WSMs, on the contrary, the energy spectrum around the WP is strongly tilted such that the Fermi surface transforms from a point into an open surface. Here, we demonstrate, both theoretically and experimentally, a new type of (classical) Weyl semimetal whose Fermi surface is neither a point nor a surface, but a flat line. The distinctive Fermi surfaces of such semimetals, dubbed as type III or zero-index WSMs, gives rise to unique physical properties: one of the edge modes of the semimetal exhibits a zero index of refraction along a specific direction, in stark contrast to types I and II WSMs for which the index of refraction is always non-zero. We show that the zero-index response of such topological phases enables exciting applications such as extraordinary wave transmission (EOT).


title: Direct observation of energy band attraction effect in non-Hermitian systems

abstract: The energy band attraction (EBA) caused by the non-orthogonal eigenvectors is a unique phenomenon in the non-Hermitian (NH) system. However, restricted by the required tight-binding approximation and meticulously engineered complex potentials, such effect has not been experimentally demonstrated. Here, an experimentally verifiable model is proposed based on the photonic counterpart of the all-dielectric Mie-resonator lattice in a parallel-plate transmission line. Through theoretical derivation, we directly connect the transmission spectra with eigenvalues and eigenvectors of the NH Hamiltonians. By precisely tuning the resonance loss of the Mie-resonators, the evolution of the EBA effect in two-level NH systems, from gapped bands, gapless bands to flat bands, is directly observed for the first time. Furthermore, such effect can be extended to a graphene-like two-dimensional NH system. Our works show a metamaterial approach towards NH topological photonics and offer a deeper understanding of band theory in open systems.


title: Multi-task Ensembles with Crowdsourced Features Improve Skin Lesion Diagnosis

abstract: Machine learning has a recognised need for large amounts of annotated data. Due to the high cost of expert annotations, crowdsourcing, where non-experts are asked to label or outline images, has been proposed as an alternative. Although many promising results are reported, the quality of diagnostic crowdsourced labels is still unclear. We propose to address this by instead asking the crowd about visual features of the images, which can be provided more intuitively, and by using these features in a multi-task learning framework through ensemble strategies. We compare our proposed approach to a baseline model with a set of 2000 skin lesions from the ISIC 2017 challenge dataset. The baseline model only predicts a binary label from the skin lesion image, while our multi-task model also predicts one of the following features: asymmetry of the lesion, border irregularity and color. We show that multi-task models with individual crowdsourced features have limited effect on the model, but when combined in an ensembles, leads to improved generalisation. The area under the receiver operating characteristic curve is 0.794 for the baseline model and 0.811 and 0.808 for multi-task ensembles respectively. Finally, we discuss the findings, identify some limitations and recommend directions for further research. The code of the models is available at https://github.com/raumannsr/hints_crowd.


title: Cloud+: A safe and restrained data access control program for cloud

abstract: Secure distributed storage, which is a rising cloud administration, is planned to guarantee the mystery of re-appropriated data yet also to give versatile data access to cloud customers whose data is out of physical control. Ciphertext-Policy Attribute-Based Encryption (CP-ABE) is seen as a champion among the most reassuring frameworks that may be used to verify the confirmation of the administration. Be that as it may, the use of CP-ABE may yield an unavoidable security burst which is known as the abuse of access accreditation (for example decoding right). In this paper, we look at the two essential occurrences of access accreditation misuse: one is on the semi-believed specialist side, and the other is supportive of the cloud customer. To ease the abuse, we propose revocable CP-ABE based distributed storage structure with express renouncing, planned information getting to and numerous examining capacities alluded as Cloud+.


title: Pedestrian Path, Pose and Intention Prediction through Gaussian Process Dynamical Models and Pedestrian Activity Recognition

abstract: According to several reports published by worldwide organisations, thousands of pedestrians die in road accidents every year. Due to this fact, vehicular technologies have been evolving with the intent of reducing these fatalities. This evolution has not finished yet since, for instance, the predictions of pedestrian paths could improve the current Automatic Emergency Braking Systems (AEBS). For this reason, this paper proposes a method to predict future pedestrian paths, poses and intentions up to 1s in advance. This method is based on Balanced Gaussian Process Dynamical Models (B-GPDMs), which reduce the 3D time-related information extracted from keypoints or joints placed along pedestrian bodies into low-dimensional spaces. The B-GPDM is also capable of inferring future latent positions and reconstruct their associated observations. However, learning a generic model for all kind of pedestrian activities normally provides less ccurate predictions. For this reason, the proposed method obtains multiple models of four types of activity, i.e. walking, stopping, starting and standing, and selects the most similar model to estimate future pedestrian states. This method detects starting activities 125ms after the gait initiation with an accuracy of 80% and recognises stopping intentions 58.33ms before the event with an accuracy of 70%. Concerning the path prediction, the mean error for stopping activities at a Time-To-Event (TTE) of 1s is 238.01mm and, for starting actions, the mean error at a TTE of 0s is 331.93mm.


title: Observed mobility behavior data reveal social distancing inertia

abstract: The research team has utilized an integrated dataset, consisting of anonymized location data, COVID-19 case data, and census population information, to study the impact of COVID-19 on human mobility. The study revealed that statistics related to social distancing, namely trip rate, miles traveled per person, and percentage of population staying at home have all showed an unexpected trend, which we named social distancing inertia. The trends showed that as soon as COVID-19 cases were observed, the statistics started improving, regardless of government actions. This suggests that a portion of population who could and were willing to practice social distancing voluntarily and naturally reacted to the emergence of COVID-19 cases. However, after about two weeks, the statistics saturated and stopped improving, despite the continuous rise in COVID-19 cases. The study suggests that there is a natural behavior inertia toward social distancing, which puts a limit on the extent of improvement in the social-distancing-related statistics. The national data showed that the inertia phenomenon is universal, happening in all the U.S. states and for all the studied statistics. The U.S. states showed a synchronized trend, regardless of the timeline of their statewide COVID-19 case spreads or government orders.


title: Transmission in pseudospin-1 and pseudospin-3/2 semimetals with linear dispersion through scalar and vector potential barriers

abstract: We investigate the tunneling of pseudospin-1 and pseudospin-3/2 quasiparticles through a barrier consisting of both electrostatic and vector potentials, existing uniformly in a finite region along the transmission axis. First, we find the tunneling coefficients, conductivities, and Fano factors in the absence of the vector potential. Then we repeat the calculations by switching on the relevant magnetic fields. The features show clear distinctions, which can be used to identify the type of semimetals, although both of them exhibit linear band-crossing points.


title: Proceedings 16th International Conference on Quantum Physics and Logic

abstract: This volume contains the proceedings of the 16th International Conference on Quantum Physics and Logic (QPL 2017), which was held June 10-14, 2019. Quantum Physics and Logic is an annual conference that brings together researchers working on mathematical foundations of quantum physics, quantum computing, and related areas, with a focus on structural perspectives and the use of logical tools, ordered algebraic and category-theoretic structures, formal languages, semantical methods, and other computer science techniques applied to the study of physical behaviour in general. Work that applies structures and methods inspired by quantum theory to other fields (including computer science) is also welcome.