title: Deep Neural Networks Predicting Oil Movement in a Development Unit

abstract: We present a novel technique for assessing the dynamics of multiphase fluid flow in the oil reservoir. We demonstrate an efficient workflow for handling the 3D reservoir simulation data in a way which is orders of magnitude faster than the conventional routine. The workflow (we call it "Metamodel") is based on a projection of the system dynamics into a latent variable space, using Variational Autoencoder model, where Recurrent Neural Network predicts the dynamics. We show that being trained on multiple results of the conventional reservoir modelling, the Metamodel does not compromise the accuracy of the reservoir dynamics reconstruction in a significant way. It allows forecasting not only the flow rates from the wells, but also the dynamics of pressure and fluid saturations within the reservoir. The results open a new perspective in the optimization of oilfield development as the scenario screening could be accelerated sufficiently.


title: Computational framework to capture the spatiotemporal density of cells with a cumulative environmental coupling

abstract: Stochastic agent-based models can account for millions of cells with spatiotemporal movement that can be a function of different factors. However, these simulations can be computationally expensive. In this work, we develop a novel computational framework to describe and simulate stochastic cellular processes that are coupled to the environment. Specifically, through upscaling, we derive a continuum governing equation that considers the cell density as a function of time, space, and a cumulative variable that is coupled to the environmental conditions. For this new governing equation, we consider the stability through an energy analysis, as well as proving uniqueness and well-posedness. To solve the governing equations in free-space, we propose a numerical method using fundamental solutions. As an application, we study a cell moving in an infinite domain that contains a toxic chemical, where a cumulative exposure above a critical value results in cell death. We illustrate the validity of this new modeling framework and associated numerical methods by comparing the density of live cells to results from the corresponding agent-based model.


title: Thinking Outside the Pool: Active Training Image Creation for Relative Attributes

abstract: Current wisdom suggests more labeled image data is always better, and obtaining labels is the bottleneck. Yet curating a pool of sufficiently diverse and informative images is itself a challenge. In particular, training image curation is problematic for fine-grained attributes, where the subtle visual differences of interest may be rare within traditional image sources. We propose an active image generation approach to address this issue. The main idea is to jointly learn the attribute ranking task while also learning to generate novel realistic image samples that will benefit that task. We introduce an end-to-end framework that dynamically "imagines" image pairs that would confuse the current model, presents them to human annotators for labeling, then improves the predictive model with the new examples. With results on two datasets, we show that by thinking outside the pool of real images, our approach gains generalization accuracy for challenging fine-grained attribute comparisons.


title: Prophet Inequality with Correlated Arrival Probabilities, with Application to Two Sided Matchings

abstract: The classical Prophet Inequality arises from a fundamental problem in optimal-stopping theory. In this problem, a gambler sees a finite sequence of independent, non-negative random variables. If he stops the sequence at any time, he collects a reward equal to the most recent observation. The Prophet Inequality states that, knowing the distribution of each random variable, the gambler can achieve at least half as much reward in expectation, as a prophet who knows the entire sample path of random variables (Krengel and Sucheston 1978). In this paper, we prove a corresponding bound for correlated non-negative random variables. We analyze two methods for proving the bound, a constructive approach, which produces a worst-case instance, and a reductive approach, which characterizes a certain submartingale arising from the reward process of our online algorithm. We apply this new prophet inequality to the design of algorithms for a class of two-sided bipartite matching problems that underlie online task assignment problems. In these problems, demand units of various types arrive randomly and sequentially over time according to some stochastic process. Tasks, or supply units, arrive according to another stochastic process. Each demand unit must be irrevocably matched to a supply unit or rejected. The match earns a reward that depends on the pair. The objective is to maximize the total expected reward over the planning horizon. The problem arises in mobile crowd-sensing and crowd sourcing contexts, where workers and tasks must be matched by a platform according to various criteria. We derive the first online algorithms with worst-case performance guarantees for our class of two-sided bipartite matching problems.


title: The second RIT binary black hole simulations catalog and its application to gravitational waves parameter estimation

abstract: The RIT numerical relativity group is releasing the second public catalog of black-hole-binary waveforms \url{http://ccrg.rit.edu/~RITCatalog}. This release consists of 320 accurate simulations that include 46 precessing and 274 nonprecessing binary systems with mass ratios $q=m_1/m_2$ in the range $1/6\leq q\leq1$ and individual spins up to $s/m^2=0.95$. The new catalog contains search and ordering tools for the waveforms based on initial parameters of the binary, trajectory information, peak radiation, and final remnant black hole properties. The final black hole remnant properties provided here can be used to model the merger of black-hole binaries from its initial configurations. The waveforms are extrapolated to infinite observer location and can be used to independently interpret gravitational wave signals from laser interferometric detectors. As an application of this waveform catalog we reanalyze the signal of GW150914 implementing parameter estimation techniques that make use of only numerical waveforms without any reference to information from phenomenological models.


title: Dynamic Distribution State Estimation Using Synchrophasor Data

abstract: The increasing deployment of distribution-level phasor measurement units (PMUs) calls for dynamic distribution state estimation (DDSE) approaches that tap into high-rate measurements to maintain a comprehensive view of the distribution-system state in real time. Accordingly, this paper explores the development of a fast algorithmic framework by casting the DDSE task within the time-varying optimization realm. The time-varying formulation involves a time-varying robustified least-squares approach, and it naturally models optimal trajectories for the estimated states under streaming of measurements. The formulation is based on a linear surrogate of the AC power-flow equations, and it includes an element of robustness with respect to measurement outliers. The paper then leverages a first-order prediction-correction method to achieve simple online updates that can provably track the state variables from heterogeneous measurements. This online algorithm is computationally efficient as it relies on the Hessian of the cost function without computing matrix-inverse. Convergence and bounds on the estimation errors of proposed algorithm can be analytically established.


title: Systematic structure and sinks in the YORP effect

abstract: There is a correlation between the components of the YORP effect of most asteroids, which drives the obliquity and spin rate of the affected bodies in a consistent pattern. This allows for a clear and unambiguous picture for how the spin rates and poles of asteroids affected by YORP will evolve and simplifies the overall picture for how populations will migrate on average. The YORP effect can also lead to a previously unexplored equilibrium state for affected bodies. This equilibrium state is a function of the usual "normal YORP" effect (which arises due to the global shape asymmetry of the asteroid) and the "tangential YORP" (which arises due the transport of thermal energy through rocky surface features). Estimates from current shape models show that 10-20\% of asteroids have the proper condition to be captured in this equilibrium state, indicating that the occurrence of this state may be significant. The existence of this attractor for the asteroid population means that objects affected by YORP may leave their usual YORP cycles and maintain a constant spin rate over long time periods -- this has significant implications for our interpretation of asteroid spin rate evolution and related theories for their physical evolution.


title: Weak quantitative propagation of chaos via differential calculus on the space of measures

abstract: Consider the metric space $(\mathcal{P}_2(\mathbb{R}^d),W_2)$ of square integrable laws on $\mathbb{R}^d$ with the topology induced by the 2-Wasserstein distance $W_2$. Let $\Phi: \mathcal{P}_2( \mathbb{R}^d) \to \mathbb{R}$ be a function and $\mu_N$ be the empirical measure of a sample of $N$ random variables distributed as $\mu$. The main result of this paper is to show that under suitable regularity conditions, we have \[ |\Phi(\mu) - \mathbb{E}\Phi(\mu_N)|= \sum_{j=1}^{k-1}\frac{C_j}{N^j} + O(\frac{1}{N^k}), \] for some positive constants $C_1, \ldots, C_{k-1}$ that do not depend on $N$, where $k$ corresponds to the degree of smoothness. We distinguish two cases: a) $\mu_N$ is the empirical measure of $N$-samples from $\mu$; b) $\mu$ is a marginal law of McKean-Vlasov stochastic differential equation in which case $\mu_N$ is an empirical law of marginal laws of the corresponding particle system. The first case is studied using functional derivatives on the space of measures. The second case relies on an It\^{o}-type formula for the flow of probability measures and is intimately connected to PDEs on the space of measures, called the master equation in the literature of mean-field games. We state the general regularity conditions required for each case and analyse the regularity in the case of functionals of the laws of McKean-Vlasov SDEs. Ultimately, this work reveals quantitative estimates of propagation of chaos for interacting particle systems. Furthermore, we are able to provide weak propagation of chaos estimates for ensembles of interacting particles and show that these may have some remarkable properties.


title: Engineering excited-state interactions at ultracold temperatures

abstract: Using a recently developed method for precisely controlling collision energy, we observe a dramatic suppression of inelastic collisions between an atom and ion (Ca + Yb$^+$) at low collision energy. This suppression, which is expected to be a universal phenomenon, arises when the spontaneous emission lifetime of the excited state is comparable to or shorter than the collision complex lifetime. We develop a technique to remove this suppression and engineer excited-state interactions. By dressing the system with a strong catalyst laser, a significant fraction of the collision complexes can be excited at a specified internuclear separation. This technique allows excited-state collisions to be studied, even at ultracold temperature, and provides a general method for engineering ultracold excited-state interactions.


title: Twist Number and the Alternating Volume of Knots

abstract: It was previously shown by the second author that every knot in $S^3$ is ambient isotopic to one component of a two-component, alternating, hyperbolic link. In this paper, we define the alternating volume of a knot $K$ to be the minimum volume of any link $L$ in a natural class of alternating, hyperbolic links such that $K$ is ambient isotopic to a component of $L$. Our main result shows that the alternating volume of a knot is coarsely equivalent to the twist number of a knot.


title: Metric Lie groups admitting dilations

