title: Ab Initio Effective One-Electron Potential Operators. I. Applications for Charge-Transfer Energy in Effective Fragment Potentials

abstract: The concept of the effective one-electron potentials (OEP) has been useful for many decades in efficient description of electronic structure of chemical systems, especially extended molecular aggregates such as interacting molecules in condensed phases. Here, a general method for effective OEP-based elimination of electron repulsion integrals (ERI), that is tuned towards the fragment-based calculation methodologies such as the second generation of the effective fragment potentials (EFP2) method, is presented. Two general types of the OEP operator matrix elements are distinguished and treated either via the distributed multipole expansion or the extended density fitting schemes developed in this work. The OEP technique is then applied to address the problem of using incomplete EFP2 settings in many applications in interaction energy and molecular dynamics simulations due to relatively high computational cost of evaluating the charge transfer (CT) effects as compared to other effects. The alternative OEP-based CT energy model is proposed in the context of the intermolecular perturbation theory with Hartree-Fock non-interacting gas-phase reference wavefunctions, compatible with the EFP2 formulation. It is found that the computational cost can be reduced up to 20 times as compared to the CT energy method within the EFP2 scheme without compromising the accuracy for a wide range of weakly interacting neutral molecular complexes. Therefore, it is believed that the proposed model can be used within the EFP2 framework, making the CT energy term no longer the bottleneck in EFP2-based simulations of complex systems.


title: Multivariate geometric distributions, (logarithmically) monotone sequences, and infinitely divisible laws (with erratum by Natalia Shenkman)

abstract: Two stochastic representations of multivariate geometric distributions are analyzed, both are obtained by lifting the lack-of-memory (LM) property of the univariate geometric law to the multivariate case. On the one hand, the narrow-sense multivariate geometric law can be considered a discrete equivalent of the well-studied Marshall-Olkin exponential law. On the other hand, the more general wide-sense geometric law is shown to be characterized by the LM property and can differ significantly from its continuous counterpart, e.g., by allowing for negative pairwise correlations. For both families of distributions, their $d$-dimensional exchangeable subclass is characterized analytically via $d$-log-monotone, resp.\ $d$-monotone, sequences of parameters. Using this reparameterization, the subfamilies of distributions with conditionally i.i.d.\ components in the sense of de Finetti's theorem are determined. For these, a third stochastic construction based on a non-decreasing random walk is presented. The narrow-sense family is embedded in this construction when the increments of the involved random walk are infinitely divisible. The exchangeable narrow-sense law is furthermore shown to exhibit the multivariate right tail increasing (MRTI) dependence.


title: Modeling ASR Ambiguity for Dialogue State Tracking Using Word Confusion Networks

abstract: Spoken dialogue systems typically use a list of top-N ASR hypotheses for inferring the semantic meaning and tracking the state of the dialogue. However ASR graphs, such as confusion networks (confnets), provide a compact representation of a richer hypothesis space than a top-N ASR list. In this paper, we study the benefits of using confusion networks with a state-of-the-art neural dialogue state tracker (DST). We encode the 2-dimensional confnet into a 1-dimensional sequence of embeddings using an attentional confusion network encoder which can be used with any DST system. Our confnet encoder is plugged into the state-of-the-art 'Global-locally Self-Attentive Dialogue State Tacker' (GLAD) model for DST and obtains significant improvements in both accuracy and inference time compared to using top-N ASR hypotheses.


title: St. Petersburg paradox and failure probability

abstract: The St. Petersburg paradox provides a simple paradigm for systems that show sensitivity to rare events. Here, we demonstrate a physical realization of this paradox using tensile fracture, experimentally verifying for six decades of spatial and temporal data and two different materials that the fracture force depends logarithmically on the length of the fiber. The St. Petersburg model may be useful in a variety fields where failure and reliability are critical.


title: Analyzing the evolution and diversity of SBES Program Committee

abstract: The Brazilian Symposium on Software Engineering (SBES) is one of the most important Latin American Software Engineering conferences. It was first held in 1987, and in 2019 marks its 33rd edition. Over these years, many researchers have participated in SBES, attending the conference, submitting, and reviewing papers. The researchers who participate in the Program Committee (PC) and perform the reviewers' role are fundamentally important to SBES, since their evaluations (e.g., deciding whether a paper is accepted or not) have the potential of drawing what SBES is now. Knowing that diversity is an important aspect of any group work, we wanted to understand diversity in the SBES PC community. We investigated a number of characteristics of SBES PC members, including their gender and geographic location. We also analyzed the turnover and renovation of the committee. Among the findings, we observed that although the number of participants in the SBES PC has increased over the years, most of them are men (~80%) and from the Southeast and Northeast of Brazil, with very few members from the North region. We also observed that there is a small turnover: during the 2010 decade, only 11% of new members were added to the PC. Finally, we investigated the participation of the PC members publishing papers at SBES. We observed that only 24% of the papers accepted to SBES were authored by members who were not committee members of the respective year. Moreover, committee members usually do not collaborate among themselves: a significant number of the papers are authored by the PC members and students. This paper may contribute to the SBES community, in particular, its special interest group, in understanding the needs and challenges of the PC's participants.


title: Smart Contract-based Secure Spectrum Sharing in Multi-Operators Wireless Communication Networks

abstract: Multiple-operators (multi-OPs) spectrum sharing mechanism can effectively improve the spectrum utilization in fifth-generation (5G) wireless communication networks. The secondary users are introduced to opportunistically access the licensed spectrum of idle operators (OPs). However, the identity privacy and data security issues raise great concerns about the secure spectrum sharing among multi-OPs. To address these challenges, a consortium blockchain trust framework is proposed for the spectrum sharing in multi-OPs wireless communication networks in this paper. A real consortium blockchain is constructed among multi-OPs. The Multi-Ops Spectrum Sharing (MOSS) smart contract is designed on the constructed consortium blockchain to implement the spectrum trading among multi-OPs. Without the need of trustless spectrum broker, the MOSS smart contract enforces multi-OPs to share the spectrum truthfully and designs a punishment mechanism to punish malicious OPs. Simulation results tested on the Remix integrated development environment (IDE) indicate the feasibility of the designed MOSS smart contract. The performance analysis of the proposed consortium blockchain trust framework demonstrates that the privacy, openness and fairness of the proposed solution are better than traditional spectrum allocation solutions.


title: Evaluating Saliency Map Explanations for Convolutional Neural Networks: A User Study

abstract: Convolutional neural networks (CNNs) offer great machine learning performance over a range of applications, but their operation is hard to interpret, even for experts. Various explanation algorithms have been proposed to address this issue, yet limited research effort has been reported concerning their user evaluation. In this paper, we report on an online between-group user study designed to evaluate the performance of "saliency maps" - a popular explanation algorithm for image classification applications of CNNs. Our results indicate that saliency maps produced by the LRP algorithm helped participants to learn about some specific image features the system is sensitive to. However, the maps seem to provide very limited help for participants to anticipate the network's output for new images. Drawing on our findings, we highlight implications for design and further research on explainable AI. In particular, we argue the HCI and AI communities should look beyond instance-level explanations.


title: Understanding and Mitigating Biases when Studying Inhomogeneous Emission Spectra with JWST

abstract: Exoplanet emission spectra are often modelled assuming that the hemisphere observed is well represented by a horizontally homogenised atmosphere. However this approximation will likely fail for planets with a large temperature contrast in the James Webb Space Telescope (JWST) era, potentially leading to erroneous interpretations of spectra. We first develop an analytic formulation to quantify the signal-to-noise ratio and wavelength coverage necessary to disentangle temperature inhomogeneities from a hemispherically averaged spectrum. We find that for a given signal-to-noise ratio, observations at shorter wavelengths are better at detecting the presence of inhomogeneities. We then determine why the presence of an inhomogeneous thermal structure can lead to spurious molecular detections when assuming a fully homogenised planet in the retrieval process. Finally, we quantify more precisely the potential biases by modelling a suite of hot Jupiter spectra, varying the spatial contributions of a hot and a cold region, as would be observed by the different instruments of JWST/NIRSpec. We then retrieve the abundances and temperature profiles from the synthetic observations. We find that in most cases, assuming a homogeneous thermal structure when retrieving the atmospheric chemistry leads to biased results, and spurious molecular detection. Explicitly modelling the data using two profiles avoids these biases, and is statistically supported provided the wavelength coverage is wide enough, and crucially also spanning shorter wavelengths. For the high contrast used here, a single profile with a dilution factor performs as well as the two-profile case, with only one additional parameter compared to the 1-D approach.


title: Hide-and-Tell: Learning to Bridge Photo Streams for Visual Storytelling

abstract: Visual storytelling is a task of creating a short story based on photo streams. Unlike existing visual captioning, storytelling aims to contain not only factual descriptions, but also human-like narration and semantics. However, the VIST dataset consists only of a small, fixed number of photos per story. Therefore, the main challenge of visual storytelling is to fill in the visual gap between photos with narrative and imaginative story. In this paper, we propose to explicitly learn to imagine a storyline that bridges the visual gap. During training, one or more photos is randomly omitted from the input stack, and we train the network to produce a full plausible story even with missing photo(s). Furthermore, we propose for visual storytelling a hide-and-tell model, which is designed to learn non-local relations across the photo streams and to refine and improve conventional RNN-based models. In experiments, we show that our scheme of hide-and-tell, and the network design are indeed effective at storytelling, and that our model outperforms previous state-of-the-art methods in automatic metrics. Finally, we qualitatively show the learned ability to interpolate storyline over visual gaps.


title: Finding large balanced subgraphs in signed networks

