title: Wireless Quantization Index Modulation: Enabling Communication Through Existing Signals

abstract: As the number of IoT devices continue to exponentially increase and saturate the wireless spectrum, there is a dire need for additional spectrum to support large networks of wireless devices. Over the past years, many promising solutions have been proposed but they all suffer from the drawback of new infrastructure costs, setup and maintenance, or are difficult to implement due to FCC regulations. In this paper, we propose a novel Wireless Quantization Index Modulation (QIM) technique which uses existing infrastructure to embed information into existing wireless signals to communicate with IoT devices with negligible impact on the original signal and zero spectrum overhead. We explore the design space for wireless QIM and evaluate the performance of embedding information in TV, FM and AM radio broadcast signals under different conditions. We demonstrate that we can embed messages at up to 8-200~kbps with negligible impact on the audio and video quality of the original FM, AM and TV signals respectively.


title: Learning a Discriminative Feature Network for Semantic Segmentation

abstract: Most existing methods of semantic segmentation still suffer from two aspects of challenges: intra-class inconsistency and inter-class indistinction. To tackle these two problems, we propose a Discriminative Feature Network (DFN), which contains two sub-networks: Smooth Network and Border Network. Specifically, to handle the intra-class inconsistency problem, we specially design a Smooth Network with Channel Attention Block and global average pooling to select the more discriminative features. Furthermore, we propose a Border Network to make the bilateral features of boundary distinguishable with deep semantic boundary supervision. Based on our proposed DFN, we achieve state-of-the-art performance 86.2% mean IOU on PASCAL VOC 2012 and 80.3% mean IOU on Cityscapes dataset.


title: A Note on Roman \{2\}-domination problem in graphs

abstract: For a graph $G=(V,E)$, a Roman $\{2\}$-dominating function (R2DF)$f:V\rightarrow \{0,1,2\}$ has the property that for every vertex $v\in V$ with $f(v)=0$, either there exists a neighbor $u\in N(v)$, with $f(u)=2$, or at least two neighbors $x,y\in N(v)$ having $f(x)=f(y)=1$. The weight of a R2DF is the sum $f(V)=\sum_{v\in V}{f(v)}$, and the minimum weight of a R2DF is the Roman $\{2\}$-domination number $\gamma_{\{R2\}}(G)$. A R2DF is independent if the set of vertices having positive function values is an independent set. The independent Roman $\{2\}$-domination number $i_{\{R2\}}(G)$ is the minimum weight of an independent Roman $\{2\}$-dominating function on $G$. In this paper, we show that the decision problem associated with $\gamma_{\{R2\}}(G)$ is NP-complete even when restricted to split graphs. We design a linear time algorithm for computing the value of $i_{\{R2\}}(T)$ for any tree $T$. This answers an open problem raised by Rahmouni and Chellali [Independent Roman $\{2\}$-domination in graphs, Discrete Applied Mathematics 236 (2018), 408-414]. Chellali, Haynes, Hedetniemi and McRae \cite{chellali2016roman} have showed that Roman $\{2\}$-domination number can be computed for the class of trees in linear time. As a generalization, we present a linear time algorithm for solving the Roman $\{2\}$-domination problem in block graphs.


title: Dynamo Effect and Turbulence in Hydrodynamic Weyl Metals

abstract: The dynamo effect is a class of macroscopic phenomena responsible for generation and maintaining magnetic fields in astrophysical bodies. It hinges on hydrodynamic three-dimensional motion of conducting gases and plasmas that achieve high hydrodynamic and/or magnetic Reynolds numbers due to large length scales involved. The existing laboratory experiments modeling dynamos are challenging and involve large apparatuses containing conducting fluids subject to fast helical flows. Here we propose that electronic solid-state materials -- in particular, hydrodynamic metals -- may serve as an alternative platform to observe some aspects of the dynamo effect. Motivated by recent experimental developments, this paper focuses on hydrodynamic Weyl semimetals, where the dominant scattering mechanism is due to interactions. We derive Navier-Stokes equations along with equations of magneto-hydrodynamics that describe transport of Weyl electron-hole plasma appropriate in this regime. We estimate the hydrodynamic and magnetic Reynolds numbers for this system. The latter is a key figure of merit of the dynamo mechanism. We show that it can be relatively large to enable observation of the dynamo-induced magnetic field bootstrap in experiment. Finally, we generalize the simplest dynamo instability model -- Ponomarenko dynamo -- to the case of a hydrodynamic Weyl semimetal and show that the chiral anomaly term reduces the threshold magnetic Reynolds number for the dynamo instability.


title: Sticky particles and the pressureless Euler equations in one spatial dimension

abstract: We consider the dynamics of finite systems of point masses which move along the real line. We suppose the particles interact pairwise and undergo perfectly inelastic collisions when they collide. In particular, once particles collide, they remain stuck together thereafter. Our main result is that if the interaction potential is semi-convex, this sticky particle property can quantified and is preserved upon letting the number of particles tend to infinity. This is used to show that solutions of the pressureless Euler equations exist for given initial conditions and satisfy an entropy inequality.


title: Distribution-based objectives for Markov Decision Processes

abstract: We consider distribution-based objectives for Markov Decision Processes (MDP). This class of objectives gives rise to an interesting trade-off between full and partial information. As in full observation, the strategy in the MDP can depend on the state of the system, but similar to partial information, the strategy needs to account for all the states at the same time. In this paper, we focus on two safety problems that arise naturally in this context, namely, existential and universal safety. Given an MDP A and a closed and convex polytope H of probability distributions over the states of A, the existential safety problem asks whether there exists some distribution d in H and a strategy of A, such that starting from d and repeatedly applying this strategy keeps the distribution forever in H. The universal safety problem asks whether for all distributions in H, there exists such a strategy of A which keeps the distribution forever in H. We prove that both problems are decidable, with tight complexity bounds: we show that existential safety is PTIME-complete, while universal safety is co-NP-complete. Further, we compare these results with existential and universal safety problems for Rabin's probabilistic finite-state automata (PFA), the subclass of Partially Observable MDPs which have zero observation. Compared to MDPs, strategies of PFAs are not state-dependent. In sharp contrast to the PTIME result, we show that existential safety for PFAs is undecidable, with H having closed and open boundaries. On the other hand, it turns out that the universal safety for PFAs is decidable in EXPTIME, with a co-NP lower bound. Finally, we show that an alternate representation of the input polytope allows us to improve the complexity of universal safety for MDPs and PFAs.


title: Fundamental building block for all-optical scalable quantum networks

abstract: Major obstacles against efficient long distance quantum communication are photon losses during transmission and the probabilistic nature of Bell measurement causing exponential scaling in time and resource with distance. To overcome these difficulties, while conventional quantum repeaters require matter-based operations with long-lived quantum memories, recent proposals have employed encoded multiple photons in entanglement, providing an alternative way for scalability. In pursuing scalable quantum communications, naturally arising questions are thus whether any ultimate limit exists in all-optical scalability, and whether and how it can be achieved. Motivated by these questions, we derive the fundamental limits of the efficiency and loss-tolerance of the Bell measurement with multiple photons, restricted not by protocols but by the laws of physics, i.e. linear optics and no-cloning theorem. We then propose a Bell measurement scheme with linear optics, which enables one to reach both the fundamental limits: one by linear optics and the other by the no-cloning theorem. The quantum repeater based on our scheme allows one to achieve fast and efficient quantum communication over arbitrary long distances, outperforming previous all-photonic and matter-based protocols. Our work provides a fundamental building block for quantum networks within but toward the ultimate limits of all-optical scalability.


title: Probability measures on the path space and the sticky particle system

abstract: We study collections of point masses which move freely along the real line and stick together when they collide via perfectly inelastic collisions. We quantify the way particles stick together and explain how to associate a probability measure on the space of continuous paths to such a collection of evolving point masses. These observations lead to a new method of designing solutions to the sticky particle system in one spatial dimension which have nonincreasing kinetic energy and satisfy an entropy inequality.


title: The contribution of the $\rho^0 - \omega$ interference to the violation of the isospin invariance in the $\pi N$ system

abstract: It is generally believed that the $\rho^0 - \omega$ interference is the dominant mechanism underlying the violation of the isospin invariance in the $N N$ system. Assessed in this paper is the role which the mechanism might play in a potential departure from the isospin symmetry in the two $\pi^\pm p$ elastic-scattering reactions.


title: Numerical simulations of the jet dynamics and synchrotron radiation of binary neutron star merger event GW170817/GRB170817A

abstract: We present numerical simulations of energetic flows propagating through the debris cloud of a binary neutron star (BNS) merger. Starting from the scale of the central engine, we use a moving-mesh hydrodynamics code to simulate the complete dynamical evolution of the produced relativistic jets. We compute synchrotron emission directly from the simulations and present multi-band light curves of the early (sub-day) through late (weeks to years) afterglow stages. Our work systematically compares two distinct models for the central engine, referred to as the narrow and wide engine scenario, which is associated with a successful structured jet and a quasi-isotropic explosion respectively. Both engine models naturally evolve angular and radial structure through hydrodynamical interaction with the merger debris cloud. They both also result in a relativistic blast wave capable of producing the observed multi-band afterglow data. However, we find that the narrow and wide engine scenario might be differentiated by a new emission component that we refer to as a merger flash. This component is a consequence of applying the synchrotron radiation model to the shocked optically thin merger cloud. Such modeling is appropriate if injection of non-thermal electrons is sustained in the breakout relativistic shell, for example by internal shocks or magnetic reconnection. The rapidly declining signature may be detectable for future BNS mergers during the first minutes to day following the GW chirp. Furthermore, its non-detection for the GRB170817A event may disfavor the wide, quasi-isotropic explosion model.


title: Abelian and Hamiltonian groupoids