abstract: We consider left-invariant distances $d$ on a Lie group $G$ with the property that there exists a multiplicative one-parameter group of Lie automorphisms $(0, \infty)\rightarrow\mathtt{Aut}(G)$, $\lambda\mapsto\delta_\lambda$, so that $ d(\delta_\lambda x,\delta_\lambda y) = \lambda d(x,y)$, for all $x,y\in G$ and all $\lambda>0$. First, we show that all such distances are admissible, that is, they induce the manifold topology. Second, we characterize multiplicative one-parameter groups of Lie automorphisms that are dilations for some left-invariant distance in terms of algebraic properties of their infinitesimal generator. Third, we show that an admissible left-invariant distance on a Lie group with at least one nontrivial dilating automorphism is biLipschitz equivalent to one that admits a one-parameter group of dilating automorphisms. Moreover, the infinitesimal generator can be chosen to have spectrum in $[1,\infty)$. Fourth, we characterize the automorphisms of a Lie group that are a dilating automorphisms for some admissible distance. Finally, we characterize metric Lie groups admitting a one-parameter group of dilating automorphisms as the only locally compact, isometrically homogeneous metric spaces with metric dilations of all factors. Such metric spaces appear as tangents of doubling metric spaces with unique tangents.


title: Coercion-Resistant Voting in Linear Time via Fully Homomorphic Encryption: Towards a Quantum-Safe Scheme

abstract: We present an approach for performing the tallying work in the coercion-resistant JCJ voting protocol, introduced by Juels, Catalano, and Jakobsson, in linear time using fully homomorphic encryption (FHE). The suggested enhancement also paves the path towards making JCJ quantum-resistant, while leaving the underlying structure of JCJ intact. The exhaustive, comparison-based approach of JCJ using plaintext equivalence tests leads to a quadratic blow-up in the number of votes, which makes the tallying process rather impractical in realistic settings with a large number of voters. We show how the removal of invalid votes can be done in linear time via a solution based on recent advances in various FHE primitives such as hashing, zero-knowledge proofs of correct decryption, verifiable shuffles and threshold FHE. We conclude by touching upon some of the advantages and challenges of such an approach, followed by a discussion of further security and post-quantum considerations.


title: $B_s\to K\ell\nu$ decay from lattice QCD

abstract: We use lattice QCD to calculate the form factors $f_+(q^2)$ and $f_0(q^2)$ for the semileptonic decay $B_s\to K\ell\nu$. Our calculation uses six MILC asqtad 2+1 flavor gauge-field ensembles with three lattice spacings. At the smallest and largest lattice spacing the light-quark sea mass is set to 1/10 the strange-quark mass. At the intermediate lattice spacing, we use four values for the light-quark sea mass ranging from 1/5 to 1/20 of the strange-quark mass. We use the asqtad improved staggered action for the light valence quarks, and the clover action with the Fermilab interpolation for the heavy valence bottom quark. We use SU(2) hard-kaon heavy-meson rooted staggered chiral perturbation theory to take the chiral-continuum limit. A functional $z$ expansion is used to extend the form factors to the full kinematic range. We present predictions for the differential decay rate for both $B_s\to K\mu\nu$ and $B_s\to K\tau\nu$. We also present results for the forward-backward asymmetry, the lepton polarization asymmetry, ratios of the scalar and vector form factors for the decays $B_s\to K\ell\nu$ and $B_s\to D_s \ell\nu$. Our results, together with future experimental measurements, can be used to determine the magnitude of the Cabibbo-Kobayashi-Maskawa matrix element $|V_{ub}|$.


title: The Oxyometer: A Novel Instrument Concept for Characterizing Exoplanet Atmospheres

abstract: With TESS and ground-based surveys searching for rocky exoplanets around cooler, nearby stars, the number of Earth-sized exoplanets that are well-suited for atmospheric follow-up studies will increase significantly. For atmospheric characterization, the James Webb Space Telescope will only be able to target a small fraction of the most interesting systems, and the usefulness of ground-based observatories will remain limited by a range of effects related to Earth's atmosphere. Here, we explore a new method for ground-based exoplanet atmospheric characterization that relies on simultaneous, differential, ultra-narrow-band photometry. The instrument uses a narrow-band interference filter and an optical design that enables simultaneous observing over two 0.3 nm wide bands spaced 1 nm apart. We consider the capabilities of this instrument in the case where one band is centered on an oxygen-free continuum region while the other band overlaps the 760 nm oxygen band head in the transmission spectrum of the exoplanet, which can be accessible from Earth in systems with large negative line-of-sight velocities. We find that M9 and M4 dwarfs that meet this radial velocity requirement will be the easiest targets but must be nearby (<8 pc) and will require the largest upcoming Extremely Large Telescopes. The oxyometer instrument design is simple and versatile and could be adapted to enable the study of a wide range of atmospheric species. We demonstrate this by building a prototype oxyometer and present its design and a detection of a 50 ppm simulated transit signal in the laboratory. We also present data from an on-sky test of a prototype oxyometer, demonstrating the ease of use of the compact instrument design.


title: An investigation of C, N and Na abundances in red giant stars of the Sculptor dwarf spheroidal galaxy

abstract: The origin of the star-to-star abundance variations found for the light elements in Galactic globular clusters (GGCs) is not well understood, which is a significant problem for stellar astrophysics. While the light element abundance variations are very common in globular clusters, they are comparatively rare in the Galactic halo field population. However, little is known regarding the occurrence of the abundance anomalies in other environments such as that of dwarf spheroidal (dSph) galaxies. Consequently, we have investigated the anti-correlation and bimodality of CH and CN band strengths, which are markers of the abundance variations in GGCs, in the spectra of red giants in the Sculptor dwarf spheroidal galaxy. Using spectra at the Na~D lines, informed by similar spectra for five GGCs (NGC 288, 1851, 6752, 6809 and 7099), we have also searched for any correlation between CN and Na in the Sculptor red giant sample. Our results indicate that variations analogous to those seen in GGCs are not present in our Sculptor sample. Instead, we find a weak positive correlation between CH and CN, and no correlation between Na and CN. We also reveal a deficiency in [Na/Fe] for the Sculptor stars relative to the values in GGCs, a result which is consistent with previous work for dSph galaxies. The outcomes reinforce the apparent need for a high stellar density environment to produce the light element abundance variations.


title: All-heavy tetraquarks

abstract: In this work we study the mass spectra of the fully-heavy tetraquark systems, i.e. $cc\bar{c}\bar{c}$, $bb\bar{b}\bar{b}$, $bb\bar{c}\bar{c}/cc\bar{b}\bar{b}$, $bc\bar{c}\bar{c}/cc\bar{b}\bar{c}$, $bc\bar{b}\bar{b}/bb\bar{b}\bar{c}$, and $bc\bar{b}\bar{c}$, within a potential model by including the linear confining potential, Coulomb potential, and spin-spin interactions. It shows that the linear confining potential has important contributions to the masses and is crucial for our understanding of the mass spectra of the fully-heavy tetraquark systems. For the fully-heavy tetraquarks $Q_1Q_2\bar{Q}_3\bar{Q}_4$ our explicit calculations suggest that no bound states can be formed below the thresholds of any meson pairs $(Q_1\bar{Q}_3)$-$(Q_2\bar{Q}_4)$ or $(Q_1\bar{Q}_4)$-$(Q_2\bar{Q}_3)$. Thus, we do not expect narrow fully-heavy tetraquark states to be existing in experiments.


title: High-Fidelity Vector Space Models of Structured Data

abstract: Machine learning systems regularly deal with structured data in real-world applications. Unfortunately, such data has been difficult to faithfully represent in a way that most machine learning techniques would expect, i.e. as a real-valued vector of a fixed, pre-specified size. In this work, we introduce a novel approach that compiles structured data into a satisfiability problem which has in its set of solutions at least (and often only) the input data. The satisfiability problem is constructed from constraints which are generated automatically a priori from a given signature, thus trivially allowing for a bag-of-words-esque vector representation of the input to be constructed. The method is demonstrated in two areas, automated reasoning and natural language processing, where it is shown to produce vector representations of natural-language sentences and first-order logic clauses that can be precisely translated back to their original, structured input forms.


title: Full counting statistics of quantum phase slips

abstract: We work out a microscopic theory describing complete statistics of voltage fluctuations generated by quantum phase slips (QPS) in superconducting nanowires. We evaluate the cumulant generating function and demonstrate that shot noise of the voltage as well as the third and all higher voltage cumulants differ from zero only due to the presence of QPS. In the zero-frequency limit voltage fluctuations in superconducting nanowires are described by Poisson statistics just as in a number of other tunneling-like problems. However, at non-zero frequencies quantum voltage fluctuations in superconducting nanowires become much more complicated and are not anymore accounted for by Poisson statistics. In the case of short superconducting nanowires we explicitly evaluate all finite-frequency voltage cumulants and establish a non-trivial relation between these cumulants and the current-voltage characteristics of our system.


title: Intervalley plasmons in crystals

abstract: Collective charge excitations in solids have been the subject of intense research ever since the pioneering works of Bohm and Pines in the 1950s. Most of these studies focused on long-wavelength plasmons that involve charge excitations with a small crystal-momentum transfer, $q \ll G$, where $G$ is the wavenumber of a reciprocal lattice vector. Less emphasis was given to collective charge excitations that lead to shortwave plasmons in multivalley electronic systems (i.e., when $q \sim G$). We present a theory of intervalley plasmons, taking into account local-field effects in the dynamical dielectric function. Focusing on monolayer transition-metal dichalcogenides where each of the valleys is further spin-split, we derive the energy dispersion of these plasmons and their interaction with external charges. Emphasis in this work is given to sum rules from which we derive the interaction between intervalley plasmons and a test charge, as well as a compact single-plasmon pole expression for the dynamical Coulomb potential.


title: The Impact of Environment on Late Time Evolution of the Stellar Mass - Halo Mass Relation

