title: CLUECorpus2020: A Large-scale Chinese Corpus for Pre-training Language Model

abstract: In this paper, we introduce the Chinese corpus from CLUE organization, CLUECorpus2020, a large-scale corpus that can be used directly for self-supervised learning such as pre-training of a language model, or language generation. It has 100G raw corpus with 35 billion Chinese characters, which is retrieved from Common Crawl. To better understand this corpus, we conduct language understanding experiments on both small and large scale, and results show that the models trained on this corpus can achieve excellent performance on Chinese. We release a new Chinese vocabulary with a size of 8K, which is only one-third of the vocabulary size used in Chinese Bert released by Google. It saves computational cost and memory while works as good as original vocabulary. We also release both large and tiny versions of the pre-trained model on this corpus. The former achieves the state-of-the-art result, and the latter retains most precision while accelerating training and prediction speed for eight times compared to Bert-base. To facilitate future work on self-supervised learning on Chinese, we release our dataset, new vocabulary, codes, and pre-trained models on Github.


title: Broadband Tunable Phase Shifter For Microwaves

abstract: We implement a broadly tunable phase shifter for microwaves based on superconducting quantum interference devices (SQUIDs) and study it both experimentally and theoretically. At different frequencies, a unit transmission coefficient, $|S_{21}|=1$, can be theoretically achieved along a curve where the phase shift is controllable by magnetic flux. The fabricated device consists of three equidistant SQUIDs interrupting a transmission line. We model each SQUID embedded at different positions along the transmission line with two parameters, capacitance and inductance, the values of which we extract from the experiments. In our experiments, the tunability of the phase shift varies from from $0.07\times\pi$ to $0.14\times\pi$ radians along the full-transmission curve with the input frequency ranging from 6.00 to 6.28~GHz. The reported measurements are in good agreement with simulations, which is promising for future design work of phase shifters for different applications.


title: Shape analysis via inconsistent surface registration

abstract: In this work, we develop a framework for shape analysis using inconsistent surface mapping. Traditional landmark-based geometric morphometrics methods suffer from the limited degrees of freedom, while most of the more advanced non-rigid surface mapping methods rely on a strong assumption of the global consistency of two surfaces. From a practical point of view, given two anatomical surfaces with prominent feature landmarks, it is more desirable to have a method that automatically detects the most relevant parts of the two surfaces and finds the optimal landmark-matching alignment between those parts, without assuming any global 1-1 correspondence between the two surfaces. Our method is capable of solving this problem using inconsistent surface registration based on quasi-conformal theory. It further enables us to quantify the dissimilarity of two shapes using quasi-conformal distortion and differences in mean and Gaussian curvatures, thereby providing a natural way for shape classification. Experiments on Platyrrhine molars demonstrate the effectiveness of our method and shed light on the interplay between function and shape in nature.


title: Calculating Renyi Entropies with Neural Autoregressive Quantum States

abstract: Entanglement entropy is an essential metric for characterizing quantum many-body systems, but its numerical evaluation for neural network representations of quantum states has so far been inefficient and demonstrated only for the restricted Boltzmann machine architecture. Here, we estimate generalized Renyi entropies of autoregressive neural quantum states with up to N=256 spins using quantum Monte Carlo methods. A naive "direct sampling" approach performs well for low-order Renyi entropies but fails for larger orders when benchmarked on a 1D Heisenberg model. We therefore propose an improved "conditional sampling" method exploiting the autoregressive structure of the network ansatz, which outperforms direct sampling and facilitates calculations of higher-order Renyi entropies in both 1D and 2D Heisenberg models. Access to higher-order Renyi entropies allows for an approximation of the von Neumann entropy as well as extraction of the single copy entanglement. Both methods elucidate the potential of neural network quantum states in quantum Monte Carlo studies of entanglement entropy for many-body systems.


title: Metastable Reverse-Phase Droplets within Ordered Phases: Renormalization-Group Calculation of Field and Temperature Dependence of Limiting Size

abstract: Metastable reverse-phase droplets are calculated by renormalization-group theory by evaluating the magnetization of a droplet under magnetic field, matching the boundary condition with the reverse phase and noting whether the reverse-phase magnetization sustains. The maximal metastable droplet size and the discontinuity across the droplet boundary are thus calculated as a function of field and temperature for the Ising model in three dimensions. The method also yields hysteresis loops for finite systems, as function of temperature and system size.


title: DiPE: Deeper into Photometric Errors for Unsupervised Learning of Depth and Ego-motion from Monocular Videos

abstract: Unsupervised learning of depth and ego-motion from unlabelled monocular videos has recently drawn great attention, which avoids the use of expensive ground truth in the supervised one. It achieves this by using the photometric errors between the target view and the synthesized views from its adjacent source views as the loss. Despite significant progress, the learning still suffers from occlusion and scene dynamics. This paper shows that carefully manipulating photometric errors can tackle these difficulties better. The primary improvement is achieved by a statistical technique that can mask out the invisible or nonstationary pixels in the photometric error map and thus prevents misleading the networks. With this outlier masking approach, the depth of objects moving in the opposite direction to the camera can be estimated more accurately. To the best of our knowledge, such scenarios have not been seriously considered in the previous works, even though they pose a higher risk in applications like autonomous driving. We also propose an efficient weighted multi-scale scheme to reduce the artifacts in the predicted depth maps. Extensive experiments on the KITTI dataset show the effectiveness of the proposed approaches. The overall system achieves state-of-theart performance on both depth and ego-motion estimation.


title: On shrinking targets and self-returning points

abstract: We consider the set $\mathcal{R}_\mathrm{io}$ of points returning infinitely many times to a sequence of shrinking targets around themselves. Under additional assumptions we improve Boshernitzan's pioneering result on the speed of recurrence. In the case of the doubling map as well as some linear maps on the $d$ dimensional torus, we even obtain a dichotomy condition for $\mathcal{R}_\mathrm{io}$ to have measure zero or one. Moreover, we study the set of points eventually always returning and prove an analogue of Boshernitzan's result in similar generality.


title: Variation after $K$-projection in antisymmetrized molecular dynamics for low-energy dipole excitations in $^{10}$Be and $^{16}$O

abstract: For study of dipole excitations, a new method of variation after $K$-projection in the framework of antisymmetrized molecular dynamics (AMD) with the deformation $\beta$ constraint was proposed. The method was applied to $^{10}$Be and $^{16}$O to describe low-energy dipole excitations and found to be a useful and economical approach for dipole excitations. In the application to $^{10}$Be, two dipole states in low-energy region were described. For $^{16}$O, the $1_1^-$ and $1_2^-$ states with remarkable dipole strengths were obtained. The $1_1^-$ state is characterized by significant toroidal dipole (TD) and compressional dipole strengths, whereas the $1_2^-$ has significant TD strength and shows a developed $\alpha + {}^{16}$O cluster structure. Dipole properties in $^{16}$O were discussed by analysis of current densities of the dipole transitions.


title: Holding and transferring matter-wave solitons against gravity by spin-orbit-coupling tweezers

abstract: We consider possibilities to grasp and drag one-dimensional solitons in two-component Bose- Einstein condensates (BECs), under the action of gravity, by tweezers induced by spatially confined spin-orbit (SO) coupling applied to the BEC, with the help of focused laser illumination. Solitons of two types are considered, semi-dipoles and mixed modes. We find critical values of the gravity force, up to which the solitons may be held or transferred by the tweezers. The dependence of the critical force on the magnitude and spatial extension of the localized SO interaction, as well as on the solitons norm and speed (in the transfer regime), are systematically studied by means of numerical methods, and analytically with the help of a quasi-particle approximation for the soliton. In particular, a noteworthy finding is that the critical gravity force increases with the increase of the transfer speed (i.e., moving solitons are more robust than quiescent ones). Nonstationary regimes are addressed too, by considering abrupt application of gravity to solitons created in the weightless setting. In that case, solitons feature damped shuttle motion, provided that the gravity force does not exceed a dynamical critical value, which is smaller than its static counterpart. The results may help to design gravimeters based on ultracold atoms.


title: multi-patch aggregation models for resampling detection

abstract: Images captured nowadays are of varying dimensions with smartphones and DSLR's allowing users to choose from a list of available image resolutions. It is therefore imperative for forensic algorithms such as resampling detection to scale well for images of varying dimensions. However, in our experiments, we observed that many state-of-the-art forensic algorithms are sensitive to image size and their performance quickly degenerates when operated on images of diverse dimensions despite re-training them using multiple image sizes. To handle this issue, we propose a novel pooling strategy called ITERATIVE POOLING. This pooling strategy can dynamically adjust input tensors in a discrete without much loss of information as in ROI Max-pooling. This pooling strategy can be used with any of the existing deep models and for demonstration purposes, we show its utility on Resnet-18 for the case of resampling detection a fundamental operation for any image sought of image manipulation. Compared to existing strategies and Max-pooling it gives up to 7-8% improvement on public datasets.


title: Free vibrations in a wave equation modeling MEMS

abstract: We study a nonlinear wave equation appearing as a model for a membrane (without viscous effects) under the presence of an electrostatic potential with strength $\lambda$. The membrane has a unique stable branch of steady states $u_{\lambda}$ for $\lambda\in\lbrack0,\lambda_{\ast}]$. We prove that the branch $u_{\lambda}$ has an infinite number of branches of periodic solutions (free vibrations) bifurcating when the parameter $\lambda$ is varied. Furthermore, using a functional setting, we compute numerically the branch $u_{\lambda}$ and their branches of periodic solutions. This approach is useful to validate rigorously the steady states $u_{\lambda}$ at the critical value $\lambda_{\ast}$.


title: Ergodic Decomposition of Dirichlet Forms via Direct Integrals and Applications

