title: CONAN -- COunter NArratives through Nichesourcing: a Multilingual Dataset of Responses to Fight Online Hate Speech

abstract: Although there is an unprecedented effort to provide adequate responses in terms of laws and policies to hate content on social media platforms, dealing with hatred online is still a tough problem. Tackling hate speech in the standard way of content deletion or user suspension may be charged with censorship and overblocking. One alternate strategy, that has received little attention so far by the research community, is to actually oppose hate content with counter-narratives (i.e. informed textual responses). In this paper, we describe the creation of the first large-scale, multilingual, expert-based dataset of hate speech/counter-narrative pairs. This dataset has been built with the effort of more than 100 operators from three different NGOs that applied their training and expertise to the task. Together with the collected data we also provide additional annotations about expert demographics, hate and response type, and data augmentation through translation and paraphrasing. Finally, we provide initial experiments to assess the quality of our data.


title: Parallel Explicit Tube Model Predictive Control

abstract: This paper is about a parallel algorithm for tube-based model predictive control. The proposed control algorithm solves robust model predictive control problems suboptimally, while exploiting their structure. This is achieved by implementing a real-time algorithm that iterates between the evaluation of piecewise affine functions, corresponding to the parametric solution of small-scale robust MPC problems, and the online solution of structured equality constrained QPs. The performance of the associated real-time robust MPC controllers is illustrated by a numerical case study.


title: Nonstandard neutrino interactions at COHERENT, DUNE, T2HK and LHC

abstract: We study how nonstandard neutrino interactions (NSI) may be probed by a combination of coherent elastic neutrino-nucleus scattering, neutrino oscillation and collider data, from COHERENT, DUNE, T2HK and the high-luminosity (HL) LHC. We focus on NSI induced by a new flavored gauge boson $Z'$ in a generic anomaly-free ultraviolet-complete model. For $Z'$ masses above 10 GeV, the HL-LHC has the best sensitivity regardless of the flavor structure of the model. For masses between 0.01 GeV-10 GeV, current LHCb data and future COHERENT data have the best sensitivity unless the $Z'$ couplings to the first and second generation leptons are suppressed, in which case DUNE and T2HK have the best sensitivity. For $Z'$ masses between about 5 MeV-20 MeV, DUNE and T2HK have the best sensitivity. We also show how joint analyses of COHERENT and LHC data may constrain such models.


title: Joint multi-contrast Variational Network reconstruction (jVN) with application to rapid 2D and 3D imaging

abstract: Purpose: To improve the image quality of highly accelerated multi-channel MRI data by learning a joint variational network that reconstructs multiple clinical contrasts jointly. Methods: Data from our multi-contrast acquisition was embedded into the variational network architecture where shared anatomical information is exchanged by mixing the input contrasts. Complementary k-space sampling across imaging contrasts and Bunch-Phase/Wave-Encoding were used for data acquisition to improve the reconstruction at high accelerations. At 3T, our joint variational network approach across T1w, T2w and T2-FLAIR-weighted brain scans was tested for retrospective under-sampling at R=6 (2D) and R=4x4 (3D) acceleration. Prospective acceleration was also performed for 3D data where the combined acquisition time for whole brain coverage at 1 mm isotropic resolution across three contrasts was less than three minutes. Results: Across all test datasets, our joint multi-contrast network better preserved fine anatomical details with reduced image-blurring when compared to the corresponding single-contrast reconstructions. Improvement in image quality was also obtained through complementary k-space sampling and Bunch-Phase/Wave-Encoding where the synergistic combination yielded the overall best performance as evidenced by exemplarily slices and quantitative error metrics. Conclusion: By leveraging shared anatomical structures across the jointly reconstructed scans, our joint multi-contrast approach learnt more efficient regularizers which helped to retain natural image appearance and avoid over-smoothing. When synergistically combined with advanced encoding techniques, the performance was further improved, enabling up to R=16-fold acceleration with good image quality. This should help pave the way to very rapid high-resolution brain exams.


title: Eyenet: Attention based Convolutional Encoder-Decoder Network for Eye Region Segmentation

abstract: With the immersive development in the field of augmented and virtual reality, accurate and speedy eye-tracking is required. Facebook Research has organized a challenge, named OpenEDS Semantic Segmentation challenge for per-pixel segmentation of the key eye regions: the sclera, the iris, the pupil, and everything else (background). There are two constraints set for the participants viz MIOU and the computational complexity of the model. More recently, researchers have achieved quite a good result using the convolutional neural networks (CNN) in segmenting eyeregions. However, the environmental challenges involved in this task such as low resolution, blur, unusual glint and, illumination, off-angles, off-axis, use of glasses and different color of iris region hinder the accuracy of segmentation. To address the challenges in eye segmentation, the present work proposes a robust and computationally efficient attention-based convolutional encoder-decoder network for segmenting all the eye regions. Our model, named EyeNet, includes modified residual units as the backbone, two types of attention blocks and multi-scale supervision for segmenting the aforesaid four eye regions. Our proposed model achieved a total score of 0.974(EDS Evaluation metric) on test data, which demonstrates superior results compared to the baseline methods.


title: Invariants of relatively generic structures on normal surface singularities

abstract: In the present article we work out a relative setup of generic structures on surface singularities. We fix an analytic type on a subgraph of a rational homology sphere resolution graph $\mathcal{T}$ and we choose a relatively generic normal surface singularity $\tX$ with resolution graph $\mathcal{T}$. We provide formulae for the geometric genus and the analytical Poincar\'e series of $\tX$. We determine the base point structure of natural line bundles on $\tX$ and give a lower bound on the multiplicity of $\tX$ which is expected to be sharp. We prove similar results about cohomology numbers of relatively generic line bundles on every singularity with rational homology sphere link.


title: A Machine Learning Model for Long-Term Power Generation Forecasting at Bidding Zone Level

abstract: The increasing penetration level of energy generation from renewable sources is demanding for more accurate and reliable forecasting tools to support classic power grid operations (e.g., unit commitment, electricity market clearing or maintenance planning). For this purpose, many physical models have been employed, and more recently many statistical or machine learning algorithms, and data-driven methods in general, are becoming subject of intense research. While generally the power research community focuses on power forecasting at the level of single plants, in a short future horizon of time, in this time we are interested in aggregated macro-area power generation (i.e., in a territory of size greater than 100000 km^2) with a future horizon of interest up to 15 days ahead. Real data are used to validate the proposed forecasting methodology on a test set of several months.


title: Regularity estimates for the flow of BV autonomous divergence free vector fields in $\mathbb{R}^2$

abstract: We consider the regular Lagrangian flow X associated to a bounded divergence-free vector field b with bounded variation. We prove a Lusin-Lipschitz regularity result for X and we show that the Lipschitz constant grows at most linearly in time. As a consequence we deduce that both geometric and analytical mixing have a lower bound of order $t^{-1}$ as $t \to \infty$.


title: Continuous collapse models on finite dimensional Hilbert spaces

abstract: We review recent results on the dynamics of continuous collapse models (or equivalently continuous measurement models) on finite dimensional Hilbert spaces. We mainly study the pure collapse dynamics, and the competition between collapse and unitary or Lindbladian dynamics. We discuss the ubiquitous emergence of quantum jumps from a continuous stochastic evolution when collapse dominates, and expand on a finer unexpected feature, the quantum spikes.


title: Perturbative Cauchy theory for a flux-incompressible Maxwell-Stefan system

abstract: Recently, the authors proved [2] that the Maxwell-Stefan system with an incompressibility-like condition on the total flux can be rigorously derived from the multi-species Boltzmann equation. Similar cross-diffusion models have been widely investigated, but the particular case of a perturbative incompressible setting around a non constant equilibrium state of the mixture (needed in [2]) seems absent of the literature. We thus establish a quantitative perturbative Cauchy theory in Sobolev spaces for it. More precisely, by reducing the analysis of the Maxwell-Stefan system to the study of a quasilinear parabolic equation on the sole concentrations and with the use of a suitable anisotropic norm, we prove global existence and uniqueness of strong solutions and their exponential trend to equilibrium in a perturbative regime around any macroscopic equilibrium state of the mixture. As a by-product, we show that the equimolar diffusion condition naturally appears from this perturbative incompressible setting.


title: A Distributed Ledger Based Infrastructure for Smart Transportation System and Social Good

abstract: This paper presents a system architecture to promote the development of smart transportation systems. Thanks to the use of distributed ledgers and related technologies, it is possible to create, store and share data generated by users through their sensors, while moving. In particular, IOTA and IPFS are used to store and certify data (and their related metadata) coming from sensors or by the users themselves. Ethereum is exploited as the smart contract platform that coordinates the data sharing and provisioning. The necessary privacy guarantees are provided by the usage of Zero Knowledge Proof. We show some results obtained from some use case scenarios that demonstrate how such technologies can be integrated to build novel smart services and to promote social good in user mobility.


title: Fast Session Resumption in DTLS for Mobile Communications

abstract: DTLS is a protocol that provides security guarantees to Internet communications. It can operate on top of both TCP and UDP transport protocols. Thus, it is particularly suited for peer-to-peer and distributed multimedia applications. The same holds if the endpoints are mobile devices. In this scenario, mechanisms are needed to surmount possible network disconnections, often arising due to the mobility or the scarce resources of devices, that can jeopardize the quality of the communications. Session resumption is thus a main issue to deal with. To this aim, we propose a fast reconnection scheme that employs non-connected sockets to quickly resume DTLS communication sessions. The proposed scheme is assessed in a performance evaluation that confirms its viability.


title: Radio-frequency detected fast charge sensing in undoped silicon quantum dots

