title: High-resolution Markov state models for the dynamics of Trp-cage miniprotein constructed over slow folding modes identified by state-free reversible VAMPnets

abstract: State-free reversible VAMPnets (SRVs) are a neural network-based framework capable of learning the leading eigenfunctions of the transfer operator of a dynamical system from trajectory data. In molecular dynamics simulations, these data-driven collective variables (CVs) capture the slowest modes of the dynamics and are useful for enhanced sampling and free energy estimation. In this work, we employ SRV coordinates as a feature set for Markov state model (MSM) construction. Compared to the current state of the art, MSMs constructed from SRV coordinates are more robust to the choice of input features, exhibit faster implied timescale convergence, and permit the use of shorter lagtimes to construct higher kinetic resolution models. We apply this methodology to study the folding kinetics and conformational landscape of the Trp-cage miniprotein. Folding and unfolding mean first passage times are in good agreement with prior literature, and a nine macrostate model is presented. The unfolded ensemble comprises a central kinetic hub with interconversions to several metastable unfolded conformations and which serves as the gateway to the folded ensemble. The folded ensemble comprises the native state, a partially unfolded intermediate "loop" state, and a previously unreported short-lived intermediate that we were able to resolve due to the high time-resolution of the SRV-MSM. We propose SRVs as an excellent candidate for integration into modern MSM construction pipelines.


title: Deformation of Milnor Algebras

abstract: We investigate deformations of Milnor algebras of smooth homogeneous polynomials, and prove in particular that any smooth degree $d$ homogeneous polynomial in $n+1$ variables that is not of Sebastiani-Thom type is determined by the degree $k$ homogeneous component of its Jacobian ideal for any $d-1\leq k\leq (n+1)(d-2)$. Our results generalize the previous result on the reconstruction of a homogeneous polynomial from its Jacobian ideal.


title: Regularizing Neural Networks via Minimizing Hyperspherical Energy

abstract: Inspired by the Thomson problem in physics where the distribution of multiple propelling electrons on a unit sphere can be modeled via minimizing some potential energy, hyperspherical energy minimization has demonstrated its potential in regularizing neural networks and improving their generalization power. In this paper, we first study the important role that hyperspherical energy plays in neural network training by analyzing its training dynamics. Then we show that naively minimizing hyperspherical energy suffers from some difficulties due to highly non-linear and non-convex optimization as the space dimensionality becomes higher, therefore limiting the potential to further improve the generalization. To address these problems, we propose the compressive minimum hyperspherical energy (CoMHE) as a more effective regularization for neural networks. Specifically, CoMHE utilizes projection mappings to reduce the dimensionality of neurons and minimizes their hyperspherical energy. According to different designs for the projection mapping, we propose several distinct yet well-performing variants and provide some theoretical guarantees to justify their effectiveness. Our experiments show that CoMHE consistently outperforms existing regularization methods, and can be easily applied to different neural networks.


title: Efficient and Accurate Estimation of Lipschitz Constants for Deep Neural Networks

abstract: Tight estimation of the Lipschitz constant for deep neural networks (DNNs) is useful in many applications ranging from robustness certification of classifiers to stability analysis of closed-loop systems with reinforcement learning controllers. Existing methods in the literature for estimating the Lipschitz constant suffer from either lack of accuracy or poor scalability. In this paper, we present a convex optimization framework to compute guaranteed upper bounds on the Lipschitz constant of DNNs both accurately and efficiently. Our main idea is to interpret activation functions as gradients of convex potential functions. Hence, they satisfy certain properties that can be described by quadratic constraints. This particular description allows us to pose the Lipschitz constant estimation problem as a semidefinite program (SDP). The resulting SDP can be adapted to increase either the estimation accuracy (by capturing the interaction between activation functions of different layers) or scalability (by decomposition and parallel implementation). We illustrate the utility of our approach with a variety of experiments on randomly generated networks and on classifiers trained on the MNIST and Iris datasets. In particular, we experimentally demonstrate that our Lipschitz bounds are the most accurate compared to those in the literature. We also study the impact of adversarial training methods on the Lipschitz bounds of the resulting classifiers and show that our bounds can be used to efficiently provide robustness guarantees.


title: Close correlation between superconducting transition temperatures and carrier densities in Te- and S-substituted FeSe thin films

abstract: We comparatively investigated the transport properties for S- and Te-substituted FeSe thin films under magnetic fields to clarify the origin of the contrasting behavior of the superconducting transition temperature in S and Te substitution. A classical two carrier analysis revealed that the carrier densities of the films increased with increasing Te content, while no significant change was observed for the S-substitution. This composition dependence of the carrier density well corresponds to the $T_{\mathrm c}$ behavior. The clear correlation between $T_{\mathrm c}$ and the carrier densities suggests that the structural transition affects the electronic structure in a different manner between Fe(Se,S) and Fe(Se,Te) and that this fact is the direct cause of the difference in the $T_{\mathrm c}$ behaviors at the end point of the structural transition.


title: Coresets for Gaussian Mixture Models of Any Shape

abstract: An $\varepsilon$-coreset for a given set $D$ of $n$ points, is usually a small weighted set, such that querying the coreset \emph{provably} yields a $(1+\varepsilon)$-factor approximation to the original (full) dataset, for a given family of queries. Using existing techniques, coresets can be maintained for streaming, dynamic (insertion/deletions), and distributed data in parallel, e.g. on a network, GPU or cloud. We suggest the first coresets that approximate the negative log-likelihood for $k$-Gaussians Mixture Models (GMM) of arbitrary shapes (ratio between eigenvalues of their covariance matrices). For example, for any input set $D$ whose coordinates are integers in $[-n^{100},n^{100}]$ and any fixed $k,d\geq 1$, the coreset size is $(\log n)^{O(1)}/\varepsilon^2$, and can be computed in time near-linear in $n$, with high probability. The optimal GMM may then be approximated quickly by learning the small coreset. Previous results [NIPS'11, JMLR'18] suggested such small coresets for the case of semi-speherical unit Gaussians, i.e., where their corresponding eigenvalues are constants between $\frac{1}{2\pi}$ to $2\pi$. Our main technique is a reduction between coresets for $k$-GMMs and projective clustering problems. We implemented our algorithms, and provide open code, and experimental results. Since our coresets are generic, with no special dependency on GMMs, we hope that they will be useful for many other functions.


title: Continuous to intermittent flows in growing granular heaps

abstract: If a granular material is poured from above on a horizontal surface between two parallel, vertical plates, a sand heap grows in time. For small piles, the grains flow smoothly downhill, but after a critical pile size $X_c$, the flow becomes intermittent: sudden avalanches slide downhill from the apex to the base, followed by an "uphill front" that slowly climbs up, until a new downhill avalanche interrupts the process. By means of experiments controlling the distance between the apex of the sandpile and the container feeding it from above, we show that $X_c$ grows linearly with the input flux, but scales as the square root of the feeding height. We explain these facts based on a phenomenological model based on the experimental observation that the flowing granular phase forms a "wedge" on top of the static one, differently from the case of stationary heaps. Moreover, we demonstrate that our controlled experiments allow to predict the value of $X_c$ for the common situation in which the feeding height decreases as the pile increases in size.


title: Prefix Block-Interchanges on Binary and Ternary Strings