abstract: In the work we investigate some groupoids which are the Abelian algebras and the Hamiltonian algebras. An algebra is Abelian if for every polynomial operation and for all elements $a,b,\bar c,\bar d$ the implication $t(a,\bar c)=t(a,\bar d)\rightarrow t(b,\bar c)=t(b,\bar d)$ holds; an algebra is Hamiltonian if every subalgebra is a block of some congruence on the algebra. R.V. Warne in 1994 described the structure of the Abelian semigroups. In this work we describe the Abelian groupoids with identity, the Abelian finite quasigroups and the Abelian semigroups $S$ such that $abS=aS$ and $Sba=Sa$ for all $a,b\in S$. We prove that a finite Abelian quasigroup is a Hamiltonian algebra. We characterize the Hamiltonian groupoids with identity and semigroups under the condition of Abelian of this algebras.


title: Adaptation and Re-Identification Network: An Unsupervised Deep Transfer Learning Approach to Person Re-Identification

abstract: Person re-identification (Re-ID) aims at recognizing the same person from images taken across different cameras. To address this task, one typically requires a large amount labeled data for training an effective Re-ID model, which might not be practical for real-world applications. To alleviate this limitation, we choose to exploit a sufficient amount of pre-existing labeled data from a different (auxiliary) dataset. By jointly considering such an auxiliary dataset and the dataset of interest (but without label information), our proposed adaptation and re-identification network (ARN) performs unsupervised domain adaptation, which leverages information across datasets and derives domain-invariant features for Re-ID purposes. In our experiments, we verify that our network performs favorably against state-of-the-art unsupervised Re-ID approaches, and even outperforms a number of baseline Re-ID methods which require fully supervised data for training.


title: Generalized Gaussian Kernel Adaptive Filtering

abstract: The present paper proposes generalized Gaussian kernel adaptive filtering, where the kernel parameters are adaptive and data-driven. The Gaussian kernel is parametrized by a center vector and a symmetric positive definite (SPD) precision matrix, which is regarded as a generalization of the scalar width parameter. These parameters are adaptively updated on the basis of a proposed least-square-type rule to minimize the estimation error. The main contribution of this paper is to establish update rules for precision matrices on the SPD manifold in order to keep their symmetric positive-definiteness. Different from conventional kernel adaptive filters, the proposed regressor is a superposition of Gaussian kernels with all different parameters, which makes such regressor more flexible. The kernel adaptive filtering algorithm is established together with a l1-regularized least squares to avoid overfitting and the increase of dimensionality of the dictionary. Experimental results confirm the validity of the proposed method.


title: Stability Properties of Systems of Linear Stochastic Differential Equations with Random Coefficients

abstract: This work is concerned with the stability properties of linear stochastic differential equations with random (drift and diffusion) coefficient matrices, and the stability of a corresponding random transition matrix (or exponential semigroup). We consider a class of random matrix drift coefficients that involves random perturbations of an exponentially stable flow of deterministic (time-varying) drift matrices. In contrast with more conventional studies, our analysis is not based on the existence of Lyapunov functions, and it does not rely on any ergodic properties. These approaches are often difficult to apply in practice when the drift/diffusion coefficients are random. We present rather weak and easily checked perturbation-type conditions for the asymptotic stability of time-varying and random linear stochastic differential equations. We provide new log-Lyapunov estimates and exponential contraction inequalities on any time horizon as soon as the fluctuation parameter is sufficiently small. These seem to be the first results of this type for this class of linear stochastic differential equations with random coefficient matrices.


title: Observational constraints on quintessence models of dark energy

abstract: Scalar fields aptly describe equation of state of dark energy. The scalar field models were initially proposed to circumvent the fine tuning problem of cosmological constant. However, the model parameters also need a fine tuning of their own and it is important to use different observations to determine these parameters. In this paper, we use a combination of low redshift data to constrain the low redshift evolution of canonical scalar field parameters. For this analysis, we use the Supernova Type Ia observations, the Baryon Acoustic Observations and the Hubble parameter measurement data. We consider scalar field models of the thawing type of two different functional forms of potentials. The constraints on the model parameters are more stringent than those from earlier observations although these datasets do not rule out the models entirely. The parameters which let dark energy dynamics closely emulate that of a cosmological constant are preferred. The constraints on the parameters are suitable priors for further quintessence dark energy studies.


title: Model-theoretic properties of free, projective, and flat S-acts

abstract: This is the second in a series of articles surveying the body of work on the model theory of S-acts over a monoid S. The first concentrated on the theory of regular S-acts. Here we review the material on model-theoretic properties of free, projective, and (strongly, weakly) flat S-acts. We consider questions of axiomatizability, completeness, model completeness, and stability for these classes. Most but not all of the results have already appeared; we remark that the description of those monoids S such that the class of free left S-acts is axiomatizable, is new.


title: Shape Neutral Analysis of Graph-based Data-structures

abstract: Malformed data-structures can lead to runtime errors such as arbitrary memory access or corruption. Despite this, reasoning over data-structure properties for low-level heap manipulating programs remains challenging. In this paper we present a constraint-based program analysis that checks data-structure integrity, w.r.t. given target data-structure properties, as the heap is manipulated by the program. Our approach is to automatically generate a solver for properties using the type definitions from the target program. The generated solver is implemented using a Constraint Handling Rules (CHR) extension of built-in heap, integer and equality solvers. A key property of our program analysis is that the target data-structure properties are shape neutral, i.e., the analysis does not check for properties relating to a given data-structure graph shape, such as doubly-linked-lists versus trees. Nevertheless, the analysis can detect errors in a wide range of data-structure manipulating programs, including those that use lists, trees, DAGs, graphs, etc. We present an implementation that uses the Satisfiability Modulo Constraint Handling Rules (SMCHR) system. Experimental results show that our approach works well for real-world C programs.


title: Regular S-acts with primitive normal and antiadditive theories

abstract: In this work, we investigate the commutative monoids over which the axiomatizable class of regular S-acts is primitive normal and antiadditive. We prove that the primitive normality of an axiomatizable class of regular S-acts over the commutative monoid S is equivalent to the antiadditivity of this class and it is equivalent to the linearity of the order on a semigroup R such that an S-act SR is a maximal (under the inclusion) regular subact of the S-act SS.


title: Maximum incremental (minimum decremental) ratio and one-sided RTS in FDH production technologies

abstract: In very recent decades, Scale Elasticity (SE), as a quantitative characterization of Returns to Scale (RTS), has been an attractive research issue in convex DEA models. However, we show that the existing Scale Elasticity (SE) measure does not work properly under nonconvex FDH technologies. Due to this, we define an SE counterpart in FDH models. To this end, two new quantities, called maximum incremental and minimum decremental ratios are introduced; and a polynomial-time procedure is developed to calculate them. The second part of the paper is devoted to introducing and investigating left- and right-hand RTS notions in FDH models. Some necessary and sufficient conditions are established, leading to a polynomial-time test for identification of the one-sided RTS status of DMUs. Finally, the relationships between one-sided RTS, Global RTS (GRS), and the newly-defined ratios are established.


title: Nonclassicality as a Quantifiable Resource for Quantum Metrology

abstract: We establish the nonclassicality of continuous-variable states as a resource for quantum metrology. Based on the quantum Fisher information of multimode quadratures, we introduce the metrological power as a measure of nonclassicality with a concrete operational meaning of displacement sensitivity beyond the classical limit. This measure belongs to the resource theory of nonclassicality, which is nonincreasing under linear optical elements. Our Letter reveals that a single copy, highly nonclassical quantum state is intrinsically advantageous when compared to multiple copies of a quantum state with moderate nonclassicality. This suggests that metrological power is related to the degree of quantum macroscopicity. Finally, we demonstrate that metrological resources useful for nonclassical displacement sensing tasks can be always converted into a useful resource state for phase sensitivity beyond the classical limit.


title: Age-Optimal Trajectory Planning for UAV-Assisted Data Collection

