title: Mathematical Analysis of Chemical Reaction Systems

abstract: The use of mathematical methods for the analysis of chemical reaction systems has a very long history, and involves many types of models: deterministic versus stochastic, continuous versus discrete, and homogeneous versus spatially distributed. Here we focus on mathematical models based on deterministic mass-action kinetics. These models are systems of coupled nonlinear differential equations on the positive orthant. We explain how mathematical properties of the solutions of mass-action systems are strongly related to key properties of the networks of chemical reactions that generate them, such as specific versions of reversibility and feedback interactions.


title: Room Temperature Magnetic Order in Air-Stable Ultra-Thin Iron Oxide

abstract: Certain two-dimensional (2D) materials exhibit intriguing properties such as valley polarization, ferroelectricity, superconductivity and charge-density waves. Many of these materials can be manually assembled into atomic-scale multilayer devices under ambient conditions, owing to their exceptional chemical stability. Efforts have been made to add a magnetic degree of freedom to these 2D materials via defects, but only local magnetism has been achieved. Only with the recent discoveries of 2D materials supporting intrinsic ferromagnetism have stacked spintronic devices become realistic. Assembling 2D multilayer devices with these ferromagnets under ambient conditions remains challenging due to their sensitivity to environmental degradation, and magnetic order at room temperature is rare in van der Waals materials. Here, we report the growth of air-stable ultra-thin epsilon-phase iron oxide crystals that exhibit magnetic order at room temperature. These crystals require no passivation and can be prepared in large quantity by cost-effective chemical vapor deposition (CVD). We find that the epsilon phase, which is energetically unfavorable and does not form in bulk, can be easily made in 2D down to a seven unit-cell thickness. Magneto-optical Kerr effect (MOKE) magnetometry of individual crystals shows that even at this ultrathin limit the epsilon phase exhibits robust magnetism with coercive fields of hundreds of mT. These measurements highlight the advantages of ultrathin iron oxide as a promising candidate towards air-stable 2D magnetism and integration into 2D spintronic devices.


title: For which additive submonoids $M$ of nonnegative rationals is $F[X;M]$ AP?

abstract: We characterize the submonoids $M$ of the additive monoid $\Q_+$ of nonnegative rational numbers for which the irreducible and the prime elements in the monoid domain $F[X;M]$ coincide. We present a diagram of implications between some types of submonoids of $\Q_+$, with a precise position of the monoids $M$ with this property.


title: A new characterization of principal ideal domains

abstract: In 2008 N.~Q.~Chinh and P.~H.~Nam characterized principal ideal domains as integral domains that satisfy the follo\-wing two conditions: (i) they are unique factorization domains, and (ii) all maximal ideals in them are principal. We improve their result by giving a characterization in which each of these two conditions is weakened. At the same time we improve a theorem by P.~M.~Cohn which characterizes principal ideal domains as atomic B\'ezout domains. We will also show that every PC domain is AP and that the notion of PC domains is incomparable with the notion of pre-Schreier domains (hence with the notions of Schreier and GCD domains as well).


title: A new simple example of an atomic domain which is not ACCP

abstract: We give a new simple example of an atomic domain which is not ACCP. Our example is a monoid domain $F[X;M]$, where $F$ is a field and $M$ is a submonoid of the additive monoid of nonnegative rational numbers.


title: Less is More: Simultaneous View Classification and Landmark Detection for Abdominal Ultrasound Images

abstract: An abdominal ultrasound examination, which is the most common ultrasound examination, requires substantial manual efforts to acquire standard abdominal organ views, annotate the views in texts, and record clinically relevant organ measurements. Hence, automatic view classification and landmark detection of the organs can be instrumental to streamline the examination workflow. However, this is a challenging problem given not only the inherent difficulties from the ultrasound modality, e.g., low contrast and large variations, but also the heterogeneity across tasks, i.e., one classification task for all views, and then one landmark detection task for each relevant view. While convolutional neural networks (CNN) have demonstrated more promising outcomes on ultrasound image analytics than traditional machine learning approaches, it becomes impractical to deploy multiple networks (one for each task) due to the limited computational and memory resources on most existing ultrasound scanners. To overcome such limits, we propose a multi-task learning framework to handle all the tasks by a single network. This network is integrated to perform view classification and landmark detection simultaneously; it is also equipped with global convolutional kernels, coordinate constraints, and a conditional adversarial module to leverage the performances. In an experimental study based on 187,219 ultrasound images, with the proposed simplified approach we achieve (1) view classification accuracy better than the agreement between two clinical experts and (2) landmark-based measurement errors on par with inter-user variability. The multi-task approach also benefits from sharing the feature extraction during the training process across all tasks and, as a result, outperforms the approaches that address each task individually.


title: Ergodic Inference: Accelerate Convergence by Optimisation

abstract: Statistical inference methods are fundamentally important in machine learning. Most state-of-the-art inference algorithms are variants of Markov chain Monte Carlo (MCMC) or variational inference (VI). However, both methods struggle with limitations in practice: MCMC methods can be computationally demanding; VI methods may have large bias. In this work, we aim to improve upon MCMC and VI by a novel hybrid method based on the idea of reducing simulation bias of finite-length MCMC chains using gradient-based optimisation. The proposed method can generate low-biased samples by increasing the length of MCMC simulation and optimising the MCMC hyper-parameters, which offers attractive balance between approximation bias and computational efficiency. We show that our method produces promising results on popular benchmarks when compared to recent hybrid methods of MCMC and VI.


title: Gradient Coding via the Stochastic Block Model

abstract: Gradient descent and its many variants, including mini-batch stochastic gradient descent, form the algorithmic foundation of modern large-scale machine learning. Due to the size and scale of modern data, gradient computations are often distributed across multiple compute nodes. Unfortunately, such distributed implementations can face significant delays caused by straggler nodes, i.e., nodes that are much slower than average. Gradient coding is a new technique for mitigating the effect of stragglers via algorithmic redundancy. While effective, previously proposed gradient codes can be computationally expensive to construct, inaccurate, or susceptible to adversarial stragglers. In this work, we present the stochastic block code (SBC), a gradient code based on the stochastic block model. We show that SBCs are efficient, accurate, and that under certain settings, adversarial straggler selection becomes as hard as detecting a community structure in the multiple community, block stochastic graph model.

categories: stat.ML cs.DC cs.IT cs.LG math.IT stat.CO


title: UWB Channel Sounding and Modeling for UAV Air-to-Ground Propagation Channels

abstract: Unmanned aerial vehicles (UAVs) are expected to be used extensively in the near future in applications such as aerial surveillance, transportation, and disaster assistance. The conditions under which UAVs operate are different from those of conventional piloted aircrafts. This necessitates development of new air-to-ground (AG) propagation channel models for UAVs. To our best knowledge, there are limited studies in the literature on sounding and modeling of ultrawideband (UWB) AG propagation channels. In this work, comprehensive UWB measurements are conducted for various UAV communication scenarios using Time Domain P410 UWB kits. Both time and frequency domain analysis of the measured data are carried out. Based on the measured data, stochastic path loss and multipath channel models are developed to characterize AG UWB propagation channels.


title: Mode localization and sensitivity in weakly coupled resonators

abstract: Localization of normal modes is used in recent microelectromechanical systems (MEMS) technologies with orders of magnitude improvements in sensitivity. A pair of eigenvalues veer, or avoid crossing each other, as a single parameter of a vibrating system is varied. While it is well-known that the sensitivity ($s$) of modal amplitude ratio varies with strength of coupling ($\kappa$) as $s \propto\kappa^{-1} $ in the case of two identical coupled oscillators, recently, we showed that asymmetry $\alpha$ will also influence sensitivity according to $s \propto (\alpha \kappa)^{-1}$. Here, we show that further enhancements in sensitivity is possible in higher degrees of freedom ($n$) systems using energy analysis. In the case of $n-2$ uniformly coupled oscillators embedded between two oscillators, we show that $s \propto \alpha^{-1}\kappa^{1-n}$, if the blocked resonance spectra of the embedded oscillators and the end oscillators are well-separated. We also show that asymmetric coupled oscillators also enhance linear range in addition to sensitivity when compared to their symmetric counterparts. We do not use a perturbation approach in our energy analysis; hence the sensitivity and linear range expressions derived have a wider range of accuracy.


title: Measuring geometric phase without interferometry

abstract: A simple non-interferometric approach for probing the geometric phase of a structured Gaussian beam is proposed. Both the Gouy and Pancharatnam-Berry phases can be determined from the intensity distribution following a mode transformation if a part of the beam is covered at the initial plane. Moreover, the trajectories described by the centroid of the resulting intensity distributions following these transformations resemble those of ray optics, revealing an optical analogue of Ehrenfest's theorem associated with changes in geometric phase.


title: Study of Gauged Lepton Symmetry Signatures at Colliders

abstract: We construct a new gauged $U(1)_\ell$ lepton number model which is anomaly-free for each SM generation. The active neutrino masses are radiatively generated with a minimal scalar sector. The phenomenology and collider signals are studied. The interference effects among the new gauge boson, $Z_\ell$, photon, and $Z$-boson can be probed at the future $e^+e^-$ colliders even if the center-of-mass energy is below the mass of $Z_\ell$. Moreover, the electroweak precision sets a stringent bound on the mass splitting of the new lepton doublets.


title: Spine-local Type Inference

