title: Directly detecting Isospin-Violating Dark Matter

abstract: We consider the prospects for multiple dark matter direct detection experiments to determine if the interactions of a dark matter candidate are isospin-violating. We focus on theoretically well-motivated examples of isospin-violating dark matter (IVDM), including models in which dark matter interactions with nuclei are mediated by a dark photon, a Z, or a squark. We determine that the best prospects for distinguishing IVDM from the isospin-invariant scenario arise in the cases of dark photon- or Z-mediated interactions, and that the ideal experimental scenario would consist of large exposure xenon- and neon-based detectors. If such models just evade current direct detection limits, then one could distinguish such models from the standard isospin-invariant case with two detectors with of order 100 ton-year exposure.


title: Direct microwave measurement of Andreev-bound-state dynamics in a proximitized semiconducting nanowire

abstract: The modern understanding of the Josephson effect in mesosopic devices derives from the physics of Andreev bound states, fermionic modes that are localized in a superconducting weak link. Recently, Josephson junctions constructed using semiconducting nanowires have led to the realization of superconducting qubits with gate-tunable Josephson energies. We have used a microwave circuit QED architecture to detect Andreev bound states in such a gate-tunable junction based on an aluminum-proximitized InAs nanowire. We demonstrate coherent manipulation of these bound states, and track the bound-state fermion parity in real time. Individual parity-switching events due to non-equilibrium quasiparticles are observed with a characteristic timescale $T_\mathrm{parity} = 160\pm 10~\mathrm{\mu s}$. The $T_\mathrm{parity}$ of a topological nanowire junction sets a lower bound on the bandwidth required for control of Majorana bound states.


title: A generalization of the S-function method applied to a Duffing-Van der Pol forced oscillator

