title: Federated Machine Learning for Intelligent IoT via Reconfigurable Intelligent Surface

abstract: Intelligent Internet-of-Things (IoT) will be transformative with the advancement of artificial intelligence and high-dimensional data analysis, shifting from "connected things" to "connected intelligence". This shall unleash the full potential of intelligent IoT in a plethora of exciting applications, such as self-driving cars, unmanned aerial vehicles, healthcare, robotics, and supply chain finance. These applications drive the need of developing revolutionary computation, communication and artificial intelligence technologies that can make low-latency decisions with massive real-time data. To this end, federated machine learning, as a disruptive technology, is emerged to distill intelligence from the data at network edge, while guaranteeing device privacy and data security. However, the limited communication bandwidth is a key bottleneck of model aggregation for federated machine learning over radio channels. In this article, we shall develop an over-the-air computation based communication-efficient federated machine learning framework for intelligent IoT networks via exploiting the waveform superposition property of a multi-access channel. Reconfigurable intelligent surface is further leveraged to reduce the model aggregation error via enhancing the signal strength by reconfiguring the wireless propagation environments.


title: Wannier states of fcc symmetry qualifying paramagnetic NiO to be a Mott insulator

abstract: This letter extends my recent paper on antiferromagnetic NiO [Structural Distortion Stabilizing the Antiferromagnetic and Insulating Ground State of NiO, Symmetry 2020, 12(1), 56] by including also the paramagnetic phase of this compound. I report evidence that paramagnetic NiO possesses a narrow, roughly half-filled energy band that produces a nonadiabatic atomic-like motion providing the basis for a Mott insulator in the paramagnetic phase. While the atomic-like motion operating in the antiferromagnetic phase is adapted to the symmetry of the antiferromagnetic state, in the paramagnetic phase the related localized states are represented by optimally localized Wannier functions possessing the full fcc symmetry of paramagnetic NiO. The nonadiabatic Wannier states are twofold degenerate, have d-like symmetry and are situated at the Ni atoms.


title: Simulating X-ray absorption spectra with CASSCF linear response methods

abstract: In this work, two approaches for simulating X-ray absorption (XA) spectra with the complete active space self-consistent field (CASSCF) linear response (LR) method are introduced. The first approach employs the well-known core-valence separation (CVS) approximation, which is predominantly used by many other electronic structure methods for simulating X-ray spectra. The second ansatz uses the harmonic Davidson algorithm (DA) for finding interior eigenvalues that lie close to a target excitation energy shift and virtually solves a shifted-and-inverted (S&I) generalized eigenvalue problem. Our implementations of these Davidson-type algorithms for core spectroscopies converge as rapidly as the standard DA for valence excitations. It is shown in a proof-of-principle application to the Manganese atom that the additional errors for excitations energies introduced by the CVS approximation compared to the exact S&I approach are negligible for K-edges, but become larger than the methodological error of the CASSCF LR method when computing M-edges. We could also demonstrate that, in case of large active-space K-edge calculations, the computational savings of the CVS approximation are huge as the configuration part of the response vectors is completely neglected. When simulating the oxygen K-edge XA spectrum of the permanganate ion, CASSCF LR showed a better agreement with the experimental spectrum than the CAS-CI and NEVPT2 methods, however, the order of the two close-together pre-edge peaks seems to be inverted.


title: SSP: Single Shot Future Trajectory Prediction

abstract: We propose a robust solution to future trajectory forecast, which can be practically applicable to autonomous agents in highly crowded environments. For this, three aspects are particularly addressed in this paper. First, we use composite fields to predict future locations of all road agents in a single-shot, which results in a constant time complexity, regardless of the number of agents in the scene. Second, interactions between agents are modeled as a non-local response, enabling spatial relationships between different locations to be captured temporally as well (i.e., in spatio-temporal interactions). Third, the semantic context of the scene are modeled and take into account the environmental constraints that potentially influence the future motion. To this end, we validate the robustness of the proposed approach using the ETH, UCY, and SDD datasets and highlight its practical functionality compared to the current state-of-the-art methods.


title: Is 40 the new 60? How popular media portrays the employability of older software developers

abstract: Alerted by our previous research as well as media reports and discussions in online forums about ageism in the software industry, we set out to study the public discourse around age and software development. With a focus on the USA, we analyzed popular online articles and related discussions on Hacker News through the lens of (perceived) employability issues and potential mitigation strategies. Besides rather controversial strategies such as disguising age-related aspects in r\'esum\'es or undergoing plastic surgeries to appear young, we highlight the importance of keeping up-to-date, specializing in certain tasks or technologies, and present role transitions as a way forward for veteran developers. With this article, we want to build awareness among decision makers in software projects to help them anticipate and mitigate challenges that their older employees may face.


title: Topological magnetic line defects in Fe(Te,Se) high-temperature superconductors

abstract: Magnetic impurity chains on top of conventional superconductors are promising platforms to realize Majorana modes. Iron-based high-temperature superconductors are known in the vicinity of magnetic states due to the strong Hund's coupling in iron atoms. Here we propose that the line defects with missing Te/Se anions in Fe(Se,Te) superconductors provide the realization of intrinsic antiferromagnetic(AFM) chains with Rashba spin-orbit coupling. Against conventional wisdom, Majorana zero modes (MZMs) can be robustly generated at these AFM chain ends. These results can consistently explain the recent experimental observation of zero-energy end states in line defects of monolayer Fe(Te,Se)/SrTiO$_3$ by scanning tunneling microscopy (STM) measurements. Our research not only demonstrates an unprecedented interplay among native line defect, emergent magnetism and topological superconductivity but also explores a high-temperature platform for Majorana fermions.


title: MLPSVM:A new parallel support vector machine to multi-label learning

abstract: Multi-label learning has attracted the attention of the machine learning community. The problem conversion method Binary Relevance converts a familiar single label into a multi-label algorithm. The binary relevance method is widely used because of its simple structure and efficient algorithm. But binary relevance does not consider the links between labels, making it cumbersome to handle some tasks. This paper proposes a multi-label learning algorithm that can also be used for single-label classification. It is based on standard support vector machines and changes the original single decision hyperplane into two parallel decision hyper-planes, which call multi-label parallel support vector machine (MLPSVM). At the end of the article, MLPSVM is compared with other multi-label learning algorithms. The experimental results show that the algorithm performs well on data sets.


title: On the asymptotic behavior of high order moments for a family of Schroedinger equations

abstract: We study upper bounds and the asymptotic behavior of high order moments for solutions to a family of linear and nonlinear Schroedinger equations.


title: Detecting Latency Degradation Patterns in Service-based Systems

abstract: Performance in heterogeneous service-based systems shows non-determistic trends. Even for the same request type, latency may vary from one request to another. These variations can occur due to several reasons on different levels of the software stack: operating system, network, software libraries, application code or others. Furthermore, a request may involve several Remote Procedure Calls (RPC), where each call can be subject to performance variation. Performance analysts inspect distributed traces and seek for recurrent patterns in trace attributes, such as RPCs execution time, in order to cluster traces in which variations may be induced by the same cause. Clustering "similar" traces is a prerequisite for effective performance debugging. Given the scale of the problem, such activity can be tedious and expensive. In this paper, we present an automated approach that detects relevant RPCs execution time patterns associated to request latency degradation, i.e. latency degradation patterns. The presented approach is based on a genetic search algorithm driven by an information retrieval relevance metric and an optimized fitness evaluation. Each latency degradation pattern identifies a cluster of requests subject to latency degradation with similar patterns in RPCs execution time. We show on a microservice-based application case study that the proposed approach can effectively detect clusters identified by artificially injected latency degradation patterns. Experimental results show that our approach outperforms in terms of F-score a state-of-art approach for latency profile analysis and widely popular machine learning clustering algorithms. We also show how our approach can be easily extended to trace attributes other than RPC execution time (e.g. HTTP headers, execution node, etc.).


title: Mode Decomposed Chiral Magnetic Effect and Rotating Fermions

abstract: We present a novel perspective to characterize the chiral magnetic and related effects in terms of angular decomposed modes. We find that the vector current and the chirality density are connected through a surprisingly simple relation for all the modes and any mass, which defines the mode decomposed chiral magnetic effect in such a way free from the chiral chemical potential. The mode decomposed formulation is useful also to investigate properties of rotating fermions. For demonstration we give an intuitive account for a nonzero density emerging from a combination of rotation and magnetic field as well as an approach to the chiral vortical effect at finite density.


title: Generation Of A Complete Set Of Properties

abstract: One of the problems of formal verification is that it is not functionally complete due the incompleteness of specifications. An implementation meeting an incomplete specification may still have a lot of bugs. In testing, this issue is addressed by replacing functional completeness with $\mathit{structural}$ one. The latter is achieved by generating a set of tests probing every piece of a design implementation. We show that a similar approach can be used in formal verification. The idea here is to generate a property of the implementation at hand that is not implied by the specification. Finding such a property means that the specification is not complete. If this is an $\mathit{unwanted}$ property, the implementation is buggy. Otherwise, a new specification property needs to be added. Generation of implementation properties related to different parts of the design followed by adding new specification properties produces a $\mathit{structurally}$-$\mathit{complete\:specification}$. Implementation properties are built by $\mathit{partial\: quantifier\:elimination}$, a technique where only a part of the formula is taken out of the scope of quantifiers. An implementation property is generated by applying partial quantifier elimination to a formula defining the "truth table" of the implementation. We show how our approach works on specifications of combinational and sequential circuits.


title: The Explicit Evaluations Formula for Ramanujan's Singular Moduli and Ramanujan- Selberg Continued Fraction