abstract: Unmanned aerial vehicle (UAV)-aided data collection is a new and promising application in many practical scenarios. In this work, we study the age-optimal trajectory planning problem in UAV-enabled wireless sensor networks, where a UAV is dispatched to collect data from the ground sensor nodes (SNs). The age of information (AoI) collected from each SN is characterized by the data uploading time and the time elapsed since the UAV leaves this SN. We attempt to design two age-optimal trajectories, referred to as the Max-AoI-optimal and Ave-AoI-optimal trajectories, respectively. The Max-AoI-optimal trajectory planning is to minimize the age of the `oldest' sensed information among the SNs. The Ave-AoI-optimal trajectory planning is to minimize the average AoI of all the SNs. Then, we show that each age-optimal flight trajectory corresponds to a shortest Hamiltonian path in the wireless sensor network where the distance between any two SNs represents the amount of inter-visit time. The dynamic programming (DP) method and genetic algorithm (GA) are adopted to find the two different age-optimal trajectories. Simulation results validate the effectiveness of the proposed methods, and show how the UAV's trajectory is affected by the two AoI metrics.


title: Electrically Benign Defect Behavior in Zinc Tin Nitride Revealed from First Principles

abstract: Zinc tin nitride (ZnSnN2) is attracting growing interest as a non-toxic and earth-abundant photoabsorber for thin-film photovoltaics. Carrier transport in ZnSnN2 and consequently cell performance are strongly affected by point defects with deep levels acting as carrier recombination centers. In this study, the point defects in ZnSnN2 are revisited by careful first-principles modeling based on recent experimental and theoretical findings. It is shown that ZnSnN2 does not have low-energy defects with deep levels, in contrast to previously reported results. Therefore, ZnSnN2 is more promising as a photoabsorber material than formerly considered.


title: Design and modeling of a tunable spatial heterodyne spectrometer for emission line studies

abstract: Spatial Heterodyne Spectroscopy (SHS) is a relatively novel interferometric technique similar to the Fourier transform spectroscopy with heritage from the Michelson Interferometer. An imaging detector is used at the output of a SHS to record the spatially-heterodyned interference pattern. The spectrum of the source is obtained by Fourier transforming the recorded interferogram. The merits of the SHS -- its design, including the absence of moving parts, compactness, high throughput, high SNR and instantaneous spectral measurements -- make it suitable for space as well as for ground observatories. The small bandwidth limitation of the SHS can be overcome by building it in tunable configuration (Tunable Spatial Heterodyne Spectrometer, TSHS). In this paper, we describe the design, development and simulation of a TSHS in refractive configuration suitable for optical wavelength regime. Here we use a beam splitter to split the incoming light compared with all--reflective SHS where a reflective grating does the beam splitting. Hence the alignment of this instrument is simple compared with all--reflective SHS where a fold mirror and a roof mirror are used to combine the beam. This instrument is intended to study faint diffuse extended celestial objects with a resolving power above 20000, and can cover a wavelength range from 350 nm to 700 nm by tuning. It is compact and rugged compared with other instruments having similar configurations.


title: Cohomologies of Landau-Ginzburg models

abstract: Let V be a holomorphic bundle over a complex manifold M, and s be a holomorphic section of V. We study different types of cohomology associated to the Koszul complex induced by s. When M is complete, these cohomologies are isomorphic to each other and have self duality.


title: Analysis of Indoor Uplink Optical Communication Positioning System Exploiting Multipath Reflections

abstract: In this paper, we introduce an uplink optical wireless positioning system for indoor applications. This technique uses fingerprints based on the indoor optical wireless channel impulse response for localization. Exploiting the line of sight peak power (LOS), the second power peak (SPP) of the impulse response, and the delay between the LOS and SPP, we present a proof of concept design and theoretical analysis for localization employing a single fixed reference point, i.e., a photodetector (PD) on the ceiling. Adding more PDs leads to more accurate transmitter position estimation. As a benchmark, we present analytical expressions of the Cramer-Rao lower bound (CRLB) for different numbers of PDs and features. We further present closed form analytical approximations for the chosen features of the channel impulse response. Simulation results show a root mean square (RMS) positioning accuracy of 25\,cm and 5\,cm for one and four PDs, respectively, for a typical indoor room at high SNR. Numerical results verify that the derived analytic approximations closely match the simulations.


title: Testing the influence of the temperature, RH and filler type and content on the Universal Power Law for new reduced graphene oxide TPU composites

abstract: In this paper, 6 different reduced graphene oxide (rGO) were prepared by a modified Hummers method and reduced by thermochemical methods. rGO materials were intentionally prepared to obtain different BET and thickness and oxygen content maintaining constant the lateral size to compare its performance on thermoplastic polyurethane (TPU) matrix. Microstructure and the effect of the incorporation of rGO on the hardness and electrical properties of TPU were investigated. It has been studied the temperature and humidity dependence of the electrical conductivity and the sensitivity and the response time to humidity changes have been determined. Influence of the filler content, temperature and humidity on the Jonschers universal power law (UPL) for ac conductivity vs frequency and its fitting parameters A and n were determined. It has been observed an anomalous behaviour (according to UPL) and a linear correlation between log A and n independently of the filler content, humidity and temperature, however there is an influence of the rGO used for the preparation of the composite. To study the transport mechanisms the experimental results were adjusted to the equation and the maximum adjustment for like other carbon nanocomposites however there is not an unequivocal behaviour.


title: Band-Gap Control via Structural and Chemical Tuning of Transition Metal Perovskite Chalcogenides

abstract: Transition metal perovskite chalcogenides (TMPC) are a new class of semiconductor materials with broad tunability of physical properties due to their chemical and structural flexibility. Theoretical calculations show that band gaps of TMPCs are tunable from Far IR to UV spectrum. Amongst these materials, more than a handful of materials have energy gap and very high absorption coefficients, which are appropriate for optoelectronic applications, especially solar energy conversion. Despite several promising theoretical predictions, very little experimental studies on their physical properties are currently available, especially optical properties. We report a new synthetic route towards high quality bulk ceramic TMPCs and systematic study of three phases, SrZrS3 in two different room temperature stabilized phases and one of BaZrS3. All three materials were synthesized with a catalyzed solid-state reaction process in sealed ampoules. Structural and chemical characterizations establish high quality of the samples, which is confirmed by the intense room temperature photoluminescence (PL) spectra showing direct band gaps around 1.53eV, 2.13eV and 1.81eV respectively. The potential of these materials for solar energy conversion was evaluated by measurement of PL quantum efficiency and estimate of quasi Fermi level splitting.


title: Energy Internet via Packetized Management: Enabling Technologies and Deployment Challenges

abstract: This paper investigates the possibility of building the Energy Internet via a packetized management of non-industrial loads. The proposed solution is based on the cyber-physical implementation of energy packets where flexible loads send use requests to an energy server. Based on the existing literature, we explain how and why this approach could scale up to interconnected micro-grids, also pointing out the challenges involved in relation to the physical deployment of electricity network. We then assess how machine-type wireless communications, as part of 5G and beyond systems, will achieve the low latency and ultra reliability needed by the micro-grid protection while providing the massive coverage needed by the packetized management. This more distributed grid organization also requires localized governance models. We cite few existing examples as local markets, energy communities and micro-operator that support such novel arrangements. We close the paper by providing an overview of ongoing activities that support the proposed vision and possible ways to move forward.


title: Driving Policy Transfer via Modularity and Abstraction

abstract: End-to-end approaches to autonomous driving have high sample complexity and are difficult to scale to realistic urban driving. Simulation can help end-to-end driving systems by providing a cheap, safe, and diverse training environment. Yet training driving policies in simulation brings up the problem of transferring such policies to the real world. We present an approach to transferring driving policies from simulation to reality via modularity and abstraction. Our approach is inspired by classic driving systems and aims to combine the benefits of modular architectures and end-to-end deep learning approaches. The key idea is to encapsulate the driving policy such that it is not directly exposed to raw perceptual input or low-level vehicle dynamics. We evaluate the presented approach in simulated urban environments and in the real world. In particular, we transfer a driving policy trained in simulation to a 1/5-scale robotic truck that is deployed in a variety of conditions, with no finetuning, on two continents. The supplementary video can be viewed at https://youtu.be/BrMDJqI6H5U


title: Gaia Data Release 2. Summary of the contents and survey properties

abstract: We present the second Gaia data release, Gaia DR2, consisting of astrometry, photometry, radial velocities, and information on astrophysical parameters and variability, for sources brighter than magnitude 21. In addition epoch astrometry and photometry are provided for a modest sample of minor planets in the solar system. A summary of the contents of Gaia DR2 is presented, accompanied by a discussion on the differences with respect to Gaia DR1 and an overview of the main limitations which are still present in the survey. Recommendations are made on the responsible use of Gaia DR2 results. Gaia DR2 contains celestial positions and the apparent brightness in G for approximately 1.7 billion sources. For 1.3 billion of those sources, parallaxes and proper motions are in addition available. The sample of sources for which variability information is provided is expanded to 0.5 million stars. This data release contains four new elements: broad-band colour information in the form of the apparent brightness in the $G_\mathrm{BP}$ (330--680 nm) and $G_\mathrm{RP}$ (630--1050 nm) bands is available for 1.4 billion sources; median radial velocities for some 7 million sources are presented; for between 77 and 161 million sources estimates are provided of the stellar effective temperature, extinction, reddening, and radius and luminosity; and for a pre-selected list of 14000 minor planets in the solar system epoch astrometry and photometry are presented. Finally, Gaia DR2 also represents a new materialisation of the celestial reference frame in the optical, the Gaia-CRF2, which is the first optical reference frame based solely on extragalactic sources. There are notable changes in the photometric system and the catalogue source list with respect to Gaia DR1, and we stress the need to consider the two data releases as independent.


title: Gaia Data Release 2: The astrometric solution

abstract: Gaia Data Release 2 (Gaia DR2) contains results for 1693 million sources in the magnitude range 3 to 21 based on observations collected by the European Space Agency Gaia satellite during the first 22 months of its operational phase. We describe the input data, models, and processing used for the astrometric content of Gaia DR2, and the validation of these results performed within the astrometry task. Some 320 billion centroid positions from the pre-processed astrometric CCD observations were used to estimate the five astrometric parameters (positions, parallaxes, and proper motions) for 1332 million sources, and approximate positions at the reference epoch J2015.5 for an additional 361 million mostly faint sources. Special validation solutions were used to characterise the random and systematic errors in parallax and proper motion. For the sources with five-parameter astrometric solutions, the median uncertainty in parallax and position at the reference epoch J2015.5 is about 0.04 mas for bright (G<14 mag) sources, 0.1 mas at G=17 mag, and 0.7 mas at G=20 mag. In the proper motion components the corresponding uncertainties are 0.05, 0.2, and 1.2 mas/yr, respectively. The optical reference frame defined by Gaia DR2 is aligned with ICRS and is non-rotating with respect to the quasars to within 0.15 mas/yr. From the quasars and validation solutions we estimate that systematics in the parallaxes depending on position, magnitude, and colour are generally below 0.1 mas, but the parallaxes are on the whole too small by about 0.03 mas. Significant spatial correlations of up to 0.04 mas in parallax and 0.07 mas/yr in proper motion are seen on small (<1 deg) and intermediate (20 deg) angular scales. Important statistics and information for the users of the Gaia DR2 astrometry are given in the appendices.


title: Gaia Data Release 2: processing of the photometric data

abstract: The second Gaia data release is based on 22 months of mission data with an average of 0.9 billion individual CCD observations per day. A data volume of this size and granularity requires a robust and reliable but still flexible system to achieve the demanding accuracy and precision constraints that Gaia is capable of delivering. The internal Gaia photometric system was initialised using an iterative process that is solely based on Gaia data. A set of calibrations was derived for the entire Gaia DR2 baseline and then used to produce the final mean source photometry. The photometric catalogue contains 2.5 billion sources comprised of three different grades depending on the availability of colour information and the procedure used to calibrate them: 1.5 billion gold, 144 million silver, and 0.9 billion bronze. These figures reflect the results of the photometric processing; the content of the data release will be different due to the validation and data quality filters applied during the catalogue preparation. The photometric processing pipeline, PhotPipe, implements all the processing and calibration workflows in terms of Map/Reduce jobs based on the Hadoop platform. This is the first example of a processing system for a large astrophysical survey project to make use of these technologies. The improvements in the generation of the integrated G-band fluxes, in the attitude modelling, in the cross-matching, and and in the identification of spurious detections led to a much cleaner input stream for the photometric processing. This, combined with the improvements in the definition of the internal photometric system and calibration flow, produced high-quality photometry. Hadoop proved to be an excellent platform choice for the implementation of PhotPipe in terms of overall performance, scalability, downtime, and manpower required for operations and maintenance.


title: Gaia Data Release 2: Photometric content and validation

abstract: Aims. We describe the photometric content of the second data release of the Gaia project (Gaia DR2) and its validation along with the quality of the data. Methods. The validation was mainly carried out using an internal analysis of the photometry. External comparisons were also made, but were limited by the precision and systematics that may be present in the external catalogues used. Results. In addition to the photometric quality assessment, we present the best estimates of the three photometric passbands. Various colour-colour transformations are also derived to enable the users to convert between the Gaia and commonly used passbands. Conclusions. The internal analysis of the data shows that the photometric calibrations can reach a precision as low as 2 mmag on individual CCD measurements. Other tests show that systematic effects are present in the data at the 10 mmag level.


title: Gaia Radial Velocity Spectrometer

abstract: This paper presents the specification, design, and development of the Radial Velocity Spectrometer (RVS) on the European Space Agency's Gaia mission. Starting with the rationale for the full six dimensions of phase space in the dynamical modelling of the Galaxy, the scientific goals and derived top-level instrument requirements are discussed, leading to a brief description of the initial concepts for the instrument. The main part of the paper is a description of the flight RVS, considering the optical design, the focal plane, the detection and acquisition chain, and the as-built performance drivers and critical technical areas. After presenting the pre-launch performance predictions, the paper concludes with the post-launch developments and mitigation strategies, together with a summary of the in-flight performance at the end of commissioning.


title: Gaia Data Release 2: The catalogue of radial velocity standard stars

abstract: Aims. The Radial Velocity Spectrometer (RVS) on board the ESA satellite mission Gaia has no calibration device. Therefore, the radial velocity zero point needs to be calibrated with stars that are proved to be stable at a level of 300 m/s during the Gaia observations. Methods. We compiled a dataset of ~71000 radial velocity measurements from five high-resolution spectrographs. A catalogue of 4813 stars was built by combining these individual measurements. The zero point was established using asteroids. Results. The resulting catalogue has seven observations per star on average on a typical time baseline of six years, with a median standard deviation of 15 m/s. A subset of the most stable stars fulfilling the RVS requirements was used to establish the radial velocity zero point provided in Gaia Data Release 2. The stars that were not used for calibration are used to validate the RVS data.


title: Gaia Data Release 2: Processing the spectroscopic data

abstract: The Gaia Data Release 2 contains the 1st release of radial velocities complementing the kinematic data of a sample of about 7 million relatively bright, late-type stars. Aims: This paper provides a detailed description of the Gaia spectroscopic data processing pipeline, and of the approach adopted to derive the radial velocities presented in DR2. Methods: The pipeline must perform four main tasks: (i) clean and reduce the spectra observed with the Radial Velocity Spectrometer (RVS); (ii) calibrate the RVS instrument, including wavelength, straylight, line-spread function, bias non-uniformity, and photometric zeropoint; (iii) extract the radial velocities; and (iv) verify the accuracy and precision of the results. The radial velocity of a star is obtained through a fit of the RVS spectrum relative to an appropriate synthetic template spectrum. An additional task of the spectroscopic pipeline was to provide 1st-order estimates of the stellar atmospheric parameters required to select such template spectra. We describe the pipeline features and present the detailed calibration algorithms and software solutions we used to produce the radial velocities published in DR2. Results: The spectroscopic processing pipeline produced median radial velocities for Gaia stars with narrow-band near-IR magnitude Grvs < 12 (i.e. brighter than V~13). Stars identified as double-lined spectroscopic binaries were removed from the pipeline, while variable stars, single-lined, and non-detected double-lined spectroscopic binaries were treated as single stars. The scatter in radial velocity among different observations of a same star, also published in DR2, provides information about radial velocity variability. For the hottest (Teff > 7000 K) and coolest (Teff < 3500 K) stars, the accuracy and precision of the stellar parameter estimates are not sufficient to allow selection of appropriate templates. [Abridged]


title: Gaia Data Release 2: Properties and validation of the radial velocities

abstract: For Gaia DR2 (GDR2), 280 million spectra, collected by the RVS instrument on-board Gaia, were processed and median radial velocities were derived for 9.8 million sources brighter than Grvs = 12 mag. This paper describes the validation and properties of the median radial velocities published in GDR2. Quality tests and filters are applied to select, from the 9.8 million radial velocities, those with the quality to be published in GDR2. The accuracy of the selected sample is assessed with respect to ground-based catalogues. Its precision is estimated using both ground-based catalogues and the distribution of the Gaia radial velocity uncertainties. GDR2 contains median radial velocities for 7 224 631 stars, with Teff in the range [3550, 6900] K, which passed succesfully the quality tests. The published median radial velocities provide a full sky-coverage and have a completness with respect to the astrometric data of 77.2\% (for $G \leq 12.5$ mag). The median radial velocity residuals with respect to the ground-based surveys vary from one catalogue to another, but do not exceed a few 100s m/s. In addition, the Gaia radial velocities show a positive trend as a function of magnitude, which starts around Grvs $\sim 9$ mag and reaches about $+500$ m/s at Grvs $= 11.75$ mag. The overall precision, estimated from the median of the Gaia radial velocity uncertainties, is 1.05 km/s. The radial velocity precision is function of many parameters, in particular the magnitude and effective temperature. For bright stars, Grvs in [4, 8] mag, the precision is in the range 200-350 m/s, which is about 3 to 5 times more precise than the pre-launch specification of 1 km/s. At the faint end, Grvs = 11.75 mag, the precisions for Teff = 5000 K and 6500 K are respectively 1.4 km/s and 3.7 km/s.


title: Gaia Data Release 2: Summary of the variability processing & analysis results

abstract: The Gaia Data Release 2 (DR2): we summarise the processing and results of the identification of variable source candidates of RR Lyrae stars, Cepheids, long period variables (LPVs), rotation modulation (BY Dra-type) stars, delta Scuti & SX Phoenicis stars, and short-timescale variables. In this release we aim to provide useful but not necessarily complete samples of candidates. The processed Gaia data consist of the G, BP, and RP photometry during the first 22 months of operations as well as positions and parallaxes. Various methods from classical statistics, data mining and time series analysis were applied and tailored to the specific properties of Gaia data, as well as various visualisation tools. The DR2 variability release contains: 228'904 RR Lyrae stars, 11'438 Cepheids, 151'761 LPVs, 147'535 stars with rotation modulation, 8'882 delta Scuti & SX Phoenicis stars, and 3'018 short-timescale variables. These results are distributed over a classification and various Specific Object Studies (SOS) tables in the Gaia archive, along with the three-band time series and associated statistics for the underlying 550'737 unique sources. We estimate that about half of them are newly identified variables. The variability type completeness varies strongly as function of sky position due to the non-uniform sky coverage and intermediate calibration level of this data. The probabilistic and automated nature of this work implies certain completeness and contamination rates which are quantified so that users can anticipate their effects. This means that even well-known variable sources can be missed or misidentified in the published data. The DR2 variability release only represents a small subset of the processed data. Future releases will include more variable sources and data products; however, DR2 shows the (already) very high quality of the data and great promise for variability studies.


title: Gaia Data Release 2: first stellar parameters from Apsis

abstract: The second Gaia data release (Gaia-DR2) contains, beyond the astrometry, three-band photometry for 1.38 billion sources. We have used these three broad bands to infer stellar effective temperatures, Teff, for all sources brighter than G=17 mag with Teff in the range 3000-10 000 K (161 million sources). Using in addition the parallaxes, we infer the line-of-sight extinction, A_G, and the reddening, E[BP-RP], for 88 million sources. Together with a bolometric correction we derive luminosity and radius for 77 million sources. These quantities as well as their estimated uncertainties are part of Gaia-DR2. Here we describe the procedures by which these quantities were obtained, including the underlying assumptions, comparison with literature estimates, and the limitations of our results. Typical accuracies are of order 324 K (Teff), 0.46 mag (A_G), 0.23 mag (E[BP-RP]), 15% (luminosity), and 10% (radius). Being based on only a small number of observable quantities and limited training data, our results are necessarily subject to some extreme assumptions that can lead to strong systematics in some cases (not included in the aforementioned accuracy estimates). One aspect is the non-negativity contraint of our estimates, in particular extinction. Yet in several regions of parameter space our results show very good performance, for example for red clump stars and solar analogues. Large uncertainties render the extinctions less useful at the individual star level, but they show good performance for ensemble estimates. We identify regimes in which our parameters should and should not be used and we define a "clean" sample. Despite the limitations, this is the largest catalogue of uniformly-inferred stellar parameters to date. More precise and detailed astrophysical parameters based on the full BP/RP spectrophotometry are planned as part of the third Gaia data release.


title: Gaia Data Release 2: Catalogue validation

abstract: The second Gaia data release (DR2), contains very precise astrometric and photometric properties for more than one billion sources, astrophysical parameters for dozens of millions, radial velocities for millions, variability information for half a million of stellar sources and orbits for thousands of solar system objects. Before the Catalogue publication, these data have undergone dedicated validation processes. The goal of this paper is to describe the validation results in terms of completeness, accuracy and precision of the various Gaia DR2 data. The validation processes include a systematic analysis of the Catalogue content to detect anomalies, either individual errors or statistical properties, using statistical analysis, and comparisons to external data or to models. Although the astrometric, photometric and spectroscopic data are of unprecedented quality and quantity, it is shown that the data cannot be used without a dedicated attention to the limitations described here, in the Catalogue documentation and in accompanying papers. A particular emphasis is put on the caveats for the statistical use of the data in scientific exploitation.


title: Gaia Data Release 2: using Gaia parallaxes

abstract: The second Gaia data release (GDR2) provides precise five-parameter astrometric data (positions, proper motions and parallaxes) for an unprecedented amount of sources (more than $1.3$ billion, mostly stars). The use of this wealth of astrometric data comes with a specific challenge: how does one properly infer from these data the astrophysical parameters of interest? The main - but not only - focus of this paper is the issue of the estimation of distances from parallaxes, possibly combined with other information. We start with a critical review of the methods traditionally used to obtain distances from parallaxes and their shortcomings. Then we provide guidelines on how to use parallaxes more efficiently to estimate distances by using Bayesian methods. In particular also we show that negative parallaxes, or parallaxes with relatively larger uncertainties still contain valuable information. Finally, we provide examples that show more generally how to use astrometric data for parameter estimation, including the combination of proper motions and parallaxes and the handling of covariances in the uncertainties. The paper contains examples based on simulated Gaia data to illustrate the problems and the solutions proposed. Furthermore, the developments and methods proposed in the paper are linked to a set of tutorials included in the Gaia archive documentation that provide practical examples and a good starting point for the application of the recommendations to actual problems. In all cases the source code for the analysis methods is provided. Our main recommendation is to always treat the derivation of (astro-) physical parameters from astrometric data, in particular when parallaxes are involved, as an inference problem which should preferably be handled with a full Bayesian approach.


title: Gaia Data Release 2: The Celestial reference frame (Gaia-CRF2)

abstract: The second release of Gaia data (Gaia DR2) contains the astrometric parameters for more than half a million quasars. This set defines a kinematically non-rotating reference frame in the optical domain referred to as the Gaia-CRF2. The Gaia-CRF2 is the first realisation of a non-rotating global optical reference frame that meets the ICRS prescriptions, meaning that it is built only on extragalactic sources. It consists of the positions of a sample of 556 869 sources in Gaia DR2, obtained from a positional cross-match with the ICRF3-prototype and AllWISE AGN catalogues. The sample constitutes a clean, dense, and homogeneous set of extragalactic point sources in the magnitude range G from 16 to 21 mag with accurately known optical positions. The median positional uncertainty is 0.12 mas for G < 18 mag and 0.5 mas at G = 20 mag. Large-scale systematics are estimated to be in the range 20 to 30 muas. The accuracy claims are supported by the parallaxes and proper motions of the quasars in Gaia DR2. The optical positions for a subset of 2820 sources in common with the ICRF3-prototype show very good overall agreement with the radio positions, but several tens of sources have significantly discrepant positions.


title: Gaia Data Release 2: Observational Hertzsprung-Russell diagrams

abstract: We highlight the power of the Gaia DR2 in studying many fine structures of the Hertzsprung-Russell diagram (HRD). Gaia allows us to present many different HRDs, depending in particular on stellar population selections. We do not aim here for completeness in terms of types of stars or stellar evolutionary aspects. Instead, we have chosen several illustrative examples. We describe some of the selections that can be made in Gaia DR2 to highlight the main structures of the Gaia HRDs. We select both field and cluster (open and globular) stars, compare the observations with previous classifications and with stellar evolutionary tracks, and we present variations of the Gaia HRD with age, metallicity, and kinematics. Late stages of stellar evolution such as hot subdwarfs, post-AGB stars, planetary nebulae, and white dwarfs are also analysed, as well as low-mass brown dwarf objects. The Gaia HRDs are unprecedented in both precision and coverage of the various Milky Way stellar populations and stellar evolutionary phases. Many fine structures of the HRDs are presented. The clear split of the white dwarf sequence into hydrogen and helium white dwarfs is presented for the first time in an HRD. The relation between kinematics and the HRD is nicely illustrated. Two different populations in a classical kinematic selection of the halo are unambiguously identified in the HRD. Membership and mean parameters for a selected list of open clusters are provided. They allow drawing very detailed cluster sequences, highlighting fine structures, and providing extremely precise empirical isochrones that will lead to more insight in stellar physics. Gaia DR2 demonstrates the potential of combining precise astrometry and photometry for large samples for studies in stellar evolution and stellar population and opens an entire new area for HRD-based studies.


title: Gaia Data Release 2: Observations of solar system objects

abstract: The Gaia spacecraft of the European Space Agency (ESA) has been securing observations of solar system objects (SSOs) since the beginning of its operations. Gaia Data Release 2 (DR2) contains the observations of a selected sample of 14,099 SSOs. These asteroids have been already identified and have been numbered by the Minor Planet Center. Positions are provided for each Gaia observation at CCD level. As additional information, the apparent brightness of SSOs in the unfiltered G band is also provided for selected observations. We explain the processing of SSO data, and describe the criteria we used to select the sample published in Gaia DR2. We then explore the data set to assess its quality. To exploit the epoch astrometry of asteroids in Gaia DR2 it is necessary to take into account the unusual properties of the uncertainty, as the position information is nearly one-dimensional. When this aspect is handled appropriately, an orbit fit can be obtained with post-fit residuals that are overall consistent with the a-priori error model that was used to define individual values of the astrometric uncertainty. The distribution of residuals allowed us to identify possible contaminants in the data set. Photometry in the G band was compared to computed values from reference asteroid shapes and to the flux registered at the corresponding epochs by the red and blue photometers (RP and BP). The overall astrometric performance is close to the expectations, with an optimal range of brightness G~12-17. In this range, the typical transit-level accuracy is well below 1 mas. For fainter asteroids, the growing photon noise deteriorates the performance. Asteroids brighter than G~12 are affected by a lower performance of the processing of their signals. The dramatic improvement brought by Gaia DR2 astrometry of SSOs is demonstrated by preliminary tests on the detection of subtle non-gravitational effects.


title: Gaia Data Release 2: Mapping the Milky Way disc kinematics

abstract: To illustrate the potential of GDR2, we provide a first look at the kinematics of the Milky Way disc, within a radius of several kiloparsecs around the Sun. We benefit for the first time from a sample of 6.4 million F-G-K stars with full 6D phase-space coordinates, precise parallaxes, and precise Galactic cylindrical velocities . From this sample, we extracted a sub-sample of 3.2 million giant stars to map the velocity field of the Galactic disc from $\sim$5~kpc to $\sim$13~kpc from the Galactic centre and up to 2~kpc above and below the plane. We also study the distribution of 0.3 million solar neighbourhood stars ($r < 200$~pc), with median velocity uncertainties of 0.4~km/s, in velocity space and use the full sample to examine how the over-densities evolve in more distant regions. GDR2 allows us to draw 3D maps of the Galactocentric median velocities and velocity dispersions with unprecedented accuracy, precision, and spatial resolution. The maps show the complexity and richness of the velocity field of the galactic disc. We observe streaming motions in all the components of the velocities as well as patterns in the velocity dispersions. For example, we confirm the previously reported negative and positive galactocentric radial velocity gradients in the inner and outer disc, respectively. Here, we see them as part of a non-axisymmetric kinematic oscillation, and we map its azimuthal and vertical behaviour. We also witness a new global arrangement of stars in the velocity plane of the solar neighbourhood and in distant regions in which stars are organised in thin substructures with the shape of circular arches that are oriented approximately along the horizontal direction in the $U-V$ plane. Moreover, in distant regions, we see variations in the velocity substructures more clearly than ever before, in particular, variations in the velocity of the Hercules stream. (abridged)


title: Gaia Data Release 2: Kinematics of globular clusters and dwarf galaxies around the Milky Way

abstract: The goal of this paper is to demonstrate the outstanding quality of the second data release of the Gaia mission and its power for constraining many different aspects of the dynamics of the satellites of the Milky Way. We focus here on determining the proper motions of 75 Galactic globular clusters, nine dwarf spheroidal galaxies, one ultra-faint system, and the Large and Small Magellanic Clouds. Using data extracted from the Gaia archive, we derived the proper motions and parallaxes for these systems, as well as their uncertainties. We demonstrate that the errors, statistical and systematic, are relatively well understood. We integrated the orbits of these objects in three different Galactic potentials, and characterised their properties. We present the derived proper motions, space velocities, and characteristic orbital parameters in various tables to facilitate their use by the astronomical community. Our limited and straightforward analyses have allowed us for example to (i) determine absolute and very precise proper motions for globular clusters; (ii) detect clear rotation signatures in the proper motions of at least five globular clusters; (iii) show that the satellites of the Milky Way are all on high-inclination orbits, but that they do not share a single plane of motion; (iv) derive a lower limit for the mass of the Milky Way of 9.8^{+6.7}_{-2.7} x 10^{11} Msun based on the assumption that the Leo I dwarf spheroidal is bound; (v) derive a rotation curve for the Large Magellanic Cloud based solely on proper motions that is competitive with line-of-sight velocity curves, now using many orders of magnitude more sources; and (vi) unveil the dynamical effect of the bar on the motions of stars in the Large Magellanic Cloud. All these results highlight the incredible power of the Gaia astrometric mission, and in particular of its second data release.


title: Gaia Data Release 2: Variable stars in the colour-absolute magnitude diagram

abstract: The ESA Gaia mission provides a unique time-domain survey for more than 1.6 billion sources with G ~ 21 mag. We showcase stellar variability across the Galactic colour-absolute magnitude diagram (CaMD), focusing on pulsating, eruptive, and cataclysmic variables, as well as on stars exhibiting variability due to rotation and eclipses. We illustrate the locations of variable star classes, variable object fractions, and typical variability amplitudes throughout the CaMD and illustrate how variability-related changes in colour and brightness induce `motions' using 22 months worth of calibrated photometric, spectro-photometric, and astrometric Gaia data of stars with significant parallax. To ensure a large variety of variable star classes to populate the CaMD, we crossmatch Gaia sources with known variable stars. We also used the statistics and variability detection modules of the Gaia variability pipeline. Corrections for interstellar extinction are not implemented in this article. Gaia enables the first investigation of Galactic variable star populations across the CaMD on a similar, if not larger, scale than previously done in the Magellanic Clouds. Despite observed colours not being reddening corrected, we clearly see distinct regions where variable stars occur and determine variable star fractions to within Gaia's current detection thresholds. Finally, we show the most complete description of variability-induced motion within the CaMD to date. Gaia enables novel insights into variability phenomena for an unprecedented number of stars, which will benefit the understanding of stellar astrophysics. The CaMD of Galactic variable stars provides crucial information on physical origins of variability in a way previously accessible only for Galactic star clusters or external galaxies.