abstract: Signed networks are graphs whose edges are labelled with either a positive or a negative sign, and can be used to capture nuances in interactions that are missed by their unsigned counterparts. The concept of balance in signed graph theory determines whether a network can be partitioned into two perfectly opposing subsets, and is therefore useful for modelling phenomena such as the existence of polarized communities in social networks. While determining whether a graph is balanced is easy, finding a large balanced subgraph is hard. The few heuristics available in the literature for this purpose are either ineffective or non-scalable. In this paper we propose an efficient algorithm for finding large balanced subgraphs in signed networks. The algorithm relies on signed spectral theory and a novel bound for perturbations of the graph Laplacian. In a wide variety of experiments on real-world data we show that our algorithm can find balanced subgraphs much larger than those detected by existing methods, and in addition, it is faster. We test its scalability on graphs of up to 34 million edges.


title: Treating for-Loops as First-Class Citizens in Proofs

abstract: Indexed loop scopes have been shown to be a helpful tool in creating sound loop invariant rules in dynamic logic for programming languages with abrupt completion, such as Java. These rules do not require program transformation of the loop body, as other approaches to dealing with abrupt completion do. However, indexed loop scopes were designed specifically to provide a loop invariant rule for while loops and work rather opaquely. Here we propose replacing indexed loop scopes with a more transparent solution, which also lets us extend this idea from while loops to for loops. We further present sound loop unrolling rules for while, do and for loops, which require neither program transformation of the loop body, nor the use of nested modalities. This approach allows for loops to be treated as first-class citizens in proofs -- rather than the usual approach of transforming for loops into while loops -- which makes semi-automated proofs more transparent and easier to follow for the user, whose interactions may be required in order to close the proofs.


title: Bifurcations of front motion in passive and active Allen-Cahn-type equations

abstract: The well-known cubic Allen-Cahn (AC) equation is a simple gradient dynamics (or variational) model for a nonconserved order parameter field. After revising main literature results for the occuring different types of moving fronts, we employ path continuation to determine their bifurcation diagram in dependence of the external field strength or chemical potential. We then employ the same methodology to systematically analyse fronts for more involved AC-type models. In particular, we consider a cubic-quintic variational AC model and two different nonvariational generalisations. We determine and compare the bifurcation diagrams of front solutions in the four considered models.


title: Ab Initio Effective One-Electron Potential Operators. II. Applications for Exchange-Repulsion Energy in Effective Fragment Potentials

abstract: In Paper I, the effective one-electron potentials (OEP) method was introduced and demonstrated as an efficient approach to reduce the computational cost of evaluation of the charge-transfer interaction energy within the effective fragment potential method (EFP2) by an average factor of 20, making it no longer a bottleneck in EFP2-based simulations of complex systems. Here, the OEP technique is used to enhance computational efficiency in evaluating the exchange-repulsion EFP2 interaction energy by redefining the first-order repulsive term of Murrell et al. [Murrell et al., Proc. R. Soc. Lond. A 284, 566 (1965)] through the extended density fitting in incomplete auxiliary basis. In the proposed approach the evaluation of the kinetic energy integrals is no longer required and the computational cost can be reduced roughly by a factor of 1.5 as compared to the original EFP2 formulation.


title: Common Information Components Analysis

abstract: We give an information-theoretic interpretation of Canonical Correlation Analysis (CCA) via (relaxed) Wyner's common information. CCA permits to extract from two high-dimensional data sets low-dimensional descriptions (features) that capture the commonalities between the data sets, using a framework of correlations and linear transforms. Our interpretation first extracts the common information up to a pre-selected resolution level, and then projects this back onto each of the data sets. In the case of Gaussian statistics, this procedure precisely reduces to CCA, where the resolution level specifies the number of CCA components that are extracted. This also suggests a novel algorithm, Common Information Components Analysis (CICA), with several desirable features, including a natural extension to beyond just two data sets.


title: Beryllium-9 in Cluster Effective Field Theory

abstract: We study the 9 Be ground-state energy with non-local ${\alpha}-$n and ${\alpha}-{\alpha}$ potentials derived from Cluster Effective Field Theory. The short-distance dependence of the interaction is regulated with a momentum cutoff. The potential parameters are fitted to reproduce the scattering length and effective range. We implement such potential models in a Non-Symmetrized Hyperspherical Harmonics (NSHH) code in momentum space. In addition we calculate ground state energies of various alpha nuclei. Work is in progress on a calculation of the photodisintegration of 9Be with the Lorentz Integral Transform (LIT) method.


title: Towards an Operational Definition of Group Network Codes

abstract: Group network codes are a generalization of linear codes that have seen several studies over the last decade. When studying network codes, operations performed at internal network nodes called local encoding functions, are of significant interest. While local encoding functions of linear codes are well understood (and of operational significance), no similar operational definition exists for group network codes. To bridge this gap, we study the connections between group network codes and a family of codes called Coordinate-Wise-Linear (CWL) codes. CWL codes generalize linear codes and, in addition, can be defined locally (i.e., operationally). In this work, we study the connection between CWL codes and group codes from both a local and global encoding perspective. We show that Abelian group codes can be expressed as CWL codes and, as a result, they inherit an operational definition.


title: Alignment statistics of rods with the Lagrangian stretching direction in a channel flow

abstract: In homogeneous isotropic turbulence, slender rods are known to align with the Lagrangian stretching direction. However, how the degree of alignment depends on the aspect ratio of the rod is not understood. Moreover, many flows of practical interest are anisotropic and inhomogeneous. Here we study the alignment of rods with the Lagrangian stretching direction in a channel flow, which is approximately homogeneous and isotropic near the center but inhomogeneous and anisotropic near the walls. Our main question is how the distribution of relative angles between a rod and the Lagrangian stretching direction depends on the aspect ratio of the rod and upon the distance of the rod from the channel wall. We find that the distribution exhibits two regimes: a plateau at small angles that corresponds to random uncorrelated motion, and power-law tails that describe large excursions. The variance of the relative angle is described by the width of the plateau. We find that slender rods near the channel center align better with the Lagrangian stretching direction, compared to those near the channel wall. These observations are explained in terms of simple statistical models based on Jeffery's equation, qualitatively near the channel center and quantitatively near the channel wall. Lastly we discuss the consequences of our results for the distribution of relative angles between the orientations of nearby rods (Zhao et al., Phys. Rev. Fluids, vol. 4, 2019, 054602).


title: $l=1$: Weinberg's weakly damped mode in an $N$-body model of a spherical stellar system

abstract: Spherical stellar systems such as King models, in which the distribution function is a decreasing function of energy and depends on no other invariant, are stable in the sense of collisionless dynamics. But Weinberg showed, by a clever application of the matrix method of linear stability, that they may be nearly unstable, in the sense of possessing {\sl weakly} damped modes of oscillation. He also demonstrated the presence of such a mode in an $N$-body model by endowing it with initial conditions generated from his perturbative solution. In the present paper we provide evidence for the presence of this same mode in $N$-body simulations of the King $W_0 = 5$ model, in which the initial conditions are generated by the usual Monte Carlo sampling of the King distribution function. It is shown that the oscillation of the density centre correlates with variations in the structure of the system out to a radius of about 1 virial radius, but anticorrelates with variations beyond that radius. Though the oscillations appear to be continually reexcited (presumably by the motions of the particles) we show by calculation of power spectra that Weinberg's estimate of the period (strictly, $2\pi$ divided by the real part of the eigenfrequency) lies within the range where the power is largest. In addition, however, the power spectrum displays another very prominent feature at shorter periods, around 5 crossing times.


title: Elaborating on Learned Demonstrations with Temporal Logic Specifications

abstract: Most current methods for learning from demonstrations assume that those demonstrations alone are sufficient to learn the underlying task. This is often untrue, especially if extra safety specifications exist which were not present in the original demonstrations. In this paper, we allow an expert to elaborate on their original demonstration with additional specification information using linear temporal logic (LTL). Our system converts LTL specifications into a differentiable loss. This loss is then used to learn a dynamic movement primitive that satisfies the underlying specification, while remaining close to the original demonstration. Further, by leveraging adversarial training, our system learns to robustly satisfy the given LTL specification on unseen inputs, not just those seen in training. We show that our method is expressive enough to work across a variety of common movement specification patterns such as obstacle avoidance, patrolling, keeping steady, and speed limitation. In addition, we show that our system can modify a base demonstration with complex specifications by incrementally composing multiple simpler specifications. We also implement our system on a PR-2 robot to show how a demonstrator can start with an initial (sub-optimal) demonstration, then interactively improve task success by including additional specifications enforced with our differentiable LTL loss.


title: Frequency dependence of prestin: Intrinsic transition rates and viscoelastic relaxation

abstract: Outer hair cells in the inner ear is important for the sensitivity, frequency selectivity, and dynamic range of the mammalian ear. Such a physiological role of outer hair cells is thought to be based an amplifying effect of those cells, which have mechanosensitive their hair bundles and motile cell body embedding prestin, a membrane protein with electromechanical coupling at high density. Mechanical power production by outer hair cells were previously evaluated based on an assumption that the intrinsic transition rates of this motile protein is faster than the operating frequency. This report generalizes the previous treatment by incorporating intrinsic transition rates of the motile membrane protein. It was found that the transition rates attenuates mechanical power production of an outer hair cell such that viscous drag cannot be counteracted beyond the characteristic frequency of gating.


title: Towards Accurate Vehicle Behaviour Classification With Multi-Relational Graph Convolutional Networks

