title: Haplotype Assembly Using Manifold Optimization and Error Correction Mechanism

abstract: Recent matrix completion based methods have not been able to properly model the Haplotype Assembly Problem (HAP) for noisy observations. To cope with such a case, in this letter we propose a new Minimum Error Correction (MEC) based matrix completion optimization problem over the manifold of rank-one matrices. The convergence of a specific iterative algorithm for solving this problem is proved. Simulation results illustrate that the proposed method not only outperforms some well-known matrix completion based methods, but also presents a more accurate result compared to a most recent MEC based algorithm for haplotype estimation.


title: A Theoretical Analysis of Deep Q-Learning

abstract: Despite the great empirical success of deep reinforcement learning, its theoretical foundation is less well understood. In this work, we make the first attempt to theoretically understand the deep Q-network (DQN) algorithm (Mnih et al., 2015) from both algorithmic and statistical perspectives. In specific, we focus on a slight simplification of DQN that fully captures its key features. Under mild assumptions, we establish the algorithmic and statistical rates of convergence for the action-value functions of the iterative policy sequence obtained by DQN. In particular, the statistical error characterizes the bias and variance that arise from approximating the action-value function using deep neural network, while the algorithmic error converges to zero at a geometric rate. As a byproduct, our analysis provides justifications for the techniques of experience replay and target network, which are crucial to the empirical success of DQN. Furthermore, as a simple extension of DQN, we propose the Minimax-DQN algorithm for zero-sum Markov game with two players. Borrowing the analysis of DQN, we also quantify the difference between the policies obtained by Minimax-DQN and the Nash equilibrium of the Markov game in terms of both the algorithmic and statistical rates of convergence.


title: Algorithmically Efficient Syntactic Characterization of Possibility Domains

abstract: In the field of Judgment Aggrgation, a domain, that is a subset of a Cartesian power of $\{0,1\}$, is considered to reflect abstract rationality restrictions on vectors of two-valued judgments on a number of issues. We are interested in the ways we can aggregate the positions of a set of individuals, whose positions over each issue form vectors of the domain, by means of unanimous (idempotent) functions, whose output is again an element of the domain. Such functions are called non-dictatorial, when their output is not simply the positions of a single individual. Here, we consider domains admitting various kinds of non-dictatorial aggregators, which reflect various properties of majority aggregation: (locally) non-dictatorial, generalized dictatorships, anonymous, monotone, StrongDem and systematic. We show that interesting and, in some sense, democratic voting schemes are always provided by domains that can be described by propositional formulas of specific syntactic types we define. Furthermore, we show that we can efficiently recognize such formulas and that, given a domain, we can both efficiently check if it is described by such a formula and, in case it is, construct it. Our results fall in the realm of classical results concerning the syntactic characterization of domains with specific closure properties, like domains closed under logical AND which are the models of Horn formulas. The techniques we use to obtain our results draw from judgment aggregation as well as propositional logic and universal algebra.


title: Monte Carlo Fusion

abstract: This paper proposes a new theory and methodology to tackle the problem of unifying distributed analyses and inferences on shared parameters from multiple sources, into a single coherent inference. This surprisingly challenging problem arises in many settings (for instance, expert elicitation, multi-view learning, distributed 'big data' problems etc.), but to-date the framework and methodology proposed in this paper (Monte Carlo Fusion) is the first general approach which avoids any form of approximation error in obtaining the unified inference. In this paper we focus on the key theoretical underpinnings of this new methodology, and simple (direct) Monte Carlo interpretations of the theory. There is considerable scope to tailor the theory introduced in this paper to particular application settings (such as the big data setting), construct efficient parallelised schemes, understand the approximation and computational efficiencies of other such unification paradigms, and explore new theoretical and methodological directions.


title: Adaptive Quantile Low-Rank Matrix Factorization

abstract: Low-rank matrix factorization (LRMF) has received much popularity owing to its successful applications in both computer vision and data mining. By assuming noise to come from a Gaussian, Laplace or mixture of Gaussian distributions, significant efforts have been made on optimizing the (weighted) $L_1$ or $L_2$-norm loss between an observed matrix and its bilinear factorization. However, the type of noise distribution is generally unknown in real applications and inappropriate assumptions will inevitably deteriorate the behavior of LRMF. On the other hand, real data are often corrupted by skew rather than symmetric noise. To tackle this problem, this paper presents a novel LRMF model called AQ-LRMF by modeling noise with a mixture of asymmetric Laplace distributions. An efficient algorithm based on the expectation-maximization (EM) algorithm is also offered to estimate the parameters involved in AQ-LRMF. The AQ-LRMF model possesses the advantage that it can approximate noise well no matter whether the real noise is symmetric or skew. The core idea of AQ-LRMF lies in solving a weighted $L_1$ problem with weights being learned from data. The experiments conducted on synthetic and real datasets show that AQ-LRMF outperforms several state-of-the-art techniques. Furthermore, AQ-LRMF also has the superiority over the other algorithms in terms of capturing local structural information contained in real images.


title: Transient microscopy for measuring heat transfer in single cells

abstract: Heat transfer and dissipation exists in almost any physical, chemical or biological systems. Cells, as the basic unit of life, undergo continuous heat transfer and dissipation during their metabolism. The heat transfer and dissipation within cells related to not only fundamental cellular functions and biochemical reactions, but also several important applications including heat-induced control of biological processes and treatment of diseases. Unfortunately, thus far, we still know very little about the heat transfer and dissipation properties at cellular or subcellular level. Here, we demonstrated a methodology of transient microscopy to map the heat transfer coefficients in single cells, with a temporal resolution of ~5 us and a spatial resolution of ~250 nm (close to diffraction limit). The heat transfer coefficients of different location within single cells were obtained for the first time, the inner part of cells exhibited nonuniform heat transfer properties, and it suggested a self-consistent heat transfer regulation that responds to environmental temperature.


title: An expansion for the sum of a product of an exponential and a Bessel function

abstract: We examine convergent representations for the sum of a decaying exponential and a Bessel function in the form \[\sum_{n=1}^\infty \frac{e^{-an}}{(\frac{1}{2} bn)^\nu}\,J_\nu(bn),\] where $J_\nu(x)$ is the Bessel function of the first kind of order $\nu>-1/2$ and $a$, $b$ are positive parameters. By means of a double Mellin-Barnes integral representation we obtain a convergent asymptotic expansion that enables the evaluation of this sum in the limit $a\to 0$ with $b<2\pi$ fixed. A similar result is derived for the sum when the Bessel function is replaced by the modified Bessel function $K_\nu(x)$. The alternating versions of these sums are also mentioned.


title: Snakes on a Spaceship - An Overview of Python in Heliophysics

abstract: Computational analysis has become ubiquitous within the heliophysics community. However, community standards for peer-review of codes and analysis have lagged behind these developments. This absence has contributed to the reproducibility crisis, where inadequate analysis descriptions and loss of scientific data have made scientific studies difficult or impossible to replicate. The heliophysics community has responded to this challenge by expressing a desire for a more open, collaborative set of analysis tools. This article summarizes the current state of these efforts and presents an overview of many of the existing Python heliophysics tools. It also outlines the challenges facing community members who are working towards the goal of an open, collaborative, Python heliophysics toolkit and presents guidelines that can ease the transition from individualistic data analysis practices to an accountable, communalistic environment.


title: Continuity of the Mackey-Higson bijection

abstract: When $G$ is a real reductive group and $G_0$ is its Cartan motion group, the Mackey-Higson bijection is a natural one-to-one correspondence between all irreducible tempered representations of $G$ and all irreducible unitary representations of $G_0$. In this short note, we collect some known facts about the topology of the tempered dual $\widetilde{G}$ and that of the unitary dual $\widehat{G_0}$, then verify that the Mackey-Higson bijection $\widetilde{G} \to \widehat{G_0}$ is continuous.


title: On the various notions of Poincar\'e duality pair

abstract: We establish a number of foundational results on Poincar\'e spaces which result in several applications. One application settles an old conjecture of C.T.C. Wall in the affirmative. Another result shows that for any natural number n, there exists a finite CW pair $(X,Y)$ satisfying relative Poincar\'e duality in dimension n with the property that $Y$ fails to satisfy Poincar\'e duality. We also prove a relative version of a result of Gottlieb about Poincar\'e duality and fibrations.


title: Cherenkov light imaging in astroparticle physics

abstract: Cherenkov light induced by fast charged particles in transparent dielectric media such as air or water is exploited by a variety of experimental techniques to detect and measure extraterrestrial particles impinging on Earth. A selection of detection principles is discussed and corresponding experiments are presented together with breakthrough-results they achieved. Some future developments are highlighted.


title: Doping Effects on the Performance of Paired Metal Catalysts for the Hydrogen Evolution Reaction

abstract: Metal heteroatoms dispersed in nitrogen-doped graphene display promising catalytic activity for fuel cell reactions such as the hydrogen evolution reaction (HER). Here we explore the effects of dopant concentration on the synergistic catalytic behaviour of a paired metal atom active site comprised of Co and Pt atoms. The metals are coordinated to six atoms in a vacancy of N-doped graphene. We find that HER activity is enhanced with increasing N concentration, where the free energy of hydrogen atom adsorption ranges from 0.23 to -0.42 eV as the doping changes from a single N atom doped in the pore, to fully doped coordination sites. The results indicated that the effect of N is to make the Co atom more active towards H adsorption and presents a means through which transition metals can be modified to make more effective and sustainable fuel cell catalysts.


title: Rethinking on Multi-Stage Networks for Human Pose Estimation

abstract: Existing pose estimation approaches fall into two categories: single-stage and multi-stage methods. While multi-stage methods are seemingly more suited for the task, their performance in current practice is not as good as single-stage methods. This work studies this issue. We argue that the current multi-stage methods' unsatisfactory performance comes from the insufficiency in various design choices. We propose several improvements, including the single-stage module design, cross stage feature aggregation, and coarse-to-fine supervision. The resulting method establishes the new state-of-the-art on both MS COCO and MPII Human Pose dataset, justifying the effectiveness of a multi-stage architecture. The source code is publicly available for further research.