abstract: We study superpositions and direct integrals of quadratic and Dirichlet forms. We show that each quasi-regular Dirichlet space over a probability space admits a unique representation as a direct integral of irreducible Dirichlet spaces, quasi-regular for the same underlying topology. The same holds for each quasi-regular strongly local Dirichlet space over a metrizable Luzin, Radon measure space, and admitting carr\'e du champ operator. In this case, the representation is only projectively unique.


title: Curriculum By Smoothing

abstract: Convolutional Neural Networks (CNNs) have shown impressive performance in computer vision tasks such as image classification, detection, and segmentation. Moreover, recent work in Generative Adversarial Networks (GANs) has highlighted the importance of learning by progressively increasing the difficulty of a learning task [26]. When learning a network from scratch, the information propagated within the network during the earlier stages of training can contain distortion artifacts due to noise which can be detrimental to training. In this paper, we propose an elegant curriculum based scheme that smoothes the feature embedding of a CNN using anti-aliasing or low-pass filters. We propose to augment the train-ing of CNNs by controlling the amount of high frequency information propagated within the CNNs as training progresses, by convolving the output of a CNN feature map of each layer with a Gaussian kernel. By decreasing the variance of the Gaussian kernel, we gradually increase the amount of high-frequency information available within the network for inference. As the amount of information in the feature maps increases during training, the network is able to progressively learn better representations of the data. Our proposed augmented training scheme significantly improves the performance of CNNs on various vision tasks without either adding additional trainable parameters or an auxiliary regularization objective. The generality of our method is demonstrated through empirical performance gains in CNN architectures across four different tasks: transfer learning, cross-task transfer learning, and generative models.


title: What renders bulk metallic glass ductile/brittle? -- new insight from the medium-range order

abstract: Understanding ductility or brittleness of monolithic bulk metallic glasses (BMGs) requires detailed knowledge of the amorphous structure. The medium range order (MRO) of ductile Pd$_{40}$Ni$_{40}$P$_{20}$ and brittle Zr$_{52.5}$Cu$_{17.9}$Ni$_{14.6}$Al$_{10}$Ti$_5$ (Vit105) was characterized prior to and after notched 3-point bending tests using variable-resolution fuctuation electron microscopy. Here we show the presence of a second larger MRO correlation length in the ductile material which is not present in the brittle material. A comparison with literature suggests that the larger correlation length accounts for larger shear transformation zones (STZs) which increase the heterogeneity. This enables an easier shear band formation and thus explains the difference in deformability.


title: Traversing the Reality Gap via Simulator Tuning

abstract: The large demand for simulated data has made the reality gap a problem on the forefront of robotics. We propose a method to traverse the gap by tuning available simulation parameters. Through the optimisation of physics engine parameters, we show that we are able to narrow the gap between simulated solutions and a real world dataset, and thus allow more ready transfer of leaned behaviours between the two. We subsequently gain understanding as to the importance of specific simulator parameters, which is of broad interest to the robotic machine learning community. We find that even optimised for different tasks that different physics engine perform better in certain scenarios and that friction and maximum actuator velocity are tightly bounded parameters that greatly impact the transference of simulated solutions.


title: Effects of phase space variables on oscillations of modified combinants

abstract: It has been shown recently that additional information can be obtained from charged particle multiplicity distribution by investigating their modified combinants $C_j$, which exhibit periodic oscillatory behaviour. The modified combinants obtained from experimental data can be expressed in a recurrent form involving the probability of obtaining $N$ charged particles $P(N)$, scaled by the void probability $P(0)$. The effects of various experimental observables such as $|\eta|$, $p_T$ and centre-of-mass collision energy $\sqrt{s}$ on the oscillatory behaviour of $C_j$ will be discussed.


title: Meta-Embeddings Based On Self-Attention

abstract: Creating meta-embeddings for better performance in language modelling has received attention lately, and methods based on concatenation or merely calculating the arithmetic mean of more than one separately trained embeddings to perform meta-embeddings have shown to be beneficial. In this paper, we devise a new meta-embedding model based on the self-attention mechanism, namely the Duo. With less than 0.4M parameters, the Duo mechanism achieves state-of-the-art accuracy in text classification tasks such as 20NG. Additionally, we propose a new meta-embedding sequece-to-sequence model for machine translation, which to the best of our knowledge, is the first machine translation model based on more than one word-embedding. Furthermore, it has turned out that our model outperform the Transformer not only in terms of achieving a better result, but also a faster convergence on recognized benchmarks, such as the WMT 2014 English-to-French translation task.


title: Nonexistence of nonnegative entire solutions of semilinear elliptic systems

abstract: We consider the second order semilinear elliptic system $\Delta u= p\left( x\right) v^\alpha,$ $\Delta v= q\left(x\right) u^\beta,$ where $x \in \mathbf{R}^N,$ $N \geq 3,$ $\alpha$ and $\beta$ are positive constants, $p$ and $q$ are nonnegative continuous functions. We prove that nontrivial nonnegative entire solutions fail to exist if the functions $p$ and $q$ are of slow decay.


title: Learning Context-aware Task Reasoning for Efficient Meta-reinforcement Learning

abstract: Despite recent success of deep network-based Reinforcement Learning (RL), it remains elusive to achieve human-level efficiency in learning novel tasks. While previous efforts attempt to address this challenge using meta-learning strategies, they typically suffer from sampling inefficiency with on-policy RL algorithms or meta-overfitting with off-policy learning. In this work, we propose a novel meta-RL strategy to address those limitations. In particular, we decompose the meta-RL problem into three sub-tasks, task-exploration, task-inference and task-fulfillment, instantiated with two deep network agents and a task encoder. During meta-training, our method learns a task-conditioned actor network for task-fulfillment, an explorer network with a self-supervised reward shaping that encourages task-informative experiences in task-exploration, and a context-aware graph-based task encoder for task inference. We validate our approach with extensive experiments on several public benchmarks and the results show that our algorithm effectively performs exploration for task inference, improves sample efficiency during both training and testing, and mitigates the meta-overfitting problem.


title: Irradiance Variations due to Orbital and Solar Inertial Motion: The Effect on Earth's Surface Temperature

abstract: Variation in total solar irradiance is thought to have little effect on the Earth's surface temperature because of the thermal time constant--the characteristic response time of the Earth's global surface temperature to changes in forcing. This time constant is large enough to smooth annual variations but not necessarily variations having a longer period such as those due to solar inertial motion; the magnitude of these surface temperature variations is estimated.


title: Global solutions and Relaxation Limit to the Cauchy Problem of a Hydrodynamic Model for Semiconductors

abstract: It is well-known that due to the lack of a technique to obtain the a-priori $L^{\infty}$ estimate of the artificial viscosity solutions of the Cauchy problem for the one-dimensional Euler-Poisson (or hydrodynamic) model for semiconductors, where the energy equation is replaced by a pressure-density relation, over the past three decades, all solutions of this model were obtained by using the Lax-Friedrichs, Godounov schemes and Glimm scheme for both the initial-boundary value problem \cite{Zh1,Li} and the Cauchy problem \cite{MN1,PRV,HLY}; or by using the vanishing artificial viscosity method for the initial-boundary value problem \cite{Jo,HLYY}. In this paper, the existence of global entropy solutions, for the Cauchy problem of this model, is proved by using the vanishing artificial viscosity method. As a by-product, the known compactness framework \cite{MN2,JR} is applied to show the relaxation limit, as the relation time $ \tau$ and $\E,\delta$ go to zero, for general pressure $P(\rho)$.


title: Annihilation Process of Quantum Vortices in Dissipative Gross-Pitaevskii Equation Model

abstract: In two dimensional superfluid, annihilation processes of vortices are investigated by numerical simulation within the dissipative Gross-Pitaevskii equation (GPE) model. First, quantum vortex solution is obtained and its fitting function is found. Second, the simulation show that positive and negative vortices accelerate in both x,y directions, until they annihilate into a soliton and then a crescent-shaped shock wave. The processes are found to be controlled by the dissipative parameter and the general Magnus force. For the behavior of separation distance between vortices d(t), an universal scaling exponent 1/2 is found which is same with the three dimensional cases. Third, system's energy is surprisingly found to be determined by system's configuration and their relation are obtained. Then we derive the general Magnus force which decreases with the increases of d(t) for large d(t) and increases with the increases of d(t) for small d(t).


title: New Expansion Rate Estimate of the Scorpius-Centaurus Association Based on T Tauri Stars from the Gaia DR2 Catalog

abstract: The kinematic properties of the Scorpius-Centaurus association were studied using spatial velocities of approximately 700 young T Tauri stars. Their proper motions and trigonometric parallaxes were selected by Zari et al. from the Gaia DR2 catalog, and radial velocities were taken from various sources. The linear expansion coefficients new estimate of the association $K=39\pm2$ km/s/kpc is obtained by considering the influence of the galactic spiral density wave with an amplitude of radial disturbances $f_R=5$ km/s and solar phase in the wave $-120^\circ$. The proper rotation of the association is shown to be small. The residual velocity ellipsoid of these stars has semimajor axes $\sigma_{1,2,3}=(7.72,1.87,1.74)\pm(0.56,0.37,0.22)$ km/s and is positioned at an angle $12\pm2^\circ$ to the galactic plane.


title: Shock capturing with discontinuous Galerkin Method using Overset grids for two-dimensional Euler equations

abstract: A new procedure to capture the shocks has been proposed and is demonstrated for the solutions of two-dimensional Euler equations using discontinuous Galerkin method and overset grids. A discontinuous Galerkin solver using a coarse grid provides the troubled cell data that is used to determine the location of the shock. An overset grid aligned to the shock is constructed based on this information. The solver is run again with the coarse grid solution as the initial condition with limiting occurring only in the overset grid to give a solution with the shock aligned to the grid line. Results for supersonic flow over a ramp, shock reflecting off a flat plate and the supersonic flow over a circular cylinder are presented. For the flow over a circular cylinder, the results obtained are validated using an existing analytical method for calculating the shock offset distance.


title: Filled Carbon Nanotubes as Anode Materials for Lithium-Ion Batteries