title: Hidden-strange molecular states and the $N\phi$ bound state via a QCD van der Waals force

abstract: In this work, we study the hidden-strange molecular states composed of a baryon and a vector meson in a coupled-channel $N\rho-N\omega-N\phi-\Lambda K^*-\Sigma K^*$ interaction. With the help of the effective Lagrangians which coupling constants are determined by the SU(3) symmetry, the interaction is constructed and inserted into the quasipotential Bethe-Salpeter equation to search for poles in the complex plane, which correspond to molecular states. Two poles are found with a spin parity $3/2^-$ near the $N\rho$ and the $\Sigma K^*$ thresholds, which can be related to the $N(1700)$ and the $N(2100)$, respectively. No pole near the $N\phi$ threshold can be found if direct interaction between a nucleon and $\phi$ meson is neglected according to the OZI rule. After introducing the QCD van der Waals force between a nucleon and $\phi$ meson, a narrow state can be produced near the $N\phi$ threshold. Inclusion of the QCD van der Waals force changes the line shape of the invariant mass spectrum in the $N\phi$ channel leading to a worse agreement with the present low-precision data. Future experiments at BelleII, JLab, and other facilities will be very helpful to clarify the existence of these possible hidden-strange molecular states.


title: Complex quantum groups and a deformation of the Baum-Connes assembly map