abstract: Spin qubits in silicon quantum dots offer a promising platform for a quantum computer as they have a long coherence time and scalability. The charge sensing technique plays an essential role in reading out the spin qubit as well as tuning the device parameters and therefore its performance in terms of measurement bandwidth and sensitivity is an important factor in spin qubit experiments. Here we demonstrate fast and sensitive charge sensing by a radio-frequency reflectometry of an undoped, accumulation-mode Si/SiGe double quantum dot. We show that the large parasitic capacitance in typical accumulation-mode gate geometries impedes reflectometry measurements. We present a gate geometry that significantly reduces the parasitic capacitance and enables fast single-shot readout. The technique allows us to distinguish between the singly- and doubly-occupied two-electron states under the Pauli spin blockade condition in an integration time of 0.8 {\mu}s, the shortest value ever reported in silicon, by the signal-to-noise ratio of 6. These results provide a guideline for designing silicon spin qubit devices suitable for the fast and high-fidelity readout.


title: Impact of climatic, technical and economic uncertainties on the optimal design of a coupled fossil-free electricity, heating and cooling system in Europe

abstract: To limit the global temperature increase to 1.5 degrees Celsius, fossil-free energy systems will be required eventually. To understand how such systems can be designed, the current state-of-the-art is to apply techno-economical optimisation modelling with high spatial and temporal resolution. This approach relies on a number of climatic, technical and economic predictions that reach multiple decades into the future. In this paper, we investigate how the design of a fossil-free energy system for Europe is affected by changes in these assumptions. In particular, the synergy among renewable generators, power-to-heat converters, storage units, synthetic gas and transmission manage to deliver an affordable net-zero emissions system. We find that levelised cost of energy decreases due to heat savings, but not for global temperature increases. In both cases, heat pumps become less favourable as surplus electricity is more abundant for heating. Demand-side management through buildings' thermal inertia could shape the heating demand, yet has modest impact on the system configuration. Cost reductions of heat pumps impact resistive heaters substantially, but not the opposite. Cheaper power-to-gas could lower the need for thermal energy storage.


title: Synthetic fast ion diagnostics in tokamaks: comparing the Monte Carlo test particle code ASCOT against experiments

abstract: Measuring fast ions, most notably fusion alphas, in ITER and future reactors remains an issue that still lacks an adequate solution. Numerical simulations are invaluable in testing the potential and limitations of various proposed diagnostics. However, the validity of the numerical tools first has to be checked against results from existing tokamaks. In this contribution, a variety of synthetic diagnostics for fast ions (collective Thomson scattering, neutral particle analyzer, neutron camera, infrared measurements, fast ion loss detector and activation probe) from the orbit-following Monte Carlo code ASCOT are compared to measurements from several tokamaks (ASDEX Upgrade, DIII-D and JET). Within the limitations of physics included in the numerical model and availability of input data from experiments, the agreement between synthetic data and measurements is found to be quite good.


title: On the rigidity of Zoll magnetic systems on surfaces

abstract: In this paper we study rigidity aspects of Zoll magnetic systems on closed surfaces. We characterize magnetic systems on surfaces of positive genus given by constant curvature metrics and constant magnetic functions as the only magnetic systems such that the associated Hamiltonian flow is Zoll, i.e. every orbit is closed, on every energy level. We also prove the persistence of possibly degenerate closed geodesics under magnetic perturbations in different instances.


title: Early-Stage SEP Acceleration by CME-Driven Shocks with Realistic Seed Spectra: I. Low corona

abstract: An outstanding problem in heliospheric physics is understanding the acceleration of solar energetic particles (SEP) in coronal mass ejections (CMEs) and flares. A fundamental question is whether the acceleration occurs in interplanetary space, or near the Sun. Recent work has shown that CME-driven shocks may produce SEPs while still below 5 solar radii. In this work we explore SEP acceleration during the onset of CMEs and shocks even lower in the corona, using realistic suprathermal spectra, for a selection of events. We have calculated quiet-time, pre-event suprathermal particle spectra from 1 AU observations, and scaled them back to the low corona to serve as seed spectra. For each event, AIA observations and the CASHeW framework were used to model the compressive/shock wave kinematics and its interaction with the corona. The proton acceleration was then modeled using an analytic diffusive shock acceleration model as the shock waves propagate between 1.05 and 1.3 solar radii. We demonstrate the capability of low coronal shock-related EUV waves to accelerate protons to multi-MeV energies in a matter of minutes, in the very early stages of the associated solar eruptions. We find that strong proton energization occurs for high values of the density jump, Alfven Mach number, and shock speed. In future work the results of this early-stage shock acceleration will be used to model the continued acceleration higher in the corona.


title: Understanding Zadimoghaddam's Edge-weighted Online Matching Algorithm: Weighted Case

abstract: This article presents a simplification of Zadimoghaddam's algorithm for the edge-weighted online bipartite matching problem, under the online primal dual framework. In doing so, we obtain an improved competitive ratio of $0.514$. We first combine the online correlated selection (OCS), an ingredient distilled from Zadimoghaddam (2017) by Huang and Tao (2019), and an interpretation of the edge-weighted online bipartite matching problem by Devanur et al. (2016) which we will refer to as the complementary cumulative distribution function (CCDF) viewpoint, to derive an online primal dual algorithm that is $0.505$-competitive. Then, we design an improved OCS which gives the $0.514$ ratio.


title: Similarity solutions for the Wheeler-DeWitt equation in $f\left( R\right) $-cosmology

abstract: In the case of a spatially flat Friedmann--Lema\^{\i}tre--Robertson--Walker universe in $f\left( R\right) $-gravity we write the Wheeler-DeWitt equation of quantum cosmology. The equation depends on the functional form of $f\left( R\right) $. We select to work with four specific functions of $f\left( R\right) $, in which the field equations for the classical models are integrable and solvable through quadratures. For these models, we determine similarity solutions for the Wheeler-DeWitt equation by determine Lie-B\"{a}cklund transformations. In addition we show how the classical limit is recovered by the similarity solutions of the Wheeler-DeWitt equation.


title: Why there are no mappings to infinity under the Collatz map (and similar)

abstract: Following up on earlier work, I suggest why there are no mappings to infinity under the Collatz conjecture, nor under other mappings of the generalization $3n+p$, where $p$ is odd.


title: The IYPT and the Ring Oiler Problem

abstract: The International Young Physicists' Tournament (IYPT) continued in 2018 in Beijing, China and 2019 in Warsaw, Poland with its 31\ts{st} and 32\ts{nd} editions. IYPT is a modern scientific competition for teams of high school students, also known as the Physics World Cup. It involves long time theoretical and experimental work focused on solving 17 publicly announced open ended problems in a teams of five. On top of that, teams have to present their solutions in front of other teams and scientific jury and get opposed and reviewed by their peers. Here we present a brief information about the competition with a specific focus on one of the IYPT 2018 tasks - the Ring Oiler. This seemingly simple mechanical problem appeared to be of such a complexity that even the dozens of participating teams and jurying scientists were not able to solve all of its subtleties.


title: Aligning Multilingual Word Embeddings for Cross-Modal Retrieval Task

abstract: In this paper, we propose a new approach to learn multimodal multilingual embeddings for matching images and their relevant captions in two languages. We combine two existing objective functions to make images and captions close in a joint embedding space while adapting the alignment of word embeddings between existing languages in our model. We show that our approach enables better generalization, achieving state-of-the-art performance in text-to-image and image-to-text retrieval task, and caption-caption similarity task. Two multimodal multilingual datasets are used for evaluation: Multi30k with German and English captions and Microsoft-COCO with English and Japanese captions.


title: Digit frequencies of beta-expansions

abstract: Let $\beta>1$ be a non-integer. First we show that Lebesgue almost every number has a $\beta$-expansion of a given frequency if and only if Lebesgue almost every number has infinitely many $\beta$-expansions of the same given frequency. Then we deduce that Lebesgue almost every number has infinitely many balanced $\beta$-expansions, where an infinite sequence on the finite alphabet $\{0,1,\cdots,m\}$ is called balanced if the frequency of the digit $k$ is equal to the frequency of the digit $m-k$ for all $k\in\{0,1,\cdots,m\}$. Finally we consider variable frequency and prove that for every pseudo-golden ratio $\beta\in(1,2)$, there exists a constant $c=c(\beta)>0$ such that for any $p\in[\frac{1}{2}-c,\frac{1}{2}+c]$, Lebesgue almost every $x$ has infinitely many $\beta$-expansions with frequency of zeros equal to $p$.


title: The conjugate gradient method with various viewpoints

abstract: Connections of the conjugate gradient (CG) method with other methods in computational mathematics are surveyed, including the connections with the conjugate direction method, the subspace optimization method and the quasi-Newton method BFGS in numrical optimization, and the Lanczos method in numerical linear algebra. Two sequences of polynomials related to residual vectors and conjugate vectors are reviewed, where the residual polynomials are similar to orthogonal polynomials in the approximation theory and the roots of the polynomials reveal certain information of the coefficient matrix. The convergence rates of the steepest descent and CG are reconsidered in a viewpoint different from textbooks. The connection of infinite dimensional CG with finite dimensional preconditioned CG is also reviewed via numerical solution of an elliptic equation.


title: An Adaptive Sample Size Trust-Region Method for Finite-Sum Minimization

abstract: We propose a trust-region method for finite-sum minimization with an adaptive sample size adjustment technique, which is practical in the sense that it leads to a globally convergent method that shows strong performance empirically without the need for experimentation by the user. During the optimization process, the size of the samples is adaptively increased (or decreased) depending on the progress made on the objective function. We prove that after a finite number iterations the sample includes all points from the data set and the method becomes a full-batch trust-region method. Numerical experiments on convex and nonconvex problems support our claim that our algorithm has significant advantages compared to current state-of-the-art methods.


title: Conceptualize and Infer User Needs in E-commerce

abstract: Understanding latent user needs beneath shopping behaviors is critical to e-commercial applications. Without a proper definition of user needs in e-commerce, most industry solutions are not driven directly by user needs at current stage, which prevents them from further improving user satisfaction. Representing implicit user needs explicitly as nodes like "outdoor barbecue" or "keep warm for kids" in a knowledge graph, provides new imagination for various e- commerce applications. Backed by such an e-commerce knowledge graph, we propose a supervised learning algorithm to conceptualize user needs from their transaction history as "concept" nodes in the graph and infer those concepts for each user through a deep attentive model. Offline experiments demonstrate the effectiveness and stability of our model, and online industry strength tests show substantial advantages of such user needs understanding.