abstract: Downsizing well-established materials to the nanoscale is a key route to novel functionalities, in particular if different functionalities are merged in hybrid nanomaterials. Hybrid carbon-based hierarchical nanostructures are particularly promising for electrochemical energy storage since they combine benefits of nanosize effects, enhanced electrical conductivity and integrity of bulk materials. We show that endohedral multiwalled carbon nanotubes (CNT) encapsulating high-capacity (here: conversion and alloying) electrode materials have a high potential for use in anode materials for lithium-ion batteries (LIB). There are two essential characteristics of filled CNT relevant for application in electrochemical energy storage: (1) rigid hollow cavities of the CNT provide upper limits for nanoparticles in their inner cavities which are both separated from the fillings of other CNT and protected against degradation. In particular, the CNT shells resist strong volume changes of encapsulates in response to electrochemical cycling, which in conventional conversion and alloying materials hinders application in energy storage devices. (2) Carbon mantles ensure electrical contact to the active material as they are unaffected by potential cracks of the encapsulate and form a stable conductive network in the electrode compound. Our studies confirm that encapsulates are electrochemically active and can achieve full theoretical reversible capacity. The results imply that encapsulating nanostructures inside CNT can provide a route to new high-performance nanocomposite anode materials for LIB.


title: The Magic Word: A Coding Tutorial-Game to Engage Female Teenagers in App Design

abstract: Educational games are commonly used to motivate students and provide enhanced learning opportunities. Apps and mobile games play an increasingly important role in education and smartphones are part of the daily lives of most female teenagers: Half of mobile gamers are women and 64% of women prefer smartphones to other platforms. However, gender differences in playing behaviour and preferences raises concerns about potential gender inequalities when games are developed for education. In order to develop a tutorial game that suits the female target group and provides challenging tasks to solve, girls were involved at a very early stage of the development cycle and the idea was developed on the basis of surveys and focus group discussions. A first prototype of the game has been tested in a mixed-gender group to get feedback about the learning content, the worked examples, and the whole structure of the game. Finally, a tutorial game with six worked examples has been released in our Luna&Cat app, a programming tool that has been designed for our female target group in particular.


title: Force exerted on particle bunch propagating near plasma-vacuum boundary

abstract: If a charged particle bunch propagates near a plasma-vacuum boundary, it excites a surface wave and experiences a force caused by the boundary. For the linearly responding plasma and ultra-relativistic bunch, the spatial distribution of excited fields is calculated, and the force exerted on a short and narrow bunch is approximated by elementary functions. The force attracts the bunch to the boundary, if the bunch is in the vacuum, and repels otherwise. There are also additional focusing and defocusing components of the force.


title: Compact Bright Radio-loud AGNs -- III. A Large VLBA Survey at 43 GHz

abstract: We present the observational results from the 43-GHz Very Long Baseline Array (VLBA) observations of 124 compact radio-loud active galactic nuclei (AGNs) that were conducted between 2014 November and 2016 May. The typical dimensions of the restoring beam in each image are about 0.5 mas $\times$ 0.2 mas. The highest resolution of 0.2 mas corresponds to a physical size of 0.02 pc for the lowest redshift source in the sample. The 43-GHz very long baseline interferometry (VLBI) images of 97 AGNs are presented for the first time. We study the source compactness on milli-arcsec (mas) and sub-mas scales, and suggest that 95 sources in our sample are suitable for future space VLBI observations. By analyzing our data supplemented with other VLBA AGN surveys from literature, we find that the core brightness temperature increases with increasing frequency below a break frequency ~ 7 GHz, and decreases between ~7--240~GHz but increases again above~240 GHz in the rest frame of the sources. This indicates that the synchrotron opacity changes from optically thick to thin. We also find a strong statistical correlation between radio and $\gamma$-ray flux densities. Our correlation is tighter than those in literature derived from lower-frequency VLBI data, suggesting that the $\gamma$-ray emission is produced more co-spatially with the 43-GHz VLBA core emission. This correlation can also be extrapolated to the un-beamed AGN population, implying that a universal $\gamma$-ray production mechanism might be at work for all types of AGNs.


title: Fully Convolutional Networks for Automatically Generating Image Masks to Train Mask R-CNN

abstract: This paper proposes a novel automatically generating image masks method for the state-of-the-art Mask R-CNN deep learning method. The Mask R-CNN method achieves the best results in object detection until now, however, it is very time-consuming and laborious to get the object Masks for training, the proposed method is composed by a two-stage design, to automatically generating image masks, the first stage implements a fully convolutional networks (FCN) based segmentation network, the second stage network, a Mask R-CNN based object detection network, which is trained on the object image masks from FCN output, the original input image, and additional label information. Through experimentation, our proposed method can obtain the image masks automatically to train Mask R-CNN, and it can achieve very high classification accuracy with an over 90% mean of average precision (mAP) for segmentation


title: Relevance-Guided Modeling of Object Dynamics for Reinforcement Learning

abstract: Current deep reinforcement learning (RL) approaches incorporate minimal prior knowledge about the environment, limiting computational and sample efficiency. \textit{Objects} provide a succinct and causal description of the world, and many recent works have proposed unsupervised object representation learning using priors and losses over static object properties like visual consistency. However, object dynamics and interactions are also critical cues for objectness. In this paper we propose a framework for reasoning about object dynamics and behavior to rapidly determine minimal and task-specific object representations. To demonstrate the need to reason over object behavior and dynamics, we introduce a suite of RGBD MuJoCo object collection and avoidance tasks that, while intuitive and visually simple, confound state-of-the-art unsupervised object representation learning algorithms. We also highlight the potential of this framework on several Atari games, using our object representation and standard RL and planning algorithms to learn dramatically faster than existing deep RL algorithms.


title: Models Currently Implemented in MIIND

abstract: This is a living document that will be updated when appropriate. MIIND [1, 2] is a population-level neural simulator. It is based on population density techniques, just like DIPDE [3]. Contrary to DIPDE, MIIND is agnostic to the underlying neuron model used in its populations so any 1, 2 or 3 dimensional model can be set up with minimal effort. The resulting populations can then be grouped into large networks, e.g. the Potjans-Diesmann model [4]. The MIIND website http://miind.sf.net contains training materials, and helps to set up MIIND, either by using virtual machines, a DOCKER image, or directly from source code.


title: Dynamically Tuned Arrays of Polariton Parametric Oscillators

abstract: Optical parametric oscillations (OPOs) - a non-linear process involving the coherent coupling of an optically excited two particle pump state to a signal and an idler states with different energies - is a relevant mechanism for optical amplification as well as for the generation of correlated photons. OPOs require states with well-defined symmetries and energies: the fine-tuning of material properties and structural dimensions to create these states remains a challenge for the realization of scalable OPO-based functionalities in semiconductor nanostructures. Here, we demonstrate a pathway towards this goal based on the control of confined microcavity exciton-polaritons modulated by the spatially and time varying dynamical potentials produced by a surface acoustic waves (SAW). The exciton-polariton are confined in um-sized intra-cavity traps fabricated by structuring a planar semiconductor microcavity during the epitaxial growth process. OPOs in these structures benefit from the enhanced non-linearities of confined systems. We show that SAW fields induce state-dependent and time-varying energy shifts, which enable the energy alignment of the confined levels with the appropriate symmetry for OPO triggering. Furthermore, the dynamic acoustic tuning, which is fully described by a theoretical model for the modulation of the confined polaritons by the acoustic field, compensates for fluctuations in symmetry and dimensions of the confinement potential thus enabling a variety of dynamic OPO regimes. The robustness of the acoustic tuning is demonstrated by the synchronous excitation of an array of confined OPOs using a single acoustic beam, thus opening the way for the realization of scalable non-linear on-chip systems.


title: Three arithmetic sites

abstract: Two new arithmetic sites are introduced, based on dynamical Belyi maps and Conway's big picture, respectively. We relate these to arboreal Galois representations, Bost-Connes data, and the original arithmetic site due to Connes and Consani.


title: Infinite ascension limit: horocyclic chaos

abstract: What will be if, given a pure stationary state on a compact hyperbolic surface, we start applying raising operator every $\hbar$ "adiabatic" second? It turns that during adiabatic time comparable to 1 wavefunction will change as a wave traveling with a finite speed (with respect to the adiabatic time), whereas the semiclassical measure of the system will undergo a controllable transformation. If adiabatic time goes to infinity then, by quantized Furstenberg Theorem, the system will become quantum uniquely ergodic. Thus, infinite ascension of a closed system leads to quantum chaos.


title: Elliptic solutions of the semi-discrete BKP equation

abstract: We consider elliptic solutions of the semi-discrete BKP equation and derive equations of motion for their poles. The basic tool is the auxiliary linear problem for the wave function.


title: About the Serpinsky-Knopp curve

abstract: The Serpinsky-Knopp curve is characterized as the only curve (up to isometry) that maps a unit segment onto a triangle of a unit area, so for any pair of points in the segment, the square of the distance between their images does not exceed four times the distance between them.


title: Coverage Analysis of UAVs in Millimeter Wave Networks: A Stochastic Geometry Approach

abstract: Recent developments in robotics and communication technologies are paving the way towards the use of Unmanned Aerial Vehicles (UAVs) to provide ubiquitous connectivity in public safety scenarios or in remote areas. The millimeter wave (mmWave) spectrum, in particular, has gained momentum since the huge amount of free spectrum available at such frequencies can yield very high data rates. In the UAV context, however, mmWave operations may incur severe signal attenuation and sensitivity to blockage, especially considering the very long transmission distances involved. In this paper, we present a tractable stochastic analysis to characterize the coverage probability of UAV stations operating at mmWaves. We exemplify some of the trade-offs to be considered when designing solutions for millimeter wave (mmWave) scenarios, such as the beamforming configuration, and the UAV altitude and deployment.


