title: Cepstral Analysis for Baseline-Insensitive Absorption Spectroscopy Using Light Sources with Pronounced Intensity Variations

abstract: This manuscript presents a data-processing technique which improves the accuracy and precision of absorption-spectroscopy measurements by isolating the molecular absorbance signal from errors in the baseline light intensity (Io) using cepstral analysis. Recently, cepstral analysis has been used with traditional absorption spectrometers to create a modified form of the time-domain molecular free-induction decay (m-FID) signal which can be analyzed independently from Io. However, independent analysis of the molecular signature is not possible when the baseline intensity and molecular response do not separate well in the time domain, which is typical when using injection-current-tuned lasers (e.g., quantum cascade lasers) and other light sources with pronounced intensity tuning. In contrast, the method presented here is applicable to all light sources since it determines gas properties by least-squares fitting a simulated m-FID signal to the measured m-FID signal in the time domain. This method is insensitive to errors in the estimated Io which vary slowly with optical frequency and, therefore, decay rapidly in the time domain. The benefits provided by this method are demonstrated via scanned-wavelength direct-absorption measurements acquired with a distributed-feedback (DFB) quantum-cascade laser (QCL). The wavelength of a DFB QCL was scanned across CO's P(0,20) and P(1,14) absorption transitions at 1 kHz to measure the gas temperature and concentration of CO. Measurements were acquired in a gas cell and in an ethylene-air flame at 1 atm. The measured spectra were processed using the new m-FID-based method and two traditional methods which rely on inferring the baseline error within the spectral-fitting routine. The m-FID-based method demonstrated superior accuracy in all cases and a measurement precision that was 1.5 to 10 times smaller than that provided using traditional methods.


title: A compact, structural analysis amenable, port-Hamiltonian circuit analysis

abstract: This article presents a simple port-Hamiltonian formulation of the equations for an RLC electric circuit as a differential-algebraic equation system, and a proof that structural analysis always succeeds on it for a well-posed circuit, thus providing a correct regularisation for numerical solution. The DAE is small - its number of variables/equations is at most the number of edges in the circuit graph.


title: 't Hooft surface in lattice gauge theory

abstract: We discuss the lattice formulation of the 't Hooft surface, that is, the two-dimensional surface operator of a dual variable. The 't Hooft surface describes the world sheets of topological vortices. We derive the formulas to calculate the expectation value of the 't Hooft surface in the multiple-charge lattice Abelian Higgs model and in the lattice non-Abelian Higgs model. As the first demonstration of the formula, we compute the intervortex potential in the charge-2 lattice Abelian Higgs model.


title: Foundations of regular coinduction

abstract: Inference systems are a widespread framework used to define possibly recursive predicates by means of inference rules. They allow both inductive and coinductive interpretations that are fairly well-studied. In this paper, we consider a middle way interpretation, called regular, which combines advantages of both approaches: it allows non-well-founded reasoning while being finite. We show that the natural proof-theoretic definition of the regular interpretation, based on regular trees, coincides with a rational fixed point. Then, we provide an equivalent inductive characterization, which leads to an algorithm which looks for a regular derivation of a judgment. Relying on these results, we define proof techniques for regular reasoning: the regular coinduction principle, to prove completeness, and an inductive technique to prove soundness, based on the inductive characterization of the regular interpretation. Finally, we show the regular approach can be smoothly extended to inference systems with corules, a recently introduced, generalised framework, which allows one to refine the coinductive interpretation, proving that also this flexible regular interpretation admits an equivalent inductive characterisation.


title: Conformal scattering theories for tensorial wave equations on Schwarzschild spacetime

abstract: In this paper, we establish the constructions of conformal scattering theories for the tensorial wave equation such as the tensorial Fackerell-Ipser and the spin $\pm 1$ Teukolsky equations on Schwarzschild spacetime. In our strategy, we construct the conformal scattering for the tensorial Fackerell-Ipser equations which are obtained from the Maxwell equation and spin $\pm 1$ Teukolsky equations. Our method combines Penrose's conformal compactification and the energy decay results of the tensorial fields satisfying the tensorial Fackerell-Ipser equation to prove the energy equality of the fields through the conformal boundary $\mathfrak{H}^+\cup \scri^+$ (resp. $\mathfrak{H}^-\cup \scri^-$) and the initial Cauchy hypersurface $\Sigma_0 = \left\{ t=0 \right\}$. We will prove the well-posedness of the Goursat problem by using a generalization of H\"ormander's results for the tensorial wave equations. By using the results for the tensorial Fackerell-Ipser equations we will establish the construction of conformal scattering for the spin $\pm 1$ Teukolsky equations.


title: Quench dynamics of a weakly interacting disordered Bose gas in momentum space

abstract: We theoretically study the out-of-equilibrium dynamics in momentum space of a weakly interacting disordered Bose gas launched with a finite velocity. In the absence of interactions, coherent multiple scattering gives rise to a background of diffusive particles, on top of which a coherent backscattering interference emerges. We revisit this scenario in the presence of interactions, using a diagrammatic quantum transport theory. We find that the dynamics is governed by coupled kinetic equations describing the thermalization of the diffusive and coherent components of the gas. This phenomenon leads to a destruction of coherent backscattering, well described by an exponential relaxation whose rate is controlled by the particle collision time. These predictions are confirmed by numerical simulations.

categories: cond-mat.quant-gas cond-mat.dis-nn physics.atom-ph quant-ph


title: Robust Decoding from Binary Measurements with Cardinality Constraint Least Squares

abstract: The main goal of 1-bit compressive sampling is to decode $n$ dimensional signals with sparsity level $s$ from $m$ binary measurements. This is a challenging task due to the presence of nonlinearity, noises and sign flips. In this paper, the cardinality constraint least square is proposed as a desired decoder. We prove that, up to a constant $c$, with high probability, the proposed decoder achieves a minimax estimation error as long as $m \geq \mathcal{O}( s\log n)$. Computationally, we utilize a generalized Newton algorithm (GNA) to solve the cardinality constraint minimization problem with the cost of solving a least squares problem with small size at each iteration. We prove that, with high probability, the $\ell_{\infty}$ norm of the estimation error between the output of GNA and the underlying target decays to $\mathcal{O}(\sqrt{\frac{\log n }{m}}) $ after at most $\mathcal{O}(\log s)$ iterations. Moreover, the underlying support can be recovered with high probability in $\mathcal{O}(\log s)$ steps provided that the target signal is detectable. Extensive numerical simulations and comparisons with state-of-the-art methods are presented to illustrate the robustness of our proposed decoder and the efficiency of the GNA algorithm.


title: Phase Transition in Random Noncommutative Geometries

abstract: We present an analytic proof of the existence of phase transition in the large $N$ limit of certain random noncommutaitve geometries. These geometries can be expressed as ensembles of Dirac operators. When they reduce to single matrix ensembles, one can apply the Coulomb gas method to find the empirical spectral distribution. We elaborate on the nature of the large $N$ spectral distribution of the Dirac operator itself. Furthermore, we show that these models exhibit both a single and double cut region for certain values of the order parameter and find the exact value where the transition occurs.


title: Construction of strictly closed rings

abstract: The notion of strict closedness of rings was given by J. Lipman in connection with a conjecture of O. Zariski. The present purpose is to give a practical method of construction of strictly closed rings. It is also shown that the Stanley-Reisner rings of simplicial complexes (resp. $F$-pure rings satisfying the condition $(S_2)$ of Serre) are strictly closed (resp. weakly Arf) rings.


title: ToGCom: An Asymmetric Sybil Defense

abstract: Proof-of-work (PoW) is one of the most common techniques to defend against Sybil attacks. Unfortunately, current PoW defenses have two main drawbacks. First, they require work to be done even in the absence of an attack. Second, during an attack, they require good identities (IDs) to spend as much as the attacker. Recent theoretical work by Gupta, Saia, and Young suggests the possibility of overcoming these two drawbacks. In particular, they describe a new algorithm, GMCom, that always ensures that a minority of IDs are Sybil. They show that rate at which all good IDs perform computation is $O(J_G + \sqrt{T(J_G+1)})$, where $J_G$ is the join rate of good IDs, and $T$ is the rate at which the adversary performs computation. Unfortunately, this cost bound only holds in the case where (1) GMCom always knows the join rate of good IDs; and (2) there is a fixed constant amount of time that separates join events by good IDs. Here, we present ToGCom, which removes these two shortcomings. To do so, we design and analyze a mechanism for estimating the join rate of good IDs; and also devise a new method for setting the computational cost to join the system. Additionally, we evaluate the performance of ToGCom alongside prior PoW-based defenses. Based on our experiments, we design heuristics that further improve the performance of ToGCom by up to $3$ orders of magnitude over these previous Sybil defenses.


title: Secure Sum Outperforms Homomorphic Encryption in (Current) Collaborative Deep Learning

abstract: Deep learning (DL) approaches are achieving extraordinary results in a wide range of domains, but often require a massive collection of private data. Hence, methods for training neural networks on the joint data of different data owners, that keep each party's input confidential, are called for. We address a specific setting in federated learning, namely that of deep learning from horizontally distributed data with a limited number of parties, where their vulnerable intermediate results have to be processed in a privacy-preserving manner. This setting can be found in medical and healthcare as well as industrial applications. The predominant scheme for this is based on homomorphic encryption (HE), and it is widely considered to be without alternative. In contrast to this, we demonstrate that a carefully chosen, less complex and computationally less expensive secure sum protocol in conjunction with default secure channels exhibits superior properties in terms of both collusion-resistance and runtime. Finally, we discuss several open research questions in the context of collaborative DL, especially regarding privacy risks caused by joint intermediate results.


title: Best Strategy for Each Team in The Regular Season to Win Champion in The Knockout Tournament