abstract: The genome rearrangement problem computes the minimum number of operations that are required to sort all elements of a permutation. A block-interchange operation exchanges two blocks of a permutation which are not necessarily adjacent and in a prefix block-interchange, one block is always the prefix of that permutation. In this paper, we focus on applying prefix block-interchanges on binary and ternary strings. We present upper bounds to group and sort a given binary/ternary string. We also provide upper bounds for a different version of the block-interchange operation which we refer to as the `restricted prefix block-interchange'. We observe that our obtained upper bound for restricted prefix block-interchange operations on binary strings is better than that of other genome rearrangement operations to group fully normalized binary strings. Consequently, we provide a linear-time algorithm to solve the problem of grouping binary normalized strings by restricted prefix block-interchanges. We also provide a polynomial time algorithm to group normalized ternary strings by prefix block-interchange operations. Finally, we provide a classification for ternary strings based on the required number of prefix block-interchange operations.


title: Hierarchical Taxonomy-Aware and Attentional Graph Capsule RCNNs for Large-Scale Multi-Label Text Classification

abstract: CNNs, RNNs, GCNs, and CapsNets have shown significant insights in representation learning and are widely used in various text mining tasks such as large-scale multi-label text classification. However, most existing deep models for multi-label text classification consider either the non-consecutive and long-distance semantics or the sequential semantics, but how to consider them both coherently is less studied. In addition, most existing methods treat output labels as independent methods, but ignore the hierarchical relations among them, leading to useful semantic information loss. In this paper, we propose a novel hierarchical taxonomy-aware and attentional graph capsule recurrent CNNs framework for large-scale multi-label text classification. Specifically, we first propose to model each document as a word order preserved graph-of-words and normalize it as a corresponding words-matrix representation which preserves both the non-consecutive, long-distance and local sequential semantics. Then the words-matrix is input to the proposed attentional graph capsule recurrent CNNs for more effectively learning the semantic features. To leverage the hierarchical relations among the class labels, we propose a hierarchical taxonomy embedding method to learn their representations, and define a novel weighted margin loss by incorporating the label representation similarity. Extensive evaluations on three datasets show that our model significantly improves the performance of large-scale multi-label text classification by comparing with state-of-the-art approaches.


title: Prophet Inequalities on the Intersection of a Matroid and a Graph

abstract: We consider prophet inequalities in a setting where agents correspond to both elements in a matroid and vertices in a graph. A set of agents is feasible if they form both an independent set in the matroid and an independent set in the graph. Our main result is an ex-ante 1/(2d+2)-prophet inequality, where d is a graph parameter upper-bounded by the maximum size of an independent set in the neighborhood of any vertex. We establish this result through a framework that sets both dynamic prices for elements in the matroid (using the method of balanced thresholds), and static but discriminatory prices for vertices in the graph (motivated by recent developments in approximate dynamic programming). The threshold for accepting an agent is then the sum of these two prices. We show that for graphs induced by a certain family of interval-scheduling constraints, the value of d is 1. Our framework thus provides the first constant-factor prophet inequality when there are both matroid-independence constraints and interval-scheduling constraints. It also unifies and improves several results from the literature, leading to a 1/2-prophet inequality when agents have XOS valuation functions over a set of items and use them for a finite interval duration, and more generally, a 1/(d+1)-prophet inequality when these items each require a bundle of d resources to procure.


title: Testing macroscopic local realism using cat-states and Bell inequalities in time

abstract: We show how one may test macroscopic local realism where, different from conventional Bell tests, all relevant measurements need only distinguish between two macroscopically distinct states of the system being measured. Here, measurements give macroscopically distinguishable outcomes for a system observable and do not resolve microscopic properties (of order $\hbar$). Macroscopic local realism assumes: (1) macroscopic realism (the system prior to measurement is in a state which will lead to just one of the macroscopically distinguishable outcomes) and (2) macroscopic locality (a measurement on a system at one location cannot affect the macroscopic outcome of the measurement on a system at another location, if the measurement events are spacelike separated). To obtain a quantifiable test, we define $M$-scopic local realism where the outcomes are separated by an amount $\sim M$. We first show for $N$ up to $20$ that $N$-scopic Bell violations are predicted for entangled superpositions of $N$ bosons (at each of two sites). Secondly, we show violation of $M$-scopic local realism for entangled superpositions of coherent states of amplitude $\alpha$, for arbitrarily large $M=\alpha$. In both cases, the systems evolve dynamically according to a local nonlinear interaction. The first uses nonlinear beam splitters realised through nonlinear Josephson interactions; the second is based on nonlinear Kerr interactions. To achieve the Bell violations, the traditional choice between two spin measurement settings is replaced by a choice between different times of evolution at each site.


title: Soliton and breather splitting on star graphs from tricrystal Josephson junctions

abstract: We consider the interactions of traveling localized wave solutions with a vertex in a star graph domain that describes multiple Josephson junctions with a common/branch point (i.e., tricrystal junctions). The system is modeled by the sine-Gordon equation. The vertex is represented by boundary conditions that are determined by the continuity of the magnetic field and vanishing total fluxes. When one considers small-amplitude breather solutions, the system can be reduced into the nonlinear Schr\"odinger equation posed on a star graph. Using the equation, we show that a high-velocity incoming soliton is split into a transmitted component and a reflected one. The transmission is shown to be in good agreement with the transmission rate of plane waves in the linear Schr\"odinger equation on the same graph (i.e., a quantum graph). In the context of the sine-Gordon equation, small-amplitude breathers show similar qualitative behaviors, while large-amplitude ones produce complex dynamics.


title: Embedding entanglement generation within a measurement-feedback coherent Ising machine

abstract: We present a new scheme to efficiently establish entanglement between optical modes in a time-multiplexed coherent Ising machine (CIM) by means of nonlocal measurement and feedback. We numerically simulate and evaluate the generation of steady-state entanglement in a system with nearest-neighbor interactions on a 1D ring, and we compare the results to those of a conventional CIM with all-optical interactions mediated by delay lines. We show that the delay-line architecture has a fundamental limit on accessible entanglement that our measurement-based scheme can substantially surpass. These results motivate the study of non-classical correlations in CIMs with levels of entanglement previously considered to be experimentally impractical.


title: Does BLEU Score Work for Code Migration?

abstract: Statistical machine translation (SMT) is a fast-growing sub-field of computational linguistics. Until now, the most popular automatic metric to measure the quality of SMT is BiLingual Evaluation Understudy (BLEU) score. Lately, SMT along with the BLEU metric has been applied to a Software Engineering task named code migration. (In)Validating the use of BLEU score could advance the research and development of SMT-based code migration tools. Unfortunately, there is no study to approve or disapprove the use of BLEU score for source code. In this paper, we conducted an empirical study on BLEU score to (in)validate its suitability for the code migration task due to its inability to reflect the semantics of source code. In our work, we use human judgment as the ground truth to measure the semantic correctness of the migrated code. Our empirical study demonstrates that BLEU does not reflect translation quality due to its weak correlation with the semantic correctness of translated code. We provided counter-examples to show that BLEU is ineffective in comparing the translation quality between SMT-based models. Due to BLEU's ineffectiveness for code migration task, we propose an alternative metric RUBY, which considers lexical, syntactical, and semantic representations of source code. We verified that RUBY achieves a higher correlation coefficient with the semantic correctness of migrated code, 0.775 in comparison with 0.583 of BLEU score. We also confirmed the effectiveness of RUBY in reflecting the changes in translation quality of SMT-based translation models. With its advantages, RUBY can be used to evaluate SMT-based code migration models.


title: Learning Deep Generative Models with Annealed Importance Sampling

abstract: Variational inference (VI) and Markov chain Monte Carlo (MCMC) are two main approximate approaches for learning deep generative models by maximizing marginal likelihood. In this paper, we propose using annealed importance sampling for learning deep generative models. Our proposed approach bridges VI with MCMC. It generalizes VI methods such as variational auto-encoders and importance weighted auto-encoders (IWAE) and the MCMC method proposed in (Hoffman, 2017). It also provides insights into why running multiple short MCMC chains can help learning deep generative models. Through experiments, we show that our approach yields better density models than IWAE and can effectively trade computation for model accuracy without increasing memory cost.


title: Fourier approximation of the statistical properties of Anosov maps on tori

abstract: We study the stability of statistical properties of Anosov maps on tori by examining the stability of the spectrum of an analytically twisted Perron-Frobenius operator on the anisotropic Banach spaces of Gou\"ezel and Liverani. By extending our previous work in [8], we obtain the stability of various statistical properties (the variance of a CLT and the rate function of an LDP) of Anosov maps to general perturbations, including new classes of numerical approximations. In particular, we obtain new results on the stability of the rate function under deterministic perturbations. As a key application, we focus on perturbations arising from numerical schemes and develop two new Fourier-analytic method for efficiently computing approximations of the aforementioned statistical properties. This includes the first example of a rigorous scheme for approximating the peripheral spectral data of the Perron-Frobenius operator of an Anosov map without mollification. Using the two schemes we obtain the first rigorous estimates of the variance and rate function for Anosov maps.


title: Energy Transfer Times in Fluorographene-based Biomimetic Light Harvesting Antennae

abstract: It has been demonstrated earlier that graphene-like defects on fluorographene can act as molecules in biomimetic molecular light-harvesting antennae. In competition with radiative and non-radiative losses, transfer time of excitations in an antenna measures its performance. We report on the optimal conditions for excitation energy transfer in artificial antennae built from selected types of fluorographene defects. The excitation transfer dynamics is calculated based on the Frenkel exciton model using hierarchical equations of motion for different values of temperature, system-environment reorganization energy and bath correlation time to study a possible range of parameters pertaining to the fluorographene material. We also study possible energy funnelling in the third dimension for two parallel fluorographene sheets with defects. We conclude that the strength of system-environment interaction is more important for the efficient energy funnelling in our proposed material than a precise control over the structure of artificial antennae.


title: First measurement of neutrino oscillation parameters using neutrinos and antineutrinos by NOvA

abstract: The NOvA experiment has made a $4.4\sigma$-significant observation of $\bar\nu_{e}$ appearance in a 2 GeV $\bar\nu_{\mu}$ beam at a distance of 810 km. Using $12.33\times10^{20}$ protons on target delivered to the Fermilab NuMI neutrino beamline, the experiment recorded 27 $\bar\nu_{\mu} \rightarrow \bar\nu_{e}$ candidates with a background of 10.3 and 102 $\bar\nu_{\mu} \rightarrow \bar\nu_{\mu}$ candidates. This new antineutrino data is combined with neutrino data to measure the oscillation parameters $|\Delta m^2_{32}| = 2.48^{+0.11}_{-0.06}\times10^{-3}$ eV$^2/c^4$, $\sin^2 \theta_{23} = 0.56^{+0.04}_{-0.03}$ in the normal neutrino mass hierarchy and upper octant and excludes most values near $\delta_{\rm CP}=\pi/2$ for the inverted mass hierarchy by more than 3$\sigma$. The data favor the normal neutrino mass hierarchy by 1.9$\sigma$ and $\theta_{23}$ values in the upper octant by 1.6$\sigma$.


title: SPoC: Search-based Pseudocode to Code

abstract: We consider the task of mapping pseudocode to long programs that are functionally correct. Given test cases as a mechanism to validate programs, we search over the space of possible translations of the pseudocode to find a program that passes the validation. However, without proper credit assignment to localize the sources of program failures, it is difficult to guide search toward more promising programs. We propose to perform credit assignment based on signals from compilation errors, which constitute 88.7% of program failures. Concretely, we treat the translation of each pseudocode line as a discrete portion of the program, and whenever a synthesized program fails to compile, an error localization method tries to identify the portion of the program responsible for the failure. We then focus search over alternative translations of the pseudocode for those portions. For evaluation, we collected the SPoC dataset (Search-based Pseudocode to Code) containing 18,356 programs with human-authored pseudocode and test cases. Under a budget of 100 program compilations, performing search improves the synthesis success rate over using the top-one translation of the pseudocode from 25.6% to 44.7%.


title: All-Weather Deep Outdoor Lighting Estimation

abstract: We present a neural network that predicts HDR outdoor illumination from a single LDR image. At the heart of our work is a method to accurately learn HDR lighting from LDR panoramas under any weather condition. We achieve this by training another CNN (on a combination of synthetic and real images) to take as input an LDR panorama, and regress the parameters of the Lalonde-Matthews outdoor illumination model. This model is trained such that it a) reconstructs the appearance of the sky, and b) renders the appearance of objects lit by this illumination. We use this network to label a large-scale dataset of LDR panoramas with lighting parameters and use them to train our single image outdoor lighting estimation network. We demonstrate, via extensive experiments, that both our panorama and single image networks outperform the state of the art, and unlike prior work, are able to handle weather conditions ranging from fully sunny to overcast skies.


title: Inferring 3D Shapes from Image Collections using Adversarial Networks

abstract: We investigate the problem of learning a probabilistic distribution over three-dimensional shapes given two-dimensional views of multiple objects taken from unknown viewpoints. Our approach called projective generative adversarial network (PrGAN) trains a deep generative model of 3D shapes whose projections (or renderings) match the distributions of the provided 2D distribution. The addition of a differentiable projection module allows us to infer the underlying 3D shape distribution without access to any explicit 3D or viewpoint annotation during the learning phase. We show that our approach produces 3D shapes of comparable quality to GANs trained directly on 3D data. %for a number of shape categoriesincluding chairs, airplanes, and cars. Experiments also show that the disentangled representation of 2D shapes into geometry and viewpoint leads to a good generative model of 2D shapes. The key advantage of our model is that it estimates 3D shape, viewpoint, and generates novel views from an input image in a completely unsupervised manner. We further investigate how the generative models can be improved if additional information such as depth, viewpoint or part segmentations is available at training time. To this end, we present new differentiable projection operators that can be used by PrGAN to learn better 3D generative models. Our experiments show that our method can successfully leverage extra visual cues to create more diverse and accurate shapes.


title: Periodic billiards within conics in the Minkowski plane and Akhiezer polynomials

abstract: We derive necessary and sufficient conditions for periodic and for elliptic periodic trajectories of billiards within an ellipse in the Minkowski plane in terms of an underlining elliptic curve. We provide several examples of periodic and elliptic periodic trajectories with small periods. We observe relationship between Cayley-type conditions and discriminantly separable and factorizable polynomials. Equivalent conditions for periodicity and elliptic periodicity are derived in terms of polynomial-functional equations as well. The corresponding polynomials are related to the classical extremal polynomials. In particular, the light-like periodic trajectories are related to the classical Chebyshev polynomials. The similarities and differences with respect to previously studied Euclidean case are indicated.


title: On the Spectrality and Spectral Expansion of the Non-self-adjoint Mathieu-Hill Operator in All Real Line

abstract: In this paper we investigate the non-self-adjoint operator H generated in all real line by the Mathieu-Hill equation with a complex-valued potential. We find a necessary and sufficient conditions on the potential for which H has no spectral singularity at infinity and it is an asymptotically spectral operator. Moreover, we give a detailed classification, stated in term of the potential, for the form of the spectral decomposition of the operator H by investigating the essential spectral singularities.


title: Recurrent U-Net for Resource-Constrained Segmentation

abstract: State-of-the-art segmentation methods rely on very deep networks that are not always easy to train without very large training datasets and tend to be relatively slow to run on standard GPUs. In this paper, we introduce a novel recurrent U-Net architecture that preserves the compactness of the original U-Net, while substantially increasing its performance to the point where it outperforms the state of the art on several benchmarks. We will demonstrate its effectiveness for several tasks, including hand segmentation, retina vessel segmentation, and road segmentation. We also introduce a large-scale dataset for hand segmentation.


title: From Fully Supervised to Zero Shot Settings for Twitter Hashtag Recommendation

abstract: We propose a comprehensive end-to-end pipeline for Twitter hashtags recommendation system including data collection, supervised training setting and zero shot training setting. In the supervised training setting, we have proposed and compared the performance of various deep learning architectures, namely Convolutional Neural Network (CNN), Recurrent Neural Network (RNN) and Transformer Network. However, it is not feasible to collect data for all possible hashtag labels and train a classifier model on them. To overcome this limitation, we propose a Zero Shot Learning (ZSL) paradigm for predicting unseen hashtag labels by learning the relationship between the semantic space of tweets and the embedding space of hashtag labels. We evaluated various state-of-the-art ZSL methods like Convex combination of Semantic Embedding (ConSE), Embarrassingly Simple Zero-Shot Learning (ESZSL) and Deep Embedding Model for Zero-Shot Learning (DEM-ZSL) for the hashtag recommendation task. We demonstrate the effectiveness and scalability of ZSL methods for the recommendation of unseen hashtags. To the best of our knowledge, this is the first quantitative evaluation of ZSL methods to date for unseen hashtags recommendations from tweet text.


title: Innovating HR Using an Expert System for Recruiting IT Specialists -- ESRIT

abstract: One of the most rapidly evolving and dynamic business sector is the IT domain, where there is a problem finding experienced, skilled and qualified employees. Specialists are essential for developing and implementing new ideas into products. Human resources (HR) department plays a major role in the recruitment of qualified employees by assessing their skills, using different HR metrics, and selecting the best candidates for a specific job. Most recruiters are not qualified to evaluate IT specialists. In order to decrease the gap between the HR department and IT specialists, we designed, implemented and tested an Expert System for Recruiting IT specialist - ESRIT. The expert system uses text mining, natural language processing, and classification algorithms to extract relevant information from resumes by using a knowledge base that stores the relevant key skills and phrases. The recruiter is looking for the same abilities and certificates, trying to place the best applicant into a specific position. The article presents a developing picture of the top major IT skills that will be required in 2014 and it argues for the choice of the IT abilities domain.


title: Word and Conjugacy Problems in Groups $G_{k+1}^{k}$

abstract: Recently the third named author defined a 2-parametric family of groups $G_n^k$ \cite{gnk}. Those groups may be regarded as a certain generalisation of braid groups. Study of the connection between the groups $G_n^k$ and dynamical systems led to the discovery of the following fundamental principle: `If dynamical systems describing the motion of $n$ particles possess a nice codimension one property governed by exactly $k$ particles, then these dynamical systems admit a topological invariant valued in $G_{n}^{k}$'. The $G_n^k$ groups have connections to different algebraic structures, Coxeter groups and Kirillov-Fomin algebras, to name just a few. Study of the $G_n^k$ groups led to, in particular, the construction of invariants, valued in free products of cyclic groups. In the present paper we prove that word and conjugacy problems for certain $G_{k+1}^k$ groups are algorithmically solvable, and the algorithms are constructive.