title: A strongly inhomogeneous superfluid in an iron-based superconductor

abstract: Among the mysteries surrounding unconventional, strongly correlated superconductors is the possibility of spatial variations in their superfluid density. We use atomic-resolution Josephson scanning tunneling microscopy to reveal a strongly inhomogeneous superfluid in the iron-based superconductor FeTe0.55Se0.45. By simultaneously measuring the topographic and electronic properties, we find that this inhomogeneity in the superfluid density is not caused by structural disorder or strong inter-pocket scattering, and does not correlate with variations in Cooper pair-breaking gap. Instead, we see a clear spatial correlation between superfluid density and quasiparticle strength, putting the iron-based superconductors on equal footing with the cuprates and demonstrating that locally, the quasiparticles are sharpest when the superconductivity is strongest. When repeated at different temperatures, our technique could further help elucidate what local and global mechanisms limit the critical temperature in unconventional superconductors.


title: Accelerated MM Algorithms for Ranking Scores Inference from Comparison Data

abstract: In this paper, we study a popular method for inference of the Bradley-Terry model parameters, namely the MM algorithm, for maximum likelihood estimation and maximum a posteriori probability estimation. This class of models includes the Bradley-Terry model of paired comparisons, the Rao-Kupper model of paired comparisons allowing for tie outcomes, the Luce choice model, and the Plackett-Luce ranking model. We establish tight characterizations of the convergence rate for the MM algorithm, and show that it is essentially equivalent to that of a gradient descent algorithm. For the maximum likelihood estimation, the convergence is shown to be linear with the rate crucially determined by the algebraic connectivity of the matrix of item pair co-occurrences in observed comparison data. For the Bayesian inference, the convergence rate is also shown to be linear, with the rate determined by a parameter of the prior distribution in a way that can make the convergence arbitrarily slow for small values of this parameter. We propose a simple modification of the classical MM algorithm that avoids the observed slow convergence issue and accelerates the convergence. The key component of the accelerated MM algorithm is a parameter rescaling performed at each iteration step that is carefully chosen based on theoretical analysis and characterisation of the convergence rate. Our experimental results, performed on both synthetic and real-world data, demonstrate the identified slow convergence issue of the classic MM algorithm, and show that significant efficiency gains can be obtained by our new proposed method.


title: Sterile Neutrino. A short introduction

abstract: This is a pedagogical introduction to the main concepts of the sterile neutrino - a hypothetical particle, coined to resolve some anomalies in neutrino data and retain consistency with observed widths of the $W$ and $Z$ bosons. We briefly review existing anomalies and the oscillation parameters that best describe these data. We discuss in more detail how sterile neutrino can be observed, as well as the consequences of its possible existence. In particular, we pay attention to a possible loss of coherence in a model of neutrino oscillations with sterile neutrinos, where this effect might be of a major importance with respect to the 3$\nu$ model. The current status of searches for a sterile neutrino state is also briefly reviewed.


title: On Fusible Rings

abstract: We answer in negative two of questions posed in [4]. We also establish a new characterization of semiprime left Goldie rings by showing that a semiprime ring R is left Goldie iff it is regular left fusible and has finite left Goldie dimension.


title: Occupation time statistics of a gas of interacting diffusing particles

abstract: The time which a diffusing particle spends in a certain region of space is known as the occupation time, or the residence time. Recently the joint occupation time statistics of an ensemble of non-interacting particles was addressed using the single-particle statistics. Here we employ the Macroscopic Fluctuation Theory (MFT) to study the occupation time statistics of many \emph{interacting} particles. We find that interactions can significantly change the statistics and, in some models, even cause a singularity of the large-deviation function describing these statistics. This singularity can be interpreted as a dynamical phase transition. We also point out to a close relation between the MFT description of the occupation-time statistics of non-interacting particles and the level 2 large deviation formalism which describes the occupation-time statistics of a single particle.


title: Hexagonal MASnI$_3$ exhibiting strong absorption of ultraviolet photons

abstract: MASnI$_3$, an organometallic halide, has great potential in the field of lead-free perovskite solar cells. Ultraviolet photons have been shown to generate deep trapping electronic defects in mesoporous TiO$_2$-based perovskite, affecting its performance and stability. In this study, the structure, electronic properties, and optical properties of the cubic, tetragonal, and hexagonal phases of MASnI$_3$ were studied using first-principles calculations. The results indicate that the hexagonal phase of MASnI$_3$ possesses a larger indirect band gap and larger carrier effective mass along the \emph{c}-axis compared with the cubic and tetragonal phases. These findings were attributed to the enhanced electronic coupling and localization in the hexagonal phase. Moreover, the hexagonal phase exhibited high absorption of ultraviolet photons and high transmission of visible photons, particularly along the \emph{c}-axis. These characteristics demonstrate the potential of hexagonal MASnI$_3$ for application in multijunction perovskite tandem solar cells or as coatings in mesoporous TiO$_2$-based perovskite solar cells to enhance ultraviolet stability and photon utilization.


title: Parallel Algorithm for Time Series Discords Discovery on the Intel Xeon Phi Knights Landing Many-core Processor

abstract: Discord is a refinement of the concept of anomalous subsequence of a time series. The task of discords discovery is applied in a wide range of subject domains related to time series: medicine, economics, climate modeling, etc. In this paper, we propose a novel parallel algorithm for discords discovery for the Intel Xeon Phi Knights Landing (KNL) many-core systems for the case when input data fit in main memory. The algorithm exploits the ability to independently calculate Euclidean distances between the subsequences of the time series. Computations are paralleled through OpenMP technology. The algorithm consists of two stages, namely precomputations and discovery. At the precomputations stage, we construct the auxiliary matrix data structures, which ensure efficient vectorization of computations on Intel Xeon Phi KNL. At the discovery stage, the algorithm finds discord based upon the structures above. Experimental evaluation confirms the high scalability of the developed algorithm.


title: Cluster Editing with Vertex Splitting

abstract: Cluster Editing, also known as Correlation Clustering, is a well-studied graph modification problem. In this problem, one is given a graph and the task is to perform up to $k$ edge additions or deletions to transform it into a cluster graph, i.e., a graph consisting of a disjoint union of cliques. However, in real-world networks, clusters are often overlapping. For example in social networks, a person might belong to several communities - e.g. those corresponding to work, school, or neighborhood. Other strong motivations come from biological network analysis and from language networks. Trying to cluster words with similar usage in the latter can be confounded by homonyms, that is, words with multiple meanings like "bat." In this paper, we introduce a new variant of Cluster Editing whereby a vertex can be split into two or more vertices. First used in the context of graph drawing, this operation allows a vertex $v$ to be replaced by two vertices whose combined neighborhood is the neighborhood of $v$ (and thus $v$ can belong to more than one cluster). We call the new problem Cluster Editing with Vertex Splitting and we initiate the study of it. We show that it is NP-complete and fixed-parameter tractable when parameterized by the total number $k$ of allowed vertex-splitting and edge-editing operations. In particular, we obtain an $O(2^{9k log k} + n + m)$-time algorithm and a $6k$-vertex kernel.


title: Charming Top Decays with Flavor Changing Neutral Higgs Boson and WW at Hadron Colliders

abstract: We investigate the prospects for discovering a top quark decaying into one light Higgs boson ($h^0$) along with a charm quark ($c$) in top quark pair production at the CERN Large Hadron Collider (LHC) and future hadron colliers. A general two Higgs doublet model is adopted to study the signature of flavor changing neutral Higgs (FCNH) interactions with $t \to c h^0$, followed by $h^0 \to WW^* \to \ell^+ \ell^- +\notE_T$, where $h^0$ is the CP-even Higgs boson and $\notE_T$ stands for missing transverse energy from neutrinos. We study the discovery potential for this FCNH signal and physics background from dominant processes with realistic acceptance cuts as well as tagging and mistagging efficiencies. Promising results are found for the LHC running at 13 TeV and 14 TeV center-of-mass energy as well as future pp colliders at 27 TeV and 100 TeV.


title: Text Infilling

abstract: Recent years have seen remarkable progress of text generation in different contexts, such as the most common setting of generating text from scratch, and the emerging paradigm of retrieval-and-rewriting. Text infilling, which fills missing text portions of a sentence or paragraph, is also of numerous use in real life, yet is under-explored. Previous work has focused on restricted settings by either assuming single word per missing portion or limiting to a single missing portion to the end of the text. This paper studies the general task of text infilling, where the input text can have an arbitrary number of portions to be filled, each of which may require an arbitrary unknown number of tokens. We study various approaches for the task, including a self-attention model with segment-aware position encoding and bidirectional context modeling. We create extensive supervised data by masking out text with varying strategies. Experiments show the self-attention model greatly outperforms others, creating a strong baseline for future research.


title: Hard X-ray spectroscopy of the itinerant magnets $R$Fe$_{4}$Sb$_{12}$ ($R=$Na, K, Ca, Sr, Ba)

abstract: Ordered states in itinerant magnets may be related to magnetic moments displaying some weak local moment characteristics, as in intermetallic compounds hosting transition metal coordination complexes. In this paper, we report on the Fe $K$-edge X-ray absorption spectroscopy (XAS) of the itinerant magnets $R$Fe$_{4}$Sb$_{12}$ ($R=$ Na, K, Ca, Sr, Ba), aiming at exploring the electronic and structural properties of the octahedral building block formed by Fe and the Sb ligands. We find evidence for strong hybridization between the Fe $3d$ and Sb $5p$ states at the Fermi level, giving experimental support to previous electronic structure calculations of the $R$Fe$_{4}$Sb$_{12}$ skutterudites. The electronic states derived from Fe 3$d$ Sb $5p$ mixing are shown to be either more occupied and/or less localized in the cases of the magnetically ordered systems, for which $R=$ Na or K, connecting the local Fe electronic structure to the itinerant magnetic properties. Moreover, the analysis of the extended region of the XAS spectra (EXAFS) suggests that bond disorder may be a more relevant parameter to explain the suppression of the ferromagnetic ordered state in CaFe$_{4}$Sb$_{12}$ than the decrease of the density of states.


