title: On the Hardy-Littlewood-P\'olya and Taikov type inequalities for multiple operators in Hilbert spaces

abstract: We present unified approach to obtain sharp mean-squared and multiplicative inequalities of Hardy-Littlewood-Poly\'a and Taikov types for multiple closed operators acting on Hilbert space. We apply our results to establish new sharp inequalities for the norms of powers of the Laplace-Beltrami operators on compact Riemmanian manifolds and derive the well-known Taikov and Hardy-Littlewood-Poly\'a inequalities for functions defined on $d$-dimensional space in the limit case. Other applications include the best approximation of unbounded operators by linear bounded ones and the best approximation of one class by elements of other class. In addition, we establish sharp Solyar-type inequalities for unbounded closed operators with closed range.


title: Train Like a (Var)Pro: Efficient Training of Neural Networks with Variable Projection

abstract: Deep neural networks (DNNs) have achieved state-of-the-art performance across a variety of traditional machine learning tasks, e.g., speech recognition, image classification, and segmentation. The ability of DNNs to efficiently approximate high-dimensional functions has also motivated their use in scientific applications, e.g., to solve partial differential equations (PDE) and to generate surrogate models. In this paper, we consider the supervised training of DNNs, which arises in many of the above applications. We focus on the central problem of optimizing the weights of the given DNN such that it accurately approximates the relation between observed input and target data. Devising effective solvers for this optimization problem is notoriously challenging due to the large number of weights, non-convexity, data-sparsity, and non-trivial choice of hyperparameters. To solve the optimization problem more efficiently, we propose the use of variable projection (VarPro), a method originally designed for separable nonlinear least-squares problems. Our main contribution is the Gauss-Newton VarPro method (GNvpro) that extends the reach of the VarPro idea to non-quadratic objective functions, most notably, cross-entropy loss functions arising in classification. These extensions make GNvpro applicable to all training problems that involve a DNN whose last layer is an affine mapping, which is common in many state-of-the-art architectures. In our four numerical experiments from surrogate modeling, segmentation, and classification GNvpro solves the optimization problem more efficiently than commonly-used stochastic gradient descent (SGD) schemes. Also, GNvpro finds solutions that generalize well, and in all but one example better than well-tuned SGD methods, to unseen data points.


title: Learning and aggregating deep local descriptors for instance-level recognition

abstract: We propose an efficient method to learn deep local descriptors for instance-level recognition. The training only requires examples of positive and negative image pairs and is performed as metric learning of sum-pooled global image descriptors. At inference, the local descriptors are provided by the activations of internal components of the network. We demonstrate why such an approach learns local descriptors that work well for image similarity estimation with classical efficient match kernel methods. The experimental validation studies the trade-off between performance and memory requirements of the state-of-the-art image search approach based on match kernels. Compared to existing local descriptors, the proposed ones perform better in two instance-level recognition tasks and keep memory requirements lower. We experimentally show that global descriptors are not effective enough at large scale and that local descriptors are essential. We achieve state-of-the-art performance, in some cases even with a backbone network as small as ResNet18.


title: Monotone skew-product semiflows for Carath\'{e}odory differential equations and applications

abstract: The first part of the paper is devoted to studying the continuous dependence of the solutions of Carath\'eodory constant delay differential equations where the vector fields satisfy classical cooperative conditions. As a consequence, when the set of considered vector fields is invariant with respect to the time-translation map, the continuity of the respective induced skew-product semiflows is obtained. These results are important for the study of the long-term behavior of the trajectories. In particular, the construction of semicontinuous semiequilibria and equilibria is extended to the context of ordinary and delay Carath\'eodory differential equations. Under appropriate assumptions of sublinearity, the existence of a unique continuous equilibrium, whose graph coincides with the pullback attractor for the evolution processes, is shown. The conditions under which such a solution is the forward attractor of the considered problem are outlined. Two examples of application of the developed tools are also provided.


title: Dynamics on Bungee set, Escaping set and Filled Julia set of Composite Transcendental Entire Functions

abstract: In this paper, we have investigated the Bungee set of composition of two transcendental entire functions. We have provided a class of permutable entire functions for which their Bungee sets are equal. Moreover, we have obtained a result on permutable entire functions for which the escaping set of the composite entire function equals the union of the escaping sets of the two functions. In addition, we establish important relations between the Bungee set, Escaping set and Filled Julia set of composite entire functions with that of its individual functions.


title: Optimal Communication Complexity of Authenticated Byzantine Agreement

abstract: Byzantine Agreement (BA) is one of the most fundamental problems in distributed computing, and its communication complexity is an important efficiency metric. It is well known that quadratic communication is necessary for BA in the worst case due to a lower bound by Dolev and Reischuk. This lower bound has been shown to be tight for the unauthenticated setting with $f < n/3$ by Berman et al. but a considerable gap remains for the authenticated setting with $n/3 \le f < n/2$. This paper provides two results towards closing this gap. Both protocols have a quadratic communication complexity and have different trade-offs in resilience and assumptions. The first protocol achieves the optimal resilience of $f < n/2$ but requires a trusted setup for threshold signature. The second protocol achieves near optimal resilience $f \le (1/2 - \varepsilon)n$ in the standard PKI model.


title: Signed Euler-Mahonian identities

abstract: A relationship between signed Eulerian polynomials and the classical Eulerian polynomials on $\mathfrak{S}_n$ was given by D\'{e}sarm\'{e}nien and Foata in 1992, and a refined version, called signed Euler-Mahonian identity, together with a bijective proof were proposed by Wachs in the same year. By generalizing this bijection, in this paper we extend the above results to the Coxeter groups of types $B_n$, $D_n$, and the complex reflection group $G(r,1,n)$, where the `sign' is taken to be any one-dimensional character. Some obtained identities can be further restricted on some particular set of permutations. We also derive some new interesting sign-balance polynomials for types $B_n$ and $D_n$.


title: Homogenization of hyperbolic equations with periodic coefficients in ${\mathbb R}^d$: sharpness of the results

abstract: In $L_2({\mathbb R}^d;{\mathbb C}^n)$, a selfadjoint strongly elliptic second order differential operator ${\mathcal A}_\varepsilon$ is considered. It is assumed that the coefficients of the operator ${\mathcal A}_\varepsilon$ are periodic and depend on ${\mathbf x}/\varepsilon$, where $\varepsilon >0$ is a small parameter. We find approximations for the operators $\cos ( {\mathcal A}_\varepsilon^{1/2}\tau)$ and ${\mathcal A}_\varepsilon^{-1/2}\sin ( {\mathcal A}_\varepsilon^{1/2}\tau)$ in the norm of operators acting from the Sobolev space $H^s({\mathbb R}^d)$ to $L_2({\mathbb R}^d)$ (with suitable $s$). We also find approximation with corrector for the operator ${\mathcal A}_\varepsilon^{-1/2}\sin ( {\mathcal A}_\varepsilon^{1/2}\tau)$ in the $(H^s \to H^1)$-norm. The question about the sharpness of the results with respect to the type of the operator norm and with respect to the dependence of estimates on $\tau$ is studied. The results are applied to study the behavior of the solutions of the Cauchy problem for the hyperbolic equation $\partial_\tau^2 {\mathbf u}_\varepsilon = - {\mathcal A}_\varepsilon {\mathbf u}_\varepsilon + {\mathbf F}$.


title: On the essential norms of Toeplitz operators with continuous symbols

abstract: It is well known that the essential norm of a Toeplitz operator on the Hardy space $H^p(\mathbb{T})$, $1 < p < \infty$ is greater than or equal to the $L^\infty(\mathbb{T})$ norm of its symbol. In 1988, A. B\"ottcher, N. Krupnik, and B. Silbermann posed a question on whether or not the equality holds in the case of continuous symbols. We answer this question in the negative. On the other hand, we show that the essential norm of a Toeplitz operator with a continuous symbol is less than or equal to twice the $L^\infty(\mathbb{T})$ norm of the symbol and prove more precise $p$-dependent estimates.


title: Cyclotomic Identity Testing and Applications

abstract: We consider the cyclotomic identity testing (CIT) problem: given a polynomial $f(x_1,\ldots,x_k)$, decide whether $f(\zeta_n^{e_1},\ldots,\zeta_n^{e_k})$ is zero, where $\zeta_n = e^{2\pi i/n}$ is a primitive complex $n$-th root of unity and $e_1,\ldots,e_k$ are integers, represented in binary. When $f$ is given by an algebraic circuit, we give a randomized polynomial-time algorithm for CIT assuming the generalised Riemann hypothesis (GRH), and show that the problem is in coNP unconditionally. When $f$ is given by a circuit of polynomially bounded degree, we give a randomized NC algorithm. In case $f$ is a linear form we show that the problem lies in NC. Towards understanding when CIT can be solved in deterministic polynomial-time, we consider so-called diagonal depth-3 circuits, i.e., polynomials $f=\sum_{i=1}^m g_i^{d_i}$, where $g_i$ is a linear form and $d_i$ a positive integer given in unary. We observe that a polynomial-time algorithm for CIT on this class would yield a sub-exponential-time algorithm for polynomial identity testing. However, assuming GRH, we show that if the linear forms~$g_i$ are all identical then CIT can be solved in polynomial time. Finally, we use our results to give a new proof that equality of compressed strings, i.e., strings presented using context-free grammars, can be decided in randomized NC.


title: Heating Rates for Protons and Electrons in Polar Coronal Holes: Empirical Constraints from the Ultraviolet Coronagraph Spectrometer