title: Collective spin density excitations of fractional quantum Hall states in dilute ultracold Bose atoms

abstract: We have studied collective spin density excitations of fractional quantum Hall effect (FQHE) in rotating Bose-Einstein condensation for the three filling fractions of first series of Jain's composite fermion sequences. We have considered, short-ranged contact interactions between the Bose atoms as well as long range Coulomb interactions to compare the nature of the spectras with FQHE of electrons. Using Monte Carlo method for finite but large number of particles, the lowest order collective modes of spin-reversed sectors is calculated here, by computing the energy differences of the respective excitons from the fully polarized ground states.


title: Generalized Langevin equations for systems with local interactions

abstract: We present a new method to approximate the Mori-Zwanzig (MZ) memory integral in generalized Langevin equations (GLEs) describing the evolution of smooth observables in high-dimensional nonlinear systems with local interactions. Building upon the Faber operator series we recently developed for the orthogonal dynamics propagator, and an exact combinatorial algorithm that allows us to compute memory kernels from first principles, we demonstrate that the proposed method is effective in computing auto-correlation functions, intermediate scattering functions and other important statistical properties of the observable. We also develop a new stochastic process representation of the MZ fluctuation term for systems in statistical equilibrium. Numerical applications are presented for the Fermi-Pasta-Ulam model, and for random wave propagation in homogeneous media.


title: Bilateral Boundary Control Design for a Cascaded Diffusion-ODE System Coupled at an Arbitrary Interior Point

abstract: We present a methodology for designing bilateral boundary controllers for a class of systems consisting of a coupled diffusion equation with an unstable ODE at an arbitrary interior point. A folding transformation is applied about the coupling point, transforming the system into an ODE with an input channel consisting of two coupled diffusive actuation paths. A target system with an exponentially stable trivial solution in the sense of L^2 X R^n is proposed, and the stability property is shown via the Lyapunov method. The stabilizing control laws are formulated via tiered Volterra transformations of the second kind, establishing an equivalence relation between the stable target system and the original plant under boundary feedback. Stability properties of the plant under feedback is inferred from the equivalence relation. The well-posedness of the backstepping transformations involved are studied, and the existence of bounded Volterra kernels is shown, constituting a sufficient condition for the invertibility of the Volterra transformations.


title: Polynomial root clustering and explicit deflation

abstract: We seek complex roots of a univariate polynomial $P$ with real or complex coefficients. We address this problem based on recent algorithms that use subdivision and have a nearly optimal complexity. They are particularly efficient when only roots in a given Region Of Interest (ROI) are sought. We propose two improvements for root finders. The first one is applied to polynomials having only real coefficients; their roots are either real or appear in complex conjugate pairs. We show how to adapt the subdivision scheme to focus the computational effort on the imaginary positive part of the ROI. In our second improvement we deflate $P$ to decrease its degree and the arithmetic cost of the subdivision.


title: Maximal generalization of Lanczos' derivative using one-dimensional integrals

abstract: Derivative of a function can be expressed in terms of integration over a small neighborhood of the point of differentiation, so-called differentiation by integration method. In this text a maximal generalization of existing results which use one-dimensional integrals is presented together with some interesting non-analytic weight functions.


title: Biconservative quasi-minimal immersions into semi-Euclidean spaces

