title: The obstacle problem for a class of degenerate fully nonlinear operators

abstract: We study the obstacle problem for fully nonlinear elliptic operators with an anisotropic degeneracy on the gradient: \[ \min \left\{f-|Du|^\gamma F(D^2u),u-\phi\right\} = 0 \quad\textrm{ in }\quad \Omega. \] We obtain existence of solutions and prove sharp regularity estimates along the free boundary points, namely $\partial\{u>\phi\} \cap \Omega$. In particular, for the homogeneous case ($f\equiv0$) we get that solutions are $C^{1,1}$ at free boundary points, in the sense that they detach from the obstacle in a quadratic fashion, thus beating the optimal regularity allowed for such degenerate operators. We also present further features of the solutions and partial results regarding the free boundary. These are the first results for obstacle problems driven by degenerate type operators in non-divergence form and they are a novelty even for the simpler scenario given by an operator of the form $\mathcal{G}[u] = |Du|^\gamma\Delta u$.


title: Embeddings and Representation Learning for Structured Data

abstract: Performing machine learning on structured data is complicated by the fact that such data does not have vectorial form. Therefore, multiple approaches have emerged to construct vectorial representations of structured data, from kernel and distance approaches to recurrent, recursive, and convolutional neural networks. Recent years have seen heightened attention in this demanding field of research and several new approaches have emerged, such as metric learning on structured data, graph convolutional neural networks, and recurrent decoder networks for structured data. In this contribution, we provide an high-level overview of the state-of-the-art in representation learning and embeddings for structured data across a wide range of machine learning fields.


title: A general-purpose deep learning approach to model time-varying audio effects

abstract: Audio processors whose parameters are modified periodically over time are often referred as time-varying or modulation based audio effects. Most existing methods for modeling these type of effect units are often optimized to a very specific circuit and cannot be efficiently generalized to other time-varying effects. Based on convolutional and recurrent neural networks, we propose a deep learning architecture for generic black-box modeling of audio processors with long-term memory. We explore the capabilities of deep neural networks to learn such long temporal dependencies and we show the network modeling various linear and nonlinear, time-varying and time-invariant audio effects. In order to measure the performance of the model, we propose an objective metric based on the psychoacoustics of modulation frequency perception. We also analyze what the model is actually learning and how the given task is accomplished.


title: On-demand contact line pinning during droplet evaporation

abstract: Depending on the contact line motion, colloid-rich drolets evaporation can leave a ring-like or a spot-like residue. Herein, we determine this outcome by controlling the contact line motion using coplanar direct current electrowetting-on-dielectrics (DC-EWOD). Combined with theoretical calculations of the droplet shape and its evaporation rate, the time-dependent actuation voltage is first derived from experiments and simulations. Thanks to the additional control over the contact angle, the contact line can be maintained in pinned state even on surfaces that exhibit little contact angle hysteresis such as homogenous flat Teflon coatings. In the absence of EWOD control, polystyrene particles and Escherichia coli suspended in the droplet formed a dot-like pattern at the center of the initial contact, whereas application of the mechanism resulted in ring-like patterns of a controllable radius. Unlike chemically or structurally patterned substrates, the contact line could recover its mobility at any preset time before reaching the control limit, which is useful to accurately and consistently fabricate self-assembled nanostructures of desired patterns on different surfaces.


title: Existence and uniqueness of global weak solutions to a generalized Camassa-Holm equation

abstract: This paper is concerned with the existence and uniqueness of global weak solutions to a generalized Camassa-Holm equation on real line. By introducing some new variables, the equation is transformed into two different semi-linear systems. Then the existence and uniqueness of global weak solutions to the original equation are obtained from that of the two semi-linear systems, respectively.


title: On ternary Egyptian fractions with prime denominator

abstract: Given a positive integer $n$ we let $A_k(n)$ be the number of positive integers $a$ such that $\frac{a}{n}=\frac{1}{m_1}+\frac{1}{m_2}+\cdots+\frac{1}{m_k}$ for some $m_1,m_2,\ldots,m_k\in {\mathbb N}$. We show that $x(\log x)^3\ll \sum_{p\le x} A_3(p)\ll x(\log x)^5$ as $x\rightarrow\infty$.


title: Thin domain limit and counterexamples to strong diamagnetism

abstract: We study the magnetic Laplacian and the Ginzburg-Landau functional in a thin planar, smooth, tubular domain and with a uniform applied magnetic field. We provide counterexamples to strong diamagnetism, and as a consequence, we prove that the transition from the superconducting to the normal state is non-monotone. In some non-linear regime, we determine the structure of the order parameter and compute the super-current along the boundary of the sample. Our results are in agreement with what was observed in the Little-Parks experiment, for a thin cylindrical sample.


title: The Theory of Scanning Quantum Dot Microscopy

abstract: Electrostatic forces are among the most common interactions in nature and omnipresent at the nanoscale. Scanning probe methods represent a formidable approach to study these interactions locally. The lateral resolution of such images is, however, often limited as they are based on measuring the force (gradient) due to the entire tip interacting with the entire surface. Recently, we developed scanning quantum dot microscopy (SQDM), a new technique for the imaging and quantification of surface potentials which is based on the gating of a nanometer-size tip-attached quantum dot by the local surface potential and the detection of charge state changes via non-contact atomic force microscopy. Here, we present a rigorous formalism in the framework of which SQDM can be understood and interpreted quantitatively. In particular, we present a general theory of SQDM based on the classical boundary value problem of electrostatics, which is applicable to the full range of sample properties (conductive vs insulating, nanostructured vs homogeneously covered). We elaborate the general theory into a formalism suited for the quantitative analysis of images of nanostructured but predominantly flat and conductive samples.


title: Vanishing viscosity of one-dimensional isentropic Navier-Stokes equations with density dependent viscous coefficient

abstract: In this paper, we study the vanishing viscosity of the isentropic compressible Navier-Stokes equations with density dependent viscous coefficient in the presence of the shock wave. Given a shock wave to the corresponding Euler equations, we can construct a sequence of solutions to one-dimensional compressible isentropic Navier-Stokes equations which converge to the shock wave as the viscosity tends to zero. The proof is given by an elementary energy method.


title: Some convolution inversion questions

abstract: Blurring of a photographic image by a wrong focus can be modeled by convolution. Is inversion a possible answer? This paper adds complements to a foregoing paper discussing convolution-inversion of some measures.


title: RMT: R-matrix with time-dependence. Solving the semi-relativistic, time-dependent Schrodinger equation for general, multi-electron atoms and molecules in intense, ultrashort, arbitrarily polarized laser pulses

abstract: RMT is a program which solves the time-dependent Schrodinger equation for general, multielectron atoms, ions and molecules interacting with laser light. As such it can be used to model ionization (single-photon, multi-photon and strong-field), recollision (high-harmonic generation, strong-field rescattering), and more generally absorption or scattering processes with a full account of the multielectron correlation effects in a time-dependent manner. Calculations can be performed for targets interacting with ultrashort, intense laser pulses of long-wavelength and arbitrary polarization. Calculations for atoms can optionally include the Breit-Pauli correction terms for the description of relativistic (in particular, spin-orbit) effects.


title: New Laplace-type integral transform for solving steady heat-transfer problem

abstract: The fundamental purpose of this paper is to propose a new Laplace-type integral transform (NL-TIT) for solving steady heat-transfer problems. The proposed integral transform is a generalization of the Sumudu, and the Laplace transforms and its visualization is more comfortable than the Sumudu transform, the natural transform, and the Elzaki transform. The suggested integral transform is used to solve the steady heat-transfer problems, and results are compared with the results of the existing techniques.


title: Rossby modes in neutron stars as sources of gravitational waves

abstract: In the present work, we explore the Rossby mode instabilities in neutron stars as sources of gravitational waves. The intensity and time evolution of the emitted gravitational waves in terms of the amplitude of the strain tensor are estimated in the slow rotation approximation using $\beta$-equilibrated neutron star matter obtained from density dependent M3Y effective interaction. For a wide range of neutron star masses, the fiducial gravitational and various viscous time scales, the critical frequencies and the time evolutions of the frequencies are calculated. The dissipative mechanism of the Rossby modes is considered to be driven by the shear viscosity along the boundary layer of the solid crust-liquid core interface as well as in the core and the bulk viscosity. It is found that neutron stars with slower frequency of rotation, for the same mass, radius and surface temperature, are expected to emit gravitational waves of higher intensity.


title: Deep Neural Architecture Search with Deep Graph Bayesian Optimization

abstract: Bayesian optimization (BO) is an effective method of finding the global optima of black-box functions. Recently BO has been applied to neural architecture search and shows better performance than pure evolutionary strategies. All these methods adopt Gaussian processes (GPs) as surrogate function, with the handcraft similarity metrics as input. In this work, we propose a Bayesian graph neural network as a new surrogate, which can automatically extract features from deep neural architectures, and use such learned features to fit and characterize black-box objectives and their uncertainty. Based on the new surrogate, we then develop a graph Bayesian optimization framework to address the challenging task of deep neural architecture search. Experiment results show our method significantly outperforms the comparative methods on benchmark tasks.


title: A constructive account of the Kan-Quillen model structure and of Kan's Ex$^{\infty}$ functor

abstract: We give a fully constructive proof that there is a proper cartesian $\omega$-combinatorial model structure on the category of simplicial sets, whose generating cofibrations and trivial cofibrations are the usual boundary inclusion and horn inclusion. The main difference with classical mathematics is that constructively not all monomorphisms are cofibrations (only those satisfying some decidability conditions) and not every object is cofibrant. The proof relies on three main ingredients: First, our construction of a weak model categories on simplicial sets, then the interplay with the semi-simplicial versions of this weak model structure and finally, the use of Kan Ex$^{\infty}$-functor, and more precisely of S.Moss' direct proof that the natural map $X \rightarrow $ Ex$^{\infty} X$ is an anodyne morphism, which we show is constructive when $X$ is cofibrant.