abstract: We present spine-local type inference, a partial type inference system for inferring omitted type annotations for System F terms based on local type inference. Local type inference relies on bidirectional inference rules to propagate type information into and out of adjacent nodes of the AST and restricts type-argument inference to occur only within a single node. Spine-local inference relaxes the restriction on type-argument inference by allowing it to occur only within an {application spine and improves upon it by using contextual type-argument inference. As our goal is to explore the design space of local type inference, we show that, relative to other variants, spine-local type inference enables desirable features such as first-class curried applications, partial type applications, and the ability to infer types for some terms not otherwise possible. Our approach enjoys usual properties of a bidirectional system of having a specification for our inference algorithm and predictable requirements for typing annotations, and in particular maintains some the advantages of local type inference such as a relatively simple implementation and a tendency to produce good-quality error messages when type inference fails.


title: Large-scale Distance Metric Learning with Uncertainty

abstract: Distance metric learning (DML) has been studied extensively in the past decades for its superior performance with distance-based algorithms. Most of the existing methods propose to learn a distance metric with pairwise or triplet constraints. However, the number of constraints is quadratic or even cubic in the number of the original examples, which makes it challenging for DML to handle the large-scale data set. Besides, the real-world data may contain various uncertainty, especially for the image data. The uncertainty can mislead the learning procedure and cause the performance degradation. By investigating the image data, we find that the original data can be observed from a small set of clean latent examples with different distortions. In this work, we propose the margin preserving metric learning framework to learn the distance metric and latent examples simultaneously. By leveraging the ideal properties of latent examples, the training efficiency can be improved significantly while the learned metric also becomes robust to the uncertainty in the original data. Furthermore, we can show that the metric is learned from latent examples only, but it can preserve the large margin property even for the original data. The empirical study on the benchmark image data sets demonstrates the efficacy and efficiency of the proposed method.


title: Self-force and radiation reaction in general relativity

abstract: [Abridged] This review surveys the theory of gravitational self-force in curved spacetime and its application to the gravitational two-body problem in the extreme-mass-ratio regime. We first lay the relevant formal foundation, describing the rigorous derivation of the equation of self-forced motion using matched asymptotic expansions and other ideas. We then review the progress that has been achieved in numerically calculating the self-force and its physical effects in the astrophysical scenario of a compact object inspiralling into a (rotating) massive black hole. We highlight the way in which, nowadays, self-force calculations make a fruitful contact with other approaches to the two-body problem and help inform an accurate universal model of binary black hole inspirals, valid across all mass ratios. We conclude with a summary of the state of the art, open problems and prospects. Our review is aimed at non-specialist readers and is for the most part self-contained and non-technical; only elementary-level acquaintance with General Relativity is assumed. Where useful, we draw on analogies with familiar concepts from Newtonian gravity or classical electrodynamics.


title: Analysis of Ergodic Rate for Transmit Antenna Selection in Low-Resolution ADC Systems

abstract: In this paper, we analyze the ergodic rate of single transmit antenna selection (TAS) in low-resolution analog-to-digital converter (ADC) systems. Using low-resolution ADCs is a potential power-reduction solution for multiple antenna systems. Low-resolution ADC systems with TAS can further reduce cost and power consumption in wireless transceivers. Considering such systems, we derive the approximated lower bound of ergodic rate with TAS. Here, we exploit the approximated distribution of the sum of Weibull random variables to address the challenge involved in analyzing the quantization error. We, then, derive the approximated ergodic rate with TAS for a single receive antenna in closed form, which reveals the TAS gain in low-resolution ADC systems. The upper bound of a single transmit and single receive antenna system under coarse quantization is derived to compare with the ergodic rate of the TAS system. The analysis shows that the TAS method achieves a large improvement in ergodic rate with a moderate number of transmit antennas. Simulation results validate the derived ergodic rates and resulting intuition.


title: Mixed-Precision Training for NLP and Speech Recognition with OpenSeq2Seq

abstract: We present OpenSeq2Seq - a TensorFlow-based toolkit for training sequence-to-sequence models that features distributed and mixed-precision training. Benchmarks on machine translation and speech recognition tasks show that models built using OpenSeq2Seq give state-of-the-art performance at 1.5-3x less training time. OpenSeq2Seq currently provides building blocks for models that solve a wide range of tasks including neural machine translation, automatic speech recognition, and speech synthesis.


title: Degenerate Poincar\'e-Sobolev inequalities

abstract: We study weighted Poincar\'e and Poincar\'e-Sobolev type inequalities with an explicit analysis on the dependence on the $A_p$ constants of the involved weights. We obtain inequalities of the form $$ \left (\frac{1}{w(Q)}\int_Q|f-f_Q|^{q}w\right )^\frac{1}{q}\le C_w\ell(Q)\left (\frac{1}{w(Q)}\int_Q |\nabla f|^p w\right )^\frac{1}{p}, $$ with different quantitative estimates for both the exponent $q$ and the constant $C_w$. We will derive those estimates together with a large variety of related results as a consequence of a general selfimproving property shared by functions satisfying the inequality $$ \frac{1}{|Q|}\int_Q |f-f_Q| d\mu \le a(Q), $$ for all cubes $Q\subset\mathbb{R}^n$ and where $a$ is some functional that obeys a specific discrete geometrical summability condition. We introduce a Sobolev-type exponent $p^*_w>p$ associated to the weight $w$ and obtain further improvements involving $L^{p^*_w}$ norms on the left hand side of the inequality above. For the endpoint case of $A_1$ weights we reach the classical critical Sobolev exponent $p^*=\frac{pn}{n-p}$ which is the largest possible and provide different type of quantitative estimates for $C_w$. We also show that this best possible estimate cannot hold with an exponent on the $A_1$ constant smaller than $1/p$. We also provide an argument based on extrapolation ideas showing that there is no $(p,p)$, $p\geq1$, Poincar\'e inequality valid for the whole class of $RH_\infty$ weights by showing their intimate connection with the failure of Poincar\'e inequalities, $(p,p)$ in the range $0<p<1$.


title: A Study of Question Effectiveness Using Reddit "Ask Me Anything" Threads

abstract: Asking effective questions is a powerful social skill. In this paper we seek to build computational models that learn to discriminate effective questions from ineffective ones. Armed with such a capability, future advanced systems can evaluate the quality of questions and provide suggestions for effective question wording. We create a large-scale, real-world dataset that contains over 400,000 questions collected from Reddit "Ask Me Anything" threads. Each thread resembles an online press conference where questions compete with each other for attention from the host. This dataset enables the development of a class of computational models for predicting whether a question will be answered. We develop a new convolutional neural network architecture with variable-length context and demonstrate the efficacy of the model by comparing it with state-of-the-art baselines and human judges.


title: Toward Extractive Summarization of Online Forum Discussions via Hierarchical Attention Networks

abstract: Forum threads are lengthy and rich in content. Concise thread summaries will benefit both newcomers seeking information and those who participate in the discussion. Few studies, however, have examined the task of forum thread summarization. In this work we make the first attempt to adapt the hierarchical attention networks for thread summarization. The model draws on the recent development of neural attention mechanisms to build sentence and thread representations and use them for summarization. Our results indicate that the proposed approach can outperform a range of competitive baselines. Further, a redundancy removal step is crucial for achieving outstanding results.


title: Estimating Shell-Index in a Graph with Local Information

abstract: For network scientists, it has always been an interesting problem to identify the influential nodes in a given network. The k-shell decomposition method is a widely used method which assigns a shell-index value to each node based on its influential power. The k-shell method requires the global information of the network to compute the shell-index of a node that is infeasible for large-scale real-world dynamic networks. In this work, we propose a method to estimate the shell-index of a node using its local information. We also propose hill-climbing based approach to hit the top-ranked nodes in a small number of steps. We further discuss a method to estimate the rank of a node based on the proposed estimator.


title: Reinforced Extractive Summarization with Question-Focused Rewards

abstract: We investigate a new training paradigm for extractive summarization. Traditionally, human abstracts are used to derive goldstandard labels for extraction units. However, the labels are often inaccurate, because human abstracts and source documents cannot be easily aligned at the word level. In this paper we convert human abstracts to a set of Cloze-style comprehension questions. System summaries are encouraged to preserve salient source content useful for answering questions and share common words with the abstracts. We use reinforcement learning to explore the space of possible extractive summaries and introduce a question-focused reward function to promote concise, fluent, and informative summaries. Our experiments show that the proposed method is effective. It surpasses state-of-the-art systems on the standard summarization dataset.


title: Modeling Language Vagueness in Privacy Policies using Deep Neural Networks

abstract: Website privacy policies are too long to read and difficult to understand. The over-sophisticated language makes privacy notices to be less effective than they should be. People become even less willing to share their personal information when they perceive the privacy policy as vague. This paper focuses on decoding vagueness from a natural language processing perspective. While thoroughly identifying the vague terms and their linguistic scope remains an elusive challenge, in this work we seek to learn vector representations of words in privacy policies using deep neural networks. The vector representations are fed to an interactive visualization tool (LSTMVis) to test on their ability to discover syntactically and semantically related vague terms. The approach holds promise for modeling and understanding language vagueness.


title: Observations of Heteroclinic Bifurcations in Resistive MHD Simulations of the Plasma Response to Resonant Magnetic Perturbations

abstract: A new class of static magnetohydrodynamic (MHD) magnetic island bifurcations is identified in rotating spherical tokamak plasmas during single- and two-fluid resistive MHD simulations. As the magnitude of an externally applied non-axisymmetric magnetic field perturbation is increased in these simulations, the internal flux surfaces that make up a sub-set of the resonant helical magnetic islands in the plasma gradually elongate and undergo heteroclinic bifurcations. The bifurcation results in the creation of a new set of hyperbolic-elliptic fixed points as predicted by the Poincar\'e-Birkoff fixed point theorem. Field line calculations without including the resistive MHD plasma response to the applied perturbation field do not undergo this class of bifurcations indicating the importance of plasma self-organization in the bifurcation process.


title: Automatic Summarization of Student Course Feedback

abstract: Student course feedback is generated daily in both classrooms and online course discussion forums. Traditionally, instructors manually analyze these responses in a costly manner. In this work, we propose a new approach to summarizing student course feedback based on the integer linear programming (ILP) framework. Our approach allows different student responses to share co-occurrence statistics and alleviates sparsity issues. Experimental results on a student feedback corpus show that our approach outperforms a range of baselines in terms of both ROUGE scores and human evaluation.


title: An Improved Phrase-based Approach to Annotating and Summarizing Student Course Responses

abstract: Teaching large classes remains a great challenge, primarily because it is difficult to attend to all the student needs in a timely manner. Automatic text summarization systems can be leveraged to summarize the student feedback, submitted immediately after each lecture, but it is left to be discovered what makes a good summary for student responses. In this work we explore a new methodology that effectively extracts summary phrases from the student responses. Each phrase is tagged with the number of students who raise the issue. The phrases are evaluated along two dimensions: with respect to text content, they should be informative and well-formed, measured by the ROUGE metric; additionally, they shall attend to the most pressing student needs, measured by a newly proposed metric. This work is enabled by a phrase-based annotation and highlighting scheme, which is new to the summarization task. The phrase-based framework allows us to summarize the student responses into a set of bullet points and present to the instructor promptly.


title: Three-Dimensional Radiotherapy Dose Prediction on Head and Neck Cancer Patients with a Hierarchically Densely Connected U-net Deep Learning Architecture

abstract: The treatment planning process for patients with head and neck (H&N) cancer is regarded as one of the most complicated due to large target volume, multiple prescription dose levels, and many radiation-sensitive critical structures near the target. Treatment planning for this site requires a high level of human expertise and a tremendous amount of effort to produce personalized high quality plans, taking as long as a week, which deteriorates the chances of tumor control and patient survival. To solve this problem, we propose to investigate a deep learning-based dose prediction model, Hierarchically Densely Connected U-net, based on two highly popular network architectures: U-net and DenseNet. We find that this new architecture is able to accurately and efficiently predict the dose distribution, outperforming the other two models, the Standard U-net and DenseNet, in homogeneity, dose conformity, and dose coverage on the test data. Averaging across all organs at risk, our proposed model is capable of predicting the organ-at-risk max dose within 6.3% and mean dose within 5.1% of the prescription dose on the test data. The other models, the Standard U-net and DenseNet, performed worse, having an averaged organ-at-risk max dose prediction error of 8.2% and 9.3%, respectively, and averaged mean dose prediction error of 6.4% and 6.8%, respectively. In addition, our proposed model used 12 times less trainable parameters than the Standard U-net, and predicted the patient dose 4 times faster than DenseNet.


title: Signatures of atomic-scale structure in the energy dispersion and coherence of a Si quantum-dot qubit

abstract: We report anomalous behavior in the energy dispersion of a three-electron double-quantum-dot hybrid qubit and argue that it is caused by atomic-scale disorder at the quantum-well interface. By employing tight-binding simulations, we identify potential disorder profiles that induce behavior consistent with the experiments. The results indicate that disorder can give rise to "sweet spots" where the decoherence caused by charge noise is suppressed, even in a parameter regime where true sweet spots are unexpected. Conversely, "hot spots" where the decoherence is enhanced can also occur. Our results suggest that, under appropriate conditions, interfacial atomic structure can be used as a tool to enhance the fidelity of Si double-dot qubits.


title: Toward Abstractive Summarization Using Semantic Representations

abstract: We present a novel abstractive summarization framework that draws on the recent development of a treebank for the Abstract Meaning Representation (AMR). In this framework, the source text is parsed to a set of AMR graphs, the graphs are transformed into a summary graph, and then text is generated from the summary graph. We focus on the graph-to-graph transformation that reduces the source semantic graph into a summary graph, making use of an existing AMR parser and assuming the eventual availability of an AMR-to-text generator. The framework is data-driven, trainable, and not specifically designed for a particular domain. Experiments on gold-standard AMR annotations and system parses show promising results. Code is available at: https://github.com/summarization


title: Nilpotent Morse algebra and time evolution of certain associated coherent states

abstract: We provide the time evolutions of the linear and nonlinear coherent states for several systems characterized by different energy spectra, and we identify the regions in the parameter space where these systems behave closer to the classical systems. The Morse system is algebraically found within the frame of generalized Heisenberg algebra(GHA). We demonstrate that this system is described by a nilpotency condition. Then, we propose a construction of coherent states for the Morse oscillator.


title: Unsupervised Learning for Trustworthy IoT

abstract: The advancement of Internet-of-Things (IoT) edge devices with various types of sensors enables us to harness diverse information with Mobile Crowd-Sensing applications (MCS). This highly dynamic setting entails the collection of ubiquitous data traces, originating from sensors carried by people, introducing new information security challenges; one of them being the preservation of data trustworthiness. What is needed in these settings is the timely analysis of these large datasets to produce accurate insights on the correctness of user reports. Existing data mining and other artificial intelligence methods are the most popular to gain hidden insights from IoT data, albeit with many challenges. In this paper, we first model the cyber trustworthiness of MCS reports in the presence of intelligent and colluding adversaries. We then rigorously assess, using real IoT datasets, the effectiveness and accuracy of well-known data mining algorithms when employed towards IoT security and privacy. By taking into account the spatio-temporal changes of the underlying phenomena, we demonstrate how concept drifts can masquerade the existence of attackers and their impact on the accuracy of both the clustering and classification processes. Our initial set of results clearly show that these unsupervised learning algorithms are prone to adversarial infection, thus, magnifying the need for further research in the field by leveraging a mix of advanced machine learning models and mathematical optimization techniques.


title: Deep Convolutional Neural Networks for Map-Type Classification

abstract: Maps are an important medium that enable people to comprehensively understand the configuration of cultural activities and natural elements over different times and places. Although massive maps are available in the digital era, how to effectively and accurately access the required map remains a challenge today. Previous works partially related to map-type classification mainly focused on map comparison and map matching at the local scale. The features derived from local map areas might be insufficient to characterize map content. To facilitate establishing an automatic approach for accessing the needed map, this paper reports our investigation into using deep learning techniques to recognize seven types of map, including topographic map, terrain map, physical map, urban scene map, the National Map, 3D map, nighttime map, orthophoto map, and land cover classification map. Experimental results show that the state-of-the-art deep convolutional neural networks can support automatic map-type classification. Additionally, the classification accuracy varies according to different map-types. We hope our work can contribute to the implementation of deep learning techniques in cartographical community and advance the progress of Geographical Artificial Intelligence (GeoAI).


title: A large-diameter cryogenic rotation stage for half-wave plate polarization modulation on the POLARBEAR-2 experiment

abstract: We describe the design of a cryogenic rotation stage (CRS) for use with the cryogenic half-wave plate (CHWP) polarization modulator on the POLARBEAR-2b and POLARBEAR-2c (PB2b/c) cosmic microwave background (CMB) experiments, the second and third installments of the Simons Array. Rapid modulation of the CMB polarization signal using a CHWP suppresses 1/f contamination due to atmospheric turbulence and allows a single polarimeter to measure both polarization states, mitigating systematic effects that arise when differencing orthogonal detectors. To modulate the full detector array while avoiding excess photon loading due to thermal emission, the CHWP must have a clear-aperture diameter of > 450 mm and be cooled to < 100 K. We have designed a 454-mm-clear-aperture, < 65 K CRS using a superconducting magnetic bearing driven by a synchronous magnetic motor. We present the specifications for the CRS, its interfacing to the PB2b/c receiver cryostat, its performance in a stand-alone test, and plans for future work.


title: On the index of pseudo-differential operators on compact Lie groups

abstract: In this note we study the analytical index of pseudo-differential operators by using the notion of (infinite dimensional) operator-valued symbols (in the sense of Ruzhansky and Turunen). Our main tools will be the McKean-Singer index formula together with the operator-valued functional calculus developed here.


title: Versatile parametrization of the perturbation growth rate on the phantom brane

abstract: We derive an analytical expression for the growth rate of matter density perturbations on the phantom brane (which is the normal branch of the Dvali-Gabadadze-Porrati model). This model is characterized by a phantomlike effective equation of state for dark energy at the present epoch. It agrees very well with observations. We demonstrate that the traditional parametrization $f=\Omega_m^\gamma$ with a quasiconstant growth index $\gamma$ is not successful in this case. Based on a power series expansion at large redshifts, we propose a different parametrization for this model: $f=\Omega_m^\gamma\left(1+\frac{b}{\ell H}\right)^\beta$, where $\beta$ and $b$ are constants. Our numerical simulations demonstrate that this new parametrization describes the growth rate with great accuracy - the maximum error being $\leq 0.1\%$ for parameter values consistent with observations.


title: Robust Nonparametric Regression under Huber's $\epsilon$-contamination Model

abstract: We consider the non-parametric regression problem under Huber's $\epsilon$-contamination model, in which an $\epsilon$ fraction of observations are subject to arbitrary adversarial noise. We first show that a simple local binning median step can effectively remove the adversary noise and this median estimator is minimax optimal up to absolute constants over the H\"{o}lder function class with smoothness parameters smaller than or equal to 1. Furthermore, when the underlying function has higher smoothness, we show that using local binning median as pre-preprocessing step to remove the adversarial noise, then we can apply any non-parametric estimator on top of the medians. In particular we show local median binning followed by kernel smoothing and local polynomial regression achieve minimaxity over H\"{o}lder and Sobolev classes with arbitrary smoothness parameters. Our main proof technique is a decoupled analysis of adversary noise and stochastic noise, which can be potentially applied to other robust estimation problems. We also provide numerical results to verify the effectiveness of our proposed methods.

categories: math.ST cs.DS cs.LG stat.ME stat.ML stat.TH


title: Semi-supervised Deep Kernel Learning: Regression with Unlabeled Data by Minimizing Predictive Variance

abstract: Large amounts of labeled data are typically required to train deep learning models. For many real-world problems, however, acquiring additional data can be expensive or even impossible. We present semi-supervised deep kernel learning (SSDKL), a semi-supervised regression model based on minimizing predictive variance in the posterior regularization framework. SSDKL combines the hierarchical representation learning of neural networks with the probabilistic modeling capabilities of Gaussian processes. By leveraging unlabeled data, we show improvements on a diverse set of real-world regression tasks over supervised deep kernel learning and semi-supervised methods such as VAT and mean teacher adapted for regression.


title: The Singular Values of Convolutional Layers

abstract: We characterize the singular values of the linear transformation associated with a standard 2D multi-channel convolutional layer, enabling their efficient computation. This characterization also leads to an algorithm for projecting a convolutional layer onto an operator-norm ball. We show that this is an effective regularizer; for example, it improves the test error of a deep residual network using batch normalization on CIFAR-10 from 6.2\% to 5.3\%.


title: On the non-existence of linear perfect Lee codes: The Zhang-Ge condition and a new polynomial criterion

abstract: The Golomb-Welch conjecture (1968) states that there are no $e$-perfect Lee codes in $\mathbb{Z}^n$ for $n\geq 3$ and $e\geq 2$. This conjecture remains open even for linear codes. A recent result of Zhang and Ge establishes the non-existence of linear $e$-perfect Lee codes in $\mathbb{Z}^n$ for infinitely many dimensions $n$, for $e=3$ and $4$. In this paper we extend this result in two ways. First, using the non-existence criterion of Zhang and Ge together with a generalized version of Lucas' theorem we extend the above result for almost all $e$ (i.e. a subset of positive integers with density $1$). Namely, if $e$ contains a digit $1$ in its base-$3$ representation which is not in the unit place (e.g. $e=3,4$) there are no linear $e$-perfect Lee codes in $\mathbb{Z}^n$ for infinitely many dimensions $n$. Next, based on a family of polynomials (the $Q$-polynomials), we present a new criterion for the non-existence of certain lattice tilings. This criterion depends on a prime $p$ and a tile $B$. For $p=3$ and $B$ being a Lee ball we recover the criterion of Zhang and Ge.


title: Contact-Aided Invariant Extended Kalman Filtering for Legged Robot State Estimation

abstract: This paper derives a contact-aided inertial navigation observer for a 3D bipedal robot using the theory of invariant observer design. Aided inertial navigation is fundamentally a nonlinear observer design problem; thus, current solutions are based on approximations of the system dynamics, such as an Extended Kalman Filter (EKF), which uses a system's Jacobian linearization along the current best estimate of its trajectory. On the basis of the theory of invariant observer design by Barrau and Bonnabel, and in particular, the Invariant EKF (InEKF), we show that the error dynamics of the point contact-inertial system follows a log-linear autonomous differential equation; hence, the observable state variables can be rendered convergent with a domain of attraction that is independent of the system's trajectory. Due to the log-linear form of the error dynamics, it is not necessary to perform a nonlinear observability analysis to show that when using an Inertial Measurement Unit (IMU) and contact sensors, the absolute position of the robot and a rotation about the gravity vector (yaw) are unobservable. We further augment the state of the developed InEKF with IMU biases, as the online estimation of these parameters has a crucial impact on system performance. We evaluate the convergence of the proposed system with the commonly used quaternion-based EKF observer using a Monte-Carlo simulation. In addition, our experimental evaluation using a Cassie-series bipedal robot shows that the contact-aided InEKF provides better performance in comparison with the quaternion-based EKF as a result of exploiting symmetries present in the system dynamics.


title: Construction of negatively curved complete intersections

abstract: Using the Donaldson-Auroux theory, we construct complete intersections in complex projective manifolds, which are negatively curved in various ways. In particular, we prove the existence of compact simply connected Kahler manifolds with negative holomorphic bisectional curvature. We also construct hyperbolic hypersurfaces and we obtain bounds for their Kobayashi hyperbolic metric.


title: Online Advance Admission Scheduling for Services with Customer Preferences

abstract: We study web and mobile applications that are used to schedule advance service, from medical appointments to restaurant reservations. We model them as online weighted bipartite matching problems with non-stationary arrivals. We propose new algorithms with performance guarantees for this class of problems. Specifically, we show that the expected performance of our algorithms is bounded below by $1-\sqrt{\frac{2}{\pi}}\frac{1}{\sqrt{k}}+O(\frac{1}{k})$ times that of an optimal offline algorithm, which knows all future information upfront, where $k$ is the minimum capacity of a resource. This is the tightest known lower bound. This performance analysis holds for any Poisson arrival process. Our algorithms can also be applied to a number of related problems, including display ad allocation problems and revenue management problems for opaque products. We test the empirical performance of our algorithms against several well-known heuristics by using appointment scheduling data from a major academic hospital system in New York City. The results show that the algorithms exhibit the best performance among all the tested policies. In particular, our algorithms are $21\%$ more effective than the actual scheduling strategy used in the hospital system according to our performance metric.


title: Fast Policy Learning through Imitation and Reinforcement

abstract: Imitation learning (IL) consists of a set of tools that leverage expert demonstrations to quickly learn policies. However, if the expert is suboptimal, IL can yield policies with inferior performance compared to reinforcement learning (RL). In this paper, we aim to provide an algorithm that combines the best aspects of RL and IL. We accomplish this by formulating several popular RL and IL algorithms in a common mirror descent framework, showing that these algorithms can be viewed as a variation on a single approach. We then propose LOKI, a strategy for policy learning that first performs a small but random number of IL iterations before switching to a policy gradient RL method. We show that if the switching time is properly randomized, LOKI can learn to outperform a suboptimal expert and converge faster than running policy gradient from scratch. Finally, we evaluate the performance of LOKI experimentally in several simulated environments.


title: Connecting Distant Entities with Induction through Conditional Random Fields for Named Entity Recognition: Precursor-Induced CRF

abstract: This paper presents a method of designing specific high-order dependency factor on the linear chain conditional random fields (CRFs) for named entity recognition (NER). Named entities tend to be separated from each other by multiple outside tokens in a text, and thus the first-order CRF, as well as the second-order CRF, may innately lose transition information between distant named entities. The proposed design uses outside label in NER as a transmission medium of precedent entity information on the CRF. Then, empirical results apparently demonstrate that it is possible to exploit long-distance label dependency in the original first-order linear chain CRF structure upon NER while reducing computational loss rather than in the second-order CRF.


title: A Theory of Encodings and Expressiveness

abstract: This paper proposes a definition of what it means for one system description language to encode another one, thereby enabling an ordering of system description languages with respect to expressive power. I compare the proposed definition with other definitions of encoding and expressiveness found in the literature, and illustrate it on a well-known case study: the encoding of the synchronous in the asynchronous $\pi$-calculus.


title: Human Action Generation with Generative Adversarial Networks

abstract: Inspired by the recent advances in generative models, we introduce a human action generation model in order to generate a consecutive sequence of human motions to formulate novel actions. We propose a framework of an autoencoder and a generative adversarial network (GAN) to produce multiple and consecutive human actions conditioned on the initial state and the given class label. The proposed model is trained in an end-to-end fashion, where the autoencoder is jointly trained with the GAN. The model is trained on the NTU RGB+D dataset and we show that the proposed model can generate different styles of actions. Moreover, the model can successfully generate a sequence of novel actions given different action labels as conditions. The conventional human action prediction and generation models lack those features, which are essential for practical applications.


title: Relative periodic solutions of the n-vortex problem on the sphere

abstract: This paper gives an analysis of the movement of n vortices on the sphere. When the vortices have equal circulation, there is a polygonal solution that rotates uniformly around its center. The main result concerns the global existence of relative periodic solutions that emerge from this polygonal relative equilibrium. In addition, it is proved that the families of relative periodic solutions contain dense sets of choreographies.


title: Initial features of an X-class flare observed with SUMER and TRACE

abstract: A class X1.5 flare started on the solar limb at 00:43 UT on 21 April 2002, which was associated with a CME observed at 01:27 UT by LASCO C2. The coordinated analyses of this flare include TRACE 195 {\AA} images and SUMER spectra in lines of Fe XXI, Fe XII, and C II. We find that: 1) The flare began with a jet seen by TRACE, which was detected by SUMER in the C II line as a strong brightening with blue shifts up to 170 km s$^{-1}$. At that time only weak emission was detected in Fe XII and Fe XXI. 2) Subsequently, a weak looplike brightening started south of the jet, moving outwards with an average speed of about 150 km s$^{-1}$. The SUMER spectra responded this moving loop as separatingly brightenings, visible only in the Fe XXI line. The southwards moving component contains red- and blue-shifted emission features and has an apparent speed of $\sim$120 km s$^{-1}$. The absence of signatures in Fe XII and C II lines indicates that the moving weak loop seen by TRACE corresponds to the emission from very hot plasma, in a blend line in the 195 {\AA} bandpass due to Fe XXIV formed at T > 10 MK. 3) The trigger mechanism of the flare and associated CME can be interpreted in the same way as that proposed by Wang et al. (2002) for an event with similar initial features.