abstract: Ultraviolet spectroscopy of the extended solar corona is a powerful tool for measuring the properties of protons, electrons, and heavy ions in the accelerating solar wind. The large coronal holes that expand up from the north and south poles at solar minimum are low-density collisionless regions in which it is possible to detect departures from one-fluid thermal equilibrium. An accurate characterization of these departures is helpful in identifying the kinetic processes ultimately responsible for coronal heating. In this paper, Ultraviolet Coronagraph Spectrometer (UVCS) measurements of the H I Lyman alpha line are analyzed to constrain values for the solar wind speed, electron density, electron temperature, proton temperature (parallel and perpendicular to the magnetic field) and Alfven-wave amplitude. The analysis procedure involves creating a large randomized ensemble of empirical models, simulating their Lyman alpha profiles, and building posterior probability distributions for only the models that agree with the UVCS data. The resulting temperatures do not exhibit a great deal of radial variation between heliocentric distances of 1.4 and 4 solar radii. Typical values for the electron, parallel proton, and perpendicular proton temperatures are 1.2, 1.8, and 1.9 MK, respectively. Resulting values for the "nonthermal" Alfven wave amplitude show evidence for weak dissipation, with a total energy-loss rate that agrees well with an independently derived total heating rate for the protons and electrons. The moderate Alfven-wave amplitudes appear to resolve some tension in the literature between competing claims of both higher (undamped) and lower (heavily damped) values.


title: Controller design for robust invariance from noisy data

abstract: For an unknown linear system, starting from noisy open-loop input-state data collected during a finite-length experiment, we directly design a linear feedback controller that guarantees robust invariance of a given polyhedral set of the state in the presence of disturbances. The main result is a necessary and sufficient condition for the existence of such a controller, and amounts to the solution of a linear program. The benefits of large and rich data sets for the solution of the problem are discussed. A numerical example about a simplified platoon of two vehicles illustrates the method.


title: Digital Surveillance Systems for Tracing COVID-19: Privacy and Security Challenges with Recommendations

abstract: Coronavirus disease 2019, i.e. COVID-19 has imposed the public health measure of keeping social distancing for preventing mass transmission of COVID-19. For monitoring the social distancing and keeping the trace of transmission, we are obligated to develop various types of digital surveillance systems, which include contact tracing systems and drone-based monitoring systems. Due to the inconvenience of manual labor, traditional contact tracing systems are gradually replaced by the efficient automated contact tracing applications that are developed for smartphones. However, the commencement of automated contact tracing applications introduces the inevitable privacy and security challenges. Nevertheless, unawareness and/or lack of smartphone usage among mass people lead to drone-based monitoring systems. These systems also invite unwelcomed privacy and security challenges. This paper discusses the recently designed and developed digital surveillance system applications with their protocols deployed in several countries around the world. Their privacy and security challenges are discussed as well as analyzed from the viewpoint of privacy acts. Several recommendations are suggested separately for automated contact tracing systems and drone-based monitoring systems, which could further be explored and implemented afterwards to prevent any possible privacy violation and protect an unsuspecting person from any potential cyber attack.


title: The strong CP problem, general covariance, and horizons

abstract: We discuss the strong CP problem in the context of quantum field theory in the presence of horizons. We argue that general covariance places constraints on the topological structure of the theory. In particular, as in QCD, it means that different topological sectors of the theory can only sum incoherently, because the degrees of freedom beyond the horizon must be traced over for general covariance to apply. This might lead to a solution of the so-called strong CP problem without extra observable dynamics.


title: KUISAIL at SemEval-2020 Task 12: BERT-CNN for Offensive Speech Identification in Social Media

abstract: In this paper, we describe our approach to utilize pre-trained BERT models with Convolutional Neural Networks for sub-task A of the Multilingual Offensive Language Identification shared task (OffensEval 2020), which is a part of the SemEval 2020. We show that combining CNN with BERT is better than using BERT on its own, and we emphasize the importance of utilizing pre-trained language models for downstream tasks. Our system, ranked 4th with macro averaged F1-Score of 0.897 in Arabic, 4th with score of 0.843 in Greek, and 3rd with score of 0.814 in Turkish. Additionally, we present ArabicBERT, a set of pre-trained transformer language models for Arabic that we share with the community.


title: Dimensionality Reduction for $k$-means Clustering

abstract: We present a study on how to effectively reduce the dimensions of the $k$-means clustering problem, so that provably accurate approximations are obtained. Four algorithms are presented, two \textit{feature selection} and two \textit{feature extraction} based algorithms, all of which are randomized.


title: $\mathcal{N}=1$ Super Topological Recursion

abstract: We introduce the notion of $\mathcal{N}=1$ abstract super loop equations, and provide two equivalent ways of solving them. The first approach is a recursive formalism that can be thought of as a supersymmetric generalization of the Eynard-Orantin topological recursion, based on the geometry of a local super spectral curve. The second approach is based on the framework of super Airy structures. The resulting recursive formalism can be applied to compute correlation functions for a variety of examples related to 2d supergarvity.


title: Algorithms for Globally-Optimal Secure Signaling over Gaussian MIMO Wiretap Channels Under Interference Constraints

abstract: Multi-user Gaussian MIMO wiretap channel is considered under interference power constraints (IPC), in addition to the total transmit power constraint (TPC). Algorithms for \textit{global} maximization of its secrecy rate are proposed. Their convergence to the secrecy capacity is rigorously proved and a number of properties are established analytically. Unlike known algorithms, the proposed ones are not limited to the MISO case and are proved to converge to a \textit{global} rather than local optimum in the general MIMO case, even when the channel is not degraded. In practice, the convergence is fast as only a small to moderate number of Newton steps is required to achieve a high precision level. The interplay of TPC and IPC is shown to result in an unusual property when an optimal point of the max-min problem does not provide an optimal transmit covariance matrix in some (singular) cases. To address this issue, an algorithm is developed to compute an optimal transmit covariance matrix in those singular cases. It is shown that this algorithm also solves the dual (nonconvex) problems of \textit{globally} minimizing the total transmit power subject to the secrecy and interference constraints; it provides the minimum transmit power and respective signaling strategy needed to achieve the secrecy capacity, hence allowing power savings.


title: Substituting Restorative Benefits of Being Outdoors through Interactive Augmented Spatial Soundscapes

abstract: Geriatric depression is a common mental health condition affecting majority of older adults in the US. As per Attention Restoration Theory (ART), participation in outdoor activities is known to reduce depression and provide restorative benefits. However, many older adults, who suffer from depression, especially those who receive care in organizational settings, have less access to sensory experiences of the outdoor natural environment. This is often due to their physical or cognitive limitations and from lack of organizational resources to support outdoor activities. To address this, we plan to study how technology can bring the restorative benefits of outdoors to the indoor environments through augmented spatial natural soundscapes. Thus, we propose an interview and observation-based study at an assisted living facility to evaluate how augmented soundscapes substitute for outdoor restorative, social, and experiential benefits. We aim to integrate these findings into a minimally intrusive and intuitive design of an interactive augmented soundscape, for indoor organizational care settings.


title: The Ring Learning With Errors Problem: Spectral Distortion

abstract: We answer a question posed by Y. Elias et al. in [8] about possible spectral distortions of algebraic numbers. We provide a closed form for the spectral distortion of certain classes of cyclotomic polynomials. Moreover, we present a bound on the spectral distortion of cyclotomic polynomials.


title: The $p$-ellipticity condition for second order elliptic systems and applications to the Lam\'e and homogenisation problems

abstract: The notion of $p$-ellipticity has recently played a significant role in improving our understanding of issues of solvability of boundary value problems for scalar complex valued elliptic PDEs. In particular, the presence of $p$-ellipticity ensures higher regularity of solutions of such equations. In this work we extend the notion of $p$-ellipticity to second order elliptic systems. Recall that for systems, there is no single notion of ellipticity, rather a more complicated picture emerges with ellipticity conditions of varying strength such as the Legendre, Legendre-Hadamard and integral conditions. A similar picture emerges when $p$-ellipticity is considered. In this paper, we define three new notions of $p$-ellipticity, establish relationships between them and show that each of them does play an important role in solving boundary value problems. These important roles are demonstrated by establishing extrapolation results for solvability of the $L^p$ Dirichlet problem for elliptic systems, followed by applications of this result in two different scenarios: one for the Lam\'e system of linear elasticity and another in the theory of homogenization.


title: PDE Evolutions for M-Smoothers in One, Two, and Three Dimensions

abstract: Local M-smoothers are interesting and important signal and image processing techniques with many connections to other methods. In our paper we derive a family of partial differential equations (PDEs) that result in one, two, and three dimensions as limiting processes from M-smoothers which are based on local order-$p$ means within a ball the radius of which tends to zero. The order $p$ may take any nonzero value $>-1$, allowing also negative values. In contrast to results from the literature, we show in the space-continuous case that mode filtering does not arise for $p \to 0$, but for $p \to -1$. Extending our filter class to $p$-values smaller than $-1$ allows to include e.g. the classical image sharpening flow of Gabor. The PDEs we derive in 1D, 2D, and 3D show large structural similarities. Since our PDE class is highly anisotropic and may contain backward parabolic operators, designing adequate numerical methods is difficult. We present an $L^\infty$-stable explicit finite difference scheme that satisfies a discrete maximum--minimum principle, offers excellent rotation invariance, and employs a splitting into four fractional steps to allow larger time step sizes. Although it approximates parabolic PDEs, it consequently benefits from stabilisation concepts from the numerics of hyperbolic PDEs. Our 2D experiments show that the PDEs for $p<1$ are of specific interest: Their backward parabolic term creates favourable sharpening properties, while they appear to maintain the strong shape simplification properties of mean curvature motion.


title: On the continuum limit of Benincasa-Dowker-Glaser causal set action