title: Hunting for open clusters in \textit{Gaia} DR2: the Galactic anticentre

abstract: The Gaia Data Release 2 (DR2) provided an unprecedented volume of precise astrometric and excellent photometric data. In terms of data mining the Gaia catalogue, machine learning methods have shown to be a powerful tool, for instance in the search for unknown stellar structures. Particularly, supervised and unsupervised learning methods combined together significantly improves the detection rate of open clusters. We systematically scan Gaia DR2 in a region covering the Galactic anticentre and the Perseus arm $(120 \leq l \leq 205$ and $-10 \leq b \leq 10)$, with the goal of finding any open clusters that may exist in this region, and fine tuning a previously proposed methodology successfully applied to TGAS data, adapting it to different density regions. Our methodology uses an unsupervised, density-based, clustering algorithm, DBSCAN, that identifies overdensities in the five-dimensional astrometric parameter space $(l,b,\varpi,\mu_{\alpha^*},\mu_{\delta})$ that may correspond to physical clusters. The overdensities are separated into physical clusters (open clusters) or random statistical clusters using an artificial neural network to recognise the isochrone pattern that open clusters show in a colour magnitude diagram. The method is able to recover more than 75% of the open clusters confirmed in the search area. Moreover, we detected 53 open clusters unknown previous to Gaia DR2, which represents an increase of more than 22% with respect to the already catalogued clusters in this region. We find that the census of nearby open clusters is not complete. Different machine learning methodologies for a blind search of open clusters are complementary to each other; no single method is able to detect 100% of the existing groups. Our methodology has shown to be a reliable tool for the automatic detection of open clusters, designed to be applied to the full Gaia DR2 catalogue.


title: Exit momentum and instantaneous ionization rate of nonadiabatic tunneling ionization in elliptically polarized laser fields

abstract: Based on the strong-field approximation, we obtain analytical expressions for the initial momentum at the tunnel exit and instantaneous ionization rate of tunneling ionization in elliptically polarized laser fields with arbitrary ellipticity. The tunneling electron reveals a nonzero offset of the initial momentum at the tunnel exit in the elliptically polarized laser field. We find that the transverse and longitudinal components of this momentum offset with respect to the instantaneous field direction are directly related to the time derivatives of the instantaneous laser electric field along the angular and radial directions, respectively. We further show that the nonzero initial momentum at the tunnel exit has a significant influence on the laser phase dependence of the instantaneous ionization rate in the nonadiabatic tunneling regime.


title: Bulk-boundary correspondence in soft matter

abstract: Bulk-boundary correspondence is the emergence of features at the boundary of a material that are dependent on and yet distinct from the properties of the bulk of the material. The diverse applications of this idea in topological insulators as well as high energy physics prove its universality. However, whether a form of bulk-boundary correspondence holds also in soft matter such as gels, polymers, lipids and other biomaterials is thus far unknown. Aerosil-dispersed liquid crystal gels (LC+aerosil) provide a good testing ground to explore the relation between the controlled variations of the aerosil density within the liquid crystal host bulk and the surface topography of the sample. Here we report on one of the earliest if not the first direct observation of such a correspondence where the controlled strength of random disorder created by aerosil dispersion in the bulk liquid crystal is correlated with the fractal dimension of the surface. We obtained the surface topography of our gel samples with different quenched random disorder strengths by using atomic force microscope techniques, and computed the fractal dimension for each sample. We found that an increase of the aerosil gel density in the bulk corresponds to an increase in the fractal dimension at the surface. From our results emerges a new method to acquire the bulk properties of soft matter such as density, randomness and phase merely from the fractal dimension of the surface.

categories: cond-mat.soft cond-mat.dis-nn hep-th physics.app-ph


title: Higher order corrections to the mean-field description of the dynamics of interacting bosons

abstract: In this paper, we introduce a novel method for deriving higher order corrections to the mean-field description of the dynamics of interacting bosons. More precisely, we consider the dynamics of $N$ $d$-dimensional bosons for large $N$. The bosons initially form a Bose-Einstein condensate and interact with each other via a pair potential of the form $(N-1)^{-1}N^{d\beta}v(N^\beta\cdot)$ for $\beta\in[0,\frac{1}{4d})$. We derive a sequence of $N$-body functions which approximate the true many-body dynamics in $L^2(\mathbb{R}^{d N})$-norm to arbitrary precision in powers of $N^{-1}$. The approximating functions are constructed as Duhamel expansions of finite order in terms of the first quantised analogue of a Bogoliubov time evolution.


title: Capitalizing on Nuclear Data Libraries' Comprehensiveness to Obtain Solar System r-process Abundances

abstract: The recent observation of neutron stars merger by the Laser Interferometer Gravitational-Wave Observatory (LIGO) collaboration and the measurements of the event's electromagnetic spectrum as a function of time for different wavelengths have altered profoundly our understanding of the r-process site as well as considerably energized nuclear astrophysics research efforts. R-process abundances are a key element in r-process simulations, as a successful calculation must account for these abundances in the final debris of a stellar cataclysmic event. In this article, mankind's complete knowledge of neutron cross sections obtained over the last 80 years, as encapsulated in the latest release of the Evaluated Nuclear Data File (ENDF/B) library, is used to obtain solar system r-process abundances in a comprehensive data approach. ENDF/B cross sections have been successfully used for decades in nuclear power and defense applications and are now used to obtain r-process abundances in a fully traceable and documented way. This article r-process abundances provide complementary insights on the astrophysical events, overall quality of neutron capture data in the astrophysical region of temperatures, and demonstrate issues with the s-process contribution subtraction procedure.


title: Computational Socioeconomics

abstract: Uncovering the structure of socioeconomic systems and timely estimation of socioeconomic status are significant for economic development. The understanding of socioeconomic processes provides foundations to quantify global economic development, to map regional industrial structure, and to infer individual socioeconomic status. In this review, we will make a brief manifesto about a new interdisciplinary research field named Computational Socioeconomics, followed by detailed introduction about data resources, computational tools, data-driven methods, theoretical models and novel applications at multiple resolutions, including the quantification of global economic inequality and complexity, the map of regional industrial structure and urban perception, the estimation of individual socioeconomic status and demographic, and the real-time monitoring of emergent events. This review, together with pioneering works we have highlighted, will draw increasing interdisciplinary attentions and induce a methodological shift in future socioeconomic studies.


title: A Survey of Blocking and Filtering Techniques for Entity Resolution

abstract: Efficiency techniques are an integral part of Entity Resolution, since its infancy. In this survey, we organized the bulk of works in the field into Blocking, Filtering and hybrid techniques, facilitating their understanding and use. We also provided an in-dept coverage of each category, further classifying the corresponding works into novel sub-categories. Lately, the efficiency techniques have received more attention, due to the rise of Big Data. This includes large volumes of semi-structured data, which pose challenges not only to the scalability of efficiency techniques, but also to their core assumptions: the requirement of Blocking for schema knowledge and of Filtering for high similarity thresholds. The former led to the introduction of schema-agnostic Blocking in conjunction with Block Processing techniques, while the latter led to more relaxed criteria of similarity. Our survey covers these new fields in detail, putting in context all relevant works.


title: Coupled Cluster Benchmark of New Density Functionals and Domain Pair Natural Orbital Methods: Mechanisms of Hydroarylation and Oxidative Coupling Catalyzed by Ru(II) Chloride Carbonyls

abstract: In the present work, we tested the performance of several new functionals for studying the mechanisms of concurrent reaction of hydroarylation and oxidative coupling catalyzed by Ru(II) chloride carbonyls. We find that DLPNO-CCSD(T) is an acceptable substitute for full canonical CCSD(T) calculations; that the recent {\omega}B97X-V and {\omega}B97M-V functionals exhibit superior performance to commonly used DFT functionals; and that the revised DSD-PBEP86 double hybrid represents an improvement over the original, even though transition metals were not involved in its parametrization.


title: Process Mining for Python (PM4Py): Bridging the Gap Between Process- and Data Science

abstract: Process mining, i.e., a sub-field of data science focusing on the analysis of event data generated during the execution of (business) processes, has seen a tremendous change over the past two decades. Starting off in the early 2000's, with limited to no tool support, nowadays, several software tools, i.e., both open-source, e.g., ProM and Apromore, and commercial, e.g., Disco, Celonis, ProcessGold, etc., exist. The commercial process mining tools provide limited support for implementing custom algorithms. Moreover, both commercial and open-source process mining tools are often only accessible through a graphical user interface, which hampers their usage in large-scale experimental settings. Initiatives such as RapidProM provide process mining support in the scientific workflow-based data science suite RapidMiner. However, these offer limited to no support for algorithmic customization. In the light of the aforementioned, in this paper, we present a novel process mining library, i.e. Process Mining for Python (PM4Py) that aims to bridge this gap, providing integration with state-of-the-art data science libraries, e.g., pandas, numpy, scipy and scikit-learn. We provide a global overview of the architecture and functionality of PM4Py, accompanied by some representative examples of its usage.


title: MinoanER: Schema-Agnostic, Non-Iterative, Massively Parallel Resolution of Web Entities

abstract: Entity Resolution (ER) aims to identify different descriptions in various Knowledge Bases (KBs) that refer to the same entity. ER is challenged by the Variety, Volume and Veracity of entity descriptions published in the Web of Data. To address them, we propose the MinoanER framework that simultaneously fulfills full automation, support of highly heterogeneous entities, and massive parallelization of the ER process. MinoanER leverages a token-based similarity of entities to define a new metric that derives the similarity of neighboring entities from the most important relations, as they are indicated only by statistics. A composite blocking method is employed to capture different sources of matching evidence from the content, neighbors, or names of entities. The search space of candidate pairs for comparison is compactly abstracted by a novel disjunctive blocking graph and processed by a non-iterative, massively parallel matching algorithm that consists of four generic, schema-agnostic matching rules that are quite robust with respect to their internal configuration. We demonstrate that the effectiveness of MinoanER is comparable to existing ER tools over real KBs exhibiting low Variety, but it outperforms them significantly when matching KBs with high Variety.