abstract: We define and study an analogue of the Baum-Connes assembly map for complex semisimple quantum groups, that is, Drinfeld doubles of $ q $-deformations of compact semisimple Lie groups. Our starting point is the deformation picture of the Baum-Connes assembly map for a complex semisimple Lie group $ G $, which allows one to express the $ K $-theory of the reduced group $ C^* $-algebra of $ G $ in terms of the $ K $-theory of its associated Cartan motion group. The latter can be identified with the semidirect product of the maximal compact subgroup $ K $ acting on $ \mathfrak{k}^* $ via the coadjoint action. In the quantum case the role of the Cartan motion group is played by the Drinfeld double of the classical group $ K $, whose associated group $ C^* $-algebra is the crossed product of $ C(K) $ with respect to the adjoint action of $ K $. Our quantum assembly map is obtained by varying the deformation parameter in the Drinfeld double construction applied to the standard deformation $ K_q $ of $ K $. We prove that the quantum assembly map is an isomorphism, thus providing a description of the $ K $-theory of complex quantum groups in terms of classical topology. Moreover, we show that there is a continuous field of $ C^* $-algebras which encodes both the quantum and classical assembly maps as well as a natural deformation between them. It follows in particular that the quantum assembly map contains the classical Baum-Connes assembly map as a direct summand.