abstract: We study the continuum limit of the Benincasa-Dowker-Glaser causal set action on a causally convex compact region. In particular, we compute the action of a causal set randomly sprinkled on a small causal diamond in the presence of arbitrary curvature in various spacetime dimensions. In the continuum limit, we show that the action admits a finite limit. More importantly, the limit is composed by an Einstein-Hilbert bulk term as predicted by the Benincasa-Dowker-Glaser action, and a boundary term exactly proportional to the codimension-two joint volume. Our calculation provides strong evidence in support of the conjecture that the Benincasa-Dowker-Glaser action naturally includes codimension-two boundary terms when evaluated on causally convex regions.


title: Bid Prediction in Repeated Auctions with Learning

abstract: We consider the problem of bid prediction in repeated auctions and evaluate the performance of econometric methods for learning agents using a dataset from a mainstream sponsored search auction marketplace. Sponsored search auctions is a billion dollar industry and the main source of revenue of several tech giants. A critical problem in optimizing such marketplaces is understanding how bidders will react to changes in the auction design. We propose the use of no-regret based econometrics for bid prediction, modeling players as no-regret learners with respect to a utility function, unknown to the analyst. We propose new econometric approaches to simultaneously learn the parameters of a player's utility and her learning rule, and apply these methods in a real-world dataset from the BingAds sponsored search auction marketplace. We show that the no-regret econometric methods perform comparable to state-of-the-art time-series machine learning methods when there is no co-variate shift, but significantly outperform machine learning methods when there is a co-variate shift between the training and test periods. This portrays the importance of using structural econometric approaches in predicting how players will respond to changes in the market. Moreover, we show that among structural econometric methods, approaches based on no-regret learning outperform more traditional, equilibrium-based, econometric methods that assume that players continuously best-respond to competition. Finally, we demonstrate how the prediction performance of the no-regret learning algorithms can be further improved by considering bidders who optimize a utility function with a visibility bias component.


title: Global shifted potentials for moduli stacks of sheaves on Calabi-Yau four-folds

abstract: It is shown that there are globally defined Lagrangian distributions on the stable loci of derived Quot-stacks of coherent sheaves on Calabi--Yau four-folds. Dividing by these distributions produces perfectly obstructed smooth stacks with globally defined $-1$-shifted potentials, whose derived critical loci give back the stable loci of smooth stacks of sheaves in global Darboux form.


title: Symmetrization for fractional elliptic problems: a direct approach

abstract: We provide new direct methods to establish symmetrization results in the form of mass concentration (i.e., integral) comparison for fractional elliptic equations of the type $(-\Delta)^{s}u=f$ $(0<s<1)$ in a bounded domain $\Omega$, equipped with homogeneous boundary conditions. The classical pointwise Talenti rearrangement inequality is recovered in the limit $s\rightarrow1$. Finally, explicit counterexamples constructed for all $s\in(0,1)$ highlight that the same pointwise estimate cannot hold in a nonlocal setting, thus showing the optimality of our results.


title: Best low-rank approximations and Kolmogorov n-widths

abstract: We relate the problem of best low-rank approximation in the spectral norm for a matrix $A$ to Kolmogorov $n$-widths and corresponding optimal spaces. We characterize all the optimal spaces for the image of the Euclidean unit ball under $A$ and we show that any orthonormal basis in an $n$-dimensional optimal space generates a best rank-$n$ approximation to $A$. We also present a simple and explicit construction to obtain a sequence of optimal $n$-dimensional spaces once an initial optimal space is known. This results in a variety of solutions to the best low-rank approximation problem and provides alternatives to the truncated singular value decomposition. This variety can be exploited to obtain best low-rank approximations with problem-oriented properties.


title: Efficient Generation of Structured Objects with Constrained Adversarial Networks

abstract: Generative Adversarial Networks (GANs) struggle to generate structured objects like molecules and game maps. The issue is that structured objects must satisfy hard requirements (e.g., molecules must be chemically valid) that are difficult to acquire from examples alone. As a remedy, we propose Constrained Adversarial Networks (CANs), an extension of GANs in which the constraints are embedded into the model during training. This is achieved by penalizing the generator proportionally to the mass it allocates to invalid structures. In contrast to other generative models, CANs support efficient inference of valid structures (with high probability) and allows to turn on and off the learned constraints at inference time. CANs handle arbitrary logical constraints and leverage knowledge compilation techniques to efficiently evaluate the disagreement between the model and the constraints. Our setup is further extended to hybrid logical-neural constraints for capturing very complex constraints, like graph reachability. An extensive empirical analysis shows that CANs efficiently generate valid structures that are both high-quality and novel.


title: Filters and congruences in sectionally pseudocomplemented lattices and posets

abstract: In our previous papers, together with J. Paseka we introduced so-called sectionally pseudocomplemented lattices and posets and illuminated their role in algebraic constructions. We believe that - similar to relatively pseudocomplemented lattices - these structures can serve as an algebraic semantics of certain intuitionistic logics. The aim of the present paper is to define congruences and filters in these structures, derive mutual relationships between them and describe basic properties of congruences in strongly sectionally pseudocomplemented posets. For the description of filters both in sectionally pseudocomplemented lattices and posets, we use the tools introduced by A. Ursini, i.e. ideal terms and the closedness with respect to them. It seems to be of some interest that a similar machinery can be applied also for strongly sectionally pseudocomplemented posets in spite of the fact that the corresponding ideal terms are not everywhere defined.


title: Double Multi-Head Attention for Speaker Verification

abstract: Most state-of-the-art Deep Learning systems for speaker verification are based on speaker embedding extractors. These architectures are commonly composed of a feature extractor front-end together with a pooling layer to encode variable-length utterances into fixed-length speaker vectors. In this paper we present Double Multi-Head Attention pooling, which extends our previous approach based on Self Multi-Head Attention. An additional self attention layer is added to the pooling layer that summarizes the context vectors produced by Multi-Head Attention into a unique speaker representation. This method enhances the pooling mechanism by giving weights to the information captured for each head and it results in creating more discriminative speaker embeddings. We have evaluated our approach with the VoxCeleb2 dataset. Our results show 6.09% and 5.23% relative improvement in terms of EER compared to Self Attention pooling and Self Multi-Head Attention, respectively. According to the obtained results, Double Multi-Head Attention has shown to be an excellent approach to efficiently select the most relevant features captured by the CNN-based front-ends from the speech signal.


title: SkipSim: Scalable Skip Graph Simulator

abstract: SkipSim is an offline Skip Graph simulator that enables Skip Graph-based algorithms including blockchains and P2P cloud storage to be simulated while preserving their scalability and decentralized nature. To the best of our knowledge, it is the first Skip Graph simulator that provides several features for experimentation on Skip Graph-based overlay networks. In this demo paper, we present SkipSim features, its architecture, as well as a sample blockchain demo scenario.


title: Going Beyond the Debye Length: Overcoming Charge Screening Limitations in Next-Generation Bioelectronic Sensors

abstract: Electronic biosensors are a natural fit for field-deployable diagnostic devices, because they can be miniaturized, mass produced, and integrated with circuitry. Unfortunately, progress in the development of such platforms has been hindered by the fact that mobile ions present in biological samples screen charges from the target molecule, greatly reducing sensor sensitivity. Under physiological conditions, the thickness of the resulting electric double layer is less than 1 nm, and it has generally been assumed that electronic detection beyond this distance is virtually impossible. However, a few recently-described sensor design strategies seem to defy this conventional wisdom, exploiting the physics of electrical double layers in ways that traditional models do not capture. In the first strategy, charge screening is decreased by constraining the space in which double layers can form. The second strategy uses external stimuli to prevent double layers from reaching equilibrium, thereby effectively reducing charge screening. The goal of this article is to describe these relatively new concepts, and to offer theoretical insights into mechanisms that may enable electronic biosensing beyond the double-layer. If these concepts can be further developed and translated into practical electronic biosensors, we foresee exciting opportunities for the next generation of diagnostic technologies.

categories: physics.app-ph cs.SY eess.SY physics.bio-ph physics.chem-ph physics.med-ph


title: CAMPs: Learning Context-Specific Abstractions for Efficient Planning in Factored MDPs

abstract: Meta-planning, or learning to guide planning from experience, is a promising approach to improving the computational cost of planning. A general meta-planning strategy is to learn to impose constraints on the states considered and actions taken by the agent. We observe that (1) imposing a constraint can induce context-specific independences that render some aspects of the domain irrelevant, and (2) an agent can take advantage of this fact by imposing constraints on its own behavior. These observations lead us to propose the context-specific abstract Markov decision process (CAMP), an abstraction of a factored MDP that affords efficient planning. We then describe how to learn constraints to impose so the CAMP optimizes a trade-off between rewards and computational cost. Our experiments consider five planners across four domains, including robotic navigation among movable obstacles (NAMO), robotic task and motion planning for sequential manipulation, and classical planning. We find planning with learned CAMPs to consistently outperform baselines, including Stilman's NAMO-specific algorithm. Video: https://youtu.be/wTXt6djcAd4 Code: https://git.io/JTnf6


title: A containerized proof-of-concept implementation of LightChain system

abstract: LightChain is the first Distributed Hash Table (DHT)-based blockchain with a logarithmic asymptotic message and memory complexity. In this demo paper, we present the software architecture of our open-source implementation of LightChain, as well as a novel deployment scenario of the entire LightChain system on a single machine aiming at results reproducibility.


title: A comparison of CME expansion speeds between solar cycles 23 and 24