abstract: In [1,2] we have developed a method (we call it the S-function method) that is successful in treating certain classes of rational second order ordinary differential equations (rational 2ODEs) that are particularly `resistant' to canonical Lie methods and to Darbouxian approaches. In this present paper, we generalize the S-function method making it capable of dealing with a class of elementary 2ODEs presenting elementary functions. Then, we apply this method to a Duffing-Van der Pol forced oscillator, obtaining an entire class of first integrals.

categories: math-ph math.MP nlin.CD physics.class-ph


title: Performance Comparison of Algorithms for Movie Rating Estimation

abstract: In this paper, our goal is to compare performances of three different algorithms to predict the ratings that will be given to movies by potential users where we are given a user-movie rating matrix based on the past observations. To this end, we evaluate User-Based Collaborative Filtering, Iterative Matrix Factorization and Yehuda Koren's Integrated model using neighborhood and factorization where we use root mean square error (RMSE) as the performance evaluation metric. In short, we do not observe significant differences between performances, especially when the complexity increase is considered. We can conclude that Iterative Matrix Factorization performs fairly well despite its simplicity.


title: Demographic inference for spatially heterogeneous populations using long shared haplotypes

abstract: We introduce a modified spatial $\Lambda$-Fleming-Viot process to model the ancestry of individuals in a population occupying a continuous spatial habitat divided into two areas by a sharp discontinuity of the dispersal rate and effective population density. We derive an analytical formula for the expected number of shared haplotype segments between two individuals depending on their sampling locations. This formula involves the transition density of a skew diffusion which appears as a scaling limit of the ancestral lineages of individuals in this model. We then show that this formula can be used to infer the dispersal parameters and the effective population density of both regions, using a composite likelihood approach, and we demonstrate the efficiency of this method on a range of simulated data sets.


title: Investigations of a Robotic Testbed with Viscoelastic Liquid Cooled Actuators

abstract: We design, build, and thoroughly test a new type of actuator dubbed viscoelastic liquid cooled actuator (VLCA) for robotic applications. VLCAs excel in the following five critical axes of performance: energy efficiency, torque density, impact resistence, joint position and force controllability. We first study the design objectives and choices of the VLCA to enhance the performance on the needed criteria. We follow by an investigation on viscoelastic materials in terms of their damping, viscous and hysteresis properties as well as parameters related to the long- term performance. As part of the actuator design, we configure a disturbance observer to provide high-fidelity force control to enable a wide range of impedance control capabilities. We proceed to design a robotic system capable to lift payloads of 32.5 kg, which is three times larger than its own weight. In addition, we experiment with Cartesian trajectory control up to 2 Hz with a vertical range of motion of 32 cm while carrying a payload of 10 kg. Finally, we perform experiments on impedance control and mechanical robustness by studying the response of the robotics testbed to hammering impacts and external force interactions.


title: Analysis of a Stratified Kraichnan Flow

abstract: We consider the stochastic convection-diffusion equation \[ \partial_t u(t\,,{\bf x}) =\nu\Delta u(t\,,{\bf x}) + V(t\,,x_1)\partial_{x_2}u(t\,,{\bf x}), \] for $t>0$ and ${\bf x}=(x_1\,,x_2)\in\mathbb{R}^2$, subject to $\theta_0$ being a nice initial profile. Here, the velocity field $V$ is assumed to be centered Gaussian with covariance structure \[ \text{Cov}[V(t\,,a)\,,V(s\,,b)]= \delta_0(t-s)\rho(a-b)\qquad\text{for all $s,t\ge0$ and $a,b\in\mathbb{R}$}, \] where $\rho$ is a continuous and bounded positive-definite function on $\mathbb{R}$. We prove a quite general existence/uniqueness/regularity theorem, together with a probabilistic representation of the solution that represents $u$ as an expectation functional of an exogenous infinite-dimensional Brownian motion. We use that probabilistic representation in order to study the It\^o/Walsh solution, when it exists, and relate it to the Stratonovich solution which is shown to exist for all $\nu>0$. Our a priori estimates imply the physically-natural fact that, quite generally, the solution dissipates. In fact, very often, \begin{equation} P\left\{\sup_{|x_1|\leq m}\sup_{x_2\in\mathbb{R}} |u(t\,,{\bf x})| = O\left(\frac{1}{\sqrt t}\right)\qquad\text{as $t\to\infty$} \right\}=1\qquad\text{for all $m>0$}, \end{equation} and the $O(1/\sqrt t)$ rate is shown to be unimproveable. Our probabilistic representation is malleable enough to allow us to analyze the solution in two physically-relevant regimes: As $t\to\infty$ and as $\nu\to 0$. Among other things, our analysis leads to a "macroscopic multifractal analysis" of the rate of decay in the above equation in terms of the reciprocal of the Prandtl (or Schmidt) number, valid in a number of simple though still physically-relevant cases.


title: Estimates for the Navier-Stokes equations in the half-space for non localized data

abstract: This paper is devoted to the study of the Stokes and Navier-Stokes equations, in a half-space, for initial data in a class of locally uniform Lebesgue integrable functions, namely $L^q_{uloc,\sigma}(\R^d_+)$. We prove the analyticity of the Stokes semigroup $e^{-t{\bf A}}$ in $L^q_{uloc,\sigma}(\R^d_+)$ for $1<q\leq\infty$. This follows from the analysis of the Stokes resolvent problem for data in $L^q_{uloc,\sigma}(\R^d_+)$, $1<q\leq\infty$. We then prove bilinear estimates for the Oseen kernel, which enables to prove the existence of mild solutions. The three main original aspects of our contribution are: (i) the proof of Liouville theorems for the resolvent problem and the time dependent Stokes system under weak integrability conditions, (ii) the proof of pressure estimates in the half-space and (iii) the proof of a concentration result for blow-up solutions of the Navier-Stokes equations. This concentration result improves a recent result by Li, Ozawa and Wang and provides a new proof.


title: A gradient flow perspective on the quantization problem

abstract: In this paper we review recent results by the author on the problem of quantization of measures. More precisely, we propose a dynamical approach, and we investigate it in dimensions 1 and 2. Moreover, we discuss a recent general result on the static problem on arbitrary Riemannian manifolds.


title: On Invariant Random Subgroups of Block-Diagonal Limits of Symmetric Groups

abstract: We classify the ergodic invariant random subgroups of block-diagonal limits of symmetric groups in the cases when the groups are simple and the associated dimension groups have finite dimensional state spaces. These block-diagonal limits arise as the transformation groups (full groups) of Bratteli diagrams that preserve the cofinality of infinite paths in the diagram. Given a simple full group $G$ admitting only a finite number of ergodic measures on the path-space $X$ of the associated Bratteli digram, we prove that every non-Dirac ergodic invariant random subgroup of $G$ arises as the stabilizer distribution of the diagonal action on $X^n$ for some $n\geq 1$. As a corollary, we establish that every group character $\chi$ of $G$ has the form $\chi(g) = Prob(g\in K)$, where $K$ is a conjugation-invariant random subgroup of $G$.


title: Beyond Profiling: Scaling Profiling Data Usage to Multiple Applications

abstract: Profiling techniques are used extensively at different parts of the computing stack to achieve many goals. One major goal is to make a piece of software execute more efficiently on a specific hardware platform, where efficiency spans criteria such as power, performance, resource requirements, etc. Researchers, both in academia and industry, have introduced many techniques to gather, and make use of, profiling data. However, one thing remains unchanged: making application A run more efficiently on machine 1. In this paper, we extend this criteria by asking: can profiling information of application A on machine 1 be used to make application B run more efficiently on machine 1? If so, then this means as machine 1 continues to execute more applications, it becomes better and more efficient. We present a generalized method for using profiling information gathered from the execution of programs from a limited corpus of applications to improve the performance of software from outside our corpus. As a proof of concept, we apply our technique to the specific problem of selecting the most efficient last-level-cache with which to execute an application. We were able to turn off an average of 19% of last-level-cache blocks for selected programs from PARSEC benchmark suite and only saw an average 2.8% increase in the rate of last-level cache misses.


title: Approximating Partition Functions in Constant Time

abstract: We study approximations of the partition function of dense graphical models. Partition functions of graphical models play a fundamental role is statistical physics, in statistics and in machine learning. Two of the main methods for approximating the partition function are Markov Chain Monte Carlo and Variational Methods. An impressive body of work in mathematics, physics and theoretical computer science provides conditions under which Markov Chain Monte Carlo methods converge in polynomial time. These methods often lead to polynomial time approximation algorithms for the partition function in cases where the underlying model exhibits correlation decay. There are very few theoretical guarantees for the performance of variational methods. One exception is recent results by Risteski (2016) who considered dense graphical models and showed that using variational methods, it is possible to find an $O(\epsilon n)$ additive approximation to the log partition function in time $n^{O(1/\epsilon^2)}$ even in a regime where correlation decay does not hold. We show that under essentially the same conditions, an $O(\epsilon n)$ additive approximation of the log partition function can be found in constant time, independent of $n$. In particular, our results cover dense Ising and Potts models as well as dense graphical models with $k$-wise interaction. They also apply for low threshold rank models.


title: Spatial Pyramid Context-Aware Moving Object Detection and Tracking for Full Motion Video and Wide Aerial Motion Imagery

abstract: A robust and fast automatic moving object detection and tracking system is essential to characterize target object and extract spatial and temporal information for different functionalities including video surveillance systems, urban traffic monitoring and navigation, robotic. In this dissertation, I present a collaborative Spatial Pyramid Context-aware moving object detection and Tracking system. The proposed visual tracker is composed of one master tracker that usually relies on visual object features and two auxiliary trackers based on object temporal motion information that will be called dynamically to assist master tracker. SPCT utilizes image spatial context at different level to make the video tracking system resistant to occlusion, background noise and improve target localization accuracy and robustness. We chose a pre-selected seven-channel complementary features including RGB color, intensity and spatial pyramid of HoG to encode object color, shape and spatial layout information. We exploit integral histogram as building block to meet the demands of real-time performance. A novel fast algorithm is presented to accurately evaluate spatially weighted local histograms in constant time complexity using an extension of the integral histogram method. Different techniques are explored to efficiently compute integral histogram on GPU architecture and applied for fast spatio-temporal median computations and 3D face reconstruction texturing. We proposed a multi-component framework based on semantic fusion of motion information with projected building footprint map to significantly reduce the false alarm rate in urban scenes with many tall structures. The experiments on extensive VOTC2016 benchmark dataset and aerial video confirm that combining complementary tracking cues in an intelligent fusion framework enables persistent tracking for Full Motion Video and Wide Aerial Motion Imagery.


title: Analytical attractor and the divergence of the slow-roll expansion in relativistic hydrodynamics

abstract: We find the general analytical solution of the viscous relativistic hydrodynamic equations (in the absence of bulk viscosity and chemical potential) for a Bjorken expanding fluid with a constant shear viscosity relaxation time. We analytically determine the hydrodynamic attractor of this fluid and discuss its properties. We show for the first time that the slow-roll expansion, a commonly used approach to characterize the attractor, diverges. This is shown to hold also in a conformal plasma. The gradient expansion is found to converge in an example where causality and stability are violated.


title: Multi-mode superconducting circuits for realizing strongly coupled multi-qubit processor units

abstract: Inter-qubit coupling and qubit connectivity in a processor are crucial for achieving high fidelity multi-qubit gates and efficient implementation of quantum algorithms. Typical superconducting processors employ relatively weak transverse inter-qubit coupling which are activated via frequency tuning or microwave drives. Here, we propose a class of multi-mode superconducting circuits which realize multiple transmon qubits with all-to-all longitudinal coupling. These "artificial molecules" directly implement a multi-dimensional Hilbert space that can be easily manipulated due to the always-on longitudinal coupling. We describe the basic technique to analyze such circuits, compute the relevant properties and discuss how to optimize them to create efficient small-scale quantum processors with universal programmability.


title: Besov classes on finite- and infinite-dimensional spaces and embedding theorems

abstract: We give a new description of classical Besov spaces in terms of a new modulus of continuity. Then a similar approach is used to introduce Besov classes on an infinite-dimensional space endowed with a Gaussian measure.


title: Conditional Gradient Method for Stochastic Submodular Maximization: Closing the Gap

abstract: In this paper, we study the problem of \textit{constrained} and \textit{stochastic} continuous submodular maximization. Even though the objective function is not concave (nor convex) and is defined in terms of an expectation, we develop a variant of the conditional gradient method, called \alg, which achieves a \textit{tight} approximation guarantee. More precisely, for a monotone and continuous DR-submodular function and subject to a \textit{general} convex body constraint, we prove that \alg achieves a $[(1-1/e)\text{OPT} -\eps]$ guarantee (in expectation) with $\mathcal{O}{(1/\eps^3)}$ stochastic gradient computations. This guarantee matches the known hardness results and closes the gap between deterministic and stochastic continuous submodular maximization. By using stochastic continuous optimization as an interface, we also provide the first $(1-1/e)$ tight approximation guarantee for maximizing a \textit{monotone but stochastic} submodular \textit{set} function subject to a general matroid constraint.


title: Provenance and Pseudo-Provenance for Seeded Learning-Based Automated Test Generation

abstract: Many methods for automated software test generation, including some that explicitly use machine learning (and some that use ML more broadly conceived) derive new tests from existing tests (often referred to as seeds). Often, the seed tests from which new tests are derived are manually constructed, or at least simpler than the tests that are produced as the final outputs of such test generators. We propose annotation of generated tests with a provenance (trail) showing how individual generated tests of interest (especially failing tests) derive from seed tests, and how the population of generated tests relates to the original seed tests. In some cases, post-processing of generated tests can invalidate provenance information, in which case we also propose a method for attempting to construct "pseudo-provenance" describing how the tests could have been (partly) generated from seeds.


title: Label-free quantitative screening of breast tissue using Spatial Light Interference Microscopy (SLIM)

abstract: Breast cancer is the most common type of cancer among women worldwide. The standard histopathology of breast tissue, the primary means of disease diagnosis, involves manual microscopic examination of stained tissue by a pathologist. Because this method relies on qualitative information, it can result in inter-observer variation. Furthermore, for difficult cases the pathologist often needs additional markers of malignancy to help in making a diagnosis. We present a quantitative method for label-free tissue screening using Spatial Light Interference Microscopy (SLIM). By extracting tissue markers of malignancy based on the nanostructure revealed by the optical path-length, our method provides an objective and potentially automatable method for rapidly flagging suspicious tissue. We demonstrated our method by imaging a tissue microarray comprising 68 different subjects - 34 with malignant and 34 with benign tissues. Three-fold cross validation results showed a sensitivity of 94% and specificity of 85% for detecting cancer. The quantitative biomarkers we extract provide a repeatable and objective basis for determining malignancy. Thus, these disease signatures can be automatically classified through machine learning packages, since our images do not vary from scan to scan or instrument to instrument, i.e., they represent intrinsic physical attributes of the sample, independent of staining quality.


title: Limit sets of Weil-Petersson geodesics with nonminimal ending laminations

abstract: In this paper we construct examples of Weil-Petersson geodesics with nonminimal ending laminations which have 1-dimensional limit sets in the Thurston compactification of Teichm\"{u}ller space.


title: Hypergeometric function and modular curvature

abstract: We first show that hypergeometric functions appear naturally as spectral functions when applying pseudo-differential calculus to decipher heat kernel asymptotic in the situation where the symbol algebra is noncommutative. Such observation leads to a unified (works for arbitrary dimension) method of computing the modular curvature on toric noncommutative manifolds. We show that the spectral functions that define the quantum part of the curvature have closed forms in terms of hypergeometric functions. As a consequence, we are able to obtained explicit expressions (as functions in the dimension parameter) for those spectral functions without using symbolic integration. A surprising geometric consequence is that the functional relations coming from the variation of the associated Einstein-Hilbert action still hold when the dimension parameter takes real values.


title: Boosting Transparency in Topological Josephson Junctions via Stencil Lithography

abstract: Hybrid devices comprised of topological insulator (TI) nanostructures in proximity to s-wave superconductors (SC) are expected to pave the way towards topological quantum computation. Fabrication under ultra-high vacuum conditions is necessary to attain high quality of TI-SC hybrid devices, because the physical surfaces of V-VI three-dimensional TIs suffer from degradation at ambient conditions. Here, we present an in-situ process, which allows to fabricate such hybrids by combining molecular beam epitaxy and stencil lithography. As-prepared Josephson junctions show nearly perfect interface transparency and very large $I_CR_N$ products. The Shapiro response of radio frequency measurements indicates the presence of gapless Andreev bound states, so-called Majorana bound states.


title: Label-driven weakly-supervised learning for multimodal deformable image registration

abstract: Spatially aligning medical images from different modalities remains a challenging task, especially for intraoperative applications that require fast and robust algorithms. We propose a weakly-supervised, label-driven formulation for learning 3D voxel correspondence from higher-level label correspondence, thereby bypassing classical intensity-based image similarity measures. During training, a convolutional neural network is optimised by outputting a dense displacement field (DDF) that warps a set of available anatomical labels from the moving image to match their corresponding counterparts in the fixed image. These label pairs, including solid organs, ducts, vessels, point landmarks and other ad hoc structures, are only required at training time and can be spatially aligned by minimising a cross-entropy function of the warped moving label and the fixed label. During inference, the trained network takes a new image pair to predict an optimal DDF, resulting in a fully-automatic, label-free, real-time and deformable registration. For interventional applications where large global transformation prevails, we also propose a neural network architecture to jointly optimise the global- and local displacements. Experiment results are presented based on cross-validating registrations of 111 pairs of T2-weighted magnetic resonance images and 3D transrectal ultrasound images from prostate cancer patients with a total of over 4000 anatomical labels, yielding a median target registration error of 4.2 mm on landmark centroids and a median Dice of 0.88 on prostate glands.


title: Multivariate Bayesian Predictive Synthesis in Macroeconomic Forecasting

abstract: We develop the methodology and a detailed case study in use of a class of Bayesian predictive synthesis (BPS) models for multivariate time series forecasting. This extends the recently introduced foundational framework of BPS to the multivariate setting, with detailed application in the topical and challenging context of multi-step macroeconomic forecasting in a monetary policy setting. BPS evaluates-- sequentially and adaptively over time-- varying forecast biases and facets of miscalibration of individual forecast densities, and-- critically-- of time-varying inter-dependencies among them over multiple series. We develop new BPS methodology for a specific subclass of the dynamic multivariate latent factor models implied by BPS theory. Structured dynamic latent factor BPS is here motivated by the application context-- sequential forecasting of multiple US macroeconomic time series with forecasts generated from several traditional econometric time series models. The case study highlights the potential of BPS to improve of forecasts of multiple series at multiple forecast horizons, and its use in learning dynamic relationships among forecasting models or agents.


title: On the asynchronous rational group

abstract: We prove that the asynchronous rational group defined by Grigorchuk, Nekrashevych, and Sushchanskii is simple and not finitely generated. Our proofs also apply to certain subgroups of the rational group, such as the group of all rational bilipschitz homeomorphisms.


title: Singular Yamabe problem for scalar flat metrics on the sphere

abstract: Let $\Omega$ be a domain on the unit $n$-sphere $ \mathbb S^n$ and $\mathring{g}$ the standard metric of $\mathbb S^n$, $n\ge 3$. We show that there exists a conformal metric $g$ with vanishing scalar curvature $R(g)=0$ such that $(\Omega, g)$ is complete if and only if the Bessel capacity $\mathcal C_{\alpha, q}(\mathbb S^n\setminus \Omega)=0$, where $\alpha=1+\frac2n$ and $q=\frac n2$. Our analysis utilizes some well known properties of capacity and Wolff potentials, as well as a version of the Hopf-Rinow theorem for the divergent curves.


title: Mechanics and special relativity: tutorial problems with solutions

abstract: The manual contains (in Russian) solutions of 230 problems that were used by the author for a number of years at the tutorial seminars in the first year undergraduate course in Mechanics and special relativity at Novosibirsk State University. The manual consists of 36 chapters - according to the number of seminars in this course. In each chapter, from 5 to 10 problems are dealt with. Where possible, several solutions of the same problem are given in order the students to become used to treating physical phenomena from different points of view. Most problems are taken from the problem book Yu.I. Belchenko, E.A. Gilev, Z.K. Silagadze, V.G. Sokolov, Collection of problems in the mechanics of particles and bodies, Novosibirsk: NSU, 2000. For such problems, the corresponding number in the problem book is indicated in parentheses.


title: Probing electron-argon scattering for liquid-argon based neutrino-oscillation program

abstract: The electron scattering has been a vital tool to study the properties of the target nucleus for over five decades. Though, the particular interest on $^{40}$Ar nucleus stemmed from the progress in the accelerator-based neutrino-oscillation experiments. The complexity of nuclei comprising the detectors and their weak response turned out to be one of the major hurdles in the quest of achieving unprecedented precision in these experiments. The challenges are further magnified by the use of Liquid Argon Time Projection Chambers (LArTPCs) in the short- (SBN) and long-baseline (DUNE) neutrino program, with almost non-existence electron-argon scattering data and hence with no empirical basis to test and develop nuclear models for $^{40}$Ar. In light of these challenges, an electron-argon experiment, E12-14-012, was proposed at Jefferson Lab. The experiment has recently successfully completed collecting data for $(e,e'p)$ and $(e,e')$ processes, not just on $^{40}$Ar but also on $^{48}$Ti, and $^{12}$C targets. While the analysis is running with full steam, in this contribution, we present a brief overview of the experiment.


title: Bent Electronic Band Structure Induced by Ferroelectric Polarization

abstract: Bent band structures have been empirically described in ferroelectric materials to explain the functioning of recently developed ferroelectric tunneling junction and photovoltaic devices. This report presents experimental evidence for ferroelectric band bending, which was observed in the depth profiles of atomic orbitals of angle-resolved hard x-ray photoemission spectra of ferroelectric BaTiO3 thin films. The ferroelectric bent band structure is separated into three depth regions; the shallowest and deepest regions are slightly modulated by the screening effect at surface and interface, respectively, and the intermediate region exhibits the pure ferroelectric effect. In the pure ferroelectric bent band structure, we found that the binding energy of outer shell electrons shows a larger shift than that of inner shell electrons, and that the difference in energy shift is correlated with the atomic configuration of the soft phonon mode. These findings could lead to a simple understanding of the origin of electric polarization.


title: Ziegler Spectra of Serial Rings

abstract: In this paper we prove that the Ziegler spectra of all serial rings are sober. We then use this proof to give a general framework for computing and understanding Ziegler spectra of uniserial rings up to topological indistinguishability. Finally, we illustrate this technique by computing the Ziegler spectra of all rank one uniserial domains up to topological indistinguishability.


title: A robust RUV-testing procedure via gamma-divergence

abstract: Identification of differentially expressed genes (DE-genes) is commonly conducted in modern biomedical researches. However, unwanted variation inevitably arises during the data collection process, which could make the detection results heavily biased. It is suggested to remove the unwanted variation while keeping the biological variation to ensure a reliable analysis result. Removing Unwanted Variation (RUV) is recently proposed for this purpose by the virtue of negative control genes. On the other hand, outliers are frequently appear in modern high-throughput genetic data that can heavily affect the performances of RUV and its downstream analysis. In this work, we propose a robust RUV-testing procedure via gamma-divergence. The advantages of our method are twofold: (1) it does not involve any modeling for the outlier distribution, which is applicable to various situations, (2) it is easy to implement in the sense that its robustness is controlled by a single tuning parameter gamma of gamma-divergence, and a data-driven criterion is developed to select $\gamma$. In the Gender Study, our method can successfully remove unwanted variation, and is able to identify more DE-genes than conventional methods.


title: Organic Haze as a Biosignature in Anoxic Earth-like Atmospheres

abstract: Early Earth may have hosted a biologically-mediated global organic haze during the Archean eon (3.8-2.5 billion years ago). This haze would have significantly impacted multiple aspects of our planet, including its potential for habitability and its spectral appearance. Here, we model worlds with Archean-like levels of carbon dioxide orbiting the ancient sun and an M4V dwarf (GJ 876) and show that organic haze formation requires methane fluxes consistent with estimated Earth-like biological production rates. On planets with high fluxes of biogenic organic sulfur gases (CS2, OCS, CH3SH, and CH3SCH3), photochemistry involving these gases can drive haze formation at lower CH4/CO2 ratios than methane photochemistry alone. For a planet orbiting the sun, at 30x the modern organic sulfur gas flux, haze forms at a CH4/CO2 ratio 20% lower than at 1x the modern organic sulfur flux. For a planet orbiting the M4V star, the impact of organic sulfur gases is more pronounced: at 1x the modern Earth organic sulfur flux, a substantial haze forms at CH4/CO2 ~ 0.2, but at 30x the organic sulfur flux, the CH4/CO2 ratio needed to form haze decreases by a full order of magnitude. Detection of haze at an anomalously low CH4/CO2 ratio could suggest the influence of these biogenic sulfur gases, and therefore imply biological activity on an exoplanet. When these organic sulfur gases are not readily detectable in the spectrum of an Earth-like exoplanet, the thick organic haze they can help produce creates a very strong absorption feature at UV-blue wavelengths detectable in reflected light at a spectral resolution as low as 10. In direct imaging, constraining CH4 and CO2 concentrations will require higher spectral resolution, and R > 170 is needed to accurately resolve the structure of the CO2 feature at 1.57 {\mu}m, likely, the most accessible CO2 feature on an Archean-like exoplanet.


title: The Asymmetric Bowshock/PWN of PSR J2124$-$3358

abstract: We describe new measurements of the remarkable H$\alpha$/UV/X-ray bowshock and pulsar wind nebula of the isolated millisecond pulsar PSR J2124$-$3358. {\it CXO} imaging shows a one-sided jet structure with a softer equatorial outflow. KOALA IFU spectroscopy shows that non-radiative emission dominates the bow shock and that the H$\alpha$ nebula is asymmetric about the pulsar velocity with an elongation into the plane of the sky. We extend analytic models of the contact discontinuity to accommodate such shapes and compare these to the data. Using {\it HST} UV detections of the pulsar and bow shock, radio timing distance and proper motion measurements and the {\it CXO}-detected projected spin axis we model the 3-D PWN momentum flux distribution. The integrated momentum flux depends on the ionization of the ambient ISM, but for an expected ambient WNM we infer $I = 2.4 \times 10^{45} {\rm g\,cm^2}$. This implies $M_{NS} = 1.6-2.1 M_\odot$, depending on the equation of state, which in turn suggests that the MSP gained significant mass during recycling and then lost its companion. However, this conclusion is at present tentative, since lower ionization allows $\sim 30\%$ lower masses and uncertainty in the parallax allows up to 50% error.


title: The fast signal diffusion limit in a chemotaxis system with strong signal sensitivity

abstract: This paper gives a first insight into making a mathematical bridge between the parabolic-parabolic signal-dependent chemotaxis system and its parabolic-elliptic version. To be more precise, this paper deals with convergence of a solution for the parabolic-parabolic chemotaxis system with strong signal sensitivity $$ (u_\lambda)_t = \Delta u_\lambda - \nabla \cdot (u_\lambda \chi(v_\lambda)\nabla u_\lambda), \quad \lambda (v_\lambda)_t = \Delta v_\lambda - v_\lambda +u_\lambda \quad \mbox{in} \ \Omega\times (0,\infty) $$ to that for the parabolic-elliptic chemotaxis system $$ u_t = \Delta u -\nabla \cdot (u\chi(v)\nabla v), \quad 0= \Delta v -v +u \quad \mbox{in} \ \Omega\times (0,\infty), $$ where $\Omega$ is a bounded domain in $\mathbb{R}^n$ ($n\in\mathbb{N}$) with smooth boundary, $\lambda>0$ is a constant and $\chi$ is a function generalizing $$ \chi(v) = \frac{\chi_0}{(1+v)^k} \quad (\chi_0>0,\ k>1).$$ In chemotaxis systems parabolic-elliptic systems often provided some guide to methods and results for parabolic-parabolic systems. However, the relation between parabolic-elliptic systems and parabolic-parabolic systems has not been studied. Namely, it still remains to analyze on the following question: Does a solution of the parabolic-parabolic system converge to that of the parabolic-elliptic system as $\lambda \searrow 0$? This paper gives some positive answer in the chemotaxis system with strong signal sensitivity.


title: Magnetic field dependence of the atomic collapse state in graphene

abstract: Quantum electrodynamics predicts that heavy atoms ($Z > Z_c \approx 170$) will undergo the process of atomic collapse where electrons sink into the positron continuum and a new family of so-called collapsing states emerges. The relativistic electrons in graphene exhibit the same physics but at a much lower critical charge ($Z_c \approx 1$) which has made it possible to confirm this phenomenon experimentally. However, there exist conflicting predictions on the effect of a magnetic field on atomic collapse. These theoretical predictions are based on the continuum Dirac-Weyl equation, which does not have an exact analytical solution for the interplay of a supercritical Coulomb potential and the magnetic field. Approximative solutions have been proposed, but because the two effects compete on similar energy scales, the theoretical treatment varies depending on the regime which is being considered. These limitations are overcome here by starting from a tight-binding approach and computing exact numerical results. By avoiding special limit cases, we found a smooth evolution between the different regimes. We predict that the atomic collapse effect persists even after the magnetic field is activated and that the critical charge remains unchanged. We show that the atomic collapse regime is characterized: 1) by a series of Landau level anticrossings and 2) by the absence of $\sqrt{B}$ scaling of the Landau levels with regard to magnetic field strength.


title: SIR-Hawkes: Linking Epidemic Models and Hawkes Processes to Model Diffusions in Finite Populations

abstract: Among the statistical tools for online information diffusion modeling, both epidemic models and Hawkes point processes are popular choices. The former originate from epidemiology, and consider information as a viral contagion which spreads into a population of online users. The latter have roots in geophysics and finance, view individual actions as discrete events in continuous time, and modulate the rate of events according to the self-exciting nature of event sequences. Here, we establish a novel connection between these two frameworks. Namely, the rate of events in an extended Hawkes model is identical to the rate of new infections in the Susceptible-Infected-Recovered (SIR) model after marginalizing out recovery events -- which are unobserved in a Hawkes process. This result paves the way to apply tools developed for SIR to Hawkes, and vice versa. It also leads to HawkesN, a generalization of the Hawkes model which accounts for a finite population size. Finally, we derive the distribution of cascade sizes for HawkesN, inspired by methods in stochastic SIR. Such distributions provide nuanced explanations to the general unpredictability of popularity: the distribution for diffusion cascade sizes tends to have two modes, one corresponding to large cascade sizes and another one around zero.


title: Mod $p$ Hilbert modular forms of parallel weight one: the ramified case

abstract: We generalize the main result of arXiv:1206.6631 [math.NT] to all totally real fields. In other words, for $p>2$ prime, we prove (under a mild Taylor-Wiles hypothesis) that if a modular representation is unramified and $p$-distinguished at all places above $p$, then it arises from a mod $p$ Hilbert modular form of parallel weight one. This (mostly) resolves the weight one part of Serre's conjecture for totally real fields.


title: Experimental demonstration of a Josephson magnetic memory cell with a programmable \pi-junction

abstract: We experimentally demonstrate the operation of a Josephson magnetic random access memory unit cell, built with a Ni_80Fe_20/Cu/Ni pseudo spin-valve Josephson junction with Nb electrodes and an integrated readout SQUID in a fully planarized Nb fabrication process. We show that the parallel and anti-parallel memory states of the spin-valve can be mapped onto a junction equilibrium phase of either zero or pi by appropriate choice of the ferromagnet thicknesses, and that the magnetic Josephson junction can be written to either a zero-junction or pi-junction state by application of write fields of approximately 5 mT. This work represents a first step towards a scalable, dense, and power-efficient cryogenic memory for superconducting high-performance digital computing.


title: Estimation of Low-Rank Matrices via Approximate Message Passing

abstract: Consider the problem of estimating a low-rank matrix when its entries are perturbed by Gaussian noise. If the empirical distribution of the entries of the spikes is known, optimal estimators that exploit this knowledge can substantially outperform simple spectral approaches. Recent work characterizes the asymptotic accuracy of Bayes-optimal estimators in the high-dimensional limit. In this paper we present a practical algorithm that can achieve Bayes-optimal accuracy above the spectral threshold. A bold conjecture from statistical physics posits that no polynomial-time algorithm achieves optimal error below the same threshold (unless the best estimator is trivial). Our approach uses Approximate Message Passing (AMP) in conjunction with a spectral initialization. AMP algorithms have proved successful in a variety of statistical estimation tasks, and are amenable to exact asymptotic analysis via state evolution. Unfortunately, state evolution is uninformative when the algorithm is initialized near an unstable fixed point, as often happens in low-rank matrix estimation. We develop a new analysis of AMP that allows for spectral initializations. Our main theorem is general and applies beyond matrix estimation. However, we use it to derive detailed predictions for the problem of estimating a rank-one matrix in noise. Special cases of this problem are closely related---via universality arguments---to the network community detection problem for two asymmetric communities. For general rank-one models, we show that AMP can be used to construct confidence intervals and control false discovery rate. We provide illustrations of the general methodology by considering the cases of sparse low-rank matrices and of block-constant low-rank matrices with symmetric blocks (we refer to the latter as to the `Gaussian Block Model').