title: Puzzles of the cosmic ray anisotropy

abstract: We discuss three of the known puzzles of the cosmic ray anisotropy in the PeV and sub-PeV energy region. They are: (1) the so called inverse anisotropy, (2) the irregularity in the energy dependence of the amplitude and phase of the first harmonic and (3) the contribution of the single source.


title: The lowest two-sided cell of weighted Coxeter groups of rank 3

abstract: In this paper, we give precise description for the lowest lowest two-sided cell c_{0} and the left cells in it for a weighted Coxeter group of rank 3. Then we show conjectures P1-P15 and \widetilde{P} hold for c_{0} and do some calculation for the based ring of c_{0}.


title: Definable retractions over complete fields with separated power series

abstract: Let $K$ be a complete non-Archimedean field $K$ with separated power series, treated in the analytic Denef--Pas language. We prove the existence of definable retractions onto an arbitrary closed definable subset of $K^{n}$, whereby definable non-Archimedean versions of the extension theorems by Tietze--Urysohn and Dugundji follow directly. We reduce the problem to the case of a simple normal crossing divisor, relying on our closedness theorem and desingularization of terms. The latter result is established by means of the following tools: elimination of valued field quantifiers (due to Cluckers--Lipshitz--Robinson), embedded resolution of singularities by blowing up (due to Bierstone--Milman or Temkin), the technique of quasi-rational subdomains (due to Lipshitz--Robinson) and our closedness theorem.


title: Blow-up for the one dimensional stochastic wave equations

abstract: The paper is concerned with the problem of explosive solutions for a class of semilinear stochastic wave equations. The challenging open problem(\cite{CMullR}) which is raised by C.Mueller and G.Richards is included in this problem.We develop an $\Omega_\delta$-comparative approach. With the aid of new approach, under appropriate conditions on the initial data and the nonlinear multiplicative noise term $(c_2u+f(u)) \dot{W}(t,x)$ with $|f(u)|\geq \kappa |u|^r,r>1,\kappa>0$, we prove in Theorem 3.1 that the solutions to the stochastic wave equation will blow up in finite time with positive probability.


title: A Field-Size Independent Code Construction for Groupcast Index Coding Problems

abstract: The length of an optimal scalar linear index code of a groupcast index coding problem is equal to the minrank of its side information hypergraph. The side-information hypergraph becomes a side-information graph for a special class of groupcast index coding problems known as unicast index coding problems. The computation of minrank is an NP-hard problem. There exists a low rank matrix completion method and clique cover method to find suboptimal solutions to the index coding problem represented by a side-information graph. However, both the methods are NP-hard. The number of computations required to find the minrank depends on the number of edges present in the side-information graph. In this paper, we define the notion of minrank-critical edges in a side-information graph and derive some properties of minrank, which identifies minrank-non-critical edges. Using these properties we present a method for reduction of the given minrank computation problem into a smaller problem. Also, we give an heuristic algorithm to find a clique cover of the side-information graph by using some binary operations on the adjacency matrix of the side-information graph. We also give a method to convert a groupcast index coding problem into a single unicast index coding problem. Combining all these results, we construct index codes (not necessarily optimal length) for groupcast index coding problems. The construction technique is independent of field size and hence can be used to construct index codes over binary field. In some cases the constructed index codes are better than the best known in the literature both in terms of the length of the code and the minimum field size required.


title: Equivalent conditions for existence of three solutions for a problem with discontinuous and strongly-singular terms

abstract: In this paper, we are concerned with a Kirchhoff problem in the presence of a strongly-singular term perturbed by a discontinuous nonlinearity of the Heaviside type in the setting of Orlicz-Sobolev space. The presence of both strongly-singular and non-continuous terms bring up difficulties in associating a differentiable functional to the problem with finite energy in the whole space $W_0^{1,\Phi}(\Omega)$. To overcome this obstacle, we established an optimal condition for the existence of $W_0^{1,\Phi}(\Omega)$-solutions to a strongly-singular problem, which allows us to constrain the energy functional to a subset of $W_0^{1,\Phi}(\Omega)$ to apply techniques of convex analysis and generalized gradient in Clarke sense.


title: Handwritten Indic Character Recognition using Capsule Networks

abstract: Convolutional neural networks(CNNs) has become one of the primary algorithms for various computer vision tasks. Handwritten character recognition is a typical example of such task that has also attracted attention. CNN architectures such as LeNet and AlexNet have become very prominent over the last two decades however the spatial invariance of the different kernels has been a prominent issue till now. With the introduction of capsule networks, kernels can work together in consensus with one another with the help of dynamic routing, that combines individual opinions of multiple groups of kernels called capsules to employ equivariance among kernels. In the current work, we have implemented capsule network on handwritten Indic digits and character datasets to show its superiority over networks like LeNet. Furthermore, it has also been shown that they can boost the performance of other networks like LeNet and AlexNet.


title: The Peebles -- Vilenkin quintessential inflation model revisited

abstract: We review the well-known Peebles-Vilenkin (PV) quintessential inflation model and discuss its possible improvements in agreement with the recent observations. The improved PV model depends only on two parameters: the inflaton mass $m$, and another smaller mass $M$; where the latter has to be chosen in order to undertake that, at present time, the dark energy density of the universe is approximately about 70\% of the total energy budget of the universe. The value of the inflaton mass $m$ is calculated using the observational value of the power spectrum of the scalar perturbations, and the value of mass $M$, which depends on the reheating temperature, is calculated by solving the corresponding dynamical system whose initial conditions are taken at the matter-radiation equality and are obtained from three observational data: the red shift at the matter-radiation equality, the ratio of the matter energy density to the critical one at the present time and the current value of the Hubble parameter.


title: Optimal Object Placement using a Virtual Axis

abstract: A basic task in the design of a robotic production cell is the relative placement of robot and workpiece. The fundamental requirement is that the robot can reach all process positions; only then one can think of further optimization. Therefore an algorithm that automatically places an object into the workspace is very desirable. However many iterative optimzation algorithms cannot guarantee that all intermediate steps are reachable, resulting in complicated procedures. We present a novel approach which extends a robot by a virtual prismatic joint - which measures the distance to the workspace - such that any TCP frames are reachable. This allows higher order nonlinear programming algorithms to be used for placement of an object alone as well as the optimal placement under some differentiable criterion.


title: On derivation of Dresselhaus spin-splitting Hamiltonians in one-dimensional electron systems

abstract: Two-dimensional (2D) semiconductor structures of materials without inversion center (e.g. zinc-blende ${\rm A^{III}B^V}$) possess the zero-field conduction band spin-splitting (Dresselhaus term), which is linear and cubic in wavevector $k$, that arises from cubic in $k$ splitting in a bulk material. At low carrier concentration the cubic term is usually negligible. However, if we will be interested in the following dimensional quantization (in 2D plane) and the character width in this direction is comparable with the width of 2D-structure, then we have to take into account $k^3$-terms as well (even at low concentrations), that after quantization leads to comparable contribution that arises from $k$-linear term. We propose the general procedure for derivation of Dresselhaus spin-splitting Hamiltonian applicable for any curvilinear 1D-structures. The simple examples for the cases of a quantum wire (QWr) and a quantum ring (QR) defined in usual [001]-grown 2D-structure are presented.


title: Sums of certain fractional parts

abstract: In this note, an upper bound for the sum of fractional parts of certain smooth functions is established. Such sums arise naturally in numerous problems of analytic number theory. The main feature is here an improvement of the main term due to the use of Weyl's bound for exponential sums and a device used by Popov.


title: Disparity-preserved Deep Cross-platform Association for Cross-platform Video Recommendation

abstract: Cross-platform recommendation aims to improve recommendation accuracy through associating information from different platforms. Existing cross-platform recommendation approaches assume all cross-platform information to be consistent with each other and can be aligned. However, there remain two unsolved challenges: i) there exist inconsistencies in cross-platform association due to platform-specific disparity, and ii) data from distinct platforms may have different semantic granularities. In this paper, we propose a cross-platform association model for cross-platform video recommendation, i.e., Disparity-preserved Deep Cross-platform Association (DCA), taking platform-specific disparity and granularity difference into consideration. The proposed DCA model employs a partially-connected multi-modal autoencoder, which is capable of explicitly capturing platform-specific information, as well as utilizing nonlinear mapping functions to handle granularity differences. We then present a cross-platform video recommendation approach based on the proposed DCA model. Extensive experiments for our cross-platform recommendation framework on real-world dataset demonstrate that the proposed DCA model significantly outperform existing cross-platform recommendation methods in terms of various evaluation metrics.


title: Supervised Multiscale Dimension Reduction for Spatial Interaction Networks

abstract: We introduce a multiscale supervised dimension reduction method for SPatial Interaction Network (SPIN) data, which consist of a collection of spatially coordinated interactions. This type of predictor arises when the sampling unit of data is composed of a collection of primitive variables, each of them being essentially unique, so that it becomes necessary to group the variables in order to simplify the representation and enhance interpretability. In this paper, we introduce an empirical Bayes approach called spinlets, which first constructs a partitioning tree to guide the reduction over multiple spatial granularities, and then refines the representation of predictors according to the relevance to the response. We consider an inverse Poisson regression model and propose a new multiscale generalized double Pareto prior, which is induced via a tree-structured parameter expansion scheme. Our approach is motivated by an application in soccer analytics, in which we obtain compact vectorial representations and readily interpretable visualizations of the complex network objects, supervised by the response of interest.


title: On the mass of supernova progenitors: the role of the $^{12}$C$+^{12}$C reaction

abstract: A precise knowledge of the masses of supernova progenitors is essential to answer various questions of modern astrophysics, such as those related to the dynamical and chemical evolution of Galaxies. In this paper we revise the upper bound for the mass of the progenitors of CO white dwarfs (\mup) and the lower bound for the mass of the progenitors of normal type II supernovae (\mups). In particular, we present new stellar models with mass between 7 and 10 \msun, discussing their final destiny and the impact of recent improvements in our understanding of the low energy rate of the \c12c12 reaction.


