title: Quaternionic contact structure with integrable complementary distribution

abstract: We study positive definite quaternionic contact $(4n+3)$-manifolds ($qc$-manifold for short). Just like the $CR$-structure contains the class of Sasaki manifolds, the $qc$-structure admits a class of $3$-Sasaki manifolds with integrable distribution isomorphic to $\mathfrak{su}(2)$. A big difference concerning the integrable complementary $qc$-distribution $V$ of the $qc$-structure from $3$-Sasaki structure is the existence of Lie algebra not isomorphic to $\mathfrak{su}(2)$. We take up non-compact $qc$-manifolds to find out a salient feature of topology and geometry in case $V$ generates the $qc$-transformations $R^3$.


title: Tailoring the crack-tip microstructure: A novel approach

abstract: This investigation demonstrates a way to innovatively modify the ferritic microstructure at a local scale, particularly at the failure prone area such as Charpy V-notch (CVN) root. Tensile pre-strain (PS) up to 6 percent and 12 percent were employed before annealing (An) the samples at 650{\deg}C for 15 minutes. Ferrite grain size increased sharply and gradually (along the distance ahead of the notch root) within the microstructurally modified region in 6-12 percent pre-strained and annealed samples, respectively. Critical strain which promotes strain induced boundary migration (SIBM), was found to be 0.1 which resulted in abnormally coarse ferrite grains.


title: Why physical understanding should precede the mathematical formalism - conditional quantum probabilities as a case-study

abstract: Conditional probabilities in quantum systems which have both initial and final boundary conditions are commonly evaluated using the Aharonov-Bergmann-Lebowitz rule. In this short note we present a seemingly disturbing paradox that appears when applying the rule to systems with slightly broken degeneracies. In these cases we encounter a singular limit - the probability "jumps" when going from perfect degeneracy to negligibly broken one. We trace the origin of the paradox and solve it from both traditional and modern perspectives in order to highlight the physics behind it: the necessity to take into account the finite resolution of the measuring device. As a practical example, we study the application of the rule to the Zeeman effect. The analysis presented here may stress the general need to first consider the governing physical principles before heading to the mathematical formalism, in particular when exploring puzzling quantum phenomena.


title: Coulomb scattering in the massless Nelson model IV. Atom-electron scattering

abstract: We consider the massless Nelson model with two types of massive particles which we call atoms and electrons. The atoms interact with photons via an infrared regular form-factor and thus they are Wigner-type particles with sharp mass-shells. The electrons have an infrared singular form-factor and thus they are infraparticles accompanied by soft-photon clouds correlated with their velocities. In the weak coupling regime we construct scattering states of one atom and one electron, and demonstrate their asymptotic clustering into individual particles. The proof relies on the Cook's argument, clustering estimates, and the non-stationary phase method. The latter technique requires sharp estimates on derivatives of the ground state wave functions of the fiber Hamiltonians of the model, which were proven in the earlier papers of this series. Although we rely on earlier studies of the atom-atom and electron-photon scattering in the Nelson model, the paper is written in a self-contained manner. A perspective on the open problem of the electron-electron scattering in this model is also given.


title: Nonexistence result for a semilinear elliptic problem

abstract: In this paper we prove the nonexistence of nontrivial solution to \begin{equation*} \begin{cases} -\Delta u =f(u) &\text{in }\Omega, \\ u=0 &\text{on } \partial \Omega, \end{cases} \end{equation*} being $\Omega \subset \mathbb{R}^N$ ($N\in \mathbb{N}$) a bounded domain and $f$ locally Lispchitz with non-positive primitive.


title: On the $\text{PGL}_{2}$-invariant quadruples of torsion points of elliptic curves

abstract: Let $E$ be an elliptic curve and $\pi:E\to\mathbb{P}^{1}$ a standard double cover identifying $\pm P\in E$. It is known that for some torsion points $P_{i}\in E$, $1\leq i\leq4$, the cross ratio of $\{\pi(P_{i})\}_{i=1}^{4}$ is independent of $E$. In this article, we will give a complete classification of such quadruples.


title: Illumination-invariant Face recognition by fusing thermal and visual images via gradient transfer

abstract: Face recognition in real life situations like low illumination condition is still an open challenge in biometric security. It is well established that the state-of-the-art methods in face recognition provide low accuracy in the case of poor illumination. In this work, we propose an algorithm for a more robust illumination invariant face recognition using a multi-modal approach. We propose a new dataset consisting of aligned faces of thermal and visual images of a hundred subjects. We then apply face detection on thermal images using the biggest blob extraction method and apply them for fusing images of different modalities for the purpose of face recognition. An algorithm is proposed to implement fusion of thermal and visual images. We reason for why relying on only one modality can give erroneous results. We use a lighter and faster CNN model called MobileNet for the purpose of face recognition with faster inferencing and to be able to be use it in real time biometric systems. We test our proposed method on our own created dataset to show that real-time face recognition on fused images shows far better results than using visual or thermal images separately.


title: Existence of CMC Cauchy surfaces and spacetime splitting

abstract: In this paper, we review results on the existence (and nonexistence) of constant mean curvature spacelike hypersurfaces in the cosmological setting, and discuss the connection to the spacetime splittng problem. It is a pleasure to dedicate this paper to Robert Bartnik, who has made fundamental contributions to this area.


title: Wiener-Hopf Factorization for the Normal Inverse Gaussian Process

abstract: We derive the L\'evy-Khintchine representation of the Wiener-Hopf factors for the Normal Inverse Gaussian (NIG) process as well as a representation which is similar to the moment generating function (MGF) of a generalized gamma convolution (GGC). We show, via this representation, that for some parameters the Wiener-Hopf factors are, in fact, the MGFs of GGCs. Further, we develop two seperate methods of approximating the Wiener-Hopf factors, both based on Pad\'e approximations of their Taylor series expansions; we show how the latter may be calculated exactly to any order. The first approximation yields the MGF of a finite gamma convolution, the second that of a finite mixture of exponentials. Both provide excellent approximations as we demonstrate with numerical experiments and by considering applications to the ultimate ruin problem and to the pricing of perpetual options.


title: Optical force-induced nonlinearity and self-guiding of light in human red blood cell suspensions

abstract: Osmotic conditions play an important role in the cell properties of human red blood cells (RBCs), which are crucial for the pathological analysis of some blood diseases such as malaria. Over the past decades, numerous efforts have mainly focused on the study of the RBC biomechanical properties that arise from the unique deformability of erythrocytes. Here, we demonstrate nonlinear optical effects from human RBCs suspended in different osmotic solutions. Specifically, we observe self-trapping and scattering-resistant nonlinear propagation of a laser beam through RBC suspensions under all three osmotic conditions, where the strength of the optical nonlinearity increases with osmotic pressure on the cells. This tunable nonlinearity is attributed to optical forces, particularly the forward scattering and gradient forces. Interestingly, in aged blood samples (with lysed cells), a notably different nonlinear behavior is observed due to the presence of free hemoglobin. We use a theoretical model with an optical force-mediated nonlocal nonlinearity to explain the experimental observations. Our work on light self-guiding through scattering bio-soft-matter may introduce new photonic tools for noninvasive biomedical imaging and medical diagnosis.


title: Grenander functionals and Cauchy's formula

abstract: Let $\hat f_n$ be the nonparametric maximum likelihood estimator of a decreasing density. Grenander characterized this as the left-continuous slope of the least concave majorant of the empirical distribution function. For a sample from the uniform distribution, the asymptotic distribution of the $L_2$-distance of the Grenander estimator to the uniform density was derived in Groeneboom and Pyke (1983) by using a representation of the Grenander estimator in terms of conditioned Poisson and gamma random variables. This representation was also used in Groeneboom and Lopuhaa (1993) to prove a central limit result of Sparre Andersen on the number of jumps of the Grenander estimator. Here we extend this to the proof of a general result on integrals of the Grenander estimator. We also correct Groeneboom and Pyke (1983), where the limit distribution of the sums of gamma and Poisson variables on which the conditioning was done did not have the right form. Saddle point methods and Cauchy's formula are important tools in our development.


title: Explicit expressions for real roots of a quartic equation

abstract: This short article presents explicit expressions for roots of a quartic equation that has all four real roots. Although a general expression for quartic roots is available on Wikipedia, an optimized and slightly shorter expression for only real roots is presented here.


title: On quasi-orthogonal cocycles

abstract: We introduce the notion of quasi-orthogonal cocycle. This is motivated in part by the maximal determinant problem for square $\{\pm 1\}$-matrices of size congruent to $2$ modulo $4$. Quasi-orthogonal cocycles are analogous to the orthogonal cocycles of algebraic design theory. Equivalences with new and known combinatorial objects afforded by this analogy, such as quasi-Hadamard groups, relative quasi-difference sets, and certain partially balanced incomplete block designs, are proved.


title: Faster and simpler algorithms for finding large patterns in permutations

abstract: Permutation patterns and pattern avoidance have been intensively studied in combinatorics and computer science, going back at least to the seminal work of Knuth on stack-sorting (1968). Perhaps the most natural algorithmic question in this area is deciding whether a given permutation of length $n$ contains a given pattern of length $k$. In this work we give two new algorithms for this well-studied problem, one whose running time is $n^{0.44k+o(k)}$, and one whose running time is the better of $O(1.6181^n)$ and $n^{k/2+o(k)}$. These results improve the earlier best bounds of Ahal and Rabinovich (2000), and Bruner and Lackner (2012), and are the fastest algorithms for the problem when $k = \Omega(\log n)$. When $k = o(\log n)$, the parameterized algorithm of Guillemot and Marx (2013) dominates. Our second algorithm uses polynomial space and is significantly simpler than all previous approaches with comparable running times, including an $n^{k/2+o(k)}$ algorithm proposed by Guillemot and Marx. Our approach can be summarized as follows: "for every matching of the even-valued entries of the pattern, try to match all odd-valued entries left-to-right". For the special case of patterns that are Jordan-permutations, we show an improved, subexponential running time.


title: Deep Learning Approach on Information Diffusion in Heterogeneous Networks

