title: $F(R)$ Gravity with an Axion-like Particle: Dynamics, Gravity Waves, Late and Early-time Phenomenology

abstract: In this work we investigate several theoretical and phenomenological implications of a scalar -$F(R)$ gravity containing a non-minimal coupling to the scalar curvature. This kind of model is a generalization of axion-$F(R)$ gravity models, so we shall examine several implications of the latter theory. Firstly we study in detail the Einstein frame picture of the model, and also we discuss the dynamics of the cosmological system. By appropriately using the equations of motion, we demonstrate that an arbitrary cosmological evolution can be realized. Also we study the gravitational waves of the theory, and we demonstrate that the speed of their propagation is the same as in $F(R)$ gravity, but there is the possibility of enhancement or dissipation of the gravitational waves, an effect quite similar to the propagation of gravity waves in a viscous fluid. Finally, we examine the energy momentum tensor and we investigate which quantities related to it are conserved. We also present the constraints imposed by the radiation domination era on the non-minimal coupling of the axion scalar field to the scalar curvature.


title: A new weak-field magnetic DA white dwarf in the local 20 pc volume. The frequency of magnetic fields in DA stars

abstract: We report the discovery of a new magnetic DA white dwarf (WD), WD0011-721, which is located within the very important 20pc volume-limited sample of the closest WDs to the Sun. This star has a mean field modulus <|B|> of 343 kG, and from the polarisation signal we deduce a line-of-sight field component of 75 kG. The magnetic field is sufficiently weak to have escaped detection in classification spectra. We then present a preliminary exploration of the data concerning the frequency of such fields among WDs with hydrogen-rich atmospheres (DA stars). We find that 20 +- 5% of the DA WDs in this volume have magnetic fields, mostly weaker than 1 MG. Unlike the slow field decay found among the magnetic Bp stars of the upper main sequence, the WDs in this sample show no evidence of magnetic field or flux changes over several Gyr.


title: Rule Applicability on RDF Triplestore Schemas

abstract: Rule-based systems play a critical role in health and safety, where policies created by experts are usually formalised as rules. When dealing with increasingly large and dynamic sources of data, as in the case of Internet of Things (IoT) applications, it becomes important not only to efficiently apply rules, but also to reason about their applicability on datasets confined by a certain schema. In this paper we define the notion of a triplestore schema which models a set of RDF graphs. Given a set of rules and such a schema as input we propose a method to determine rule applicability and produce output schemas. Output schemas model the graphs that would be obtained by running the rules on the graph models of the input schema. We present two approaches: one based on computing a canonical (critical) instance of the schema, and a novel approach based on query rewriting. We provide theoretical, complexity and evaluation results that show the superior efficiency of our rewriting approach.


title: Diagnosing quantum chaos in many-body systems using entanglement as a resource

abstract: Classical chaotic systems exhibit exponentially diverging trajectories due to small differences in their initial state. The analogous diagnostic in quantum many-body systems is an exponential growth of out-of-time-ordered correlation functions (OTOCs). These quantities can be computed for various models, but their experimental study requires the ability to evolve quantum states backward in time, similar to the canonical Loschmidt echo measurement. In some simple systems, backward time evolution can be achieved by reversing the sign of the Hamiltonian; however in most interacting many-body systems, this is not a viable option. Here we propose a new family of protocols for OTOC measurement that do not require backward time evolution. Instead, they rely on ordinary time-ordered measurements performed in the thermofield double (TFD) state, an entangled state formed between two identical copies of the system. We show that, remarkably, in this situation the Lyapunov chaos exponent $\lambda_L$ can be extracted from the measurement of an ordinary two-point correlation function. As an unexpected bonus, we find that our proposed method yields the so-called "regularized" OTOC -- a quantity that is believed to most directly indicate quantum chaos. According to recent theoretical work, the TFD state can be prepared as the ground state of two weakly coupled identical systems and is therefore amenable to experimental study. We illustrate the utility of these protocols on the example of the maximally chaotic Sachdev-Ye-Kitaev model and support our findings by extensive numerical simulations.


title: An Updated Review of Methods and Advancements in Microvascular Blood Flow Imaging

abstract: There has been a consistent growth in research involving imaging of microvasculature over the past few decades. By 2008, publications mentioning the microcirculation had grown more than 2000 per annum. Many techniques have been demonstrated for measurement of the microcirculation ranging from the earliest invasive techniques to the present high speed, high resolution non-invasive imaging techniques. Understanding the microvasculature is vital in tackling fundamental research questions as well as to understand effects of disease progression on the physiological wellbeing of an individual. We have previously provided a wide ranging review [38] covering most of the available techniques and their applications. In this review, we discuss the recent advances made and applications in the field of microcirculation imaging.

categories: physics.med-ph eess.IV physics.bio-ph physics.ins-det


title: Computing k-Modal Embeddings of Planar Digraphs

abstract: Given a planar digraph $G$ and a positive even integer $k$, an embedding of $G$ in the plane is k-modal, if every vertex of $G$ is incident to at most $k$ pairs of consecutive edges with opposite orientations, i.e., the incoming and the outgoing edges at each vertex are grouped by the embedding into at most k sets of consecutive edges with the same orientation. In this paper, we study the $k$-Modality problem, which asks for the existence of a $k$-modal embedding of a planar digraph. This combinatorial problem is at the very core of a variety of constrained embedding questions for planar digraphs and flat clustered networks.


title: Cache-Friendly Search Trees; or, In Which Everything Beats std::set

abstract: While a lot of work in theoretical computer science has gone into optimizing the runtime and space usage of data structures, such work very often neglects a very important component of modern computers: the cache. In doing so, very often, data structures are developed that achieve theoretically-good runtimes but are slow in practice due to a large number of cache misses. In 1999, Frigo et al. introduced the notion of a cache-oblivious algorithm: an algorithm that uses the cache to its advantage, regardless of the size or structure of said cache. Since then, various authors have designed cache-oblivious algorithms and data structures for problems from matrix multiplication to array sorting. We focus in this work on cache-oblivious search trees; i.e. implementing an ordered dictionary in a cache-friendly manner. We will start by presenting an overview of cache-oblivious data structures, especially cache-oblivious search trees. We then give practical results using these cache-oblivious structures on modern-day machinery, comparing them to the standard std::set and other cache-friendly dictionaries such as B-trees.


title: Generative Models for Automatic Chemical Design

abstract: Materials discovery is decisive for tackling urgent challenges related to energy, the environment, health care and many others. In chemistry, conventional methodologies for innovation usually rely on expensive and incremental strategies to optimize properties from molecular structures. On the other hand, inverse approaches map properties to structures, thus expediting the design of novel useful compounds. In this chapter, we examine the way in which current deep generative models are addressing the inverse chemical discovery paradigm. We begin by revisiting early inverse design algorithms. Then, we introduce generative models for molecular systems and categorize them according to their architecture and molecular representation. Using this classification, we review the evolution and performance of important molecular generation schemes reported in the literature. Finally, we conclude highlighting the prospects and challenges of generative models as cutting edge tools in materials discovery.


title: HSC16aayt: Slowly evolving interacting transient rising for more than 100 days

abstract: We report our observations of HSC16aayt (SN 2016jiu), which was discovered by the Subaru/Hyper Suprime-Cam (HSC) transient survey conducted as part of Subaru Strategic Program (SSP). It shows very slow photometric evolution and its rise time is more than 100 days. The optical magnitude change in 400 days remains within 0.6 mag. Spectra of HSC16aayt show a strong narrow emission line and we classify it as a Type IIn supernova. The redshift of HSC16aayt is 0.6814 +/- 0.0002 from the spectra. Its host galaxy center is at 5 kpc from the supernova location and HSC16aayt might be another example of isolated Type IIn supernovae, although the possible existence of underlying star forming activity of the host galaxy at the supernova location is not excluded.


title: On some P-Q mixed modular equations of degree 5

abstract: In his second notebook, Ramanujan recorded total of 23 P-Q modular equations involving theta-functions $f(-q)$, $\varphi(q)$ and $\psi(q)$. In this paper, modular equations analogous to those recorded by Ramanujan are obtained involving $f(-q)$. As a consequence, values of certain quotients of theta-function are evaluated.


title: Evaluation on asymptotic distribution of particle systems expressed by probabilistic cellular automata

abstract: We propose some conjectures for asymptotic distribution of probabilistic Burgers cellular automaton (PBCA) which is defined by a simple motion rule of particles including a probabilistic parameter. Asymptotic distribution of configurations converges to a unique steady state for PBCA. We assume some conjecture on the distribution and derive the asymptotic probability expressed by GKZ hypergeometric function. If we take a limit of space size to infinity, a relation between density and flux of particles for infinite space size can be evaluated. Moreover, we propose two extended systems of PBCA of which asymptotic behavior can be analyzed as PBCA.


title: Analyses of Multi-collection Corpora via Compound Topic Modeling

abstract: As electronically stored data grow in daily life, obtaining novel and relevant information becomes challenging in text mining. Thus people have sought statistical methods based on term frequency, matrix algebra, or topic modeling for text mining. Popular topic models have centered on one single text collection, which is deficient for comparative text analyses. We consider a setting where one can partition the corpus into subcollections. Each subcollection shares a common set of topics, but there exists relative variation in topic proportions among collections. Including any prior knowledge about the corpus (e.g. organization structure), we propose the compound latent Dirichlet allocation (cLDA) model, improving on previous work, encouraging generalizability, and depending less on user-input parameters. To identify the parameters of interest in cLDA, we study Markov chain Monte Carlo (MCMC) and variational inference approaches extensively, and suggest an efficient MCMC method. We evaluate cLDA qualitatively and quantitatively using both synthetic and real-world corpora. The usability study on some real-world corpora illustrates the superiority of cLDA to explore the underlying topics automatically but also model their connections and variations across multiple collections.