abstract: At scattered places of his notebooks, Ramanujan recorded over 30 values of singular moduli $\alpha_n$. All those results were proved by Berndt et. al by employing Weber-Ramanujan's class invariants. In this paper, we initiate to derive the explicit evaluations formula for $\alpha_{9n}$ and $\alpha_{n/9}$ by involving class invariant. For this purpose, we establish several new $P-Q$ mixed modular equations involving theta-functions. Further application of these modular equations, we derive a new formula to explicit evaluation of Ramanujan- Selberg continued fraction.


title: Variable Rate Image Compression Method with Dead-zone Quantizer

abstract: Deep learning based image compression methods have achieved superior performance compared with transform based conventional codec. With end-to-end Rate-Distortion Optimization (RDO) in the codec, compression model is optimized with Lagrange multiplier $\lambda$. For conventional codec, signal is decorrelated with orthonmal transformation, and uniform quantizer is introduced. We propose a variable rate image compression method with dead-zone quantizer. Firstly, the autoencoder network is trained with RaDOGAGA \cite{radogaga} framework, which can make the latents isometric to the metric space, such as SSIM and MSE. Then the conventional dead-zone quantization method with arbitrary step size is used in the common trained network to provide the flexible rate control. With dead-zone quantizer, the experimental results show that our method performs comparably with independently optimized models within a wide range of bitrate.


title: Generating perfect fluid solutions in isotropic coordinates

abstract: We explore the symmetry group of the pressure isotropy condition in isotropic coordinates finding a rich structure. We work out some specific examples.


title: Generalized Fibonacci numbers and extreme value laws for the R\'enyi map

abstract: In this paper we prove an extreme value law for a stochastic process obtained by iterating the R\'enyi map $x \mapsto \beta x \pmod 1$, where we assume that $\beta>1$ is an integer. Haiman (2018) derived a recursion formula for the Lebesgue measure of threshold exceedance sets. We show how this recursion formula is related to a rescaled version of the $k$-generalized Fibonacci sequence. For the latter sequence we derive a Binet formula which leads to a closed-form expression for the distribution of partial maxima of the stochastic process. The proof of the extreme value law is completed by deriving sharp bounds for the dominant root of the characteristic polynomial associated with the Fibonacci sequence.


title: Conditions for Macrorealism for Systems Described by Many-Valued Variables

abstract: Macrorealism (MR) is the view that a system evolving in time possesses definite properties independent of past or future measurements and is traditionally tested for systems described at each time by a single dichotomic variable $Q$. A number of necessary and sufficient conditions for macrorealism have been derived for a dichtomic variable using sets of Leggett-Garg (LG) inequalities, or the stronger no-signaling in time (NSIT) conditions, or a combination thereof. Here, we extend this framework by establishing necessary and sufficient conditions for macrorealism for measurements made at two and three times for systems described by variables taking three or more values at each time. Our results include a generalization of Fine's theorem to many-valued variables for measurements at three pairs of times and we derive the corresponding complete set of LG inequalities. We find that LG inequalities and NSIT conditions for many-valued variables do not enjoy the simple hierarchical relationship exhibited by the dichotomic case. This sheds light on some recent experiments on three-level systems which exhibit a LG inequality violation even though certain NSIT conditions are satisfied. Under measurements of dichotomic variables using the Luders projection rule the three-time LG inequalities cannot be violated beyond the Luders bound (which coincides numerically with the Tsirelson bound obeyed by correlators in Bell experiments), but this bound can be violated in LG tests using degeneracy-breaking (von Neumann) measurements. We identify precisely which MR conditions are violated under these circumstances.


title: Regularizing Meta-Learning via Gradient Dropout

abstract: With the growing attention on learning-to-learn new tasks using only a few examples, meta-learning has been widely used in numerous problems such as few-shot classification, reinforcement learning, and domain generalization. However, meta-learning models are prone to overfitting when there are no sufficient training tasks for the meta-learners to generalize. Although existing approaches such as Dropout are widely used to address the overfitting problem, these methods are typically designed for regularizing models of a single task in supervised training. In this paper, we introduce a simple yet effective method to alleviate the risk of overfitting for gradient-based meta-learning. Specifically, during the gradient-based adaptation stage, we randomly drop the gradient in the inner-loop optimization of each parameter in deep neural networks, such that the augmented gradients improve generalization to new tasks. We present a general form of the proposed gradient dropout regularization and show that this term can be sampled from either the Bernoulli or Gaussian distribution. To validate the proposed method, we conduct extensive experiments and analysis on numerous computer vision tasks, demonstrating that the gradient dropout regularization mitigates the overfitting problem and improves the performance upon various gradient-based meta-learning frameworks.


title: Atomic line defects and topological superconductivity in unconventional superconductors

abstract: Topological superconductors (TSCs) are correlated quantum states with simultaneous off-diagonal long-range order and nontrivial topological invariants. They produce gapless or zero energy boundary excitations, including Majorana zero modes and chiral Majorana edge states with topologically protected phase coherence essential for fault-tolerant quantum computing. Candidate TSCs are very rare in nature. Here, we propose a novel route toward emergent quasi-one-dimensional (1D) TSCs in naturally embedded quantum structures such as atomic line defects in unconventional spin-singlet $s$-wave and $d$-wave superconductors. We show that inversion symmetry breaking and charge transfer due to the missing atoms lead to the occupation of incipient impurity bands and mixed parity spin singlet and triplet Cooper pairing of neighboring electrons traversing the line defect. Nontrivial topological invariants arise and occupy a large part of the parameter space, including the time reversal symmetry breaking Zeeman coupling due to applied magnetic field or defect-induced magnetism, creating TSCs in different topological classes with robust Majorana zero modes at both ends of the line defect. Beyond providing a novel mechanism for the recent discovery of zero-energy bound states at both ends of an atomic line defect in monolayer Fe(Te,Se) superconductors, the findings pave the way for new material realizations of the simplest and most robust 1D TSCs using embedded quantum structures in unconventional superconductors with large pairing energy gaps and high transition temperatures.


title: ArCOV-19: The First Arabic COVID-19 Twitter Dataset with Propagation Networks

abstract: In this paper, we present ArCOV-19, an Arabic COVID-19 Twitter dataset that spans one year, covering the period from 27th of January 2020 till 31st of January 2021. ArCOV-19 is the first publicly-available Arabic Twitter dataset covering COVID-19 pandemic that includes about 2.7M tweets alongside the propagation networks of the most-popular subset of them (i.e., most-retweeted and -liked). The propagation networks include both retweets and conversational threads (i.e., threads of replies). ArCOV-19 is designed to enable research under several domains including natural language processing, information retrieval, and social computing. Preliminary analysis shows that ArCOV-19 captures rising discussions associated with the first reported cases of the disease as they appeared in the Arab world. In addition to the source tweets and propagation networks, we also release the search queries and language-independent crawler used to collect the tweets to encourage the curation of similar datasets.


title: New precise spectroscopy of the hyperfine structure in muonium with a high-intensity pulsed muon beam

abstract: A hydrogen-like atom consisting of a positive muon and an electron is known as muonium. It is a near-ideal two-body system for a precision test of bound-state theory and fundamental symmetries. The MuSEUM collaboration performed a new precision measurement of the muonium ground-state hyperfine structure at J-PARC using a high-intensity pulsed muon beam and a high-rate capable positron counter. The resonance of hyperfine transition was successfully observed at a near-zero magnetic field, and the muonium hyperfine structure interval of ${\nu}_{\text{HFS}}$ = 4.463302(4) GHz was obtained with a relative precision of 0.9 ppm. The result was consistent with the previous ones obtained at Los Alamos National Laboratory and the current theoretical calculation. We present a demonstration of the microwave spectroscopy of muonium for future experiments to achieve the highest precision.


title: Islands in Schwarzschild black holes

abstract: We study the Page curve for asymptotically flat eternal Schwarzschild black holes in four and higher spacetime dimensions. Before the Page time, the entanglement entropy grows linearly in time. After the Page time, the entanglement entropy of a given region outside the black hole is largely modified by the emergence of an island, which extends to the outer vicinity of the event horizon. As a result, it remains a constant value which reproduces the Bekenstein-Hawking entropy, consistent with the finiteness of the von Neumann entropy for an eternal black hole.


title: Algebraic reflexivity of diameter-preserving linear bijections between $C(X)$-spaces

abstract: We prove that if $X$ and $Y$ are first countable compact Hausdorff spaces, then the set of all diameter-preserving linear bijections from $C(X)$ to $C(Y)$ is algebraically reflexive.


title: Detecting and Characterizing Extremist Reviewer Groups in Online Product Reviews

abstract: Online marketplaces often witness opinion spam in the form of reviews. People are often hired to target specific brands for promoting or impeding them by writing highly positive or negative reviews. This often is done collectively in groups. Although some previous studies attempted to identify and analyze such opinion spam groups, little has been explored to spot those groups who target a brand as a whole, instead of just products. In this paper, we collected reviews from the Amazon product review site and manually labelled a set of 923 candidate reviewer groups. The groups are extracted using frequent itemset mining over brand similarities such that users are clustered together if they have mutually reviewed (products of) a lot of brands. We hypothesize that the nature of the reviewer groups is dependent on 8 features specific to a (group, brand) pair. We develop a feature-based supervised model to classify candidate groups as extremist entities. We run multiple classifiers for the task of classifying a group based on the reviews written by the users of that group, to determine if the group shows signs of extremity. A 3-layer Perceptron based classifier turns out to be the best classifier. We further study the behaviours of such groups in detail to understand the dynamics of brand-level opinion fraud better. These behaviours include consistency in ratings, review sentiment, verified purchase, review dates and helpful votes received on reviews. Surprisingly, we observe that there are a lot of verified reviewers showing extreme sentiment, which on further investigation leads to ways to circumvent existing mechanisms in place to prevent unofficial incentives on Amazon.


title: Hypergeometric expression for the resolvent of the discrete Laplacian in low dimensions

