title: Multi-UAV Cooperative Trajectory for Servicing Dynamic Demands and Charging Battery

abstract: Unmanned Aerial Vehicle (UAV) technology is a promising solution for providing high-quality mobile services to ground users, where a UAV with limited service coverage travels among multiple geographical user locations (e.g., hotspots) for servicing their demands locally. How to dynamically determine a UAV swarm's cooperative path planning to best meet many users' spatio-temporally distributed demands is an important question but is unaddressed in the literature. To our best knowledge, this paper is the first to design and analyze cooperative path planning algorithms of a large UAV swarm for optimally servicing many spatial locations, where ground users' demands are released dynamically in the long time horizon. Regarding a single UAV's path planning design, we manage to substantially simplify the traditional dynamic program and propose an optimal algorithm of low computation complexity, which is only polynomial with respect to both the numbers of spatial locations and user demands. After coordinating a large number $K$ of UAVs, this simplified dynamic optimization problem becomes intractable and we alternatively present a fast iterative cooperation algorithm with provable approximation ratio $1-(1-\frac{1}{K})^{K}$ in the worst case, which is proved to obviously outperform the traditional approach of partitioning UAVs to serve different location clusters separately. To relax UAVs' battery capacity limit for sustainable service provisioning, we further allow UAVs to travel to charging stations in the mean time and thus jointly design UAVs' path planning over users' locations and charging stations. Despite of the problem difficulty, for the optimal solution, we successfully transform the problem to an integer linear program by creating novel directed acyclic graph of the UAV-state transition diagram, and propose an iterative algorithm with constant approximation ratio.


title: The generalized Picard groups for finite dimensional $C^*$-Hopf algebra coactions on unital $C^*$-algebras

abstract: We shall generalize the notion of the strong Morita equivalence for coactions of a finite dimensional $C^*$-Hopf algebra on a unital $C^*$-algebra and define the Picard groups with respect to the generalized strong Morita equivalence. We call them the generalized Picard groups for coactions of a finite dimensional $C^*$-Hopf algebra on a unital $C^*$-algeba. We shall investigate basic properties of the generalized Picard groups and clarify the relation between the generalized Picard groups and the Picard groups for unital inclusions of unital $C^*$-algebras.


title: DRESS: Dynamic RESource-reservation Scheme for Congested Data-intensive Computing Platforms

abstract: In the past few years, we have envisioned an increasing number of businesses start driving by big data analytics, such as Amazon recommendations and Google Advertisements. At the back-end side, the businesses are powered by big data processing platforms to quickly extract information and make decisions. Running on top of a computing cluster, those platforms utilize scheduling algorithms to allocate resources. An efficient scheduler is crucial to the system performance due to limited resources, e.g. CPU and Memory, and a large number of user demands. However, besides requests from clients and current status of the system, it has limited knowledge about execution length of the running jobs, and incoming jobs' resource demands, which make assigning resources a challenging task. If most of the resources are occupied by a long-running job, other jobs will have to keep waiting until it releases them. This paper presents a new scheduling strategy, named DRESS that particularly aims to optimize the allocation among jobs with various demands. Specifically, it classifies the jobs into two categories based on their requests, reserves a portion of resources for each of category, and dynamically adjusts the reserved ratio by monitoring the pending requests and estimating release patterns of running jobs. The results demonstrate DRESS significantly reduces the completion time for one category, up to 76.1% in our experiments, and in the meanwhile, maintains a stable overall system performance.


title: Anomalous normal state resistivity in superconducting $La_{2-x}Ce_xCuO_4$: Fermi liquid or strange metal?

abstract: We present experimental results for the in-plane resistivity of the electron-doped cuprate superconductor $La_{2-x}Ce_xCuO_4$ above its transition temperature $T_c$ as a function of Ce doping x and temperature. For the doping x between 0.11 and 0.17, where $T_c$ varies from 30 K (x=0.11) to 5 K (x=0.17), we find that the resistivity shows an approximate $T^2$ behavior for all values of doping over the measurement range from 100 K to 400 K. The coefficient of the $T^2$ resistivity term decreases with increasing x following the trend in $T_c$. We analyze our data theoretically and posit that n-type cuprates are better thought of as strange metals. Although the quadratic temperature dependence appears to be in naive agreement with the Fermi liquid (FL) expectations, the fact that the measured resistivity is large and no phonon-induced linear-in-T resistivity manifests itself even at 400 K argue against a standard normal metal Fermi liquid picture being applicable. We discuss possible origins of the strange metal behavior.


title: Smooth and sharp creation of a spherical shell for a $(3+1)$-dimensional quantum field

abstract: We study the creation of a spherical, finite radius source for a quantized massless scalar field in 3+1 dimensions. The goal is to model the breakdown of correlations that has been proposed to occur at the horizon of an evaporating black hole. We do this by introducing at fixed radius $r=a$ a one parameter family of self-adjoint extensions of the three dimensional Laplacian operator that interpolate between the condition that the values and the derivatives on the two sides of $r=a$ coincide for $t\le0$ (no wall) and the two-sided Dirichlet boundary condition for $t \ge 1/\lambda$ (fully-developed wall). Creation of the shell produces null, spherical pulses of energy on either side of the shell, one ingoing and the other outgoing. The renormalized energy density $\langle T_{00}\rangle$ diverges to positive infinity in the outgoing energy pulse, just outside the light cone of the fully-formed wall at $t=1/\lambda$. Unlike in the 3+1 point source creation, there is no persistent memory cloud of energy. As in the creation of a 1+1 dimensional wall, the response of an Unruh-DeWitt detector in the post-shell region is independent of the time scale for shell formation and is finite. The latter property casts doubt on the efficacy of this mechanism for firewall creation.


title: A note on a smooth projective surface with Picard number 2

abstract: We characterize the integral Zariski decomposition of a smooth projective surface with Picard number 2 to partially solve a problem of B. Harbourne, P. Pokora, and H. Tutaj-Gasinska [Electron. Res. Announc. Math. Sci. 22 (2015), 103--108].


title: SLAC Microresonator Radio Frequency (SMuRF) Electronics for Read Out of Frequency-Division-Multiplexed Cryogenic Sensors

abstract: Large arrays of cryogenic sensors for various imaging applications ranging across x-ray, gamma-ray, Cosmic Microwave Background (CMB), mm/sub-mm, as well as particle detection increasingly rely on superconducting microresonators for high multiplexing factors. These microresonators take the form of microwave SQUIDs that couple to Transition-Edge Sensors (TES) or Microwave Kinetic Inductance Detectors (MKIDs). In principle, such arrays can be read out with vastly scalable software-defined radio using suitable FPGAs, ADCs and DACs. In this work, we share plans and show initial results for SLAC Microresonator Radio Frequency (SMuRF) electronics, a next-generation control and readout system for superconducting microresonators. SMuRF electronics are unique in their implementation of specialized algorithms for closed-loop tone tracking, which consists of fast feedback and feedforward to each resonator's excitation parameters based on transmission measurements. Closed-loop tone tracking enables improved system linearity, a significant increase in sensor count per readout line, and the possibility of overcoupled resonator designs for enhanced dynamic range. Low-bandwidth prototype electronics were used to demonstrate closed-loop tone tracking on twelve 300-kHz-wide microwave SQUID resonators, spaced at $\sim$6 MHz with center frequencies $\sim$5-6 GHz. We achieve multi-kHz tracking bandwidth and demonstrate that the noise floor of the electronics is subdominant to the noise intrinsic in the multiplexer.


title: On the Manev spatial isosceles three-body problem

abstract: We study the isosceles three-body problem with Manev interaction. Using a McGehee-type technique, we blow up the triple collision singularity into an invariant manifold, called the collision manifold, pasted into the phase space for all energy levels. We find that orbits tending to/ejecting from total collision are present for a large set of angular momenta. We also find that as the angular momentum is increased, the collision manifold changes its topology. We discuss the flow near-by the collision manifold, study equilibria and homographic motions, and prove some statements on the global flow.


title: Learning Markov Clustering Networks for Scene Text Detection

abstract: A novel framework named Markov Clustering Network (MCN) is proposed for fast and robust scene text detection. MCN predicts instance-level bounding boxes by firstly converting an image into a Stochastic Flow Graph (SFG) and then performing Markov Clustering on this graph. Our method can detect text objects with arbitrary size and orientation without prior knowledge of object size. The stochastic flow graph encode objects' local correlation and semantic information. An object is modeled as strongly connected nodes, which allows flexible bottom-up detection for scale-varying and rotated objects. MCN generates bounding boxes without using Non-Maximum Suppression, and it can be fully parallelized on GPUs. The evaluation on public benchmarks shows that our method outperforms the existing methods by a large margin in detecting multioriented text objects. MCN achieves new state-of-art performance on challenging MSRA-TD500 dataset with precision of 0.88, recall of 0.79 and F-score of 0.83. Also, MCN achieves realtime inference with frame rate of 34 FPS, which is $1.5\times$ speedup when compared with the fastest scene text detection algorithm.


title: KMS States of Self-Similar $k$-Graph C*-Algebras

abstract: Let $G$ be a countable discrete amenable group, and $\Lambda$ be a strongly connected finite $k$-graph. If $(G,\Lambda)$ is a pseudo free and locally faithful self-similar action which satisfies the finite-state condition, then the structure of the KMS simplex of the C*-algebra $\O_{G,\Lambda}$ associated to $(G,\Lambda)$ is described: it is either empty or affinely isomorphic to the tracial state space of the C*-algebra of the periodicity group $\Per_{G,\Lambda}$ of $(G,\Lambda)$, depending on whether the Perron-Frobenius eigenvector of $\Lambda$ preserves the $G$-action. As applications of our main results, we also exhibit several classes of important examples.


title: Adaptive App Design by Detecting Handedness