title: Measurements of the Higgs boson width and anomalous HVV couplings from on-shell and off-shell production in the four-lepton final state

abstract: Studies of on-shell and off-shell Higgs boson production in the four-lepton final state are presented, using data from the CMS experiment at the LHC that correspond to an integrated luminosity of 80.2 fb$^{-1}$ at a center-of-mass energy of 13 TeV. Joint constraints are set on the Higgs boson total width and parameters that express its anomalous couplings to two electroweak vector bosons. These results are combined with those obtained from the data collected at center-of-mass energies of 7 and 8 TeV, corresponding to integrated luminosities of 5.1 and 19.7 fb$^{-1}$, respectively. Kinematic information from the decay particles and the associated jets are combined using matrix element techniques to identify the production mechanism and to increase sensitivity to the Higgs boson couplings in both production and decay. The constraints on anomalous HVV couplings are found to be consistent with the standard model expectation in both the on-shell and off-shell regions. Under the assumption of a coupling structure similar to that in the standard model, the Higgs boson width is constrained to be 3.2 $^{+2.8}_{-2.2}$ MeV while the expected constraint based on simulation is 4.1 $^{+5.0}_{-4.0}$ MeV. The constraints on the width remain similar with the inclusion of the tested anomalous HVV interactions.


title: Online Monitoring of Metric Temporal Logic using Sequential Networks

abstract: Metric Temporal Logic (MTL) is a popular formalism to specify patterns with timing constraints over the behavior of cyber-physical systems. In this paper, I propose sequential networks for online monitoring applications and construct network-based monitors from the past fragment of MTL over discrete and dense time behaviors. This class of monitors is more compositional, extensible, and easily implementable than other monitors based on rewriting and automata. I first explain the sequential network construction over discrete time behaviors and then extend it towards dense time by adopting a point-free approach. The formulation for dense time behaviors and MTL radically differs from the traditional pointy definitions and in return, we avoid some longstanding complications. I argue that the point-free approach is more natural and practical therefore should be preferred for the dense time. Finally, I present my implementation together with some experimental results that show the performance of the network-based monitors compared to similar existing tools.


title: The CARMA-NRO Orion Survey: The filamentary structure as seen in C$^{18}$O emission

abstract: We present an initial overview of the filamentary structure in the Orion A molecular cloud utilizing a high angular and velocity resolution C$^{18}$O(1-0) emission map that was recently produced as part of the CARMA-NRO Orion Survey. The main goal of this study is to build a credible method to study varying widths of filaments which has previously been linked to star formation in molecular clouds. Due to the diverse star forming activities taking place throughout its $\sim$20 pc length, together with its proximity of 388 pc, the Orion A molecular cloud provides an excellent laboratory for such an experiment to be carried out with high resolution and high sensitivity. Using the widely-known structure identification algorithm, DisPerSE, on a 3-dimensional (PPV) C$^{18}$O cube, we identified 625 relatively short (the longest being 1.74 pc) filaments over the entire cloud. We study the distribution of filament widths using FilChaP, a python package that we have developed and made publicly available. We find that the filaments identified in a 2 square degree PPV cube do not overlap spatially, except for the complex OMC-4 region that shows distinct velocity components along the line of sight. The filament widths vary between 0.02 and 0.3 pc depending on the amount of substructure that a filament possesses. The more substructure a filament has, the larger is its width. We also find that despite this variation, the filament width shows no anticorrelation with the central column density which is in agreement with previous Herschel observations.


title: Credit Cycles, Securitization, and Credit Default Swaps

abstract: We present a limits-to-arbitrage model to study the impact of securitization, leverage and credit risk protection on the cyclicity of bank credit. In a stable bank credit situation, no cycles of credit expansion or contraction appear. Unlevered securitization together with mis-pricing of securitized assets increases lending cyclicality, favoring credit booms and busts. Leverage changes the state of affairs with respect to the simple securitization. First, the volume of real activity and banking profits increases. Second, banks sell securities when markets decline. This selling puts further pressure on falling prices. The mis-pricing of credit risk protection or securitized assets influences the real economy. Trading in these contracts reduces the amount of funding available to entrepreneurs, particularly to high-credit-risk borrowers. This trading decreases the liquidity of the securitized assets, and especially those based on investments with high credit risk.


title: Comments on the chemical and kinetic equilibration in heavy ion collisions

abstract: I argue that perturbative scattering of quarks and gluons are incompatible with lattice and heavy ion data on QGP properties. The non-perturbative mechanisms for quasiparticle rescattering and quark production are briefly discussed, as well as experiments needed to measure matter anisotropy and quark density at early stages of the collisions.


title: Sharp Bounds for Mutual Covering

abstract: A fundamental tool in network information theory is the covering lemma, which lower bounds the probability that there exists a pair of random variables, among a give number of independently generated candidates, falling within a given set. We use a weighted sum trick and Talagrand's concentration inequality to prove new mutual covering bounds. We identify two interesting applications: 1) When the probability of the set under the given joint distribution is bounded away from 0 and 1, the covering probability converges to 1 \emph{doubly} exponentially fast in the blocklength, which implies that the covering lemma does not induce penalties on the error exponents in the applications to coding theorems. 2) Using Hall's marriage lemma, we show that the maximum difference between the probability of the set under the joint distribution and the covering probability equals half the minimum total variation distance between the joint distribution and any distribution that can be simulated by selecting a pair from the candidates. Thus we use the mutual covering bound to derive the exact error exponent in the joint distribution simulation problem. In both applications, the determination of the exact exponential (or doubly exponential) behavior relies crucially on the sharp concentration inequality used in the proof of the mutual covering lemma.


title: Depth for curve data and applications

abstract: John W. Tukey (1975) defined statistical data depth as a function that determines centrality of an arbitrary point with respect to a data cloud or to a probability measure. During the last decades, this seminal idea of data depth evolved into a powerful tool proving to be useful in various fields of science. Recently, extending the notion of data depth to the functional setting attracted a lot of attention among theoretical and applied statisticians. We go further and suggest a notion of data depth suitable for data represented as curves, or trajectories, which is independent of the parametrization. We show that our curve depth satisfies theoretical requirements of general depth functions that are meaningful for trajectories. We apply our methodology to diffusion tensor brain images and also to pattern recognition of hand written digits and letters. Supplementary Materials are available online.


title: Effective integration of ICT to facilitate the secondary education in Sri Lanka

abstract: Information and Communication Technology (ICT) has been the phenomenon of the 21st century and its growing advances continue to play a vital role as an ideal tool to acquire, store, disseminate and apply knowledge than ever before. Thus, the integration of ICT in diverse business processes has increased the importance as an imperative source of economic growth in the rapidly changing knowledge economy. The paper mainly explores potential barriers towards the effective integration of ICT and its impact on the performance of the secondary education. A structured survey questionnaire gathered empirical data from a random sample of teachers from selected schools in the North Central Province (NCP) of Sri Lanka. Results show very low integration of ICT in schools and teachers ICT competency. ICT infrastructure, leadership support and school planning are revealed as major organizational constraints for the effective integration of ICT in schools. In contrast, respondents' fairly positive attitudes towards ICT indicate potential future developments. Comparative findings revealed that ICT education and English language proficiency are significant demographic predictors of ICT utilization. Results also reported a positive impact of ICT on teachers job performance.


title: Kirillov-Reshetikhin crystals $B^{7,s}$ for type $E_7^{(1)}$

abstract: We construct a combinatorial crystal structure on the Kirillov-Reshetikhin crystal $B^{7,s}$ in type $E_7^{(1)}$, where $7$ is the unique node in the orbit of $0$ in the affine Dynkin diagram. We then describe the combinatorial $R$-matrix $R \colon B^{7,s} \otimes B^{7,s'} \to B^{7,s'} \otimes B^{7,s}$.


title: Spontaneous non-stoichiometry and ordering of metal vacancies in degenerate insulators

abstract: We point to a class of materials representing an exception to the Daltonian view that compounds maintain integer stoichiometry at low temperatures, because forming stoichiometry-violating defects cost energy. We show that carriers in the conduction band (CB) of degenerate insulators in Ca-Al-O, Ag-Al-O, or Ba-Nb-O systems can cause a self-regulating instability, whereby cation vacancies form exothermically because a fraction of the free carriers in the CB decay into the hole states formed by such vacancies, and this negative electron-hole recombination energy offsets the positive energy associated with vacancy bond breaking. This Fermi level-induced spontaneous non-stoichiometry can lead to the formation of crystallographically ordered vacancy compounds (OVCs), explaining the previously peculiar occurrence of unusual atomic sequences such as BalNbmOn with l:m:n ratios of 1:2:6, 3:5:15, or 9:10:30. This work has general ramifications as the degenerate insulators have found growing interests in many fields ranging from transparent conductors to electrides that are electron donating promotors for catalyst.


title: Deformed band structures in neutron-rich $^{152-158}$Pm isotopes

abstract: High spin band structures of neutron-rich $^{152-158}$Pm isotopes have been obtained from the measurement of prompt $\gamma$-rays of isotopically identified fragments produced in fission of $^{238}$U+$^{9}$Be and detected using the VAMOS++ magnetic spectrometer and EXOGAM segmented Clover array at GANIL and also from the high statistics $\gamma$-$\gamma$-$\gamma$ and $\gamma$-$\gamma$-$\gamma$-$\gamma$ data from the spontaneous fission of $^{252}$Cf using Gammasphere. The excited states in $^{157}$Pm and those above the isomers in even-A Pm isotopes $^{152,154,156,158}$Pm have been identified for the first time. The spectroscopic information on the rotational band structures in odd-A Pm isotopes has been extended considerably to higher spins and the possibility of the presence of reflection asymmetric shapes is explored. The configuration assignments are based on the results of Cranked Relativistic Hartree-Bogoliubov calculations. From the systematics of bands in odd-A Pm isotopes and weak population of opposite parity bands, octupole deformed shapes in neutron rich Pm isotopes beyond $N=90$ seem unlikely to be present.