title: Chiral magnetohydrodynamic turbulence in core-collapse supernovae

abstract: Macroscopic evolution of relativistic charged matter with chirality imbalance is described by the chiral magnetohydrodynamics (chiral MHD). One such astrophysical system is high-density lepton matter in core-collapse supernovae where the chirality imbalance of leptons is generated by the parity-violating weak processes. After developing the chiral MHD equations for this system, we perform numerical simulations for the real-time evolutions of magnetic and flow fields, and study the properties of the chiral MHD turbulence. In particular, we observe the inverse cascade of the magnetic energy and the fluid kinetic energy. Our results suggest that the chiral effects that have been neglected so far can reverse the turbulent cascade direction from direct to inverse cascade, which would impact the magnetohydrodynamics evolution in the supernova core toward explosion.


title: Combining Modified Weibull Distribution Models for Power System Reliability Forecast

abstract: In recent years, under deregulated environment, electric utility companies have been encouraged to ensure maximum system reliability through the employment of cost-effective long-term asset management strategies. To help achieve this goal, this research proposes a novel statistical approach to forecast power system asset population reliability. It uniquely combines a few modified Weibull distribution models to build a robust joint forecast model. At first, the classic age based Weibull distribution model is reviewed. In comparison, this paper proposes a few modified Weibull distribution models to incorporate special considerations for power system applications. Furthermore, this paper proposes a novel method to effectively measure the forecast accuracy and evaluate different Weibull distribution models. As a result, for a specific asset population, the suitable model(s) can be selected. More importantly, if more than one suitable model exists, these models can be mathematically combined as a joint forecast model to forecast future asset reliability. Finally, the proposed methods were applied to a Canadian utility company for the reliability forecast of electromechanical relays and the results are discussed in detail to demonstrate the practicality and usefulness of this research.