abstract: In J. Schwenk.(2018) ['What is the Correct Way to Seed a Knockout Tournament?' Retrieved from The American Mathematical Monthly], Schwenk identified a surprising weakness in the standard method of seeding a single elimination (or knockout) tournament. In particular, he showed that for a certain probability model for the outcomes of games it can be the case that the top seeded team would be less likely to win the tournament than the second seeded team. This raises the possibility that in certain situations it might be advantageous for a team to intentionally lose a game in an attempt to get a more optimal (though possibly lower) seed in the tournament. We examine this question in the context of a four team league which consists of a round robin "regular season" followed by a single elimination tournament with seedings determined by the results from the regular season [4]. Using the same probability model as Schwenk we show that there are situations where it is indeed optimal for a team to intentionally lose. Moreover, we show how a team can make the decision as to whether or not it should intentionally lose. We did two detailed analysis. One is for the situation where other teams always try to win every game. The other is for the situation where other teams are smart enough, namely they can also lose some games intentionally if necessary. The analysis involves computations in both probability and (multi-player) game theory.


title: Jamming-Aware Control Plane in Elastic Optical Networks

abstract: Physical layer security is essential in optical networks. In this paper, we study a jamming-aware control plane, in which a high power jamming attack exists in the network. The studied control plane considers that the jammed connections can be detected and avoided. We used a physical layer model, in which we embedded the additional jamming power, to evaluate different security in scenarios, such as a jamming-free scenario, jamming with an unaware controller, and jamming with an aware controller. The performance is analyzed in terms of the blocking rate and slots utilization. We analyze the impact of jamming attacks in the least used link and in the most used link on the network. The results demonstrates that the jamming avoidance by the control plane can reach performance near the not jammed scenario.


title: An improved Moore bound and some new optimal families of mixed Abelian Cayley graphs

abstract: We consider the case in which mixed graphs (with both directed and undirected edges) are Cayley graphs of Abelian groups. In this case, some Moore bounds were derived for the maximum number of vertices that such graphs can attain. We first show these bounds can be improved if we know more details about the order of some elements of the generating set. Based on these improvements, we present some new families of mixed graphs. For every fixed value of the degree, these families have an asymptotically large number of vertices as the diameter increases. In some cases, the results obtained are shown to be optimal.


title: Sequential warped product submanifolds having factors as holomorphic, totally real and pointwise slant

abstract: We introduce sequential warped product submanifolds of Kaehler manifolds, provide examples and establish Chen's inequality for such submanifolds. The equality case is also studied. Moreover, by inspiring Lawson and Simons's integral currrent's theorem on a submanifold, we find a similar pinching inequality for a sequential warped product submanifold and obtain geometric results when the equality case is satisfied.


title: Multipartite entanglement and topology in holography

abstract: Starting from the entanglement wedge of a multipartite mixed state we describe a purification procedure which involves the gluing of several copies. The resulting geometry has non-trivial topology and a single oriented boundary for each original boundary region. In the purified geometry the original multipartite entanglement wedge cross section is mapped to a minimal surface of a particular non-trivial homology class. In contrast each original bipartite entanglement wedge cross section is mapped to the minimal wormhole throat around each boundary. Using the bit thread formalism we show how maximal flows for the bipartite and multipartite entanglement wedge cross section can be glued together to form maximal multiflows in the purified geometry. The defining feature differentiating the flows is given by the existence of threads which cross between different copies of the original entanglement wedge. Together these demonstrate a possible connection between multipartite entanglement and the topology of holographic spacetimes.


title: Short-Run Health Consequences of Retirement and Pension Benefits: Evidence from China

abstract: This paper examines the impact of the New Rural Pension Scheme (NRPS) in China. Exploiting the staggered implementation of an NRPS policy expansion that began in 2009, we use a difference-in-difference approach to study the effects of the introduction of pension benefits on the health status, health behaviors, and healthcare utilization of rural Chinese adults age 60 and above. The results point to three main conclusions. First, in addition to improvements in self-reported health, older adults with access to the pension program experienced significant improvements in several important measures of health, including mobility, self-care, usual activities, and vision. Second, regarding the functional domains of mobility and self-care, we found that the females in the study group led in improvements over their male counterparts. Third, in our search for the mechanisms that drive positive retirement program results, we find evidence that changes in individual health behaviors, such as a reduction in drinking and smoking, and improved sleep habits, play an important role. Our findings point to the potential benefits of retirement programs resulting from social spillover effects. In addition, these programs may lessen the morbidity burden among the retired population.


title: Dendrite Net with Acceleration Module for Faster Nonlinear Mapping and System Identification

abstract: Nonlinear mapping is an essential and common demand in online systems, such as sensor systems and mobile phones. Accelerating nonlinear mapping will directly speed up online systems. Previously the authors of this paper proposed a Dendrite Net (DD) with enormously lower time complexity than the existing nonlinear mapping algorithms; however, there still are redundant calculations in DD. This paper presents a DD with an acceleration module (AC) to accelerate nonlinear mapping further. We conduct three experiments to verify whether DD with AC has lower time complexity while retaining DD's nonlinear mapping properties and system identification properties: The first experiment is the precision and identification of unary nonlinear mapping, reflecting the calculation performance using DD with AC for basic functions in online systems. The second experiment is the mapping precision and identification of the multi-input nonlinear system, reflecting the performance for designing online systems via DD with AC. Finally, this paper compares the time complexity of DD and DD with AC and analyzes the theoretical reasons through repeated experiments. Results: DD with AC retains DD's excellent mapping and identification properties and has lower time complexity. Significance: DD with AC can be used for most engineering systems, such as sensor systems, and will speed up computation in these online systems. The code of DD with AC is available on https://github.com/liugang1234567/Gang-neuron


title: Constrained Variational Autoencoder for improving EEG based Speech Recognition Systems

abstract: In this paper we introduce a recurrent neural network (RNN) based variational autoencoder (VAE) model with a new constrained loss function that can generate more meaningful electroencephalography (EEG) features from raw EEG features to improve the performance of EEG based speech recognition systems. We demonstrate that both continuous and isolated speech recognition systems trained and tested using EEG features generated from raw EEG features using our VAE model results in improved performance and we demonstrate our results for a limited English vocabulary consisting of 30 unique sentences for continuous speech recognition and for an English vocabulary consisting of 2 unique sentences for isolated speech recognition. We compare our method with another recently introduced method described by authors in [1] to improve the performance of EEG based continuous speech recognition systems and we demonstrate that our method outperforms their method as vocabulary size increases when trained and tested using the same data set. Even though we demonstrate results only for automatic speech recognition (ASR) experiments in this paper, the proposed VAE model with constrained loss function can be extended to a variety of other EEG based brain computer interface (BCI) applications.


title: A Comprehensive Survey of Neural Architecture Search: Challenges and Solutions

abstract: Deep learning has made breakthroughs and substantial in many fields due to its powerful automatic representation capabilities. It has been proven that neural architecture design is crucial to the feature representation of data and the final performance. However, the design of the neural architecture heavily relies on the researchers' prior knowledge and experience. And due to the limitations of human' inherent knowledge, it is difficult for people to jump out of their original thinking paradigm and design an optimal model. Therefore, an intuitive idea would be to reduce human intervention as much as possible and let the algorithm automatically design the neural architecture. Neural Architecture Search (NAS) is just such a revolutionary algorithm, and the related research work is complicated and rich. Therefore, a comprehensive and systematic survey on the NAS is essential. Previously related surveys have begun to classify existing work mainly based on the key components of NAS: search space, search strategy, and evaluation strategy. While this classification method is more intuitive, it is difficult for readers to grasp the challenges and the landmark work involved. Therefore, in this survey, we provide a new perspective: beginning with an overview of the characteristics of the earliest NAS algorithms, summarizing the problems in these early NAS algorithms, and then providing solutions for subsequent related research work. Besides, we conduct a detailed and comprehensive analysis, comparison, and summary of these works. Finally, we provide some possible future research directions.


title: Construction of 'Support Vector' Machine Feature Spaces via Deformed Weyl-Heisenberg Algebra

abstract: This paper uses deformed coherent states, based on a deformed Weyl-Heisenberg algebra that unifies the well-known SU(2), Weyl-Heisenberg, and SU(1,1) groups, through a common parameter. We show that deformed coherent states provide the theoretical foundation of a meta-kernel function, that is a kernel which in turn defines kernel functions. Kernel functions drive developments in the field of machine learning and the meta-kernel function presented in this paper opens new theoretical avenues for the definition and exploration of kernel functions. The meta-kernel function applies associated revolution surfaces as feature spaces identified with non-linear coherent states. An empirical investigation compares the deformed SU(2) and SU(1,1) kernels derived from the meta-kernel which shows performance similar to the Radial Basis kernel, and offers new insights (based on the deformed Weyl-Heisenberg algebra).


title: A Study on the Baryon Acoustic Oscillation with Topological Data Analysis

abstract: (abridged) The scale of the acoustic oscillation of baryons at the baryon-photon decoupling is imprinted on the spatial distribution of galaxies in the Universe, known as the baryon acoustic oscillation (BAO). The correlation functions and power spectrum are used as a central tool for the studies on the BAO analysis. In this work, we analyzed the spatial distribution of galaxies with a method from the topological data analysis (TDA), in order to detect and examine the BAO signal in the galaxy distribution. The TDA provides a method to treat various types of "holes" in point set data, by constructing the persistent homology (PH) group from the geometric structure of data points and handling the topological information of the dataset. We can obtain the information on the size, position, and statistical significance of the holes in the data. A particularly strong point of the persistent homology is that it can classify the holes by their spatial dimension, i.e., a 0-dim separation, 1-dim loop, 2-dim shell, etc. We first analyzed the simulation datasets with and without the baryon physics to examine the performance of the PH method. We found that the PH is indeed able to detect the BAO signal: simulation data with baryon physics present a prominent signal from the BAO, while data without baryon physics does not show this signal. Then, we applied the PH to a quasar sample at $z <1.0$ from extended Baryon Oscillation Spectroscopic Survey in Sloan Digital Sky Survey Data Release 14. We discovered a characteristic hole (a hollow shell) at a scaler $\sim150\ [{\rm Mpc}]$. This exactly corresponds to the BAO signature imprinted in the galaxy/quasar distribution. We performed this analysis on a small subsample of 2000 quasars. This clearly demonstrates that the PH analysis is very efficient in finding this type of topological structures even if the sampling is very sparse.


title: A Bayesian Analysis of Nuclear Deformation Properties with Skyrme Energy Functionals