abstract: Taller and sleeker smartphone devices are becoming the new norm. More screen space and very responsive touchscreens have made for enjoyable experiences available to us at all times. However, after years of interacting with smaller, portable devices, we still try to use these large smartphones on the go, and do not want to change how, where, and when we interact with them. The older devices were easier to use with one hand, when mobile. Now, with bigger devices, users have trouble accessing all parts of the screen with one hand. We need to recognize the limitations in usability due to these large screens. We must start designing user interfaces that are more conducive to one hand usage, which is the preferred way of interacting with the phone. This paper introduces Adaptive App Design, a design methodology that promotes dynamic and adaptive interfaces for one handed usage. We present a novel method of recognizing which hand the user is interacting with and suggest how to design friendlier interfaces for them by presenting a set of design guidelines for this methodology.


title: A new porous metallic silicon dicarbide for highly efficient Li-ion battery anode identified by targeted structure search

abstract: Extensive efforts have been devoted to C-Si compound materials for improving the limited specific capacity of graphite anode and avoiding the huge volume change of Si anode in Li-ion battery, but not much progress has been made during the past decades. Here, for the first time we apply the targeted structure search by using Li in desired quantity as chemical template to regulate the bonding between C and Si, which makes searching more feasible for us to find a new stable phase of C2Si (labelled as T-C2Si) that can better fit the XRD data of silicon dicarbide synthesized before. Different from the conventional semiconducting silicon carbides, T-C2Si is not only metallic with high intrinsic conductivity for electrons transport, but also porous with regularly distributed channels in suitable size for Li ions experiencing a low energy barrier. T-C2Si exhibits a high specific capacity of 515 mA/g, a high average open-circuit voltage of 1.14 eV, and a low volume change of 1.6%. These parameters meet the requirements of an ideal anode material with high performance for electric vehicles. Moreover, our targeted search strategy guarantees the resulting anode material with a desirable specific capacity and a small volume change during charging /discharging, and it can be used to find new geometric configurations for other materials.


title: Locally solvable subgroups of PLo(I) are countable

abstract: We show every locally solvable subgroup of PLo(I) is countable. A corollary is that an uncountable wreath product of copies of $\mathbb{Z}$ with itself does not embed into PLo(I).


title: Cutting plane methods can be extended into nonconvex optimization

abstract: We show that it is possible to obtain an $O(\epsilon^{-4/3})$ expected runtime --- including computational cost --- for finding $\epsilon$-stationary points of smooth nonconvex functions using cutting plane methods. This improves on the best-known epsilon dependence achieved by cubic regularized Newton of $O(\epsilon^{-3/2})$ as proved by Nesterov and Polyak (2006). Our techniques utilize the convex until proven guilty principle proposed by Carmon, Duchi, Hinder, and Sidford (2017).


title: Evolutionary strategy for inverse charge measurements of dielectric particles

abstract: We report a computational strategy to obtain the charges of individual dielectric particles from experimental observation of their interactions as a function of time. This strategy uses evolutionary optimization to minimize the difference between trajectories extracted from experiment and simulated trajectories based on many-particle force fields. The force fields include both Coulombic interactions and dielectric polarization effects that arise due to particle-particle charge mismatch and particle-environment dielectric contrast. The strategy was applied to systems of free falling charged granular particles in vacuum, where electrostatic interactions are the only driving forces that influence the particles' motion. We show that when the particles' initial positions and velocities are known, the optimizer requires only an initial and final particle configuration of a short trajectory in order to accurately infer the particles' charges; when the initial velocities are unknown and only the initial positions are given, the optimizer can learn from multiple frames along the trajectory to determine the particles' initial velocities and charges. While the results presented here offer a proof-of-concept demonstration of the proposed ideas, the proposed strategy could be extended to more complex systems of electrostatically charged granular matter.


title: Motivic Volumes of Fibers of Tropicalization

abstract: Let $T$ be an algebraic torus over an algebraically closed field, let $X$ be a smooth closed subvariety of a $T$-toric variety such that $U = X \cap T$ is not empty, and let $\mathscr{L}(X)$ be the arc scheme of $X$. We define a tropicalization map on $\mathscr{L}(X) \setminus \mathscr{L}(X \setminus U)$, the set of arcs of $X$ that do not factor through $X \setminus U$. We show that each fiber of this tropicalization map is a constructible subset of $\mathscr{L}(X)$ and therefore has a motivic volume. We prove that if $U$ has a compactification with simple normal crossing boundary, then the generating function for these motivic volumes is rational, and we express this rational function in terms of certain lattice maps constructed in Hacking, Keel, and Tevelev's theory of geometric tropicalization. We explain how this result, in particular, gives a formula for Denef and Loeser's motivic zeta function of a polynomial. To further understand this formula, we also determine precisely which lattice maps arise in the construction of geometric tropicalization.


title: Speeding-up Age Estimation in Intelligent Demographics System via Network Optimization

abstract: Age estimation is a difficult task which requires the automatic detection and interpretation of facial features. Recently, Convolutional Neural Networks (CNNs) have made remarkable improvement on learning age patterns from benchmark datasets. However, for a face "in the wild" (from a video frame or Internet), the existing algorithms are not as accurate as for a frontal and neutral face. In addition, with the increasing number of in-the-wild aging data, the computation speed of existing deep learning platforms becomes another crucial issue. In this paper, we propose a high-efficient age estimation system with joint optimization of age estimation algorithm and deep learning system. Cooperated with the city surveillance network, this system can provide age group analysis for intelligent demographics. First, we build a three-tier fog computing architecture including an edge, a fog and a cloud layer, which directly processes age estimation from raw videos. Second, we optimize the age estimation algorithm based on CNNs with label distribution and K-L divergence distance embedded in the fog layer and evaluate the model on the latest wild aging dataset. Experimental results demonstrate that: 1. our system collects the demographics data dynamically at far-distance without contact, and makes the city population analysis automatically; and 2. the age model training has been speed-up without losing training progress or model quality. To our best knowledge, this is the first intelligent demographics system which has potential applications in improving the efficiency of smart cities and urban living.


title: Modeling the Safety Effect of Access and Signal Density on Suburban Arterials: Using Macro Level Analysis Method

abstract: With rapidly increasing of the land development density along suburban arterials, much more irregular signal spacing appeared on suburban arterials, and high access density is commonly observed on suburban arterials. These issues tend to increase the risk of crash occurrence of arterials. By developing safety performance functions on road segments and intersections separately, the previous research analyzed the partial safety effects of the influence factors. In this study, Bayesian Conditional Autoregressive (CAR) models were developed at traffic analysis zone (TAZ) level for suburban arterials laid in suburban area in Shanghai. The model result showed that higher access and signal density tend to increase crash frequencies occurred on arterials. At this point, designing frontage roads paralleled to arterials to collect the access traffic instead of those intensive access could reduce crashes occurred on arterials.


title: Counting partitions inside a rectangle

abstract: We consider the number of partitions of $n$ whose Young diagrams fit inside an $m \times \ell$ rectangle; equivalently, we study the coefficients of the $q$-binomial coefficient $\binom{m+\ell}{m}_q$. We obtain sharp asymptotics throughout the regime $\ell = \Theta (m)$ and $n = \Theta (m^2)$. Previously, sharp asymptotics were derived by Tak\'acs only in the regime where $|n - \ell m /2| = O(\sqrt{\ell m (\ell + m)})$ using a local central limit theorem. Our approach is to solve a related large deviation problem: we describe the tilted measure that produces configurations whose bounding rectangle has the given aspect ratio and is filled to the given proportion. Our results are sufficiently sharp to yield the first asymptotic estimates on the consecutive differences of these numbers when $n$ is increased by one and $m, \ell$ remain the same, hence significantly refining Sylvester's unimodality theorem.


title: Simultaneous measurement of multiple parameters of a subwavelength structure based on the weak value formalism

abstract: A mathematical extension of the weak value formalism to the simultaneous measurement of multiple parameters is presented in the context of an optical focused vector beam scatterometry experiment. In this example, preselection and postselection are achieved via spatially-varying polarization control, which can be tailored to optimize the sensitivity to parameter variations. Initial experiments for the two-parameter case demonstrate that this method can be used to measure physical parameters with resolutions at least 1000 times smaller than the wavelength of illumination.


title: 1D Triple Bubble Problem with Log-Convex Density

abstract: We prove that for a symmetric, strictly log-convex density on the real line, there are four possible types of perimeter-minimizing triple bubbles. This extends the work of Bongiovanni et al., which shows that there are two possible types of perimeter-minimizing double bubbles.


title: Electric Field-Tuned Topological Phase Transition in Ultra-Thin Na3Bi - Towards a Topological Transistor

abstract: The electric field induced quantum phase transition from topological to conventional insulator has been proposed as the basis of a topological field effect transistor [1-4]. In this scheme an electric field can switch 'on' the ballistic flow of charge and spin along dissipationless edges of the two-dimensional (2D) quantum spin Hall insulator [5-9], and when 'off' is a conventional insulator with no conductive channels. Such as topological transistor is promising for low-energy logic circuits [4], which would necessitate electric field-switched materials with conventional and topological bandgaps much greater than room temperature, significantly greater than proposed to date [6-8]. Topological Dirac semimetals(TDS) are promising systems in which to look for topological field-effect switching, as they lie at the boundary between conventional and topological phases [3,10-16]. Here we use scanning probe microscopy/spectroscopy (STM/STS) and angle-resolved photoelectron spectroscopy (ARPES) to show that mono- and bilayer films of TDS Na3Bi [3,17] are 2D topological insulators with bulk bandgaps >400 meV in the absence of electric field. Upon application of electric field by doping with potassium or by close approach of the STM tip, the bandgap can be completely closed then re-opened with conventional gap greater than 100 meV. The large bandgaps in both the conventional and quantum spin Hall phases, much greater than the thermal energy kT = 25 meV at room temperature, suggest that ultrathin Na3Bi is suitable for room temperature topological transistor operation.


title: The Effective J-Factor of the Galactic Center for Velocity-Dependent Dark Matter Annihilation