abstract: At a fixed halo mass, galaxy clusters with higher magnitude gaps have larger brightest central galaxy (BCG) stellar masses. Recent studies have shown that by including the magnitude gap ($\rm m_{gap}$) as a latent parameter in the stellar mass - halo mass (SMHM) relation, we can make more precise measurements on the amplitude, slope, and intrinsic scatter. Using galaxy clusters from the Sloan Digital Sky Survey, we measure the SMHM-$\rm m_{gap}$ relation and its evolution out to $z=0.3$. Using a fixed comoving aperture of 100kpc to define the central galaxy's stellar mass, we report statistically significant negative evolution in the slope of the SMHM relation to $z = 0.3$ ($> 3.5\sigma$). The steepening of the slope over the last 3.5 Gyrs can be explained by late-time merger activity at the cores of galaxy clusters. We also find that the inferred slope depends on the aperture used to define the radial extent of the central galaxy. At small radii (20kpc), the slope of the SMHM relation is shallow, indicating that the core of the central galaxy is less related to the growth of the underlying host halo. By including all of the central galaxy's light within 100kpc, the slope reaches an asymptote at a value consistent with recent high resolution hydrodynamical cosmology simulations.


title: Model Boundary Approximation Method as a Unifying Framework for Balanced Truncation and Singular Perturbation Approximation

abstract: We show that two widely accepted model reduction techniques, Balanced Truncation and Balanced Singular Perturbation Approximation, can be derived as limiting approximations of a carefully constructed parameterization of Linear Time Invariant (LTI) systems by employing the Model Boundary Approximation Method (MBAM), a recent development in the Physics literature. This unifying framework of these popular model reduction techniques shows that Balanced Truncation and Balanced Singular Perturbation Approximation each correspond to a particular boundary point on a manifold, the "model manifold," which is associated with the specific choice of model parameterization and initial condition, and is embedded in a sample space of measured outputs, which can be chosen arbitrarily, provided that the number of samples exceeds the number of parameters. We also show that MBAM provides a novel way to interpolate between Balanced Truncation and Balanced Singular Perturbation Approximation, by exploring the set of approximations on the boundary of the manifold between the elements that correspond to the two model reduction techniques; this allows for alternative approximations of a given system to be found that may be better under certain conditions. The work herein suggests similar types of approximations may be obtainable in topologically similar places (i.e. on certain boundaries) on the model manifold of nonlinear systems if analogous parameterizations can be achieved, therefore extending these widely accepted model reduction techniques to nonlinear systems.


title: A Splitting Formula in Instanton Floer Homology

abstract: In a recent paper, Lin, Ruberman and Saveliev proved a splitting formula expressing the Seiberg-Witten invariant $\lambda_{SW}(X)$ of a smooth $4$-manifold with rational homology of $S^1\times S^3$ in terms of the Fr{\o}yshov invariant $h(X)$ and a Lefschetz number in reduced monopole Floer homology. In this note we observe that a similar splitting formula holds in reduced instanton Floer homology.


title: Neural RGB->D Sensing: Depth and Uncertainty from a Video Camera

abstract: Depth sensing is crucial for 3D reconstruction and scene understanding. Active depth sensors provide dense metric measurements, but often suffer from limitations such as restricted operating ranges, low spatial resolution, sensor interference, and high power consumption. In this paper, we propose a deep learning (DL) method to estimate per-pixel depth and its uncertainty continuously from a monocular video stream, with the goal of effectively turning an RGB camera into an RGB-D camera. Unlike prior DL-based methods, we estimate a depth probability distribution for each pixel rather than a single depth value, leading to an estimate of a 3D depth probability volume for each input frame. These depth probability volumes are accumulated over time under a Bayesian filtering framework as more incoming frames are processed sequentially, which effectively reduces depth uncertainty and improves accuracy, robustness, and temporal stability. Compared to prior work, the proposed approach achieves more accurate and stable results, and generalizes better to new datasets. Experimental results also show the output of our approach can be directly fed into classical RGB-D based 3D scanning methods for 3D scene reconstruction.


title: Network Interdiction Using Adversarial Traffic Flows

abstract: Traditional network interdiction refers to the problem of an interdictor trying to reduce the throughput of network users by removing network edges. In this paper, we propose a new paradigm for network interdiction that models scenarios, such as stealth DoS attack, where the interdiction is performed through injecting adversarial traffic flows. Under this paradigm, we first study the deterministic flow interdiction problem, where the interdictor has perfect knowledge of the operation of network users. We show that the problem is highly inapproximable on general networks and is NP-hard even when the network is acyclic. We then propose an algorithm that achieves a logarithmic approximation ratio and quasi-polynomial time complexity for acyclic networks through harnessing the submodularity of the problem. Next, we investigate the robust flow interdiction problem, which adopts the robust optimization framework to capture the case where definitive knowledge of the operation of network users is not available. We design an approximation framework that integrates the aforementioned algorithm, yielding a quasi-polynomial time procedure with poly-logarithmic approximation ratio for the more challenging robust flow interdiction. Finally, we evaluate the performance of the proposed algorithms through simulations, showing that they can be efficiently implemented and yield near-optimal solutions.


title: Interactive Image Segmentation using Label Propagation through Complex Networks

abstract: Interactive image segmentation is a topic of many studies in image processing. In a conventional approach, a user marks some pixels of the object(s) of interest and background, and an algorithm propagates these labels to the rest of the image. This paper presents a new graph-based method for interactive segmentation with two stages. In the first stage, nodes representing pixels are connected to their $k$-nearest neighbors to build a complex network with the small-world property to propagate the labels quickly. In the second stage, a regular network in a grid format is used to refine the segmentation on the object borders. Despite its simplicity, the proposed method can perform the task with high accuracy. Computer simulations are performed using some real-world images to show its effectiveness in both two-classes and multi-classes problems. It is also applied to all the images from the Microsoft GrabCut dataset for comparison, and the segmentation accuracy is comparable to those achieved by some state-of-the-art methods, while it is faster than them. In particular, it outperforms some recent approaches when the user input is composed only by a few "scribbles" draw over the objects. Its computational complexity is only linear on the image size at the best-case scenario and linearithmic in the worst case.


title: Analysis of Non-Pilot Interference on Link Adaptation and Latency in Cellular Networks

abstract: Modern wireless systems such as the Long-Term Evolution (LTE) and 5G New Radio (5G NR) use pilot-aided SINR estimates to adapt the transmission mode and the modulation and coding scheme (MCS) of data transmissions, maximizing the utility of the wireless channel capacity. However, when interference is localized exclusively on non-pilot resources, pilot-aided SINR estimates become inaccurate. We show that this leads to congestion due to retransmissions, and in the worst case, outage due to very high block error rate (BLER). We demonstrate this behavior through numerical as well as experimental results with the 4G LTE downlink, which show high BLER and significant throughput detriment in the presence of non-pilot interference (NPI). To provide useful insights on the impact of NPI on low-latency communications, we derive an approximate relation between the retransmission-induced latency and BLER. Our results show that NPI can severely compromise low-latency applications such as vehicle-to-vehicle (V2V) communications and 5G NR. We identify robust link adaptation schemes as the key to reliable communications.


title: Quantum phase slips and voltage fluctuations in superconducting nanowires

abstract: We argue that quantum phase slips (QPS) may generate non-equilibrium voltage fluctuations in superconducting nanowires. In the low frequency limit we evaluate all cumulants of the voltage operator which obey Poisson statistics and show a power law dependence on the external bias. We specifically address quantum shot noise which power spectrum $S_\Omega$ may depend non-monotonously on temperature. In the long wire limit $S_\Omega$ decreases with increasing frequency $\Omega$ and vanishes beyond a threshold value of $\Omega$ at $T \to 0$. Our predictions can be directly tested in future experiments with superconducting nanowires.


title: First detection of the pre-biotic molecule glycolonitrile (HOCH2CN) in the interstellar medium

abstract: Theories of a pre-RNA world suggest that glycolonitrile (HOCH$_2$CN) is a key species in the process of ribonucleotide assembly, which is considered as a molecular precursor of nucleic acids. In this Letter, we report the first detection of this pre-biotic molecule in the interstellar medium (ISM) by using ALMA data obtained at frequencies between 86.5$\,$GHz and 266.5$\,$GHz toward the Solar-type protostar IRAS16293-2422 B. A total of 15 unblended transitions of HOCH$_2$CN were identified. Our analysis indicates the presence of a cold (T$\rm _{ex}$=24$\pm$8$\,$K) and a warm (T$\rm _{ex}$=158$\pm$38$\,$K) component meaning that this molecule is present in both the inner hot corino and the outer cold envelope of IRAS16293 B. The relative abundance with respect to H$_2$ is (6.5$\pm$0.6)$\times$10$^{-11}$ and $\geq$(6$\pm$2)$\times$10$^{-10}$ for the warm and cold components respectively. Our chemical modelling seems to underproduce the observed abundance for both the warm and cold component under various values of the cosmic-ray ionisation rate ($\zeta$). Key gas phase routes for the formation of this molecule might be missing in our chemical network.


title: Robust and Adaptive Planning under Model Uncertainty

abstract: Planning under model uncertainty is a fundamental problem across many applications of decision making and learning. In this paper, we propose the Robust Adaptive Monte Carlo Planning (RAMCP) algorithm, which allows computation of risk-sensitive Bayes-adaptive policies that optimally trade off exploration, exploitation, and robustness. RAMCP formulates the risk-sensitive planning problem as a two-player zero-sum game, in which an adversary perturbs the agent's belief over the models. We introduce two versions of the RAMCP algorithm. The first, RAMCP-F, converges to an optimal risk-sensitive policy without having to rebuild the search tree as the underlying belief over models is perturbed. The second version, RAMCP-I, improves computational efficiency at the cost of losing theoretical guarantees, but is shown to yield empirical results comparable to RAMCP-F. RAMCP is demonstrated on an n-pull multi-armed bandit problem, as well as a patient treatment scenario.


title: Overview of initial results from the reconnaissance flyby of a Kuiper Belt planetesimal: 2014 MU69

abstract: The centerpiece objective of the NASA New Horizons first Kuiper Extended Mission (KEM-1) was the close flyby of the Kuiper Belt Object KBO) 2014 MU69, nicknamed Ultima Thule. On 1 Jan 2019 this flyby culminated, making the first close observations of a small KBO. Initial post flyby trajectory reconstruction indicated the spacecraft approached to within ~3500 km of MU69 at 5:33:19 UT. Here we summarize the earliest results obtained from that successful flyby. At the time of this submission, only 4 days of data down-link from the flyby were available; well over an order of magnitude more data will be down-linked by the time of this Lunar and Planetary Science Conference presentation in 2019 March. Therefore many additional results not available at the time of this abstract submission will be presented in this review talk.