abstract: There are many real-world knowledge based networked systems with multi-type interacting entities that can be regarded as heterogeneous networks including human connections and biological evolutions. One of the main issues in such networks is to predict information diffusion such as shape, growth and size of social events and evolutions in the future. While there exist a variety of works on this topic mainly using a threshold-based approach, they suffer from the local viewpoint on the network and sensitivity to the threshold parameters. In this paper, information diffusion is considered through a latent representation learning of the heterogeneous networks to encode in a deep learning model. To this end, we propose a novel meta-path representation learning approach, Heterogeneous Deep Diffusion(HDD), to exploit meta-paths as main entities in networks. At first, the functional heterogeneous structures of the network are learned by a continuous latent representation through traversing meta-paths with the aim of global end-to-end viewpoint. Then, the well-known deep learning architectures are employed on our generated features to predict diffusion processes in the network. The proposed approach enables us to apply it on different information diffusion tasks such as topic diffusion and cascade prediction. We demonstrate the proposed approach on benchmark network datasets through the well-known evaluation measures. The experimental results show that our approach outperforms the earlier state-of-the-art methods.


title: A note on optimization in $\mathbb{R}^n$

abstract: In this article, we develop an algorithm suitable for constrained optimization in $\mathbb{R}^n$. The results are developed through standard tools of n-dimensional real analysis and basic concepts of optimization. Indeed, the well known Banach fixed point theorem has a fundamental role in the main result establishment.


title: Generalized binary arrays from quasi-orthogonal cocycles

abstract: Generalized perfect binary arrays (GPBAs) were used by Jedwab to construct perfect binary arrays. A non-trivial GPBA can exist only if its energy is $2$ or a multiple of $4$. This paper introduces generalized optimal binary arrays (GOBAs) with even energy not divisible by $4$, as analogs of GPBAs. We give a procedure to construct GOBAs based on a characterization of the arrays in terms of $2$-cocycles. As a further application, we determine negaperiodic Golay pairs arising from generalized optimal binary sequences of small length.


title: A Degeneracy Framework for Scalable Graph Autoencoders

abstract: In this paper, we present a general framework to scale graph autoencoders (AE) and graph variational autoencoders (VAE). This framework leverages graph degeneracy concepts to train models only from a dense subset of nodes instead of using the entire graph. Together with a simple yet effective propagation mechanism, our approach significantly improves scalability and training speed while preserving performance. We evaluate and discuss our method on several variants of existing graph AE and VAE, providing the first application of these models to large graphs with up to millions of nodes and edges. We achieve empirically competitive results w.r.t. several popular scalable node embedding methods, which emphasizes the relevance of pursuing further research towards more scalable graph AE and VAE.


title: Limit points of Nathanson's Lambda sequences

abstract: We consider the set $A_{n}=\displaystyle\cup_{j=0}^{\infty}\{\varepsilon_{j}(n)\cdot n^j\colon\varepsilon_{j}(n)\in\{0,\pm1,\pm2,...,\pm\lfloor{{n}/{2}}\rfloor\}\} $. Let $\mathcal{S}_{\mathcal{A}}= \bigcup_{a \in\mathcal{A} } A_{a}$ where $\mathcal{A}\subseteq \mathbb{N}$. We denote by $\lambda_{\mathcal{A}}(h)$ the smallest positive integer that can be represented as a sum of $h$, and no less than $h$, elements in $\mathcal{S}_{\mathcal{A}}$. Nathanson studied the properties of the $\lambda_\mathcal{A}(h)$-sequence and posed the problem of finding the values of $\lambda_\mathcal{A}(h)$. When $\mathcal{A}=\{2,i\}$, we represent $\lambda_{\mathcal{A}}(h)$ by $\lambda_{2,i}(h)$. Only the values $\lambda_{2,3}(1)=1$, $\lambda_{2,3}(3)=5$, $\lambda_{2,3}(3)=21$ and $\lambda_{2,3}(4)=150$ are known. In this paper, we extend this result. For any odd $i>1$ and $h\in\{1,2,3\}$, we find the values of $\lambda_{2,i}(h)$. Furthermore, for fixed $h\in\{1,2,3\}$, we find the values of $\lambda_{2,i}(h)$ that occur infinitely many times as $i$ runs over the odd integers bigger than 1. We call these numbers the $\textit{limit points of Nathanson's lambda sequences}$.


title: Near neighbor preserving dimension reduction for doubling subsets of $\ell_1$

abstract: Randomized dimensionality reduction has been recognized as one of the fundamental techniques in handling high-dimensional data. Starting with the celebrated Johnson-Lindenstrauss Lemma, such reductions have been studied in depth for the Euclidean $(\ell_2)$ metric, but much less for the Manhattan $(\ell_1)$ metric. Our primary motivation is the approximate nearest neighbor problem in $\ell_1$. We exploit its reduction to the decision-with-witness version, called approximate \textit{near} neighbor, which incurs a roughly logarithmic overhead. In 2007, Indyk and Naor, in the context of approximate nearest neighbors, introduced the notion of nearest neighbor-preserving embeddings. These are randomized embeddings between two metric spaces with guaranteed bounded distortion only for the distances between a query point and a point set. Such embeddings are known to exist for both $\ell_2$ and $\ell_1$ metrics, as well as for doubling subsets of $\ell_2$. The case that remained open were doubling subsets of $\ell_1$. In this paper, we propose a dimension reduction by means of a \textit{near} neighbor-preserving embedding for doubling subsets of $\ell_1$. Our approach is to represent the pointset with a carefully chosen covering set, then randomly project the latter. We study two types of covering sets: $c$-approximate $r$-nets and randomly shifted grids, and we discuss the tradeoff between them in terms of preprocessing time and target dimension. We employ Cauchy variables: certain concentration bounds derived should be of independent interest.


title: Augmenting Neural Machine Translation with Knowledge Graphs

abstract: While neural networks have been used extensively to make substantial progress in the machine translation task, they are known for being heavily dependent on the availability of large amounts of training data. Recent efforts have tried to alleviate the data sparsity problem by augmenting the training data using different strategies, such as back-translation. Along with the data scarcity, the out-of-vocabulary words, mostly entities and terminological expressions, pose a difficult challenge to Neural Machine Translation systems. In this paper, we hypothesize that knowledge graphs enhance the semantic feature extraction of neural models, thus optimizing the translation of entities and terminological expressions in texts and consequently leading to a better translation quality. We hence investigate two different strategies for incorporating knowledge graphs into neural models without modifying the neural network architectures. We also examine the effectiveness of our augmentation method to recurrent and non-recurrent (self-attentional) neural architectures. Our knowledge graph augmented neural translation model, dubbed KG-NMT, achieves significant and consistent improvements of +3 BLEU, METEOR and chrF3 on average on the newstest datasets between 2014 and 2018 for WMT English-German translation task.


title: Irrationality Measure of Pi

abstract: The first estimate of the upper bound $\mu(\pi)\leq42$ of the irrationality measure of the number $\pi$ was computed by Mahler in 1953, and more recently it was reduced to $\mu(\pi)\leq7.6063$ by Salikhov in 2008. Here, it is shown that $\pi$ has the same irrationality measure $\mu(\pi)=\mu(\alpha)=2$ as almost every irrational number $\alpha>0$.


title: Deep Learning-Guided Surface Characterization for Autonomous Hydrogen Lithography

abstract: As the development of atom scale devices transitions from novel, proof-of-concept demonstrations to state-of-the-art commercial applications, automated assembly of such devices must be implemented. Here we present an automation method for the identification of defects prior to atomic fabrication via hydrogen lithography using deep learning. We trained a convolutional neural network to locate and differentiate between surface features of the technologically relevant hydrogen-terminated silicon surface imaged using a scanning tunneling microscope. Once the positions and types of surface features are determined, the predefined atomic structures are patterned in a defect-free area. By training the network to differentiate between common defects we are able to avoid charged defects as well as edges of the patterning terraces. Augmentation with previously developed autonomous tip shaping and patterning modules allows for atomic scale lithography with minimal user intervention.


title: Fast Distributed Backup Placement in Sparse and Dense Networks

abstract: We consider the Backup Placement problem in networks in the $\mathcal{CONGEST}$ distributed setting. Given a network graph $G = (V,E)$, the goal of each vertex $v \in V$ is selecting a neighbor, such that the maximum number of vertices in $V$ that select the same vertex is minimized. The backup placement problem was introduced by Halldorsson, Kohler, Patt-Shamir, and Rawitz, who obtained an $O(\log n/ \log \log n)$ approximation with randomized polylogarithmic time. Their algorithm remained the state-of-the-art for general graphs, as well as specific graph topologies. In this paper we obtain significantly improved algorithms for various graph topologies. Specifically, we show that $O(1)$-approximation to optimal backup placement can be computed deterministically in $O(1)$ rounds in graphs that model wireless networks, certain social networks, claw-free graphs, and more generally, in any graph with neighborhood independence bounded by a constant. At the other end, we consider sparse graphs, such as trees, forests, planar graphs and graphs of constant arboricity, and obtain a constant approximation to optimal backup placement in $O(\log n)$ deterministic rounds. Clearly, our constant-time algorithms for graphs with constant neighborhood independence are asymptotically optimal. Moreover, we show that our algorithms for sparse graphs are not far from optimal as well, by proving several lower bounds. Specifically, optimal backup placement of unoriented trees requires $\Omega(\log n)$ time, and approximate backup placement with a polylogarithmic approximation factor requires $\Omega(\sqrt {\log n / \log \log n})$ time. Our results extend the knowledge regarding the question of "what can be computed locally?", and reveal surprising gaps between complexities of distributed symmetry breaking problems.


title: Variations of Infinite Derivative Modified Gravity

abstract: We consider nonlocal modified Einstein gravity without matter, where nonlocal term has the form $P(R) F(\Box) Q(R)$. For this model, in this paper we give the derivation of the equations of motion in detail. This is not an easy task and presented derivation should be useful to a researcher who wants to investigate nonlocal gravity. Also, we present the second variation of the related Einstein-Hilbert modified action and basics of gravity perturbations.


title: Closed-End Formula for options linked to Target Volatility Strategies

abstract: Recent years have seen an emerging class of structured financial products based on options linked to dynamic asset allocation strategies. One of the most chosen approach is the so-called target volatility mechanism. It shifts between risky and riskless assets to control the volatility of the overall portfolio. Even if a series of articles have been already devoted to the analysis of options linked to the target volatility mechanism, this paper is the first, to the best of our knowledge, that tries to develop closed-end formulas for VolTarget options. In particular, we develop closed-end formulas for option prices and some key hedging parameters within a Black and Scholes setting, assuming the underlying follows a target volatility mechanism.


title: Existence through convexity for the truncated Laplacians

abstract: We study the Dirichlet problem on a bounded convex domain of $\mathbb R^N$, with zero boundary data, for truncated Laplacians ${\mathcal P}_k^\pm$, with $k<N$. We establish a necessary and sufficient condition (Theorem 1) in terms of the "flatness" of domains for existence of a solution for general inhomogeneous term. This result, in particular, shows that the strict convexity of the domain is sufficient for the solvability of the Dirichlet problem. The result and related ideas are applied to the solvability of the Dirichlet problem for the operator ${\mathcal P}_k^+$ with lower order term when the domain is strictly convex and the existence of principal eigenfunctions for the operator ${\mathcal P}_1^+$. An existence theorem is presented with regard to the principal eigenvalue for the Dirichlet problem with zero-th order term for the operator ${\mathcal P}_1^+$. A nonexistence result is established for the operator ${\mathcal P}_k^+$ with first order term when the domain has a boundary portion which is nearly flat. Furthermore, when the domain is a ball, we study the Dirichlet problem, with a constant inhomogeneous term and a possibly sign-changing first order term, and the associated eigenvalue problem.


title: Rogue Quantum Harmonic Oscillations

abstract: We show the existence and investigate the dynamics and statistics of rogue oscillations (standing waves) generated in the frame of the nonlinear quantum harmonic oscillator (NQHO). With this motivation, in this paper, we develop a split-step Fourier scheme for the computational analysis of NQHO. We show that modulation instability excites the generation of rogue oscillations in the frame of the NQHO. We also discuss the effects of various parameters such as the strength of trapping well potential, nonlinearity, dissipation, fundamental wave number and perturbation amplitude on rogue oscillation formation probabilities.


title: Revealing the intrinsic geometry of finite dimensional invariant sets of infinite dimensional dynamical systems

abstract: Embedding techniques allow the approximations of finite dimensional attractors and manifolds of infinite dimensional dynamical systems via subdivision and continuation methods. These approximations give a topological one-to-one image of the original set. In order to additionally reveal their geometry we use diffusion mapst o find intrinsic coordinates. We illustrate our results on the unstable manifold of the one-dimensional Kuramoto--Sivashinsky equation, as well as for the attractor of the Mackey-Glass delay differential equation.


title: Accelerating Rescaled Gradient Descent: Fast Optimization of Smooth Functions

abstract: We present a family of algorithms, called descent algorithms, for optimizing convex and non-convex functions. We also introduce a new first-order algorithm, called rescaled gradient descent (RGD), and show that RGD achieves a faster convergence rate than gradient descent provided the function is strongly smooth -- a natural generalization of the standard smoothness assumption on the objective function. When the objective function is convex, we present two novel frameworks for "accelerating" descent methods, one in the style of Nesterov and the other in the style of Monteiro and Svaiter, using a single Lyapunov. Rescaled gradient descent can be accelerated under the same strong smoothness assumption using both frameworks. We provide several examples of strongly smooth loss functions in machine learning and numerical experiments that verify our theoretical findings. We also present several extensions of our novel Lyapunov framework, including deriving optimal universal tensor methods and extending our framework to the coordinate setting.


title: Probing the Holographic Fermi Arc with scalar field: Numerical and analytical study

abstract: Fermi arcs are disconnected contour of Fermi surface, which can be observed in the pseudo-gap phase of high temperature superconductors. Aiming to understand this pseudo-gap phenomena, we study a holographic Fermionic system coupled with a massive scalar field in an AdS black hole background. Depending on the boundary condition on the scalar field mode, we discuss two possible scenarios. When the scalar condenses below a critical temperature $T_c$, the Fermi surface undergoes a transition from normal phase to pseudo-gap phase. Hence $T_c$ can be the reminiscent of well-known cross over temperature $T^*$ in cuprate superconductor, below which pseudo-gap appears at constant doping. In the second scenario, the bulk scalar develops a non-normalizable profile at arbitrary temperature for non-zero source at the boundary. Therefore, we can tune the Fermi spectrum by tuning a dual source at the boundary. The dual source for this case can be the reminiscent of hole doping in the real cuprate superconductor. For both the cases we have studied Fermi spectrum and observed anisotropic gap in the spectral function depending on the model parameter and studied the properties of Fermi arcs across different phases.


title: Optimal Investment to Enable Evolutionary Rescue

abstract: 'Evolutionary rescue' is the potential for evolution to enable population persistence in a changing environment. Even with eventual rescue, evolutionary time lags can cause the population size to temporarily fall below a threshold susceptible to extinction. To reduce extinction risk given human-driven global change, conservation management can enhance populations through actions such as captive breeding. To quantify the optimal timing of, and indicators for engaging in, investment in temporary enhancement to enable evolutionary rescue, we construct a model of coupled demographic-genetic dynamics given a moving optimum. We assume 'decelerating change', as might be relevant to climate change, where the rate of environmental change initially exceeds a rate where evolutionary rescue is possible, but eventually slows. We analyze the optimal control path of an intervention to avoid the population size falling below a threshold susceptible to extinction, minimizing costs. We find that the optimal path of intervention initially increases as the population declines, then declines and ceases when the population growth rate becomes positive, which lags the stabilization in environmental change. In other words, the optimal strategy involves increasing investment even in the face of a declining population, and positive population growth could serve as a signal to end the intervention. In addition, a greater carrying capacity relative to the initial population size decreases the optimal intervention. Therefore, a one-time action to increase carrying capacity, such as habitat restoration, can reduce the amount and duration of longer-term investment in population enhancement, even if the population is initially lower than and declining away from the new carrying capacity.


title: PC priors for residual correlation parameters in one-factor mixed models

abstract: Lack of independence in the residuals from linear regression motivates the use of random effect models in many applied fields. We start from the one-way anova model and extend it to a general class of one-factor Bayesian mixed models, discussing several correlation structures for the within group residuals. All the considered group models are parametrized in terms of a single correlation (hyper-)parameter, controlling the shrinkage towards the case of independent residuals (iid). We derive a penalized complexity (PC) prior for the correlation parameter of a generic group model. This prior has desirable properties from a practical point of view: i) it ensures appropriate shrinkage to the iid case; ii) it depends on a scaling parameter whose choice only requires a prior guess on the proportion of total variance explained by the grouping factor; iii) it is defined on a distance scale common to all group models, thus the scaling parameter can be chosen in the same manner regardless the adopted group model. We show the benefit of using these PC priors in a case study in community ecology where different group models are compared.