title: Iterative thresholding algorithm based on non-convex method for modified lp-norm regularization minimization

abstract: Recently, the $\l_{p}$-norm regularization minimization problem $(P_{p}^{\lambda})$ has attracted great attention in compressed sensing. However, the $\l_{p}$-norm $\|x\|_{p}^{p}$ in problem $(P_{p}^{\lambda})$ is nonconvex and non-Lipschitz for all $p\in(0,1)$, and there are not many optimization theories and methods are proposed to solve this problem. In fact, it is NP-hard for all $p\in(0,1)$ and $\lambda>0$. In this paper, we study two modified $\l_{p}$ regularization minimization problems to approximate the NP-hard problem $(P_{p}^{\lambda})$. Inspired by the good performance of Half algorithm and $2/3$ algorithm in some sparse signal recovery problems, two iterative thresholding algorithms are proposed to solve the problems $(P_{p,1/2,\epsilon}^{\lambda})$ and $(P_{p,2/3,\epsilon}^{\lambda})$ respectively. Numerical results show that our algorithms perform effectively in finding the sparse signal in some sparse signal recovery problems for some proper $p\in(0,1)$.


title: Exciton diffusion and halo effects in monolayer semiconductors

abstract: We directly monitor exciton propagation in freestanding and SiO2-supported WS2 monolayers through spatially- and time-resolved micro-photoluminescence under ambient conditions. We find highly nonlinear behavior with characteristic, qualitative changes in the spatial profiles of the exciton emission and an effective diffusion coefficient increasing from 0.3 to more than 30 cm2/s, depending on the injected exciton density. Solving the diffusion equation while accounting for Auger recombination allows us to identify and quantitatively understand the main origin of the increase in the observed diffusion coefficient. At elevated excitation densities, the initial Gaussian distribution of the excitons evolves into long-lived halo shapes with micrometer-scale diameter, indicating additional memory effects in the exciton dynamics.


title: Stone duality and quasi-orbit spaces for generalised C*-inclusions

abstract: Let $A$ and $B$ be $C^*$-algebras with $A\subseteq M(B)$. Exploiting the duality between sober spaces and spatial locales, and the adjunction between restriction and induction for ideals in $A$ and $B$, we identify conditions that allow to define a quasi-orbit space and a quasi-orbit map for $A\subseteq M(B)$. These objects generalise classical notions for group actions. We characterise when the quasi-orbit space is an open quotient of the primitive ideal space of $A$ and when the quasi-orbit map is open and surjective. We apply these results to cross section $C^*$-algebras of Fell bundles over locally compact groups, regular $C^*$-inclusions, tensor products, relative Cuntz--Pimsner algebras, and crossed products for actions of locally compact Hausdorff groupoids and quantum groups.


title: Global existence of a heavy ball model with a varying nonnegative friction