title: Enhanced-alignment Measure for Binary Foreground Map Evaluation

abstract: The existing binary foreground map (FM) measures to address various types of errors in either pixel-wise or structural ways. These measures consider pixel-level match or image-level information independently, while cognitive vision studies have shown that human vision is highly sensitive to both global information and local details in scenes. In this paper, we take a detailed look at current binary FM evaluation measures and propose a novel and effective E-measure (Enhanced-alignment measure). Our measure combines local pixel values with the image-level mean value in one term, jointly capturing image-level statistics and local pixel matching information. We demonstrate the superiority of our measure over the available measures on 4 popular datasets via 5 meta-measures, including ranking models for applications, demoting generic, random Gaussian noise maps, ground-truth switch, as well as human judgments. We find large improvements in almost all the meta-measures. For instance, in terms of application ranking, we observe improvementrangingfrom9.08% to 19.65% compared with other popular measures.


title: Generalized gravity model for human migration

abstract: The gravity model (GM) analogous to Newton's law of universal gravitation has successfully described the flow between different spatial regions, such as human migration, traffic flows, international economic trades, etc. This simple but powerful approach relies only on the 'mass' factor represented by the scale of the regions and the 'geometrical' factor represented by the geographical distance. However, when the population has a subpopulation structure distinguished by different attributes, the estimation of the flow solely from the coarse-grained geographical factors in the GM causes the loss of differential geographical information for each attribute. To exploit the full information contained in the geographical information of subpopulation structure, we generalize the GM for population flow by explicitly harnessing the subpopulation properties characterized by both attributes and geography. As a concrete example, we examine the marriage patterns between the bride and the groom clans of Korea in the past. By exploiting more refined geographical and clan information, our generalized GM properly describes the real data, a part of which could not be explained by the conventional GM. Therefore, we would like to emphasize the necessity of using our generalized version of the GM, when the information on such nongeographical subpopulation structures is available.