title: Analogs of Schur functions for rank two Weyl groups obtained from grid-like posets

abstract: In prior work, the authors, along with M. McClard, R. A. Proctor, and N. J. Wildberger, studied certain distributive lattice models for the `Weyl bialternants' (aka `Weyl characters') associated with the rank two root systems/Weyl groups. These distributive lattices were uniformly described as lattices of order ideals taken from certain grid-like posets, although the arguments connecting the lattices to Weyl bialternants were case-by-case depending on the type of the rank two root system. Using this connection with Weyl bialternants, these lattices were shown to be rank symmetric and rank unimodal, and their rank generating functions were shown to have beautiful quotient-of-products expressions. Here, these results are re-derived from scratch using completely uniform and elementary combinatorial reasoning in conjunction with some combinatorial methodology developed elsewhere by the second listed author.


title: Dynamical quenching weights in an expanding medium

abstract: In this work, we extend the resummation of multiple medium-induced emissions to apply to dynamically expanding media. This is done by recasting the quenching weight as the solution of a rate equation with medium-induced partonic splitting functions that are sensitive to the expansion. We perform the calculations in the framework of Baier-Dokshitzer- Mueller-Peigne-Schiff-Zakharov (BDMPSZ) formalism for multiple soft scatterings with a time-dependent transport coefficient. Furthermore, we discuss the validity of a dynamical scaling law that relates the spectrum in an expanding medium to the equivalent static case with re-scaled medium parameters and test the scaling law for the gluon splitting rates.


title: Noble gas as a functional dopant in ZnO

abstract: Owing to fully occupied orbitals, noble gases are considered to be chemically inert and to have limited effect on materials properties under standard conditions. However, using first-principles calculations, we demonstrate herein that the insertion of noble gas (i.e., He, Ne, or Ar) in ZnO results in local destabilization of electron density of the material driven by minimization of an unfavorable overlap of atomic orbitals of the noble gas and its surrounding atoms. Specifically, the noble gas defect (interstitial or substitutional) in ZnO pushes the electron density of its surrounding atoms away from the defect. Simultaneously, the host material confines the electron density of the noble gas. As a consequence, the interaction of He, Ne, or Ar with O vacancies of ZnO in different charge states q (ZnO:VOq) affects the vacancy stability and their electronic structures. Remarkably, we find that the noble gas is a functional dopant that can delocalize the deep in-gap VOq states and lift electrons associated with the vacancy to the conduction band.


title: Complementary reinforcement learning towards explainable agents

abstract: Reinforcement learning (RL) algorithms allow agents to learn skills and strategies to perform complex tasks without detailed instructions or expensive labelled training examples. That is, RL agents can learn, as we learn. Given the importance of learning in our intelligence, RL has been thought to be one of key components to general artificial intelligence, and recent breakthroughs in deep reinforcement learning suggest that neural networks (NN) are natural platforms for RL agents. However, despite the efficiency and versatility of NN-based RL agents, their decision-making remains incomprehensible, reducing their utilities. To deploy RL into a wider range of applications, it is imperative to develop explainable NN-based RL agents. Here, we propose a method to derive a secondary comprehensible agent from a NN-based RL agent, whose decision-makings are based on simple rules. Our empirical evaluation of this secondary agent's performance supports the possibility of building a comprehensible and transparent agent using a NN-based RL agent.


title: Transition densities of reflecting Brownian motions on Lipschitz domains

abstract: In this paper, we study the continuity of the transition density of the reecting Brownian motion on a general Lipschitz domain. We also provide local estimates for the density. Applying the estimates, we prove that the surface measure on the domain is in the local Kato class of the reecting Brownian motion.


title: End-to-End Performance Optimization in Hybrid Molecular and Electromagnetic Communications

abstract: Telemedicine refers to the use of information and communication technology to assist with medical information and services. In health care applications, high reliable communication links between the health care provider and the desired destination in the human body play a central role in designing end-to-end (E2E) telemedicine system. In the advanced health care applications, $\text{e.g.}$ drug delivery, molecular communication becomes a major building block in bio-nano-medical applications. In this paper, an E2E communication link consisting of the electromagnetic and the molecular link is investigated. This paradigm is crucial when the body is a part of the communication system. Based on the quality of service (QoS) metrics, we present a closed-form expression for the E2E BER of the combination of molecular and wireless electromagnetic communications. \textcolor{black}{ Next, we formulate an optimization problem with the aim of minimizing the E2E BER of the system to achieve the optimal symbol duration for EC and DMC regarding the imposing delivery time from telemedicine services.} The proposed problem is solved by an iterative algorithm based on the bisection method. Also, we study the impact of the system parameters, including drift velocity, detection threshold at the receiver in molecular communication, on the performance of the system. Numerical results show that the proposed method obtains the minimum E2E bit error probability by selecting an appropriate symbol duration of electromagnetic and molecular communications.


title: Methodological provisions for conducting empirical research of the availability and implementation of the consumers socially responsible intentions

abstract: Social responsibility of consumers is one of the main conditions for the recoupment of enterprises expenses associated with the implementation of social and ethical marketing tasks. Therefore, the enterprises, which plan to act on terms of social and ethical marketing, should monitor the social responsibility of consumers in the relevant markets. At the same time, special attention should be paid to the analysis of factors that prevent consumers from implementing their socially responsible intentions in the regions with a low level of social activity of consumers. The purpose of the article is to develop methodological guidelines that determine the tasks and directions of conducting empirical studies aimed at assessing the gap between the socially responsible intentions of consumers and the actual implementation of these intentions, as well as to identify the causes of this gap. An empirical survey of the sampled consumers in Kharkiv was carried out in terms of the proposed methodological provisions. It revealed a rather high level of respondents' willingness to support socially responsible enterprises and a rather low level of implementation of these intentions due to the lack of consumers awareness. To test the proposed methodological guidelines, an empirical study of the consumers social responsibility was conducted in 2017 on a sample of students and professors of the Semen Kuznets Kharkiv National University of Economics (120 people). Questioning of the respondents was carried out using the Google Forms. The finding allowed to make conclusion for existence of a high level of respondents' willingness to support socially responsible and socially active enterprises. However, the study also revealed the existence of a significant gap between the intentions and actions of consumers, caused by the lack of awareness.


title: Twist-2 operators induced Dark Matter Interactions

abstract: We study the effective interactions of the fermionic, scalar and vector dark matter (DM) with leptons and neutral electroweak gauge Bosons induced by the higher dimensional effective twist-2 tensor operators. We constrain these lepto-philic, $\tau^\pm$-philic and $U(1)_Y$ gauge Boson B-philic effective interactions of DM with the visible world from the WMAP and Planck data. The thermally averaged indirect DM pair annihilation cross-section and the DM-electron direct-detection cross-section for such DM candidates are observed to be consistent with the respective experimental data. Constraining coefficients of the effective operators from the low energy LEP data for the DM $\le$ 80 GeV, we further study their sensitivities in the pair production of such DM $\ge$ 50 GeV in association with mono-photon at the proposed ILC and perform the $\chi^2$ analysis to obtain the 99.73\% C.L. acceptance contours in the $m_{\rm DM}-\Lambda_{\rm eff}$ plane from the two dimensional differential distributions of the kinematic observables. We observe that ILC has rich potential to probe the contribution of such effective operators.


title: On the cohomology of surfaces with $p_g = q = 2$ and maximal Albanese dimension

abstract: In this paper we study the cohomology of smooth projective complex surfaces $S$ of general type with invariants $p_g = q = 2$ and surjective Albanese morphism. We show that on a Hodge-theoretic level, the cohomology is described by the cohomology of the Albanese variety and a K3 surface $X$ that we call the K3 partner of $S$. Furthermore, we show that in suitable cases we can geometrically construct the K3 partner $X$ and an algebraic correspondence in $S \times X$ that relates the cohomology of $S$ and $X$. Finally, we prove the Tate and Mumford-Tate conjectures for those surfaces $S$ that lie in connected components of the Gieseker moduli space that contain a product-quotient surface.


title: Jordan frame beyond scalar-tensor theories

abstract: We study the Jordan frame formulation of generalizations of scalar-tensor theories conceived by replacing the scalar with other fields such as vectors. The generic theory in this family contains higher order time derivative terms in the Jordan frame action which is indicative of ill-posedness. However, we show that equations of motion can always be reduced to a second-order-in-time form as long as the original Einstein frame formulation is well posed. The inverse transformation from the Jordan frame back to the Einstein frame is not possible for all field values in all theories, but we obtain a fully invertible transformation for vector-tensor theories by a redefinition of the vector field. Our main motivation is a better understanding of spontaneous scalarization and its generalizations, however our conclusions are applicable to a wide class of theories. Jordan frame has been traditionally used for certain calculations in scalar-tensor theories of gravitation, and our results will help researchers generalize these results, enabling comparison to observational data.


title: Some remarks on the pointwise sparse domination

abstract: We obtain an improved version of the pointwise sparse domination principle established by the first author in [19]. This allows us to determine nearly minimal assumptions on a singular integral operator $T$ for which it admits a sparse domination.


title: Accounting for Incompleteness due to Transit Multiplicity in Kepler Planet Occurrence Rates