abstract: We present the effective $J$-factors for the Milky Way for scenarios in which dark matter annihilation is p-wave or d-wave suppressed. We find that the velocity suppression of dark matter annihilation can have a sizable effect on the morphology of a potential dark matter annihilation signal in the Galactic Center. The gamma-ray flux from the innermost region of the Galactic Center is in particular suppressed. We find that for dark matter density profiles with steep inner slopes, the morphology of the Inner Galaxy gamma-ray emission in p-wave models can be made similar to the morphology in standard s-wave models. This similarity may suggest that model discrimination between s-wave and p-wave is challenging, for example, when fitting the Galactic Center excess. However, we show that it is difficult to simultaneously match s- and p-wave morphologies at both large and small angular scales. The $J$-factors we calculate may be implemented with astrophysical foreground models to self-consistently determine the morphology of the excess with velocity-suppressed dark matter annihilation.


title: Optimal transport natural gradient for statistical manifolds with continuous sample space

abstract: We study the Wasserstein natural gradient in parametric statistical models with continuous sample spaces. Our approach is to pull back the $L^2$-Wasserstein metric tensor in the probability density space to a parameter space, equipping the latter with a positive definite metric tensor, under which it becomes a Riemannian manifold, named the Wasserstein statistical manifold. In general, it is not a totally geodesic sub-manifold of the density space, and therefore its geodesics will differ from the Wasserstein geodesics, except for the well-known Gaussian distribution case, a fact which can also be validated under our framework. We use the sub-manifold geometry to derive a gradient flow and natural gradient descent method in the parameter space. When parametrized densities lie in $\bR$, the induced metric tensor establishes an explicit formula. In optimization problems, we observe that the natural gradient descent outperforms the standard gradient descent when the Wasserstein distance is the objective function. In such a case, we prove that the resulting algorithm behaves similarly to the Newton method in the asymptotic regime. The proof calculates the exact Hessian formula for the Wasserstein distance, which further motivates another preconditioner for the optimization process. To the end, we present examples to illustrate the effectiveness of the natural gradient in several parametric statistical models, including the Gaussian measure, Gaussian mixture, Gamma distribution, and Laplace distribution.


title: M-convexity of the minimum-cost packings of arborescences

abstract: The aim of this paper is to reveal the discrete convexity of the minimum-cost packings of arborescences and branchings. We first prove that the minimum-cost packings of disjoint $k$ branchings (minimum-cost $k$-branchings) induce an $\mathrm{M}^\natural$-convex function defined on the integer vectors on the vertex set. The proof is based on a theorem on packing disjoint $k$-branchings, which extends Edmonds' disjoint branchings theorem and is of independent interest. We then show the $\mathrm{M}$-convexity of the minimum-cost $k$-arborescences, which provides a short proof for a theorem of Bern\'ath and Kir\'aly (SODA 2016) stating that the root vectors of the minimum-cost $k$-arborescences form a base polyhedron of a submodular function. Finally, building upon the $\mathrm{M}^\natural$-convexity of $k$-branchings, we present a new problem of minimum-cost root location of a $k$-branching, and show that it can be solved in polynomial time if the opening cost function is $\mathrm{M}^\natural$-convex.


title: Geometric and integrability properties of Kahan's method

abstract: Given a quadratic vector field on \mathbb{R}^n possessing a quadratic first integral depending on two of the independent variables, we give a constructive proof that Kahan's discretization method exactly preserves a nearby modifed integral. Building on this result, we present a family of integrable quadratic vector fields (including the Euler top) whose Kahan discretization is a novel 10-parameter family of integrable maps.


title: On the rationality of algebraic monodromy groups of compatible systems

abstract: Let $E$ be a number field and $X$ a smooth geometrically connected variety defined over a characteristic $p$ finite field. Given an $n$-dimensional pure $E$-compatible system of semisimple $\lambda$-adic representations of the \'etale fundamental group of $X$ with connected algebraic monodromy groups $G_\lambda$, we construct a common $E$-form $G$ of all the groups $G_\lambda$ and in the absolutely irreducible case, a common $E$-form $G\hookrightarrow\text{GL}_{n,E}$ of all the tautological representations $G_\lambda\hookrightarrow\text{GL}_{n,E_\lambda}$ (Theorem 1.1). Analogous rationality results in characteristic $p$ assuming the existence of crystalline companions in $\text{F-Isoc}^{\dagger}(X)\otimes E_{v}$ for all $v|p$ (Theorem 1.5) and in characteristic zero assuming ordinariness (Theorem 1.6) are also obtained. Applications include a construction of $G$-compatible system from some $\text{GL}_n$-compatible system and some results predicted by the Mumford-Tate conjecture.


title: $D \Xi$ and $D^* \Xi$ Molecular States from One Boson Exchange

abstract: We explore the existence of $D \Xi$ and $D^* \Xi$ molecular states within the one boson exchange model. We regularize the potential derived in this model with a form factor and a cut-off of the order of $1\,{\rm GeV}$. To determine the cut-off, we use the condition that the $X(3872)$ is reproduced as a pole in the $J^{PC} = 1^{++}$ $D^*\bar{D}$ amplitude. From this we find that the $J^P= {\frac{1}{2}}^{-}$ $D^*\,\Xi$ system is on the verge of binding and has an unnaturally large scattering length. For the $J^P= {\frac{1}{2}}^{-}$ $D\,\Xi$ and the $J^P= {\frac{3}{2}}^{-}$ $D^*\,\Xi$ systems the attraction is not enough to form a bound state. From heavy quark symmetry and the quark model we can extend the previous model to the $P \Xi_{QQ}$ and $P^* \Xi_{QQ}$ systems, with $P = D, \bar{B}$, $P^* = D^*, \bar{B}^*$ and $\Xi_{QQ} = \Xi_{cc}, \Xi_{bb}$. In this case we predict a series of triply heavy pentaquark-like molecules.


title: Faster quantum simulation by randomization

abstract: Product formulas can be used to simulate Hamiltonian dynamics on a quantum computer by approximating the exponential of a sum of operators by a product of exponentials of the individual summands. This approach is both straightforward and surprisingly efficient. We show that by simply randomizing how the summands are ordered, one can prove stronger bounds on the quality of approximation for product formulas of any given order, and thereby give more efficient simulations. Indeed, we show that these bounds can be asymptotically better than previous bounds that exploit commutation between the summands, despite using much less information about the structure of the Hamiltonian. Numerical evidence suggests that the randomized approach has better empirical performance as well.


title: Raman Spectra and Strain Effects in Bismuth Oxychalcogenides

abstract: A new type of two-dimensional layered semiconductor with weak electrostatic but not van der Waals interlayer interactions, Bi2O2Se, has been recently synthesized, which shown excellent air stability and ultrahigh carrier mobility. Herein, we combined theoretical and experimental approaches to study the Raman spectra of Bi2O2Se and related bismuth oxychalcogenides (Bi2O2Te and Bi2O2S). The experimental peaks were fully consistent with the calculated results, and were successfully assigned. Bi2O2S was predicted to have more Raman-active modes due to its lower symmetry. The shift of the predicted frequencies of Raman active modes was also found to get softened as the interlayer interaction decreases from bulk to monolayer Bi2O2Se and Bi2O2Te. To reveal the strain effects on the Raman shifts, a universal theoretical equation was established based on the symmetry of Bi2O2Se and Bi2O2Te. It was predicted that the doubly degenerate modes split under in-plane uniaxial/shear strains. Under a rotated uniaxial strain, the changes of Raman shifts are anisotropic for degenerate modes although Bi2O2Se and Bi2O2Te were usually regarded as isotropic systems similar to graphene. This implies a novel method to identify the crystallographic orientation from Raman spectra under strain. These results have important consequences for the incorporation of 2D Bismuth oxychalcogenides into nanoelectronic devices.


title: Correlation length in a generalized two-dimensional XY model

abstract: The measurements of the magnetic and nematic correlation lengths in a generalization of the two dimensional XY model on the square lattice are presented using classical Monte Carlo simulation. The full phase diagram is re-examined based on these correlation lengths, demonstrating their power in studying generalized XY models. The ratio between the correlation length and the lattice size has distinctive behaviors which can be used to distinguish different types of phase transition. More importantly, the magnetic correlation length give more insights into the tricritical region where the paramagnetic, nematic and quasi-long-range phases meet. It shows signatures for the intermediate region starting from the tricritical point, where the transition line is neither of the same physics as the Ising transition below nor the Berezinskii-Kosterlitz-Thouless transition far above the tricritical point.


title: Enhancement of the second-harmonic generation based on the cascaded second- and third-order nonlinear processes in a multimode optical microcavity

abstract: Optical microcavities are often used to realize enhanced nonlinear optical interactions for highly efficient second-harmonic generation. With increased pump power, the efficiency of nonlinear frequency conversion can be increased further, while some other unwanted nonlinear effects will also emerge, leading to complicated dynamics or instability. Here, we study the interplay between cascaded second- and third-order nonlinear processes and investigate their impact on the second-harmonic generation in microcavities. It is found that the non-degenerate optical parametric oscillation (OPO) appears and the presence of $\chi^{(3)}$ process can modify the OPO threshold significantly when the multimode cavity is strongly pumped at the fundamental optical mode. One can even break the efficiency limitation of the second-harmonic mode restricted by the OPO by utilizing the interference between the OPO and the four-wave mixing. The present coherent interplay between nonlinear optical processes in microcavities is conducive to exploring new physics in the cavity nonlinear photonics.


title: Joint Image Captioning and Question Answering

abstract: Answering visual questions need acquire daily common knowledge and model the semantic connection among different parts in images, which is too difficult for VQA systems to learn from images with the only supervision from answers. Meanwhile, image captioning systems with beam search strategy tend to generate similar captions and fail to diversely describe images. To address the aforementioned issues, we present a system to have these two tasks compensate with each other, which is capable of jointly producing image captions and answering visual questions. In particular, we utilize question and image features to generate question-related captions and use the generated captions as additional features to provide new knowledge to the VQA system. For image captioning, our system attains more informative results in term of the relative improvements on VQA tasks as well as competitive results using automated metrics. Applying our system to the VQA tasks, our results on VQA v2 dataset achieve 65.8% using generated captions and 69.1% using annotated captions in validation set and 68.4% in the test-standard set. Further, an ensemble of 10 models results in 69.7% in the test-standard split.