title: ENGINE:Cost Effective Offloading in Mobile Edge Computing with Fog-Cloud Cooperation

abstract: Mobile Edge Computing (MEC) as an emerging paradigm utilizing cloudlet or fog nodes to extend remote cloud computing to the edge of the network, is foreseen as a key technology towards next generation wireless networks. By offloading computation intensive tasks from resource constrained mobile devices to fog nodes or the remote cloud, the energy of mobile devices can be saved and the computation capability can be enhanced. For fog nodes, they can rent the resource rich remote cloud to help them process incoming tasks from mobile devices. In this architecture, the benefit of short computation and computation delay of mobile devices can be fully exploited. However, existing studies mostly assume fog nodes possess unlimited computing capacity, which is not practical, especially when fog nodes are also energy constrained mobile devices. To provide incentive of fog nodes and reduce the computation cost of mobile devices, we provide a cost effective offloading scheme in mobile edge computing with the cooperation between fog nodes and the remote cloud with task dependency constraint. The mobile devices have limited budget and have to determine which task should be computed locally or sent to the fog. To address this issue, we first formulate the offloading problem as a task finish time inimization problem with given budgets of mobile devices, which is NP-hard. We then devise two more algorithms to study the network performance. Simulation results show that the proposed greedy algorithm can achieve the near optimal performance. On average, the Brute Force method and the greedy algorithm outperform the simulated annealing algorithm by about 28.13% on the application finish time.