abstract: In this paper we study biconservative immersions into the semi-Riemannian space form $R^4_2(c)$ of dimension 4, index 2 and constant curvature, where $c\in\{0,-1,1\}$. First, we obtain a characterization of quasi-minimal proper biconservative immersions into $R^4_2(c)$. Then we obtain the complete classification of quasi-minimal biconservative surfaces in $R^4_2(0)=\mathbb E^4_2$. We also obtain a new class of biharmonic quasi-minimal isometric immersion into $\mathbb E^4_2$.


title: Relativistic wind accretion on to a Schwarzschild black hole

abstract: We present a novel analytic model of relativistic wind accretion on to a Schwarzschild black hole. This model constitutes a general relativistic extension of the classical model of wind accretion by Bondi, Hoyle, and Lyttleton (BHL). As in BHL, this model is based on the assumptions of steady state, axisymmetry, and ballistic motion. Analytic expressions are provided for the wind streamlines while simple numerical schemes are presented for calculating the corresponding accretion rate and density field. The resulting accretion rate is greater in the relativistic model when compared to the Newtonian BHL one. Indeed, it is two times greater for asymptotic wind speeds $v_\infty \ge 0.4\,\mathrm{c}$ and more than an order of magnitude greater for $v_\infty \ge 0.8\,\mathrm{c}$. We have compared this full relativistic model versus numerical simulations performed with the free GNU Public Licensed hydrodynamics code AZTEKAS and found a good agreement for the streamlines in the upstream region of the flow and also, to within 10 per cent, for the corresponding accretion rates.


title: Lifestate: Event-Driven Protocols and Callback Control Flow (Extended Version)

abstract: Developing interactive applications (apps) against event-driven software frameworks such as Android is notoriously difficult. To create apps that behave as expected, developers must follow complex and often implicit asynchronous programming protocols. Such protocols intertwine the proper registering of callbacks to receive control from the framework with appropriate application-programming interface (API) calls that in turn affect the set of possible future callbacks. An app violates the protocol when, for example, it calls a particular API method in a state of the framework where such a call is invalid. What makes automated reasoning hard in this domain is largely what makes programming apps against such frameworks hard: the specification of the protocol is unclear, and the control flow is complex, asynchronous, and higher-order. In this paper, we tackle the problem of specifying and modeling event-driven application-programming protocols. In particular, we formalize a core meta-model that captures the dialogue between event-driven frameworks and application callbacks. Based on this meta-model, we define a language called lifestate that permits precise and formal descriptions of application-programming protocols and the callback control flow imposed by the event-driven framework. Lifestate unifies modeling what app callbacks can expect of the framework with specifying rules the app must respect when calling into the framework. In this way, we effectively combine lifecycle constraints and typestate rules. To evaluate the effectiveness of lifestate modeling, we provide a dynamic verification algorithm that takes as input a trace of execution of an app and a lifestate protocol specification to either produce a trace witnessing a protocol violation or a proof that no such trace is realizable.


title: Using Category Theory in Modeling Generics in OOP (Outline)

abstract: Modeling generics in object-oriented programming languages such as Java and C# is a challenge. Recently we proposed a new order-theoretic approach to modeling generics. Given the strong relation between order theory and category theory, in this extended abstract we present how also some tools from category theory, such as adjunctions, monads and operads, are used in our approach to modeling generics.


title: Vulnerabilities of Power System Operations to Load Forecasting Data Injection Attacks

abstract: We study the security threats of power system operation brought by a class of data injection attacks upon load forecasting algorithms. In particular, with minimal assumptions on the knowledge and ability of the attacker, we design attack data on input features for load forecasting algorithms in a black-box approach. System operators can be oblivious of such wrong load forecasts, which lead to uneconomical or even insecure decisions in commitment and dispatch. This paper is the first attempt to bring up the security issues of load forecasting algorithms to our knowledge, and show that accurate load forecasting algorithm is not necessarily robust to malicious attacks. More severely, attackers are able to design targeted attacks on system operations strategically with additional topology information. We demonstrate the impact of load forecasting attacks on two IEEE test cases. We show our attack strategy is able to cause load shedding with high probability under various settings in the 14-bus test case, and also demonstrate system-wide threats in the 118-bus test case with limited local attacks.


title: A Method for Evaluating Definite Integrals in terms of Special Functions with Examples

abstract: We present a method using contour integration to derive definite integrals and their associated infinite sums which can be expressed as a special function. We give a proof of the basic equation and some examples of the method. The advantage of using special functions is their analytic continuation which widens the range of the parameters of the definite integral over which the formula is valid. We give as examples definite integrals of logarithmic functions times a trigonometric function. In various cases these generalizations evaluate to known mathematical constants such as Catalan's constant and $\pi$.


title: Deep Learning for Spatio-Temporal Data Mining: A Survey

abstract: With the fast development of various positioning techniques such as Global Position System (GPS), mobile devices and remote sensing, spatio-temporal data has become increasingly available nowadays. Mining valuable knowledge from spatio-temporal data is critically important to many real world applications including human mobility understanding, smart transportation, urban planning, public safety, health care and environmental management. As the number, volume and resolution of spatio-temporal datasets increase rapidly, traditional data mining methods, especially statistics based methods for dealing with such data are becoming overwhelmed. Recently, with the advances of deep learning techniques, deep leaning models such as convolutional neural network (CNN) and recurrent neural network (RNN) have enjoyed considerable success in various machine learning tasks due to their powerful hierarchical feature learning ability in both spatial and temporal domains, and have been widely applied in various spatio-temporal data mining (STDM) tasks such as predictive learning, representation learning, anomaly detection and classification. In this paper, we provide a comprehensive survey on recent progress in applying deep learning techniques for STDM. We first categorize the types of spatio-temporal data and briefly introduce the popular deep learning models that are used in STDM. Then a framework is introduced to show a general pipeline of the utilization of deep learning models for STDM. Next we classify existing literatures based on the types of ST data, the data mining tasks, and the deep learning models, followed by the applications of deep learning for STDM in different domains including transportation, climate science, human mobility, location based social network, crime analysis, and neuroscience. Finally, we conclude the limitations of current research and point out future research directions.


title: More on low rank approximation of a matrix

abstract: We call a matrix algorithm superfast (aka running at sublinear cost) if it involves much fewer flops and memory cells than the matrix has entries. Using such algorithms is highly desired or even imperative in computations for Big Data, which involve immense matrices and are quite typically reduced to solving linear least squares problem and/or computation of low rank approximation of an input matrix. The known algorithms for these problems are not superfast, but we propose a novel ACA-like superfast randomized iterative refinement of a crude LRA. Like ACA iterations we output CUR LRA, which is a particular memory efficient form of LRA. Unlike ACA method we use sampling probability to reduce our task to recursive solution of generalized Linear Least Squares Problem (generalized LLSP) and to prove monotone convergence to a close LRA with a high probability under mild assumptions on an initial LRA. For crude initial LRA lying reasonably far from optimal we have consistently observed significant improvement in two or three iterations in our numerical tests.


title: Elephant random walks with delays

abstract: In the simple random walk the steps are independent, viz., the walker has no memory. In contrast, in the Elephant Random walk (ERW), which was introduced by Sch\"utz and Trimper in 2004, the walker remembers the whole past, and the next step always depends on the whole path so far. One extension, as suggested in a recent paper by Bercu et al. (arXiv:1902.11220v1), is to allow for delays, that is, to put mass at zero. Our aim is to extend known result for the ordinary ERW to a Random Walk With Delays (ERWD).


title: A Method to construct all the Paving Matroids over a Finite Set

abstract: We give a characterization of a matroid to be paving, through its set of hyperplanes and give an algorithm to construct all of them.


title: Characterising hyperbolic hyperplanes of a non-singular quadric in $PG(4,q)$

abstract: Let $H$ be a non-empty set of hyperplanes in $PG(4,q)$, $q$ even, such that every point of $PG(4,q)$ lies in either $0$, $\frac12q^3$ or $\frac12(q^3+q^2)$ hyperplanes of $ H$, and every plane of $PG(4,q)$ lies in $0$ or at least $\frac12q$ hyperplanes of $H$. Then $H$ is the set of all hyperplanes which meet a given non-singular quadric $Q(4,q)$ in a hyperbolic quadric.


title: Non-Parametric Calibration for Classification

abstract: Many applications of classification methods not only require high accuracy but also reliable estimation of predictive uncertainty. However, while many current classification frameworks, in particular deep neural networks, achieve high accuracy, they tend to incorrectly estimate uncertainty. In this paper, we propose a method that adjusts the confidence estimates of a general classifier such that they approach the probability of classifying correctly. In contrast to existing approaches, our calibration method employs a non-parametric representation using a latent Gaussian process, and is specifically designed for multi-class classification. It can be applied to any classifier that outputs confidence estimates and is not limited to neural networks. We also provide a theoretical analysis regarding the over- and underconfidence of a classifier and its relationship to calibration, as well as an empirical outlook for calibrated active learning. In experiments we show the universally strong performance of our method across different classifiers and benchmark data sets, in particular for state-of-the art neural network architectures.


title: Transferrable Operative Difficulty Assessment in Robot-assisted Teleoperation: A Domain Adaptation Approach