abstract: In spite of numerous scientific and practical applications, there is still no comprehensive theoretical description of the nuclear fission process based solely on protons, neutrons and their interactions. The most advanced simulations of fission are currently carried out within nuclear density functional theory (DFT). In spite of being fully quantum-mechanical and rooted in the theory of nuclear forces, DFT still depends on a dozen or so parameters characterizing the energy functional. Calibrating these parameters on experimental data results in uncertainties that must be quantified for applications. This task is very challenging because of the high computational cost of DFT calculations for fission. In this paper, we use Gaussian processes to build emulators of DFT models in order to quantify and propagate statistical uncertainties of theoretical predictions for a range of nuclear deformations relevant to describing the fission process.


title: Asymptotic behavior of orthogonal polynomials. Singular critical case

abstract: Our goal is to find an asymptotic behavior as $n\to\infty$ of the orthogonal polynomials $P_{n}(z)$ defined by Jacobi recurrence coefficients $a_{n}$ (off-diagonal terms) and $ b_{n}$ (diagonal terms). We consider the case $a_{n}\to\infty$, $b_{n}\to\infty$ in such a way that $\sum a_{n}^{-1}<\infty$ $($that is, the Carleman condition is violated$)$ and $\gamma_{n}:=2^{-1}b_{n} (a_{n}a_{n-1})^{-1/2} \to \gamma $ as $n\to\infty$. In the case $|\gamma | \neq 1$ asymptotic formulas for $P_{n}(z)$ are known; they depend crucially on the sign of $| \gamma |-1$. We study the critical case $| \gamma |=1$. The formulas obtained are qualitatively different in the cases $|\gamma_{n}| \to 1-0$ and $|\gamma_{n}| \to 1+0$. Another goal of the paper is to advocate an approach to a study of asymptotic behavior of $P_{n}(z)$ based on a close analogy of the Jacobi difference equations and differential equations of Schr\"odinger type.


title: High-sensitivity COVID-19 group testing by digital PCR

abstract: Background: Worldwide demand for SARS-CoV-2 RT-PCR testing is increasing as more countries are impacted by COVID-19 and as testing remains central to contain the spread of the disease, both in countries where the disease is emerging and in countries that are past the first wave but exposed to re-emergence. Group testing has been proposed as a solution to expand testing capabilities but sensitivity concerns have limited its impact on the management of the pandemic. Digital PCR (RT-dPCR) has been shown to be more sensitive than RT-PCR and could help in this context. Methods: We implemented RT-dPCR based COVID-19 group testing on commercially available system and assay (Naica System from Stilla Technologies) and investigated the sensitivity of the method in real life conditions of a university hospital in Paris, France, in May 2020. We tested the protocol in a direct comparison with reference RT-PCR testing on 448 samples split into groups of 3 sizes for RT-dPCR analysis: 56 groups of 8 samples, 28 groups of 16 samples and 14 groups of 32 samples. Results: Individual RT-PCR testing identified 25 positive samples. Using groups of 8, testing by RT-dPCR identified 23 groups as positive, corresponding to 26 true positive samples including 2 samples not initially detected by individual RT-PCR but confirmed positive by further RT-PCR and RT-dPCR investigation. For groups of 16, 15 groups tested positive, corresponding to 25 true positive samples identified. 100% concordance is found for groups of 32 but with limited data points.


title: Assessing Intelligence in Artificial Neural Networks

abstract: The purpose of this work was to develop of metrics to assess network architectures that balance neural network size and task performance. To this end, the concept of neural efficiency is introduced to measure neural layer utilization, and a second metric called artificial intelligence quotient (aIQ) was created to balance neural network performance and neural network efficiency. To study aIQ and neural efficiency, two simple neural networks were trained on MNIST: a fully connected network (LeNet-300-100) and a convolutional neural network (LeNet-5). The LeNet-5 network with the highest aIQ was 2.32% less accurate but contained 30,912 times fewer parameters than the highest accuracy network. Both batch normalization and dropout layers were found to increase neural efficiency. Finally, high aIQ networks are shown to be memorization and overtraining resistant, capable of learning proper digit classification with an accuracy of 92.51% even when 75% of the class labels are randomized. These results demonstrate the utility of aIQ and neural efficiency as metrics for balancing network performance and size.


title: Gradient-Bounded Dynamic Programming for Submodular and Concave Extensible Value Functions with Probabilistic Performance Guarantees

abstract: We consider stochastic dynamic programming problems with high-dimensional, discrete state-spaces and finite, discrete-time horizons that prohibit direct computation of the value function from a given Bellman equation for all states and time steps due to the "curse of dimensionality". For the case where the value function of the dynamic program is concave extensible and submodular in its state-space, we present a new algorithm that computes deterministic upper and stochastic lower bounds of the value function in the realm of dual dynamic programming. We show that the proposed algorithm terminates after a finite number of iterations. Furthermore, we derive probabilistic guarantees on the value accumulated under the associated policy for a single realisation of the dynamic program and for the expectation of this value. Finally, we demonstrate the efficacy of our approach on a high-dimensional numerical example from delivery slot pricing in attended home delivery.


title: A Monte Carlo Approach to the Worldline Formalism in Curved Space

abstract: We present a numerical method to evaluate worldline (WL) path integrals defined on a curved Euclidean space, sampled with Monte Carlo (MC) techniques. In particular, we adopt an algorithm known as YLOOPS with a slight modification due to the introduction of a quadratic term which has the function of stabilizing and speeding up the convergence. Our method, as the perturbative counterparts, treats the non-trivial measure and deviation of the kinetic term from flat, as interaction terms. Moreover, the numerical discretization adopted in the present WLMC is realized with respect to the proper time of the associated bosonic point-particle, hence such procedure may be seen as an analogue of the time-slicing (TS) discretization already introduced to construct quantum path integrals in curved space. As a result, a TS counter-term is taken into account during the computation. The method is tested against existing analytic calculations of the heat kernel for a free bosonic point-particle in a D-dimensional maximally symmetric space.


title: Comment on "Search for $\eta'$ Bound Nuclei in the $^{12}\mathrm{C}(\gamma,p)$ Reaction with Simultaneous Detection of Decay Products"

abstract: We comment on a recent paper by the LEPS2/BGOegg Collaboration [Phys. Rev. Lett. 124, 202501 (2020), arXiv:2005.03449].


title: Superconducting currents and charge gradients in the octonion spaces

abstract: The paper focuses on applying the algebra of octonions to explore the influence of electric-charge gradients on the electric-current derivatives, revealing some of major influence factors of high pulse electric-currents. J. C. Maxwell was the first scholar to utilize the algebra of quaternions to study the physical properties of electromagnetic fields. The contemporary scholars employ simultaneously the quaternions and octonions to investigate the physical properties of electromagnetic fields, including the octonion field strength, field source, linear momentum, angular momentum, torque, and force and so forth. When the octonion force is equal to zero, it is able to achieve eight equations independent of each other, including the fluid continuity equation, current continuity equation, force equilibrium equation, and second-force equilibrium equation and so on. One of inferences derived from the second-force equilibrium equation is that the charge gradient and current derivative are interrelated closely, two of them must satisfy the need of the second-force equilibrium equation synchronously. Meanwhile the electromagnetic strength and linear momentum both may exert an influence on the current derivative to a certain extent. The above states that the charge gradient and current derivative are two correlative physical quantities, they must meet the requirement of second-force equilibrium equation. By means of controlling the charge gradients and other physical quantities, it is capable of restricting the development process of current derivatives, reducing the damage caused by the instantaneous impact of high pulse electric-currents, enhancing the anti-interference ability of electronic equipments to resist the high pulse electric-currents and their current derivatives. Further the second-force equilibrium equation is able to explain two types of superconducting currents.


title: Discovery of a Universal Correlation For Long and Short GRBs and Its Application on the Study of Luminosity Function and Formation Rate

abstract: Gamma-ray bursts (GRBs) are known to be the most violent explosions in the universe, and a variety of correlations between observable GRB properties have been proposed in literature, but none of these correlations is valid for both long GRBs and short GRBs. In this paper we report the discovery of a universal correlation which is suitable for both long and short GRBs using three prompt emission properties of GRBs, i.e. the isotropic peak luminosity $L_{\rm iso}$, the peak energy of the time-integtated prompt emission spectrum $E_{\rm peak}$, and the "high signal" timescale $T_{\rm 0.45}$, $L_{\rm iso} \propto E_{\rm peak}^{1.94} T_{0.45}^{0.37}$. This universal correlation just involves properties of GRB prompt emission and does not require any information of afterglow phase, which can be used as a relatively unbiased redshift estimator. Here we use this correlation to estimate the pseudo-redshifts for short Gamma Ray Bursts and then use Lynden-Bell method to obtain a non-parametric estimate of their luminosity function and formation rate. The luminosity function is $\psi(L_0)\propto{L_0^{-0.63\pm{0.07}}}$ for dim SGRBs and $\psi(L_0)\propto{L_0^{-1.96\pm{0.28}}}$ for bright SGRBs, with the break point $6.95_{-0.76}^{+0.84}\times10^{50} erg/s$. The local formation rate of SGRBs is about 15 events $\rm Gpc^{-3}yr^{-1}$ . This universal correlation may have important implications for GRB physics, implying that the long and short GRBs should share similar radiation processes.


title: Continuous-time system identification with neural networks: Model structures and fitting criteria

abstract: This paper presents tailor-made neural model structures and two custom fitting criteria for learning dynamical systems. The proposed framework is based on a representation of the system behavior in terms of continuous-time state-space models. The sequence of hidden states is optimized along with the neural network parameters in order to minimize the difference between measured and estimated outputs, and at the same time to guarantee that the optimized state sequence is consistent with the estimated system dynamics. The effectiveness of the approach is demonstrated through three case studies, including two public system identification benchmarks based on experimental data.


title: Precision Measurements in Few-Electron Molecules: The Ionization Energy of Metastable $\mathbf{^4}$He$\mathbf{{_2}}$ and the First Rotational Interval of $\mathbf{^4}$He$\mathbf{{_2}^+}$