title: Sphere Decoder with Box Optimization for FTN Non-orthogonal FDM System

abstract: In 1975, the pioneering work of J. E. Mazo showed the potential faster-than-Nyquist (FTN) gain of single-carrier binary signal. If the inter-symbol interference is eliminated by an optimal detector, the FTN single-carrier binary signal can transmit 24.7% more bits than the Nyquist signal without any loss of bit error rate performance, which is known as the Mazo limit. In this paper, we apply sphere decoder (SD) with box optimization (BO) to reduce inter-carrier interference (ICI) in FTN non-orthogonal frequency division multiplexing (FTN-NOFDM) system. Compared with the conventional SD, SD with BO can achieve the same performance to reduce ICI, but its average number of expanded nodes in search process is significantly decreased especially for high-order modulation format, which can reduce the complexity of the receiver. When the bandwidth compression factor $\alpha$ is set to 0.802, the transmission rate of QPSK-modulated FTN-NOFDM is 24.7% faster than the Nyquist rate, and it has almost the same performance as orthogonal frequency division multiplexing (OFDM), which agrees well with the Mazo limit. The QPSK-modulated FTN-NOFDM with $\alpha$ equal to 0.5 (the spectral efficiency is 4 bit/s/Hz) outperforms 16QAM-modulated OFDM by about 1.5 dB. The 16QAM-modulated FTN-NOFDM with $\alpha$ equal to 0.67 and 0.5 (the spectral efficiency is 6 bit/s/Hz and 8 bit/s/Hz, respectively) outperforms 64QAM-modulated and 256QAM-modulated OFDM by about 1.5 dB and 2 dB, respectively. Therefore, FTN-NOFDM will be a promising modulation scheme for the future bandwidth-limited wireless communications.


title: Environment-Aware Deployment of Wireless Drones Base Stations with Google Earth Simulator

abstract: In this paper, a software-based simulator for the deployment of base station-equipped unmanned aerial vehicles (UAVs) in a cellular network is proposed. To this end, the Google Earth Engine platform and its included image processing functions are used to collect geospatial data and to identify obstacles that can disrupt the line-of-sight (LoS) communications between UAVs and ground users. Given such geographical information, three environment-aware optimal UAV deployment scenarios are investigated using the developed simulator. In the first scenario, the positions of UAVs are optimized such that the number of ground users covered by UAVs is maximized. In the second scenario, the minimum number of UAVs needed to provide full coverage for all ground users is determined. Finally, given the load requirements of the ground users, the total flight time (i.e., energy) that the UAVs need to completely serve the ground users is minimized. Simulation results using a real area of the Virginia Tech campus show that the proposed environment-aware drone deployment framework with Google Earth input significantly enhances the network performance in terms of coverage and energy consumption, compared to classical deployment approaches that do not exploit geographical information. In particular, the results show that the proposed approach yields a coverage enhancement by a factor of 2, and a 65% improvement in energy-efficiency. The results have also shown the existence of an optimal number of drones that leads to a maximum wireless coverage performance.


title: Heat localization through reduced dimensionality

abstract: We present a model to show that heat propagation away from a local source depends strongly on dimensionality, leading to dramatic localization in low-dimensional systems. An example of such a system is a carbon nanotube array. We further show that this localization is amplified due to a runaway mechanism if thermal conductivity declines rapidly with temperature. Extremely high temperatures of thousands of Kelvins and gradients of hundreds of K/{\mu}m may thus be obtained in a conductor using a modest local power source such as a laser pointer. This is of fundamental importance for high-efficiency energy conversion through thermoelectric and thermionic mechanisms, as well as various other applications.


title: Observation of gyromagnetic reversal

abstract: We report direct observation of gyromagnetic reversal, which is the sign change of gyromagnetic ratio in a ferrimagnet Ho$_3$Fe$_5$O$_{12}$, by using the Barnett effect measurement technique at low temperatures. The Barnett effect is a phenomenon in which magnetization is induced by mechanical rotation through the coupling between rotation and total angular momentum $J$ of electrons. The magnetization of Ho$_3$Fe$_5$O$_{12}$ induced by mechanical rotation disappears at 135~K and 240~K. The temperatures correspond to the magnetization compensation temperature $T_{\rm M}$ and the angular momentum compensation temperature $T_{\rm A}$, respectively. Between $T_{\rm M}$ and $T_{\rm A}$, the magnetization flips over to be parallel against the angular momentum due to the sign change of gyromagnetic ratio. This study provides an unprecedented technique to explore the gyromagnetic properties.


title: Conformal Manifolds with Boundaries or Defects

abstract: We discuss conformal manifolds for conformal field theories with boundaries or defects. Using conformal perturbation theory we derive constraints on coefficients appearing in the boundary operator product expansion and three-point functions that need to be satisfied for the existence of marginal couplings. We present several explicit examples where we confirm that $\beta$-functions vanish using a position space regularization, differential regularization. Where possible, we confirm that our $\beta$-function results agree with the existing literature.


title: Quantum Network Code for Multiple-Unicast Network with Quantum Invertible Linear Operations

abstract: This paper considers the communication over a quantum multiple-unicast network where r sender-receiver pairs communicate independent quantum states. We concretely construct a quantum network code for the quantum multiple-unicast network as a generalization of the code [Song and Hayashi, arxiv:1801.03306, 2018] for the quantum unicast network. When the given node operations are restricted to invertible linear operations between bit basis states and the rates of transmissions and interferences are restricted, our code certainly transmits a quantum state for each sender-receiver pair by n-use of the network asymptotically, which guarantees no information leakage to the other users. Our code is implemented only by the coding operation in the senders and receivers and employs no classical communication and no manipulation of the node operations. Several networks that our code can be applied are also given.


title: Deformations of Courant pairs and Poisson algebras

abstract: We study deformation of Courant pairs with a commutative algebra base. We consider the deformation cohomology bi-complex and describe a universal infinitesimal deformation. In a sequel, we formulate an extension of a given deformation of a Courant pair to another with extended base. This leads to describe the obstruction in extending a given deformation. We also discuss about the construction of versal deformation of Courant pairs. As an application, we explicitly compute universal infinitesimal deformation of Poisson algebra structures


title: Stabilization for the wave equation with singular Kelvin-Voigt damping

abstract: We consider the wave equation with Kelvin-Voigt damping in a bounded domain. The exponential stability result proposed by Liu and Rao or T\'ebou for that system assumes that the damping is localized in a neighborhood of the whole or a part of the boundary under some consideration. In this paper we propose to deal with this geometrical condition by considering a singular Kelvin-Voigt damping which is localized faraway from the boundary. In this particular case it was proved by Liu and Liu the lack of the uniform decay of the energy. However, we show that the energy of the wave equation decreases logarithmically to zero as time goes to infinity. Our method is based on the frequency domain method. The main feature of our contribution is to write the resolvent problem as a transmission system to which we apply a specific Carleman estimate.


title: Time-Shared Execution of Realtime Computer Vision Pipelines by Dynamic Partial Reconfiguration

abstract: This paper presents an FPGA runtime framework that demonstrates the feasibility of using dynamic partial reconfiguration (DPR) for time-sharing an FPGA by multiple realtime computer vision pipelines. The presented time-sharing runtime framework manages an FPGA fabric that can be round-robin time-shared by different pipelines at the time scale of individual frames. In this new use-case, the challenge is to achieve useful performance despite high reconfiguration time. The paper describes the basic runtime support as well as four optimizations necessary to achieve realtime performance given the limitations of DPR on today's FPGAs. The paper provides a characterization of a working runtime framework prototype on a Xilinx ZC706 development board. The paper also reports the performance of realtime computer vision pipelines when time-shared.


title: Test of Isospin Conservation in Thermal Neutron-induced Fission of $^{245}$Cm