title: Embedding models for recommendation under contextual constraints

abstract: Embedding models, which learn latent representations of users and items based on user-item interaction patterns, are a key component of recommendation systems. In many applications, contextual constraints need to be applied to refine recommendations, e.g. when a user specifies a price range or product category filter. The conventional approach, for both context-aware and standard models, is to retrieve items and apply the constraints as independent operations. The order in which these two steps are executed can induce significant problems. For example, applying constraints a posteriori can result in incomplete recommendations or low-quality results for the tail of the distribution (i.e., less popular items). As a result, the additional information that the constraint brings about user intent may not be accurately captured. In this paper we propose integrating the information provided by the contextual constraint into the similarity computation, by merging constraint application and retrieval into one operation in the embedding space. This technique allows us to generate high-quality recommendations for the specified constraint. Our approach learns constraints representations jointly with the user and item embeddings. We incorporate our methods into a matrix factorization model, and perform an experimental evaluation on one internal and two real-world datasets. Our results show significant improvements in predictive performance compared to context-aware and standard models.


title: An Online Topic Modeling Framework with Topics Automatically Labeled

abstract: In this paper, we propose a novel online topic tracking framework, named IEDL, for tracking the topic changes related to deep learning techniques on Stack Exchange and automatically interpreting each identified topic. The proposed framework combines the prior topic distributions in a time window during inferring the topics in current time slice, and introduces a new ranking scheme to select most representative phrases and sentences for the inferred topics in each time slice. Experiments on 7,076 Stack Exchange posts show the effectiveness of IEDL in tracking topic changes and labeling topics.


title: Query-based Interactive Recommendation by Meta-Path and Adapted Attention-GRU