title: Manipulation-skill Assessment from Videos with Spatial Attention Network

abstract: Recent advances in computer vision have made it possible to automatically assess from videos the manipulation skills of humans in performing a task, which breeds many important applications in domains such as health rehabilitation and manufacturing. Previous methods of video-based skill assessment did not consider the attention mechanism humans use in assessing videos, limiting their performance as only a small part of video regions is informative for skill assessment. Our motivation here is to estimate attention in videos that helps to focus on critically important video regions for better skill assessment. In particular, we propose a novel RNN-based spatial attention model that considers accumulated attention state from previous frames as well as high-level knowledge about the progress of an undergoing task. We evaluate our approach on a newly collected dataset of infant grasping task and four existing datasets of hand manipulation tasks. Experiment results demonstrate that state-of-the-art performance can be achieved by considering attention in automatic skill assessment.


title: Crystal structures and the sign reversal Hall resistivity in iron-based superconductors Lix(C3H10N2)0.32FeSe (0.15<x<0.4)

abstract: We report the crystal structure, superconductivity and normal state properties of two iron-based materials, Li0.15(C3H10N2)0.32FeSe(P-4) and Lix(C3H10N2)0.32FeSe(P4/nmm, 0.25<x<0.4) with superconducting transition temperature from 40~46K. The determined crystal structures revealed a coupling between Li concentration and the oritation of 1,2-Diaminopropane molecules within the hyper expanded FeSe layers. Further fitting on resistivity in terms of the Lawence-Doniach model suggests the two superconductors belong to the quasi-two dimonsional system. With increasing temperature, a differences in crystal structures and doping levels. First principle calculations revealed the increase in FeSe layer diatance will restruct the Fermi surface and generate a new hole pocket around Gamma point in the Brillouin Zone. Our findings support that the increase in two dimensionalities will leads to a temperature induced Lifshitz transition in electron doped FeSe superconductors.


title: Ultradiscrete two-variable Oregonator

abstract: Ultradiscretization is a limiting procedure transforming a given differential/difference equation into a ultradiscrete equation. Ultradiscrete equations are expressed by addition, subtraction and/or max. The procedure is expected to preserve the essential properties of the original equations. As a method of ultradiscretization, there is "tropical discretization" proposed by M. Murata. In this paper, we shall modify it, and derive a ultradiscrete equation from the continuous model of the BZ reaction. The derived equation generates a cellular automaton by restricting the values of the parameters, which is equivalent to one of those introduced by D. Takahashi, A. Shida, and M. Usami. By setting appropriate initial values, we can obtain the typical patterns of the BZ reaction. Furthermore, we consider the equation without diffusion effect and derive the explicit solutions. As a result, the solutions corresponding to the limit cycle (oscillation) appearing in the continuous model will be found.


title: On the Euler-Alignment system with weakly singular communication weights

abstract: We study the pressureless Euler equations with nonlocal alignment interactions, which arises as a macroscopic representation of complex biological systems modeling animal flocks. For such Euler-Alignment system with bounded interactions, a critical threshold phenomenon is proved by Tadmor-Tan in 2014, where global regularity depends on initial data. With strongly singular interactions, global regularity is obtained by Do-Kiselev-Ryzhik-Tan in 2018, for all initial data. We consider the remaining case when the interaction is weakly singular. We show a critical threshold, similar to the system with bounded interaction. However, different global behaviors may happen for critical initial data, which reveals the unique structure of the weakly singular alignment operator.


title: Hausdorff dimension of escaping sets of Nevanlinna functions

abstract: We determine the exact values of Hausdorff dimensions of escaping sets of meromorphic functions with polynomial Schwarzian derivatives. This will follow from the relation between these functions and the second order differential equations in the complex plane.


title: Landau Theory Treatment of the Wurtzite-based Heterovalent Ternary Semiconductors

abstract: Abstract Characterizing the crystalline disorder properties of the heterovalent ternary semiconductors continues to challenge solid-state theory. Here, a Landau theory is developed for the wurtzite-based ternary semiconductor ZnSnN2. It is shown that the symmetry properties of two nearly co-stable phases, with space groups Pmc21 and Pbn21, infer that a reconstructive phase transition is the source of crystal structure disorder via a mixture of the phases. The site exchange defect, which consists of two adjacent antisite defects, is identified as the nucleation mechanism of the transition. A Landau potential based on the space group symmetries of the Pmc21 and Pbn21 phases is constructed from the online databases in the ISOTROPY Software Suite and this potential is consistent with a system that undergoes a paraelectric-antiferroelectric phase transition. It is hypothesized that the low temperature, Pbn21 phase is antiferroelectric within the c-axis basal plane. The electrical susceptibility derived from the Landau potential exhibits a singularity at the N\'eel temperature characteristic of antiferroelectric behaviour. These results inform the study of disorder in the broad class heterovalent ternary semiconductors, including those based on the zincblende structure, and opens the door to the application of the ternaries in new technology spaces.


title: Externalization of Packet Processing in Software Defined Networking

abstract: Current SDN controllers aggregate all control plane subsystems into a monolithic program. A controller that follows the aggregated approach defines its own set of programming interfaces and services, making application development dependent on a particular SDN controller and restricting portability of management applications across controllers. We propose a new architecture that disaggregates controller functionality and externalizes packet processing, a critical first step towards migrating from a centralized, monolithic design to a decentralized microservice control plane architecture in which SDN controller functions are divided into a smaller, interconnected set. We argue that dividing a monolithic controller into smaller pieces has advantages.


title: Isometric submersions of Teichm\"uller spaces are forgetful

abstract: We study the class of holomorphic and isometric submersions between finite-type Teichm\"uller spaces. We prove that, with potential exceptions coming from low-genus phenomena, any such map is a forgetful map $\mathcal{T}_{g,n} \rightarrow \mathcal{T}_{g,m}$ obtained by filling in punctures. This generalizes a classical result of Royden and Earle-Kra asserting that biholomorphisms between finite-type Teichm\"uller spaces arise from mapping classes. As a key step in the argument, we prove that any $\mathbb{C}$-linear embedding $Q(X)\hookrightarrow Q(Y)$ between spaces of integrable quadratic differentials is, up to scale, pull-back by a holomorphic map. We accomplish this step by adapting methods developed by Markovic to study isometries of infinite-type Teichm\"uller spaces.


title: Prototype Analog Front-end for Negative-ion Gas and Dual-phase Liquid-Ar TPCs

abstract: We report on the recent development of a versatile analog front-end compatible with a negative-ion $\mu$-TPC for a directional dark matter search as well as a dual-phase, next-generation $\mathcal{O}$(10~kt) liquid argon TPC to study neutrino oscillations, nucleon decay, and astrophysical neutrinos. Although the operating conditions for negative-ion and liquid argon TPCs are quite different (room temperature \textit{vs.} $\sim$88~K operation, respectively), the readout electronics requirements are similar. Both require a wide-dynamic range up to 1600 fC, and less than 2000--5000 e$^-$ noise for a typical signal of 80 fC with a detector capacitance of $C_{\rm det} \approx 300$~pF. In order to fulfill such challenging requirements, a prototype ASIC was newly designed using 180-nm CMOS technology. Here, we report on the performance of this ASIC, including measurements of shaping time, dynamic range, and equivalent noise charge (ENC). We also demonstrate the first operation of this ASIC on a low-pressure negative-ion $\mu$-TPC.


title: Optimality conditions for optimal control of multisolution p-Laplacian elliptic equations

abstract: In this paper, an optimal control problem governed by a class of p-Laplacian elliptic equations is studied. In particular, as no monotonicity assumption is assumed on the nonlinear term, the state equation may admit several solutions for one control. To obtain optimality conditions for an optimal pair, the multiplicity and singularity/degeneracy of the state equation need to be handled respectively. For this reason, penalization problems and approximation problems are introduced. Finally the main result is proved by a series of process of taking to the limits.


title: Gauss's Law and the Source for Poisson's Equation in Modified Gravity with Varying G

abstract: We have recently shown that the baryonic Tully-Fisher and Faber-Jackson relations imply that the gravitational "constant" $G$ in the force law varies with acceleration $a$ as $G\propto 1/a$ and vice versa. These results prompt us to reconsider every facet of Newtonian dynamics. Here we show that the integral form of Gauss's law in spherical symmetry remains valid in $G(a)$ gravity, but the differential form depends on the precise distribution of $G(a)M(r)$, where $r$ is the distance from the origin and $M(r)$ is the mass distribution. We derive the differential form of Gauss's law in spherical symmetry, thus the source for Poisson's equation as well. Modified Newtonian dynamics (MOND) and weak-field Weyl gravity are asymptotic limits of $G(a)$ gravity at low and high accelerations, respectively. In these limits, we derive telling approximations to the source in spherical symmetry. It turns out that the source has a strong dependence on surface density $M/r^2$ everywhere in $a$-space except in the deep Newton-Weyl regime of very high accelerations.


title: Secure list decoding

abstract: We propose a new concept of secure list decoding. While the conventional list decoding requires that the list contains the transmitted message, secure list decoding requires the following additional security conditions. The first additional security condition is the impossibility of the correct decoding, i.e., the receiver cannot uniquely identify the transmitted message even though the transmitted message is contained in the list. This condition can be trivially satisfied when the transmission rate is larger than the channel capacity. The other additional security condition is the impossibility for the sender to estimate another element of the decoded list except for the transmitted message. This protocol can be used for anonymous auction, which realizes the anonymity for bidding.


title: Non-Perturbative String Theory from AdS/CFT