abstract: Molecular helium represents a benchmark system for testing $\textit{ab initio}$ calculations on few-electron molecules. We report on the determination of the adiabatic ionization energy of the $a\,^3\Sigma_u^+$ state of He$_2$, corresponding to the energy interval between the $a\,^3\Sigma_u^+$ ($v''=0$, $N''=1$) state of He$_2$ and the $X^+\,^2\Sigma_u^+$ ($v^+=0$, $N^+=1$) state of He${_2}^+$, and of the lowest rotational interval of He${_2}^+$. These measurements rely on the excitation of metastable He$_2$ molecules to high Rydberg states using frequency-comb-calibrated continuous-wave UV radiation in a counter-propagating-laser-beam setup. The observed Rydberg states were extrapolated to their series limit using multichannel quantum-defect theory. The ionization energy of He$_2$ ($a\,^3\Sigma_u^+$) and the lowest rotational interval of He${_2}^+$ ($X^+\,^2\Sigma_u^+$) are 34301.207002(23)$\pm 0.000037_{\mathrm{sys}}$ cm$^{-1}$ and 70.937589(23)$\pm 0.000060_{\mathrm{sys}}$ cm$^{-1}$, respectively.


title: The effective mitigation of greenhouse gas emissions from rice paddies without compromising yield by early-season drainage

abstract: Global rice production systems face two opposing challenges: the need to increase production to accommodate the world's growing population while simultaneously reducing greenhouse gas (GHG) emissions. Adaptations to drainage regimes are one of the most promising options for methane mitigation in rice production. Whereas several studies have focused on mid-season drainage (MD) to mitigate GHG emissions, early-season drainage (ED) varying in timing and duration has not been extensively studied. However, such ED periods could potentially be very effective since initial available Carbon levels (and thereby the potential for methanogenesis) can be very high in paddy systems with rice straw incorporation. This study tested the effectiveness of seven drainage regimes varying in their timing and duration (combinations of ED and MD) to mitigate methane (CH4) and nitrous oxide (N2O) emissions in a 101-day growth chamber experiment. Emissions were considerably reduced by early-season drainage compared to both conventional continuous flooding (CF) and the MD drainage regime. The results suggest that ED + MD drainage may have the potential to reduce methane emissions and yield-scaled global warming potential by 85 to 90% compared to CF and by 75 to 77% compared to MD only. A combination of (short or long) ED drainage and one MD drainage episode was found to be the most effective in mitigating methane emissions without negatively affecting yield. In particular, compared with CF, the long early-season drainage treatments LE + SM and LE + LM significantly decreased yield scaled global warming potential by 85% and 87% respectively. This was associated with carbon being stabilised early in the season, thereby reducing available carbon for methanogenesis. Overall nitrous oxide emissions were small and not significantly affected by ED.


title: Proof of some conjectural hypergeometric supercongruences via curious identities

abstract: In this paper, we prove several supercongruences conjectured by Z.-W. Sun ten years ago via certain strange hypergeometric identities. For example, for any prime $p>3$, we show that $$\sum_{k=0}^{p-1}\frac{\binom{4k}{2k+1}\binom{2k}k}{48^k}\equiv0\pmod{p^2},$$ and $$ \sum_{k=0}^{p-1}\frac{\binom{2k}{k}\binom{3k}{k}}{24^k}\equiv\begin{cases}\binom{(2p-2)/3}{(p-1)/3}\pmod{p^2}\ &\mbox{if}\ p\equiv1\pmod{3},\\ p/\binom{(2p+2)/3}{(p+1)/3}\pmod{p^2}\ &\mbox{if}\ p\equiv2\pmod{3}.\end{cases} $$ We also obtain some other results of such types.


title: Spatial sampling of MEG and EEG revisited: From spatial-frequency spectra to model-informed sampling

abstract: In this paper, we analyze spatial sampling of electro- (EEG) magnetoencephalography (MEG), where the electric or magnetic field is typically sampled on a curved surface such as the scalp. Using simulated measurements, we study the spatial-frequency content in EEG as well as in on- and off-scalp MEG. The analysis suggests that on-scalp MEG would generally benefit from three times more samples than EEG or off-scalp MEG. Based on the theory of Gaussian processes and experimental design, we suggest an approach to obtain sampling locations on surfaces that are optimal with respect to prior assumptions. Additionally, the approach allows to control, e.g., the uniformity of the sampling locations in the grid. By simulating the performance of grids constructed with different priors, we show that for a low number of spatial samples, model-informed non-uniform sampling can be beneficial. For a large number of samples, uniform sampling grids yield nearly the same total information as the model-informed grids.


title: The General Class of Accelerating, Rotating and Charged Plebanski-Demianski Black Holes as Heat Engine

abstract: We first review the general class of accelerating, rotating and charged Plebanski-Demianski (PD) black holes in presence of cosmological constant, which includes the Kerr-Newman rotating black hole and the Taub-NUT spacetime. We assume that the thermodynamical pressure may be described by the negative cosmological constant and so the black hole represents anti-de Sitter (AdS) PD black hole. The thermodynamic quantities like surface area, entropy, volume, temperature, Gibb's and Helmholtz's free energies of the AdS PD black hole are obtained due to the thermodynamic system. Next we find the critical point and corresponding critical pressure, critical temperature and critical volume for AdS PD black hole. Due to the study of specific heat capacity, we obtain ${\cal C}_{V}=0$ and ${\cal C}_{P}\ge 0$. From this result, we conclude that the AdS PD black hole may be stable. We examine the Joule-Thomson expansion of PD black hole and by evaluating the sign of Joule-Thomson coefficient $\mu$, we determine the heating and cooling nature of PD black hole. Putting $\mu=0$, we find the inversion temperature. Next we study the heat engine for AdS PD black hole. In Carnot cycle, we obtain the work done and its maximum efficiency. Also we describe the work done and its efficiency for a new engine. Finally, we analyze the efficiency for the Rankine cycle in PD black hole heat engine.


title: Multiple Generative Adversarial Networks Analysis for Predicting Photographers' Retouching

abstract: Anyone can take a photo, but not everybody has the ability to retouch their pictures and obtain result close to professional. Since it is not possible to ask experts to retouch thousands of pictures, we thought about teaching a piece of software how to reproduce the work of those said experts. This study aims to explore the possibility to use deep learning methods and more specifically, generative adversarial networks (GANs), to mimic artists' retouching and find which one of the studied models provides the best results.


title: Topological Mathieu Moonshine

abstract: We explore the Atiyah-Hirzebruch spectral sequence for the $tmf^\bullet[\frac12]$-cohomology of the classifying space $BM_{24}$ of the largest Mathieu group $M_{24}$, twisted by a class $\omega \in H^4(BM_{24};Z[\frac12]) \cong Z_3$. Our exploration includes detailed computations of the $Z_3$-cohomology of $M_{24}$ and of the first few differentials in the AHSS. We are specifically interested in the value of $tmf^\bullet_\omega(BM_{24})[\frac12]$ in cohomological degree $-27$. Our main computational result is that $tmf^{-27}_\omega(BM_{24})[\frac12] = 0$ when $\omega \neq 0$. For comparison, the restriction map $tmf^{-3}_\omega(BM_{24})[\frac12]\to tmf^{-3}(pt)[\frac12] \cong Z_3$ is surjective for one of the two nonzero values of $\omega$. Our motivation comes from Mathieu Moonshine. Assuming a well-studied conjectural relationship between $TMF$ and supersymmetric quantum field theory, there is a canonically-defined $Co_1$-twisted-equivariant lifting $[\bar{V}^{f\natural}]$ of the class $\{24\Delta\} \in TMF^{-24}(pt)$, where $Co_1$ denotes Conway's largest sporadic group. We conjecture that the product $[\bar{V}^{f\natural}] \nu$, where $\nu \in TMF^{-3}(pt)$ is the image of the generator of $tmf^{-3}(pt) \cong Z_{24}$, does not vanish $Co_1$-equivariantly, but that its restriction to $M_{24}$-twisted-equivariant $TMF$ does vanish. This conjecture answers some of the questions in Mathieu Moonshine: it implies the existence of a minimally supersymmetric quantum field theory with $M_{24}$ symmetry, whose twisted-and-twined partition functions have the same mock modularity as in Mathieu Moonshine. Our AHSS calculation establishes this conjecture "perturbatively" at odd primes. An appendix included mostly for entertainment purposes discusses "$\ell$-complexes" and their relation to $\mathrm{SU}(2)$ Verlinde rings. The case $\ell=3$ is used in our AHSS calculations.


title: Zero-Field Surface Charge Due to the Gap Suppression in $d$-Wave Superconductors

abstract: We perform a microscopic study on the redistribution of electric charge near the surface of a model $d$-wave superconductor cut along the [110] direction, with a Fermi surface appropriate for cuprate superconductors, using the augmented quasiclassical equations. We identify two possible mechanisms for the redistribution of charged particles different from the well-known magnetic Hall effect, namely; the pair potential gradient (PPG) force due to surface effects on the pair potential and the pressure difference between the normal and superconducting regions arising from the slope of the density of states (SDOS) in the normal states at the Fermi level. Our present results show that in spite of the absence of supercurrents, electric charge is induced around the surface. Moreover, the charging effect due to the SDOS pressure dominates over that due to the PPG force for all the realistic electron-fillings $n=0.8$, $0.9$, and $1.15$, at all temperatures. In addition, for the filling $n=1.15$, the PPG force and the SDOS pressure contributions have the same negative signs, which gives a larger total surface charge i.e., both the sign and amount of the surface charge depends greatly on the Fermi-surface curvature. We have also calculated the local density of states (LDOS) within the augmented quasiclassical theory. Spatially varying local particle-hole asymmetry appears in the LDOS, which suggests the presence of electric charge.


title: Scaling Distributed Training with Adaptive Summation

