title: An atomistic model for the charge distribution in layered MoS2

abstract: We present an atomistic model for predicting the distribution of doping electric charges in layered molybdenum disulfide (MoS$_{2}$). This model mimics the charge around each ion as a net Gaussian-spatially-distributed charge plus an induced dipole, and is able to predict the distribution of doping charges in layered MoS$_{2}$ in a self-consistent scheme. The profiles of doping charges in monolayer MoS$_{2}$ flakes computed by this charge-dipole model are in good agreement with those obtained by density-functional-theory calculations. Using this model, we quantitatively predict the charge enhancement effect in MoS$_{2}$ monolayer nanoribbons, with which strong ionic charge-localization effects are shown.


title: Extrinsic eigenvalue estimates for Dirac operator

abstract: In this note, we prove lower and upper bounds for Dirac operators of submanifolds in certain ambient manifolds in terms of conformal and extrinsic quantities.


title: Existence and nonexistence results for a weighted elliptic equation in exterior domains

abstract: We consider positive solution to the weighted elliptic problem \begin{equation*} \left \{ \begin{array}{ll} -{\rm div} (|x|^\theta \nabla u)=|x|^\ell u^p \;\;\; \mbox{in $\mathbb{R}^N \backslash {\overline B}$},\\ u=0 \;\;\; \mbox{on $\partial B$}, \end{array} \right. \end{equation*} where $B$ is the standard unit ball of $\mathbb{R}^N$. We give a complete answer for the existence question when $N':=N+\theta>2$. In particular, for $N' > 2$ and $\tau:=\ell-\theta >-2$, it is shown that the problem admits a unique positive radial solution for $p>p_s:=\frac{N'+2+2\tau}{N'-2}$, while for any $ 0<p \leq p_s$, the only nonnegative solution is $u \equiv 0$.


title: Understanding Phonon Scattering by Nano-Precipitates in Potassium-Doped Lead Chalcogenides

abstract: We present a comprehensive experimental and theoretical study of phonon scattering by nanoprecipitates in potassium-doped PbTe, PbSe and PbS. We highlight the role of the precipitate size distribution measured by microscopy, whose tuning allows for thermal conductivities lower than the limit achievable with a single size. The correlation between the size distribution and the contributions to thermal conductivity from phonons in different frequency ranges provides a physical basis to the experimentally measured thermal conductivities, and a criterion to estimate the lowest achievable thermal conductivity. The results have clear implications for efficiency enhancements in nanostructured bulk thermoelectrics.


title: Memory effects in the long-wave infrared avalanche ionization of gases: A review of recent progress

abstract: There are currently intense efforts being directed towards extending the range and energy of long distance nonlinear pulse propagation in the atmosphere by moving to longer infrared wavelengths, with the purpose of mitigating the effects of turbulence. In addition, picosecond and longer pulse durations are being used to increase the pulse energy. While both of these tacks promise improvements in applications, such as remote sensing and directed energy, they open up fundamental issues regarding the standard model used to calculate the nonlinear optical properties of dilute gases. Amongst these issues is that for longer wavelengths and longer pulse durations, exponential growth of the laser-generated electron density, the so-called avalanche ionization, can limit the propagation range via nonlinear absorption and plasma defocusing. It is therefore important for the continued development of the field to assess the theory and role of avalanche ionization in gases for longer wavelengths. Here, after an overview of the standard model, we present a microscopically motivated approach for the analysis of avalanche ionization in gases that extends beyond the standard model and we contend is key for deepening our understanding of long distance propagation at long infrared wavelengths. Our new approach involves the mean electron kinetic energy, the plasma temperature, and the free electron density as dynamic variables. The rate of avalanche ionization is shown to depend on the full time history of the pulsed excitation, as opposed to the standard model in which the rate is proportional to the instantaneous intensity.


title: Spherical Triangle Algorithm: A Fast Oracle for Convex Hull Membership Queries

abstract: The it Convex Hull Membership(CHM) problem is: Given a point $p$ and a subset $S$ of $n$ points in $\mathbb{R}^m$, is $p \in conv(S)$? CHM is not only a fundamental problem in Linear Programming, Computational Geometry, Machine Learning and Statistics, it also serves as a query problem in many applications e.g. Topic Modeling, LP Feasibility, Data Reduction. The {\it Triangle Algorithm} (TA) \cite{kalantari2015characterization} either computes an approximate solution in the convex hull, or a separating hyperplane. The {\it Spherical}-CHM is a CHM, where $p=0$ and each point in $S$ has unit norm. First, we prove the equivalence of exact and approximate versions of CHM and Spherical-CHM. On the one hand, this makes it possible to state a simple version of the original TA. On the other hand, we prove that under the satisfiability of a simple condition in each iteration, the complexity improves to $O(1/\varepsilon)$. The analysis also suggests a strategy for when the property does not hold at an iterate. This suggests the \textit{Spherical-TA} which first converts a given CHM into a Spherical-CHM before applying the algorithm. Next we introduce a series of applications of Spherical-TA. In particular, Spherical-TA serves as a fast version of vanilla TA to boost its efficiency. As an example, this results in a fast version of \emph{AVTA} \cite{awasthi2018robust}, called \emph{AVTA$^+$} for solving exact or approximate irredundancy problem. Computationally, we have considered CHM, LP and Strict LP Feasibility and the Irredundancy problem. Based on substantial amount of computing, Spherical-TA achieves better efficiency than state of the art algorithms. Leveraging on the efficiency of Spherical-TA, we propose AVTA$^+$ as a pre-processing step for data reduction which arises in such applications as in computing the Minimum Volume Enclosing Ellipsoid \cite{moshtagh2005minimum}.


title: Radiative decay of hadronic molecule state for quarks

abstract: Using the general form of the generalized Bethe-Salpeter wave functions for four-quark states describing the meson-meson molecular structure given in our previous work, we obtain the general formulas for the decay widths of molecular states composed of two vector mesons with arbitrary spin and parity into two photons. Then this general formalism is applied to investigate the radiative two-photon decay of the obeserved \emph{X}(3915) state, where this exotic state \emph{X}(3915) is considered as a molecular state consisting of two heavy vector mesons $D^{*0}\bar{D}^{*0}$. The numerical result of decay mode $\emph{X}(3915)\rightarrow \gamma\gamma$ is consistent with the experimental values.


title: Autonomous Deep Learning: Continual Learning Approach for Dynamic Environments

abstract: The feasibility of deep neural networks (DNNs) to address data stream problems still requires intensive study because of the static and offline nature of conventional deep learning approaches. A deep continual learning algorithm, namely autonomous deep learning (ADL), is proposed in this paper. Unlike traditional deep learning methods, ADL features a flexible structure where its network structure can be constructed from scratch with the absence of an initial network structure via the self-constructing network structure. ADL specifically addresses catastrophic forgetting by having a different-depth structure which is capable of achieving a trade-off between plasticity and stability. Network significance (NS) formula is proposed to drive the hidden nodes growing and pruning mechanism. Drift detection scenario (DDS) is put forward to signal distributional changes in data streams which induce the creation of a new hidden layer. The maximum information compression index (MICI) method plays an important role as a complexity reduction module eliminating redundant layers. The efficacy of ADL is numerically validated under the prequential test-then-train procedure in lifelong environments using nine popular data stream problems. The numerical results demonstrate that ADL consistently outperforms recent continual learning methods while characterizing the automatic construction of network structures.


title: Probing Electroweakly Interacting Massive Particles with Drell-Yan Process at 100 TeV Hadron Colliders

abstract: There are many models beyond the standard model which include electroweakly interacting massive particles (EWIMPs), often in the context of the dark matter. In this paper, we study the indirect search of EWIMPs using a precise measurement of the Drell-Yan cross sections at future $100\,{\rm TeV}$ hadron colliders. It is revealed that this search strategy is suitable in particular for Higgsino and that the Higgsino mass up to about $1.3\,{\rm TeV}$ will be covered at $95\,\%$ C.L. irrespective of the chargino and neutralino mass difference. We also show that the study of the Drell-Yan process provides important and independent information about every kind of EWIMP in addition to Higgsino.


title: Isotropic Magnetic Purcell Effect

abstract: Manipulating the spontaneous emission rate of optical emitters with all-dielectric nanoparticles benefits from their low-loss nature and thus provides relatively large extrinsic quantum yield. However, such Purcell effect greatly depends on the orientation of the dipole emitter. Here, we introduce the concept of isotropic magnetic Purcell effect with Purcell factors about 300 and large extrinsic quantum yield (more than 80%) for a magnetic dipole emitter of arbitrary orientation in an asymmetric silicon nanocavity. The extrinsic quantum yield can be even boosted up to nearly 100% by utilizing a GaP nanocavity. Isotropy of the Purcell factor is manifested via the orientation-independent emission of the magnetic dipole source. This isotropic Purcell effect is robust against small displacement of emitter on the order of 10 nm, releasing the requirement of precise alignment in experiments.


title: A many-body index for quantum charge transport

abstract: We propose an index for pairs of a unitary map and a clustering state on many-body quantum systems. We require the map to conserve an integer-valued charge and to leave the state, e.g. a gapped ground state, invariant. This index is integer-valued and stable under perturbations. In general, the index measures the charge transport across a fiducial line. We show that it reduces to (i) an index of projections in the case of non-interacting fermions, (ii) the charge density for translational invariant systems, and (iii) the quantum Hall conductance in the two-dimensional setting without any additional symmetry. Example (ii) recovers the Lieb-Schultz-Mattis theorem, and (iii) provides a new and short proof of quantization of Hall conductance in interacting many-body systems.


title: Optical force laws for guided light in linear media

abstract: The mechanical response of transparent materials to optical forces is a topic that concerns a wide range of fields, from the manipulation of biological material by optical tweezers to the design of nano-optomechanical systems (NOMS). However, the fundamental aspects of such forces have always been surrounded by controversies, and several different formulations have been proposed. In this work, we focus on the specific case of light propagating as a superposition of guided modes in lossless dielectric waveguides as a physical example upon which to build a general stress tensor. We use this formalism to calculate optical forces for straight and curved waveguide sections and all possible excitation configurations for a given set of coupled eigenmodes, and then compare the results for each of the known proposed optical force laws as well as a novel one derived from this general stress tensor. We show that proper use of the divergence theorem is crucial to account for all force terms, many of which vanish if the procedure most commonly used is applied for situations other than eigenmodes in straight waveguides. A better understanding of how different stress tensors predict very different forces for certain waveguide geometries opens a pathway for new experimental tests of each formulation.


title: Taut sutured handlebodies as twisted homology products

abstract: Friedl and Kim show any taut sutured manifold can be realized as a twisted homology product, but their proof gives no practical description of how complicated the realizing representation needs to be. We give a number of results illustrating the relationship between the topology of a taut sutured handlebody and the complexity of a representation realizing it as a homology product.


title: Fault Tolerance in Iterative-Convergent Machine Learning

abstract: Machine learning (ML) training algorithms often possess an inherent self-correcting behavior due to their iterative-convergent nature. Recent systems exploit this property to achieve adaptability and efficiency in unreliable computing environments by relaxing the consistency of execution and allowing calculation errors to be self-corrected during training. However, the behavior of such systems are only well understood for specific types of calculation errors, such as those caused by staleness, reduced precision, or asynchronicity, and for specific types of training algorithms, such as stochastic gradient descent. In this paper, we develop a general framework to quantify the effects of calculation errors on iterative-convergent algorithms and use this framework to design new strategies for checkpoint-based fault tolerance. Our framework yields a worst-case upper bound on the iteration cost of arbitrary perturbations to model parameters during training. Our system, SCAR, employs strategies which reduce the iteration cost upper bound due to perturbations incurred when recovering from checkpoints. We show that SCAR can reduce the iteration cost of partial failures by 78% - 95% when compared with traditional checkpoint-based fault tolerance across a variety of ML models and training algorithms.


title: Optimization of Indexing Based on k-Nearest Neighbor Graph for Proximity Search in High-dimensional Data

abstract: Searching for high-dimensional vector data with high accuracy is an inevitable search technology for various types of data. Graph-based indexes are known to reduce the query time for high-dimensional data. To further improve the query time by using graphs, we focused on the indegrees and outdegrees of graphs. While a sufficient number of incoming edges (indegrees) are indispensable for increasing search accuracy, an excessive number of outgoing edges (outdegrees) should be suppressed so as to not increase the query time. Therefore, we propose three degree-adjustment methods: static degree adjustment of not only outdegrees but also indegrees, dynamic degree adjustment with which outdegrees are determined by the search accuracy users require, and path adjustment to remove edges that have alternative search paths to reduce outdegrees. We also show how to obtain optimal degree-adjustment parameters and that our methods outperformed previous methods for image and textual data.


title: Relativistic dust accretion onto a scale--dependent polytropic black hole

abstract: In this work we study steady and spherical relativistic dust accretion onto a static and spherically symmetric scale--dependent black hole. In particular we consider a polytropic scale--dependent black hole as a central object and obtain that the radial velocity profile and the energy density are affected when scale--dependence of the central object is taken into account and such a deviation is controlled by the so called running parameters of the scale--dependence models.


title: Asymptotic Behavior of Acyclic and Cyclic Orientations of Directed Lattice Graphs

abstract: We calculate exponential growth constants describing the asymptotic behavior of several quantities enumerating classes of orientations of arrow variables on the bonds of several types of directed lattice strip graphs $G$ of finite width and arbitrarily great length, in the infinite-length limit, denoted {G}. Specifically, we calculate the exponential growth constants for (i) acyclic orientations, $\alpha(\{G\})$, (ii) acyclic orientations with a single source vertex, $\alpha_0(\{G\})$, and (iii) totally cyclic orientations, $\beta(\{G\})$. We consider several lattices, including square (sq), triangular (tri), and honeycomb (hc). From our calculations, we infer lower and upper bounds on these exponential growth constants for the respective infinite lattices. To our knowledge, these are the best current bounds on these quantities. Since our lower and upper bounds are quite close to each other, we can infer very accurate approximate values for the exponential growth constants, with fractional uncertainties ranging from $O(10^{-4})$ to $O(10^{-2})$. Further, we present exact values of $\alpha(tri)$, $\alpha_0(tri)$, and $\beta(hc)$ and use them to show that our lower and upper bounds on these quantities are very close to these exact values, even for modest strip widths. Results are also given for a nonplanar lattice denoted $sq_d$. We show that $\alpha(\{G\})$, $\alpha_0(\{G\})$, and $\beta(\{G\})$ are monotonically increasing functions of vertex degree for these lattices. We also study the asymptotic behavior of the ratios of the quantities (i)-(iii) divided by the total number of edge orientations as the number of vertices goes to infinity. A comparison is given of these exponential growth constants with the corresponding exponential growth constant $\tau(\{G\})$ for spanning trees. Our results are in agreement with inequalities following from the Merino-Welsh and Conde-Merino conjectures.


title: On the computational complexity of MSTD sets

abstract: We outline a general algorithm for verifying whether a subset of the integers is a more sum than differences (MSTD) set, also known as sum dominated sets, and give estimates on its computational complexity. We conclude with some numerical results on large MSTD sets and MSTD subsets of $[1,N]\cap \mathbb Z$ for $N$ up to 160.


title: Entanglement Harvesting with Moving Mirrors

abstract: We study the phenomenon of entanglement extraction from the vacuum of a massless scalar field in $(1+1)$ dimensional spacetime in presence of a moving Dirichlet boundary condition, i.e. mirror spacetime, using two inertial Unruh-DeWitt detectors. We consider a variety of non-trivial trajectories for these accelerating mirrors and find (1) an entanglement inhibition phenomenon similar to that recently seen for black holes, as well as (2) trajectory-independent entanglement enhancement in some regimes. We show that the qualitative result obtained is the same for both linear and derivative couplings of the detector with the field.


title: Disjointness of M\"{o}bius from asymptotically periodic functions

abstract: We investigate Sarnak's M\"obius Disjointness Conjecture through asymptotically periodic functions. It is shown that Sarnak's conjecture for rigid dynamical systems is equivalent to the disjointness of M\"obius from asymptotically periodic functions. We give sufficient conditions and a partial answer to the later one. As an application, we show that Sarnak's conjecture holds for a class of rigid dynamical systems, which improves an earlier result of Kanigowski-Lema{\'{n}}czyk-Radziwi{\l}{\l}.


title: Spectroscopic Identification and Chemical Distribution of HII Regions in the Galactic Anti-center Area from LAMOST

abstract: We spectroscopically identify 101 Galactic HII regions using spectra from the Large Sky Area Multi- Object Fiber Spectroscopic Telescope (LAMOST) survey, cross-matched with an HII region catalog derived from the all-sky Wide-Field Infrared Survey Explorer(WISE) data. Among all HII regions in our sample, 47 sources are newly confirmed. Spatially, most of our identified HII regions are located in the anti-center area of the Galaxy. For each of the HII regions, we accurately extract and measure the nebular emission lines of the spectra, and estimate the oxygen abundances using the strong-line method. We focus on the abundance distribution of HII regions in the Galactic anti-center area. Accordingly, we derive the oxygen abundance gradient with a slope of -0.036 +/-0.004 dex/kpc, covering a range of RG from 8.1 to 19.3 kpc. In particular, we also fit the outer disk objects with a slope of -0.039 +/- 0.012 dex /kpc, which indicates that there is no flattening of the radial oxygen gradient in the outer Galactic disk.


title: Learning in Non-convex Games with an Optimization Oracle

abstract: We consider online learning in an adversarial, non-convex setting under the assumption that the learner has an access to an offline optimization oracle. In the general setting of prediction with expert advice, Hazan et al. (2016) established that in the optimization-oracle model, online learning requires exponentially more computation than statistical learning. In this paper we show that by slightly strengthening the oracle model, the online and the statistical learning models become computationally equivalent. Our result holds for any Lipschitz and bounded (but not necessarily convex) function. As an application we demonstrate how the offline oracle enables efficient computation of an equilibrium in non-convex games, that include GAN (generative adversarial networks) as a special case.


abstract: High-energy neutrino-nucleus interactions are discussed by considering neutrino-oscillation experiments and ultra-high-energy cosmic neutrino interactions. The largest systematic error for the current neutrino oscillation measurements comes from the neutrino-nucleus interaction part, and its accurate understanding is essential for high-precision neutrino physics, namely for studying CP violation in the lepton sector. Depending on neutrino beam energies, quasi-elastic, resonance, Regge, or/and deep inelastic scattering (DIS) processes contribute to the neutrino cross section. It is desirable to have a code to calculate the neutrino-nucleus cross section in any kinematical range by combining various theoretical descriptions. On the other hand, the IceCube collaboration started obtaining cross section data up to the $10^{15}$ eV range, so that it became necessary to understand ultra-high-energy neutrino interactions beyond the artificial lepton-accelerator energy range. For future precise neutrino physics including the CP measurement, it is also necessary to understand accurate nuclear corrections. The current status is explained for nuclear corrections in DIS structure functions. The possibility is also discussed to find gravitational sources within nucleons and nuclei, namely matrix elements of quark-gluon energy-momentum tensor. They could be probed by neutrino interactions without replying on direct ultra-weak "gravitational interactions" with high-intensity neutrino beams, possibly at a future neutrino factory, by using techniques of hadron tomography.


title: Time-series analyses of Cepheid and RR Lyrae variables in the wide-field variability surveys

abstract: We discuss time-series analyses of classical Cepheid and RR Lyrae variables in the Galaxy and the Magellanic Clouds at multiple wavelengths. We adopt the Fourier decomposition method to quantify the structural changes in the light curves of Cepheid and RR Lyrae variables. A quantitative comparison of Cepheid Fourier parameters suggests that the canonical mass-luminosity models that lie towards the red-edge of the instability strip show a greater offset with respect to observations for short-period Cepheids. RR Lyrae models are consistent with observations in most period bins. We use ensemble light curve analysis to predict the physical parameters of observed Cepheid and RR Lyrae variables using machine learning methods. Our preliminary results suggest that the posterior distributions of mass, luminosity, temperature and radius for Cepheids and RR Lyraes can be well-constrained for a given metal abundance, provided a smoother grid of models is adopted in various input physical parameters.


title: Some pros and cons of implementing parallel and block teachings for mathematics modules

abstract: The Department of Applied Mathematics at the University of Nottingham Malaysia Campus has a responsibility for delivering mathematics modules for engineering students. Due to the significantly large number of students, two methods of teaching delivery--parallel teaching and block teaching--have been implemented. This article discusses some pros and cons between these two methods, particularly for the Foundation programme and the first year of the Undergraduate programme in Engineering. Whether parallel teaching or block teaching is implemented, feedback comments from the students indicate that some areas need to be paid attention to.


title: A Span-Extraction Dataset for Chinese Machine Reading Comprehension

abstract: Machine Reading Comprehension (MRC) has become enormously popular recently and has attracted a lot of attention. However, the existing reading comprehension datasets are mostly in English. In this paper, we introduce a Span-Extraction dataset for Chinese machine reading comprehension to add language diversities in this area. The dataset is composed by near 20,000 real questions annotated on Wikipedia paragraphs by human experts. We also annotated a challenge set which contains the questions that need comprehensive understanding and multi-sentence inference throughout the context. We present several baseline systems as well as anonymous submissions for demonstrating the difficulties in this dataset. With the release of the dataset, we hosted the Second Evaluation Workshop on Chinese Machine Reading Comprehension (CMRC 2018). We hope the release of the dataset could further accelerate the Chinese machine reading comprehension research. Resources are available: https://github.com/ymcui/cmrc2018


title: Advancing Standards-Free Methods for the Identification of Small Molecules in Complex Samples

abstract: The current gold standard for unambiguous identification in metabolomics analysis is based on comparing two or more orthogonal properties from the analysis of authentic, pure reference materials (standards) to experimental data acquired in the same laboratory with the same analytical methods. This represents a significant limitation for comprehensive chemical identification of small molecules in complex samples since this process is time-consuming and costly, and the majority of molecules are not yet represented by standards, leading to a need for standards-free identification. To address this need, we are advancing chemical property calculations and developing multi-attribute scoring and matching algorithms to utilize data from multiple analytical platforms through the utilization and creation of the in silico Chemical Library Engine (ISiCLE) and the Multi-Attribute Matching Engine (MAME). Here, we describe our results in a blinded analysis of synthetic chemical mixtures as part of the U.S. Environmental Protection Agency's (EPA) Non-Targeted Analysis Collaborative Trial (ENTACT). The blinded false negative rate (FNR), false discovery rate (FDR), and accuracy were 57%, 77%, and 91%, respectively. For high confidence identifications, the FDR was 35%. After unblinding of the sample compositions, we improved our approach by optimizing the scoring parameters used to increase confidence. The final FNR, FDR, and accuracy were 67%, 53%, and 96%, respectively. For high confidence identifications, the FDR was 10%. This study demonstrates that standards-free small molecule identification and multi-attribute matching methods can significantly reduce reliance on standards.


title: Learning the Compositional Spaces for Generalized Zero-shot Learning

abstract: This paper studies the problem of Generalized Zero-shot Learning (G-ZSL), whose goal is to classify instances belonging to both seen and unseen classes at the test time. We propose a novel space decomposition method to solve G-ZSL. Some previous models with space decomposition operations only calibrate the confident prediction of source classes (W-SVM [46]) or take target-class instances as outliers [49]. In contrast, we propose to directly estimate and fine-tune the decision boundary between the source and the target classes. Specifically, we put forward a framework that enables to learn compositional spaces by splitting the instances into Source, Target, and Uncertain spaces and perform recognition in each space, where the uncertain space contains instances whose labels cannot be confidently predicted. We use two statistical tools, namely, bootstrapping and Kolmogorov-Smirnov (K-S) Test, to learn the compositional spaces for G-ZSL. We validate our method extensively on multiple G-ZSL benchmarks, on which it achieves state-of-the-art performances.


title: On Gaussian curvature equations in $\mathbb{R}^2$ with prescribed non-positive curvature

abstract: The purpose of this paper is to study the solutions of $$ \Delta u +K(x) e^{2u}=0 \quad{\rm in}\;\; \mathbb{R}^2 $$ with $K\le 0$. We introduce the following quantity: $$\alpha_p(K)=\sup\left\{\alpha \in \mathbb{R}:\, \int_{\mathbb{R}^2} |K(x)|^p(1+|x|)^{2\alpha p+2(p-1)} dx<+\infty\right\}, \quad \forall\; p \ge 1.$$ Under the assumption $({\mathbb H}_1)$: $\alpha_p(K)> -\infty$ for some $p>1$ and $\alpha_1(K) > 0$, we show that for any $0 < \alpha < \alpha_1(K)$, there is a unique solution $u_\alpha$ with $u_\alpha(x) = \alpha \ln |x|+ c_\alpha+o\big(|x|^{-\frac{2\beta}{1+2\beta}} \big)$ at infinity and $\beta\in (0,\,\alpha_1(K)-\alpha)$. Furthermore, we show an example $K_0 \leq 0$ such that $\alpha_p(K_0) = -\infty$ for any $p>1$ and $\alpha_1(K_0) > 0$, for which we study the asymptotic behavior of solutions. In particular, we prove the existence of a solution $u_*$ such that $u_* -\alpha_*\ln|x| = O(1)$ at infinity for some $\alpha_* > 0$, but who does not converge to a constant at infinity. This example exhibits a new phenomenon of solutions with logarithmic growth and non-uniform behavior at infinity.


title: Probabilistic Stability of Traffic Load Balancing on Wireless Complex Networks

abstract: Load balancing between adjacent base stations (BSs) is important for balancing load distributions and improving service provisioning. Whilst load balancing between any given pair of BSs is beneficial, cascade load sharing can cause network level instability that is hard to predict. The relationship between each BS's load balancing dynamics and the network topology is not understood. In this seminal work on stability analysis, we consider a frequency re-use network with no interference, whereby load balancing dynamics doesn't perturb the individual cells' capacity. Our novelty is to show an exact analytical and also a probabilistic relationship for stability, relating generalized local load balancing dynamics with generalized network topology, as well as the uncertainty we have in load balancing parameters. We prove that the stability analysis given is valid for any generalized load balancing dynamics and topological cell deployment and we believe this general relationship can inform the joint design of both the load balancing dynamics and the neighbour list of the network.


title: Simple Regret Minimization for Contextual Bandits

abstract: There are two variants of the classical multi-armed bandit (MAB) problem that have received considerable attention from machine learning researchers in recent years: contextual bandits and simple regret minimization. Contextual bandits are a sub-class of MABs where, at every time step, the learner has access to side information that is predictive of the best arm. Simple regret minimization assumes that the learner only incurs regret after a pure exploration phase. In this work, we study simple regret minimization for contextual bandits. Motivated by applications where the learner has separate training and autonomous modes, we assume that the learner experiences a pure exploration phase, where feedback is received after every action but no regret is incurred, followed by a pure exploitation phase in which regret is incurred but there is no feedback. We present the Contextual-Gap algorithm and establish performance guarantees on the simple regret, i.e., the regret during the pure exploitation phase. Our experiments examine a novel application to adaptive sensor selection for magnetic field estimation in interplanetary spacecraft, and demonstrate considerable improvement over algorithms designed to minimize the cumulative regret.


title: Admissible Tools in the Kitchen of Intuitionistic Logic

abstract: The usual reading of logical implication "A implies B" as "if A then B" fails in intuitionistic logic: there are formulas A and B such that "A implies B" is not provable, even though B is provable whenever A is provable. Intuitionistic rules apparently do not capture interesting meta-properties of the logic and, from a computational perspective, the programs corresponding to intuitionistic proofs are not powerful enough. Such non-provable implications are nevertheless admissible, and we study their behavior by means of a proof term assignment and related rules of reduction. We introduce V, a calculus that is able to represent admissible inferences, while remaining in the intuitionistic world by having normal forms that are just intuitionistic terms. We then extend intuitionistic logic with principles corresponding to admissible rules. As an example, we consider the Kreisel-Putnam logic KP, for which we prove the strong normalization and the disjunction property through our term assignment. This is our first step in understanding the essence of admissible rules for intuitionistic logic.


title: Fast Cut-Elimination using Proof Terms: An Empirical Study

abstract: Urban and Bierman introduced a calculus of proof terms for the sequent calculus LK with a strongly normalizing reduction relation. We extend this calculus to simply-typed higher-order logic with inferences for induction and equality, albeit without strong normalization. We implement thiscalculus in GAPT, our library for proof transformations. Evaluating the normalization on both artificial and real-world benchmarks, we show that this algorithm is typically several orders of magnitude faster than the existing Gentzen-like cut-reduction, and an order of magnitude faster than any other cut-elimination procedure implemented in GAPT.


title: Validating Back-links of FOLID Cyclic Pre-proofs

abstract: Cyclic pre-proofs can be represented as sets of finite tree derivations with back-links. In the frame of the first-order logic with inductive definitions, the nodes of the tree derivations are labelled by sequents and the back-links connect particular terminal nodes, referred to as buds, to other nodes labelled by a same sequent. However, only some back-links can constitute sound pre-proofs. Previously, it has been shown that special ordering and derivability conditions, defined along the minimal cycles of the digraph representing a particular normal form of the cyclic pre-proof, are sufficient for validating the back-links. In that approach, a same constraint could be checked several times when processing different minimal cycles, hence one may require additional recording mechanisms to avoid redundant computation in order to downgrade the time complexity to polynomial. We present a new approach that does not need to process minimal cycles. It based on a normal form that allows to define the validation conditions by taking into account only the root-bud paths from the non-singleton strongly connected components of its digraph.


title: Geometric Satake, categorical traces, and arithmetic of Shimura varieties

abstract: We survey some recent work on the geometric Satake of p-adic groups and its applications to some arithmetic problems of Shimura varieties. We reformulate a few constructions appeared in the previous works more conceptually.


title: On pion and kaon decay constants and chiral SU(3) extrapolations

abstract: We consider the dependence of the pion and kaon decay constants on the up, down and strange quark masses in QCD with strict isospin symmetry. The role of dynamical vector meson degrees of freedom is scrutinized in terms of an effective chiral Lagrangian for vector mesons. Applying a set of low-energy parameters as determined previously from QCD lattice data on the masses of the light vector mesons from PACS-CS, QCDSF-UKQCD and HSC we compute its implications on the pion and kaon decay constants for QCD lattice ensembles of HPQCD, CLS and ETMC. It is shown that with Gasser-Leutwyler L_4 and L_5 parameters fixed to the empirical decay constants an accurate reproduction of their values at unphysical quark masses as computed by HPQCD, CLS and ETMC is achieved. Results for the masses of the light vector meson, the \omega -\phi mixing angles and the quark mass ratios for the ensembles used by HPQCD, CLS and ETMC are discussed.


title: XJTLUIndoorLoc: A New Fingerprinting Database for Indoor Localization and Trajectory Estimation Based on Wi-Fi RSS and Geomagnetic Field

abstract: In this paper, we present a new location fingerprinting database comprised of Wi-Fi received signal strength (RSS) and geomagnetic field intensity measured with multiple devices at a multi-floor building in Xi'an Jiatong-Liverpool University, Suzhou, China. We also provide preliminary results of localization and trajectory estimation based on convolutional neural network (CNN) and long short-term memory (LSTM) network with this database. For localization, we map RSS data for a reference point to an image-like, two-dimensional array and then apply CNN which is popular in image and video analysis and recognition. For trajectory estimation, we use a modified random way point model to efficiently generate continuous step traces imitating human walking and train a stacked two-layer LSTM network with the generated data to remember the changing pattern of geomagnetic field intensity against (x,y) coordinates. Experimental results demonstrate the usefulness of our new database and the feasibility of the CNN and LSTM-based localization and trajectory estimation with the database.


title: Progressive Weight Pruning of Deep Neural Networks using ADMM

abstract: Deep neural networks (DNNs) although achieving human-level performance in many domains, have very large model size that hinders their broader applications on edge computing devices. Extensive research work have been conducted on DNN model compression or pruning. However, most of the previous work took heuristic approaches. This work proposes a progressive weight pruning approach based on ADMM (Alternating Direction Method of Multipliers), a powerful technique to deal with non-convex optimization problems with potentially combinatorial constraints. Motivated by dynamic programming, the proposed method reaches extremely high pruning rate by using partial prunings with moderate pruning rates. Therefore, it resolves the accuracy degradation and long convergence time problems when pursuing extremely high pruning ratios. It achieves up to 34 times pruning rate for ImageNet dataset and 167 times pruning rate for MNIST dataset, significantly higher than those reached by the literature work. Under the same number of epochs, the proposed method also achieves faster convergence and higher compression rates. The codes and pruned DNN models are released in the link bit.ly/2zxdlss


title: Game-Theoretic Approaches for Wireless Communications with Unmanned Aerial Vehicles

abstract: Wireless communications with unmanned aerial vehicles (UAVs) offer a promising solution to provide cost-effective wireless connectivity and extend coverage. In recent years, the area of wireless communications for UAV system design and optimization has been receiving enormous attention from the research community. However, there are still existing challenges that are far from solved. To cope with those challenges, researchers have been exploring the applicability of game-theoretic approaches. This paper surveys the existing game-theoretic solutions and presents a number of novel solutions which are designed to optimize energy consumption, enhance network coverage, and improve connectivity in wireless communications with UAVs. We present main game components and the elements they represent in wireless communications with UAVs first and then give a classification of the current used game-theoretic approaches. We identify main problems in wireless communications with UAVs in which game theory has been used to find solutions. We provide a case to show the merits of applying game theory in wireless communication with UAVs. Finally, we discuss shortcomings of the traditional game-theoretic approaches and propose mean field game (MFG) as an appropriate method for solving novel technical problems in massive UAVs networks.


title: Substructures associated with the sloshing cold front in the Perseus cluster

abstract: X-ray substructures in clusters of galaxies provide indirect clues about the microphysical properties of the intracluster medium (ICM), which are still not very well known. In order to investigate X-ray substructures in detail, we studied archival $\sim$1~Msec Chandra data of the core of the Perseus cluster, focusing on the substructures associated with the sloshing cold front. In the east half of the cold front, we found a Kelvin-Helmholtz instability (KHI) layer candidate. The measured width-to-azimuthal extension ratio and the thermodynamic properties are all consistent with it being a KHI layer currently developing along the sloshing cold front. We found a thermal pressure deficit of the order of 10$^{-2}~\mathrm{keV~cm^{-3}}$ at the KHI layer. Assuming that turbulent pressure fully supports the pressure deficit, we estimated the turbulent strength at several hundred km~s$^{-1}$, which translates into the turbulent heating rate of $Q_\mathrm{turb}\sim 10^{-26}~\mathrm{erg~cm^{-3}~s^{-1}}$. This value agrees within an order of magnitude with the previous estimation derived from the surface brightness fluctuations, and can balance the radiative cooling at this radius. In the west half of the cold front, we found feather-like structures which are similar to the structures observed in recent numerical simulations of the gas sloshing of magnetized plasma. Their thermodynamic properties are consistent with one of the feathers being a projected gas depletion layer induced by the amplified magnetic field whose strength is $B\sim$30$~\mathrm{\mu G}$.


title: The lambda invariants at CM points

abstract: In the paper, we show that $\lambda(z_1) -\lambda(z_2)$, $\lambda(z_1)$ and $1-\lambda(z_1)$ are all Borcherds products in $X(2) \times X(2)$. We then use the big CM value formula of Bruinier, Kudla, and Yang to give explicit factorization formulas for the norms of $\lambda(\frac{d+\sqrt d}2)$, $1-\lambda(\frac{d+\sqrt d}2)$, and $\lambda(\frac{d_1+\sqrt{d_1}}2) -\lambda(\frac{d_2+\sqrt{d_2}}2)$, with the latter under the condition $(d_1, d_2)=1$. Finally, we use these results to show that $\lambda(\frac{d+\sqrt d}2)$ is always an algebraic integer and can be easily used to construct units in the ray class field of $\mathbb{Q}(\sqrt{d})$ of modulus $2$. In the process, we also give explicit formulas for a whole family of local Whittaker functions, which are of independent interest.


title: Analysis of Railway Accidents' Narratives Using Deep Learning

abstract: Automatic understanding of domain specific texts in order to extract useful relationships for later use is a non-trivial task. One such relationship would be between railroad accidents' causes and their correspondent descriptions in reports. From 2001 to 2016 rail accidents in the U.S. cost more than $4.6B. Railroads involved in accidents are required to submit an accident report to the Federal Railroad Administration (FRA). These reports contain a variety of fixed field entries including primary cause of the accidents (a coded variable with 389 values) as well as a narrative field which is a short text description of the accident. Although these narratives provide more information than a fixed field entry, the terminologies used in these reports are not easy to understand by a non-expert reader. Therefore, providing an assisting method to fill in the primary cause from such domain specific texts(narratives) would help to label the accidents with more accuracy. Another important question for transportation safety is whether the reported accident cause is consistent with narrative description. To address these questions, we applied deep learning methods together with powerful word embeddings such as Word2Vec and GloVe to classify accident cause values for the primary cause field using the text in the narratives. The results show that such approaches can both accurately classify accident causes based on report narratives and find important inconsistencies in accident reporting.


title: Specular Reflection Leads to Maximum Reduction in Thermal Conductivity

abstract: In contrast to established work that use diffuse surface scattering as the mechanism to lower the thermal conductivities, we show that the largest reduction of heat conduction in thin films is achieved via specular scattering. Our results create a new paradigm for heat conduction manipulation since smooth surfaces , in contrast to rough surfaces , are shown to be more effective on suppressing heat conduction.


title: Perpendicularly magnetized YIG films with small Gilbert damping constant and anomalous spin transport properties

abstract: The Y3Fe5O12 (YIG) films with perpendicular magnetic anisotropy (PMA) have recently attracted a great deal of attention for spintronics applications. Here, we report the induced PMA in the ultrathin YIG films grown on (Gd2.6Ca0.4)(Ga4.1Mg0.25Zr0.65)O12 (SGGG) substrates by epitaxial strain without preprocessing. Reciprocal space mapping shows that the films are lattice-matched to the substrates without strain relaxation. Through ferromagnetic resonance and polarized neutron reflectometry measurements, we find that these YIG films have ultra-low Gilbert damping constant with a magnetic dead layer as thin as about 0.3 nm at the YIG/SGGG interfaces. Moreover, the transport behavior of the Pt/YIG/SGGG films reveals an enhancement of spin mixing conductance and a large non-monotonic magnetic field dependence of anomalous Hall effect as compared with the Pt/YIG/Gd3Ga5O12 (GGG) films. The non-monotonic anomalous Hall signal is extracted in the temperature range from 150 to 350 K, which has been ascribed to the possible non-collinear magnetic order at the Pt/YIG interface induced by uniaxial strain.


title: Collapse driven by a scalar field without final singularity

abstract: We explore a collapsing cosmology driven by a scalar field which is minimally coupled to gravity in a spatially at and spherically symmetric, isotropic and homogeneous space-time, with a variable timescale that avoids the final singularity. The equation of state that describes the collapse is $\omega=1$. We calculate the back-reaction of the space-time during the collapse and the energy density fluctuations related to this back-reaction has a spectral index $n_s = 0$, favouring short-wavelengths modes to be detected. The interesting is that the amplitude of these fluctuations increase with time when the collapse is sufficiently strong.


title: Low-dimensional quantum systems

abstract: We study low-dimensional quantum systems with analytical and computational methods. Firstly, the one-dimensional extended $t$-$V$ model of fermions with interactions of a finite range is investigated. The model exhibits a phase transition between liquid and insulating regimes. We use various analytical approaches to generalise previous theoretical studies. We devise a strong coupling expansion to go beyond first-order perturbation theory. The method is insensitive to the presence or the lack of integrability of the system. We extract the ground state energy and critical parameters of the model near the Mott insulating commensurate density. We also study the possible charge-density-wave phases that exist when the model is at the critical density. Secondly, we investigate Mott-Wannier complexes of two (excitons), three (trions) and four (biexcitons) charge carriers in two-dimensional semiconductors. Our study also includes impurity-bound complexes. We provide a classification of trions and biexcitons in transition-metal dichalcogenides, which incorporates the difference of spin polarisation between molybdenum- and tungsten-based materials. Using the diffusion Monte Carlo method, which is statistically exact for these systems, we extract binding energies of the complexes for a complete set of parameters of the model. Our results are compared with theoretical and experimental work on transition-metal dichalcogenides. An agreement is found for excitonic and trionic results, but we also observe a large discrepancy in the theoretical biexcitonic binding energies as compared to the experimental values. Possible reasons for this are outlined. We also calculate contact pair densities, which in the future can be used in the determination of the contact interaction.


title: Double-peaked Narrow Emission-line Galaxies in LAMOST Survey

abstract: We outline a full-scale search for galaxies exhibiting double-peaked profiles of promi- nent narrow emission lines, motivated by the prospect of finding objects related to merging galaxies, and even dual active galactic nuclei candidates as by-product, from the Large Sky Area Multi-object Fiber Spectroscopic Telescope (LAMOST) Data Re- lease 4. We assemble a large sample of 325 candidates with double-peaked or strong asymmetric narrow emission lines, with 33 objects therein appearing optically resolved dual-cored structures, close companions or signs of recent interaction on the Sloan Dig- ital Sky Survey images. A candidate from LAMOST (J074810.95+281349.2) is also stressed here based on the kinematic and spatial decompositions of the double-peaked narrow emission line target, with analysis from the cross-referenced Mapping Nearby Galaxies at the Apache Point Observatory (MaNGA) survey datacube. MaNGA en- ables us to constrain the origin of double peaks for these sources, and with the IFU data we infer that the most promising origin of double-peaked profiles for LAMOST J074810.95+281349.2 is the `Rotation Dominated + Disturbance' structure.


title: Extended Phase Space Thermodynamics of Black Holes in Massive Gravity

abstract: We study the extended phase space thermodynamics of black holes in massive gravity. Particularly, we examine the critical behaviour of this black hole using the extended phase space formalism. Extended phase space in a sense that in which the cosmological constant should be treated as a thermodynamic pressure and its conjugate variable as a thermodynamic volume. In this phase space, we derive the black hole equation of state, the critical pressure, the critical volume and the critical temperature at the critical point. We also derive the critical ratio of this black hole. Moreover, we derive the black hole reduced equation of state in terms of the reduced pressure, the reduced volume and the reduced temperature. Furthermore, we examine the Ehrenfest equations of black holes in massive gravity in the extended phase space at the critical point. We show that the Ehrenfest equations are satisfied of this black hole and the black hole encounters a second order phase transition at the critical point in the said phase space. This is re-examined by evaluating the Pregogine-Defay ratio~($\varPi$). We determine the value of this ratio is $\varPi=1$. The outcome of this study is completely analogous to the nature of liquid-gas phase transition at the critical point. This investigation also further gives us the profound understanding between the black hole of massive gravity with the liquid-gas system.


title: Attenuation of slow Metal-Insulator-Metal plasmonic waveguides, from Joule absorption to roughness-induced backscattering

abstract: By combining analytical and numerical approaches, we theoretically investigate the effect of fabrication imperfections, e.g. roughness at metal interfaces, on nanometer metal-insulator-metal waveguides supporting slow gap-plasmon modes. Realistic devices with vapor deposition- and chemically-grown metal films are considered. We obtain quantitative predictions for the attenuations induced by absorption and by backscattering, and analytically derive how both attenuations scale with respect to the group velocity. Depending on the material parameters and fabrication quality, roughness-induced backscattering is find to be a significant additional source of attenuation for small group velocities, which is often neglected in the literature.


title: The rank of random matrices over finite fields

abstract: We determine the rank of a random matrix A over a finite field with prescribed numbers of non-zero entries in each row and column. As an application we obtain a formula for the rate of low-density parity check codes. This formula verifies a conjecture of Lelarge [Proc. IEEE Information Theory Workshop 2013]. The proofs are based on coupling arguments and the interpolation method from mathematical physics.


title: Sequence to Sequence Mixture Model for Diverse Machine Translation

abstract: Sequence to sequence (SEQ2SEQ) models often lack diversity in their generated translations. This can be attributed to the limitation of SEQ2SEQ models in capturing lexical and syntactic variations in a parallel corpus resulting from different styles, genres, topics, or ambiguity of the translation process. In this paper, we develop a novel sequence to sequence mixture (S2SMIX) model that improves both translation diversity and quality by adopting a committee of specialized translation models rather than a single translation model. Each mixture component selects its own training dataset via optimization of the marginal loglikelihood, which leads to a soft clustering of the parallel corpus. Experiments on four language pairs demonstrate the superiority of our mixture model compared to a SEQ2SEQ baseline with standard or diversity-boosted beam search. Our mixture model uses negligible additional parameters and incurs no extra computation cost during decoding.


title: Inferencing into the void: problems with implicit populations Comments on `Empirical software engineering experts on the use of students and professionals in experiments'

abstract: I welcome the contribution from Falessi et al. [1] hereafter referred to as F++ , and the ensuing debate. Experimentation is an important tool within empirical software engineering, so how we select participants is clearly a relevant question. Moreover as F++ point out, the question is considerably more nuanced than the simple dichotomy it might appear to be at first sight. This commentary is structured as follows. In Section 2 I briefly summarise the arguments of F++ and comment on their approach. Next, in Section 3, I take a step back to consider the nature of representativeness in inferential arguments and the need for careful definition. Then I give three examples of using different types of participant to consider impact. I conclude by arguing, largely in agreement with F++, that the question of whether student participants are representative or not depends on the target population. However, we need to give careful consideration to defining that population and, in particular, not to overlook the representativeness of tasks and environment. This is facilitated by explicit description of the target populations.


title: Optimization over time-varying directed graphs with row and column-stochastic matrices

abstract: In this paper, we provide a distributed optimization algorithm, termed as TV-$\mathcal{AB}$, that minimizes a sum of convex functions over time-varying, random directed graphs. Contrary to the existing work, the algorithm we propose does not require eigenvector estimation to estimate the (non-$\mathbf{1}$) Perron eigenvector of a stochastic matrix. Instead, the proposed approach relies on a novel information mixing approach that exploits both row- and column-stochastic weights to achieve agreement towards the optimal solution when the underlying graph is directed. We show that TV-$\mathcal{AB}$ converges linearly to the optimal solution when the global objective is smooth and strongly-convex, and the underlying time-varying graphs exhibit bounded connectivity, i.e., a union of every $C$ consecutive graphs is strongly-connected. We derive the convergence results based on the stability analysis of a linear system of inequalities along with a matrix perturbation argument. Simulations confirm the findings in this paper.


title: Hybrid matter-wave - microwave solitons on the lattice

abstract: We introduce a two-component system which models a pseudospinor Bose-Einstein condensate (BEC), with a microwave field coupling its two components. The feedback of BEC of the field (the local-field effect) is taken into account by dint of the respective Poisson equation, which is solved using the Green's function. This gives rise to an effective long-range self-trapping interaction, which may act alone, or be combined with the contact cubic nonlinearity. The system is made discrete by loading the BEC into a deep optical-lattice potential. Numerical solutions demonstrate that onsite-centered fundamental solitons are stable in the cases of attractive or zero contact interactions, while offsite-centered solitons are unstable. In the case of the repulsive onsite nonlinearity, offsite solitons are stable, while their onsite-centered counterparts are stable only at sufficiently small values of the norm, where bistability between the off- and onsite-centered mode takes place. The shape of the onsite-centered solitons is very accurately predicted by a variational approximation (which includes essential technical novelties). Spatially-antisymmetric (\textquotedblleft twisted") solitons are stable at small values of the norm, being unstable at larger norms. In the strongly asymmetric version of the two-component system, which includes the Zeeman splitting, the system is reduced to a single discrete Gross-Pitaevskii equation, by eliminating the small higher-energy component.


title: Homogenization of degenerate cross-diffusion systems

abstract: Two-scale homogenization limits of parabolic cross-diffusion systems in a heterogeneous medium with no-flux boundary conditions are proved. The heterogeneity of the medium is reflected in the diffusion coefficients or by the perforated domain. The diffusion matrix is of degenerate type and may be neither symmetric nor positive semi-definite, but the diffusion system is assumed to satisfy an entropy structure. Uniform estimates are derived from the entropy production inequality. New estimates on the equicontinuity with respect to the time variable ensure the strong convergence of a sequence of solutions to the microscopic problems defined in perforated domains.


title: Probing turbulent superstructures in Rayleigh-B\'{e}nard convection by Lagrangian trajectory clusters

abstract: We analyze large-scale patterns in three-dimensional turbulent convection in a horizontally extended square convection cell by Lagrangian particle trajectories calculated in direct numerical simulations. A simulation run at a Prandtl number Pr $=0.7$, a Rayleigh number Ra $=10^5$, and an aspect ratio $\Gamma=16$ is therefore considered. These large-scale structures, which are denoted as turbulent superstructures of convection, are detected by the spectrum of the graph Laplacian matrix. Our investigation, which follows Hadjighasem {\it et al.}, Phys. Rev. E {\bf 93}, 063107 (2016), builds a weighted and undirected graph from the trajectory points of Lagrangian particles. Weights at the edges of the graph are determined by a mean dynamical distance between different particle trajectories. It is demonstrated that the resulting trajectory clusters, which are obtained by a subsequent $k$-means clustering, coincide with the superstructures in the Eulerian frame of reference. Furthermore, the characteristic times $\tau^L$ and lengths $\lambda_U^L$ of the superstructures in the Lagrangian frame of reference agree very well with their Eulerian counterparts, $\tau$ and $\lambda_U$, respectively. This trajectory-based clustering is found to work for times $t\lesssim \tau\approx\tau^L$. Longer time periods $t\gtrsim \tau^L$ require a change of the analysis method to a density-based trajectory clustering by means of time-averaged Lagrangian pseudo-trajectories, which is applied in this context for the first time. A small coherent subset of the pseudo-trajectories is obtained in this way consisting of those Lagrangian particles that are trapped for long times in the core of the superstructure circulation rolls and are thus not subject to ongoing turbulent dispersion.


title: Spontaneous parametric down-conversion induced by non-degenerate three-wave mixing in a scanning MEMS micro mirror

abstract: Scanning micro-mirror actuators are silicon-based oscillatory micro-electro-mechanical systems (MEMS). They enable laser distance measurements for automotive LIDAR applications as well as projection modules for the consumer market. For MEMS applications, the geometric structure is typically designed to serve a number of functional requirements. Most importantly, the mode spectrum contains a single high-Q mode, the drive mode, which per design is expected to yield the only resonantly excited geometric motion during operation. Yet here, we report on the observation of a resonant three-mode excitation via a process known as spontaneous parametric down-conversion. We show that this phenomenon, most extensively studied in the field of nonlinear optics, originates from three-wave coupling induced by geometric nonlinearities. In combination with further Duffing-type nonlinearities, the micro mirror displays a variety of nonlinear dynamical behaviour ranging from stationary state bifurcations to dynamical instabilities observable via amplitude modulations. We are able to explain and emulate all experimental observations using a single fundamental model. In particular, our analysis allows us to understand the conditions for the onset of three-wave down-conversion which if not accounted for in the design of the MEMS structure, can have drastic impact on its functionality even leading to fracture.


title: A Study of Curvature Theory for Different Symmetry Classes of Hamiltonian

abstract: We study and present the results of curvature for different symmetry classes (BDI, AIII and A) model Hamiltonians and also present the transformation of model Hamiltonian from one distinct symmetry class to other based on the curvature property. We observe the mirror symmetric curvature for the Hamiltonian with BDI symmetry class but there is no evidence of such behavior for Hamiltonians of AIII symmetry class. We show the origin of torsion and its consequences on the parameter space of topological phase of the system. We find the evidence of torsion for the Hamiltonian of A symmetry class. We present Serret-Frenet equations for all model Hamiltonians in $\mathbf{R}^3$ space. To the best of our knowledge, this is the first application of curvature theory to the model Hamiltonian of different symmetry classes which belong to the topological state of matter.


title: Recognizing Partial Biometric Patterns

abstract: Biometric recognition on partial captured targets is challenging, where only several partial observations of objects are available for matching. In this area, deep learning based methods are widely applied to match these partial captured objects caused by occlusions, variations of postures or just partial out of view in person re-identification and partial face recognition. However, most current methods are not able to identify an individual in case that some parts of the object are not obtainable, while the rest are specialized to certain constrained scenarios. To this end, we propose a robust general framework for arbitrary biometric matching scenarios without the limitations of alignment as well as the size of inputs. We introduce a feature post-processing step to handle the feature maps from FCN and a dictionary learning based Spatial Feature Reconstruction (SFR) to match different sized feature maps in this work. Moreover, the batch hard triplet loss function is applied to optimize the model. The applicability and effectiveness of the proposed method are demonstrated by the results from experiments on three person re-identification datasets (Market1501, CUHK03, DukeMTMC-reID), two partial person datasets (Partial REID and Partial iLIDS) and two partial face datasets (CASIA-NIR-Distance and Partial LFW), on which state-of-the-art performance is ensured in comparison with several state-of-the-art approaches. The code is released online and can be found on the website: https://github.com/lingxiao-he/Partial-Person-ReID.


title: Data-driven identification of a thermal network in multi-zone building

abstract: System identification of smart buildings is necessary for their optimal control and application in demand response. The thermal response of a building around an operating point can be modeled using a network of interconnected resistors with capacitors at each node/zone called RC network. The development of the RC network involves two phases: obtaining the network topology, and estimating thermal resistances and capacitance's. In this article, we present a provable method to reconstruct the interaction topology of thermal zones of a building solely from temperature measurements. We demonstrate that our learning algorithm accurately reconstructs the interaction topology for a $5$ zone office building in EnergyPlus with real-world conditions. We show that our learning algorithm is able to recover the network structure in scenarios where prior research prove insufficient.


title: Exterior and symmetric (co)homology of groups

abstract: The paper investigates exterior and symmetric (co)homologies of groups. We introduce symmetric homology of groups and compute exterior and symmetric (co)homologies of some finite groups. We also compare the classical, exterior and symmetric (co)homologies. Finally, we derive restriction and corestriction homomorphisms for exterior cohomology


title: Global dynamics of competition models with nonsymmetric nonlocal dispersals when one diffusion rate is small

abstract: In this paper, we study the global dynamics of a general $2\times 2$ competition models with nonsymmetric nonlocal dispersal operators. Our results indicate that local stability implies global stability provided that one of the diffusion rates is sufficiently small. This paper continues the work in \cite{BaiLi2017}, where competition models with symmetric nonlocal operators are considered.


title: Optimal Covariance Estimation for Condition Number Loss in the Spiked Model

abstract: We study estimation of the covariance matrix under relative condition number loss $\kappa(\Sigma^{-1/2} \hat{\Sigma} \Sigma^{-1/2})$, where $\kappa(\Delta)$ is the condition number of matrix $\Delta$, and $\hat{\Sigma}$ and $\Sigma$ are the estimated and theoretical covariance matrices. Optimality in $\kappa$-loss provides optimal guarantees in two stylized applications: Multi-User Covariance Estimation and Multi-Task Linear Discriminant Analysis. We assume the so-called spiked covariance model for $\Sigma$, and exploit recent advances in understanding that model, to derive a nonlinear shrinker which is asymptotically optimal among orthogonally-equivariant procedures. In our asymptotic study, the number of variables $p$ is comparable to the number of observations $n$. The form of the optimal nonlinearity depends on the aspect ratio $\gamma=p/n$ of the data matrix and on the top eigenvalue of $\Sigma$. For $\gamma > 0.618...$, even dependence on the top eigenvalue can be avoided. The optimal shrinker has two notable properties. First, when $p/n \rightarrow \gamma \gg 1$ is large, it shrinks even very large eigenvalues substantially, by a factor $1/(1+\gamma)$. Second, even for moderate $\gamma$, certain highly statistically significant eigencomponents will be completely suppressed. We show that when $\gamma \gg 1$ is large, purely diagonal covariance matrices can be optimal, despite the top eigenvalues being large and the empirical eigenvalues being highly statistically significant. This aligns with practitioner experience. We identify intuitively reasonable procedures with small worst-case relative regret - the simplest being generalized soft thresholding having threshold at the bulk edge and slope $(1+\gamma)^{-1}$ above the bulk. For $\gamma < 2$ it has at most a few percent relative regret.


title: Normal functions for algebraically trivial cycles are algebraic for arithmetic reasons

abstract: For families of smooth complex projective varieties we show that normal functions arising from algebraically trivial cycle classes are algebraic, and defined over the field of definition of the family. In particular, the zero loci of those functions are algebraic and defined over such a field of definition. This proves a conjecture of Charles.


title: Strategies for integrating uncertainty in iterative geostatistical seismic inversion

abstract: Iterative geostatistical seismic inversion integrates seismic and well data to infer the spatial distribution of subsurface elastic properties. These methods provide limited assessment to the spatial uncertainty of the inverted elastic properties, overlooking alternative sources of uncertainty such as those associated with poor well-log data, upscaling and noise within the seismic data. We express uncertain well-log samples, due to bad logging reads and upscaling, in terms of local probability distribution functions (PDFs). Local PDFs are used as conditioning data to a stochastic sequential simulation algorithm, included as the model perturbation within the inversion. The problem of noisy seismic and narrow exploration of the model parameter space, particularly at early steps of the inversion, is tackled by the introduction of a cap on local correlation coefficients responsible for the generation of the new set of models during the next iteration. A single geostatistical framework is proposed and illustrated with its application to a real case study. When compared against a conventional iterative geostatistical seismic inversion, the integration of additional sources of uncertainty increases the match between real and inverted seismic traces and the variability within the ensemble of models inverted at the last iteration. The selection of the local PDFs plays a central role in the reliability of the inverted elastic models. Avoiding high local correlation coefficients at early stages of the inversion increases convergence in terms of global correlation between synthetic and real seismic reflection data at the end of the inversion.


title: Adversarial Balancing for Causal Inference

abstract: Biases in observational data of treatments pose a major challenge to estimating expected treatment outcomes in different populations. An important technique that accounts for these biases is reweighting samples to minimize the discrepancy between treatment groups. We present a novel reweighting approach that uses bi-level optimization to alternately train a discriminator to minimize classification error, and a balancing weights generator that uses exponentiated gradient descent to maximize this error. This approach borrows principles from generative adversarial networks (GANs) to exploit the power of classifiers for measuring two-sample divergence. We provide theoretical results for conditions in which the estimation error is bounded by two factors: (i) the discrepancy measure induced by the discriminator; and (ii) the weights variability. Experimental results on several benchmarks comparing to previous state-of-the-art reweighting methods demonstrate the effectiveness of this approach in estimating causal effects.


title: Stability Analysis of DGP Brane-world Model with Agegraphic Dark Energy

abstract: The aim of this work is to apply the dynamical system approach to study the linear dynamics of the normal DGP brane-world model with agegraphic dark energy. The stability analysis of the model will be investigated and the phase plane portrait will be illustrated. The nature of critical points will be analyzed by evaluating the eigenvalues of a linearized Jacobi matrix. Also, the statefinder diagnostic procedure will be applied to show the slight deviation from the {\Lambda}CDM model. One of the most interesting results of this work is the great alleviation of the coincidence problem.


title: Generalized Onsager algebras

abstract: Let $\mathfrak{g}(A)$ be the Kac-Moody algebra with respect to a symmetrizable generalized Cartan matrix $A$. We give an explicit presentation of the fix-point Lie subalgebra $\mathfrak{k}(A)$ of $\mathfrak{g}(A)$ with respect to the Chevalley involution. It is a presentation of $\mathfrak{k}(A)$ involving inhomogeneous versions of the Serre relations, or, from a different perspective, a presentation generalizing the Dolan-Grady presentation of the Onsager algebra. In the finite and untwisted affine case we explicitly compute the structure constants of $\mathfrak{k}(A)$ in terms of a Chevalley type basis of $\mathfrak{k}(A)$. For the symplectic Lie algebra and its untwisted affine extension we explicitly describe the one-dimensional representations of $\mathfrak{k}(A)$.


title: The Science and Legacy of Richard Phillips Feynman

abstract: This year is the 100th birth anniversary of Richard Philips Feynman. This article commemorates his scientific contributions and lasting legacy.

categories: physics.hist-ph cond-mat.stat-mech gr-qc hep-ph hep-th


title: Testing isotropy in the Universe using photometric and spectroscopic data from the SDSS

abstract: We analyze two volume limited galaxy samples from the SDSS photometric and spectroscopic data to test the isotropy in the local Universe. We use information entropy to quantify the global anisotropy in the galaxy distribution at different length scales and find that the galaxy distribution is highly anisotropic on small scales. The observed anisotropy diminishes with increasing length scales and nearly plateaus out beyond a length scale of 200 Mpc/h in both the datasets. We compare these anisotropies with those predicted by the mock catalogues from the N-body simulations of the Lambda CDM model and find a fairly good agreement with the observations. We find a small residual anisotropy on large scales which decays in a way that is consistent with the linear perturbation theory. The slopes of the observed anisotropy converge to the slopes predicted by the linear theory beyond a length scale of ~ 200 Mpc/h indicating a transition to isotropy. We separately compare the anisotropies observed across the different parts of the sky and find no evidence for a preferred direction in the galaxy distribution.


title: Continual Learning of Recurrent Neural Networks by Locally Aligning Distributed Representations

abstract: Temporal models based on recurrent neural networks have proven to be quite powerful in a wide variety of applications. However, training these models often relies on back-propagation through time, which entails unfolding the network over many time steps, making the process of conducting credit assignment considerably more challenging. Furthermore, the nature of back-propagation itself does not permit the use of non-differentiable activation functions and is inherently sequential, making parallelization of the underlying training process difficult. Here, we propose the Parallel Temporal Neural Coding Network (P-TNCN), a biologically inspired model trained by the learning algorithm we call Local Representation Alignment. It aims to resolve the difficulties and problems that plague recurrent networks trained by back-propagation through time. The architecture requires neither unrolling in time nor the derivatives of its internal activation functions. We compare our model and learning procedure to other back-propagation through time alternatives (which also tend to be computationally expensive), including real-time recurrent learning, echo state networks, and unbiased online recurrent optimization. We show that it outperforms these on sequence modeling benchmarks such as Bouncing MNIST, a new benchmark we denote as Bouncing NotMNIST, and Penn Treebank. Notably, our approach can in some instances outperform full back-propagation through time as well as variants such as sparse attentive back-tracking. Significantly, the hidden unit correction phase of P-TNCN allows it to adapt to new datasets even if its synaptic weights are held fixed (zero-shot adaptation) and facilitates retention of prior generative knowledge when faced with a task sequence. We present results that show the P-TNCN's ability to conduct zero-shot adaptation and online continual sequence modeling.


title: Fermi volume evolution and crystal field excitations in heavy-fermion compounds probed by time-domain terahertz spectroscopy

abstract: We measure the quasiparticle weight in the heavy-fermion compound CeCu$_{6-x}$Au$_{x}$ ($x=0,\ 0.1$) by time-resolved THz spectroscopy for temperatures from 2 up to 300\,K. This method distinguishes contributions from the heavy Kondo band and from the crystal-electric-field satellite bands by different THz response delay times. We find that the formation of heavy bands is controlled by an exponentially enhanced, high-energy Kondo scale once the crystal-electric-field states become thermally occupied. We corroborate these observations by temperature-dependent dynamical mean-field calculations for the multi-orbital Anderson lattice model and discuss consequences for quantum critical scenarios.


title: Probability Logic: A Model Theoretic Perspective

abstract: In this paper (propositional) probability logic ($PL$) is investigated from model theoretic point of view. First of all, the ultraproduct construction is adapted for $\sigma$-additive probability models, and subsequently when this class of models is considered it is shown that the compactness property holds with respect to a fragment of $PL$ called basic probability logic ($BPL$). On the other hand, when dealing with finitely-additive probability models, one may extend the compactness property for a larger fragment of probability logic, namely positive probability logic ($PPL$). We finally prove that while the L\"owenheim-Skolem number of the class of $\sigma$-additive probability models is uncountable, it is $\aleph_0$ for the class of finitely additive probability models.


title: Progress, Justness and Fairness

abstract: Fairness assumptions are a valuable tool when reasoning about systems. In this paper, we classify several fairness properties found in the literature and argue that most of them are too restrictive for many applications. As an alternative we introduce the concept of justness.


title: Breakdown of the spectator concept in low-electron-energy resonant decay processes

abstract: We suggest that low energy electrons, released by resonant decay processes, experience substantial scattering on the electron density of excited electrons, which remain a spectator during the decay. As a result, the angular emission distribution is altered significantly. This effect is expected to be a common feature of low energy secondary electron emission. In this letter, we exemplify our idea by examining the spectator resonant interatomic Coulombic decay (sRICD) of Ne dimers. Our theoretical predictions are confirmed by a corresponding coincidence experiment.


title: The peak model for finite rank supersingular perturbations

abstract: In its original form the peak model for rank one supersingular perturbations of class $\mathfrak{H}_{-4}$ or higher of a nonnegative self-adjoint operator requires that the Gram matrix of the model should be diagonal. Here we remove the restriction on the Gram matrix. In particular we explain the origin of the Krein $Q$-function associated with the Gram matrix.


title: Effects of pyrolysis temperature on the hydrologically relevant porosity of willow biochar

abstract: Biochar pore space consists of porosity of multiple length scales. In direct water holding applications like water storage for plant water uptake, the main interest is in micrometre-range porosity since these pores are able to store water that is easily available for plants. Gas adsorption measurements which are commonly used to characterize the physical pore structure of biochars are not able to quantify this pore-size range. While pyrogenetic porosity (i.e. pores formed during pyrolysis process) tends to increase with elevated process temperature, it is uncertain whether this change affects the pore space capable to store plant available water. In this study, we characterized biochar porosity with x-ray tomography which provides quantitative information on the micrometer-range porosity. We imaged willow dried at 60 $^\circ$C and biochar samples pyrolysed in three different temperatures (peak temperatures 308, 384, 489 $^\circ$C, heating rate 2 $^\circ$C min$^{-1}$). Samples were carefully prepared and traced through the experiments, which allowed investigation of porosity development in micrometre size range. Pore space was quantified with image analysis of x-ray tomography images and, in addition, nanoscale porosity was examined with helium ion microscopy. The image analysis results show that initial pore structure of the raw material determines the properties of micrometre-range porosity in the studied temperature range. Thus, considering the pore-size regime relevant to the storage of plant available water, pyrolysis temperature in the studied range does not provide means to optimize the biochar structure. However, these findings do not rule out that process temperature may affect the water retention properties of biochars by modifying the chemical properties of the pore surfaces.


title: From plastic flow to brittle fracture: role of microscopic friction in amorphous solids

abstract: Plasticity in soft amorphous materials typically involves collective deformation patterns that emerge upon intense shearing. The microscopic basis of amorphous plasticity has been commonly established through the notion of "Eshelby"-type events, localized abrupt rearrangements that induce flow in the surrounding material via non-local elastic-type interactions. This universal mechanism in flowing disordered solids has been proposed despite their diversity in terms of scales, microscopic constituents, or interactions. However, we argue that the presence of frictional interactions in granular solids alters the dynamics of flow by nucleating micro shear cracks that continually coalesce to build up system-spanning fracture-like formations on approach to failure. The plastic-to-brittle failure transition is uniquely controlled by the degree of frictional resistance which is in essence similar to the role of heterogeneities that separate the abrupt and smooth yielding regimes in glassy structures.


title: Quantum storage of single-photon and two-photon Fock states with an all-optical quantum memory

abstract: Quantum memories are a crucial element towards efficient quantum protocols. In the continuous variables domain, such memories need to have near unity efficiencies. Moreover, one needs to store complex quantum states exhibiting negative Wigner functions after storage. We report the implementation of an all optical quantum memory: the storage of single and two-photon Fock states with high fidelities has been realized. The Wigner functions of the reconstructed states shows negativity after $\sim 0.75~\mu s$ and $\sim 0.61~\mu s$ respectively for the single-photon and two-photon Fock states. This is, to our knowledge, the first demonstration of the storage of non-Gaussian states with more than one photon, representing a key step towards hybrid quantum protocols.


title: Embarrassingly Simple Model for Early Action Proposal

abstract: Early action proposal consists in generating high quality candidate temporal segments that are likely to contain an action in a video stream, as soon as they happen. Many sophisticated approaches have been proposed for the action proposal problem but from the off-line perspective. On the contrary, we focus on the on-line version of the problem, proposing a simple classifier-based model, using standard 3D CNNs, that performs significantly better than the state of the art.


title: Finite simple groups with short Galois orbits on conjugacy classes

abstract: All finite simple groups are determined with the property that every Galois orbit on conjugacy classes has size at most 4. From this we list all finite simple groups $G$ for which the normalized group of central units of the integral group ring ZG is an infinite cyclic group.


title: Fast and Longest Rollercoasters

abstract: For $k\geq 3$, a k-rollercoaster is a sequence of numbers whose every maximal contiguous subsequence, that is increasing or decreasing, has length at least $k$; $3$-rollercoasters are called simply rollercoasters. Given a sequence of distinct numbers, we are interested in computing its maximum-length (not necessarily contiguous) subsequence that is a $k$-rollercoaster. Biedl et al. [ICALP 2018] have shown that each sequence of $n$ distinct real numbers contains a rollercoaster of length at least $\lceil n/2\rceil$ for $n>7$, and that a longest rollercoaster contained in such a sequence can be computed in $O(n\log n)$-time. They have also shown that every sequence of $n\geq (k-1)^2+1$ distinct real numbers contains a $k$-rollercoaster of length at least $\frac{n}{2(k-1)}-\frac{3k}{2}$, and gave an $O(nk\log n)$-time algorithm computing a longest $k$-rollercoaster in a sequence of length $n$. In this paper, we give an $O(nk^2)$-time algorithm computing the length of a longest $k$-rollercoaster contained in a sequence of $n$ distinct real numbers; hence, for constant $k$, our algorithm computes the length of a longest $k$-rollercoaster in optimal linear time. The algorithm can be easily adapted to output the respective $k$-rollercoaster. In particular, this improves the results of Biedl et al. [ICALP 2018], by showing that a longest rollercoaster can be computed in optimal linear time. We also present an algorithm computing the length of a longest $k$-rollercoaster in $O(n \log^2 n)$-time, that is, subquadratic even for large values of $k\leq n$. Again, the rollercoaster can be easily retrieved. Finally, we show an $\Omega(n \log k)$ lower bound for the number of comparisons in any comparison-based algorithm computing the length of a longest $k$-rollercoaster.


title: Cloud Service Provider Evaluation System using Fuzzy Rough Set Technique

abstract: Cloud Service Providers (CSPs) offer a wide variety of scalable, flexible, and cost-efficient services to cloud users on demand and pay-per-utilization basis. However, vast diversity in available cloud service providers leads to numerous challenges for users to determine and select the best suitable service. Also, sometimes users need to hire the required services from multiple CSPs which introduce difficulties in managing interfaces, accounts, security, supports, and Service Level Agreements (SLAs). To circumvent such problems having a Cloud Service Broker (CSB) be aware of service offerings and users Quality of Service (QoS) requirements will benefit both the CSPs as well as users. In this work, we proposed a Fuzzy Rough Set based Cloud Service Brokerage Architecture, which is responsible for ranking and selecting services based on users QoS requirements, and finally monitor the service execution. We have used the fuzzy rough set technique for dimension reduction. Used weighted Euclidean distance to rank the CSPs. To prioritize user QoS request, we intended to use user assign weights, also incorporated system assigned weights to give the relative importance to QoS attributes. We compared the proposed ranking technique with an existing method based on the system response time. The case study experiment results show that the proposed approach is scalable, resilience, and produce better results with less searching time.


title: Crowding and Queuing in Entrance Scenarios: Influence of Corridor Width in Front of Bottlenecks

abstract: In this paper, we present results of an entrance experiment investigating the effect of the corridor width in front of a bottleneck on the density. The idea is based on a previous study suggesting that a guiding system in front of an entrance can reduce pushing of the waiting people and thus the density at the entrance. In our study we aim to find out to what extend the corridor width has an impact on crowding or queuing behavior and with that on the density. The results of the presented experiment suggest that the transition takes place between a corridor width of 1.2 m and 2.3 m. The total duration of each experimental run is not significantly influenced by the corridor width but by the width of the entrance itself, the number of participants and partly by the motivation. In general, the density in front of the gate as well as the area of high density is increased by widening the corridor and by intensifying the motivation of the participants. However, the results also suggest that also the number of participants significantly influences the occurrence of pushing and the level of density.


title: Perspectives of a visible instrument on the VLTI

abstract: In this paper we present the most promising science cases for a new generation visible instrument on the VLTI and the conceptual idea for the instrumental configuration. We also present a statistical study of the potential targets that may be accessible for the different classes of objects and for the required spectral resolutions.


title: Assessment of deconvolution-based flamelet methods for progress variable rate modeling

abstract: A novel approach for modeling the progress variable reaction rate in Large Eddy Simulations of turbulent and reacting flows is proposed. This is done in the context of two popular flamelet models which require the progress variable variance as input. The approach is based on using a recently proposed deconvolution method for modeling the variance. The deconvolution-modeled variance, is used as an input in the flamelet models for modeling the filtered progress variable rate. The assessment of the proposed approach is conducted a priori using direct numerical simulation data of turbulent premixed flames. For the conditions tested in this study, deconvolution does not introduce a significant bias in the flamelet models' predictions, while a quantitatively good prediction of the progress variable rate is obtained for both flamelet models considered.


title: The atmospheric fragmentation of the 1908 Tunguska Cosmic Body: reconsidering the possibility of a ground impact

abstract: The 1908 June 30 Tunguska Event (TE) is one of the best studied cases of cosmic body impacting the Earth with global effects. However, still today, significant doubts are casted on the different proposed event reconstructions, because of shortage of reliable information and uncertainties of available data. In the present work, we would like to revisit the atmospheric fragmentation of the Tunguska Cosmic Body (TCB) by taking into account the possibility that a metre-sized fragment could cause the formation of the Lake Cheko, located at about $9$~km North-West from the epicentre. We performed order-of-magnitude calculations by using the classical single-body theory for the atmospheric dynamics of comets/asteroids, with the addition of the fragmentation conditions by Foschini (2001). We calibrated the numerical model by using the data of the Chelyabinsk Event (CE) of 2013 February 15. Our work favours the hypothesis that the TCB could have been a rubble-pile asteroid composed by boulders with very different materials with different mechanical strengths, density, and porosity. Before the impact, a close encounter with the Earth stripped at least one boulder, which fell aside the main body and excavated the Lake Cheko. We exclude the hypothesis of a single compact asteroid ejecting a metre-sized fragment during, or shortly before, the airburst, because there is no suitable combination of boulder mass and lateral velocity.


title: Understanding the Related-Key Security of Feistel Ciphers from a Provable Perspective

abstract: We initiate the provable related-key security treatment for models of practical Feistel ciphers. In detail, we consider Feistel networks with four whitening keys $w_i(k)$ ($i=0,1,2,3$) and round-functions of the form $f(\gamma_i(k)\oplus X)$, where $k$ is the main-key, $w_i$ and $\gamma_i$ are efficient transformations, and $f$ is a public ideal function or permutation that the adversary is allowed to query. We investigate conditions on the key-schedules that are sufficient for security against XOR-induced related-key attacks up to $2^{n/2}$ adversarial queries. When the key-schedules are non-linear, we prove security for 4 rounds. When only affine key-schedules are used, we prove security for 6 rounds. These also imply secure tweakable Feistel ciphers in the Random Oracle model. By shuffling the key-schedules, our model unifies both the DES-like structure (known as Feistel-2 scheme in the cryptanalytic community, a.k.a. key-alternating Feistel due to Lampe and Seurin, FSE 2014) and the Lucifer-like model (previously analyzed by Guo and Lin, TCC 2015). This allows us to derive concrete implications on these two (more common) models, and helps understanding their differences---and further understanding the related-key security of Feistel ciphers.


title: A Survey of Entorhinal Grid Cell Properties

abstract: About a decade ago grid cells were discovered in the medial entorhinal cortex of rat. Their peculiar firing patterns, which correlate with periodic locations in the environment, led to early hypothesis that grid cells may provide some form of metric for space. Subsequent research has since uncovered a wealth of new insights into the characteristics of grid cells and their neural neighborhood, the parahippocampal-hippocampal region, calling for a revision and refinement of earlier grid cell models. This survey paper aims to provide a comprehensive summary of grid cell research published in the past decade. It focuses on the functional characteristics of grid cells such as the influence of external cues or the alignment to environmental geometry, but also provides a basic overview of the underlying neural substrate.


title: Learning an MR acquisition-invariant representation using Siamese neural networks

abstract: Generalization of voxelwise classifiers is hampered by differences between MRI-scanners, e.g. different acquisition protocols and field strengths. To address this limitation, we propose a Siamese neural network (MRAI-NET) that extracts acquisition-invariant feature vectors. These can consequently be used by task-specific methods, such as voxelwise classifiers for tissue segmentation. MRAI-NET is tested on both simulated and real patient data. Experiments show that MRAI-NET outperforms voxelwise classifiers trained on the source or target scanner data when a small number of labeled samples is available.


title: Spectral algorithms for reaction-diffusion equations

abstract: A collection of codes (in MATLAB & Fortran 77), and examples, for solving reaction-diffusion equations in one and two space dimensions is presented. In areas of the mathematical community spectral methods are used to remove the stiffness associated with the diffusive terms in a reaction-diffusion model allowing explicit high order timestepping to be used. This is particularly valuable for two (and higher) space dimension problems. Our aim here is to provide codes, together with examples, to allow practioners to easily utilize, understand and implement these ideas; we incorporate recent theoretical advances such as exponential time differencing methods and provide timings and error comparisons with other more standard approaches. The examples are chosen from the literature to illustrate points and queries that naturally arise.


title: On badly approximable subspaces

abstract: Given an $a$-dimensional linear subspace $\mathfrak{A}$ in $\mathbb{R}^d$ which contains a badly approximable $b$-dimensional subspace $\mathfrak{B} \subset \mathfrak{A}$. We study the badly approximability almost all $c$-dimensional linear subspaces $\mathfrak{C} \subset \mathfrak{A}$.


title: Learning to quantify emphysema extent: What labels do we need?

abstract: Accurate assessment of pulmonary emphysema is crucial to assess disease severity and subtype, to monitor disease progression and to predict lung cancer risk. However, visual assessment is time-consuming and subject to substantial inter-rater variability and standard densitometry approaches to quantify emphysema remain inferior to visual scoring. We explore if machine learning methods that learn from a large dataset of visually assessed CT scans can provide accurate estimates of emphysema extent. We further investigate if machine learning algorithms that learn from a scoring of emphysema extent can outperform algorithms that learn only from a scoring of emphysema presence. We compare four Multiple Instance Learning classifiers that are trained on emphysema presence labels, and five Learning with Label Proportions classifiers that are trained on emphysema extent labels. We evaluate performance on 600 low-dose CT scans from the Danish Lung Cancer Screening Trial and find that learning from emphysema presence labels, which are much easier to obtain, gives equally good performance to learning from emphysema extent labels. The best classifiers achieve intra-class correlation coefficients around 0.90 and average overall agreement with raters of 78% and 79% on six emphysema extent classes versus inter-rater agreement of 83%.