title: A Global Newton-Type Scheme Based on a Simplified Newton-Type Approach

abstract: Globalization concepts for Newton-type iteration schemes are widely used when solving nonlinear problems numerically. Most of these schemes are based on a predictor/corrector step size methodology with the aim of steering an initial guess to a zero of $f$ without switching between different attractors. In doing so, one is typically able to reduce the chaotic behavior of the classical Newton-type iteration scheme. In this note we propose a globalization methodology for general Newton-type iteration concepts which changes into a simplified Newton iteration as soon as the transformed residual of the underlying function is small enough. Based on Banach's fixed-point theorem, we show that there exists a neighborhood around a suitable iterate $x_{n}$ such that we can steer the iterates---without any adaptive step size control but using a simplified Newton-type iteration within this neighborhood---arbitrarily close to an exact zero of $f$. We further exemplify the theoretical result within a global Newton-type iteration procedure and discuss further an algorithmic realization. Our proposed scheme will be demonstrated on a low-dimensional example thereby emphasizing the advantage of this new solution procedure.


title: Accessing the gluonic structure of light nuclei at the Electron Ion Collider

abstract: We show how exclusive vector meson production off light ions can be used to probe the spatial distribution of small-$x$ gluons in the deuteron and $^3$He wave functions. In particular, we demonstrate how short range repulsive nucleon-nucleon interactions affect the predicted coherent $J/\Psi$ production spectra. Fluctuations of the nucleon substructure are shown to have a significant effect on the incoherent cross section above $|t|\gtrsim 0.2\,\mathrm{GeV}^2$. By explicitly performing the JIMWLK evolution, we predict the $x$-dependence of coherent and incoherent cross sections in the EIC energy range. Besides the increase of the average size of the nucleus with decreasing $x$, both the growth of the nucleons and subnucleonic hot spots are visible in the cross sections. The decreasing length scale of color charge fluctuations with decreasing $x$ is also present, but may not be observable for $|t|<1\,\mathrm{GeV}^2$, if subnucleonic spatial fluctuations are present.


title: A new continuum model for general relativistic viscous heat-conducting media

abstract: The lack of formulation of macroscopic equations for irreversible dynamics of viscous heat-conducting media compatible with the causality principle of Einstein's Special Relativity and the Euler-Lagrange structure of General Relativity is a long-lasting problem. In this paper, we propose a possible solution to this problem in the framework of SHTC equations. The approach does not rely on postulates of equilibrium irreversible thermodynamics but treats irreversible processes from the non-equilibrium point of view. Thus, each transfer process is characterized by a characteristic velocity of perturbation propagation in the non-equilibrium state, as well as by an intrinsic time/length scale of the dissipative dynamics. The resulting system of governing equations is formulated as a first-order system of hyperbolic equations with relaxation-type irreversible terms. Via a formal asymptotic analysis, we demonstrate that classical transport coefficients such as the viscosity and heat conductivity are recovered in leading terms of our theory as effective transport coefficients. Some numerical examples are presented in order to demonstrate the viability of the approach.


title: Distribution Dependent SDEs with H\"{o}lder Continuous Drift and $\alpha$-Stable Noise

abstract: In this paper, the existence and uniqueness of the distribution dependent SDEs with H\"{o}lder continuous drift driven by $\alpha$-stable process is investigated. Moreover, by using Zvonkin type transformation, the convergence rate of Euler-Maruyama method is also obtained. The results cover the ones in the case of distribution independent SDEs.


title: Quantization of time and the big bang via scale-invariant loop gravity

abstract: We consider the background-independent quantization of a general scale-invariant theory of gravity with matter, which supports a conserved Weyl current recently suggested as a natural flow of time. For scalar-metric systems, a conformal class of Ashtekar-Barbero connection variables is constructed, which can be quantized using spin networks. Crucially, the quantum states become separable into the eigen states of the generator of the scale transformation and spin-network states in the Einstein frame. The eigen values consist of additional quantum numbers including a new type of fundamental frequency $\omega$ and energy $E = \hbar \omega$ with respect to a new local time $\tau$ carried by every spin-network vertex. The discretely distributed $\tau$ values as the "quanta of time" correspond to a functional time related to the integrated Weyl current in the classical theory. The Immirzi ambiguity of loop quantum geometry is removed by scale symmetry. To probe the quantum behaviour of the early Universe, the new formalism is applied to a scale-invariant homogenous and isotropic cosmological model coupled to a doublet of scalars with illustrative numerical simulations. The Einstein-frame volume is quantized in recently improved and regularized polymer representations with an arbitrary Immirzi parameter. The resulting unitary evolution of the quantum state of an expanding universe has a positive energy spectrum. A rescaling of the Immirzi parameter is equivalent to a translation in time without changing dynamics. The big bang can be identified in the past time limit when the expectation values of the Jordan-frame volume tend to zero. Remarkably, the quantized big bang is not replaced by a big bounce---a prevalent scenario in present loop quantum cosmology.


title: Geometric Hydrodynamics: from Euler, to Poincar\'e, to Arnold

abstract: These are lecture notes for a short winter course at the Department of Mathematics, University of Coimbra, Portugal, December 6--8, 2018. The course was part of the 13th International Young Researchers Workshop on Geometry, Mechanics and Control. In three lectures I trace the work of three heroes of mathematics and mechanics: Euler, Poincar\'e, and Arnold. This leads up to the aim of the lectures: to explain Arnold's discovery from 1966 that solutions to Euler's equations for the motion of an incompressible fluid correspond to geodesics on the infinite-dimensional Riemannian manifold of volume preserving diffeomorphisms. In many ways, this discovery is the foundation for the field of geometric hydrodynamics, which today encompasses much more than just Euler's equations, with deep connections to many other fields such as optimal transport, shape analysis, and information theory.


title: Active hard-spheres in infinitely many dimensions

abstract: Few equilibrium --even less so nonequilibrium-- statistical-mechanical models with continuous degrees of freedom can be solved exactly. Classical hard-spheres in infinitely many space dimensions are a notable exception. We show that even without resorting to a Boltzmann distribution, dimensionality is a powerful organizing device to explore the stationary properties of active hard-spheres evolving far from equilibrium. In infinite dimensions, we compute exactly the stationary state properties that govern and characterize the collective behavior of active hard-spheres: the structure factor and the equation of state for the pressure. In turn, this allows us to account for motility-induced phase-separation. Finally, we determine the crowding density at which the effective propulsion of a particle vanishes.


title: Remarks on the regularity of quasislits

abstract: A quasislit is the image of a vertical line segment [0, iy], y > 0, under a quasiconformal homeomorphism of the upper half-plane fixing infinity. Quasislits correspond precisely to curves generated by the Loewner equation with a driving function in the Lip-1/2 class. It is known that a quasislit is contained in a cone depending only on its Loewner driving function Lip-1/2 seminorm, s. In this note we use the Loewner equation to give quantitative estimates on the opening angle of this cone in the full range s <4. The estimate is shown to be sharp for small s. As consequences, we derive explicit H\"older exponents for s < 4 as well as estimates on winding rates. We also relate quantitatively the Lip-1/2 seminorm with the quasiconformal dilatation and discuss the optimal regularity of quasislits achievable through reparametrization.


title: Inhomogeneous higher-order summary statistics for linear network point processes

abstract: We introduce the notion of intensity reweighted moment pseudostationary point processes on linear networks. Based on arbitrary general regular linear network distances, we propose geometrically corrected versions of different higher-order summary statistics, including the inhomogeneous empty space function, the inhomogeneous nearest neighbour distance distribution function and the inhomogeneous $J$-function. We also discuss their non-parametric estimators. Through a simulation study, considering models with different types of spatial interaction, we study the performance of our proposed summary statistics. Finally, we make use of our methodology to analyse two datasets: motor vehicle traffic accidents and spider data.


title: Computational complexity of learning algebraic varieties

abstract: We analyze the complexity of fitting a variety, coming from a class of varieties, to a configuration of points in $\Bbb C^n$. The complexity measure, called the algebraic complexity, computes the Euclidean Distance Degree (EDdegree) of a certain variety called the hypothesis variety as the number of points in the configuration increases. For the problem of fitting an $(n-1)$-sphere to a configuration of $m$ points in $\Bbb C^n$, we give a closed formula of the algebraic complexity of the hypothesis variety as $m$ grows for the case of $n=1$. For the case $n>1$ we conjecture a generalization of this formula supported by numerical experiments.


title: Nonlinear stability of homothetically shrinking Yang-Mills solitons in the equivariant case

abstract: We study the heat flow for Yang-Mills connections on $\mathbb R^d \times SO(d)$. It is well-known that in dimensions $5 \leq d \leq 9$ this model admits homothetically shrinking solitons, i.e., self-similar blowup solutions, with an explicit example given by Weinkove \cite{Wei04}. We prove the nonlinear asymptotic stability of the Weinkove solution under small equivariant perturbations and thus extend a result by the second author and Donninger for $d=5$ to higher dimensions. At the same time, we provide a general framework for proving stability of self-similar blowup solutions to a large class of semilinear heat equations in arbitrary space dimension $d \geq 3$, including a robust and simple method for solving the underlying spectral problems.


title: Morphology Control of Epitaxial Monolayer Transition Metal Dichalcogenides

abstract: To advance fundamental understanding, and ultimate application, of transition-metal dichalcogenide (TMD) monolayers, it is essential to develop capabilities for the synthesis of high-quality single-layer samples. Molecular beam epitaxy (MBE), a leading technique for the fabrication of the highest-quality epitaxial films of conventional semiconductors has, however, typically yielded only small grain sizes and sub-optimal morphologies when applied to the van der Waals growth of monolayer TMDs. Here, we present a systematic study on the influence of adatom mobility, growth rate, and metal:chalcogen flux on the growth of NbSe2, VSe2 and TiSe2 using MBE. Through this, we identify the key drivers and influence of the adatom kinetics that control the epitaxial growth of TMDs, realising four distinct morphologies of the as-grown compounds. We use this to determine optimised growth conditions for the fabrication of high-quality monolayers, ultimately realising the largest grain sizes of monolayer TMDs that have been achieved to date via MBE growth.