abstract: Recently, interactive recommender systems are becoming increasingly popular. The insight is that, with the interaction between users and the system, (1) users can actively intervene the recommendation results rather than passively receive them, and (2) the system learns more about users so as to provide better recommendation. We focus on the single-round interaction, i.e. the system asks the user a question (Step 1), and exploits his feedback to generate better recommendation (Step 2). A novel query-based interactive recommender system is proposed in this paper, where \textbf{personalized questions are accurately generated from millions of automatically constructed questions} in Step 1, and \textbf{the recommendation is ensured to be closely-related to users' feedback} in Step 2. We achieve this by transforming Step 1 into a query recommendation task and Step 2 into a retrieval task. The former task is our key challenge. We firstly propose a model based on Meta-Path to efficiently retrieve hundreds of query candidates from the large query pool. Then an adapted Attention-GRU model is developed to effectively rank these candidates for recommendation. Offline and online experiments on Taobao, a large-scale e-commerce platform in China, verify the effectiveness of our interactive system. The system has already gone into production in the homepage of Taobao App since Nov. 11, 2018 (see https://v.qq.com/x/page/s0833tkp1uo.html on how it works online). Our code and dataset are public in https://github.com/zyody/QueryQR.


title: SeER: An Explainable Deep Learning MIDI-based Hybrid Song Recommender System

abstract: State of the art music recommender systems mainly rely on either matrix factorization-based collaborative filtering approaches or deep learning architectures. Deep learning models usually use metadata for content-based filtering or predict the next user interaction by learning from temporal sequences of user actions. Despite advances in deep learning for song recommendation, none has taken advantage of the sequential nature of songs by learning sequence models that are based on content. Aside from the importance of prediction accuracy, other significant aspects are important, such as explainability and solving the cold start problem. In this work, we propose a hybrid deep learning model, called "SeER", that uses collaborative filtering (CF) and deep learning sequence models on the MIDI content of songs for recommendation in order to provide more accurate personalized recommendations; solve the item cold start problem; and generate a relevant explanation for a song recommendation. Our evaluation experiments show promising results compared to state of the art baseline and hybrid song recommender systems in terms of ranking evaluation. Moreover, based on proposed tests for offline validation, we show that our personalized explanations capture properties that are in accordance with the user's preferences.


title: Sensitivity of quantum PageRank

abstract: In this paper, we discuss the sensitivity of quantum PageRank. By using the finite dimensional perturbation theory, we estimate the change of the quantum PageRank under a small analytical perturbation on the Google matrix. In addition, we will show the way to estimate the lower bound of the convergence radius as well as the error bound of the finite sum in the expansion of the perturbed PageRank.


title: Introducing MathQA -- A Math-Aware Question Answering System

abstract: We present an open source math-aware Question Answering System based on Ask Platypus. Our system returns as a single mathematical formula for a natural language question in English or Hindi. This formulae originate from the knowledge-base Wikidata. We translate these formulae to computable data by integrating the calculation engine sympy into our system. This way, users can enter numeric values for the variables occurring in the formula. Moreover, the system loads numeric values for constants occurring in the formula from Wikidata. In a user study, our system outperformed a commercial computational mathematical knowledge engine by 13%. However, the performance of our system heavily depends on the size and quality of the formula data available in Wikidata. Since only a few items in Wikidata contained formulae when we started the project, we facilitated the import process by suggesting formula edits to Wikidata editors. With the simple heuristic that the first formula is significant for the article, 80% of the suggestions were correct.


title: Pentagon at MEDIQA 2019: Multi-task Learning for Filtering and Re-ranking Answers using Language Inference and Question Entailment

abstract: Parallel deep learning architectures like fine-tuned BERT and MT-DNN, have quickly become the state of the art, bypassing previous deep and shallow learning methods by a large margin. More recently, pre-trained models from large related datasets have been able to perform well on many downstream tasks by just fine-tuning on domain-specific datasets . However, using powerful models on non-trivial tasks, such as ranking and large document classification, still remains a challenge due to input size limitations of parallel architecture and extremely small datasets (insufficient for fine-tuning). In this work, we introduce an end-to-end system, trained in a multi-task setting, to filter and re-rank answers in the medical domain. We use task-specific pre-trained models as deep feature extractors. Our model achieves the highest Spearman's Rho and Mean Reciprocal Rank of 0.338 and 0.9622 respectively, on the ACL-BioNLP workshop MediQA Question Answering shared-task.


title: A Neural Attention Model for Adaptive Learning of Social Friends' Preferences

abstract: Social-based recommendation systems exploit the selections of friends to combat the data sparsity on user preferences, and improve the recommendation accuracy of the collaborative filtering strategy. The main challenge is to capture and weigh friends' preferences, as in practice they do necessarily match. In this paper, we propose a Neural Attention mechanism for Social collaborative filtering, namely NAS. We design a neural architecture, to carefully compute the non-linearity in friends' preferences by taking into account the social latent effects of friends on user behavior. In addition, we introduce a social behavioral attention mechanism to adaptively weigh the influence of friends on user preferences and consequently generate accurate recommendations. Our experiments on publicly available datasets demonstrate the effectiveness of the proposed NAS model over other state-of-the-art methods. Furthermore, we study the effect of the proposed social behavioral attention mechanism and show that it is a key factor to our model's performance.


title: Adaptive Deep Learning of Cross-Domain Loss in Collaborative Filtering

abstract: Nowadays, users open multiple accounts on social media platforms and e-commerce sites, expressing their personal preferences on different domains. However, users' behaviors change across domains, depending on the content that users interact with, such as movies, music, clothing and retail products. In this paper, we propose an adaptive deep learning strategy for cross-domain recommendation, referred to as ADC. We design a neural architecture and formulate a cross-domain loss function, to compute the non-linearity in user preferences across domains and transfer the knowledge of users' multiple behaviors, accordingly. In addition, we introduce an efficient algorithm for cross-domain loss balancing which directly tunes gradient magnitudes and adapts the learning rates based on the domains' complexities/scales when training the model via backpropagation. In doing so, ADC controls and adjusts the contribution of each domain when optimizing the model parameters. Our experiments on six publicly available cross-domain recommendation tasks demonstrate the effectiveness of the proposed ADC model over other state-of-the-art methods. Furthermore, we study the effect of the proposed adaptive deep learning strategy and show that ADC can well balance the impact of the domains with different complexities.


title: Towards Low-power Wearable Wireless Sensors for Molecular Biomarker and Physiological Signal Monitoring

abstract: A low-power wearable wireless sensor measuring both molecular biomarkers and physiological signals is proposed, where the former are measured by a microfluidic biosensing system while the latter are measured electrically. The low-power consumption of the sensor is achieved by an all-analog circuit implementing Analog Joint Source-Channel Coding (AJSCC) compression. The sensor is applicable to a wide range of biomedical applications that require real-time concurrent molecular biomarker and physiological signal monitoring.


title: Bandit Learning for Diversified Interactive Recommendation

abstract: Interactive recommender systems that enable the interactions between users and the recommender system have attracted increasing research attentions. Previous methods mainly focus on optimizing recommendation accuracy. However, they usually ignore the diversity of the recommendation results, thus usually results in unsatisfying user experiences. In this paper, we propose a novel diversified recommendation model, named Diversified Contextual Combinatorial Bandit (DC$^2$B), for interactive recommendation with users' implicit feedback. Specifically, DC$^2$B employs determinantal point process in the recommendation procedure to promote diversity of the recommendation results. To learn the model parameters, a Thompson sampling-type algorithm based on variational Bayesian inference is proposed. In addition, theoretical regret analysis is also provided to guarantee the performance of DC$^2$B. Extensive experiments on real datasets are performed to demonstrate the effectiveness of the proposed method.


title: Prediction of topological Hall effect in a driven magnetic domain wall

abstract: We investigate the possible emergence of topological Hall effect (THE) in a driven magnetic DW. Numerical simulation based on the Landau-Lifshitz-Gilbert-Slonczewski (LLGS) equation shows that the emergent magnetic flux appears when the DW is in a non-equilibrium state. The magnitude of magnetic flux is modulated by Dzyaloshinskii-Moriya interaction (DMI) or in-plane longitudinal magnetic field, providing an experimental test of the predicted THE. These results indicate that the THE can be observed even in a topologically trivial magnetic DW, and therefore open up new possibility to electrically detect the dynamical spin structure.


title: Estimation of Absolute States of Human Skeletal Muscle via Standard B-Mode Ultrasound Imaging and Deep Convolutional Neural Networks

abstract: Objective: To test automated in vivo estimation of active and passive skeletal muscle states using ultrasonic imaging. Background: Current technology (electromyography, dynamometry, shear wave imaging) provides no general, non-invasive method for online estimation of skeletal intramuscular states. Ultrasound (US) allows non-invasive imaging of muscle, yet current computational approaches have never achieved simultaneous extraction nor generalisation of independently varying, active and passive states. We use deep learning to investigate the generalizable content of 2D US muscle images. Method: US data synchronized with electromyography of the calf muscles, with measures of joint moment/angle were recorded from 32 healthy participants (7 female, ages: 27.5, 19-65). We extracted a region of interest of medial gastrocnemius and soleus using our prior developed accurate segmentation algorithm. From the segmented images, a deep convolutional neural network was trained to predict three absolute, drift-free, components of the neurobiomechanical state (activity, joint angle, joint moment) during experimentally designed, simultaneous, independent variation of passive (joint angle) and active (electromyography) inputs. Results: For all 32 held-out participants (16-fold cross-validation) the ankle joint angle, electromyography, and joint moment were estimated to accuracy 55+-8%, 57+-11%, and 46+-9% respectively. Significance: With 2D US imaging, deep neural networks can encode in generalizable form, the activity-length-tension state relationship of muscle. Observation only, low power, 2D US imaging can provide a new category of technology for non-invasive estimation of neural output, length and tension in skeletal muscle. This proof of principle has value for personalised muscle diagnosis in pain, injury, neurological conditions, neuropathies, myopathies and ageing.


title: MimosaNet: An Unrobust Neural Network Preventing Model Stealing

abstract: Deep Neural Networks are robust to minor perturbations of the learned network parameters and their minor modifications do not change the overall network response significantly. This allows space for model stealing, where a malevolent attacker can steal an already trained network, modify the weights and claim the new network his own intellectual property. In certain cases this can prevent the free distribution and application of networks in the embedded domain. In this paper, we propose a method for creating an equivalent version of an already trained fully connected deep neural network that can prevent network stealing: namely, it produces the same responses and classification accuracy, but it is extremely sensitive to weight changes.


title: Selecting the independent coordinates of manifolds with large aspect ratios

abstract: Many manifold embedding algorithms fail apparently when the data manifold has a large aspect ratio (such as a long, thin strip). Here, we formulate success and failure in terms of finding a smooth embedding, showing also that the problem is pervasive and more complex than previously recognized. Mathematically, success is possible under very broad conditions, provided that embedding is done by carefully selected eigenfunctions of the Laplace-Beltrami operator $\Delta$. Hence, we propose a bicriterial Independent Eigencoordinate Selection (IES) algorithm that selects smooth embeddings with few eigenvectors. The algorithm is grounded in theory, has low computational overhead, and is successful on synthetic and large real data.


title: RadVR: A 6DOF Virtual Reality Daylighting Analysis Tool

abstract: This work introduces RadVR, a virtual reality tool for daylighting analysis that simultaneously combines qualitative assessments through immersive real-time renderings with quantitative physically correct daylighting simulations in a 6DOF virtual environment. By taking a 3D building model with material properties as input, RadVR allows users to (1) perform physically-based daylighting simulations via Radiance, (2) study sunlight in different hours-of-the-year, (3) interact with a 9-point-in-time matrix for the most representative times of the year, and (4) visualize, compare, and analyze daylighting simulation results. With an end-to-end workflow, RadVR integrates with 3D modeling software that is commonly used by building designers. Additionally, by conducting user experiments we compare the proposed system with DIVA for Rhino, a Radiance-based tool that uses conventional 2D-displays. The results show that RadVR can provide promising assistance in spatial understanding tasks, navigation, and sun position analysis in virtual reality.


title: Enhanced interaction effects in the vicinity of the topological transition

abstract: A metal near the topological transition can be loosely viewed as consisting of two groups of electrons. First group are "bulk" electrons occupying most of the Brillouin zone. Second group are electrons with wave vectors close to the topological transition point. Kinetic energy, $\tilde{E}_F$, of electrons of the first group is much bigger than kinetic energy, $E_F$, of electrons of the second group. With electrons of the second group being slow, the interaction effects are more pronounced for these electrons. We perform a calculation illustrating that electrons of the second group are responsible for inelastic lifetime making it anomalously short, so that the concept of quasiparticles applies to these electrons only marginally. We also demonstrate that interactions renormalize the spectrum of electrons in the vicinity of topological transition, the parameters of renormalized spectrum being strongly dependent on the proximity to the transition. Another many-body effect that evolves dramatically as the Fermi level is swept through the transition is the Friedel oscillations of the electron density created by electrons of the second group around an impurity. These oscillations are strongly anisotropic with a period depending on the direction. Scattering of electrons off these oscillations give rise to a temperature-dependent ballistic correction to the conductivity.


title: Adjustment Criteria for Recovering Causal Effects from Missing Data

abstract: Confounding bias, missing data, and selection bias are three common obstacles to valid causal inference in the data sciences. Covariate adjustment is the most pervasive technique for recovering casual effects from confounding bias. In this paper, we introduce a covariate adjustment formulation for controlling confounding bias in the presence of missing-not-at-random data and develop a necessary and sufficient condition for recovering causal effects using the adjustment. We also introduce an adjustment formulation for controlling both confounding and selection biases in the presence of missing data and develop a necessary and sufficient condition for valid adjustment. Furthermore, we present an algorithm that lists all valid adjustment sets and an algorithm that finds a valid adjustment set containing the minimum number of variables, which are useful for researchers interested in selecting adjustment sets with desired properties.


title: Emerging Reflections from the People of Color (POC) at PERC Discussion Space

abstract: A paper summarizing the discussions that happened during the Physics Education Research (POC in PERC) parallel sessions at the 2017 and 2018 Physics Education Research Conference (PERC).


title: Automated Detection and Type Classification of Central Venous Catheters in Chest X-Rays

abstract: Central venous catheters (CVCs) are commonly used in critical care settings for monitoring body functions and administering medications. They are often described in radiology reports by referring to their presence, identity and placement. In this paper, we address the problem of automatic detection of their presence and identity through automated segmentation using deep learning networks and classification based on their intersection with previously learned shape priors from clinician annotations of CVCs. The results not only outperform existing methods of catheter detection achieving 85.2% accuracy at 91.6% precision, but also enable high precision (95.2%) classification of catheter types on a large dataset of over 10,000 chest X-rays, presenting a robust and practical solution to this problem.


title: Dynamics-Aware Unsupervised Discovery of Skills

abstract: Conventionally, model-based reinforcement learning (MBRL) aims to learn a global model for the dynamics of the environment. A good model can potentially enable planning algorithms to generate a large variety of behaviors and solve diverse tasks. However, learning an accurate model for complex dynamical systems is difficult, and even then, the model might not generalize well outside the distribution of states on which it was trained. In this work, we combine model-based learning with model-free learning of primitives that make model-based planning easy. To that end, we aim to answer the question: how can we discover skills whose outcomes are easy to predict? We propose an unsupervised learning algorithm, Dynamics-Aware Discovery of Skills (DADS), which simultaneously discovers predictable behaviors and learns their dynamics. Our method can leverage continuous skill spaces, theoretically, allowing us to learn infinitely many behaviors even for high-dimensional state-spaces. We demonstrate that zero-shot planning in the learned latent space significantly outperforms standard MBRL and model-free goal-conditioned RL, can handle sparse-reward tasks, and substantially improves over prior hierarchical RL methods for unsupervised skill discovery.


title: Ab Initio Exact Diagonalization Simulation of the Nagaoka Transition in Quantum Dots

abstract: Recent progress of quantum simulators provides insight into the fundamental problems of strongly correlated systems. To adequately assess the accuracy of these simulators, the precise modeling of the many-body physics, with accurate model parameters, is crucially important. In this paper, we introduce an \emph{ab intio} exact diagonalization framework to compute the correlated physics of a few electrons in artificial potentials. We apply this approach to a quantum-dot system and study the magnetism of the correlated electrons, obtaining good agreement with recent experimental measurements. Through dot separation, potential detuning and control of single tunneling, we examine the Nagaoka transition and determine the robustness of the ferromagnetic state. While the standard Nagaoka theorem considers only a single-band Hubbard model, in this work we perform extensive $ab$ $intio$ calculations that include realistic multi-orbital conditions in which the level splitting is smaller than the interactions. This simulation complements the experiments and provides insight into the formation of ferromagnetism in correlated systems. More generally, our calculation sets the stage for further theoretical analysis of analog quantum simulators at a quantitative level.


title: Stratification of spaces of locally convex curves by itineraries

abstract: Locally convex (or nondegenerate) curves in the sphere (or projective space) have been studied for several reasons, including the study of linear ordinary differential equations. Taking Frenet frames allows us to translate such curves into corresponding curves in the flag space, the orthogonal group or its cover $Spin_{n+1}$. Determining the homotopy type of the space of such closed curves or, more generally, of spaces of such curves with prescribed initial and final jets appears to be a hard problem, which has been solved for $n=2$ but otherwise remains open. This paper is a step towards solving the problem for larger values of $n$. In the process, we prove a related conjecture of B. Shapiro and M. Shapiro. We define the itinerary of a locally convex curve $\Gamma:[0,1]\to Spin_{n+1}$ as a word $w$ in the alphabet of non-trivial permutations. This word encodes the succession of non-open Bruhat cells of $Spin_{n+1}$ pierced by $\Gamma$. We prove that, for each word $w$, the subspace of curves of itinerary $w$ is an embedded contractible (topological) submanifold of finite codimension, thus defining a stratification of the space of curves. We show how to obtain explicit (topologically) transversal sections for each of these submanifolds. We study both a space of curves with minimum regularity hypotheses, where only topological transversality applies, and spaces of sufficiently regular curves. In both cases we study the neighboring relation between strata. This is an important step in the construction of CW cell complexes mapped into the original space of curves by weak homotopy equivalences. Our stratification is not as nice as might be desired, lacking for instance the Whitney property. The differentiability class of the curves affects some properties of the stratification. The necessary ingredients for the construction of a dual CW complex are proved.


title: A flexible EM-like clustering algorithm for noisy data

abstract: Though very popular, it is well known that the EM for GMM algorithm suffers from non-Gaussian distribution shapes, outliers and high-dimensionality. In this paper, we design a new robust clustering algorithm that can efficiently deal with noise and outliers in diverse data sets. As an EM-like algorithm, it is based on both estimations of clusters centers and covariances. In addition, using a semi-parametric paradigm, the method estimates an unknown scale parameter per data-point. This allows the algorithm to accommodate for heavier tails distributions and outliers without significantly loosing efficiency in various classical scenarios. We first derive and analyze the proposed algorithm in the context of elliptical distributions, showing in particular important insensitivity properties to the underlying data distributions. We then study the convergence and accuracy of the algorithm by considering first synthetic data. Then, we show that the proposed algorithm outperforms other classical unsupervised methods of the literature such as k-means, the EM for Gaussian mixture models and its recent modifications or spectral clustering when applied to real data sets as MNIST, NORB, and 20newsgroups.


title: Graph Neural Network for Interpreting Task-fMRI Biomarkers

abstract: Finding the biomarkers associated with ASD is helpful for understanding the underlying roots of the disorder and can lead to earlier diagnosis and more targeted treatment. A promising approach to identify biomarkers is using Graph Neural Networks (GNNs), which can be used to analyze graph structured data, i.e. brain networks constructed by fMRI. One way to interpret important features is through looking at how the classification probability changes if the features are occluded or replaced. The major limitation of this approach is that replacing values may change the distribution of the data and lead to serious errors. Therefore, we develop a 2-stage pipeline to eliminate the need to replace features for reliable biomarker interpretation. Specifically, we propose an inductive GNN to embed the graphs containing different properties of task-fMRI for identifying ASD and then discover the brain regions/sub-graphs used as evidence for the GNN classifier. We first show GNN can achieve high accuracy in identifying ASD. Next, we calculate the feature importance scores using GNN and compare the interpretation ability with Random Forest. Finally, we run with different atlases and parameters, proving the robustness of the proposed method. The detected biomarkers reveal their association with social behaviors. We also show the potential of discovering new informative biomarkers. Our pipeline can be generalized to other graph feature importance interpretation problems.


title: From Node Embedding To Community Embedding : A Hyperbolic Approach

abstract: Detecting communities on graphs has received significant interest in recent literature. Current state-of-the-art community embedding approach called \textit{ComE} tackles this problem by coupling graph embedding with community detection. Considering the success of hyperbolic representations of graph-structured data in last years, an ongoing challenge is to set up a hyperbolic approach for the community detection problem. The present paper meets this challenge by introducing a Riemannian equivalent of \textit{ComE}. Our proposed approach combines hyperbolic embeddings with Riemannian K-means or Riemannian mixture models to perform community detection. We illustrate the usefulness of this framework through several experiments on real-world social networks and comparisons with \textit{ComE} and recent hyperbolic-based classification approaches.


title: Relating non-relativistic string theories

abstract: Non-relativistic string theories promise to provide simpler theories of quantum gravity as well as tractable limits of the AdS/CFT correspondence. However, several apparently distinct non-relativistic string theories have been constructed. In particular, one approach is to reduce a relativistic string along a null isometry in target space. Another method is to perform an appropriate large speed of light expansion of a relativistic string. Both of the resulting non-relativistic string theories only have a well-defined spectrum if they have nonzero winding along a longitudinal spatial direction. In the presence of a Kalb--Ramond field, we show that these theories are equivalent provided the latter direction is an isometry. Finally, we consider a further limit of non-relativistic string theory that has proven useful in the context of AdS/CFT (related to Spin Matrix Theory). In that case, the worldsheet theory itself becomes non-relativistic and the dilaton coupling vanishes.


title: Control-oriented model reduction for minimizing transient energy growth in shear flows

abstract: A linear non-modal mechanism for transient amplification of perturbation energy is known to trigger sub-critical transition to turbulence in many shear flows. Feedback control strategies for minimizing this transient energy growth can be formulated as convex optimization problems based on linear matrix inequalities. Unfortunately, solving the requisite linear matrix inequality problem can be computationally prohibitive within the context of high-dimensional fluid flows. In this work, we investigate the utility of control-oriented reduced-order models to facilitate the design of feedback flow control strategies that minimize the maximum transient energy growth. An output projection onto proper orthogonal decomposition modes is used to faithfully capture the system energy. Subsequently, a balanced truncation is performed to reduce the state dimension, while preserving the system's input-output properties. The model reduction and control approaches are studied within the context of a linearized channel flow with blowing and suction actuation at the walls. Controller synthesis for this linearized channel flow system becomes tractable through the use of the proposed control-oriented reduced-order models. Further, the resulting controllers are found to reduce the maximum transient energy growth compared with more conventional linear quadratic optimal control strategies.


title: Dark Matter Spin-Spin Interaction through the Pseudo-Scalar Vacuum Field

abstract: We suggest that the pseudo-scalar vacuum field (PSV) in the dark matter (DM) sector of the Universe may be as important as the electromagnetic vacuum field in the baryonic sector. In particular, the spin-spin interaction between the DM fermions, mediated by PSV, may represent the strongest interaction between the DM fermions due to the absence of the electric charge and the magnetic dipole moment. Based on this assumption, we consider the influence of the spin-spin interaction, mediated by PSV, on the spin precession of the DM fermions (e. g. neutralino). In the secular approximation, we obtain the exact expression describing the frequency of the precession and estimate the decoherence rate.


title: Modelling the evolution of traits in a two-sex population, with an application to grandmothering

abstract: We present a mathematical simplification for the evolutionary dynamics of a heritable trait within a two-sex population. This trait is assumed to control the timing of sex-specific life-history events, such as the age of sexual maturity and end of female fertility, and each sex has a distinct fitness tradeoff associated with the trait. We provide a formula for the fitness landscape of the population and show a natural extension of the result to an arbitrary number of heritable traits. Our method can be viewed as a dynamical systems generalisation of the Price Equation to include two sexes{, age structure} and multiple traits. We use this formula to examine the effect of grandmothering, whereby post-fertile females subsidize their daughter's fertility by provisioning grandchildren. Grandmothering can drive a shift towards higher sex ratios due to lengthening female post-fertile longevity, leading to changes in fitness for both sexes. For males, increased longevity is accompanied by a substantially longer fertile lifespan resulting in higher sex ratios in the fertile ages. Our fitness landscapes show a net increase in fitness for both males and females at longer lifespans, and as a result, we find that grandmothering alone provides an evolutionary trajectory to higher longevities.


title: Simplicial complexity of surface groups and systolic area

abstract: The simplicial complexity is an invariant for finitely presentable groups that was recently introduced by Babenko, Balacheff and Bulteau to study systolic area. The simplicial complexity $\kappa(G)$ was proved to be a good approximation of the systolic area $\sigma(G)$ for large values of $\kappa(G)$. In this paper we compute the simplicial complexity of all surface groups (both in the orientable and in the non-orientable case). This settles a problem raised by Babenko, Balacheff and Bulteau. We also prove that $\kappa(G\ast \mathbb{Z})=\kappa(G)$ for any surface group $G$. This provides the first partial evidence in favor of the conjecture of the stability of the simplicial complexity under free product with free groups. The general stability problem, both for simplicial complexity and for systolic area, remains open.


title: Data mining Mandarin tone contour shapes

abstract: In spontaneous speech, Mandarin tones that belong to the same tone category may exhibit many different contour shapes. We explore the use of data mining and NLP techniques for understanding the variability of tones in a large corpus of Mandarin newscast speech. First, we adapt a graph-based approach to characterize the clusters (fuzzy types) of tone contour shapes observed in each tone n-gram category. Second, we show correlations between these realized contour shape types and a bag of automatically extracted linguistic features. We discuss the implications of the current study within the context of phonological and information theory.


title: MultiWOZ 2.1: A Consolidated Multi-Domain Dialogue Dataset with State Corrections and State Tracking Baselines

abstract: MultiWOZ 2.0 (Budzianowski et al., 2018) is a recently released multi-domain dialogue dataset spanning 7 distinct domains and containing over 10,000 dialogues. Though immensely useful and one of the largest resources of its kind to-date, MultiWOZ 2.0 has a few shortcomings. Firstly, there is substantial noise in the dialogue state annotations and dialogue utterances which negatively impact the performance of state-tracking models. Secondly, follow-up work (Lee et al., 2019) has augmented the original dataset with user dialogue acts. This leads to multiple co-existent versions of the same dataset with minor modifications. In this work we tackle the aforementioned issues by introducing MultiWOZ 2.1. To fix the noisy state annotations, we use crowdsourced workers to re-annotate state and utterances based on the original utterances in the dataset. This correction process results in changes to over 32% of state annotations across 40% of the dialogue turns. In addition, we fix 146 dialogue utterances by canonicalizing slot values in the utterances to the values in the dataset ontology. To address the second problem, we combined the contributions of the follow-up works into MultiWOZ 2.1. Hence, our dataset also includes user dialogue acts as well as multiple slot descriptions per dialogue state slot. We then benchmark a number of state-of-the-art dialogue state tracking models on the MultiWOZ 2.1 dataset and show the joint state tracking performance on the corrected state annotations. We are publicly releasing MultiWOZ 2.1 to the community, hoping that this dataset resource will allow for more effective models across various dialogue subproblems to be built in the future.


title: Double Cross Validation for the Number of Factors in Approximate Factor Models

abstract: Determining the number of factors is essential to factor analysis. In this paper, we propose {an efficient cross validation (CV)} method to determine the number of factors in approximate factor models. The method applies CV twice, first along the directions of observations and then variables, and hence is referred to hereafter as double cross-validation (DCV). Unlike most CV methods, which are prone to overfitting, the DCV is statistically consistent in determining the number of factors when both dimension of variables and sample size are sufficiently large. Simulation studies show that DCV has outstanding performance in comparison to existing methods in selecting the number of factors, especially when the idiosyncratic error has heteroscedasticity, or heavy tail, or relatively large variance.


title: Quantifying Algorithmic Biases over Time

abstract: Algorithms now permeate multiple aspects of human lives and multiple recent results have reported that these algorithms may have biases pertaining to gender, race, and other demographic characteristics. The metrics used to quantify such biases have still focused on a static notion of algorithms. However, algorithms evolve over time. For instance, Tay (a conversational bot launched by Microsoft) was arguably not biased at its launch but quickly became biased, sexist, and racist over time. We suggest a set of intuitive metrics to study the variations in biases over time and present the results for a case study for genders represented in images resulting from a Twitter image search for #Nurse and #Doctor over a period of 21 days. Results indicate that biases vary significantly over time and the direction of bias could appear to be different on different days. Hence, one-shot measurements may not suffice for understanding algorithmic bias, thus motivating further work on studying biases in algorithms over time.


title: Causal models on probability spaces

abstract: We describe the interface between measure theoretic probability and causal inference by constructing causal models on probability spaces within the potential outcomes framework. We find that measure theory provides a precise and instructive language for causality and that consideration of the probability spaces underlying causal models offers clarity into central concepts of causal inference. By closely studying simple, instructive examples, we demonstrate insights into causal effects, causal interactions, matching procedures, and randomization. Additionally, we introduce a simple technique for visualizing causal models on probability spaces that is useful both for generating examples and developing causal intuition. Finally, we provide an axiomatic framework for causality and make initial steps towards a formal theory of general causal models.


title: Rough traces of $BV$ functions in metric measure spaces

abstract: Following a Maz'ya-type approach, we adapt the theory of rough traces of functions of bounded variation ($BV$) in the context of doubling metric measure spaces supporting a Poincar\'e inequality. This eventually allows for an integration by parts formula involving the rough trace of such a function. We then compare our analysis with the discussion done in a recent work by P. Lahti and N. Shanmugalingam, where traces of $BV$ functions are studied by means of the more classical Lebesgue-point characterization, and we determine the conditions under which the two notions coincide.


title: Machine Learning based Prediction of Hierarchical Classification of Transposable Elements

abstract: Transposable Elements (TEs) or jumping genes are the DNA sequences that have an intrinsic capability to move within a host genome from one genomic location to another. Studies show that the presence of a TE within or adjacent to a functional gene may alter its expression. TEs can also cause an increase in the rate of mutation and can even mediate duplications and large insertions and deletions in the genome, promoting gross genetic rearrangements. Thus, the proper classification of the identified jumping genes is essential to understand their genetic and evolutionary effects in the genome. While computational methods have been developed that perform either binary classification or multi-label classification of TEs, few studies have focused on their hierarchical classification. The state-of-the-art machine learning classification method utilizes a Multi-Layer Perceptron (MLP), a class of neural network, for hierarchical classification of TEs. However, the existing methods have limited accuracy in classifying TEs. A more effective classifier, which can explain the role of TEs in germline and somatic evolution, is needed. In this study, we examine the performance of a variety of machine learning (ML) methods. And eventually, propose a robust approach for the hierarchical classification of TEs, with higher accuracy, using Support Vector Machines (SVM).


title: On the complexity of cusped non-hyperbolicity

abstract: We show that the problem of showing that a cusped 3-manifold M is not hyperbolic is in NP, assuming $S^3$-RECOGNITION is in coNP. To this end, we show that IRREDUCIBLE TOROIDAL RECOGNITION lies in NP. Along the way we unconditionally recover SATELLITE KNOT RECOGNITION lying in NP. This was previously known only assuming the Generalized Riemann Hypothesis. Our key contribution is to certify closed essential normal surfaces as essential in polynomial time in compact orientable irreducible $\partial$-irreducible triangulations. Our work is made possible by recent work of Lackenby showing several basic decision problems in 3-manifold topology are in NP or coNP.


title: Astro2020 APC White Paper: The Early Career Perspective on the Coming Decade, Astrophysics Career Paths, and the Decadal Survey Process

abstract: In response to the need for the Astro2020 Decadal Survey to explicitly engage early career astronomers, the National Academies of Sciences, Engineering, and Medicine hosted the Early Career Astronomer and Astrophysicist Focus Session (ECFS) on October 8-9, 2018 under the auspices of Committee of Astronomy and Astrophysics. The meeting was attended by fifty six pre-tenure faculty, research scientists, postdoctoral scholars, and senior graduate students, as well as eight former decadal survey committee members, who acted as facilitators. The event was designed to educate early career astronomers about the decadal survey process, to solicit their feedback on the role that early career astronomers should play in Astro2020, and to provide a forum for the discussion of a wide range of topics regarding the astrophysics career path. This white paper presents highlights and themes that emerged during two days of discussion. In Section 1, we discuss concerns that emerged regarding the coming decade and the astrophysics career path, as well as specific recommendations from participants regarding how to address them. We have organized these concerns and suggestions into five broad themes. These include (sequentially): (1) adequately training astronomers in the statistical and computational techniques necessary in an era of "big data", (2) responses to the growth of collaborations and telescopes, (3) concerns about the adequacy of graduate and postdoctoral training, (4) the need for improvements in equity and inclusion in astronomy, and (5) smoothing and facilitating transitions between early career stages. Section 2 is focused on ideas regarding the decadal survey itself, including: incorporating early career voices, ensuring diverse input from a variety of stakeholders, and successfully and broadly disseminating the results of the survey.


title: Scalable Multi Corpora Neural Language Models for ASR

abstract: Neural language models (NLM) have been shown to outperform conventional n-gram language models by a substantial margin in Automatic Speech Recognition (ASR) and other tasks. There are, however, a number of challenges that need to be addressed for an NLM to be used in a practical large-scale ASR system. In this paper, we present solutions to some of the challenges, including training NLM from heterogenous corpora, limiting latency impact and handling personalized bias in the second-pass rescorer. Overall, we show that we can achieve a 6.2% relative WER reduction using neural LM in a second-pass n-best rescoring framework with a minimal increase in latency.


title: The Role of Memory in Stochastic Optimization

abstract: The choice of how to retain information about past gradients dramatically affects the convergence properties of state-of-the-art stochastic optimization methods, such as Heavy-ball, Nesterov's momentum, RMSprop and Adam. Building on this observation, we use stochastic differential equations (SDEs) to explicitly study the role of memory in gradient-based algorithms. We first derive a general continuous-time model that can incorporate arbitrary types of memory, for both deterministic and stochastic settings. We provide convergence guarantees for this SDE for weakly-quasi-convex and quadratically growing functions. We then demonstrate how to discretize this SDE to get a flexible discrete-time algorithm that can implement a board spectrum of memories ranging from short- to long-term. Not only does this algorithm increase the degrees of freedom in algorithmic choice for practitioners but it also comes with better stability properties than classical momentum in the convex stochastic setting. In particular, no iterate averaging is needed for convergence. Interestingly, our analysis also provides a novel interpretation of Nesterov's momentum as stable gradient amplification and highlights a possible reason for its unstable behavior in the (convex) stochastic setting. Furthermore, we discuss the use of long term memory for second-moment estimation in adaptive methods, such as Adam and RMSprop. Finally, we provide an extensive experimental study of the effect of different types of memory in both convex and nonconvex settings.


title: Build It, Break It, Fix It: Contesting Secure Development

abstract: Typical security contests focus on breaking or mitigating the impact of buggy systems. We present the Build-it, Break-it, Fix-it (BIBIFI) contest, which aims to assess the ability to securely build software, not just break it. In BIBIFI, teams build specified software with the goal of maximizing correctness, performance, and security. The latter is tested when teams attempt to break other teams' submissions. Winners are chosen from among the best builders and the best breakers. BIBIFI was designed to be open-ended; teams can use any language, tool, process, etc. that they like. As such, contest outcomes shed light on factors that correlate with successfully building secure software and breaking insecure software. We ran three contests involving a total of 156 teams and three different programming problems. Quantitative analysis from these contests found that the most efficient build-it submissions used C/C++, but submissions coded in a statically-type safe language were 11 times less likely to have a security flaw than C/C++ submissions. Break-it teams that were also successful build-it teams were significantly better at finding security bugs.


title: Constraining the inner density slope of massive galaxy clusters

abstract: We determine the inner density profiles of massive galaxy clusters (M$_{200}$ > $5 \times 10^{14}$ M$_{\odot}$) in the Cluster-EAGLE (C-EAGLE) hydrodynamic simulations, and investigate whether the dark matter density profiles can be correctly estimated from a combination of mock stellar kinematical and gravitational lensing data. From fitting mock stellar kinematics and lensing data generated from the simulations, we find that the inner density slopes of both the total and the dark matter mass distributions can be inferred reasonably well. We compare the density slopes of C-EAGLE clusters with those derived by Newman et al. for 7 massive galaxy clusters in the local Universe. We find that the asymptotic best-fit inner slopes of "generalized" NFW (gNFW) profiles, ${\gamma}_{\rm gNFW}$, of the dark matter haloes of the C-EAGLE clusters are significantly steeper than those inferred by Newman et al. However, the mean mass-weighted dark matter density slopes of the simulated clusters are in good agreement with the Newman et al. estimates. We also find that the estimate of ${\gamma}_{\rm gNFW}$ is very sensitive to the constraints from weak lensing measurements in the outer parts of the cluster and a bias can lead to an underestimate of ${\gamma}_{\rm gNFW}$.


title: Gradient flow formulations of discrete and continuous evolutionary models: a unifying perspective

abstract: We consider three classical models of biological evolution: (i) the Moran process, an example of a reducible Markov Chain; (ii) the Kimura Equation, a particular case of a degenerated Fokker-Planck Diffusion; (iii) the Replicator Equation, a paradigm in Evolutionary Game Theory. While these approaches are not completely equivalent, they are intimately connected, since (ii) is the diffusion approximation of (i), and (iii) is obtained from (ii) in an appropriate limit. It is well known that the Replicator Dynamics for two strategies is a gradient flow with respect to the celebrated Shahshahani distance. We reformulate the Moran process and the Kimura Equation as gradient flows and in the sequel we discuss conditions such that the associated gradient structures converge: (i) to (ii) and (ii) to (iii). This provides a geometric characterisation of these evolutionary processes and provides a reformulation of the above examples as time minimization of free energy functionals.


title: On Conforming and Conflicting Values

abstract: Values are things that are important to us. Actions activate values - they either go against our values or they promote our values. Values themselves can either be conforming or conflicting depending on the action that is taken. In this short paper, we argue that values may be classified as one of two types - conflicting and inherently conflicting values. They are distinguished by the fact that the latter in some sense can be thought of as being independent of actions. This allows us to do two things: i) check whether a set of values is consistent and ii) check whether it is in conflict with other sets of values.