abstract: Stochastic gradient descent (SGD) is an inherently sequential training algorithm--computing the gradient at batch $i$ depends on the model parameters learned from batch $i-1$. Prior approaches that break this dependence do not honor them (e.g., sum the gradients for each batch, which is not what sequential SGD would do) and thus potentially suffer from poor convergence. This paper introduces a novel method to combine gradients called Adasum (for adaptive sum) that converges faster than prior work. Adasum is easy to implement, almost as efficient as simply summing gradients, and is integrated into the open-source toolkit Horovod. This paper first provides a formal justification for Adasum and then empirically demonstrates Adasum is more accurate than prior gradient accumulation methods. It then introduces a series of case-studies to show Adasum works with multiple frameworks, (TensorFlow and PyTorch), scales multiple optimizers (Momentum-SGD, Adam, and LAMB) to larger batch-sizes while still giving good downstream accuracy. Finally, it proves that Adasum converges. To summarize, Adasum scales Momentum-SGD on the MLPerf Resnet50 benchmark to 64K examples before communication (no MLPerf v0.5 entry converged with more than 16K), the Adam optimizer to 64K examples before communication on BERT-LARGE (prior work showed Adam stopped scaling at 16K), and the LAMB optimizer to 128K before communication on BERT-LARGE (prior work used 64K), all while maintaining downstream accuracy metrics. Finally, if a user does not need to scale, we show LAMB with Adasum on BERT-LARGE converges in 30% fewer steps than the baseline.


title: Coboundaries of commuting Borel automorphisms

abstract: We show that if $S,T$ are two commuting automorphisms of standard Borel space such that they generate a free Borel $\Z^2$-action then $S$ and $T$ do not have same sets of real valued bounded coboundaries. We also prove a weaker form of Rokhlin Lemma for Borel $\Z^d$-actions.


title: Ultrasensitive Photoresponse of Graphene Quantum Dot in the Coulomb Blockade Regime to THz Radiation

abstract: Graphene quantum dots (GQDs) have recently attracted considerable attention, with appealing properties for terahertz (THz) technology. This includes the demonstration of large thermal bolometric effects in GQDs when illuminated by THz radiation. However, the interaction of THz photons with GQDs in the Coulomb blockade regime - single electron transport regime - remains unexplored. Here, we demonstrate the ultrasensitive photoresponse to THz radiation (from <0.1 to 10 THz) of a hBN-encapsulated GQD in the Coulomb blockade regime at low temperature (170 mK). We show that THz radiation of $\sim$10 pW provides a photocurrent response in the nanoampere range, resulting from a renormalization of the chemical potential of the GQD of $\sim$0.15 meV. We attribute this photoresponse to an interfacial photogating effect. Furthermore, our analysis reveals the absence of thermal effects, opening new directions in the study of coherent quantum effects at THz frequencies in GQDs.


title: Use Internet Search Data to Accurately Track State-Level Influenza Epidemics

abstract: For epidemics control and prevention, timely insights of potential hot spots are invaluable. Alternative to traditional epidemic surveillance, which often lags behind real time by weeks, big data from the Internet provide important information of the current epidemic trends. Here we present a methodology, ARGOX (Augmented Regression with GOogle data CROSS space), for accurate real-time tracking of state-level influenza epidemics in the United States. ARGOX combines Internet search data at the national, regional and state levels with traditional influenza surveillance data from the Centers for Disease Control and Prevention, and accounts for both the spatial correlation structure of state-level influenza activities and the evolution of people's Internet search pattern. ARGOX achieves on average 28\% error reduction over the best alternative for real-time state-level influenza estimation for 2014 to 2020. ARGOX is robust and reliable and can be potentially applied to track county- and city-level influenza activity and other infectious diseases.


title: Optimization of MR Fingerprinting for Free-Breathing Quantitative Abdominal Imaging

abstract: In this work, we propose a free-breathing magnetic resonance fingerprinting method that can be used to obtain $B_1^+$-robust quantitative maps of the abdomen in a clinically acceptable time. A three-dimensional MR fingerprinting sequence with a radial stack-of-stars trajectory was implemented for quantitative abdominal imaging. The k-space acquisition ordering was adjusted to improve motion-robustness. The flip angle pattern was optimized using the Cram\'er-Rao Lower Bound, and the encoding efficiency of sequences with 300, 600, 900, and 1800 flip angles was evaluated. To validate the sequence, a movable multicompartment phantom was developed. Reference multiparametric maps were acquired under stationary conditions using a previously validated MRF method. Periodic motion of the phantom was used to investigate the motion-robustness of the proposed sequence. The best performing sequence length (600 flip angles) was used to image the abdomen during a free-breathing volunteer scan. When using a series of 600 or more flip angles, the estimated $T_1$ values in the stationary phantom showed good agreement with the reference scan. Phantom experiments revealed that motion-related artefacts can appear in the quantitative maps, and confirmed that a motion-robust k-space ordering is essential in preventing these artefacts. The in vivo scan demonstrated that the proposed sequence can produce clean parameter maps while the subject breathes freely. Using this sequence, it is possible to generate $B_1^+$-robust quantitative maps of proton density, $T_1$, and $B_1^+$ under free-breathing conditions at a clinically usable resolution within 5 minutes.


title: The last breath of the Sagittarius dSph

abstract: We use the astrometric and photometric data from Gaia Data Release 2 and line-of-sight velocities from various other surveys to study the 3d structure and kinematics of the Sagittarius dwarf galaxy. The combination of photometric and astrometric data makes it possible to obtain a very clean separation of Sgr member stars from the Milky Way foreground; our final catalogue contains ~2.6e5 candidate members with magnitudes G<18, more than half of them being red clump stars. We construct and analyze maps of the mean proper motion and its dispersion over the region ~30x12 degrees, which show a number of interesting features. The intrinsic 3d density distribution (orientation, thickness) is strongly constrained by kinematics; we find that the remnant is a prolate structure with the major axis pointing at 45deg from the orbital velocity and extending up to ~5 kpc, where it transitions into the stream. We perform a large suite of N-body simulations of a disrupting Sgr galaxy as it orbits the Milky Way over the past 2.5 Gyr, which are tailored to reproduce the observed properties of the remnant (not the stream). The richness of available constraints means that only a narrow range of parameters produce a final state consistent with observations. The total mass of the remnant is ~4e8 Msun, of which roughly a quarter resides in stars. The galaxy is significantly out of equilibrium, and even its central density is below the limit required to withstand tidal forces. We conclude that the Sgr galaxy will likely be disrupted over the next Gyr.


title: Data-Flow-Based Extension of the System-Theoretic Process Analysis for Security (STPA-Sec)

abstract: Security analysis is an essential activity in security engineering to identify potential system vulnerabilities and achieve security requirements in the early design phases. Due to the increasing complexity of modern systems, traditional approaches, which only consider component failures and simple cause-and-effect linkages, lack the power to identify insecure incidents caused by complex interactions among physical systems, human and social entities. By contrast, a top-down System-Theoretic Process Analysis for Security (STPA-Sec) approach views losses as resulting from interactions, focuses on controlling system vulnerabilities instead of external threats and is applicable for complex socio-technical systems. In this paper, we proposed an extension of STPA-Sec based on data flow structures to overcome STPA-Sec's limitations and achieve security constraints of information-critical systems systematically. We analyzed a Bluetooth digital key system of a vehicle by using both the proposed and the original approach to investigate the relationship and differences between both approaches as well as their applicability and highlights. To conclude, the proposed approach can identify more information-related problems with technical details and be used with other STPA-based approaches to co-design systems in multi-disciplines under the unified STPA process framework.


title: Federated Learning for 6G Communications: Challenges, Methods, and Future Directions

abstract: As the 5G communication networks are being widely deployed worldwide, both industry and academia have started to move beyond 5G and explore 6G communications. It is generally believed that 6G will be established on ubiquitous Artificial Intelligence (AI) to achieve data-driven Machine Learning (ML) solutions in heterogeneous and massive-scale networks. However, traditional ML techniques require centralized data collection and processing by a central server, which is becoming a bottleneck of large-scale implementation in daily life due to significantly increasing privacy concerns. Federated learning, as an emerging distributed AI approach with privacy preservation nature, is particularly attractive for various wireless applications, especially being treated as one of the vital solutions to achieve ubiquitous AI in 6G. In this article, we first introduce the integration of 6G and federated learning and provide potential federated learning applications for 6G. We then describe key technical challenges, the corresponding federated learning methods, and open problems for future research on federated learning in the context of 6G communications.


title: Vulnerability Analysis of 2500 Docker Hub Images

abstract: The use of container technology has skyrocketed during the last few years, with Docker as the leading container platform. Docker's online repository for publicly available container images, called Docker Hub, hosts over 3.5 million images at the time of writing, making it the world's largest community of container images. We perform an extensive vulnerability analysis of 2500 Docker images. It is of particular interest to perform this type of analysis because the vulnerability landscape is a rapidly changing category, the vulnerability scanners are constantly developed and updated, new vulnerabilities are discovered, and the volume of images on Docker Hub is increasing every day. Our main findings reveal that (1) the number of newly introduced vulnerabilities on Docker Hub is rapidly increasing; (2) certified images are the most vulnerable; (3) official images are the least vulnerable; (4) there is no correlation between the number of vulnerabilities and image features (i.e., number of pulls, number of stars, and days since the last update); (5) the most severe vulnerabilities originate from two of the most popular scripting languages, JavaScript and Python; and (6) Python 2.x packages and jackson-databind packages contain the highest number of severe vulnerabilities. We perceive our study as the most extensive vulnerability analysis published in the open literature in the last couple of years.


title: 2D Image Features Detector And Descriptor Selection Expert System

abstract: Detection and description of keypoints from an image is a well-studied problem in Computer Vision. Some methods like SIFT, SURF or ORB are computationally really efficient. This paper proposes a solution for a particular case study on object recognition of industrial parts based on hierarchical classification. Reducing the number of instances leads to better performance, indeed, that is what the use of the hierarchical classification is looking for. We demonstrate that this method performs better than using just one method like ORB, SIFT or FREAK, despite being fairly slower.


title: Positioning Error Probability for Some Forms of Center-of-Gravity Algorithms Calculated with the Cumulative Distributions. Part I

abstract: To complete a previous paper, the probability density functions of the center-of-gravity as positioning algorithm are derived with classical methods. These methods, as suggested by the textbook of Probability, require the preliminary calculation of the cumulative distribution functions. They are more complicated than those previously used for these tasks. In any case, the cumulative probability distributions could be useful. The combinations of random variables are those essential for track fitting $x={\xi}/{(\xi+\eta)}$, $x=\theta(x_3-x_1) (-x_3)/(x_3+x_2) +\theta(x_1-x_3)x_1/(x_1+x_2)$ and $x=(x_1-x_3)/(x_1+x_2+x_3)$. The first combination is a partial form of the two strip center-of-gravity. The second is the complete form, and the third is a simplified form of the three strip center-of-gravity. The cumulative probability distribution of the first expression was reported in the previous publications. The standard assumption is that $\xi$, $\eta$, $x_1$, $x_2$ and $x_3$ are independent random variables.