title: Cloud-cloud collisions in the common foot point of molecular loops 1 and 2 in the Galactic Center

abstract: Recent large-area, deep CO surveys in the Galactic disk have revealed the formation of ~50 high-mass stars or clusters triggered by cloud-cloud collisions (CCCs). Although the Galactic Center (GC) -- which contains the highest volume density of molecular gas -- is the most favorable place for cloud collisions, systematic studies of CCCs in that region are still untouched. Here we report for the first time evidence of CCCs in the common foot point of molecular loops 1 and 2 in the GC. We have investigated the distribution of molecular gas toward the foot point by using a methodology for identifying CCCs, and we have discovered clear signatures of CCCs. Using the estimated displacements and relative velocities of the clouds, we find the elapsed time since the beginnings of the collisions to be 105-6 yr. We consider possible origins for previously reported peculiar velocity features in the foot point and discuss star formation triggered by CCCs in the GC.


title: Local Stability and Lyapunov Functionals for n-Dimensional Quasipolynomial Conservative Systems

abstract: We present a method for determining the local stability of equilibrium points of conservative generalizations of the Lotka-Volterra equations. These generalizations incorporate both an arbitrary number of species -including odd-dimensional systems- and nonlinearities of arbitrarily high order in the interspecific interaction terms. The method combines a reformulation of the equations in terms of a Poisson structure and the construction of their Lyapunov functionals via the energy-Casimir method. These Lyapunov functionals are a generalization of those traditionally known for Lotka-Volterra systems. Examples are given.

categories: math.DS math-ph math.MP math.SG nlin.SI physics.bio-ph


title: Visual Abstraction

abstract: In this article we revisit the concept of abstraction as it is used in visualization and put it on a solid formal footing. While the term \emph{abstraction} is utilized in many scientific disciplines, arts, as well as everyday life, visualization inherits the notion of data abstraction or class abstraction from computer science, topological abstraction from mathematics, and visual abstraction from arts. All these notions have a lot in common, yet there is a major discrepancy in the terminology and basic understanding about visual abstraction in the context of visualization. We thus root the notion of abstraction in the philosophy of science, clarify the basic terminology, and provide crisp definitions of visual abstraction as a process. Furthermore, we clarify how it relates to similar terms often used interchangeably in the field of visualization. Visual abstraction is characterized by a conceptual space where this process exists, by the purpose it should serve, and by the perceptual and cognitive qualities of the beholder. These characteristics can be used to control the process of visual abstraction to produce effective and informative visual representations.


title: One solution of the 3D Jacobi identities allows determining an infinity of them

abstract: It is demonstrated that the knowledge of a single and arbitrary solution of the three-dimension\-al Jacobi equations allows determining infinite families of new solutions, which are generally and explicitly constructed in what follows. Examples are given.

categories: math-ph math.AP math.MP math.SG nlin.SI physics.class-ph


title: Quantum optimal transport for approximately finite-dimensional $C^{*}$-algebras

abstract: We introduce quantum optimal transport of states on tracial AF-$C^{*}$-algebras to study non-spatial transport of quantum information, and view it as the pointwise case of a general parametrised one. We define quantum optimal transport distances as dynamic transport distances in a tracial but non-ergodic and infinite-dimensional quantum setting, called AF-$C^{*}$-setting. We further extend foundational results of Carlen and Maas to the AF-$C^{*}$-setting and develop a theory of quantum optimal transport yielding non-spatial lower Ricci bounds suitable for meaningful geometric analysis. Essential for our discussion is a coarse graining process arising from the underlying metric geometry as encoding scheme of the given tracial AF-$C^{*}$-algebra. In the logarithmic mean setting, we apply the coarse graining process to show equivalence of the EVI$_{\lambda}$-gradient flow property for quantum relative entropy, its strong geodesic $\lambda$-convexity, a, possibly infinite-dimensional, Bakry-\'Emery condition, and a Hessian lower bound condition. We then define lower Ricci bounds of our quantum gradients using any one of said equivalent conditions, give sufficient conditions for lower Ricci bounds of direct sum quantum gradients and, assuming lower Ricci bounds, derive functional inequalities HWI$_{\lambda}$, MLSI$_{\lambda}$ and TW$_{\lambda}$ in the AF-$C^{*}$-setting alongside their chain of implications. Fundamental example classes give quantum optimal transport of normal states on hyperfinite factors of type I and II with both non-negative and strictly positive lower Ricci bounds. An application is given by first and second quantisation of spectral triples.


title: Multilevel Modelling and Domain-Specific Languages

abstract: Modern software engineering deals with demanding problems that yield large and complex software. The area of Model-Driven Software Engineering tackles this issue by using models during the development process, but it does not address some of the communication problems among different stakeholders. Domain-Specific Modelling Languages (DSML) aim at involving domain experts with non-technical profiles in that process. DSMLs define concepts with different levels of abstraction, but traditional modelling does not allow enough flexibility to organise them adequately. Multilevel Modelling (MLM) approaches provide an unbounded number of levels of abstraction, plus other features that perfectly fit DSMLs. Their development can also benefit from Model Transformations (MT), especially when these encode the behaviour of DSMLs. MTs can be exploited by MLM, becoming a precise and reusable definition of behaviour. This thesis presents a MLM and Multilevel MT approach which tackles open issues in the field and compares it with the state of the art through literature review and experiments, providing its formalisation and its implementation in the tool MultEcore, together with case studies.


title: New solutions of the Jacobi equations for three-dimensional Poisson structures

abstract: A systematic investigation of the skew-symmetric solutions of the three-dimensional Jacobi equations is presented. As a result, three disjoint and complementary new families of solutions are characterized. Such families are very general, thus unifying many different and well-known Poisson structures seemingly unrelated which now appear embraced as particular cases of a more general solution. This unification is not only conceptual but allows the development of algorithms for the explicit determination of important properties such as the symplectic structure, the Casimir invariants and the Darboux canonical form, which are known only for a limited sample of Poisson structures. These common procedures are thus simultaneously valid for all the particular cases which can now be analyzed in a unified and more economic framework, instead of using a case-by-case approach. In addition, the methods developed are valid globally in phase space, thus ameliorating the usual scope of Darboux' reduction which is only of local nature. Finally, the families of solutions found present some new nonlinear superposition principles which are characterized.


title: Quantum linear network coding for entanglement distribution in restricted architectures

abstract: In this paper we propose a technique for distributing entanglement in architectures in which interactions between pairs of qubits are constrained to a fixed network $G$. This allows for two-qubit operations to be performed between qubits which are remote from each other in $G$, through gate teleportation. We demonstrate how adapting \emph{quantum linear network coding} to this problem of entanglement distribution in a network of qubits can be used to solve the problem of distributing Bell states and GHZ states in parallel, when bottlenecks in $G$ would otherwise force such entangled states to be distributed sequentially. In particular, we show that by reduction to classical network coding protocols for the $k$-pairs problem or multiple multicast problem in a fixed network $G$, one can distribute entanglement between the transmitters and receivers with a Clifford circuit whose quantum depth is some (typically small and easily computed) constant, which does not depend on the size of $G$, however remote the transmitters and receivers are, or the number of transmitters and receivers. These results also generalise straightforwardly to qudits of any prime dimension. We demonstrate our results using a specialised formalism, distinct from and more efficient than the stabiliser formalism, which is likely to be helpful to reason about and prototype such quantum linear network coding circuits.


title: Physics Computational Literacy: An Exploratory Case Study Using Computational Essays

abstract: Computation is becoming an increasingly important part of physics education. However, there are currently few theories of learning that can be used to help explain and predict the unique challenges and affordances associated with computation in physics. In this study, we adapt the existing theory of computational literacy, which posits that computational learning can be divided into material, cognitive, and social aspects, to the context of undergraduate physics. Based on an exploratory study of undergraduate physics computational literacy, using a newly-developed teaching tool known as a computational essay, we have identified a variety of student practices, knowledge, and beliefs across these three aspects of computational literacy. We illustrate these categories with data collected from students who engaged in an initial implementation of computational essays in an introductory electricity and magnetism class. We conclude by arguing that this framework can be used to theoretically diagnose student difficulties with computation, distinguish educational approaches that focus on material vs. cognitive aspects of computational literacy, and highlight the benefits and limitations of open-ended projects like computational essays to student learning.


title: Orbital Nernst Effect of Magnons

abstract: In the past, magnons have been shown to mediate thermal transport of spin in various systems. Here, we reveal that the fundamental coupling of scalar spin chirality, inherent to magnons, to the electronic degrees of freedom in the system can result in the generation of sizeable orbital magnetization and thermal transport of orbital angular momentum. We demonstrate the emergence of the latter phenomenon of orbital Nernst effect by referring to the spin-wave Hamiltonian of kagome ferromagnets, predicting that in a wide range of systems the transverse current of orbital angular momentum carried by magnons in response to an applied temperature gradient can overshadow the accompanying spin current. We suggest that the discovered effect fundamentally correlates with the topological Hall effect of fluctuating magnets, and it can be utilized in magnonic devices for generating magnonic orbital torques.


title: Interpretation of the observed $\Lambda_b(6146)^0$ and $\Lambda_b(6152)^0$ states as 1$D$ bottom baryons

abstract: The measured masses and strong decays of $\Lambda_b(6146)^0$ and $\Lambda_b(6152)^0$ required us to decode them as the 1$D$ excited states with $J^P=3/2^+$ and $J^P=5/2^+$, respectively. Under the suggested assignment, the masses and total decay widths of $\Lambda_b(6146)^0$ and $\Lambda_b(6152)^0$ can be explained. As a $J^P=3/2^+$ state, the $\Lambda_b(6146)^0$ should mainly decay into $\Sigma_b(5815)\pi$. However, this theoretical result is in contradiction to the measurement since no significant $\Lambda_b(6146)^0\rightarrow\Sigma_b(5815)^\pm\pi^\mp$ signals were observed by the LHCb. The possible explanations to this difficulty are mentioned. For completeness, we present the prediction of masses and decay widths of other unseen 1$D$ bottom baryons in this work. Our results could provide some important clues for the upcoming experiments.