abstract: Understanding on-road vehicle behaviour from a temporal sequence of sensor data is gaining in popularity. In this paper, we propose a pipeline for understanding vehicle behaviour from a monocular image sequence or video. A monocular sequence along with scene semantics, optical flow and object labels are used to get spatial information about the object (vehicle) of interest and other objects (semantically contiguous set of locations) in the scene. This spatial information is encoded by a Multi-Relational Graph Convolutional Network (MR-GCN), and a temporal sequence of such encodings is fed to a recurrent network to label vehicle behaviours. The proposed framework can classify a variety of vehicle behaviours to high fidelity on datasets that are diverse and include European, Chinese and Indian on-road scenes. The framework also provides for seamless transfer of models across datasets without entailing re-annotation, retraining and even fine-tuning. We show comparative performance gain over baseline Spatio-temporal classifiers and detail a variety of ablations to showcase the efficacy of the framework.


title: Efficient Fault Injection based on Dynamic HDL Slicing Technique

abstract: This work proposes a fault injection methodology where Hardware Description Language (HDL) code slicing is exploited to prune fault injection locations, thus enabling more efficient campaigns for safety mechanisms evaluation. In particular, the dynamic HDL slicing technique provides for a highly collapsed critical fault list and allows avoiding injections at redundant locations or time-steps. Experimental results show that the proposed methodology integrated into commercial tool flow doubles the simulation speed when comparing to the state-of-the-art industrial-grade EDA tool flows.


title: The Computational Complexity of Plethysm Coefficients

abstract: In two papers, B\"urgisser and Ikenmeyer (STOC 2011, STOC 2013) used an adaption of the geometric complexity theory (GCT) approach by Mulmuley and Sohoni (Siam J Comput 2001, 2008) to prove lower bounds on the border rank of the matrix multiplication tensor. A key ingredient was information about certain Kronecker coefficients. While tensors are an interesting test bed for GCT ideas, the far-away goal is the separation of algebraic complexity classes. The role of the Kronecker coefficients in that setting is taken by the so-called plethysm coefficients: These are the multiplicities in the coordinate rings of spaces of polynomials. Even though several hardness results for Kronecker coefficients are known, there are almost no results about the complexity of computing the plethysm coefficients or even deciding their positivity. In this paper we show that deciding positivity of plethysm coefficients is NP-hard, and that computing plethysm coefficients is #P-hard. In fact, both problems remain hard even if the inner parameter of the plethysm coefficient is fixed. In this way we obtain an inner versus outer contrast: If the outer parameter of the plethysm coefficient is fixed, then the plethysm coefficient can be computed in polynomial time. Moreover, we derive new lower and upper bounds and in special cases even combinatorial descriptions for plethysm coefficients, which we consider to be of independent interest. Our technique uses discrete tomography in a more refined way than the recent work on Kronecker coefficients by Ikenmeyer, Mulmuley, and Walter (Comput Compl 2017). This makes our work the first to apply techniques from discrete tomography to the study of plethysm coefficients. Quite surprisingly, that interpretation also leads to new equalities between certain plethysm coefficients and Kronecker coefficients.


title: Diagonals of rational functions: from differential algebra to effective algebraic geometry (unabridged version)

abstract: We show that the results we had obtained on diagonals of nine and ten parameters families of rational functions using creative telescoping, yielding modular forms expressed as pullbacked $ _2F_1$ hypergeometric functions, can be obtained, much more efficiently, calculating the $ j$-invariant of an elliptic curve canonically associated with the denominator of the rational functions. In the case where creative telescoping yields pullbacked $ _2F_1$ hypergeometric functions, we generalize this result to other families of rational functions in three, and even more than three, variables. We also generalise this result to rational functions in more than three variables when the denominator can be associated to an algebraic variety corresponding to products of elliptic curves, foliation in elliptic curves. We also extend these results to rational functions in three variables when the denominator is associated with a {\em genus-two curve such that its Jacobian is a split Jacobian} corresponding to the product of two elliptic curves. We sketch the situation where the denominator of the rational function is associated with algebraic varieties that are not of the general type, having an infinite set of birational automorphisms. We finally provide some examples of rational functions in more than three variables, where the telescopers have pullbacked $ _2F_1$ hypergeometric solutions, the denominator corresponding to an algebraic variety being not simply foliated in elliptic curves, but having a selected elliptic curve in the variety explaining the pullbacked $ _2F_1$ hypergeometric solution.


title: Data-Driven Discovery of Coarse-Grained Equations

abstract: Statistical (machine learning) tools for equation discovery require large amounts of data that are typically computer generated rather than experimentally observed. Multiscale modeling and stochastic simulations are two areas where learning on simulated data can lead to such discovery. In both, the data are generated with a reliable but impractical model, e.g., molecular dynamics simulations, while a model on the scale of interest is uncertain, requiring phenomenological constitutive relations and ad-hoc approximations. We replace the human discovery of such models, which typically involves spatial/stochastic averaging or coarse-graining, with a machine-learning strategy based on sparse regression that can be executed in two modes. The first, direct equation-learning, discovers a differential operator from the whole dictionary. The second, constrained equation-learning, discovers only those terms in the differential operator that need to be discovered, i.e., learns closure approximations. We illustrate our approach by learning a deterministic equation that governs the spatiotemporal evolution of the probability density function of a system state whose dynamics are described by a nonlinear partial differential equation with random inputs. A series of examples demonstrates the accuracy, robustness, and limitations of our approach to equation discovery.


title: Oral Billiards

abstract: We propose a physical model of speech to explain its precision and robustness. We begin by reducing the dynamics to the bare minimum of polygonal billiards. The symbolic stability of the billiard trajectories against variations in action and the oral cavity geometry forms the basis for precision and robustness in articulation. This stability survives forcing and dissipation to underpin reliable encoding of the trajectories into acoustic emissions. The kinematics of oral billiards and the cyclical nature of the forcing mechanism engender a grammar of the syllable independent of any language. The symbolic dynamics of oral billiards is rendered nearly maximally observable by their concomitant acoustic emissions. Speech recognition is the set of computations on the sub-maximally informative acoustic observables from which the symbolic dynamics of oral billiards may be inferred.


title: Generative and discriminative training of Boltzmann machine through Quantum annealing

abstract: A hybrid quantum-classical method for learning Boltzmann machines (BM) for a generative and discriminative task is presented. Boltzmann machines are undirected graphs with a network of visible and hidden nodes where the former is used as the reading site while the latter is used to manipulate visible states' probability. In Generative BM, the samples of visible data imitate the probability distribution of a given data set. In contrast, the visible sites of discriminative BM are treated as Input/Output (I/O) reading sites where the conditional probability of output state is optimized for a given set of input states. The cost function for learning BM is defined as a weighted sum of Kullback-Leibler (KL) divergence and Negative conditional Log-Likelihood (NCLL), adjusted using a hyperparamter. Here, the KL Divergence is the cost for generative learning, and NCLL is the cost for discriminative learning. A Stochastic Newton-Raphson optimization scheme is presented. The gradients and the Hessians are approximated using direct samples of BM obtained through Quantum annealing (QA). Quantum annealers are hardware representing the physics of the Ising model that operates on low but finite temperature. This temperature affects the probability distribution of the BM; however, its value is unknown. Previous efforts have focused on estimating this unknown temperature through regression of theoretical Boltzmann energies of sampled states with the probability of states sampled by the actual hardware. This assumes that the control parameter change does not affect the system temperature, however, this is not usually the case. Instead, an approach that works on the probability distribution of samples, instead of the energies, is proposed to estimate the optimal parameter set. This ensures that the optimal set can be obtained from a single run.


title: Explainable Subgraphs with Surprising Densities: A Subgroup Discovery Approach

abstract: The connectivity structure of graphs is typically related to the attributes of the nodes. In social networks for example, the probability of a friendship between two people depends on their attributes, such as their age, address, and hobbies. The connectivity of a graph can thus possibly be understood in terms of patterns of the form 'the subgroup of individuals with properties X are often (or rarely) friends with individuals in another subgroup with properties Y'. Such rules present potentially actionable and generalizable insights into the graph. We present a method that finds pairs of node subgroups between which the edge density is interestingly high or low, using an information-theoretic definition of interestingness. This interestingness is quantified subjectively, to contrast with prior information an analyst may have about the graph. This view immediately enables iterative mining of such patterns. Our work generalizes prior work on dense subgraph mining (i.e. subgraphs induced by a single subgroup). Moreover, not only is the proposed method more general, we also demonstrate considerable practical advantages for the single subgroup special case.


title: Generalized derivations, quasiderivations and centroids of ternary Jordan algebras

abstract: In this paper, we give some construction about ternary Jordan algebras at first. Next we study relationships between generalized derivations, quasiderivations and centroids of ternary Jordan algebras. We show that for ternary Jordan algebras, generalized derivation algebras are the sum of quasiderivation algebras and centroids where centroids are ideals of generalized derivation algebras. We also prove that quasiderivations can be embedded into larger ternary Jordan algebras as derivations. In particular, we also determine dimensions of ternary Jordan algebras in the case of all linear transformations are quasiderivations. Some properties about centroids of ternary Jordan algebras are also displayed.


title: Topological effects of three-dimensional porous graphene on Dirac quasiparticles