abstract: We report on a comparison of the expansion speeds of limb coronal mass ejections (CMEs) between solar cycles 23 and 24. We selected a large number of limb CME events associated with soft X-ray flare size greater than or equal to M1.0 from both cycles. We used data and measurement tools available at the online CME catalog (https://cdaw.gsfc.nasa.gov) that consists of the properties of all CMEs detected by the Solar and Heliospheric Observatory's (SOHO) Large Angle and Spectrometric Coronagraph (LASCO). We found that the expansion speeds in cycle 24 are higher than those in cycle 23. We also found that the relation between radial and expansion speeds has different slopes in cycles 23 and 24. The cycle 24 slope is 45% higher than that in cycle 23. The expansion speed is also higher for a given radial speed. The difference increases with speed. For a 2000 km/s radial speed, the expansion speed in cycle 24 is ~48% higher. These results present additional evidence for the anomalous expansion of cycle 24-CMEs, which is due to the reduced total pressure in the heliosphere.


title: Generalized permutations related to the degenerate Eulerian numbers

abstract: In this work we propose a combinatorial model that generalizes the standard definition of permutation. Our model generalizes the degenerate Eulerian polynomials and numbers of Carlitz from 1979 and provides missing combinatorial proofs for some relations on the degenerate Eulerian numbers.


title: Boundary contributions in the causal set action

abstract: Evidence is provided for a conjecture that, in the continuum limit, the mean of the causal set action of a causal set sprinkled into a globally hyperbolic Lorentzian spacetime, M, of finite volume equals the Einstein Hilbert action of M plus the volume of the co-dimension 2 intersection of the future boundary with the past boundary. We give the heuristic argument for this conjecture and analyse some examples in 2 dimensions and one example in 4 dimensions.


title: Neural-Symbolic Reasoning over Knowledge Graph for Multi-stage Explainable Recommendation

abstract: Recent work on recommender systems has considered external knowledge graphs as valuable sources of information, not only to produce better recommendations but also to provide explanations of why the recommended items were chosen. Pure rule-based symbolic methods provide a transparent reasoning process over knowledge graph but lack generalization ability to unseen examples, while deep learning models enhance powerful feature representation ability but are hard to interpret. Moreover, direct reasoning over large-scale knowledge graph can be costly due to the huge search space of pathfinding. We approach the problem through a novel coarse-to-fine neural symbolic reasoning method called NSER. It first generates a coarse-grained explanation to capture abstract user behavioral pattern, followed by a fined-grained explanation accompanying with explicit reasoning paths and recommendations inferred from knowledge graph. We extensively experiment on four real-world datasets and observe substantial gains of recommendation performance compared with state-of-the-art methods as well as more diversified explanations in different granularity.


title: Unsupervised Machine Learning and EMF radiation in schools: a study of 205 schools in Greece

abstract: The expansion of network infrastructure in Greece has raised concerns about the possible negative health effects on sensitive groups, such as children, from exposure to long-term radiofrequency electromagnetic fields (RF-EMFs). The objective of this study is to apply Unsupervised Machine Learning methods such as hierarchical clustering, in order to establish patterns of EMF radiation in schools. To this end we performed measurements in the majority schools units in the region of Thessaly in order to calculate the mean value for RF - EMF exposure in the 27 MHz - 3 GHz range, which covers the whole spectrum of RF - EMF sources. Hierarchical clustering dendrogram analysis shows that population density in urban areas of Thessaly bears no relation to the level of EMF exposure in schools. Furthermore, in $97.5\%$ of schools found in the Thessaly region, the exposure level is at least 3500 times below the Greek exposure limits while in $2.5\%$ it is a little less than 500 times below the limit.


title: On the diffusive limits of radiative heat transfer system I: well prepared initial and boundary conditions

abstract: We study the diffusive limit approximation for a nonlinear radiative heat transfer system that arises in the modeling of glass cooling, greenhouse effects and in astrophysics. The model is considered with the reflective radiative boundary conditions for the radiative intensity, and periodic, Dirichlet and Robin boundary conditions for the temperature. The global existence of weak solutions for this system is given by using a Galerkin method with a careful treatment of the boundary conditions. Using the compactness method, averaging lemma and Young measure theory, we prove our main result that the weak solution converges to a nonlinear diffusion model in the diffusive limit. Moreover, under more regularity conditions on the limit system, the diffusive limit is also analyzed by using a relative entropy method. In particular, we get a rate of convergence. The initial and boundary conditions are assumed to be well-prepared in the sense that no initial and boundary layer exist.


title: Regularity of distributional solutions to stochastic acoustic and elastic scattering problems

abstract: This paper is concerned with the well-posedness and regularity of the distributional solutions for the stochastic acoustic and elastic scattering problems. We show that the regularity of the solutions depends on the regularity of both the random medium and the random source.


title: Invariance principles for integrated random walks conditioned to stay positive

abstract: Let $S(n)$ be a centered random walk with finite second moment. We consider the integrated random walk $T(n) = S(0)+S(1)+\dots+S(n)$. We prove invariance principles for the meander and for the bridge of this process, under the condition that the integrated random walk remains positive. Furthermore, we prove the functional convergence of its Doob's $h$-transform to the $h$-transform of the Kolmogorov diffusion conditioned to stay positive.


title: Demo: A Proof-of-Concept Implementation of Guard Secure Routing Protocol

abstract: Skip Graphs belong to the family of Distributed Hash Table (DHT) structures that are utilized as routing overlays in various peer-to-peer applications including blockchains, cloud storage, and social networks. In a Skip Graph overlay, any misbehavior of peers during the routing of a query compromises the system functionality. Guard is the first authenticated search mechanism for Skip Graphs, enables reliable search operation in a fully decentralized manner. In this demo paper, we present a proof-of-concept implementation of Guard on Skip Graph nodes as well as a deployment demo scenario.


title: Formation of Pop II star clusters in the aftermath of a pair instability supernova

abstract: Pop II stars formed a few hundred million years after the Big Bang were key drivers of cosmic reionization and building blocks of high redshift galaxies. How and when these stars formed is a subject of ongoing research. We conduct cosmological radiation hydrodynamical simulations to investigate the formation of Pop II star clusters in dark matter halos forming at $z=10-25$ in the aftermath of a pair instability supernova (PISN). Our simulations model the formation of Pop III and Pop II stars in a self-consistent manner along with their radiative, chemical and SN feedback in halos of $\rm 5 \times 10^5- 7 \times 10^7~M_{\odot}$. We find that a PISN evacuates the gas from halos $\rm \leq 3 \times 10^{6}~M_{\odot}$ and thereafter shuts off in situ star formation for at-least 30 Myr. Pop II stellar clusters of $\rm 923~M_{\odot}$ and $\rm 6800~M_{\odot}$ form in halos of $\rm 3.5 \times 10^7~M_{\odot}$ and $\rm 7.2 \times 10^7~M_{\odot}$, respectively. The mode of star formation is highly episodic and mainly regulated by Pop II SN feedback. The average star formation rates are $\rm 10^{-5}-10^{-4}~M_{\odot}/yr$ and the star formation efficiency is less than 1\%.


title: Computing zeta functions of large polynomial systems over finite fields

abstract: In this paper, we improve the algorithms of Lauder-Wan \cite{LW} and Harvey \cite{Ha} to compute the zeta function of a system of $m$ polynomial equations in $n$ variables over the finite field $\FF_q$ of $q$ elements, for $m$ large. The dependence on $m$ in the original algorithms was exponential in $m$. Our main result is a reduction of the exponential dependence on $m$ to a polynomial dependence on $m$. As an application, we speed up a doubly exponential time algorithm from a software verification paper \cite{BJK} (on universal equivalence of programs over finite fields) to singly exponential time. One key new ingredient is an effective version of the classical Kronecker theorem which (set-theoretically) reduces the number of defining equations for a "large" polynomial system over $\FF_q$ when $q$ is suitably large.


title: OASIS: A Large-Scale Dataset for Single Image 3D in the Wild

abstract: Single-view 3D is the task of recovering 3D properties such as depth and surface normals from a single image. We hypothesize that a major obstacle to single-image 3D is data. We address this issue by presenting Open Annotations of Single Image Surfaces (OASIS), a dataset for single-image 3D in the wild consisting of annotations of detailed 3D geometry for 140,000 images. We train and evaluate leading models on a variety of single-image 3D tasks. We expect OASIS to be a useful resource for 3D vision research. Project site: https://pvl.cs.princeton.edu/OASIS.


title: Abnormal acoustic transmission in a waveguide with perforated screens

abstract: We consider the propagation of the piston mode in an acoustic waveguide obstructed by two screens with small holes. In general, due to the features of the geometry, almost no energy of the incident wave is transmitted through the structure. The goal of this article is to show that tuning carefully the distance between the two screens, which form a resonator, one can get almost complete transmission. We obtain an explicit criterion, not so obvious to intuit, for this phenomenon to happen. Numerical experiments illustrate the analysis.


title: Robustness of topological corner modes against disorder and application to acoustic networks

abstract: We study the two-dimensional extension of the Su-Schrieffer-Heeger model in its higher order topological insulator phase, which is known to host corner states. Using the separability of the model into a product of one-dimensional Su-Schrieffer-Heeger chains, we analytically describe the eigen-modes, and specifically the zero-energy level, which includes states localized in corners. We then consider networks with disordered hopping coefficients that preserve the chiral (sublattice) symmetry of the model. We show that the corner mode and its localization properties are robust against disorder if the hopping coefficients have a vanishing flux on appropriately defined super plaquettes. We then show how this model with disorder can be realised using an acoustic network of air channels, and confirm the presence and robustness of corner modes.


title: DeepHazard: neural network for time-varying risks

abstract: Prognostic models in survival analysis are aimed at understanding the relationship between patients' covariates and the distribution of survival time. Traditionally, semi-parametric models, such as the Cox model, have been assumed. These often rely on strong proportionality assumptions of the hazard that might be violated in practice. Moreover, they do not often include covariate information updated over time. We propose a new flexible method for survival prediction: DeepHazard, a neural network for time-varying risks. Our approach is tailored for a wide range of continuous hazards forms, with the only restriction of being additive in time. A flexible implementation, allowing different optimization methods, along with any norm penalty, is developed. Numerical examples illustrate that our approach outperforms existing state-of-the-art methodology in terms of predictive capability evaluated through the C-index metric. The same is revealed on the popular real datasets as METABRIC, GBSG, and ACTG.


title: Cluster variation method analysis of correlations and entropy in BCC solid solutions

abstract: Solid solutions occur when multiple chemical species share sites of a common crystal lattice. Although the single site occupation is random, chemical interaction preferences bias the occupation probabilities of neighboring sites, and this bias reduced the entropy of mixing below its ideal value. Sufficiently strong bias leads to symmetry-breaking phase transitions. We apply the cluster variation method to explore solid solutions on body centered cubic lattices in the context of two specific compounds that exhibit opposite ordering trends. Employing density functional theory to model the energetics, we show that CuZn exhibits an order-disorder transition to the CsCl prototype structure, while AlLi instead takes the NaTl prototype structure, and we evaluate their temperature-dependent order parameters, correlations and entropies.


title: Understanding Contagion Dynamics through Microscopic Processes in Active Brownian Particles

abstract: Together with the universally recognized SIR model, several approaches have been employed to understand the contagious dynamics of interacting particles. Here, Active Brownian particles (ABP) are introduced to model the contagion dynamics of living agents that spread an infectious disease in space and time. Simulations were performed for several population densities and contagious rates. Our results show that ABP not only reproduces the time dependence observed in traditional SIR models, but also allows us to explore the critical densities, contagious radius, and random recovery times that facilitate the virus spread. Furthermore, we derive a first-principles analytical expression for the contagion rate in terms of microscopic parameters, without the assumption of free parameters as the classical SIR-based models. This approach offers a novel alternative to incorporate microscopic processes into the analysis of SIR-based models with applications in a wide range of biological systems


title: CSER: Communication-efficient SGD with Error Reset

abstract: The scalability of Distributed Stochastic Gradient Descent (SGD) is today limited by communication bottlenecks. We propose a novel SGD variant: Communication-efficient SGD with Error Reset, or CSER. The key idea in CSER is first a new technique called "error reset" that adapts arbitrary compressors for SGD, producing bifurcated local models with periodic reset of resulting local residual errors. Second we introduce partial synchronization for both the gradients and the models, leveraging advantages from them. We prove the convergence of CSER for smooth non-convex problems. Empirical results show that when combined with highly aggressive compressors, the CSER algorithms accelerate the distributed training by nearly 10x for CIFAR-100, and by 4.5x for ImageNet.


title: Breather stripes and radial breathers of the two-dimensional sine-Gordon equation

abstract: We revisit the problem of transverse instability of a 2D breather stripe of the sine-Gordon (sG) equation. A numerically computed Floquet spectrum of the stripe is compared to analytical predictions developed by means of multiple-scale perturbation theory showing good agreement in the long-wavelength limit. By means of direct simulations, it is found that the instability leads to a breakup of the quasi-1D breather in a chain of interacting 2D radial breathers that appear to be fairly robust in the dynamics. The stability and dynamics of radial breathers in a finite domain are studied in detail by means of numerical methods. Different families of such solutions are identified. They develop small-amplitude spatially oscillating tails ("nanoptera") through a resonance of higher-order breather's harmonics with linear modes ("phonons") belonging to the continuous spectrum. These results demonstrate the ability of the 2D sG model within our finite domain computations to localize energy in long-lived, self-trapped breathing excitations.


title: Asymptotic behavior of $N$-fields Chiral Cosmology

abstract: We perform a detailed analysis for the asymptotic behaviour for the multi-scalar field Chiral cosmological scenario. We present the asymptotic behaviour for the one-field, two-fields and three-fields Chiral models. From these results, and deriving conserved quantities, we present a Theorem for the $N$-fields model for the Chiral model with $N$--fields. We find that the maximum number of scalar fields which provide interesting physical results is two-fields, while for $N>2$ the new stationary points are only of mathematical interest since they do not describe new exact solutions different from those recovered for $N=2$.


title: Uniformizing Techniques to Process CT scans with 3D CNNs for Tuberculosis Prediction

abstract: A common approach to medical image analysis on volumetric data uses deep 2D convolutional neural networks (CNNs). This is largely attributed to the challenges imposed by the nature of the 3D data: variable volume size, GPU exhaustion during optimization. However, dealing with the individual slices independently in 2D CNNs deliberately discards the depth information which results in poor performance for the intended task. Therefore, it is important to develop methods that not only overcome the heavy memory and computation requirements but also leverage the 3D information. To this end, we evaluate a set of volume uniformizing methods to address the aforementioned issues. The first method involves sampling information evenly from a subset of the volume. Another method exploits the full geometry of the 3D volume by interpolating over the z-axis. We demonstrate performance improvements using controlled ablation studies as well as put this approach to the test on the ImageCLEF Tuberculosis Severity Assessment 2019 benchmark. We report 73% area under curve (AUC) and binary classification accuracy (ACC) of 67.5% on the test set beating all methods which leveraged only image information (without using clinical meta-data) achieving 5-th position overall. All codes and models are made available at https://github.com/hasibzunair/uniformizing-3D.


title: The gravitational wave background signal from tidal disruption events

abstract: In this paper we derive the gravitational wave stochastic background from tidal disruption events (TDEs). We focus on both the signal emitted by main sequence stars disrupted by super-massive black holes (SMBHs) in galaxy nuclei, and on that from disruptions of white dwarfs by intermediate mass black holes (IMBHs) located in globular clusters. We show that the characteristic strain $h_{\rm c}$'s dependence on frequency is shaped by the pericenter distribution of events within the tidal radius, and under standard assumptions $h_{\rm c} \propto f^{-1/2}$. This is because the TDE signal is a burst of gravitational waves at the orbital frequency of the closest approach. In addition, we compare the background characteristic strains with the sensitivity curves of the upcoming generation of space-based gravitational wave interferometers: the Laser Interferometer Space Antenna (LISA), TianQin, ALIA, the DECI-hertz inteferometer Gravitational wave Observatory (DECIGO) and the Big Bang Observer (BBO). We find that the background produced by main sequence stars might be just detected by BBO in its lowest frequency coverage, but it is too weak for all the other instruments. On the other hand, the background signal from TDEs with white dwarfs will be within reach of ALIA, and especially of DECIGO and BBO, while it is below the LISA and TianQin sensitive curves. This background signal detection will not only provide evidence for the existence of IMBHs up to redshift $z\sim 3$, but it will also inform us on the number of globular clusters per galaxy and on the occupation fraction of IMBHs in these environments.


title: On lattice homomorphisms in Riesz spaces

abstract: In this paper, we study the connextion between lattice and Riesz homomorphisms in Riesz spaces. We prove, under a certain condition, that any lattice homomorphism on Riesz space is a Riesz homomorphism. This fits in the type of results by Mena and Roth [7], thanh [9], Lochan and Strauss [5] and Ercan and Wickstead [2].


title: Accretion of Ornamental Equatorial Ridges on Pan, Atlas and Daphnis

abstract: We explore scenarios for the accretion of ornamental ridges on Saturn's moons Pan, Atlas, and Daphnis from material in Saturn's rings. Accretion of complex shaped ridges from ring material should be possible when the torque from accreted material does not exceed the tidal torque from Saturn that ordinarily maintains tidal lock. This gives a limit on the maximum accretion rate and the minimum duration for equatorial ridge growth. We explore the longitude distribution of ridges accreted from ring material, initially in circular orbits, onto a moon that is on a circular, inclined or eccentric orbit. Sloped and lobed ridges can be accreted if the moon tidally realigns during accretion due to its change in shape or because the disk edge surface density profile allows ring material originating at different initial semi-major axes to impact the moon at different locations on its equatorial ridge. We find that accretion from an asymmetric gap might account for a depression on Atlas's equatorial ridge. Accretion from an asymmetric gap at orbital eccentricity similar to the Hill eccentricity, might allow accretion of multiple lobes, as seen on Pan. Two possibly connected scenarios are promising for growth of ornamental equatorial ridges. The moon migrates through the ring, narrowing its gap and facilitating accretion. The moon's orbital eccentricity could increase due to orbital resonance with another moon, pushing it into its gap edges and facilitating accretion.


title: A data-driven approach to determine dipole moments of diatomic molecules

abstract: We present a data-driven approach for the prediction of the electric dipole moment of diatomic molecules, which is one of the most relevant molecular properties. In particular, we apply Gaussian process regression to a novel dataset to show that dipole moments of diatomic molecules can be learned, and hence predicted, with a relative error <5%. The dataset contains the dipole moment of 162 diatomic molecules, the most exhaustive and unbiased dataset of dipole moments up to date. Our findings show that the dipole moment of diatomic molecules depends on atomic properties of the constituents atoms: electron affinity and ionization potential, as well as on (a feature related to) the first derivative of the electronic kinetic energy at the equilibrium distance.


title: Systems of random variables and the Free Will Theorem

abstract: The title refers to the Free Will Theorem by Conway and Kochen whose flashy formulation is: if experimenters possess free will, then so do particles. In more modest terms, the theorem says that individual pairs of spacelike separated particles cannot be described by deterministic systems provided their mixture is the same for all choices of measurement settings. We reformulate and generalize the Free Will Theorem theorem in terms of systems of random variables, and show that the proof is based on two observations: (1) some compound systems are contextual (non-local), and (2) any deterministic system with spacelike separated components is non-signaling. The contradiction between the two is obtained by showing that a mixture of non-signaling deterministic systems, if they exist, is always noncontextual. The "experimenters' free will" (independence) assumption is not needed for the proof: it is made redundant by the assumption (1) above, critical for the proof. We next argue that the reason why an individual pair of particles is not described by a deterministic system is more elementary than in the Free Will Theorem. A system, contextual or not and deterministic or not, includes several choices of settings, each of which can be factually used without changing the system. An individual pair of particles can only afford a single realization of random variables for a single choice of settings. With this conceptualization, the "free will of experimenters" cannot be even meaningfully formulated, and the choice between the determinism and "free will of particles" becomes arbitrary and inconsequential.


title: Energy Efficiency Through Joint Routing and Function Placement in Different Modes of SDN/NFV Networks

abstract: Network function virtualization (NFV) and software defined networking (SDN) are two promising technologies to enable 5G and 6G services and achieve cost reduction, network scalability, and deployment flexibility. However, migration to full SDN/NFV networks in order to serve these services is a time consuming process and costly for mobile operators. This paper focuses on energy efficiency during the transition of mobile core networks (MCN) to full SDN/NFV networks, and explores how energy efficiency can be addressed during such migration. We propose a general system model containing a combination of legacy nodes and links, in addition to newly introduced NFV and SDN nodes. We refer to this system model as partial SDN and hybrid NFV MCN which can cover different modes of SDN and NFV implementations. Based on this framework, we formulate energy efficiency by considering joint routing and function placement in the network. Since this problem belongs to the class of non-linear integer programming problems, to solve it efficiently, we present a modified Viterbi algorithm (MVA) based on multi-stage graph modeling and a modified Dijkstra's algorithm. We simulate this algorithm for a number of network scenarios with different fractions of NFV and SDN nodes, and evaluate how much energy can be saved through such transition. Simulation results confirm the expected performance of the algorithm which saves up to 70% energy compared to network where all nodes are always on. Interestingly, the amount of energy saved by the proposed algorithm in the case of hybrid NFV and partial SDN networks can reach up to 60-90% of the saved energy in full NFV/SDN networks.


title: CoV-ABM: A stochastic discrete-event agent-based framework to simulate spatiotemporal dynamics of COVID-19

abstract: The paper develops a stochastic Agent-Based Model (ABM) mimicking the spread of infectious diseases in geographical domains. The model is designed to simulate the spatiotemporal spread of SARS-CoV2 disease, known as COVID-19. Our SARS-CoV2-based ABM framework (CoV-ABM) simulates the spread at any geographical scale, ranging from a village to a country and considers unique characteristics of SARS-CoV2 viruses such as its persistence in the environment. Therefore, unlike other simulators, CoV-ABM computes the density of active viruses inside each location space to get the virus transmission probability for each agent. It also uses the local census and health data to create health and risk factor profiles for each individual. The proposed model relies on a flexible timestamp scale to optimize the computational speed and the level of detail. In our framework each agent represents a person interacting with the surrounding space and other adjacent agents inside the same space. Moreover, families stochastic daily tasks are formulated to get tracked by the corresponding family members. The model also formulates the possibility of meetings for each subset of friendships and relatives. The main aim of the proposed framework is threefold: to illustrate the dynamics of SARS-CoV diseases, to identify places which have a higher probability to become infection hubs and to provide a decision-support system to design efficient interventions in order to fight against pandemics. The framework employs SEIHRD dynamics of viral diseases with different intervention scenarios. The paper simulates the spread of COVID-19 in the State of Delaware, United States, with near one million stochastic agents. The results achieved over a period of 15 weeks with a timestamp of 1 hour show which places become the hubs of infection. The paper also illustrates how hospitals get overwhelmed as the outbreak reaches its pick.


title: The Pendulum Arrangement: Maximizing the Escape Time of Heterogeneous Random Walks

abstract: We identify a fundamental phenomenon of heterogeneous one dimensional random walks: the escape (traversal) time is maximized when the heterogeneity in transition probabilities forms a pyramid-like potential barrier. This barrier corresponds to a distinct arrangement of transition probabilities, sometimes referred to as the pendulum arrangement. We reduce this problem to a sum over products, combinatorial optimization problem, proving that this unique structure always maximizes the escape time. This general property may influence studies in epidemiology, biology, and computer science to better understand escape time behavior and construct intruder-resilient networks.

categories: math.PR cs.DM math.CO math.OC physics.data-an


title: Cyber Threat Intelligence for Secure Smart City

abstract: Smart city improved the quality of life for the citizens by implementing information communication technology (ICT) such as the internet of things (IoT). Nevertheless, the smart city is a critical environment that needs to secure it is network and data from intrusions and attacks. This work proposes a hybrid deep learning (DL) model for cyber threat intelligence (CTI) to improve threats classification performance based on convolutional neural network (CNN) and quasi-recurrent neural network (QRNN). We use QRNN to provide a real-time threat classification model. The evaluation results of the proposed model compared to the state-of-the-art models show that the proposed model outperformed the other models. Therefore, it will help in classifying the smart city threats in a reasonable time.


title: Resource Augmentation

abstract: This chapter introduces resource augmentation, in which the performance of an algorithm is compared to the best-possible solution that is handicapped by less resources. We consider three case studies: online paging, with cache size as the resource; selfish routing, with capacity as the resource; and scheduling, with processor speed as the resource. Resource augmentation bounds also imply "loosely competitive" bounds, which show that an algorithm's performance is near-optimal for most resource levels.


title: Ergodic Theory, Geometric Measure Theory, Conformal Measures and the Dynamics of Elliptic Functions

abstract: The ultimate goal of our book is to present a unified approach to the dynamics, ergodic theory, and geometry of elliptic functions from $\C$ to $\oc$. We consider elliptic functions as a most regular class of transcendental meromorphic functions. Poles form an essential feature of such functions but the set of critical values is finite and an elliptic function is "the same" on its of its fundamental regions. In a sense this is the class of transcendental meromorphic functions which resembles rational functions most. On the other hand, the differences are huge. We will touch on them in the course of this introduction. In order to comprehensively cover the dynamics and geometry of elliptic functions we make large preparations. This is done in the first two parts of the book: Part 1, "Ergodic Theory and Measures" and Part 2,"Geometry and Conformal Measures". We intend our book to be as self contained as possible and we use essentially all major results of Part~1 and Part~2 in Part~3 and Part~4 dealing with elliptic functions. This book can be thus treated as a fairly comprehensive account of dynamics, ergodic theory, and fractal geometry of elliptic functions but also as a reference book (with proofs) for many results of geometric measure theory, finite and infinite abstract ergodic theory, Young's towers, measure--theoretic Kolmogorov--Sinai entropy, thermodynamic formalism, geometric function theory (in particular Koebe's Distortion Theorems and Riemann--Hurwitz Formulas), various kinds of conformal measures, conformal graph Directed Markov systems and iterated function systems, classical general theory of elliptic functions, and topological dynamics of transcendental meromorphic functions.


