title: Symmetric constellations of satellites moving around a central body of large mass

abstract: We consider a $(1+N)$-body problem in which one particle has mass $m_0 \gg 1$ and the remaining $N$ have unitary mass. We can assume that the body with larger mass (central body) is at rest at the origin, coinciding with the center of mass of the $N$ bodies with smaller masses (satellites). The interaction force between two particles is defined through a potential of the form $U \sim \frac{1}{r^\alpha},$ where $\alpha \in [1,2)$ and $r$ is the distance between the particles. Imposing symmetry and topological constraints, we search for periodic orbits of this system by variational methods. Moreover, we use $\Gamma$-convergence theory to study the asymptotic behaviour of these orbits, as the mass of the central body increases. It turns out that the Lagrangian action functional $\Gamma$-converges to the action functional of a Kepler problem, defined on a suitable set of loops. In some cases, minimizers of the $\Gamma$-limit problem can be easily found, and they are useful to understand the motion of the satellites for large values of $m_0$. We discuss some examples, where the symmetry is defined by an action of the groups $Z_4$ , $Z_2 \times Z_2$ and the rotation groups of Platonic polyhedra on the set of loops.


title: MaMIMO CSI-based positioning using CNNs: Peeking inside the black box

abstract: Massive MIMO (MaMIMO) Channel State Information (CSI) based user positioning systems using Convolutional Neural Networks (CNNs) show great potential, reaching a very high accuracy without introducing any overhead in the MaMIMO communication system. In this study, we show that both these systems can position indoor users in both Line-of-Sight and in non-Line-of-Sight conditions with an accuracy of around 20 mm. However, to further develop these positioning systems, more insight in how the CNN infers the position is needed. The used CNNs are a black box and we can only guess how they position the users. Therefore, the second focus of this paper is on opening the black box using several experiments. We explore the current limitations and promises using the open dataset gathered on a real-life 64-antenna MaMIMO testbed. In this way, extra insight in the system is gathered, guiding research on MaMIMO CSI-based positioning systems using CNNs in the right direction.


title: The Locus Algorithm I: A technique for identifying optimised pointings for differential photometry

abstract: Studies of the photometric variability of astronomical sources from ground-based telescopes must overcome atmospheric extinction effects. Differential photometry by reference to an ensemble of reference stars which closely match the target in terms of magnitude and colour can mitigate these effects. This Paper describes the design, implementation and operation of a new algorithm, The Locus Algorithm; which enables optimised differential photometry. The Algorithm is intended to identify, for a given target and observational parameters, the Field of View (FoV) which includes the target and the maximum number of reference stars similar to the target. A collection of objects from a catalogue (e.g. SDSS) is filtered to identify candidate reference stars and determine a rating for each which quantifies its similarity to the target. The algorithm works by defining a locus of points around each candidate reference star, upon which the FoV can be centred and include the reference at the edge of the FoV. The Points of Intersection (PoI) between these loci are identified and a score for each PoI is calculated. The PoI with the highest score is output as the optimum pointing. The steps of the algorithm are precisely defined in this paper. The application of The Locus Algorithm to a sample target, SDSS1237680117417115655, from the Sloan Digital Sky Survey is described in detail. The algorithm has been defined here and implemented in software which is available online. The algorithm has also been used to generate catalogues of pointings to optimise Quasar variability studies and to generate catalogues of optimised pointings in the search for Exoplanets via the transit method.


title: TailorNet: Predicting Clothing in 3D as a Function of Human Pose, Shape and Garment Style

abstract: In this paper, we present TailorNet, a neural model which predicts clothing deformation in 3D as a function of three factors: pose, shape and style (garment geometry), while retaining wrinkle detail. This goes beyond prior models, which are either specific to one style and shape, or generalize to different shapes producing smooth results, despite being style specific. Our hypothesis is that (even non-linear) combinations of examples smooth out high frequency components such as fine-wrinkles, which makes learning the three factors jointly hard. At the heart of our technique is a decomposition of deformation into a high frequency and a low frequency component. While the low-frequency component is predicted from pose, shape and style parameters with an MLP, the high-frequency component is predicted with a mixture of shape-style specific pose models. The weights of the mixture are computed with a narrow bandwidth kernel to guarantee that only predictions with similar high-frequency patterns are combined. The style variation is obtained by computing, in a canonical pose, a subspace of deformation, which satisfies physical constraints such as inter-penetration, and draping on the body. TailorNet delivers 3D garments which retain the wrinkles from the physics based simulations (PBS) it is learned from, while running more than 1000 times faster. In contrast to PBS, TailorNet is easy to use and fully differentiable, which is crucial for computer vision algorithms. Several experiments demonstrate TailorNet produces more realistic results than prior work, and even generates temporally coherent deformations on sequences of the AMASS dataset, despite being trained on static poses from a different dataset. To stimulate further research in this direction, we will make a dataset consisting of 55800 frames, as well as our model publicly available at https://virtualhumans.mpi-inf.mpg.de/tailornet.


title: Topological Machine Learning for Mixed Numeric and Categorical Data

abstract: Topological data analysis is a relatively new branch of machine learning that excels in studying high dimensional data, and is theoretically known to be robust against noise. Meanwhile, data objects with mixed numeric and categorical attributes are ubiquitous in real-world applications. However, topological methods are usually applied to point cloud data, and to the best of our knowledge there is no available framework for the classification of mixed data using topological methods. In this paper, we propose a novel topological machine learning method for mixed data classification. In the proposed method, we use theory from topological data analysis such as persistent homology, persistence diagrams and Wasserstein distance to study mixed data. The performance of the proposed method is demonstrated by experiments on a real-world heart disease dataset. Experimental results show that our topological method outperforms several state-of-the-art algorithms in the prediction of heart disease.


title: Multipath Wave-Particle Duality in Classical Optics

abstract: It is well known that in classical optics, the visibility of interference, in a two-beam light interference, is related to the optical coherence of the two beams. A wave-particle duality relation can be derived using this mutual coherence. The issue of wave-particle duality in classical optics is analyzed here, in the more general context of multipath interference. New definitions of interference visibility and path distinguishability have been introduced, which lead to a duality relation for multipath interference. The visibility is shown to be related to a new multi-point optical coherence function.


title: Few-body structures in the mirror nuclei, $^{11}$O and $^{11}$Li

abstract: We investigate the dripline mirror nuclei, $^{11}$Li and $^{11}$O, located on the neutron and proton dripline, respectively. We calculate the lowest four states, $3/2^-$, $1/2^+$, $3/2^+$ and $5/2^+$, built on double occupancy in the nuclear $s_{1/2}$ and $p_{1/2}$ valence single-particle states. We use the hyperspherical adiabatic expansion method to solve the three-body problem for a frozen nuclear core surrounded by two identical nucleons. The four analogue states in $^{11}$O are obtained with precisely the same interactions as used for the four states in $^{11}$Li, except for addition of the Coulomb interaction from the charge of the substituted valence protons. Surprisingly the four energies deviate from each other only by less than a few hundred keV. Any of them could then turn out to be the ground state, due to the uncertainty related to the angular momentum and parity dependence of the three-body potential. Still, our calculations marginally favor the $1/2^+$ state. The structures of these four states in $^{11}$O deviate substantially from the analogue states in the mirror, $^{11}$Li.


title: Weak Solutions for the Stationary Anisotropic and Nonlocal Compressible Navier-Stokes System

abstract: In this paper, we prove global existence of weak solutions for the stationary compressible Navier-Stokes equations with an anisotropic and nonlocal viscous term in a periodic domain. This gives an answer to an open problem important for applications in geophysics or in microuidics. The main idea is to adapt in a non-trivial way the new idea developped by the authors in a previous paper, see [2] which allowed them to treat the anisotropic compressible quasi-stationary Stokes system.


title: The Drinfeld-Kohno theorem for the superalgebra $gl(1|1)$

abstract: We revisit the derivation of Knizhnik-Zamolodchikov equations in the case of nonsemisimple categories of modules of a superalgebra in the case of the generic affne level and representations parameters. A proof of existence of asymptotic solutions and their properties for the superalgebra $gl(1|1)$ gives a basis for the proof of existence associator which satisfy braided tensor categories requirements. Braided tensor category structure of $U_h(gl(1|1))$ quantum algebra calculated, and the tensor product ring is shown to be isomorphic to $gl(1|1)$ ring, for the same generic relations between the level and parameters of modules. We review the proof of Drinfeld-Kohno theorem for non-semisimple category of modules suggested by Geer and show that it remains valid for the superalgebra $gl(1|1)$. Examples of logarithmic solutions of KZ equations are also presented.


title: Nonadiabatic particle and energy pump at strong system-reservoir coupling

abstract: We study the dynamics of electron and energy currents in a nonadiabatic pump. The pump is a quantum dot nanojunction with time-varying gate potential and tunnel couplings to the leads. The leads are unbiased and maintained at the same temperature and chemical potential. We find that synchronized variations of the gate and tunnel couplings can pump electrons and energy from the left to the right lead. Inspired by quantum heat engines, we devise a four-stroke operating protocol that can optimally pump energy and hence, we investigate energy transfer and the coefficient of performance of the device. We compare our device to a two-stroke pump and find that the latter's lower performance is due to the bi-directional flow of energy currents resulting in low net energy currents. The performance of our four-stroke pump can be improved, up to a point, by increasing the net energy carried by the pumped electrons through energy charging via the gate potential. This is achieved by increasing the durations of energy charging and discharging strokes in the pump's protocol. However, despite the large energy output for long charging and discharging strokes, the energy required to maintain the strokes become large too resulting in a stagnant pump performance. Our pump operates effectively only in the strong lead coupling regime and becomes a dud in the weak coupling regime due to the net output energy flowing in the reverse direction. We use nonequilibirum Green's functions techniques to calculate the currents and capture the effects of strong lead-channel coupling exactly while simultaneously incorporating three time-varying parameters. Results from our work could aid in the design of high-performance quantum pumps.


