title: Frobenius action on Carter subgroups

abstract: Let $G$ be a finite solvable group and $H$ be a subgroup of $Aut(G)$. Suppose that there exists an $H$-invariant Carter subgroup $F$ of $G$ such that the semidirect product $FH$ is a Frobenius group with kernel $F$. We prove that the terms of the Fitting series of $C_{G}(H)$ are obtained as the intersection of $C_{G}(H)$ with the corresponding terms of the Fitting series of $G$, and the Fitting height of $G$ may exceed the Fitting height of $C_{G}(H)$ by at most one. As a corollary it is shown that for any set of primes $\pi$, the terms of the $\pi$-series of $C_{G}(H)$ is obtained as the intersection of $C_{G}(H)$ with the corresponding terms of the $\pi$-series of $G$, and the $\pi$-length of $G$ may exceed the $\pi$-length of $C_{G}(H)$ by at most one. They generalize the main results of \cite{Khu}.


title: Logical reduction of metarules

abstract: Many forms of inductive logic programming (ILP) use \emph{metarules}, second-order Horn clauses, to define the structure of learnable programs and thus the hypothesis space. Deciding which metarules to use for a given learning task is a major open problem and is a trade-off between efficiency and expressivity: the hypothesis space grows given more metarules, so we wish to use fewer metarules, but if we use too few metarules then we lose expressivity. In this paper, we study whether fragments of metarules can be logically reduced to minimal finite subsets. We consider two traditional forms of logical reduction: subsumption and entailment. We also consider a new reduction technique called \emph{derivation reduction}, which is based on SLD-resolution. We compute reduced sets of metarules for fragments relevant to ILP and theoretically show whether these reduced sets are reductions for more general infinite fragments. We experimentally compare learning with reduced sets of metarules on three domains: Michalski trains, string transformations, and game rules. In general, derivation reduced sets of metarules outperforms subsumption and entailment reduced sets, both in terms of predictive accuracies and learning times.


title: Learning higher-order logic programs

abstract: A key feature of inductive logic programming (ILP) is its ability to learn first-order programs, which are intrinsically more expressive than propositional programs. In this paper, we introduce techniques to learn higher-order programs. Specifically, we extend meta-interpretive learning (MIL) to support learning higher-order programs by allowing for \emph{higher-order definitions} to be used as background knowledge. Our theoretical results show that learning higher-order programs, rather than first-order programs, can reduce the textual complexity required to express programs which in turn reduces the size of the hypothesis space and sample complexity. We implement our idea in two new MIL systems: the Prolog system \namea{} and the ASP system \nameb{}. Both systems support learning higher-order programs and higher-order predicate invention, such as inventing functions for \tw{map/3} and conditions for \tw{filter/3}. We conduct experiments on four domains (robot strategies, chess playing, list transformations, and string decryption) that compare learning first-order and higher-order programs. Our experimental results support our theoretical claims and show that, compared to learning first-order programs, learning higher-order programs can significantly improve predictive accuracies and reduce learning times.


title: Smoothing of MHD Shocks in Mode Conversion

abstract: Shock waves are simulated passing through the Alfv\'en-acoustic equipartition layer in a stratified isothermal magneto-atmosphere. The recent ray-theoretic calculations of N\'u\~nez (2019) predicted smoothing of the shock through this layer, causing both the fast and slow components to emerge as continuous waves. However, it is found that the partial mode conversion expected from linear theory for oblique incidence of the shock on the magnetic field is accompanied by a smoothing of the slow-shock only, whilst the fast-shock persists. Explanations are presented based on MHD mode conversion and shock theory.


title: Overview of Guidance, Navigation and Control System of the TeamIndus lunar lander

abstract: TeamIndus' lunar logistics vision includes multiple lunar missions to meet requirements of science, commercial and efforts towards global exploration. The first mission is slated for launch in 2020. The prime objective is to demonstrate autonomous precision lunar landing, and Surface Exploration Rover to collect data on the vicinity of the landing site. TeamIndus has developed various technologies towards lowering the access barrier to the lunar surface. This paper shall provide an overview of design of lander GNC system. The design of the GNC system has been described after concluding studies on sensor and actuator configurations. Frugal design approach is followed in the selection of GNC hardware. The paper describes the constraints for the orbital maneuvers and the lunar descent strategy. Various aspects of the GNC design of autonomous lunar descent maneuver: timeline of events, guidance, inertial and optical terrain-relative navigation schemes are described. The GNC software description focuses on system architecture, modes of operation, and core elements of the GNC software. The GNC algorithms have been tested using Monte-Carlo simulations and Processor-in-Loop runs. The paper concludes with a summary of key risk-mitigation studies for soft landing.


title: Discretisation of continuous-time linear dynamical model with the Loewner interpolation framework

abstract: An interpolation method for discretising continuous-time Linear Time Invariant (LTI) models is proposed in this paper. It consists first in using the Loewner interpolation framework on a specific set of frequency data and secondly to project the resulting model onto a stable subspace. The order of the discretised model may be chosen larger than the initial one thus allowing for trading complexity for accuracy if needed. Numerical examples highlight the efficiency of the method at preserving a satisfactory matching both in magnitude and phase in comparison to standard discretisation methods like ZOH or Tustin.


title: Sharp Estimates for the Principal Eigenvalue of the p-Operator

abstract: Given an elliptic diffusion operator $L$ defined on a compact and connected manifold (possibly with a convex boundary in a suitable sense) with an $L$-invariant measure $m$, we introduce the non-linear $p-$operator $L_p$, generalizing the notion of the $p-$Laplacian. Using techniques of the intrinsic $\Gamma_2$-calculus, we prove the sharp estimate $\lambda\geq (p-1)\pi_p^p/D^p$ for the principal eigenvalue of $L_p$ with Neumann boundary conditions under the assumption that $L$ satisfies the curvature-dimension condition BE$(0,N)$ for some $N\in[1,\infty)$. Here, $D$ denotes the intrinsic diameter of $L$. Equality holds if and only if $L$ satisfies BE$(0,1)$. We also derive the lower bound $\pi^2/D^2+a/2$ for the real part of the principal eigenvalue of a non-symmetric operator $L=\Delta_g+X\cdot\nabla$ satisfying $\operatorname{BE}(a,\infty)$.


title: Cross Attention Network for Semantic Segmentation

abstract: In this paper, we address the semantic segmentation task with a deep network that combines contextual features and spatial information. The proposed Cross Attention Network is composed of two branches and a Feature Cross Attention (FCA) module. Specifically, a shallow branch is used to preserve low-level spatial information and a deep branch is employed to extract high-level contextual features. Then the FCA module is introduced to combine these two branches. Different from most existing attention mechanisms, the FCA module obtains spatial attention map and channel attention map from two branches separately, and then fuses them. The contextual features are used to provide global contextual guidance in fused feature maps, and spatial features are used to refine localizations. The proposed network outperforms other real-time methods with improved speed on the Cityscapes and CamVid datasets with lightweight backbones, and achieves state-of-the-art performance with a deep backbone.


title: Highly Efficient Deep UV Generation by Four-Wave Mixing in Gas-Filled Hollow Core Photonic Crystal Fiber

abstract: We report on a highly-efficient experimental scheme for the generation of deep-ultraviolet ultrashort light pulses using four-wave mixing in gas-filled kagom\'e-style photonic crystal fiber. By pumping with ultrashort, few $\mu$J, pulses centered at 400 nm, we generate an idler pulse at 266 nm, and amplify a seeded signal at 800 nm. We achieve remarkably high pump-to-idler energy conversion efficiencies of up to 38%. Although the pump and seed pulse durations are ~100 fs, the generated ultraviolet spectral bandwidths support sub-15 fs pulses. These can be further extended to support few-cycle pulses. Four-wave mixing in gas-filled hollow-core fibres can be scaled to high average powers and different spectral regions such as the vacuum ultraviolet (100-200 nm).


title: Chromospheric peculiar off-limb dynamical events from IRIS observations

abstract: To study motions and oscillations in the solar chromosphere and at the transition region (TR) level we analyze some extreme Doppler shifts observed off-limb with the Interface Region Imaging Spectrograph (IRIS). Raster scans and slit-jaw imaging observations performed in the near-ultraviolet (NUV) channels were used. Large transverse oscillations are revealed by the far wings profiles after accurately removing the bulk average line profiles of each sequence. Different regions around the Sun are considered. Accordingly, the cool material of spicules is observed in Mg II lines rather dispersed up to coronal heights. In the quiet Sun and especially in a polar coronal hole, we study dynamical properties of the dispersed spicules-material off-limb using a high spectral, temporal and spatial resolutions IRIS observations. We suggest that numerous small-scale jet-like spicules show rapid twisting and swaying motions evidenced by the large distortion and dispersion of the line profiles, including impressive periodic Doppler shifts. Most of these events repeatedly appear in red- and blue-shifts above the limb throughout the whole interval of the observation datasets with an average swaying speed of order +/-35 kms-1 reaching a maximum value of 50 km s-1 in the polar coronal hole region, well above the 2.2 Mm heights. We identified for the 1st time waves with a short period of order of 100 sec and less and transverse amplitudes of order of +/- 20 to 30 km s-1 with the definite signature of Alfven waves. No correlation exists between brightness and Doppler shift variations; the phase speed of the wave is very large and cannot definitely be determined from the spectral features seen along the quasi-radial features. Even shorter periods waves are evidenced, although their contrast is greatly attenuated by the overlapping effects along the line of sight.


title: Is Texture Predictive for Age and Sex in Brain MRI?

abstract: Deep learning builds the foundation for many medical image analysis tasks where neuralnetworks are often designed to have a large receptive field to incorporate long spatialdependencies. Recent work has shown that large receptive fields are not always necessaryfor computer vision tasks on natural images. We explore whether this translates to certainmedical imaging tasks such as age and sex prediction from a T1-weighted brain MRI scans.


title: On coloring numbers of graph powers