abstract: We have, recently, shown that the general trends of partition-wise fission fragment mass distribution in heavy ion (HI) induced compound nuclear (CN) fission of heavy nuclei can be reproduced reasonably well by using the concept of isospin conservation, hence providing a direct evidence of isospin conservation in neutron-rich systems [1, 2, 3, 4]. In this paper, we test the concept of isospin conservation to reproduce the fission fragment mass distribution emerging from thermal neutron-induced CN fission reaction, 245Cm(nth, f). As earlier, we use Kelson's conjectures [5] to assign isospin to neutron-rich fragments emitted in fission, which suggest the formation of fission fragments in Isobaric Analog states (IAS). We calculate the relative yields of neutron-rich fragments using the concept of isospin conservation and basic isospin algebra. The calculated results reproduce quite well the experimentally known partition wise mass distributions. This highlights the usefulness of isospin as an approximately good quantum number in neutron-rich nuclei. This also allows us to predict the fragment distribution of the most symmetric Cd-Cd partition and the heavier mass fragment distributions, both not measured so far.


title: A novel hybrid score level and decision level fusion scheme for cancelable multi-biometric verification

abstract: In spite of the benefits of biometric-based authentication systems, there are few concerns raised because of the sensitivity of biometric data to outliers, low performance caused due to intra-class variations and privacy invasion caused by information leakage. To address these issues, we propose a hybrid fusion framework where only the protected modalities are combined to fulfill the requirement of secrecy and performance improvement. This paper presents a method to integrate cancelable modalities utilizing mean-closure weighting (MCW) score level and Dempster-Shafer (DS) theory based decision level fusion for iris and fingerprint to mitigate the limitations in the individual score or decision fusion mechanisms. The proposed hybrid fusion scheme incorporates the similarity scores from different matchers corresponding to each protected modality. The individual scores obtained from different matchers for each modality are combined using MCW score fusion method. The MCW technique achieves the optimal weight for each matcher involved in the score computation. Further, DS theory is applied to the induced scores to output the final decision. The rigorous experimental evaluations on three virtual databases indicate that the proposed hybrid fusion framework outperforms over the component level or individual fusion methods (score level and decision level fusion). As a result, we achieve (48%,66%), (72%,86%) and (49%,38%) of performance improvement over unimodal cancelable iris and unimodal cancelable fingerprint verification systems for Virtual_A, Virtual_B and Virtual_C databases, respectively. Also, the proposed method is robust enough to the variability of scores and outliers satisfying the requirement of secure authentication.


title: PAM: When Overloaded, Push Your Neighbor Aside!

abstract: Recently SmartNICs are widely used to accelerate service chains in NFV. However, when the SmartNIC is overloaded, casually migrating vNFs away from SmartNIC to CPU may lead to additional packet transmissions between SmartNIC and CPU. To address this problem, we present PAM, push aside migration to effectively alleviate the hot spot on SmartNIC with no performance overhead. Our key novelty is to push vNFs on the border of SmartNIC and CPU aside to release resources for the bottleneck vNF. Evaluation shows that PAM could efficiently alleviate the hot spot on SmartNIC and generate a service chain with much lower latency compared with the naive solution.


title: Unusual Superconducting Proximity Effect in Magnetically Doped Topological Josephson Junctions

abstract: The transport properties of a topological Josephson junction fabricated from a magnetically doped topological insulator (TI) were investigated. The conductance spectra of the Nb/Fe-Bi$_2$Te$_2$Se/Nb junction below 1 K showed an unusual trident-shaped zero-bias conductance peak with a tiny peak width of $\sim$ 6 $\mu$V. The central peak of the trident peak presents the dc-Josephson current, and the side peaks may reflect an induced unconventional Cooper pairing. Additionally, the critical currents followed inverse to temperature, which may also reflect the presence of an unconventional proximity effect. Furthermore, microwave irradiation derived a drastic change in the conductance spectra from the peak structure into oscillatory ones, a hallmark of the ac-Josephson supercurrent. The current-phase relation of the ac-Josephson effect under high power radiofrequency-irradiation was found to be 4$\pi$-periodic. The results suggest that the junction based on magnetically doped 3D TIs may realize an unconventional Cooper pairing, thus enabling access to the basic physics of Majorana bound states and unconventional superconductivity.


title: Hausdorff dimension in inhomogeneous Diophantine approximation

abstract: Let $\alpha$ be an irrational real number. We show that the set of $\epsilon$-badly approximable numbers \[ \mathrm{Bad}^\varepsilon (\alpha) := \{x\in [0,1]\, : \, \liminf_{|q| \to \infty} |q| \cdot \| q\alpha -x \| \geq \varepsilon \} \] has full Hausdorff dimension for some positive $\epsilon$ if and only if $\alpha$ is singular on average. The condition is equivalent to the average $\frac{1}{k} \sum_{i=1, \cdots, k} \log a_i$ of the logarithms of the partial quotients $a_i$ of $\alpha$ going to infinity with $k$. We also consider one-sided approximation, obtain a stronger result when $a_i$ tends to infinity, and establish a partial result in higher dimensions.


title: Multichannel Sparse Blind Deconvolution on the Sphere

abstract: Multichannel blind deconvolution is the problem of recovering an unknown signal $f$ and multiple unknown channels $x_i$ from their circular convolution $y_i=x_i \circledast f$ ($i=1,2,\dots,N$). We consider the case where the $x_i$'s are sparse, and convolution with $f$ is invertible. Our nonconvex optimization formulation solves for a filter $h$ on the unit sphere that produces sparse output $y_i\circledast h$. Under some technical assumptions, we show that all local minima of the objective function correspond to the inverse filter of $f$ up to an inherent sign and shift ambiguity, and all saddle points have strictly negative curvatures. This geometric structure allows successful recovery of $f$ and $x_i$ using a simple manifold gradient descent (MGD) algorithm. Our theoretical findings are complemented by numerical experiments, which demonstrate superior performance of the proposed approach over the previous methods.


title: Confluence of CHR revisited: invariants and modulo equivalence

abstract: Abstract simulation of one transition system by another is introduced as a means to simulate a potentially infinite class of similar transition sequences within a single transition sequence. This is useful for proving confluence under invariants of a given system, as it may reduce the number of proof cases to consider from infinity to a finite number. The classical confluence results for Constraint Handling Rules (CHR) can be explained in this way, using CHR as a simulation of itself. Using an abstract simulation based on a ground representation, we extend these results to include confluence under invariant and modulo equivalence, which have not been done in a satisfactory way before.


title: Superintegrable metrics on surfaces admitting integrals of degrees 1 and 4

abstract: We study Riemannian metrics on surfaces whose geodesic flows are superintegrable with one integral linear in momenta and one integral quartic in momenta. The main results of the work are local description of such metrics in terms of ordinary differential equations, integration of the equations, and description of the corresponding Poisson algebra of integrals of motion. We also give examples of such metrics that can be extended to the sphere $S^2$, and study the group of symmetries of the problem.


title: On the quantitative calculation of the cosmological constant of the quantum vacuum

abstract: It is widely believed that as one of the candidates for dark energy, the cosmological constant should relate directly with the quantum vacuum. Despite decades of theoretical effects, however, there is still no quantitative interpretation of the observed cosmological constant. In this work, we consider the quantum state of the whole universe including the quantum vacuum. Everett's relative-state formulation, vacuum quantum fluctuations and the validity of Einstein's field equation at macroscopic scales imply that our universe wave function might be a superposition of states with different cosmological constants. In the density matrix formulation of this quantum universe, the quasi-thermal equilibrium state is described by a specific cosmological constant with the maximum probability. Without any fitting parameter, the ratio between the vacuum energy density due to the cosmological constant (dark energy) and the critical density of the universe is 68.85% based on simple equations in our theoretic model, which agrees very well with the best current astronomical observations of 68.5%.


title: Homogeneity in the search of the Dark Sector

abstract: In the era of precision cosmology, we investigate an novel method to probe the Dark Universe. By studying the fractality of the universe, we estimate a characteristic scale of homogeneity. Using a fisher analysis, we investigate the potential impact of this scale to the cosmological information we can gain from the Euclid satellite, and therefore understand the nature of Dark Energy and Dark matter of our universe.


title: Critical collapse of ultra-relativistic fluids: damping or growth of aspherical deformations

abstract: We perform fully nonlinear numerical simulations to study aspherical deformations of the critical self-similar solution in the gravitational collapse of ultra-relativistic fluids. Adopting a perturbative calculation, Gundlach predicted that these perturbations behave like damped or growing oscillations, with the frequency and damping (or growth) rates depending on the equation of state. We consider a number of different equations of state and degrees of asphericity and find very good agreement with the findings of Gundlach for polar $\ell = 2$ modes. For sufficiently soft equations of state, the modes are damped, meaning that, in the limit of perfect fine-tuning, the spherically symmetric critical solution is recovered. We find that the degree of asphericity has at most a small effect on the frequency and damping parameter, or on the critical exponents in the power-law scalings. Our findings also confirm, for the first time, Gundlach's prediction that the $\ell = 2$ modes become unstable for sufficiently stiff equations of state. In this regime the spherically symmetric self-similar solution can no longer be recovered by fine-tuning to the black-hole threshold, and one can no longer expect power-law scaling to hold to arbitrarily small scales.


title: Novel Phonoreceptive Mechanism of the Cochlear for Low-frequency Sound

abstract: Because the cochlear is very small and complex, vibration data of the whole basement membrane are not yet available from existing experiments, To address this question, this work technically adopts the mathematical and biological methods to establish a theoretical analytical model of the Spiral cochlear , combined with medical and modern light source imaging experimental data. In addition, a numerical model of a real human ear is also established. By performing numerous calculations, the results reproduce the known travelling wave vibration of basement membrane. Meanwhile, an exciting finding that revealing a new vibration mode is obtained. More importantly, this newly discovered model intrinsically explain many experimental observations that cannot be explained by travelling wave theory, which solves a long standing various queries to travelling wave vibration among researchers. These results not only complement vibration data that are inaccessible through experiments but also reveal a new hearing mechanism.


title: Lower dimensional corpuscular gravity and the end of black hole evaporation