title: A Catalogue of Locus Algorithm Pointings for Optimal Differential Photometry for 23,779 Quasars

abstract: This paper presents a catalogue of optimised pointings for differential photometry of 23,779 quasars extracted from the Sloan Digital Sky Survey (SDSS) Catalogue and a score for each indicating the quality of the Field of View (FoV) associated with that pointing. Observation of millimagnitude variability on a timescale of minutes typically requires differential observations with reference to an ensemble of reference stars. For optimal performance, these reference stars should have similar colour and magnitude to the target quasar. In addition, the greatest quantity and quality of suitable reference stars may be found by using a telescope pointing which offsets the target object from the centre of the field of view. By comparing each quasar with the stars which appear close to it on the sky in the SDSS Catalogue, an optimum pointing can be calculated, and a figure of merit, referred to as the "score" calculated for that pointing. Highly flexible software has been developed to enable this process to be automated and implemented in a distributed computing paradigm, which enables the creation of catalogues of pointings given a set of input targets. Applying this technique to a sample of 40,000 targets from the 4th SDSS quasar catalogue resulted in the production of pointings and scores for 23,779 quasars. This catalogue is a useful resource for observers planning differential photometry studies and surveys of quasars to select those which have many suitable celestial neighbours for differential photometry


title: On the Inclusion and Utilization of Pilot Tones in Unique Word OFDM

abstract: Unique word-orthogonal frequency division multiplexing (UW-OFDM) is known to provide various performance benefits over conventional OFDM using cyclic prefixes (CP). Most important, UW-OFDM features excellent spectral sidelobe suppression properties and an outstanding bit error ratio performance. Current research has mainly focused on principle performance bounds of UW-OFDM, with less attention on challenges aside from idealized communication scenarios, such as system parameter estimation tasks. In this work we present an approach for including frequency pilots tones into the UW-OFDM signaling scheme, which can then be utilized for these estimation tasks. Suitable optimization criteria are presented and interactions of pilots with data symbols are highlighted. Pilot tone based estimation of a carrier frequency offset (CFO) is conducted as an estimation example, revealing considerable differences to conventional OFDM. Simulation results in a multipath environment demonstrate a significantly increased estimation accuracy in UW-OFDM over CP-OFDM, which becomes even more dominant with an increasing CFO. This performance difference is due to the inherent redundancy present in an UW-OFDM signal.


title: A martingale approach for P\'olya urn processes