abstract: We present an explicit formula for the resolvent of the discrete Laplacian on the square lattice, and compute its asymptotic expansions around thresholds in low dimensions. As a by-product we obtain a closed formula for the fundamental solution to the discrete Laplacian. For the proofs we express the resolvent in a general dimension in terms of the Appell--Lauricella hypergeometric function of type $C$ outside a disk encircling the spectrum. In low dimensions it reduces to a generalized hypergeometric function, for which certain transformation formulas are available for the desired expansions.


title: On the Neural Tangent Kernel of Deep Networks with Orthogonal Initialization

abstract: The prevailing thinking is that orthogonal weights are crucial to enforcing dynamical isometry and speeding up training. The increase in learning speed that results from orthogonal initialization in linear networks has been well-proven. However, while the same is believed to also hold for nonlinear networks when the dynamical isometry condition is satisfied, the training dynamics behind this contention have not been thoroughly explored. In this work, we study the dynamics of ultra-wide networks across a range of architectures, including Fully Connected Networks (FCNs) and Convolutional Neural Networks (CNNs) with orthogonal initialization via neural tangent kernel (NTK). Through a series of propositions and lemmas, we prove that two NTKs, one corresponding to Gaussian weights and one to orthogonal weights, are equal when the network width is infinite. Further, during training, the NTK of an orthogonally-initialized infinite-width network should theoretically remain constant. This suggests that the orthogonal initialization cannot speed up training in the NTK (lazy training) regime, contrary to the prevailing thoughts. In order to explore under what circumstances can orthogonality accelerate training, we conduct a thorough empirical investigation outside the NTK regime. We find that when the hyper-parameters are set to achieve a linear regime in nonlinear activation, orthogonal initialization can improve the learning speed with a large learning rate or large depth.


title: Detecting Straggler MapReduce Tasks in Big Data Processing Infrastructure by Neural Network

abstract: Straggler task detection is one of the main challenges in applying MapReduce for parallelizing and distributing large-scale data processing. It is defined as detecting running tasks on weak nodes. Considering two stages in the Map phase copy, combine and three stages of Reduce shuffle, sort and reduce, the total execution time is the total sum of the execution time of these five stages. Estimating the correct execution time in each stage that results in correct total execution time is the primary purpose of this paper. The proposed method is based on the application of a backpropagation Neural Network NN on the Hadoop for the detection of straggler tasks, to estimate the remaining execution time of tasks that is very important in straggler task detection. Results achieved have been compared with popular algorithms in this domain such as LATE, ESAMR and the real remaining time for WordCount and Sort benchmarks, and shown able to detect straggler tasks and estimate execution time accurately. Besides, it supports to accelerate task execution time.


title: Hamiltonian equations of reduced conformal geometrodynamics in extrinsic time

abstract: The reduced vacuum Hamiltonian equations of conformal geometrodynamics of compact manifolds in extrinsic time are written. This is achieved by generalizing the theorem of implicit function derivative to the functional analysis.


title: The leverage effect and other stylized facts displayed by Bitcoin returns

abstract: In this paper, we explore some stylized facts of the Bitcoin market using the BTC-USD exchange rate time series of historical intraday data from 2013 to 2020. Bitcoin presents some very peculiar idiosyncrasies, like the absence of macroeconomic fundamentals or connections with underlying assets or benchmarks, an asymmetry between demand and supply and the presence of inefficiency in the form of strong arbitrage opportunity. Nevertheless, all these elements seem to be marginal in the definition of the structural statistical properties of this virtual financial asset, which result to be analogous to general individual stocks or indices. In contrast, we find some clear differences, compared to fiat money exchange rates time series, in the values of the linear autocorrelation and, more surprisingly, in the presence of the leverage effect. We also explore the dynamics of correlations, monitoring the shifts in the evolution of the Bitcoin market. This analysis is able to distinguish between two different regimes: a stochastic process with weaker memory signatures and closer to Gaussianity between the Mt. Gox incident and the late 2015, and a dynamics with relevant correlations and strong deviations from Gaussianity before and after this interval.


title: Review of LoRaWAN Applications

abstract: This paper presents a systematic review of LoRaWAN applications. We analyzed 71 cases of application, with a focus on deploy and challenges faced. The review summarizes the characteristics of the network protocol and shows applications in the context of smart cities, smart grids, smart farms, health, location, industry, and military. Finally, this article analyzes some security issues.


title: Eigenvalue processes of Elliptic Ginibre Ensemble and their Overlaps

abstract: We consider the non-hermitian matrix-valued process of Elliptic Ginibre ensemble. This model includes Dyson's Brownian motion model and the time evolution model of Ginibre ensemble by using hermiticity parameter. We show the complex eigenvalue processes satisfy the stochastic differential equations which are very similar to Dyson's model and give an explicit form of overlap correlations. As a corollary, in the case of 2-by-2 matrix, we also mention the relation between the diagonal overlap, which is the speed of eigenvalues, and the distance of the two eigenvalues.


title: Analysis of The Ratio of $\ell_1$ and $\ell_2$ Norms in Compressed Sensing

abstract: We first propose a novel criterion that guarantees that an $s$-sparse signal is the local minimizer of the $\ell_1/\ell_2$ objective; our criterion is interpretable and useful in practice. We also give the first uniform recovery condition using a geometric characterization of the null space of the measurement matrix, and show that this condition is easily satisfied for a class of random matrices. We also present analysis on the robustness of the procedure when noise pollutes data. Numerical experiments are provided that compare $\ell_1/\ell_2$ with some other popular non-convex methods in compressed sensing. Finally, we propose a novel initialization approach to accelerate the numerical optimization procedure. We call this initialization approach \emph{support selection}, and we demonstrate that it empirically improves the performance of existing $\ell_1/\ell_2$ algorithms.


title: Wavelet series representation for multifractional multistable Riemann-Liouville process

abstract: The main goal of this paper is to construct a wavelet-type random series representation for a random field $X$, defined by a multistable stochastic integral, which generates a multifractional multistable Riemann-Liouville (mmRL) process $Y$. Such a representation provides, among other things, an efficient method of simulation of paths of $Y$. In order to obtain it, we expand in the Haar basis the integrand associated with $X$ and we use some fundamental properties of multistable stochastic integrals. Then, thanks to the Abel's summation rule and the Doob's maximal inequality for discrete submartingales, we show that this wavelet-type random series representation of $X$ is convergent in a strong sense: almost surely in some spaces of continuous functions. Also, we determine an estimate of its almost sure rate of convergence in these spaces.


title: Optimizing Reachability Sets in Temporal Graphs by Delaying

abstract: A temporal graph is a dynamic graph where every edge is assigned a set of integer time labels that indicate at which discrete time step the edge is available. In this paper, we study how changes of the time labels, corresponding to delays on the availability of the edges, affect the reachability sets from given sources. The questions about reachability sets are motivated by numerous applications of temporal graphs in network epidemiology, which aim to minimise the spread of infection, and scheduling problems in supply networks in manufacturing with the opposite objectives of maximising coverage and productivity. We introduce control mechanisms for reachability sets that are based on two natural operations of delaying. The first operation, termed merging, is global and batches together consecutive time labels into a single time label in the whole network simultaneously. This corresponds to postponing all events until a particular time. The second, imposes independent delays on the time labels of every edge of the graph. We provide a thorough investigation of the computational complexity of different objectives related to reachability sets when these operations are used. For the merging operation, i.e. global lockdown effect, we prove NP-hardness results for several minimization and maximization reachability objectives, even for very simple graph structures. For the second operation, independent delays, we prove that the minimization problems are NP-hard when the number of allowed delays is bounded. We complement this with a polynomial-time algorithm for minimising the reachability set in case of unbounded delays.


title: Bibliometric Analysis of Agile Software Development

abstract: Agile methodologies are currently considered one of the main paradigms of software development. Its study, from a scientific point of view, has deserved prominence in recent years by the scientific community related to the area of software engineering. This study intends to perform a bibliometric analysis of the quantity, characteristics and scope of the most relevant studies published in this area of knowledge. The findings indicate that the number of studies published from 2010 to 2016 significantly increased, having reached a peak in 2015. The study identifies the main journals and conferences in the field and we also concluded that the majority of published studies are literature reviews of agile software development, and qualitative and quantitative research methods have identical number of publications.


title: EMC effect, few-nucleon systems and Poincar\'e covariance

abstract: An approach for a Poincar\'e covariant description of nuclear structure and of lepton scattering off nuclei is proposed within the relativistic Hamiltonian dynamics in the light-front form. Indeed a high level of accuracy is needed for a comparison with the increasingly precise present and future experimental data at high momentum transfer. Therefore, to distinguish genuine QCD effects or effects of medium modified nucleon structure functions from conventional nuclear structure effects, the commutation rules between the Poincar\'e generators should be satisfied. For the first time in this paper a proper hadronic tensor for inclusive deep inelastic scattering of electrons off nuclei is derived in the impulse approximation in terms of the single nucleon hadronic tensor. Our approach is based : i) on a light-front spectral function for nuclei, obtained taking advantage of the successful non-relativistic knowledge of nuclear interaction, and ii) on the free current operator that, if defined in the Breit reference frame with the momentum transfer, $\bf q$, parallel to the $z$ axis, fulfills Poincar\'e covariance and current conservation. Our results can be generalized : i) to exclusive processes or to semi-inclusive deep inelastic scattering processes; ii) to the case where the final state interaction is considered through a Glauber approximation; iii) to finite momentum transfer kinematics. As a first test, the hadronic tensor is applied to obtain the nuclear structure function F$_2^A$ and to evaluate the EMC effect for $^3He$ in the Bjorken limit. Encouraging results including only the two-body part of the light-front spectral function are presented.


title: In the Eye of the Beholder? Detecting Creativity in Visual Programming Environments