abstract: This paper reports on the topological effects of three-dimensional (3D) porous graphene with tunable pore sizes and a preserved 2D graphene system of Dirac quasiparticles on its electrical properties. This 3D architecture is characterized by the intrinsic curvature of smoothly interconcnected graphene sheets without edges, the structures and properties of which can be controlled with its pore sizes. The impact of pore size on the electrical transport properties was investigated through magnetoresistance measurements. We observed that 3D graphene with small pores exhibits transitioning to weak localization with decreasing temperature. The comparison with the theory based on the quantum correction clarified that an increase in the intrinsic curvature significantly induces the intervalley scattering event, which breaks the chirality. This increase in the intervalley scattering rate originates from the unique topological effects of 3D graphene, i.e., the topological defects required to form the high curvature and the resulting chirality mixing. We also discuss the scattering processes due to microscopic chemical bonding states as found by high spatial-resolved X-ray photoemission spectral imaging, to support the validity of our finding.


title: Chiral symmetry restoration and the thermal $f_0(500)$ state

abstract: We analize the role played by the thermal $f_0(500)$ state or $\sigma$ in chiral symmetry restoration. The temperature corrections to the spectral properties of that state are included in order to provide a better description of the scalar susceptibility $\chi_S$ around the transition region. We use the Linear Sigma Model to establish the relation between $\chi_S$ and the $\sigma$ propagator, which is used as a benchmark to test the approach where $\chi_S$ is saturated by the $f_0(500)$ inverse self-energy. Within such saturation approach, a peak for $\chi_S$ around the chiral transition is obtained when considering the $f_0(500)$ generated as a $\pi\pi$ scattering pole within Unitarized Chiral Perturbation Theory at finite temperature. That approach yields results complying with lattice data when the uncertainties of the low-energy constants are taken into account. Those uncertainties and the unitarization method are used to check the robustness of this approximation. Finally, we will discuss some recent results within the chiral lagrangian framework related to the topological susceptibility and its connection with chiral and $U_A(1)$ restoration.


title: Stochastic geometry to generalize the Mondrian Process

abstract: The stable under iterated tessellation (STIT) process is a stochastic process that produces a recursive partition of space with cut directions drawn independently from a distribution over the sphere. The case of random axis-aligned cuts is known as the Mondrian process. Random forests and Laplace kernel approximations built from the Mondrian process have led to efficient online learning methods and Bayesian optimization. In this work, we utilize tools from stochastic geometry to resolve some fundamental questions concerning STIT processes in machine learning. First, we show that a STIT process with cut directions drawn from a discrete distribution can be efficiently simulated by lifting to a higher dimensional axis-aligned Mondrian process. Second, we characterize all possible kernels that stationary STIT processes and their mixtures can approximate. We also give a uniform convergence rate for the approximation error of the STIT kernels to the targeted kernels, generalizing the work of [3] for the Mondrian case. Third, we obtain consistency results for STIT forests in density estimation and regression. Finally, we give a formula for the density estimator arising from an infinite STIT random forest. This allows for precise comparisons between the Mondrian forest, the Mondrian kernel and the Laplace kernel in density estimation. Our paper calls for further developments at the novel intersection of stochastic geometry and machine learning.


title: Characterization and Thermal Management of a DC Motor-Driven Resonant Actuator for Miniature Mobile Robots with Oscillating Limbs

abstract: In this paper, we characterize the performance of and develop thermal management solutions for a DC motor-driven resonant actuator developed for flapping wing micro air vehicles. The actuator, a DC micro-gearmotor connected in parallel with a torsional spring, drives reciprocal wing motion. Compared to the gearmotor alone, this design increased torque and power density by 161.1% and 666.8%, respectively, while decreasing the drawn current by 25.8%. Characterization of the actuator, isolated from nonlinear aerodynamic loading, results in standard metrics directly comparable to other actuators. The micro-motor, selected for low weight considerations, operates at high power for limited duration due to thermal effects. To predict system performance, a lumped parameter thermal circuit model was developed. Critical model parameters for this micro-motor, two orders of magnitude smaller than those previously characterized, were identified experimentally. This included the effects of variable winding resistance, bushing friction, speed-dependent forced convection, and the addition of a heatsink. The model was then used to determine a safe operation envelope for the vehicle and to design a weight-optimal heatsink. This actuator design and thermal modeling approach could be applied more generally to improve the performance of any miniature mobile robot or device with motor-driven oscillating limbs or loads.


title: A hybrid model based on deep LSTM for predicting high-dimensional chaotic systems

abstract: We propose a hybrid method combining the deep long short-term memory (LSTM) model with the inexact empirical model of dynamical systems to predict high-dimensional chaotic systems. The deep hierarchy is encoded into the LSTM by superimposing multiple recurrent neural network layers and the hybrid model is trained with the Adam optimization algorithm. The statistical results of the Mackey-Glass system and the Kuramoto-Sivashinsky system are obtained under the criteria of root mean square error (RMSE) and anomaly correlation coefficient (ACC) using the singe-layer LSTM, the multi-layer LSTM, and the corresponding hybrid method, respectively. The numerical results show that the proposed method can effectively avoid the rapid divergence of the multi-layer LSTM model when reconstructing chaotic attractors, and demonstrate the feasibility of the combination of deep learning based on the gradient descent method and the empirical model.


title: Pinning of interfaces in a random medium with zero mean

abstract: We consider a discrete and a continuum model for the propagation of a curvature sensitive interface in a time independent random medium. In both cases we suppose that the medium contains obstacles that act on the propagation of the interface with an inhibitory or an acceleratory force. We show that the interface remains bounded for all times even when a small constant external driving force is applied. This phenomenon has already been known when only inhibitory obstacles are present. In this work we extend this result to the case of, for example, a random medium of random zero mean forcing.


title: CryptoSPN: Privacy-preserving Sum-Product Network Inference

abstract: AI algorithms, and machine learning (ML) techniques in particular, are increasingly important to individuals' lives, but have caused a range of privacy concerns addressed by, e.g., the European GDPR. Using cryptographic techniques, it is possible to perform inference tasks remotely on sensitive client data in a privacy-preserving way: the server learns nothing about the input data and the model predictions, while the client learns nothing about the ML model (which is often considered intellectual property and might contain traces of sensitive data). While such privacy-preserving solutions are relatively efficient, they are mostly targeted at neural networks, can degrade the predictive accuracy, and usually reveal the network's topology. Furthermore, existing solutions are not readily accessible to ML experts, as prototype implementations are not well-integrated into ML frameworks and require extensive cryptographic knowledge. In this paper, we present CryptoSPN, a framework for privacy-preserving inference of sum-product networks (SPNs). SPNs are a tractable probabilistic graphical model that allows a range of exact inference queries in linear time. Specifically, we show how to efficiently perform SPN inference via secure multi-party computation (SMPC) without accuracy degradation while hiding sensitive client and training information with provable security guarantees. Next to foundations, CryptoSPN encompasses tools to easily transform existing SPNs into privacy-preserving executables. Our empirical results demonstrate that CryptoSPN achieves highly efficient and accurate inference in the order of seconds for medium-sized SPNs.


title: Federated Learning under Channel Uncertainty: Joint Client Scheduling and Resource Allocation

abstract: In this work, we propose a novel joint client scheduling and resource block (RB) allocation policy to minimize the loss of accuracy in federated learning (FL) over wireless compared to a centralized training-based solution, under imperfect channel state information (CSI). First, the problem is cast as a stochastic optimization problem over a predefined training duration and solved using the Lyapunov optimization framework. In order to learn and track the wireless channel, a Gaussian process regression (GPR)-based channel prediction method is leveraged and incorporated into the scheduling decision. The proposed scheduling policies are evaluated via numerical simulations, under both perfect and imperfect CSI. Results show that the proposed method reduces the loss of accuracy up to 25.8% compared to state-of-the-art client scheduling and RB allocation methods.


title: Stationary solutions to cubic nonlinear Schr\"odinger equations with quasi-periodic boundary conditions

abstract: In this paper we give the \emph {quantization rules} to determine the normalized stationary solutions to the cubic nonlinear Schr\"odinger equation with quasi-periodic conditions on a given interval. \ Similarly to what happen in the Floquet's theory for linear periodic operators, also in this case some kind of band functions there exist.


title: Gaussian analytic functions of bounded mean oscillation

abstract: We consider random analytic functions given by a Taylor series with independent, centered complex Gaussian coefficients. We give a new sufficient condition for such a function to have bounded mean oscillations. Under a mild regularity assumption this condition is optimal. Using a theorem of Holland and Walsh, we give as a corollary a new bound for the norm of a random Gaussian Hankel matrix. Finally, we construct some exceptional Gaussian analytic functions which in particular disprove the conjecture that a random analytic function with bounded mean oscillations always has vanishing mean oscillations.


title: Systematic search for gamma-ray periodicity in active galactic nuclei detected by the Fermi Large Area Telescope

abstract: We use nine years of gamma-ray data provided by the Fermi Large Area Telescope (LAT) to systematically study the light curves of more than two thousand active galactic nuclei (AGN) included in recent Fermi-LAT catalogs. Ten different techniques are used, which are organized in an automatic periodicity-search pipeline, in order to search for evidence of periodic emission in gamma rays. Understanding the processes behind this puzzling phenomenon will provide a better view about the astrophysical nature of these extragalactic sources. However, the observation of temporal patterns in gamma-ray light curves of AGN is still challenging. Despite the fact that there have been efforts on characterizing the temporal emission of some individual sources, a systematic search for periodicities by means of a full likelihood analysis applied to large samples of sources was missing. Our analysis finds 11 AGN, of which 9 are identified for the first time, showing periodicity at more than 4sigma in at least four algorithms. These findings will help in solving questions related to the astrophysical origin of this periodic behavior.


title: Charge transport modelling of lithium ion batteries