abstract: This paper is devoted to a direct martingale approach for P{\'o}lya urn models asymptotic behaviour. A P{\'o}lya process is said to be small when the ratio of its remplacement matrix eigenvalues is less than or equal to 1/2, otherwise it is called large. We find again some well-known results on the asymptotic behaviour for small and large urns processes. We also provide new almost sure properties for small urns processes.


title: 3D printed cable-driven continuum robots with generally routed cables: modeling and experiments

abstract: Continuum robots are becoming increasingly popular for applications which require the robots to deform and change shape, while also being compliant. A cable-driven continuum robot is one of the most commonly used type. Typical cable driven continuum robots consist of a flexible backbone with spacer disks attached to the backbone and cables passing through the holes in the spacer disks from the fixed base to a free end. In most such robots, the routing of the cables are straight or a smooth helical curve. In this paper, we analyze the experimental and theoretical deformations of a 3D printed continuum robot, for 6 different kinds of cable routings. The results are compared for discrete optimization based kinematic modelling as well as static modelling using Cosserat rod theory. It is shown that the experimental results match the theoretical results with an error margin of 2%. It is also shown that the optimization based approach is faster than the one based on Cosserat rod theory. We also present a three-fingered gripper prototype where each of the fingers are 3D printed continuum robots with general cable routing. It is demonstrated that the prototype can be used for gripping objects and for its manipulation.


title: Collective Transport of Magnetic Microparticles at a Fluid Interface through Dynamic Self-Assembled Lattices

abstract: The transport of motile entities across modulated energy landscapes plays an important role in a range of phenomena in biology, colloidal science and solid-state physics. Here, an easily implementable strategy that allows for the collective and monitored transport of microparticles at fluid-fluid interfaces is introduced. Adsorbed magnetic microparticles are carried on time-dependent magnetic potentials, generated by a dynamic self-assembled lattice of different-sized magnetic particles. In such binary systems, the sudden reorientation of the applied field triggers the rapid exchange between attractive and repulsive configurations, enabling for the ballistic transfer of the carriers through the lattice. As the number of motile entities increases, the induced current increases, before reaching a maximum, while the loaded interface gradually displays bidirectional transport. The described methodology can be tuned through the applied field and exploited for the monitored guidance of adsorbed molecules on liquid surfaces, the segregation of colloidal mixtures, the induced motion of defects in photonic crystals or the design of new self-assembled microrobots.


title: Nonlinear Power Method for Computing Eigenvectors of Proximal Operators and Neural Networks

abstract: Neural networks have revolutionized the field of data science, yielding remarkable solutions in a data-driven manner. For instance, in the field of mathematical imaging, they have surpassed traditional methods based on convex regularization. However, a fundamental theory supporting the practical applications is still in the early stages of development. We take a fresh look at neural networks and examine them via nonlinear eigenvalue analysis. The field of nonlinear spectral theory is still emerging, providing insights about nonlinear operators and systems. In this paper we view a neural network as a complex nonlinear operator and attempt to find its nonlinear eigenvectors. We first discuss the existence of such eigenvectors and analyze the kernel of ReLU networks. Then we study a nonlinear power method for generic nonlinear operators. For proximal operators associated to absolutely one-homogeneous convex regularization functionals, we can prove convergence of the method to an eigenvector of the proximal operator. This motivates us to apply a nonlinear method to networks which are trained to act similarly as a proximal operator. In order to take the non-homogeneity of neural networks into account we define a modified version of the power method. We perform extensive experiments for different proximal operators and on various shallow and deep neural networks designed for image denoising. Proximal eigenvectors will be used for geometric analysis of graphs, as clustering or the computation of distance functions. For simple neural nets, we observe the influence of training data on the eigenvectors. For state-of-the-art denoising networks, we show that eigenvectors can be interpreted as (un)stable modes of the network, when contaminated with noise or other degradations.


title: Nanoparticle lattices with bases: Fourier modal method and dipole approximation

abstract: The utilization of periodic structures such as photonic crystals and metasurfaces is common for light manipulation at nanoscales. One of the most widely used computational approaches to consider them and design effective optical devices is the Fourier modal method (FMM) based on Fourier decomposition of electromagnetic fields. Nevertheless, calculating of periodic structures with small inclusions is often a difficult task, since they induce lots of high-$k_\parallel$ harmonics that should be taken into account. In this paper, we consider small particle lattices with bases and construct their scattering matrices via discrete dipole approximation (DDA). Afterwards, these matrices are implemented in FMM for consideration of complicated layered structures. We show the performance of the proposed hybrid approach by its application to a lattice, which routes left and right circularly polarized incident light to guided modes propagating in opposite directions. We also demonstrate its precision by spectra comparison with finite element method (FEM) calculations. The high speed and precision of this approach enable the calculation of angle-dependent spectra with very high resolution in a reasonable time, which allows resolving narrow lines unobservable by other methods.


title: Growth of high $L^p$ norms for eigenfunctions: an application of geodesic beams

abstract: This work concerns $L^p$ norms of high energy Laplace eigenfunctions, $(-\Delta_g-\lambda^2)\phi_\lambda=0$, $\|\phi_\lambda\|_{L^2}=1$. In 1988, Sogge gave optimal estimates on the growth of $\|\phi_\lambda\|_{L^p}$ for a general compact Riemannian manifold. The goal of this article is to give general dynamical conditions guaranteeing quantitative improvements in $L^p$ estimates for $p>p_c$, where $p_c$ is the critical exponent. We also apply previous results of the authors to obtain quantitative improvements in concrete geometric settings including all product manifolds. These are the first results improving estimates for the $L^p$ growth of eigenfunctions that only require dynamical assumptions. In contrast with previous improvements, our assumptions are local in the sense that they depend only on the geodesics passing through a shrinking neighborhood of a given set in $M$. Moreover, the article gives a structure theorem for eigenfunctions which saturate the quantitatively improved $L^p$ bound. Modulo an error, the theorem describes these eigenfunctions as finite sums of quasimodes which, roughly, approximate zonal harmonics on the sphere scaled by $1/\sqrt{\log \lambda}$.


title: Flexible random-effects distribution models for meta-analysis

abstract: In meta-analysis, the random-effects models are standard tools to address between-study heterogeneity in evidence synthesis analyses. For the random-effects distribution models, the normal distribution model has been adopted in most systematic reviews due to its computational and conceptual simplicity. However, the restrictive model assumption might have serious influences on the overall conclusions in practices. In this article, we first provide two examples of real-world evidence that clearly show that the normal distribution assumption is unsuitable. To address the model restriction problem, we propose alternative flexible random-effects models that can flexibly regulate skewness, kurtosis and tailweight: skew normal distribution, skew t-distribution, asymmetric Subbotin distribution, Jones-Faddy distribution, and sinh-arcsinh distribution. We also developed a R package, flexmeta, that can easily perform these methods. Using the flexible random-effects distribution models, the results of the two meta-analyses were markedly altered, potentially influencing the overall conclusions of these systematic reviews. The flexible methods and computational tools can provide more precise evidence, and these methods would be recommended at least as sensitivity analysis tools to assess the influence of the normal distribution assumption of the random-effects model.


title: ASVLite: a high-performance simulator for autonomous surface vehicles

abstract: The energy of ocean waves is the key distinguishing factor of marine environments compared to other aquatic environments such as lakes and rivers. Waves significantly affect the dynamics of marine vehicles; hence it is imperative to consider the dynamics of vehicles in waves when developing efficient control strategies for autonomous surface vehicles (ASVs). However, most marine simulators available open-source either exclude dynamics of vehicles in waves or use methods with high computational overhead. This paper presents ASVLite, a computationally efficient ASV simulator that uses frequency domain analysis for wave force computation. ASVLite is suitable for applications requiring low computational overhead and high run-time performance. Our tests on a Raspberry Pi 2 and a mid-range desktop computer show that the simulator has a high run-time performance to efficiently simulate irregular waves with a component wave count of up to 260 and large-scale swarms of up to 500 ASVs.


title: Power spectral density analysis of relative comb-line phase jitter in a twin-soliton molecule

abstract: Investigation on the relative phase evolution between two bounded optical solitons is essential for its potential applications in development of larger telecommunication capacity of optical fiber transmission lines, resolution improvement in advancing ultrafast characterization approaches and development of all-optical information storage. Here we characterized relative comb-line phase jitter power spectral density (PSD) of a soliton molecule pair generated from a passively mode-locked Er:fiber laser. Through tracking the intensity difference between two selected wavelengths in one certain spectral interference fringe, the relative comb-line phase noise PSD is measured by balanced detection. The estimated measurement resolution is at 10^(-14) rad2/Hz level and the estimated integrated phase noise from 10 MHz to 100 Hz is 2.04 mrad. The estimated relative linewidth is far below 1 mHz. Comparison between phase noise PSD and intensity noise PSD indicates that AM-PM conversion plays an important role in relative phase jitter dynamics between the two solitons. Our spectral interference fringe tracking technique is attractive for its simplicity and shows potential in ultra-high resolution in phase noise measurement, providing an ultra-sensitive alternative approach for relative phase noise stabilization of optical soliton molecules, between two independent mode-locked lasers and optical length stabilization of interferometers.


title: Instability and fingering of interfaces in growing tissue

abstract: Interfaces in tissues are ubiquitous, both between tissue and environment as well as between populations of different cell types. The propagation of an interface can be driven mechanically. % e.g. by a difference in the respective homeostatic stress of the different cell types. Computer simulations of growing tissues are employed to study the stability of the interface between two tissues on a substrate. From a mechanical perspective, the dynamics and stability of this system is controlled mainly by four parameters of the respective tissues: (i) the homeostatic stress (ii) cell motility (iii) tissue viscosity and (iv) substrate friction. For propagation driven by a difference in homeostatic stress, the interface is stable for tissue-specific substrate friction even for very large differences of homeostatic stress; however, it becomes unstable above a critical stress difference when the tissue with the larger homeostatic stress has a higher viscosity. A small difference in directed bulk motility between the two tissues suffices to result in propagation with a stable interface, even for otherwise identical tissues. Larger differences in motility force, however, result in a finite-wavelength instability of the interface. Interestingly, the instability is apparently bound by nonlinear effects and the amplitude of the interface undulations only grows to a finite value in time.


title: LRS Bianchi I model with constant expansion rate in $f(R,T)$ gravity

abstract: An LRS Bianchi-I space-time model is studied with constant Hubble parameter in $f(R,T)=R+2\lambda T$ gravity. Although a single (primary) matter source is considered, an additional matter appears due to the coupling between matter and $f(R,T)$ gravity. The constraints are obtained for a realistic cosmological scenario, i.e., one obeying the null and weak energy conditions. The solutions are also extended to the case of a scalar field (normal or phantom) model, and it is found that the model is consistent with a phantom scalar field only. The coupled matter also acts as phantom matter. The study shows that if one expects an accelerating universe from an anisotropic model, then the solutions become physically relevant only at late times when the universe enters into an accelerated phase. Placing some observational bounds on the present equation of state of dark energy, $\omega_0$, the behavior of $\omega(z)$ is depicted, which shows that the phantom field has started dominating very recently, somewhere between $0.2\lesssim z\lesssim0.5$.


title: Indirect and Direct Training of Spiking Neural Networks for End-to-End Control of a Lane-Keeping Vehicle

abstract: Building spiking neural networks (SNNs) based on biological synaptic plasticities holds a promising potential for accomplishing fast and energy-efficient computing, which is beneficial to mobile robotic applications. However, the implementations of SNNs in robotic fields are limited due to the lack of practical training methods. In this paper, we therefore introduce both indirect and direct end-to-end training methods of SNNs for a lane-keeping vehicle. First, we adopt a policy learned using the \textcolor{black}{Deep Q-Learning} (DQN) algorithm and then subsequently transfer it to an SNN using supervised learning. Second, we adopt the reward-modulated spike-timing-dependent plasticity (R-STDP) for training SNNs directly, since it combines the advantages of both reinforcement learning and the well-known spike-timing-dependent plasticity (STDP). We examine the proposed approaches in three scenarios in which a robot is controlled to keep within lane markings by using an event-based neuromorphic vision sensor. We further demonstrate the advantages of the R-STDP approach in terms of the lateral localization accuracy and training time steps by comparing them with other three algorithms presented in this paper.


title: Hilbert's Tenth Problem in Coq (Extended Version)

abstract: We formalise the undecidability of solvability of Diophantine equations, i.e. polynomial equations over natural numbers, in Coq's constructive type theory. To do so, we give the first full mechanisation of the Davis-Putnam-Robinson-Matiyasevich theorem, stating that every recursively enumerable problem -- in our case by a Minsky machine -- is Diophantine. We obtain an elegant and comprehensible proof by using a synthetic approach to computability and by introducing Conway's FRACTRAN language as intermediate layer. Additionally, we prove the reverse direction and show that every Diophantine relation is recognisable by $\mu$-recursive functions and give a certified compiler from $\mu$-recursive functions to Minsky machines.


title: Maximizing Happiness in Graphs of Bounded Clique-Width

abstract: Clique-width is one of the most important parameters that describes structural complexity of a graph. Probably, only treewidth is more studied graph width parameter. In this paper we study how clique-width influences the complexity of the Maximum Happy Vertices (MHV) and Maximum Happy Edges (MHE) problems. We answer a question of Choudhari and Reddy '18 about parameterization by the distance to threshold graphs by showing that MHE is NP-complete on threshold graphs. Hence, it is not even in XP when parameterized by clique-width, since threshold graphs have clique-width at most two. As a complement for this result we provide a $n^{\mathcal{O}(\ell \cdot \operatorname{cw})}$ algorithm for MHE, where $\ell$ is the number of colors and $\operatorname{cw}$ is the clique-width of the input graph. We also construct an FPT algorithm for MHV with running time $\mathcal{O}^*((\ell+1)^{\mathcal{O}(\operatorname{cw})})$, where $\ell$ is the number of colors in the input. Additionally, we show $\mathcal{O}(\ell n^2)$ algorithm for MHV on interval graphs.


title: Pricing Interest Rate Derivatives under Volatility Uncertainty

abstract: In this paper, we study the pricing of contracts in fixed income markets under volatility uncertainty in the sense of Knightian uncertainty or model uncertainty. The starting point is an arbitrage-free bond market under volatility uncertainty. The uncertainty about the volatility is modeled by a G-Brownian motion, which drives the forward rate dynamics. The absence of arbitrage is ensured by a drift condition. Such a setting leads to a sublinear pricing measure for additional contracts, which yields either a single price or a range of prices. Similar to the forward measure approach, we define the forward sublinear expectation to simplify the pricing of cashflows. Under the forward sublinear expectation, we obtain a robust version of the expectations hypothesis, and we show how to price options on forward prices. In addition, we develop pricing methods for contracts consisting of a stream of cashflows, since the nonlinearity of the pricing measure implies that we cannot price a stream of cashflows by pricing each cashflow separately. With these tools, we derive robust pricing formulas for all major interest rate derivatives. The pricing formulas provide a link to the pricing formulas of traditional models without volatility uncertainty and show that volatility uncertainty naturally leads to unspanned stochastic volatility.


title: Operator topology for logarithmic infinitesimal generators

abstract: Generally-unbounded infinitesimal generators are studied in the context of operator topology. Beginning with the definition of seminorm, the concept of locally convex topological vector space is introduced as well as the concept of Fr{\'e}chet space. These are the basic concepts for defining an operator topology. Consequently, by associating the topological concepts with the convergence of sequence, a suitable mathematical framework for obtaining the logarithmic representation of infinitesimal generators is presented.


title: Room-temperature ferrimagnetism of anti-site-disordered Ca2MnOsO6

abstract: Room-temperature ferrimagnetism was discovered for the anti-site-disordered perovskite Ca2MnOsO6 with Tc = 305 K. Ca2MnOsO6 crystallizes into an orthorhombic structure with a space group of Pnma, in which Mn and Os share the oxygen-coordinated-octahedral site at an equal ratio without a noticeable ordered arrangement. The material is electrically semiconducting with variable-range-hopping behavior. X-ray absorption spectroscopy confirmed the trivalent state of the Mn and the pentavalent state of the Os. X-ray magnetic circular dichroism spectroscopy reveals that the Mn and Os magnetic moments are aligned antiferromagnetically, thereby classifying the material as a ferrimagnet which is in accordance with band structure calculations. It is intriguing that the magnetic signal of the Os is very weak, and that the observed total magnetic moment is primarily due to the Mn. The Tc = 305 K is the second highest in the material category of so-called disordered ferromagnets such as CaRu1-xMnxO3, SrRu1-xCrxO3, and CaIr1-xMnxO3, and hence, may support the development of spintronic oxides with relaxed requirements concerning the anti-site disorder of the magnetic ions.


title: Bulk viscosity in relativistic fluids: from thermodynamics to hydrodynamics

abstract: The approach of extended irreversible thermodynamics consists of promoting the dissipative fluxes to non-equilibrium thermodynamic variables. In a relativistic context, this naturally leads to the formulation of the theory of Israel and Stewart (1979), which is, to date, one of the most successful theories for relativistic dissipation. Although the generality of the principle makes it applicable to any dissipative fluid, a connection of the Israel-Stewart theory with microphysics has been established, through kinetic theory, only for the case of ideal quantum gases. By performing a convenient change of variables, we provide, for the case of bulk viscosity, an equivalent reformulation of the equations at the basis of extended irreversible thermodynamics. This approach maps any thermodynamic process which contributes to the bulk viscosity into a set of chemical reactions, whose reaction coordinates are abstract parameters describing the displacement from local thermodynamic equilibrium of the fluid element. We apply our new formalism to the case of the relativistic fluids, showing that the Israel-Stewart model for bulk viscosity is just the second-order expansion of a minimal model belonging to a larger class of non-perturbative theories for bulk viscosity which include the nuclear-reaction-mediated bulk viscosity of neutron star matter as a particular case. Furthermore, we show with concrete examples that our formalism provides new ways of computing the bulk viscosity directly and defines a simple prescription for constructing the Israel-Stewart model for a generic bulk-viscous fluid.


title: Adjunction in the absence of identity

abstract: We develop a bicategorical setup in which one can speak about adjoint 1-morphisms even in the absence of genuine identity 1-morphisms. We also investigate which part of 2-representation theory of 2-categories extends to this new setup.


title: Eisenstein series and the top degree cohomology of arithmetic subgroups of $SL_n/\mathbb{Q}$

abstract: The cohomology $H^*(\Gamma, E) $ of a torsion-free arithmetic subgroup $\Gamma$ of the special linear $\mathbb{Q}$-group $\mathsf{G} = SL_n$ may be interpreted in terms of the automorphic spectrum of $\Gamma$. Within this framework, there is a decomposition of the cohomology into the cuspidal cohomology and the Eisenstein cohomology. The latter space is decomposed according to the classes $\{\mathsf{P}\}$ of associate proper parabolic $\mathbb{Q}$-subgroups of $\mathsf{G}$. Each summand $H^*_{\mathrm{\{P\}}}(\Gamma, E)$ is built up by Eisenstein series (or residues of such) attached to cuspidal automorphic forms on the Levi components of elements in $\{\mathsf{P}\}$. The cohomology $H^*(\Gamma, E) $ vanishes above the degree given by the cohomological dimension $\mathrm{cd}(\Gamma) = \frac{n(n-1)}{2}$. We are concerned with the internal structure of the cohomology in this top degree. On the one hand, we explicitly describe the associate classes $\{\mathsf{P}\}$ for which the corresponding summand $H^{\mathrm{cd}(\Gamma)}_{\mathrm{\{\mathsf{P}\}}}(\Gamma, E)$ vanishes. On the other hand, in the remaining cases of associate classes we construct various families of non-vanishing Eisenstein cohomology classes which span $H^{\mathrm{cd}(\Gamma)}_{\mathrm{\{\mathsf{Q}\}}}(\Gamma, \mathbb{C})$. Finally, in the case of a principal congruence subgroup $\Gamma(q)$, $q = p^{\nu} > 5$, $p\geq 3$ a prime, we give lower bounds for the size of these spaces if not even a precise formula for its dimension for certain associate classes $\{\mathsf{Q}\}$.


title: Bandgap engineering in an epitaxial two-dimensional honeycomb Si$_{6-x}$Ge$_x$ alloy

abstract: In this Letter, we demonstrate that it is possible to form a two-dimensional (2D) silicene-like Si$_5$Ge compound by replacing the Si atoms occupying on-top sites in the planar-like structure of epitaxial silicene on ZrB$_2$(0001) by deposited Ge atoms. For coverages below 1/6 ML, the Ge deposition gives rise to a Si$_{6-x}$Ge$_{x}$ alloy (with $x$ between 0 and 1) in which the on-top sites are randomly occupied by Si or Ge atoms. The progressive increase of the valence band maximum with $x$ observed experimentally originates from a selective charge transfer from Ge atoms to Si atoms. These achievements provide evidence for the possibility of engineering the bandgap in 2D SiGe alloys in a way that is similar for their bulk counterpart.


title: Steady states in dual-cascade wave turbulence

abstract: We study stationary solutions in the differential kinetic equation, which was introduced in for description of a local dual cascade wave turbulence. We give a full classification of single-cascade states in which there is a finite flux of only one conserved quantity. Analysis of the steady-state spectrum is based on a phase-space analysis of orbits of the underlying dynamical system. The orbits of the dynamical system demonstrate the blow-up behaviour which corresponds to a "sharp front" where the spectrum vanishes at a finite wave number. The roles of the KZ and thermodynamic scaling as intermediate asymptotic, as well as of singular solutions, are discussed.


title: Label-Driven Reconstruction for Domain Adaptation in Semantic Segmentation

abstract: Unsupervised domain adaptation enables to alleviate the need for pixel-wise annotation in the semantic segmentation. One of the most common strategies is to translate images from the source domain to the target domain and then align their marginal distributions in the feature space using adversarial learning. However, source-to-target translation enlarges the bias in translated images and introduces extra computations, owing to the dominant data size of the source domain. Furthermore, consistency of the joint distribution in source and target domains cannot be guaranteed through global feature alignment. Here, we present an innovative framework, designed to mitigate the image translation bias and align cross-domain features with the same category. This is achieved by 1) performing the target-to-source translation and 2) reconstructing both source and target images from their predicted labels. Extensive experiments on adapting from synthetic to real urban scene understanding demonstrate that our framework competes favorably against existing state-of-the-art methods.