abstract: Visual programming environments are increasingly part of the curriculum in schools. Their potential for promoting creative thinking of students is an important factor in their adoption. However, there does not exist a standard approach for detecting creativity in students' programming behavior, and analyzing programs manually requires human expertise and is time consuming. This work provides a computational tool for measuring creativity in visual programming that combines theory from the literature with data mining approaches. It adapts the classical dimensions of creative processes to our setting, as well as considering new aspects such as visual elements of the projects. We apply this approach to the Scratch programming environment, measuring the creativity score of hundreds of projects. We show that current metrics of computational thinking in Scratch fail to capture important aspects of creativity, such as the visual artifacts of projects. Interviews conducted with Scratch teachers validate our approach.


title: Non-evident stability of a Dirac field in Schwarzschild-de Sitter spacetime

abstract: Perturbations of the Dirac field in the Schwarzschild spacetime are characterized by two wave equations (for two chiralities) with effective potentials which are iso-spectral and one of which is positive definite. Therefore, the stability of a Dirac field in the Schwarzschild background is straightforward. This is not so for the Schwarzschild-de Sitter case, because potentials for both chiralities have negative gaps and the fact that the stability is not automatically guaranteed in the asymptotically de Sitter case was apparently omitted in the literature. Performing the time-domain integration of the wave equations and, thereby, taking into consideration all the quasinormal modes of the spectrum, we demonstrate stability of the Dirac field in the Schwarzschild-de Sitter spacetime. The analysis of stability is extended also to the Reissner-Nordstrom-de Sitter solution.


title: SecureIT using Firebase, Google map and Node.Js

abstract: This paper is about describing the features of a software that was developed for its user safety which we called SecureIT is a android based soft ware using Android SDK along with Firebase and Google map SDK along with Node.Js. The aim of developing this project was to make sure and taking its users safety to a next level. Actually now a days some crime incidents like rapes, fire accidents and snatchings are very common and we believe many of those can be prevented if victim got support at the right time. According to the well known daily news paper of Bangladesh The Daily Star there were about 1413 women was rapped where 76 women were dead in 2019. On the same pa-per it also said that in 2018 and 2017 the number of rapes were 732 and 818 where we can easily get that the number increases to almost double in 2019. Where we get a point that if those girls get support or get people known about their location at the right time they might get rid of the situation and the number of rapes could be reduced a lot because we all know that now a days using mo-bile smartphone is too easy for people. Although leading Chinese mobile phone company Xiaomi introduced a new feature Emergency SOS service in their mobile phones at the end of 2018 with a MIUI 10 update but this feature is only limited to the Xiaomi phones and it was well advertised as well. This paper will briefly describe all the features of our software and its usages.


title: Proposed ultra wide-band tunable THz RT lasers based on momentum space negative conductivity under electron streaming in hNB-graphene sandwiches

abstract: Observations of terahertz loss to gain switching in transmission through gates on biased graphene sandwiches are explained by response under electron streaming in graphene. Basing on this consideration the terahertz source is proposed consisting of silicon resonator placed on the sandwich with current flow in graphene. It should provide tunable by bias emission in wide terahertz band. The source is direct terahertz analog of tunable microwave laser demonstrated.


title: Explicit isometric embeddings of pseudo-Riemannian manifolds: ideas and applications

abstract: We study the problem of construction of explicit isometric embeddings of (pseudo)-Riemannian manifolds. We discuss the method which is based in the idea that the exterior symmetry of the embedded surface and the interior symmetry of the metric on it must be the same. In case of high enough symmetry of the metric such method allows to transform the metric inducedness condition, which is the one to be solved in order to construct an embedding, into a system of ODEs. It turns out that this method can be generalized to allow the surface to have lower symmetry as long as the above simplification occurs. This generalization can be of use in the construction of embeddings for metrics whose symmetry group is hard to analyze, as well for the construction of isometrically deformed (bended) surface. We give some examples of application of this method. In particular, we construct the embedding of spatially-flat Friedmann model and isometric bendings of sphere, 3-sphere and squashed AdS universe, which is connected to the Godel universe.


title: A Simple Randomized $O(n \log n)$--Time Closest-Pair Algorithm in Doubling Metrics

abstract: Consider a metric space $(P,dist)$ with $N$ points whose doubling dimension is a constant. We present a simple, randomized, and recursive algorithm that computes, in $O(N \log N)$ expected time, the closest-pair distance in $P$. To generate recursive calls, we use previous results of Har-Peled and Mendel, and Abam and Har-Peled for computing a sparse annulus that separates the points in a balanced way.


title: Adversarial Weight Perturbation Helps Robust Generalization

abstract: The study on improving the robustness of deep neural networks against adversarial examples grows rapidly in recent years. Among them, adversarial training is the most promising one, which flattens the input loss landscape (loss change with respect to input) via training on adversarially perturbed examples. However, how the widely used weight loss landscape (loss change with respect to weight) performs in adversarial training is rarely explored. In this paper, we investigate the weight loss landscape from a new perspective, and identify a clear correlation between the flatness of weight loss landscape and robust generalization gap. Several well-recognized adversarial training improvements, such as early stopping, designing new objective functions, or leveraging unlabeled data, all implicitly flatten the weight loss landscape. Based on these observations, we propose a simple yet effective Adversarial Weight Perturbation (AWP) to explicitly regularize the flatness of weight loss landscape, forming a double-perturbation mechanism in the adversarial training framework that adversarially perturbs both inputs and weights. Extensive experiments demonstrate that AWP indeed brings flatter weight loss landscape and can be easily incorporated into various existing adversarial training methods to further boost their adversarial robustness.


title: Towards an explicit construction of de Sitter solutions in classical supergravity

abstract: We revisit the stringy construction of four-dimensional de-Sitter solutions using orientifolds O$8_{\pm}$, proposed by C\'ordova et al. arXiv:1911.04498. While the original analysis of the supergravity equations is largely numerical, we obtain semi-analytic solutions by treating the curvature as a perturbative parameter. At each order we verify that the (permissive) boundary conditions at the orientifolds are satisfied. To illustrate the advantage of our result, we calculate the four-dimensional Newton constant as a function of the cosmological constant. We also discuss how the discontinuities at O$8_-$ can be accounted for in terms of corrections to the worldvolume action.


title: An implementation of an imitation game with ASD children to learn nursery rhymes

abstract: Previous studies have suggested that being imitated by an adult is an effective intervention with children with autism and developmental delay. The purpose of this study is to investigate if an imitation game with a robot can arise interest from children and constitute an effective tool to be used in clinical activities. In this paper, we describe the design of our nursery rhyme imitation game, its implementation based on RGB image pose recognition and the preliminary tests we performed.


title: Frequency-Guided Word Substitutions for Detecting Textual Adversarial Examples

abstract: Recent efforts have shown that neural text processing models are vulnerable to adversarial examples, but the nature of these examples is poorly understood. In this work, we show that adversarial attacks against CNN, LSTM and Transformer-based classification models perform word substitutions that are identifiable through frequency differences between replaced words and their corresponding substitutions. Based on these findings, we propose frequency-guided word substitutions (FGWS), a simple algorithm exploiting the frequency properties of adversarial word substitutions for the detection of adversarial examples. FGWS achieves strong performance by accurately detecting adversarial examples on the SST-2 and IMDb sentiment datasets, with F1 detection scores of up to 91.4% against RoBERTa-based classification models. We compare our approach against a recently proposed perturbation discrimination framework and show that we outperform it by up to 13.0% F1.


title: Properties of environment around AGN and luminous galaxy pairs through HSC wide survey

abstract: We investigated the properties of AGN environments, particularly environments where the association of luminous galaxies (LGs) is found within 4~Mpc from AGNs with redshifts of 0.8 -- 1.1. For comparison, three additional AGN environments, (namely, AGNs of all types, type~1 AGNs with X-ray and/or radio detection, and type~2 AGNs) and an environment of blue $M_{*}$, characteristic luminosity of the Schechter function, galaxies were investigated. The cross-correlation function with the surrounding galaxies was measured and compared between the AGN and blue galaxy samples. We also compared the distributions of color, absolute magnitude, and stellar mass of the galaxies around such target objects. The properties of clusters detected using surrounding galaxies selected based on a photometric redshift were examined and compared for different samples. The target AGNs were drawn from the Million Quasars (MILLIQUAS) catalog, and the blue galaxies were drawn from six redshift survey catalogs (SDSS, WiggleZ, DEEP2, VVDS, VIPERS, and PRIMUS). The galaxies used as a measure of the environment around the targets are drawn from S18a internal data released by the Hyper Suprime-Cam Subaru Strategic Program (HSC-SSP). We found that, among the five AGN and blue galaxy samples considered, the environment of AGN-LG pairs is the most enriched with luminous galaxies. We also found an enhancement in the number of mass-selected clusters in the AGN-LG pair sample against those in the other samples. The results obtained in this study indicate that existence of multiple clusters is the major driver in the association of AGNs and LGs, rather than a single large-mass dark matter halo hosting the AGN.


title: New Results on Generalization of Jordan centralizers over matrix rings

abstract: This paper presents a study on Jordan maps over matrix rings with some functional equations related to additive maps on these rings. We first show that every Jordan left (right) centralizer over a matrix ring is a left (right) centralizer. Moreover, every two-sided centralizer over the matrix ring is of a particular form. Further, we prove that any additive map satisfying functional equations over matrix rings becomes a two-sided centralizer. Finally, we conclude our work with some results on the Jordan left $\star$- centralizer over matrix rings and establish some results on functional equations that arise for the $\star$-centralizer.


title: A cavity optomechanical locking scheme based on the optical spring effect

abstract: We present a novel locking scheme for active length-stabilization and frequency detuning of a cavity optomechanical device based on the optical spring effect. The scheme can be used as an alternative to the Pound-Drever-Hall locking technique but in contrast doesn't require signal processing on time-scales of the cavity decay rate. It is therefore particularly suited for stabilizing micro cavities, where this time-scale can be extremely fast. The error signal is generated through the optical spring effect, i.e. the detuning-dependent frequency-shift of a nanomechanical oscillator that is dispersively coupled to the intra-cavity light field. We explain the functional principle of the lock and characterize its performance in terms of bandwidth and gain profile. The optical spring locking scheme can be implemented without larger efforts in a wide variety of optomechanical systems in the unresolved sideband regime.