title: SkeletonNet: Shape Pixel to Skeleton Pixel

abstract: Deep Learning for Geometric Shape Understating has organized a challenge for extracting different kinds of skeletons from the images of different objects. This competition is organized in association with CVPR 2019. There are three different tracks of this competition. The present manuscript describes the method used to train the model for the dataset provided in the first track. The first track aims to extract skeleton pixels from the shape pixels of 89 different objects. For the purpose of extracting the skeleton, a U-net model which is comprised of an encoder-decoder structure has been used. In our proposed architecture, unlike the plain decoder in the traditional Unet, we have designed the decoder in the format of HED architecture, wherein we have introduced 4 side layers and fused them to one dilation convolutional layer to connect the broken links of the skeleton. Our proposed architecture achieved the F1 score of 0.77 on test data.


title: Solvents based model reduction of linear systems

abstract: Model order reduction is the approximation of dynamical systems into equivalent systems with smaller order. Model reduction has been studied extensively for different types of systems. In this paper, we present two methods for multi input multi output linear systems. These methods are based on solvents, also called block poles. These methods are particularly suitable if the given system is in matrix transfer function form. The first method eliminates solvents one by one whereas, the second method can eliminate multiple solvents at the same time. The two presented methods are implemented in MATLAB in order to provide a systematic method for the model order reduction of MIMO linear systems.