title: On the Behavior of Unbounded Collatz Sequences

abstract: The aim of this paper is to show a peculiar behavior of a (hypothetical) Collatz sequence going to infinity. We study the associated Syracusa sequence (the odd elements of the former) and show that the limit set of a conveniently normalized sequence is the whole unit interval. In particular, for any positive integer there is a subsequence whose elements' expansions in base 3 begin (from the left) with the expansion of the given number.


title: Dynamics and oscillations of models for differential equations with delays

abstract: By developing new efficient techniques and using an appropriate fixed point theorem, we derive several new sufficient conditions for the pseudo almost periodic solutions with double measure for some system of differential equations with delays. As an application, we consider certain models for neural networks with delays.


title: Differentiate Everything with a Reversible Embeded Domain-Specific Language

abstract: Reverse-mode automatic differentiation (AD) suffers from the issue of having too much space overhead to trace back intermediate computational states for back-propagation. The traditional method to trace back states is called checkpointing that stores intermediate states into a global stack and restore state through either stack pop or re-computing. The overhead of stack manipulations and re-computing makes the general purposed (not tensor-based) AD engines unable to meet many industrial needs. Instead of checkpointing, we propose to use reverse computing to trace back states by designing and implementing a reversible programming eDSL, where a program can be executed bi-directionally without implicit stack operations. The absence of implicit stack operations makes the program compatible with existing compiler features, including utilizing existing optimization passes and compiling the code as GPU kernels. We implement AD for sparse matrix operations and some machine learning applications to show that our framework has the state-of-the-art performance.


title: Convolutional Occupancy Networks

abstract: Recently, implicit neural representations have gained popularity for learning-based 3D reconstruction. While demonstrating promising results, most implicit approaches are limited to comparably simple geometry of single objects and do not scale to more complicated or large-scale scenes. The key limiting factor of implicit methods is their simple fully-connected network architecture which does not allow for integrating local information in the observations or incorporating inductive biases such as translational equivariance. In this paper, we propose Convolutional Occupancy Networks, a more flexible implicit representation for detailed reconstruction of objects and 3D scenes. By combining convolutional encoders with implicit occupancy decoders, our model incorporates inductive biases, enabling structured reasoning in 3D space. We investigate the effectiveness of the proposed representation by reconstructing complex geometry from noisy point clouds and low-resolution voxel representations. We empirically find that our method enables the fine-grained implicit 3D reconstruction of single objects, scales to large indoor scenes, and generalizes well from synthetic to real data.


title: Hierarchical Neural Architecture Search for Single Image Super-Resolution

abstract: Deep neural networks have exhibited promising performance in image super-resolution (SR). Most SR models follow a hierarchical architecture that contains both the cell-level design of computational blocks and the network-level design of the positions of upsampling blocks. However, designing SR models heavily relies on human expertise and is very labor-intensive. More critically, these SR models often contain a huge number of parameters and may not meet the requirements of computation resources in real-world applications. To address the above issues, we propose a Hierarchical Neural Architecture Search (HNAS) method to automatically design promising architectures with different requirements of computation cost. To this end, we design a hierarchical SR search space and propose a hierarchical controller for architecture search. Such a hierarchical controller is able to simultaneously find promising cell-level blocks and network-level positions of upsampling layers. Moreover, to design compact architectures with promising performance, we build a joint reward by considering both the performance and computation cost to guide the search process. Extensive experiments on five benchmark datasets demonstrate the superiority of our method over existing methods.


title: Multilayer Network Analysis of the Drug Pipeline in the Global Pharmaceutical Industry

abstract: Generally, open innovation is a lucrative research topic within industries relying on innovation, such as the pharmaceutical industry, which are also known as knowledge-intensive industries. However, the dynamics of drug pipelines within a small-medium enterprise level in the global economy remains concerning. To reveal the actual situation of pharmaceutical innovation, we investigate the feature of knowledge flows between the licensor and licensee in the drug pipeline based on a multilayer network constructed with the drug pipeline, global supply chain, and ownership data. Thus, our results demonstrate proven similarities between the knowledge flows in the drug pipeline among the supply chains, which generally agrees with the situation of pharmaceutical innovation collaborated with other industries, such as the artificial intelligence industry.


title: Massively parallel simulations for disordered systems

abstract: Simulations of systems with quenched disorder are extremely demanding, suffering from the combined effect of slow relaxation and the need of performing the disorder average. As a consequence, new algorithms, improved implementations, and alternative and even purpose-built hardware are often instrumental for conducting meaningful studies of such systems. The ensuing demands regarding hardware availability and code complexity are substantial and sometimes prohibitive. We demonstrate how with a moderate coding effort leaving the overall structure of the simulation code unaltered as compared to a CPU implementation, very significant speed-ups can be achieved from a parallel code on GPU by mainly exploiting the trivial parallelism of the disorder samples and the near-trivial parallelism of the parallel tempering replicas. A combination of this massively parallel implementation with a careful choice of the temperature protocol for parallel tempering as well as efficient cluster updates allows us to equilibrate comparatively large systems with moderate computational resources.