title: Authorship Analysis of Xenophon's Cyropaedia

abstract: In the past several decades, many authorship attribution studies have used computational methods to determine the authors of disputed texts. Disputed authorship is a common problem in Classics, since little information about ancient documents has survived the centuries. Many scholars have questioned the authenticity of the final chapter of Xenophon's Cyropaedia, a 4th century B.C. historical text. In this study, we use N-grams frequency vectors with a cosine similarity function and word frequency vectors with Naive Bayes Classifiers (NBC) and Support Vector Machines (SVM) to analyze the authorship of the Cyropaedia. Although the N-gram analysis shows that the epilogue of the Cyropaedia differs slightly from the rest of the work, comparing the analysis of Xenophon with analyses of Aristotle and Plato suggests that this difference is not significant. Both NBC and SVM analyses of word frequencies show that the final chapter of the Cyropaedia is closely related to the other chapters of the Cyropaedia. Therefore, this analysis suggests that the disputed chapter was written by Xenophon. This information can help scholars better understand the Cyropaedia and also demonstrates the usefulness of applying modern authorship analysis techniques to classical literature.


title: Impact of domain anisotropy on the inverse cascade in geostrophic turbulent convection

abstract: The effect of domain anisotropy on the inverse cascade occurring within the geostrophic turbulence regime of rapidly rotating Rayleigh-B\'enard convection (RRBC) is investigated. In periodic domains with square cross-section in the horizontal a domain-filling dipole state is present. For rectangular periodic domains a Kolmogorov-like flow consisting of a periodic array of alternating unidirectional jets with embedded vortices is observed, together with an underlying weak meandering transverse jet. Similar transitions occurring in weakly dissipative two-dimensional flows driven by externally imposed small amplitude noise as well as in classical hydrostatic geostrophic turbulence are a consequence of inviscid conservation of energy and potential enstrophy and can be understood using statistical mechanics considerations. RRBC represents an important three-dimensional system with only one inviscid invariant that nonetheless exhibits large-scale structures driven by intrinsically generated fluctuations.


title: On classes of finite groups with simple non-abelian chief factors

abstract: Let $\mathfrak{J}$ be a class of non-abelian simple groups and $\mathfrak{X}$ be a class of groups. A chief factor $H/K$ of a group $G$ is called $\mathfrak{X}$-central in $G$ provided $(H/K)\rtimes G/C_G(H/K)\in\mathfrak{X}$. We say that $G$ is a $\mathfrak{J}cs$-$\mathfrak{X}$-\emph{group} if every chief $\mathfrak{X}$-factor of $G$ is $\mathfrak{X}$-central and other chief factors of $G$ are simple $\mathfrak{J}$-groups. We use $\mathfrak{X}_{\mathfrak{J}cs}$ to denote the class of all $\mathfrak{J}cs$-$\mathfrak{X}$-groups. A subgroup $U$ of a group $G$ is called $\mathfrak{X}$-\emph{maximal} in $G$ provided that $(a)$ $U\in\mathfrak{X}$, and $(b)$ if $U\leq V \leq G$ and $V\in\mathfrak{X}$, then $U = V$. In this paper we described the structure of $\mathfrak{J}cs$-$\mathfrak{H}$-groups for a solubly saturated formation $\mathfrak{H}$ and all hereditary saturated formations $\mathfrak{F}$ containing all nilpotent groups such that the $\mathfrak{F}_{\mathfrak{J}cs}$-hypercenter of $G$ coincides with the intersection of all $\mathfrak{F}_{\mathfrak{J}cs}$-maximal subgroups of $G$ for every group $G$.


title: A study of the interstellar medium towards the unidentified dark TeV $\gamma$-ray sources HESS J1614-518 and HESS J1616-508

abstract: HESS J1614$-$518 and HESS J1616$-$508 are two tera-electron volt (TeV) $\gamma$-ray sources that are not firmly associated with any known counterparts at other wavelengths. We investigate the distribution of interstellar medium towards the TeV $\gamma$-ray sources using results from a 7 mm-wavelength Mopra study, the Mopra Southern Galactic Plane CO Survey, the Millimetre Astronomer's Legacy Team - 45 GHz survey and [CI] data from the HEAT telescope. Data in the CO(1$-$0) transition lines reveal diffuse gas overlapping the two TeV sources at several velocities along the line of sight, while observations in the CS(1$-$0) transition line reveal several interesting dense gas features. To account for the diffuse atomic gas, archival HI data was taken from the Southern Galactic Plane Survey. The observations reveal gas components with masses $\sim10^3$ to $10^5$ M$_\odot$ and with densities $\sim10^2$ to $10^3$ cm$^{-3}$ overlapping the two TeV sources. Several origin scenarios potentially associated with the TeV $\gamma$-ray sources are discussed in light of the distribution of the local interstellar medium. We find no strong convincing evidence linking any counterpart with HESS J1614$-$518 or HESS J1616$-$508.


title: On Autonilpotent Finite Groups

abstract: In the paper autonilpotent groups were characterized as groups $G$ such that $\mathrm{Aut}G$ stabilizes some chain of subgroups of $G$. It was shown that a $p$-group is autonilpotent if and only if its group of automorphisms is also a $p$-group. Analogues of Baer's theorem about the hypercenter and Frobenius $p$-nilpotency criterion were obtained for autonilpotent groups.