abstract: The weak $r$-coloring numbers $wcol_r(G)$ of a graph $G$ were introduced by the first two authors as a generalization of the usual coloring number $col(G)$, and have since found interesting theoretical and algorithmic applications. This has motivated researchers to establish strong bounds on these parameters for various classes of graphs. Let $G^p$ denote the $p$-th power of $G$. We show that, all integers $p >0$ and $\Delta \ge 3$ and graphs $G$ with $\Delta(G) \leq \Delta$ satisfy $col(G^p) \in O(p \cdot wcol_{\lceil p/2\rceil}(G)(\Delta-1)^{\lfloor p/2\rfloor})$; for fixed tree width or fixed genus the ratio between this upper bound and worst case lower bounds is polynomial in $p$. For the square of graphs $G$, we also show that, if the maximum average degree $2k-2 < mad(G) \leq 2k$, then $ col(G^2) \leq (2k-1)\Delta(G)+2k+1$.


title: Estimation of Protein-Ligand Unbinding Kinetics Using Non-Equilibrium Targeted Molecular Dynamics Simulations

abstract: We here report on non-equilibrium targeted Molecular Dynamics simulations as tool for the estimation of protein-ligand unbinding kinetics. Correlating simulations with experimental data from SPR kinetics measurements and X-ray crystallography on two small molecule compound libraries bound to the N-terminal domain of the chaperone Hsp90, we show that the mean non-equilibrium work computed in an ensemble of trajectories of enforced ligand unbinding is a promising predictor for ligand unbinding rates. We furthermore investigate the molecular basis determining unbinding rates within the compound libraries. We propose ligand conformational changes and protein-ligand nonbonded interactions to impact on unbinding rates. Ligands may remain longer at the protein if they exhibit strong electrostatic and/or van der Waals interactions with the target. In the case of ligands with rigid chemical scaffold that exhibit longer residence times however, transient electrostatic interactions with the protein appear to facilitate unbinding. Our results imply that understanding the unbinding pathway and the protein-ligand interactions along this path is crucial for the prediction of small molecule ligands with defined unbinding

categories: q-bio.BM physics.bio-ph physics.chem-ph physics.comp-ph


title: Rigid analytic reconstruction of Hyodo--Kato theory

abstract: We give a new and very intuitive construction of Hyodo--Kato cohomology and the Hyodo--Kato map, based on logarithmic rigid cohomology. We show that it is independent of the choice of a uniformiser and study its dependence on the choice of a branch of the $p$-adic logarithm. Moreover, we show the compatibility with the classical construction of Hyodo--Kato cohomology and the Hyodo--Kato map.)


title: Using the Extragalactic Gamma-Ray Background to Constrain the Hubble Constant and Matter Density of the Universe

abstract: The attenuation produced by extragalactic background light (EBL) in $\gamma$-ray spectra of blazars has been used to constrain the Hubble constant ($H_0$) and matter density ($\Omega_{\rm m}$) of the Universe. We propose to estimate $H_0$ and $\Omega_{\rm m}$ using the well measured $>$10 GeV extragalactic $\gamma$-ray background (EGB). This suggestion is based on the facts that the $>$10 GeV EGB is totally explained by the emissions from blazars, and an EBL-absorption cutoff occurs at $\sim$50 GeV in the EGB spectrum. We fit the $>$10 GeV EGB data with modeled EGB spectrum. This results in $H_0=64.9^{+4.6}_{-4.3}\rm \ km\ s^{-1}\ Mpc^{-1}$ and $\Omega_{\rm m}=0.31^{+0.13}_{-0.14}$. Note that the uncertainties may be underestimated due to the limit of our realization for EBL model. $H_0$ and $\Omega_{\rm m}$ are degenerate in our method. Independent determination of $\Omega_{\rm m}$ by other methods would improve the constraint on $H_0$.


title: Constraining chameleon field driven warm inflation with Planck 2018 data

abstract: We investigate warm inflationary scenario in which the accelerated expansion of the early Universe is driven by chameleon-like scalar fields. Due to the non-minimal coupling between the scalar field and the matter sector, the energy-momentum tensor of each fluid component is not conserved anymore, and the generalized balance equation is obtained. The new source term in the energy equation can be used to model warm inflation. On the other hand, if the coupling function varies slowly, the model reduces to the standard model used for the description of cold inflation. To test the validity of the warm chameleon inflation model, the results for warm inflationary scenarios are compared with the observational Planck2018 Cosmic Microwave Background data. In this regard, the perturbation parameters such as the amplitude of scalar perturbations, the scalar spectral index and the tensor-to-scalar ratio are derived at the horizon crossing in two approximations, corresponding to the weak and strong dissipative regimes. As a general result it turns out that the theoretical predictions of the chameleon warm inflationary scenario are consistent with the Planck 2018 observations.


title: Multipolar order and excitations in rare-earth boride Kondo systems

abstract: We review the cubic rare-earth boride series which displays diverse electronic states like localized 4f electron multiplets split by the crystal electric field (CEF), itinerant heavy-fermion quasiparticle bands of the Kondo lattice as well as gapped Kondo insulator or mixed-valent semiconductor states. Fairly exotic states may appear due to the 'hidden' order of multipoles carried by degenerate CEF multiplets, in addition to magnetic order present in many RB6 (R = rare earth) compounds. Most prominent are CeB6 and its La-diluted alloys which exhibit antiferro-quadrupolar and octupolar ordering enabled by the cubic G8 quartet state. The associated collective excitations are multipolar waves with a dispersion characteristic for the underlying order and accessible by inelastic neutron scattering. This localized multipolar-moment picture of R-borides is complemented by the itinerant Kondo-lattice approach. Collective spin exciton modes inside the hybridization gap around symmetry points of the Brillouin zone may appear. This has been observed in heavy-fermion metal CeB6 and in particular in the Kondo insulators YbB12 and SmB6. The latter is also the prime candidate for a strongly correlated topological insulator.


title: Submodular Mean Field Games: Existence and Approximation of Solutions

abstract: We study mean field games with scalar It{\^o}-type dynamics and costs that are submodular with respect to a suitable order relation on the state and measure space. The submodularity assumption has a number of interesting consequences. Firstly, it allows us to prove existence of solutions via an application of Tarski's fixed point theorem, covering cases with discontinuous dependence on the measure variable. Secondly, it ensures that the set of solutions enjoys a lattice structure: in particular, there exist a minimal and a maximal solution. Thirdly, it guarantees that those two solutions can be obtained through a simple learning procedure based on the iterations of the best-response-map. The mean field game is first defined over ordinary stochastic controls, then extended to relaxed controls. Our approach allows also to treat a class of submodular mean field games with common noise in which the representative player at equilibrium interacts with the (conditional) mean of its state's distribution.


title: Drivers of disc tilting I: Correlations and possible drivers for Milky Way analogues

abstract: The direction of the spin vectors of disk galaxies change over time. We present the tilting rate of a sample of galaxies in the NIHAO suite of cosmological hydrodynamical simulations. Galaxies in our sample have been selected to be isolated and to have well determined spins. We compare the tilting rates to the predicted observing limit of Gaia, finding that our entire sample lies above the limit, in agreement with previous work. To test the role of dark matter and of gas we compare the weighted Pearson's correlation coefficients between the tilting rates and various properties. We find no correlation between the dark halo's tilting rate, shape, or misalignment with respect to the disc, and the tilting rate of the stellar disc. Therefore, we argue that, in the presence of gas, the dark halo plays a negligible role in the tilting of the stellar disc. On the other hand, we find a strong correlation between the tilting rate of the stellar disc and the misalignment of the cold gas warp. Adding the stellar mass fraction improves the correlation, while none of the dark matter's properties together with the cold gas misalignment improves the correlation to any significant extent. This implies that the gas cooling onto the disc is the principal driver of disc tilting.


title: Families of rational curves on holomorphic symplectic varieties and applications to zero-cycles

abstract: We study families of rational curves on irreducible holomorphic symplectic varieties. We give a necessary and sufficient condition for a sufficiently ample linear system on a holomorphic symplectic variety of $K3^{[n]}$-type to contain a uniruled divisor covered by rational curves of primitive class. In particular, for any fixed $n$, we show that there are only finitely many polarization types of holomorphic symplectic variety of $K3^{[n]}$-type that do not contain such a uniruled divisor. As an application we provide a generalization of a result due to Beauville-Voisin on the Chow group of 0-cycles on such varieties.


title: OPPLOAD: Offloading Computational Workflows in Opportunistic Networks

abstract: Computation offloading is often used in mobile cloud, edge, and/or fog computing to cope with resource limitations of mobile devices in terms of computational power, storage, and energy. Computation offloading is particularly challenging in situations where network connectivity is intermittent or error-prone. In this paper, we present OPPLOAD, a novel framework for offloading computational workflows in opportunistic networks. The individual tasks forming a workflow can be assigned to particular remote execution platforms (workers) either preselected ahead of time or decided just in time where a matching worker will automatically be assigned for the next task. Tasks are only assigned to capable workers that announce their capabilities. Furthermore, tasks of a workflow can be executed on multiple workers that are automatically selected to balance the load. Our Python implementation of OPPLOAD is publicly available as open source software. The results of our experimental evaluation demonstrate the feasibility of our approach.


title: Local Linearizations of Rational Matrices with Application to Rational Approximations of Nonlinear Eigenvalue Problems

abstract: This paper presents a definition for local linearizations of rational matrices and studies their properties. This definition allows us to introduce matrix pencils associated to a rational matrix that preserve its structure of zeros and poles in subsets of any algebraically closed field and also at infinity. Moreover, such definition includes, as particular cases, other definitions that have been used previously in the literature. In this way, this new theory of local linearizations captures and explains rigorously the properties of all the different pencils that have been used from the 1970's until 2019 for computing zeros, poles and eigenvalues of rational matrices. Particular attention is paid to those pencils that have appeared recently in the numerical solution of nonlinear eigenvalue problems through rational approximation.


title: Curvature of the space of stability conditions