title: State-of-the-art and prospects for intense red radiation from core-shell InGaN/GaN nanorods

abstract: Core-shell nanorods (NRs) with InGaN/GaN quantum wells (QWs) are promising for monolithic white light-emitting diodes and multicolor displays. Such applications, however, are still a challenge because intensity of red band is too weak as compared with blue and green ones. To clarify the problem, we have performed power and temperature dependent, as well as time-resolved measurements of photoluminescence (PL) in NRs of different In content and diameter. These studies have shown that the dominant PL bands originate from nonpolar and semipolar QWs, while a broad yellow-red band arises mostly from defects in the GaN core. Intensity of red emission from the polar QWs at the NR tip is fatally small. Our calculation of electromagnetic field distribution inside the NRs shows a low density of photon states in the tip that suppresses the red radiation. We suggest a design of hybrid NRs, in which polar QWs, located inside the GaN core, are pumped by UV-blue radiation of nonpolar QWs. Possibilities of radiative recombination rate enhancement by means of the Purcell effect are discussed.


title: Assuring and critical labels for relations between maximal consistent sets for interpretability logics

abstract: The notion of a critical successor [dJV90] has been central to almost all modal completeness proofs in interpretability logics. In this paper we shall work with an alternative notion, that of an assuring successor. As we shall see, this will enable more concisely formulated completeness proofs, both with respect to ordinary and generalised Veltman semantics. Due to their interesting theoretical properties, we will devote some space to the study of a particular kind of assuring labels, the so-called full labels and maximal labels.. After a general treatment of assuringness, we shall apply it to obtain certain completeness results. Namely, we give another proof of completeness of ILW w.r.t. ordinary semantics and of ILP w.r.t. generalised semantics.


title: X-ray properties of X-CLASS-redMaPPer galaxy cluster sample: The luminosity-temperature relation

abstract: This paper presents results of a spectroscopic analysis of the X-CLASS-redMaPPer (XC1-RM) galaxy cluster sample. X-CLASS is a serendipitous search for clusters in the X-ray wavebands based on the XMM-Newton archive, whereas redMaPPer is an optical cluster catalogue derived from the Sloan Digital Sky Survey (SDSS). The present sample comprises 92 X-ray extended sources identified in optical images within 1\arcmin~separation. The area covered by the cluster sample is $\sim$ 27 deg$^{2}$. The clusters span a wide redshift range (0.05 < z < 0.6) and 88 clusters benefit from spectrosopically confirmed redshifts using data from SDSS Data Release 14. We present an automated pipeline to derive the X-ray properties of the clusters in three distinct apertures: R\textsubscript{500} (at fixed mass overdensity), R\textsubscript{fit} (at fixed signal-to-noise ratio), R\textsubscript{300kpc} (fixed physical radius). The sample extends over wide temperature and luminosity ranges: from 1 to 10 keV and from 6$\times$10$^{42}$ to 11$\times$10$^{44}$ erg\,s$^{-1}$, respectively. We investigate the luminosity-temperature (L-T) relation of the XC1-RM sample and find a slope equals to 3.03 $\pm$ 0.26. It is steeper than predicted by self-similar assumptions, in agreement with independent studies. A simplified approach is developed to estimate the amount and impact of selection biases which might be affecting our recovered L-T parameters. The result of this simulation process suggests that the measured L-T relation is biased to a steeper slope and higher normalization.


title: A superconducting detector that counts microwave photons up to two

abstract: We propose a detector of microwave photons which can distinguish the vacuum state, one-photon state, and the states with two or more photons. Its operation is based on the two-photon transition in a biased Josephson junction and detection occurs when it switches from a superconducting to a normal state. We model the detector theoretically. The detector performs with more than 90% success probability in several microseconds. It is sensitive for the 8.2GHz photons. The working frequency could be set at the design stage in the range from about 1GHz to 20GHz.


title: PnP-Net: A hybrid Perspective-n-Point Network

abstract: We consider the robust Perspective-n-Point (PnP) problem using a hybrid approach that combines deep learning with model based algorithms. PnP is the problem of estimating the pose of a calibrated camera given a set of 3D points in the world and their corresponding 2D projections in the image. In its more challenging robust version, some of the correspondences may be mismatched and must be efficiently discarded. Classical solutions address PnP via iterative robust non-linear least squares method that exploit the problem's geometry but are either inaccurate or computationally intensive. In contrast, we propose to combine a deep learning initial phase followed by a model-based fine tuning phase. This hybrid approach, denoted by PnP-Net, succeeds in estimating the unknown pose parameters under correspondence errors and noise, with low and fixed computational complexity requirements. We demonstrate its advantages on both synthetic data and real world data.


title: SCL with Theory Constraints

abstract: We lift the SCL calculus for first-order logic without equality to the SCL(T) calculus for first-order logic without equality modulo a background theory. In a nutshell, the SCL(T) calculus describes a new way to guide hierarchic resolution inferences by a partial model assumption instead of an a priori fixed order as done for instance in hierarchic superposition. The model representation consists of ground background theory literals and ground foreground first-order literals. One major advantage of the model guided approach is that clauses generated by SCL(T) enjoy a non-redundancy property that makes expensive testing for tautologies and forward subsumption completely obsolete. SCL(T) is a semi-decision procedure for pure clause sets that are clause sets without first-order function symbols ranging into the background theory sorts. Moreover, SCL(T) can be turned into a decision procedure if the considered combination of a first-order logic modulo a background theory enjoys an abstract finite model property.


title: Large-Scale Evaluation of Keyphrase Extraction Models

abstract: Keyphrase extraction models are usually evaluated under different, not directly comparable, experimental setups. As a result, it remains unclear how well proposed models actually perform, and how they compare to each other. In this work, we address this issue by presenting a systematic large-scale analysis of state-of-the-art keyphrase extraction models involving multiple benchmark datasets from various sources and domains. Our main results reveal that state-of-the-art models are in fact still challenged by simple baselines on some datasets. We also present new insights about the impact of using author- or reader-assigned keyphrases as a proxy for gold standard, and give recommendations for strong baselines and reliable benchmark datasets.


title: Scattered Factor-Universality of Words

abstract: A word $u=u_1\dots u_n$ is a scattered factor of a word $w$ if $u$ can be obtained from $w$ by deleting some of its letters: there exist the (potentially empty) words $v_0,v_1,..,v_n$ such that $w = v_0u_1v_1...u_nv_n$. The set of all scattered factors up to length $k$ of a word is called its full $k$-spectrum. Firstly, we show an algorithm deciding whether the $k$-spectra for given $k$ of two words are equal or not, running in optimal time. Secondly, we consider a notion of scattered-factors universality: the word $w$, with $\letters(w)=\Sigma$, is called $k$-universal if its $k$-spectrum includes all words of length $k$ over the alphabet $\Sigma$; we extend this notion to $k$-circular universality. After a series of preliminary combinatorial results, we present an algorithm computing, for a given $k'$-universal word $w$ the minimal $i$ such that $w^i$ is $k$-universal for some $k>k'$. Several other connected problems~are~also~considered.


title: Lagrangian Neural Networks

abstract: Accurate models of the world are built upon notions of its underlying symmetries. In physics, these symmetries correspond to conservation laws, such as for energy and momentum. Yet even though neural network models see increasing use in the physical sciences, they struggle to learn these symmetries. In this paper, we propose Lagrangian Neural Networks (LNNs), which can parameterize arbitrary Lagrangians using neural networks. In contrast to models that learn Hamiltonians, LNNs do not require canonical coordinates, and thus perform well in situations where canonical momenta are unknown or difficult to compute. Unlike previous approaches, our method does not restrict the functional form of learned energies and will produce energy-conserving models for a variety of tasks. We test our approach on a double pendulum and a relativistic particle, demonstrating energy conservation where a baseline approach incurs dissipation and modeling relativity without canonical coordinates where a Hamiltonian approach fails. Finally, we show how this model can be applied to graphs and continuous systems using a Lagrangian Graph Network, and demonstrate it on the 1D wave equation.

categories: cs.LG math.DS physics.comp-ph physics.data-an stat.ML


title: The two-dimensional electron gas of the In2O3 surface: Enhanced thermopower, electrical transport properties, and its reduction by adsorbates or compensating acceptor doping