title: Optical Properties of Nanoporous Al2O3 Matrices with Ammonium Dihydrogen Phosphate Crystals in Nanopores

abstract: In this paper, the technology of growing ammonium dihydrogen phosphate (ADP) crystals in pores of nanoporous aluminum oxide (Al2O3) matrices was presented. On the grown nanocomposites, the optical properties of such structures were studied. In particular, the direct and diffuse optical transmission, as well as specular reflection of Al2O3 matrices with ADP crystals grown in nanopores, were analyzed. From the performed experimental studies, it can be concluded that the transmission and scattering of pure Al2O3 porous matrices and with ADP crystals in nanopores depends largely on the properties of the Al2O3 matrices and the technology of their production.


title: Categorization in the Wild: Generalizing Cognitive Models to Naturalistic Data across Languages

abstract: Categories such as animal or furniture are acquired at an early age and play an important role in processing, organizing, and communicating world knowledge. Categories exist across cultures: they allow to efficiently represent the complexity of the world, and members of a community strongly agree on their nature, revealing a shared mental representation. Models of category learning and representation, however, are typically tested on data from small-scale experiments involving small sets of concepts with artificially restricted features; and experiments predominantly involve participants of selected cultural and socio-economical groups (very often involving western native speakers of English such as U.S. college students) . This work investigates whether models of categorization generalize (a) to rich and noisy data approximating the environment humans live in; and (b) across languages and cultures. We present a Bayesian cognitive model designed to jointly learn categories and their structured representation from natural language text which allows us to (a) evaluate performance on a large scale, and (b) apply our model to a diverse set of languages. We show that meaningful categories comprising hundreds of concepts and richly structured featural representations emerge across languages. Our work illustrates the potential of recent advances in computational modeling and large scale naturalistic datasets for cognitive science research.


title: A unified perspective on modified Poisson likelihoods for limited Monte Carlo data

abstract: Counting experiments often rely on Monte Carlo simulations for predictions of Poisson expectations. The accompanying uncertainty from the finite Monte Carlo sample size can be incorporated into parameter estimation by modifying the Poisson likelihood. We first review previous Frequentist methods of this type by Barlow et al, Bohm et al, and Chirkin, as well as recently proposed probabilistic methods by the author and Arg\"uelles et al. We show that all these approaches can be understood in a unified way: they all approximate the underlying probability distribution of the sum of weights in a given bin, the compound Poisson distribution (CPD). The Probabilistic methods marginalize the Poisson mean with a distribution that approximates the CPD, while the Frequentist counterparts optimize the same integrand treating the mean as a nuisance parameter. With this viewpoint we can motivate three new probabilistic likelihoods based on generalized gamma-Poisson mixture distributions which we derive in analytic form. Afterwards, we test old and new formulas in different parameter estimation settings consisting of a "background" and "signal" dataset. The probablistic counterpart to the Ansatz by Barlow et al. outperforms all other existing approaches in various scenarios. We further find a surprising outcome: usage of the exact CPD is actually bad for parameter estimation. A continuous approximation performs much better and in principle allows to perform bias-free inference at any level of simulated livetime if the first two moments of the CPD of each dataset are known exactly. Finally, we also discuss the situation where new Monte Carlo simulation is produced for a given parameter choice which leads to fluctuations in the computed likelihood value. Two of the new formulas allow to include this Poisson uncertainty directly into the likelihood which substantially decreases these fluctuations.