abstract: This paper presents the current state of mathematical modelling of the electrochemical behaviour of lithium-ion batteries as they are charged and discharged. It reviews the models developed by Newman and co-workers, both in the cases of dilute and moderately-concentrated electrolytes and indicates the modelling assumptions required for their development. Particular attention is paid to the interface conditions imposed between the electrolyte and the active electrode material; necessary conditions are derived for one of these, the Butler-Volmer relation, in order to ensure physically realistic solutions. Insight into the origin of the differences between various models found in the literature is revealed by considering formulations obtained by using different measures of the electric potential. Materials commonly used for electrodes in lithium ion batteries are considered and the various mathematical models used to describe lithium transport in them discussed. The problem of up-scaling from models of behaviour at the single electrode particle scale to the cell scale is addressed using homogenisation techniques resulting in the pseudo 2D model commonly used to describe charge transport and discharge behaviour in lithium-ion cells. Numerical solution to this model is discussed and illustrative results for a common device are computed.


title: Syn2Real: Forgery Classification via Unsupervised Domain Adaptation

abstract: In recent years, image manipulation is becoming increasingly more accessible, yielding more natural-looking images, owing to the modern tools in image processing and computer vision techniques. The task of the identification of forged images has become very challenging. Amongst different types of forgeries, the cases of Copy-Move forgery are increasing manifold, due to the difficulties involved to detect this tampering. To tackle such problems, publicly available datasets are insufficient. In this paper, we propose to create a synthetic forged dataset using deep semantic image inpainting and copy-move forgery algorithm. However, models trained on these datasets have a significant drop in performance when tested on more realistic data. To alleviate this problem, we use unsupervised domain adaptation networks to detect copy-move forgery in new domains by mapping the feature space from our synthetically generated dataset. Furthermore, we improvised the F1 score on CASIA and CoMoFoD dataset to 80.3% and 78.8%, respectively. Our approach can be helpful in those cases where the classification of data is unavailable.


title: Practical MIMO for Visible Light Communication

abstract: Visible Light Communication (VLC) is seen as a complementary wireless technology to Radio Frequency (RF). However, VLC is very sensitive to the signal blockage and suffers from shadowing due to the high directionality of the optical channel. Hence there is a big interest in researching novel approaches for VLC like usage of multiple antenna techniques providing spatial diversity which can be exploited as a way to combat signal blockage and fading. We present a complete and low-cost MIMO-VLC transceiver system consisting of COTS components. In particular, we show that COTS 802.11n (WiFi) devices can be used so that the physical and data link layers of RF WiFi are reused for VLC. In addition, this allows us to directly utilize the multiple antenna (spatial) techniques available in 802.11n. Results from our measurement study show that such techniques are highly effective at improving the robustness of VLC links in the presence of obstacles and node mobility. Moreover, we show that multiple antennas can also be used to increase the data rate of VLC by means of spatial multiplexing.


title: New elementary formulas for any derivative of any rational function

abstract: In this paper we introduce elementary and completely explicit formulas for the derivative of any order of any function of the type 1/p, where p is a polynomial with known zeros.


title: On immersions of surfaces into SL(2,C) and geometric consequences

abstract: We approach the study of totally real immersions of smooth manifolds into holomorphic Riemannian space forms of constant sectional curvature -1. We introduce a notion of first and second fundamental form, we prove that they satisfy a similar version of the classic Gauss-Codazzi equations, and conversely that solutions of Gauss-Codazzi equations are immersion data of some equivariant map. This study has some interesting geometric consequences: 1) it provides a formalism to study immersions of surfaces into SL(2,C) and into the space of geodesics of H^3; 2) it generalizes the classical theory of immersions into non-zero curvature space forms, leading to a model for the transitioning of hypersurfaces among H^n, AdS^n, dS^n and S^n; 3) we prove that a holomorphic family of immersion data corresponds to a holomorphic family of immersions, providing an effective way to construct holomorphic maps into the SO(n,C)-character variety. In particular we will point out a simpler proof of the holomorphicity of the complex landslide; 4) we see how, under certain hypothesis, complex metrics on a surface (i.e. complex bilinear forms of its complexified tangent bundle) of constant curvature -1 correspond to pairs of projective surfaces with the same holonomy. Applying Bers Double Uniformization Theorem to this construction we prove a Uniformization Theorem for complex metrics on a surface.


title: WiSM: Windowing Surrogate Model for Evaluation of Curvature-Constrained Tours with Dubins vehicle

abstract: Dubins tours represent a solution of the Dubins Traveling Salesman Problem (DTSP) that is a variant of the optimization routing problem to determine a curvature-constrained shortest path to visit a set of locations such that the path is feasible for Dubins vehicle, which moves only forward and has a limited turning radius. The DTSP combines the NP-hard combinatorial optimization to determine the optimal sequence of visits to the locations, as in the regular TSP, with the continuous optimization of the heading angles at the locations, where the optimal heading values depend on the sequence of visits and vice versa. We address the computationally challenging DTSP by fast evaluation of the sequence of visits by the proposed Windowing Surrogate Model (WiSM) which estimates the length of the optimal Dubins path connecting a sequence of locations in a Dubins tour. The estimation is sped up by a regression model trained using close to optimum solutions of small Dubins tours that are generalized for large-scale instances of the addressed DTSP utilizing the sliding window technique and a cache for already computed results. The reported results support that the proposed WiSM enables a fast convergence of a relatively simple evolutionary algorithm to high-quality solutions of the DTSP. We show that with an increasing number of locations, our algorithm scales significantly better than other state-of-the-art DTSP solvers.


title: Quantum walk versus classical wave: Distinguishing ground states of quantum magnets by spacetime dynamics

abstract: We investigate the wavepacket spreading after a single spin flip in prototypical two-dimensional ferromagnetic and antiferromagnetic quantum spin systems. We find characteristic spatial magnon density profiles: While the ferromagnet shows a square-shaped pattern reflecting the underlying lattice structure, as exhibited by quantum walkers, the antiferromagnet shows a circular-shaped pattern which hides the lattice structure and instead resembles a classical wave pattern. We trace these fundamentally different behaviors back to the distinctly different magnon energy-momentum dispersion relations and also provide a real-space interpretation. Our findings point to new opportunities for real-time, real-space imaging of quantum magnets both in materials science and in quantum simulators.


title: Faster Fully Dynamic Transitive Closure in Practice

abstract: The fully dynamic transitive closure problem asks to maintain reachability information in a directed graph between arbitrary pairs of vertices, while the graph undergoes a sequence of edge insertions and deletions. The problem has been thoroughly investigated in theory and many specialized algorithms for solving it have been proposed in the last decades. In two large studies [Frigioni ea, 2001; Krommidas and Zaroliagis, 2008], a number of these algorithms have been evaluated experimentally against simple static algorithms for graph traversal, showing the competitiveness and even superiority of the simple algorithms in practice, except for very dense random graphs or very high ratios of queries. A major drawback of those studies is that only small and mostly randomly generated graphs are considered. In this paper, we engineer new algorithms to maintain all-pairs reachability information which are simple and space-efficient. Moreover, we perform an extensive experimental evaluation on both generated and real-world instances that are several orders of magnitude larger than those in the previous studies. Our results indicate that our new algorithms outperform all state-of-the-art algorithms on all types of input considerably in practice.


title: Jacobi forms and differential operators: odd weights

abstract: We show that it is possible to remove two differential operators from the standard collection of $m$ of them used to embed the space of Jacobi forms of \textit{odd} weight $k$ and index $m$ into several pieces of elliptic modular forms. This complements the previous work of one of the authors in the case of even weights.


title: Learning Extremal Representations with Deep Archetypal Analysis

abstract: Archetypes are typical population representatives in an extremal sense, where typicality is understood as the most extreme manifestation of a trait or feature. In linear feature space, archetypes approximate the data convex hull allowing all data points to be expressed as convex mixtures of archetypes. However, it might not always be possible to identify meaningful archetypes in a given feature space. Learning an appropriate feature space and identifying suitable archetypes simultaneously addresses this problem. This paper introduces a generative formulation of the linear archetype model, parameterized by neural networks. By introducing the distance-dependent archetype loss, the linear archetype model can be integrated into the latent space of a variational autoencoder, and an optimal representation with respect to the unknown archetypes can be learned end-to-end. The reformulation of linear Archetypal Analysis as deep variational information bottleneck, allows the incorporation of arbitrarily complex side information during training. Furthermore, an alternative prior, based on a modified Dirichlet distribution, is proposed. The real-world applicability of the proposed method is demonstrated by exploring archetypes of female facial expressions while using multi-rater based emotion scores of these expressions as side information. A second application illustrates the exploration of the chemical space of small organic molecules. In this experiment, it is demonstrated that exchanging the side information but keeping the same set of molecules, e. g. using as side information the heat capacity of each molecule instead of the band gap energy, will result in the identification of different archetypes. As an application, these learned representations of chemical space might reveal distinct starting points for de novo molecular design.


title: Randomized optimal stopping algorithms and their convergence analysis

abstract: In this paper we study randomized optimal stopping problems and consider corresponding forward and backward Monte Carlo based optimisation algorithms. In particular we prove the convergence of the proposed algorithms and derive the corresponding convergence rates.


title: Private Summation in the Multi-Message Shuffle Model