abstract: In2O3 is an n-type transparent semiconducting oxide possessing a surface electron accumulation layer (SEAL) like several other relevant semiconductors, such as InAs, InN, SnO2, and ZnO. Even though the SEAL is within the core of the application of In2O3 in conductometric gas sensors, a consistent set of transport properties of this two-dimensional electron gas (2DEG) is missing in the present literature. To this end, we investigate high quality single-crystalline as well as textured doped and undoped In2O3(111) films grown by plasma-assisted molecular beam epitaxy to extract transport properties of the SEAL by means of Hall effect measurements at room temperature while controlling the oxygen adsorbate coverage via illumination. The resulting sheet electron concentration and mobility of the SEAL are 1.5E13 cm^-2 and 150 cm^2/Vs, respectively, both of which get strongly reduced by oxygen-related surface adsorbates from the ambient air. Our transport measurements further demonstrate a systematic reduction of the SEAL by doping In2O3 with the deep compensating bulk acceptors Ni or Mg. This finding is supported by X-ray photoelectron spectroscopy measurements of the surface band bending and SEAL electron emission. Quantitative analyses of these XPS results using self-consistent, coupled Schroedinger-Poisson calculations indicate the simultaneous formation of compensating bulk donor defects (likely oxygen vacancies) which almost completely compensate the bulk acceptors. Finally, an enhancement of the thermopower by reduced dimensionality is demonstrated in In2O3: Seebeck coefficient measurements of the surface 2DEG with partially reduced sheet electron concentrations between 3E12 and 7E12 cm^-2 (corresponding average volume electron concentration between 1E19 and 2E19 cm^-3 indicate a value enhanced by 80% compared to that of bulk Sn-doped In2O3 with comparable volume electron concentration.


title: Multi-scale structural complexity of natural patterns

abstract: Complexity of patterns is a key information for human brain to differ objects of about the same size and shape. Like other innate human senses, the complexity perception cannot be easily quantified. We propose a transparent and universal machine method for estimating structural (effective) complexity of two- and three-dimensional patterns that can be straightforwardly generalized onto other classes of objects. It is based on multi-step renormalization of the pattern of interest and computing the overlap between neighboring renormalized layers. This way, we can define a single number characterizing the structural complexity of an object. We apply this definition to quantify complexity of various magnetic patterns and demonstrate that not only does it reflect the intuitive feeling of what is "complex" and what is "simple", but also can be used to accurately detect different phase transitions and gain information about dynamics of non-equilibrium systems. When employed for that, the proposed scheme is much simpler and numerically cheaper than the standard methods based on computing correlation functions or using machine learning techniques.


title: Whole-Body Walking Generation using Contact Parametrization: A Non-Linear Trajectory Optimization Approach

abstract: In this paper, we describe a planner capable of generating walking trajectories by using the centroidal dynamics and the full kinematics of a humanoid robot model. The interaction between the robot and the walking surface is modeled explicitly through a novel contact parametrization. The approach is complementarity-free and does not need a predefined contact sequence. By solving an optimal control problem we obtain walking trajectories. In particular, through a set of constraints and dynamic equations, we model the robot in contact with the ground. We describe the objective the robot needs to achieve with a set of tasks. The whole optimal control problem is transcribed into an optimization problem via a Direct Multiple Shooting approach and solved with an off-the-shelf solver. We show that it is possible to achieve walking motions automatically by specifying a minimal set of references, such as a constant desired Center of Mass velocity and a reference point on the ground.


title: On values of zeta functions of Arakawa-Kaneko type

abstract: For these two decades, the Arakawa-Kaneko zeta function has been studied actively. Recently Kaneko and Tsumura constructed its variants from the viewpoint of poly-Bernoulli numbers. In this paper, we generalize their zeta functions of Arakawa-Kaneko type to those with indices in which positive and negative integers are mixed. We show that values of these functions at positive integers can be expressed in terms of the multiple Hurwitz zeta star values.


title: Comment on "Basic observables for the accelerated electron and its field"

abstract: We show that the "defective" terms in the expression that Dondera [Phys. Rev. D 98, 096008 (2018)] obtained for the momentum of the retarded field of an accelerating point charge are mathematically well justified. The repair should not be sought in assigning an accelerating "bare" charge ad hoc compensating attributes. We advance a conjecture, supported by published work, concerning the Hadamard finite part of the divergent integral for the retarded-field momentum in question.


title: A Pairwise Hotelling Method for Testing High-Dimensional Mean Vectors

abstract: For high-dimensional small sample size data, Hotelling's T2 test is not applicable for testing mean vectors due to the singularity problem in the sample covariance matrix. To overcome the problem, there are three main approaches in the literature. Note, however, that each of the existing approaches may have serious limitations and only works well in certain situations. Inspired by this, we propose a pairwise Hotelling method for testing high-dimensional mean vectors, which, in essence, provides a good balance between the existing approaches. To effectively utilize the correlation information, we construct the new test statistics as the summation of Hotelling's test statistics for the covariate pairs with strong correlations and the squared $t$ statistics for the individual covariates that have little correlation with others. We further derive the asymptotic null distributions and power functions for the proposed Hotelling tests under some regularity conditions. Numerical results show that our new tests are able to control the type I error rates, and can achieve a higher statistical power compared to existing methods, especially when the covariates are highly correlated. Two real data examples are also analyzed and they both demonstrate the efficacy of our pairwise Hotelling tests.


title: Nanotechnological Structure for Observation of Current Induced Contact Potential Difference and Creation of Effective Cooper Pair Mass-Spectroscopy

abstract: Changes of the electron work-function of a superconductor proportional to the square of the current density $\Delta \phi = -\beta j^2$ are known as Bernoulli effect in superconductors or current induced Contact Potential Difference (CPD). The temperature dependent constant $\beta(T;m^{\star})$ is parametrized by the effective mass of Cooper pairs $m^{\star}$. In such a way the study of the Bernoulli effect leads to creation of Cooper pair mass-spectroscopy. In this paper a short review on the Bernoulli effect in superconductors is given and a proposed experimental set-up for its measurement is described in detail. The experiment requires standard electronic equipment and can be implemented in every laboratory related to physics of superconductivity. This experimental set-up for observation of current induced CPD requires nano-technological hybrid superconductor structures with atomically clean interfaces and measurement of nano-volt signals with capacitive coupling to the sample.


title: Short review about the MSSM with three right-handed neutrinos (MSSM3RHN)

abstract: We give a review about the Minimal Supersymmetric Standard Model with three right-handed neutrinos (MSSM3RHN). We, first introduce the minimal set of fields to built this model in their superfields formalism. After it, we build the lagrangian of the model in the superspace formalism and also introduce the soft terms to break SUSY. We show how to get masses to the neutrinos and sneutrinos in this model.


title: Improved MSSM Higgs mass calculation using the 3-loop FlexibleEFTHiggs approach including $x_t$-resummation

abstract: We present an improved calculation of the light CP-even Higgs boson pole mass in the MSSM based on the FlexibleEFTHiggs hybrid method. The calculation resums large logarithms to all orders and includes power-suppressed terms at fixed order. It uses state-of-the-art 2- and 3-loop matching of the quartic Higgs coupling and renormalization group running up to 4-loop, resulting in a resummation of large logarithmic corrections up to N$^3$LL level. A conceptually novel ingredient is the expansion of the matching conditions in terms of high-scale MSSM parameters instead of SM parameters. In this way leading terms in the stop-mixing parameter are effectively resummed, leading to an improved numerical convergence of the perturbative expansion. Furthermore, the avoidance of double counting of loop corrections is more transparent than in other approaches and more independent of the high-scale model. We present numerical results and a detailed discussion of theoretical uncertainties for standard benchmark scenarios.


title: Vowels and Prosody Contribution in Neural Network Based Voice Conversion Algorithm with Noisy Training Data

abstract: This research presents a neural network based voice conversion (VC) model. While it is a known fact that voiced sounds and prosody are the most important component of the voice conversion framework, what is not known is their objective contributions particularly in a noisy and uncontrolled environment. This model uses a 2-layer feedforward neural network to map the Linear prediction analysis coefficients of a source speaker to the acoustic vector space of the target speaker with a view to objectively determine the contributions of the voiced, unvoiced and supra-segmental components of sounds to the voice conversion model. Results showed that vowels 'a', 'i', 'o' have the most significant contribution in the conversion success. The voiceless sounds were also found to be most affected by the noisy training data. An average noise level of 40 dB above the noise floor were found to degrade the voice conversion success by 55.14 percent relative to the voiced sounds. The result also shows that for cross-gender voice conversion, prosody conversion is more significant in scenarios where a female is the target speaker.


title: MQA: Answering the Question via Robotic Manipulation

abstract: In this paper, we propose a novel task, Manipulation Question Answering (MQA), where the robot performs manipulation actions to change the environment in order to answer a given question. To solve this problem, a framework consisting of a QA module and a manipulation module is proposed. For the QA module, we adopt the method for the Visual Question Answering (VQA) task. For the manipulation module, a Deep Q Network (DQN) model is designed to generate manipulation actions for the robot to interact with the environment. We consider the situation where the robot continuously manipulating objects inside a bin until the answer to the question is found. Besides, a novel dataset that contains a variety of object models, scenarios and corresponding question-answer pairs is established in a simulation environment. Extensive experiments have been conducted to validate the effectiveness of the proposed framework.


title: A Framework for Evaluation of Machine Reading Comprehension Gold Standards

abstract: Machine Reading Comprehension (MRC) is the task of answering a question over a paragraph of text. While neural MRC systems gain popularity and achieve noticeable performance, issues are being raised with the methodology used to establish their performance, particularly concerning the data design of gold standards that are used to evaluate them. There is but a limited understanding of the challenges present in this data, which makes it hard to draw comparisons and formulate reliable hypotheses. As a first step towards alleviating the problem, this paper proposes a unifying framework to systematically investigate the present linguistic features, required reasoning and background knowledge and factual correctness on one hand, and the presence of lexical cues as a lower bound for the requirement of understanding on the other hand. We propose a qualitative annotation schema for the first and a set of approximative metrics for the latter. In a first application of the framework, we analyse modern MRC gold standards and present our findings: the absence of features that contribute towards lexical ambiguity, the varying factual correctness of the expected answers and the presence of lexical cues, all of which potentially lower the reading comprehension complexity and quality of the evaluation data.


title: Comparison of two- and three-dimensional compressible convection in a pre-main sequence star

abstract: Extending our recent studies of two-dimensional stellar convection to 3D, we compare three-dimensional hydrodynamic simulations to identically set-up two-dimensional simulations, for a realistic pre-main sequence star. We compare statistical quantities related to convective flows including: average velocity, vorticity, local enstrophy, and penetration depth beneath a convection zone. These statistics are produced during stationary, steady-state compressible convection in the star's convection zone. Our simulations with the MUSIC code confirm the common result that two-dimensional simulations of stellar convection have a higher magnitude of velocity on average than three-dimensional simulations. Boundary conditions and the extent of the spherical shell can affect the magnitude and variability of convective velocities. The difference between 2D and 3D velocities is dependent on these background points; in our simulations this can have an effect as large as the difference resulting from the dimensionality of the simulation. Nevertheless, radial velocities near the convective boundary are comparable in our 2D and 3D simulations. The average local enstrophy of the flow is lower for two-dimensional simulations than for three-dimensional simulations, indicating a different shape and structuring of 3D stellar convection. We perform a statistical analysis of the depth of convective penetration below the convection zone, using the model proposed in our recent study (Pratt et al. 2017). Here we analyze the convective penetration in three dimensional simulations, and compare the results to identically set-up 2D simulations. In 3D the penetration depth is as large as the penetration depth calculated from 2D simulations.


title: Periodic Fast Radio Bursts as a Probe of Extragalactic Asteroid Belts

abstract: The periodic activity of repeating fast radio burst (FRB) 180916.J0158+65 was recently reported by the CHIME/FRB Collaboration team. 28 bursts from this source not only show a $\sim16$-day period with an active phase of $\sim 4.0$ days but also exhibit a broken power law in differential energy distribution. In this paper, we suggest that FRB 180916.J0158+65-like periodic FRBs would provide a unique probe of extragalactic asteroid belts (EABs), based on our previously-proposed pulsar-EAB impact model, in which repeating FRBs arise from an old-aged, slowly-spinning, moderately-magnetized pulsar traveling through an EAB around another stellar-mass object. These two objects form a binary and thus the observed period is in fact the orbital period. We show that this model can be used to well interpret all of the observed data of FRB 180916.J0158+65. Furthermore, we constrain the EAB's physical properties and find that (1) the outer radius of the EAB is at least an order of magnitude smaller than that of its analogue in the solar system, (2) the differential size distribution of the EAB's asteroids at small diameters (large diameters) is shallower (steeper) than that of solar-system small objects, and (3) the two belts have a comparable mass.


title: HeatNet: Bridging the Day-Night Domain Gap in Semantic Segmentation with Thermal Images

abstract: The majority of learning-based semantic segmentation methods are optimized for daytime scenarios and favorable lighting conditions. Real-world driving scenarios, however, entail adverse environmental conditions such as nighttime illumination or glare which remain a challenge for existing approaches. In this work, we propose a multimodal semantic segmentation model that can be applied during daytime and nighttime. To this end, besides RGB images, we leverage thermal images, making our network significantly more robust. We avoid the expensive annotation of nighttime images by leveraging an existing daytime RGB-dataset and propose a teacher-student training approach that transfers the dataset's knowledge to the nighttime domain. We further employ a domain adaptation method to align the learned feature spaces across the domains and propose a novel two-stage training scheme. Furthermore, due to a lack of thermal data for autonomous driving, we present a new dataset comprising over 20,000 time-synchronized and aligned RGB-thermal image pairs. In this context, we also present a novel target-less calibration method that allows for automatic robust extrinsic and intrinsic thermal camera calibration. Among others, we employ our new dataset to show state-of-the-art results for nighttime semantic segmentation.


title: Equations and Shape of the Optimal Band Strategy

abstract: We consider the problem of the optimal trading strategy in the presence of a price predictor, linear trading costs and a quadratic risk control. The solution is known to be a band system, a policy that induces a no-trading zone in the positions space. Using a path-integral method introduced in a previous work, we give equations for the upper and lower edges of this band, and solve them explicitly in the case of an Ornstein-Uhlenbeck predictor. We then explore the shape of this solution and derive its asymptotic behavior for large values of the predictor, without requiring trading costs to be small.


title: Broad-band spectral energy distribution of the X-ray transient Swift J1745-26 from outburst to quiescence

abstract: We study the X-ray transient Swift J1745-26, using observations obtained from its outburst in September 2012, up to its decay towards quiescence in March 2013. We obtained optical and infrared observations, through override programme at ESO/VLT with FORS2 and ISAAC instruments, and archival optical (VLT/VIRCAM), radio and X-ray (Swift) observations, to build the lightcurve and the broad-band Spectral Energy Distribution (SED) of Swift J1745-26. We show that, during its outburst and also during its decay towards quiescence, Swift J1745-26 SED can be adjusted, from infrared up to X-rays, by the sum of both a viscous irradiated multi-colour blackbody emitted by an accretion disk, and a synchrotron powerlaw at high energy. In the radio domain, the SED arises from synchrotron emission from the jet. While our SED fitting confirms that the source remained in the low/hard state during its outburst, we determine an X-ray spectral break at frequency 3.1 < nu_break < 3.4 x 10^14 Hz, and a radio spectral break at 10^12 Hz < nu_break < 10^13 Hz. We also show that the system is compatible with an absorption Av of ~7.69 magnitudes, lies within a distance interval of D~[2.6-4.8] kpc, with an upper limit of orbital period P_orb = 11.3 hours, and that the companion star is a late-type star of spectral type in the range K0 - M0 V, confirming that the system is a low-mass X-ray binary. We finally plot the position of Swift J1745-26 on an optical-infrared - X-ray luminosity diagram: its localization on this diagram is consistent with the source staying in the low-hard state during outburst and decay phases.


title: Query complexity and the polynomial Freiman-Ruzsa conjecture

abstract: We prove a query complexity variant of the weak polynomial Freiman-Ruzsa conjecture in the following form. For any $\epsilon > 0$, a set $A \subset \mathbb{Z}^d$ with doubling $K$ has a subset of size at least $K^{-\frac{4}{\epsilon}}|A|$ with coordinate query complexity at most $\epsilon \log_2 |A|$. We apply this structural result to give a simple proof of the "few products, many sums" phenomenon for integer sets. The resulting bounds are explicit and improve on the seminal result of Bourgain and Chang.


title: Dimension of the space of unitary equivariant translation invariant tensor valuations

abstract: Following the work of Semyon Alesker in the scalar valued case and of Thomas Wannerer in the vector valued case, the dimensions of the spaces of continuous translation invariant and unitary equivariant tensor valuations are computed. In addition, a basis in the vector valued case is presented.


title: Detection of Fe I and Fe II in the atmosphere of MASCARA-2b using a cross-correlation method

abstract: Ultra-hot Jupiters are gas giants planets whose dayside temperature, due to the strong irradiation received from the host star, is greater than 2200 K. These kind of objects are perfect laboratories to study chemistry of exoplanetary upper atmospheres via transmission spectroscopy. Exo-atmospheric absorption features are buried in the noise of the in-transit residual spectra. However we can retrieve the information of hundreds of atmospheric absorption lines by performing a cross-correlation with an atmospheric transmission model, which allows us to greatly increase the exo-atmospheric signal. At the high-spectral resolution of our data, the Rossiter-McLaughlin effect and centre-to-limb variation have a strong contribution. Here, we present the first detection of Fe I and the confirmation of absorption features of Fe II in the atmosphere of the ultra-hot Jupiter MASCARA-2b/KELT-20b, by using three transit observations with HARPS-N. After combining all transit observations we find a high cross-correlation signal of Fe I and Fe II with signal-to-noise ratios of 10.5 +/- 0.4 and 8.6 +/- 0.5, respectively. The peak absorption for both species appear to be blue-shifted with velocities of -6.3 +/- 0.8 km/s for Fe I and -2.8 +/- 0.8 km/s for Fe II, suggesting the presence of winds from the day- to night-side of the planet's atmosphere. These results confirm previous studies of this planet and add a new atomic species (Fe I) to the long list of detected species in the atmosphere of MASCARA-2b, making it, together with KELT-9b, the most feature-rich ultra-hot Jupiter to date.


title: Enabling Viewpoint Learning through Dynamic Label Generation

abstract: Optimal viewpoint prediction is an essential task in many computer graphics applications. Unfortunately, common viewpoint qualities suffer from two major drawbacks: dependency on clean surface meshes, which are not always available, and the lack of closed-form expressions, which requires a costly search involving rendering. To overcome these limitations we propose to separate viewpoint selection from rendering through an end-to-end learning approach, whereby we reduce the influence of the mesh quality by predicting viewpoints from unstructured point clouds instead of polygonal meshes. While this makes our approach insensitive to the mesh discretization during evaluation, it only becomes possible when resolving label ambiguities that arise in this context. Therefore, we additionally propose to incorporate the label generation into the training procedure, making the label decision adaptive to the current network predictions. We show how our proposed approach allows for learning viewpoint predictions for models from different object categories and for different viewpoint qualities. Additionally, we show that prediction times are reduced from several minutes to a fraction of a second, as compared to state-of-the-art (SOTA) viewpoint quality evaluation. We will further release the code and training data, which will to our knowledge be the biggest viewpoint quality dataset available.


title: On the problem of classifying solvable Lie algebras having small codimensional derived algebras

abstract: This paper concerns the problem of classifying finite-dimensional real solvable Lie algebras whose derived algebras are of codimension 1 or 2. On the one hand, we present an effective method to classify all $(n+1)$-dimensional real solvable Lie algebras having 1-codimensional derived algebras provided that a full classification of $n$-dimensional nilpotent Lie algebras is given. On the other hand, the problem of classifying all $(n+2)$-dimensional real solvable Lie algebras having 2-codimensional derived algebras is proved to be wild. In this case, we provide a method to classify a subclass of the considered Lie algebras which are extended from their derived algebras by a pair of derivations containing at least one inner derivation.


title: Spin dynamics of a hydrogen atom in a periodic magnetic structure

abstract: The spin dynamics of a hydrogen atom during the passage of a periodic magnetic structure is discussed. The occupation numbers of the components of the hyperfine structure are considered as a function of time. The characteristic low-frequency oscillations are visible, which have a direct analogue in the effect of nuclear magnetic resonance. An envelope forms of these oscillations are found using the Krylov-Bogolyubov-Mitropol'skii method. The dependence of spin dynamics on the parameters of the magnetic structure is investigated. It is shown that this dependence is very sensitive to the structure of the magnetic field.


title: Parton models and frame independence of high-energy cross-sections

abstract: We describe some ambiguities which take place when on calculates the cross-sections in parton models at high energies and the connected limitations on the asymptotic of high energy amplitudes that follows from the conditions of boost-invariance of cross-sections. It turns out that the resulting constraints are of the same type as the following from the t-channel unitarity conditions.~ So that on can suppose that this similarity, by their nature, has much more general grounds.


title: Lung Infection Quantification of COVID-19 in CT Images with Deep Learning

abstract: CT imaging is crucial for diagnosis, assessment and staging COVID-19 infection. Follow-up scans every 3-5 days are often recommended for disease progression. It has been reported that bilateral and peripheral ground glass opacification (GGO) with or without consolidation are predominant CT findings in COVID-19 patients. However, due to lack of computerized quantification tools, only qualitative impression and rough description of infected areas are currently used in radiological reports. In this paper, a deep learning (DL)-based segmentation system is developed to automatically quantify infection regions of interest (ROIs) and their volumetric ratios w.r.t. the lung. The performance of the system was evaluated by comparing the automatically segmented infection regions with the manually-delineated ones on 300 chest CT scans of 300 COVID-19 patients. For fast manual delineation of training samples and possible manual intervention of automatic results, a human-in-the-loop (HITL) strategy has been adopted to assist radiologists for infection region segmentation, which dramatically reduced the total segmentation time to 4 minutes after 3 iterations of model updating. The average Dice simiarility coefficient showed 91.6% agreement between automatic and manual infaction segmentations, and the mean estimation error of percentage of infection (POI) was 0.3% for the whole lung. Finally, possible applications, including but not limited to analysis of follow-up CT scans and infection distributions in the lobes and segments correlated with clinical findings, were discussed.


title: Fluorine in the solar neighbourhood: the need for several cosmic sources

abstract: The cosmic origin of fluorine is still not well constrained. Several nucleosynthetic channels at different phases of stellar evolution have been suggested, but these must be constrained by observations. For this, the fluorine abundance trend with metallicity spanning a wide range is required. Our aim is to determine stellar abundances of fluorine for -1.1<[Fe/H]<+0.4. We determine the abundances from HF lines in infrared K-band spectra (at 2.3 microns) of cool giants, observed with the IGRINS and Phoenix high-resolution spectrographs. We derive accurate stellar parameters for all our observed K giants, which is important since the HF lines are very temperature sensitive. We find that [F/Fe] is flat as a function of metallicity at [F/Fe]~0, but increases as the metallicity increases. The fluorine slope shows a clear secondary behavior in this metallicity range. We also find that the [F/Ce] ratio is relatively flat for -0.6<[Fe/H]<0, and that for two metal-poor ([Fe/H]<-0.8), s-process element enhanced giants, we do not detect an elevated fluorine abundance. We interpret all these observational constraints to indicate that several major processes are at play for the cosmic budget of fluorine over time; from those in massive stars at low metallicities, through the asymptotic giant branch-star contribution at -0.6<[Fe/H]<0, to processes with increasing yields with metallicity at super-solar metallicities. The origins of the latter, and whether or not Wolf-Rayet stars and/or novae could contribute at super-solar metallicities, is currently not known. To quantify these observational results, theoretical modelling is required. More observations in the metal-poor region are required to clarify the processes there.


title: Point partition numbers: perfect graphs

abstract: Graphs considered in this paper are finite, undirected and without loops, but with multiple edges. For an integer $t\geq 1$, denote by $\mathcal{MG}_t$ the class of graphs whose maximum multiplicity is at most $t$. A graph $G$ is called strictly $t$-degenerate if every non-empty subgraph $H$ of $G$ contains a vertex $v$ whose degree in $H$ is at most $t-1$. The point partition number $\chi_t(G)$ of $G$ is smallest number of colors needed to color the vertices of $G$ so that each vertex receives a color and vertices with the same color induce a strictly $t$-degenerate subgraph of $G$. So $\chi_1$ is the chromatic number, and $\chi_2$ is known as the point aboricity. The point partition number $\chi_t$ with $t\geq 1$ was introduced by Lick and White. If $H$ is a simple graph, then $tH$ denotes the graph obtained from $H$ by replacing each edge of $H$ by $t$ parallel edges. Then $\omega_t(G)$ is the largest integer $n$ such that $G$ contains a $tK_n$ as a subgraph. Let $G$ be a graph belonging to $\mathcal{MG}_t$. Then $\omega_t(G)\leq \chi_t(G)$ and we say that $G$ is $\chi_t$-perfect if every induced subgraph $H$ of $G$ satisfies $\omega_t(H)=\chi_t(H)$. Based on the Strong Perfect Graph Theorem due to Chudnowsky, Robertson, Seymour and Thomas, we give a characterization of $\chi_t$-perfect graphs of $\mathcal{MG}_t$ by a set of forbidden induced subgraphs. We also discuss some complexity problems for the class of $\chi_t$-critical graphs.


title: Optimization Problems Involving Matrix Multiplication with Applications in Material Science and Biology

abstract: We consider optimization problems involving the multiplication of variable matrices to be selected from a given family, which might be a discrete set, a continuous set or a combination of both. Such nonlinear, and possibly discrete, optimization problems arise in applications from biology and material science among others, and are known to be NP-Hard for a special case of interest. We analyze the underlying structure of such optimization problems for two particular applications and, depending on the matrix family, obtain compact-size mixed-integer linear or quadratically constrained quadratic programming reformulations that can be solved via commercial solvers. Finally, we present the results of our computational experiments, which demonstrate the success of our approach compared to heuristic and enumeration methods predominant in the literature.


title: Mediated interactions and photon bound states in an exciton-polariton mixture

abstract: The quest to realise strongly interacting photons remains an outstanding challenge both for fundamental science and for applications. Here, we explore mediated photon-photon interactions in a highly imbalanced two-component mixture of exciton-polaritons in a semiconductor microcavity. Using a theory that takes into account non-perturbative correlations between the excitons as well as strong light-matter coupling, we demonstrate the high tunability of an effective interaction between quasiparticles formed by minority component polaritons interacting with a Bose-Einstein condensate (BEC) of a majority component polaritons. In particular, the interaction, which is mediated by the exchange of sound modes in the BEC can be made strong enough to support a bound state of two quasiparticles. Since these quasiparticles consist partly of photons, this in turn corresponds to a dimer state of photons propagating through the BEC. This gives rise to a new light transmission line where the bound state wave function is directly mapped onto correlations between outgoing photons. Our findings open up new routes for realising highly non-linear optical materials and novel hybrid light-matter quantum systems.


title: Impossible measurements require impossible apparatus

abstract: A well-recognised open conceptual problem in relativistic quantum field theory concerns the relation between measurement and causality. Naive generalisations of quantum measurement rules can allow for superluminal signalling ('impossible measurements'). This raises the problem of delineating physically allowed quantum measurements and operations. We analyse this issue in a recently proposed framework in which local measurements (in possibly curved spacetime) are described physically by coupling the system to a probe. We show that the state-update rule in this setting is consistent with causality provided that the coupling between the system and probe is local. Thus, by establishing a well-defined framework for successive measurements, we also provide a class of physically allowed operations. Conversely, impossible measurements can only be performed using impossible (non-local) apparatus.


title: Further Exploring Communal Technology Use in Smart Homes: Social Expectations

abstract: Device use in smart homes is becoming increasingly communal, requiring cohabitants to navigate a complex social and technological context. In this paper, we report findings from an exploratory survey grounded in our prior work on communal technology use in the home [4]. The findings highlight the importance of considering qualities of social relationships and technology in understanding expectations and intentions of communal technology use. We propose a design perspective of social expectations, and we suggest existing designs can be expanded using already available information such as location, and considering additional information, such as levels of trust and reliability.


title: The intra-cluster light as a tracer of the total matter density distribution: a view from simulations

abstract: By using deep observations of clusters of galaxies, it has been recently found that the projected stellar mass density closely follows the projected total (dark and baryonic) mass density within the innermost ~140 kpc. In this work, we aim to test these observations using the Cluster-EAGLE simulations, comparing the projected densities inferred directly from the simulations. We compare the iso-density contours using the procedure of Montes \& Trujillo (2019), and find that the shape of the stellar mass distribution follows that of the total matter even more closely than observed, although their radial profiles differ substantially. The ratio between stellar and total matter density profiles in circular apertures, shows a slope close to -1, with a small dependence on the cluster's total mass. We propose an indirect method to calculate the halo mass and mass density profile from the radial profile of the intra-cluster stellar mass density.


title: Fast Online Adaptation in Robotics through Meta-Learning Embeddings of Simulated Priors

abstract: Meta-learning algorithms can accelerate the model-based reinforcement learning (MBRL) algorithms by finding an initial set of parameters for the dynamical model such that the model can be trained to match the actual dynamics of the system with only a few data-points. However, in the real world, a robot might encounter any situation starting from motor failures to finding itself in a rocky terrain where the dynamics of the robot can be significantly different from one another. In this paper, first, we show that when meta-training situations (the prior situations) have such diverse dynamics, using a single set of meta-trained parameters as a starting point still requires a large number of observations from the real system to learn a useful model of the dynamics. Second, we propose an algorithm called FAMLE that mitigates this limitation by meta-training several initial starting points (i.e., initial parameters) for training the model and allows the robot to select the most suitable starting point to adapt the model to the current situation with only a few gradient steps. We compare FAMLE to MBRL, MBRL with a meta-trained model with MAML, and model-free policy search algorithm PPO for various simulated and real robotic tasks, and show that FAMLE allows the robots to adapt to novel damages in significantly fewer time-steps than the baselines.


title: Automatic Curriculum Learning For Deep RL: A Short Survey

abstract: Automatic Curriculum Learning (ACL) has become a cornerstone of recent successes in Deep Reinforcement Learning (DRL).These methods shape the learning trajectories of agents by challenging them with tasks adapted to their capacities. In recent years, they have been used to improve sample efficiency and asymptotic performance, to organize exploration, to encourage generalization or to solve sparse reward problems, among others. The ambition of this work is dual: 1) to present a compact and accessible introduction to the Automatic Curriculum Learning literature and 2) to draw a bigger picture of the current state of the art in ACL to encourage the cross-breeding of existing concepts and the emergence of new ideas.


title: Integrable bodies in odd-dimensional spaces

abstract: V. Arnold's problem 1987-14 asks whether there exist smooth hypersurfaces in $R^N$ (other than the conics in odd-dimensional spaces) for which the volume of the segment cut by any hyperplane from the body bounded by such a hypersurface is an algebraic function of the hyperplane. We desribe very realistic candidates for the role of such new hypersurfaces: in particular, it are examples (additional to Archimedes' conics) of such hypersurfaces, for which the analytic continuation of this volume function is finitely valued.