title: Monte Carlo Modeling of Terahertz Quantum Cascade Detectors

abstract: We demonstrate an Ensemble Monte Carlo (EMC) modeling approach for robust and rigorous simulations of photovoltaic quantum cascade detectors (QCDs) in the mid-infrared (mid-IR) and terahertz (THz) range. The existing EMC simulation tool for quantum cascade lasers (QCLs) was extended to simulate the photovoltaic transport effects in QCDs at thermal equilibrium under zero bias. Here, we present the results of the EMC study of a THz detector design with a detection wavelength of 84 $\mu$m. The simulation results show good agreement with experimental data. For a temperature of 10 K we obtain a peak responsivity of 9.4 mA/W.


title: Computers in Secondary Schools: Educational Games

abstract: This entry introduces educational games in secondary schools. Educational games include three main types of educational activities with a playful learning intention supported by digital technologies: educational serious games, educational gamification, and learning through game creation. Educational serious games are digital games that support learning objectives. Gamification is defined as the use of "game design elements and game thinking in a non-gaming context" (Deterding et al. 2011, p. 13). Educational gamification is not developed through a digital game but includes game elements for supporting the learning objectives. Learning through game creation is focused on the process of designing and creating a prototype of a game to support a learning process related to the game creation process or the knowledge mobilized through the game creation process. Four modalities of educational games in secondary education are introduced in this entry to describe educational games in secondary education: educational purpose of entertainment games, serious games, gamification, and game design.


title: A hybrid moment method for multi-scale kinetic equations based on maximum entropy principle

abstract: We propose a hybrid moment method for the multi-scale kinetic equations in the framework of the regularized moment method [7]. In this method, the fourth order moment system is chosen as the governing equations in the fluid region. When transiting from the fluid regime to the kinetic regime, the maximum entropy principle is adopted to reconstruct the kinetic distribution function, so that the information in the fluid region can be utilized thoroughly. Moreover, only one uniform set of numerical scheme is needed for both the fluid and kinetic regions. Numerical tests show the high efficiency of this new hybrid method.


title: What You See and What You Don't See: The Hidden Moments of a Probability Distribution

abstract: Empirical distributions have their in-sample maxima as natural censoring. We look at the "hidden tail", that is, the part of the distribution in excess of the maximum for a sample size of $n$. Using extreme value theory, we examine the properties of the hidden tail and calculate its moments of order $p$. The method is useful in showing how large a bias one can expect, for a given $n$, between the visible in-sample mean and the true statistical mean (or higher moments), which is considerable for $\alpha$ close to 1. Among other properties, we note that the "hidden" moment of order $0$, that is, the exceedance probability for power law distributions, follows an exponential distribution and has for expectation $\frac{1}{n}$ regardless of the parametrization of the scale and tail index.


title: What did we learn from forty years of research on semantic interference? A Bayesian metaanalysis

abstract: When participants in an experiment have to name pictures while ignoring distractor words superimposed on the picture or presented auditorily (i.e., picture-word interference paradigm), they take more time when the word to be named (or target) and distractor words are from the same semantic category (e.g., cat-dog). This experimental effect is known as the semantic interference effect, and is probably one of the most studied in the language production literature. The functional origin of the effect and the exact conditions in which it occurs are however still debated. Since Lupker reported the effect in the first response time experiment about 40 years ago, more than 300 similar experiments have been conducted. The semantic interference effect was replicated in many experiments, but several studies also reported the absence of an effect in a subset of experimental conditions. The aim of the present study is to provide a comprehensive theoretical review of the existing evidence to date and several Bayesian meta-analyses and meta-regressions to determine the size of the effect and explore the experimental conditions in which the effect surfaces. The results are discussed in the light of current debates about the functional origin of the semantic interference effect and its implications for our understanding of the language production system.


title: Estimating The Dimension Of The Subfield Subcodes of Hermitian Codes

abstract: In this paper, we study the behavior of the true dimension of the subfield subcodes of Hermitian codes. Our motivation is to use these classes of linear codes to improve the parameters of the McEliece cryptosystem, such that key size and security level. The McEliece scheme is one of the promising alternative cryptographic schemes to the current public key schemes since in the last four decades, they resisted all known quantum computing attacks. By analyzing computational data series of true dimension, we concluded that they can be estimated by the extreme value distribution function.


title: The vanishing water/oil interface in the presence of antagonistic salt

abstract: Antagonistic salts are salts which consist of hydrophilic and hydrophobic ions. In a binary mixture of water and organic solvent, these ions preferentially dissolve into different phases. We investigate the effect of an antagonistic salt, tetraphenylphosphonium chloride PPh$_4$Cl, in a mixture of water and 2,6-lutidine by means of Molecular Dynamics (MD) Simulations. For increasing concentrations of the salt the two-phase region is shrunk and the interfacial tension in reduced, in contrast to what happens when a normal salt is added to such a mixture. The MD simulations allow us to investigate in detail the mechanism behind the reduction of the surface tension. We obtain the ion and composition distributions around the interface and determine the hydrogen bonds in the system and conclude that the addition of salt alter the hydrogen bonding.


title: Exposing Hardware Building Blocks to Machine Learning Frameworks

abstract: There are a plethora of applications that demand high throughput and low latency algorithms leveraging machine learning methods. This need for real time processing can be seen in industries ranging from developing neural network based pre-distortors for enhanced mobile broadband to designing FPGA-based triggers in major scientific efforts by CERN for particle physics. In this thesis, we explore how niche domains can benefit vastly if we look at neurons as a unique boolean function of the form $f:B^{I} \rightarrow B^{O}$, where $B = \{0,1\}$. We focus on how to design topologies that complement such a view of neurons, how to automate such a strategy of neural network design, and inference of such networks on Xilinx FPGAs. Major hardware borne constraints arise when designing topologies that view neurons as unique boolean functions. Fundamentally, realizing such topologies on hardware asserts a strict limit on the 'fan-in' bits of a neuron due to the doubling of permutations possible with every increment in input bit-length. We address this limit by exploring different methods of implementing sparsity and explore activation quantization. Further, we develop a library that supports training a neural network with custom sparsity and quantization. This library also supports conversion of trained Sparse Quantized networks from PyTorch to VERILOG code which is then synthesized using Vivado, all of which is part of the LogicNet tool-flow. To aid faster prototyping, we also support calculation of the worst-case hardware cost of any given topology. We hope that our insights into the behavior of extremely sparse quantized neural networks are of use to the research community and by extension allow people to use the LogicNet design flow to deploy highly efficient neural networks.


title: Deriving Milnor's theorem on pullback rings

abstract: The classical theorem of Milnor on pullback rings states that the category of projective modules over a pullback ring is equivalent to a certain category of gluing triples consisting of projective modules. We prove an analogous result on the level of derived categories, where the equivalence has to be replaced by an epivalence.


title: Gelfand pairs involving the wreath product of finite abelian groups with symmetric groups

abstract: It is well known that the pair $(\mathcal{S}_n,\mathcal{S}_{n-1})$ is a Gelfand pair where $\mathcal{S}_n$ is the symmetric group on $n$ elements. In this paper, we prove that if $G$ is a finite group then $(G\wr \mathcal{S}_n, G\wr \mathcal{S}_{n-1}),$ where $G\wr \mathcal{S}_n$ is the wreath product of $G$ by $\mathcal{S}_n,$ is a Gelfand pair if and only if $G$ is abelian.


title: Robust linear-scaling optimization of compact localized orbitals in density functional theory

abstract: Locality of compact one-electron orbitals expanded strictly in terms of local subsets of basis functions can be exploited in density functional theory (DFT) to achieve linear growth of computation time with systems size, crucial in large-scale simulations. However, despite advantages of compact orbitals the development of practical orbital-based linear-scaling DFT methods has long been hindered because a compact representation of the electronic ground state is difficult to find in a variational optimization procedure. In this work, we show that the slow and unstable optimization of compact orbitals originates from the nearly-invariant mixing of compact orbitals that are mostly but not completely localized within the same subsets of basis functions. We also construct an approximate Hessian that can be used to identify the problematic nearly-invariant modes and obviate the variational optimization along them without introducing significant errors into the computed energies. This enables us to create a linear-scaling DFT method with a low computational overhead that is demonstrated to be efficient and accurate in fixed-nuclei calculations and molecular dynamics simulations of semiconductors and insulators.


title: On the wrapped Fukaya category and the loop space of Lagrangians in a Liouville manifold

abstract: We introduce an $A_\infty$ map from the cubical chain complex of the based loop space of Lagrangian submanifolds with Legendrian boundary in a Liouville Manifold $C_{*}(\Omega_{L} \mathcal{L}\mathit{ag})$ to wrapped Floer cohomology of Lagrangian submanifold $\mathcal{CW}^{-*}(L,L)$. In the case of a cotangent bundle and a Lagrangian co-fiber, the composition of our map with a previously constructed map from $\mathcal{CW}^*(L,L) \to C_{*}(\Omega_q Q) $ shows that this map is split surjective.


title: Growth of quadratic forms under Anosov subgroups

abstract: Let $\rho:\Gamma\rightarrow PSL_d(\mathbb{K})$ be a Zariski dense Borel-Anosov representation, for $\mathbb{K}$ equal to $\mathbb{R}$ or $\mathbb{C}$. Let $o$ be a form of signature $(p,d-p)$ on $\mathbb{K}^d$ (where $0<p<d)$. Let $\mathsf{S}^o$ be the corresponding geodesic copy of the Riemannian symmetric space of $PSO(o)$, inside the Riemannian symmetric space of $PSL_d(\mathbb{K})$. For certain choices of $o$ and every $t$ large enough, we show exponential bounds for the number of $\gamma\in\Gamma$ for which the distance between $\mathsf{S}^o$ and $\rho\gamma\cdot\mathsf{S}^o$ is smaller than $t$. Under an extra assumption, satisfied for instance when the boundary of $\Gamma$ is connected, we show an asymptotic as $t\rightarrow\infty$ for the counting function relative to a functional in the interior of the dual limit cone.