title: Distributions of pore sizes and atomic densities in binary glasses revealed by molecular dynamics simulations

abstract: We report on the results of a molecular dynamics simulation study of binodal glassy systems, formed in the process of isochoric rapid quenching from a high-temperature fluid phase. The transition to vitreous state occurs due to concurrent spinodal decomposition and solidification of the matter. The study is focused on topographies of the porous solid structures and their dependence on temperature and average density. To quantify the pore-size distributions, we put forth a scaling relation that provides a robust data collapse in systems with high porosity. We also find that the local density of glassy phases is broadly distributed, and, with increasing average glass density, a distinct peak in the local density distribution is displaced toward higher values.


title: Search for light tetraquark states in $\Upsilon(1S)$ and $\Upsilon(2S)$ decays

abstract: We search for the $J^{PC}=0^{--}$ and $1^{+-}$ light tetraquark states with masses up to 2.46~GeV/$c^2$ in $\Upsilon(1S)$ and $\Upsilon(2S)$ decays with data samples of $(102\pm 2)$ million and $(158\pm 4)$ million events, respectively, collected with the Belle detector. No significant signals are observed in any of the studied production modes, and 90\% credibility level (C.L.) upper limits on their branching fractions in $\Upsilon(1S)$ and $\Upsilon(2S)$ decays are obtained. The inclusive branching fractions of the $\Upsilon(1S)$ and $\Upsilon(2S)$ decays into final states with $f_1(1285)$ are measured to be ${\cal B}(\Upsilon(1S)\to f_1(1285)+anything)=(46\pm28({\rm stat.})\pm13({\rm syst.}))\times 10^{-4}$ and ${\cal B}(\Upsilon(2S)\to f_1(1285)+anything)=(22\pm15({\rm stat.})\pm6.3({\rm syst.}))\times 10^{-4}$. The measured $\chi_{b2} \to J/\psi + anything$ branching fraction is measured to be $(1.50\pm0.34({\rm stat.})\pm0.22({\rm syst.}))\times 10^{-3}$, and 90\% C.L. upper limits for the $\chi_{b0,b1} \to J/\psi + anything$ branching fractions are found to be $2.3\times 10^{-3}$ and $1.1\times 10^{-3}$, respectively. For ${\cal B}(\chi_{b1} \to \omega + anything)$, the branching fraction is measured to be $(4.9\pm1.3({\rm stat.})\pm0.6({\rm syst.}))\times 10^{-2}$. %($<3.68\times 10^{-2}$ at 90\% C.L.). All results reported here are the first measurements for these modes.


title: Elastic LiDAR Fusion: Dense Map-Centric Continuous-Time SLAM

abstract: The concept of continuous-time trajectory representation has brought increased accuracy and efficiency to multi-modal sensor fusion in modern SLAM. However, regardless of these advantages, its offline property caused by the requirement of global batch optimization is critically hindering its relevance for real-time and life-long applications. In this paper, we present a dense map-centric SLAM method based on a continuous-time trajectory to cope with this problem. The proposed system locally functions in a similar fashion to conventional Continuous-Time SLAM (CT-SLAM). However, it removes the need for global trajectory optimization by introducing map deformation. The computational complexity of the proposed approach for loop closure does not depend on the operation time, but only on the size of the space it explored before the loop closure. It is therefore more suitable for long term operation compared to the conventional CT-SLAM. Furthermore, the proposed method reduces uncertainty in the reconstructed dense map by using probabilistic surface element (surfel) fusion. We demonstrate that the proposed method produces globally consistent maps without global batch trajectory optimization, and effectively reduces LiDAR noise by surfel fusion.


title: Routing Symmetric Demands in Directed Minor-Free Graphs with Constant Congestion

abstract: The problem of routing in graphs using node-disjoint paths has received a lot of attention and a polylogarithmic approximation algorithm with constant congestion is known for undirected graphs [Chuzhoy and Li 2016] and [Chekuri and Ene 2013]. However, the problem is hard to approximate within polynomial factors on directed graphs, for any constant congestion [Chuzhoy, Kim and Li 2016]. Recently, [Chekuri, Ene and Pilipczuk 2016] have obtained a polylogarithmic approximation with constant congestion on directed planar graphs, for the special case of symmetric demands. We extend their result by obtaining a polylogarithmic approximation with constant congestion on arbitrary directed minor-free graphs, for the case of symmetric demands.


title: English and Spanish Translation of Zwicky's (1933) The Redshift of Extragalactic Nebulae