title: Geometric Polynomials: Properties and Applications to Series with Zeta Values

abstract: We provide several properties of the geometric polynomials discussed in earlier works of the authors. Further, the geometric polynomials are used to obtain a closed form evaluation of certain series involving Riemann's zeta function.


title: Some Observations on the Performance of the Most Recent Exchange-Correlation Functionals for the Large and Chemically Diverse GMTKN55 Benchmark

abstract: Benchmarks that span a broad swath of chemical space, such as GMTKN55, are very useful for assessing progress in the quest for more universal DFT functionals. We find that the WTMAD2 metrics for a great number of functionals show a clear "Jacob's Ladder hierarchy"; that the "combinatorial" development strategy of Head-Gordon and coworkers generates "best on rung" performers; that the quality of the nonlocal dispersion correction becomes more important as functionals become more accurate for nondispersion properties; that fitting against small, unrepresentative benchmark sets leads to underperforming functionals; and that {\omega}B97M(2) is currently the best DFT functional of any kind, but that revDSD-D4 functionals are able to reach similar performance using fewer parameters, and that revDOD-D4 in addition permits reduced-scaling algorithms. If one seeks a range-separated hybrid (RSH) GGA that also performs well for optical excitation energies, CAM-QTP-01 may be a viable option. The D4 dispersion model, with its partial charge dependence, appears to be clearly superior to D3BJ and even possibly NL. Should one require a double hybrid without dispersion model, noDispSD-SCAN is a viable option. Performance for the MOBH35 transition metal benchmark is different: the best double hybrids are competitive but not superior to {\omega}B97M-V, which offers the best performance compromise for mixed main group-transition metal problems.


title: Experimental study on the evading behavior of individual pedestrians when confronting with an obstacle in a corridor