categories: astro-ph.IM hep-ex physics.data-an stat.AP


title: Re-evaluating ADEM: A Deeper Look at Scoring Dialogue Responses

abstract: Automatically evaluating the quality of dialogue responses for unstructured domains is a challenging problem. ADEM(Lowe et al. 2017) formulated the automatic evaluation of dialogue systems as a learning problem and showed that such a model was able to predict responses which correlate significantly with human judgements, both at utterance and system level. Their system was shown to have beaten word-overlap metrics such as BLEU with large margins. We start with the question of whether an adversary can game the ADEM model. We design a battery of targeted attacks at the neural network based ADEM evaluation system and show that automatic evaluation of dialogue systems still has a long way to go. ADEM can get confused with a variation as simple as reversing the word order in the text! We report experiments on several such adversarial scenarios that draw out counterintuitive scores on the dialogue responses. We take a systematic look at the scoring function proposed by ADEM and connect it to linear system theory to predict the shortcomings evident in the system. We also devise an attack that can fool such a system to rate a response generation system as favorable. Finally, we allude to future research directions of using the adversarial attacks to design a truly automated dialogue evaluation system.


title: The Heisenberg spinor field classification and its interplay with the Lounesto's classification

abstract: Dirac linear spinor fields were obtained from non-linear Heisenberg spinors, in the literature. Here we extend that idea by considering not only Dirac spinor fields but spinor fields in any of the Lounesto's classes. When one starts considering all these classes of fields, the question of providing a classification for the Heisenberg spinor naturally arises. In this work the classification of Heisenberg spinor fields is derived and scrutinized, in its interplay with the Lounesto's spinor field classification.


title: Higher-dimensional Euler fluids and Hasimoto transform: counterexamples and generalizations

abstract: The binormal (or vortex filament) equation provides the localized induction approximation of the 3D incompressible Euler equation. We present explicit solutions of the binormal equation in higher-dimensions that collapse in finite time. The local nature of this phenomenon suggests the appearance of singularity in nearby vortex blob solutions of the Euler equation in 5D and higher. Furthermore, the Hasimoto transform takes the binormal equation to the NLS and barotropic fluid equations. We show that in higher dimensions the existence of such a transform would imply the conservation of the Willmore energy in skew-mean-curvature flows and present counterexamples for vortex membranes based on products of spheres. These (counter)examples imply that there is no straightforward generalization to higher dimensions of the 1D Hasimoto transform. We derive its replacement, the evolution equations for the mean curvature and torsion form for membranes, thus generalizing the barotropic fluid and Da Rios equations.


title: Transfer Learning for Non-Intrusive Load Monitoring

abstract: Non-intrusive load monitoring (NILM) is a technique to recover source appliances from only the recorded mains in a household. NILM is unidentifiable and thus a challenge problem because the inferred power value of an appliance given only the mains could not be unique. To mitigate the unidentifiable problem, various methods incorporating domain knowledge into NILM have been proposed and shown effective experimentally. Recently, among these methods, deep neural networks are shown performing best. Arguably, the recently proposed sequence-to-point (seq2point) learning is promising for NILM. However, the results were only carried out on the same data domain. It is not clear if the method could be generalised or transferred to different domains, e.g., the test data were drawn from a different country comparing to the training data. We address this issue in the paper, and two transfer learning schemes are proposed, i.e., appliance transfer learning (ATL) and cross-domain transfer learning (CTL). For ATL, our results show that the latent features learnt by a `complex' appliance, e.g., washing machine, can be transferred to a `simple' appliance, e.g., kettle. For CTL, our conclusion is that the seq2point learning is transferable. Precisely, when the training and test data are in a similar domain, seq2point learning can be directly applied to the test data without fine tuning; when the training and test data are in different domains, seq2point learning needs fine tuning before applying to the test data. Interestingly, we show that only the fully connected layers need fine tuning for transfer learning. Source code can be found at https://github.com/MingjunZhong/transferNILM.


title: Coherent Laser Induced Synthesis of Rare Earth Doped Nanocrystallites of 50PbO-25Bi$_2$O$_3$-20Ga$_2$O$_3$-5BaO

abstract: A principal possibility of formation the nanostructures on the surfaces of 50PbO-25Bi$_2$O$_3$-20Ga$_2$O$_3$-5BaO (doped by Eu3+, Er3+, Dy3+) is demonstrated by using multi-coherent beams. As a sources of the photoinducing coherent light we have used nanosecond Nd:YAG and Er:Yb lasers generating at 1064 nm and 1540 nm, respectively. The morphology of the photoinduced surfaces is sensitive to the type of rare earth ions. The thickness of the layer was about 20-30 nm. Possible mechanisms are explained by coherent photoinduction of the valence electrons.


title: The Additive Structure of Integers with the Lower Wythoff Sequence

abstract: We have provided a pure model-theoretic proof for the decidability of the additive structure of the integers together with the function {f} sending {x} to {[\phi x]} where {\phi} is the golden ratio.


title: Nanoengineering of Anisotropic Materials for Creating the Active Optical Cells with Increased Energy Efficiency

abstract: In this paper the state-of-the-art for exploiting the unique physical and chemical properties of crystalline materials and their possible applications for development of crystalline nanocomposites with the tailored anisotropy were discussed. Using a method of growing crystals from a solution the KDP and TGS nanocrystalites were grown in the mezopores of the Al2O3 matrix. To investigate the developed nanocrystalline samples the X-ray analysis was used. A form of the obtained diffractograms and our calculations show the predominant crystallization of the KDP and TGS in the direction [100], which coincides with the direction of the cylindrical pores. Thus, diffractograms contain only reflexes of crystallographic planes (200) and (400). The achieved result indicates the possibility of growing of nanocrystals in mesopores of such Al2O3 structures developed by us and provides the prospect of creating optical cells with increased energy efficiency.


title: General form of Chebyshev type inequality for generalized Sugeno integral

abstract: We prove a~general form of Chebyshev type inequality for generalized upper Sugeno integral in the form of necessary and sufficient condition. A key role in our considerations is played by the~class of $m$-positively dependent functions which includes comonotone functions as a~proper subclass. As a~consequence, we state an equivalent condition for Chebyshev type inequality to be true for all comonotone functions and any monotone measure. Our results generalize many others obtained in the framework of q-integral, seminormed fuzzy integral and Sugeno integral on the real half-line. Some further consequences of these results are obtained, among others Chebyshev type inequality for any functions. We also point out some flaws in existing results and provide their improvements.


title: Oxygen fractionation in dense molecular clouds

abstract: We have developed the first gas-grain chemical model for oxygen fractionation (also including sulphur fractionation) in dense molecular clouds, demonstrating that gas-phase chemistry generates variable oxygen fractionation levels, with a particularly strong effect for NO, SO, O2, and SO2. This large effect is due to the efficiency of the neutral 18O + NO, 18O + SO, and 18O + O2 exchange reactions. The modeling results were compared to new and existing observed isotopic ratios in a selection of cold cores. The good agreement between model and observations requires that the gas-phase abundance of neutral oxygen atoms is large in the observed regions. The S16O/S18O ratio is predicted to vary substantially over time showing that it can be used as a sensitive chemical proxy for matter evolution in dense molecular clouds.


title: On Reeb graphs induced from smooth functions on 3-dimensional closed orientable manifolds with finitely many singular values

abstract: The Reeb graph of a function on a smooth manifold is the graph obtained as the space of all connected components of level sets such that the set of all vertices coincides with the set of all connected components of level sets including singular points. Reeb graphs are fundamental and important in the algebraic and differential topological theory of Morse functions and their generalizations. In this paper, as a related fundamental and important study, for given graphs, we construct certain smooth functions inducing the graphs as the Reeb graphs. Such works have been demonstrated by Masumoto, Michalak, Saeki, Sharko etc. and also by the author since 2000s. We present new smooth functions on suitable $3$-dimensional closed orientable manifolds through explicit constructive methods.


title: Multipartite entanglement generation and contextuality tests using non-destructive three-qubit parity measurements

abstract: We report on the realization and application of non-destructive three-qubit parity measurements on nuclear spin qubits in diamond. We use high-fidelity quantum logic to map the parity of the joint state of three nuclear spin qubits onto an electronic spin qubit that acts as an ancilla, followed by single-shot non-destructive readout of the ancilla combined with an electron spin echo to ensure outcome-independent evolution of the nuclear spins. Through the sequential application of three such parity measurements, we demonstrate the generation of genuine multipartite entangled states out of the maximally mixed state. Furthermore, we implement a single-shot version of the GHZ experiment that can generate a quantum versus classical contradiction in each run. Finally, we test a state-independent non-contextuality inequality in eight dimensions. The techniques and insights developed here are relevant for fundamental tests as well as for quantum information protocols such as quantum error correction.


title: Estimates for the $L^q$-mixed problem in $C^{1,1}$-domains

abstract: We consider the $L^q$-mixed problem in domains in ${\bf R}^n$ with $C^ {1,1}$-boundary. We assume that the boundary between the sets where we specify Neumann and Dirichlet data is Lipschitz. With these assumptions, we show that we may solve the $L^q$-mixed problem for $q$ in the range $1<q < n/(n-1)$.


title: Octet baryon electromagnetic form factor double ratios $(G_E^\ast/G_M^\ast)/(G_E/G_M)$ in a nuclear medium

abstract: The ratios of the baryon electric ($G_E$) to magnetic ($G_M$) form factors, $G_E/G_M$, can provide us with important information on the structure of baryons in vacuum as demonstrated in recent studies for the proton and neutron systems. It has been argued that the corresponding in-medium ratios, $G_E^\ast/G_M^\ast$, can also provide useful information on the electromagnetic structure of baryons in a nuclear medium. Although the ratios may not be measured directly in experiments except for the proton at present, the double ratios $(G_E^\ast/G_M^\ast)/(G_E/G_M)$ can be directly related to the polarization-transfer measurements of bound baryons. In the present work we estimate, for the first time, the double ratios $(G_E^\ast/G_M^\ast)/(G_E/G_M)$ for all the members of octet baryons in symmetric nuclear matter in the range $Q^2=0$--3 GeV$^2$, where $Q^2=- q^2$ with $q$ being the four-momentum transfer.