abstract: Black holes in $d < 3$ spatial dimensions are studied from the perspective of the corpuscular model of gravitation, in which black holes are described as Bose-Einstein condensates of (virtual soft) gravitons. In particular, since the energy of these gravitons should increase as the black hole evaporates, eventually approaching the Planck scale, the lower dimensional cases could provide important insight into the late stages and end of Hawking evaporation. We show that the occupation number of gravitons in the condensate scales holographically in all dimensions as $N_d \sim \left(L_d/\ell_{\rm p}\right)^{d-1}$, where $L_d$ is the relevant length for the system in the $(1+d)$-dimensional space-time. In particular, this analysis shows that black holes cannot contain more than a few gravitons in $d=1$. Since dimensional reduction is a common feature of many models of quantum gravity, this result can shed light on the end of the Hawking evaporation. We also consider $(1+1)$-dimensional cosmology in the context of corpuscular gravity, and show that the Friedmann equation reproduces the expected holographic scaling as in higher dimensions.


title: Fine-Grained Age Estimation in the wild with Attention LSTM Networks

abstract: Age estimation from a single face image has been an essential task in the field of human-computer interaction and computer vision, which has a wide range of practical application values. Accuracy of age estimation of face images in the wild is relatively low for existing methods, because they only take into account the global features, while neglecting the fine-grained features of age-sensitive areas. We propose a novel method based on our attention long short-term memory (AL) network for fine-grained age estimation in the wild, inspired by the fine-grained categories and the visual attention mechanism. This method combines the residual networks (ResNets) or the residual network of residual network (RoR) models with LSTM units to construct AL-ResNets or AL-RoR networks to extract local features of age-sensitive regions, which effectively improves the age estimation accuracy. First, a ResNets or a RoR model pretrained on ImageNet dataset is selected as the basic model, which is then fine-tuned on the IMDB-WIKI-101 dataset for age estimation. Then, we fine-tune the ResNets or the RoR on the target age datasets to extract the global features of face images. To extract the local features of age-sensitive regions, the LSTM unit is then presented to obtain the coordinates of the agesensitive region automatically. Finally, the age group classification is conducted directly on the Adience dataset, and age-regression experiments are performed by the Deep EXpectation algorithm (DEX) on MORPH Album 2, FG-NET and 15/16LAP datasets. By combining the global and the local features, we obtain our final prediction results. Experimental results illustrate the effectiveness and robustness of the proposed AL-ResNets or AL-RoR for age estimation in the wild, where it achieves better state-of-the-art performance than all other convolutional neural network.


title: On the number of limit cycles for generic Lotka-Volterra system and Bogdanov-Takens system under perturbations of piecewise smooth polynomials

abstract: In this paper, we consider the bifurcation of limit cycles for generic L-V system ($\dot{x}=y+x^2-y^2\pm\frac{4}{\sqrt{3}}xy,~\dot{y}=-x+2xy$) and B-T system ($\dot{x}=y,~\dot{y}=-x+x^2$) under perturbations of piecewise smooth polynomials with degree $n$. Here the switching line is $y=0$. By using Picard-Fuchs equations, we bound the number of zeros of first order Melnikov function which controls the number of limit cycles bifurcating from the center. It is proved that the upper bounds of the number of limit cycles for generic L-V system and B-T system are respectively $36n-65~(n\geq4),~37,57,93~(n=1,2,3)$ and $12n+6$.


title: Expansion of a mildly relativistic hot pair cloud into an electron-proton plasma

abstract: The expansion of a charge-neutral cloud of electrons and positrons with the temperature 1 MeV into an unmagnetized ambient plasma is examined with a 2D particle-in-cell (PIC) simulation. The pair outflow drives solitary waves in the ambient protons. Their bipolar electric fields attract electrons of the outflowing pair cloud and repel positrons. These fields can reflect some of the protons thereby accelerating them to almost an MeV. Ion acoustic solitary waves are thus an efficient means to couple energy from the pair cloud to protons. The scattering of the electrons and positrons by the electric field slows down their expansion to a nonrelativistic speed. Only a dilute pair outflow reaches the expansion speed expected from the cloud's thermal speed. Its positrons are more energetic than its electrons. In time an instability grows at the front of the dense slow-moving part of the pair cloud, which magnetizes the plasma. The instability is driven by the interaction of the outflowing positrons with the protons. These results shed light on how magnetic fields are created and ions are accelerated in pair-loaded astrophysical jets and winds.


title: On the non-transverse homoclinic channel of a center manifold

abstract: We consider a scenario when a stable and unstable manifolds of compact center manifold of a saddle-center coincide. The normal form of the ODE governing the system near the center manifold is derived and so is the normal form of the return map to the neighbourhood of the center manifold. The limit dynamics of the return map is investigated by showing that it might take the form of a Henon-like map possessing a Lorenz-like attractor or satisfy 'cone-field condition' resulting in partial hyperbolicity. We consider also motivating example from game theory.


title: NGTS-2b: An inflated hot-Jupiter transiting a bright F-dwarf

abstract: We report the discovery of NGTS-2b, an inflated hot-Jupiter transiting a bright F5V star (2MASS J14202949-3112074; $T_{\rm eff}$=$6478^{+94}_{-89}$ K), discovered as part of the Next Generation Transit Survey (NGTS). The planet is in a P=4.51 day orbit with mass $0.74^{+0.13}_{-0.12}$ M$_{J}$, radius $1.595^{+0.047}_{-0.045}$ R$_{J}$ and density $0.226^{+0.040}_{-0.038}$ g cm$^{-3}$; therefore one of the lowest density exoplanets currently known. With a relatively deep 1.0% transit around a bright V=10.96 host star, NGTS-2b is a prime target for probing giant planet composition via atmospheric transmission spectroscopy. The rapid rotation ($vsin$i=$15.2\pm0.8$ km s$^{-1}$) also makes this system an excellent candidate for Rossiter-McLaughlin follow-up observations, to measure the sky-projected stellar obliquity. NGTS-2b was confirmed without the need for follow-up photometry, due to the high precision of the NGTS photometry.


title: On a surface isolated by Gambier

abstract: We provide a Lax pair for the surfaces of Voss and Guichard, and we show that such particular surfaces considered by Gambier are characterized by a third Painlev\'e function.


title: Geometric Understanding of Deep Learning

abstract: Deep learning is the mainstream technique for many machine learning tasks, including image recognition, machine translation, speech recognition, and so on. It has outperformed conventional methods in various fields and achieved great successes. Unfortunately, the understanding on how it works remains unclear. It has the central importance to lay down the theoretic foundation for deep learning. In this work, we give a geometric view to understand deep learning: we show that the fundamental principle attributing to the success is the manifold structure in data, namely natural high dimensional data concentrates close to a low-dimensional manifold, deep learning learns the manifold and the probability distribution on it. We further introduce the concepts of rectified linear complexity for deep neural network measuring its learning capability, rectified linear complexity of an embedding manifold describing the difficulty to be learned. Then we show for any deep neural network with fixed architecture, there exists a manifold that cannot be learned by the network. Finally, we propose to apply optimal mass transportation theory to control the probability distribution in the latent space.


title: Weil sums of binomials: properties, applications, and open problems

abstract: We present a survey on Weil sums in which an additive character of a finite field $F$ is applied to a binomial whose individual terms (monomials) become permutations of $F$ when regarded as functions. Then we indicate how these Weil sums are used in applications, especially how they characterize the nonlinearity of power permutations and the correlation of linear recursive sequences over finite fields. In these applications, one is interested in the spectrum of Weil sum values that are obtained as the coefficients in the binomial are varied. We review the basic properties of such spectra, and then give a survey of current topics of research: Archimedean and non-Archimedean bounds on the sums, the number of values in the spectrum, and the presence or absence of zero in the spectrum. We indicate some important open problems and discuss progress that has been made on them.


title: Polarization-state-resolved high-harmonic spectroscopy of solids

abstract: Attosecond metrology sensitive to sub-optical-cycle electronic and structural dynamics is opening up new avenues for ultrafast spectroscopy of condensed matter. Using intense lightwaves to precisely control the extremely fast carrier dynamics in crystals holds great promise for next-generation electronics and devices operating at petahertz bandwidth. The carrier dynamics can produce high-order harmonics of the driving light field extending up into the extreme-ultraviolet region. Here, we introduce polarization-state-resolved high-harmonic spectroscopy of solids, which provides deeper insights into both electronic and structural dynamics occuring within a single cycle of light. Performing high-harmonic generation measurements from silicon and quartz samples, we demonstrate that the polarization states of high-order harmonics emitted from solids are not only determined by crystal symmetries, but can be dynamically controlled, as a consequence of the intertwined interband and intraband electronic dynamics, responsible for the harmonic generation. We exploit this symmetry-dynamics duality to efficiently generate circularly polarized harmonics from elliptically polarized driver pulses. Our experimental results are supported by ab-initio simulations, providing clear evidence for the microscopic origin of the phenomenon. This spectroscopy technique might find important applications in future studies of novel quantum materials such as strongly correlated materials. Compact sources of bright circularly polarized harmonics in the extreme-ultraviolet regime will advance our tools for the spectroscopy of chiral systems, magnetic materials, and 2D materials with valley selectivity.


title: A Stability Version of the Gauss-Lucas Theorem and Applications

abstract: Let $p:\mathbb{C} \rightarrow \mathbb{C}$ be a polynomial. The Gauss-Lucas theorem states that its critical points, $p'(z) = 0$, are contained in the convex hull of its roots. We prove a stability version whose simplest form is as follows: suppose $p$ has $n+m$ roots where $n$ are inside the unit disk, $$ \max_{1 \leq i \leq n}{|a_i|} \leq 1, \quad \mbox{and $m$ are outside} \quad \min_{n+1 \leq i \leq n+m}{ |a_i|} \geq d > 1 + \frac{2 m}{n},$$ then $p'$ has $n-1$ roots inside the unit disk and $m$ roots at distance at least $(dn - m)/(n+m) > 1$ from the origin and the involved constants are sharp. We also discuss a pairing result: in the setting above, for $n$ sufficiently large each of the $m$ roots has a critical point at distance $\sim n^{-1}$.