abstract: Motivated by the study of the autoequivalence group of triangulated categories via isometric actions on metric spaces, we consider curvature properties (CAT(0), Gromov hyperbolic) of the space of Bridgeland stability conditions with the canonical metric defined by Bridgeland. We then prove that the metric is neither CAT(0) nor hyperbolic, and the quotient metric by the natural $\mathbb{C}$-action is not CAT(0) in case of the Kronecker quiver. Moreover, we also show the hyperbolicity of pseudo-Anosov functors defined by Dimitrov-Haiden-Katzarkov-Kontsevich, which yields the lower-bound of entropy by the translation length. Finally, pseudo-Anosov functors in case of curves have been completely classified.


title: Circular polarization reversal of half-vortex cores in polariton condensates

abstract: Vortices are topological objects carrying quantized orbital angular momentum and have been widely studied in many physical systems for their applicability in information storage and processing. In systems with spin degree of freedom the elementary excitations are so called half-vortices, carrying a quantum rotation only in one of the two spin components. We study the spontaneous formation and stability of localized such half-vortices in semiconductor microcavity polariton condensates, non-resonantly excited by a linearly polarized ring-shaped pump. The TE-TM splitting of optical modes in the microcavity system leads to an effective spin-orbit coupling, resulting in solutions with discrete rotational symmetry. The cross-interaction between different spin components provides an efficient method to realize all-optical half-vortex core switching inverting its circular polarization state. This switching can be directly measured in the polarization resolved intensity in the vortex core region and it can also be applied to higher order half-vortex states.


title: Continuous Radio Amplification by Stimulated Emission using Parahydrogen Induced Polarization (PHIP-RASER) at 14 Tesla

abstract: Nuclear Magnetic Resonance (NMR) is an intriguing quantum-mechanical effect that is used for daily life medical diagnostics and chemical analysis alike. Numerous advancements have contributed to the success of the technique, including hyperpolarized contrast agents that enables real-time imaging of metabolism in vivo. In physics, hyperpolarization has enabled an NMR RASER using a custom low-field setup and high-Q coils only recently. Expanding on this discovery, we report the finding of a RASER emitting 1H NMR signal continuously for more than 10 min at a high frequency of 600 MHz. Full chemical shift resolution is maintained and a linewidth of 2 ppb was achieved. A new simulation of a RASER effect in a coupled two spin-1/2 system was implemented and reproduced experimental findings. The effect was found using standard equipment only; no dedicated setup is necessary, making the NMR RASER accessible to a wide group of researchers.


title: Non-constant hazard ratios in randomized controlled trials with composite endpoints

abstract: The hazard ratio is routinely used as a summary measure to assess the treatment effect in clinical trials with time-to-event endpoints. It is frequently assumed as constant over time although this assumption often does not hold. When the hazard ratio deviates considerably from being constant, the average of its plausible values is not a valid measure of the treatment effect, can be clinically misleading and common sample size formulas are not appropriate. In this paper, we study the hazard ratio along time of a two-component composite endpoint under the assumption that the hazard ratio for each component is constant. This work considers two measures for quantifying the non-proportionality of the hazard ratio: the difference $D$ between the maximum and minimum values of hazard ratio over time and the relative measure $R$ representing the ratio between the sample sizes for the minimum detectable and the average effects. We illustrate $D$ and $R$ by means of the ZODIAC trial where the primary endpoint was progression-free survival. We have run a simulation study deriving scenarios for different values of the hazard ratios, different event rates and different degrees of association between the components. We illustrate situations that yield non-constant hazard ratios for the composite endpoints and consider the likely impact on sample size. Results show that the distance between the two component hazard ratios plays an important role, especially when they are close to 1. Furthermore, even when the treatment effects for each component are similar, if the two-component hazards are markedly different, hazard ratio of the composite is often non-constant.


title: Nucleon momentum distributions in asymmetric nuclear matter

abstract: Nucleon momentum distributions at various densities and isospin-asymmetries for nuclear matter are investigated systematically within the extended Bruecker-Hartree-Fock approach.The shapes of the normalized momentum distributions varying with $k/k_{F}$ are practically identical, while the density and isospin dependent magnitude of the distribution is directly related to the depletion of the Fermi sea. Based on these properties, a parameterized formula is proposed with the parameters calibrated to the calculated result.


title: Vertebra partitioning with thin-plate spline surfaces steered by a convolutional neural network

abstract: Thin-plate splines can be used for interpolation of image values, but can also be used to represent a smooth surface, such as the boundary between two structures. We present a method for partitioning vertebra segmentation masks into two substructures, the vertebral body and the posterior elements, using a convolutional neural network that predicts the boundary between the two structures. This boundary is modeled as a thin-plate spline surface defined by a set of control points predicted by the network. The neural network is trained using the reconstruction error of a convolutional autoencoder to enable the use of unpaired data.


title: A data-based, reduced-order, dynamic estimator for reconstruction of non-linear flows exhibiting limit-cycle oscillations

abstract: We apply a data-based, linear dynamic estimator to reconstruct the velocity field from measurements at a single sensor point in the wake of an aerofoil. In particular, we consider a NACA0012 airfoil at $Re=600$ and $16^{\deg}$ angle of attack. Under these conditions, the flow exhibits a vortex shedding limit cycle. A reduced order model (ROM) of the flow field is extracted using proper orthogonal decomposition (POD). Subsequently, a subspace system identification algorithm (N4SID) is applied to extract directly the estimator matrices from the reduced output of the system (the POD coefficients). We explore systematically the effect of the number of states of the estimator, the sensor location, the type of sensor measurements (one or both velocity components), and the number of POD modes to be recovered. When the signal of a single velocity component (in the stream wise or cross stream directions) is measured, the reconstruction of the first two dominant POD modes strongly depends on the sensor location. We explore this behaviour and provide a physical explanation based on the non-linear mode interaction and the spatial distribution of the modes. When however, both components are measured, the performance is very robust, and is almost independent of the sensor location when the optimal number of estimator states is used. Reconstruction of the less energetic modes is more difficult, but still possible.


title: Granulation and suspension rheology: a unified treatment

abstract: Mixing a small amount of liquid into a powder can give rise to dry-looking granules; increasing the amount of liquid eventually produces a flowing suspension. We perform experiments on these phenomena using Spheriglass, an industrially-realistic model powder. Drawing on recent advances in understanding friction-induced shear thickening and jamming in suspensions, we offer a unified description of granulation and suspension rheology. A 'liquid incorporation phase diagram' explains the existence of permanent and transient granules and the increase of granule size with liquid content. Our results point to rheology-based design principles for industrial granulation.


title: Serre dimension and stability conditions

abstract: We study relations between the Serre dimension defined as the growth of entropy of the Serre functor and the global dimension of Bridgeland stability conditions due to Ikeda-Qiu. A fundamental inequality between the Serre dimension and the infimum of the global dimensions is proved. Moreover, we characterize Gepner type stability conditions on fractional Calabi-Yau categories via the Serre dimension, and classify triangulated categories of the Serre dimension lower than one with a Gepner type stability condition.


title: Overfitting of neural nets under class imbalance: Analysis and improvements for segmentation

abstract: Overfitting in deep learning has been the focus of a number of recent works, yet its exact impact on the behavior of neural networks is not well understood. This study analyzes overfitting by examining how the distribution of logits alters in relation to how much the model overfits. Specifically, we find that when training with few data samples, the distribution of logit activations when processing unseen test samples of an under-represented class tends to shift towards and even across the decision boundary, while the over-represented class seems unaffected. In image segmentation, foreground samples are often heavily under-represented. We observe that sensitivity of the model drops as a result of overfitting, while precision remains mostly stable. Based on our analysis, we derive asymmetric modifications of existing loss functions and regularizers including a large margin loss, focal loss, adversarial training and mixup, which specifically aim at reducing the shift observed when embedding unseen samples of the under-represented class. We study the case of binary segmentation of brain tumor core and show that our proposed simple modifications lead to significantly improved segmentation performance over the symmetric variants.


title: Linear response theory for coupled phase oscillators with general coupling functions

abstract: We develop a linear response theory by computing the asymptotic value of the order parameter from the linearized equation of continuity around the nonsynchronized reference state using the Laplace transform in time. The proposed theory is applicable to a wide class of coupled phase oscillator systems and allows for any coupling functions, any natural frequency distributions, any phase-lag parameters, and any values for the time-delay parameter. This generality is in contrast to the limitation of the previous methods of the Ott--Antonsen ansatz and the self-consistent equation for an order parameter, which are restricted to a model family whose coupling function consists of only a single sinusoidal function. The theory is verified by numerical simulations.


title: Enumerating Range Modes

abstract: We consider the range mode problem where given a sequence and a query range in it, we want to find items with maximum frequency in the range. We give time- and space- efficient algorithms for this problem. Our algorithms are efficient for small maximum frequency cases. We also consider a natural generalization of the problem: the range mode enumeration problem, for which there has been no known efficient algorithms. Our algorithms have query time complexities which is linear to the output size plus small terms.


title: Sunyaev-Zel'dovich detection of the galaxy cluster Cl J1449+0856 at z = 1.99: the pressure profile in uv space

abstract: We present Atacama Large Millimetre Array and Atacama Compact Array observations of the Sunyaev-Zel'dovich effect in the z = 2 galaxy cluster Cl J1449+0856, an X-ray-detected progenitor of typical massive clusters in the present day Universe. While in a cleaned but otherwise untouched 92 GHz map of this cluster, little to no negative signal is visible, careful subtraction of known sub-millimetre emitters in the uv plane reveals a decrement at 5$\sigma$ significance. The total signal is -190$\pm$36 $\mu$Jy, with a peak offset by 5"-9" ($\sim$50 kpc) from both the X-ray centroid and the still-forming brightest cluster galaxy. A comparison of the recovered uv-amplitude profile of the decrement with different pressure models allows us to derive total mass constraints consistent with the $\sim$6$\times$10$^{13}$ M$_{\odot}$ estimated from X-ray data. Moreover, we find no strong evidence for a deviation of the pressure profile with respect to local galaxy clusters, although a slight tension at small-to-intermediate spatial scales suggests a flattened central profile, opposite to what seen in a cool core and possibly an AGN-related effect. This analysis of the lowest mass single SZ detection so far illustrates the importance of interferometers when observing the SZ effect in high-redshift clusters, the cores of which cannot be considered quiescent, such that careful subtraction of galaxy emission is necessary.