abstract: We investigate the role that planet detection order plays in the Kepler planet detection pipeline. The Kepler pipeline typically detects planets in order of descending signal strength (MES). We find that the detectability of transits experiences an additional $5.5\%$ and $15.9\%$ efficiency loss, for periods $<200$ days and $>200$ days respectively, when detected after the strongest signal transit in a multiple-planet system. We provide a method for determining the transit probability for multiple-planet systems by marginalizing over the empirical Kepler dataset. Furthermore, because detection efficiency appears to be a function of detection order, we discuss the sorting statistics that affect the radius and period distributions of each detection order. Our occurrence rate dataset includes radius measurement updates from the California Kepler Survey (CKS), Gaia DR2, and asteroseismology. Our population model is consistent with the results of Burke et al. (2015), but now includes an improved estimate of the multiplicity distribution. From our obtained model parameters, we find that only $4.0\pm4.6\%$ of solar-like GK dwarfs harbor one planet. This excess is smaller than prior studies and can be well modeled with a modified Poisson distribution, suggesting that the Kepler Dichotomy can be accounted for by including the effects of multiplicity on detection efficiency. Using our modified Poisson model we expect the average number of planets is $5.86\pm0.18$ planets per GK dwarf within the radius and period parameter space of Kepler.


title: Is the Symmetric Group Sperner?

abstract: An antichain $\mathcal{A}$ in a poset $\mathcal{P}$ is a subset of $\mathcal{P}$ in which no two elements are comparable. Sperner showed that the maximal antichain in the Boolean lattice, $\mathcal{B}_n = \left\{ 0 < 1 \right\}^n$, is the largest rank (of size $\binom{n}{\lfloor n/2 \rfloor}$). This type of problem has been since generalized, and a graded poset $\mathcal{P}$ is said to be Sperner if the largest rank of $\mathcal{P}$ is its maximal antichain. In this paper, we will show that the symmetric group $S_n$, partially ordered by refinement (or equivalently by absolute order), is Sperner.


title: S-dual Amplitude and D3-Brane Couplings

abstract: Recently, it has been observed that the IIB scattering amplitudes are compatible with the standard rules of S-duality. Inspired by this observation, we will find the tree-level S-matrix elements of one Ramond-Ramond and three open strings by imposing this symmetry on the tree-level S-matrix elements of one Kalb-Ramond and three open strings. We also find a SL(2, R) invariant form of the D3-brane effective action containing four gauge fields with derivative corrections that was derived from one-loop level four-point amplitude. Using the expansion of the nonlinear SL(2, R) invariant structures, we find the action with derivative corrections at the level of more gauge fields


title: Initial wave-function of the universe is arbitrary

abstract: We consider quantization of the gravity-scalar field system in the minisuperspace approximation. It turns out that in the gauge fixed deparametrized theory where the scale factor plays the role of time, the Hamiltonian can be uniquely defined without any ordering ambiguity as the square root of a self-adjoint operator. Moreover, the Hamiltonian degenerates to zero and the Schr\"{o}dinger equation becomes well behaved as the scale factor vanishes. Therefore, there is no technical or physical obstruction for the initial wave-function of the universe to be an arbitrary vector in the Hilbert space, which demonstrates the severeness of the initial condition problem in quantum cosmology.


title: Highly Valley-Polarized Singlet and Triplet Interlayer Excitons in van der Waals Heterostructure

abstract: Two-dimensional semiconductors feature valleytronics phenomena due to locking of the spin and momentum valley of the electrons. However, the valley polarization is intrinsically limited in monolayer crystals by the fast intervalley electron-hole exchange. Hetero-bilayer crystals have been shown to have a longer exciton lifetime and valley depolarization time. But the reported valley polarization was low; the valley selection rules and mechanisms of valley depolarization remains controversial. Here, we report singlet and brightened triplet interlayer excitons both with over 80% valley polarizations, cross- and co-polarized with the pump laser, respectively. This is achieved in WSe2/MoSe2 hetero-bilayers with precise momentum valley alignment and narrow emission linewidth. The high valley polarizations allow us to identify the band minima in a hetero-structure and con_rm unambiguously the direct band-gap exciton transition, ultrafast charge separation, strongly suppressed valley depolarization. Our results pave the way for using semiconductor heterobilayers to control valley selection rules for valleytronic applications.


title: High order numerical schemes for solving fractional powers of elliptic operators

abstract: In many recent applications when new materials and technologies are developed it is important to describe and simulate new nonlinear and nonlocal diffusion transport processes. A general class of such models deals with nonlocal fractional power elliptic operators. In order to solve these problems numerically it is proposed (Petr N. Vabishchevich, Journal of Computational Physics. 2015, Vol. 282, No.1, pp.289--302) to consider equivalent local nonstationary initial value pseudo-parabolic problems. Previously such problems were solved by using the standard implicit backward and symmetrical Euler methods. In this paper we use the one-parameter family of three-level finite difference schemes for solving the initial value problem for the first order nonstationary pseudo-parabolic problem. The fourth-order approximation scheme is developed by selecting the optimal value of the weight parameter. The results of the theoretical analysis are supplemented by results of extensive computational experiments.


title: Homogenization of the vibro-acoustic transmission on perforated plates

abstract: The paper deals with modelling of acoustic waves which propagate in inviscid fluids interacting with perforated elastic plates. The plate can be replaced by an interface on which transmission conditions are derived by homogenization of a problem describing vibroacoustic fluid-structure interactions in a transmission layer in which the plate is embedded. The Reissner-Mindlin theory of plates is adopted for periodic perforations designed by arbitrary cylindrical holes with axes orthogonal to the plate midplane. The homogenized model of the vibroacoustic transmission is obtained using the two-scale asymptotic analysis with respect to the layer thickness which is proportional to the plate thickness and to the perforation period. The nonlocal, implicit transmission conditions involve a jump in the acoustic potential and its normal one-side derivatives across the interface which represents the plate with a given thickness. The homogenized model was implemented using the finite element method and validated using direct numerical simulations of the non-homogenized problem. Numerical illustrations of the vibroacoustic transmission are presented.


title: On the high-scale instanton interference effect: axion models without domain wall problem

abstract: We show that a new chiral, confining interaction can be used to break Peccei-Quinn symmetry dynamically and solve the domain wall problem, simultaneously. The resulting theory is an invisible QCD axion model without domain walls. No dangerous heavy relics appear.


title: Augmentation Scheme for Dealing with Imbalanced Network Traffic Classification Using Deep Learning

abstract: One of the most important tasks in network management is identifying different types of traffic flows. As a result, a type of management service, called Network Traffic Classifier (NTC), has been introduced. One type of NTCs that has gained huge attention in recent years applies deep learning on packets in order to classify flows. Internet is an imbalanced environment i.e., some classes of applications are a lot more populated than others e.g., HTTP. Additionally, one of the challenges in deep learning methods is that they do not perform well in imbalanced environments in terms of evaluation metrics such as precision, recall, and $\mathrm{F_1}$ measure. In order to solve this problem, we recommend the use of augmentation methods to balance the dataset. In this paper, we propose a novel data augmentation approach based on the use of Long Short Term Memory (LSTM) networks for generating traffic flow patterns and Kernel Density Estimation (KDE) for replicating the numerical features of each class. First, we use the LSTM network in order to learn and generate the sequence of packets in a flow for classes with less population. Then, we complete the features of the sequence with generating random values based on the distribution of a certain feature, which will be estimated using KDE. Finally, we compare the training of a Convolutional Recurrent Neural Network (CRNN) in large-scale imbalanced, sampled, and augmented datasets. The contribution of our augmentation scheme is then evaluated on all of the datasets through measurements of precision, recall, and F1 measure for every class of application. The results demonstrate that our scheme is well suited for network traffic flow datasets and improves the performance of deep learning algorithms when it comes to above-mentioned metrics.


title: Simulations of radiation damage in spacecraft camera for ESA JUICE mission

abstract: The JUpiter ICy moons Explorer (JUICE) is an ESA interplanetary spacecraft being developed to perform detailed investigations of the Jupiter system and three of its icy moons: Europa, Callisto and Ganymede. The emphasis will be given on Ganymede as a small planetary body to be studied as a potential habitat. The spacecraft is set for launch in 2022 and would reach Jupiter in 2030. Two identical optical cameras are proposed for the mission to monitor the spacecraft and its surroundings. The sensors of the cameras need to be protected from hazardous radiation levels caused by extremely high fluxes of very energetic electrons. A precise model of the camera was developed to be used for intense Monte Carlo simulations performed to optimize the shielding and to determine the radiation damage during the mission. Simulations included determination of the total ionizing and non-ionizing doses in the sensors and crucial electronic components. This paper presents both simulation methods and results.

categories: physics.space-ph astro-ph.IM nucl-ex physics.geo-ph physics.ins-det


title: Nasal Patches and Curves for Expression-robust 3D Face Recognition

abstract: The potential of the nasal region for expression robust 3D face recognition is thoroughly investigated by a novel five-step algorithm. First, the nose tip location is coarsely detected and the face is segmented, aligned and the nasal region cropped. Then, a very accurate and consistent nasal landmarking algorithm detects seven keypoints on the nasal region. In the third step, a feature extraction algorithm based on the surface normals of Gabor-wavelet filtered depth maps is utilised and, then, a set of spherical patches and curves are localised over the nasal region to provide the feature descriptors. The last step applies a genetic algorithm-based feature selector to detect the most stable patches and curves over different facial expressions. The algorithm provides the highest reported nasal region-based recognition ranks on the FRGC, Bosphorus and BU-3DFE datasets. The results are comparable with, and in many cases better than, many state-of-the-art 3D face recognition algorithms, which use the whole facial domain. The proposed method does not rely on sophisticated alignment or denoising steps, is very robust when only one sample per subject is used in the gallery, and does not require a training step for the landmarking algorithm. https://github.com/mehryaragha/NoseBiometrics


title: Normal Forms for Dirac-Jacobi bundles and Splitting Theorems for Jacobi Structures

abstract: The aim of this paper is to prove a normal form Theorem for Dirac-Jacobi bundles using the recent techniques from Bursztyn, Lima and Meinrenken. As the most important consequence, we can prove the splitting theorems of Jacobi pairs which was proposed by Dazord, Lichnerowicz and Marle. As an application we provide a alternative proof of the splitting theorem of homogeneous Poisson structures.


title: The surface diffusion and the Willmore flow for uniformly regular hypersurfaces