title: Comprehensive Characterization of Solar Eruptions With Remote and In-Situ Observations, and Modeling: The Major Solar Events on 4 November 2015

abstract: Solar energetic particles (SEPs) are an important product of solar activity. They are connected to solar active regions and flares, coronal mass ejections (CMEs), EUV waves, shocks, Type II and III radio emissions, and X-ray bursts. These phenomena are major probes of the partition of energy in solar eruptions, as well as for the organization, dynamics, and relaxation of coronal and interplanetary magnetic fields. Many of these phenomena cause terrestrial space weather, posing multiple hazards for humans and their technology from space to the ground. Since particular flares, shocks, CMEs, and EUV waves produce SEP events but others do not, since propagation effects from the low corona to 1 AU appear important for some events but not others, and since Type II and III radio emissions and X-ray bursts are sometimes produced by energetic particles leaving these acceleration sites, it is necessary to study the whole system with a multi-frequency and multi-instrument perspective that combines both in-situ and remote observations with detailed modelling of phenomena. This article demonstrates this comprehensive approach, and shows its necessity, by analysing a trio of unusual and striking solar eruptions, radio and X-ray bursts, and SEP events that occurred on 4 November 2015. These events show both strong similarities and differences from standard events and each other, despite having very similar interplanetary conditions and only two are sites and CME genesis regions. They are therefore major targets for further in-depth observational studies, and for testing both existing and new theories and models. Based on the very limited modelling available we identify the aspects that are and are not understood, and we discuss ideas that may lead to improved understanding of the SEP, radio, and space-weather events.


title: One-To-Many Multilingual End-to-end Speech Translation

abstract: Nowadays, training end-to-end neural models for spoken language translation (SLT) still has to confront with extreme data scarcity conditions. The existing SLT parallel corpora are indeed orders of magnitude smaller than those available for the closely related tasks of automatic speech recognition (ASR) and machine translation (MT), which usually comprise tens of millions of instances. To cope with data paucity, in this paper we explore the effectiveness of transfer learning in end-to-end SLT by presenting a multilingual approach to the task. Multilingual solutions are widely studied in MT and usually rely on ``\textit{target forcing}'', in which multilingual parallel data are combined to train a single model by prepending to the input sequences a language token that specifies the target language. However, when tested in speech translation, our experiments show that MT-like \textit{target forcing}, used as is, is not effective in discriminating among the target languages. Thus, we propose a variant that uses target-language embeddings to shift the input representations in different portions of the space according to the language, so to better support the production of output in the desired target language. Our experiments on end-to-end SLT from English into six languages show important improvements when translating into similar languages, especially when these are supported by scarce data. Further improvements are obtained when using English ASR data as an additional language (up to $+2.5$ BLEU points).


title: Accretion disc by Roche lobe overflow in the supergiant fast X-ray transient IGR J08408-4503

abstract: Supergiant fast X-ray transients (SFXTs) are X-ray binary systems with a supergiant companion and likely a neutron star, which show a fast ($\sim 10^3$ s) and high variability with a dynamic range up to $10^{5-6}$. Given their extreme properties, they are considered among the most valuable laboratories to test accretion models. Recently, the orbital parameters of a member of this class, IGR J08408-4503, were obtained from optical observations. We used this information, together with X-ray observations from previous publications and new results from X-ray and optical data collected by INTEGRAL and presented in this work, to study the accretion mechanisms at work in IGR J08408-4503. We found that the high eccentricity of the compact object orbit and the large size of the donor star imply Roche lobe overflow (RLO) around the periastron. It is also likely that a fraction of the outer layers of the photosphere of the donor star are lost from the Lagrangian point $L_2$ during the periastron passages. On the basis of these findings, we discuss the flaring variability of IGR J08408-4503 assuming the presence of an accretion disc. We point out that IGR J08408-4503 may not be the only SFXT with an accretion disc fueled by RLO. These findings open a new scenario for accretion mechanisms in SFXTs, since most of them have so far been based on the assumption of spherically symmetric accretion.


title: Integrated Process Planning and Scheduling in Commercial Smart Kitchens

abstract: This paper describes the possibility of applying a generic, cloud-based Optimisation as a Service facility to food cooking planning and scheduling in a commercial kitchen. We propose a chromosome encoding and customisation of the classic MOEA/D multi-objective genetic algorithm. The applicability of the proposed approach is evaluated experimentally for two scenarios different with respect to the number of cooking appliances and the amount of the ordered food. The proposed system managed to determine the trade-offs between cooking time, energy dissipation and food quality.


title: Multimode Fock states with large photon number: effective descriptions and applications in quantum metrology

abstract: We develop general tools to characterise and efficiently compute relevant observables of multimode $N$-photon states generated in non-linear decays in one-dimensional waveguides. We then consider optical interferometry in a Mach-Zender interferometer where a $d$-mode photonic state enters in each arm of the interferometer. We derive a simple expression for the Quantum Fisher Information in terms of the average photon number in each mode, and show that it can be saturated by number-resolved photon measurements that do not distinguish between the different $d$ modes.


title: FlowDyn: Towards a Dynamic Flowlet Gap Detection using Programmable Data Planes

abstract: Data center networks offer multiple disjoint paths between Top-of-Rack (ToR) switches to connect server racks providing large bisection bandwidth. An effective load-balancing mechanism is required in order to fully utilize the available capacity of the multiple paths. While packet-based load-balancing can achieve high utilization, it suffers from reordering. Flow-based load-balancing such as equal-cost multipath routing (ECMP) spreads traffic uniformly across multiple paths leading to frequent hash collisions and suboptimal performance. Finally, flowlet based load-balancing such as CONGA or HULA splits flows into smaller units, which are sent on different paths. Most flowlet based load-balancing schemes depend on a proper static setting of the flowlet gap, which decides when new flowlets are detected. While a too small gap may lead to reordering, a too large gap results in missed load-balancing opportunities. In this paper, we propose FlowDyn, which dynamically adapts the flowlet gap to increase the efficiency of the load-balancing schemes while avoiding the reordering problem. Using programmable data planes, FlowDyn uses active probes together with telemetry information to track path latency between different ToR switches. FlowDyn calculates dynamically a suitable flowlet gap that can be used for flowlet based load-balancing mechanism. We evaluate FlowDyn extensively in simulation, showing that it achieves 3.19 times smaller flow completion time at 10% load and 1.16x at 90% load.


title: Synchronization along quantum trajectories

abstract: We employ a quantum trajectory approach to characterize synchronization and phase-locking between open quantum systems in nonequilibrium steady states. We exemplify our proposal for the paradigmatic case of two quantum Van der Pol oscillators interacting through dissipative coupling. We show the deep impact of synchronization on the statistics of phase-locking indicators and other correlation measures defined for single trajectories, spotting a link between the presence of synchronization and the emergence of large tails in the probability distribution for the entanglement along trajectories. Our results shed new light on fundamental issues regarding quantum synchronization providing new methods for its precise quantification.


title: New static structures in the strained carbon and boron chains

abstract: We discuss bi-structures with one or two long bonds in the central part of the strained monoatomic chains appearing abruptly as a result of hard bifurcations of the static form with increasing strain above some critical value. Structures of this type were initially revealed in the model of the monoatomic chains with the Lennard-Jones interactions (L-J model). There are well-defined arguments in favor of the fact that the above bi-structures are universal in the sense that they can exist in the finite strained chains of any physical nature. We tested this hypothesis on the strained chains of carbon and boron atoms with the aid of the density functional theory (DFT), using results obtained in the simulation of the L-J model as initial approximation. The properties of these bi-structures, depending on the length of the chains, are investigated in detail. It is assumed that the abrupt change in the electrical properties of strained carbon and boron chains in the vicinity of the bifurcations can be used to create nanodevices within the framework of straintronics.


title: Specialisation of Soergel Bimodules

abstract: We consider a generalisation of the specialisation functor on Soergel bimodules and show that this generalised version still takes Soergel bimodules to Soergel modules.


title: Convergence estimates for the Magnus expansion II. $C^*$-algebras

abstract: We review and provide simplified proofs related to the Magnus expansion, and improve convergence estimates. Observations and improvements concerning the Baker--Campbell--Hausdorff expansion are also made. In this Part II, we consider the case of $C^*$-algebras, i. e. essentially the case of operators on Hilbert spaces. We present the spectral approach to the Magnus expansion in the context of the conformal range (which is a projection of the Davis--Wielandt shell), allowing a more effective approach. This makes possible to clarify certain convergence properties of the BCH expansion related to the critical cumulative norm $\pi$. In particular, we prove that for finite dimensional matrices $A,B$, the norm condition $\|A\|_2+\|B\|_2\leq\pi$ implies that the BCH expansion of $A$ and $B$ is convergent. Several counterexamples regarding convergence of the Magnus and BCH expansions are presented. In the rest, we prove growth estimates for the Magnus expansion in the setting of Hilbert space operators, both in terms of the overall sum and the individuals terms.


title: Minimally entangled typical thermal states with auxiliary matrix-product-state bases

abstract: Finite temperature problems in the strong correlated systems are important but challenging tasks. Minimally entangled typical thermal states (METTS) are a powerful method in the framework of tensor network methods to simulate finite temperature systems, including Fermions and frustrated spins which introduce a sign problem in the typical Monte Carlo methods. In this work, we introduce an extension of the METTS algorithm by using a new basis, the auxiliary matrix product state. This new basis achieves the pre-summation process in the partition function, and thus improve the convergence in the Monte Carlo samplings. The method also has the advantage of simulating the grand canonical ensemble in a computationally efficient way by employing good quantum numbers. We benchmark our method on the spin-$1/2$ XXZ model on the triangular lattice, and show that the new method outperforms the original METTS as well as the purification methods at sufficiently low temperature, the usual range of applications of METTS. The new method also naturally connects the METTS method to the purification method.