abstract: In this paper, controlled experiments have been conducted to make deep analysis on the obstacle evading behavior of individual pedestrians affected by one obstacle. Results of Fourier Transform show that with the increase of obstacle width, the frequency and amplitude of body sway would barely be affected while the lateral deviation of walking direction would largely increase. On the one hand, the relation among the extracted gait features including body sway, stride length, frequency and speed has been illustrated. On the other hand, the walking direction can be featured by three critical evading points where apparent change of walking direction could be observed. Gaussian function has been used to fit the walking direction, thus allowing to estimate the three critical points and examine their variation with the increase of obstacle size. Furthermore, the direct-indirect evading and left-right turning preference as well as the possible psychological motivations behind have been analyzed. It is indicated that direct-evading pedestrians have a higher walking efficiency and right-turning pedestrians have a stronger tendency to behave `direct'. Results of this paper are expected to provide practical evidence for the modeling of pedestrian dynamics affected by obstacles.


title: Unsteady flow, clusters and bands in a model shear-thickening fluid

abstract: We analyse the flow curves of a two-dimensional assembly of granular particles which are interacting via frictional contact forces. For packing fractions slightly below jamming, the fluid undergoes a large scale instability, implying a range of stress and strainrates where no stationary flow can exist. Whereas small systems were shown previously to exhibit hysteretic jumps between the low and high stress branches, large systems exhibit continuous shear thickening arising from averaging unsteady, spatially heterogeneous flows. The observed large scale patterns as well as their dynamics are found to depend on strainrate: At the lower end of the unstable region, force chains merge to form giant bands that span the system in compressional direction and propagate in dilational direction. At the upper end, we observe large scale clusters which extend along the dilational direction and propagate along the compressional direction. Both patterns, bands and clusters, come in with infinite correlation length similar to the sudden onset of system-spanning plugs in impact experiments.


title: TSXplain: Demystification of DNN Decisions for Time-Series using Natural Language and Statistical Features

abstract: Neural networks (NN) are considered as black-boxes due to the lack of explainability and transparency of their decisions. This significantly hampers their deployment in environments where explainability is essential along with the accuracy of the system. Recently, significant efforts have been made for the interpretability of these deep networks with the aim to open up the black-box. However, most of these approaches are specifically developed for visual modalities. In addition, the interpretations provided by these systems require expert knowledge and understanding for intelligibility. This indicates a vital gap between the explainability provided by the systems and the novice user. To bridge this gap, we present a novel framework i.e. Time-Series eXplanation (TSXplain) system which produces a natural language based explanation of the decision taken by a NN. It uses the extracted statistical features to describe the decision of a NN, merging the deep learning world with that of statistics. The two-level explanation provides ample description of the decision made by the network to aid an expert as well as a novice user alike. Our survey and reliability assessment test confirm that the generated explanations are meaningful and correct. We believe that generating natural language based descriptions of the network's decisions is a big step towards opening up the black-box.


title: Exploring the Structure of Misconceptions in the Force Concept Inventory with Modified Module Analysis

abstract: Module Analysis for Multiple-Choice Responses (MAMCR) was applied to a large sample of Force Concept Inventory (FCI) pretest and post-test responses ($N_{pre}=4509$ and $N_{post}=4716$) to replicate the results of the original MAMCR study and to understand the origins of the gender differences reported in a previous study of this data set. When the results of MAMCR could not be replicated, a modification of the method was introduced, Modified Module Analysis (MMA). MMA was productive in understanding the structure of the incorrect answers in the FCI, identifying 9 groups of incorrect answers on the pretest and 11 groups on the post-test. These groups, in most cases, could be mapped on to common misconceptions used by the authors of the FCI to create distactors for the instrument. Of these incorrect answer groups, 6 of the pretest groups and 8 of the post-test groups were the same for men and women. Two of the male-only pretest groups disappeared with instruction while the third male-only pretest group was identified for both men and women post-instruction. Three of the groups identified for both men and women on the post-test were not present for either on the pretest. The rest of the identified incorrect answer groups did not represent misconceptions, but were rather related to the the blocked structure of some FCI items where multiple items are related to a common stem. The groups identified had little relation to the gender unfair items previously identified for this data set, and therefore, differences in the structure of student misconceptions between men and women cannot explain the gender differences reported for the FCI.


title: Non-intrusive uncertainty quantification using reduced cubature rules

abstract: For the purpose of uncertainty quantification with collocation, a method is proposed for generating families of one-dimensional nested quadrature rules with positive weights and symmetric nodes. This is achieved through a reduction procedure: we start with a high-degree quadrature rule with positive weights and remove nodes while preserving symmetry and positivity. This is shown to be always possible, by a lemma depending primarily on Carath\'eodory's theorem. The resulting one-dimensional rules can be used within a Smolyak procedure to produce sparse multi-dimensional rules, but weight positivity is lost then. As a remedy, the reduction procedure is directly applied to multi-dimensional tensor-product cubature rules. This allows to produce a family of sparse cubature rules with positive weights, competitive with Smolyak rules. Finally the positivity constraint is relaxed to allow more flexibility in the removal of nodes. This gives a second family of sparse cubature rules, in which iteratively as many nodes as possible are removed. The new quadrature and cubature rules are applied to test problems from mathematics and fluid dynamics. Their performance is compared with that of the tensor-product and standard Clenshaw-Curtis Smolyak cubature rule.


title: Higgs bundles and flat connections over compact Sasakian manifolds

abstract: Given a compact K\"ahler manifold $X$, there is an equivalence of categories between the completely reducible flat vector bundles on $X$ and the polystable Higgs bundles $(E,\, \theta)$ on $X$ with $c_1(E)= 0= c_2(E)$ \cite{SimC}, \cite{Cor}, \cite{UY}, \cite{DonI}. We extend this equivalence of categories to the context of compact Sasakian manifolds. We prove that on a compact Sasakian manifold, there is an equivalence between the category of semi-simple flat bundles on it and the category of polystable basic Higgs bundles on it with trivial first and second basic Chern classes. We also prove that any stable basic Higgs bundle over a compact Sasakian manifold admits a basic Hermitian metric that satisfies the Yang--Mills--Higgs equation.


title: Differentiable Linearized ADMM

abstract: Recently, a number of learning-based optimization methods that combine data-driven architectures with the classical optimization algorithms have been proposed and explored, showing superior empirical performance in solving various ill-posed inverse problems, but there is still a scarcity of rigorous analysis about the convergence behaviors of learning-based optimization. In particular, most existing analyses are specific to unconstrained problems but cannot apply to the more general cases where some variables of interest are subject to certain constraints. In this paper, we propose Differentiable Linearized ADMM (D-LADMM) for solving the problems with linear constraints. Specifically, D-LADMM is a K-layer LADMM inspired deep neural network, which is obtained by firstly introducing some learnable weights in the classical Linearized ADMM algorithm and then generalizing the proximal operator to some learnable activation function. Notably, we rigorously prove that there exist a set of learnable parameters for D-LADMM to generate globally converged solutions, and we show that those desired parameters can be attained by training D-LADMM in a proper way. To the best of our knowledge, we are the first to provide the convergence analysis for the learning-based optimization method on constrained problems.


title: Cyclic cycle systems of the complete multipartite graph

abstract: In this paper, we study the existence problem for cyclic $\ell$-cycle decompositions of the graph $K_m[n]$, the complete multipartite graph with $m$ parts of size $n$, and give necessary and sufficient conditions for their existence in the case that $2\ell \mid (m-1)n$.


title: On formal groups and geometric quantization

abstract: The complex projective spaces, considered as prequantized symplectic manifolds, are roughly to the complete symmetric functions as those projective spaces, regarded as complex-oriented manifolds, are to Newton's power sums.


title: Post-inflationary phases stiffer than radiation and Palatini formulation

abstract: If the inflaton and the quintessence fields are identified, the background geometry evolves through a stiff epoch undershooting the expansion rate of a radiation-dominated plasma. For some classes of inflationary potentials this scenario is at odds with the current observational evidence since the corresponding tensor-to-scalar ratio is too large. Quintessential inflation is analyzed when the gravitational action is supplemented by a contribution quadratic in the Einstein-Hilbert term. In the Palatini formulation the addition such a term does not affect the scalar modes during the inflationary phase and throughout the course of the subsequent stiff epoch but it suppresses the tensor power spectrum and the tensor-to-scalar ratio. While in the Palatini formulation the power-law potentials leading to a quintessential inflationary dynamics are again viable, the high-frequency spike of the relic graviton spectrum is squeezed and the whole signal is suppressed at least when the higher-order contributions appearing in the action are explicitly decoupled from the inflaton.


title: An empirical partition function for the simple cubic Ising Model with a zero external magnetic field

abstract: There is no an accepted exact partition function (PF) for the three dimensional (3D) Ising model to our knowledge. Mainly based on the connection between the lattice Green function (LGF) for the simple cubic lattice and that for the honeycomb lattice, we infer an empirical partition function (EPF) for the simple cubic Ising model in the absence of an external magnetic field. This ${\rm EPF}_{_{\rm 3D}}=\frac{1}{{2{\pi ^3}}}\int_0^\pi \int_0^\pi \int_0^\pi \log [2(2{{\cosh }^3}2z + 3{{\sinh }^2}2z + 2)^{\frac{1}{2}} -2\alpha\sinh 2z \ (\cos\omega_1 + \cos \omega_2 + \cos\omega_3)] {\rm{d}}\omega_1{\rm{d}}\omega_2{\rm{d}}\omega_3, \alpha\in[\sqrt{2},\sqrt{3}]$ (where $z=\frac{\epsilon}{kT}$, $\epsilon$ the interaction energy, $T$ the temperature, and $k$ Boltzmann constant). When $\alpha=\sqrt{2}$, this EPF is consistent well numerically with the result from high temperature expansions by Guttmann and Enting (1993). The specific heat from this EPF approaches infinity non-logarithmically at the critical temperature $T_c$. $\frac{\epsilon}{kT_c}=\cosh^{-1}[\frac{1}{4} (17-3\sqrt{17})]/2\approx 0.277212$, which is greater than 0.221654 from the recent Monte Carlo study.


title: Extensions to Justification Theory

abstract: Justification theory is a unifying framework for semantics of non-monotonic logics. It is built on the notion of a justification, which intuitively is a graph that explains the truth value of certain facts in a structure. Knowledge representation languages covered by justification theory include logic programs, argumentation frameworks, inductive definitions, and nested inductive and coinductive definitions. In addition, justifications are also used for implementation purposes. They are used to compute unfounded sets in modern ASP solvers, can be used to check for relevance of atoms in complete search algorithms, and recent lazy grounding algorithms are built on top of them. In this extended abstract, we lay out possible extensions to justification theory.


title: Liouville's theorem and the foundation of classical mechanics

abstract: In this article, it is suggested that a pedagogical point of departure in the teaching of classical mechanics is the Liouville theorem. The theorem is interpreted to define the condition that describe the conservation of information in classical mechanics. The Hamilton equations and the Hamilton principle of least action are derived from the Liouville theorem.


title: TAPESTRY: A Blockchain based Service for Trusted Interaction Online

abstract: We present a novel blockchain based service for proving the provenance of online digital identity, exposed as an assistive tool to help non-expert users make better decisions about whom to trust online. Our service harnesses the digital personhood (DP); the longitudinal and multi-modal signals created through users' lifelong digital interactions, as a basis for evidencing the provenance of identity. We describe how users may exchange trust evidence derived from their DP, in a granular and privacy-preserving manner, with other users in order to demonstrate coherence and longevity in their behaviour online. This is enabled through a novel secure infrastructure combining hybrid on- and off-chain storage combined with deep learning for DP analytics and visualization. We show how our tools enable users to make more effective decisions on whether to trust unknown third parties online, and also to spot behavioural deviations in their own social media footprints indicative of account hijacking.


title: On the statistical arrow of time

abstract: What is the physical origin of the arrow of time? It is a commonly held belief in the physics community that it relates to the increase of entropy as it appears in the statistical interpretation of the second law of thermodynamics. At the same time, the subjective information-theoretical interpretation of probability, and hence entropy, is a standard viewpoint in the foundations of statistical mechanics. In this article, it is argued that the subjective interpretation is incompatible with the philosophical point of view that the arrow of time is a fundamental property of Nature. The subjectivist can only uphold this philosophy if the role played by the second law of thermodynamics in defining time's arrow is abandoned.


title: Eisenhart lift and Randers-Finsler formulation for scalar field theory

abstract: We study scalar field theory as a generalization of point particle mechanics using the Polyakov action, and demonstrate how to extend Lorentzian and Riemannian Eisenhart lifts to the theory in a similar manner. Then we explore extension of the Randers-Finsler formulation and its principles to the Nambu-Goto action, and describe a Jacobi Lagrangian for it.


title: Tuning topology in thin films of topological insulators by strain gradients

abstract: We theoretically show that the coupling of inhomogeneous strains to the Dirac fermions of three-dimensional topological insulators (3DTI) in thin film geometries results in the occurrence of phase transitions between topologically distinct insulating phases. By means of minimal k dot p models for strong 3DTI in the Bi 2 Se 3 materials class, we find that in thin films of stoichiometric materials a strain-gradient induced structure inversion asymmetry drives a phase transition from a quantum spin-Hall phase to a topologically trivial insulating phase. Interestingly, in alloys with strongly reduced bulk band gaps strain gradients have an opposite effect and promote a topologically non-trivial phase from a parent normal band insulator. These strain-gradient assisted switchings between topologically distinct phases are expected to yield a flexomagnetic coupling in magnetic topological insulator thin films.


title: Novel Fe-based superconductor LaFe2As2 in comparison with traditional pnictides

abstract: The recently discovered Fe-based superconductor (FeBS) LaFe2As2 seems to break away from an established pattern that doping FeBS beyond 0.2e/Fe destroys superconductivity. LaFe2As2 has an apparent doping of 0.5e, yet superconducts at 12.1 K. Its Fermi surface bears no visual resemblance with the canonical FeBS Fermiology. It also exhibits two phases, none magnetic and only one superconducting. We show that the difference between them has nonetheless magnetic origin, the one featuring disordered moments, and the other locally nonmagnetic. We find that La there assumes an unusual valence of +2.6 to +2.7, so that the effective doping is reduced to 0.30-0.35e. A closer look reveals the same key elements: hole Fermi surfaces near Gamma-Z and electron ones near the X-P lines, with the corresponding peak in susceptibility, and a strong tendency to stripe magnetism. The physics of LaFe2As2 is thus more similar to the FeBS paradigm than hitherto appreciated.


title: Wave propagation and its stability for a class of discrete diffusion systems

abstract: This paper is devoted to study the wave propagation and its stability for a class of two-component discrete diffusive systems. We first establish the existence of positive monotone monostable traveling wave fronts. Then, applying the techniques of weighted energy method and the comparison principle, we show that all solutions of the Cauchy problem for the discrete diffusive systems converge exponentially to the traveling wave fronts when the initial perturbations around the wave fronts lie in a suitable weighted Sobolev space. Our main results can be extended to more general discrete diffusive systems. We also apply them to the discrete epidemic model with the Holling-II type and Richer type effects.


title: Mechanised Assurance Cases with Integrated Formal Methods in Isabelle

abstract: Assurance cases are often required as a means to certify a critical system. Use of formal methods in assurance can improve automation, and overcome problems with ambiguity, faulty reasoning, and inadequate evidentiary support. However, assurance cases can rarely be fully formalised, as the use of formal methods is contingent on models validated by informal processes. Consequently, we need assurance techniques that support both formal and informal artifacts, with explicated inferential links and assumptions that can be checked by evaluation. Our contribution is a mechanical framework for developing assurance cases with integrated formal methods based in the Isabelle system. We demonstrate an embedding of the Structured Assurance Case Meta-model (SACM) using Isabelle/DOF, and show how this can be linked to formal analysis techniques originating from our verification framework, Isabelle/UTP. We validate our approach by mechanising a fragment of the Tokeneer security case, with evidence supplied by formal verification.


title: Experimental signature of a topological quantum dot

abstract: Topological insulators (TIs) present a neoteric class of materials, which support delocalised, conducting surface states despite an insulating bulk. Due to their intriguing electronic properties, their optical properties have received relatively less attention. Even less well studied is their behaviour in the nanoregime, with most studies thus far focusing on bulk samples - in part due to the technical challenges of synthesizing TI nanostructures. We study topological insulator nanoparticles (TINPs), for which quantum effects dominate the behaviour of the surface states and quantum confinement results in a discretized Dirac cone, whose energy levels can be tuned with the nanoparticle size. The presence of these discretized energy levels in turn leads to a new electron-mediated phonon-light coupling in the THz range. We present the experimental realisation of Bi$_2$Te$_3$ TINPs and strong evidence of this new quantum phenomenon, remarkably observed at room temperature. This system can be considered a topological quantum dot, with applications to room temperature THz quantum optics and quantum information technologies.


title: Theory of double Cooper-pair tunneling and light emission mediated by a resonator

abstract: Photon emission by tunneling electrons can be encouraged by locating a resonator close to the tunnel junction and applying an appropriate voltage-bias. However, studies of normal metals show that the resonator also affects how the charges flow, facilitating processes in which correlated tunneling of two charges produces one photon. We develop a theory to analyze this kind of behavior in Josephson junctions by deriving an effective Hamiltonian describing processes where two Cooper-pairs generate a single photon. We determine the conditions under which the transport is dominated by incoherent tunneling of two Cooper-pairs, whilst also uncovering a regime of coherent double Cooper-pair tunneling. We show that the system can also display an unusual form of photon-blockade and hence could serve as a single-photon source.


title: On the Universal Property of Derived Manifolds

abstract: It is well known that any model for derived manifolds must form a higher category. In this paper, we propose a universal property for this higher category, classifying it up to equivalence. Namely, the $\infty$-category $\mathbf{DMfd}$ of derived manifolds has finite limits, is idempotent complete, and receives a functor from the category of manifolds which preserves transverse pullbacks and the terminal object, and moreover is universal with respect to these properties. We then show this universal property is equivalent to another one, intimately linking the $\infty$-category of derived manifolds to the theory of $C^\infty$-rings. More precisely, $\mathbb{R}$ is a $C^\infty$-ring object in $\mathbf{DMfd}$, and the pair $\left(\mathbf{DMfd},\mathbb{R}\right)$ is universal among idempotent complete $\infty$-categories with finite limits and a $C^\infty$-ring object. We then show that (a slight extension beyond the quasi-smooth setting of) Spivak's original model satisfies our universal property.


title: Dual Supervised Learning for Natural Language Understanding and Generation

abstract: Natural language understanding (NLU) and natural language generation (NLG) are both critical research topics in the NLP field. Natural language understanding is to extract the core semantic meaning from the given utterances, while natural language generation is opposite, of which the goal is to construct corresponding sentences based on the given semantics. However, such dual relationship has not been investigated in the literature. This paper proposes a new learning framework for language understanding and generation on top of dual supervised learning, providing a way to exploit the duality. The preliminary experiments show that the proposed approach boosts the performance for both tasks.


title: State-selective single-electron capture in 30 keV N3+-He collisions

abstract: The Cold-target recoil-ion momentum spectroscopy (COLTRIMS) has been employed to study the single-electron capture processes in collisions of N3+ ions with He atoms at an impact energy of 30 keV. The relative differential cross sections for the capture to different orbitals of N3+ ions are obtained and are compared with other experiments at low energy. The predictions of the molecular Columbic barrier model have been made. From the longitudinal momentum spectrum of recoil ions, the different electronic configuration was identified and the metastable projectile ions were distinguished. The single electron capture into the N2+ (1s22s22p 2P) state from the ground state N3+ (1s22s2 1S) projectile is the dominant reaction channel. The fraction of the metastable state N3+(2s2p 3P) of the incident projectile beam is about 46%.


title: Nearly Markovian maps and entanglement-based bound on corresponding non-Markovianity

abstract: We identify a set of dynamical maps of open quantum system, and refer to them as "$ \epsilon $-Markovian" maps. It is constituted of maps which, in a higher dimensional system-environment Hilbert space, possibly violate Born approximation but only a "little". We characterize the "$\epsilon$-nonmarkovianity" of a general dynamical map by the minimum distance of that map from the set of $\epsilon$-Markovian maps. We analytically derive an inequality which gives a bound on the $ \epsilon$-nonmarkovianity of the dynamical map, in terms of an entanglement-like resource generated between the system and its "immediate" environment. In the special case of a vanishing $\epsilon$, this inequality gives a relation between the $\epsilon$-nonmarkovianity of the reduced dynamical map on the system and the entanglement generated between the system and its immediate environment. We numerically investigate the behavior of the similar distant based measures of non-Markovianity for classes of amplitude damping and phase damping channels.


title: Agol's theorem on hyperbolic cubulations

abstract: Agol proved that hyperbolic cubulated groups are virtually special. The aim of these notes is to make the proof accessible to a wider audience; we retain the underlying ideas and constructions of Agol, but substantially change or add to many parts of the argument to give a more transparent and detailed account.


title: A Local Resolution of the Problem of Time. I. Introduction and Temporal Relationalism

abstract: This Series of Articles provides a local resolution of this major longstanding foundational problem between QM and GR, or, more generally, between Background Dependent and Background Independent Physics. We focus on the classical version; the concepts we use are moreover universal enough to admit quantum counterparts. This requires a series of articles to lay out because the Problem of Time is multi-faceted and is largely about interferences between facets, with traditional solutions to individual facets breaking down in attempted joint resolutions of facets. [98] already covered this at both the classical and semiclassical quantum levels. This Series serves, firstly, to isolate this resolution from [98]'s introductory and field-wide comparative material, passing from an 84-part work down to just a 14-part one. Secondly, to clarify that, at the usual differential-geometric level of structure used in physical theories, our classical local resolution is entirely catered for by Lie's mathematics. This renders our local classical part of the Problem of Time understandable by a very large proportion of Theoretical Physics or Mathematics majors. In this first article, we cover a first aspect: Temporal Relationalism. This generalizes the facet traditionally known as the Frozen Formalism Problem, that follows from the quantum form of GR's Hamiltonian constraint.


title: Robust change point tests by bounded transformations

abstract: Classical moment based change point tests like the cusum test are very powerful in case of Gaussian time series with one change point but behave poorly under heavy tailed distributions and corrupted data. A new class of robust change point tests based on cusum statistics of robustly transformed observations is proposed. This framework is quite flexible, depending on the used transformation one can detect for instance changes in the mean, scale or dependence of a possibly multivariate time series. Simulations indicate that this approach is very powerful in detecting changes in the marginal variance of ARCH processes and outperforms existing proposals for detecting structural breaks in the dependence structure of heavy tailed multivariate time series.


title: Uniqueness of the measure of maximal entropy for singular hyperbolic flows in dimension 3 and more results on equilibrium states

abstract: We prove that any 3-dimensional singular hyperbolic attractor admits for any H\"older continuous potential $V$ at most one equilibrium state for $V$ among regular measures. We give a condition on $V$ which ensures that no singularity can be an equilibrium state. Thus, for these $V$'s, there exists a unique equilibrium state and it is a regular measure. Applying this for $V\equiv 0$, we show that any 3-dimensional singular hyperbolic attractor admits a unique measure of maximal entropy.


title: VICSOM: VIsual Clues from SOcial Media for psychological assessment

abstract: Sharing multimodal information (typically images, videos or text) in Social Network Sites (SNS) occupies a relevant part of our time. The particular way how users expose themselves in SNS can provide useful information to infer human behaviors. This paper proposes to use multimodal data gathered from Instagram accounts to predict the perceived prototypical needs described in Glasser's choice theory. The contribution is two-fold: (i) we provide a large multimodal database from Instagram public profiles (more than 30,000 images and text captions) annotated by expert Psychologists on each perceived behavior according to Glasser's theory, and (ii) we propose to automate the recognition of the (unconsciously) perceived needs by the users. Particularly, we propose a baseline using three different feature sets: visual descriptors based on pixel images (SURF and Visual Bag of Words), a high-level descriptor based on the automated scene description using Convolutional Neural Networks, and a text-based descriptor (Word2vec) obtained from processing the captions provided by the users. Finally, we propose a multimodal fusion of these descriptors obtaining promising results in the multi-label classification problem.


title: DeXTT: Deterministic Cross-Blockchain Token Transfers

abstract: Current blockchain technologies provide very limited interoperability. Restrictions with regards to asset transfers and data exchange between different blockchains reduce usability and comfort for users, and hinder novel developments within the blockchain space. As a first step towards cross-blockchain interoperability, we propose the DeXTT cross-blockchain transfer protocol, which can be used to transfer a token on any number of blockchains simultaneously in a decentralized manner. We provide a reference implementation using Solidity, and evaluate its performance. We show logarithmic scalability of DeXTT with respect to the number of participating nodes, and analyze cost requirements of the transferred tokens.


title: Massive MIMO for Internet of Things (IoT) Connectivity

abstract: Massive MIMO is considered to be one of the key technologies in the emerging 5G systems, but also a concept applicable to other wireless systems. Exploiting the large number of degrees of freedom (DoFs) of massive MIMO essential for achieving high spectral efficiency, high data rates and extreme spatial multiplexing of densely distributed users. On the one hand, the benefits of applying massive MIMO for broadband communication are well known and there has been a large body of research on designing communication schemes to support high rates. On the other hand, using massive MIMO for Internet-of-Things (IoT) is still a developing topic, as IoT connectivity has requirements and constraints that are significantly different from the broadband connections. In this paper we investigate the applicability of massive MIMO to IoT connectivity. Specifically, we treat the two generic types of IoT connections envisioned in 5G: massive machine-type communication (mMTC) and ultra-reliable low-latency communication (URLLC). This paper fills this important gap by identifying the opportunities and challenges in exploiting massive MIMO for IoT connectivity. We provide insights into the trade-offs that emerge when massive MIMO is applied to mMTC or URLLC and present a number of suitable communication schemes. The discussion continues to the questions of network slicing of the wireless resources and the use of massive MIMO to simultaneously support IoT connections with very heterogeneous requirements. The main conclusion is that massive MIMO can bring benefits to the scenarios with IoT connectivity, but it requires tight integration of the physical-layer techniques with the protocol design.


title: A Local Resolution of the Problem of Time. II. Configurational Relationalism via a generalization of Group Averaging

abstract: In this article, we consider a second Problem of Time Facet. This started life as Wheeler's Thin Sandwich Problem, within the narrow context of 1) GR-as-Geometrodynamics, in particular its momentum constraint. 2) A Lagrangian variables level treatment. Conceiving in terms of Barbour's Best Matching is a freeing from 1), now in the context of first-class linear constraints. Conceiving in terms of the underlying Background Independence aspect - the titular Configurational Relationalism - serves moreover to remove 2) as well. This is implemented by the $G$-act, $G$-all method. I.e. given an object $O$ that is not $G$-invariant, we act on it with $G$ and then apply an operation involving the whole group. This has the effect of double-cancelling the introduction of our group action, thus yielding a $G$-independent version of $O$. A first example of whole-group operation is group averaging. This is a valuable prototype by its familiarity to a large proportion of Mathematics and Physics majors through featuring in elementary Group Theory and Representation Theory courses (and which can be traced back to Cauchy). In particular, this is much more familiar than Thin Sandwiches or Best Matching! Secondly, extremization over the group, of which Best Matching, and taking infs or sups over the group, are examples. Some further significant examples of this method in modern geometry and topology include those of Kendall, Younes, Hausdorff and Gromov. In this way, we populate this approach with examples well beyond the usual GR literature's by DeWitt, Barbour and Fischer (which we also outline).


title: Asymptotics of correlations in the Ising model: a brief survey

abstract: We present a brief survey of rigorous results on the asymptotic behavior of correlations between two local functions as the distance between their support diverges, concentrating on the Ising model on $\mathbb{Z}^d$ with finite-range ferromagnetic interactions.

categories: math.PR cond-mat.stat-mech math-ph math.MP


title: A New Confidence Interval for the Mean of a Bounded Random Variable

abstract: We present a new method for constructing a confidence interval for the mean of a bounded random variable from samples of the random variable. We conjecture that the confidence interval has guaranteed coverage, i.e., that it contains the mean with high probability for all distributions on a bounded interval, for all samples sizes, and for all confidence levels. This new method provides confidence intervals that are competitive with those produced using Student's t-statistic, but does not rely on normality assumptions. In particular, its only requirement is that the distribution be bounded on a known finite interval.


title: Neural Query Language: A Knowledge Base Query Language for Tensorflow

abstract: Large knowledge bases (KBs) are useful for many AI tasks, but are difficult to integrate into modern gradient-based learning systems. Here we describe a framework for accessing soft symbolic database using only differentiable operators. For example, this framework makes it easy to conveniently write neural models that adjust confidences associated with facts in a soft KB; incorporate prior knowledge in the form of hand-coded KB access rules; or learn to instantiate query templates using information extracted from text. NQL can work well with KBs with millions of tuples and hundreds of thousands of entities on a single GPU.


title: Negative-U and polaronic behavior of the Zn-O divacancy in ZnO

abstract: Hybrid functional calculations reveal the Zn-O divacancy in ZnO, consisting of adjacent Zn and O vacancies, as an electrically active defect exhibiting charge states ranging from $2+$ to $2-$ within the band gap. Notably, the divacancy retains key features of the monovacancies, namely the negative-\textit{U} behavior of the O vacancy, and the polaronic nature of the Zn vacancy. The thermodynamic charge-state transition levels associated with the negative-\textit{U} behavior $\varepsilon$($0$/$2-$), $\varepsilon$($-$/$2-$) and $\varepsilon$($0$/$-$) are predicted to occur at 0.22, 0.42 and 0.02 eV below the conduction band minimum, respectively, resulting in \textit{U} = $-$0.40 eV. These transition levels are moved closer to the conduction band and the magnitude of \textit{U} is lowered compared to the values for the O vacancy. Further, the interaction with hydrogen has been explored, where it is shown that the divacancy can accommodate up to three H atoms. The first two H atoms prefer to terminate O dangling bonds at the Zn vacancy, while the geometrical location of the third depends on the Fermi-level position. The calculated electrical properties of the divacancy are in excellent agreement with those reported for the E4 center observed by deep-level transient spectroscopy, challenging the O vacancy as a candidate for this level.


title: Complexity and typical microstates

abstract: Typical black hole microstates in AdS/CFT were recently conjectured to have a geometrical dual with a smooth horizon and a portion of a second asymptotic region. I consider the application of the holographic complexity conjectures to this geometry. The holographic calculation leads to divergent values for the complexity; I argue that this classical divergence is consistent with expectations for typical microstates.


title: A Local Resolution of the Problem of Time. III. The other classical facets piecemeal

abstract: We introduce nine further local facets of the classical Problem of Time, and underlying Background Independence aspects, the previous two Articles having covered one further facet-and-aspect each for a total of eleven. I.e. 1) Constraint Closure, 2) Assignment of Observables, 3) Space Construction from Less Structured Space, A) Spacetime Construction from Space, 0') Spacetime Relationalism, 1') Spacetime Generator Closure, 2') Assignment of Spacetime Observables, 3') Spacetime Construction from Less Structured Spacetime, and B) Foliation Independence. These are classically implemented piecemeal by the Dirac Algorithm for 1) and the Lie Algorithm for 1'). Taking Function Spaces Thereover: over phase space for 2) and over the space of spacetimes for 2'). Feeding Deformed Families into the Dirac Algorithm for A) and into the Lie Algorithm for 3) and 3'), working out whenever Rigidity is encountered. Spacetime's diffeomorphism-invariance and perturbative Lie derivative for 0'). Finally, Refoliation Invariance following from the Dirac algebroid of the GR constraints for B). Each of these approaches is moreover grounded in Lie's Mathematics in accord with this Series' claim. The generalizations required to extend these resolutions to solve combined rather than just piecemeal facets is the main subject of Articles V to XIII. We include novel work on, firstly, Closure, including a blockwise breakdown into more specific Closure Problems. Secondly, on a coordinate-free Multi-tensor Calculus suitable for joint treatment of Background Independence aspects, presenting in particular the Dirac Algorithm, and ensuing theory of observables and of deformations. Finally, aspect 3') is new to the current Article.


title: Inverting the Markovian projection, with an application to local stochastic volatility models

abstract: We study two-dimensional stochastic differential equations (SDEs) of McKean--Vlasov type in which the conditional distribution of the second component of the solution given the first enters the equation for the first component of the solution. Such SDEs arise when one tries to invert the Markovian projection developed by Gy\"ongy (1986), typically to produce an It\^o process with the fixed-time marginal distributions of a given one-dimensional diffusion but richer dynamical features. We prove the strong existence of stationary solutions for these SDEs, as well as their strong uniqueness in an important special case. Variants of the SDEs discussed in this paper enjoy frequent application in the calibration of local stochastic volatility models in finance, despite the very limited theoretical understanding.


title: GMNN: Graph Markov Neural Networks

abstract: This paper studies semi-supervised object classification in relational data, which is a fundamental problem in relational data modeling. The problem has been extensively studied in the literature of both statistical relational learning (e.g. relational Markov networks) and graph neural networks (e.g. graph convolutional networks). Statistical relational learning methods can effectively model the dependency of object labels through conditional random fields for collective classification, whereas graph neural networks learn effective object representations for classification through end-to-end training. In this paper, we propose the Graph Markov Neural Network (GMNN) that combines the advantages of both worlds. A GMNN models the joint distribution of object labels with a conditional random field, which can be effectively trained with the variational EM algorithm. In the E-step, one graph neural network learns effective object representations for approximating the posterior distributions of object labels. In the M-step, another graph neural network is used to model the local label dependency. Experiments on object classification, link classification, and unsupervised node representation learning show that GMNN achieves state-of-the-art results.


title: Counting degree-constrained subgraphs and orientations

abstract: The goal of this short paper to advertise the method of gauge transformations (aka holographic reduction, reparametrization) that is well-known in statistical physics and computer science, but less known in combinatorics. As an application of it we give a new proof of a theorem of A. Schrijver asserting that the number of Eulerian orientations of a $d$--regular graph on $n$ vertices with even $d$ is at least $\left(\frac{\binom{d}{d/2}}{2^{d/2}}\right)^n$. We also show that a $d$--regular graph with even $d$ has always at least as many Eulerian orientations as $(d/2)$--regular subgraphs.


title: Information thermodynamics for interacting stochastic systems without bipartite structure

abstract: Fluctuations in biochemical networks, e.g., in a living cell, have a complex origin that precludes a description of such systems in terms of bipartite or multipartite processes, as is usually done in the framework of stochastic and/or information thermodynamics. This means that fluctuations in each subsystem are not independent: subsystems jump simultaneously if the dynamics is modeled as a Markov jump process, or noises are correlated for diffusion processes. In this paper, we consider information and thermodynamic exchanges between a pair of coupled systems that do not satisfy the bipartite property. The generalization of information-theoretic measures, such as learning rates and transfer entropy rates, to this situation is non-trivial and also involves introducing several additional rates. We describe how this can be achieved in the framework of general continuous-time Markov processes, without restricting the study to the steady-state regime. We illustrate our general formalism on the case of diffusion processes and derive an extension of the second law of information thermodynamics in which the difference of transfer entropy rates in the forward and backward time directions replaces the learning rate. As a side result, we also generalize an important relation linking information theory and estimation theory. To further obtain analytical expressions we treat in detail the case of Ornstein-Uhlenbeck processes, and discuss the ability of the various information measures to detect a directional coupling in the presence of correlated noises. Finally, we apply our formalism to the analysis of the directional influence between cellular processes in a concrete example, which also requires considering the case of a non-bipartite and non-Markovian process.


title: Integral of two-loop modular graph functions

abstract: The integral of an arbitrary two-loop modular graph function over the fundamental domain for $SL(2,Z)$ in the upper half plane is evaluated using recent results on the Poincar\'e series for these functions.


title: w=1/3 to w=-1 evolution in a Robertson-Walker space-time with constant scalar curvature

abstract: The Ricci tensor of a Robertson-Walker space-time is here specified by requiring constancy of the scalar curvature and a vanishing spatial curvature. By entering this Ricci tensor in Einstein's equations (without cosmological constant), the cosmological fluid shows a transition from a pure radiation to a Lambda equation of state. In other words, the RW geometry with constant scalar curvature and flat space, fixes the limit values w=1/3 and w=-1, without any hypothesis on the cosmological fluid. The value of the scalar curvature fixes the time-scale for the transition. For this reason, we investigate the 'toy-universe' with Hubble parameter h = 0.673 and temperature Tcmb = 2.72K. The model predicts an age of the universe in the range 7.3-13.7 Gyr.


title: Novel ideas in nonleptonic decays of double heavy baryons

abstract: The recent discovery of double charm baryon states by the LHCb Collaborarion and their high precision mass determination calls for a comprehensive analysis of the nonleptonic decays of double and single heavy baryons. Nonleptonic baryon decays play an important role in particle phenomenology since they allow to study the interplay of long and short distance dynamics of the Standard Model (SM). Further, they allow one to search for New Physics effects beyond the SM. We review recent progress in experimental and theoretical studies of the nonleptonic decays of heavy baryons with a focus on double charm baryon states and their decays. In particular, we discuss new ideas proposed by the present authors to calculate the $W$-exchange matrix elements of the nonleptonic decays of double heavy baryons. An important ingredient in our approach is the compositeness condition of Salam and Weinberg, and an effective implementation of infrared confinement both of which allow one to describe the nonperturbative structure of baryons composed of light and heavy quarks. Further we discuss an ab initio calculational method for the treatment of the so-called $W$-exchange diagrams generated by $W^{\pm}$ boson exchange between quarks. We found that the $W^{\pm}$-exchange contributions are not suppressed in comparison with the tree-level (factrorizing) diagrams and must be taken into account in the evaluation of matrix elements. Moreover, there are decay processes such as the doubly Cabibbo-suppressed decay $\Xi_c^+ \to p \phi$ recently observed by the LHCb Collaboration which is contributed to only by one single $W$-exchange diagram.


title: Cluster, Classify, Regress: A General Method For Learning Discountinous Functions

abstract: This paper presents a method for solving the supervised learning problem in which the output is highly nonlinear and discontinuous. It is proposed to solve this problem in three stages: (i) cluster the pairs of input-output data points, resulting in a label for each point; (ii) classify the data, where the corresponding label is the output; and finally (iii) perform one separate regression for each class, where the training data corresponds to the subset of the original input-output pairs which have that label according to the classifier. It has not yet been proposed to combine these 3 fundamental building blocks of machine learning in this simple and powerful fashion. This can be viewed as a form of deep learning, where any of the intermediate layers can itself be deep. The utility and robustness of the methodology is illustrated on some toy problems, including one example problem arising from simulation of plasma fusion in a tokamak.


title: Selection Bias Explorations and Debias Methods for Natural Language Sentence Matching Datasets

abstract: Natural Language Sentence Matching (NLSM) has gained substantial attention from both academics and the industry, and rich public datasets contribute a lot to this process. However, biased datasets can also hurt the generalization performance of trained models and give untrustworthy evaluation results. For many NLSM datasets, the providers select some pairs of sentences into the datasets, and this sampling procedure can easily bring unintended pattern, i.e., selection bias. One example is the QuoraQP dataset, where some content-independent naive features are unreasonably predictive. Such features are the reflection of the selection bias and termed as the leakage features. In this paper, we investigate the problem of selection bias on six NLSM datasets and find that four out of them are significantly biased. We further propose a training and evaluation framework to alleviate the bias. Experimental results on QuoraQP suggest that the proposed framework can improve the generalization ability of trained models, and give more trustworthy evaluation results for real-world adoptions.


title: Transcendental holomorphic maps between real algebraic manifolds in a complex space

abstract: We give an example of a real algebraic manifold embedded in a complex space that does not satisfy the Nash-Artin approximation Property. This Nash-Artin approximation Property is closely related to the problem of determining when the biholomorphic equivalence for germs of real algebraic manifolds coincides with the algebraic equivalence. This example is an elliptic Bishop surface, and its construction is based on the functional equation satisfied by the generating series of some walks restricted to the quarter plane.


title: Geometry of the set of synchronous quantum correlations

abstract: We provide a complete geometric description of the set of synchronous quantum correlations for the three experiment two outcome scenario. We show that these correlations form a closed set. Moreover, every correlation in this set can be realized using projection valued measures on a Hilbert space of dimension no more than 16.


title: Revisiting High Dimensional Bayesian Model Selection for Gaussian Regression

abstract: Model selection for regression problems with an increasing number of covariates continues to be an important problem both theoretically and in applications. Model selection consistency and mean structure reconstruction depend on the interplay between the Bayes factor learning rate and the penalization on model complexity. In this work, we present results for the Zellner-Siow prior for regression coefficients paired with a Poisson prior for model complexity. We show that model selection consistency restricts the dimension of the true model from increasing too quickly. Further, we show that the additional contribution to the mean structure from new covariates must be large enough to overcome the complexity penalty. The average Bayes factors for different sets of models involves random variables over the choices of columns from the design matrix. We show that a large class these random variables have no moments asymptotically and need to be analyzed using stable laws. We derive the domain of attraction for these random variables and obtain conditions on the design matrix that provide for the control of false discoveries.


title: Signal detection in extracellular neural ensemble recordings using higher criticism

abstract: Information processing in the brain is conducted by a concerted action of multiple neural populations. Gaining insights in the organization and dynamics of such populations can best be studied with broadband intracranial recordings of so-called extracellular field potential, reflecting neuronal spiking as well as mesoscopic activities, such as waves, oscillations, intrinsic large deflections, and multiunit spiking activity. Such signals are critical for our understanding of how neuronal ensembles encode sensory information and how such information is integrated in the large networks underlying cognition. The aforementioned principles are now well accepted, yet the efficacy of extracting information out of the complex neural data, and their employment for improving our understanding of neural networks, critically depends on the mathematical processing steps ranging from simple detection of action potentials in noisy traces - to fitting advanced mathematical models to distinct patterns of the neural signal potentially underlying intra-processing of information, e.g. interneuronal interactions. Here, we present a robust strategy for detecting signals in broadband and noisy time series such as spikes, sharp waves and multi-unit activity data that is solely based on the intrinsic statistical distribution of the recorded data. By using so-called higher criticism - a second-level significance testing procedure comparing the fraction of observed significances to an expected fraction under the global null - we are able to detect small signals in correlated noisy time-series without prior filtering, denoising or data regression. Results demonstrate the efficiency and reliability of the method and versatility over a wide range of experimental conditions and suggest the appropriateness of higher criticism to characterize neuronal dynamics without prior manipulation of the data.


title: Symmetric properties for Choquard equations involving fully nonlinear nonlocal operator

abstract: In this paper, the positive solutions to Choquard equation involving fully nonlinear nonlocal operator are shown to be symmetric and monotone by using the moving plane method which has been introduced by Chen, Li and Li in 2015. The key ingredients are to obtain the "narrow region principle" and "decay at infinity" for the corresponding problems. Similar ideas can be easily applied to various nonlocal problems with more general nonlinearities.


title: Theoretical and experimental study of photoacoustic excitation of silica-coated gold nanospheres in water

abstract: Silica-coated gold nanoparticles are commonly employed in biomedical photoacoustic (PA) imaging applications. We investigate theoretically and experimentally the PA signal generation by silica-coated gold nanospheres in water. Our theoretical model considers thermoelastic expansion in the long-pulse illumination regime, and the PA signals are determined based on a semi-analytical solution to the thermal diffusion equations and a finite-difference in time domain (FDTD) solution to the thermoelastic equations. Both the influence of interfacial thermal (Kapitza) resistance at the gold-water boundary and the influence of the silica coating on PA signal generation were investigated. Our results indicate that for the nanosecond pulses commonly employed in PA imaging, Kapitza resistance has a negligible effect on photoacoustic signal generation. Moreover, our model shows that the presence of a silica coating causes a reduction in the PA signal amplitude, with the level of signal reduction increasing with thicker silica coating. Our theoretical predictions are qualitatively consistent with our experimental results, where suspensions of in-house-synthesized and commercially available silica-coated gold nanosphere suspensions were excited with nanosecond-pulsed laser illumination at 532 nm. The PA signal amplitudes from silica-coated nanospheres were lower than the signal amplitudes for uncoated gold nanospheres of the same core gold diameter. The amount of reduction of the experimentally PA signal amplitude due to the silica coating was found to increase with thicker silica coating, in agreement with our theoretical predictions.


title: Significance of parallel computing on the performance of Digital Image Correlation algorithms in MATLAB

abstract: Digital Image Correlation (DIC) is a powerful tool used to evaluate displacements and deformations in a non-intrusive manner. By comparing two images, one of the undeformed reference state of a specimen and another of the deformed target state, the relative displacement between those two states is determined. DIC is well known and often used for post-processing analysis of in-plane displacements and deformation of specimen. Increasing the analysis speed to enable real-time DIC analysis will be beneficial and extend the field of use of this technique. Here we tested several combinations of the most common DIC methods in combination with different parallelization approaches in MATLAB and evaluated their performance to determine whether real-time analysis is possible with these methods. To reflect improvements in computing technology different hardware settings were also analysed. We found that implementation problems can reduce the efficiency of a theoretically superior algorithm such that it becomes practically slower than a sub-optimal algorithm. The Newton-Raphson algorithm in combination with a modified Particle Swarm algorithm in parallel image computation was found to be most effective. This is contrary to theory, suggesting that the inverse-compositional Gauss-Newton algorithm is superior. As expected, the Brute Force Search algorithm is the least effective method. We also found that the correct choice of parallelization tasks is crucial to achieve improvements in computing speed. A poorly chosen parallelisation approach with high parallel overhead leads to inferior performance. Finally, irrespective of the computing mode the correct choice of combinations of integer-pixel and sub-pixel search algorithms is decisive for an efficient analysis. Using currently available hardware real-time analysis at high framerates remains an aspiration.


title: Toward Standardized Classification of Foveated Displays

abstract: Emergent in the field of head mounted display design is a desire to leverage the limitations of the human visual system to reduce the computation, communication, and display workload in power and form-factor constrained systems. Fundamental to this reduced workload is the ability to match display resolution to the acuity of the human visual system, along with a resulting need to follow the gaze of the eye as it moves, a process referred to as foveation. A display that moves its content along with the eye may be called a Foveated Display, though this term is also commonly used to describe displays with non-uniform resolution that attempt to mimic human visual acuity. We therefore recommend a definition for the term Foveated Display that accepts both of these interpretations. Furthermore, we include a simplified model for human visual Acuity Distribution Functions (ADFs) at various levels of visual acuity, across wide fields of view and propose comparison of this ADF with the Resolution Distribution Function of a foveated display for evaluation of its resolution at a particular gaze direction. We also provide a taxonomy to allow the field to meaningfully compare and contrast various aspects of foveated displays in a display and optical technology-agnostic manner.


title: Spectral Clustering of Signed Graphs via Matrix Power Means

abstract: Signed graphs encode positive (attractive) and negative (repulsive) relations between nodes. We extend spectral clustering to signed graphs via the one-parameter family of Signed Power Mean Laplacians, defined as the matrix power mean of normalized standard and signless Laplacians of positive and negative edges. We provide a thorough analysis of the proposed approach in the setting of a general Stochastic Block Model that includes models such as the Labeled Stochastic Block Model and the Censored Block Model. We show that in expectation the signed power mean Laplacian captures the ground truth clusters under reasonable settings where state-of-the-art approaches fail. Moreover, we prove that the eigenvalues and eigenvector of the signed power mean Laplacian concentrate around their expectation under reasonable conditions in the general Stochastic Block Model. Extensive experiments on random graphs and real world datasets confirm the theoretically predicted behaviour of the signed power mean Laplacian and show that it compares favourably with state-of-the-art methods.


title: 3D Semantic Scene Completion from a Single Depth Image using Adversarial Training

abstract: We address the task of 3D semantic scene completion, i.e. , given a single depth image, we predict the semantic labels and occupancy of voxels in a 3D grid representing the scene. In light of the recently introduced generative adversarial networks (GAN), our goal is to explore the potential of this model and the efficiency of various important design choices. Our results show that using conditional GANs outperforms the vanilla GAN setup. We evaluate these architecture designs on several datasets. Based on our experiments, we demonstrate that GANs are able to outperform the performance of a baseline 3D CNN in case of clean annotations, but they suffer from poorly aligned annotations.


title: Identification of Disturbed Control Systems

abstract: This paper studies the identification of nonlinearly parameterized control systems in given experiments. Several identifiability criteria are established and an implementable algorithm is proposed for practicality with the convergence rate explicitly computed.


title: Generic Encodings of Constructor Rewriting Systems

abstract: Rewriting is a formalism widely used in computer science and mathematical logic. The classical formalism has been extended, in the context of functional languages, with an order over the rules and, in the context of rewrite based languages, with the negation over patterns. We propose in this paper a concise and clear algorithm computing the difference over patterns which can be used to define generic encodings of constructor term rewriting systems with negation and order into classical term rewriting systems. As a direct consequence, established methods used for term rewriting systems can be applied to analyze properties of the extended systems. The approach can also be seen as a generic compiler which targets any language providing basic pattern matching primitives. The formalism provides also a new method for deciding if a set of patterns subsumes a given pattern and thus, for checking the presence of useless patterns or the completeness of a set of patterns.


title: Optimizing the Linear Fascicle Evaluation Algorithm for Multi-Core and Many-Core Systems

abstract: Sparse matrix-vector multiplication (SpMV) operations are commonly used in various scientific applications. The performance of the SpMV operation often depends on exploiting regularity patterns in the matrix. Various representations have been proposed to minimize the memory bandwidth bottleneck arising from the irregular memory access pattern involved. Among recent representation techniques, tensor decomposition is a popular one used for very large but sparse matrices. Post sparse-tensor decomposition, the new representation involves indirect accesses, making it challenging to optimize for multi-cores and GPUs. Computational neuroscience algorithms often involve sparse datasets while still performing long-running computations on them. The LiFE application is a popular neuroscience algorithm used for pruning brain connectivity graphs. The datasets employed herein involve the Sparse Tucker Decomposition (STD), a widely used tensor decomposition method. Using this decomposition leads to irregular array references, making it very difficult to optimize for both CPUs and GPUs. Recent codes of the LiFE algorithm show that its SpMV operations are the key bottleneck for performance and scaling. In this work, we first propose target-independent optimizations to optimize these SpMV operations, followed by target-dependent optimizations for CPU and GPU systems. The target-independent techniques include: (1) standard compiler optimizations, (2) data restructuring methods, and (3) methods to partition computations among threads. Then we present the optimizations for CPUs and GPUs to exploit platform-specific speed. Our highly optimized CPU code obtain a speedup of 27.12x over the original sequential CPU code running on 16-core Intel Xeon (Skylake-based) system, and our optimized GPU code achieves a speedup of 5.2x over a reference optimized GPU code version on NVIDIA's GeForce RTX 2080 Ti GPU.


title: Analysis of Pipelined KATAN Ciphers under Handle-C for FPGAs

abstract: Embedded Systems are everywhere from the smartphones we hold in our hands to the satellites that hover around the earth. These embedded systems are being increasingly integrated into our personal and commercial infrastructures. More than 98% of all processors are implanted and used in embedded systems rather than traditional computers. As a result, security in embedded systems now more than ever has become a major concern. Since embedded systems are designed to be low-cost, fast and real-time, it would be appropriate to use tiny, lightweight and highly secure cryptographic algorithms. KATAN and KATANTAN family of light-weight block ciphers are promising cryptographic options. In this paper, a sequential hardware design is developed under Handel-C. Taking a step further, Handel-C's parallel construct is taken advantage of to develop a parallel-pipelined hybrid implementation. Both sequential and parallel-pipelined implementations are tested under Altera Quartus to implement and analyze hardware designs in conjunction with DK Design Suite's Handel-C compiler. The developed designs are mapped to Altera's Stratix II that is one of the industry's highest bandwidth and density FPGAs. The results confirm that using Handel-C can provide faster implementations. The obtained results are promising and show better performance when compared with similar implementations-specifically the developed parallel-pipelined processor.


title: Scaling Distributed Training of Flood-Filling Networks on HPC Infrastructure for Brain Mapping

abstract: Mapping all the neurons in the brain requires automatic reconstruction of entire cells from volume electron microscopy data. The flood-filling network (FFN) architecture has demonstrated leading performance for segmenting structures from this data. However, the training of the network is computationally expensive. In order to reduce the training time, we implemented synchronous and data-parallel distributed training using the Horovod library, which is different from the asynchronous training scheme used in the published FFN code. We demonstrated that our distributed training scaled well up to 2048 Intel Knights Landing (KNL) nodes on the Theta supercomputer. Our trained models achieved similar level of inference performance, but took less training time compared to previous methods. Our study on the effects of different batch sizes on FFN training suggests ways to further improve training efficiency. Our findings on optimal learning rate and batch sizes agree with previous works.


title: Implementation of functions in R tool in parallel environment

abstract: Drug promiscuity and polypharmacology are much discussed topics in pharmaceutical research. Drug repositioning applies established drugs to new disease indications with increasing success. As polypharmacology, defined a drug's ability to bind to several targets but due to possible side effects, this feature is not taken into consideration. Thus, the pharmaceutical industry focused on the development of highly selective single-target drugs. Nowadays after lot of researches, it is clear that polypharmacology is important for the efficacy of drugs. There are side effects but on the other hand, this gives the opportunity to uncover new uses for already known drugs and especially for complex diseases. Thus, it is clear that there are two sides of the same coin. There are several approaches to discover new drugs targets, as analysis of genome wide association, gene expression data and networks, structural approaches with alignment methods etc. Computational drug discovery and design has experienced a rapid increase in development which is mainly due to the increasing cost for discovering new compounds. Since drug development is a very costly venture, the pharmaceutical industry puts effort in the repositioning of withdrawn or already approved drugs. The costs for bringing such a drug to market are 60% lower than the development of a novel drug, which costs roughly one billion US dollars. Thus, target prediction, drug repositioning approaches, protein-ligand docking and scoring algorithms, virtual screening and other computational techniques have gained the interest of researchers and pharmaceutical companies.


title: Exploiting Fine-Grain Ordered Parallelism in Dense Matrix Algorithms

abstract: Dense linear algebra kernels are critical for wireless applications, and the oncoming proliferation of 5G only amplifies their importance. Many such matrix algorithms are inductive, and exhibit ample amounts of fine-grain ordered parallelism -- when multiple computations flow with fine-grain producer/consumer dependences, and where the iteration domain is not easily tileable. Synchronization overheads make multi-core parallelism ineffective and the non-tileable iterations make the vector-VLIW approach less effective, especially for the typically modest-sized matrices. Because CPUs and DSPs lose order-of-magnitude performance/hardware utilization, costly and inflexible ASICs are often employed in signal processing pipelines. A programmable accelerator with similar performance/power/area would be highly desirable. We find that fine-grain ordered parallelism can be exploited by supporting: 1. fine-grain stream-based communication/synchronization; 2. inductive data-reuse and memory access patterns; 3. implicit vector-masking for partial vectors; 4. hardware specialization of dataflow criticality. In this work, we propose, REVEL, as a next-generation DSP architecture. It supports the above features in its ISA and microarchitecture, and further uses a novel vector-stream control paradigm to reduce control overheads. Across a suite of linear algebra kernels, REVEL outperforms equally provisioned DSPs by 4.6x-37x in latency and achieves a performance per mm 2 of 8.3x. It is only 2.2x higher power to achieve the same performance as ideal ASICs, at about 55% of the combined area.