title: Crossover of dynamical instability and chaos in the supercritical state

abstract: We calculate the maximal Lyapunov exponent for a bulk system of 256 Lennard-Jones particles in constant energy molecular dynamics simulations deep into the supercritical state. We find that the maximal Lyapunov exponent undergoes a crossover, and that this crossover coincides with the dynamical crossover at the Frenkel line from liquid physics. We explain this crossover in terms of two different contributions to dynamical instability: diffusion in the liquid-like state below the Frenkel line, and collisions in the gas-like state above. These results provide insight into the phase space dynamics far from the melting line and densities where rare-gas approximation are inapplicable.


title: Exploring Data Splitting Strategies for the Evaluation of Recommendation Models

abstract: Effective methodologies for evaluating recommender systems are critical, so that such systems can be compared in a sound manner. A commonly overlooked aspect of recommender system evaluation is the selection of the data splitting strategy. In this paper, we both show that there is no standard splitting strategy and that the selection of splitting strategy can have a strong impact on the ranking of recommender systems. In particular, we perform experiments comparing three common splitting strategies, examining their impact over seven state-of-the-art recommendation models for two datasets. Our results demonstrate that the splitting strategy employed is an important confounding variable that can markedly alter the ranking of state-of-the-art systems, making much of the currently published literature non-comparable, even when the same dataset and metrics are used.