title: Neutron-proton pairing in Nuclear Matter

abstract: The self-energy effect on the neutron-proton (np) pairing gap is investigated up to the third order within the framework of the extend Bruecker-Hartree-Fock (BHF) approach combined with the BCS theory. The self-energy up to the second-order contribution turns out to reduce strongly the effective energy gap, while the \emph{renormalization} term enhances it significantly. In addition, the effect of the three-body force on the np pairing gap is shown to be negligible. To connect the present results with the np pairing in finite nuclei, an effective density-dependent zero-range pairing force is established with the parameters calibrated to the microscopically calculated energy gap.


title: Beam Optics Primer using Octave or MATLAB

abstract: This primer provides a basic introduction to beam optics concepts that are commonly used to describe charged particle accelerators.


title: Benchmarking HillVallEA for the GECCO 2019 Competition on Multimodal Optimization

abstract: This report presents benchmarking results of the Hill-Valley Evolutionary Algorithm version 2019 (HillVallEA19) on the CEC2013 niching benchmark suite under the restrictions of the GECCO 2019 niching competition on multimodal optimization. Performance is compared to algorithms that participated in previous editions of the niching competition.


title: Exploring optimal institutional incentives for public cooperation

abstract: Prosocial incentive can promote cooperation, but providing incentive is costly. Institutions in human society may prefer to use an incentive strategy which is able to promote cooperation at a reasonable cost. However, thus far few works have explored the optimal institutional incentives which minimize related cost for the benefit of public cooperation. In this work, in combination with optimal control theory we thus formulate two optimal control problems to explore the optimal incentive strategies for institutional reward and punishment respectively. By using the approach of Hamilton-Jacobi-Bellman equation for well-mixed populations, we theoretically obtain the optimal positive and negative incentive strategies with the minimal cumulative cost respectively. Additionally, we provide numerical examples to verify that the obtained optimal incentives allow the dynamical system to reach the desired destination at the lowest cumulative cost in comparison with other given incentive strategies. Furthermore, we find that the optimal punishing strategy is a cheaper way for obtaining an expected cooperation level when it is compared with the optimal rewarding strategy.


title: Generalized Hyper-Ramsey spectroscopy in an optically dense medium

abstract: In this work, the peculiarities of Ramsey resonance and its sensitivity to the light shift from an optically dense medium of cold atoms are investigated. We considered different composite pulse protocols for clock spectroscopy such as hyper-Ramsey, modified and generalized hyper-Ramsey schemes. Shapes of resonances and error signals changes significantly due to the processes of absorption and dispersion in the atomic medium. The dependence of the position of the central fringe resonance with a residual uncompensated light shift of the atomic transition is theoretically studied when taking into account the attenuation of the radiation intensity in the medium. The change in pulses area of the hyper-Ramsey protocol allows us to suppress the sensitivity of the clock resonance position to the residual light shift for a certain length of the medium. It is shown that using a combination of generalized hyper- Ramsey error signals allows us to suppress the sensitivity to the light shift for any length of the medium. Also we analyzed the effect of spontaneous decay of high atomic state on the light shift sensitivity of the composite pulses schemes.


title: Time-Invariant Feedback Strategies Do Not Increase Capacity of AGN Channels Driven by Stable and Certain Unstable Autoregressive Noise

abstract: The capacity of additive Gaussian noise (AGN) channels, $Y_t=X_t+V_t, t=1, \ldots, n$, $\frac{1}{n} {\bf E}\big\{\sum_{t=1}^n |X_t|^2 \big\}\leq \kappa, \kappa \in [0,\infty)$, with time-invariant channel input feedback strategies, is characterized and conditions are identified for entropy rates, and limit of average power to exist, when the noise is described by {\it stable and unstable} autoregressive models, AR$(c)$, $V_t=cV_{t-1}+ W_t, V_0=v_0, t=1, \ldots, n$, where $c\in (-\infty,\infty)$, $W_t, t=1,\ldots, n$, is a zero mean, variance $K_W$, independent Gaussian sequence, independent of $V_0$. For stable AR$(c), c\in (-1,1)$ the conditions are necessary and sufficient for asymptotic stationarity of the processes $(X_t, Y_t), t=1, 2, \ldots$. New closed form capacity formulas and lower bounds are derived, for the AR$(c), c\in (-\infty,\infty)$ noise, which are fundamentally different from existing formulas in the literature, and illustrate multiple regimes of capacity, as a function of the parameters $(c,K_W,\kappa)$, as follows.\\ 1) feedback increases capacity for the regime, $c^2 \in (1, \infty),$ for $\kappa > \frac{K_W\big(1+\sqrt{4c^2-3}\big)}{2\big(c^2-1\big)^2}$, \\ 2) feedback does not increase capacity for the regime $c^2 \in (1, \infty)$, for $\kappa \leq \frac{K_W\big(1+\sqrt{4c^2-3}\big)}{2\big(c^2-1\big)^2}$, and \\ 3) feedback does not increase capacity for the regime $c \in [-1,1]$, for $ \kappa \in [0,\infty)$.


title: Enhancing Underexposed Photos using Perceptually Bidirectional Similarity

abstract: Although remarkable progress has been made, existing methods for enhancing underexposed photos tend to produce visually unpleasing results due to the existence of visual artifacts (e.g., color distortion, loss of details and uneven exposure). We observed that this is because they fail to ensure the perceptual consistency of visual information between the source underexposed image and its enhanced output. To obtain high-quality results free of these artifacts, we present a novel underexposed photo enhancement approach that is able to maintain the perceptual consistency. We achieve this by proposing an effective criterion, referred to as perceptually bidirectional similarity, which explicitly describes how to ensure the perceptual consistency. Particularly, we adopt the Retinex theory and cast the enhancement problem as a constrained illumination estimation optimization, where we formulate perceptually bidirectional similarity as constraints on illumination and solve for the illumination which can recover the desired artifact-free enhancement results. In addition, we describe a video enhancement framework that adopts the presented illumination estimation for handling underexposed videos. To this end, a probabilistic approach is introduced to propagate illuminations of sampled keyframes to the entire video by tackling a Bayesian Maximum A Posteriori problem. Extensive experiments demonstrate the superiority of our method over the state-of-the-art methods.


title: Weakly Supervised Recognition of Surgical Gestures

abstract: Kinematic trajectories recorded from surgical robots contain information about surgical gestures and potentially encode cues about surgeon's skill levels. Automatic segmentation of these trajectories into meaningful action units could help to develop new metrics for surgical skill assessment as well as to simplify surgical automation. State-of-the-art methods for action recognition relied on manual labelling of large datasets, which is time consuming and error prone. Unsupervised methods have been developed to overcome these limitations. However, they often rely on tedious parameter tuning and perform less well than supervised approaches, especially on data with high variability such as surgical trajectories. Hence, the potential of weak supervision could be to improve unsupervised learning while avoiding manual annotation of large datasets. In this paper, we used at a minimum one expert demonstration and its ground truth annotations to generate an appropriate initialization for a GMM-based algorithm for gesture recognition. We showed on real surgical demonstrations that the latter significantly outperforms standard task-agnostic initialization methods. We also demonstrated how to improve the recognition accuracy further by redefining the actions and optimising the inputs.


title: Dynamic Input for Deep Reinforcement Learning in Autonomous Driving

abstract: In many real-world decision making problems, reaching an optimal decision requires taking into account a variable number of objects around the agent. Autonomous driving is a domain in which this is especially relevant, since the number of cars surrounding the agent varies considerably over time and affects the optimal action to be taken. Classical methods that process object lists can deal with this requirement. However, to take advantage of recent high-performing methods based on deep reinforcement learning in modular pipelines, special architectures are necessary. For these, a number of options exist, but a thorough comparison of the different possibilities is missing. In this paper, we elaborate limitations of fully-connected neural networks and other established approaches like convolutional and recurrent neural networks in the context of reinforcement learning problems that have to deal with variable sized inputs. We employ the structure of Deep Sets in off-policy reinforcement learning for high-level decision making, highlight their capabilities to alleviate these limitations, and show that Deep Sets not only yield the best overall performance but also offer better generalization to unseen situations than the other approaches.


title: Embedding Physics Domain Knowledge into a Bayesian Network Enables Layer-by-Layer Process Innovation for Photovoltaics

abstract: Process optimization of photovoltaic devices is a time-intensive, trial and error endeavor, without full transparency of the underlying physics, and with user-imposed constraints that may or may not lead to a global optimum. Herein, we demonstrate that embedding physics domain knowledge into a Bayesian network enables an optimization approach that identifies the root cause(s) of underperformance with layer by-layer resolution and reveals alternative optimal process windows beyond global black-box optimization. Our Bayesian-network approach links process conditions to materials descriptors (bulk and interface properties, e.g., bulk lifetime, doping, and surface recombination) and device performance parameters (e.g., cell efficiency), using a Bayesian inference framework with an autoencoder-based surrogate device-physics model that is 100x faster than numerical solvers. With the trained surrogate model, our approach is robust and reduces significantly the time consuming experimentalist intervention, even with small numbers of fabricated samples. To demonstrate our method, we perform layer-by-layer optimization of GaAs solar cells. In a single cycle of learning, we find an improved growth temperature for the GaAs solar cells without any secondary measurements, and demonstrate a 6.5% relative AM1.5G efficiency improvement above baseline and traditional black-box optimization methods.


title: First and Second Maximum of Randi\'{c} Index Among all $k-$Cyclic Graphs of a Given Order