title: Convergence estimates for the Magnus expansion III. Banach--Lie algebras

abstract: We review and provide simplified proofs related to the Magnus expansion, and improve convergence estimates. Observations and improvements concerning the Baker--Campbell--Hausdorff expansion are also made. In this Part III, we consider the Banach--Lie algebraic setting. We show how to improve the "standard" convergence bound $\boldsymbol\delta= 2.1737374\ldots$ using the customary generating function / ODE methods. Then we discuss how to achieve better convergence bounds using the resolvent method. The emphasis here is on the variety of the methods, rather than pushing them to the extreme. Nevertheless, regarding the cumulative convergence radii, we show how to establish $2.427<\mathrm C_\infty^{\mathrm{Lie}}\leq 4$ for the Magnus expansion, and $2.93<\mathrm C^{\mathrm{Lie}}_2 \leq 4\sqrt2=5.656\ldots$ for the BCH expansion.


title: An XML-based Factory Description Language for Smart Manufacturing Plants in Industry 4.0

abstract: Industry 4.0 revolution concerns the digital transformation of manufacturing and promises to answer the ever-increasing demand of product customisation and manufacturing flexibility while incurring low costs. To perform the required factory reconfiguration, a computationally demanding optimisation process has to be executed to find favourable solutions in a relatively short time. While previous research focused on planning and scheduling of smart factories based on cloud-based optimisation, little attention has been paid to effective approaches to describe the targeted factory, the required products and the production processes. However, these matters are fundamental for the optimisation engine to be correctly and efficiently performed. This paper presents an XML-based factory modelling language to effectively describe the above data for a given factory and commodity order and to provide a convenient interface for altering the input information. Finally, two real-world manufacturing plants are provided to illustrate the feasibility of the proposed description language.


title: Upper and Lower Bounds for Fully Retroactive Graph Problems

abstract: Classic dynamic data structure problems maintain a data structure subject to a sequence S of updates and they answer queries using the latest version of the data structure, i.e., the data structure after processing the whole sequence. To handle operations that change the sequence S of updates, Demaine et al. (TALG 2007) introduced retroactive data structures. A retroactive operation modifies the update sequence S in a given position t, called time, and either creates or cancels an update in S at time t. A partially retroactive data structure restricts queries to be executed exclusively in the latest version of the data structure. A fully retroactive data structure supports queries at any time t: a query at time t is answered using only the updates of S up to time t. If the sequence S only consists of insertions, the resulting data structure is an incremental retroactive data structure. While efficient retroactive data structures have been proposed for classic data structures, e.g., stack, priority queue and binary search tree, the retroactive version of graph problems are rarely studied. In this paper we study retroactive graph problems including connectivity, minimum spanning forest (MSF), maximum degree, etc. We provide fully retroactive data structures for maintaining the maximum degree, connectivity and MSF in $\tilde{O}(n)$ time per operation. We also give an algorithm for the incremental fully retroactive connectivity with $\tilde{O}(1)$ time per operation. We compliment our algorithms with almost tight hardness results. We show that under the OMv conjecture (proposed by Henzinger et al. (STOC 2015)), there does not exist fully retroactive data structures maintaining connectivity or MSF, or incremental fully retroactive data structure maintaining the maximum degree with $O(n^{1-\epsilon})$ time per operation, for any constant $\epsilon > 0$.


title: Memory-assisted long-distance phase-matching quantum key distribution

abstract: We propose a scheme that generalizes the loss scaling properties of twin-field or phase-matching quantum key distribution (QKD) related to a channel of transmission $\eta_{total}$ from $\sqrt{\eta_{total}}$ to $\sqrt[2n]{\eta_{total}}$ by employing n-1 memory stations with spin qubits and n beam-splitter stations including optical detectors. Our scheme's resource states are similar to the coherent-state-based light-matter entangled states of a previous hybrid quantum repeater, but unlike the latter our scheme avoids the necessity of employing 2n-1 memory stations and writing the transmitted optical states into the matter memory qubits. The full scaling advantage of this memory-assisted phase-matching QKD (MA-PM QKD) is obtainable with threshold detectors in a scenario with only channel loss. We mainly focus on the obtainable secret-key rates per channel use for up to n=4 including memory dephasing and for n=2 (i.e., $\sqrt[4]{\eta_{total}}$-MA-PM QKD assisted by a single memory station) for error models including dark counts, memory dephasing and depolarization, and phase mismatch. By combining the twin-field concept of interfering phase-sensitive optical states with that of storing quantum states up to a cutoff memory time, distances well beyond 700 km with rates well above $\eta_{total}$ can be reached for realistic, high-quality quantum memories (up to 1s coherence time) and modest detector efficiencies. Similarly, the standard single-node quantum repeater, scaling as $\sqrt{\eta_{total}}$, can be beaten when approaching perfect detectors and exceeding spin coherence times of 5s; beating ideal twin-field QKD requires 1s. As for further experimental simplifications, our treatment includes the notion of weak nonlinearities for the light-matter states, a discussion on the possibility of using homodyne detectors, and a comparison between sequential and parallel entanglement distributions.


title: Defective samples simulation through Neural Style Transfer for automatic surface defect segment

abstract: Owing to the lack of defect samples in industrial product quality inspection, trained segmentation model tends to overfit when applied online. To address this problem, we propose a defect sample simulation algorithm based on neural style transfer. The simulation algorithm requires only a small number of defect samples for training, and can efficiently generate simulation samples for next-step segmentation task. In our work, we introduce a masked histogram matching module to maintain color consistency of the generated area and the true defect. To preserve the texture consistency with the surrounding pixels, we take the fast style transfer algorithm to blend the generated area into the background. At the same time, we also use the histogram loss to further improve the quality of the generated image. Besides, we propose a novel structure of segment net to make it more suitable for defect segmentation task. We train the segment net with the real defect samples and the generated simulation samples separately on the button datasets. The results show that the F1 score of the model trained with only the generated simulation samples reaches 0.80, which is better than the real sample result.


title: Unblocking of stellar electron capture for neutron-rich $N=50$ nuclei at finite temperature

abstract: We have calculated electron capture rates for neutron-rich $N=50$ nuclei ($^{78}$Ni, $^{82}$Ge, $^{86}$Kr, $^{88}$Sr) within the Thermal QRPA approach at temperatures $T=0$, corresponding to capture on the ground-state, and at $T=10$ GK (0.86 MeV), which is a typical temperature at which the $N=50$ nuclei are abundant during a supernova collapse. In agreement with recent experiments, we find no Gamow-Teller (GT$_+$) strength at low excitation energies, $E<7$ MeV, caused by Pauli blocking induced by the $N=50$ shell gap. At the astrophysically relevant temperatures this Pauli blocking of the GT$_+$ strength is overcome by thermal excitations across the $Z=40$ proton and $N=50$ neutron shell gaps, leading to a sizable GT contribution to the electron capture. At the high densities, at which the $N=50$ nuclei are important for stellar electron capture, forbidden transitions contribute noticeably to the capture rate. Our results indicate that the neutron-rich $N=50$ nuclei do not serve as an obstacle of electron capture during the supernova collapse.


title: Improving Map Re-localization with Deep 'Movable' Objects Segmentation on 3D LiDAR Point Clouds

abstract: Localization and Mapping is an essential component to enable Autonomous Vehicles navigation, and requires an accuracy exceeding that of commercial GPS-based systems. Current odometry and mapping algorithms are able to provide this accurate information. However, the lack of robustness of these algorithms against dynamic obstacles and environmental changes, even for short time periods, forces the generation of new maps on every session without taking advantage of previously obtained ones. In this paper we propose the use of a deep learning architecture to segment movable objects from 3D LiDAR point clouds in order to obtain longer-lasting 3D maps. This will in turn allow for better, faster and more accurate re-localization and trajectoy estimation on subsequent days. We show the effectiveness of our approach in a very dynamic and cluttered scenario, a supermarket parking lot. For that, we record several sequences on different days and compare localization errors with and without our movable objects segmentation method. Results show that we are able to accurately re-locate over a filtered map, consistently reducing trajectory errors between an average of 35.1% with respect to a non-filtered map version and of 47.9% with respect to a standalone map created on the current session.


title: Hierarchical hidden community detection for protein complex prediction

abstract: Motivation: Discovering functional modules in protein-protein interaction (PPI) networks by optimization methods remains a longstanding challenge in biology. Traditional algorithms simply consider strong protein complexes that can be found in the original network by optimizing some metrics, which causes obstacles for the discovery of weak and hidden complexes shielded by stronger complexes. Also, protein complexes are not only in different density but also in a large range of scale, making it extremely difficult to be detected. Toward this objective, we propose a hierarchical hidden community approach to predict protein complexes. Results: We propose a method called HirHide (Hierarchical Hidden Community Detection), which can be combined with traditional community detection methods to enable them to discover hierarchical hidden communities. It is the first community detection algorithm that can find a hierarchical structure as well as hidden structure. We compare the performance of three traditional methods with their HirHide versions. Experimental results show that the HirHide methods using traditional methods as the base algorithms achieve better performance, sometimes even significantly outperform the baselines.


title: Intermolecular Vibrations Drive Ultrafast Singlet Fission