title: Worst Exponential Decay Rate for Degenerate Gradient flows subject to persistent excitation

abstract: In this paper we estimate the worst rate of exponential decay of degenerate gradient flows $\dot x = -S x$, issued from adaptive control theory. Under persistent excitation assumptions on the positive semi-definite matrix $S$, we provide upper bounds for this rate of decay consistent with previously known lower bounds and analogous stability results for more general classes of persistently excited signals. The strategy of proof consists in relating the worst decay rate to optimal control questions and studying in details their solutions. As a byproduct of our analysis, we also obtain estimates for the worst $L_2$-gain of the time-varying linear control systems $\dot x=-cc^\top x+u$, where the signal $c$ is persistently excited, thus solving an open problem posed by A. Rantzer in 1999.


title: Within host dynamics of SARS-CoV-2 in humans: Modeling immune responses and antiviral treatments

abstract: In December 2019, a newly discovered SARS-CoV-2 virus was emerged from China and propagated worldwide as a pandemic. In the absence of preventive medicine or a ready to use vaccine, mathematical models can provide useful scientific insights about transmission patterns and targets for drug development. In this study, we propose a within-host mathematical model of SARS-CoV-2 infection considering innate and adaptive immune responses. We analyze the equilibrium points of the proposed model and obtain an expression of the basic reproduction number. We then numerically show the existence of a transcritical bifurcation. The proposed model is calibrated to real viral load data of two COVID-19 patients. Using the estimated parameters, we perform global sensitivity analysis with respect to the peak of viral load. Finally, we study the efficacy of antiviral drugs and vaccination on the dynamics of SARS-CoV-2 infection. Our results suggest that blocking the production of the virus by infected cells decreases the viral load more than reducing the infection rate of healthy cells. Vaccination is also found useful but during the vaccine development phase, blocking virus production from infected cells can be targeted for antiviral drug development.


title: Review of the State-of-the-art on Bio-signal-based Brain-controlled Vehicles

abstract: Brain-controlled vehicle (BCV) is an already established technology usually designed for disabled patients. This review focuses on the most relevant topics on the brain controlling vehicles, especially considering terrestrial BCV (e.g., mobile car, car simulators, real car, graphical and gaming cars) and aerial BCV, also named BCAV (e.g., real quadcopter, drone, fixed wings, graphical helicopter and aircraft) controlled using bio-signals such as electroencephalogram (EEG), electrooculogram and electromyogram. For instance, EEG-based algorithms detect patterns from motor imaginary cortex area of the brain for intention detection, patterns like event related desynchronization/event related synchronization, state visually evoked potentials, P300, and generated local evoked potential patterns. We have identified that the reported best performing approaches employ machine learning and artificial intelligence optimization methods, namely support vector machine, neural network, linear discriminant analysis, k-nearest neighbor, k-means, water drop optimization and chaotic tug of war optimization optimization. We considered the following metrics to analyze the efficiency of the different methods: type and combination of bio-signals, time response, and accuracy values with the statistical analysis. The present work provides an extensive literature review of the key findings of previous ten years, indicating the future perspectives in the field.


title: Robust All-Optical Single-Shot Readout of NV Centers in Diamond

abstract: High-fidelity projective readout of a qubit's state in a single experimental repetition is a prerequisite for various quantum protocols of sensing and computing. Achieving single-shot readout is challenging for solid-state qubits. For Nitrogen-Vacancy (NV) centers in diamond, it has been realized using nuclear memories or resonant excitation at cryogenic temperature. All of these existing approaches have stringent experimental demands. In particular, they require a high efficiency of photon collection, such as immersion optics or all-diamond micro-optics. For some of the most relevant applications, such as shallow implanted NV centers in a cryogenic environment, these tools are unavailable. Here we demonstrate an all-optical spin readout scheme that achieves single-shot fidelity even if photon collection is poor (delivering less than 10$^3$ clicks/second). The scheme is based on spin-dependent resonant excitation at cryogenic temperature combined with spin-to-charge conversion, mapping the fragile electron spin states to the stable charge states. We prove this technique to work on shallow implanted NV centers as they are required for sensing and scalable NV-based quantum registers.


title: Locality and Domination of Semigroups

abstract: We characterize all semigroups $(T(t))_{t\geq0}$ on $L^2(\Omega)$ sandwiched between Dirichlet and Neumann ones, i.e.: \begin{equation*}\label{eq:san} e^{t\Delta_D}\leq T(t)\leq e^{t\Delta_N}\quad,\text{for all }t\geq0 \end{equation*} in the positive operators sense. The proof uses the well-known Beurling-Deny and Lejan formula to drop the locality assumption made usually on the form associated with $(T(t))_{t\geq 0}$.


title: Generalizations of planar contact manifolds to higher dimensions

abstract: Iterated planar contact manifolds are a generalization of three dimensional planar contact manifolds to higher dimensions. We study some basic topological properties of iterated planar contact manifolds and discuss several examples and constructions showing that many contact manifolds are iterated planar. We also observe that for any odd integer m > 3, any finitely presented group can be realized as the fundamental group of some iterated planar contact manifold of dimension m. Moreover, we introduce another generalization of three dimensional planar contact manifolds that we call projective. Finally, building symplectic cobordisms via open books, we show that some projective contact manifolds admit explicit symplectic caps.


title: A note on the formulation of the Ensemble Adjustment Kalman Filter

abstract: The ensemble adjustment Kalman filter (EAKF; Anderson, 2001) is one of the earliest ensemble square root filters. This note clarifies the correct formulation of the EAKF, which depends on a careful treatment of an eigen-decomposition of one of the matrices involved in the formulation.


title: Social climbing and Amoroso distribution

abstract: We introduce a class of one-dimensional linear kinetic equations of Boltzmann and Fokker--Planck type, describing the dynamics of individuals of a multi-agent society questing for high status in the social hierarchy. At the Boltzmann level, the microscopic variation of the status of agents around a universal desired target, is built up introducing as main criterion for the change of status a suitable value function in the spirit of the prospect theory of Kahneman and Twersky. In the asymptotics of grazing interactions, the solution density of the Boltzmann type kinetic equation is shown to converge towards the solution of a Fokker--Planck type equation with variable coefficients of diffusion and drift, characterized by the mathematical properties of the value function. The steady states of the statistical distribution of the social status predicted by the Fokker--Planck equations belong to the class of Amoroso distributions with Pareto tails, which correspond to the emergence of a \emph{social elite}. The details of the microscopic kinetic interaction allow to clarify the meaning of the various parameters characterizing the resulting equilibrium. Numerical results then show that the steady state of the underlying kinetic equation is close to Amoroso distribution even in an intermediate regime in which interactions are not grazing.


title: Thermodynamic curvature of the Schwarzschild-AdS black hole and Bose condensation

abstract: In the AdS/CFT correspondence, a dynamical cosmological constant $\Lambda$ in the bulk corresponds to varying the number of colors $N$ in the boundary gauge theory with a chemical potential $\mu$ as its thermodynamic conjugate. In this work, within the context of Schwarzschild black holes in $AdS_5 \times S^5$ and its dual finite temperature $\mathcal{N}=4$ superconformal Yang-Mills theory at large $N$, we investigate thermodynamic geometry through the behavior of the Ruppeiner scalar $R$. The sign of $R$ is an empirical indicator of the nature of microscopic interactions and is found to be negative for the large black hole branch implying that its thermodynamic characteristics bear qualitative similarities with that of an attraction dominated system, such as an ideal gas of bosons. We find that as the system's fugacity approaches unity, $R$ takes increasingly negative values signifying long range correlations and strong quantum fluctuations signaling the onset of Bose condensation. On the other hand, $R$ for the small black hole branch is negative at low temperatures and positive at high temperatures with a second order critical point which roughly separates the two regions.


title: Detecting Planet 9 via Hawking radiation

abstract: Concordant evidence points towards the existence of a ninth planet in the Solar System at more than $400\,$AU from the Sun. In particular, trans-Neptunian object orbits are perturbed by the presence of a putative gravitational source. Since this planet has not yet been observationally found with conventional telescope research, it has been argued that it could be a dark compact object, namely a black hole of probably primordial origin. Within this assumption, we discuss the possibility of detecting Planet 9 via a sub-relativistic spacecraft fly-by and the measure of its Hawking radiation in the radio band and conclude that it is too faint compared to the CMB. We thus present other perspectives with rather a satellite mission and conclude that smaller black holes would give much more interesting signals. We emphasize the importance of the study of such Hawking radiation laboratories in the Solar System.


title: Ultra-broad band perfect absorption realized by phonon-photon resonance in periodic polar dielectric material based pyramid structure

abstract: In this research, a mid-infrared wide-angle ultra-broadband perfect absorber which composed of pyramid grating structure has been comprehensively studied. The structure was operated in the reststrahlem band of SiC and with the presence of surface phonon resonance(SPhR), the perfect absorption was observed in the region between 10.25 and 10.85 $\mu m$. We explain the mechanism of this structure with the help of PLC circuit model due to the independence of magnetic polaritons. More over, by studying the resonance behavior of different wavelength, we bridged the continuous perfect absorption band and the discret peak in 11.05 $\mu m$(emerge two close absorption band together) by modification of the geometry. The absorption band has been sufficiently broadened. More over, both 1-D and 2-D periodic structure has been considered and the response of different incident angles and polarized angles have been studied and a omnidirectional and polarization insensitive structure can be realized which may be a candidate of several sensor applications in meteorology. The simulation was conducted by the Rigorous Coupled Wave Method(RCWA).


title: Simulation of integrated photonic gates