abstract: The large $N$ expansion of giant graviton correlators is considered. Giant gravitons are described using operators with a bare dimension of order $N$. In this case the usual $1/N$ expansion is not applicable and there are contributions to the correlator that are non-perturbative in character. By writing the (square of the) correlators in terms of the hypergeometric function ${}_2F_1(a,b;c;1)$, we are able to rephrase the $1/N$ expansion of the correlator as a semi-classical expansion for a Schr\"odinger equation. In this way we are able to argue that the $1/N$ expansion of the correlator is Borel summable and that it exhibits a parametric Stokes phenomenon as the angular momentum of the giant graviton is varied.


title: Photon surfaces in spherically, planar and hyperbolically symmetric spacetimes of D-dimensions: Sonic point/photon sphere correspondence

abstract: Sonic point/photon sphere (SP/PS) correspondence is a theoretical phenomenon which appears in fluid dynamics on curved spacetime and its existence has been recently proved in quite wide situations as theorems. The theorems state that a sonic point (SP) of radiation fluid flow must be on an unstable photon sphere (PS) when the fluid flows radially or rotationally on an equatorial plane in spherically symmetric spacetime of arbitrary dimensions. In this paper, we investigate SP/PS correspondence in spherically, planarly and hyperbolically symmetric spacetime. As the corresponding objects of photon spheres in non-spherically symmetric spacetime, we consider photon surfaces introduced by Claudel {\it et al.} (2001) in the spacetime. After formulating the problem of radial fluid flows, we prove there always exists a correspondence between the sonic points and the photon surfaces, namely, SP/PS correspondence in non-spherically symmetric spacetime.


title: On the formation of our solar system and many other protoplanetary systems observed by ALMA and SPHERE

abstract: In view of the many recent observations conducted by ALMA and SPHERE, it is becoming clear that protoplanetary disks form planets in narrow annular gaps at various distances from the central protostars before these protostars are actually fully formed and the gaseous disks have concluded their accretion/dispersal processes. This is in marked contrast to the many multi-planet exoplanetary systems that do not conform to this pristine picture. This major discrepancy calls for an explanation. We provide such an explanation in this work, based on analytical solutions of the cylindrical isothermal Lane-Emden equation with rotation which do not depend on boundary conditions. These ``intrinsic'' solutions of the differential equation attract the solutions of the Cauchy problem and force them to oscillate permanently. The oscillations create density maxima in which dust and planetesimals are trapped and they can form protoplanetary cores during the very early isothermal evolution of such protoplanetary nebulae. We apply this model to our solar nebula that formed in-situ a minimum of eleven protoplanetary cores that have grown to planets which have survived undisturbed to the present day. We are also in the process of applying the same model to the ALMA/DSHARP disks.


title: Conundrums and constraints concerning the formation of our solar system -- An alternative view