abstract: Singlet fission is a spin-allowed exciton multiplication process in organic semiconductors that converts one spin-singlet exciton to two triplet excitons. It offers the potential to enhance solar energy conversion by circumventing the Shockley-Queisser limit on efficiency. Recently, the mechanism of the primary singlet fission process in pentacene and its derivatives have been extensively investigated, however, the nature of the primary ultrafast process in singlet fission is still a matter of debate. Here, we study the singlet fission process in a pentacene film by employing a combination of transient-grating (TG) and two-dimensional (2D) electronic spectroscopy complemented by quantum chemical and nonadiabatic dynamics calculations. The high sensitivity of heterodyne detected TG spectroscopy enabled us to capture the vibrational coherence and to show that it mediates the transition from the singlet excited electronic state to the triplet-pair state. This coherent process is further examined by 2D electronic spectroscopy. Detailed analysis of the experimental data reveals that significant vibronic couplings of a few key modes in the low- and high-frequency region connect the excited singlet and triplet-pair states. Based on quantum chemical calculations, we identify these key intermolecular rocking modes along the longitudinal molecular axis between the pentacene molecules. They play the essential role of an electronic bridge between the singlet and triplet-pair states. Along with high-frequency local vibrations acting as tuning modes, these rocking motions drive the ultrafast dynamics at the multidimensional conical intersection in the singlet fission process.


title: Direct Observation of Instantaneous Influence between Entangled Photons

abstract: We investigate direct observation of quantum nonlocality without reference to theoretical models (including Bell theorem) except quantum mechanics, with a bipartite polarization-entangled state in which one photon immediately reduces into a circular-polarization (CP) state after its partner is detected in another CP state. Of essence is the mechanical detection of the CP state of a photon that carries angular momentum and exerts a torque on a half-wave plate whose mechanical motion is then varied. If implemented, the model-independent observation of quantum nonlocality violates Lorentz invariance in experiment and may indicate new fundamental physics beyond the Standard Model.


title: Ray tracing the integrated Sachs-Wolfe effect through the light cones of the Dark Energy Universe Simulation -- Full Universe Runs

abstract: The late integrated Sachs-Wolfe (ISW) effect correlates the Cosmic Microwave Background (CMB) temperature anisotropies with foreground cosmic large-scale structures. As the correlation depends crucially on the growth history in the era of dark energy, it is a key observational probe for constraining the cosmological model. Here we present a detailed study based on full-sky and deep light cones generated from very large volume numerical N-body simulations, which allow us to avoid the use of standard replica techniques, while capturing the entirety of the late ISW effect on the large scales. We post-process the light cones using an accurate ray-tracing method and construct full-sky maps of the ISW temperature anisotropy for three different dark energy models. We quantify in detail the extent to which the ISW effect can be used to discriminate between different dark energy scenarios when cross-correlated with the matter distribution or the CMB lensing potential. We also investigate the onset of non-linearities, the so-called Rees-Sciama effect which provides a complementary probe of the dark sector. We find the signal of the lensing-lensing and ISW-lensing correlation of the three dark energy models to be consistent with measurements from the Planck satellite. Future surveys of the large-scale structures may provide cross-correlation measurements that are sufficiently precise to distinguish the signal of these models. Our methodology is very general and can be applied to any dark energy or modified gravity scenario as long as the metric seen by photons can still be characterized by a Weyl potential.


title: Improved lower bounds on parity vertex colourings of binary trees

abstract: A vertex colouring is called a \emph{parity vertex colouring} if every path in $G$ contains an odd number of occurrences of some colour. Let $\chi_{p}(G)$ be the minimal number of colours in a parity vertex colouring of $G$. We show that $\chi_{p}(B^*) \ge \sqrt{d} + \frac{1}{4} \log_2(d) - \frac{1}{2}$ where $B^*$ is a subdivision of the complete binary tree $B_d$. This improves the previously known bound $\chi_{p}(B^*) \ge \sqrt{d}$ and enhances the techniques used for proving lower bounds. We use this result to show that $\chi_{p}(T) > \sqrt[3]{\log{n}}$ where $T$ is any binary tree with $n$ vertices. These lower bounds are also lower bounds for the conflict-free colouring. We also prove that $\chi_{p}(G)$ is not monotone with respect to minors and determine its value for cycles. Furthermore, we study complexity of computing the parity vertex chromatic number $\chi_{p}(G)$. We show that checking whether a vertex colouring is a parity vertex colouring is coNP-complete. Then we use Courcelle's theorem to prove that the problem of checking whether $\chi_{p}(G) \le k$ is fixed-parameter tractable with respect $k$ and the treewidth of $G$.


title: Polydispersity and surface energy strength in nematic colloids

abstract: We consider a Landau-de Gennes model for a polydisperse, inhomogeneous suspension of colloidal inclusions in a nematic host, in the dilute regime. We study the homogenised limit and compute the effective free energy of the composite material. By suitably choosing the shape of the inclusions and imposing a quadratic, Rapini-Papoular type surface anchoring energy density, we obtain an effective free energy functional with an additional linear term, which may be interpreted as an "effective field" induced by the inclusions. Moreover, we compute the effective free energy in a regime of "very strong anchoring", that is, when the surface energy effects dominate over the volume free energy.


title: Modulated Self-attention Convolutional Network for VQA

abstract: As new data-sets for real-world visual reasoning and compositional question answering are emerging, it might be needed to use the visual feature extraction as a end-to-end process during training. This small contribution aims to suggest new ideas to improve the visual processing of traditional convolutional network for visual question answering (VQA). In this paper, we propose to modulate by a linguistic input a CNN augmented with self-attention. We show encouraging relative improvements for future research in this direction.


title: The Universal Approximation Property

abstract: The universal approximation property of various machine learning models is currently only understood on a case-by-case basis, limiting the rapid development of new theoretically justified neural network architectures and blurring our understanding of our current models' potential. This paper works towards overcoming these challenges by presenting a characterization, a representation, a construction method, and an existence result, each of which applies to any universal approximator on most function spaces of practical interest. Our characterization result is used to describe which activation functions allow the feed-forward architecture to maintain its universal approximation capabilities when multiple constraints are imposed on its final layers and its remaining layers are only sparsely connected. These include a rescaled and shifted Leaky ReLU activation function but not the ReLU activation function. Our construction and representation result is used to exhibit a simple modification of the feed-forward architecture, which can approximate any continuous function with non-pathological growth, uniformly on the entire Euclidean input space. This improves the known capabilities of the feed-forward architecture.


title: Understanding the Performance of Bluetooth Mesh: Reliability, Delay and Scalability Analysis

abstract: This article evaluates the quality-of-service performance and scalability of the recently released Bluetooth Mesh protocol and provides general guidelines on its use and configuration. Through extensive simulations, we analyzed the impact of the configuration of all the different protocol's parameters on the end-to-end reliability, delay, and scalability. In particular, we focused on the structure of the packet broadcast process, which takes place in time intervals known as \textit{Advertising Events} and \textit{Scanning Events}. Results indicate a high degree of interdependence among all the different timing parameters involved in both the scanning and the advertising processes and show that the correct operation of the protocol greatly depends on the compatibility between their configurations. We also demonstrated that introducing randomization in these timing parameters, as well as varying the duration of the \textit{Advertising Events}, reduces the drawbacks of the flooding propagation mechanism implemented by the protocol. Using data collected from a real office environment, we also studied the behavior of the protocol in the presence of WLAN interference. It was shown that Bluetooth Mesh is vulnerable to external interference, even when implementing the standardized limitation of using only 3 out of the 40 Bluetooth Low Energy frequency channels. We observed that the achievable average delay is relatively low, of around 250~ms for over 10 hops under the worst simulated network conditions. However, results proved that scalability is especially challenging for Bluetooth Mesh since it is prone to broadcast storm, hindering the communication reliability for denser deployments.


title: A direct approach to detection and attribution of climate change

abstract: We present here a novel statistical learning approach for detection and attribution (D&A) of climate change. Traditional optimal D&A studies try to directly model the observations from model simulations, but practically this is challenging due to high-dimensionality. Dimension reduction techniques reduce the dimensionality, typically using empirical orthogonal functions, but as these techniques are unsupervised, the reduced space considered is somewhat arbitrary. Here, we propose a supervised approach where we predict a given external forcing, e.g., anthropogenic forcing, directly from the spatial pattern of climate variables, and use the predicted forcing as a test statistic for D&A. We want the prediction to work well even under changes in the distribution of other external forcings, e.g., solar or volcanic forcings, and therefore formulate the optimization problem from a distributional robustness perspective.


title: The String Geometry Behind Topological Amplitudes

abstract: It is shown that the generating function of $\mathscr{N}=2$ topological strings, in the heterotic weak coupling limit, is identified with the partition function of a six-dimensional Melvin background. This background, which corresponds to an exact CFT, realises in string theory the six-dimensional $\varOmega$-background of Nekrasov, in the case of opposite deformation parameters $\epsilon_1=-\epsilon_2$, thus providing the known perturbative part of the Nekrasov partition function in the field theory limit. The analysis is performed on both heterotic and type I strings and for the cases of ordinary $\mathscr{N}=2$ and $\mathscr{N}=2^*$ theories.


title: An Excision Theorem for Persistent Homology

abstract: We demonstrate that an excision property holds for persistent homology groups. This property holds for a large class of filtrations, and in fact we show that given any filtration on a larger space, we can extend it to a filtration of two subspaces which guarantees that the excision property holds for the triple. This method also applies to the Mayer-Vietoris sequence in persistent homology introduced by DiFabio and Landi in 2011, extending their results to a much larger class of filtrations.


title: Analysis of an Automated Machine Learning Approach in Brain Predictive Modelling: A data-driven approach to Predict Brain Age from Cortical Anatomical Measures

abstract: The use of machine learning (ML) algorithms has significantly increased in neuroscience. However, from the vast extent of possible ML algorithms, which one is the optimal model to predict the target variable? What are the hyperparameters for such a model? Given the plethora of possible answers to these questions, in the last years, automated machine learning (autoML) has been gaining attention. Here, we apply an autoML library called TPOT which uses a tree-based representation of machine learning pipelines and conducts a genetic-programming based approach to find the model and its hyperparameters that more closely predicts the subject's true age. To explore autoML and evaluate its efficacy within neuroimaging datasets, we chose a problem that has been the focus of previous extensive study: brain age prediction. Without any prior knowledge, TPOT was able to scan through the model space and create pipelines that outperformed the state-of-the-art accuracy for Freesurfer-based models using only thickness and volume information for anatomical structure. In particular, we compared the performance of TPOT (mean accuracy error (MAE): $4.612 \pm .124$ years) and a Relevance Vector Regression (MAE $5.474 \pm .140$ years). TPOT also suggested interesting combinations of models that do not match the current most used models for brain prediction but generalise well to unseen data. AutoML showed promising results as a data-driven approach to find optimal models for neuroimaging applications.