title: Return to basics: Clustering of scientific literature using structural information

abstract: Scholars frequently employ relatedness measures to estimate the similarity between two different items (e.g., documents, authors, and institutes). Such relatedness measures are commonly based on overlapping references ($\textit{i.e.}$, bibliographic coupling) or citations ($\textit{i.e.}$, co-citation) and can then be used with cluster analysis to find boundaries between research fields. Unfortunately, calculating a relatedness measure is challenging, especially for a large number of items, because the computational complexity is greater than linear. We propose an alternative method for identifying the research front that uses direct citation inspired by relatedness measures. Our novel approach simply replicates a node into two distinct nodes: a citing node and cited node. We then apply typical clustering methods to the modified network. Clusters of citing nodes should emulate those from the bibliographic coupling relatedness network, while clusters of cited nodes should act like those from the co-citation relatedness network. In validation tests, our proposed method demonstrated high levels of similarity with conventional relatedness-based methods. We also found that the clustering results of proposed method outperformed those of conventional relatedness-based measures regarding similarity with natural language processing--based classification.


title: Relativistic corrections to the rotation curves of disk galaxies

abstract: We present a method to investigate relativistic effects arising from large masses. The method is non-perturbative and employs a mean-field approximation and gravitational lensing. Using this method and a basic model of disk galaxy, we find that relativistic corrections to the rotation curves of disk galaxies are significant at large galactic radii. The model predicts a strong correlation between the inferred galactic dark mass and the galactic disk thickness, which we verified using two separate sets of observational data.


title: The differential Galois group of the rational function field

abstract: We determine the absolute differential Galois group of the field $\mathbb{C}(x)$ of rational functions: It is the free proalgebraic group on a set of cardinality $|\mathbb{C}|$. This solves a longstanding open problem posed by B.H. Matzat. For the proof we develop a new characterization of free proalgebraic groups in terms of split embedding problems, and we use patching techniques in order to solve a very general class of differential embedding problems. Our result about $\mathbb{C}(x)$ also applies to rational function fields over more general fields of coefficients.


title: Counting in times of fake fields

abstract: These are notes of a talk, given at the 'arithmetique en plat pays'-meeting in february 2020, on the potential uses of geometries over the fake field $\mathbb{F}_1$ to zeta functions and counting measures on motives.


title: Unsupervised Facial Action Unit Intensity Estimation via Differentiable Optimization

abstract: The automatic intensity estimation of facial action units (AUs) from a single image plays a vital role in facial analysis systems. One big challenge for data-driven AU intensity estimation is the lack of sufficient AU label data. Due to the fact that AU annotation requires strong domain expertise, it is expensive to construct an extensive database to learn deep models. The limited number of labeled AUs as well as identity differences and pose variations further increases the estimation difficulties. Considering all these difficulties, we propose an unsupervised framework GE-Net for facial AU intensity estimation from a single image, without requiring any annotated AU data. Our framework performs differentiable optimization, which iteratively updates the facial parameters (i.e., head pose, AU parameters and identity parameters) to match the input image. GE-Net consists of two modules: a generator and a feature extractor. The generator learns to "render" a face image from a set of facial parameters in a differentiable way, and the feature extractor extracts deep features for measuring the similarity of the rendered image and input real image. After the two modules are trained and fixed, the framework searches optimal facial parameters by minimizing the differences of the extracted features between the rendered image and the input image. Experimental results demonstrate that our method can achieve state-of-the-art results compared with existing methods.


title: kDecay: Just adding k-decay items on Learning-Rate Schedule to improve Neural Networks

abstract: Recent work has shown that optimizing the Learning Rate (LR) schedule can be a very accurate and efficient way to train deep neural networks. We observe that the rate of change (ROC) of LR has correlation with the training process, but how to use this relationship to control the training to achieve the purpose of improving accuracy? We propose a new method, k-decay, just add an extra item to the commonly used and easy LR schedule(exp, cosine and polynomial), is effectively improves the performance of these schedule, also better than the state-of-the-art algorithms of LR shcedule such as SGDR, CLR and AutoLRS. In the k-decay, by adjusting the hyper-parameter \(k\), to generate different LR schedule, when k increases, the performance is improved. We evaluate the k-decay method on CIFAR And ImageNet datasets with different neural networks (ResNet, Wide ResNet). Our experiments show that this method can improve on most of them. The accuracy has been improved by 1.08\% on the CIFAR-10 dataset and by 2.07 \% on the CIFAR-100 dataset. On the ImageNet, accuracy is improved by 1.25\%. Our method is not only a general method to be applied other LR Shcedule, but also has no additional computational cost.


title: Training few-shot classification via the perspective of minibatch and pretraining

abstract: Few-shot classification is a challenging task which aims to formulate the ability of humans to learn concepts from limited prior data and has drawn considerable attention in machine learning. Recent progress in few-shot classification has featured meta-learning, in which a parameterized model for a learning algorithm is defined and trained to learn the ability of handling classification tasks on extremely large or infinite episodes representing different classification task, each with a small labeled support set and its corresponding query set. In this work, we advance this few-shot classification paradigm by formulating it as a supervised classification learning problem. We further propose multi-episode and cross-way training techniques, which respectively correspond to the minibatch and pretraining in classification problems. Experimental results on a state-of-the-art few-shot classification method (prototypical networks) demonstrate that both the proposed training strategies can highly accelerate the training process without accuracy loss for varying few-shot classification problems on Omniglot and miniImageNet.


title: Simulation and experimental observation of tunable photonic nanojet and photonic hook upon asymmetric illumination of a mesoscale cylinder with mask

abstract: In this letter, we report on numerical study, fabrication and experimental observations of tunable photonic nanojet and photonic hook. Here, the curved photonic nanojets (photonic hooks) are generated by single mesoscale microcylinder that we fabricated from polydimethylsiloxane (PDMS), upon its boundary illumination and adjustable area at an incident wavelength of {\lambda} = 405 nm. Experimental observations were conducted for PDMS microcylinder of diameter d = 5 {\mu}m deposited on a silicon substrate with the aluminum mask. Measurements were performed with a scanning optical microscope. Our experimental results are in good agreement with numerical predictions performed with the finite-difference time-domain method. The observed the full widths at half-maximum of photonic hooks are 0.48{\lambda}, 0.56{\lambda}, and 0.76{\lambda} for tilt angles of {\theta} = 0{\deg}, 5.7{\deg}, and 20.1{\deg} respectively, at the mask heights of h = 0, 0.25d and 0.5d, respectively, displaying the specificities of the field localization. These photonic hooks have great potential in complex manipulation such as super-resolution imaging, surface fabrication, and optomechanical manipulation in curved trajectories smaller than wavelength.


title: Towards GANs' Approximation Ability

abstract: Generative adversarial networks (GANs) have attracted intense interest in the field of generative models. However, few investigations focusing either on the theoretical analysis or on algorithm design for the approximation ability of the generator of GANs have been reported. This paper will first theoretically analyze GANs' approximation property. Similar to the universal approximation property of the fully connected neural networks with one hidden layer, we prove that the generator with the input latent variable in GANs can universally approximate the potential data distribution given the increasing hidden neurons. Furthermore, we propose an approach named stochastic data generation (SDG) to enhance GANs'approximation ability. Our approach is based on the simple idea of imposing randomness through data generation in GANs by a prior distribution on the conditional probability between the layers. SDG approach can be easily implemented by using the reparameterization trick. The experimental results on synthetic dataset verify the improved approximation ability obtained by this SDG approach. In the practical dataset, four GANs using SDG can also outperform the corresponding traditional GANs when the model architectures are smaller.


title: Blind Adversarial Pruning: Balance Accuracy, Efficiency and Robustness

abstract: With the growth of interest in the attack and defense of deep neural networks, researchers are focusing more on the robustness of applying them to devices with limited memory. Thus, unlike adversarial training, which only considers the balance between accuracy and robustness, we come to a more meaningful and critical issue, i.e., the balance among accuracy, efficiency and robustness (AER). Recently, some related works focused on this issue, but with different observations, and the relations among AER remain unclear. This paper first investigates the robustness of pruned models with different compression ratios under the gradual pruning process and concludes that the robustness of the pruned model drastically varies with different pruning processes, especially in response to attacks with large strength. Second, we test the performance of mixing the clean data and adversarial examples (generated with a prescribed uniform budget) into the gradual pruning process, called adversarial pruning, and find the following: the pruned model's robustness exhibits high sensitivity to the budget. Furthermore, to better balance the AER, we propose an approach called blind adversarial pruning (BAP), which introduces the idea of blind adversarial training into the gradual pruning process. The main idea is to use a cutoff-scale strategy to adaptively estimate a nonuniform budget to modify the AEs used during pruning, thus ensuring that the strengths of AEs are dynamically located within a reasonable range at each pruning step and ultimately improving the overall AER of the pruned model. The experimental results obtained using BAP for pruning classification models based on several benchmarks demonstrate the competitive performance of this method: the robustness of the model pruned by BAP is more stable among varying pruning processes, and BAP exhibits better overall AER than adversarial pruning.


title: Blind Adversarial Training: Balance Accuracy and Robustness