title: Small-scale dynamo simulations: Magnetic field amplification in exploding granules and the role of deep and shallow recirculation

abstract: We analyze recent high resolution photospheric small-scale dynamo simulations that were computed with the MURaM radiative MHD code. We focus the analysis on newly forming downflow lanes in exploding granules since they show how weakly magnetized regions in the photosphere (center of granules) evolve into strongly magnetized regions (downflow lanes). We find that newly formed downflow lanes exhibit initially mostly a laminar converging flow that amplifies the vertical magnetic field embedded in the granule from a few 10 G to field strengths exceeding 800 G. This results in extended magnetic sheets that have a length comparable to granular scales. Field amplification by turbulent shear happens first a few 100 km beneath the visible layers of the photosphere. Shallow recirculation transports the resulting turbulent field into the photosphere within minutes, after which the newly formed downflow lane shows a mix of strong magnetic sheets and turbulent field components. We stress in particular the role of shallow and deep recirculation for the organization and strength of magnetic field in the photosphere and discuss the photospheric and sub-photospheric energy conversion associated with the small-scale dynamo process. While the energy conversion through the Lorentz force depends only weakly on the saturation field strength (and therefore deep or shallow recirculation), it is strongly dependent on the magnetic Prandtl number. We discuss the potential of these findings for further constraining small-scale dynamo models through high resolution observations.


title: Populations of Extrasolar Giant Planets from Transit and Radial Velocity Surveys

abstract: Transit and radial velocity surveys have deeply explored the population of extrasolar giant planets, with hundreds of objects detected to date. All these detections allow to understand their physical properties and to constrain their formation, migration, and evolution mechanism. In this chapter, the observed properties of these planets are presented along with the various populations identified in the data. The occurrence rates of giant exoplanets, as observed in different stellar environment by various surveys are also reviewed and compared. Finally, the presence and properties of the giant exoplanets are discussed in the regards of the properties of the host star. Over this chapter, the observational constraints are discussed in the context of the dominant planet formation, migration and evolution scenarios.


title: The number of two-term tilting complexes over symmetric algebras with radical cube zero

abstract: In this paper, we compute the number of two-term tilting complexes for an arbitrary symmetric algebra with radical cube zero over an algebraically closed field. Firstly, we give a complete list of symmetric algebras with radical cube zero having only finitely many isomorphism classes of two-term tilting complexes in terms of their associated graphs. Secondly, we enumerate the number of two-term tilting complexes for each case in the list.


title: Observation of slowly decaying eigenmodes without exceptional points in Floquet, dissipative, synthetic circuits

abstract: We report the first experimental observation of multiple transitions showing the emergence and disappearance of slowly decaying eigenmodes in a dissipative, Floquet electronic system with synthetic components. Conventional wisdom has it that such transitions occur at exceptional points, and avoided-level-crossing driven phenomena in purely dissipative systems are formerly unexplored. Remarkably, in our system, the slowly decaying eigenmodes emerge without exceptional points. Our experimental setup makes use of an LC oscillator inductively coupled to an RLC oscillator, where the time-periodic (Floquet) inductive coupling and resistive-heating losses can be independently controlled by means of external voltage signals. With a Floquet dissipation, we observe that slowly-decaying eigenmodes emerge at vanishingly small dissipation strength in the weak coupling limit. With a moderate, Floquet coupling, multiple instances of their emergence and disappearance are observed. With an asymmetric dimer model, we show that these transitions, driven by avoided-level-crossing in purely dissipative systems, are generically present in both static and Floquet domains.


title: State-Denoised Recurrent Neural Networks