title: Voting Rules that are Unbiased but not Transitive-Symmetric

abstract: We explore the relation between two natural symmetry properties of voting rules. The first is transitive-symmetry -- the property of invariance to a transitive permutation group -- while the second is the "unbiased" property of every voter having the same influence for all i.i.d. probability measures. We show that these properties are distinct by two constructions -- one probabilistic, one explicit -- of rules that are unbiased but not transitive-symmetric.


title: Machine Reading Comprehension: a Literature Review

abstract: Machine reading comprehension aims to teach machines to understand a text like a human and is a new challenging direction in Artificial Intelligence. This article summarizes recent advances in MRC, mainly focusing on two aspects (i.e., corpus and techniques). The specific characteristics of various MRC corpus are listed and compared. The main ideas of some typical MRC techniques are also described.


title: Time analyticity for the heat equation and Navier-Stokes equations

abstract: We prove the analyticity in time for solutions of two parabolic equations in the whole space, without any decaying or vanishing conditions. One of them involves solutions to the heat equation of exponential growth of order $2$ on $\M$. Here $\M$ is $\R^d$ or a complete noncompact manifold with Ricci curvature bounded from below by a constant. An implication is a sharp solvability condition for the Cauchy problem of the backward heat equation, which is a well known ill-posed problem. Another implication is a sharp criteria for time analyticity of solutions down to the initial time. The other pertains bounded mild solutions of the incompressible Navier-Stokes equations in the whole space. There are many long established analyticity results for the Navier-Stokes equations. See for example \cite{Ka:1} and \cite{FT:1} for spatial and time analyticity in certain integral sense, \cite{CN:1} for pointwise space-time analyticity of 3 dimensional solutions to the Cauchy problem, and also the pointwise time analyticity results of \cite{Ma:1} and \cite{Gi:1} under zero boundary condition. Our result seems to be the first general pointwise time analyticity result for the Cauchy problem for all dimensions, whose proof involves only real variable method. The proof involves a method of algebraically manipulating the integral kernel, which appears applicable to other evolution equations.