abstract: Suppose $G$ is a simple graph with edge set $E(G)$. The Randi\'{c} index $R(G)$ is defined as $R(G)=\sum_{uv\in E(G)}\frac{1}{\sqrt{deg_{G}(u)deg_{G}(v)}}$, where $deg_G(u)$ denotes the vertex degree of $u$ in $G$. In this paper, the first and second maximum of Randi\'{c} index among all $n-$vertex $k-$cyclic graphs were computed.


title: Bounding extreme events in nonlinear dynamics using convex optimization

abstract: We study a convex optimization framework for bounding extreme events in nonlinear dynamical systems governed by ordinary or partial differential equations (ODEs or PDEs). This framework bounds from above the largest value of an observable along trajectories that start from a chosen set and evolve over a finite or infinite time interval. The approach needs no explicit trajectories. Instead, it requires constructing suitably constrained auxiliary functions that depend on the state variables and possibly on time. Minimizing bounds over auxiliary functions is a convex problem dual to the non-convex maximization of the observable along trajectories. This duality is strong, meaning that auxiliary functions give arbitrarily sharp bounds, for sufficiently regular ODEs evolving over a finite time on a compact domain. When these conditions fail, strong duality may or may not hold; both situations are illustrated by examples. We also show that near-optimal auxiliary functions can be used to construct spacetime sets that localize trajectories leading to extreme events. Finally, in the case of polynomial ODEs and observables, we describe how polynomial auxiliary functions of fixed degree can be optimized numerically using polynomial optimization. The corresponding bounds become sharp as the polynomial degree is raised if strong duality and mild compactness assumptions hold. Analytical and computational ODE examples illustrate the construction of bounds and the identification of extreme trajectories, along with some limitations. As an analytical PDE example, we bound the maximum fractional enstrophy of solutions to the Burgers equation with fractional diffusion.


title: Parametric solutions of the generalized short pulse equations

abstract: We consider three novel PDEs associated with the integrable generalizations of the short pulse equation classified recently by Hone {\it et al} (2018 {\it Lett. Math. Phys.} {\bf 108} 927-947). In particular, we obtain a variety of exact solutions by means of a direct method analogous to that used for solving the short pulse equation. The main results reported here are the parametric representations of the multisoliton solutions. These solutions include cusp solitons, unbounded solutions with finite slope and breathers. In addition, the cusped periodic wave solutions are constructed from the cusp solitons by means of a simple procedure. As for non-periodic solutions, smooth breather solutions are of particular interest from the perspective of applications to real physical phenomena. The cycloid reduced from the periodic traveling wave with cusps is also worth remarking in connection with Gerstner's trochoidal solution in deep gravity waves. A number of works are left for future study, some of which will be addressed in concluding remarks.


title: L\"uders Channels and the Existence of Symmetric Informationally Complete Measurements

abstract: The L\"uders rule provides a way to define a quantum channel given a quantum measurement. Using this construction, we establish an if-and-only-if condition for the existence of a $d$-dimensional Symmetric Informationally Complete quantum measurement (a SIC) in terms of a particular depolarizing channel. Moreover, the channel in question satisfies two entropic optimality criteria.


title: Personalised novel and explainable matrix factorisation

abstract: Recommendation systems personalise suggestions to individuals to help them in their decision making and exploration tasks. In the ideal case, these recommendations, besides of being accurate, should also be novel and explainable. However, up to now most platforms fail to provide both, novel recommendations that advance users' exploration along with explanations to make their reasoning more transparent to them. For instance, a well-known recommendation algorithm, such as matrix factorisation (MF), optimises only the accuracy criterion, while disregarding other quality criteria such as the explainability or the novelty, of recommended items. In this paper, to the best of our knowledge, we propose a new model, denoted as NEMF, that allows to trade-off the MF performance with respect to the criteria of novelty and explainability, while only minimally compromising on accuracy. In addition, we recommend a new explainability metric based on nDCG, which distinguishes a more explainable item from a less explainable item. An initial user study indicates how users perceive the different attributes of these "user" style explanations and our extensive experimental results demonstrate that we attain high accuracy by recommending also novel and explainable items.


title: A new signal of the solar magnetic cycle: Opposite shifts of weak magnetic field distributions in the two hemispheres

abstract: We study the asymmetric distribution of weak photospheric magnetic field values in the two hemispheres separately using synoptic maps from SDO/HMI, SOLIS/VSM and WSO during solar cycles 21-24. We calculate the weak-field asymmetry (shift) by fitting the distributions of weak-field values to a shifted Gaussian. Hemispheric shifts derived from the three data sets agree very well, and increase systematically when reducing the spatial resolution of the map. Shifts of the northern and southern hemisphere are typically opposite to each other. Shifts follow the evolution of the trailing flux and have a strong solar cycle variation with maxima in the early to mid-declining phase of the solar cycle. The sign of the hemispheric weak-field shift is always the same as the polarity of the polar field in the respective hemisphere and solar cycle. We also find that shifts in the south are systematically larger in absolute value than in the north.


title: Broadband Resonator-Waveguide Coupling for Efficient Extraction of Octave Spanning Microcombs

abstract: Frequency combs spanning over an octave have been successfully demonstrated in Kerr nonlinear microresonators on-chip. These micro-combs rely on both engineered dispersion, to enable generation of frequency components across the octave, and on engineered coupling, to efficiently extract the generated light into an access waveguide while maintaining a close to critically-coupled pump. The latter is challenging as the spatial overlap between the access waveguide and the ring modes decays with frequency. This leads to strong coupling variation across the octave, with poor extraction at short wavelengths. Here, we investigate how a waveguide wrapped around a portion of the resonator, in a pulley scheme, can improve extraction of octave-spanning microcombs, in particular at short wavelengths. We use coupled mode theory to predict the performance of the pulley couplers, and demonstrate good agreement with experimental measurements. Using an optimal pulley coupling design, we demonstrate a 20~dB improvement in extraction at short wavelengths compared to straight waveguide coupling.


title: Preventing Aluminum Photocorrosion for Ultraviolet Plasmonics

abstract: Ultraviolet (UV) plasmonics aims at combining the strong absorption bands of molecules in the UV range with the intense electromagnetic fields of plasmonic nanostructures to promote surface-enhanced spectroscopy and catalysis. Currently, aluminum is the most widely used metal for UV plasmonics, and is generally assumed to be remarkably stable thanks to its natural alumina layer passivating the metal surface. However, we find here that under 266 nm UV illumination, aluminum can undergo a dramatic photocorrosion in water within a few tens of seconds and even at low average UV powers. This aluminum instability in water environments critically limits the UV plasmonics applications. We show that the aluminum photocorrosion is related to the nonlinear absorption by water in the UV range leading to the production of hydroxyl radicals. Different corrosion protection approaches are tested using scavengers for reactive oxygen species and polymer layers deposited on top of the aluminum structures. Using optimized protection, we achieve a ten-fold increase in the available UV power range leading to no visible photocorrosion effects. This technique is crucial to achieve stable use of aluminum nanostructures for UV plasmonics in aqueous solutions.


title: Don't Worry About the Weather: Unsupervised Condition-Dependent Domain Adaptation

abstract: Modern models that perform system-critical tasks such as segmentation and localization exhibit good performance and robustness under ideal conditions (i.e. daytime, overcast) but performance degrades quickly and often catastrophically when input conditions change. In this work, we present a domain adaptation system that uses light-weight input adapters to pre-processes input images, irrespective of their appearance, in a way that makes them compatible with off-the-shelf computer vision tasks that are trained only on inputs with ideal conditions. No fine-tuning is performed on the off-the-shelf models, and the system is capable of incrementally training new input adapters in a self-supervised fashion, using the computer vision tasks as supervisors, when the input domain differs significantly from previously seen domains. We report large improvements in semantic segmentation and topological localization performance on two popular datasets, RobotCar and BDD.


title: Quantum Weyl algebras and reflection equation algebras at a root of unity

abstract: We compute the center and Azumaya locus in the simplest non-abelian examples of quantized multiplicative quiver varieties at a root of unity: quantum Weyl algebras of rank $N$, and quantum differential operators on the quantum group $\mathrm{GL}_2$. These examples illustrate in elementary terms much more general phenomena explored further in [Ganev-Jordan-Safronov 2019].


title: Which sequences are orbits?

abstract: In the study of discrete dynamical systems, we typically start with a function from a space into itself, and ask questions about the properties of sequences of iterates of the function. In this paper we reverse the direction of this study. In particular, restricting to the complex plane, we start with a sequence of complex numbers and study the functions (if any) for which this sequence is an orbit under iteration. This gives rise to questions of existence and of uniqueness. We resolve some questions, and show that these issues can be quite delicate.


title: Online Event Recognition from Moving Vehicles: Application Paper

abstract: We present a system for online composite event recognition over streaming positions of commercial vehicles. Our system employs a data enrichment module, augmenting the mobility data with external information, such as weather data and proximity to points of interest. In addition, the composite event recognition module, based on a highly optimised logic programming implementation of the Event Calculus, consumes the enriched data and identifies activities that are beneficial in fleet management applications. We evaluate our system on large, real-world data from commercial vehicles, and illustrate its efficiency. Under consideration for acceptance in TPLP.


title: Macroscopic manifestations of rotating triaxial superfluid nuclei

abstract: Recently, Allmond and Wood [Phys. Lett. B 767, 226 (2017)] were able to extract the three moments of inertia $I_k$ of a dozen of superfluid triaxial nuclei from experimental data. The observed dependence of the $I_k$ on the deformation parameters is rather smooth. Here we show that these moments of inertia can be surprisingly well explained by a semiclassical cranked Hartree-Fock-Bogoliubov (HFB) calculation in which the velocity field is a simple superposition of rigid and irrotational flows.


title: Stellar representation of non-Gaussian quantum states

abstract: The so-called stellar formalism allows to represent the non-Gaussian properties of single-mode quantum states by the distribution of the zeros of their Husimi Q-function in phase-space. We use this representation in order to derive an infinite hierarchy of single-mode states based on the number of zeros of the Husimi Q-function, the stellar hierarchy. We give an operational characterisation of the states in this hierarchy with the minimal number of single-photon additions needed to engineer them, and derive equivalence classes under Gaussian unitary operations. We study in detail the topological properties of this hierarchy with respect to the trace norm, and discuss implications for non-Gaussian state engineering and continuous variable quantum computing.