abstract: Providing an accurate and efficient assessment of operative difficulty is important for designing robot-assisted teleoperation interfaces that are easy and natural for human operators to use. In this paper, we aim to develop a data-driven approach to numerically characterize the operative difficulty demand of complex teleoperation. In effort to provide an entirely task-independent assessment, we consider using only data collected from the human user including: (1) physiological response, and (2) movement kinematics. By leveraging an unsupervised domain adaptation technique, our approach learns the user information that defines task difficulty in a well-known source, namely, a Fitt's target reaching task, and generalizes that knowledge to a more complex human motor control scenario, namely, the teleoperation of a robotic system. Our approach consists of two main parts: (1) The first part accounts for the inherent variances of user physiological and kinematic response between these cross-domain motor control scenarios that are vastly different. (2) A stacked two-layer learner is designed to improve the overall modeling performance, yielding a 96.6% accuracy in predicting the known difficulty of a Fitts' reaching task when using movement kinematic features. We then validate the effectiveness of our model by investigating teleoperated robotic needle steering as a case study. Compared with a standard NASA TLX user survey, our results indicate significant differences in the difficulty demand for various choices of needle steering control algorithms, p<0.05, as well as the difficulty of steering the needle to different targets, p<0.05. The results highlight the potential of our approach to be used as a design tool to create more intuitive and natural teleoperation interfaces in robot-assisted systems.


title: Swelling thermodynamics and phase transitions of polymer gels

abstract: We present a pedagogical review of the swelling thermodynamics and phase transitions of polymer gels. In particular, we discuss how features of the volume phase transition of the gel's osmotic equilibrium is analogous to other transitions described by mean-field models of binary mixtures, and the failure of this analogy at the critical point due to shear rigidity. We then consider the phase transition at fixed volume, a relatively unexplored paradigm for polymer gels that results in a phase-separated equilibrium consisting of coexisting solvent-rich and solvent-poor regions of gel. Again, the gel's shear rigidity is found to have a profound effect on the phase transition, here resulting in macroscopic shape change at constant volume of the sample, exemplified by the tunable buckling of toroidal samples of polymer gel. By drawing analogies with extreme mechanics, where large shape changes are achieved via mechanical instabilities, we formulate the notion of extreme thermodynamics, where large shape changes are achieved via thermodynamic instabilities, i.e. phase transitions.


title: Relative Hausdorff Distance for Network Analysis

abstract: Similarity measures are used extensively in machine learning and data science algorithms. The newly proposed graph Relative Hausdorff (RH) distance is a lightweight yet nuanced similarity measure for quantifying the closeness of two graphs. In this work we study the effectiveness of RH distance as a tool for detecting anomalies in time-evolving graph sequences. We apply RH to cyber data with given red team events, as well to synthetically generated sequences of graphs with planted attacks. In our experiments, the performance of RH distance is at times comparable, and sometimes superior, to graph edit distance in detecting anomalous phenomena. Our results suggest that in appropriate contexts, RH distance has advantages over more computationally intensive similarity measures.


title: Partial Or Complete, That's The Question

abstract: For many structured learning tasks, the data annotation process is complex and costly. Existing annotation schemes usually aim at acquiring completely annotated structures, under the common perception that partial structures are of low quality and could hurt the learning process. This paper questions this common perception, motivated by the fact that structures consist of interdependent sets of variables. Thus, given a fixed budget, partly annotating each structure may provide the same level of supervision, while allowing for more structures to be annotated. We provide an information theoretic formulation for this perspective and use it, in the context of three diverse structured learning tasks, to show that learning from partial structures can sometimes outperform learning from complete ones. Our findings may provide important insights into structured data annotation schemes and could support progress in learning protocols for structured tasks.


title: Remarks on large time behavior of level-set mean curvature flow equations with driving and source terms

abstract: We study a level-set mean curvature flow equation with driving and source terms, and establish convergence results on the asymptotic behavior of solutions as time goes to infinity under some additional assumptions. We also study the associated stationary problem in details in a particular case, and establish Alexandrov's theorem in two dimensions in the viscosity sense, which is of independent interest.


title: Geometric Approach to Quantum Theory

abstract: We formulate quantum theory taking as a starting point the cone of states.


title: CogCompTime: A Tool for Understanding Time in Natural Language Text

abstract: Automatic extraction of temporal information in text is an important component of natural language understanding. It involves two basic tasks: (1) Understanding time expressions that are mentioned explicitly in text (e.g., February 27, 1998 or tomorrow), and (2) Understanding temporal information that is conveyed implicitly via relations. In this paper, we introduce CogCompTime, a system that has these two important functionalities. It incorporates the most recent progress, achieves state-of-the-art performance, and is publicly available.1 We believe that this demo will be useful for multiple time-aware applications and provide valuable insight for future research in temporal understanding.


title: Joint Reasoning for Temporal and Causal Relations

abstract: Understanding temporal and causal relations between events is a fundamental natural language understanding task. Because a cause must be before its effect in time, temporal and causal relations are closely related and one relation even dictates the other one in many cases. However, limited attention has been paid to studying these two relations jointly. This paper presents a joint inference framework for them using constrained conditional models (CCMs). Specifically, we formulate the joint problem as an integer linear programming (ILP) problem, enforcing constraints inherently in the nature of time and causality. We show that the joint inference framework results in statistically significant improvement in the extraction of both temporal and causal relations from text.


title: Search for Highly Ionizing Particles with the Pixel Detector at Belle II

abstract: The Belle II experiment, located at the SuperKEKB collider at the high-energy research facility KEK in Tsukuba, Japan, started operation in 2018. Compared to the predecessor experiment Belle, Belle II plans to increase the peak luminosity by a factor of about 40, by employing nano-beam technology in the interaction region. In particular the new, innermost sub-detector of Belle II - the Pixel Vertex Detector (PXD) - is in close proximity to the interaction point. This allows for the detection of particles, which do not leave a signal in the outer sub-detectors. Among these, Highly Ionizing Particles (HIPs) encounter a characteristically high energy loss, limiting their penetration depth into the detector. Anti-deuterons and magnetic monopoles as possible HIPs are considered. Without a signal in the outer sub-detectors, no track trigger is issued, resulting in possible information loss. The possibility of identifying HIPs solely with information provided by the PXD is presented, by using neural network algorithms operating in a multidimensional parameter space of PXD cluster data.


title: A Structured Learning Approach to Temporal Relation Extraction

abstract: Identifying temporal relations between events is an essential step towards natural language understanding. However, the temporal relation between two events in a story depends on, and is often dictated by, relations among other events. Consequently, effectively identifying temporal relations between events is a challenging problem even for human annotators. This paper suggests that it is important to take these dependencies into account while learning to identify these relations and proposes a structured learning approach to address this challenge. As a byproduct, this provides a new perspective on handling missing relations, a known issue that hurts existing methods. As we show, the proposed approach results in significant improvements on the two commonly used data sets for this problem.


title: Semi-Supervised Exploration in Image Retrieval

abstract: We present our solution to Landmark Image Retrieval Challenge 2019. This challenge was based on the large Google Landmarks Dataset V2[9]. The goal was to retrieve all database images containing the same landmark for every provided query image. Our solution is a combination of global and local models to form an initial KNN graph. We then use a novel extension of the recently proposed graph traversal method EGT [1] referred to as semi-supervised EGT to refine the graph and retrieve better candidates.


title: Unfolding the complexity of quasi-particle physics in disordered materials

abstract: The concept of quasi-particles forms the theoretical basis of our microscopic understanding of emergent phenomena associated with quantum mechanical many-body interactions. However, quasi-particle theory in disordered materials has proven difficult, resulting in the predominance of mean-field solutions. Here we report first-principles phonon calculations and inelastic x-ray and neutron scattering measurements on equiatomic alloys (NiCo, NiFe, AgPd, and NiFeCo) with force constant dominant disorder - confronting a key 50-year-old assumption in the Hamiltonian of all mean-field quasi-particle solutions for off-diagonal disorder. Our results have revealed the presence of a large, and heretofore unrecognized, impact of local chemical environments on the distribution of the species-pair-resolved force constant disorder that can dominate phonon scattering. This discovery not only identifies a critical analysis issue that has broad implications for other elementary excitations such as magnons and skyrmions in magnetic alloys, but also provides an important tool for the design of materials with ultra-low thermal conductivity.


title: Coordinate independent approach to the calculation of the effects of local structure on the luminosity distance

abstract: Local structure can have important effects on luminosity distance observations, which could for example affect the local estimation of the Hubble constant based on low red-shift type Ia supernovae. Using a spherically symmetric exact solution of the Eistein's equations and a more accurate expansion of the solution of the geodesic equations, we improve the low red-shift expansion of the monopole of the luminosity distance in terms of the curvature function. Based on this we derive the coordinate independent low red-shift expansion of the monopole of the luminosity distance in terms of the monopole of the density contrast. The advantage of this approach is that it relates the luminosity distance directly to density observations, without any dependency on the radial coordinate choice. We compute the effects of different inhomogeneities on the luminosity distance, and find that the formulae in terms of the density contrast are in good agreement with numerical calculations, in the non linear regime are more accurate than the results obtained using linear perturbation theory, and are also more accurate than the formulae in terms of the curvature function.


title: Wurtzite Phonons and the Mobility of a GaN/AlN 2D Hole Gas

abstract: To make complementary GaN electronics more than a pipe dream, it is essential to understand the low mobility of 2D hole gases in III-Nitride heterostructures. This work derives both the acoustic and optical phonon spectra present in one of the most prominent p-channel heterostructures (the all-binary GaN/AlN stack) and computes the interactions of these spectra with the 2D hole gas, capturing the temperature dependence of its intrinsic mobility. Finally, the effects of strain on the electronic structure of the confined 2D hole gas are examined and a means is proposed to engineer the strain to improve the 2D hole mobility for enhanced p-channel device performance, with the goal of enabling wide-bandgap CMOS.


title: Tight Certificates of Adversarial Robustness for Randomly Smoothed Classifiers

abstract: Strong theoretical guarantees of robustness can be given for ensembles of classifiers generated by input randomization. Specifically, an $\ell_2$ bounded adversary cannot alter the ensemble prediction generated by an additive isotropic Gaussian noise, where the radius for the adversary depends on both the variance of the distribution as well as the ensemble margin at the point of interest. We build on and considerably expand this work across broad classes of distributions. In particular, we offer adversarial robustness guarantees and associated algorithms for the discrete case where the adversary is $\ell_0$ bounded. Moreover, we exemplify how the guarantees can be tightened with specific assumptions about the function class of the classifier such as a decision tree. We empirically illustrate these results with and without functional restrictions across image and molecule datasets.