title: A well-timed switch from local to global agreements accelerates climate change mitigation

abstract: Recent attempts at cooperating on climate change mitigation highlight the limited efficacy of large-scale agreements, when commitment to mitigation is costly and initially rare. Bottom-up approaches using region-specific mitigation agreements promise greater success, at the cost of slowing global adoption. Here, we show that a well-timed switch from regional to global negotiations dramatically accelerates climate mitigation compared to using only local, only global, or both agreement types simultaneously. This highlights the scale-specific roles of mitigation incentives: local incentives capitalize on regional differences (e.g., where recent disasters incentivize mitigation) by committing early-adopting regions, after which global agreements draw in late-adopting regions. We conclude that global agreements are key to overcoming the expenses of mitigation and economic rivalry among regions but should be attempted once regional agreements are common. Gradually up-scaling efforts could likewise accelerate mitigation at smaller scales, for instance when costly ecosystem restoration initially faces limited public and legislative support.


title: funcGNN: A Graph Neural Network Approach to Program Similarity

abstract: Program similarity is a fundamental concept, central to the solution of software engineering tasks such as software plagiarism, clone identification, code refactoring and code search. Accurate similarity estimation between programs requires an in-depth understanding of their structure, semantics and flow. A control flow graph (CFG), is a graphical representation of a program which captures its logical control flow and hence its semantics. A common approach is to estimate program similarity by analysing CFGs using graph similarity measures, e.g. graph edit distance (GED). However, graph edit distance is an NP-hard problem and computationally expensive, making the application of graph similarity techniques to complex software programs impractical. This study intends to examine the effectiveness of graph neural networks to estimate program similarity, by analysing the associated control flow graphs. We introduce funcGNN, which is a graph neural network trained on labeled CFG pairs to predict the GED between unseen program pairs by utilizing an effective embedding vector. To our knowledge, this is the first time graph neural networks have been applied on labeled CFGs for estimating the similarity between high-level language programs. Results: We demonstrate the effectiveness of funcGNN to estimate the GED between programs and our experimental analysis demonstrates how it achieves a lower error rate (0.00194), with faster (23 times faster than the quickest traditional GED approximation method) and better scalability compared with the state of the art methods. funcGNN posses the inductive learning ability to infer program structure and generalise to unseen programs. The graph embedding of a program proposed by our methodology could be applied to several related software engineering problems (such as code plagiarism and clone identification) thus opening multiple research directions.