abstract: The shuffle model of differential privacy (Erlingsson et al. SODA 2019; Cheu et al. EUROCRYPT 2019) and its close relative encode-shuffle-analyze (Bittau et al. SOSP 2017) provide a fertile middle ground between the well-known local and central models. Similarly to the local model, the shuffle model assumes an untrusted data collector who receives privatized messages from users, but in this case a secure shuffler is used to transmit messages from users to the collector in a way that hides which messages came from which user. An interesting feature of the shuffle model is that increasing the amount of messages sent by each user can lead to protocols with accuracies comparable to the ones achievable in the central model. In particular, for the problem of privately computing the sum of $n$ bounded real values held by $n$ different users, Cheu et al. showed that $O(\sqrt{n})$ messages per user suffice to achieve $O(1)$ error (the optimal rate in the central model), while Balle et al. (CRYPTO 2019) recently showed that a single message per user leads to $\Theta(n^{1/3})$ MSE (mean squared error), a rate strictly in-between what is achievable in the local and central models. This paper introduces two new protocols for summation in the shuffle model with improved accuracy and communication trade-offs. Our first contribution is a recursive construction based on the protocol from Balle et al. mentioned above, providing $\mathrm{poly}(\log \log n)$ error with $O(\log \log n)$ messages per user. The second contribution is a protocol with $O(1)$ error and $O(1)$ messages per user based on a novel analysis of the reduction from secure summation to shuffling introduced by Ishai et al. (FOCS 2006) (the original reduction required $O(\log n)$ messages per user).


title: Linearly Constrained Gaussian Processes with Boundary Conditions

abstract: One goal in Bayesian machine learning is to encode prior knowledge into prior distributions, to model data efficiently. We consider prior knowledge from systems of linear partial differential equations together with their boundary conditions. We construct multi-output Gaussian process priors with realizations in the solution set of such systems, in particular only such solutions can be represented by Gaussian process regression. The construction is fully algorithmic via Gr\"obner bases and it does not employ any approximation. It builds these priors combining two parametrizations via a pullback: the first parametrizes the solutions for the system of differential equations and the second parametrizes all functions adhering to the boundary conditions.


title: Knowledge Graph Embedding for Link Prediction: A Comparative Analysis

abstract: Knowledge Graphs (KGs) have found many applications in industry and academic settings, which in turn, have motivated considerable research efforts towards large-scale information extraction from a variety of sources. Despite such efforts, it is well known that even state-of-the-art KGs suffer from incompleteness. Link Prediction (LP), the task of predicting missing facts among entities already a KG, is a promising and widely studied task aimed at addressing KG incompleteness. Among the recent LP techniques, those based on KG embeddings have achieved very promising performances in some benchmarks. Despite the fast growing literature in the subject, insufficient attention has been paid to the effect of the various design choices in those methods. Moreover, the standard practice in this area is to report accuracy by aggregating over a large number of test facts in which some entities are over-represented; this allows LP methods to exhibit good performance by just attending to structural properties that include such entities, while ignoring the remaining majority of the KG. This analysis provides a comprehensive comparison of embedding-based LP methods, extending the dimensions of analysis beyond what is commonly available in the literature. We experimentally compare effectiveness and efficiency of 16 state-of-the-art methods, consider a rule-based baseline, and report detailed analysis over the most popular benchmarks in the literature.


title: A review on multifractal analysis of Hewitt-Stromberg measures

abstract: We estimate the upper and lower bounds of the Hewitt$\textbf{-}$Stromberg dimensions. In particular, these results give new proofs of theorems on the multifractal formalism which is based on the Hewitt$\textbf{-}$Stromberg measures and yield results even at points $q$ for which the upper and lower multifractal Hewitt$\textbf{-}$Stromberg dimension functions differ. Finally, concrete examples of a measure satisfying the above property are developed.


title: On the nonorientable genus of the generalized unit and unitary Cayley graphs of a commutative ring

abstract: Let $R$ be a commutative ring and let $U(R)$ be multiplicative group of unit elements of $R$. In 2012, Khashyarmanesh et al. defined generalized unit and unitary Cayley graph, $\Gamma(R, G, S)$, corresponding to a multiplicative subgroup $G$ of $U(R)$ and a non-empty subset $S$ of $G$ with $S^{-1}=\{s^{-1} \mid s\in S\}\subseteq S$, as the graph with vertex set $R$ and two distinct vertices $x$ and $y$ are adjacent if and only if there exists $s\in S$ such that $x+sy \in G$. In this paper, we characterize all Artinian rings $R$ whose $\Gamma(R,U(R), S)$ is projective. This leads to determine all Artinian rings whose unit graphs, unitary Cayley garphs and co-maximal graphs are projective. Also, we prove that for an Artinian ring $R$ whose $\Gamma(R, U(R), S)$ has finite nonorientable genus, $R$ must be a finite ring. Finally, it is proved that for a given positive integer $k$, the number of finite rings $R$ whose $\Gamma(R, U(R), S)$ has nonorientable genus $k$ is finite.


title: The Heuristic Dynamic Programming Approach in Boost Converters

abstract: In this study, a heuristic dynamic programming controller is proposed to control a boost converter. Conventional controllers such as proportional integral-derivative (PID) or proportional integral (PI) are designed based on the linearized small-signal model near the operating point. Therefore, the performance of the controller during the start-up, the load change, or the input voltage variation is not optimal since the system model changes by varying the operating point. The heuristic dynamic programming controller optimally controls the boost converter by following the approximate dynamic programming. The advantage of the HDP is that the neural network based characteristic of the proposed controller enables boost converters to easily cope with large disturbances. An HDP with a well trained critic and action networks can perform as an optimal controller for the boost converter. To compare the effectiveness of the traditional PI-based and the HDP boost converter, the simulation results are provided.


title: Hamiltonian perturbations at the second order approximation

abstract: Integrability condition of Hamiltonian perturbations of integrable Hamiltonian PDEs of hydrodynamic type up to the second order approximation is considered.


title: Interlayer excitons in van der Waals heterostructures: Binding energy, Stark shift, and field-induced dissociation

abstract: Photoexcited intralayer excitons in van der Waals heterostructures (vdWHs) with type-II band alignment have been observed to tunnel into interlayer excitons on ultrafast timescales. Such interlayer excitons have sufficiently long lifetimes that inducing dissociation with external in-plane electric fields becomes an attractive option of improving efficiency of photocurrent devices. In the present paper, we calculate interlayer exciton binding energies, Stark shifts, and dissociation rates for six different transition metal dichalcogenide (TMD) vdWHs using a numerical procedure based on exterior complex scaling (ECS). We utilize an analytical bilayer Keldysh potential describing the interaction between the electron-hole pair, and validate its accuracy by comparing to the full multilayer Poisson equation. Based on this model, we obtain an analytical weak-field expression for the exciton dissociation rate. The heterostructures analysed are MoS$_2$/MoSe$_2$, MoS$_2$/WS$_2$, MoS$_2$/WSe$_2$, MoSe$_2$/WSe$_2$, WS$_2$/MoSe$_2$, and WS$_2$/WSe$_2$ in various dielectric environments. For weak electric fields, we find that WS$_2$/WSe$_2$ supports the fastest dissociation rates among the six structures. We, furthermore, observe that exciton dissociation rates in vdWHs are significantly larger than in their monolayer counterparts.


title: On a wave equation with singular dissipation

abstract: In this paper we consider a singular wave equation with distributional and more singular non-distributional coefficients and develop tools and techniques for the phase-space analysis of such problems. In particular we provide a detailed analysis for the interaction of singularities of solutions with strong singularities of the coefficient in a model problem of recent interest.


title: On the Performance of Non-Orthogonal Multiple Access (NOMA): Terrestrial vs. Aerial Networks

abstract: Non-orthogonal multiple access (NOMA) is a promising multiple access technique for beyond fifth generation (B5G) cellular wireless networks, where several users can be served on a single time-frequency resource block, using the concepts of superposition coding at the transmitter and selfinterference cancellation (SIC) at the receiver. For terrestrial networks, the achievable performance gains of NOMA over traditional orthogonal multiple access (OMA) are well-known. However, the achievable performance of NOMA in aerial networks, compared to terrestrial networks, is not well-understood. In this paper, we provide a unified analytic framework to characterize the outage probabilities of users considering various network settings, such as i) uplink and downlink NOMA and OMA in aerial networks, and ii) uplink and downlink NOMA and OMA in terrestrial networks. In particular, we derive closed-form rate outage probability expressions for two users, considering line-of-sight (LOS) Rician fading channels. Numerical results validate the derived analytical expressions and demonstrate the difference of outage probabilities of users with OMA and NOMA transmissions. Numerical results unveil that the optimal UAV height increases with the increase in Rice-K factor, which implies strong line-of-sight (LOS) conditions.


title: Numerical simulations of surf zone wave dynamics using Smoothed Particle Hydrodynamics

abstract: In this study we investigated the capabilities of the mesh-free, Lagrangian particle method (Smoothed Particle Hydrodynamics, SPH) to simulate the detailed hydrodynamic processes generated by both spilling and plunging breaking waves within the surf zone. The weakly-compressible SPH code DualSPHysics was applied to simulate wave breaking over two distinct bathymetric profiles (a plane beach and fringing reef) and compared to experimental flume measurements of waves, flows, and mean water levels. Despite the simulations spanning very different wave breaking conditions (including an extreme case with violently plunging waves on an effectively dry reef slope), the model was able to reproduce a wide range of relevant surf zone hydrodynamic processes using a fixed set of numerical parameters. This included accurate predictions of the nonlinear evolution of wave shapes (e.g., asymmetry and skewness properties), rates of wave dissipation within the surf zone, and wave setup distributions. By using this mesh-free approach, the model was able to resolve the critical crest region within the breaking waves, which provided robust predictions of the wave-induced mass fluxes within the surf zone responsible for the undertow. Within this breaking crest region, the model results capture how the potential energy of the organized wave motion is initially converted to kinetic energy and then dissipated, which reproduces the distribution of wave forces responsible for wave setup generation across the surf zone. Overall, the results reveal how the mesh-free SPH approach can accurately reproduce the detailed wave breaking processes with comparable skill to state-of-the-art mesh-based Computational Fluid Dynamics (CFD) models, and thus can be applied to provide valuable new physical insight into surf zone dynamics.