abstract: Adversarial training (AT) aims to improve the robustness of deep learning models by mixing clean data and adversarial examples (AEs). Most existing AT approaches can be grouped into restricted and unrestricted approaches. Restricted AT requires a prescribed uniform budget to constrain the magnitude of the AE perturbations during training, with the obtained results showing high sensitivity to the budget. On the other hand, unrestricted AT uses unconstrained AEs, resulting in the use of AEs located beyond the decision boundary; these overestimated AEs significantly lower the accuracy on clean data. These limitations mean that the existing AT approaches have difficulty in obtaining a comprehensively robust model with high accuracy and robustness when confronting attacks with varying strengths. Considering this problem, this paper proposes a novel AT approach named blind adversarial training (BAT) to better balance the accuracy and robustness. The main idea of this approach is to use a cutoff-scale strategy to adaptively estimate a nonuniform budget to modify the AEs used in the training, ensuring that the strengths of the AEs are dynamically located in a reasonable range and ultimately improving the overall robustness of the AT model. The experimental results obtained using BAT for training classification models on several benchmarks demonstrate the competitive performance of this method.


title: A Survey on Impact of Transient Faults on BNN Inference Accelerators

abstract: Over past years, the philosophy for designing the artificial intelligence algorithms has significantly shifted towards automatically extracting the composable systems from massive data volumes. This paradigm shift has been expedited by the big data booming which enables us to easily access and analyze the highly large data sets. The most well-known class of big data analysis techniques is called deep learning. These models require significant computation power and extremely high memory accesses which necessitate the design of novel approaches to reduce the memory access and improve power efficiency while taking into account the development of domain-specific hardware accelerators to support the current and future data sizes and model structures.The current trends for designing application-specific integrated circuits barely consider the essential requirement for maintaining the complex neural network computation to be resilient in the presence of soft errors. The soft errors might strike either memory storage or combinational logic in the hardware accelerator that can affect the architectural behavior such that the precision of the results fall behind the minimum allowable correctness. In this study, we demonstrate that the impact of soft errors on a customized deep learning algorithm called Binarized Neural Network might cause drastic image misclassification. Our experimental results show that the accuracy of image classifier can drastically drop by 76.70% and 19.25% in lfcW1A1 and cnvW1A1 networks,respectively across CIFAR-10 and MNIST datasets during the fault injection for the worst-case scenarios


title: Telling BERT's full story: from Local Attention to Global Aggregation

abstract: We take a deep look into the behavior of self-attention heads in the transformer architecture. In light of recent work discouraging the use of attention distributions for explaining a model's behavior, we show that attention distributions can nevertheless provide insights into the local behavior of attention heads. This way, we propose a distinction between local patterns revealed by attention and global patterns that refer back to the input, and analyze BERT from both angles. We use gradient attribution to analyze how the output of an attention attention head depends on the input tokens, effectively extending the local attention-based analysis to account for the mixing of information throughout the transformer layers. We find that there is a significant discrepancy between attention and attribution distributions, caused by the mixing of context inside the model. We quantify this discrepancy and observe that interestingly, there are some patterns that persist across all layers despite the mixing.


title: Bogoliubov-de Gennes theory of the "snake" instability of gray solitons in higher dimensions

abstract: Gray solitons are a one-parameter family of solutions to the one-dimensional non-linear Schr\"odinger equation (NLSE) with positive cubic nonlinearity, as found in repulsively interacting dilute Bose-Einstein condensates or electromagnetic waves in the visible spectrum in waveguides described by Gross-Pitaevskii mean field theory. In two dimensions these solutions to the NLSE appear as a line or plane of depressed condensate density or light intensity, but numerical solutions show that this line is dynamically unstable to `snaking': the initially straight line of density or intensity minimum undulates with exponentially growing amplitude. To assist future studies of quantum mechanical instability beyond mean field theory, we here pursue an approximate analytical description of the snake instability within Bogoliubov-de Gennes perturbation theory. Within this linear approximation the two-dimensional result applies trivially to three dimensions as well, describing buckling modes of the low-density plane. We extend the analytical results of Kuznetsov and Turitsyn [Sov. Phys. JETP \textbf{67}, 1583 (1988)] to shorter wavelengths of the `snake' modulation and show to what extent the snake mode can be described accurately as a parametric instability, in which the position and grayness parameter of the initial soliton simply become dependent on the transverse dimension(s). We find that the parametric picture remains accurate up to second order in the snaking wave number, if the snaking soliton is also dressed by an outward-propagating sound wave, but that beyond second order in the snaking wave number the parametric description breaks down.


title: Viscous-Viscoelastic Correspondence Principle for Brownian Motion

abstract: Motivated from the classical expressions of the mean squared displacement and the velocity autocorrelation function of Brownian particles suspended either in a Newtonian viscous fluid or trapped in a harmonic potential, we show that for all time-scales the mean squared displacement of Brownian microspheres with mass $m$ and radius $R$ suspended in any linear, isotropic viscoelastic material is identical to the creep compliance of a linear mechanical network that is a parallel connection of the linear viscoelastic material with an inerter with distributed inertance, $m_R=\frac{m}{\text{6}\pi R}$. The synthesis of this mechanical network leads to the statement of a viscous-viscoelastic correspondence principle for Brownian motion which simplifies appreciably the calculations of the mean squared displacement and the velocity autocorrelation function of Brownian particles suspended in viscoelastic materials where inertia effects are non-negligible at longer time-scales. The viscous-viscoelastic correspondence principle established in this paper by introducing the concept of the inerter is equivalent to the viscous-viscoelastic analogy adopted by Mason and Weitz (1995).


title: Block copolymer-nanorod co-assembly in thin films: effects of rod-rod interaction and confinement

abstract: Simulations and experiments of nanorods (NRs) show that co-assembly with block copolymer (BCP) melts leads to the formation of a superstructure of side-to-side NRs perpendicular to the lamellar axis. A mesoscopic model is validated against scanning electron microscopy (SEM) images of CdSe NRs mixed with polystyrene-block-poly(methyl methacrylate). It is then used to study the co-assembly of anisotropic nanoparticles (NPs) with a length in the same order of magnitude as the lamellar spacing. The phase diagram of BCP/NP is explored as well as the time evolution of the NR. NRs that are slightly larger than the lamellar spacing are found to rotate and organise side-to-side with a tilted orientation with respect to the interface. Strongly interacting NPs are found to dominate the co-assembly while weakly interacting nanoparticles are less prone to form aggregates and tend to form well-ordered configurations.


title: Game-theoretic applications of a relational risk model

abstract: The report suggests the concept of risk, outlining two mathematical structures necessary for risk genesis: the set of outcomes and, in a general case, partial order of preference on it. It is shown that this minimum partial order should constitute the structure of a semilattice. In some cases, there should be a system of semilattices nested in a certain way. On this basis, the classification of risk theory tasks is given in the context of specialization of mathematical knowledge. In other words, we are talking about the development of a new rela-tional risk theory. The problem of political decision making in game-theoretic formulation in terms of having partial order of preference on the set of outcomes for each par-ticipant of the game forming a certain system of nested semilattices is consid-ered as an example of a relational risk concept implementation. Solutions to the problem obtained through the use of various optimality principles are investi-gated.


title: Modelling drug delivery from multiple emulsions

abstract: We present a mechanistic model of drug release from a multiple emulsion into an external surrounding fluid. We consider a single multi-layer droplet where the drug kinetics are described by a pure diffusive process through different liquid shells. The multi-layer problem is described by a system of diffusion equations coupled via interlayer conditions imposing continuity of drug concentration and flux. Mass resistance is imposed at the outer boundary through the application of a surfactant at the external surface of the droplet. The two-dimensional problem is solved numerically by finite volume discretization. Concentration profiles and drug release curves are presented for three typical round-shaped (circle, ellipse and bullet) droplets and the dependency of the solution on the mass transfer coefficient at the surface analyzed. The main result shows a reduced release time for an increased elongation of the droplets.


title: Lecture Note on LCSSX's Lower Bounds for Non-Adaptive Distribution-free Property Testing

abstract: In this lecture note we give Liu-Chen-Servedio-Sheng-Xie's (LCSSX) lower bound for property testing in the non-adaptive distribution-free.


title: Adversarial Robustness Guarantees for Random Deep Neural Networks

abstract: The reliability of deep learning algorithms is fundamentally challenged by the existence of adversarial examples, which are incorrectly classified inputs that are extremely close to a correctly classified input. We explore the properties of adversarial examples for deep neural networks with random weights and biases, and prove that for any $p\ge1$, the $\ell^p$ distance of any given input from the classification boundary scales as one over the square root of the dimension of the input times the $\ell^p$ norm of the input. The results are based on the recently proved equivalence between Gaussian processes and deep neural networks in the limit of infinite width of the hidden layers, and are validated with experiments on both random deep neural networks and deep neural networks trained on the MNIST and CIFAR10 datasets. The results constitute a fundamental advance in the theoretical understanding of adversarial examples, and open the way to a thorough theoretical characterization of the relation between network architecture and robustness to adversarial perturbations.

categories: stat.ML cond-mat.dis-nn cs.LG math-ph math.MP quant-ph


title: Fractal projections with an application in number theory

abstract: In this paper, we discuss a connection between geometric measure theory and number theory. This method brings a new point of view for some number-theoretic problems concerning digit expansions. Among other results, we showed that for each integer $k,$ there is a number $M>0$ such that if $b_1,\dots,b_k$ are multiplicatively independent integers greater than $M$, there are infinitely many integers whose base $b_1,b_2,\dots,b_k$ expansions all do not have any zero digits.


title: Optimizing the allocation of trials to sub-regions in multi-environment crop variety testing

abstract: New crop varieties are extensively tested in multi-environment trials in order to obtain a solid empirical basis for recommendations to farmers. When the target population of environments is large and heterogeneous, a division into sub-regions is often advantageous. When designing such trials, the question arises how to allocate trials to the different subregions. We consider a solution to this problem assuming a linear mixed model. We propose an analytical approach for computation of optimal designs for best linear unbiased prediction of genotype effects and pairwise linear contrasts and illustrate the obtained results by a real data example from Indian nation-wide maize variety trials. It is shown that, except in simple cases such as a compound symmetry model, the optimal allocation depends on the variance-covariance structure for genotypic effects nested within sub-regions.