title: Towards a formally verified implementation of the MimbleWimble cryptocurrency protocol

abstract: MimbleWimble is a privacy-oriented cryptocurrency technology encompassing security and scalability properties that distinguish it from other protocols of the kind. In this paper we present and briefly discuss those properties and outline the basis of a model-driven verification approach to address the certification of the correctness of a particular implementation of the protocol.


title: The relation between the turbulent Mach number and observed fractal dimensions of turbulent clouds

abstract: Supersonic turbulence is a key player in controlling the structure and star formation potential of molecular clouds (MCs). The three-dimensional (3D) turbulent Mach number, $\mathcal{M}$, allows us to predict the rate of star formation. However, determining Mach numbers in observations is challenging because it requires accurate measurements of the velocity dispersion. Moreover, observations are limited to two-dimensional (2D) projections of the MCs and velocity information can usually only be obtained for the line-of-sight component. Here we present a new method that allows us to estimate $\mathcal{M}$ from the 2D column density, $\Sigma$, by analysing the fractal dimension, $\mathcal{D}$. We do this by computing $\mathcal{D}$ for six simulations, ranging between $1$ and $100$ in $\mathcal{M}$. From this data we are able to construct an empirical relation, $\log\mathcal{M}(\mathcal{D}) = \xi_1(\text{erfc}^{-1} [(\mathcal{D}-\mathcal{D}_{\text{min}})/\Omega] + \xi_2),$ where $\text{erfc}^{-1}$ is the inverse complimentary error function, $\mathcal{D}_{\text{min}} = 1.55 \pm 0.13$ is the minimum fractal dimension of $\Sigma$, $\Omega = 0.22 \pm 0.07$, $\xi_1 = 0.9 \pm 0.1$ and $\xi_2 = 0.2 \pm 0.2$. We test the accuracy of this new relation on column density maps from $Herschel$ observations of two quiescent subregions in the Polaris Flare MC, `saxophone' and `quiet'. We measure $\mathcal{M} \sim 10$ and $\mathcal{M} \sim 2$ for the subregions, respectively, which is similar to previous estimates based on measuring the velocity dispersion from molecular line data. These results show that this new empirical relation can provide useful estimates of the cloud kinematics, solely based upon the geometry from the column density of the cloud.


title: Preliminary model for student ownership of projects

abstract: In many upper-division lab courses, instructors implement multiweek student-led projects. During such projects, students may design and carry out experiments, collect and analyze data, document and report their findings, and collaborate closely with peers and mentors. To better understand cognitive, social, and affective aspects of projects, we conducted an exploratory investigation of student ownership of projects. Ownership is a complex construct that refers to, e.g., students' willingness and ability to make strategic decisions about their project. Using data collected through surveys and interviews with students and instructors at five institutions, we developed a preliminary model for student ownership of projects. Our model describes student interactions with the project during three phases: choice of topic, execution of experiment, and synthesis of results. Herein, we explicate our model and demonstrate that it maps well onto students' and instructors' conceptions of ownership and ideas presented in prior literature.


title: Serial Quantization for Sparse Time Sequences

abstract: Sparse signals are encountered in a broad range of applications. In order to process these signals using digital hardware, they must be first sampled and quantized using an analog-to-digital convertor (ADC), which typically operates in a serial scalar manner. In this work, we propose a method for serial quantization of sparse time sequences (SQuaTS) inspired by group testing theory, which is designed to reliably and accurately quantize sparse signals acquired in a sequential manner using serial scalar ADCs. Unlike previously proposed approaches which combine quantization and compressed sensing (CS), our SQuaTS scheme updates its representation on each incoming analog sample and does not require the complete signal to be observed and stored in analog prior to quantization. We characterize the asymptotic tradeoff between accuracy and quantization rate of SQuaTS as well as its computational burden. We also propose a variation of SQuaTS, which trades rate for computational efficiency. Next, we show how SQuaTS can be naturally extended to distributed quantization scenarios, where a set of jointly sparse time sequences are acquired individually and processed jointly. Our numerical results demonstrate that SQuaTS is capable of achieving substantially improved representation accuracy over previous CS-based schemes without requiring the complete set of analog signal samples to be observed prior to its quantization, making it an attractive approach for acquiring sparse time sequences.


title: An Approximation Algorithm for a Task Allocation, Sequencing and Scheduling Problem involving a Human-Robot Team

abstract: This article presents an approximation algorithm for a task allocation, sequencing and scheduling problem involving a team of human operators and robots. Specifically, we present an algorithm with an approximation ratio as a function of the number of human operators ($m$) and the number of robots ($k$) in the team. The approximation ratios are $\frac{7}{2} -\frac{5}{2k}$, $\frac{5}{2} -\frac{1}{k}$ and $\frac{7}{2} -\frac{1}{k}$ when $m=1$, $m\geq k\geq 2$ and $k>m\geq 2$ respectively. We also present computational results to corroborate the performance of the proposed approximation algorithm.