abstract: This article is an updated version of an entry of the Encyclopedia of Mathematics Education (2018). In the same time, it is the seed of the HAL collection DAD-MULTILINGUAL, constituted by the translation of this entry in various languages.The documentational approach to didactics is a theory in mathematics education. Its first aim is to understand teachers' professional development by studying their interactions with the resources they use and design in/for their teaching. In this text we briefly describe the emergence of the approach, its theoretical sources, its main concepts and the associated methodology. We illustrate these aspects with examples from different research projects. This synthetic presentation is written for researchers, but also for non-specialists (e.g. master students) interested in a first discovery of the documentational approach.


title: The Index Conjecture for Symmetric Spaces

abstract: In 1980, Onishchik introduced the index of a Riemannian symmetric space as the minimal codimension of a (proper) totally geodesic submanifold. He calculated the index for symmetric spaces of rank less than or equal to 2, but for higher rank it was unclear how to tackle the problem. In earlier papers we developed several approaches to this problem, which allowed us to calculate the index for many symmetric spaces. Our systematic approach led to a conjecture for how to calculate the index. The purpose of this paper is to verify the conjecture.


title: Improving the performance of heterogeneous data centers through redundancy

abstract: We analyze the performance of redundancy in a multi-type job and multi-type server system. We assume the job dispatcher is unaware of the servers' capacities, and we set out to study under which circumstances redundancy improves the performance. With redundancy an arriving job dispatches redundant copies to all its compatible servers, and departs as soon as one of its copies completes service. As a benchmark comparison, we take the non-redundant system in which a job arrival is routed to only one randomly selected compatible server. Service times are generally distributed and all copies of a job are identical, i.e., have the same service requirement. In our first main result, we characterize the sufficient and necessary stability conditions of the redundancy system. This condition coincides with that of a system where each job type only dispatches copies into its least-loaded servers, and those copies need to be fully served. In our second result, we compare the stability regions of the system under redundancy to that of no redundancy. We show that if the server's capacities are sufficiently heterogeneous, the stability region under redundancy can be much larger than that without redundancy. We apply the general solution to particular classes of systems, including redundancy-d and nested models, to derive simple conditions on the degree of heterogeneity required for redundancy to improve the stability. As such, our result is the first in showing that redundancy can improve the stability and hence performance of a system when copies are non-i.i.d..


title: DeepSperm: A robust and real-time bull sperm-cell detection in densely populated semen videos

abstract: Background and Objective: Object detection is a primary research interest in computer vision. Sperm-cell detection in a densely populated bull semen microscopic observation video presents challenges such as partial occlusion, vast number of objects in a single video frame, tiny size of the object, artifacts, low contrast, and blurry objects because of the rapid movement of the sperm cells. This study proposes an architecture, called DeepSperm, that solves the aforementioned challenges and is more accurate and faster than state-of-the-art architectures. Methods: In the proposed architecture, we use only one detection layer, which is specific for small object detection. For handling overfitting and increasing accuracy, we set a higher network resolution, use a dropout layer, and perform data augmentation on hue, saturation, and exposure. Several hyper-parameters are tuned to achieve better performance. We compare our proposed method with those of a conventional image processing-based object-detection method, you only look once (YOLOv3), and mask region-based convolutional neural network (Mask R-CNN). Results: In our experiment, we achieve 86.91 mAP on the test dataset and a processing speed of 50.3 fps. In comparison with YOLOv3, we achieve an increase of 16.66 mAP point, 3.26 x faster on testing, and 1.4 x faster on training with a small training dataset, which contains 40 video frames. The weights file size was also reduced significantly, with 16.94 x smaller than that of YOLOv3. Moreover, it requires 1.3 x less graphical processing unit (GPU) memory than YOLOv3. Conclusions: This study proposes DeepSperm, which is a simple, effective, and efficient architecture with its hyper-parameters and configuration to detect bull sperm cells robustly in real time. In our experiment, we surpass the state of the art in terms of accuracy, speed, and resource needs.


title: Stationary solutions to a nonlocal fourth-order elliptic obstacle problem

abstract: Existence of stationary solutions to a nonlocal fourth-order elliptic obstacle problem arising from the modelling of microelectromechanical systems with heterogeneous dielectric properties is shown. The underlying variational structure of the model is exploited to construct these solutions as minimizers of a suitably regularized energy, which allows us to weaken considerably the assumptions on the model used in a previous article.


title: Unveiling the monster heart: unbeamed properties of blazar 4C 71.07

abstract: 4C 71.07 is a high-redshift blazar whose optical radiation is dominated by quasar-like nuclear emission. We here present the results of a spectroscopic monitoring of the source to study its unbeamed properties. We obtained 24 optical spectra at the Nordic Optical Telescope (NOT) and William Herschel Telescope (WHT) and 3 near-infrared spectra at the Telescopio Nazionale Galileo (TNG). They show no evidence of narrow emission lines. The estimate of the systemic redshift from the H$\beta$ and H$\alpha$ broad emission lines leads to $z_{\rm sys}=2.2130 \pm 0.0004$. Notwithstanding the nearly face-on orientation of the accretion disc, the high-ionization emission lines present large broadening as well as noticeable blueshifts, which increase with the ionizing energy of the corresponding species. This is a clear indication of strong ionized outflows. Line broadening and blueshift appear correlated. We applied scaling relationships to estimate the mass of the supermassive black hole from the Balmer and C IV lines, taking into account the prescriptions to correct for outflow. They give $M_{\rm BH} \sim 2 \times 10^9 \, M_\odot$. We derived an Eddington luminosity $L_{\rm Edd} \sim 2.5 \times 10^{47} \rm \, erg \, s^{-1}$ $\sim L_{\rm disc}$, and a broad line region luminosity $L_{\rm BLR} \sim 1.5 \times 10^{46} \rm \, erg \, s^{-1}$. The line fluxes do not show significant variability in time. In particular, there is no line reaction to the jet flaring activity detected in 2015 October and November. This implies that the jet gives no contribution to the photoionization of the broad line region in the considered period.


title: Discrete Vortices in Systems of Coupled Nonlinear Oscillators: Numerical Results for an Electric Model