title: Note sur les diviseurs \'el\'ementaires du r\'egulateur d'Iwasawa

abstract: The article revisits a result of Antonio Lei, David Loeffler, and Sarah Livia Zerbes concerning the structure of the image by the Iwasawa regulator map of the Iwasawa module associated with a semi-stable $p$-adic representation on an unramified finite extension of $Q_p$ and give a direct proof based on the results of "Repr\'esentations $p$-adiques et normes universelles: I. le cas cristallin" in the crystalline case and of "Th\'eorie d'Iwasawa des repr\'esentations $p$-adiques semi-stables" in the semi-stable case.


title: Laurent series of holomorphic functions smooth up to the boundary

abstract: It is shown that the Laurent series of a holomorphic function smooth up to the boundary on a Reinhardt domain in $\mathbb{C}^n$ converges unconditionally to the function in the Fr\'{e}chet topology of the space of functions smooth up to the boundary.


title: Revisiting the predictability of the Haicheng and Tangshan earthquakes

abstract: We analyse the compiled set of precursory data that were reported to be available in real time before the Ms 7.5 Haicheng earthquake in Feb. 1975 and the Ms 7.6-7.8 Tangshan earthquake in July 1976. We propose a robust and simple coarse-graining method consisting in aggregating and counting how all the anomalies together (geodesy, levelling, geomagnetism, soil resistivity, Earth currents, gravity, Earth stress, well water radon, well water level) develop as a function of time. We demonstrate a strong evidence for the existence of an acceleration of the number of anomalies leading up to the major Haicheng and Tangshan earthquakes. In particular for the Tangshan earthquake, the frequency of occurrence of anomalies is found to be well described by the log-periodic power law singularity (LPPLS) model, previously proposed for the prediction of engineering failures and later adapted to the prediction of financial crashes. Based on a mock real-time prediction experiment, and simulation study, we show the potential for an early warning system with lead-time of a few days, based on this methodology of monitoring accelerated rates of anomalies.


title: An Actor-Critic-Based UAV-BSs Deployment Method for Dynamic Environments

abstract: In this paper, the real-time deployment of unmanned aerial vehicles (UAVs) as flying base stations (BSs) for optimizing the throughput of mobile users is investigated for UAV networks. This problem is formulated as a time-varying mixed-integer non-convex programming (MINP) problem, which is challenging to find an optimal solution in a short time with conventional optimization techniques. Hence, we propose an actor-critic-based (AC-based) deep reinforcement learning (DRL) method to find near-optimal UAV positions at every moment. In the proposed method, the process searching for the solution iteratively at a particular moment is modeled as a Markov decision process (MDP). To handle infinite state and action spaces and improve the robustness of the decision process, two powerful neural networks (NNs) are configured to evaluate the UAV position adjustments and make decisions, respectively. Compared with the heuristic algorithm, sequential least-squares programming and fixed UAVs methods, simulation results have shown that the proposed method outperforms these three benchmarks in terms of the throughput at every moment in UAV networks.


title: Weak values from path integrals

abstract: We connect the weak measurements framework to the path integral formulation of quantum mechanics. We show how Feynman propagators can in principle be experimentally inferred from weak value measurements. We also obtain expressions for weak values parsing unambiguously the quantum and the classical aspects of weak couplings between a system and a probe. These expressions are shown to be useful in quantum chaos related studies (an illustration involving quantum scars is given), and also in solving current weak-value related controversies (we discuss the existence of discontinuous trajectories in interferometers and the issue of anomalous weak values in the classical limit).


title: Detection of Obstructive Sleep Apnoea Using Features Extracted from Segmented Time-Series ECG Signals Using a One Dimensional Convolutional Neural Network