abstract: In this paper, we study a dissipative dynamical system non linear of second order $ \ddot{x}(t)+\lambda(t)\, \dot{x}(t)+\nabla \Phi (x(t))=0,$ with the non-negative friction coefficient $\lambda \in \mathcal{C}([0,+\infty[)$ and the internal constraint $\Phi \in \mathcal{C}^2$.


title: Nonsymmorphic cubic Dirac point and crossed nodal rings across the ferroelectric phase transition in LiOsO$_3$

abstract: Crystalline symmetries can generate exotic band-crossing features, which can lead to unconventional fermionic excitations with interesting physical properties. We show how a cubic Dirac point---a four-fold-degenerate band-crossing point with cubic dispersion in a plane and a linear dispersion in the third direction---can be stabilized through the presence of a nonsymmorphic glide mirror symmetry in the space group of the crystal. Notably, the cubic Dirac point in our case appears on a threefold axis, even though it has been believed previously that such a point can only appear on a sixfold axis. We show that a cubic Dirac point involving a threefold axis can be realized close to the Fermi level in the non-ferroelectric phase of LiOsO$_3$. Upon lowering temperature, LiOsO$_3$ has been shown experimentally to undergo a structural phase transition from the non-ferroelectric phase to the ferroelectric phase with spontaneously broken inversion symmetry. Remarkably, we find that the broken symmetry transforms the cubic Dirac point into three mutually-crossed nodal rings. There also exist several linear Dirac points in the low-energy band structure of LiOsO$_3$, each of which is transformed into a single nodal ring across the phase transition.


title: Constraining the microlensing effect on time delays with new time-delay prediction model in $H_{0}$ measurements

abstract: Time-delay strong lensing provides a unique way to directly measure the Hubble constant ($H_{0}$). The precision of the $H_{0}$ measurement depends on the uncertainties in the time-delay measurements, the mass distribution of the main deflector(s), and the mass distribution along the line of sight. Tie and Kochanek (2018) have proposed a new microlensing effect on time delays based on differential magnification of the coherent accretion disc variability of the lensed quasar. If real, this effect could significantly broaden the uncertainty on the time delay measurements by up to $30\%$ for lens systems such as PG1115+080, which have relatively short time delays and monitoring over several different epochs. In this paper we develop a new technique that uses the time-delay ratios and simulated microlensing maps within a Bayesian framework in order to limit the allowed combinations of microlensing delays and thus to lessen the uncertainties due to the proposed effect. We show that, under the assumption of Tie and Kochanek (2018), the uncertainty on the time-delay distance ($D_{\Delta t}$, which is proportional to 1/$H_{0}$) of short time-delay ($\sim18$ days) lens, PG1115+080, increases from $\sim7\%$ to $\sim10\%$ by simultaneously fitting the three time-delay measurements from the three different datasets across twenty years, while in the case of long time-delay ($\sim90$ days) lens, the microlensing effect on time delays is negligible as the uncertainty on $D_{\Delta t}$ of RXJ1131-1231 only increases from $\sim2.5\%$ to $\sim2.6\%$.


title: Length correction of 2D discontinuities or perforations at large wavelengths and for linear acoustics

abstract: This work focuses on the length correction due to radiation effect of a duct discontinuity or at the surface of a perforated plate in the linear acoustic domain and at large wavelengths. Two results are obtained from the comparison of models used in the literature for different geometries of duct discontinuities or perforations. First, the mode-coupling at the discontinuity between two ducts or a perforated plate and air is negligible for low frequencies. Second, all consistent models of the length correction proposed so far, for any geometries except slit-like, are similar when plotted as a function of the square root of the perforation rate (the ratio of the duct cross-section areas for ducts). These two results imply the effect of the thickness of the ducts or the perforated plate can be accounted for in the length correction expression independently from other geometric variables. A single approximate formulation for all geometries of perforations or duct discontinuities, except slit-like geometries, is proposed for practical uses.


title: High $n$-type thermoelectric power factor and efficiency in Ba$_{2}$BiAu from a highly dispersive band

abstract: Using first-principles density-functional theory calculations, we predict the potential for unprecedented thermoelectric efficiency $zT=5$ at 800 K in $n$-type Ba$_{2}$BiAu full-Heusler compound. Such a high efficiency arises from an intrinsically ultralow lattice thermal conductivity coupled with a very high power factor reaching 7 mW m$^{-1}$ K$^{-2}$ at 500 K. The high power factor originates from a light, sixfold degenerate conduction band pocket along the $\Gamma$-X direction. Weak acoustic phonon scattering and sixfold multiplicity combine to yield high mobility and high Seebeck coefficient. In contrast, the flat-and-dispersive (a.k.a. low-dimensional) valence band of Ba$_{2}$BiAu fail to generate a high power factor due to strong acoustic phonon scattering. The Lorenz numbers at optimal doping are smaller than the Wiedemann-Franz value, an integral feature for $zT$ enhancement as electrons are the majority heat carriers.


title: A quasi linear-time b-Matching algorithm on distance-hereditary graphs and bounded split-width graphs

abstract: We present a quasi linear-time algorithm for Maximum Matching on distance-hereditary graphs and some of their generalizations. This improves on [Dragan, WG'97], who proposed such an algorithm for the subclass of (tent,hexahedron)-free distance-hereditary graphs. Furthermore, our result is derived from a more general one that is obtained for b-Matching. In the (unit cost) b-Matching problem, we are given a graph G = (V, E) together with a nonnegative integer capacity b v for every vertex v $\in$ V. The objective is to assign nonnegative integer weights (x e) e$\in$E so that: for every v $\in$ V the sum of the weights of its incident edges does not exceed b v , and e$\in$E x e is maximized. We present the first algorithm for solving b-Matching on cographs, distance-hereditary graphs and some of their generalizations in quasi linear time. For that, we use a decomposition algorithm that outputs for any graph G a collection of subgraphs of G with no edge-cutsets inducing a complete bipartite subgraph (a.k.a., splits). The latter collection is sometimes called a split decomposition of G. Furthermore, there exists a generic method in order to design graph algorithms based on split decomposition [Rao, DAM'08]. However, this technique only applies to "localized" problems: for which a "best" partial solution for any given subgraph in a split decomposition can be computed almost independently from the remaining of the graph. Such framework does not apply to matching problems since an augmenting path may cross the subgraphs arbitrarily. We introduce a new technique that somehow captures all the partial solutions for a given union of subgraphs in a split decomposition, in a compact and amenable way for algorithms - assuming some piecewise linear assumption holds on the value of such solutions. The latter assumption is shown to hold for b-Matching. Doing so, we prove that solving b-Matching on any pair G, b can be reduced in quasi linear-time to solving this problem on a collection of smaller graphs: that are obtained from the subgraphs in any split decomposition of G by replacing every vertex with a constant-size module. In particular, if G has a split decomposition where all subgraphs have order at most a fixed k, then we can solve b-Matching for G, b in O((k log 2 k)$\times$(m+n)$\times$log ||b|| 1)-time. This answers an open question of [Coudert et al., SODA'18].


title: Design-Oriented Transient Stability Analysis of Grid-Connected Converters with Power Synchronization Control

abstract: The power synchronization control (PSC) has been increasingly used with voltage-source converters (VSCs) connected to the weak ac grid. This paper presents an in-depth analysis on the transient stability of the PSC-VSC by means of the phase portrait. It is revealed that the PSC-VSC will maintain synchronization with the grid as long as there are equilibrium points after the transient disturbance. In contrast, during grid faults without any equilibrium points, the critical clearing angle (CCA) for the PSC-VSC is identified, which is found equal to the power angle at the unstable equilibrium point of the post-fault operation. This fixed CCA facilitates the design of power system protection. Moreover, it is also found that the PSC-VSC can still re-synchronize with the grid after around one cycle of oscillation, even if the fault-clearing angle is beyond the CCA. This feature reduces the risk of system collapse caused by the delayed fault clearance. These findings are corroborated by simulations and experimental tests.


title: Design of eco-friendly fabric softeners: structure, rheology and interaction with cellulose nanocrystals

abstract: Concentrated fabric softeners are water-based formulations containing around 10 - 15 wt. % of double tailed esterquat surfactants primarily synthesized from palm oil. In recent patents, it was shown that a significant part of the surfactant contained in today formulations can be reduced by circa 50 % and replaced by natural guar polymers without detrimental effects on the deposition and softening performances. We presently study the structure and rheology of these softener formulations and identify the mechanisms at the origin of these effects. The polymer additives used are guar gum polysaccharides, one cationic and one modified through addition of hydroxypropyl groups. Formulations with and without guar polymers are investigated using optical and cryo-transmission electron microscopy, small-angle light and Xray scattering and finally rheology. Similar techniques are applied to study the phase behavior of softener and cellulose nanocrystals considered here as a model for cotton. The esterquat surfactants are shown to assemble into micron-sized vesicles in the dilute and concentrated regimes. In the former, guar addition in small amounts does not impair the vesicular structure and stability. In the concentrated regime, cationic guars induce a local crowding associated to depletion interactions and leads to the formation of a local lamellar order. In rheology, adjusting the polymer concentration at one tenth that of the surfactant is sufficient to offset the decrease of the elastic property associated with the surfactant reduction. In conclusion, we have shown that through an appropriate choice of natural additives it is possible to lower the concentration of surfactants in fabric conditioners by about half, a result that could represent a significant breakthrough in current home care formulations.


title: Quantitative Susceptibility Map Reconstruction Using Annihilating Filter-based Low-Rank Hankel Matrix Approach

abstract: Quantitative susceptibility mapping (QSM) inevitably suffers from streaking artifacts caused by zeros on the conical surface of the dipole kernel in k-space. This work proposes a novel and accurate QSM reconstruction method based on a direct k-space interpolation approach, avoiding problems of over smoothing and streaking artifacts. Inspired by the recent theory of annihilating filter-based low-rank Hankel matrix approach (ALOHA), QSM reconstruction problem is formulated as deconvolution problem under low-rank Hankel matrix constraint in the k-space. To reduce the computational complexity and the memory requirement, the problem is formulated as successive reconstruction of 2-D planes along three independent axes of the 3-D phase image in Fourier domain. Extensive experiments were performed to verify and compare the proposed method with existing QSM reconstruction methods. The proposed ALOHA-QSM effectively reduced streaking artifacts and accurately estimated susceptibility values in deep gray matter structures, compared to the existing QSM methods. Our suggested ALOHA-QSM algorithm successfully solves the three-dimensional QSM dipole inversion problem without additional anatomical information or prior assumption and provides good image quality and quantitative accuracy.


title: Low-temperature Fabrication of Highly-Efficient, Optically-Transparent (FTO-free) Graphene Cathode for Co-Mediated Dye-Sensitized Solar Cells with Acetonitrile-free Electrolyte Solution

abstract: Propionitrile electrolyte solutions mixed with sulfolane or with 1-ethyl 3-methyl imidazolium tetracyanoborate (ionic liquid) are optimized for Co(bpy)3+/Co(bpy)2+-mediated DSCs working at low illumination intensity.


title: Learnable Histogram: Statistical Context Features for Deep Neural Networks

abstract: Statistical features, such as histogram, Bag-of-Words (BoW) and Fisher Vector, were commonly used with hand-crafted features in conventional classification methods, but attract less attention since the popularity of deep learning methods. In this paper, we propose a learnable histogram layer, which learns histogram features within deep neural networks in end-to-end training. Such a layer is able to back-propagate (BP) errors, learn optimal bin centers and bin widths, and be jointly optimized with other layers in deep networks during training. Two vision problems, semantic segmentation and object detection, are explored by integrating the learnable histogram layer into deep networks, which show that the proposed layer could be well generalized to different applications. In-depth investigations are conducted to provide insights on the newly introduced layer.


title: Convolutional Generative Adversarial Networks with Binary Neurons for Polyphonic Music Generation

abstract: It has been shown recently that deep convolutional generative adversarial networks (GANs) can learn to generate music in the form of piano-rolls, which represent music by binary-valued time-pitch matrices. However, existing models can only generate real-valued piano-rolls and require further post-processing, such as hard thresholding (HT) or Bernoulli sampling (BS), to obtain the final binary-valued results. In this paper, we study whether we can have a convolutional GAN model that directly creates binary-valued piano-rolls by using binary neurons. Specifically, we propose to append to the generator an additional refiner network, which uses binary neurons at the output layer. The whole network is trained in two stages. Firstly, the generator and the discriminator are pretrained. Then, the refiner network is trained along with the discriminator to learn to binarize the real-valued piano-rolls the pretrained generator creates. Experimental results show that using binary neurons instead of HT or BS indeed leads to better results in a number of objective measures. Moreover, deterministic binary neurons perform better than stochastic ones in both objective measures and a subjective test. The source code, training data and audio examples of the generated results can be found at https://salu133445.github.io/bmusegan/ .


title: 3D Consistent & Robust Segmentation of Cardiac Images by Deep Learning with Spatial Propagation

abstract: We propose a method based on deep learning to perform cardiac segmentation on short axis MRI image stacks iteratively from the top slice (around the base) to the bottom slice (around the apex). At each iteration, a novel variant of U-net is applied to propagate the segmentation of a slice to the adjacent slice below it. In other words, the prediction of a segmentation of a slice is dependent upon the already existing segmentation of an adjacent slice. 3D-consistency is hence explicitly enforced. The method is trained on a large database of 3078 cases from UK Biobank. It is then tested on 756 different cases from UK Biobank and three other state-of-the-art cohorts (ACDC with 100 cases, Sunnybrook with 30 cases, RVSC with 16 cases). Results comparable or even better than the state-of-the-art in terms of distance measures are achieved. They also emphasize the assets of our method, namely enhanced spatial consistency (currently neither considered nor achieved by the state-of-the-art), and the generalization ability to unseen cases even from other databases.


title: Generative Temporal Models with Spatial Memory for Partially Observed Environments

abstract: In model-based reinforcement learning, generative and temporal models of environments can be leveraged to boost agent performance, either by tuning the agent's representations during training or via use as part of an explicit planning mechanism. However, their application in practice has been limited to simplistic environments, due to the difficulty of training such models in larger, potentially partially-observed and 3D environments. In this work we introduce a novel action-conditioned generative model of such challenging environments. The model features a non-parametric spatial memory system in which we store learned, disentangled representations of the environment. Low-dimensional spatial updates are computed using a state-space model that makes use of knowledge on the prior dynamics of the moving agent, and high-dimensional visual observations are modelled with a Variational Auto-Encoder. The result is a scalable architecture capable of performing coherent predictions over hundreds of time steps across a range of partially observed 2D and 3D environments.


title: On nonparametric inference for spatial regression models under domain expanding and infill asymptotics

abstract: In this paper, we develop nonparametric inference on spatial regression models as an extension of Lu and Tj\ostheim(2014), which develops nonparametric inference on density functions of stationary spatial processes under domain expanding and infill (DEI) asymptotics. In particular, we derive multivariate central limit theorems of mean and variance functions of nonparametric spatial regression models. Built upon those results, we propose a method to construct confidence bands for mean and variance functions.


title: The Rigorous Relation between Rindler and Minkowski Quantum Field Theory in the Unruh Scenario

abstract: Traditionally the physics of the Unruh effect, i.e. the q.f.t. in the wedges $W_R$ or $W_L$ in Minkowski space is related to the physics in the Rindler Fock space, which is a proplematical strategy. In a careful analysis we show that the correct dual q.f.t. lives rather in the thermal Rindler Hilbert space and turns out to be unitarily equivalent to the corresponding Minkowski space theory in contrast to the Rindler Fock space theory. We show in particular that in thermal Rindler Hilbert space a new sort of objects occurs, viz., quasi-particle/hole creation/annihilation operators of thermal Rindler quasi-particles and holes, which do not have a pendant in Rindler Fock space. The ordinary Rindler particle operators are certain temperature dependent superpositions of these more fundamental operators. These new objects play a crucial role in this duality and via the unitary equivalence do have their counterparts in Minkowski q.f.t.


title: Probabilistic Plant Modeling via Multi-View Image-to-Image Translation

abstract: This paper describes a method for inferring three-dimensional (3D) plant branch structures that are hidden under leaves from multi-view observations. Unlike previous geometric approaches that heavily rely on the visibility of the branches or use parametric branching models, our method makes statistical inferences of branch structures in a probabilistic framework. By inferring the probability of branch existence using a Bayesian extension of image-to-image translation applied to each of multi-view images, our method generates a probabilistic plant 3D model, which represents the 3D branching pattern that cannot be directly observed. Experiments demonstrate the usefulness of the proposed approach in generating convincing branch structures in comparison to prior approaches.


title: Measurement of proton-induced radiation in animal tissue

abstract: Hadron therapy, because of the dosimetric and radiobiological advantages, is more and more often used in tumour treatment. This treatment method leads also to the radioactive effects induced by energetic protons on nuclei. Nuclear reactions may lead to the production of radioactive isotopes. In the present experiment, two animal (human-like) tissue samples were irradiated with 60 MeV protons. Gamma-ray spectroscopy and lifetime measurements allowed identifying isotopes produced during the irradiation, e.g. $^{18}$F and $^{34m}$Cl.


title: The origin of the relation between metallicity and size in star-forming galaxies

abstract: For the same stellar mass, physically smaller star-forming galaxies are also metal richer (Ellison et al. 2008). What causes the relation remains unclear. The central star-forming galaxies in the EAGLE cosmological numerical simulation reproduce the observed trend. We use them to explore the origin of the relation assuming that the physical mechanism responsible for the anti-correlation between size and gas-phase metallicity is the same in the simulated and the observed galaxies. We consider the three most likely causes: (1) metal-poor gas inflows feeding the star-formation process, (2) metal-rich gas outflows particularly efficient in shallow gravitational potentials, and (3) enhanced efficiency of the star-formation process in compact galaxies. Outflows (2) and enhanced star-formation efficiency (3) can be discarded. Metal-poor gas inflows (1) cause the correlation in the simulated galaxies. Galaxies grow in size with time, so those that receive gas later are both metal poorer and larger, giving rise to the observed anti-correlation. As expected within this explanation, larger galaxies have younger stellar populations. We explore the variation with redshift of the relation, which is maintained up to, at least, redshift 8.


title: The use of a pruned modular decomposition for Maximum Matching algorithms on some graph classes

abstract: We address the following general question: given a graph class C on which we can solve Maximum Matching in (quasi) linear time, does the same hold true for the class of graphs that can be modularly decomposed into C ? A major difficulty in this task is that the Maximum Matching problem is not preserved by quotient, thereby making difficult to exploit the structural properties of the quotient subgraphs of the modular decomposition. So far, we are only aware of a recent framework in [Coudert et al., SODA'18] that only applies when the quotient subgraphs have bounded order and/or under additional assumptions on the nontriv-ial modules in the graph. As a first attempt toward improving this framework we study the combined effect of modular decomposition with a pruning process over the quotient subgraphs. More precisely, we remove sequentially from all such subgraphs their so-called one-vertex extensions (i.e., pendant, anti-pendant, twin, universal and isolated vertices). Doing so, we obtain a "pruned modular decomposition", that can be computed in O(m log n)-time. Our main result is that if all the pruned quotient subgraphs have bounded order then a maximum matching can be computed in linear time. This result is mostly based on two pruning rules on pendant and anti-pendant modules -- that are adjacent, respectively, to one or all but one other modules in the graph. Furthermore, these two latter rules are surprisingly intricate and we consider them as our main technical contribution in the paper. We stress that the class of graphs that can be totally decomposed by the pruned modular decomposition contains all the distance-hereditary graphs, and so, it is larger than cographs. In particular, as a byproduct of our approach we also obtain the first known linear-time algorithms for Maximum Matching on distance-hereditary graphs and graphs with modular-treewidth at most one. Finally, we can use an extended version of our framework in order to compute a maximum matching, in linear-time, for all graph classes that can be modularly decomposed into cycles. Our work is the first to explain why the existence of some nice ordering over the modules of a graph, instead of just over its vertices, can help to speed up the computation of maximum matchings on some graph classes.


title: Two monads for graphs

abstract: An introduction to algebras for graphs, based on Courcelle's algebras of hyperedge replacement and vertex replacement. The paper uses monad notation.


title: Landauer current and mutual information in a bosonic quantum dot

abstract: We study the quantum transport of bosons through a quantum dot coupled to two macroscopic heat baths $L$ and $R$, held at fixed temperatures $T_{L}$ and $T_{R}$ respectively. We manage to cast the particle as well as the heat current into the Landauer form. Following the correlation matrix approach, we compute the time-dependent mutual information of the dot with the baths. We find that mutual information goes logarithmically as the number of bosons, and at low temperatures, it is possible to set up the parameters in such a way that in steady-state, the mutual information goes quadratically as a function of current.


title: Uncertainties in the Lightest $CP$ Even Higgs Boson Mass Prediction in the Minimal Supersymmetric Standard Model: Fixed Order Versus Effective Field Theory Prediction

abstract: We quantify and examine the uncertainties in predictions of the lightest $CP$ even Higgs boson pole mass $M_h$ in the Minimal Supersymmetric Standard Model (MSSM), utilising current spectrum generators and including some three-loop corrections. There are two broadly different approximations being used: effective field theory (EFT) where an effective Standard Model (SM) is used below a supersymmetric mass scale, and a fixed order calculation, where the MSSM is matched to QCD$\times$QED at the electroweak scale. The uncertainties on the $M_h$ prediction in each approach are broken down into logarithmic and finite pieces. The inferred values of the stop mass parameters are sensitively dependent upon the precision of the prediction for $M_h$. The fixed order calculation appears to be more accurate below a supersymmetry (SUSY) mass scale of $M_S \approx 1.2$ TeV, whereas above this scale, the EFT calculation is more accurate. We also revisit the range of the lightest stop mass across fine-tuned parameter space that has an appropriate stable vacuum and is compatible with the lightest $CP$ even Higgs boson $h$ being identified with the one discovered at the ATLAS and CMS experiments in 2012; we achieve a maximum value of $\sim 10^{11}$ GeV.


title: Stable-Matching Voronoi Diagrams: Combinatorial Complexity and Algorithms

abstract: We study algorithms and combinatorial complexity bounds for \emph{stable-matching Voronoi diagrams}, where a set, $S$, of $n$ point sites in the plane determines a stable matching between the points in $\mathbb{R}^2$ and the sites in $S$ such that (i) the points prefer sites closer to them and sites prefer points closer to them, and (ii) each site has a quota or "appetite" indicating the area of the set of points that can be matched to it. Thus, a stable-matching Voronoi diagram is a solution to the well-known post office problem with the added (realistic) constraint that each post office has a limit on the size of its jurisdiction. Previous work on the stable-matching Voronoi diagram provided existence and uniqueness proofs, but did not analyze its combinatorial or algorithmic complexity. In this paper, we show that a stable-matching Voronoi diagram of $n$ point sites has $O(n^{2+\varepsilon})$ faces and edges, for any $\varepsilon>0$, and show that this bound is almost tight by giving a family of diagrams with $\Theta(n^2)$ faces and edges. We also provide a discrete algorithm for constructing it in $O(n^3\log n+n^2f(n))$ time in the real-RAM model of computation, where $f(n)$ is the runtime of a geometric primitive (which we define) that can be approximated numerically, but cannot, in general, be performed exactly in an algebraic model of computation. We show, however, how to compute the geometric primitive exactly for polygonal convex distance functions.


title: Movie Question Answering: Remembering the Textual Cues for Layered Visual Contents

abstract: Movies provide us with a mass of visual content as well as attracting stories. Existing methods have illustrated that understanding movie stories through only visual content is still a hard problem. In this paper, for answering questions about movies, we put forward a Layered Memory Network (LMN) that represents frame-level and clip-level movie content by the Static Word Memory module and the Dynamic Subtitle Memory module, respectively. Particularly, we firstly extract words and sentences from the training movie subtitles. Then the hierarchically formed movie representations, which are learned from LMN, not only encode the correspondence between words and visual content inside frames, but also encode the temporal alignment between sentences and frames inside movie clips. We also extend our LMN model into three variant frameworks to illustrate the good extendable capabilities. We conduct extensive experiments on the MovieQA dataset. With only visual content as inputs, LMN with frame-level representation obtains a large performance improvement. When incorporating subtitles into LMN to form the clip-level representation, we achieve the state-of-the-art performance on the online evaluation task of 'Video+Subtitles'. The good performance successfully demonstrates that the proposed framework of LMN is effective and the hierarchically formed movie representations have good potential for the applications of movie question answering.