abstract: Quantum technologies, such as quantum communication, sensing and imaging, need a platform which is flexible, miniaturizable and works at room temperature. Integrated photonics is a promising and fast-developing platform. This requires to develop the right tools to design and fabricate arbitrary photonic quantum devices. Here we present an algorithm which, starting from a $n$-mode transformation $U$, designs a photonic device implementing $U$. Using this method we design integrated photonic devices which implement quantum gates with high fidelity. Apart from quantum computation, future applications include the design of photonic subroutines or embedded quantum devices. These custom-designed photonic devices will implement in a single step a given algorithm and will be small, robust and fast compared to a fully-programmable processor.


title: Dynamics of active nematic defects on the surface of a sphere

abstract: A nematic liquid crystal confined to the surface of a sphere exhibits topological defects of total charge $+2$ due to the topological constraint. In equilibrium, the nematic field forms four $+1/2$ defects, located at the corners of a regular tetrahedron inscribed within the sphere, since this minimizes the Frank elastic energy. If additionally the individual nematogens exhibit self-driven directional motion, the resulting active system creates large-scale flow that drives it out of equilibrium. In particular, the defects now follow complex dynamic trajectories which, depending on the strength of the active forcing, can be periodic (for weak forcing) or chaotic (for strong forcing). In this paper we derive an effective particle theory for this system, in which the topological defects are the degrees of freedom, whose exact equations of motion we subsequently determine. Numerical solutions of these equations confirm previously observed characteristics of their dynamics and clarify the role played by the time dependence of their global rotation. We also show that Onsager's variational principle offers an exceptionally transparent way to derive these dynamical equations, and we explain the defect mobility at the hydrodynamics level.


title: Low-Rank Generalized Linear Bandit Problems

abstract: In a low-rank linear bandit problem, the reward of an action (represented by a matrix of size $d_1 \times d_2$) is the inner product between the action and an unknown low-rank matrix $\Theta^*$. We propose an algorithm based on a novel combination of online-to-confidence-set conversion~\citep{abbasi2012online} and the exponentially weighted average forecaster constructed by a covering of low-rank matrices. In $T$ rounds, our algorithm achieves $\widetilde{O}((d_1+d_2)^{3/2}\sqrt{rT})$ regret that improves upon the standard linear bandit regret bound of $\widetilde{O}(d_1d_2\sqrt{T})$ when the rank of $\Theta^*$: $r \ll \min\{d_1,d_2\}$. We also extend our algorithmic approach to the generalized linear setting to get an algorithm which enjoys a similar bound under regularity conditions on the link function. To get around the computational intractability of covering based approaches, we propose an efficient algorithm by extending the "Explore-Subspace-Then-Refine" algorithm of~\citet{jun2019bilinear}. Our efficient algorithm achieves $\widetilde{O}((d_1+d_2)^{3/2}\sqrt{rT})$ regret under a mild condition on the action set $\mathcal{X}$ and the $r$-th singular value of $\Theta^*$. Our upper bounds match the conjectured lower bound of \cite{jun2019bilinear} for a subclass of low-rank linear bandit problems. Further, we show that existing lower bounds for the sparse linear bandit problem strongly suggest that our regret bounds are unimprovable. To complement our theoretical contributions, we also conduct experiments to demonstrate that our algorithm can greatly outperform the performance of the standard linear bandit approach when $\Theta^*$ is low-rank.


title: The growth and form of knowledge networks by kinesthetic curiosity

abstract: Throughout life, we might seek a calling, companions, skills, entertainment, truth, self-knowledge, beauty, and edification. The practice of curiosity can be viewed as an extended and open-ended search for valuable information with hidden identity and location in a complex space of interconnected information. Despite its importance, curiosity has been challenging to computationally model because the practice of curiosity often flourishes without specific goals, external reward, or immediate feedback. Here, we show how network science, statistical physics, and philosophy can be integrated into an approach that coheres with and expands the psychological taxonomies of specific-diversive and perceptual-epistemic curiosity. Using this interdisciplinary approach, we distill functional modes of curious information seeking as searching movements in information space. The kinesthetic model of curiosity offers a vibrant counterpart to the deliberative predictions of model-based reinforcement learning. In doing so, this model unearths new computational opportunities for identifying what makes curiosity curious.


title: The Impact of COVID-19 on Flight Networks

abstract: As COVID-19 transmissions spread worldwide, governments have announced and enforced travel restrictions to prevent further infections. Such restrictions have a direct effect on the volume of international flights among these countries, resulting in extensive social and economic costs. To better understand the situation in a quantitative manner, we used the Opensky network data to clarify flight patterns and flight densities around the world and observe relationships between flight numbers with new infections, and with the economy (unemployment rate) in Barcelona. We found that the number of daily flights gradually decreased and suddenly dropped 64% during the second half of March in 2020 after the US and Europe enacted travel restrictions. We also observed a 51% decrease in the global flight network density decreased during this period. Regarding new COVID-19 cases, the world had an unexpected surge regardless of travel restrictions. Finally, the layoffs for temporary workers in the tourism and airplane business increased by 4.3 fold in the weeks following Spain's decision to close its borders.


title: CiwGAN and fiwGAN: Encoding information in acoustic data to model lexical learning with Generative Adversarial Networks

abstract: How can deep neural networks encode information that corresponds to words in human speech into raw acoustic data? This paper proposes two neural network architectures for modeling unsupervised lexical learning from raw acoustic inputs, ciwGAN (Categorical InfoWaveGAN) and fiwGAN (Featural InfoWaveGAN), that combine a Deep Convolutional GAN architecture for audio data (WaveGAN; arXiv:1705.07904) with an information theoretic extension of GAN -- InfoGAN (arXiv:1606.03657), and propose a new latent space structure that can model featural learning simultaneously with a higher level classification and allows for a very low-dimension vector representation of lexical items. Lexical learning is modeled as emergent from an architecture that forces a deep neural network to output data such that unique information is retrievable from its acoustic outputs. The networks trained on lexical items from TIMIT learn to encode unique information corresponding to lexical items in the form of categorical variables in their latent space. By manipulating these variables, the network outputs specific lexical items. The network occasionally outputs innovative lexical items that violate training data, but are linguistically interpretable and highly informative for cognitive modeling and neural network interpretability. Innovative outputs suggest that phonetic and phonological representations learned by the network can be productively recombined and directly paralleled to productivity in human speech: a fiwGAN network trained on `suit' and `dark' outputs innovative `start', even though it never saw `start' or even a [st] sequence in the training data. We also argue that setting latent featural codes to values well beyond training range results in almost categorical generation of prototypical lexical items and reveals underlying values of each latent code.


title: Explicit a posteriori and a priori error estimation for the finite element solution of Stokes equations

abstract: For the Stokes equation over 2D and 3D domains, explicit a posteriori and a priori error estimation are novelly developed for the finite element solution. The difficulty in handling the divergence-free condition of the Stokes equation is solved by utilizing the extended hypercircle method along with the Scott-Vogelius finite element scheme. Since all terms in the error estimation have explicit values, by further applying the interval arithmetic and verified computing algorithms, the computed results provide rigorous estimation for the approximation error. As an application of the proposed error estimation, the eigenvalue problem of the Stokes operator is considered and rigorous bounds for the eigenvalues are obtained. The efficiency of proposed error estimation is demonstrated by solving the Stokes equation on both convex and non-convex 3D domains.


title: Polynomial approximations in a generalized Nyman-Beurling criterion

abstract: The Nyman-Beurling criterion, equivalent to the Riemann hypothesis (RH), is an approximation problem in the space of square integrable functions on $(0,\infty)$, involving dilations of the fractional part function by factors $\theta_k\in(0,1)$, $k\ge1$. Randomizing the $\theta_k$ generates new structures and criteria. One of them is a sufficient condition for RH that splits into (i) showing that the indicator function can be approximated by convolution with the fractional part, (ii) a control on the coefficients of the approximation. This self-contained paper generalizes conditions (i) and (ii) that involve a $\sigma_0\in(1/2,1)$, and imply $\zeta(\sigma+it)\neq 0$ in the strip $1/2<\sigma\le\sigma_0<1$. We then identify functions for which (i) holds unconditionally, by means of polynomial approximations. This yields in passing a short probabilistic proof of a known consequence of Wiener's Tauberian theorem. In this context, the difficulty for proving RH is then reallocated in (ii), which heavily relies on the corresponding Gram matrices, for which two remarkable structures are obtained. We show that a particular tuning of the approximating sequence leads to a striking simplification of the second Gram matrix, then reading as a block Hankel form.


title: Handling missing data in model-based clustering

abstract: Gaussian Mixture models (GMMs) are a powerful tool for clustering, classification and density estimation when clustering structures are embedded in the data. The presence of missing values can largely impact the GMMs estimation process, thus handling missing data turns out to be a crucial point in clustering, classification and density estimation. Several techniques have been developed to impute the missing values before model estimation. Among these, multiple imputation is a simple and useful general approach to handle missing data. In this paper we propose two different methods to fit Gaussian mixtures in the presence of missing data. Both methods use a variant of the Monte Carlo Expectation-Maximisation (MCEM) algorithm for data augmentation. Thus, multiple imputations are performed during the E-step, followed by the standard M-step for a given eigen-decomposed component-covariance matrix. We show that the proposed methods outperform the multiple imputation approach, both in terms of clusters identification and density estimation.


title: MeerKATHI -- an end-to-end data reduction pipeline for MeerKAT and other radio telescopes

abstract: MeerKATHI is the current development name for a radio-interferometric data reduction pipeline, assembled by an international collaboration. We create a publicly available end-to-end continuum- and line imaging pipeline for MeerKAT and other radio telescopes. We implement advanced techniques that are suitable for producing high-dynamic-range continuum images and spectroscopic data cubes. Using containerization, our pipeline is platform-independent. Furthermore, we are applying a standardized approach for using a number of different of advanced software suites, partly developed within our group. We aim to use distributed computing approaches throughout our pipeline to enable the user to reduce larger data sets like those provided by radio telescopes such as MeerKAT. The pipeline also delivers a set of imaging quality metrics that give the user the opportunity to efficiently assess the data quality.


title: A Fair, Traceable, Auditable and Participatory Randomization Tool for Legal Systems

abstract: Many real-world scenarios require the random selection of one or more individuals from a pool of eligible candidates. One example of especial social relevance refers to the legal system, in which the jurors and judges are commonly picked according to some probability distribution aiming to avoid biased decisions. In this scenario, ensuring auditability of the random drawing procedure is imperative to promote confidence in its fairness. With this goal in mind, this article describes a protocol for random drawings specially designed for use in legal systems. The proposed design combines the following properties: security by design, ensuring the fairness of the random draw as long as at least one participant behaves honestly; auditability by any interested party, even those having no technical background, using only public information; and statistical robustness, supporting drawings where candidates may have distinct probability distributions. Moreover, it is capable of inviting and engaging as participating stakeholders the main interested parties of a legal process, in a way that promotes process transparency, public trust and institutional resilience. An open-source implementation is also provided as supplementary material.


title: Sparsity in Reservoir Computing Neural Networks

abstract: Reservoir Computing (RC) is a well-known strategy for designing Recurrent Neural Networks featured by striking efficiency of training. The crucial aspect of RC is to properly instantiate the hidden recurrent layer that serves as dynamical memory to the system. In this respect, the common recipe is to create a pool of randomly and sparsely connected recurrent neurons. While the aspect of sparsity in the design of RC systems has been debated in the literature, it is nowadays understood mainly as a way to enhance the efficiency of computation, exploiting sparse matrix operations. In this paper, we empirically investigate the role of sparsity in RC network design under the perspective of the richness of the developed temporal representations. We analyze both sparsity in the recurrent connections, and in the connections from the input to the reservoir. Our results point out that sparsity, in particular in input-reservoir connections, has a major role in developing internal temporal representations that have a longer short-term memory of past inputs and a higher dimension.


title: TASM: A Tile-Based Storage Manager for Video Analytics

abstract: Modern video data management systems store videos as a single encoded file, which significantly limits possible storage level optimizations. We design, implement, and evaluate TASM, a new tile-based storage manager for video data. TASM uses a feature in modern video codecs called "tiles" that enables spatial random access into encoded videos. TASM physically tunes stored videos by optimizing their tile layouts given the video content and a query workload. Additionally, TASM dynamically tunes that layout in response to changes in the query workload or if the query workload and video contents are incrementally discovered. Finally, TASM also produces efficient initial tile layouts for newly ingested videos. We demonstrate that TASM can speed up subframe selection queries by an average of over 50% and up to 94%. TASM can also improve the throughput of the full scan phase of object detection queries by up to 2X.


title: PJS: phoneme-balanced Japanese singing voice corpus

abstract: This paper presents a free Japanese singing voice corpus that can be used for highly applicable and reproducible singing voice synthesis research. A singing voice corpus helps develop singing voice synthesis, but existing corpora have two critical problems: data imbalance (singing voice corpora do not guarantee phoneme balance, unlike speaking-voice corpora) and copyright issues (cannot legally share data). As a way to avoid these problems, we constructed a PJS (phoneme-balanced Japanese singing voice) corpus that guarantees phoneme balance and is licensed with CC BY-SA 4.0, and we composed melodies using a phoneme-balanced speaking-voice corpus. This paper describes how we built the corpus.


title: Non-thermal production of lepton asymmetry and dark matter in minimal seesaw with right handed neutrino induced Higgs potential

abstract: Within Type-I seesaw mechanism, Higgs mass can be dynamically generated via quantum effects of the right handed neutrinos assuming the potential is nearly conformal at the Ultra-Violet. The scenario, named as the "Neutrino Option" allows RH neutrino mass scale upto $M \lesssim$ $10^7$ GeV to be consistent with light neutrino masses, mixing and Higgs mass. Therefore, it is not consistent with standard hierarchical thermal leptogenesis. Parameter space for thermal resonant leptogenesis is highly constrained in this model. We point out that non-thermal pair production of RH neutrinos from inflaton decay corresponds in general to a mild degree of resonance in the CP asymmetry parameter and allows RH mass scale to be smaller more than by an order of magnitude than the thermal strong resonance case. Within the similar parameter space of thermal leptogenesis, RH neutrinos can also be produced from inflaton decay along with a Dark Matter having mass $M_{\rm DM}\lesssim$ 320 MeV. The main constraint in the latter scenario comes from the Ly$\alpha$ constraints on Dark Matter free streaming. We show in addition, that the Neutrino Option introduces a 'phantom window' for the RH mass scale, in which contrary to the usual scenarios, CP asymmetry parameter for leptogenesis decreases with the increase of the RH mass scale and minimally fine-tuned seesaw models naturally exhibit this `phantom window'.