title: Causality of energy-containing eddies in wall turbulence

abstract: Turbulent flows in the presence of walls may be apprehended as a collection of momentum- and energy-containing eddies (energy-eddies), whose sizes differ by many orders of magnitude. These eddies follow a self-sustaining cycle, i.e., existing eddies are seeds for the inception of new ones, and so forth. Understanding this process is critical for the modelling and control of geophysical and industrial flows, in which a non-negligible fraction of the energy is dissipated by turbulence in the immediate vicinity of walls. In this study, we examine the causal interactions of energy-eddies in wall-bounded turbulence by quantifying how the knowledge of the past states of eddies reduces the uncertainty of their future states. The analysis is performed via direct numerical simulation (DNS) of turbulent channel flows in which time-resolved energy-eddies are isolated at a prescribed scale. Our approach unveils, in a simple manner, that causality of energy-eddies in the buffer and logarithmic layers is similar and independent of the eddy size. We further show an example of how novel flow control and modelling strategies can take advantage of such self-similar causality.


title: Rearranging absolutely convergent well-ordered series in Banach spaces

abstract: Reordering the terms of a series is a useful mathematical device, and much is known about when it can be done without affecting the convergence or the sum of the series. For example, if a series of real numbers absolutely converges, we can add the even-indexed and odd-indexed terms separately, or arrange the terms in an infinite two-dimensional table and first compute the sum of each column. The possibility of even more intricate re-orderings prompts us to find a general underlying principle. We identify such a principle in the setting of Banach spaces, where we consider well-ordered series with indices beyond {\omega}, but strictly under {\omega}_1 . We prove that for every absolutely convergent well-ordered series indexed by a countable ordinal, if the series is rearranged according to any countable ordinal, then the absolute convergence and the sum of the series remain unchanged.


title: Automated proof search system for logic of correlated knowledge

abstract: The automated proof search system and decidability for logic of correlated knowledge is presented in this paper. The core of the proof system is the sequent calculus with the properties of soundness, completeness, admissibility of cut and structural rules, and invertibility of all rules. The proof search procedure based on the sequent calculus performs automated terminating proof search and allows us to achieve decision result for logic of correlated knowledge.


title: Algebraic Type Theory and Universe Hierarchies