title: Skyrmion instabilities and distorted spiral states in a frustrated chiral magnet

abstract: Magnetic skyrmions are particle-like topological excitations that recently generated much interest as candidates for future spintronic devices based on skyrmion small size, enhanced topological stability, and/or mutual interaction. Here we examine the properties of isolated skyrmions in a frustrated chiral magnet with competing Dzyaloshinskii-Moriya and frustrated exchange interactions. We show that the skyrmion size drastically decreases even for small values of competing stabilization mechanisms. Skyrmion mutual interaction remains attracting as is inherent for frustrated skyrmions, but the value of the Dzyaloshinskii constant regulates the number of minima in the interaction potentials. Moreover, the constructed phase diagrams for a chiral helimagnet contain a distorted spiral state that can be considered as a buffer between the helicoidal and conical one-dimensional modulations. The formulated concepts may further enhance the functionalities of spintronic devices. In particular, the controlled instability of skyrmions with respect to the conical state allows to obtain bimeron-like structures. Moreover, our results provide physical insight into the chiral states in the magnetic systems, e.g., in MnSi$_{1-x}$Ge$_x$.


title: Pay Attention to Convolution Filters: Towards Fast and Accurate Fine-Grained Transfer Learning

abstract: We propose an efficient transfer learning method for adapting ImageNet pre-trained Convolutional Neural Network (CNN) to fine-grained image classification task. Conventional transfer learning methods typically face the trade-off between training time and accuracy. By adding "attention module" to each convolutional filters of the pre-trained network, we are able to rank and adjust the importance of each convolutional signal in an end-to-end pipeline. In this report, we show our method can adapt a pre-trianed ResNet50 for a fine-grained transfer learning task within few epochs and achieve accuracy above conventional transfer learning methods and close to models trained from scratch. Our model also offer interpretable result because the rank of the convolutional signal shows which convolution channels are utilized and amplified to achieve better classification result, as well as which signal should be treated as noise for the specific transfer learning task, which could be pruned to lower model size.


title: A Blockchain-based Framework for Detecting Malicious Mobile Applications in App Stores

abstract: The dramatic growth in smartphone malware shows that malicious program developers are shifting from traditional PC systems to smartphone devices. Therefore, security researchers are also moving towards proposing novel antimalware methods to provide adequate protection. This paper proposes a Blockchain-Based Malware Detection Framework (B2MDF) for detecting malicious mobile applications in mobile applications marketplaces (app stores). The framework consists of two internal and external private blockchains forming a dual private blockchain as well as a consortium blockchain for the final decision. The internal private blockchain stores feature blocks extracted by both static and dynamic feature extractors, while the external blockchain stores detection results as blocks for current versions of applications. B2MDF also shares feature blocks with third parties, and this helps antimalware vendors to provide more accurate solutions.


title: Hand Orientation Estimation in Probability Density Form

abstract: Hand orientation is an essential feature required to understand hand behaviors and subsequently support human activities. In this paper, we present a new method for estimating hand orientation in probability density form. It can solve the cyclicity problem in direct angular representation and enables the integration of multiple predictions based on different features. We validated the performance of the proposed method and an integration example using our dataset, which captured cooperative group work.


title: Integrating Privacy Enhancing Techniques into Blockchains Using Sidechains

abstract: Blockchains are turning into decentralized computing platforms and are getting worldwide recognition for their unique advantages. There is an emerging trend beyond payments that blockchains could enable a new breed of decentralized applications, and serve as the foundation for Internet's security infrastructure. The immutable nature of the blockchain makes it a winner on security and transparency; it is nearly inconceivable for ledgers to be altered in a way not instantly clear to every single user involved. However, most blockchains fall short in privacy aspects, particularly in data protection. Garlic Routing and Onion Routing are two of major Privacy Enhancing Techniques (PETs) which are popular for anonymization and security. Garlic Routing is a methodology using by I2P Anonymous Network to hide the identity of sender and receiver of data packets by bundling multiple messages into a layered encryption structure. The Onion Routing attempts to provide lowlatency Internet-based connections that resist traffic analysis, deanonymization attack, eavesdropping, and other attacks both by outsiders (e.g. Internet routers) and insiders (Onion Routing servers themselves). As there are a few controversies over the rate of resistance of these two techniques to privacy attacks, we propose a PET-Enabled Sidechain (PETES) as a new privacy enhancing technique by integrating Garlic Routing and Onion Routing into a Garlic Onion Routing (GOR) framework suitable to the structure of blockchains. The preliminary proposed GOR aims to improve the privacy of transactions in blockchains via PETES structure.


title: Phase-Noise and Amplitude-Noise Measurement of DACs and DDSs

abstract: This article proposes a method for the measurement of Phase Noise (PN, or PM noise) and Amplitude Noise (AN, or AM noise) of Digital-to-Analog Converters (DAC) and Direct Digital Synthesizers (DDS) based on modulation-index amplification. The carrier is first reduced by a controlled amount (30-40 dB) by adding a reference signal of nearly equal amplitude and opposite in phase. Then, residual carrier and noise sidebands are amplified and sent to a conventional PN analyzer. The main virtues of our method are: (i) the noise specs of the PN analyzer are relaxed by a factor equal to the carrier suppression ratio; and, (ii) the capability to measure the AN using a PN analyzer, with no need for the analyzer to feature AN measurement. An obvious variant enables AN and PN measurements using an AN analyzer with no PN measurement capability. Such instrument is extremely simple and easy to implement with a power-detector diode followed by a FFT analyzer. Unlike the classical bridge (interferometric) method, there is no need for external line stretcher and variable attenuators because phase and amplitude control is implemented in the device under test. In one case (AD9144), we could measure the noise over 10 decades of frequency. The flicker noise matches the exact $1/f$ law with a maximum discrepancy of $\pm1$ dB over 7.5 decades. Thanks to simplicity, reliability, and low background noise, this method has the potential to become the standard method for the AN and PN measurement of DACs and DDSs.


title: Quantum mechanics as a noncommutative representation of classical conditional probabilities

abstract: The aim of this paper is to analyze the reconstructability of quantum mechanics from classical conditional probabilities representing measurement outcomes conditioned on measurement choices. We will investigate how the quantum mechanical representation of classical conditional probabilities is situated within the broader frame of noncommutative representations. To this goal, we adopt some parts of the quantum formalism and ask whether empirical data can constrain the rest of the representation to conform to quantum mechanics. We will show that as the set of empirical data grows conventional elements in the representation gradually shrink and the noncommutative representations narrow down to the unique quantum mechanical representation.


title: Possible Molecular States Composed of Doubly Charmed Baryons with Couple-channel Effect

abstract: We systematically investigate the possible molecular states composed of (1) two spin-$\frac{3}{2}$ doubly charmed baryons, and (2) a pair of spin-$\frac{3}{2}$ and spin-$\frac{1}{2}$ doubly charmed baryons. The one-boson-exchange (OBE) model is used to describe the potential between two baryons. The channel mixing effect is considered for the systems with the same quantum number $(I(J^P))$ but different total spin ($S$) and orbital angular momenta ($L$). We also study the channel mixing effect among the systems composed of various doubly charmed baryons if they have the same quantum number. Many of the systems are good candidates of molecular states.


title: Long-time persistence of hydrodynamic memory boosts microparticle transport

abstract: In a viscous fluid, the past motion of an accelerating particle is retained as an imprint on the vorticity field, which decays slowly as $t^{-3/2}$. At low Reynolds number, the Basset-Boussinesq-Oseen (BBO) equation correctly describes nonuniform particle motion, capturing hydrodynamic memory effects associated with this slow algebraic decay. Using the BBO equation, we numerically simulate driven single-particle transport to show that memory effects persist indefinitely under rather general driving conditions. In particular, when driving forces do not vary smoothly, hydrodynamic memory substantially lowers the effective transport friction. Remarkably, this enables coasting over a spatially uneven potential that otherwise traps particles modeled with pure Stokes drag. Our results provide direct physical insight into role of particle-fluid coupling in nonequilibrium microparticle transport.


title: Clustering of primordial black holes with non-Gaussian initial fluctuations

abstract: We formulate the two-point correlation function of primordial black holes (PBHs) at their formation time, based on the functional integration approach which has often been used in the context of halo clustering. We find that PBH clustering on super-Hubble scales could never be induced in the case where the initial primordial fluctuations are Gaussian, while it can be enhanced by the so-called local-type trispectrum (four-point correlation function) of the primordial curvature perturbations.


title: Simple Bounds for One-shot Pure-State Distillation in General Resource Theories

abstract: We present bounds for distilling many copies of a pure state from an arbitrary initial state in a general quantum resource theory. Our bounds apply to operations that are able to generate no more than a $\delta$ amount of resource, where $\delta \geq 0$ is a given parameter. To maximize applicability of our upper bound, we assume little structure on the set of free states under consideration besides a weak form of superadditivity of the function $G_{min}(\rho)$, which measures the overlap between $\rho$ and the set of free states. Our bounds are given in terms of this function and the robustness of resource. Known results in coherence and entanglement theory are reproduced in this more general framework.


title: Towards Geocoding Spatial Expressions

abstract: Imprecise composite location references formed using ad hoc spatial expressions in English text makes the geocoding task challenging for both inference and evaluation. Typically such spatial expressions fill in unestablished areas with new toponyms for finer spatial referents. For example, the spatial extent of the ad hoc spatial expression "north of" or "50 minutes away from" in relation to the toponym "Dayton, OH" refers to an ambiguous, imprecise area, requiring translation from this qualitative representation to a quantitative one with precise semantics using systems such as WGS84. Here we highlight the challenges of geocoding such referents and propose a formal representation that employs background knowledge, semantic approximations and rules, and fuzzy linguistic variables. We also discuss an appropriate evaluation technique for the task that is based on human contextualized and subjective judgment.