title: Deciding Fast Termination for Probabilistic VASS with Nondeterminism

abstract: A probabilistic vector addition system with states (pVASS) is a finite state Markov process augmented with non-negative integer counters that can be incremented or decremented during each state transition, blocking any behaviour that would cause a counter to decrease below zero. The pVASS can be used as abstractions of probabilistic programs with many decidable properties. The use of pVASS as abstractions requires the presence of nondeterminism in the model. In this paper, we develop techniques for checking fast termination of pVASS with nondeterminism. That is, for every initial configuration of size n, we consider the worst expected number of transitions needed to reach a configuration with some counter negative (the expected termination time). We show that the problem whether the asymptotic expected termination time is linear is decidable in polynomial time for a certain natural class of pVASS with nondeterminism. Furthermore, we show the following dichotomy: if the asymptotic expected termination time is not linear, then it is at least quadratic, i.e., in $\Omega(n^2)$.


title: Accretion Disk Parameters determined from the great 2015 flare of OJ 287

abstract: In the binary black hole model of OJ 287 the secondary black hole orbits a much more massive primary, and impacts on the primary accretion disk at predictable times. We update the parameters of the disk, the viscosity $\alpha$ and the mass accretion rate $\dot m$. We find $\alpha=0.26 \pm 0.1$ and $\dot m = 0.08 \pm 0.04$ in Eddington units. The former value is consistent with Coroniti (1981) and the latter with Marscher and Jorstad (2011). Predictions are made for the 2019 July 30 superflare in OJ 287. We expect that it will take place simultaneously at the Spitzer infrared channels as well as in the optical and that therefore the timing of the flare in optical can be accurately determined from Spitzer observations. We also discuss in detail the light curve of the 2015 flare and find that the radiating volume has regions where bremsstrahlung dominates as well as regions that radiate primarily in synchrotron radiation. The former region produces the unpolarised first flare while the latter region gives rise to a highly polarized second flare.


title: Fourier transform of Rauzy fractals and point spectrum of 1D Pisot inflation tilings

abstract: Primitive inflation tilings of the real line with finitely many tiles of natural length and a Pisot--Vijayaraghavan unit as inflation factor are considered. We present an approach to the pure point part of their diffraction spectrum on the basis of a Fourier matrix cocycle in internal space. This cocycle leads to a transfer matrix equation and thus to a closed expression of matrix Riesz product type for the Fourier transforms of the windows for the covering model sets. In general, these windows are complicated Rauzy fractals and thus difficult to handle. Equivalently, this approach permits a construction of the (always continuously representable) eigenfunctions for the translation dynamical system induced by the inflation rule. We review and further develop the underlying theory, and illustrate it with the family of Pisa substitutions, with special emphasis on the Tribonacci case.


title: Studies of quasiclassical approach applicability to true three-body decays

abstract: Within the hyperspherical harmonics approach the three-body problem is reduced to a motion of one effective particle in a "strongly deformed" field, which is described in coupled-channel formalism. This method is especially suited to studies of phenomena characterized by genuine three-body dynamics, e.g. Borromean haloes and true three-body decays. The reduction of the hyperspherical equations set to a single-channel Schr\"odinger equation provides the basis for the use of the standard quasiclassical expression for calculations of widths for true three-body decays. We demonstrate that the quasiclassical approach by itself is quite precise in application to typical profiles of the three-body effective potentials. However, the reduction to single-channel formalism leads to significant overestimation of the two-proton width $\Gamma_{2p}$. This is demonstrated by the example of the $^{17}$Ne first excited $3/2^-$ state decay, questioning, however, the applicability of such an approximation in general.


title: Optimal symplectic connections on holomorphic submersions

abstract: The main result of this paper gives a new construction of extremal K\"ahler metrics on the total space of certain holomorphic submersions, giving a vast generalisation and unification of results of Hong, Fine and others. The principal new ingredient is a novel geometric partial differential equation on such fibrations, which we call the optimal symplectic connection equation. We begin with a smooth fibration for which all fibres admit a constant scalar curvature K\"ahler metric. When the fibres admit automorphisms, such metrics are not unique in general, but rather are unique up to the action of the automorphism group of each fibre. We define an equation which, at least conjecturally, determines a canonical choice of constant scalar curvature K\"ahler metric on each fibre. When the fibration is a projective bundle, this equation specialises to asking that the hermitian metric determining the fibrewise Fubini-Study metric is Hermite-Einstein. Assuming the existence of an optimal symplectic connection, and the existence of an appropriate twisted extremal metric on the base of the fibration, we show that the total space of the fibration itself admits an extremal metric for certain polarisations making the fibres small.


title: A new approach (extra vertex) and generalization of Shoelace Algorithm usage in convex polygon (Point-in-Polygon)

abstract: In this paper we aim to bring new approach into usage of Shoelace Algorithm for area calculation in convex polygons on Cartesian coordinate system, with concentration on point in polygon concept. Generalization of usage of the concept will be proposed for line segment and polygons. Testing of new method will be done using Python language. Results of tests show that the new approach is more effective than the current one.


title: Third order open mapping theorems and applications to the end-point map

abstract: This paper is devoted to a third order study of the end-point map in sub-Riemannian geometry. We first prove third order open mapping results for maps from a Banach space into a finite dimensional manifold. In a second step, we compute the third order term in the Taylor expansion of the end-point map and we specialize the abstract theory to the study of length-minimality of sub-Riemannian strictly singular curves. We conclude with the third order analysis of a specific strictly singular extremal that is not length-minimizing.


title: Particle Methods for Stochastic Differential Equation Mixed Effects Models

abstract: Parameter inference for stochastic differential equation mixed effects models (SDEMEMs) is a challenging problem. Analytical solutions for these models are rarely available, which means that the likelihood is also intractable. In this case, exact inference is possible using the pseudo-marginal method, where the intractable likelihood is replaced by its nonnegative unbiased estimate. A useful application of this idea is particle MCMC, which uses a particle filter estimate of the likelihood. While the exact posterior is targeted by these methods, a naive implementation for SDEMEMs can be highly inefficient. We develop three extensions to the naive approach which exploits specific aspects of SDEMEMs and other advances such as correlated pseudo-marginal methods. We compare these methods on real and simulated data from a tumour xenography study on mice.


title: Factored LT and Factored Raptor Codes for Large-Scale Distributed Matrix Multiplication

abstract: We propose two coding schemes for distributed matrix multiplication in the presence of stragglers. These coding schemes are adaptations of LT codes and Raptor codes to distributed matrix multiplication and are termed \emph{factored LT (FLT) codes} and \emph{factored Raptor (FR) codes}. Empirically, we show that FLT codes have near-optimal recovery thresholds when the number of worker nodes is very large, and that FR codes have excellent recovery thresholds while the number of worker nodes is moderately large. FLT and FR codes have better recovery thresholds when compared to Product codes and they are expected to have better numerical stability when compared to Polynomial codes, while they can also be decoded with a low-complexity decoding algorithm.


title: Fair and Efficient Cake Division with Connected Pieces

abstract: The classic cake-cutting problem provides a model for addressing fair and efficient allocation of a divisible, heterogeneous resource (metaphorically, the cake) among agents with distinct preferences. Focusing on a standard formulation of cake cutting, in which each agent must receive a contiguous piece of the cake, this work establishes algorithmic and hardness results for multiple fairness/efficiency measures. First, we consider the well-studied notion of envy-freeness and develop an efficient algorithm that finds a cake division (with connected pieces) wherein the envy is multiplicatively within a factor of 2+o(1). The same algorithm in fact achieves an approximation ratio of 3+o(1) for the problem of finding cake divisions with as large a Nash social welfare (NSW) as possible. NSW is another standard measure of fairness and this work also establishes a connection between envy-freeness and NSW: approximately envy-free cake divisions (with connected pieces) always have near-optimal Nash social welfare. Furthermore, we develop an approximation algorithm for maximizing the $\rho$-mean welfare--this unifying objective, with different values of $\rho$, interpolates between notions of fairness (NSW) and efficiency (average social welfare). Finally, we complement these algorithmic results by proving that maximizing NSW (and, in general, the $\rho$-mean welfare) is APX-hard in the cake-division context.


title: Enhancing phase sensitivity with number state filtered coherent states

abstract: Number state filtered coherent states are a class of nonclassical states obtained by removing one or more number states from a coherent state. Phase sensitivity of an interferometer is enhanced if these nonclassical states are used as input states. The optimal phase sensitivity, which is related to the quantum Cramer-Rao bound (QCRB) for the input state, improves beyond the standard quantum limit. It is argued that removal of more than one suitable number state leads to better phase sensitivity. As an important limiting case in this context, the even and odd coherent states, where the odd and even number states are filtered from coherent state respectively, are considered. The optimal phase sensitivity for these limiting cases equals that of the squeezed vacuum. It is observed that the improvement in phase sensitivity is not in direct proportion to the nonclassicality of the input states.


title: Experimentation on the motion of an obstacle avoiding robot

abstract: An intelligent robot can be used for applications where a human is at significant risk (like nuclear, space, military), the economics or menial nature of the application result in inefficient use of human workers (service industry, agriculture), for humanitarian uses where there is great risk (demining an area of land mines, urban search and rescue). This paper implements an experiment on one of important fields of AI Searching Algorithms, to find shortest possible solution by searching the produced tree. We will concentrate on Hill climbing algorithm, which is one of simplest searching algorithms in AI. This algorithm is one of most suitable searching methods to help expert system to make decision at every state, at every node. The experimental robot will traverse the maze by using sensors plugged on it. The robot used is E.V.3 Lego Mind storms, with native software for programming LabView. The reason we chose this robot is that it interacts quickly with sensors and can be reconstructed in many ways. This programmed robot will calculate the best possibilities to find way out of maze. The maze is made of wood, and it is adjustable, as robot should be able to leave the maze in any design.