title: Canonical Correlation Analysis (CCA) Based Multi-View Learning: An Overview

abstract: Multi-view learning (MVL) is a strategy for fusing data from different sources or subsets. Canonical correlation analysis (CCA) is very important in MVL, whose main idea is to map data from different views onto a common space with maximum correlation. Traditional CCA can only be used to calculate the linear correlation of two views. Besides, it is unsupervised and the label information is wasted. Many nonlinear, supervised, or generalized extensions have been proposed to overcome these limitations. However, to our knowledge, there is no overview for these approaches. This paper provides an overview of many representative CCA-based MVL approaches.


title: Estimating Gaps in Martingales and Applications to Coin-Tossing: Constructions and Hardness

abstract: Consider designing a distributed coin-tossing protocol for n processors such that the probability of heads is X0 in [0,1], and an adversary can reset one processor to change the distribution of the final outcome. For X0=1/2, in the non-cryptographic setting, Blum's majority protocol is $\frac1{\sqrt{2\pi n}}$ insecure. For computationally bounded adversaries and any X0 in [0,1], the protocol of Moran,Naor,Segev (2009) is only O(1/n) insecure. In this paper, we study discrete-time martingales (X0,X1,..,Xn) such that Xi in [0,1], for all i in {0,..,n}, and Xn in {0,1}. In particular, for any X0 in [0,1], we construct martingales that yield $\frac12\sqrt{\frac{X_0(1-X_0)}{n}}$ insecure coin-tossing protocols with n-bit communication; irrespective of the number of bits required to represent the output distribution. Note that for sufficiently small X0, we achieve higher security than Moran et al's protocol even against computationally unbounded adversaries. For X0=1/2, our protocol requires only 40% of the processors to obtain the same security as the majority protocol. We introduce a new inductive technique that uses geometric transformations to estimate the large gaps in these martingales. For any X0 in [0,1], we show that there exists a stopping time $T$ such that $\mathbb{E}[|{X_T-X_{T-1}}|]\geq\frac2{\sqrt{2n-1}}\cdot X_0(1-X_0)$. The inductive technique also constructs martingales that demonstrate the optimality of our bound - we construct optimal martingales such that any $T$ has$\mathbb{E}[|{X_T-X_{T-1}}|]\leq\frac1{\sqrt{n}}\cdot\sqrt{X_0(1-X_0)}$. Our lower-bound holds for all X0 in [0,1]; while the previous bound of Cleve,Impagliazzo (1993) exists only for positive constant X0. Our approach only employs elementary techniques and avoids the complex probabilistic tools inherent to the approaches of Cleve,Impagliazzo (1993) and Beimel,Haitner,Makriyannis,Omri (2018).


title: On the Privacy of dK-Random Graphs

abstract: Real social network datasets provide significant benefits for understanding phenomena such as information diffusion or network evolution. Yet the privacy risks raised from sharing real graph datasets, even when stripped of user identity information, are significant. Previous research shows that many graph anonymization techniques fail against existing graph de-anonymization attacks. However, the specific reason for the success of such de-anonymization attacks is yet to be understood. This paper systematically studies the structural properties of real graphs that make them more vulnerable to machine learning-based techniques for de-anonymization. More precisely, we study the boundaries of anonymity based on the structural properties of real graph datasets in terms of how their dK-based anonymized versions resist (or fail) to various types of attacks. Our experimental results lead to three contributions. First, we identify the strength of an attacker based on the graph characteristics of the subset of nodes from which it starts the de-anonymization attack. Second, we quantify the relative effectiveness of dK-series for graph anonymization. And third, we identify the properties of the original graph that make it more vulnerable to de-anonymization.


title: A Semi-Supervised Framework for Automatic Pixel-Wise Breast Cancer Grading of Histological Images

abstract: Throughout the world, breast cancer is one of the leading causes of female death. Recently, deep learning methods are developed to automatically grade breast cancer of histological slides. However, the performance of existing deep learning models is limited due to the lack of large annotated biomedical datasets. One promising way to relieve the annotating burden is to leverage the unannotated datasets to enhance the trained model. In this paper, we first apply active learning method in breast cancer grading, and propose a semi-supervised framework based on expectation maximization (EM) model. The proposed EM approach is based on the collaborative filtering among the annotated and unannotated datasets. The collaborative filtering method effectively extracts useful and credible datasets from the unannotated images. Results of pixel-wise prediction of whole-slide images (WSI) demonstrate that the proposed method not only outperforms state-of-art methods, but also significantly reduces the annotation cost by over 70%.


title: Recommendations on Designing Practical Interval Type-2 Fuzzy Systems

abstract: Interval type-2 (IT2) fuzzy systems have become increasingly popular in the last 20 years. They have demonstrated superior performance in many applications. However, the operation of an IT2 fuzzy system is more complex than that of its type-1 counterpart. There are many questions to be answered in designing an IT2 fuzzy system: Should singleton or non-singleton fuzzifier be used? How many membership functions (MFs) should be used for each input? Should Gaussian or piecewise linear MFs be used? Should Mamdani or Takagi-Sugeno-Kang (TSK) inference be used? Should minimum or product $t$-norm be used? Should type-reduction be used or not? How to optimize the IT2 fuzzy system? These questions may look overwhelming and confusing to IT2 beginners. In this paper we recommend some representative starting choices for an IT2 fuzzy system design, which hopefully will make IT2 fuzzy systems more accessible to IT2 fuzzy system designers.


title: HyperNOMAD: Hyperparameter optimization of deep neural networks using mesh adaptive direct search

abstract: The performance of deep neural networks is highly sensitive to the choice of the hyperparameters that define the structure of the network and the learning process. When facing a new application, tuning a deep neural network is a tedious and time consuming process that is often described as a "dark art". This explains the necessity of automating the calibration of these hyperparameters. Derivative-free optimization is a field that develops methods designed to optimize time consuming functions without relying on derivatives. This work introduces the HyperNOMAD package, an extension of the NOMAD software that applies the MADS algorithm [7] to simultaneously tune the hyperparameters responsible for both the architecture and the learning process of a deep neural network (DNN), and that allows for an important flexibility in the exploration of the search space by taking advantage of categorical variables. This new approach is tested on the MNIST and CIFAR-10 data sets and achieves results comparable to the current state of the art.


title: Semi-algebraic chains on projective varieties and the Abel-Jacobi map for higher Chow cycles

abstract: We will show that the singular cohomology groups of a smooth quasi-projective complex variety relative to a normal crossing divisor can be described in terms of delta-admissible chains. Roughly speaking, a delta-admissible chain is a simplicial semi-algebraic chain meeting the "faces" properly. As an application, we show that the Abel-Jacobi map for higher Chow cycles can be described via delta-admissible chains. As an example, we will describe the Hodge realization of the polylog cycles constructed by Bloch-Kriz in terms of the Abel-Jacobi map.


title: Shortest Reconfiguration of Perfect Matchings via Alternating Cycles

abstract: Motivated by adjacency in perfect matching polytopes, we study the shortest reconfiguration problem of perfect matchings via alternating cycles. Namely, we want to find a shortest sequence of perfect matchings which transforms one given perfect matching to another given perfect matching such that the symmetric difference of each pair of consecutive perfect matchings is a single cycle. The problem is equivalent to the combinatorial shortest path problem in perfect matching polytopes. We prove that the problem is NP-hard even when a given graph is planar or bipartite, but it can be solved in polynomial time when the graph is outerplanar.


title: Horizontal convex envelope in the Heisenberg group and applications to sub-elliptic equations

abstract: This paper introduces in a natural way a notion of horizontal convex envelopes of continuous functions in the Heisenberg group. We provide a convexification process to find the envelope in a constructive manner. We also apply the convexification process to show h-convexity of viscosity solutions to a class of fully nonlinear elliptic equations in the Heisenberg group satisfying a certain symmetry condition. Our examples show that in general one cannot expect h-convexity of solutions without the symmetry condition.


title: VELC: A New Variational AutoEncoder Based Model for Time Series Anomaly Detection

abstract: Anomaly detection is a classical but worthwhile problem, and many deep learning-based anomaly detection algorithms have been proposed, which can usually achieve better detection results than traditional methods. In view of reconstruct ability of the model and the calculation of anomaly score, this paper proposes a time series anomaly detection method based on Variational AutoEncoder model(VAE) with re-Encoder and Latent Constraint network(VELC). In order to modify reconstruct ability of the model to prevent it from reconstructing abnormal samples well, we add a constraint network in the latent space of the VAE to force it generate new latent variables that are similar with that of training samples. To be able to calculate anomaly score in two feature spaces, we train a re-encoder to transform the generated data to a new latent space. For better handling the time series, we use the LSTM as the encoder and decoder part of the VAE framework. Experimental results of several benchmarks show that our method outperforms state-of-the-art anomaly detection methods.


title: Don't take it lightly: Phasing optical random projections with unknown operators

abstract: In this paper we tackle the problem of recovering the phase of complex linear measurements when only magnitude information is available and we control the input. We are motivated by the recent development of dedicated optics-based hardware for rapid random projections which leverages the propagation of light in random media. A signal of interest $\mathbf{\xi} \in \mathbb{R}^N$ is mixed by a random scattering medium to compute the projection $\mathbf{y} = \mathbf{A} \mathbf{\xi}$, with $\mathbf{A} \in \mathbb{C}^{M \times N}$ being a realization of a standard complex Gaussian iid random matrix. Such optics-based matrix multiplications can be much faster and energy-efficient than their CPU or GPU counterparts, yet two difficulties must be resolved: only the intensity ${|\mathbf{y}|}^2$ can be recorded by the camera, and the transmission matrix $\mathbf{A}$ is unknown. We show that even without knowing $\mathbf{A}$, we can recover the unknown phase of $\mathbf{y}$ for some equivalent transmission matrix with the same distribution as $\mathbf{A}$. Our method is based on two observations: first, conjugating or changing the phase of any row of $\mathbf{A}$ does not change its distribution; and second, since we control the input we can interfere $\mathbf{\xi}$ with arbitrary reference signals. We show how to leverage these observations to cast the measurement phase retrieval problem as a Euclidean distance geometry problem. We demonstrate appealing properties of the proposed algorithm in both numerical simulations and real hardware experiments. Not only does our algorithm accurately recover the missing phase, but it mitigates the effects of quantization and the sensitivity threshold, thus improving the measured magnitudes.