title: Continuity results for degenerate diffusion equations with $L^{p}_t L^{q}_{x}$ drifts

abstract: In this paper, we study local uniform continuity of nonnegative weak solutions to degenerate diffusion-drift equations in the form \[ u_{t} = \Delta u^{m} + \nabla\cdot \left( B (x,t) \, u\right), \quad \text{for } m \geq 1 \] assuming a vector field $B \in L^{p}_t L^{q}_{x}$. Regarding local H\"{o}lder continuity, we provide a sharp condition on $p$ and $q$, which is referred to as the subcritical region. In the critical region, the divergence-free condition is essential to providing uniform continuity which depends on the modulus continuity of $B$.


title: Synthesizing Diverse Lung Nodules Wherever Massively: 3D Multi-Conditional GAN-based CT Image Augmentation for Object Detection

abstract: Accurate Computer-Assisted Diagnosis, relying on large-scale annotated pathological images, can alleviate the risk of overlooking the diagnosis. Unfortunately, in medical imaging, most available datasets are small/fragmented. To tackle this, as a Data Augmentation (DA) method, 3D conditional Generative Adversarial Networks (GANs) can synthesize desired realistic/diverse 3D images as additional training data. However, no 3D conditional GAN-based DA approach exists for general bounding box-based 3D object detection, while it can locate disease areas with physicians' minimum annotation cost, unlike rigorous 3D segmentation. Moreover, since lesions vary in position/size/attenuation, further GAN-based DA performance requires multiple conditions. Therefore, we propose 3D Multi-Conditional GAN (MCGAN) to generate realistic/diverse 32 X 32 X 32 nodules placed naturally on lung Computed Tomography images to boost sensitivity in 3D object detection. Our MCGAN adopts two discriminators for conditioning: the context discriminator learns to classify real vs synthetic nodule/surrounding pairs with noise box-centered surroundings; the nodule discriminator attempts to classify real vs synthetic nodules with size/attenuation conditions. The results show that 3D Convolutional Neural Network-based detection can achieve higher sensitivity under any nodule size/attenuation at fixed False Positive rates and overcome the medical data paucity with the MCGAN-generated realistic nodules---even expert physicians fail to distinguish them from the real ones in Visual Turing Test.


title: Measurements of particle spectra in diffractive proton-proton collisions with the STAR detector at RHIC

abstract: We present the inclusive and identified particle (pion, proton and their antiparticle) production in Single Diffraction Dissociation and Central Diffraction processes with the STAR detector at RHIC. The forward-scattered proton(s) are tagged in the STAR Roman Pot system while the charged particle tracks are reconstructed in the STAR Time Projection Chamber. Ionization energy loss and time of flight of charged particles are used for particle identification. In addition, the proton-antiproton production asymmetry as a function of rapidity is measured and used to study the baryon number transfer over a large rapidity interval in Single Diffraction Dissociation.


title: Good Stabilizer Codes from Quasi-Cyclic Codes over $\mathbb{F}_4$ and $\mathbb{F}_9$

abstract: We apply quantum Construction X on quasi-cyclic codes with large Hermitian hulls over $\mathbb{F}_4$ and $\mathbb{F}_9$ to derive good qubit and qutrit stabilizer codes, respectively. In several occasions we obtain quantum codes with stricly improved parameters than the current record. In numerous other occasions we obtain quantum codes with best-known performance. For the qutrit ones we supply a systematic construction to fill some gaps in the literature.


title: Fresnel diffraction of cylindrical and spherical wavefronts from a phase plate

abstract: In the last two decades, Fresnel diffraction (FD) of a plane wave from phase steps has been systematically studied and applied for precise measurements of light wavelength, and height and refractive index of the step. In this study we formulate FD of cylindrical and spherical wavefronts from a transparent step in transmission mode. It is shown that, the intensity distribution is a periodic function along the lines parallel to the plate edge. The phase distribution in this direction is a linearly varying function of the position squared, with a slope depends on the light wavelength, the plate thickness and refractive index, and the radius of wavefront curvature (RWC) on the observation plane. Therefore, it has significant potential in optical metrology, by a single-shot recording. The diffraction patterns are simulated and experimentally verified. Also, the RWC and displacement are determined as examples of applications in the experimental part of the report.


title: Sink Mobility To Ensure Coverage in Multi-Partitioned Wireless Sensor Network

abstract: Recent works on WSNs show that use of mobile sink can prolong network lifetime. This paper demonstrates the advantages of the mobile sink in WSNs for increasing their lifetime than static sink. A novel sink mobility with coverage algorithm has been proposed here. During the movement of the sinks in the network, they sojourn at different points in the network and collect data over there. The direction of the movement of the sinks is determined by the algorithm and sinks are mobile inside the network. This algorithm can also be used for multiple sinks partitioned network. Simulations has been carried out for both mobile and static sinks to determine the average energy consumption of the network. At the same time, it also determines the network lifetime in terms of number of rounds neighbor nodes of sink is alive and first node die of the network. Our experiments show that mobile sinks outperform static sink in all scenarios. Furthermore, the proposed algorithm results in a good balancing of energy depletion among the sensor nodes.


title: Spectral Bounds for Quasi-Twisted Codes

abstract: New lower bounds on the minimum distance of quasi-twisted codes over finite fields are proposed. They are based on spectral analysis and eigenvalues of polynomial matrices. They generalize the Semenov-Trifonov and Zeh-Ling bounds in a manner similar to how the Roos and shift bounds extend the BCH and HT bounds for cyclic codes.


title: A hierarchical Lyapunov-based cascade adaptive control scheme for lower-limb exoskeleton

abstract: This paper proposes a hierarchical Lyapunov-based adaptive cascade control scheme for a lower-limb exoskeleton with control saturation. The proposed approach is composed by two control levels with cascade structure. At the higher layer of the structure, a Lyapunov-based back-stepping regulator including adaptive estimation of uncertain parameters and friction force is designed for the leg dynamics, to minimize the deviation of the joint position and its reference value. At the lower layer, a Lyapunov-based neural network adaptive controller is in charge of computing control action for the hydraulic servo system, to follow the force reference computed at the high level, also to compensate for model uncertainty, nonlinearity, and control saturation. The proposed approach shows to be capable in minimizing the interaction torque between machine and human, and suitable for possible imprecise models. The robustness of the closed-loop system is discussed under input constraint. Simulation experiments are reported, which shows that the proposed scheme is effective in imposing smaller interaction torque with respect to PD controller, and in control of models with uncertainty and nonlinearity.


title: Structure and classification of Hom-associative algebras

abstract: The purpose of this paper is to study the structure and the algebraic varieties of Hom-associative algebras. We give characterize multiplicative simple Hom-associative algebras and show some examples deforming the $2\times 2$-matrix algebra to simple Hom-associative algebras. We provide a classification of $n$-dimensional Hom-associative algebras for $n\leq3$. Then study their derivations and compute small Hom-Type Hochschild cohomology groups. Furthermore, we discuss their irreducible components.


title: Unified Viscous-to-inertial Scaling in Liquid Droplet Coalescence

abstract: This letter presents a theory on the coalescence of two spherical liquid droplets that are initially stationary. The evolution of the radius of a liquid neck formed upon coalescence was formulated as an initial value problem and then solved to yield an exact solution without free parameters, with its two asymptotic approximations reproducing the well-known scaling relations in the viscous and inertial regimes. The viscous-to-inertial crossover observed by Paulsen et al. [Phys. Rev. Lett. 106, 114501 (2011)] is also recovered by the theory, rendering the collapse of data of different viscosities onto a single curve.


title: Polynomially growing harmonic functions on connected groups

abstract: We study the connection between the dimension of certain spaces of harmonic functions on a group and its geometric and algebraic properties. Our main result shows that (for sufficiently "nice" random walk measures) a connected, compactly generated, locally compact group has polynomial volume growth if and only if the space of linear growth harmonic functions has finite dimension. This characterization is interesting in light of the fact that Gromov's theorem regarding finitely generated groups of polynomial growth does not have an analog in the connected case. That is, there are examples of connected groups of polynomial growth that are not nilpotent by compact. Also, the analogous result for the discrete case has only been established for solvable groups, and is still open for general finitely generated groups.


title: Toward Interpretable Music Tagging with Self-Attention

abstract: Self-attention is an attention mechanism that learns a representation by relating different positions in the sequence. The transformer, which is a sequence model solely based on self-attention, and its variants achieved state-of-the-art results in many natural language processing tasks. Since music composes its semantics based on the relations between components in sparse positions, adopting the self-attention mechanism to solve music information retrieval (MIR) problems can be beneficial. Hence, we propose a self-attention based deep sequence model for music tagging. The proposed architecture consists of shallow convolutional layers followed by stacked Transformer encoders. Compared to conventional approaches using fully convolutional or recurrent neural networks, our model is more interpretable while reporting competitive results. We validate the performance of our model with the MagnaTagATune and the Million Song Dataset. In addition, we demonstrate the interpretability of the proposed architecture with a heat map visualization.


title: The images of non-commutative polynomials evaluated on the Quaternion algebra

abstract: Let $p$ be a multilinear polynomial in several non-commuting variables with coefficients in an arbitrary field $K$. Kaplansky conjectured that for any $n$, the image of $p$ evaluated on the set $M_n(K)$ of $n$ by $n$ matrices is a vector space. In this paper we settle the analogous conjecture for a quaternion algebra.


title: Lifetime of a greedy forager with long-range smell