abstract: Recurrent neural networks (RNNs) are difficult to train on sequence processing tasks, not only because input noise may be amplified through feedback, but also because any inaccuracy in the weights has similar consequences as input noise. We describe a method for denoising the hidden state during training to achieve more robust representations thereby improving generalization performance. Attractor dynamics are incorporated into the hidden state to `clean up' representations at each step of a sequence. The attractor dynamics are trained through an auxillary denoising loss to recover previously experienced hidden states from noisy versions of those states. This state-denoised recurrent neural network {SDRNN} performs multiple steps of internal processing for each external sequence step. On a range of tasks, we show that the SDRNN outperforms a generic RNN as well as a variant of the SDRNN with attractor dynamics on the hidden state but without the auxillary loss. We argue that attractor dynamics---and corresponding connectivity constraints---are an essential component of the deep learning arsenal and should be invoked not only for recurrent networks but also for improving deep feedforward nets and intertask transfer.


title: Learning to Optimize via Wasserstein Deep Inverse Optimal Control

abstract: We study the inverse optimal control problem in social sciences: we aim at learning a user's true cost function from the observed temporal behavior. In contrast to traditional phenomenological works that aim to learn a generative model to fit the behavioral data, we propose a novel variational principle and treat user as a reinforcement learning algorithm, which acts by optimizing his cost function. We first propose a unified KL framework that generalizes existing maximum entropy inverse optimal control methods. We further propose a two-step Wasserstein inverse optimal control framework. In the first step, we compute the optimal measure with a novel mass transport equation. In the second step, we formulate the learning problem as a generative adversarial network. In two real world experiments - recommender systems and social networks, we show that our framework obtains significant performance gains over both existing inverse optimal control methods and point process based generative models.


title: Pre-supernova outbursts of massive stars in the presence of a neutron star companion

abstract: We study the pre-explosion outbursts (PEOs) of massive stars that might result from a rapid expansion of the massive star in the presence of a close companion. We assume that activity in the core of the massive star, an initial mass of 15Mo, about two years before explosion energizes the envelope, and with the stellar evolutionary code MESA follow the inflated envelope as a result of energy deposition to the envelope. We examine the conditions for a companion star to accrete mass from the inflated envelope. We find that for the general conditions that we assume, bright PEOs require a neutron star companion at an orbital separation of about 1000-2000Ro. We assume that the mass-accreting neutron star launches jets. These jets shape the circumstellar matter to highly non-spherical structures, such that the explosions of core collapse supernovae (CCSNe) that follow PEOs might lack an axial (cylindrical) symmetry. In some case main sequence star companions can also energize PEOs, but much weaker ones. This study adds another scenario by which neutron stars can power the radiation of PEOs. Another scenario is the common envelope jets supernova (CEJSN) impostor where a neutron star enters the envelope of the massive star.


title: A Study of Wolf-Rayet stars Formed via Chemically Homogeneous Evolution

abstract: Using the stellar evolution code---Modules for Experiments in Stellar Astrophysics (MESA), we investigate the evolution of massive stars with different rotational velocities and metallicities towards Wolf-Rayet stars. In our simulations, the initial rotating velocities are taken as 0, 250, 500 and 650 km s$^{-1}$, and the metallicities equal to 0.02, 0.014, 0.008, 0.006, 0.004 and 0.002. We show our rapid rotation models in the HR diagram compared with the observations. We find that the rotational mixing is less efficient at high metallicity, and these stars become Wolf-Rayet (WR) stars when the helium in their center is ignited. However, rapid rotating massive stars at low metallicity can easily evolve into WR stars due to the rotation resulted in chemically homogeneous evolution. This can explain the origin of single WR stars in galaxy at low metallicity. In our models, the observed SMC WR stars are consistent with the single-star evolution models. However at higher metallicities our single-star evolution models can only explain the luminous, hydrogen-rich WN stars and O stars (which are classified as WR stars previously).


title: Estimating statistics of sky brightness using radio interferometric observations

abstract: Radio interferometric data are used to estimate the sky brightness distributions in radio frequencies. Here we focus on estimators of the large-scale structure and the power spectrum of the sky brightness distribution inferred from radio interferometric observations and assess their efficacy using simulated observations of the model sky. We find that while the large-scale distribution can be unbiasedly estimated from the reconstructed image from the interferometric data, estimates of the power spectrum of the intensity fluctuations calculated from the image are generally biased. The bias is more pronounced for diffuse emission. The visibility based power spectrum estimator, however, gives an unbiased estimate of the true power spectrum. We conclude that for an observation with diffuse emission the reconstructed image can be used to estimate the large-scale distribution of the intensity, while to estimate the power spectrum, visibility based methods should be preferred.


title: A fingerprint based crypto-biometric system for secure communication

abstract: To ensure the secure transmission of data, cryptography is treated as the most effective solution. Cryptographic key is an important entity in this procedure. In general, randomly generated cryptographic key (of 256 bits) is difficult to remember. However, such a key needs to be stored in a protected place or transported through a shared communication line which, in fact, poses another threat to security. As an alternative, researchers advocate the generation of cryptographic key using the biometric traits of both sender and receiver during the sessions of communication, thus avoiding key storing and at the same time without compromising the strength in security. Nevertheless, the biometric-based cryptographic key generation possesses few concerns such as privacy of biometrics, sharing of biometric data between both communicating users (i.e., sender and receiver), and generating revocable key from irrevocable biometric. This work addresses the above-mentioned concerns. In this work, a framework for secure communication between two users using fingerprint based crypto-biometric system has been proposed. For this, Diffie-Hellman (DH) algorithm is used to generate public keys from private keys of both sender and receiver which are shared and further used to produce a symmetric cryptographic key at both ends. In this approach, revocable key for symmetric cryptography is generated from irrevocable fingerprint. The biometric data is neither stored nor shared which ensures the security of biometric data, and perfect forward secrecy is achieved using session keys. This work also ensures the long-term security of messages communicated between two users. Based on the experimental evaluation over four datasets of FVC2002 and NIST special database, the proposed framework is privacy-preserving and could be utilized onto real access control systems.


title: Deep Learning with Cinematic Rendering: Fine-Tuning Deep Neural Networks Using Photorealistic Medical Images

abstract: Deep learning has emerged as a powerful artificial intelligence tool to interpret medical images for a growing variety of applications. However, the paucity of medical imaging data with high-quality annotations that is necessary for training such methods ultimately limits their performance. Medical data is challenging to acquire due to privacy issues, shortage of experts available for annotation, limited representation of rare conditions and cost. This problem has previously been addressed by using synthetically generated data. However, networks trained on synthetic data often fail to generalize to real data. Cinematic rendering simulates the propagation and interaction of light passing through tissue models reconstructed from CT data, enabling the generation of photorealistic images. In this paper, we present one of the first applications of cinematic rendering in deep learning, in which we propose to fine-tune synthetic data-driven networks using cinematically rendered CT data for the task of monocular depth estimation in endoscopy. Our experiments demonstrate that: (a) Convolutional Neural Networks (CNNs) trained on synthetic data and fine-tuned on photorealistic cinematically rendered data adapt better to real medical images and demonstrate more robust performance when compared to networks with no fine-tuning, (b) these fine-tuned networks require less training data to converge to an optimal solution, and (c) fine-tuning with data from a variety of photorealistic rendering conditions of the same scene prevents the network from learning patient-specific information and aids in generalizability of the model. Our empirical evaluation demonstrates that networks fine-tuned with cinematically rendered data predict depth with 56.87% less error for rendered endoscopy images and 27.49% less error for real porcine colon endoscopy images.


title: Surface gravity waves of the Boussinesq equation

abstract: This article is devoted to exact solutions of the Boussinesq equation that models nonlinear shallow water waves. For this we use the Hirota bilinear method and differential constrains. Out solutions describe in particular the motion of the wave packets, waves on soliton and "dancing" waves. We present a simple method for multiplication of solutions of the Hirota equation which allow us to generate more complex structures from the waves.


title: Adapted Deep Embeddings: A Synthesis of Methods for $k$-Shot Inductive Transfer Learning

abstract: The focus in machine learning has branched beyond training classifiers on a single task to investigating how previously acquired knowledge in a source domain can be leveraged to facilitate learning in a related target domain, known as inductive transfer learning. Three active lines of research have independently explored transfer learning using neural networks. In weight transfer, a model trained on the source domain is used as an initialization point for a network to be trained on the target domain. In deep metric learning, the source domain is used to construct an embedding that captures class structure in both the source and target domains. In few-shot learning, the focus is on generalizing well in the target domain based on a limited number of labeled examples. We compare state-of-the-art methods from these three paradigms and also explore hybrid adapted-embedding methods that use limited target-domain data to fine tune embeddings constructed from source-domain data. We conduct a systematic comparison of methods in a variety of domains, varying the number of labeled instances available in the target domain ($k$), as well as the number of target-domain classes. We reach three principal conclusions: (1) Deep embeddings are far superior, compared to weight transfer, as a starting point for inter-domain transfer or model re-use (2) Our hybrid methods robustly outperform every few-shot learning and every deep metric learning method previously proposed, with a mean error reduction of 34% over state-of-the-art. (3) Among loss functions for discovering embeddings, the histogram loss (Ustinova & Lempitsky, 2016) is most robust. We hope our results will motivate a unification of research in weight transfer, deep metric learning, and few-shot learning.


title: Autofocus Layer for Semantic Segmentation

abstract: We propose the autofocus convolutional layer for semantic segmentation with the objective of enhancing the capabilities of neural networks for multi-scale processing. Autofocus layers adaptively change the size of the effective receptive field based on the processed context to generate more powerful features. This is achieved by parallelising multiple convolutional layers with different dilation rates, combined by an attention mechanism that learns to focus on the optimal scales driven by context. By sharing the weights of the parallel convolutions we make the network scale-invariant, with only a modest increase in the number of parameters. The proposed autofocus layer can be easily integrated into existing networks to improve a model's representational power. We evaluate our models on the challenging tasks of multi-organ segmentation in pelvic CT and brain tumor segmentation in MRI and achieve very promising performance.


title: Adaptive Boundary Control of Constant-Parameter Reaction-Diffusion PDEs Using Regulation-Triggered Finite-Time Identification

abstract: For parabolic PDEs, we present a new certainty equivalence-based adaptive boundary control scheme with a least-squares identifier of an event-triggering type, where the triggering is based on the size of the regulation error (as opposed to the identifier updates being triggered by the estimation error, or the control changes being triggered by the regulation error). The scheme guarantees exponential convergence of the state to zero in the L2 norm and a finite-time convergence of the parameter estimates to the true values of the unknown parameters. The scheme is developed for a specific benchmark problem with Dirichlet actuation, where the only unknown parameters are the reaction coefficient and the high-frequency gain. For this specific problem, no existing adaptive scheme can handle the unknown high-frequency gain. An illustrative example allows the comparison with other adaptive control design methodologies.


title: An Earth-sized exoplanet with a Mercury-like composition

abstract: The Earth, Venus, Mars, and some extrasolar terrestrial planets have a mass and radius that is consistent with a mass fraction of about 30% metallic core and 70% silicate mantle. At the inner frontier of the solar system, Mercury has a completely different composition, with a mass fraction of about 70% metallic core and 30% silicate mantle. Several formation or evolution scenarios are proposed to explain this metal-rich composition, such as a giant impact, mantle evaporation, or the depletion of silicate at the inner-edge of the proto-planetary disk. These scenarios are still strongly debated. Here we report the discovery of a multiple transiting planetary system (K2-229), in which the inner planet has a radius of 1.165+/-0.066 Rearth and a mass of 2.59+/-0.43 Mearth. This Earth-sized planet thus has a core-mass fraction that is compatible with that of Mercury, while it was expected to be similar to that of the Earth based on host-star chemistry. This larger Mercury analogue either formed with a very peculiar composition or it has evolved since, e.g. by losing part of its mantle. Further characterisation of Mercury-like exoplanets like K2-229 b will help putting the detailed in-situ observations of Mercury (with Messenger and BepiColombo) into the global context of the formation and evolution of solar and extrasolar terrestrial planets.


title: Modularizing Behavioral and Architectural Crosscutting Concerns in Formal Component-Based Systems - Application to the Behavior Interaction Priority Framework

abstract: We define a method to modularize crosscutting concerns in Component-Based Systems (CBSs) expressed using the Behavior Interaction Priority (BIP) framework. Our method is inspired from the Aspect Oriented Programming (AOP) paradigm which was initially conceived to support the separation of concerns during the development of monolithic systems. BIP has a formal operational semantics and makes a clear separation between architecture and behavior to allow for compositional and incremental design and analysis of systems. We distinguish local from global aspects. Local aspects model concerns at the component level and are used to refine the behavior of components. Global aspects model concerns at the architecture level, and hence refine communications (synchronization and data transfer) between components. We formalize local and global aspects as well as their composition and integration into a BIP system through rigorous transformation primitives. We present AOP-BIP, a tool for Aspect-Oriented Programming of BIP systems, demonstrate its use to modularize logging, security, and fault tolerance in a network protocol, and discuss its possible use in runtime verification of CBSs.


title: A spatial sixth-order CCD-TVD method for solving multidimensional coupled Burgers' equation

abstract: In this paper, an efficient and high-order accuracy finite difference method is proposed for solving multidimensional nonlinear Burgers' equation. The third-order three stage Runge-Kutta total variation diminishing (TVD) scheme is employed for the time discretization, and the three-point combined compact difference (CCD) scheme is used for spatial discretization. Our method is third-order accurate in time and sixth-order accurate in space. The CCD-TVD method treats the nonlinear term explicitly thus it is very efficient and easy to implement. In addition, we prove the unique solvability of the CCD system under non-periodic boundary conditions. Numerical experiments including both two-dimensional and three-dimensional problems have been conducted to demonstrate the high efficiency and accuracy of the proposed method.


title: Testing the universality of free fall towards dark matter with radio pulsars

abstract: The violation of the weak equivalence principle (EP) in the gravitational field of the Earth, described by the E\"otv\"os parameter $\eta_\oplus$, was recently constrained to the level $\left|\eta_\oplus\right| \lesssim 10^{-14}$ by the MICROSCOPE space mission. The E\"otv\"os parameter $\eta_{\rm DM}$, pertaining to the differential couplings of dark matter (DM) and ordinary matter, was only tested to the level $\left| \eta_{\rm DM} \right| \lesssim 10^{-5}$ by the E\"ot-Wash group and lunar laser ranging. This test is limited by the EP-violating driving force in the Solar neighborhood that is determined by the Galactic distribution of DM. Here we propose a novel celestial experiment using the orbital dynamics from radio timing of binary pulsars, and obtain a competing limit on $\eta_{\rm DM}$ from a neutron star (NS) -- white dwarf (WD) system, PSR J1713+0747. The result benefits from the large material difference between the NS and the WD, and the large gravitational binding energy of the NS. If we can discover a binary pulsar within $\sim 10$ parsecs of the Galactic center, where the driving force is much larger in the expected DM spike, precision timing will improve the test of the universality of free fall towards DM and constrain various proposed couplings of DM to the Standard Model by several orders of magnitude. Such a test probes the hypothesis that gravity is the only long-range interaction between DM and ordinary matter.


title: Quasi-invariant Gaussian measures for the cubic nonlinear Schr\"odinger equation with third order dispersion

abstract: In this paper, we consider the cubic nonlinear Schr\"odinger equation with third order dispersion on the circle. In the non-resonant case, we prove that the mean-zero Gaussian measures on Sobolev spaces $H^s(\mathbb{T})$, $s > \frac 34$, are quasi-invariant under the flow. In establishing the result, we apply gauge transformations to remove the resonant part of the dynamics and use invariance of the Gaussian measures under these gauge transformations.


title: Normal form approach to unconditional well-posedness of nonlinear dispersive PDEs on the real line

abstract: In this paper, we revisit the infinite iteration scheme of normal form reductions, introduced by the first and second authors (with Z. Guo), in constructing solutions to nonlinear dispersive PDEs. Our main goal is to present a simplified approach to this method. More precisely, we study normal form reductions in an abstract form and reduce multilinear estimates of arbitrarily high degrees to successive applications of basic trilinear estimates. As an application, we prove unconditional well-posedness of canonical nonlinear dispersive equations on the real line. In particular, we implement this simplified approach to an infinite iteration of normal form reductions in the context of the cubic nonlinear Schr\"odinger equation (NLS) and the modified KdV equation (mKdV) on the real line and prove unconditional well-posedness in $H^s(\mathbb R)$ with (i) $s\geq \frac 16$ for the cubic NLS and (ii) $s > \frac 14$ for the mKdV. Our normal form approach also allows us to construct weak solutions to the cubic NLS in $H^s(\mathbb R)$, $0 \leq s < \frac 16$, and distributional solutions to the mKdV in $H^\frac{1}{4}(\mathbb R)$ (with some uniqueness statements).


title: On the probabilistic Cauchy theory for nonlinear dispersive PDEs

abstract: In this note, we review some of the recent developments in the well-posedness theory of nonlinear dispersive partial differential equations with random initial data.


title: On the stochastic nonlinear Schr\"odinger equations with non-smooth additive noise

abstract: We study the stochastic nonlinear Schr\"odinger equations with additive stochastic forcing. By using the dispersive estimate, we present a simple argument, constructing a unique local-in-time solution with rougher stochastic forcing than those considered in the literature.


title: Stochastic nonlinear Schr\"odinger equation with almost space-time white noise

abstract: We study the stochastic cubic nonlinear Schr\"odinger equation (SNLS) with an additive noise on the one-dimensional torus. In particular, we prove local well-posedness of the (renormalized) SNLS when the noise is almost space-time white noise. We also discuss a notion of criticality in this stochastic context, comparing the situation with the stochastic cubic heat equation (also known as the stochastic quantization equation).


title: SAT.STFR.FRQ (UWA) Detail Design Report (MID)

abstract: The Square Kilometre Array (SKA) project is an international effort to build the world's most sensitive radio telescope operating in the 50 MHz to 14 GHz frequency range. Construction of the SKA is divided into phases, with the first phase (SKA1) accounting for the first 10% of the telescope's receiving capacity. During SKA1, a Low-Frequency Aperture Array (LFAA) comprising over a hundred thousand individual dipole antenna elements will be constructed in Western Australia (SKA1-LOW), while an array of 197 parabolic-receptor antennas, incorporating the 64 receptors of MeerKAT, will be constructed in South Africa (SKA1-MID). Radio telescope arrays, such as the SKA, require phase-coherent reference signals to be transmitted to each antenna site in the array. In the case of the SKA, these reference signals are generated at a central site and transmitted to the antenna sites via fibre-optic cables up to 175 km in length. Environmental perturbations affect the optical path length of the fibre and act to degrade the phase stability of the reference signals received at the antennas, which has the ultimate effect of reducing the fidelity and dynamic range of the data . Given the combination of long fibre distances and relatively high frequencies of the transmitted reference signals, the SKA needs to employ actively-stabilised frequency transfer technologies to suppress the fibre-optic link noise in order to maintain phase-coherence across the array.


title: Estimating the Rating of Reviewers Based on the Text

abstract: User-generated texts such as reviews and social media are valuable sources of information. Online reviews are important assets for users to buy a product, see a movie, or make a decision. Therefore, rating of a review is one of the reliable factors for all users to read and trust the reviews. This paper analyzes the texts of the reviews to evaluate and predict the ratings. Moreover, we study the effect of lexical features generated from text as well as sentimental words on the accuracy of rating prediction. Our analysis show that words with high information gain score are more efficient compared to words with high TF-IDF value. In addition, we explore the best number of features for predicting the ratings of the reviews.


title: Training Convolutional Networks with Web Images

abstract: In this thesis we investigate the effect of using web images to build a large scale database to be used along a deep learning method for a classification task. We replicate the ImageNet large scale database (ILSVRC-2012) from images collected from the web using 4 different download strategies varying: the search engine, the query and the image resolution. As a deep learning method, we will choose the Convolutional Neural Network that was very successful with recognition tasks; the AlexNet.


title: Enriched Long-term Recurrent Convolutional Network for Facial Micro-Expression Recognition

abstract: Facial micro-expression (ME) recognition has posed a huge challenge to researchers for its subtlety in motion and limited databases. Recently, handcrafted techniques have achieved superior performance in micro-expression recognition but at the cost of domain specificity and cumbersome parametric tunings. In this paper, we propose an Enriched Long-term Recurrent Convolutional Network (ELRCN) that first encodes each micro-expression frame into a feature vector through CNN module(s), then predicts the micro-expression by passing the feature vector through a Long Short-term Memory (LSTM) module. The framework contains two different network variants: (1) Channel-wise stacking of input data for spatial enrichment, (2) Feature-wise stacking of features for temporal enrichment. We demonstrate that the proposed approach is able to achieve reasonably good performance, without data augmentation. In addition, we also present ablation studies conducted on the framework and visualizations of what CNN "sees" when predicting the micro-expression classes.


title: Task Allocation in Mobile Crowd Sensing: State of the Art and Future Opportunities

abstract: Mobile Crowd Sensing (MCS) is the special case of crowdsourcing, which leverages the smartphones with various embedded sensors and user's mobility to sense diverse phenomenon in a city. Task allocation is a fundamental research issue in MCS, which is crucial for the efficiency and effectiveness of MCS applications. In this article, we specifically focus on the task allocation in MCS systems. We first present the unique features of MCS allocation compared to generic crowdsourcing, and then provide a comprehensive review for diversifying problem formulation and allocation algorithms together with future research opportunities.


title: Overview of the SAPHIRA Detector for AO Applications

abstract: We discuss some of the unique details of the operation and behavior of Leonardo SAPHIRA detectors, particularly in relation to their usage for adaptive optics wavefront sensing. SAPHIRA detectors are 320$\times$256@24 $\mu$m pixel HgCdTe linear avalanche photodiode arrays and are sensitive to 0.8-2.5 $\mu m$ light. SAPHIRA arrays permit global or line-by-line resets, of the entire detector or just subarrays of it, and the order in which pixels are reset and read enable several readout schemes. We discuss three readout modes, the benefits, drawbacks, and noise sources of each, and the observational modes for which each is optimal. We describe the ability of the detector to read subarrays for increased frame rates, and finally clarify the differences between the avalanche gain (which is user-adjustable) and the charge gain (which is not).


title: Crowd-Powered Sensing and Actuation in Smart Cities: Current Issues and Future Directions

abstract: With the advent of seamless connection of human, machine, and smart things, there is an emerging trend to leverage the power of crowds (e.g., citizens, mobile devices, and smart things) to monitor what is happening in a city, understand how the city is evolving, and further take actions to enable better quality of life, which is referred to as Crowd-Powered Smart City (CPSC). In this article, we provide a literature review for CPSC and identify future research opportunities. Specifically, we first define the concepts with typical CPSC applications. Then, we present the main characteristics of CPSC and further highlight the research issues. In the end, we point out existing limitations which can inform and guide future research directions.


title: Joint Detection and Localization of an Unknown Number of Sources Using Algebraic Structure of the Noise Subspace

abstract: Source localization and spectral estimation are among the most fundamental problems in statistical and array signal processing. Methods which rely on the orthogonality of the signal and noise subspaces, such as Pisarenko's method, MUSIC, and root-MUSIC are some of the most widely used algorithms to solve these problems. As a common feature, these methods require both apriori knowledge of the number of sources, and an estimate of the noise subspace. Both requirements are complicating factors to the practical implementation of the algorithms, and when not satisfied exactly, can potentially lead to severe errors. In this paper, we propose a new localization criterion based on the algebraic structure of the noise subspace that is described for the first time to the best of our knowledge. Using this criterion and the relationship between the source localization problem and the problem of computing the greatest common divisor (GCD), or more practically approximate GCD, for polynomials, we propose two algorithms which adaptively learn the number of sources and estimate their locations. Simulation results show a significant improvement over root-MUSIC in challenging scenarios such as closely located sources, both in terms of detection of the number of sources and their localization over a broad and practical range of SNRs. Further, no performance sacrifice in simple scenarios is observed.


title: One-dimensional thermal pressure-driven expansion of a pair cloud into an electron-proton plasma

abstract: Recently a filamentation instability was observed when a laser-generated pair cloud interacted with an ambient plasma. The magnetic field it drove was strong enough to magnetize and accelerate the ambient electrons. It is of interest to determine if and how pair cloud-driven instabilities can accelerate ions in the laboratory or in astrophysical plasma. For this purpose, the expansion of a localized pair cloud with the temperature 400 keV into a cooler ambient electron-proton plasma is studied by means of one-dimensional particle-in-cell (PIC) simulations. The cloud's expansion triggers the formation of electron phase space holes that accelerate some protons to MeV energies. Forthcoming lasers might provide the energy needed to create a cloud that can accelerate protons.


title: Fast and Accurate Binary Response Mixed Model Analysis via Expectation Propagation

abstract: Expectation propagation is a general prescription for approximation of integrals in statistical inference problems. Its literature is mainly concerned with Bayesian inference scenarios. However, expectation propagation can also be used to approximate integrals arising in frequentist statistical inference. We focus on likelihood-based inference for binary response mixed models and show that fast and accurate quadrature-free inference can be realized for the probit link case with multivariate random effects and higher levels of nesting. The approach is supported by asymptotic theory in which expectation propagation is seen to provide consistent estimation of the exact likelihood surface. Numerical studies reveal the availability of fast, highly accurate and scalable methodology for binary mixed model analysis.


title: Rainbow structures in locally bounded colourings of graphs

abstract: We prove several results on approximate decompositions of edge-coloured quasirandom graphs into rainbow spanning structures. More precisely, we say that an edge-colouring of a graph is locally $\ell$-bounded if no vertex is incident to more than $\ell$ edges of any given colour, and that it is (globally) $g$-bounded if no colour appears more than $g$ times in the colouring. Note that every proper colouring of an $n$-vertex graph is locally $1$-bounded, and (globally) $n/2$-bounded. Our results imply the following: (i) The existence of approximate decompositions of edge-coloured $K_n$ into rainbow almost-spanning cycles, provided that the colouring is $\frac{n}{2}$-bounded and locally $o(n)$-bounded. (ii) The existence of approximate decompositions of edge-coloured $K_n$ into rainbow Hamilton cycles, provided that the colouring is $(1-o(1))\frac n2$-bounded and locally $o\big(\frac{n}{\log^4 n}\big)$-bounded. (iii) A bipartite version of our results implies that every $n\times n$ array, where each symbol appears $(1-o(1))n$ times in total and appears only $o\big(\frac{n}{\log^2 n}\big)$ times in each row or column, has an approximate decomposition into full transversals. We also prove analogues of (i) and (ii) for $F$-factors, where $F$ is any fixed graph. Apart from the logarithmic factor in (ii), all these bounds are essentially best possible. (i) can be viewed as a generalization of a recent result of Alon, Pokrovskiy and Sudakov, who showed the existence of an almost spanning cycle in a properly coloured complete graph. Both (i) and (ii) imply approximate versions of a conjecture of Brualdi and Hollingsworth, stating that every properly edge-coloured complete graph can be decomposed into rainbow spanning trees.


title: An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part I)

abstract: There are two natural and well-studied approaches to temporal ontology and reasoning: point-based and interval-based. Usually, interval-based temporal reasoning deals with points as a particular case of duration-less intervals. A recent result by Balbiani, Goranko, and Sciavicco presented an explicit two-sorted point-interval temporal framework in which time instants (points) and time periods (intervals) are considered on a par, allowing the perspective to shift between these within the formal discourse. We consider here two-sorted first-order languages based on the same principle, and therefore including relations, as first studied by Reich, among others, between points, between intervals, and inter-sort. We give complete classifications of its sub-languages in terms of relative expressive power, thus determining how many, and which, are the intrinsically different extensions of two-sorted first-order logic with one or more such relations. This approach roots out the classical problem of whether or not points should be included in a interval-based semantics.


title: A Survey on Malicious Domains Detection through DNS Data Analysis

abstract: Malicious domains are one of the major resources required for adversaries to run attacks over the Internet. Due to the important role of the Domain Name System (DNS), extensive research has been conducted to identify malicious domains based on their unique behavior reflected in different phases of the life cycle of DNS queries and responses. Existing approaches differ significantly in terms of intuitions, data analysis methods as well as evaluation methodologies. This warrants a thorough systematization of the approaches and a careful review of the advantages and limitations of every group. In this paper, we perform such an analysis. In order to achieve this goal, we present the necessary background knowledge on DNS and malicious activities leveraging DNS. We describe a general framework of malicious domain detection techniques using DNS data. Applying this framework, we categorize existing approaches using several orthogonal viewpoints, namely (1) sources of DNS data and their enrichment, (2) data analysis methods, and (3) evaluation strategies and metrics. In each aspect, we discuss the important challenges that the research community should address in order to fully realize the power of DNS data analysis to fight against attacks leveraging malicious domains.


title: Bayesian Inference of Regular Expressions from Human-Generated Example Strings

abstract: In programming by example, users "write" programs by generating a small number of input-output examples and asking the computer to synthesize consistent programs. We consider a challenging problem in this domain: learning regular expressions (regexes) from positive and negative example strings. This problem is challenging, as (1) user-generated examples may not be informative enough to sufficiently constrain the hypothesis space, and (2) even if user-generated examples are in principle informative, there is still a massive search space to examine. We frame regex induction as the problem of inferring a probabilistic regular grammar and propose an efficient inference approach that uses a novel stochastic process recognition model. This model incrementally "grows" a grammar using positive examples as a scaffold. We show that this approach is competitive with human ability to learn regexes from examples.


title: Efficient schemes for the quantum teleportation of a sub-class of tripartite entangled states

abstract: In this paper we propose two schemes for teleportation of a sub-class of tripartite states, the first one with the four-qubit cluster state and the second one with two Bell pairs as entanglement channels. A four-qubit joint measurement in the first case and two Bell measurements in the second are performed by the sender. Appropriate unitary operations on the qubits at the receiver's end along with an ancilla qubit result in the perfect teleportation of the tripartite state. Analysis of the quantum circuits employed in these schemes reveal that in our technique the desired quantum tasks are achieved with lesser quantum cost, gate count and classical communication bits compared with other similar schemes.


title: Correctness and Fairness of Tendermint-core Blockchains

abstract: Tendermint-core blockchains (e.g. Cosmos) are considered today one of the most viable alternatives for the highly energy consuming proof-of-work blockchains such as Bitcoin and Ethereum. Their particularity is that they aim at offering strong consistency (no forks) in an open system combining two ingredients (i) a set of validators that generate blocks via a variant of Practical Byzantine Fault Tolerant (PBFT) consensus protocol and (ii) a selection strategy that dynamically selects nodes to be validators for the next block via a proof-of-stake mechanism. However,the exact assumptions on the system model under which Tendermint underlying algorithms are correct and the exact properties Tendermint verifies have never been formally analyzed. The contribution of this paper is two-fold. First, while formalizing Tendermint algorithms we precisely characterize the system model and the exact problem solved by Tendermint. We prove that in eventual synchronous systems a modified version of Tendermint solves (i) under additional assumptions, a variant of one-shot consensus for the validation of one single block and (ii) a variant of the repeated consensus problem for multiple blocks. These results hold even if the set of validators is hit by Byzantine failures, provided that for each one-shot consensus instance less than one third of the validators is Byzantine. Our second contribution relates to the fairness of the rewarding mechanism. It is common knowledge that in permisionless blockchain systems the main threat is the tragedy of commons that may yield the system to collapse if the rewarding mechanism is not adequate. Ad minimum the rewarding mechanism must be fair, i.e.distributing the rewards in proportion to the merit of participants. We prove, for the first time in blockchain systems, that in repeated-consensus based blockchains there exists an (eventual) fair rewarding mechanism if and only if the system is (eventual) synchronous. We also show that the original Tendermint rewarding is not fair, however, a modification of the original protocol makes it eventually fair.


title: RPC Considered Harmful: Fast Distributed Deep Learning on RDMA

abstract: Deep learning emerges as an important new resource-intensive workload and has been successfully applied in computer vision, speech, natural language processing, and so on. Distributed deep learning is becoming a necessity to cope with growing data and model sizes. Its computation is typically characterized by a simple tensor data abstraction to model multi-dimensional matrices, a data-flow graph to model computation, and iterative executions with relatively frequent synchronizations, thereby making it substantially different from Map/Reduce style distributed big data computation. RPC, commonly used as the communication primitive, has been adopted by popular deep learning frameworks such as TensorFlow, which uses gRPC. We show that RPC is sub-optimal for distributed deep learning computation, especially on an RDMA-capable network. The tensor abstraction and data-flow graph, coupled with an RDMA network, offers the opportunity to reduce the unnecessary overhead (e.g., memory copy) without sacrificing programmability and generality. In particular, from a data access point of view, a remote machine is abstracted just as a "device" on an RDMA channel, with a simple memory interface for allocating, reading, and writing memory regions. Our graph analyzer looks at both the data flow graph and the tensors to optimize memory allocation and remote data access using this interface. The result is up to 25 times speedup in representative deep learning benchmarks against the standard gRPC in TensorFlow and up to 169% improvement even against an RPC implementation optimized for RDMA, leading to faster convergence in the training process.


title: Energy distribution of solar flare events

abstract: Observational evidence of the braiding of magnetic field lines has been reported. The magnetic reconnection within the loop (nanoflares) and with other loops (microflares) disentangle the field. The coronal field then reorganizes itself to attain a force-free field configuration. We have evaluated the power law index of the energy distribution $f(E)=f_0 E^{-\alpha}$ by using a model of relaxation incorporating different profile functions of winding number distribution $f(w)$ based on braided topologies. We study the radio signatures that occur in the solar corona using the radio data obtained from the Gauribidanur Radio Observatory (IIA) and extract the power law index by using the Statistic-sensitive nonlinear iterative peak clipping (SNIP) algorithm. We see that the power law index obtained from the model is in good agreement with the calculated value from the radio data observation.


title: Scott-Blair models with time-varying viscosity

abstract: In a recent paper, Zhou et al. [Mech Time-Depend Mater (2017) 21: 151] studied the time-dependent properties of Glass Fiber Reinforced Polymers composites by employing a new rheological model with a time-dependent viscosity coefficient. This rheological model is essentially based on a generalized Scott-Blair body with a time-dependent viscosity coefficient. Motivated by this study, in this note we suggest a different generalization of the Scott-Blair model based on the application of Caputo-type fractional derivatives of a function with respect to another function. This new mathematical approach can be useful in viscoelasticity and diffusion processes in order to model systems with time-dependent features. In this paper we also provide the general solution of the creep experiment for our improved Scott-Blair model together with some explicit examples and illuminating plots.


title: The Low-Dimensional Algebraic Cohomology of the Virasoro Algebra

abstract: The main aim of this article is to prove the one-dimensionality of the third algebraic cohomology of the Virasoro algebra with values in the adjoint module. We announced this result in a previous publication with only a sketch of the proof. The detailed proof is provided in the present article. We also show that the third algebraic cohomology of the Witt and the Virasoro algebra with values in the trivial module is one-dimensional. We consider purely algebraic cohomology, i.e. our results are independent of any topology chosen. The vanishing of the third algebraic cohomology of the Witt algebra with values in the adjoint module has already been proven by Ecker and Schlichenmaier.


title: Magnetohydrostatic flux tube model in the solar atmosphere

abstract: We construct two classes of the magnetohydrostatic equilibria of the axisymmetric flux tubes with twisted magnetic fields in the stratified solar atmosphere that span from the photosphere to the transition region. We built the models by incorporating specific forms of the gas pressure and poloidal current in the Grad-Shafranov equation. This model gives both closed and open field structure of the flux tube. The other open field model we construct is based on the self-similar formulation, where we have incorporated specific forms of the gas pressure, poloidal current and two different shape functions. We study the homology of the parameter space that is consistent with the solar atmosphere and find that the estimation of the magnetic structure inside the flux tubes is consistent with the observation and simulation results of the magnetic bright points.


title: On the Grace-Danielsson inequality for tetrahedra

abstract: The difference between the (squared) sides of the Grace-Danielsson inequality for tetrahedra will be represented as a sum of two nonnegative terms. This gives another proof of the inequality. Examining the denominator allows us to characterize the infinite triangular prism as a degenerate tetrahedron. We give conditions for equality (for a zero gap) as well, and some examples are included.


title: A light singlet at the LHC and DM

abstract: An interesting scenario of an R-symmetric supersymmetric model with a light singlet is discussed. Since a light scalar in this model necessarily implies a light Dirac neutralino, its viability as a dark matter candidate is addressed.


title: Ferroelectricity and piezoelectricity in monolayers and nanoplatelets of SnS

abstract: The ground-state structure of monolayers and nanoplatelets of SnS with a thickness from two to five monolayers is calculated from first principles. It is shown that nanoobjects with only odd number of monolayers are ferroelectric. The ferroelectric, piezoelectric, and elastic properties of these polar structures are calculated. The appearance of polarization in these nanoobjects is explained by an uncompensated polarization that exists in an antiferroelectric structure of bulk SnS. The mechanism of ferroelectricity, in which the ferroelectric distortion is associated with short-range ordering of lone pairs, can be regarded as a way of creating ferroelectrics with high Curie temperature.


title: Paracompositionality, MWEs and Argument Substitution

abstract: Multi-word expressions, verb-particle constructions, idiomatically combining phrases, and phrasal idioms have something in common: not all of their elements contribute to the argument structure of the predicate implicated by the expression. Radically lexicalized theories of grammar that avoid string-, term-, logical form-, and tree-writing, and categorial grammars that avoid wrap operation, make predictions about the categories involved in verb-particles and phrasal idioms. They may require singleton types, which can only substitute for one value, not just for one kind of value. These types are asymmetric: they can be arguments only. They also narrowly constrain the kind of semantic value that can correspond to such syntactic categories. Idiomatically combining phrases do not subcategorize for singleton types, and they exploit another locally computable and compositional property of a correspondence, that every syntactic expression can project its head word. Such MWEs can be seen as empirically realized categorial possibilities, rather than lacuna in a theory of lexicalizable syntactic categories.


title: Absolute parameters for the F-type eclipsing binary BW Aquarii

abstract: BW Aqr is a bright eclipsing binary star containing a pair of F7V stars. The absolute parameters of this binary (masses, radii, etc.) are known to good precision so they are often used to test stellar models, particularly in studies of convective overshooting. ... Maxted & Hutcheon (2018) analysed the Kepler K2 data for BW Aqr and noted that it shows variability between the eclipses that may be caused by tidally induced pulsations. ... Table 1 shows the absolute parameters for BW Aqr derived from an improved analysis of the Kepler K2 light curve plus the RV measurements from both Imbert (1979) and Lester & Gies (2018). ... The values in Table 1 with their robust error estimates from the standard deviation of the mean are consistent with the values and errors from Maxted & Hutcheon (2018) based on the PPD calculated using emcee for a fit to the entire K2 light curve.


title: Classification Uncertainty of Deep Neural Networks Based on Gradient Information

abstract: We study the quantification of uncertainty of Convolutional Neural Networks (CNNs) based on gradient metrics. Unlike the classical softmax entropy, such metrics gather information from all layers of the CNN. We show for the EMNIST digits data set that for several such metrics we achieve the same meta classification accuracy -- i.e. the task of classifying predictions as correct or incorrect without knowing the actual label -- as for entropy thresholding. We apply meta classification to unknown concepts (out-of-distribution samples) -- EMNIST/Omniglot letters, CIFAR10 and noise -- and demonstrate that meta classification rates for unknown concepts can be increased when using entropy together with several gradient based metrics as input quantities for a meta classifier. Meta classifiers only trained on the uncertainty metrics of known concepts, i.e. EMNIST digits, usually do not perform equally well for all unknown concepts. If we however allow the meta classifier to be trained on uncertainty metrics for some out-of-distribution samples, meta classification for concepts remote from EMNIST digits (then termed known unknowns) can be improved considerably.


title: Effect of exciton-phonon coupling on the interlayer excitons in transition metal dichalcogenides double layers

abstract: We investigate the correction of interlayer exciton binding energy in transition metal dichalcogenides double layers arising from the exciton-optical phonon coupling using the method of Lee-Low-Pines unitary transformation. We find that the binding energy varies in several tens of meV, depending on the polarizability of materials and interlayer distance between double layers. Moreover, the correction of binding energy results in the remarkable increasing of the critical temperature for the condensation of dilute excitonic gas basing on the Berezinskii-Kosterlitz-Thouless model. These results not only enrich the knowledge for the modulation of interlayer exciton, but also provide potential insights for the Bose-Einstein condensation and superfluid transport of interlayer exciton in two-dimensional heterostructures.


title: Spin-1/2 XY chain magnetoelectric: effect of zigzag geometry

abstract: A spin-1/2 $XY$ chain model of magnetoelectric on a zigzag chain is considered rigorously. The magnetoelectric coupling is described within the Katsura-Nagaosa-Balatsky mechanism. In the zigzag geometry it leads to the staggered Dzyaloshinskii-Moriya interaction. By non-uniform spin-rotations the model is reduced to a dimerized $XY$ chain and solved exactly using the Jordan-Wigner transformation. We analyze the ground-state phase diagram of the model, zero and finite temperature magnetoelectric effect, obtain the magnetization and polarization curves versus magnetic and electric fields, as well as the parameters of anisotropic dielectric and magnetoelectric response. It is also shown that the electric field may enhance the magnetocaloric effect in the model.


title: Scene Coordinate and Correspondence Learning for Image-Based Localization

abstract: Scene coordinate regression has become an essential part of current camera re-localization methods. Different versions, such as regression forests and deep learning methods, have been successfully applied to estimate the corresponding camera pose given a single input image. In this work, we propose to regress the scene coordinates pixel-wise for a given RGB image by using deep learning. Compared to the recent methods, which usually employ RANSAC to obtain a robust pose estimate from the established point correspondences, we propose to regress confidences of these correspondences, which allows us to immediately discard erroneous predictions and improve the initial pose estimates. Finally, the resulting confidences can be used to score initial pose hypothesis and aid in pose refinement, offering a generalized solution to solve this task.


title: Generation of ring-shaped optical vortices in dissipative media by inhomogeneous effective diffusion

abstract: By means of systematic simulations we demonstrate generation of a variety of ring-shaped optical vortices (OVs) from a two-dimensional input with embedded vorticity, in a dissipative medium modeled by the cubic-quintic complex Ginzburg-Landau equation with an inhomogeneous effective diffusion (spatial-filtering) term, which is anisotropic in the transverse plane and periodically modulated in the longitudinal direction. We show the generation of stable square- and gear-shaped OVs, as well as tilted oval-shaped vortex rings, and string-shaped bound states built of a central fundamental soliton and two vortex satellites, or of three fundamental solitons. Their shape can be adjusted by tuning the strength and modulation period of the inhomogeneous diffusion. Stability domains of the generated OVs are identified by varying the vorticity of the input and parameters of the inhomogeneous diffusion. The results suggest a method to generate new types of ring-shaped OVs with applications to the work with structured light.


title: Probing higher-order transitions through scattering of microwave photons in the ultrastrong-coupling regime of circuit QED

abstract: Higher-order transitions can occur in the ultrastrong-coupling regime of circuit QED through virtual processes governed by the counter-rotating interactions. We propose a feasible way to probe higher-order transitions through the scattering of propagating microwave photons incident on the hybrid qubit-cavity system. The lineshapes in the scattering spectra can indicate the coherent interaction between the qubits and the cavity, and the higher-order transitions can be identified in the population spectra. We further find that if the coupling strengths between the two qubits and the cavity are tuned to be asymmetric, the dark antisymmetric state with the Fano-lineshape can also be detected from the variations in the scattering spectra.


title: On the existence and uniqueness of self-adjoint realizations of discrete (magnetic) Schr\"odinger operators

abstract: In this expository paper we answer two fundamental questions concerning discrete magnetic Schr\"odinger operator associated with weighted graphs. We discuss when formal expressions of such operators give rise to self-adjoint operators, i.e., when they have self-adjoint restrictions. If such self-adjoint restrictions exist, we explore when they are unique.


title: The peculiar cluster MACS J0417.5-1154 in the C and X-bands

abstract: We present 5.5 and 9.0 GHz Australia Telescope Compact Array (ATCA) observations of the cluster MACSJ0417.5-1154, one of the most massive galaxy clusters and one of the brightest in X-ray in the Massive Cluster Survey (MACS). We estimate diffuse emission at 5.5 and 9.0 GHz from our ATCA observations, and compare the results with the 235 MHz and 610 MHz GMRT observations and 1575 MHz VLA observations. We also estimate the diffuse emission at low frequencies from existing GLEAM survey data (using the MWA telescope), and find that the steepening reported in earlier studies may have been an artefact of underestimates of diffuse emission at low frequencies. High-frequency radio observations of galaxy cluster mergers therefore provide an important complement to low-frequency observations, not only for a probing the `on' and `off' state of radio halos in these mergers, but also to constrain energetics of cluster mergers. We comment on the future directions that further studies of this cluster can take.


title: On the theory of higher rank Euler, Kolyvagin and Stark systems, II

abstract: We prove the existence of a canonical `higher Kolyvagin derivative' homomorphism between the modules of higher rank Euler systems and higher rank Kolyvagin systems, as has been conjectured to exist by Mazur and Rubin. This homomorphism exists in the setting of $p$-adic representations that are free with respect to the action of a Gorenstein order $\mathcal{R}$ and, in particular, implies that higher rank Euler systems control the $\mathcal{R}$-module structures of Selmer modules attached to the representation. We give a first application of this theory by considering the (conjectural) Euler system of Rubin-Stark elements.