title: Additive properties of numbers with restricted digits

abstract: In this paper, we consider some additive properties of integers with restricted digit expansions. Let $b\geq 3$ be an integer and $B_b$ be the set of integers whose base $b$ expansions have only digits $\{0,1\}.$ Let $a,b,c$ be three integers greater than $2.$ We give some estimates on the size of $(B_{a}+B_{b})\cap B_{c}.$ In particular, under mild conditions, $(B_{a}+B_{b})\cap B_{c}$ is a very thin set in the following sense that for each $\epsilon>0,$ as $N\to\infty,$ \[ \#((B_{a}+B_{b})\cap B_{c} \cap [1,N])=O(N^{\epsilon}). \]


title: Vertex-reinforced jump process on the integers with nonlinear reinforcement

abstract: We consider a non-linear vertex-reinforced jump process (VRJP($w$)) on $\mathbb{Z}$ with an increasing measurable weight function $w:[1,\infty)\to [1,\infty)$ and initial weights equal to one. Our main goal is to study the asymptotic behaviour of VRJP($w$) depending on the integrability of the reciprocal of $w$. In particular, we prove that if $\int_1^{\infty} \frac{\text{d}u}{w(u)} =\infty$ then the process is recurrent, i.e. it visits each vertex infinitely often and all local times are unbounded. On the other hand, if $\int_1^{\infty} \frac{\text{d} u}{w(u)} <\infty$ and there exists a $\rho>0$ such that $t \mapsto w(t)^{\rho}\int_t^{\infty}\frac{\text{d}u}{w(u)}$ is non-increasing then the process will eventually get stuck on exactly three vertices, and there is only one vertex with unbounded local time. We also show that if the initial weights are all the same, VRJP on $\mathbb{Z}$ cannot be transient, i.e. there exists at least one vertex that is visited infinitely often. Our results extend the ones previously obtained by Davis and Volkov [Probab. Theory Relat. Fields (2002)] who showed that VRJP with linear reinforcement on $\mathbb{Z}$ is recurrent.


title: Non-Hermitian Kibble-Zurek mechanism with tunable complexity in single-photon interferometry

abstract: Non-Hermitian descriptions of quantum matter have seen impressive progress recently, with major advances in understanding central aspects such as their topological properties or the physics of exceptional points, the non-Hermitian counterpart of critical points. Here, we use single-photon interferometry to reconstruct the non-Hermitian Kibble-Zurek mechanism and its distinct scaling behavior for exceptional points, by simulating the defect production upon performing slow parameter ramps. Importantly, we are able to realise also higher-order exceptional points, providing experimental access to their theoretically predicted characteristic Kibble-Zurek scaling behaviour. Our work represents a crucial step in increasing the experimental complexity of non-Hermitian quantum time-evolution. It thus also furthers the quest to move the frontier from purely single-particle physics towards increasingly complex settings in the many-body realm.


title: On the metric theory of inhomogeneous Diophantine approximation: An Erd\H{o}s-Vaaler type result

abstract: In 1958, Sz\"{u}sz proved an inhomogeneous version of Khintchine's theorem on Diophantine approximation. Sz\"{u}sz's theorem states that for any non-increasing approximation function $\psi:\mathbb{N}\to (0,1/2)$ with $\sum_q \psi(q)=\infty$ and any number $\gamma,$ the following set \[ W(\psi,\gamma)=\{x\in [0,1]: |qx-p-\gamma|< \psi(q) \text{ for infinitely many } q,p\in\mathbb{N}\} \] has full Lebesgue measure. Since then, there are very few results in relaxing the monotonicity condition. In this paper, we show that if $\gamma$ is can not be approximate by rational numbers too well, then the monotonicity condition can be replaced by the upper bound condition $\psi(q)=O((q(\log\log q)^2)^{-1}).$ In particular, this covers the case when $\gamma$ is not Liouville, for example $\pi,e,\ln 2, \sqrt{2}.$ In general, if $\gamma$ is irrational, $\psi(q)=O(q^{-1}(\log\log q)^{-2})$ and in addition, \[ \left(\liminf_{Q\to\infty} \sum_{q=Q}^{Q^{(\log Q)^{1/8} }}\psi(q)\right)=\infty, \] then $W(\psi,\gamma)$ has full Lebesgue measure. Our proof is based on a quantitative study of the discrepancy for irrational rotations.


title: Technical Report: NEMO DNN Quantization for Deployment Model

abstract: This technical report aims at defining a formal framework for Deep Neural Network (DNN) layer-wise quantization, focusing in particular on the problems related to the final deployment. It also acts as a documentation for the NEMO (NEural Minimization for pytOrch) framework. It describes the four DNN representations used in NEMO (FullPrecision, FakeQuantized, QuantizedDeployable and IntegerDeployable), focusing in particular on a formal definition of the latter two. An important feature of this model, and in particular the IntegerDeployable representation, is that it enables DNN inference using purely integers - without resorting to real-valued numbers in any part of the computation and without relying on an explicit fixed-point numerical representation.


title: The spatial $\Lambda$-Fleming-Viot process in a random environment

abstract: We study the large scale behaviour of a population consisting of two types which evolve in dimension d = 1, 2 according to a spatial Lambda- Fleming-Viot process subject to random time-independent selection. If one of the two types is rare compared to the other, we prove that its evolution can be approximated by a super-Brownian motion in a random (and singular) environment. Without the sparsity assumption, a diffusion approximation leads to a Fisher-KPP equation in a random potential. The proofs build on two-scale Schauder estimates and semidiscrete approximations of the Anderson Hamiltonian.


title: On the rational homotopy type of intersection spaces

abstract: Banagl's method of intersection spaces allows to modify certain types of stratified pseudomanifolds near the singular set in such a way that the rational Betti numbers of the modified spaces satisfy generalized Poincar\'{e} duality in analogy with Goresky-MacPherson's intersection homology. In the case of one isolated singularity, we show that the duality isomorphism comes from a nondegenerate intersection pairing which depends on the choice of a chain representative of the fundamental class of the regular stratum. On the technical side, we use piecewise linear polynomial differential forms due to Sullivan to define a suitable commutative cochain algebra model for intersection spaces. Our construction parallels Banagl's commutative cochain algebra of smooth differential forms modeling intersection space cohomology, and we show that both algebras are weakly equivalent.


title: Smart Contracts on the Move

abstract: Blockchain systems have received much attention and promise to revolutionize many services. Yet, despite their popularity, current blockchain systems exist in isolation, that is, they cannot share information. While interoperability is crucial for blockchain to reach widespread adoption, it is difficult to achieve due to differences among existing blockchain technologies. This paper presents a technique to allow blockchain interoperability. The core idea is to provide a primitive operation to developers so that contracts and objects can switch from one blockchain to another, without breaking consistency and violating key blockchain properties. To validate our ideas, we implemented our protocol in two popular blockchain clients that use the Ethereum virtual machine. We discuss how to build applications using the proposed protocol and show examples of applications based on real use cases that can move across blockchains. To analyze the system performance we use a real trace from one of the most popular Ethereum applications and replay it in a multi-blockchain environment.


title: Detecting Critical Bugs in SMT Solvers Using Blackbox Mutational Fuzzing

abstract: Formal methods use SMT solvers extensively for deciding formula satisfiability, for instance, in software verification, systematic test generation, and program synthesis. However, due to their complex implementations, solvers may contain critical bugs that lead to unsound results. Given the wide applicability of solvers in software reliability, relying on such unsound results may have detrimental consequences. In this paper, we present STORM, a novel blackbox mutational fuzzing technique for detecting critical bugs in SMT solvers. We run our fuzzer on seven mature solvers and find 29 previously unknown critical bugs. STORM is already being used in testing new features of popular solvers before deployment.


title: First Stretch then Shrink and Bulk: A Two Phase Approach for Enumeration of Maximal $(\Delta, \gamma)$\mbox{-}Cliques of a Temporal Network

abstract: A \emph{Temporal Network} (also known as \emph{Link Stream} or \emph{Time-Varying Graph}) is often used to model a time-varying relationship among a group of agents. It is typically represented as a collection of triplets of the form $(u,v,t)$ that denotes the interaction between the agents $u$ and $v$ at time $t$. For analyzing the contact patterns of the agents forming a temporal network, recently the notion of classical \textit{clique} of a \textit{static graph} has been generalized as \textit{$\Delta$\mbox{-}Clique} of a Temporal Network. In the same direction, one of our previous studies introduces the notion of \textit{$(\Delta, \gamma)$\mbox{-}Clique}, which is basically a \textit{vertex set}, \textit{time interval} pair, in which every pair of the clique vertices are linked at least $\gamma$ times in every $\Delta$ duration of the time interval. In this paper, we propose a different methodology for enumerating all the maximal $(\Delta, \gamma)$\mbox{-}Cliques of a given temporal network. The proposed methodology is broadly divided into two phases. In the first phase, each temporal link is processed for constructing $(\Delta, \gamma)$\mbox{-}Clique(s) with maximum duration. In the second phase, these initial cliques are expanded by vertex addition to form the maximal cliques. From the experimentation carried out on $5$ real\mbox{-}world temporal network datasets, we observe that the proposed methodology enumerates all the maximal $(\Delta,\gamma)$\mbox{-}Cliques efficiently, particularly when the dataset is sparse. As a special case ($\gamma=1$), the proposed methodology is also able to enumerate $(\Delta,1) \equiv \Delta$\mbox{-}cliques with much less time compared to the existing methods.


title: Cores over Ramsey structures

abstract: We prove that if an $\omega$-categorical structure has an $\omega$-categorical homogeneous Ramsey expansion, then so does its model-complete core.