title: High Performance Fin-FET electrochemical sensor with high-k dielectric materials

abstract: In this work we combine a Fin Field Effect Transistor (Fin-FET) characterised by a high height to width aspect ratio with high-k dielectric materials to study the optimized design for chemical-FETs to provide higher transconductance (and thus a better signal to noise ratio), increased dynamic range and chemical stability. We used pH sensing to verify the design. We explored the sensitivity and response linearity of silicon dioxide, alumina and hafnium oxide as dielectric materials sensing pH, and compared their chemical stability in different acids. The high aspect ratio fin geometry of the sensor provides high currents, as well as a planar conduction channel more reliable than traditional silicon nanowires. The hafnium oxide Fin-FET configuration performed the best delivering the most linear response both for the output and transfer characteristics providing a wider dynamic range. Hafnium oxide also showed the best chemical stability. Thus, we believe that the developed high aspect ratio Fin-FETs/high-k dielectric system can offer the best compromise of performance of FET-based sensors.


title: Entangled states in supersymmetric quantum mechanics

abstract: We study entanglement of spin degrees of freedom with continuous one in supersymmetric (SUSY) quantum mechanics. Concurrence is determined by mean value of spin and is calculated explicitly for SUSY states. We show that eigenstates of supercharges are maximally entangled. As an example the entanglement of atom state with photon state and SUSY in Jaynes-Cummings model are considered.


title: Density deconvolution under general assumptions on the distribution of measurement errors

abstract: In this paper we study the problem of density deconvolution under general assumptions on the measurement error distribution. Typically deconvolution estimators are constructed using Fourier transform techniques, and it is assumed that the characteristic function of the measurement errors does not have zeros on the real line. This assumption is rather strong and is not fulfilled in many cases of interest. In this paper we develop a methodology for constructing optimal density deconvolution estimators in the general setting that covers vanishing and non--vanishing characteristic functions of the measurement errors. We derive upper bounds on the risk of the proposed estimators and provide sufficient conditions under which zeros of the corresponding characteristic function have no effect on estimation accuracy. Moreover, we show that the derived conditions are also necessary in some specific problem instances.


title: Towards Generalizing Sensorimotor Control Across Weather Conditions

abstract: The ability of deep learning models to generalize well across different scenarios depends primarily on the quality and quantity of annotated data. Labeling large amounts of data for all possible scenarios that a model may encounter would not be feasible; if even possible. We propose a framework to deal with limited labeled training data and demonstrate it on the application of vision-based vehicle control. We show how limited steering angle data available for only one condition can be transferred to multiple different weather scenarios. This is done by leveraging unlabeled images in a teacher-student learning paradigm complemented with an image-to-image translation network. The translation network transfers the images to a new domain, whereas the teacher provides soft supervised targets to train the student on this domain. Furthermore, we demonstrate how utilization of auxiliary networks can reduce the size of a model at inference time, without affecting the accuracy. The experiments show that our approach generalizes well across multiple different weather conditions using only ground truth labels from one domain.


title: Free fermion representation of the topological surface code

abstract: The toric code is known to be equivalent to free fermions. This paper presents explicit local unitary transformations that map the $\mathbb{Z}_2$ toric and surface code --- the open boundary equivalent of the toric code --- to fermions. Through this construction it is shown that the surface code can be mapped to a set of free fermion modes, while the toric code requires additional fermionic symmetry operators. Finally, it is demonstrated how the anyonic statistics of these codes are encoded in the fermionic representations.


title: Minimal $D = 4$ $\mathcal{N} = 2$ supergravity from $D = 11$: An M-theory free lunch

abstract: We present a new consistent truncation of $D=11$ supergravity to $D=4$ $\mathcal{N}=2$ minimal gauged supergravity, on the seven-dimensional internal Riemannian space corresponding to the most general class of $D=11$ solutions with an AdS$_{4}$ factor and $\mathcal{N}=2$ supersymmetry. A truncation ansatz is proposed and its consistency checked at the level of the $D=11$ Bianchi identity, bosonic equations of motion, and supersymmetry variations of the gravitino. The general class includes an $\mathcal{N}=2$ AdS$_{4}$ solution dual to the conformal, low-energy physics phase corresponding to a mass deformation of the M2-brane field theory. A consistent truncation recently constructed on this particular geometry is recovered from our formalism.


title: Positive solutions of systems of perturbed Hammerstein integral equations with arbitrary order dependence

abstract: Motivated by the study of systems of higher order boundary value problems with functional boundary conditions, we discuss, by topological methods, the solvability of a fairly general class of systems of perturbed Hammerstein integral equations, where the nonlinearities and the functionals involved depend on some derivatives. We improve and complement earlier results in the literature. We also provide some examples in order to illustrate the applicability of the theoretical results.


title: Data-Driven Modelling of the Van Allen Belts: The 5DRBM Model for Trapped Electrons

abstract: The magnetosphere sustained by the rotation of the Earth's liquid iron core traps charged particles, mostly electrons and protons, into structures referred to as the Van Allen belts. These radiation belts, in which the density of charged energetic particles can be very destructive for sensitive instrumentation, have to be crossed on every orbit of satellites traveling in elliptical orbits around the Earth, as is the case for ESA's INTEGRAL and XMM-Newton missions. This paper presents the first working version of the 5DRBM-e model, a global, data-driven model of the radiation belts for trapped electrons. The model is based on in-situ measurements of electrons by the radiation monitors on board the INTEGRAL and XMM-Newton satellites along their long elliptical orbits for respectively 16 and 19 years of operations. This model, in its present form, features the integral flux for trapped electrons within energies ranging from 0.7 to 1.75 MeV. Cross-validation of the 5DRBM-e with the well-known AE8min/max and AE9mean models for a low eccentricity GPS orbit shows excellent agreement, and demonstrates that the new model can be used to provide reliable predictions along widely different orbits around Earth for the purpose of designing, planning, and operating satellites with more accurate instrument safety margins. Future work will include extending the model based on electrons of different energies and proton radiation measurement data.


title: Telescope conjecture for homotopically smashing t-structures over commutative noetherian rings

abstract: We show that any homotopically smashing t-structure in the derived category of a commutative noetherian ring is compactly generated. This generalizes the validity of the telescope conjecture for commutative noetherian rings due to Neeman. As another consequence, we obtain a cofinite type result for pure-injective cosilting objects. We also give a formulation of telescope conjecture for homotopically smashing t-structures in underlying triangulated categories of certain Grothendieck derivators.


title: Not All Bugs Are the Same: Understanding, Characterizing, and Classifying the Root Cause of Bugs

abstract: Modern version control systems such as Git or SVN include bug tracking mechanisms, through which developers can highlight the presence of bugs through bug reports, i.e., textual descriptions reporting the problem and what are the steps that led to a failure. In past and recent years, the research community deeply investigated methods for easing bug triage, that is, the process of assigning the fixing of a reported bug to the most qualified developer. Nevertheless, only a few studies have reported on how to support developers in the process of understanding the type of a reported bug, which is the first and most time-consuming step to perform before assigning a bug-fix operation. In this paper, we target this problem in two ways: first, we analyze 1,280 bug reports of 119 popular projects belonging to three ecosystems such as Mozilla, Apache, and Eclipse, with the aim of building a taxonomy of the root causes of reported bugs; then, we devise and evaluate an automated classification model able to classify reported bugs according to the defined taxonomy. As a result, we found nine main common root causes of bugs over the considered systems. Moreover, our model achieves high F-Measure and AUC-ROC (64% and 74% on overall, respectively).


title: Controllable freezing of the nuclear spin bath in a single-atom spin qubit

abstract: The quantum coherence and gate fidelity of electron spin qubits in semiconductors is often limited by noise arising from coupling to a bath of nuclear spins. Isotopic enrichment of spin-zero nuclei such as $^{28}$Si has led to spectacular improvements of the dephasing time $T_2^*$ which, surprisingly, can extend two orders of magnitude beyond theoretical expectations. Using a single-atom $^{31}$P qubit in enriched $^{28}$Si, we show that the abnormally long $T_2^*$ is due to the controllable freezing of the dynamics of the residual $^{29}$Si nuclei close to the donor. Our conclusions are supported by a nearly parameter-free modeling of the $^{29}$Si nuclear spin dynamics, which reveals the degree of back-action provided by the electron spin as it interacts with the nuclear bath. This study clarifies the limits of ergodic assumptions in analyzing many-body spin-problems under conditions of strong, frequent measurement, and provides novel strategies for maximizing coherence and gate fidelity of spin qubits in semiconductors.


title: Learning binary undirected graph in low dimensional regime

abstract: Given a random sample extracted from a Multivariate Bernoulli Variable (MBV), we consider the problem of estimating the structure of the undirected graph for which the distribution is pairwise Markov and the parameters' vector of its exponential form. We propose a simple method that provides a closed form estimator of the parameters' vector and through its support also provides an estimate of the undirected graph associated to the MBV distribution. The estimator is proved to be consistent but it is feasible only in low-dimensional regimes. Synthetic examples illustrates its performance compared with another method that represents the state of the art in literature. Finally, the proposed procedure is used for the analysis of a real data set in the pediatric allergology area showing its practical efficiency.


title: State Identification for Labeled Transition Systems with Inputs and Outputs

abstract: For Finite State Machines (FSMs) a rich testing theory has been developed to discover aspects of their behavior and ensure their correct functioning. Although this theory is widely used, e.g., to check conformance of protocol implementations, its applicability is limited by restrictions of the FSM framework: the fact that inputs and outputs alternate in an FSM, and outputs are fully determined by the previous input and state. Labeled Transition Systems with inputs and outputs (LTSs), as studied in ioco testing theory, provide a richer framework for testing component oriented systems, but lack the algorithms for test generation from FSM theory. In this article, we propose an algorithm for the fundamental problem of state identification during testing of LTSs. Our algorithm is a direct generalization of the well-known algorithm for computing adaptive distinguishing sequences for FSMs proposed by Lee & Yannakakis. Our algorithm has to deal with so-called compatible states, states that cannot be distinguished in case of an adversarial system-under-test. Analogous to the result of Lee & Yannakakis, we prove that if an (adaptive) test exists that distinguishes all pairs of incompatible states of an LTS, our algorithm will find one. In practice, such adaptive tests typically do not exist. However, in experiments with an implementation of our algorithm on an industrial benchmark, we find that tests produced by our algorithm still distinguish more than 99% of the incompatible state pairs.