abstract: We consider the surface diffusion and Willmore flows acting on a general class of (possibly non-compact) hypersurfaces parameterized over a uniformly regular reference manifold possessing a tubular neighborhood with uniform radius. The surface diffusion and Willmore flows each give rise to a fourth-order quasilinear parabolic equation with nonlinear terms satisfying a specific singular structure. We establish well-posedness of both flows for initial surfaces that are $C^{1+\alpha}$-regular and parameterized over a uniformly regular hypersurface. For the Willmore flow, we also show long-term existence for initial surfaces which are $C^{1+\alpha}$-close to a sphere, and we prove that these solutions become spherical as time goes to infinity.


title: Smart Information Spreading for Opinion Maximization in Social Networks

abstract: The goal of opinion maximization is to maximize the positive view towards a product, an ideology or any entity among the individuals in social networks. So far, opinion maximization is mainly studied as finding a set of influential nodes for fast content dissemination in a social network. In this paper, we propose a novel approach to solve the problem, where opinion maximization is achieved through efficient information spreading. In our model, multiple sources inject information continuously into the network, while the regular nodes with heterogeneous social learning abilities spread the information to their acquaintances through gossip mechanism. One of the sources employs smart information spreading and the rest spread information randomly. We model the social interactions and evolution of opinions as a dynamic Bayesian network (DBN), using which the opinion maximization is formulated as a sequential decision problem. Since the problem is intractable, we develop multiple variants of centralized and decentralized learning algorithms to obtain approximate solutions. Through simulations in synthetic and real-world networks, we demonstrate two key results: 1) the proposed methods perform better than random spreading by a large margin, and 2) even though the smart source (that spreads the desired content) is unfavorably located in the network, it can outperform the contending random sources located at favorable positions.


title: Tighter Problem-Dependent Regret Bounds in Reinforcement Learning without Domain Knowledge using Value Function Bounds

abstract: Strong worst-case performance bounds for episodic reinforcement learning exist but fortunately in practice RL algorithms perform much better than such bounds would predict. Algorithms and theory that provide strong problem-dependent bounds could help illuminate the key features of what makes a RL problem hard and reduce the barrier to using RL algorithms in practice. As a step towards this we derive an algorithm for finite horizon discrete MDPs and associated analysis that both yields state-of-the art worst-case regret bounds in the dominant terms and yields substantially tighter bounds if the RL environment has small environmental norm, which is a function of the variance of the next-state value functions. An important benefit of our algorithmic is that it does not require apriori knowledge of a bound on the environmental norm. As a result of our analysis, we also help address an open learning theory question~\cite{jiang2018open} about episodic MDPs with a constant upper-bound on the sum of rewards, providing a regret bound with no $H$-dependence in the leading term that scales a polynomial function of the number of episodes.


title: Mapping Areas using Computer Vision Algorithms and Drones

abstract: The goal of this paper is to implement a system, titled as Drone Map Creator (DMC) using Computer Vision techniques. DMC can process visual information from an HD camera in a drone and automatically create a map by stitching together visual information captured by a drone. The proposed approach employs the Speeded up robust features (SURF) method to detect the key points for each image frame; then the corresponding points between the frames are identified by maximizing the determinant of a Hessian matrix. Finally, two images are stitched together by using the identified points. Our results show that despite some limitations from the external environment, we could have successfully stitched images together along video sequences.


title: EdgeConnect: Generative Image Inpainting with Adversarial Edge Learning

abstract: Over the last few years, deep learning techniques have yielded significant improvements in image inpainting. However, many of these techniques fail to reconstruct reasonable structures as they are commonly over-smoothed and/or blurry. This paper develops a new approach for image inpainting that does a better job of reproducing filled regions exhibiting fine details. We propose a two-stage adversarial model EdgeConnect that comprises of an edge generator followed by an image completion network. The edge generator hallucinates edges of the missing region (both regular and irregular) of the image, and the image completion network fills in the missing regions using hallucinated edges as a priori. We evaluate our model end-to-end over the publicly available datasets CelebA, Places2, and Paris StreetView, and show that it outperforms current state-of-the-art techniques quantitatively and qualitatively. Code and models available at: https://github.com/knazeri/edge-connect


title: A weighted random survival forest

abstract: A weighted random survival forest is presented in the paper. It can be regarded as a modification of the random forest improving its performance. The main idea underlying the proposed model is to replace the standard procedure of averaging used for estimation of the random survival forest hazard function by weighted avaraging where the weights are assigned to every tree and can be veiwed as training paremeters which are computed in an optimal way by solving a standard quadratic optimization problem maximizing Harrell's C-index. Numerical examples with real data illustrate the outperformance of the proposed model in comparison with the original random survival forest.


title: Clustering with Distributed Data