title: Confidence in the dynamic spread of epidemics under biased sampling conditions

abstract: The interpretation of sampling data plays a crucial role in policy response to the spread of a disease during an epidemic, such as the COVID-19 epidemic of 2020. However, this is a non-trivial endeavor due to the complexity of real world conditions and limits to the availability of diagnostic tests, which necessitate a bias in testing favoring symptomatic individuals. A thorough understanding of sampling confidence and bias is necessary in order make accurate conclusions. In this manuscript, we provide a stochastic model of sampling for assessing confidence in disease metrics such as trend detection, peak detection, and disease spread estimation. Our model simulates testing for a disease in an epidemic with known dynamics, allowing us to use Monte-Carlo sampling to assess metric confidence. This model can provide realistic simulated data which can be used in the design and calibration of data analysis and prediction methods. As an example, we use this method to show that trends in the disease may be identified using under $10000$ biased samples each day, and an estimate of disease spread can be made with additional $1000-2000$ unbiased samples each day. We also demonstrate that the model can be used to assess more advanced metrics by finding the precision and recall of a strategy for finding peaks in the dynamics.


title: Arbitrary high-order unconditionally stable methods for reaction-diffusion equations with inhomogeneous boundary condition via Deferred Correction

abstract: In this paper we analyse full discretizations of an initial boundary value problem (IBVP) related to reaction-diffusion equations. To avoid possible order reduction, the IBVP is first transformed into an IBVP with homogeneous boundary conditions (IBVPHBC) via a lifting of inhomogeneous Dirichlet, Neumann or mixed Dirichlet-Neumann boundary conditions. The IBVPHBC is discretized in time via the deferred correction method for the implicit midpoint rule and leads to a time-stepping scheme of order $2p+2$ of accuracy at the stage $p=0,1,2,\cdots $ of the correction. Each semi-discretized scheme results in a nonlinear elliptic equation for which the existence of a solution is proven using the Schaefer fixed point theorem. The elliptic equation corresponding to the stage $p$ of the correction is discretized by the Galerkin finite element method and gives a full discretization of the IBVPHBC. This fully discretized scheme is unconditionally stable with order $2p+2$ of accuracy in time. The order of accuracy in space is equal to the degree of the finite element used when the family of meshes considered is shape-regular while an increment of one order is proven for quasi-uniform family of meshes. Numerical tests with a bistable reaction-diffusion equation having a strong stiffness ratio and a linear reaction-diffusion equation addressing order reduction are performed and demonstrate the unconditional convergence of the method. The orders 2,4,6,8 and 10 of accuracy in time are achieved.


title: RarePlanes: Synthetic Data Takes Flight

abstract: RarePlanes is a unique open-source machine learning dataset that incorporates both real and synthetically generated satellite imagery. The RarePlanes dataset specifically focuses on the value of synthetic data to aid computer vision algorithms in their ability to automatically detect aircraft and their attributes in satellite imagery. Although other synthetic/real combination datasets exist, RarePlanes is the largest openly-available very-high resolution dataset built to test the value of synthetic data from an overhead perspective. Previous research has shown that synthetic data can reduce the amount of real training data needed and potentially improve performance for many tasks in the computer vision domain. The real portion of the dataset consists of 253 Maxar WorldView-3 satellite scenes spanning 112 locations and 2,142 km^2 with 14,700 hand-annotated aircraft. The accompanying synthetic dataset is generated via AI.Reverie's simulation platform and features 50,000 synthetic satellite images simulating a total area of 9331.2 km^2 with ~630,000 aircraft annotations. Both the real and synthetically generated aircraft feature 10 fine grain attributes including: aircraft length, wingspan, wing-shape, wing-position, wingspan class, propulsion, number of engines, number of vertical-stabilizers, presence of canards, and aircraft role. Finally, we conduct extensive experiments to evaluate the real and synthetic datasets and compare performances. By doing so, we show the value of synthetic data for the task of detecting and classifying aircraft from an overhead perspective.


title: Personalizing Grammatical Error Correction: Adaptation to Proficiency Level and L1

abstract: Grammar error correction (GEC) systems have become ubiquitous in a variety of software applications, and have started to approach human-level performance for some datasets. However, very little is known about how to efficiently personalize these systems to the user's characteristics, such as their proficiency level and first language, or to emerging domains of text. We present the first results on adapting a general-purpose neural GEC system to both the proficiency level and the first language of a writer, using only a few thousand annotated sentences. Our study is the broadest of its kind, covering five proficiency levels and twelve different languages, and comparing three different adaptation scenarios: adapting to the proficiency level only, to the first language only, or to both aspects simultaneously. We show that tailoring to both scenarios achieves the largest performance improvement (3.6 F0.5) relative to a strong baseline.


title: End-to-End Speech-Translation with Knowledge Distillation: FBK@IWSLT2020

abstract: This paper describes FBK's participation in the IWSLT 2020 offline speech translation (ST) task. The task evaluates systems' ability to translate English TED talks audio into German texts. The test talks are provided in two versions: one contains the data already segmented with automatic tools and the other is the raw data without any segmentation. Participants can decide whether to work on custom segmentation or not. We used the provided segmentation. Our system is an end-to-end model based on an adaptation of the Transformer for speech data. Its training process is the main focus of this paper and it is based on: i) transfer learning (ASR pretraining and knowledge distillation), ii) data augmentation (SpecAugment, time stretch and synthetic data), iii) combining synthetic and real data marked as different domains, and iv) multi-task learning using the CTC loss. Finally, after the training with word-level knowledge distillation is complete, our ST models are fine-tuned using label smoothed cross entropy. Our best model scored 29 BLEU on the MuST-C En-De test set, which is an excellent result compared to recent papers, and 23.7 BLEU on the same data segmented with VAD, showing the need for researching solutions addressing this specific data condition.