title: Distributional Analysis

abstract: In distributional or average-case analysis, the goal is to design an algorithm with good-on-average performance with respect to a specific probability distribution. Distributional analysis can be useful for the study of general-purpose algorithms on "non-pathological" inputs, and for the design of specialized algorithms in applications in which there is detailed understanding of the relevant input distribution. For some problems, however, pure distributional analysis encourages "overfitting" an algorithmic solution to a particular distributional assumption and a more robust analysis framework is called for. This chapter presents numerous examples of the pros and cons of distributional analysis, highlighting some of its greatest hits while also setting the stage for the hybrids of worst- and average-case analysis studied in later chapters.


title: Beyond the Worst-Case Analysis of Algorithms (Introduction)

abstract: One of the primary goals of the mathematical analysis of algorithms is to provide guidance about which algorithm is the "best" for solving a given computational problem. Worst-case analysis summarizes the performance profile of an algorithm by its worst performance on any input of a given size, implicitly advocating for the algorithm with the best-possible worst-case performance. Strong worst-case guarantees are the holy grail of algorithm design, providing an application-agnostic certification of an algorithm's robustly good performance. However, for many fundamental problems and performance measures, such guarantees are impossible and a more nuanced analysis approach is called for. This chapter surveys several alternatives to worst-case analysis that are discussed in detail later in the book.


title: WrapNet: Neural Net Inference with Ultra-Low-Resolution Arithmetic

abstract: Low-resolution neural networks represent both weights and activations with few bits, drastically reducing the multiplication complexity. Nonetheless, these products are accumulated using high-resolution (typically 32-bit) additions, an operation that dominates the arithmetic complexity of inference when using extreme quantization (e.g., binary weights). To further optimize inference, we propose a method that adapts neural networks to use low-resolution (8-bit) additions in the accumulators, achieving classification accuracy comparable to their 32-bit counterparts. We achieve resilience to low-resolution accumulation by inserting a cyclic activation layer, as well as an overflow penalty regularizer. We demonstrate the efficacy of our approach on both software and hardware platforms.


title: Scalable Derivative-Free Optimization for Nonlinear Least-Squares Problems

abstract: Derivative-free - or zeroth-order - optimization (DFO) has gained recent attention for its ability to solve problems in a variety of application areas, including machine learning, particularly involving objectives which are stochastic and/or expensive to compute. In this work, we develop a novel model-based DFO method for solving nonlinear least-squares problems. We improve on state-of-the-art DFO by performing dimensionality reduction in the observational space using sketching methods, avoiding the construction of a full local model. Our approach has a per-iteration computational cost which is linear in problem dimension in a big data regime, and numerical evidence demonstrates that, compared to existing software, it has dramatically improved runtime performance on overdetermined least-squares problems.


title: Unknotting numbers of 2-spheres in the 4-sphere

abstract: We compare two naturally arising notions of unknotting number for 2-spheres in the 4-sphere: namely, the minimal number of 1-handle stabilizations needed to obtain an unknotted surface, and the minimal number of Whitney moves required in a regular homotopy to the unknotted 2-sphere. We refer to these invariants as the stabilization number and the Casson-Whitney number of the sphere, respectively. Using both algebraic and geometric techniques, we show that the stabilization number is bounded above by one more than the Casson-Whitney number. We also provide explicit families of spheres for which these invariants are equal, as well as families for which they are distinct. Furthermore, we give additional bounds for both invariants, concrete examples of their non-additivity, and applications to classical unknotting number of 1-knots.


title: Modeling Linear Inequality Constraints in Quadratic Binary Optimization for Variational Quantum Eigensolver

abstract: This paper introduces the use of tailored variational forms for variational quantum eigensolver that have properties of representing certain constraints on the search domain of a linear constrained quadratic binary optimization problem solution. Four constraints that usually appear in several optimization problems are modeled. The main advantage of the proposed methodology is that the number of parameters on the variational form remain constant and depend on the number of variables that appear on the constraints. Moreover, this variational form always produces feasible solutions for the represented constraints differing from penalization techniques commonly used to translate constrained problems into unconstrained one. The methodology is implemented in a real quantum computer for two known optimization problems: the Facility Location Problem and the Set Packing Problem. The results obtained for this two problems with VQE using 2-Local variational form and a general QAOA implementation are compared, and indicate that less quantum gates and parameters were used, leading to a faster convergence.


title: A targeted search for repeating fast radio bursts associated with gamma-ray bursts

abstract: The origin of fast radio bursts (FRBs) still remains a mystery, even with the increased number of discoveries in the last three years. Growing evidence suggests that some FRBs may originate from magnetars. Large, single-dish telescopes such as Arecibo Observatory (AO) and Green Bank Telescope (GBT) have the sensitivity to detect FRB~121102-like bursts at gigaparsec distances. Here we present searches using AO and GBT that aimed to find potential radio bursts at 11 sites of past $\gamma$--ray bursts that show evidence for the birth of a magnetar. We also performed a search towards GW170817, which has a merger remnant whose nature remains uncertain. We place $10\,\sigma$ fluence upper limits of $\approx 0.036$ Jy ms at 1.4 GHz and $\approx 0.063$ Jy ms at 4.5 GHz for AO data and fluence upper limits of $\approx 0.085$ Jy ms at 1.4 GHz and $\approx 0.098$ Jy ms at 1.9 GHz for GBT data, for a maximum pulse width of $\approx 42$ ms. The AO observations had sufficient sensitivity to detect any FRB of similar luminosity to the one recently detected from the Galactic magnetar SGR 1935+2154. Assuming a Schechter function for the luminosity function of FRBs, we find that our non-detections favor a steep power--law index ($\alpha\lesssim-1.0$) and a large cut--off luminosity ($L_0 \gtrsim 10^{42}$ erg/s).


title: Scalable Bayesian estimation in the multinomial probit model

abstract: The multinomial probit model is a popular tool for analyzing choice behaviour as it allows for correlation between choice alternatives. Because current model specifications employ a full covariance matrix of the latent utilities for the choice alternatives, they are not scalable to a large number of choice alternatives. This paper proposes a factor structure on the covariance matrix, which makes the model scalable to large choice sets. The main challenge in estimating this structure is that the model parameters require identifying restrictions. We identify the parameters by a trace-restriction on the covariance matrix, which is imposed through a reparametrization of the factor structure. We specify interpretable prior distributions on the model parameters and develop an MCMC sampler for parameter estimation. The proposed approach significantly improves performance in large choice sets relative to existing multinomial probit specifications. Applications to purchase data show the economic importance of including a large number of choice alternatives in consumer choice analysis.


title: Complete $E_8$ Unification in 10 Dimensions

abstract: A grand unification model with a single $E_8$ gauge superfield in 10 dimensions is presented. It is shown that, through the orbifold $T^6/(\mathbb{Z}_6\times \mathbb{Z}_2)$ and its corresponding Wilson lines, the symmetry is broken to the Standard Model one. Furthermore it is shown that the model is anomaly free at all levels without the need to add any extra field content. Thus a complete unification of the Standard Model into a single gauge superfield is achieved consistently.


title: Dual Distribution Alignment Network for Generalizable Person Re-Identification

abstract: Domain generalization (DG) serves as a promising solution to handle person Re-Identification (Re-ID), which trains the model using labels from the source domain alone, and then directly adopts the trained model to the target domain without model updating. However, existing DG approaches are usually disturbed by serious domain variations due to significant dataset variations. Subsequently, DG highly relies on designing domain-invariant features, which is however not well exploited, since most existing approaches directly mix multiple datasets to train DG based models without considering the local dataset similarities, i.e., examples that are very similar but from different domains. In this paper, we present a Dual Distribution Alignment Network (DDAN), which handles this challenge by mapping images into a domain-invariant feature space by selectively aligning distributions of multiple source domains. Such an alignment is conducted by dual-level constraints, i.e., the domain-wise adversarial feature learning and the identity-wise similarity enhancement. We evaluate our DDAN on a large-scale Domain Generalization Re-ID (DG Re-ID) benchmark. Quantitative results demonstrate that the proposed DDAN can well align the distributions of various source domains, and significantly outperforms all existing domain generalization approaches.


title: Deep Active Learning for Solvability Prediction in Power Systems

abstract: Traditional methods for solvability region analysis can only have inner approximations with inconclusive conservatism. Machine learning methods have been proposed to approach the real region. In this letter, we propose a deep active learning framework for power system solvability prediction. Compared with the passive learning methods where the training is performed after all instances are labeled, the active learning selects most informative instances to be label and therefore significantly reduce the size of labeled dataset for training. In the active learning framework, the acquisition functions, which correspond to different sampling strategies, are defined in terms of the on-the-fly posterior probability from the classifier. The IEEE 39-bus system is employed to validate the proposed framework, where a two-dimensional case is illustrated to visualize the effectiveness of the sampling method followed by the full-dimensional numerical experiments.


title: Point-to-set distance functions for weakly supervised segmentation