title: Heterodyne detection of radio-frequency electric fields using point defects in silicon carbide

abstract: Sensing electric fields with high sensitivity, high spatial resolution and at radio frequencies can be challenging to realize. Recently, point defects in silicon carbide have shown their ability to measure local electric fields by optical charge conversion of their charge state. Here we report the combination of heterodyne detection with charge-based electric field sensing, solving many of the previous limitations of this technique. Owing to the non-linear response of the charge conversion to electric fields, the application of a separate "pump" electric field results in a detection sensitivity as low as 1.1 (V/cm)/$\sqrt{Hz}$, with near-diffraction limited spatial resolution and tunable control of the sensor dynamic range. In addition, we show both incoherent and coherent heterodyne detection, allowing measurements of either unknown random fields or synchronized fields with higher sensitivities. Finally, we demonstrate in-plane vector measurements of the electric field by combining orthogonal pump electric fields. Overall, this work establishes charge-based measurements as highly relevant for solid-state defect sensing.


title: Graph Embeddings at Scale

abstract: Graph embedding is a popular algorithmic approach for creating vector representations for individual vertices in networks. Training these algorithms at scale is important for creating embeddings that can be used for classification, ranking, recommendation and other common applications in industry. While industrial systems exist for training graph embeddings on large datasets, many of these distributed architectures are forced to partition copious amounts of data and model logic across many worker nodes. In this paper, we propose a distributed infrastructure that completely avoids graph partitioning, dynamically creates size constrained computational graphs across worker nodes, and uses highly efficient indexing operations for updating embeddings that allow the system to function at scale. We show that our system can scale an existing embeddings algorithm - skip-gram - to train on the open-source Friendster network (68 million vertices) and on an internal heterogeneous graph (50 million vertices). We measure the performance of our system on two key quantitative metrics: link-prediction accuracy and rate of convergence. We conclude this work by analyzing how a greater number of worker nodes actually improves our system's performance on the aforementioned metrics and discuss our next steps for rigorously evaluating the embedding vectors produced by our system.


title: Semi-Associative $3$-Algebras

abstract: A new 3-ary non-associative algebra, which is called a semi-associative $3$-algebra, is introduced, and the double modules and double extensions by cocycles are provided. Every semi-associative $3$-algebra $(A, \{ , , \})$ has an adjacent 3-Lie algebra $(A, [ , , ]_c)$. From a semi-associative $3$-algebra $(A, \{, , \})$, a double module $(\phi, \psi, M)$ and a cocycle $\theta$, a semi-direct product semi-associative $3$-algebra $A\ltimes_{\phi\psi} M $ and a double extension $(A\dot+A^*, \{ , , \}_{\theta})$ are constructed, and structures are studied.


title: On Adaptivity Gaps of Influence Maximization under the Independent Cascade Model with Full Adoption Feedback

abstract: In this paper, we study the adaptivity gap of the influence maximization problem under independent cascade model when full-adoption feedback is available. Our main results are to derive upper bounds on several families of well-studied influence graphs, including in-arborescences, out-arborescences and bipartite graphs. Especially, we prove that the adaptivity gap for the in-arborescence is between $[\frac{e}{e-1}, \frac{2e}{e - 1}]$ and for the out-arborescence, the gap is between $[\frac{e}{e-1}, 2]$. These are the first constant upper bounds in the full-adoption feedback model. We provide several novel ideas to tackle with correlated feedback appearing in the adaptive stochastic optimization, which we believe to be of independent interests.


title: A fourth-order compact solver for fractional-in-time fourth-order diffusion equations

abstract: A fourth-order compact scheme is proposed for a fourth-order subdiffusion equation with the first Dirichlet boundary conditions. The fourth-order problem is firstly reduced into a couple of spatially second-order system and we use an averaged operator to construct a fourth-order spatial approximation. This averaged operator is compact since it involves only two grid points for the derivative boundary conditions. The L1 formula on irregular mesh is considered for the Caputo fractional derivative, so we can resolve the initial singularity of solution by putting more grid points near the initial time. The stability and convergence are established by using three theoretical tools: a complementary discrete convolution kernel, a discrete fractional Gronwall inequality and an error convolution structure. Some numerical experiments are reported to demonstrate the accuracy and efficiency of our method.


title: Compositional Structure Learning for Sequential Video Data

abstract: Conventional sequential learning methods such as Recurrent Neural Networks (RNNs) focus on interactions between consecutive inputs, i.e. first-order Markovian dependency. However, most of sequential data, as seen with videos, have complex temporal dependencies that imply variable-length semantic flows and their compositions, and those are hard to be captured by conventional methods. Here, we propose Temporal Dependency Networks (TDNs) for learning video data by discovering these complex structures of the videos. The TDNs represent video as a graph whose nodes and edges correspond to frames of the video and their dependencies respectively. Via a parameterized kernel with graph-cut and graph convolutions, the TDNs find compositional temporal dependencies of the data in multilevel graph forms. We evaluate the proposed method on the large-scale video dataset Youtube-8M. The experimental results show that our model efficiently learns the complex semantic structure of video data.


title: Mask Embedding in conditional GAN for Guided Synthesis of High Resolution Images

abstract: Recent advancements in conditional Generative Adversarial Networks (cGANs) have shown promises in label guided image synthesis. Semantic masks, such as sketches and label maps, are another intuitive and effective form of guidance in image synthesis. Directly incorporating the semantic masks as constraints dramatically reduces the variability and quality of the synthesized results. We observe this is caused by the incompatibility of features from different inputs (such as mask image and latent vector) of the generator. To use semantic masks as guidance whilst providing realistic synthesized results with fine details, we propose to use mask embedding mechanism to allow for a more efficient initial feature projection in the generator. We validate the effectiveness of our approach by training a mask guided face generator using CELEBA-HQ dataset. We can generate realistic and high resolution facial images up to the resolution of 512*512 with a mask guidance. Our code is publicly available.


title: Asymptotic Preserving and Low Mach Number Accurate IMEX Finite Volume Schemes for the Isentropic Euler Equations

abstract: In this paper, the design and analysis of a class of second order accurate IMEX finite volume schemes for the compressible Euler equations in the zero Mach number limit is presented. In order to account for the fast and slow waves, the nonlinear fluxes in the Euler equations are split into stiff and non-stiff components, respectively. The time discretisation is performed by an IMEX Runge-Kutta method, therein the stiff terms are treated implicitly and the non-stiff terms explicitly. In the space discretisation, a Rusanov-type central flux is used for the non-stiff part, and simple central differencing for the stiff part. Both the time semi-discrete and space-time fully-discrete schemes are shown to be asymptotic preserving. The numerical experiments confirm that the schemes achieve uniform second order convergence with respect to the Mach number. A notion of accuracy at low Mach numbers, termed as the asymptotic accuracy, is introduced in terms of the invariance of a well-prepared space of constant densities and divergence-free velocities. The asymptotic accuracy is concerned with the closeness of the compressible solution with that of its incompressible counterpart in a low Mach number regime. It is shown theoretically as well as numerically that the proposed schemes are asymptotically accurate.


title: Generalized Bott-Cattaneo-Rossi invariants of high-dimensional long knots

abstract: Bott, Cattaneo and Rossi defined invariants of long knots $\mathbb R^n \hookrightarrow \mathbb R^{n+2}$ as combinations of configuration space integrals for $n$ odd $\geq 3$. Here, we give a more flexible definition of these invariants. Our definition allows us to interpret these invariants as counts of diagrams. It extends to long knots inside more general $(n+2)$-manifolds, called asymptotic homology $\mathbb R^{n+2}$, and provides invariants of these knots.


title: End-to-end Decentralized Multi-robot Navigation in Unknown Complex Environments via Deep Reinforcement Learning

abstract: In this paper, a novel deep reinforcement learning (DRL)-based method is proposed to navigate the robot team through unknown complex environments, where the geometric centroid of the robot team aims to reach the goal position while avoiding collisions and maintaining connectivity. Decentralized robot-level policies are derived using a mechanism of centralized learning and decentralized executing. The proposed method can derive end-to-end policies, which map raw lidar measurements into velocity control commands of robots without the necessity of constructing obstacle maps. Simulation and indoor real-world unmanned ground vehicles (UGVs) experimental results verify the effectiveness of the proposed method.


title: A Deep Image Compression Framework for Face Recognition

abstract: Face recognition technology has advanced rapidly and has been widely used in various applications. Due to the extremely huge amount of data of face images and the large computing resources required correspondingly in large-scale face recognition tasks, there is a requirement for a face image compression approach that is highly suitable for face recognition tasks. In this paper, we propose a deep convolutional autoencoder compression network for face recognition tasks. In the compression process, deep features are extracted from the original image by the convolutional neural networks to produce a compact representation of the original image, which is then encoded and saved by existing codec such as PNG. This compact representation is utilized by the reconstruction network to generate a reconstructed image of the original one. In order to improve the face recognition accuracy when the compression framework is used in a face recognition system, we combine this compression framework with a existing face recognition network for joint optimization. We test the proposed scheme and find that after joint training, the Labeled Faces in the Wild (LFW) dataset compressed by our compression framework has higher face verification accuracy than that compressed by JPEG2000, and is much higher than that compressed by JPEG.