abstract: Vortex coherent structures on arrays of nonlinear oscillators joined by weak links into topologically nontrivial two-dimensional discrete manifolds have been theoretically studied. A circuit of nonlinear electric oscillators coupled by relatively weak capacitances has been considered as a possible physical implementation of such objects. Numerical experiments have shown that a time-monochromatic external force applied to several oscillators leads to the formation of long-lived and nontrivially interacting vortices in the system against a quasistationary background in a wide range of parameters. The dynamics of vortices depends on the method of "coupling" of the opposite sides of a rectangular array by links, which determines the topology of the resulting manifold (torus, Klein bottle, projective plane, M\"obius strip, ring, or disk).


title: Current density distribution in resistive fault current limiters and its effect on device stability

abstract: The increase of current uniformity along of a resistive type superconductor fault current limiter (R-SFCL) in the design of this type of limiters is well perceived as an important issue. The non-uniform distribution of current in R-SFCL only increases the current in some superconducting regions, as a result, in the fault conditions, only certain parts of the superconductor undergo a phase change that increases the heat pressure in those areas and causes the breakdown and destruction of the device. In this paper, the current density distributions in common patterns used in R-SFCs constructions have been simulated and investigated. To this end, an effective model is proposed for R-SFCL to achieve the highest uniformity of current and harmonic phase change over superconductors compared to other patterns. The simulation results in the Ansys Maxwell Software advocate the appropriate and satisfying performance of the proposed model.


title: OTFS Based Receiver Scheme With Multi-Antennas in High-Mobility V2X Systems

abstract: Vehicle-to-everything (V2X) is considered as one of the most important applications of future wireless communication networks. However, the Doppler effect caused by the vehicle mobility may seriously deteriorate the performance of the vehicular communication links, especially when the channels exhibit a large number of Doppler frequency offsets (DFOs). Orthogonal time frequency space (OTFS) is a new waveform designed in the delay-Doppler domain, and can effectively convert a doubly dispersive channel into an almost non-fading channel, which makes it very attractive for V2X communications. In this paper, we design a novel OTFS based receiver with multi-antennas to deal with the high-mobility challenges in V2X systems. We show that the multiple DFOs associated with multipaths can be separated with the high-spatial resolution provided by multi-antennas, which leads to an enhanced sparsity of the OTFS channel in the delay-Doppler domain and bears a potential to reduce the complexity of the message passing (MP) detection algorithm. Based on this observation, we further propose a joint MP-maximum ration combining (MRC) iterative detection for OTFS, where the integration of MRC significantly improves the convergence performance of the iteration and gains an excellent system error performance. Finally, we provide numerical simulation results to corroborate the superiorities of the proposed scheme.


title: $t$-Structures with Grothendieck hearts via functor categories

abstract: We study when the heart of a t-structure in a triangulated category $\mathcal{D}$ with coproducts is AB5 or a Grothendieck category. If $\mathcal{D}$ satisfies Brown representability, a t-structure has an AB5 heart with an injective cogenerator and coproduct-preserving associated homological functor if, and only if, the coaisle has a pure-injective t-cogenerating object. If $\mathcal{D}$ is standard well generated, such a heart is automatically a Grothendieck category. For compactly generated t-structures (in any ambient triangulated category with coproducts), we prove that the heart is a locally finitely presented Grothendieck category. We use functor categories and the proofs rely on two main ingredients. Firstly, we express the heart of any t-structure in any triangulated category as a Serre quotient of the category of finitely presented additive functors for suitable choices of subcategories of the aisle or the co-aisle that we, respectively, call t-generating or t-cogenerating subcategories. Secondly, we study coproduct-preserving homological functors from $\mathcal{D}$ to complete AB5 abelian categories with injective cogenerators and classify them, up to a so-called computational equivalence, in terms of pure-injective objects in $\mathcal{D}$. This allows us to show that any standard well generated triangulated category $\mathcal{D}$ possesses a universal such coproduct-preserving homological functor, to develop a purity theory and to prove that pure-injective objects always cogenerate t-structures in such triangulated categories.


title: On the regularity of Mather's $\beta$-function for standard-like twist maps

abstract: We consider the minimal average action (Mather's $\beta$ function) for area preserving twist maps of the annulus. The regularity properties of this function share interesting relations with the dynamics of the system. We prove that the $\beta$-function associated to a standard-like twist map admits a unique $C^1$-holomorphic complex extension, which coincides with this function on the set of real diophantine frequencies.


title: Phonon structure of titanium under shear deformation along $\{10\bar{1}2\}$ twinning mode

abstract: We investigated phonon behavior of hexagonal close packed titanium under homogeneous shear deformation corresponding to the $\{10\bar{1}2\}$ twinning mode using first-principles calculation and phonon calculation. By this deformation, we found that a phonon mode located at a point on Brillouin zone boundary is drastically soften increasing the shear and finally it triggers a spontaneous structural transition by breaking the crystal symmetry toward twin from parent.


title: Multi-boundary entanglement in Chern-Simons theory with finite gauge groups

abstract: We study the multi-boundary entanglement structure of the states prepared in (1+1) and (2+1) dimensional Chern-Simons theory with finite discrete gauge group $G$. The states in (1+1)-$d$ are associated with Riemann surfaces of genus $g$ with multiple $S^1$ boundaries and we use replica trick to compute the entanglement entropy for such states. In (2+1)-$d$, we focus on the states associated with torus link complements which live in the tensor product of Hilbert spaces associated with multiple $T^2$. We present a quantitative analysis of the entanglement structure for both abelian and non-abelian groups. For all the states considered in this work, we find that the entanglement entropy for direct product of groups is the sum of entropy for individual groups, i.e. $\text{EE}(G_1 \times G_2) = \text{EE}(G_1)+\text{EE}(G_2)$. Moreover, the reduced density matrix obtained by tracing out a subset of the total Hilbert space has a positive semidefinite partial transpose on any bi-partition of the remaining Hilbert space.


title: Propagator norm and sharp decay estimates for Fokker-Planck equations with linear drift

abstract: We are concerned with the short- and large-time behavior of the $L^2$-propagator norm of Fokker-Planck equations with linear drift, i.e. $\partial_t f=\mathrm{div}_{x}{(D \nabla_x f+Cxf)}$. With a coordinate transformation these equations can be normalized such that the diffusion and drift matrices are linked as $D=C_S$, the symmetric part of $C$. The main result of this paper (Theorem 3.4) is the connection between normalized Fokker-Planck equations and their drift-ODE $\dot x=-Cx$: Their $L^2$-propagator norms actually coincide. This implies that optimal decay estimates on the drift-ODE (w.r.t. both the maximum exponential decay rate and the minimum multiplicative constant) carry over to sharp exponential decay estimates of the Fokker-Planck solution towards the steady state. A second application of the theorem regards the short time behaviour of the solution: The short time regularization (in some weighted Sobolev space) is determined by its hypocoercivity index, which has recently been introduced for Fokker-Planck equations and ODEs (see [5, 1, 2]). In the proof we realize that the evolution in each invariant spectral subspace can be represented as an explicitly given, tensored version of the corresponding drift-ODE. In fact, the Fokker-Planck equation can even be considered as the second quantization of $\dot x=-Cx$.


title: Does the spin tensor play any role in non-gravitational physics?

abstract: In view of the recent polarization measurements in ultra-relativistic heavy ion collisions, we discuss the possibility of a physical meaning of the spin angular momentum in quantum field theory and relativistic hydrodynamics.


title: Momentum spectroscopy for multiple ionization of cold rubidium in the elliptically polarized laser field

abstract: Employing recent developed magneto-optical trap recoil ion momentum spectroscopy (MOTRIMS) combining cold atom, strong laser pulse, and ultrafast technologies, we study momentum distributions of the multiply ionized cold rubidium (Rb) induced by the elliptically polarized laser pulses (35 fs, $1.3 \times 10^{15}$ W/cm$^2$). The complete vector momenta of Rbn+ ions up to charge state n = 4 are recorded with extremely high resolution (0.12 a.u. for Rb$^+$). Variations of characteristic multi-bands displayed in momentum distributions, as the ellipticity varies from the linear to circular polarization, are interpreted qualitatively with the classical over-barrier ionization model. Present momentum spectroscopy of cold heavy alkali atoms presents novel strong-field phenomena beyond the noble gases.


title: Procedural band patterns

abstract: We seek to cover a parametric domain with a set of evenly spaced bands which number and widthvaries according to a density field. We propose an implicit procedural algorithm, that generates theband pattern from a pixel shader and adapts to changes to the control fields in real time. Each band isuniquely identified by an integer. This allows a wide range of texturing effects, including specifying adifferent appearance in each individual bands. Our technique also affords for progressive gradationsof scales, avoiding the abrupt doubling of the number of lines of typical subdivision approaches. Thisleads to a general approach for drawing bands, drawing splitting and merging curves, and drawingevenly spaced streamlines. Using these base ingredients, we demonstrate a wide variety of texturingeffects.


title: VOR Adaptation on a Humanoid iCub Robot Using a Spiking Cerebellar Model

abstract: We embed a spiking cerebellar model within an adaptive real-time (RT) control loop that is able to operate a real robotic body (iCub) when performing different vestibulo-ocular reflex (VOR) tasks. The spiking neural network computation, including event- and time-driven neural dynamics, neural activity, and spike-timing dependent plasticity (STDP) mechanisms, leads to a nondeterministic computation time caused by the neural activity volleys encountered during cerebellar simulation. This nondeterministic computation time motivates the integration of an RT supervisor module that is able to ensure a well-orchestrated neural computation time and robot operation. Actually, our neurorobotic experimental setup (VOR) benefits from the biological sensory motor delay between the cerebellum and the body to buffer the computational overloads as well as providing flexibility in adjusting the neural computation time and RT operation. The RT supervisor module provides for incremental countermeasures that dynamically slow down or speed up the cerebellar simulation by either halting the simulation or disabling certain neural computation features (i.e., STDP mechanisms, spike propagation, and neural updates) to cope with the RT constraints imposed by the real robot operation. This neurorobotic experimental setup is applied to different horizontal and vertical VOR adaptive tasks that are widely used by the neuroscientific community to address cerebellar functioning. We aim to elucidate the manner in which the combination of the cerebellar neural substrate and the distributed plasticity shapes the cerebellar neural activity to mediate motor adaptation. This paper underlies the need for a two-stage learning process to facilitate VOR acquisition.


title: ABC-LMPC: Safe Sample-Based Learning MPC for Stochastic Nonlinear Dynamical Systems with Adjustable Boundary Conditions

abstract: Sample-based learning model predictive control (LMPC) strategies have recently attracted attention due to their desirable theoretical properties and their good empirical performance on robotic tasks. However, prior analysis of LMPC controllers for stochastic systems has mainly focused on linear systems in the iterative learning control setting. We present a novel LMPC algorithm, Adjustable Boundary Condition LMPC (ABC-LMPC), which enables rapid adaptation to novel start and goal configurations and theoretically show that the resulting controller guarantees iterative improvement in expectation for stochastic nonlinear systems. We present results with a practical instantiation of this algorithm and experimentally demonstrate that the resulting controller adapts to a variety of initial and terminal conditions on 3 stochastic continuous control tasks.


title: Divergences. Scale invariant Divergences. Applications to linear inverse problems. N.M.F. Blind deconvolution

abstract: This book deals with functions allowing to express the dissimilarity (discrepancy) between two data fields or ''divergence functions'' with the aim of applications to linear inverse problems. Most of the divergences found in the litterature are used in the field of information theory to quantify the difference between two probability density functions, that is between positive data whose sum is equal to one. In such context, they take a simplified form that is not adapted to the problems considered here, in which the data fields are non-negative but with a sum not necessarily equal to one. In a systematic way, we reconsider the classical divergences and we give their forms adapted to inverse problems. To this end, we will recall the methods allowing to build such divergences, and propose some generalizations. The resolution of inverse problems implies systematically the minimisation of a divergence between physical measurements and a model depending of the unknown parameters. In the context image reconstruction, the model is generally linear and the constraints that must be taken into account are the non-negativity as well as (if necessary) the sum constraint of the unknown parameters. To take into account in a simple way the sum constraint, we introduce the class of scale invariant or affine invariant divergences. Such divergences remains unchanged when the model parameters are multiplied by a constant positive factor. We show the general properties of the invariance factors, and we give some interesting characteristics of such divergences.An extension of such divergences allows to obtain the property of invariance with respect to both the arguments of the divergences; this characteristic can be used to introduce the smoothness regularization of inverse problems, that is a regularisation in the sense of Tikhonov.We then develop in a last step, minimisation methods of the divergences subject to non-negativity and sum constraints on the solution components. These methods are founded on the Karush-Kuhn-Tucker conditions that must be fulfilled at the optimum. The Tikhonov regularization is considered in these methods.Chapter 11 associated with Appendix 9 deal with the application to the NMF, while Chapter 12 is dedicated to the Blind Deconvolution problem.In these two chapters, the interest of the scale invariant divergences is highlighted.


title: CRATOS: Cognition of Reliable Algorithm for Time-series Optimal Solution

abstract: Anomaly detection of time series plays an important role in reliability systems engineering. However, in practical application, there is no precisely defined boundary between normal and anomalous behaviors in different application scenarios. Therefore, different anomaly detection algorithms and processes ought to be adopted for time series in different situation. Although such strategy improve the accuracy of anomaly detection, it takes a lot of time for practitioners to configure various algorithms to millions of series, which greatly increases the development and maintenance cost of anomaly detection processes. In this paper, we propose CRATOS which is a self-adapt algorithms that extract features from time series, and then cluster series with similar features into one group. For each group we utilize evolutionary algorithm to search the best anomaly detection methods and processes. Our methods can significantly reduce the cost of development and maintenance of anomaly detection. According to experiments, our clustering methods achieves the state-of-art results. The accuracy of the anomaly detection algorithms in this paper is 85.1%.


title: What's the relationship between CNNs and communication systems?

abstract: The interpretability of Convolutional Neural Networks (CNNs) is an important topic in the field of computer vision. In recent years, works in this field generally adopt a mature model to reveal the internal mechanism of CNNs, helping to understand CNNs thoroughly. In this paper, we argue the working mechanism of CNNs can be revealed through a totally different interpretation, by comparing the communication systems and CNNs. This paper successfully obtained the corresponding relationship between the modules of the two, and verified the rationality of the corresponding relationship with experiments. Finally, through the analysis of some cutting-edge research on neural networks, we find the inherent relation between these two tasks can be of help in explaining these researches reasonably, as well as helping us discover the correct research direction of neural networks.


title: Symmetric calorons of higher charges and their large period limits

abstract: Periodic instantons, also called calorons, are the BPS solutions to the pure Yang-Mills theories on $\mathbb{R}^3\times S^1$. It is known that the calorons interconnect with the instantons and the BPS monopoles as the ratio of their size to the period of $S^1$ varies. We give, in this paper, the action density configurations of the $SU(2)$ calorons of higher instanton charges with several platonic symmetries through the numerical Nahm transform, after the construction of the analytic Nahm data. The calorons considered are 5-caloron with octahedral symmetry, 7-caloron with icosahedral symmetry, and 4-caloron interconnecting tetrahedral and octahedral symmetries. We also consider the large period, or the instanton, limits of the Nahm data, i.e., the ADHM limits, and observe the similar spatial distributions of the action densities with the calorons.


title: Online Sinkhorn: Optimal Transport distances from sample streams

abstract: Optimal Transport (OT) distances are now routinely used as loss functions in ML tasks. Yet, computing OT distances between arbitrary (i.e. not necessarily discrete) probability distributions remains an open problem. This paper introduces a new online estimator of entropy-regularized OT distances between two such arbitrary distributions. It uses streams of samples from both distributions to iteratively enrich a non-parametric representation of the transportation plan. Compared to the classic Sinkhorn algorithm, our method leverages new samples at each iteration, which enables a consistent estimation of the true regularized OT distance. We provide a theoretical analysis of the convergence of the online Sinkhorn algorithm, showing a nearly-O(1/n) asymptotic sample complexity for the iterate sequence. We validate our method on synthetic 1D to 10D data and on real 3D shape data.


title: An Online Learning Framework for Energy-Efficient Navigation of Electric Vehicles

abstract: Energy-efficient navigation constitutes an important challenge in electric vehicles, due to their limited battery capacity. We employ a Bayesian approach to model the energy consumption at road segments for efficient navigation. In order to learn the model parameters, we develop an online learning framework and investigate several exploration strategies such as Thompson Sampling and Upper Confidence Bound. We then extend our online learning framework to multi-agent setting, where multiple vehicles adaptively navigate and learn the parameters of the energy model. We analyze Thompson Sampling and establish rigorous regret bounds on its performance. Finally, we demonstrate the performance of our methods via several real-world experiments on Luxembourg SUMO Traffic dataset.


title: Domain formation in bicomponent vesicles induced by composition-curvature coupling

abstract: Lipid vesicles composed of a mixture of two types of lipids are studied by intensive Monte-Carlo numerical simulations. The coupling between the local composition and the membrane shape is induced by two different spontaneous curvatures of the components. We explore the various morphologies of these biphasic vesicles coupled to the observed patterns such as nano-domains or labyrinthine mesophases. The effect of the difference in curvatures, the surface tension and the interaction parameter between components are thoroughly explored. Our numerical results quantitatively agree with previous analytical results obtained by [Gueguen et al., Eur. Phys. J. E, 2014, vol. 37, p. 76] in the disordered (high temperature) phase. Numerical simulations allow us to explore the full parameter space, especially close to and below the critical temperature, where analytical results are not accessible. Phase diagrams are constructed and domain morphologies are quantitatively studied by computing the structure factor and the domain size distribution. This mechanism likely explains the existence of nano-domains in cell membranes as observed by super-resolution fluorescence microscopy.


title: Blue moon ensemble simulation of aquation free energy profiles applied to mono and bifunctional platinum anticancer drugs

abstract: Aquation free energy profiles of neutral cisplatin and cationic monofunctional derivatives, including triaminochloroplatinum(II) and cis-diammine(pyridine)chloroplatinum(II), were computed using state of the art thermodynamic integration, for which temperature and solvent were accounted for explicitly using density functional theory based canonical molecular dynamics (DFT-MD). For all the systems the "inverse-hydration" where the metal center acts as an acceptor of hydrogen bond has been observed. This has motivated to consider the inversely bonded solvent molecule in the definition of the reaction coordinate required to initiate the constrained DFT-MD trajectories. We found that there exists little difference in free enthalpies of activations, such that these platinum-based anticancer drugs are likely to behave the same way in aqueous media. Detailed analysis of the microsolvation structure of the square-planar complexes, along with the key steps of the aquation mechanism are discussed.


title: Vibrational quenching of cold molecular ions immersed in their parent gas

abstract: Hybrid ion-atom systems provide an excellent platform for studies of state-resolved quantum chemistry at low temperatures, where quantum effects may be prevalent. Here we study theoretically the process of vibrational relaxation of an initially weakly bound molecular ion due to collisions with the background gas atoms. We show that this inelastic process is governed by the universal long-range part of the interaction potential, which allows for using simplified model potentials applicable to multiple atomic species. The product distribution after the collision can be estimated by making use of the distorted wave Born approximation. We find that the inelastic collisions lead predominantly to small changes in the binding energy of the molecular ion.


title: Sub-picosecond exchange-relaxation in the compensated ferrimagnet Mn$_2$Ru$_x$Ga

abstract: We study the demagnetization dynamics of the fully compensated half-metallic ferrimagnet Mn$_2$Ru$_x$Ga. While the two antiferromagnetically coupled sublattices are both composed of manganese, they exhibit different temperature dependencies due to their differing local environments. The sublattice magnetization dynamics triggered by femtosecond laser pulses are studied to reveal the roles played by the spin and intersublattice exchange. We find a two-step demagnetization process, similar to the well-established case of Gd(FeCo)$_3$, where the two Mn-sublattices have different demagnetization rates. The behaviour is analysed using a four-temperature model, assigning different temperatures to the two manganese spin baths. Even in this strongly exchange-coupled system, the two spin reservoirs have considerably different behaviour. The half-metallic nature and strong exchange coupling of Mn$_2$Ru$_x$Ga lead to spin angular momentum conservation at much shorter time scales than found for Gd(FeCo)$_3$ which suggests that low-power, sub-picosecond switching of the net moment of Mn$_2$Ru$_x$Ga is possible.


title: Doppler effect as a tool for ultrashort electric field reconstruction

abstract: Technological advances in femtosecond laser sources call for the development of increasingly refined characterization tools implying to enrich the existing panel of operable nonlinear interactions. The present paper describes a novel characterization method based on spectral-shearing interferometry which exploits the non-standard rotational Doppler effect for producing the frequency shear. This original approach, called DEER "Doppler Effect for Electric field Reconstruction", provides a spectral-shearing in the absence of frequency conversion and features multiple benefits as for instance the ability of operation in the ultraviolet spectral range or the characterization of ultra-broadband laser pulses.


title: The Prolog Debugger and Declarative Programming. Examples

abstract: This paper contains examples for a companion paper "The Prolog Debugger and Declarative Programming", which discusses (in)adequacy of the Prolog debugger for declarative programming. Logic programming is a declarative programming paradigm. Programming language Prolog makes logic programming possible, at least to a substantial extent. However the Prolog debugger works solely in terms of the operational semantics. So it is incompatible with declarative programming. The companion paper tries to find methods of using it from the declarative point of view. Here we provide examples of applying them.


title: A uniform result for the dimension of fractional Brownian motion level sets

abstract: Let $B =\{ B_t \, : \, t \geq 0 \}$ be a real-valued fractional Brownian motion of index $H \in (0,1)$. We prove that the macroscopic Hausdorff dimension of the level sets $\mathcal{L}_x = \left\{ t \in \mathbb{R}_+ \, : \, B_t=x \right\}$ is, with probability one, equal to $1-H$ for all $x\in\mathbb{R}$.


title: Paradigms and Scenarios for the Dark Matter Phenomenon

abstract: Well known scaling laws among the structural properties of the dark and the luminous matter in disc systems are too complex to be arisen by two inert components that just share the same gravitational field. This brings us to critically focus on the 30 year old paradigm, that, resting on a priori knowledge of the nature of dark matter (DM), has led us to a restricted number of scenarios, especially favouring the collisionless $\Lambda$Cold Dark Matter one. Motivated by such observational evidence, we propose to resolve the dark matter mystery by following a new paradigm: the nature of DM must be guessed/derived by deeply analyzing the properties of the dark and luminous mass distribution at galactic scales. The immediate application of this paradigm leads us to the existence of a direct interaction between dark and Standard Model particles which has finely shaped the inner regions of galaxies.


title: Understanding the Prediction Mechanism of Sentiments by XAI Visualization

abstract: People often rely on online reviews to make purchase decisions. The present work aimed to gain an understanding of a machine learning model's prediction mechanism by visualizing the effect of sentiments extracted from online hotel reviews with explainable AI (XAI) methodology. Study 1 used the extracted sentiments as features to predict the review ratings by five machine learning algorithms (knn, CART decision trees, support vector machines, random forests, gradient boosting machines) and identified random forests as best algorithm. Study 2 analyzed the random forests model by feature importance and revealed the sentiments joy, disgust, positive and negative as the most predictive features. Furthermore, the visualization of additive variable attributions and their prediction distribution showed correct prediction in direction and effect size for the 5-star rating but partially wrong direction and insufficient effect size for the 1-star rating. These prediction details were corroborated by a what-if analysis for the four top features. In conclusion, the prediction mechanism of a machine learning model can be uncovered by visualization of particular observations. Comparing instances of contrasting ground truth values can draw a differential picture of the prediction mechanism and inform decisions for model improvement.


title: Critical heat current for operating an entanglement engine

abstract: Autonomous entanglement engines have recently been proposed to generate steady-state bipartite and multipartite entanglement exploiting only incoherent interactions with thermal baths at different temperatures. In this work, we investigate the interplay between heat current and entanglement in a two-qubit entanglement engine, deriving a critical heat current for successful operation of the engine, i.e. a cut-off above which entanglement is present. The heat current can thus be seen as a witness to the presence of entanglement. In the regime of weak-inter qubit coupling, we also investigate the effect of two experimentally relevant parameters for the qubits, the energy detuning and tunnelling, on the entanglement production. Finally, we show that the regime of strong inter-qubit coupling provides no clear advantage over the weak regime, in the context of out-of-equilibrium entanglement engines.


title: Aging Touch: Systematic and Unbiased Presentation of Tactile Stimuli

abstract: This report presents the experimental methodology and a step-by-step guide for gathering data on how aging influences tactile surface perception in decision and action. The experiments consist of a set of trials in which the ability to distinguish tactile stimuli is investigated. A robot arm is used to provide a systematic and unbiased presentation of the stimuli.


title: Perverse sheaves on infinite-dimensional stacks, and affine Springer theory

abstract: The goal of this work is to construct a perverse t-structure on the infinity-category of l-adic LG-equivariant sheaves on the loop Lie algebra Lg and to show that the affine Grothendieck-Springer sheaf S is perverse. Moreover, S is an intermediate extension of its restriction to the locus of ``compact" elements with regular semi-simple reduction. Note that classical methods do not apply in our situation because LG and Lg are infinite-dimensional ind-schemes.


title: Reference design for closed loop system optimization

abstract: An optimization-based method for improving the productivity of precision machine tools is proposed, where the reference path is computed in local coordinates, and information about the machine tool performance is learned from experimental data. The optimization yields a modified reference that is tracked by the existing low-level controller. The method is tested in simulation for a biaxial positioning system. The positioning system is modelled as double integrator, and the controller characteristic is modelled from experimental data using a least-squares fit. Simulation results show that the method is effective in designing optimal references even for challenging geometries such as sharp corners. The application of this procedure allows the retrofit of the control of existing machines with minimal overhead, by providing a modified reference file to track.


title: Scalable Distributed Approximation of Internal Measures for Clustering Evaluation

abstract: The most widely used internal measure for clustering evaluation is the silhouette coefficient, whose naive computation requires a quadratic number of distance calculations, which is clearly unfeasible for massive datasets. Surprisingly, there are no known general methods to efficiently approximate the silhouette coefficient of a clustering with rigorously provable high accuracy. In this paper, we present the first scalable algorithm to compute such a rigorous approximation for the evaluation of clusterings based on any metric distances. Our algorithm hinges on a Probability Proportional to Size (PPS) sampling scheme, and, for any fixed $\varepsilon, \delta \in (0,1)$, it approximates the silhouette coefficient within a mere additive error $O(\varepsilon)$ with probability $1-\delta$, using a very small number of distance calculations. We also prove that the algorithm can be adapted to obtain rigorous approximations of other internal measures of clustering quality, such as cohesion and separation. Importantly, we provide a distributed implementation of the algorithm using the MapReduce model, which runs in constant rounds and requires only sublinear local space at each worker, which makes our estimation approach applicable to big data scenarios. We perform an extensive experimental evaluation of our silhouette approximation algorithm, comparing its performance to a number of baseline heuristics on real and synthetic datasets. The experiments provide evidence that, unlike other heuristics, our estimation strategy not only provides tight theoretical guarantees but is also able to return highly accurate estimations while running in a fraction of the time required by the exact computation, and that its distributed implementation is highly scalable, thus enabling the computation of internal measures for very large datasets for which the exact computation is prohibitive.


title: Embodied Synaptic Plasticity with Online Reinforcement learning

abstract: The endeavor to understand the brain involves multiple collaborating research fields. Classically, synaptic plasticity rules derived by theoretical neuroscientists are evaluated in isolation on pattern classification tasks. This contrasts with the biological brain which purpose is to control a body in closed-loop. This paper contributes to bringing the fields of computational neuroscience and robotics closer together by integrating open-source software components from these two fields. The resulting framework allows to evaluate the validity of biologically-plausibe plasticity models in closed-loop robotics environments. We demonstrate this framework to evaluate Synaptic Plasticity with Online REinforcement learning (SPORE), a reward-learning rule based on synaptic sampling, on two visuomotor tasks: reaching and lane following. We show that SPORE is capable of learning to perform policies within the course of simulated hours for both tasks. Provisional parameter explorations indicate that the learning rate and the temperature driving the stochastic processes that govern synaptic learning dynamics need to be regulated for performance improvements to be retained. We conclude by discussing the recent deep reinforcement learning techniques which would be beneficial to increase the functionality of SPORE on visuomotor tasks.


title: Nonlinear Functional Output Regression: a Dictionary Approach

abstract: To address functional-output regression, we introduce projection learning (PL), a novel dictionary-based approach that learns to predict a function that is expanded on a dictionary while minimizing an empirical risk based on a functional loss. PL makes it possible to use non orthogonal dictionaries and can then be combined with dictionary learning; it is thus much more flexible than expansion-based approaches relying on vectorial losses. This general method is instantiated with reproducing kernel Hilbert spaces of vector-valued functions as kernel-based projection learning (KPL). For the functional square loss, two closed-form estimators are proposed, one for fully observed output functions and the other for partially observed ones. Both are backed theoretically by an excess risk analysis. Then, in the more general setting of integral losses based on differentiable ground losses, KPL is implemented using first-order optimization for both fully and partially observed output functions. Eventually, several robustness aspects of the proposed algorithms are highlighted on a toy dataset; and a study on two real datasets shows that they are competitive compared to other nonlinear approaches. Notably, using the square loss and a learnt dictionary, KPL enjoys a particularily attractive trade-off between computational cost and performances.


title: On Dominant Interference in Random Networks and Communication Reliability

abstract: In this paper, we study the characteristics of dominant interference power with directional reception in a random network modelled by a Poisson Point Process. Additionally, the Laplace functional of cumulative interference excluding the $n$ dominant interferers is also derived, which turns out to be a generalization of omni-directional reception and complete accumulative interference. As an application of these results, we study the impact of directional receivers in random networks in terms of outage probability and error probability with queue length constraint.


title: On some strong Poincar\'e inequalities on Riemannian models and their improvements

abstract: We prove second and fourth order improved Poincar\'e type inequalities on the hyperbolic space involving Hardy-type remainder terms. Since theirs l.h.s. only involve the radial part of the gradient or of the laplacian, they can be seen as stronger versions of the classical Poincar\'e inequality. We show that such inequalities hold true on model manifolds as well, under suitable curvature assumptions and sharpness of some constants is also discussed.


title: Accurate Arrangements

abstract: Let $\mathscr A$ be a Coxeter arrangement of rank $\ell$. In 1987 Orlik, Solomon and Terao conjectured that for every $1\leq d \leq \ell$, the first $d$ exponents of $\mathscr A$ -- when listed in increasing order -- are realized as the exponents of a free restriction of $\mathscr A$ to some intersection of reflecting hyperplanes of $\mathscr A$ of dimension $d$. This conjecture does follow from rather extensive case-by-case studies by Orlik and Terao from 1992 and 1993, where they show that all restrictions of Coxeter arrangements are free. We call a general free arrangements with this natural property involving their free restrictions accurate. In this paper we initialize their systematic study. Our principal result shows that MAT-free arrangements, a notion recently introduced by Cuntz and M\"ucksch, are accurate. This theorem in turn directly implies this special property for all ideal subarrangements of Weyl arrangements. In particular, this gives a new, simpler and uniform proof of the aforementioned conjecture of Orlik, Solomon and Terao for Weyl arrangements which is free of any case-by-case considerations. Another application of a slightly more general formulation of our main theorem shows that extended Shi arrangements, extended Catalan arrangements and ideal-Shi arrangements share this property as well. We also study arrangements that satisfy a slightly weaker condition, called almost accurate arrangements, where we simply disregard the ordering of the exponents involved. This property in turn is implied by many well established concepts of freeness such as supersolvability and divisional freeness.


title: Learning to Generate Time Series Conditioned Graphs with Generative Adversarial Nets

abstract: Deep learning based approaches have been utilized to model and generate graphs subjected to different distributions recently. However, they are typically unsupervised learning based and unconditioned generative models or simply conditioned on the graph-level contexts, which are not associated with rich semantic node-level contexts. Differently, in this paper, we are interested in a novel problem named Time Series Conditioned Graph Generation: given an input multivariate time series, we aim to infer a target relation graph modeling the underlying interrelationships between time series with each node corresponding to each time series. For example, we can study the interrelationships between genes in a gene regulatory network of a certain disease conditioned on their gene expression data recorded as time series. To achieve this, we propose a novel Time Series conditioned Graph Generation-Generative Adversarial Networks (TSGG-GAN) to handle challenges of rich node-level context structures conditioning and measuring similarities directly between graphs and time series. Extensive experiments on synthetic and real-word gene regulatory networks datasets demonstrate the effectiveness and generalizability of the proposed TSGG-GAN.


title: Emergence of Einstein Gravity from Weyl Gravity

abstract: It is shown that in a quadratic gravity based on Weyl's conformal geometry, not only the Einstein-Hilbert action emerges but also a Weyl gauge field becomes massive in the Weyl gauge condition, $\tilde R = k$, for a Weyl gauge symmetry within the framework of the BRST formalism. We also consider a more general gravitational theory with a scalar field in the Weyl geometry and see that the Einstein-Hilbert action can be induced from spontaneous symmetry breakdown of the Weyl gauge symmetry. Thus, it turns out that Weyl's conformal gravity is quantum mechanically equivalent to Einstein's general relativity plus a massive Weyl gauge field, and the Weyl geometry is free from an infamous ``second clock problem'' in quantum regime.


title: Generalized Hilbert-Kunz function of the Rees algebra of the face ring of a simplicial complex

abstract: Let $R$ be the face ring of a simplicial complex of dimension $d-1$ and ${\mathcal R}(\mathfrak{n})$ be the Rees algebra of the maximal homogeneous ideal $\mathfrak{n}$ of $R.$ We show that the generalized Hilbert-Kunz function $HK(s)=\ell({\mathcal R}(\mathfrak n)/(\mathfrak n, \mathfrak n t)^{[s]})$ is given by a polynomial for all large $s.$ We calculate it in many examples and also provide a Macaulay2 code for computing $HK(s).$


title: Points of differentiability of the norm in Lipschitz-free spaces

abstract: We consider convex series of molecules in Lipschitz-free spaces, i.e. elements of the form $\mu=\sum_n \lambda_n \frac{\delta_{x_n}-\delta_{y_n}}{d(x_n,y_n)}$ such that $\|\mu\|=\sum_n |\lambda_n |$. We characterise these elements in terms of geometric conditions on the points $x_n$, $y_n$ of the underlying metric space, and determine when they are points of G\^ateaux differentiability of the norm. In particular, we show that G\^ateaux and Fr\'echet differentiability are equivalent for finitely supported elements of Lipschitz-free spaces over uniformly discrete and bounded metric spaces, and that their tensor products with G\^ateaux (resp. Fr\'echet) differentiable elements of a Banach space are G\^ateaux (resp. Fr\'echet) differentiable in the corresponding projective tensor product.


title: Modeling and Control of a Hybrid Wheeled Jumping Robot

abstract: In this paper, we study a wheeled robot with a prismatic extension joint. This allows the robot to build up momentum to perform jumps over obstacles and to swing up to the upright position after the loss of balance. We propose a template model for the class of such two-wheeled jumping robots. This model can be considered as the simplest wheeled-legged system. We provide an analytical derivation of the system dynamics which we use inside a model predictive controller (MPC). We study the behavior of the model and demonstrate highly dynamic motions such as swing-up and jumping. Furthermore, these motions are discovered through optimization from first principles. We evaluate the controller on a variety of tasks and uneven terrains in a simulator.


title: Full analytical formulas for frequency response of space-based gravitational wave detectors

abstract: The discovery of gravitational waves, which are ripples of space-time itself, opened a new window to test general relativity, because it predicts that there are only plus and cross polarizations for gravitational waves. For alternative theories of gravity, there may be up to six polarizations. The measurement of the polarization is one of the major scientific goals for future gravitational wave detectors. To evaluate the capability of the detector, we need to use the frequency dependent response functions averaged over the source direction and polarization angle. We derive the full analytical formulas of the averaged response functions for all six possible polarizations and present their asymptotic behaviors based on these analytical formulas. Compared with the numerical simulation, the full analytical formulas are more efficient and valid for any equal-arm interferometric gravitational wave detector without optical cavities in the arms and for a time-delay-interferometry Michelson combination.


title: Accurate spectra for high energy ions by advanced time-of-flight diamond-detector schemes in experiments with high energy and intensity lasers

abstract: Time-Of-Flight (TOF) methods are very effective to detect particles accelerated in laser-plasma interactions, but they shows significant limitations when used in experiments with high energy and intensity lasers, where both high-energy ions and remarkable levels of ElectroMagnetic Pulses (EMPs) in the radiofrequency-microwave range are generated. Here we describe a novel advanced diagnostic method for the characterization of protons accelerated by intense matter interactions with high-energy and high-intensity ultra-short laser pulses up to the femtosecond and even future attosecond range. The method employs a stacked diamond detector structure and the TOF technique, featuring high sensitivity, high resolution, high radiation hardness and high signal-to-noise ratio in environments heavily affected by remarkable EMP fields. A detailed study on the use, the optimization and the properties of a single module of the stack is here also described for an experiment where a fast diamond detector is employed in an highly EMP-polluted environment. Accurate calibrated spectra of accelerated protons are presented from an experiment with the femtosecond Flame laser (beyond 100 TW power and ~$10^{19}$ W/cm$^2$ intensity) interacting with thin foil targets. The results that can be readily applied to the case of complex stack configurations and to more general experimental conditions.


title: Cumulative emissions accounting of greenhouse gases due to path independence for a sufficiently rapid emissions cycle

abstract: Cumulative emissions accounting for carbon-dioxide (CO2) is founded on recognition that global warming in Earth System Models (ESMs) is roughly proportional to cumulative CO2 emissions, regardless of emissions pathway. However, cumulative emissions accounting only requires the graph between global warming and cumulative emissions to be approximately independent of emissions pathway ("path-independence"), regardless of functional relationship between these variables. The concept and mathematics of path-independence are considered for an energy-balance climate model (EBM), giving rise to a closed-form expression of global warming, together with analysis of the atmospheric cycle following emissions. Path-independence depends on the ratio between the period of the emissions cycle and the atmospheric lifetime, being a valid approximation if the emissions cycle has period comparable to or shorter than the atmospheric lifetime. This makes cumulative emissions accounting potentially relevant beyond CO2, to other greenhouse gases (GHGs) with lifetimes of several decades whose emissions have recently begun.


title: A new insight on stellar age I. Theoretical trends with gyro-age and rotation

abstract: In this first work attempts to analytically explain the effects on the magnetic braking index, $q$, caused by the evolution of stellar velocity in main-sequence stars, and estimated by de Freitas \& De Medeiros (2013). We have found that the effect of $q$ is here a determining factor for understanding the delicate mechanisms that control the spin-down of stars as a function of the mass of stars. We note that our models predict that the calculated ages are distinct from gyrochronology ages. Indeed, the gyro-ages are measured considering only the canonical value of the Skumanich relation ($q$=3). As a result, we find that the age of stars can be well-determined when $q$ is free parameter. We also verified that for rotation periods less than $\sim$ 5 days (i.e., fast rotators) there is a strong discrepancy among the different indexes $q$. In addition, the ages measured by gyrochronology model can be underestimated according to mass range selected. In conclusion, we suggest that the generalized gyro-ages by magnetic braking index can be an interesting way to better understand the idea of rotation as a clock.


title: Exploring vestibulo-ocular adaptation in a closed-loop neuro-robotic experiment using STDP. A simulation study

abstract: Studying and understanding the computational primitives of our neural system requires for a diverse and complementary set of techniques. In this work, we use the Neuro-robotic Platform (NRP)to evaluate the vestibulo ocular cerebellar adaptatIon (Vestibulo-ocular reflex, VOR)mediated by two STDP mechanisms located at the cerebellar molecular layer and the vestibular nuclei respectively. This simulation study adopts an experimental setup (rotatory VOR)widely used by neuroscientists to better understand the contribution of certain specific cerebellar properties (i.e. distributed STDP, neural properties, coding cerebellar topology, etc.)to r-VOR adaptation. The work proposes and describes an embodiment solution for which we endow a simulated humanoid robot (iCub)with a spiking cerebellar model by means of the NRP, and we face the humanoid to an r-VOR task. The results validate the adaptive capabilities of the spiking cerebellar model (with STDP)in a perception-action closed-loop (r- VOR)causing the simulated iCub robot to mimic a human behavior.


title: A New Dataset, Poisson GAN and AquaNet for Underwater Object Grabbing

abstract: To boost the object grabbing capability of underwater robots for open-sea farming, we propose a new dataset (UDD) consisting of three categories (seacucumber, seaurchin, and scallop) with 2,227 images. To the best of our knowledge, it is the first 4K HD dataset collected in a real open-sea farm. We also propose a novel Poisson-blending Generative Adversarial Network (Poisson GAN) and an efficient object detection network (AquaNet) to address two common issues within related datasets: the class-imbalance problem and the problem of mass small object, respectively. Specifically, Poisson GAN combines Poisson blending into its generator and employs a new loss called Dual Restriction loss (DR loss), which supervises both implicit space features and image-level features during training to generate more realistic images. By utilizing Poisson GAN, objects of minority class like seacucumber or scallop could be added into an image naturally and annotated automatically, which could increase the loss of minority classes during training detectors to eliminate the class-imbalance problem; AquaNet is a high-efficiency detector to address the problem of detecting mass small objects from cloudy underwater pictures. Within it, we design two efficient components: a depth-wise-convolution-based Multi-scale Contextual Features Fusion (MFF) block and a Multi-scale Blursampling (MBP) module to reduce the parameters of the network to 1.3 million. Both two components could provide multi-scale features of small objects under a short backbone configuration without any loss of accuracy. In addition, we construct a large-scale augmented dataset (AUDD) and a pre-training dataset via Poisson GAN from UDD. Extensive experiments show the effectiveness of the proposed Poisson GAN, AquaNet, UDD, AUDD, and pre-training dataset.


title: Pseudogap opening in the two-dimensional Hubbard model: A functional renormalization group analysis

abstract: Using the recently introduced multiloop extension of the functional renormalization group, we compute the frequency- and momentum-dependent self-energy of the two-dimensional Hubbard model at half filling and weak coupling. We show that, in the truncated-unity approach for the vertex, it is essential to adopt the Schwinger-Dyson form of the self-energy flow equation in order to capture the pseudogap opening. We provide an analytic understanding of the key role played by the flow scheme in correctly accounting for the impact of the antiferromagnetic fluctuations. For the resulting pseudogap, we present a detailed numerical analysis of its evolution with temperature, interaction strength, and loop order.