abstract: English and Spanish translations are provided for Fritz Zwicky's seminal article on "The Redshift of Extragalactic Nebulae", published in German in Helvetica Physica Acta in 1933 <https://www.e-periodica.ch/digbib/view?pid=hpa-001:1933:6#112>. This paper is usually cited as the first evidence for dark matter ("dunkle Materie", not "missing matter"). Zwicky's conclusion is based on the velocity dispersion of only seven galaxies in the Coma cluster of galaxies. Now, 84 years later, with 1000+ radial velocities measured for Coma cluster members, Coma's velocity dispersion is very close to that found by Zwicky. The translation is as literal as possible, and annotations on the translation of certain terms are given. Doubts on the meaning of the original phrasing are given in square brackets at a few places where they occur. The pdf version of my English translation was kindly prepared by Cren Frayer at the NASA/IPAC Extragalactic Database (NED), also available at NED's Level5 repository since June 2017 (<http://ned.ipac.caltech.edu/level5/March17/Zwicky/frames.html>). A Spanish translation, without figures, prepared by myself with the help of Martha Margarita L\'opez Guti\'errrez is appended within the same pdf file. As translator I take responsibilty for the quality of the translation.


title: Multilingual Speech Recognition With A Single End-To-End Model

abstract: Training a conventional automatic speech recognition (ASR) system to support multiple languages is challenging because the sub-word unit, lexicon and word inventories are typically language specific. In contrast, sequence-to-sequence models are well suited for multilingual ASR because they encapsulate an acoustic, pronunciation and language model jointly in a single network. In this work we present a single sequence-to-sequence ASR model trained on 9 different Indian languages, which have very little overlap in their scripts. Specifically, we take a union of language-specific grapheme sets and train a grapheme-based sequence-to-sequence model jointly on data from all languages. We find that this model, which is not explicitly given any information about language identity, improves recognition performance by 21% relative compared to analogous sequence-to-sequence models trained on each language individually. By modifying the model to accept a language identifier as an additional input feature, we further improve performance by an additional 7% relative and eliminate confusion between different languages.


title: Massive star formation in W51A triggered by cloud-cloud collisions

abstract: W51A is one of the most active star-forming region in our Galaxy, which contains giant molecular clouds with a total mass of 10^6 Msun. The molecular clouds have multiple velocity components over ~20 km/s, and interactions between these components have been discussed as the mechanism which triggered the massive star formation in W51A. In this paper, we report an observational study of the molecular clouds in W51A using the new 12CO, 13CO, and C18O (J=1-0) data covering a 1.4x1.0 degree region of W51A obtained with the Nobeyama 45-m telescope at 20" resolution. Our CO data resolved the four discrete velocity clouds at 50, 56, 60, and 68 km/s with sizes and masses of ~30 pc and 1.0-1.9x10^5 Msun. Toward the central part of the HII region complex G49.5-0.4, we identified four C18O clumps having sizes of ~1 pc and column densities of higher than 10^23 cm^-3, which are each embedded within the four velocity clouds. These four clumps are distributed close to each others within a small distance of 5 pc, showing a complementary distribution on the sky. In the position-velocity diagram, these clumps are connected with each others by bridge features with intermediate intensities. The high intensity ratios of 13CO (J=3-2/J=1-0) also indicates that these four clouds are associated with the HII regions. We also found these features in other HII regions in W51A. The timescales of the collisions are estimated to be several 0.1 Myrs as a crossing time of the clouds, which are consistent with the ages of the HII regions measured from the size of the HII regions in the 21 cm continuum emissions. We discuss the cloud-cloud collision scenario and massive star formation in W51A by comparing with the recent observational and theoretical studies of cloud-cloud collision.


title: Bilinear Controllability of a Class of Advection-Diffusion-Reaction Systems

abstract: In this paper, we investigate the exact controllability properties of an advection-diffusion equation on a bounded domain, using time- and space-dependent velocity fields as the control parameters. This partial differential equation (PDE) is the Kolmogorov forward equation for a reflected diffusion process that models the spatiotemporal evolution of a swarm of agents. We prove that if a target probability density has bounded first-order weak derivatives and is uniformly bounded from below by a positive constant, then it can be reached in finite time using control inputs that are bounded in space and time. We then extend this controllability result to a class of advection-diffusion-reaction PDEs that corresponds to a hybrid-switching diffusion process (HSDP), in which case the reaction parameters are additionally incorporated as the control inputs. Our proof for controllability of the advection-diffusion equation is constructive and is based on linear operator semigroup theoretic arguments and spectral properties of the multiplicatively perturbed Neumann Laplacian. For the HSDP, we first constructively prove controllability of the associated continuous-time Markov chain (CTMC) system, in which the state space is finite. Then we show that our controllability results for the advection-diffusion equation and the CTMC can be combined to establish controllability of the forward equation of the HSDP. Lastly, we provide constructive solutions to the problem of asymptotically stabilizing an HSDP to a target non-negative stationary distribution using time-independent state feedback laws, which correspond to spatially-dependent coefficients of the associated system of PDEs.


title: Analogues of Iwasawa's $\mu=0$ conjecture and the weak Leopoldt conjecture for a non-cyclotomic $\mathbb{Z}_2$-extension

abstract: Let $K = \mathbb{Q}(\sqrt{-q})$, where $q$ is any prime number congruent to $7$ modulo $8$, and let $\mathcal{O}$ be the ring of integers of $K$. The prime $2$ splits in $K$, say $2\mathcal{O} = \mathfrak{p} \mathfrak{p}^\ast$, and there is a unique $\mathbb{Z}_2$-extension $K_\infty$ of $K$, which is unramified outside $\mathfrak{p}$. Let $H$ be the Hilbert class field of $K$, and write $H_\infty = HK_\infty$. Let $M(H_\infty)$ be the maximal abelian $2$-extension of $H_\infty$, which is unramified outside the primes above $\mathfrak{p}$, and put $X(H_\infty) = \mathrm{Gal}(M(H_\infty)/H_\infty)$. We prove that $X(H_\infty)$ is always a finitely generated $\mathbb{Z}_2$-module, by an elliptic analogue of Sinnott's cyclotomic argument. We then use this result to prove for the first time the weak $\mathfrak{p}$-adic Leopoldt conjecture for the compositum $J_\infty$ of $K_\infty$ with arbitrary quadratic extensions $J$ of $H$. We also prove some new cases of the finite generation of the Mordell-Weil group $E(J_\infty)$ modulo torsion of certain elliptic curves $E$ with complex multiplication by $\mathcal{O}$.


title: Higher-rank graph algebras are iterated Cuntz-Pimsner algebras

abstract: Given a finitely aligned $k$-graph $\Lambda$, we let $\Lambda^i$ denote the $(k-1)$-graph formed by removing all edges of degree $e_i$ from $\Lambda$. We show that the Toeplitz-Cuntz-Krieger algebra of $\Lambda$, denoted by $\mathcal{T}C^*(\Lambda)$, may be realised as the Toeplitz algebra of a Hilbert $\mathcal{T}C^*(\Lambda^i)$-bimodule. When $\Lambda$ is locally-convex, we show that the Cuntz-Krieger algebra of $\Lambda$, which we denote by $C^*(\Lambda)$, may be realised as the Cuntz-Pimsner algebra of a Hilbert $C^*(\Lambda^i)$-bimodule. Consequently, $\mathcal{T}C^*(\Lambda)$ and $C^*(\Lambda)$ may be viewed as iterated Toeplitz and iterated Cuntz-Pimsner algebras over $c_0(\Lambda^0)$ respectively.


title: A Variational Projection Scheme for Nonmatching Surface-to-Line Coupling between 3D Flexible Multibody System and Incompressible Turbulent Flow

abstract: This paper is concerned with the partitioned iterative formulation to simulate the fluid-structure interaction of a nonlinear multibody system in an incompressible turbulent flow. The proposed formulation relies on a three-dimensional (3D) incompressible turbulent flow solver, a nonlinear monolithic elastic structural solver for constrained flexible multibody system and the nonlinear iterative force correction scheme for coupling of the turbulent fluid-flexible multibody system with nonmatching interface meshes. While the fluid equations are discretized using a stabilized Petrov-Galerkin formulation in space and the generalized-$\alpha$ updates in time, the multibody system utilizes a discontinuous space-time Galerkin finite element method. We address two key challenges in the present formulation. Firstly, the coupling of the incompressible turbulent flow with a system of nonlinear elastic bodies described in a co-rotated frame. Secondly, the projection of the tractions and displacements across the nonmatching 3D fluid surface elements and the one-dimensional line elements for the flexible multibody system in a conservative manner. Through the nonlinear iterative correction and the conservative projection, the developed fluid-flexible multibody interaction solver is stable for problems involving strong inertial effects between the fluid-flexible multibody system and the coupled interactions among each multibody component. The accuracy of the proposed coupled finite element framework is validated against the available experimental data for a long flexible cylinder undergoing vortex-induced vibration in a uniform current flow condition. Finally, a practical application of the proposed framework is demonstrated by simulating the flow-induced vibration of a realistic offshore floating platform connected to a long riser and an elastic mooring system.


title: Nearly Work-Efficient Parallel Algorithm for Digraph Reachability

abstract: One of the simplest problems on directed graphs is that of identifying the set of vertices reachable from a designated source vertex. This problem can be solved easily sequentially by performing a graph search, but efficient parallel algorithms have eluded researchers for decades. For sparse high-diameter graphs in particular, there is no known work-efficient parallel algorithm with nontrivial parallelism. This amounts to one of the most fundamental open questions in parallel graph algorithms: Is there a parallel algorithm for digraph reachability with nearly linear work? This paper shows that the answer is yes. This paper presents a randomized parallel algorithm for digraph reachability and related problems with expected work $\tilde{O}(m)$ and span $\tilde{O}(n^{2/3})$, and hence parallelism $\tilde{\Omega}(n^{1/3})$, on any graph with $n$ vertices and $m$ arcs. This is the first parallel algorithm having both nearly linear work and strongly sublinear span. The algorithm can be extended to produce a directed spanning tree, determine whether the graph is acyclic, topologically sort the strongly connected components of the graph, or produce a directed ear decomposition of a strongly connected graph, all with similar work and span. The main technical contribution is an \emph{efficient} Monte Carlo algorithm that, through the addition of $\tilde{O}(n)$ shortcuts, reduces the diameter of the graph to $\tilde{O}(n^{2/3})$ with high probability. While both sequential and parallel algorithms are known with those combinatorial properties, even the sequential algorithms are not efficient. This paper presents a surprisingly simple sequential algorithm that achieves the stated diameter reduction and runs in $\tilde{O}(m)$ time. Parallelizing that algorithm yields the main result, but doing so involves overcoming several other challenges.


title: Distributed Representation for Traditional Chinese Medicine Herb via Deep Learning Models

abstract: Traditional Chinese Medicine (TCM) has accumulated a big amount of precious resource in the long history of development. TCM prescriptions that consist of TCM herbs are an important form of TCM treatment, which are similar to natural language documents, but in a weakly ordered fashion. Directly adapting language modeling style methods to learn the embeddings of the herbs can be problematic as the herbs are not strictly in order, the herbs in the front of the prescription can be connected to the very last ones. In this paper, we propose to represent TCM herbs with distributed representations via Prescription Level Language Modeling (PLLM). In one of our experiments, the correlation between our calculated similarity between medicines and the judgment of professionals achieves a Spearman score of 55.35 indicating a strong correlation, which surpasses human beginners (TCM related field bachelor student) by a big margin (over 10%).


title: Impact of Communication Delay on Asynchronous Distributed Optimal Power Flow Using ADMM

abstract: Distributed optimization has attracted lots of attention in the operation of power systems in recent years, where a large area is decomposed into smaller control regions each solving a local optimization problem with periodic information exchange with neighboring regions. However, most distributed optimization methods are iterative and require synchronization of all regions at each iteration, which is hard to achieve without a centralized coordinator and might lead to under-utilization of computation resources due to the heterogeneity of the regions. To address such limitations of synchronous schemes, this paper investigates the applicability of asynchronous distributed optimization methods to power system optimization. Particularly, we focus on solving the AC Optimal Power Flow problem and propose an algorithmic framework based on the Alternating Direction Method of Multipliers (ADMM) method that allows the regions to perform local updates with information received from a subset of but not all neighbors. Through experimental studies, we demonstrate that the convergence performance of the proposed asynchronous scheme is dependent on the communication delay of passing messages among the regions. Under mild communication delays, the proposed scheme can achieve comparable or even faster convergence compared with its synchronous counterpart, which can be used as a good alternative to centralized or synchronous distributed optimization approaches.


title: RoboCupSimData: A RoboCup soccer research dataset

abstract: RoboCup is an international scientific robot competition in which teams of multiple robots compete against each other. Its different leagues provide many sources of robotics data, that can be used for further analysis and application of machine learning. This paper describes a large dataset from games of some of the top teams (from 2016 and 2017) in RoboCup Soccer Simulation League (2D), where teams of 11 robots (agents) compete against each other. Overall, we used 10 different teams to play each other, resulting in 45 unique pairings. For each pairing, we ran 25 matches (of 10mins), leading to 1125 matches or more than 180 hours of game play. The generated CSV files are 17GB of data (zipped), or 229GB (unzipped). The dataset is unique in the sense that it contains both the ground truth data (global, complete, noise-free information of all objects on the field), as well as the noisy, local and incomplete percepts of each robot. These data are made available as CSV files, as well as in the original soccer simulator formats.


title: Efficient Extraction of Light from a Nitrogen-Vacancy Center in a Diamond Parabolic Reflector

abstract: Quantum emitters in solids are being developed for a range of quantum technologies, including quantum networks, computing, and sensing. However, a remaining challenge is the poor photon collection due to the high refractive index of most host materials. Here we overcome this limitation by introducing monolithic parabolic reflectors as an efficient geometry for broadband photon extraction from quantum emitter and experimentally demonstrate this device for the nitrogen-vacancy (NV) center in diamond. Simulations indicate a photon collection efficiency exceeding 75% across the visible spectrum and experimental devices, fabricated using a high-throughput gray-scale lithography process, demonstrate a photon extraction efficiency of $(48\pm 5)$%. This device enables a raw experimental efficiency of $(12\pm 2)$\% with fluorescence detection rates as high as $(4.6 - 5.7)\times 10^6$ counts per second from a single NV center.


title: The Activation Entropy Change in Enzymatic Reaction Catalyzed by Isochorismate-Pyruvate Lyase of Pseudomonas Aeruginosa PchB

abstract: The elucidation of entropic contribution to enzyme catalysis has been debated over decades. The recent experimentally measured activation enthalpy and entropy, for chorismate rearrangement reaction in PchB brings up a hotly debated issue whether the chorismate mutase catalyzed reaction is entropy-driven reaction. Extensive configurational sampling combined with quantum mechanics/molecular mechanics molecular dynamics (QM/MM MD) provides an approach to calculate entropic contribution in condensed phase reactions. Complete reaction pathway is exploited by QM/MM MD simulations at DFT and SCC-DFTB levels. The overall entropy change calculated at SCC-DFTB level QM/MM MD simulations, is close agreement with the experimental value. Conformation analysis indicates that the self-ordering of chorismate in the active site of PchB also contributes to total entropy change. This entropy penalty including conformational transformation entropy and activation entropy cannot be intuitively speculated from the crystal structure that only acts as a stationary state along the reaction pathway of PchB catalyzed reaction. This is the first time to use QM/MM MD simulations to calculate the activation entropy from the temperature dependence of reliable free energy profiles with extensive simulation time. The reasonable insight in enthalpy/entropy scheme clarifies the detailed entropy change and provides a quantitative tool to the contradicted experimental results.


title: Small prime $k$th power residues for $k=2,3,4$: A reciprocity laws approach

abstract: Nagell proved that for each prime $p\equiv 1\pmod{3}$, $p > 7$, there is a prime $q<2p^{1/2}$ that is a cubic residue modulo $p$. Here we show that for each fixed $\epsilon > 0$, and each prime $p\equiv 1\pmod{3}$ with $p > p_0(\epsilon)$, the number of prime cubic residues $q < p^{1/2+\epsilon}$ exceeds $p^{\epsilon/30}$. Our argument, like Nagell's, is rooted in the law of cubic reciprocity; somewhat surprisingly, character sum estimates play no role. We use the same method to establish related results about prime quadratic and biquadratic residues. For example, for all large primes $p$, there are more than $p^{1/9}$ prime quadratic residues $q<p$.


title: Remarks about Synthetic Upper Ricci Bounds for Metric Measure Spaces

abstract: We discuss various characterizations of synthetic upper Ricci bounds for metric measure spaces in terms of heat flow, entropy and optimal transport. In particular, we present a characterization in terms of semiconcavity of the entropy along certain Wasserstein geodesics which is stable under convergence of mm-spaces. And we prove that a related characterization is equivalent to an asymptotic lower bound on the growth of the Wasseretein distance between heat flows. For weighted Riemannian manifolds, the crucial result will be a precise uniform two-sided bound for \begin{eqnarray*}\frac{d}{dt}\Big|_{t=0}W\big(\hat P_t\delta_x,\hat P_t\delta_y\big)\end{eqnarray*} in terms of the mean value of the Bakry-Emery Ricci tensor $\mathrm{Ric}+\mathrm{Hess}\, f$ along the minimizing geodesic from $x$ to $y$ and an explicit correction term depending on the bound for the curvature along this curve.


title: Contravariant geometry and emergent gravity from noncommutative gauge theories

abstract: We investigate a relation of the contravariant geometry to the emergent gravity from noncommutative gauge theories. We give a refined formulation of the contravariant gravity and provide solutions to the contravariant Einstein equation. We linearize the equation around background solutions, including curved ones. A noncommutative gauge theory on the Moyal plane can be rewritten as an ordinary gauge theory on a curved background via the Seiberg-Witten map, which is known as the emergent gravity. We show that this phenomenon also occurs for a gauge theory on a noncommutative homogeneous K\"ahler background. We argue that the resulting geometry can be naturally described by the contravariant geometry under an identification of the fluctuation of the Poisson tensor with the field strength obtained by the Seiberg-Witten map. These results indicate that the contravariant gravity is a suitable framework for noncommutative spacetime physics.


title: Proof of a Gromov conjecture on the infinitesimal invertibility of the metric inducing operators

abstract: We prove a conjecture of Gromov about non-free isometric immersions.


title: Hidden charm pentaquark and $\Lambda(1405)$ in the $\Lambda^0_b \to \eta_c K^- p (\pi \Sigma)$ reaction

abstract: We have performed a study of the $\Lambda^0_b \to \eta_c K^- p$ and $\Lambda^0_b \to \eta_c \pi \Sigma$ reactions based on the dominant Cabibbo favored weak decay mechanism. We show that the $K^- p$ produced only couples to $\Lambda^*$ states, not $\Sigma^*$ and that the $\pi \Sigma$ state is only generated from final state interaction of $\bar{K}N$ and $\eta \Lambda$ channels which are produced in a primary stage. This guarantees that the $\pi \Sigma$ state is generated in isospin $I=0$ and we see that the invariant mass produces a clean signal for the $\Lambda(1405)$ of higher mass at $1420$ MeV. We also study the $\eta_c p$ final state interaction, which is driven by the excitation of a hidden charm resonance predicted before. We relate the strength of the different invariant mass distributions and find similar strengths that should be clearly visible in an ongoing LHCb experiment. In particular we predict that a clean peak should be seen for a hidden charm resonance that couples to the $\eta_c p$ channel in the invariant $\eta_c p$ mass distribution.


title: Coding-theorem Like Behaviour and Emergence of the Universal Distribution from Resource-bounded Algorithmic Probability

abstract: Previously referred to as `miraculous' in the scientific literature because of its powerful properties and its wide application as optimal solution to the problem of induction/inference, (approximations to) Algorithmic Probability (AP) and the associated Universal Distribution are (or should be) of the greatest importance in science. Here we investigate the emergence, the rates of emergence and convergence, and the Coding-theorem like behaviour of AP in Turing-subuniversal models of computation. We investigate empirical distributions of computing models in the Chomsky hierarchy. We introduce measures of algorithmic probability and algorithmic complexity based upon resource-bounded computation, in contrast to previously thoroughly investigated distributions produced from the output distribution of Turing machines. This approach allows for numerical approximations to algorithmic (Kolmogorov-Chaitin) complexity-based estimations at each of the levels of a computational hierarchy. We demonstrate that all these estimations are correlated in rank and that they converge both in rank and values as a function of computational power, despite fundamental differences between computational models. In the context of natural processes that operate below the Turing universal level because of finite resources and physical degradation, the investigation of natural biases stemming from algorithmic rules may shed light on the distribution of outcomes. We show that up to 60\% of the simplicity/complexity bias in distributions produced even by the weakest of the computational models can be accounted for by Algorithmic Probability in its approximation to the Universal Distribution.


title: Dynamic Nuclear Polarization from Topological Insulator Helical Edge States

abstract: Topological insulators are promising for spintronics and related technologies due to their spin-momentum-locked edge states, which are protected by time-reversal symmetry. In addition to the unique fundamental physics that arises in these systems, the potential technological applications of these protected states has also been driving TI research over the past decade. However, most known topological insulator materials naturally contain spinful nuclei, and their hyperfine coupling to helical edge states intrinsically breaks time-reversal symmetry, removing the topological protection and enabling the buildup of dynamic nuclear spin polarization through hyperfine-assisted backscattering. Here, we calculate scattering probabilities and nuclear polarization for edge channels containing up to $34$ nuclear spins using a numerically exact analysis that exploits the symmetries of the problem to drastically reduce the computational complexity. We then show the emergence of universal scaling properties that allow us to extrapolate our findings to vastly larger and experimentally relevant system sizes. We find that significant nuclear polarization can result from relatively weak helical edge currents, suggesting that it may be an important factor affecting spin transport in topological insulator devices.


title: Determination of layer-dependent exciton binding energies in few-layer black phosphorus

abstract: The attraction between electrons and holes in semiconductors forms excitons, which largely determine the optical properties of the hosting material, and hence the device performance, especially for low-dimensional systems. Mono- and few-layer black phosphorus (BP) are emerging two-dimensional (2D) semiconductors. Despite its fundamental importance and technological interest, experimental investigation of exciton physics has been rather limited. Here, we report the first systematic measurement of exciton binding energies in ultrahigh quality few-layer BP by infrared absorption spectroscopy, with layer (L) thickness ranging from 2-6 layers. Our experiments allow us to determine the exciton binding energy, decreasing from 213 meV (2L) to 106 meV (6L). The scaling behavior with layer number can be well described by an analytical model, which takes into account the nonlocal screening effect. Extrapolation to free-standing monolayer yields a large binding energy of ~800 meV. Our study provides insights into 2D excitons and their crossover from 2D to 3D, and demonstrates that few-layer BP is a promising high-quality optoelectronic material for potential infrared applications.


title: End-to-End Video Classification with Knowledge Graphs

abstract: Video understanding has attracted much research attention especially since the recent availability of large-scale video benchmarks. In this paper, we address the problem of multi-label video classification. We first observe that there exists a significant knowledge gap between how machines and humans learn. That is, while current machine learning approaches including deep neural networks largely focus on the representations of the given data, humans often look beyond the data at hand and leverage external knowledge to make better decisions. Towards narrowing the gap, we propose to incorporate external knowledge graphs into video classification. In particular, we unify traditional "knowledgeless" machine learning models and knowledge graphs in a novel end-to-end framework. The framework is flexible to work with most existing video classification algorithms including state-of-the-art deep models. Finally, we conduct extensive experiments on the largest public video dataset YouTube-8M. The results are promising across the board, improving mean average precision by up to 2.9%.


title: Largely tunable band structures of few-layer InSe by uniaxial strain

abstract: Due to the strong quantum confinement effect, few-layer {\gamma}-InSe exhibits a layer-dependent bandgap, spanning the visible and near infrared regions, and thus recently draws tremendous attention. As a two-dimensional material, the mechanical flexibility provides an additional tuning knob for the electronic structure. Here, for the first time, we engineer the band structures of few-layer and bulk-like InSe by uniaxial tensile strain, and observe salient shift of photoluminescence (PL) peaks. The shift rate of the optical gap is approximately 90-100 meV per 1% strain for 4- to 8-layer samples, which is much larger than that for the widely studied MoS2 monolayer. Density functional calculations well reproduce the observed layer-dependent bandgaps and the strain effect, and reveal that the shift rate decreases with increasing layer number for few-layer InSe. Our study demonstrates that InSe is a very versatile 2D electronic and optoelectronic material, which is suitable for tunable light emitters, photo-detectors and other optoelectronic devices.


title: A survey on quasiperiodic topology

abstract: This article is a survey of the Novikov problem of the structure of leaves of the foliations induced by a collection of closed 1-forms in a compact manifold $M$. Equivalently, this is to the study of the level sets of multivalued functions on $M$. To date, this problem was thoroughly investigated only for $M=\Bbb T^n$ and multivalued maps $F:\Bbb T^n\to\Bbb R^{n-1}$ in three different particular cases: when all components of $F$ but one are multivalued, started by Novikov in 1981, when all components of $F$ but one are singlevalued, started by Zorich in 1994, when none of the components is singlevalued, started by Arnold in 1991. The first two problems can be formulated as the study of the level sets of certain quasiperiodic functions, the last as level sets of pseudoperiodic functions. In this survey we present the main analytical and numerical results to date and some physical phenomena where they play a fundamental role.


title: Solitonic dispersive hydrodynamics: theory and observation

abstract: Ubiquitous nonlinear waves in dispersive media include localized solitons and extended hydrodynamic states such as dispersive shock waves. Despite their physical prominence and the development of thorough theoretical and experimental investigations of each separately, experiments and a unified theory of solitons and dispersive hydrodynamics are lacking. Here, a general soliton-mean field theory is introduced and used to describe the propagation of solitons in macroscopic hydrodynamic flows. Two universal adiabatic invariants of motion are identified that predict trapping or transmission of solitons by hydrodynamic states. The result of solitons incident upon smooth expansion waves or compressive, rapidly oscillating dispersive shock waves is the same, an effect termed hydrodynamic reciprocity. Experiments on viscous fluid conduits quantitatively confirm the soliton-mean field theory with broader implications for nonlinear optics, superfluids, geophysical fluids, and other dispersive hydrodynamic media.


title: Category and Topological Complexity of the configuration space $F(G\times \mathbb{R}^n,2)$

abstract: The Lusternik-Schnirelmann category cat and topological complexity TC are related homotopy invariants. The topological complexity TC has applications to the robot motion planning problem. We calculate the Lusternik-Schnirelmann category and topological complexity of the ordered configuration space of two distinct points in the product $G\times\mathbb{R}^n$ and apply the results to the planar and spatial motion of two rigid bodies in $\mathbb{R}^2$ and $\mathbb{R}^3$ respectively.


title: Distinguished Sets of Semi-simple Lie Algebras

abstract: We call a finite, spanning set of a semi-simple real Lie algebra a distinguished set if it satisfies the following property: The Lie bracket of any two elements out of the set is, up to some constant, another element in the set; conversely, for any element in the set, there are two elements out of the set whose Lie bracket is, up to some constant, the given element. We show in the paper that every semi-simple real Lie algebra has a distinguished set.


title: Comment on "Troublesome aspects of the Renyi-MaxEnt treatment" by A. Plastino, M.C. Rocca and F. Pennini

abstract: Plastino, Rocca and Pennini [Phys. Rev. E \textbf{94} (2016) 012145] recently stated that the R\'enyi entropy is not suitable for thermodynamics by using functional calculus, since it leads to anomalous results unlike the Tsallis entropy. We first show that the Tsallis entropy also leads to such anomalous behaviours if one adopts the same functional calculus approach. Second, we note that one of the Lagrange multipliers is set in an \textit{ad-hoc} manner in the functional calculus approach of Plastino, Rocca and Pennini. Finally, the explanation for these anomalous behaviours is provided by observing that the generalized distributions obtained by Plastino, Rocca and Pennini does not yield the ordinary canonical partition function in the appropriate limit and therefore cannot be considered as genuine generalized distributions.


title: Quantum invariants for decomposition problems in type A rings of representations

abstract: We prove a combinatorial rule for a complete decomposition, in terms of Langlands parameters, for representations of p-adic $GL_n$ that appear as parabolic induction from a large family (ladder representations). Our rule obviates the need for computation of Kazhdan-Lusztig polynomials in these cases, and settles a conjecture posed by Lapid. These results are transferrable into various type A frameworks, such as the decomposition of convolution products of homogeneous KLR-algebra modules, or tensor products of snake modules over quantum affine algebras. The method of proof applies a quantization of the problem into a question on Lusztig's dual canonical basis and its embedding into a quantum shuffle algebra, while computing numeric invariants which are new to the p-adic setting.


title: On the binary digits of $\sqrt{2}$

abstract: We show that the number of $1$'s in the first $N$ digits of the binary expansion of $\sqrt{2}$ is at least $\sqrt{2N}(1+o(1))$ and show that this bound can be improved to around $2\sqrt{N}/\sqrt{2\sqrt{2}-1}$ infinitely often.


title: SWAG Water Masers in the Galactic Center

abstract: The Galactic Center contains large amounts of molecular and ionized gas as well as a plethora of energetic objects. Water masers are an extinction-insensitive probe for star formation and thus ideal for studies of star formation stages in this highly obscured region. With the Australia Telescope Compact Array, we observed 22 GHz water masers in the entire Central Molecular Zone with sub-parsec resolution as part of the large SWAG survey: ``Survey of Water and Ammonia in the Galactic Center''. We detect of order 600 22 GHz masers with isotropic luminosities down to ~10^-7 Lo. Masers with luminosities of >~10^-6 Lo are likely associated with young stellar objects. They appear to be close to molecular gas streamers and may be due to star formation events that are triggered at pericenter passages near Sgr A*. Weaker masers are more widely distributed and frequently show double line features, a tell-tale sign for an origin in evolved star envelopes.


title: Some Remarks on the Total CR $Q$ and $Q^\prime$-Curvatures

abstract: We prove that the total CR $Q$-curvature vanishes for any compact strictly pseudoconvex CR manifold. We also prove the formal self-adjointness of the $P^\prime$-operator and the CR invariance of the total $Q^\prime$-curvature for any pseudo-Einstein manifold without the assumption that it bounds a Stein manifold.


title: Joining Local Knowledge to Communicate Reliably (Extended Abstract)

abstract: A fundamental primitive in distributed computing is Reliable Message Transmission (RMT), which refers to the task of correctly sending a message from a party (or player) to another, in a network where some intermediate relays might be controlled by an adversary. We address the problem under the realistic assumption that the topological knowledge of players is restricted to a certain subgraph and specifically study the role of local information exchange in the feasibility of RMT. We employ the General Adversary model of Hirt and Maurer and the recently introduced Partial Knowledge Model which subsume all known models for the adversary and local knowledge respectively. Tight feasibility conditions, naturally involving the network topology, the adversary and the local knowledge of players, are presented.


title: Analysing Meteoroid Flights Using Particle Filters

abstract: Fireball observations from camera networks provide position and time information along the trajectory of a meteoroid that is transiting our atmosphere. The complete dynamical state of the meteoroid at each measured time can be estimated using Bayesian filtering techniques. A particle filter is a novel approach to modelling the uncertainty in meteoroid trajectories and incorporates errors in initial parameters, the dynamical model used and observed position measurements. Unlike other stochastic approaches, a particle filter does not require predefined values for initial conditions or unobservable trajectory parameters. The Bunburra Rockhole fireball (Spurn\'y et al. 2012), observed by the Australian Desert Fireball Network (DFN) in 2007, is used to determine the effectiveness of a particle filter for use in fireball trajectory modelling. The final mass is determined to be $2.16\pm1.33\, kg$ with a final velocity of $6030\pm216\, m\,s^{-1}$, similar to previously calculated values. The full automatability of this approach will allow an unbiased evaluation of all events observed by the DFN and lead to a better understanding of the dynamical state and size frequency distribution of asteroid and cometary debris in the inner solar system.


title: An Estimation of the White Dwarf Mass in the Dwarf Nova GK Persei with NuSTAR Observations of Two States

abstract: We report on X-ray observations of the Dwarf Nova GK Persei performed by {\it NuSTAR} in 2015. GK Persei, behaving also as an Intermediate Polar, exhibited a Dwarf Nova outburst in 2015 March--April. The object was observed with {\sl NuSTAR} during the outburst state, and again in a quiescent state wherein the 15--50 keV flux was 33 times lower. Using a multi-temperature plasma emission and reflection model, the highest plasma temperature in the accretion column was measured as $19.7^{+1.3}_{-1.0}$~keV in outburst and $36.2^{+3.5}_{-3.2}$~keV in quiescence. The significant change of the maximum temperature is considered to reflect an accretion-induced decrease of the inner-disk radius $R_{\rm in}$, where accreting gas is captured by the magnetosphere. Assuming this radius scales as $R_{\rm in} \propto \dot{M}^{-2/7}$ where $\dot{M}$ is the mass accretion rate, we obtain $R_{\rm in} = 1.9 ^{+0.4}_{-0.2}~R_{\rm WD}$ and $R_{\rm in} = 7.4^{+2.1}_{-1.2}~R_{\rm WD}$ in outburst and quiescence respectively, where $R_{\rm WD}$ is the white-dwarf radius of this system. Utilising the measured temperatures and fluxes, as well as the standard mass-radius relation of white dwarfs, we estimate the white-dwarf mass as $M_{\rm WD} = 0.87~\pm~0.08~M_{\rm \odot}$ including typical systematic uncertainties by 7%. The surface magnetic field is also measured as $B \sim 5 \times 10^{5}$~G. These results exemplify a new X-ray method of estimating $M_{\rm WD}$ and $B$ of white dwarfs by using large changes in $\dot{M}$.


title: PowerModels.jl: An Open-Source Framework for Exploring Power Flow Formulations

abstract: In recent years, the power system research community has seen an explosion of novel methods for formulating and solving power network optimization problems. These emerging methods range from new power flow approximations, which go beyond the traditional DC power flow by capturing reactive power, to convex relaxations, which provide solution quality and runtime performance guarantees. Unfortunately, the sophistication of these emerging methods often presents a significant barrier to evaluating them on a wide variety of power system optimization applications. To address this issue, this work proposes PowerModels, an open-source platform for comparing power flow formulations. From its inception, PowerModels was designed to streamline the process of evaluating different power flow formulations on shared optimization problem specifications. This work provides a brief introduction to the design of PowerModels, validates its implementation, and demonstrates its effectiveness with a proof-of-concept study analyzing five different formulations of the Optimal Power Flow problem.


title: Interpolation for Curves in Projective Space with Bounded Error

abstract: Given n general points p_1, p_2,..., p_n \in P^r, it is natural to ask whether there is a curve of given degree d and genus g passing through them; by counting dimensions a natural conjecture is that such a curve exists if and only if \[n \leq \left\lfloor \frac{(r + 1)d - (r - 3)(g - 1)}{r - 1}\right\rfloor.\] In the case of curves with nonspecial hyperplane section, the above conjecture was recently shown to hold with exactly three exceptions. In this paper, we prove a "bounded-error analog" for special linear series on general curves; more precisely we show that existance of such a curve subject to the stronger inequality \[n \leq \left\lfloor \frac{(r + 1)d - (r - 3)(g - 1)}{r - 1}\right\rfloor - 3.\] Note that the -3 cannot be replaced with -2 without introducing exceptions (as a canonical curve in P^3 can only pass through 9 general points, while a naive dimension count predicts 12). We also use the same technique to prove that the twist of the normal bundle N_C(-1) satisfies interpolation for curves whose degree is sufficiently large relative to their genus, and deduce from this that the number of general points contained in the hyperplane section of a general curve is at least \[\min\left(d, \frac{(r - 1)^2 d - (r - 2)^2 g - (2r^2 - 5r + 12)}{(r - 2)^2}\right).\] As explained in arXiv:1809.05980, these results play a key role in the author's proof of the Maximal Rank Conjecture.


title: Gravitational lensing by exotic objects

abstract: This paper reviews a phenomenological approach to the gravitational lensing by exotic objects such as the Ellis wormhole lens, where exotic lens objects may follow a non-standard form of the equation of state or may obey a modified gravity theory. A gravitational lens model is proposed in the inverse powers of the distance, such that the Schwarzschild lens and exotic lenses can be described in a unified manner as a one parameter family. As observational implications, the magnification, shear, photo-centroid motion and time delay in this lens model are discussed.


title: A Survey on Dialogue Systems: Recent Advances and New Frontiers

abstract: Dialogue systems have attracted more and more attention. Recent advances on dialogue systems are overwhelmingly contributed by deep learning techniques, which have been employed to enhance a wide range of big data applications such as computer vision, natural language processing, and recommender systems. For dialogue systems, deep learning can leverage a massive amount of data to learn meaningful feature representations and response generation strategies, while requiring a minimum amount of hand-crafting. In this article, we give an overview to these recent advances on dialogue systems from various perspectives and discuss some possible research directions. In particular, we generally divide existing dialogue systems into task-oriented and non-task-oriented models, then detail how deep learning techniques help them with representative algorithms and finally discuss some appealing research directions that can bring the dialogue system research into a new frontier.