abstract: It is commonly believed that algebraic notions of type theory support only universes \`a la Tarski, and that universes \`a la Russell must be removed by elaboration. We clarify the state of affairs, recalling the details of Cartmell's discipline of _generalized algebraic theory_, showing how to formulate an algebraic version of Coquand's cumulative cwfs with universes \`a la Russell. To demonstrate the power of algebraic techniques, we sketch a purely algebraic proof of canonicity for Martin-L\"of Type Theory with universes, dependent function types, and a base type with two constants.


title: Multiscale dendritic needle network model of alloy solidification with fluid flow

abstract: We present a mathematical formulation of a multiscale model for solidification with convective flow in the liquid phase. The model is an extension of the dendritic needle network approach for crystal growth in a binary alloy. We propose a simple numerical implementation based on finite differences and step-wise approximations of parabolic dendritic branches of arbitrary orientation. Results of the two-dimensional model are verified against reference benchmark solutions for steady, unsteady, and buoyant flow, as well as steady-state dendritic growth in the diffusive regime. Simulations of equiaxed growth under forced flow yield dendrite tip velocities within 10% of quantitative phase-field results from the literature. Finally, we perform illustrative simulations of polycrystalline solidification using physical parameters for an aluminum-10wt%copper alloy. Resulting microstructures show notable differences when taking into account natural buoyancy in comparison to a purely diffusive transport regime. The resulting model opens new avenues for computationally and quantitatively investigating the influence of fluid flow and gravity-induced buoyancy upon the selection of dendritic microstructures. Further ongoing developments include an equivalent formulation for directional solidification conditions and the implementation of the model in three dimensions, which is critical for quantitative comparison to experimental measurements.


title: Vector of Locally-Aggregated Word Embeddings (VLAWE): A Novel Document-level Representation

abstract: In this paper, we propose a novel representation for text documents based on aggregating word embedding vectors into document embeddings. Our approach is inspired by the Vector of Locally-Aggregated Descriptors used for image representation, and it works as follows. First, the word embeddings gathered from a collection of documents are clustered by k-means in order to learn a codebook of semnatically-related word embeddings. Each word embedding is then associated to its nearest cluster centroid (codeword). The Vector of Locally-Aggregated Word Embeddings (VLAWE) representation of a document is then computed by accumulating the differences between each codeword vector and each word vector (from the document) associated to the respective codeword. We plug the VLAWE representation, which is learned in an unsupervised manner, into a classifier and show that it is useful for a diverse set of text classification tasks. We compare our approach with a broad range of recent state-of-the-art methods, demonstrating the effectiveness of our approach. Furthermore, we obtain a considerable improvement on the Movie Review data set, reporting an accuracy of 93.3%, which represents an absolute gain of 10% over the state-of-the-art approach. Our code is available at https://github.com/raduionescu/vlawe-boswe/.


title: A young multipolar planetary nebula in the making: IRAS 21282+5050

abstract: We present high-angular-resolution {\it Hubble Space Telescope (HST)} optical and near-infrared imaging of the compact planetary nebula (PN) IRAS 21282+5050. Optical images of this object reveal several complex morphological structures including three pairs of bipolar lobes and an elliptical shell lying close to the plane of the sky. From near-infrared observations, we found a dust torus oriented nearly perpendicular to the major axis of elliptical shell. The results suggest that IRAS 21282+5050 is a multipolar PN, and these structures developed early during the post asymptotic-giant-branch (AGB) evolution. From a three-dimensional (3-D) model, we derived the physical dimensions of these apparent structures. When the 3-D model is viewed from different orientations, IRAS 21282+5050 shows similar apparent structures as other multipolar PNs. Analysis of the spectral energy distribution and optical spectroscopic observations of the nebula suggests the presence of a cool companion to the hot central star responsible for the ionization of the nebula. Whether the binary nature of the central star has any relations with the multipolar structure of the nebula needs to be further investigated.


title: Evidence Sentence Extraction for Machine Reading Comprehension

abstract: Remarkable success has been achieved in the last few years on some limited machine reading comprehension (MRC) tasks. However, it is still difficult to interpret the predictions of existing MRC models. In this paper, we focus on extracting evidence sentences that can explain or support the answers of multiple-choice MRC tasks, where the majority of answer options cannot be directly extracted from reference documents. Due to the lack of ground truth evidence sentence labels in most cases, we apply distant supervision to generate imperfect labels and then use them to train an evidence sentence extractor. To denoise the noisy labels, we apply a recently proposed deep probabilistic logic learning framework to incorporate both sentence-level and cross-sentence linguistic indicators for indirect supervision. We feed the extracted evidence sentences into existing MRC models and evaluate the end-to-end performance on three challenging multiple-choice MRC datasets: MultiRC, RACE, and DREAM, achieving comparable or better performance than the same models that take as input the full reference document. To the best of our knowledge, this is the first work extracting evidence sentences for multiple-choice MRC.


title: A Characterization For Entangled Vectors

abstract: This article presents a simple characterization for entangled vectors in a finite dimensional Hilbert space $H$. The characterization is in terms of the coefficients of an expansion of the vector relative to an orthonormal basis for $H$. This simple necessary and sufficient condition contains a restriction and we also present a more complicated condition that is completely general. Although these characterizations apply to bipartite systems, we show that generalizations to multipartite systems are also valid.


title: Augmented Harmonic Linear Discriminant Analysis

abstract: Many processes of scientific and technological interest are characterized by time scales that render their simulation impossible if one uses present day simulation capabilities. To overcome this challenge a variety of enhanced simulation methods has been developed. A much-used class of methods relies on the use of collective variables. The efficiency of these methods relies critically on an educated guess of the collective variables. For this reason much effort has been devoted to the construction and improvement of collective variables. Among the many methods proposed, harmonic linear discriminant analysis has proven effective. This method builds the collective coordinates solely from the knowledge of the fluctuations in the different metastable state. In this Letter we propose to improve upon the harmonic linear discriminant analysis by adding to the construction of the collective coordinates an extra bit of information, namely that of the transition state ensemble. Configurations belonging to the transition state ensemble are harnessed by the use of the spring shooting transition path sampling algorithm. We show on a challenging example that these coordinates thus augmented not only perform better in the calculation of the static properties, but also accelerate considerably the calculation of reaction rates.

categories: cond-mat.stat-mech physics.bio-ph physics.chem-ph physics.comp-ph


title: A health concern regarding the protein corona, aggregation and disaggregation

abstract: Nanoparticle (NP)-protein complexes exhibit the correct identity of NP in biological media. Therefore, protein-NP interactions should be closely explored to understand and to modulate the nature of NPs in medical implementations. This review focuses mainly on the physicochemical parameters such as dimension, surface chemistry, the morphology of NPs and influence of medium pH on the formation of protein corona and conformational changes of adsorbed proteins by different kinds of methods. Also, the impact of protein corona on the colloidal stability of NPs is discussed. Uncontrolled protein attachment on NPs may bring unwanted impacts such as protein denaturation and aggregation. In contrast, controlled protein adsorption by optimal concentration, size, pH and surface modification of NPs may result in potential implementation of NPs as therapeutic agents especially for disaggregation of amyloid fibrils. Also, the effect of NPs-protein corona on reducing the cytotoxicity and clinical implications such as drug delivery, cancer therapy, imaging and diagnosis will be discussed. Validated correlative physicochemical parameters for NP-protein corona formation frequently derived from protein corona fingerprints of NPs which are more valid than the parameters obtained only on the base of NP features. This review may provide useful information regarding the potency as well as the adverse effects of NPs to predict their behavior in the in vivo experiments.


title: ABI Neural Ensemble Model for Gender Prediction Adapt Bar-Ilan Submission for the CLIN29 Shared Task on Gender Prediction

abstract: We present our system for the CLIN29 shared task on cross-genre gender detection for Dutch. We experimented with a multitude of neural models (CNN, RNN, LSTM, etc.), more "traditional" models (SVM, RF, LogReg, etc.), different feature sets as well as data pre-processing. The final results suggested that using tokenized, non-lowercased data works best for most of the neural models, while a combination of word clusters, character trigrams and word lists showed to be most beneficial for the majority of the more "traditional" (that is, non-neural) models, beating features used in previous tasks such as n-grams, character n-grams, part-of-speech tags and combinations thereof. In contradiction with the results described in previous comparable shared tasks, our neural models performed better than our best traditional approaches with our best feature set-up. Our final model consisted of a weighted ensemble model combining the top 25 models. Our final model won both the in-domain gender prediction task and the cross-genre challenge, achieving an average accuracy of 64.93% on the in-domain gender prediction task, and 56.26% on cross-genre gender prediction.


title: Unstable Motivic Homotopy Theory

abstract: We give an introduction to unstable motivic homotopy theory of Morel and Voevodsky, and survey some results.


title: Rethinking Action Spaces for Reinforcement Learning in End-to-end Dialog Agents with Latent Variable Models

abstract: Defining action spaces for conversational agents and optimizing their decision-making process with reinforcement learning is an enduring challenge. Common practice has been to use handcrafted dialog acts, or the output vocabulary, e.g. in neural encoder decoders, as the action spaces. Both have their own limitations. This paper proposes a novel latent action framework that treats the action spaces of an end-to-end dialog agent as latent variables and develops unsupervised methods in order to induce its own action space from the data. Comprehensive experiments are conducted examining both continuous and discrete action types and two different optimization methods based on stochastic variational inference. Results show that the proposed latent actions achieve superior empirical performance improvement over previous word-level policy gradient methods on both DealOrNoDeal and MultiWoz dialogs. Our detailed analysis also provides insights about various latent variable approaches for policy learning and can serve as a foundation for developing better latent actions in future research.


title: Fast stimulated Raman imaging for intraoperative gastro-intestinal cancer detection

abstract: Conventional haematoxylin, eosin and saffron (HES) histopathology, currently the gold-standard for pathological diagnosis of cancer, requires extensive sample preparations that are achieved within time scales that are not compatible with intra-operative situations where quick decisions must be taken. Providing to pathologists a close to real-time technology revealing tissue structures at the cellular level with HES histologic quality would provide an invaluable tool for surgery guidance with evident clinical benefit. Here, we specifically develop a stimulated Raman imaging based framework that demonstrates gastro-intestinal (GI) cancer detection of unprocessed human surgical specimens. The generated stimulated Raman histology (SRH) images combine chemical and collagen information to mimic conventional HES histopathology staining. We report excellent agreements between SRH and HES images acquire on the same patients for healthy, pre-cancerous and cancerous colon and pancreas tissue sections. We also develop a novel fast SRH imaging modality that captures at the pixel level all the information necessary to provide instantaneous SRH images. These developments pave the way for instantaneous label free GI histology in an intra-operative context.


title: A MegaCam Survey of Outer Halo Satellites. VII. A Single S\'ersic Index v/s Effective Radius Relation for Milky Way Outer Halo Satellites

abstract: In this work we use structural properties of Milky Way's outer halo ($R_G > 25\,\mathrm{kpc}$) satellites (dwarf spheroidal galaxies, ultra-faint dwarf galaxies and globular clusters) derived from deep, wide-field and homogeneous data, to present evidence of a correlation in the S\'ersic index v/s effective radius plane followed by a large fraction of outer halo globular clusters and satellite dwarf galaxies. We show that this correlation can be entirely reproduced by fitting empirical relations in the central surface brightness v/s absolute magnitude and S\'ersic index v/s absolute magnitude parameter spaces, and by assuming the existence of two types of outer halo globular clusters: one of high surface brightness (HSB group), with properties similar to inner halo clusters; and another of low surface brightness (LSB group), which share characteristics with dwarf spheroidal and ultra-faint dwarf galaxies. Given the similarities of LSB clusters with dwarf spheroidal and ultra-faint dwarf galaxies, we discuss the possibility that outer halo clusters also originated inside dark matter halos and that tidal forces from different galaxy host's potentials are responsible for the different properties between HSB and LSB clusters.


title: New bounds for nonconvex quadratically constrained quadratic programming

abstract: In this paper, we study some bounds for nonconvex quadratically constrained quadratic programs. We propose two types of bounds for quadratically constrained quadratic programs, quadratic and cubic bounds. For quadratic bounds, we use affine functions as Lagrange multipliers. We demonstrate that most semi-definite relaxations can be obtained as the dual of a quadratic bound. In addition, we study bounds obtained by changing the ground set. For cubic bounds, in addition to affine multipliers we employ quadratic functions. We provide a comparison between the proposed cubic bound and typical bounds for standard quadratic programs. Moreover, we report comparison results of a quadratic and a cubic bound for some non-convex quadratically constrained quadratic programs.


title: $\Lambda p$ Elastic Scattering in the CLAS Detector

abstract: The elastic scattering process $\Lambda p\to\Lambda p$ offers insights on multiple problems in nuclear physics. $\mathrm{SU}(3)_F$ symmetry implies a close agreement between the $\Lambda p$ and $pp$ scattering cross sections. The $\Lambda p$ elastic scattering cross section can also illuminate the structure of neutron stars. A data-mining project was started using multiple CLAS data sets taken for other purposes with photon beams on a long liquid hydrogen target. A $\Lambda$ produced in a process such as $\gamma p\to K^+\Lambda$ can interact with a second proton inside the target before either decaying or leaving the target. The good angular acceptance and momentum resolution of CLAS make it well-suited for this type of analysis, even though it was not designed for such a measurement. The scattered $\Lambda$ can be identified from the $\pi^-p$ invariant mass. The four-vector of the initial $\Lambda$ is then reconstructed in the process $Xp\to\Lambda p$, which shows a strong peak at the $\Lambda$ mass with roughly twice the number of events as the existing world data sample. This observation opens up the possibility of other measurements using secondary beams of short-lived particles. This paper will discuss the current status of the analysis, and our plans for future work on this project.


title: On a discrete scheme for time fractional fully nonlinear evolution equations

abstract: We introduce a discrete scheme for second order fully nonlinear parabolic PDEs with Caputo's time fractional derivatives. We prove the convergence of the scheme in the framework of the theory of viscosity solutions. The discrete scheme can be viewed as a resolvent-type approximation.


title: Charge nonconservation of molecular devices in the presence of a nonlocal potential

abstract: In the presence of a nonlocal potential in molecular device systems, generally the charge conservation cannot be satisfied, and in literatures the modifications of the conventional definition of current were given to solve this problem. We demonstrate that, however, the nonconservation is not due to the invalidation of the conventional definition of current, but originates respectively from the improper approximations to electron-electron interactions and the inappropriate definition of current using pseudo wave functions in pseudopotential implementations. In this work, we propose a nonlocal-potential formulation of the interactions to fulfill the charge conservation and also give a discussion about the calculation of current when the pseudopotential is involved. As an example of application of our formulation, we further present the calculated results of a double-barrier model.


title: Competitive B2 and B33 Nucleation during Solidification of Ni50Zr50 Alloy: Molecular Dynamics Simulation and Classical Nucleation Theory

abstract: We investigated the homogenous nucleation of the stoichiometric B2 and B33 phases in the Ni50Zr50 alloy using the persistent embryo method and the classical nucleation theory. The two phases become very close competitors at large supercoolings, which is consistent with the experimental observations. In the case of the B2 phase, the linear temperature dependence of the solid-liquid interface (SLI) free energy extrapolated to the melting temperature leads to the same value as the one obtained from the capillarity fluctuation method (CFM). In the case of the B33 phases, the SLI free energy is also a linear function of temperature at large supercoolings but the extrapolation to the melting temperature leads to a value which is considerably different from the CFM value. This is consistent with the large anisotropy of the SLI properties of the B33 phase nearby the melting temperature observed in the simulation of the nominally flat interface migration.


title: Mathematical representation of the WECC composite load model

abstract: The Western Electricity Coordinating Council (WECC) composite load model is a newly developed load model that has drawn great interest from the industry. To analyze its dynamic characteristics with both mathematical and engineering rigor, a detailed mathematical model is needed. Although WECC composite load model is available in commercial software as a module and its detailed block diagrams can be found in several public reports, there is no complete mathematical representation of the full model in literature. This paper addresses a challenging problem of deriving detailed mathematical representation of WECC composite load model from its block diagrams. In particular, for the first time, we have derived the mathematical representation of the new DER_A model. The developed mathematical model is verified using both Matlab and PSS/E to show its effectiveness in representing WECC composite load model. The derived mathematical representation serves as an important foundation for parameter identification, order reduction and other dynamic analysis.


title: Magnetic Nanoparticle Relaxation Dynamics-based Magnetic Particle Spectroscopy (MPS) for Rapid and Wash-free Molecular Sensing

abstract: Magnetic nanoparticles (MNPs) have been extensively used as contrasts and tracers for bioimaging, heating sources for tumor therapy, carriers for controlled drug delivery, and labels for magnetic immunoassays. Here, we describe a MNP relaxation dynamics-based magnetic particle spectroscopy (MPS) method for the quantitative detection of molecular biomarkers. In MPS measurements, the harmonics of oscillating MNPs are recorded and used as a metric for the freedom of rotational motion, which indicates the bound states of the MNPs. These harmonics can be collected from microgram quantities of iron oxide nanoparticles within 10 seconds. Using a streptavidin-biotin binding system, we demonstrate the feasibility of using MPS to sense these molecular interactions, showing this method is able to achieve rapid, wash-free bioassays, and is suitable for future point-of-care (POC), sensitive, and versatile diagnosis.


title: A non-intrusive reduced basis EKI for time-fractional diffusion inverse problems

abstract: In this study, we consider an ensemble Kalman inversion (EKI) for the numerical solution of time-fractional diffusion inverse problems (TFDIPs). Computational challenges in the EKI arise from the need for repeated evaluations of the forward model. We address this challenge by introducing a non-intrusive reduced basis (RB) method for constructing surrogate models to reduce computational cost. In this method, a reduced basis is extracted from a set of full-order snapshots by the proper orthogonal decomposition (POD), and a doubly stochastic radial basis function (DSRBF) is used to learn the projection coefficients. The DSRBF is carried out in the offline stage with a stochastic leave-one-out cross-validation algorithm to select the shape parameter, and the outputs for new parameter values can be obtained rapidly during the online stage. Due to the complete decoupling of the offline and online stages, the proposed non-intrusive RB method -- referred to as POD-DSRBF -- provides a powerful tool to accelerate the EKI approach for TFDIPs. We demonstrate the practical performance of the proposed strategies through two nonlinear time-fractional diffusion inverse problems. The numerical results indicate that the new algorithm can achieve significant computational gains without sacrificing accuracy.


title: Statistical Method to Model the Quality Inconsistencies of the Welding Process

abstract: Resistance Spot Welding (RSW) is an important manufacturing process that attracts increasing attention in automotive industry. However, due to the complexity of the manufacturing process, the corresponding product quality shows significant inconsistencies even under the same process setup. This paper develops a statistical method to capture the inconsistence of welding quality measurements (e.g., nugget width) based on process parameters to efficiently monitor product quality. The proposed method provides engineering efficiency and cost saving benefit through reduction of physical testing required for weldability and verification. The developed method is applied to the real-world welding process.


title: A Cluster Controller for Transition Matrix Calculations

abstract: We demonstrate that a temperature schedule for single-spin flip transition matrix calculations can be simply and rapidly generated by monitoring the average size of the Wolff clusters at a set of discrete temperatures. Optimizing this schedule yields a potentially interesting quantity related to the fractal structure of Ising clusters. We also introduce a technique in which the transition matrix is constructed at a sequence of discrete temperatures at which Wolff cluster reversals are alternated with certain series of single-spin flip steps. The single spin-flip transitions are then employed to construct a single transition matrix.


title: Active wetting of epithelial tissues

abstract: Development, regeneration and cancer involve drastic transitions in tissue morphology. In analogy with the behavior of inert fluids, some of these transitions have been interpreted as wetting transitions. The validity and scope of this analogy are unclear, however, because the active cellular forces that drive tissue wetting have been neither measured nor theoretically accounted for. Here we show that the transition between 2D epithelial monolayers and 3D spheroidal aggregates can be understood as an active wetting transition whose physics differs fundamentally from that of passive wetting phenomena. By combining an active polar fluid model with measurements of physical forces as a function of tissue size, contractility, cell-cell and cell-substrate adhesion, and substrate stiffness, we show that the wetting transition results from the competition between traction forces and contractile intercellular stresses. This competition defines a new intrinsic lengthscale that gives rise to a critical size for the wetting transition in tissues, a striking feature that has no counterpart in classical wetting. Finally, we show that active shape fluctuations are dynamically amplified during tissue dewetting. Overall, we conclude that tissue spreading constitutes a prominent example of active wetting --- a novel physical scenario that may explain morphological transitions during tissue morphogenesis and tumor progression.


title: Detailed Electronic Structure of the Three-Dimensional Fermi Surface and its Sensitivity to Charge Density Wave Transition in ZrTe3 Revealed by High Resolution Laser-Based Angle-Resolved Photoemission Spectroscopy

abstract: The detailed information of the electronic structure is the key for understanding the nature of charge density wave (CDW) order and its relationship with superconducting order in microscopic level. In this paper, we present high resolution laser-based angle-resolved photoemission spectroscopy (ARPES) study on the three-dimensional (3D) hole-like Fermi surface around the Brillouin zone center in a prototypical qusi-one-dimensional CDW and superconducting system ZrTe3. Double Fermi surface sheets are clearly resolved for the 3D hole-like Fermi surface around the zone center. The 3D Fermi surface shows a pronounced shrinking with increasing temperature. In particular, the quasiparticle scattering rate along the 3D Fermi surface experiences an anomaly near the charge density wave transition temperature of ZrTe3 (~63 K). Signature of electron-phonon coupling is observed with a dispersion kink at ~20 meV; the strength of the electron-phonon coupling around the 3D Fermi surface is rather weak. These results indicate that the 3D Fermi surface is also closely connected to the charge-density-wave transition and suggest a more global impact on the entire electronic structure induced by CDW phase transition in ZrTe3.


title: Polarization Plateaus in Hexagonal Water Ice $I_h$

abstract: The protons in water ice are subject to so called \emph{ice rules} resulting in an extensive ground state degeneracy. We study how an external electric field reduces this ground state degeneracy in hexagonal water ice I$_h$ within a minimal model. We observe polarization plateaus when the field is aligned along the $[001]$ and $[010]$ directions. In each case, one plateau occurs at intermediate polarization with reduced but still extensive degeneracy. The remaining ground states can be mapped to dimer models on the honeycomb and the square lattice, respectively. Upon tilting the external field, we observe an order-disorder transition of Kasteleyn type into a plateau at saturated polarization and vanishing entropy. This transition is investigated analytically using the Kasteleyn matrix and numerically using a modified directed-loop Monte Carlo simulation. The protons in both cases exhibit algebraically decaying correlations. Moreover, the features of the static structure factor are discussed.


title: Evaluating Differentially Private Machine Learning in Practice

abstract: Differential privacy is a strong notion for privacy that can be used to prove formal guarantees, in terms of a privacy budget, $\epsilon$, about how much information is leaked by a mechanism. However, implementations of privacy-preserving machine learning often select large values of $\epsilon$ in order to get acceptable utility of the model, with little understanding of the impact of such choices on meaningful privacy. Moreover, in scenarios where iterative learning procedures are used, differential privacy variants that offer tighter analyses are used which appear to reduce the needed privacy budget but present poorly understood trade-offs between privacy and utility. In this paper, we quantify the impact of these choices on privacy in experiments with logistic regression and neural network models. Our main finding is that there is a huge gap between the upper bounds on privacy loss that can be guaranteed, even with advanced mechanisms, and the effective privacy loss that can be measured using current inference attacks. Current mechanisms for differentially private machine learning rarely offer acceptable utility-privacy trade-offs with guarantees for complex learning tasks: settings that provide limited accuracy loss provide meaningless privacy guarantees, and settings that provide strong privacy guarantees result in useless models. Code for the experiments can be found here: https://github.com/bargavj/EvaluatingDPML


title: Sharp endpoint estimates for Schr\"odinger groups on Hardy spaces

abstract: Let $L$ be a non-negative self-adjoint operator acting on $L^2(X)$ where $X$ is a space of homogeneous type with a dimension $n$. Suppose that the heat kernel of $L$ satisfies the Davies-Gaffney estimates of order $m\geq 2$. Let $H^1_L(X)$ be the Hardy space associated with $L.$ In this paper we show sharp endpoint estimate for the Schr\"odinger group $e^{itL}$ associated with $L$ such that \begin{eqnarray*} \left\| (I+L)^{-{n/2}}e^{itL} f\right\|_{ L^1(X)} + \left\| (I+L)^{-{n/2}}e^{itL} f\right\|_{ H^1_L(X)} \leq C(1+|t|)^{n/2}\|f\|_{H^1_L(X)}, \ \ \ t\in{\mathbb R} \end{eqnarray*} for some constant $C=C(n, m)>0$ independent of $t$. By a duality and interpolation argument, it gives a new proof of a recent result of \cite{CDLY} for { sharp} endpoint $L^p$-Sobolev bound for $e^{itL}$: $$ \left\| (I+L)^{-s }e^{itL} f\right\|_{ L^p(X)} \leq C (1+|t|)^{s} \|f\|_{ L^p(X)}, \ \ \ t\in{\mathbb R}, \ \ \ s\geq n\big|{1\over 2}-{1\over p}\big| $$ for every $1<p<\infty$ when the heat kernel of $L$ satisfies a Gaussian upper bound, which extends the classical results due to Miyachi ) for the Laplacian on the Euclidean space ${\mathbb R}^n$.


title: Random graphs induced by Catalan pairs

abstract: We consider Catalan-pair graphs, a family of graphs that can be viewed as representing certain interactions between pairs of objects which are enumerated by the Catalan numbers. In this paper we study random Catalan-pair graphs and deduce various properties of these random graphs. In particular, we asymptotically determine the expected number of edges and isolated vertices, and more generally we determine the expected number of (induced) subgraphs isomorphic to a given connected graph.


title: Fitting stochastic epidemic models to gene genealogies using linear noise approximation

abstract: Phylodynamics is a set of population genetics tools that aim at reconstructing demographic history of a population based on molecular sequences of individuals sampled from the population of interest. One important task in phylodynamics is to estimate changes in (effective) population size. When applied to infectious disease sequences such estimation of population size trajectories can provide information about changes in the number of infections. To model changes in the number of infected individuals, current phylodynamic methods use non-parametric approaches, parametric approaches, and stochastic modeling in conjunction with likelihood-free Bayesian methods. The first class of methods yields results that are hard-to-interpret epidemiologically. The second class of methods provides estimates of important epidemiological parameters, such as infection and removal/recovery rates, but ignores variation in the dynamics of infectious disease spread. The third class of methods is the most advantageous statistically, but relies on computationally intensive particle filtering techniques that limits its applications. We propose a Bayesian model that combines phylodynamic inference and stochastic epidemic models, and achieves computational tractability by using a linear noise approximation (LNA) --- a technique that allows us to approximate probability densities of stochastic epidemic model trajectories. LNA opens the door for using modern Markov chain Monte Carlo tools to approximate the joint posterior distribution of the disease transmission parameters and of high dimensional vectors describing unobserved changes in the stochastic epidemic model compartment sizes (e.g., numbers of infectious and susceptible individuals). We apply our estimation technique to Ebola genealogies estimated using viral genetic data from the 2014 epidemic in Sierra Leone and Liberia.


title: Technical Note for "A Geodesic Approach for the Control of Tethered Quadrotors"

abstract: This technical note focuses on the control of a quadrotor unmanned aerial vehicle (UAV) tethered to the ground. The control objective is to stabilize the UAV to the desired position while ensuring that the cable remains taut at all times. A cascade control scheme is proposed. The inner loop controls the attitude of the UAV. The outer loop gives the attitude reference to the inner loop, and is designed so that (i) the gravity force is compensated, (ii) the cable is taut at all times, and (iii) the trajectory of the UAV follows the geodesic path. To prove asymptotic stability, small gain arguments are used. The control scheme is augmented with a reference governor to enforce constraints.


title: A Microservice Architecture for Online Mobile App Optimization

abstract: A large number of techniques for analyzing and optimizing mobile apps have emerged in the past decade. However, those techniques' components are notoriously difficult to extract and reuse outside their original tools. This paper introduces MAOMAO, a microservice-based reference architecture for reusing and integrating such components. MAOMAO's twin goals are (1) adoption of available app optimization techniques in practice and (2) improved construction and evaluation of new techniques. The paper uses several existing app optimization techniques to illustrate both the motivation behind MAOMAO and its potential to fundamentally alter the landscape in this area.


title: Order-disorder transition in the prototypical antiferroelectric PbZrO$_3$

abstract: The prototypical antiferroelectric PbZrO$_3$ has several unsettled questions, such as the nature of the antiferroelectric transition, possible intermediate phase and the microscopic origin of the Pbam ground state. Using first principles, we show that no phonon becomes truly soft at the cubic-to-Pbam transition temperature, and the order-disorder character of this transition is clearly demonstrated based on molecular dynamics simulations and potential energy surfaces. The out-of-phase octahedral tilting is an important degree of freedom, which can collaborate with other phonon distortions and form a complex energy landscape with multiple minima. Candidates of the possible intermediate phase are suggested based on the calculated kinetic barriers between energy minima, and the development of a first-principles-based effective Hamiltonian. The use of this latter scheme further reveals that specific bi-linear interactions between local dipoles and octahedral tiltings play a major role in the formation of the Pbam ground state, which contrasts with most of the previous explanations.


title: The operad that corepresents enrichment

abstract: I show that the theories of enrichment in a monoidal infinity-category defined by Hinich and by Gepner-Haugseng agree, and that the identification is unique. Among other things, this makes the Yoneda lemma available in the former model.


title: Aggregating E-commerce Search Results from Heterogeneous Sources via Hierarchical Reinforcement Learning

abstract: In this paper, we investigate the task of aggregating search results from heterogeneous sources in an E-commerce environment. First, unlike traditional aggregated web search that merely presents multi-sourced results in the first page, this new task may present aggregated results in all pages and has to dynamically decide which source should be presented in the current page. Second, as pointed out by many existing studies, it is not trivial to rank items from heterogeneous sources because the relevance scores from different source systems are not directly comparable. To address these two issues, we decompose the task into two subtasks in a hierarchical structure: a high-level task for source selection where we model the sequential patterns of user behaviors onto aggregated results in different pages so as to understand user intents and select the relevant sources properly; and a low-level task for item presentation where we formulate a slot filling process to sequentially present the items instead of giving each item a relevance score when deciding the presentation order of heterogeneous items. Since both subtasks can be naturally formulated as sequential decision problems and learn from the future user feedback on search results, we build our model with hierarchical reinforcement learning. Extensive experiments demonstrate that our model obtains remarkable improvements in search performance metrics, and achieves a higher user satisfaction.


title: Linker-mediated phase behavior of DNA-coated colloids

abstract: The possibility of prescribing local interactions between nano- and microscopic components that direct them to assemble in a predictable fashion is a central goal of nanotechnology research. In this article we advance a new paradigm in which self-assembly of DNA-functionalized colloidal particles is programmed using linker oligonucleotides dispersed in solution. We find a phase diagram that is surprisingly rich compared to phase diagrams typical of other DNA-functionalized colloidal particles that interact by direct hybridization, including a re-entrant melting transition upon increasing linker concentration, and show that multiple linker species can be combined together to prescribe many interactions simultaneously. A new theory predicts the observed phase behavior quantitatively without any fitting parameters. Taken together, these experiments and model lay the groundwork for future research in programmable self-assembly, enabling the possibility of programming the hundreds of specific interactions needed to assemble fully-addressable, mesoscopic structures, while also expanding our fundamental understanding of the unique phase behavior possible in colloidal suspensions.


title: Mean field theory of short range order in strongly correlated low dimensional electronic systems

abstract: Mean field approach, although a generally reliable tool that captures major short range correlations, often fails in symmetric low dimensional strongly correlated electronic systems like those described by the Hubbard model. In these situations a symmetry is \almost broken". The problem is linked to the restoration of the symmetry due to strong uctuations (both quantum and thermal) on all scales. The restoration of symmetry in statistical models of scalar \order parameter" fields was treated recently successfully on the gaussian approximation level by symmetrization of the correlators. Here the idea is extended to fermionic systems in which the order parameter is composite. Furthermore the precision of the correlators can be improved perturbatively. Such a scheme (based on covariant gaussian approximation) is demonstrated on the 1D and 2D one band Hubbard models by comparison of the correlator with exact diagonalization and MC simulations respectively.


title: De-Biasing The Lasso With Degrees-of-Freedom Adjustment

abstract: This paper studies schemes to de-bias the Lasso in a linear model $y=X\beta+\epsilon$ where the goal is to construct confidence intervals for $a_0^T\beta$ in a direction $a_0$, where $X$ has iid $N(0,\Sigma)$ rows. We show that previously analyzed propositions to de-bias the Lasso require a modification in order to enjoy efficiency in a full range of sparsity. This modification takes the form of a degrees-of-freedom adjustment that accounts for the dimension of the model selected by Lasso. Let $s_0$ be the true sparsity. If $\Sigma$ is known and the ideal score vector proportional to $X\Sigma^{-1}a_0$ is used, the unadjusted de-biasing schemes proposed previously enjoy efficiency if $s_0\lll n^{2/3}$. However, if $s_0\ggg n^{2/3}$, the unadjusted schemes cannot be efficient in certain $a_0$: then it is necessary to modify existing procedures by a degrees-of-freedom adjustment. This modification grants asymptotic efficiency for any $a_0$ when $s_0/p\to 0$ and $s_0\log(p/s_0)/n \to 0$. If $\Sigma$ is unknown, efficiency is granted for general $a_0$ when $$\frac{s_0\log p}{n}+\min\Big\{\frac{s_\Omega\log p}{n},\frac{\|\Sigma^{-1}a_0\|_1\sqrt{\log p}}{\|\Sigma^{-1/2}a_0\|_2 \sqrt n}\Big\}+\frac{\min(s_\Omega,s_0)\log p}{\sqrt n}\to0$$ where $s_\Omega=\|\Sigma^{-1}a_0\|_0$, provided that the de-biased estimate is modified with the degrees-of-freedom adjustment. The dependence in $s_0,s_\Omega$ and $\|\Sigma^{-1}a_0\|_1$ is optimal. Our estimated score vector provides a novel methodology to handle dense $a_0$. Our analysis shows that the degrees-of-freedom adjustment is not needed when the initial bias in direction $a_0$ is small, which is granted under stringent conditions on $\Sigma^{-1}$. The main proof argument is an interpolation path similar to that typically used to derive Slepian's lemma. It yields a new $\ell_\infty$ error bound for the Lasso which is of independent interest.


title: Risk Aversion to Parameter Uncertainty in Markov Decision Processes with an Application to Slow-Onset Disaster Relief

abstract: In classical Markov Decision Processes (MDPs), action costs and transition probabilities are assumed to be known, although an accurate estimation of these parameters is often not possible in practice. This study addresses MDPs under cost and transition probability uncertainty and aims to provide a mathematical framework to obtain policies minimizing the risk of high long-term losses due to not knowing the true system parameters. To this end, we utilize the risk measure value-at-risk associated with the expected performance of an MDP model with respect to parameter uncertainty. We provide mixed-integer linear and nonlinear programming formulations and heuristic algorithms for such risk-averse models of MDPs under a finite distribution of the uncertain parameters. Our proposed models and solution methods are illustrated on an inventory management problem for humanitarian relief operations during a slow-onset disaster. The results demonstrate the potential of our risk-averse modeling approach for reducing the risk of highly undesirable outcomes in uncertain/risky environments.


title: On the failure of the first \v{C}ech homotopy group to register geometrically relevant fundamental group elements

abstract: We construct a space $\mathbb{P}$ for which the canonical homomorphism $\pi_1(\mathbb{P},p) \rightarrow \check{\pi}_1(\mathbb{P},p)$ from the fundamental group to the first \v{C}ech homotopy group is not injective, although it has all of the following properties: (1) $\mathbb{P}\setminus\{p\}$ is a 2-manifold with connected non-compact boundary; (2) $\mathbb{P}$ is connected and locally path connected; (3) $\mathbb{P}$ is strongly homotopically Hausdorff; (4) $\mathbb{P}$ is homotopically path Hausdorff; (5) $\mathbb{P}$ is 1-UV$_0$; (6) $\mathbb{P}$ admits a simply connected generalized covering space with monodromies between fibers that have discrete graphs; (7) $\pi_1(\mathbb{P},p)$ naturally injects into the inverse limit of finitely generated free monoids otherwise associated with the Hawaiian Earring; (8) $\pi_1(\mathbb{P},p)$ is locally free.


title: Medical Multimodal Classifiers Under Scarce Data Condition

abstract: Data is one of the essential ingredients to power deep learning research. Small datasets, especially specific to medical institutes, bring challenges to deep learning training stage. This work aims to develop a practical deep multimodal that can classify patients into abnormal and normal categories accurately as well as assist radiologists to detect visual and textual anomalies by locating areas of interest. The detection of the anomalies is achieved through a novel technique which extends the integrated gradients methodology with an unsupervised clustering algorithm. This technique also introduces a tuning parameter which trades off true positive signals to denoise false positive signals in the detection process. To overcome the challenges of the small training dataset which only has 3K frontal X-ray images and medical reports in pairs, we have adopted transfer learning for the multimodal which concatenates the layers of image and text submodels. The image submodel was trained on the vast ChestX-ray14 dataset, while the text submodel transferred a pertained word embedding layer from a hospital-specific corpus. Experimental results show that our multimodal improves the accuracy of the classification by 4% and 7% on average of 50 epochs, compared to the individual text and image model, respectively.