abstract: The study in this paper presents a one-dimensional convolutional neural network (1DCNN) model, designed for the automated detection of obstructive Sleep Apnoea (OSA) captured from single-channel electrocardiogram (ECG) signals. The system provides mechanisms in clinical practice that help diagnose patients suffering with OSA. Using the state-of-the-art in 1DCNNs, a model is constructed using convolutional, max pooling layers and a fully connected Multilayer Perceptron (MLP) consisting of a hidden layer and SoftMax output for classification. The 1DCNN extracts prominent features, which are used to train an MLP. The model is trained using segmented ECG signals grouped into 5 unique datasets of set window sizes. 35 ECG signal recordings were selected from an annotated database containing 70 night-time ECG recordings. (Group A = a01 to a20 (Apnoea breathing), Group B = b01 to b05 (moderate), and Group C = c01 to c10 (normal). A total of 6514 minutes of Apnoea was recorded. Evaluation of the model is performed using a set of standard metrics which show the proposed model achieves high classification results in both training and validation using our windowing strategy, particularly W=500 (Sensitivity 0.9705, Specificity 0.9725, F1 Score 0.9717, Kappa Score 0.9430, Log Loss 0.0836, ROCAUC 0.9945). This demonstrates the model can identify the presence of Apnoea with a high degree of accuracy.


title: Modifications to Gravitational Wave Equation from Canonical Quantum Gravity

abstract: It is expected that the quantum nature of spacetime leaves its imprint in all semiclassical gravitational systems, at least in certain regimes, including gravitational waves. In this paper we investigate such imprints on gravitational waves within a specific framework: space is assumed to be discrete (in the form of a regular cubic lattice), and this discrete geometry is quantised following Dirac's canonical quantisation scheme. The semiclassical behavior is then extracted by promoting the expectation value of the Hamiltonian operator on a semiclassical state to an effective Hamiltonian. Considering a family of semiclassical states representing small tensor perturbations to Minkowski background, we derive a quantum-corrected effective wave equation. The deviations from the classical gravitational wave equation are found to be encoded in a modified dispersion relation and controlled by the discreteness parameter of the underlying lattice. For finite discretisations, several interesting effects appear: we investigate the thermodynamical properties of these modified gravitons and, under certain assumptions, derive the tensor power spectrum of the cosmic microwave background. The latter is found to deviate from the classical prediction, in that an amplification of UV modes takes place. We discuss under what circumstances such effect can be in agreement with observations.


title: Learning Contextualized Document Representations for Healthcare Answer Retrieval

abstract: We present Contextual Discourse Vectors (CDV), a distributed document representation for efficient answer retrieval from long healthcare documents. Our approach is based on structured query tuples of entities and aspects from free text and medical taxonomies. Our model leverages a dual encoder architecture with hierarchical LSTM layers and multi-task training to encode the position of clinical entities and aspects alongside the document discourse. We use our continuous representations to resolve queries with short latency using approximate nearest neighbor search on sentence level. We apply the CDV model for retrieving coherent answer passages from nine English public health resources from the Web, addressing both patients and medical professionals. Because there is no end-to-end training data available for all application scenarios, we train our model with self-supervised data from Wikipedia. We show that our generalized model significantly outperforms several state-of-the-art baselines for healthcare passage ranking and is able to adapt to heterogeneous domains without additional fine-tuning.


title: On the Complexity of Destructive Bribery in Approval-Based Multi-winner Voting

abstract: A variety of constructive manipulation, control, and bribery for approval-based multi-winner voting have been extensively studied very recently. However, their destructive counterparts seem to be less studied in the literature so far. This paper aims to fill this gap by exploring the complexity of several destructive bribery problems under five prestigious approval-based multi-winner voting rules. Generally speaking, these problems are to determine if a number of given candidates can be excluded from any winning committees by performing a series of modification operations yet without exceeding a given budget. We consider five operations. We offer a complete landscape of the complexity of the problems studied in this paper, and for NP-hard problems we study their parameterized complexity with respect to meaningful parameters.


title: Ginger Cannot Cure Cancer: Battling Fake Health News with a Comprehensive Data Repository

abstract: Nowadays, Internet is a primary source of attaining health information. Massive fake health news which is spreading over the Internet, has become a severe threat to public health. Numerous studies and research works have been done in fake news detection domain, however, few of them are designed to cope with the challenges in health news. For instance, the development of explainable is required for fake health news detection. To mitigate these problems, we construct a comprehensive repository, FakeHealth, which includes news contents with rich features, news reviews with detailed explanations, social engagements and a user-user social network. Moreover, exploratory analyses are conducted to understand the characteristics of the datasets, analyze useful patterns and validate the quality of the datasets for health fake news detection. We also discuss the novel and potential future research directions for the health fake news detection.


title: Improving Generalizability of Fake News Detection Methods using Propensity Score Matching

abstract: Recently, due to the booming influence of online social networks, detecting fake news is drawing significant attention from both academic communities and general public. In this paper, we consider the existence of confounding variables in the features of fake news and use Propensity Score Matching (PSM) to select generalizable features in order to reduce the effects of the confounding variables. Experimental results show that the generalizability of fake news method is significantly better by using PSM than using raw frequency to select features. We investigate multiple types of fake news methods (classifiers) such as logistic regression, random forests, and support vector machines. We have consistent observations of performance improvement.


title: Randomized Spectral Clustering in Large-Scale Stochastic Block Models

abstract: Spectral clustering has been one of the widely used methods for community detection in networks. However, large-scale networks bring computational challenges to the eigenvalue decomposition therein. In this paper, we study the spectral clustering using randomized sketching algorithms from a statistical perspective, where we typically assume the network data are generated from a stochastic block model that is not necessarily of full rank. To do this, we first use the recently developed sketching algorithms to obtain two randomized spectral clustering algorithms, namely, the random projection-based and the random sampling-based spectral clustering. Then we study the theoretical bounds of the resulting algorithms in terms of the approximation error for the population adjacency matrix, the misclassification error, and the estimation error for the link probability matrix. It turns out that, under mild conditions, the randomized spectral clustering algorithms lead to the same theoretical bounds as those of the original spectral clustering algorithm. We also extend the results to degree-corrected stochastic block models. Numerical experiments support our theoretical findings and show the efficiency of randomized methods. A new R package called Rclust is developed and made available to the public.


title: When Less Is More: Systematic Analysis of Cascade-Based Community Detection

abstract: Information diffusion, spreading of infectious diseases, and spreading of rumors are fundamental processes occurring in real-life networks. In many practical cases, one can observe when nodes become infected, but the underlying network, over which a contagion or information propagates, is hidden. Inferring properties of the underlying network is important since these properties can be used for constraining infections, forecasting, viral marketing, and so on. Moreover, for many applications, it is sufficient to recover only coarse high-level properties of this network rather than all its edges. This article conducts a systematic and extensive analysis of the following problem: Given only the infection times, find communities of highly interconnected nodes. This task significantly differs from the well-studied community detection problem since we do not observe a graph to be clustered. We carry out a thorough comparison between existing and new approaches on several large datasets and cover methodological challenges specific to this problem. One of the main conclusions is that the most stable performance and the most significant improvement on the current state-of-the-art are achieved by our proposed simple heuristic approaches agnostic to a particular graph structure and epidemic model. We also show that some well-known community detection algorithms can be enhanced by including edge weights based on the cascade data.


title: cube2net: Efficient Query-Specific Network Construction with Data Cube Organization

abstract: Networks are widely used to model objects with interactions and have enabled various downstream applications. However, in the real world, network mining is often done on particular query sets of objects, which does not require the construction and computation of networks including all objects in the datasets. In this work, for the first time, we propose to address the problem of query-specific network construction, to break the efficiency bottlenecks of existing network mining algorithms and facilitate various downstream tasks. To deal with real-world massive networks with complex attributes, we propose to leverage the well-developed data cube technology to organize network objects w.r.t. their essential attributes. An efficient reinforcement learning algorithm is then developed to automatically explore the data cube structures and construct the optimal query-specific networks. With extensive experiments of two classic network mining tasks on different real-world large datasets, we show that our proposed cube2net pipeline is general, and much more effective and efficient in query-specific network construction, compared with other methods without the leverage of data cube or reinforcement learning.


title: Mi YouTube es Su YouTube? Analyzing the Cultures using YouTube Thumbnails of Popular Videos

abstract: YouTube, a world-famous video sharing website, maintains a list of the top trending videos on the platform. Due to its huge amount of users, it enables researchers to understand people's preference by analyzing the trending videos. Trending videos vary from country to country. By analyzing such differences and changes, we can tell how users' preferences differ over locations. Previous work focuses on analyzing such culture preferences from videos' metadata, while the culture information hidden within the visual content has not been discovered. In this study, we explore culture preferences among countries using the thumbnails of YouTube trending videos. We first process the thumbnail images of the videos using object detectors. The collected object information is then used for various statistical analysis. In particular, we examine the data from three perspectives: geographical locations, video genres and users' reactions. Experimental results indicate that the users from similar cultures shares interests in watching similar videos on YouTube. Our study demonstrates that discovering the culture preference through the thumbnails can be an effective mechanism for video social media analysis.


title: Artificial Benchmark for Community Detection (ABCD): Fast Random Graph Model with Community Structure

abstract: Most of the current complex networks that are of interest to practitioners possess a certain community structure that plays an important role in understanding the properties of these networks. Moreover, many machine learning algorithms and tools that are developed for complex networks try to take advantage of the existence of communities to improve their performance or speed. As a result, there are many competing algorithms for detecting communities in large networks. Unfortunately, these algorithms are often quite sensitive and so they cannot be fine-tuned for a given, but a constantly changing, real-world network at hand. It is therefore important to test these algorithms for various scenarios that can only be done using synthetic graphs that have built-in community structure, power-law degree distribution, and other typical properties observed in complex networks. The standard and extensively used method for generating artificial networks is the LFR graph generator. Unfortunately, this model has some scalability limitations and it is challenging to analyze it theoretically. Finally, the mixing parameter $\mu$, the main parameter of the model guiding the strength of the communities, has a non-obvious interpretation and so can lead to unnaturally-defined networks. In this paper, we provide an alternative random graph model with community structure and power-law distribution for both degrees and community sizes, the Artificial Benchmark for Community Detection (ABCD). We show that the new model solves the three issues identified above and more. The conclusion is that these models produce comparable graphs but ABCD is fast, simple, and can be easily tuned to allow the user to make a smooth transition between the two extremes: pure (independent) communities and random graph with no community structure.


title: DiffNet++: A Neural Influence and Interest Diffusion Network for Social Recommendation

abstract: Social recommendation has emerged to leverage social connections among users for predicting users' unknown preferences, which could alleviate the data sparsity issue in collaborative filtering based recommendation. Early approaches relied on utilizing each user's first-order social neighbors' interests for better user modeling and failed to model the social influence diffusion process from the global social network structure. Recently, we propose a preliminary work of a neural influence diffusion network (i.e., DiffNet) for social recommendation (Diffnet), which models the recursive social diffusion process to capture the higher-order relationships for each user. However, we argue that, as users play a central role in both user-user social network and user-item interest network, only modeling the influence diffusion process in the social network would neglect the users' latent collaborative interests in the user-item interest network. In this paper, we propose DiffNet++, an improved algorithm of DiffNet that models the neural influence diffusion and interest diffusion in a unified framework. By reformulating the social recommendation as a heterogeneous graph with social network and interest network as input, DiffNet++ advances DiffNet by injecting these two network information for user embedding learning at the same time. This is achieved by iteratively aggregating each user's embedding from three aspects: the user's previous embedding, the influence aggregation of social neighbors from the social network, and the interest aggregation of item neighbors from the user-item interest network. Furthermore, we design a multi-level attention network that learns how to attentively aggregate user embeddings from these three aspects. Finally, extensive experimental results on two real-world datasets clearly show the effectiveness of our proposed model.


title: On the Submodularity of Diffusion Models: Equivalent Conditions and Applications

abstract: The diffusion model has been a crucial component in studies about social networks. Many studies, especially these about influence maximization concern the proof of the submodularity of particular diffusion models. Such proofs have been model-dependent and are somewhat ad hoc. In this paper, we prove a theorem that provides a necessary and sufficient condition for a diffusion model to be submodular. This theorem can be used to justify the submodularity of an arbitrary diffusion model. We also apply this theorem to build a projection operator that maps an arbitrary diffusion model into a submodular one. Moreover, we use the established theorem to propose a diffusion model of multiple heterogeneous pieces of information that partially features submodularity.


title: Evidence of disorientation towards immunization on online social media after contrasting political communication on vaccines. Results from an analysis of Twitter data in Italy

abstract: Background. In Italy, in recent years, vaccination coverage for key immunizations as MMR has been declining to worryingly low levels. In 2017, the Italian Gov't expanded the number of mandatory immunizations introducing penalties to unvaccinated children's families. During the 2018 general elections campaign, immunization policy entered the political debate with the Gov't in charge blaming oppositions for fuelling vaccine scepticism. A new Gov't established in 2018 temporarily relaxed penalties. Objectives and Methods. Using a sentiment analysis on tweets posted in Italian during 2018, we aimed to: (i) characterize the temporal flow of vaccines communication on Twitter (ii) evaluate the polarity of vaccination opinions and usefulness of Twitter data to estimate vaccination parameters, and (iii) investigate whether the contrasting announcements at the highest political level might have originated disorientation amongst the Italian public. Results. Vaccine-relevant tweeters interactions peaked in response to main political events. Out of retained tweets, 70.0% resulted favourable to vaccination, 16.5% unfavourable, and 13.6% undecided, respectively. The smoothed time series of polarity proportions exhibit frequent large changes in the favourable proportion, enhanced by an up and down trend synchronized with the switch between gov't suggesting evidence of disorientation among the public. Conclusion. The reported evidence of disorientation documents that critical immunization topics, should never be used for political consensus. This is especially true given the increasing role of online social media as information source, which might yield to social pressures eventually harmful for vaccine uptake, and is worsened by the lack of institutional presence on Twitter, calling for efforts to contrast misinformation and the ensuing spread of hesitancy.


title: A Dynamic and Cooperative Tracking System for Crowdfunding

abstract: Crowdfunding is an emerging finance platform for creators to fund their efforts by soliciting relatively small contributions from a large number of individuals using the Internet. Due to the unique rules, a campaign succeeds in trading only when it collects adequate funds in a given time. To prevent creators and backers from wasting time and efforts on failing campaigns, dynamically estimating the success probability of a campaign is very important. However, existing crowdfunding systems neither have the mechanism of dynamic predictive tracking, nor provide the real-time campaign status for creators and backers on the platform. To address these issues, we develop a novel system, which contains a dynamic data-driven approach to tracking the success probability and status. We demonstrate the following scenarios using our system. First, users can utilize our system to analyze the emotion of incremental reviews so as to understand backers' perspectives of the campaign in time. Meanwhile, our system visualizes the statistic number of positive and negative reviews. On this basis, our system can dynamically track the success probability of each campaign.