abstract: We study a greedy forager who consumes food throughout a region. If the forager does not eat any food for $S$ time steps it dies. We assume that the forager moves preferentially in the direction of greatest smell of food. Each food item in a given direction contributes towards the total smell of food in that direction, however the smell of any individual food item decays with its distance from the forager. We assume a power-law decay of the smell with the distance of the food from the forager and vary the exponent $\alpha$ governing this decay. We find, both analytically and through simulations, that for a forager living in one dimension, there is a critical value of $\alpha$, namely $\alpha_c$, where for $\alpha<\alpha_c$ the forager will die in finite time, however for $\alpha>\alpha_c$ the forager has a nonzero probability to live infinite time. We calculate analytically, the critical value, $\alpha_c$, separating these two behaviors and find that $\alpha_c$ depends on $S$ as $\alpha_c=1 + 1/\lceil S/2 \rceil$. We determine analytically that at $\alpha=\alpha_c$ the system has an essential singularity. We also study, using simulations, a forager with long-range decaying smell in two dimensions (2D) and find that for this case the forager always dies within finite time. However, in 2D we observe indications of an optimal $\alpha$ for which the forager has the longest lifetime.


title: A new identity for a sum of products of the generalized hypergeometric functions

abstract: Reduction formulas for sums of products of hypergeometric functions can be traced back to Euler. This topic has an intimate connection to summation and transformation formulas, contiguous relations and algebraic properties of the (generalized) hypergeometric differential equation. Over recent several years, important discoveries have been made in this subject by Gorelov, Ebisu, Beukers and Jouhet and Feng, Kuznetsov and Yang. In this paper, we give a generalization of Feng, Kuznetsov and Yang identity covering also Ebisu's and Gorelov's formulas as particular cases.


title: CDPM: Convolutional Deformable Part Models for Semantically Aligned Person Re-identification

abstract: Part-level representations are essential for robust person re-identification. However, common errors that arise during pedestrian detection frequently result in severe misalignment problems for body parts, which degrade the quality of part representations. Accordingly, to deal with this problem, we propose a novel model named Convolutional Deformable Part Models (CDPM). CDPM works by decoupling the complex part alignment procedure into two easier steps: first, a vertical alignment step detects each body part in the vertical direction, with the help of a multi-task learning model; second, a horizontal refinement step based on attention suppresses the background information around each detected body part. Since these two steps are performed orthogonally and sequentially, the difficulty of part alignment is significantly reduced. In the testing stage, CDPM is able to accurately align flexible body parts without any need for outside information. Extensive experimental results demonstrate the effectiveness of the proposed CDPM for part alignment. Most impressively, CDPM achieves state-of-the-art performance on three large-scale datasets: Market-1501, DukeMTMC-ReID,and CUHK03.


title: Theory of phonon side jump contribution in Anomalous Hall transport

abstract: The role of electron-phonon scattering in finite-temperature anomalous Hall effect is still poorly understood. In this work, we present a Boltzmann theory for the side-jump contribution from electron-phonon scattering, which is derived from the microscopic quantum mechanical theory. We show that the resulting phonon side-jump conductivity generally approaches different limiting values in the high and low temperature limits, and hence can exhibit strong temperature dependence in the intermediate temperature regime. Our theory is amenable to ab initio treatment, which makes quantitative comparison between theoretical and experimental results possible.


title: Crown-structured optical harmonics

abstract: At levels of laser intensity below threshold for multiphoton ionization, the parametric generation of optical harmonics in gases and other isotropic media is subject to selection rules with origins in angular momentum conservation. The recently developed optics of vector polarization modes provides an unprecedented opportunity to exploit these principles in the production of high harmonic beams with distinctive forms of transverse intensity profile, comprising discrete sub-wavelength filaments in crown-like arrays. A detailed analysis of the fundamental electrodynamics elicits the mechanism, and delivers results illustrating the transverse structures and spatial dimensions of harmonic output that can be achieved.


title: DeepSquare: Boosting the Learning Power of Deep Convolutional Neural Networks with Elementwise Square Operators

abstract: Modern neural network modules which can significantly enhance the learning power usually add too much computational complexity to the original neural networks. In this paper, we pursue very efficient neural network modules which can significantly boost the learning power of deep convolutional neural networks with negligible extra computational cost. We first present both theoretically and experimentally that elementwise square operator has a potential to enhance the learning power of neural networks. Then, we design four types of lightweight modules with elementwise square operators, named as Square-Pooling, Square-Softmin, Square-Excitation, and Square-Encoding. We add our four lightweight modules to Resnet18, Resnet50, and ShuffleNetV2 for better performance in the experiment on ImageNet 2012 dataset. The experimental results show that our modules can bring significant accuracy improvements to the base convolutional neural network models. The performance of our lightweight modules is even comparable to many complicated modules such as bilinear pooling, Squeeze-and-Excitation, and Gather-Excite. Our highly efficient modules are particularly suitable for mobile models. For example, when equipped with a single Square-Pooling module, the top-1 classification accuracy of ShuffleNetV2-0.5x on ImageNet 2012 is absolutely improved by 1.45% with no additional parameters and negligible inference time overhead.


title: Unsupervised Question Answering by Cloze Translation

abstract: Obtaining training data for Question Answering (QA) is time-consuming and resource-intensive, and existing QA datasets are only available for limited domains and languages. In this work, we explore to what extent high quality training data is actually required for Extractive QA, and investigate the possibility of unsupervised Extractive QA. We approach this problem by first learning to generate context, question and answer triples in an unsupervised manner, which we then use to synthesize Extractive QA training data automatically. To generate such triples, we first sample random context paragraphs from a large corpus of documents and then random noun phrases or named entity mentions from these paragraphs as answers. Next we convert answers in context to "fill-in-the-blank" cloze questions and finally translate them into natural questions. We propose and compare various unsupervised ways to perform cloze-to-natural question translation, including training an unsupervised NMT model using non-aligned corpora of natural questions and cloze questions as well as a rule-based approach. We find that modern QA models can learn to answer human questions surprisingly well using only synthetic training data. We demonstrate that, without using the SQuAD training data at all, our approach achieves 56.4 F1 on SQuAD v1 (64.5 F1 when the answer is a Named entity mention), outperforming early supervised models.


title: A First-Order Framework for Inquisitive Modal Logic

abstract: We present a natural standard translation of inquisitive modal logic InqML into first-order logic over the natural two-sorted relational representations of the intended models, which captures the built-in higher-order features of InqML. This translation is based on a graded notion of flatness that ties the inherent second-order, team-semantic features of InqML over information states to subsets or tuples of bounded size. A natural notion of pseudo-models, which relaxes the non-elementary constraints on the intended models, gives rise to an elementary, purely model-theoretic proof of the compactness property for InqML. Moreover, we prove a Hennessy-Milner theorem for InqML, which crucially uses $\omega$-saturated pseudo-models and the new standard translation. As corollaries we also obtain van Benthem style characterisation theorems.


title: Consistency in Parametric Interval Probabilistic Timed Automata

abstract: We propose a new abstract formalism for probabilistic timed systems, Parametric Interval Probabilistic Timed Automata, based on an extension of Parametric Timed Automata and Interval Markov Chains. In this context, we consider the consistency problem that amounts to deciding whether a given specification admits at least one implementation. In the context of Interval Probabilistic Timed Automata (with no timing parameters), we show that this problem is decidable and propose a constructive algorithm for its resolution. We show that the existence of timing parameter valuations ensuring consistency is undecidable in the general context, but still exhibit a syntactic condition on parameters to ensure decidability. We also propose procedures that resolve both the consistency and the consistent reachability problems when the parametric probabilistic zone graph is finite.


title: Multiple Stellar Populations in NGC 2808: a Case Study for Cluster Analysis

abstract: In the massive globular cluster NGC 2808, RGB stars form at least five distinct groups in the so-called chromosome map photometric plane, arguably corresponding to different stellar populations. While a human expert can separate the groups by eye relatively easily, algorithmic approaches are desirable for reproducibility and for handling a larger sample of globular clusters. Unfortunately, cluster analysis algorithms often produced unsatisfactory results. Here we apply a range of non-parametric clustering algorithms to the NGC 2808 RGB dataset: partitioning (k-means, Partitioning Around Medoids - PAM), hierarchical (AGglomerative NESting - AGNES, DIvisive ANAlysis - DIANA), and density based (Density-Based Spatial Clustering of Applications with Noise - DBSCAN, Ordering Points To Identify the Clustering Struture - OPTICS). For each algorithm we discuss different choices of the relevant hyperparameters and their impact on the resulting clustering. We find that AGNES produces results that are most similar to the expectations of a human expert, depending on the prescription used for joining adjacent groups - linkage. Among the linkage prescriptions we tested, Ward's method performs best, and average linkage obtains comparable results only if outliers are removed beforehand. We recommend using AGNES with Ward's method or similar linkages in future studies to automatically identify stellar populations in the chromosome map plane.


title: SAFEVM: A Safety Verifier for Ethereum Smart Contracts

abstract: Ethereum smart contracts are public, immutable and distributed and, as such, they are prone to vulnerabilities sourcing from programming mistakes of developers. This paper presents SAFEVM, a verification tool for Ethereum smart contracts that makes use of state-of-the-art verification engines for C programs. SAFEVM takes as input an Ethereum smart contract (provided either in Solidity source code, or in compiled EVM bytecode), optionally with assert and require verification annotations, and produces in the output a report with the verification results. Besides general safety annotations, SAFEVM handles the verification of array accesses: it automatically generates SV-COMP verification assertions such that C verification engines can prove safety of array accesses. Our experimental evaluation has been undertaken on all contracts pulled from etherscan.io (more than 24,000) by using as back-end verifiers CPAchecker, SeaHorn and VeryMax.