title: Robot Learning of Shifting Objects for Grasping in Cluttered Environments

abstract: Robotic grasping in cluttered environments is often infeasible due to obstacles preventing possible grasps. Then, pre-grasping manipulation like shifting or pushing an object becomes necessary. We developed an algorithm that can learn, in addition to grasping, to shift objects in such a way that their grasp probability increases. Our research contribution is threefold: First, we present an algorithm for learning the optimal pose of manipulation primitives like clamping or shifting. Second, we learn non-prehensible actions that explicitly increase the grasping probability. Making one skill (shifting) directly dependent on another (grasping) removes the need of sparse rewards, leading to more data-efficient learning. Third, we apply a real-world solution to the industrial task of bin picking, resulting in the ability to empty bins completely. The system is trained in a self-supervised manner with around 25000 grasp and 2500 shift actions. Our robot is able to grasp and file objects with 274 picks per hour. Furthermore, we demonstrate the system's ability to generalize to novel objects.


title: Ricci curvature and $W_1$-exponential convergence of Markov processes on graphs

abstract: In this paper, we show that the Ricci curvature lower bound in Ollivier's Wasserstein metric sense of a continuous time jumping Markov process on a graph can be characterized by some optimal coupling generator and provide the construction of this latter. Some previous results of Ollivier for discrete time Markov chains are generalized to the actual continuous time case. We propose a comparison technique with some death-birth process on $\mathbb N$ to obtain some explicit exponential convergence rate, by modifying the metric. A counterpart of Zhong-Yang's estimate is established in the case where the Ricci curvature with repsect to the graph metric is nonnegative. Moreover we show that the Lyapunov function method for the exponential convergence works with some explicit quantitative estimates, once if the Ricci curvature is bounded from below by a negative constant. Finally we present applications to Glauder dynamics under some dynamical versions of the Dobrushin uniqueness condition or of the Dobrushin-Shlosman analyticity condition.


title: The Transversality on locally pseudocompact groups

abstract: Two non-discrete Hausdorff group topologies $\tau, \delta$ on a group $G$ are called {\it transversal} if the least upper bound $\tau\vee \delta$ of $\tau$ and $\delta$ is the discrete topology. In this paper, we discuss the existence of transversal group topologies on locally pseudocompact, locally precompact or locally compact groups. We prove that each locally pseudocompact, connected topological group satisfies CSP, which gives an affirmative answer to a problem posed by Dikranjan, Tkachenko and Yaschenko in 2006. For a compact normal subgroup $K$ of a locally compact totally disconnected group $G$, if $G$ admits a transversal group topology then $G/K$ admits a transversal group topology, which give a partial answer again to a problem posed by Dikranjan, Tkachenko and Yaschenko in 2006. Moreover, we characterize some classes of locally compact groups that admit transversal group topologies.


title: Conditional probability in Renyi spaces

abstract: In 1933 Kolmogorov constructed a general theory that defines the modern concept of conditional probability. In 1955 Renyi fomulated a new axiomatic theory for probability motivated by the need to include unbounded measures. This note introduces a general concept of conditional probability in Renyi spaces. Keywords: Measure theory; conditional probability space; conditional expectation


title: Visualization of Emergency Department Clinical Data for Interpretable Patient Phenotyping

abstract: Visual summarization of clinical data collected on patients contained within the electronic health record (EHR) may enable precise and rapid triage at the time of patient presentation to an emergency department (ED). The triage process is critical in the appropriate allocation of resources and in anticipating eventual patient disposition, typically admission to the hospital or discharge home. EHR data are high-dimensional and complex, but offer the opportunity to discover and characterize underlying data-driven patient phenotypes. These phenotypes will enable improved, personalized therapeutic decision making and prognostication. In this work, we focus on the challenge of two-dimensional patient projections. A low dimensional embedding offers visual interpretability lost in higher dimensions. While linear dimensionality reduction techniques such as principal component analysis are often used towards this aim, they are insufficient to describe the variance of patient data. In this work, we employ the newly-described non-linear embedding technique called uniform manifold approximation and projection (UMAP). UMAP seeks to capture both local and global structures in high-dimensional data. We then use Gaussian mixture models to identify clusters in the embedded data and use the adjusted Rand index (ARI) to establish stability in the discovery of these clusters. This technique is applied to five common clinical chief complaints from a real-world ED EHR dataset, describing the emergent properties of discovered clusters. We observe clinically-relevant cluster attributes, suggesting that visual embeddings of EHR data using non-linear dimensionality reduction is a promising approach to reveal data-driven patient phenotypes. In the five chief complaints, we find between 2 and 6 clusters, with the peak mean pairwise ARI between subsequent training iterations to range from 0.35 to 0.74.


title: DeepDrawing: A Deep Learning Approach to Graph Drawing

abstract: Node-link diagrams are widely used to facilitate network explorations. However, when using a graph drawing technique to visualize networks, users often need to tune different algorithm-specific parameters iteratively by comparing the corresponding drawing results in order to achieve a desired visual effect. This trial and error process is often tedious and time-consuming, especially for non-expert users. Inspired by the powerful data modelling and prediction capabilities of deep learning techniques, we explore the possibility of applying deep learning techniques to graph drawing. Specifically, we propose using a graph-LSTM-based approach to directly map network structures to graph drawings. Given a set of layout examples as the training dataset, we train the proposed graph-LSTM-based model to capture their layout characteristics. Then, the trained model is used to generate graph drawings in a similar style for new networks. We evaluated the proposed approach on two special types of layouts (i.e., grid layouts and star layouts) and two general types of layouts (i.e., ForceAtlas2 and PivotMDS) in both qualitative and quantitative ways. The results provide support for the effectiveness of our approach. We also conducted a time cost assessment on the drawings of small graphs with 20 to 50 nodes. We further report the lessons we learned and discuss the limitations and future work.


title: Two-point connectivity of two-dimensional critical $Q-$ Potts random clusters on the torus

abstract: We consider the two dimensional $Q-$ random-cluster Potts model on the torus and at the critical point. We study the probability for two points to be connected by a cluster for general values of $Q\in [1,4]$. Using a Conformal Field Theory (CFT) approach, we provide the leading topological corrections to the plane limit of this probability. These corrections have universal nature and include, as a special case, the universality class of two-dimensional critical percolation. We compare our predictions to Monte Carlo measurements. Finally, we take Monte Carlo measurements of the torus energy one-point function that we compare to CFT computations.


title: IDEAL-CITIES: A Trustworthy and Sustainable Framework for Circular Smart Cities

abstract: Reflecting upon the sustainability challenges cities will be facing in the near future and the recent technological developments allowing cities to become "smart", we introduce IDEAL-CITIES; a framework aiming to provide an architecture for cyber-physical systems to deliver a data-driven Circular Economy model in a city context. In the IDEAL-CITIES ecosystem, the city's finite resources as well as citizens will form the pool of intelligent assets in order to contribute to high utilization through crowdsourcing and real-time decision making and planning. We describe two use cases as a vehicle to demonstrate how a smart city can serve the Circular Economy paradigm.


title: Multiple asymptotics of Kinetic Equations with Internal States

abstract: The run and tumble process is well established in order to describe the movement of bacteria in response to a chemical stimulus. However the relation between the tumbling rate and the internal state of bacteria is poorly understood. The present study aims at deriving models at the macroscopic scale from assumptions on the microscopic scales. In particular we are interested in comparisons between the stiffness of the response and the adaptation time. Depending on the asymptotics chosen both the standard Keller-Segel equation and the flux-limited Keller-Segel (FLKS) equation can appear. An interesting mathematical issue arises with a new type of equilibrium equation leading to solution with singularities.


title: Elemental and molecular abundances in comet 67P/Churyumov-Gerasimenko

abstract: Comets are considered to be some of the most pristine and unprocessed solar system objects accessible to in-situ exploration. Investigating their molecular and elemental composition takes us on a journey back to the early period of our solar system and possibly even further. In this work, we deduce the bulk abundances of the major volatile species in comet 67P/Churyumov-Gerasimenko, the target of the European Space Agency's Rosetta mission. The basis are measurements obtained with the ROSINA instrument suite on board the Rosetta orbiter during a suitable period of high outgassing near perihelion. The results are combined with both gas and dust composition measurements published in the literature. This provides an integrated inventory of the major elements present in the nucleus of 67P/Churyumov-Gerasimenko. Similar to comet 1P/Halley, which was visited by ESA's Giotto spacecraft in 1986, comet 67P/Churyumov-Gerasimenko also shows near-solar abundances of oxygen and carbon, whereas hydrogen and nitrogen are depleted compared to solar. Still, the degree of devolatilization is lower than that of inner solar system objects, including meteorites and the Earth. This supports the idea that comets are among the most pristine objects in our solar system.


title: Discovery of voltage induced superfluid-like penetration effect in liquid metals at room temperature

abstract: We have discovered that room temperature liquid metal is capable of penetrating through macro- and microporous materials by applying a voltage. In this work, we demonstrate the liquid metal penetration effect in various porous materials such as tissue paper, thick and fine sponges, fabrics, and meshes. The penetration effect mimics one of the three well-known superfluid properties of liquid helium superfluid that only occur at near-zero Kelvin. The underlying mechanism is that the high surface tension of liquid metal can be significantly reduced to near-zero due to the voltage induced oxidation of the liquid metal surface in a solution. It is the extremely low surface tension and gravity that cause the liquid metal to superwet the solid surface, leading to the penetration phenomena. Our findings offer new opportunities for novel microfluidic applications and could promote further discovery of more exotic fluid states of liquid metals.