abstract: We consider $K$-means clustering in networked environments (e.g., internet of things (IoT) and sensor networks) where data is inherently distributed across nodes and processing power at each node may be limited. We consider a clustering algorithm referred to as networked $K$-means, or $NK$-means, which relies only on local neighborhood information exchange. Information exchange is limited to low-dimensional statistics and not raw data at the agents. The proposed approach develops a parametric family of multi-agent clustering objectives (parameterized by $\rho$) and associated distributed $NK$-means algorithms (also parameterized by $\rho$). The $NK$-means algorithm with parameter $\rho$ converges to a set of fixed points relative to the associated multi-agent objective (designated as `generalized minima'). By appropriate choice of $\rho$, the set of generalized minima may be brought arbitrarily close to the set of Lloyd's minima. Thus, the $NK$-means algorithm may be used to compute Lloyd's minima of the collective dataset up to arbitrary accuracy.


title: The Evolution of Massive Helium Stars Including Mass Loss

abstract: The evolution of helium stars with initial masses in the range 1.6 to 120 Msun is studied, including the effects of mass loss by winds. These stars are assumed to form in binary systems when their expanding hydrogenic envelopes are promptly lost just after helium ignition. Significant differences are found with single star evolution, chiefly because the helium core loses mass during helium burning rather than gaining it from hydrogen shell burning. Consequently presupernova stars for a given initial mass function have considerably smaller mass when they die and will be easier to explode. Even accounting for this difference, the helium stars with mass loss develop more centrally condensed cores that should explode more easily than their single-star counterparts. The production of low mass black holes may be diminished. Helium stars with initial masses below 3.2 Msun experience significant radius expansion after helium depletion, reaching blue supergiant proportions. This could trigger additional mass exchange or affect the light curve of the supernova. The most common black hole masses produced in binaries is estimated to be about 9 Msun. A new maximum mass for black holes derived from pulsational pair-instability supernovae is derived - 46 Msun, and a new potential gap at 10 - 12 Msun is noted. Models pertinent to SN 2014ft are presented and a library of presupernova models is generated.


title: $B\to D^\ast\ell\nu$ at non-zero recoil

abstract: We present preliminary blinded results from our analysis of the form factors for $B\rightarrow D^\ast\ell\nu$ decay at non-zero recoil. Our analysis includes 15 MILC asqtad ensembles with $N_f=2+1$ flavors of sea quarks and lattice spacings ranging from $a\approx 0.15$ fm down to $0.045$ fm. The valence light quarks employ the asqtad action, whereas the $b$ and $c$ quarks are treated using the Fermilab action. We discuss the impact that our results will have on $\left|V_{cb}\right|$ and $R(D^\ast)$.


title: The quintic complex moment problem

abstract: Let $\gamma^{(m)} \equiv \{ \gamma_{ij} \}_{0 \leq i +j \leq m}$ be a given complex-valued sequence. The truncated complex moment problem (TCMP in short) involves determining necessary and sufficient conditions for the existence of a positive Borel measure $\mu$ on $\mathbb{C}$ (called a representing measure for $\gamma^{(m)}$) such that $\gamma_{ij} = \int \overline{z}^i z^j d\mu$ for $0 \leq i +j \leq m$. The TCMP has been completely solved only when $m= 1, 2, 3, 4$. We provide in this paper a concrete solution to the quintic TCMP (that is, when $m = 5$). We also study the cardinality of the minimal representing measure. Based on the bivariate recurrences sequences's properties with some Curto-Fialkow's results, our method intended to be useful for all odd-degree moment problems.


title: Spontaneously broken symmetry restoration of quantum fields in the vicinity of neutral and electrically charged black holes

abstract: We consider the restoration of a spontaneously broken symmetry of an interacting quantum scalar field around neutral, i.e., Schwarzschild, and electrically charged, i.e., Reissner-Nordstr\"om, black holes in four dimensions. This is done through a semiclassical self-consistent procedure, by solving the system of non-linear coupled equations describing the dynamics of the background field and the vacuum polarization. The black hole at its own horizon generates an indefinitely high temperature which decreases to the Hawking temperature at infinity. Due to the high temperature in its vicinity, there forms a bubble around the black hole in which the scalar field can only assume a value equal to zero, a minimum of energy. Thus, in this region the symmetry of the energy and the field is preserved. At the bubble radius, there is a phase transition in the value of the scalar field due to a spontaneous symmetry breaking mechanism. Indeed, outside the bubble radius the temperature is low enough such that the scalar field settles with a nonzero value in a new energy minimum, indicating a breaking of the symmetry in this outer region. Conversely, there is symmetry restoration from the outer region to the inner bubble close to the horizon. Specific properties that emerge from different black hole electric charges are also noteworthy. It is found that colder black holes, i.e., more charged ones, have a smaller bubble length of restored symmetry. In the extremal case the bubble has zero length, i.e., there is no bubble. Additionally, for colder black holes, it becomes harder to excite the quantum field modes, so the vacuum polarization has smaller values. In the extremal case, the black hole temperature is zero and the vacuum polarization is never excited.


title: Breezing through the space environment of Barnard's Star b

abstract: A physically realistic stellar wind model based on Alfv\'en wave dissipation has been used to simulate the wind from Barnard's Star and to estimate the conditions at the location of its recently discovered planetary companion. Such models require knowledge of the stellar surface magnetic field that is currently unknown for Barnard's Star. We circumvent this by considering the observed field distributions of three different stars that constitute admissible magnetic proxies of this object. Under these considerations, Barnard's Star b experiences less intense wind pressure than the much more close-in planet Proxima~b and the planets of the TRAPPIST-1 system. The milder wind conditions are more a result of its much greater orbital distance rather than in differences in the surface magnetic field strengths of the host stars. The dynamic pressure experienced by the planet is comparable to present-day Earth values, but it can undergo variations by factors of several during current sheet crossings in each orbit. The magnetospause standoff distance would be $\sim$\,$20 - 40$\,\% smaller than that of the Earth for an equivalent planetary magnetic field strength.


title: Stochastic Methods for the Neutron Transport Equation II: Almost sure growth

abstract: The neutron transport equation (NTE) describes the flux of neutrons across a planar cross-section in an inhomogeneous fissile medium when the process of nuclear fission is active. Classical work on the NTE emerges from the applied mathematics literature in the 1950s through the work of R. Dautray and collaborators, [7, 8, 19]. The NTE also has a probabilistic representation through the semigroup of the underlying physical process when envisaged as a stochastic process; cf. [7, 17, 18, 20]. More recently, [6] and [16] have continued the probabilistic analysis of the NTE, introducing more recent ideas from the theory of spatial branching processes and quasi-stationary distributions. In this paper, we continue in the same vein and look at a fundamental description of stochastic growth in the supercritical regime. Our main result provides a significant improvement on the last known contribution to growth properties of the physical process in [20], bringing neutron transport theory in line with modern branching process theory such as [14, 12].


title: High-Capacity Coherent DCIs using PolMuxed Carrier and LO-Less Receiver

abstract: A PAM4 based direct detection system has been standardized for short-distance data center interconnects because of its simple architecture. Performance of the PAM4 systems is limited for high dispersion values or demands complicated signal processing for further increase in data rates. A polarization multiplexed carrier based self-homodyne (PMC-SH) link with adaptive polarization control is a practical approach with an laser oscillator (LO)-less and carrier phase recovery (CPR)-free coherent receiver that can replace PAM4 links for achieving high data rates. We analytically find that PMC-SH scheme results in a significantly better BER for a given transmission rate or can achieve doubling of the data rate for given bandwidth of electronics and laser power (when compared with PAM4). Practical implementation of the proposed system with adaptive polarization control is also discussed. Presented theoretical frame work highlights the advantages of such self-homodyne systems over PAM4 based systems in terms of SNR requirements and capacity.


title: Deformed Poisson W-algebras of Type A

abstract: For the algebraic group $SL_{l+1}(\mathbb{C})$ we describe a system of positive roots associated to conjugacy classes in its Weyl group. Using this we explicitly describe the algebra of regular functions on certain transverse slices to conjugacy classes in $SL_{l+1}(\mathbb{C})$ as a polynomial algebra of invariants. These may be viewed as an algebraic group analogue of certain graded parabolic invariants that generate the (graded) W-algebra in type A.


title: Towards an anagraphical picture of high-energy Galactic neutrinos

abstract: The TeV/PeV neutrino emission from our Galaxy is related to the distribution of cosmic-ray accelerators, their maximal energy of injection as well as the propagation of injected particles and their interaction with molecular gas. In the last years Interesting upper limits on the diffuse hadronic emission from the whole Galaxy, massive molecular clouds and Fermi Bubbles were set by the IceCube and ANTARES as well as HAWC and Fermi-LAT observations. On the other hand no evidence of Galactic point-like excess has been observed up to now by high-energy neutrino telescopes. This result can be related to the short duration of the PeV hadronic activity of the sources responsible for the acceleration of primary protons, possibly including supernova remnants. All these aspects will be discussed in this work.


title: Ancient Painting to Natural Image: A New Solution for Painting Processing

abstract: Collecting a large-scale and well-annotated dataset for image processing has become a common practice in computer vision. However, in the ancient painting area, this task is not practical as the number of paintings is limited and their style is greatly diverse. We, therefore, propose a novel solution for the problems that come with ancient painting processing. This is to use domain transfer to convert ancient paintings to photo-realistic natural images. By doing so, the ancient painting processing problems become natural image processing problems and models trained on natural images can be directly applied to the transferred paintings. Specifically, we focus on Chinese ancient flower, bird and landscape paintings in this work. A novel Domain Style Transfer Network (DSTN) is proposed to transfer ancient paintings to natural images which employ a compound loss to ensure that the transferred paintings still maintain the color composition and content of the input paintings. The experiment results show that the transferred paintings generated by the DSTN have a better performance in both the human perceptual test and other image processing tasks than other state-of-art methods, indicating the authenticity of the transferred paintings and the superiority of the proposed method.


title: Quantum State Smoothing for Linear Gaussian Systems

abstract: Quantum state smoothing is a technique for assigning a valid quantum state to a partially observed dynamical system, using measurement records both prior and posterior to an estimation time. We show that the technique is greatly simplified for Linear Gaussian quantum systems, which have wide physical applicability. We derive a closed-form solution for the quantum smoothed state, which is more pure than the standard filtered state, whilst still being described by a physical quantum state, unlike other proposed quantum smoothing techniques. We apply the theory to an on-threshold optical parametric oscillator, exploring optimal conditions for purity recovery by smoothing. The role of quantum efficiency is elucidated, in both low and high efficiency limits.


title: Statistical inference for Bures-Wasserstein barycenters

abstract: In this work we introduce the concept of Bures-Wasserstein barycenter $Q_*$, that is essentially a Fr\'echet mean of some distribution $\mathbb{P}$ supported on a subspace of positive semi-definite Hermitian operators $\mathbb{H}_{+}(d)$. We allow a barycenter to be restricted to some affine subspace of $\mathbb{H}_{+}(d)$ and provide conditions ensuring its existence and uniqueness. We also investigate convergence and concentration properties of an empirical counterpart of $Q_*$ in both Frobenius norm and Bures-Wasserstein distance, and explain, how obtained results are connected to optimal transportation theory and can be applied to statistical inference in quantum mechanics.


title: Multitask Learning Deep Neural Networks to Combine Revealed and Stated Preference Data

abstract: It is an enduring question how to combine revealed preference (RP) and stated preference (SP) data to analyze travel behavior. This study presents a framework of multitask learning deep neural networks (MTLDNNs) for this question, and demonstrates that MTLDNNs are more generic than the traditional nested logit (NL) method, due to its capacity of automatic feature learning and soft constraints. About 1,500 MTLDNN models are designed and applied to the survey data that was collected in Singapore and focused on the RP of four current travel modes and the SP with autonomous vehicles (AV) as the one new travel mode in addition to those in RP. We found that MTLDNNs consistently outperform six benchmark models and particularly the classical NL models by about 5% prediction accuracy in both RP and SP datasets. This performance improvement can be mainly attributed to the soft constraints specific to MTLDNNs, including its innovative architectural design and regularization methods, but not much to the generic capacity of automatic feature learning endowed by a standard feedforward DNN architecture. Besides prediction, MTLDNNs are also interpretable. The empirical results show that AV is mainly the substitute of driving and AV alternative-specific variables are more important than the socio-economic variables in determining AV adoption. Overall, this study introduces a new MTLDNN framework to combine RP and SP, and demonstrates its theoretical flexibility and empirical power for prediction and interpretation. Future studies can design new MTLDNN architectures to reflect the speciality of RP and SP and extend this work to other behavioral analysis.


title: Verity: Blockchains to Detect Insider Attacks in DBMS

abstract: Integrity and security of the data in database systems are typically maintained with access control policies and firewalls. However, insider attacks -- where someone with an intimate knowledge of the system and administrative privileges tampers with the data -- pose a unique challenge. Measures like append only logging prove to be insufficient because an attacker with administrative privileges can alter logs and login records to eliminate the trace of attack, thus making insider attacks hard to detect. In this paper, we propose Verity -- first of a kind system to the best of our knowledge. Verity serves as a dataless framework by which any blockchain network can be used to store fixed-length metadata about tuples from any SQL database, without complete migration of the database. Verity uses a formalism for parsing SQL queries and query results to check the respective tuples' integrity using blockchains to detect insider attacks. We have implemented our technique using Hyperledger Fabric, Composer REST API, and SQLite database. Using TPC-H data and SQL queries of varying complexity and types, our experiments demonstrate that any overhead of integrity checking remains constant per tuple in a query's results, and scales linearly.


title: The Divide-and-Conquer Framework: A Suitable Setting for the DDM of the Future

abstract: This paper was prompted by numerical experiments we performed, in which algorithms already available in the literature (DVS-BDDM) yielded accelerations (or speedups) many times larger (more than seventy in some examples already treated, but probably often much larger) than the number of processors used. Based on these outstanding results, here it is shown that believing in the standard ideal speedup, which is taken to be equal to the number of processors, has limited much the performance goal sought by research on domain decomposition methods (DDM) and has hindered much its development, thus far. Hence, an improved theory in which the speedup goal is based on the Divide and Conquer algorithmic paradigm, frequently considered as the leitmotiv of domain decomposition methods, is proposed as a suitable setting for the DDM of the future.


title: The Weil algebra of a double Lie algebroid

abstract: Given a double vector bundle $D\to M$, we define a bigraded `Weil algebra' $\mathcal{W}(D)$, which `realizes' the algebra of smooth functions on the supermanifold $D[1,1]$. We describe in detail the relations between the Weil algebras of $D$ and those of the double vector bundles $D',\ D"$ obtained by duality operations. In particular, we show that double-linear Poisson structures on $D$ can be described alternatively as Gerstenhaber brackets on $\mathcal{W}(D)$, vertical differentials on $\mathcal{W}(D')$, or horizontal differentials on $\mathcal{W}(D")$. We also give a new proof of Voronov's result characterizing double Lie algebroid structures. In the case that $D=TA$ is the tangent prolongation of a Lie algebroid, we find that $\mathcal{W}(D)$ is the Weil algebra of the Lie algebroid, as defined by Mehta and Abad-Crainic. We show that the deformation complex of Lie algebroids, the theory of IM forms and IM multivector fields, and 2-term representations up to homotopy all have natural interpretations in terms of our Weil algebras.