title: Central limit theorem and large deviations for run and tumble particles on a lattice

abstract: We study run and tumble particles on the one-dimensional lattice $\mathbb{Z}$. We explicitly compute the Fourier-Laplace transform of the position of the particle and as a consequence obtain explicit expressions for the diffusion constant and the large deviation free energy function. We also do the same computations in a corresponding continuum model. In the latter, when adding an external field, we can explicitly compute the large deviation free energy, and the deviation from the Einstein relation due to activity. Finally, we generalize the model to the $d$-dimensional lattice $\mathbb{Z}^d$, with an arbitrary finite set of velocities, and show that the large deviation free energy for the position of the particle can be computed via the largest eigenvalue of a matrix of Schr\"{o}dinger operator form, for which we can derive an explicit variational formula via occupation time large deviations of the velocity flip process.


title: A Tracer-Based Algorithm for Automatic Generation of Seafloor Age Grids from Plate Tectonic Reconstructions

abstract: The age of the ocean floor and its time-dependent age distribution control fundamental features of the Earth, such as bathymetry, sea level and mantle heat loss. Recently, the development of increasingly sophisticated reconstructions of past plate motions has provided models for plate kinematics and plate boundary evolution back in geological time. These models implicitly include the information necessary to determine the age of ocean floor that has since been lost to subduction. However, due to the lack of an automated and efficient method for generating global seafloor age grids, many tectonic models, most notably those extending back into the Paleozoic, are published without an accompanying set of age models for oceanic lithosphere. Here we present an automatic, tracer-based algorithm that generates seafloor age grids from global plate tectonic reconstructions with defined plate boundaries. Our method enables us to produce the first seafloor age models for the Paleozoic's lost ocean basins. Estimated changes in sea level based on bathymetry inferred from our new age grids show good agreement with sea level record estimations from proxies, providing a possible explanation for the peak in sea level during the assembly phase of Pangea. This demonstrates how our seafloor age models can be directly compared with observables from the geologic record that extend further back in time than the constraints from preserved seafloor. Thus, our new algorithm may also aid the further development of plate tectonic reconstructions by strengthening the links between geological observations and tectonic reconstructions of deeper time.


title: Quasiparticle mass enhancement as a measure of entanglement in the Kondo problem

abstract: We analyze the quantum entanglement between opposite spin projection electrons in the ground state of the Anderson impurity model. In this model, a single level impurity with intralevel repulsion U is tunnel coupled to a free electron gas. The Anderson model presents a strongly correlated many body ground state with mass enhanced quasiparticle excitations. We find, using both analytical and numerical tools, that the quantum entanglement between opposite spin projection electrons is a monotonic universal function of the quasiparticle mass enhancement Z. The mass enhancement, which is used to quantify the correlations in quantum many body systems, could therefore be used to quantify spin entanglement.


title: New laboratory techniques using heterodyne receivers

abstract: Two laboratory emission spectrometers have been designed and described previously. Here, we present a follow-up study with special focus on absolute intensity calibration of the new SURFER-spectrometer (SUbmillimeter Receiver For Emission spectroscopy of Rotational transitions), operational between 300 and 400~GHz and mostly coincident with ALMA (Atacama Large Millimeter/submillimeter Array) Band 7. Furthermore, we present a feasibility study to extend the detection frequencies up to 2~THz. First results have been obtained using the SOFIA (Stratospheric Observatory for IR Astronomy) upGREAT laboratory setup at the University of Cologne. Pure rotational spectra of the complex molecule vinyl cyanide have been obtained and are used to give an estimate on the sensitivity to record ro-vibrational transitions of molecules with astrophysical importance at 2~THz.


title: Research on the Concept of Liquid State Machine

abstract: Liquid State Machine (LSM) is a neural model with real time computations which transforms the time varying inputs stream to a higher dimensional space. The concept of LSM is a novel field of research in biological inspired computation with most research effort on training the model as well as finding the optimum learning method. In this review, the performance of LSM model was investigated using two learning method, online learning and offline (batch) learning methods. The review revealed that optimal performance of LSM was recorded through online method as computational space and other complexities associated with batch learning is eliminated.


title: An Interactive Machine Translation Framework for Modernizing Historical Documents

abstract: Due to the nature of human language, historical documents are hard to comprehend by contemporary people. This limits their accessibility to scholars specialized in the time period in which the documents were written. Modernization aims at breaking this language barrier by generating a new version of a historical document, written in the modern version of the document's original language. However, while it is able to increase the document's comprehension, modernization is still far from producing an error-free version. In this work, we propose a collaborative framework in which a scholar can work together with the machine to generate the new version. We tested our approach on a simulated environment, achieving significant reductions of the human effort needed to produce the modernized version of the document.


title: Extended commutator algebra for the $q$-oscillator and a related Askey-Wilson algebra

abstract: Let $q$ be a nonzero complex number that is not a root of unity. In the $q$-oscillator with commutation relation $ a a^+-qa^+ a =1$, it is known that the smallest commutator algebra of operators containing the creation and annihilation operators $a^+$ and $ a $ is the linear span of $a^+$ and $ a $, together with all operators of the form ${a^+}^l{\left[a,a^+\right]}^k$, and ${\left[a,a^+\right]}^k a ^l$, where $l$ is a nonnegative integer and $k$ is a positive integer. That is, linear combinations of operators of the form $ a ^h$ or $(a^+)^h$ with $h\geq 2$ or $h=0$ are outside the commutator algebra generated by $ a $ and $a^+$. This is a solution to the Lie polynomial characterization problem for the associative algebra generated by $a^+$ and $ a $. In this work, we extend the Lie polynomial characterization into the associative algebra $\mathcal{P}=\mathcal{P}(q)$ generated by $ a $, $a^+$, and the operator $e^{\omega N}$ for some nonzero real parameter $\omega$, where $N$ is the number operator, and we relate this to a $q$-oscillator representation of the Askey-Wilson algebra $AW(3)$.


title: Trigonometric Parallaxes Of High-Mass Star Forming Regions: Our View Of The Milky Way

abstract: We compile and analyze ~200 trigonometric parallaxes and proper motions of molecular masers associated with very young high-mass stars. These measurements strongly suggest that the Milky Way is a four-arm spiral. Fitting log-periodic spirals to the locations of the masers, allows us to significantly expand our view of the structure of the Milky Way. We present an updated model for its spiral structure and incorporate it into our previously published parallax-based distance-estimation program for sources associated with spiral arms. Modeling the three-dimensional space motions yields estimates of the distance to the Galactic center, Ro = 8.15 +/- 0.15 kpc, the circular rotation speed at the Sun's position, To = 236 +/- 7 km/s, and the nature of the rotation curve. Our data strongly constrain the full circular velocity of the Sun, To + Vsun = 247 +/- 4 km/s, and its angular velocity, (To + Vsun)/Ro = 30.32 +/- 0.27 km/s/kpc. Transforming the measured space motions to a Galactocentric frame which rotates with the Galaxy, we find non-circular velocity components typically about 10 km/s. However, near the Galactic bar and in a portion of the Perseus arm, we find significantly larger non-circular motions. Young high-mass stars within 7 kpc of the Galactic center have a scale height of only 19 pc and, thus, are well suited to define the Galactic plane. We find that the orientation of the plane is consistent with the IAU-defined plane to within +/-0.1 deg., and that the Sun is offset toward the north Galactic pole by Zsun = 5.5 +/- 5.8 pc. Accounting for this offset places the central supermassive black hole, Sgr A*, in the midplane of the Galaxy. Using our improved Galactic parameters, we predict the Hulse-Taylor binary pulsar to be at a distance of 6.54 +/- 0.24 kpc, assuming its orbital decay from gravitational radiation follows general relativity.


title: Deep Value Model Predictive Control

abstract: In this paper, we introduce an actor-critic algorithm called Deep Value Model Predictive Control (DMPC), which combines model-based trajectory optimization with value function estimation. The DMPC actor is a Model Predictive Control (MPC) optimizer with an objective function defined in terms of a value function estimated by the critic. We show that our MPC actor is an importance sampler, which minimizes an upper bound of the cross-entropy to the state distribution of the optimal sampling policy. In our experiments with a Ballbot system, we show that our algorithm can work with sparse and binary reward signals to efficiently solve obstacle avoidance and target reaching tasks. Compared to previous work, we show that including the value function in the running cost of the trajectory optimizer speeds up the convergence. We also discuss the necessary strategies to robustify the algorithm in practice.


title: Error Bounds for a Least Squares Meshless Finite Difference Method on Closed Manifolds

abstract: We present an error bound for a least squares version of the kernel based meshless finite difference method for elliptic differential equations on smooth compact manifolds of arbitrary dimension without boundary. In particular, we obtain sufficient conditions for the convergence of this method. Numerical examples are provided for the equation $-\Delta_\mathcal{M} u + u = f$ on the 2- and 3-spheres, where $\Delta_\mathcal{M}$ is the Laplace-Beltrami operator.


title: Averaging principle for slow-fast stochastic partial differential equations with H\"{o}lder continuous coefficients

abstract: By using the technique of the Zvonkin's transformation and the classical Khasminkii's time discretization method, we prove the averaging principle for slow-fast stochastic partial differential equations with bounded and H\"{o}lder continuous drift coefficients. An example is also provided to explain our result.


title: Topological properties of Lorenz maps derived from unimodal maps

abstract: A symmetric Lorenz map is obtain by ``flipping'' one of the two branches of a symmetric unimodal map. We use this to derive a Sharkovsky-like theorem for symmetric Lorenz maps, and also to find cases where the unimodal map restricted to the critical omega-limit set is conjugate to a Sturmian shift. This has connections with properties of unimodal inverse limit spaces embedded as attractors of some planar homeomorphisms.