abstract: When pixel-level masks or partial annotations are not available for training neural networks for semantic segmentation, it is possible to use higher-level information in the form of bounding boxes, or image tags. In the imaging sciences, many applications do not have an object-background structure and bounding boxes are not available. Any available annotation typically comes from ground truth or domain experts. A direct way to train without masks is using prior knowledge on the size of objects/classes in the segmentation. We present a new algorithm to include such information via constraints on the network output, implemented via projection-based point-to-set distance functions. This type of distance functions always has the same functional form of the derivative, and avoids the need to adapt penalty functions to different constraints, as well as issues related to constraining properties typically associated with non-differentiable functions. Whereas object size information is known to enable object segmentation from bounding boxes from datasets with many general and medical images, we show that the applications extend to the imaging sciences where data represents indirect measurements, even in the case of single examples. We illustrate the capabilities in case of a) one or more classes do not have any annotation; b) there is no annotation at all; c) there are bounding boxes. We use data for hyperspectral time-lapse imaging, object segmentation in corrupted images, and sub-surface aquifer mapping from airborne-geophysical remote-sensing data. The examples verify that the developed methodology alleviates difficulties with annotating non-visual imagery for a range of experimental settings.


title: Optimal design of acoustic metamaterial cloaks under uncertainty

abstract: In this work, we consider the problem of optimal design of an acoustic cloak under uncertainty and develop scalable approximation and optimization methods to solve this problem. The design variable is taken as an infinite-dimensional spatially-varying field that represents the material property, while an additive infinite-dimensional random field represents the variability of the material property or the manufacturing error. Discretization of this optimal design problem results in high-dimensional design variables and uncertain parameters. To solve this problem, we develop a computational approach based on a Taylor approximation and an approximate Newton method for optimization, which is based on a Hessian derived at the mean of the random field. We show our approach is scalable with respect to the dimension of both the design variables and uncertain parameters, in the sense that the necessary number of acoustic wave propagations is essentially independent of these dimensions, for numerical experiments with up to one million design variables and half a million uncertain parameters. We demonstrate that, using our computational approach, an optimal design of the acoustic cloak that is robust to material uncertainty is achieved in a tractable manner. The optimal design under uncertainty problem is posed and solved for the classical circular obstacle surrounded by a ring-shaped cloaking region, subjected to both a single-direction single-frequency incident wave and multiple-direction multiple-frequency incident waves. Finally, we apply the method to a deterministic large-scale optimal cloaking problem with complex geometry, to demonstrate that the approximate Newton method's Hessian computation is viable for large, complex problems.


title: Metamorphosis of Goldstone and Soft Fluctuation Modes in Polariton Lasers

abstract: For a driven-dissipative quantum many-body system prepared in a spontaneous broken-symmetry steady state, in addition to the Goldstone mode the soft fluctuation modes provide important insight into the system's dynamics. Using a microscopic polariton laser theory, we find a rich transformation behavior of discrete and continuum soft modes in a two parameter (pump density and cavity dissipation rate) space. In addition to finding exceptional-point Goldstone companion modes, our theory yields a unified picture of a variety of seemingly disconnected physical concepts including Mott transition, Mollow spectra or relaxation oscillations, and polaritonic Bardeen-Cooper-Schrieffer gaps.


title: Magic square and Dirac flavor neutrino mass matrix

abstract: The magic texture is one of the successful textures of the flavor neutrino mass matrix for the Majorana type neutrinos. The name "magic" is inspired by the nature of the magic square. We estimate the compatibility of the magic square with the Dirac, instead of the Majorana, flavor neutrino mass matrix. It turned out that some parts of the nature of the magic square are appeared approximately in the Dirac flavor neutrino mass matrix and the magic squares prefer the normal mass ordering rather than the inverted mass ordering for the Dirac neutrinos.


title: The Causality Inference of Public Interest in Restaurants and Bars on COVID-19 Daily Cases in the US: A Google Trends Analysis

abstract: The COVID-19 coronavirus pandemic has affected virtually every region of the globe. At the time of conducting this study, the number of daily cases in the United States is more than any other country, and the trend is increasing in most of its states. Google trends provide public interest in various topics during different periods. Analyzing these trends using data mining methods might provide useful insights and observations regarding the COVID-19 outbreak. The objective of this study was to consider the predictive ability of different search terms (i.e., bars and restaurants) with regards to the increase of daily cases in the US. We considered the causation of two different search query trends, namely restaurant and bars, on daily positive cases in top-10 states/territories of the United States with the highest and lowest daily new positive cases. In addition, to measure the linear relation of different trends, we used Pearson correlation. Our results showed for states/territories with higher numbers of daily cases, the historical trends in search queries related to bars and restaurants, which mainly happened after re-opening, significantly affect the daily new cases, on average. California, for example, had most searches for restaurants on June 7th, 2020, which affected the number of new cases within two weeks after the peak with the P-value of .004 for Granger's causality test. Although a limited number of search queries were considered, Google search trends for restaurants and bars showed a significant effect on daily new cases for regions with higher numbers of daily new cases in the United States. We showed that such influential search trends could be used as additional information for prediction tasks in new cases of each region. This prediction can help healthcare leaders manage and control the impact of COVID-19 outbreaks on society and be prepared for the outcomes.


title: A Conversational Digital Assistant for Intelligent Process Automation

abstract: Robotic process automation (RPA) has emerged as the leading approach to automate tasks in business processes. Moving away from back-end automation, RPA automated the mouse-click on user interfaces; this outside-in approach reduced the overhead of updating legacy software. However, its many shortcomings, namely its lack of accessibility to business users, have prevented its widespread adoption in highly regulated industries. In this work, we explore interactive automation in the form of a conversational digital assistant. It allows business users to interact with and customize their automation solutions through natural language. The framework, which creates such assistants, relies on a multi-agent orchestration model and conversational wrappers for autonomous agents including RPAs. We demonstrate the effectiveness of our proposed approach on a loan approval business process and a travel preapproval business process.


title: From Robotic Process Automation to Intelligent Process Automation: Emerging Trends

abstract: In this survey, we study how recent advances in machine intelligence are disrupting the world of business processes. Over the last decade, there has been steady progress towards the automation of business processes under the umbrella of ``robotic process automation'' (RPA). However, we are currently at an inflection point in this evolution, as a new paradigm called ``Intelligent Process Automation'' (IPA) emerges, bringing machine learning (ML) and artificial intelligence (AI) technologies to bear in order to improve business process outcomes. The purpose of this paper is to provide a survey of this emerging theme and identify key open research challenges at the intersection of AI and business processes. We hope that this emerging theme will spark engaging conversations at the RPA Forum.


title: On the Use of Audio Fingerprinting Features for Speech Enhancement with Generative Adversarial Network

abstract: The advent of learning-based methods in speech enhancement has revived the need for robust and reliable training features that can compactly represent speech signals while preserving their vital information. Time-frequency domain features, such as the Short-Term Fourier Transform (STFT) and Mel-Frequency Cepstral Coefficients (MFCC), are preferred in many approaches. While the MFCC provide for a compact representation, they ignore the dynamics and distribution of energy in each mel-scale subband. In this work, a speech enhancement system based on Generative Adversarial Network (GAN) is implemented and tested with a combination of Audio FingerPrinting (AFP) features obtained from the MFCC and the Normalized Spectral Subband Centroids (NSSC). The NSSC capture the locations of speech formants and complement the MFCC in a crucial way. In experiments with diverse speakers and noise types, GAN-based speech enhancement with the proposed AFP feature combination achieves the best objective performance while reducing memory requirements and training time.


title: Intermittent dynamic bursting in vertically vibrated liquid drops

abstract: A previously unreported regime of type III intermittency is observed in a vertically vibrated milliliter-sized liquid drop submerged in a more viscous and less dense immiscible fluid layer supported by a hydrophobic solid plate. As the vibration amplitude is gradually increased, subharmonic Faraday waves are excited at the upper surface of the drop. We find a narrow window of vibration amplitudes slightly above the Faraday threshold, where the drop exhibits an irregular sequence of large amplitude bursting events alternating with intervals of low amplitude activity. The triggering physical mechanism is linked to the competition between surface Faraday waves and the shape deformation mode of the drop.


title: Witness of topological phase transition and Weyl points in an open topological system

abstract: Recently, the tunable Weyl-semimetal bands and the associate topological phase transition have been successfully simulated in superconducting quantum circuits [X. Tan, \textit{et al.} Phys. Rev. Lett. {\bf 122}, 010501 (2019)]. Since the superconducting quantum circuits inevitably couple to the environment, we here focus on the steady state and decoherence process by taking the reservoir into consideration via quantum master equation. Our results show that the purity of the steady state can be used to indicate the topological phase transition and Weyl points. Furthermore, the coherence will exponentially decay to zero at the Weyl points, and decay to a nonzero value with oscillation at other points in the momentum space. Our work may have significant impact on the study of quantum open topological system.


title: From climate change to pandemics: decision science can help scientists have impact

abstract: Scientific knowledge and advances are a cornerstone of modern society. They improve our understanding of the world we live in and help us navigate global challenges including emerging infectious diseases, climate change and the biodiversity crisis. For any scientist, whether they work primarily in fundamental knowledge generation or in the applied sciences, it is important to understand how science fits into a decision-making framework. Decision science is a field that aims to pinpoint evidence-based management strategies. It provides a framework for scientists to directly impact decisions or to understand how their work will fit into a decision process. Decision science is more than undertaking targeted and relevant scientific research or providing tools to assist policy makers; it is an approach to problem formulation, bringing together mathematical modelling, stakeholder values and logistical constraints to support decision making. In this paper we describe decision science, its use in different contexts, and highlight current gaps in methodology and application. The COVID-19 pandemic has thrust mathematical models into the public spotlight, but it is one of innumerable examples in which modelling informs decision making. Other examples include models of storm systems (eg. cyclones, hurricanes) and climate change. Although the decision timescale in these examples differs enormously (from hours to decades), the underlying decision science approach is common across all problems. Bridging communication gaps between different groups is one of the greatest challenges for scientists. However, by better understanding and engaging with the decision-making processes, scientists will have greater impact and make stronger contributions to important societal problems.