title: Cosmological backreaction and its dependence on spacetime foliation

abstract: The subject of cosmological backreaction in General Relativity is often approached by coordinate-dependent and metric-based analyses. We present in this letter an averaging formalism for the scalar parts of Einstein's equations that is coordinate-independent and only functionally depends on a metric. This formalism is applicable to general 3+1 foliations of spacetime for an arbitrary fluid with tilted flow. We clarify the dependence on spacetime foliation and argue that this dependence is weak in cosmological settings. We also introduce a new set of averaged equations that feature a global cosmological time despite the generality of the setting, and we put the statistical nature of effective cosmologies into perspective.


title: Photometric survey of 67 near-Earth objects

abstract: The near-Earth object (NEO) population is a window into the original conditions of the protosolar nebula, and has the potential to provide a key pathway for the delivery of water and organics to the early Earth. In addition to delivering the crucial ingredients for life, NEOs can pose a serious hazard to humanity since they can impact the Earth. To properly quantify the impact risk, physical properties of the NEO population need to be studied. Unfortunately, NEOs have a great variation in terms of mitigation-relevant quantities (size, albedo, composition, etc.) and less than 15% of them have been characterized to date. There is an urgent need to undertake a comprehensive characterization of smaller NEOs (D<300m) given that there are many more of them than larger objects. One of the main aims of the NEOShield-2 project (2015--2017), financed by the European Community in the framework of the Horizon 2020 program, is therefore to retrieve physical properties of a wide number of NEOs in order to design impact mitigation missions and assess the consequences of an impact on Earth. We carried out visible photometry of NEOs, making use of the DOLORES instrument at the Telescopio Nazionale Galileo (TNG, La Palma, Spain) in order to derive visible color indexes and the taxonomic classification for each target in our sample. We attributed for the first time the taxonomical complex of 67 objects obtained during the first year of the project. While the majority of our sample belong to the S-complex, carbonaceous C-complex NEOs deserve particular attention. These NEOs can be located in orbits that are challenging from a mitigation point of view, with high inclination and low minimum orbit intersection distance (MOID). In addition, the lack of carbonaceous material we see in the small NEO population might not be due to an observational bias alone.


title: Rapid and accurate parameter inference for coalescing, precessing compact binaries

abstract: Extending prior work by Pankow et al, we introduce RIFT, an algorithm to perform Rapid parameter Inference on gravitational wave sources via Iterative Fitting. We demonstrate this approach can correctly recover the parameters of coalescing compact binary systems, using detailed comparisons of RIFT to the well-tested LALInference software library. We provide several examples where the unique speed and flexibility of RIFT enables otherwise intractable or awkward parameter inference analyses, including (a) adopting either costly and novel models for outgoing gravitational waves; and (b) mixed approximations, each suitable to different parts of the compact binary parameter space. We demonstrate how \RIFT{} can be applied to binary neutron stars, both for parameter inference and direct constraints on the nuclear equation of state.


title: Intensive Preprocessing of KDD Cup 99 for Network Intrusion Classification Using Machine Learning Techniques

abstract: Network security engineers work to keep services available all the time by handling intruder attacks. Intrusion Detection System (IDS) is one of the obtainable mechanism that used to sense and classify any abnormal actions. Therefore, the IDS must be always up to date with the latest intruder attacks signatures to preserve confidentiality, integrity and availability of the services. The speed of the IDS is very important issue as well learning the new attacks. This research work illustrates how the Knowledge Discovery and Data Mining (or Knowledge Discovery in Databases) KDD dataset is very handy for testing and evaluating different Machine Learning Techniques. It mainly focuses on the KDD preprocess part in order to prepare a decent and fair experimental data set. The techniques J48, Random Forest, Random Tree, MLP, Na\"ive Bayes and Bayes Network classifiers have been chosen for this study. It has been proven that the Random forest classifier has achieved the highest accuracy rate for detecting and classifying all KDD dataset attacks, which are of type (DOS, R2L, U2R, and PROBE)


title: Stress-stress fluctuation formula for elastic constants in the NPT ensemble

abstract: Several fluctuation formulas are available for calculating elastic constants from equilibrium correlation functions in computer simulations, but the ones available for simulations at constant pressure exhibit slow convergence properties and cannot be used for the determination of local elastic constants. To overcome these drawbacks, we derive a stress-stress fluctuation formula in the $NPT$ ensemble based on known expressions in the $NVT$ ensemble. We validate the formula in the $NPT$ ensemble by calculating elastic constants for the simple nearest-neighbor Lennard-Jones crystal and by comparing the results with those obtained in the $NVT$ ensemble. For both local and bulk elastic constants we find an excellent agreement between the simulated data in the two ensembles. To demonstrate the usefulness of the new formula, we apply it to determine the elastic constants of a simulated lipid bilayer.


title: Nonadiabatic Quantum Dynamics with Frozen-Width Gaussians

abstract: We review techniques for simulating fully quantum nonadiabatic dynamics using the frozen-width moving Gaussian basis functions to represent the nuclear wavefunction. A choice of these basis functions is primarily motivated by the idea of the on-the-fly dynamics that will involve electronic structure calculations done locally in the vicinity of each Gaussian center and thus avoiding the "curse of dimensionality" appearing in large systems. For quantum dynamics involving multiple electronic states there are several aspects that need to be addressed. First, the choice of the electronic state representation is one of most defining in terms of formulation of resulting equations of motion. We will discuss pros and cons of the standard adiabatic and diabatic representations as well as the relatively new moving crude adiabatic representation. Second, if the number of electronic states can be fixed throughout the dynamics, the situation is different for the number of Gaussians needed for an accurate expansion of the total wavefunction. The latter increases its complexity along the course of the dynamics and a protocol extending the number of Gaussians is needed. We will consider two common approaches for the extension: 1) spawning and 2) cloning. Third, equations of motion for individual Gaussians can be chosen in different ways, implications for the energy conservation related to these ways will be discussed. Finally, to extend the success of moving basis approaches to quantum dynamics of open systems we will consider the Non-stochastic Open System Schr\"odinger Equation (NOSSE).


title: From Knowledge Graph Embedding to Ontology Embedding? An Analysis of the Compatibility between Vector Space Representations and Rules

abstract: Recent years have witnessed the successful application of low-dimensional vector space representations of knowledge graphs to predict missing facts or find erroneous ones. However, it is not yet well-understood to what extent ontological knowledge, e.g. given as a set of (existential) rules, can be embedded in a principled way. To address this shortcoming, in this paper we introduce a general framework based on a view of relations as regions, which allows us to study the compatibility between ontological knowledge and different types of vector space embeddings. Our technical contribution is two-fold. First, we show that some of the most popular existing embedding methods are not capable of modelling even very simple types of rules, which in particular also means that they are not able to learn the type of dependencies captured by such rules. Second, we study a model in which relations are modelled as convex regions. We show particular that ontologies which are expressed using so-called quasi-chained existential rules can be exactly represented using convex regions, such that any set of facts which is induced using that vector space embedding is logically consistent and deductively closed with respect to the input ontology.


title: A Storage-Computation-Communication Tradeoff for Distributed Computing

abstract: This paper investigates distributed computing systems where computations are split into "Map" and "Reduce" functions. A new coded scheme, called distributed computing and coded communication (D3C), is proposed, and its communication load is analyzed as a function of the available storage space and the number of intermediate values (IVA) to be computed. D3C achieves the smallest possible communication load for a given storage space, while a smaller number of IVAs need to be computed compared to Li et al.'s coded distributed computing (CDC) scheme. More generally, our scheme can flexibly trade between storage space and the number of IVAs to be computed. Communication load is then analyzed for any given tradeoff.


title: From hydrodynamic lubrication to many-body interactions in dense suspensions of active swimmers

abstract: We study how hydrodynamic interactions affect the collective behaviour of active particles suspended in a fluid at high concentrations, with particular attention to lubrication forces which appear when the particles are very close to one another. We compute exactly the limiting behaviour of the hydrodynamic interactions between two spherical (circular) active swimmers in very close proximity to one another in the general setting in both three and (two) dimensions. Combining this with far-field interactions, we develop a novel numerical scheme which allows us to study the collective behaviour of large numbers of active particles with accurate hydrodynamic interactions when close to one another. We study active swimmers whose intrinsic flow fields are characterised by force dipoles and quadrupoles. Using this scheme, we are able to show that lubrication forces when the particles are very close to each other can play as important a role as long-range hydrodynamic interactions in determining their many-body behaviour. We find that when the swimmer force dipole is large, finite clusters and open gel-like clusters appear rather than complete phase separation. This suppression is due to near-field lubrication interactions. For swimmers with small force dipoles, we find surprisingly that a globally polar ordered phase appears because near-field lubrication rather than long-range hydrodnamics dominate the alignment mechanism. Polar order is present for very large system sizes and is stable to fluctuations with a finite noise amplitude. We explain the emergence of polar order using a minimal model in which only the leading rotational effect of the near-field interaction is included. These phenomena are also reproduced in two dimensions.


title: Ultrafast electrons dynamics reveal the high potential of InSe for hot carrier optoelectronics

abstract: We monitor the dynamics of hot carriers in InSe by means of two photons photoelectron spectroscopy (2PPE). The electrons excited by photons of 3.12 eV experience a manifold relaxation. First, they thermalize to the electronic states degenerate with the $\bar M$ valley. Subsequently, the electronic cooling is dictated by Fr\"ohlich coupling with phonons of small momentum transfer. Ab-initio calculations predict cooling rates that are in good agreement with the observed dynamics. We argue that electrons accumulating in states degenerate with the $\bar M$ valley could travel through a multilayer flake of InSe with lateral size of 1 micrometer. The hot carriers pave a viable route to the realization of below-bandgap photodiodes and Gunn oscillators. Our results indicate that these technologies may find a natural implementation in future devices based on layered chalcogenides.