abstract: We have proposed an alternative model for the formation of our solar system that does not predict any mean-motion resonant interactions, planetary migrations, or self-gravitating instabilities in the very early isothermal solar nebula and before the protosun has formed. Within this context of nonviolent protoplanetary evolution over more than 10 million years, we examine some conundrums and constraints that have been discovered from studies of small bodies in the present-day solar system (Jupiter and Neptune's Trojans and their differences from Kuiper belt objects, the irregular satellites of gaseous giants, the stability of the main asteroid belt, and the Late Heavy Bombardment). These issues that have caused substantial difficulties to models of violent formation do not appear to be problematic for the alternative model, and the reason is the complete lack of violent events during the evolution of protoplanets.


title: Angular Stripe Phase in Spin-Orbital-Angular-Momentum Coupled Bose Condensates

abstract: We propose that novel superfluid with supersolid-like properties - angular stripe phase - can be realized in a pancake-like spin-1/2 Bose gas with spin-orbital-angular-momentum coupling. We predict a rich ground-state phase diagram, including the vortex-antivortex pair phase, half-skyrmion phase, and two different angular stripe phases. The stripe phases feature modulated angular density-density correlation with sizable contrast and can occupy a relatively large parameter space. The low-lying collective excitations, such as the dipole and breathing modes, show distinct behaviors in different phases. The existence of the novel stripe phase is also clearly indicated in the energetic and dynamic instabilities of collective modes near phase transitions. Our predictions of the angular stripe phase could be readily examined in current cold-atom experiments with $^{87}$Rb and $^{41}$K.


title: MSR: Multi-Scale Shape Regression for Scene Text Detection

abstract: State-of-the-art scene text detection techniques predict quadrilateral boxes that are prone to localization errors while dealing with straight or curved text lines of different orientations and lengths in scenes. This paper presents a novel multi-scale shape regression network (MSR) that is capable of locating text lines of different lengths, shapes and curvatures in scenes. The proposed MSR detects scene texts by predicting dense text boundary points that inherently capture the location and shape of text lines accurately and are also more tolerant to the variation of text line length as compared with the state of the arts using proposals or segmentation. Additionally, the multi-scale network extracts and fuses features at different scales which demonstrates superb tolerance to the text scale variation. Extensive experiments over several public datasets show that the proposed MSR obtains superior detection performance for both curved and straight text lines of different lengths and orientations.


title: Hybrid Rebeca: Modeling and Analyzing of Cyber-Physical Systems

abstract: In cyber-physical systems like automotive systems, there are components like sensors, actuators, and controllers that communicate asynchronously with each other. The computational model of actor supports modeling distributed asynchronously communicating systems. We propose Hybrid Rebeca language to support modeling of cyber-physical systems. Hybrid Rebeca is an extension of actor-based language Rebeca. In this extension, physical actors are introduced as new computational entities to encapsulate physical behaviors. To support various means of communication among the entities, the network is explicitly modeled as a separate entity from actors. We derive hybrid automata as the basis for analysis of Hybrid Rebeca models. We demonstrate the applicability of our approach through a case study in the domain of automotive systems. We use SpaceEx framework for the analysis of the case study.


title: D3TW: Discriminative Differentiable Dynamic Time Warping for Weakly Supervised Action Alignment and Segmentation

abstract: We address weakly supervised action alignment and segmentation in videos, where only the order of occurring actions is available during training. We propose Discriminative Differentiable Dynamic Time Warping (D3TW), the first discriminative model using weak ordering supervision. The key technical challenge for discriminative modeling with weak supervision is that the loss function of the ordering supervision is usually formulated using dynamic programming and is thus not differentiable. We address this challenge with a continuous relaxation of the min-operator in dynamic programming and extend the alignment loss to be differentiable. The proposed D3TW innovatively solves sequence alignment with discriminative modeling and end-to-end training, which substantially improves the performance in weakly supervised action alignment and segmentation tasks. We show that our model is able to bypass the degenerated sequence problem usually encountered in previous work and outperform the current state-of-the-art across three evaluation metrics in two challenging datasets.


title: Stability and uniqueness of generalized traveling waves of lattice Fisher-KPP equations in heterogeneous media

abstract: In this paper, we investigate the stability and uniqueness of generalized traveling wave solutions of lattice Fisher-KPP equations with general time and space dependence. We first show the existence, uniqueness, and stability of strictly positive entire solutions of such equations. Next, we show the stability and uniqueness of generalized traveling waves connecting the unique strictly positive entire solution and the trivial solution zero. Applying the general stability and uniqueness theorem, we then prove the existence, stability and uniqueness of periodic traveling wave solutions of lattice Fisher-KPP equations in time and space periodic media, and the existence, stability and uniqueness of generalized traveling wave solutions of lattice Fisher-KPP equations in time heterogeneous media. The general stability result established in this paper implies that the generalized traveling waves obtained in many cases are asymptotically stable under well-fitted perturbation.


title: A Distributed Control Approach for Heterogeneous Linear Multiagent Systems

abstract: This paper considers an internal model based distributed control approach to the cooperative output regulation problem of heterogeneous linear time-invariant multiagent systems over fixed directed communication graph topologies. First, a new definition of the linear cooperative output regulation problem is introduced in order to allow a broad class of functions to be tracked and rejected by a network of agents. Second, the solvability of this problem with three distributed control laws, namely dynamic state feedback, dynamic output feedback with local measurement, and dynamic output feedback, is investigated by first considering a global condition and then providing an agent-wise local sufficient condition under standard assumptions. Finally, two numerical examples are provided to illustrate the selected contributions of this paper.


title: The extreme orbital period in scalar hairy kerr black holes

abstract: In a very interesting paper, Hod has proven that the equatorial null circular geodesic provides the extreme orbital period to circle a kerr black hole, which is closely related to the Fermat's principle. In the present paper, we extend the discussion to kerr black holes with scalar field hair. We show that the circle with the extreme orbital period is still identical to the null circular geodesic. Our analysis also implies that the Hod's theorem may be a general property in any axially symmetric spacetime with reflection symmetry on the equatorial plane.


title: UAV-GESTURE: A Dataset for UAV Control and Gesture Recognition

abstract: Current UAV-recorded datasets are mostly limited to action recognition and object tracking, whereas the gesture signals datasets were mostly recorded in indoor spaces. Currently, there is no outdoor recorded public video dataset for UAV commanding signals. Gesture signals can be effectively used with UAVs by leveraging the UAVs visual sensors and operational simplicity. To fill this gap and enable research in wider application areas, we present a UAV gesture signals dataset recorded in an outdoor setting. We selected 13 gestures suitable for basic UAV navigation and command from general aircraft handling and helicopter handling signals. We provide 119 high-definition video clips consisting of 37151 frames. The overall baseline gesture recognition performance computed using Pose-based Convolutional Neural Network (P-CNN) is 91.9 %. All the frames are annotated with body joints and gesture classes in order to extend the dataset's applicability to a wider research area including gesture recognition, action recognition, human pose recognition and situation awareness.


title: Segmentation-Discarding Ordered-Statistic Decoding for Linear Block Codes

abstract: In this paper, we propose an efficient reliability based segmentation-discarding decoding (SDD) algorithm for short block-length codes. A novel segmentation-discarding technique is proposed along with the stopping rule to significantly reduce the decoding complexity without a significant performance degradation compared to ordered statistics decoding (OSD). In the proposed decoder, the list of test error patterns (TEPs) is divided into several segments according to carefully selected boundaries and every segment is checked separately during the reprocessing stage. Decoding is performed under the constraint of the discarding rule and stopping rule. Simulations results for different codes show that our proposed algorithm can significantly reduce the decoding complexity compared to the existing OSD algorithms in literature.


title: Evidence for Modified Newtonian Dynamics from Cavendish-type gravitational constant experiments

abstract: Recent experimental results for the gravitational constant G from Cavendish-type experiments were analysed in the framework of Modified Newtonian Dynamics (MOND). MOND corrections were applied to the equation of motion of a pendulum, under the assumption that the magnitude of the horizontal time dependent gravitational acceleration determines the amount of MOND corrections. The large vertical component of the local gravitational field of the earth is fully compensated by the alignment of the torsion pendulum in accordance with Newtons third law and therefore not considered for MOND corrections. From the analysis of the MOND corrected equation of motion of a realistic torsion pendulum with mixed gravitational and electromagnetic restoring torque simple rules for meaningful MOND corrections of measured G values determined by different operational modes of Cavendish type G experiments were derived. Based on this analysis the reported discrepancies for G determined by static deflection and electrostatic servo methods of the BIPM experiment by Quinn et al. and between time-of-swing and angular acceleration feedback methods for the HUST experiment by Li et al. could be fully resolved by MOND corrections using one common MOND interpolation function, determined by a one parameter fit. The MOND corrected BIPM and HUST results, along with other single method results from G experiments by Gundlach and Merkovitz, Schlamminger et al. and Newman et al. lead to an average G value of 6.67422x10^-11 m^3 kg^-1 s^-2 with a standard deviation of 12.5 ppm only. The applied MOND correction procedure and the fitted interpolation function employed for the G experiments were found to be consistent with the most viable MOND fits to galaxy rotation curves.


title: Temperature-Controlled Entangled-Photon Absorption Spectroscopy

abstract: Entangled two-photon absorption spectroscopy (TPA) has been widely recognized as a powerful tool for revealing relevant information about the structure of complex molecular systems. However, to date, the experimental implementation of this technique has remained elusive, mainly because of two major difficulties. First, the need to perform multiple experiments with two-photon states bearing different temporal correlations, which translates in the necessity to have at the experimenter's disposal tens, if not hundreds, of sources of entangled photons. Second, the need to have \emph{a priori} knowledge of the absorbing medium's lowest-lying intermediate energy level. In this work, we put forward a simple experimental scheme that successfully overcomes these two limitations. By making use of a temperature-controlled entangled-photon source, which allows the tuning of the central frequencies of the absorbed photons, we show that the TPA signal, measured as a function of the temperature of the nonlinear crystal that generates the paired photons, and a controllable delay between them, carries all information about the electronic level structure of the absorbing medium, which can be revealed by a simple Fourier transformation.


title: Copper atomic contacts exposed to water molecules

abstract: Monatomic and molecular hydrogen and also oxygen, as well as water molecules and OH that are exposed to atomic copper in intimate contact have been studied theoretically using computational methods. The authors optimized moderately large structures of Cu/H/Cu, Cu/HCuH/Cu, Cu/H$_2$/Cu, Cu/H$_2$O/Cu, Cu/OH/Cu, Cu/O/Cu, Cu/O$_2$/Cu, and calculated appropriate values for conductance and inelastic tunneling spectroscopy (IETS) properties of the contact junctions; elucidating them as being a possible outcome resulting from the exposure of copper electrodes to the atomic/molecular contaminant species. Here we also demonstrate the IETS properties, by means of ab-initio calculations, that can determine the form of the junction geometries. Furthermore, we identify the bonding geometries at the interfaces of the copper electrodes that directly give rise to the specific IETS signatures that have been observed in recent experiments. Based on low-bias conductance and IETS calculations, for the specific case of water exposure of copper electrodes, it was concluded that a single hydrogen or a single oxygen atom bridging the copper electrodes is not responsible for the high conductance peak measurements. Regarding Model 4, where an individual water molecule is considered to be the bridging constituent, our computational results suggest that it has a relatively low probability of being an appropriate candidate. Based upon current computational results, the two hydrogens in Model 3 appear to be in molecular form, although they still form a bond with the adjacent copper atoms. Comparing computational with experimental results indicates that Model 3 is in acceptable agreement with available data.


title: Unusual Isotopic Abundances in a Fully-Convective Stellar Binary

abstract: Low-mass M dwarfs represent the most common outcome of star formation, but their complex emergent spectra hinder detailed studies of their composition and initial formation. The measurement of isotopic ratios is a key tool that has been used to unlock the formation of our Solar System, the Sun, and the nuclear processes within more massive stars. We observed GJ 745AB, two M dwarfs orbiting in a wide binary, with the IRTF/iSHELL spectrograph. Our spectroscopy of CO in these stars at the 4.7 micron fundamental and 2.3 micron first-overtone rovibrational bandheads reveals 12C16O, 13C16O, and 12C18O in their photospheres. Since the stars are fully convective, the atomic constituents of these isotopologues should be uniformly mixed throughout the stars' interiors. We find that in these M dwarfs, both 12C/13C and 16O/18O greatly exceed the Solar values. These measurements cannot be explained solely by models of Galactic chemical evolution, but require that the stars formed from an ISM significantly enriched by material ejected from an exploding core-collape supernova. These isotopic measurements complement the elemental abundances provided by large-scale spectroscopic surveys, and open a new window onto studies of Galactic evolution, stellar populations, and individual systems.


title: Domain wall induced modulation of low field H-T phase diagram in patterned superconductor-ferromagnet stripes

abstract: We present a systematic study of the magnetic domain wall induced modulation of superconducting transition temperature (Tc) in Nb/Ni bilayer stripes. By varying the thickness of the Ni layer from 20 nm to 100 nm we have been able to measure the low field Tc-H phase diagram spanning the Neel domain wall and Bloch domain wall range of thicknesses. Micromagnetic simulations and magnetic force microscopy measurements confirmed a stronger out-of-plane stray field in the Bloch domain walls compared to the Neel walls. A suppression in Tc was observed in the magnetization reversal region of the Ni film, the magnitude of which followed linearly to the strength of the out-of-plane stray field due to the domain walls. The magnitude of the stray field was quantified by comparing the Tc of the suppressed region of H-Tc phase diagrams with the unaffected part of the H-Tc curve. With Bloch domain walls a change in Tc of more than 60 mK was observed which is much more compared to the earlier reports. We believe that the narrow stripe geometry of the bilayers and the transverse external field maximized the effect of the domain walls in the Ni layer on the overlying superconducting film, leading to a larger change in Tc. This observation may be useful for domain wall controlled switching devices in superconducting spintronics.


title: Sequential Attention-based Network for Noetic End-to-End Response Selection

abstract: The noetic end-to-end response selection challenge as one track in Dialog System Technology Challenges 7 (DSTC7) aims to push the state of the art of utterance classification for real world goal-oriented dialog systems, for which participants need to select the correct next utterances from a set of candidates for the multi-turn context. This paper describes our systems that are ranked the top on both datasets under this challenge, one focused and small (Advising) and the other more diverse and large (Ubuntu). Previous state-of-the-art models use hierarchy-based (utterance-level and token-level) neural networks to explicitly model the interactions among different turns' utterances for context modeling. In this paper, we investigate a sequential matching model based only on chain sequence for multi-turn response selection. Our results demonstrate that the potentials of sequential matching approaches have not yet been fully exploited in the past for multi-turn response selection. In addition to ranking the top in the challenge, the proposed model outperforms all previous models, including state-of-the-art hierarchy-based models, and achieves new state-of-the-art performances on two large-scale public multi-turn response selection benchmark datasets.


title: Performance Analysis and Dynamic Evolution of Deep Convolutional Neural Network for Nonlinear Inverse Scattering

abstract: The solution of nonlinear electromagnetic (EM) inverse scattering problems is typically hindered by several challenges such as ill-posedness, strong nonlinearity, and high computational costs. Recently, deep learning has been demonstrated to be a promising tool in addressing these challenges. In particular, it is possible to establish a connection between a deep convolutional neural network (CNN) and iterative solution methods of nonlinear EM inverse scattering. This has led to the development of an efficient CNN-based solution to nonlinear EM inverse problems, termed DeepNIS. It has been shown that DeepNIS can outperform conventional nonlinear inverse scattering methods in terms of both image quality and computational time. In this work, we quantitatively evaluate the performance of DeepNIS as a function of the number of layers using structure similarity measure (SSIM) and mean-square error (MSE) metrics. In addition, we probe the dynamic evolution behavior of DeepNIS by examining its near-isometry property. It is shown that after a proper training stage the proposed CNN is near optimal in terms of the stability and generalization ability.


title: Electrically Tunable Wafer-Sized Three-Dimensional Topological Insulator Thin Films Grown by Magnetron Sputtering

abstract: Three-dimensional (3D) topological insulators (TIs) are candidate materials for various electronic and spintronic devices due to their strong spin-orbit coupling and unique surface electronic structure. Rapid, low-cost preparation of large-area TI thin films compatible with conventional semiconductor technology is key to the practical applications of TIs. Here, we show that wafer-sized Bi2Te3 family TI and magnetic TI films with decent quality and well-controlled composition and properties can be prepared on amorphous SiO2/Si substrates by magnetron cosputtering. The SiO2/Si substrates enable us to electrically tune (Bi1-xSbx)2Te3 and Cr-doped (Bi1-xSbx)2Te3 TI films between p-type and n-type behavior and thus study the phenomena associated with topological surface states, such as the quantum anomalous Hall effect (QAHE). This work significantly facilitates the fabrication of TI-based devices for electronic and spintronic applications.


title: Printing surface charge as a new paradigm to program droplet transport

abstract: Directed, long-range and self-propelled transport of droplets on solid surfaces, especially on water repellent surfaces, is crucial for many applications from water harvesting to bio-analytical devices. One appealing strategy to achieve the preferential transport is to passively control the surface wetting gradients, topological or chemical, to break the asymmetric contact line and overcome the resistance force. Despite extensive progress, the directional droplet transport is limited to small transport velocity and short transport distance due to the fundamental trade-off: rapid transport of droplet demands a large wetting gradient, whereas long-range transport necessitates a relatively small wetting gradient. Here, we report a radically new strategy that resolves the bottleneck through the creation of an unexplored gradient in surface charge density (SCD). By leveraging on a facile droplet printing on superamphiphobic surfaces as well as the fundamental understanding of the mechanisms underpinning the creation of the preferential SCD, we demonstrate the self-propulsion of droplets with a record-high velocity over an ultra-long distance without the need for additional energy input. Such a Leidenfrost-like droplet transport, manifested at ambient condition, is also genetic, which can occur on a variety of substrates such as flexible and vertically placed surfaces. Moreover, distinct from conventional physical and chemical gradients, the new dimension of gradient in SCD can be programmed in a rewritable fashion. We envision that our work enriches and extends our capability in the manipulation of droplet transport and would find numerous potential applications otherwise impossible.


title: Dynamic Mobility-Aware Interference Avoidance for Aerial Base Stations in Cognitive Radio Networks

abstract: Aerial base station (ABS) is a promising solution for public safety as it can be deployed in coexistence with cellular networks to form a temporary communication network. However, the interference from the primary cellular network may severely degrade the performance of an ABS network. With this consideration, an adaptive dynamic interference avoidance scheme is proposed in this work for ABSs coexisting with a primary network. In the proposed scheme, the mobile ABSs can reconfigure their locations to mitigate the interference from the primary network, so as to better relay the data from the designated source(s) to destination(s). To this end, the single/multi-commodity maximum flow problems are formulated and the weighted Cheeger constant is adopted as a criterion to improve the maximum flow of the ABS network. In addition, a distributed algorithm is proposed to compute the optimal ABS moving directions. Moreover, the trade-off between the maximum flow and the shortest path trajectories is investigated and an energy-efficient approach is developed as well. Simulation results show that the proposed approach is effective in improving the maximum network flow and the energy-efficient approach can save up to 39% of the energy for the ABSs with marginal degradation in the maximum network flow.


title: The Universal model and prior: multinomial GLMs

abstract: This paper generalises the exponential family GLM to allow arbitrary distributions for the response variable. This is achieved by combining the model-assisted regression approach from survey sampling with the GLM scoring algorithm, weighted by random draws from the posterior Dirichlet distribution of the support point probabilities of the multinomial distribution. The generalisation provides fully Bayesian analyses from the posterior sampling, without MCMC. Several examples are given, of published GLM data sets. The approach can be extended widely: an example of a GLMM extension is given.


title: Rapid Black Hole Growth at the Dawn of the Universe: A Super-Eddington Quasar at z=6.6

abstract: We present the analysis of a new near-infrared (NIR) spectrum of a recently discovered $z=6.621$ quasar PSO J006+39 in an attempt to explore the early growth of supermassive black holes (SMBHs). This NIR (rest-frame ultraviolet, UV) spectrum shows blue continuum slope and rich metal emission lines in addition to Ly$\alpha$ line. We utilize the MgII line width and the rest frame luminosity $L_\text{3000\AA}$ to find the mass of SMBH ($M_\text{BH}$) to be $\sim 10^8 M_\odot$, making this one of the lowest mass quasars at high redshift. The power-law slope index ($\alpha_\lambda$) of the continuum emission is $-2.94\pm0.03$, significantly bluer than the slope of $\alpha_\lambda=-7/3$ predicted from standard thin disc models. We fit the spectral energy distribution (SED) using a model which can fit local SMBHs, which includes warm and hot Comptonisation powered by the accretion flow as well as an outer standard disc. The result shows that the very blue slope is probably produced by a small radial ($\sim230$ gravitational radius, $R_\text{g}$) extent of the standard accretion disc. All plausible SED models require that the source is super-Eddington ($L_\text{bol}/L_\text{Edd} \gtrsim 9$), so the apparently small disc may simply be the inner funnel of a puffed up flow, and clearly the SMBH in this quasar is in a rapid growth phase. We also utilize the rest-frame UV emission lines to probe the chemical abundance in the broad line region (BLR) of this quasar. We find that this quasar has super solar metallicity through photoionization model calculations.


title: The Erd\H{o}s-Ulam problem, Lang's conjecture, and uniformity

abstract: A rational distance set is a subset of the plane such that the distance between any two points is a rational number. We show, assuming Lang's Conjecture, that the cardinalities of rational distance sets in general position are uniformly bounded, generalizing results of Solymosi-de Zeeuw, Makhul-Shaffaf, Shaffaf, and Tao. In the process, we give a criterion for certain varieties with non-canonical singularities to be of general type.


title: Stability of Ferromagnetism in Hubbard Models with Nearly-Flat Bands

abstract: Whether spin-independent Coulomb interaction in an electron system can be the origin of ferromagnetism has been an open problem for a long time. Recently, a "constructive" approach to this problem has been developed, and the existence of ferromagnetism in the ground states of certain Hubbard models was established rigorously. A special feature of these Hubbard models is that their lowest bands (in the corresponding single-electron problems) are completely flat. Here we study models obtained by adding small but arbitrary translation-invariant perturbation to the hopping Hamiltonian of these flat-band models. The resulting models have nearly-flat lowest bands. We prove that the ferromagnetic state is stable against a single-spin flip provided that Coulomb interaction U is sufficiently large. (It is easily found that the same state is unstable against a single-spin flip if U is small enough.) We also prove upper and lower bounds for the dispersion relation of the lowest energy eigenstate with a single flipped spin, which bounds establish that the model has "healthy" spin-wave excitation. It is notable that the (local) stability of ferromagnetism is proved in non-singular Hubbard models, in which we must overcome competition between the kinetic energy and the Coulomb interaction. We also note that this is one of the very few rigorous and robust results which deal with truly nonperturbative phenomena in many electron systems. The local stability strongly suggests that the Hubbard models with nearly flat bands have ferromagnetic ground states. We believe that the present models can be studied as paradigm models for (insulating) ferromagnetism in itinerant electron systems.

categories: cond-mat.str-el cond-mat.stat-mech math-ph math.MP


title: Cohomological and numerical dynamical degrees on abelian varieties

abstract: We show that for an endomorphism of an abelian variety defined over an algebraically closed field of arbitrary characteristic, the second cohomological dynamical degree coincides with the first numerical dynamical degree.


title: Generalized metallic means

abstract: The metallic means (also known as metallic ratios) may be defined as the limiting ratio of consecutive terms of sequences connected to the Fibonacci sequence via the INVERT transform. For example, the Pell sequence (invert transform of the Fibonacci sequence) gives the so-called silver mean, and the invert transform of the Pell sequence leads to the bronze mean. The limiting ratio of the Fibonacci sequence itself is known as the golden mean or ratio. We introduce a new family of kth-degree metallic means obtained through invert transforms of the generalized kth-order Fibonacci sequence. As it is the case for k=2, each generalized metallic mean is shown to be the unique positive root of a kth-degree polynomial determined by the sequence.


title: Fast CNN-Based Object Tracking Using Localization Layers and Deep Features Interpolation

abstract: Object trackers based on Convolution Neural Network (CNN) have achieved state-of-the-art performance on recent tracking benchmarks, while they suffer from slow computational speed. The high computational load arises from the extraction of the feature maps of the candidate and training patches in every video frame. The candidate and training patches are typically placed randomly around the previous target location and the estimated target location respectively. In this paper, we propose novel schemes to speed-up the processing of the CNN-based trackers. We input the whole region-of-interest once to the CNN to eliminate the redundant computations of the random candidate patches. In addition to classifying each candidate patch as an object or background, we adapt the CNN to classify the target location inside the object patches as a coarse localization step, and we employ bilinear interpolation for the CNN feature maps as a fine localization step. Moreover, bilinear interpolation is exploited to generate CNN feature maps of the training patches without actually forwarding the training patches through the network which achieves a significant reduction of the required computations. Our tracker does not rely on offline video training. It achieves competitive performance results on the OTB benchmark with 8x speed improvements compared to the equivalent tracker.


title: Effect of spin-orbit coupling on tunnelling escape of Bose-Einstein condensate

abstract: We theoretically investigate quantum tunnelling escape of a spin-orbit (SO) coupled Bose-Einstein condensate (BEC) from a trapping well. The condensate is initially prepared in a quasi-one-dimensional harmonic trap. Depending on the system parameters, the ground state can fall in different phases --- single minimum, separated or stripe. Then, suddenly the trapping well is opened at one side. The subsequent dynamics of the condensate is studied by solving nonlinear Schr\"{o}dinger equations. We found that the diverse phases will greatly change the tunneling escape behavior of SO coupled BECs. In single minimum and separated phases, the condensate escapes the trapping well continuously, while in stripe phase it escapes the well as an array of pulses. We also found that SO coupling has a suppressing effect on the tunnelling escape of atoms. Especially, for BECs without inter-atom interaction, the tunnelling escape can be almost completely eliminated when the system is tuned near the transition point between single minimum and stripe phase. Our work thus suggests that SO coupling may be a useful tool to control the tunnelling dynamic of BECs, and potentially be applied in realization of atom lasers and matter wave switches.


title: Non-equilibrium driven by an external torque in the presence of a magnetic field

abstract: We investigate a motion of a colloid in a harmonic trap driven out of equilibrium by an external non-conservative force producing a torque in the presence of a uniform magnetic field. We find that steady state exists only for a proper range of parameters such as mass, viscosity coefficient, and stiffness of the harmonic potential, and the magnetic field, which is not observed in the overdamped limit. We derive the existence condition for the steady state. We examine the combined influence of the non-conservative force and the magnetic field on non-equilibrium characteristics such as non-Boltzmann steady-state probability distribution function, probability currents, entropy production, position-velocity correlation, and violation of fluctuation-dissipation relation.


title: Fixed-disc results via simulation functions

abstract: In this paper, our aim is to obtain new fixed-disc results on metric spaces. To do this, we present a new approach using the set of simulation functions and some known fixed-point techniques. We do not need to have some strong conditions such as completeness or compactness of the metric space or continuity of the self-mapping in our results. Taking only one geometric condition, we ensure the existence of a fixed disc of a new type contractive mapping.


title: Involvement of Surfactant Protein D in Ebola Virus Infection Enhancement via Glycoprotein Interaction

abstract: Since the largest 2014-2016 Ebola virus disease outbreak in West Africa, understanding of Ebola virus infection has improved, notably the involvement of innate immune mediators. Amongst them, collectins are important players in the antiviral innate immune defense. A screening of Ebola glycoprotein (GP)-collectins interactions revealed the specific interaction of human surfactant protein D (hSP-D), a lectin expressed in lung and liver, two compartments where Ebola was found in vivo. Further analyses have demonstrated an involvement of hSP-D in the enhancement of virus infection in several in vitro models. Similar effects were observed for porcine SP-D (pSP-D). In addition, both hSP-D and pSP-D interacted with Reston virus (RESTV) GP and enhanced pseudoviral infection in pulmonary cells. Thus, our study reveals a novel partner of Ebola GP that may participate to enhance viral spread.


title: A Construction of Representations of Loop Group and Affine Lie Algebra of $\mathfrak{sl}_n$

abstract: In this paper, we construct a representation of loop group and derive the formula of the corresponding representation of the affine Kac-Moody algebra with level 1. And we also provide a concrete realization of Whittaker functionals in the dual representation.


title: MOANA: An Online Learned Adaptive Appearance Model for Robust Multiple Object Tracking in 3D

abstract: Multiple object tracking has been a challenging field, mainly due to noisy detection sets and identity switch caused by occlusion and similar appearance among nearby targets. Previous works rely on appearance models built on individual or several selected frames for the comparison of features, but they cannot encode long-term appearance changes caused by pose, viewing angle and lighting conditions. In this work, we propose an adaptive model that learns online a relatively long-term appearance change of each target. The proposed model is compatible with any feature of fixed dimension or their combination, whose learning rates are dynamically controlled by adaptive update and spatial weighting schemes. To handle occlusion and nearby objects sharing similar appearance, we also design cross-matching and re-identification schemes based on the application of the proposed adaptive appearance models. Additionally, the 3D geometry information is effectively incorporated in our formulation for data association. The proposed method outperforms all the state-of-the-art on the MOTChallenge 3D benchmark and achieves real-time computation with only a standard desktop CPU. It has also shown superior performance over the state-of-the-art on the 2D benchmark of MOTChallenge.


title: Quarkonium production as a function of charged-particle multiplicity in pp and p--Pb collisions measured by ALICE at the LHC

abstract: Quarkonium production as a function of the charged-particle multiplicity could provide an insight into particle production processes at the partonic level in hadronic collisions. It is believed that multiple partonic interactions play an important role in particle production and affect both soft and hard processes. The study of correlations between quarkonia and charged-particle multiplicity may provide information about this. In this contribution, ALICE measurements of J$/\psi$ and $\Upsilon$ production as a function of charged-particle multiplicity are presented for pp collisions at center-of-mass energies $\sqrt{s}$ = 5.02 and 13 TeV. A similar measurement performed in p\textendash Pb collisions at $\sqrt{s_{\rm{NN}}}$ = 8.16 TeV at both forward and backward rapidity is also discussed.


title: Asymptotic Regimes of Hadron Scattering in QCD

abstract: Possible modes of asymptotic behavior of the amplitudes of hadron scattering in QCD are discussed. It is shown that the condition of triviality of the scattering matrix when the interaction of the fundamental fields is turned off leads to the impossibility of cross-sections that do not decrease with energy in the case of pure gluodynamics. It is also shown that in the presence of at least one type of massive quark the ban is lifted. Some consequences of the presence of an infrared fixed point are also discussed.


title: Collaborative 3D modeling system based on blockchain

abstract: We propose a collaborative 3D modeling system, which is based on the blockchain technology. Our approach uses the blockchain to communicate with modeling tools and to provide them a decentralized database of the mesh modification history. This approach also provides a server-less version control system: users can commit their modifications to the blockchain and checkout others' modifications from the blockchain. As a result, our system enables users to do collaborative modeling without any central server.


title: Modelling ocean temperatures from bio-probes under preferential sampling

abstract: In the last 25 years there has been an important increase in the amount of data collected from animal-mounted sensors (bio-probes), which are often used to study the animals' behaviour or environment. We focus here on an example of the latter, where the interest is in sea surface temperature (SST), and measurements are taken from sensors mounted on Elephant Seals in the Southern Indian ocean. We show that standard geostatistical models may not be reliable for this type of data, due to the possibility that the regions visited by the animals may depend on the SST. This phenomenon is known in the literature as preferential sampling, and, if ignored, it may affect the resulting spatial predictions and parameter estimates. Research on this topic has been mostly restricted to stationary sampling locations such as monitoring sites. The main contribution of this manuscript is to extend this methodology to observations obtained by devices that move through the region of interest, as is the case with the tagged seals. More specifically, we propose a flexible framework for inference on preferentially sampled fields, where the process that generates the sampling locations is stochastic and moving over time through a 2-dimensional space. Our simulation studies confirm that predictions obtained from the preferential sampling model are more reliable when this phenomenon is present, and they compare very well to the standard ones when there is no preferential sampling. Finally, we note that the conclusions of our analysis of the SST data can change considerably when we incorporate preferential sampling in the model.


title: The twisted jets of Circinus X-1

abstract: We present the results of millimetre (33 and 35 GHz) and centimetre (2.1, 5.5 and 9.0 GHz) wavelength observations of the neutron star X-ray binary Circinus X-1, using the Australia Telescope Compact Array. We have used advanced calibration and deconvolution algorithms to overcome multiple issues due to intrinsic variability of the source and direction dependent effects. The resulting centimetre and millimetre radio maps show spatially resolved jet structures from sub-arcsecond to arcminute angular scales. They represent the most detailed investigation to date of the interaction of the relativistic jet from the X-ray binary with the young supernova remnant in which it is embedded. Comparison of projected jet axes at different wavelengths indicate significant rotation of the jet axis with increasing angular scale. This either suggests interactions of the jet material with surrounding media, creating bends in the jet flow path, or jet precession. We explore the latter hypothesis by successfully modelling the observed jet path using a kinematic jet model. If precession is the right interpretation and our modelling correct, the best fit parameters describe an accreting source with mildly relativistic ejecta ($v = 0.5 c$), inclined close to the plane of the sky ($i = 86^{\circ}$) and precessing over a 5-year period.


title: Approximation theorems for spaces of localities

abstract: The classical Artin--Whaples approximation theorem allows to simultaneously approximate finitely many different elements of a field with respect to finitely many pairwise inequivalent absolute values. Several variants and generalizations exist, for example for finitely many (Krull) valuations, where one usually requires that these are independent, i.e. induce different topologies on the field. Ribenboim proved a generalization for finitely many valuations where the condition of independence is relaxed for a natural compatibility condition, and Ershov proved a statement about simultaneously approximating finitely many different elements with respect to finitely many possibly infinite sets of pairwise independent valuations. We prove approximation theorems for infinite sets of valuations and orderings without requiring pairwise independence.


title: Humanoid: A Deep Learning-based Approach to Automated Black-box Android App Testing

abstract: Automated input generators are widely used for large-scale dynamic analysis of mobile apps. Such input generators must constantly choose which UI element to interact with and how to interact with it, in order to achieve high coverage with a limited time budget. Currently, most input generators adopt pseudo-random or brute-force searching strategies, which may take very long to find the correct combination of inputs that can drive the app into new and important states. In this paper, we propose Humanoid, a deep learning-based approach to GUI test input generation by learning from human interactions. Our insight is that if we can learn from human-generated interaction traces, it is possible to automatically prioritize test inputs based on their importance as perceived by users. We design and implement a deep neural network model to learn how end-users would interact with an app (specifically, which UI elements to interact with and how). Our experiments showed that the interaction model can successfully prioritize user-preferred inputs for any new UI (with a top-1 accuracy of 51.2% and a top-10 accuracy of 85.2%). We implemented an input generator for Android apps based on the learned model and evaluated it on both open-source apps and market apps. The results indicated that Humanoid was able to achieve higher coverage than six state-of-the-art test generators. However, further analysis showed that the learned model was not the main reason of coverage improvement. Although the learned interaction pattern could drive the app into some important GUI states with higher probabilities, it had limited effect on the width and depth of GUI state search, which is the key to improve test coverage in the long term. Whether and how human interaction patterns can be used to improve coverage is still an unknown and challenging problem.


title: Topological constructions of tensor fields on moduli spaces

abstract: We show how topology of a space may lead to tensor fields on (the smooth part of) moduli spaces of the fundamental group.


title: Differential invariants of Kundt waves

abstract: Kundt waves belong to the class of spacetimes which are not distinguished by their scalar curvature invariants. We address the equivalence problem for the metrics in this class via scalar differential invariants with respect to the equivalence pseudo-group of the problem. We compute and finitely represent the algebra of those on the generic stratum and also specify the behavior for vacuum Kundt waves. The results are then compared to the invariants computed by the Cartan-Karlhede algorithm.


title: On the Robustness of Distributed Computing Networks

abstract: Traffic flows in a distributed computing network require both transmission and processing, and can be interdicted by removing either communication or computation resources. We study the robustness of a distributed computing network under the failures of communication links and computation nodes. We define cut metrics that measure the connectivity, and show a non-zero gap between the maximum flow and the minimum cut. Moreover, we study a network flow interdiction problem that minimizes the maximum flow by removing communication and computation resources within a given budget. We develop mathematical programs to compute the optimal interdiction, and polynomial-time approximation algorithms that achieve near-optimal interdiction in simulation.