title: Strain-magneto-optics in CoFe2O4: magneto-absorption in Voight geometry

abstract: The infrared optical, magneto-optical and magnetostrictive properties of CoFe2O4 single crystal are considered. The magneto-transmission and magneto-reflection of natural light in magnetostrictive CoFe2O4 spinel are studied in the Voight experimental geometry. These magneto-optical effects are very high and associate with a change of the fundamental absorption edge and impurity absorption bands under magnetic field. It is presented the effects strongly depend on both the magnitude and orientation of magnetic field relative to the crystallographic axes of the crystal. The clear connection between magneto-absorption of light in the infrared spectral range and magnetostriction of CoFe2O4 spinel is established. The contribution of magnetostriction to the magnetic anisotropy constant of the CoFe2O4 crystal is shown to be abnormally great.


title: Multiple Imputation for Biomedical Data using Monte Carlo Dropout Autoencoders

abstract: Due to complex experimental settings, missing values are common in biomedical data. To handle this issue, many methods have been proposed, from ignoring incomplete instances to various data imputation approaches. With the recent rise of deep neural networks, the field of missing data imputation has oriented towards modelling of the data distribution. This paper presents an approach based on Monte Carlo dropout within (Variational) Autoencoders which offers not only very good adaptation to the distribution of the data but also allows generation of new data, adapted to each specific instance. The evaluation shows that the imputation error and predictive similarity can be improved with the proposed approach.


title: Control of the non-geometrically integral reductions

abstract: In this paper, for a geometrically integral projective scheme, we will give an upper bound of the product of the norms of its non-geometrically integral reductions over an arbitrary number field. For this aim, we take the adelic viewpoint on this subject.


title: Stabilization control of networked mobile robot using past observation-based preditive filter

abstract: This paper addresses the stabilization control problem for networked mobile robot subject to communication delay. A new state estimation filter namely past observation-based predictive filter is developed. This filter enables the prediction of system state from delayed measurement. The state estimator combined with developed control laws ensures the asymptotic stability of the networked system. Simulations with parameters extracted from a real robot system were conducted and results confirmed the correctness as well as applicability of proposed approach.


title: Controlled emission time statistics of a dynamic single-electron transistor

abstract: Quantum technologies involving qubit measurements based on electronic interferometers rely critically on accurate single-particle emission. However, achieving precisely timed operations requires exquisite control of the single-particle sources in the time domain. Here, we demonstrate accurate control of the emission time statistics of a dynamic single-electron transistor by measuring the waiting times between emitted electrons. By ramping up the modulation frequency, we controllably drive the system through a crossover from adiabatic to nonadiabatic dynamics, which we visualize by measuring the temporal fluctuations at the single-electron level and explain using detailed theory. Our work paves the way for future technologies based on the ability to control, transmit, and detect single quanta of charge or heat in the form of electrons, photons, or phonons.


title: Search for the Chiral Magnetic Effect with the ALICE detector

abstract: In non-central heavy-ion collisions, spectator protons that do not participate in the interaction create strong magnetic fields. The strength of these fields allows testing an effect based on the hypothesized properties of QCD. The presence of so-called topological configurations can give rise to domains that carry net chirality. Coupled with the aforementioned magnetic fields, they may induce a charge separation of the particles generated in the collisions. This charge separation is called the Chiral Magnetic Effect (CME) and can be measured through charged-particle angular correlations. Measurements of the $\gamma_{1,1}$ correlator, which is sensitive to the CME, are shown for Pb--Pb collisions at $\sqrt{s_{\mathrm{NN}}} = 5.02$ TeV as well as for Xe--Xe collisions at $\sqrt{s_{\mathrm{NN}}} = 5.44$ TeV. These are found to have a significant charge dependence between opposite-sign and same-sign charge pairs. This behavior is consistent with a CME-like signal. However, the $\delta_{1}$ correlator, which measures charge correlations unrelated to any symmetry plane (i.e. background), was measured in Xe--Xe collisions and also shows a significant charge dependence. This prevents a clear interpretation of the $\gamma_{1,1}$ correlator. Novel methods to constrain the CME contribution to the $\gamma_{1,1}$ correlator are necessary.


title: The optical polarization of the blazar PKS 2155$-$304 during an optical flare in 2010

abstract: An analysis is presented of the optical polarimetric and multicolour photometric ($BVRJ$) behaviour of the blazar PKS 2155$-$304 during an outburst in 2010. This flare develops over roughly 117 days, with a flux doubling time $\tau \sim 11$ days that increases from blue to red wavelengths. The polarization angle is initially aligned with the jet axis but rotates by roughly $90^\circ$ as the flare grows. Two distinct states are evident at low and high fluxes. Below 18 mJy, the polarization angle takes on a wide range of values, without any clear relation to the flux. In contrast, there is a positive correlation between the polarization angle and flux above 18 mJy. The polarization degree does not display a clear correlation with the flux. We find that the photopolarimetric behaviour for the high flux state can be attributed to a variable component with a steady power-law spectral energy distribution and high optical polarization degree (13.3%). These properties are interpreted within the shock-in-jet model, which shows that the observed variability can be explained by a shock that is seen nearly edge-on. Some parameters derived for the relativistic jet within the shock-in-jet model are: $B=0.06$ G for the magnetic field, $\delta=22.3$ for the Doppler factor and $\Phi=2.6^\circ$ for the viewing angle.


title: Using multiple sensors for autonomous mobile robot navigation

abstract: This paper presents the use of multi-sensor measurement system to guide autonomous mobile robot in the house. The system allows the 3D image acquisition to global mapping, and algorithms to reduce the dimensionality of images to 2D global map navigation, trajectory design approach using the Lyapunov function method and avoid obstacles by the potential energy can also be presented. Also, sensor integrated method based on extended Kalman filter allows us to identify the exact location and orientation of the robot in the presence of interference from the environment.


title: The impact of undetected cases on tracking epidemics: the case of COVID-19

abstract: One of the key indicators used in tracking the evolution of an infectious disease isthe reproduction number. This quantity is usually computed using the reportednumber of cases, but ignoring that many more individuals may be infected (e.g.asymptomatics). We propose a statistical procedure to quantify the impact of un-detected infectious cases on the determination of the effective reproduction number. Our approach is stochastic, data-driven and not relying on any compartmentalmodel. It is applied to the COVID-19 case in eight different countries and all Italianregions, showing that the effect of undetected cases leads to estimates of the effective reproduction numbers larger than those obtained only with the reported cases by factors ranging from two to ten. Our findings urge caution about deciding when and how to relax containment measures based on the value of the reproduction number.


title: Robust asymptotic stability of two-wheels differential drive mobile robot

abstract: The paper proposes the stable motion control law design method for non-honomic differential-drive mobile robot with system and measurement noise in discrete time domain. This method is performed basing on dividing operating configuration of robot into two parts: glocal and local configuration then the control law is designed following Lyapunov stable theory for two configuration. The proposed stable control laws is able to reach asymptotically stably to target position and orientation from any initial conditions even existing noise in the system. Some simulation results have demonstrated the effect of proposed method.


title: MLSolv-A: A Novel Machine Learning-Based Prediction of Solvation Free Energies from Pairwise Atomistic Interactions

abstract: Recent advances in machine learning and their applications have lead to the development of diverse structure-property relationship models for crucial chemical properties, and the solvation free energy is one of them. Here, we introduce a novel ML-based solvation model, which calculates the solvation energy from pairwise atomistic interactions. The novelty of the proposed model consists of a simple architecture: two encoding functions extract atomic feature vectors from the given chemical structure, while the inner product between two atomistic features calculates their interactions. The results on 6,493 experimental measurements achieve outstanding performance and transferability for enlarging training data due to its solvent-non-specific nature. Analysis of the interaction map shows there is a great potential that our model reproduces group contributions on the solvation energy, which makes us believe that the model not only provides the predicted target property but also gives us more detailed physicochemical insights.

categories: stat.ML cond-mat.soft cs.LG physics.chem-ph


title: Embeddings into left-orderable simple groups

abstract: We prove that every countable left-ordered group embeds into a finitely generated left-ordered simple group. Moreover, if the first group has a computable left-order, then the simple group also has a computable left-order. We also obtain a Boone-Higman-Thompson type theorem for left-orderable groups with recursively enumerable positive cones. These embeddings are Frattini embeddings, and isometric whenever the initial group is finitely generated. Finally, we reprove Thompson's theorem on word problem preserving embeddings into finitely generated simple groups and observe that the embedding is isometric.


title: Attribute-guided Feature Extraction and Augmentation Robust Learning for Vehicle Re-identification

abstract: Vehicle re-identification is one of the core technologies of intelligent transportation systems and smart cities, but large intra-class diversity and inter-class similarity poses great challenges for existing method. In this paper, we propose a multi-guided learning approach which utilizing the information of attributes and meanwhile introducing two novel random augments to improve the robustness during training. What's more, we propose an attribute constraint method and group re-ranking strategy to refine matching results. Our method achieves mAP of 66.83% and rank-1 accuracy 76.05% in the CVPR 2020 AI City Challenge.


title: Low-Resolution ADC Quantized Full-Duplex Massive MIMO-Enabled Wireless Backhaul in Heterogeneous Networks Over Rician Channels

abstract: This paper studies the spectral/energy efficiency (SE/EE) of a heterogeneous network with the backhaul enabled by low-resolution analog-to-digital converters (ADCs) quantized full-duplex massive multiple-input multiple-output (MIMO) over Rician channels. Backhaul communication is completed over two phases. During the first phase, the macro-cell (MC) base station (BS) deploys massive receive antennas and a few transmit antennas; the small-cell (SC) BSs employ large-scale receive antennas and a single transmit antenna. For the second phase, the roles of the transmit and receive antennas are switched. Due to the low-resolution ADCs, we account for quantization noise (QN). We characterize the joint impact of the number of antennas, self-interference, SC-to-SC interference, QN, and Rician K-factor. For the first phase, the SE is enhanced with the massive receive antennas and the loss due to QN is limited. For the second phase, the desired signal and QN have the same order. Therefore, the SE saturates with the massive transmit antennas. As the Rician K-factor increases, the SE converges. Power scaling laws are derived to demonstrate that the transmit power can be scaled down proportionally to the massive antennas. We investigate the EE/SE trade-offs. The envelope of the EE/SE region grows with increase in the Rician K-factor.


title: Synchronization framework for modeling transition to thermoacoustic instability in laminar combustors

abstract: We, herein, present a new model based on the framework of synchronization to describe a thermoacoustic system and capture the multiple bifurcations that such a system undergoes. Instead of applying flame describing function to depict the unsteady heat release rate as the flame's response to acoustic perturbation, the new model considers the acoustic field and the unsteady heat release rate as a pair of nonlinearly coupled damped oscillators. By varying the coupling strength, multiple dynamical behaviors, including limit cycle oscillation, quasi-periodic oscillation, strange nonchaos, and chaos can be captured. Furthermore, the model was able to qualitatively replicate the different behaviors of a laminar thermoacoustic system observed in experiments by Kabiraj et al.~[Chaos 22, 023129 (2012)]. By analyzing the temporal variation of the phase difference between heat release rate oscillations and pressure oscillations under different dynamical states, we show that the characteristics of the dynamical states depend on the nature of synchronization between the two signals, which is consistent with previous experimental findings.


title: Periodically Forced Nonlinear Oscillators With Hysteretic Damping

abstract: We perform a detailed study of the dynamics of a nonlinear, one-dimensional oscillator driven by a periodic force under hysteretic damping, whose linear version was originally proposed and analyzed by Bishop in [1]. We first add a small quadratic stiffness term in the constitutive equation and construct the periodic solution of the problem by a systematic perturbation method, neglecting transient terms as $t\rightarrow \infty$. We then repeat the analysis replacing the quadratic by a cubic term, which does not allow the solutions to escape to infinity. In both cases, we examine the dependence of the amplitude of the periodic solution on the different parameters of the model and discuss the differences with the linear model. We point out certain undesirable features of the solutions, which have also been alluded to in the literature for the linear Bishop's model, but persist in the nonlinear case as well. Finally, we discuss an alternative hysteretic damping oscillator model first proposed by Reid [2], which appears to be free from these difficulties and exhibits remarkably rich dynamical properties when extended in the nonlinear regime.


title: Star clusters near and far; tracing star formation across cosmic time

abstract: Star clusters are fundamental units of stellar feedback and unique tracers of their host galactic properties. In this review, we will first focus on their constituents, i.e.\ detailed insight into their stellar populations and their surrounding ionised, warm, neutral, and molecular gas. We, then, move beyond the Local Group to review star cluster populations at various evolutionary stages, and in diverse galactic environmental conditions accessible in the local Universe. At high redshift, where conditions for cluster formation and evolution are more extreme, we are only able to observe the integrated light of a handful of objects that we believe will become globular clusters. We therefore discuss how numerical and analytical methods, informed by the observed properties of cluster populations in the local Universe, are used to develop sophisticated simulations potentially capable of disentangling the genetic map of galaxy formation and assembly that is carried by globular cluster populations.


title: Context Learning for Bone Shadow Exclusion in CheXNet Accuracy Improvement

abstract: Chest X-ray examination plays an important role in lung disease detection. The more accuracy of this task, the more experienced radiologists are required. After ChestX-ray14 dataset containing over 100,000 frontal-view X-ray images of 14 diseases was released, several models were proposed with high accuracy. In this paper, we develop a work flow for lung disease diagnosis in chest X-ray images, which can improve the average AUROC of the state-of-the-art model from 0.8414 to 0.8445. We apply image preprocessing steps before feeding to the 14 diseases detection model. Our project includes three models: the first one is DenseNet-121 to predict whether a processed image has a better result, a convolutional auto-encoder model for bone shadow exclusion is the second one, and the last is the original CheXNet.


title: Magnetic circular dichroism spectra from resonant and damped coupled cluster response theory

abstract: A computational expression for the Faraday A term of magnetic circular dichroism (MCD) is derived within coupled cluster response theory and alternative computational expressions for the B term are discussed. Moreover, an approach to compute the (temperature-independent) MCD ellipticity in the context of coupled cluster damped response is presented, and its equivalence with the stick-spectrum approach in the limit of infinite lifetimes is demonstrated. The damped response approach has advantages for molecular systems or spectral ranges with a high density of states. Illustrative results are reported at the coupled cluster singles and doubles level and compared to time-dependent density functional theory results.


title: AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems

abstract: In this paper, we propose a software tool, called AMYTISS, implemented in C++/OpenCL, for designing correct-by-construction controllers for large-scale discrete-time stochastic systems. This tool is employed to (i) build finite Markov decision processes (MDPs) as finite abstractions of given original systems, and (ii) synthesize controllers for the constructed finite MDPs satisfying bounded-time high-level properties including safety, reachability and reach-avoid specifications. In AMYTISS, scalable parallel algorithms are designed such that they support the parallel execution within CPUs, GPUs and hardware accelerators (HWAs). Unlike all existing tools for stochastic systems, AMYTISS can utilize high-performance computing (HPC) platforms and cloud-computing services to mitigate the effects of the state-explosion problem, which is always present in analyzing large-scale stochastic systems. We benchmark AMYTISS against the most recent tools in the literature using several physical case studies including robot examples, room temperature and road traffic networks. We also apply our algorithms to a 3-dimensional autonomous vehicle and 7-dimensional nonlinear model of a BMW 320i car by synthesizing an autonomous parking controller.


title: Study of Saharan dust influence on PM10 measures in Sicily from 2013 to 2015

abstract: Nowadays, particulate matter, especially that with small dimension as PM10, PM2.5 and PM1, is the air quality indicator most commonly associated with a number of adverse health effects. In this paper it is analyzed the impact that a natural event, such as the transport of Saharan dust, can have on increasing the particulate matter concentration in Sicily.Consulting the data of daily PM10 concentration, acquired by air quality monitoring network belonging to Agenzia Regionale Protezione Ambiente (Environmental Protection Regional Agency), it was possible to analyze the trend from 2013 to 2015. The days, in which the limit value was exceeded, were subjected to combined analysis. It was based on three models: interpretations of the air masses back trajectories, using the atmospheric model HYSPLIT (HYbrid Single Particle Lagrangian Integrated trajectory); on the calculation of the concentration on the ground and at high altitude particulate applying DREAM model (Dust REgional atmospheric model) and on the calculation of the concentration of mineral aerosols according to the atmospheric optical thickness (AOT) applying NAAPS model (Navy Aerosol Analysis and Prediction System).The daily limit value exceedances were attributed to the transport of Saharan dust events exclusively when the three models were in agreement with each other. Identifying the natural events, it was possible to quantify the contribution of the Saharan dust and consequently the reduction of the exceedances number.


title: Extended Group Finite Element Method

abstract: Interpolation methods for nonlinear finite element discretizations are commonly used to eliminate the computational costs associated with the repeated assembly of the nonlinear systems. While the group finite element formulation interpolates nonlinear terms onto the finite element approximation space, we propose the use of a separate approximation space that is tailored to the nonlinearity. In many cases, this allows for the exact reformulation of the discrete nonlinear problem into a quadratic problem with algebraic constraints. Furthermore, the substitution of the nonlinear terms often shifts general nonlinear forms into trilinear forms, which can easily be described by third-order tensors. The numerical benefits as well as the advantages in comparison to the original group finite element method are studied using a wide variety of academic benchmark problems.


title: Boosting on the shoulders of giants in quantum device calibration

abstract: Traditional machine learning applications, such as optical character recognition, arose from the inability to explicitly program a computer to perform a routine task. In this context, learning algorithms usually derive a model exclusively from the evidence present in a massive dataset. Yet in some scientific disciplines, obtaining an abundance of data is an impractical luxury, however; there is an explicit model of the domain based upon previous scientific discoveries. Here we introduce a new approach to machine learning that is able to leverage prior scientific discoveries in order to improve generalizability over a scientific model. We show its efficacy in predicting the entire energy spectrum of a Hamiltonian on a superconducting quantum device, a key task in present quantum computer calibration. Our accuracy surpasses the current state-of-the-art by over $20\%.$ Our approach thus demonstrates how artificial intelligence can be further enhanced by "standing on the shoulders of giants."


title: The effect of Target Normalization and Momentum on Dying ReLU

abstract: Optimizing parameters with momentum, normalizing data values, and using rectified linear units (ReLUs) are popular choices in neural network (NN) regression. Although ReLUs are popular, they can collapse to a constant function and "die", effectively removing their contribution from the model. While some mitigations are known, the underlying reasons of ReLUs dying during optimization are currently poorly understood. In this paper, we consider the effects of target normalization and momentum on dying ReLUs. We find empirically that unit variance targets are well motivated and that ReLUs die more easily, when target variance approaches zero. To further investigate this matter, we analyze a discrete-time linear autonomous system, and show theoretically how this relates to a model with a single ReLU and how common properties can result in dying ReLU. We also analyze the gradients of a single-ReLU model to identify saddle points and regions corresponding to dying ReLU and how parameters evolve into these regions when momentum is used. Finally, we show empirically that this problem persist, and is aggravated, for deeper models including residual networks.


title: Stability Properties of 1-Dimensional Hamiltonian Lattices with Non-analytic Potentials

abstract: We investigate the local and global dynamics of two 1-Dimensional (1D) Hamiltonian lattices whose inter-particle forces are derived from non-analytic potentials. In particular, we study the dynamics of a model governed by a "graphene-type" force law and one inspired by Hollomon's law describing "work-hardening" effects in certain elastic materials. Our main aim is to show that, although similarities with the analytic case exist, some of the local and global stability properties of non-analytic potentials are very different than those encountered in systems with polynomial interactions, as in the case of 1D Fermi-Pasta-Ulam-Tsingou (FPUT) lattices. Our approach is to study the motion in the neighborhood of simple periodic orbits representing continuations of normal modes of the corresponding linear system, as the number of particles $N$ and the total energy $E$ are increased. We find that the graphene-type model is remarkably stable up to escape energy levels where breakdown is expected, while the Hollomon lattice never breaks, yet is unstable at low energies and only attains stability at energies where the harmonic force becomes dominant. We suggest that, since our results hold for large $N$, it would be interesting to study analogous phenomena in the continuum limit where 1D lattices become strings.


title: Robustness of Density of Low Frequency States in Amorphous Solids

abstract: Low frequency quasi-localized modes of amorphous glasses appear to exhibit universal density of states, depending on the frequencies as $D(\omega) \sim \omega^4$. To date various models of glass formers with short range binary interaction, and network glasses with both binary and ternary interactions, were shown to conform with this law. In this paper we examine granular amorphous solids with long-range electrostatic interactions, and find that they exhibit the same law. To rationalize this wide universality class we return to a model proposed by Gurevich, Parshin and Schober (GPS) and analyze its predictions for interaction laws with varying spatial decay, exploring this wider than expected universality class. Numerical and analytic results are provided for both the actual system with long range interaction and for the GPS model.


title: Mean Oriented Riesz Features for Micro Expression Classification

abstract: Micro-expressions are brief and subtle facial expressions that go on and off the face in a fraction of a second. This kind of facial expressions usually occurs in high stake situations and is considered to reflect a human's real intent. There has been some interest in micro-expression analysis, however, a great majority of the methods are based on classically established computer vision methods such as local binary patterns, histogram of gradients and optical flow. A novel methodology for micro-expression recognition using the Riesz pyramid, a multi-scale steerable Hilbert transform is presented. In fact, an image sequence is transformed with this tool, then the image phase variations are extracted and filtered as proxies for motion. Furthermore, the dominant orientation constancy from the Riesz transform is exploited to average the micro-expression sequence into an image pair. Based on that, the Mean Oriented Riesz Feature description is introduced. Finally the performance of our methods are tested in two spontaneous micro-expressions databases and compared to state-of-the-art methods.


title: In silico comparison of spike protein-ACE2 binding affinities across species; significance for the possible origin of the SARS-CoV-2 virus

abstract: The devastating impact of the COVID-19 pandemic caused by SARS coronavirus 2 (SARS CoV 2) has raised important questions about viral origin, mechanisms of zoonotic transfer to humans, whether companion or commercial animals can act as reservoirs for infection, and why there are large variations in SARS-CoV-2 susceptibilities across animal species. Powerful in silico modelling methods can rapidly generate information on newly emerged pathogens to aid countermeasure development and predict future behaviours. Here we report an in silico structural homology modelling, protein-protein docking, and molecular dynamics simulation study of the key infection initiating interaction between the spike protein of SARS-Cov-2 and its target, angiotensin converting enzyme 2 (ACE2) from multiple species. Human ACE2 has the strongest binding interaction, significantly greater than for any species proposed as source of the virus. Binding to pangolin ACE2 was the second strongest, possibly due to the SARS-CoV-2 spike receptor binding domain (RBD) being identical to pangolin CoV spike RDB. Except for snake, pangolin and bat for which permissiveness has not been tested, all those species in the upper half of the affinity range (human, monkey, hamster, dog, ferret) have been shown to be at least moderately permissive to SARS-CoV-2 infection, supporting a correlation between binding affinity and permissiveness. Our data indicates that the earliest isolates of SARS-CoV-2 were surprisingly well adapted to human ACE2, potentially explaining its rapid transmission.


title: Basis functions and uniqueness in orbit-averaged population analysis of asteroids

abstract: Time-resolved photometry of asteroids can be used for shape and spin reconstruction. If the number of measurements per asteroid is not sufficient to create a model, the whole data set can be used to reconstruct the distribution of shape elongations and pole latitudes in the population. This is done by reconstructing amplitudes of lightcurves that are estimated from dispersion of points observed at (assumed) constant aspect angle. Here, we formulate orbit-averaged approach where the observable is the orbit-averaged dispersion of brightness.


title: Monte Carlo simulation of SARS-CoV-2 radiation-induced inactivation for vaccine development

abstract: Immunization with an inactivated virus is one of the strategies currently being tested towards developing a SARS-CoV-2 vaccine. One of the methods used to inactivate viruses is exposure to high doses of ionizing radiation to damage their nucleic acids. Although gamma-rays effectively induce lesions in the RNA, envelope proteins are also highly damaged in the process. This in turn may alter their antigenic properties, affecting their capacity to induce an adaptive immune response able to confer effective protection. Here, we modelled the impact of sparsely and densely ionizing radiation on SARS-CoV-2 using the Monte Carlo toolkit Geant4-DNA. With a realistic 3D target virus model, we calculated the expected number of lesions in the spike and membrane proteins, as well as in the viral RNA. We show that gamma-rays produce significant spike protein damage, but densely ionizing charged particles induce less membrane damage for the same level of RNA lesions, because a single ion traversal through the nuclear envelope is sufficient to inactivate the virus. We propose that accelerated charged particles produce inactivated viruses with little structural damage to envelope proteins, thereby representing a new and effective tool for developing vaccines against SARS-CoV-2 and other enveloped viruses.


title: Signed Distance in Signed Graphs

abstract: Signed graphs have their edges labeled either as positive or negative. Here we introduce two types of signed distance matrix for signed graphs. We characterize balance in signed graphs using these matrices and we obtain explicit formulae for the distance spectrum of some unbalanced signed graphs. We also introduce the notion of distance-compatible signed graphs and partially characterize it.


title: Analog to digital conversion in beam instrumentation systems

abstract: Analog to digital conversion is a very important part of almost all beam instrumentation systems. Ideally, in a properly designed system, the used analog to digital converter (ADC) should not limit the system performance. However, despite recent improvements in ADC technology, quite often this is not possible and the choice of the ADC influences significantly or even restricts the system performance. It is therefore very important to estimate the requirements for the analog to digital conversion at an early stage of the system design and evaluate whether one can find an adequate ADC fulfilling the system specification. In case of beam instrumentation systems requiring both, high time and amplitude resolution, it often happens that the system specification cannot be met with the available ADCs without applying special processing to the analog signals prior to their digitisation. In such cases the requirements for the ADC even influence the system architecture. This paper aims at helping the designer of a beam instrumentation system in the process of selecting an ADC, which in many cases is iterative, requiring a trade off between system performance, complexity and cost. Analog to digital conversion is widely and well described in the literature, therefore this paper focusses mostly on aspects related to beam instrumentation. The ADC fundamentals are limited to the content presented as an introduction during the CAS one-hour lecture corresponding to this paper.


title: Hardy uniqueness principle for the linear Schrodinger equation on quantum regular trees

abstract: In this paper we consider the linear Schrodinger equation (LSE) on a regular tree with the last generation of edges of infinite length and analyze some unique continuation properties. The first part of the paper deals with the LSE on the real line with a piece-wise constant coefficient and uses this result in the context of regular trees. The second part treats the case of a LSE with a real potential in the framework of a star-shaped graph.


title: Conic intrinsic volumes of Weyl chambers

abstract: We give a new, direct proof of the formulas for the conic intrinsic volumes of the Weyl chambers of types $A_{n-1}, B_n$ and $D_n$. These formulas express the conic intrinsic volumes in terms of the Stirling numbers of the first kind and their $B$- and $D$-analogues. The proof involves an explicit determination of the internal and external angles of the faces of the Weyl chambers.


title: Weak Input to state estimates for 2D damped wave equations with localized and non-linear damping

abstract: In this paper, we study input-to-state (ISS) issues for damped wave equations with Dirichlet boundary conditions on a bounded domain of dimension two. The damping term is assumed to be non-linear and localized to an open subset of the domain. In a first step, we handle the undisturbed case as an extension of a previous work, where stability results are given with a damping term active on the full domain. Then, we address the case with disturbances and provide input-to-state types of results.


title: First-order algorithms for a class of fractional optimization problems

abstract: We consider in this paper a class of single-ratio fractional minimization problems, in which the numerator part of the objective is the sum of a nonsmooth nonconvex function and a smooth nonconvex function while the denominator part is a nonsmooth convex function. In this work, we first derive its first-order necessary optimality condition, by using the first-order operators of the three functions involved. Then we develop first-order algorithms, namely, the proximity-gradient-subgradient algorithm (PGSA), PGSA with monotone line search (PGSA_ML) and PGSA with nonmonotone line search (PGSA_NL). It is shown that any accumulation point of the sequence generated by them is a critical point of the problem under mild assumptions. Moreover, we establish global convergence of the sequence generated by PGSA or PGSA_ML and analyze its convergence rate, by further assuming the local Lipschitz continuity of the nonsmooth function in the numerator part, the smoothness of the denominator part and the Kurdyka- Lojasiewicz property of the objective. The proposed algorithms are applied to the sparse generalized eigenvalue problem associated with a pair of symmetric positive semidefinite matrices and the corresponding convergence results are obtained according to their general convergence theorems. We perform some preliminary numerical experiments to demonstrate the efficiency of the proposed algorithms


title: $C^*$-uniqueness Results for Groupoids

abstract: For a second-countable locally compact Hausdorff \'etale groupoid $\mathcal{G}$ with a continuous $2$-cocycle $\sigma$ we find conditions that guarantee that $\ell^1 (\mathcal{G},\sigma)$ has a unique $C^*$-norm.


title: On the uncertainty of self-supervised monocular depth estimation

abstract: Self-supervised paradigms for monocular depth estimation are very appealing since they do not require ground truth annotations at all. Despite the astonishing results yielded by such methodologies, learning to reason about the uncertainty of the estimated depth maps is of paramount importance for practical applications, yet uncharted in the literature. Purposely, we explore for the first time how to estimate the uncertainty for this task and how this affects depth accuracy, proposing a novel peculiar technique specifically designed for self-supervised approaches. On the standard KITTI dataset, we exhaustively assess the performance of each method with different self-supervised paradigms. Such evaluation highlights that our proposal i) always improves depth accuracy significantly and ii) yields state-of-the-art results concerning uncertainty estimation when training on sequences and competitive results uniquely deploying stereo pairs.


title: Interplay between magnetism and charge instabilities in layered NbSe$_{2}$

abstract: Using ab initio methods based on density functional theory, the electronic and magnetic structure of layered hexagonal NbSe$_{2}$ is studied. In the case of single-layer NbSe$_{2}$ it is found that, for all the functionals considered, the magnetic solution is lower in energy than the non-magnetic solution. The magnetic ground-state is ferrimagnetic with a magnetic moment of 1.09 $\mu_{B}$ at the Nb atoms and a magnetic moment of 0.05 $\mu_{B}$, in the opposite direction, at the Se atoms. Our calculations show that single-layer NbSe$_{2}$ does not display a charge density wave instability unless a graphene layer is considered as a substrate. Then, two kinds of 3$\times$3 charge density waves are found, which are observed in our STM experiments. This suggest that the driving force of charge instabilities in NbSe$_{2}$ differ in bulk and in the single-layer limit. Our work sets magnetism into play in this highly-correlated 2D material, which is crucial to understand the formation mechanisms of 2D superconductivity and charge density wave order.

categories: cond-mat.mtrl-sci cond-mat.mes-hall cond-mat.str-el cond-mat.supr-con


title: Residual Clipping Noise in Multi-layer Optical OFDM: Modeling, Analysis, and Application

abstract: Optical orthogonal frequency division multiplexing (O-OFDM) schemes are variations of OFDM schemes which produce non-negative signals. Asymmetrically-clipped O-OFDM (ACO-OFDM) is a single-layer O-OFDM scheme, whose spectral efficiency can be enhanced by adopting multiple ACO-OFDM layers or a combination of ACO-OFDM and other O-OFDM schemes. However, since symbol detection in such enhanced ACO-OFDM (eACO-OFDM) is done iteratively, erroneous detection leads to residual clipping noise (RCN) which can degrade performance in practice. Thus, it is important to develop an accurate model for RCN which can be used to design RCN-aware eACO-OFDM schemes. To this end, this paper provides a mathematical analysis of RCN leading to an accurate model of RCN power. The obtained model is used to analyze the performance of various eACO-OFDM schemes. It is shown that the model provides an accurate evaluation of symbol error rate (SER), which would be underestimated if RCN is ignored. Moreover, the model is shown to be useful for designing an RCN-aware resource allocation that increases the robustness of the system in terms of meeting a target SER, compared to an RCN-unaware design.


title: The Jahn-Teller active fluoroperovskites $A\mathrm{CrF_3}$ $A=\mathrm{Na^+},\mathrm{K^+}$: thermo- and magneto optical correlations as function of the $A$-site

abstract: Chromium (II) fluoroperovskites $A\mathrm{CrF_3}(A\mathrm{=Na^+,K^+})$ are strongly correlated Jahn-Teller active materials at low temperatures. In this paper, we examine the role that the $A$-site ion plays in this family of fluoroperovskites using both experimental methods (XRD, optical absorption spectroscopy and magnetic fields) and DFT simulations. Temperature-dependent optical absorption experiments show that the spin-allowed transitions $E_2$ and $E_3$ only merge completely for $A$= Na at 2 K. Field-dependent optical absorption measurements at 2 K show that the oscillating strength of the spin-allowed transitions in $\mathrm{NaCrF_3}$ increases with increasing applied field. Direct magneto-structural correlations which suppress the spin-flip transitions are observed for ${\rm KCrF_3}$ below its Ne\'el temperature. In ${\rm NaCrF_3}$ the spin-flip transitions vanish abruptly below 9 K revealing magneto-optical correlations not linked to crystal structure changes. This suggests that as the long range ordering is reduced local JT effects in the individual ${\rm CrF_6^{4-}}$ octahedra take control of the observed behavior. Our results show clear deviation from the pattern found for the isoelectronic $A_x{\rm MnF}_{3+x}$ system. The size of the $A$-site cation is shown to be central in dictating the physical properties and phase transitions in $A{\rm CrF}_3$, opening up the possibility of varying the composition to create novel states of matter with tuneable properties.


title: Efficient and Effective Query Auto-Completion

abstract: Query Auto-Completion (QAC) is an ubiquitous feature of modern textual search systems, suggesting possible ways of completing the query being typed by the user. Efficiency is crucial to make the system have a real-time responsiveness when operating in the million-scale search space. Prior work has extensively advocated the use of a trie data structure for fast prefix-search operations in compact space. However, searching by prefix has little discovery power in that only completions that are prefixed by the query are returned. This may impact negatively the effectiveness of the QAC system, with a consequent monetary loss for real applications like Web Search Engines and eCommerce. In this work we describe the implementation that empowers a new QAC system at eBay, and discuss its efficiency/effectiveness in relation to other approaches at the state-of-the-art. The solution is based on the combination of an inverted index with succinct data structures, a much less explored direction in the literature. This system is replacing the previous implementation based on Apache SOLR that was not always able to meet the required service-level-agreement.


title: Micro-vorticity fluctuations affect the structure of thin fluid films

abstract: The dynamic interaction of complex fluid interfaces is highly sensitive to near-contact interactions occurring at the scale of ten of nanometers. Such interactions are difficult to analyse because they couple self-consistently to the dynamic morphology of the evolving interface, as well as to the hydrodynamics of the interstitial fluid film. In this work, we show that, above a given magnitude threshold, near-contact interactions trigger non-trivial micro-vorticity patterns, which in turn affect the effective near-contact interactions, giving rise to persistent fluctuating ripples at the fluid interface. In such regime, near-contact interactions may significantly affect the macroscopic arrangement of emulsion configurations, such as those arising in soft-flowing microfluidic crystals.


title: Importance of Fermi surface and magnetic interactions for the superconducting dome in electron doped FeSe intercalates

abstract: The van-der-Waals gap of iron chalcogenide superconductors can be intercalated with a variety of inorganic and organic compounds that modify the electron doping level of the iron layers. In Lix(C3N2H10)0.37FeSe, a dome in the superconducting transition temperature Tc has been reported to occur in the doping range of x=0.06 to x=0.68. We use a combination of density functional theory and spin fluctuation theory to capture the evolution of superconducting transition temperatures theoretically. We clearly demonstrate how the changing electronic structure supports an increasing superconducting Tc. The suppression of Tc at high doping levels can, however, only be understood by analyzing the magnetic tendencies, which evolve from stripe-type at low doping to bicollinear at high doping.


title: DAugNet: Unsupervised, Multi-source, Multi-target, and Life-long Domain Adaptation for Semantic Segmentation of Satellite Images

abstract: The domain adaptation of satellite images has recently gained an increasing attention to overcome the limited generalization abilities of machine learning models when segmenting large-scale satellite images. Most of the existing approaches seek for adapting the model from one domain to another. However, such single-source and single-target setting prevents the methods from being scalable solutions, since nowadays multiple source and target domains having different data distributions are usually available. Besides, the continuous proliferation of satellite images necessitates the classifiers to adapt to continuously increasing data. We propose a novel approach, coined DAugNet, for unsupervised, multi-source, multi-target, and life-long domain adaptation of satellite images. It consists of a classifier and a data augmentor. The data augmentor, which is a shallow network, is able to perform style transfer between multiple satellite images in an unsupervised manner, even when new data are added over the time. In each training iteration, it provides the classifier with diversified data, which makes the classifier robust to large data distribution difference between the domains. Our extensive experiments prove that DAugNet significantly better generalizes to new geographic locations than the existing approaches.


title: Emergence and melting of active vortex crystals

abstract: Melting of two-dimensional (2D) equilibrium crystals, from superconducting vortex lattices to colloidal structures, is a complex phenomenon characterized by the sequential loss of positional and orientational order. Whereas melting processes in passive systems are typically triggered by external heat injection, active matter crystals can self-assemble and melt into an active fluid by virtue of their intrinsic motility and inherent non-equilibrium stresses. Emergent crystal-like order has been observed in recent experiments on suspensions of swimming sperm cells, fast-moving bacteria, Janus colloids, and in embryonic tissues. Yet, despite recent progress in the theoretical description of such systems, the non-equilibrium physics of active crystallization and melting processes is not well understood. Here, we establish the emergence and investigate the melting of self-organized vortex crystals in 2D active fluids using an experimentally validated generalized Toner-Tu theory. Performing hydrodynamic simulations at an unprecedented scale, we identify two distinctly different melting scenarios: a hysteretic discontinuous phase transition and melting through an intermediary hexatic phase, both of which can be controlled by self-propulsion and active stresses. Our analysis further reveals intriguing transient features of active vortex crystals including meta-stable superstructures of opposite spin polarity. Generally, these results highlight the differences and similarities between crystalline phases in active fluids and their equilibrium counterparts.


title: Hofstadter butterfly and the quantum Hall effect in twisted double bilayer graphenes

abstract: We study the energy spectrum and quantum Hall effects of the twisted double bilayer graphene in uniform magnetic field. We investigate two different arrangements, AB-AB and AB-BA, which differ in the relative orientation but have very similar band structures in the absence of a magnetic field. For each system, we calculate the energy spectrum and quantized Hall conductivities at each spectral gap by using a continuum Hamiltonian that satisfies the magneto-translation condition. We show that the Hofstadter butterfly spectra of AB-AB and AB-BA stackings differ significantly, even though their zero magnetic field band structures closely resemble; the spectrum of AB-AB has valley degeneracy, which can be lifted by applying interlayer potential asymmetry, while the spectrum of AB-BA has no such degeneracy in any case. We explain the origin of the difference from the perspectives of lattice symmetry and band topology.


title: String Fragmentation with a Time-Dependent Tension

abstract: Motivated by recent theoretical arguments that expanding strings can be regarded as having a temperature that is inversely proportional to the proper time, tau, we investigate the consequences of adding a term proportional to 1/tau to the string tension in the Lund string-hadronization model. The lattice value for the tension, kappa0 ~ 0.18 GeV^2 ~ 0.9 GeV/fm, is then interpreted as the late-time/equilibrium limit. A generic prediction of this type of model is that early string breaks should be associated with higher strangeness (and baryon) fractions and higher fragmentation <pT> values. It should be possible to use archival ee data sets to provide model-independent constraints on this type of scenario, and we propose a few simple key measurements to do so.


title: Conservation laws for even order elliptic systems in the critical dimension -- a new approach

abstract: We consider elliptic systems of order $2m$ in dimension $2m$ which are generalizations of extrinsic and intrinsic polyharmonic maps. We show the existence of a conservation law for these systems by using a small perturbation of Uhlenbeck's gauge fixing matrix.


title: HXR emission from an activated flux rope and subsequent evolution of an eruptive long duration solar flare

abstract: In this paper, we present a comprehensive study of the evolutionary phases of a major M6.6 long duration event (LDE) with special emphasize on its pre-flare phase. The event occurred in NOAA 12371 on 2015 June 22. A remarkable aspect of the event was an active pre-flare phase lasting for about an hour during which a hot EUV coronal channel was in build-up stage and displayed co-spatial hard X-ray (HXR) emission up to energies of 25 keV. As such, this is the first evidence of HXR coronal channel. The coronal magnetic field configuration based on NLFFF modeling clearly exhibited a magnetic flux rope (MFR) oriented along the polarity inversion line (PIL) and co-spatial with the coronal channel. We observed significant changes in the AR's photospheric magnetic field during an extended period of $\approx$42 hours in the form of rotation of sunspots, moving magnetic features, and flux cancellation along the PIL. Prior to the flare onset, the MFR underwent a slow rise phase ($\approx$14 km s$^{-1}$) for $\approx$12 min which we attribute to the faster build-up and activation of the MFR by tether-cutting reconnection occurring at multiple locations along the MFR itself. The sudden transition in the kinematic evolution of the MFR from the phase of slow to fast rise ($\approx$109 km s$^{-1}$ with acceleration $\approx$110 m s$^{-2}$) precisely divides the pre-flare and impulsive phase of the flare, which points toward the feedback process between the early dynamics of the eruption and the strength of the flare magnetic reconnection.


title: Enumerating partial linear transformations in a similarity class

abstract: Let $V$ be a finite-dimensional vector space over the finite field ${\mathbb F}_q$ and suppose $W$ and $\widetilde{W}$ are subspaces of $V$. Two linear transformations $T:W\to V$ and $\widetilde{T}:\widetilde{W}\to V$ are said to be similar if there exists a linear isomorphism $S:V\to V$ with $SW=\widetilde{W}$ such that $S\circ T=\widetilde{T}\circ S $. Given a linear map $T$ defined on a subspace $W$ of $V$, we give an explicit formula for the number of linear maps that are similar to $T$. Our results extend a theorem of Philip Hall that settles the case $W=V$ where the above problem is equivalent to counting the number of square matrices over ${\mathbb F}_q$ in a conjugacy class.


title: DREAM Architecture: a Developmental Approach to Open-Ended Learning in Robotics

abstract: Robots are still limited to controlled conditions, that the robot designer knows with enough details to endow the robot with the appropriate models or behaviors. Learning algorithms add some flexibility with the ability to discover the appropriate behavior given either some demonstrations or a reward to guide its exploration with a reinforcement learning algorithm. Reinforcement learning algorithms rely on the definition of state and action spaces that define reachable behaviors. Their adaptation capability critically depends on the representations of these spaces: small and discrete spaces result in fast learning while large and continuous spaces are challenging and either require a long training period or prevent the robot from converging to an appropriate behavior. Beside the operational cycle of policy execution and the learning cycle, which works at a slower time scale to acquire new policies, we introduce the redescription cycle, a third cycle working at an even slower time scale to generate or adapt the required representations to the robot, its environment and the task. We introduce the challenges raised by this cycle and we present DREAM (Deferred Restructuring of Experience in Autonomous Machines), a developmental cognitive architecture to bootstrap this redescription process stage by stage, build new state representations with appropriate motivations, and transfer the acquired knowledge across domains or tasks or even across robots. We describe results obtained so far with this approach and end up with a discussion of the questions it raises in Neuroscience.


title: Novelty Search makes Evolvability Inevitable

abstract: Evolvability is an important feature that impacts the ability of evolutionary processes to find interesting novel solutions and to deal with changing conditions of the problem to solve. The estimation of evolvability is not straightforward and is generally too expensive to be directly used as selective pressure in the evolutionary process. Indirectly promoting evolvability as a side effect of other easier and faster to compute selection pressures would thus be advantageous. In an unbounded behavior space, it has already been shown that evolvable individuals naturally appear and tend to be selected as they are more likely to invade empty behavior niches. Evolvability is thus a natural byproduct of the search in this context. However, practical agents and environments often impose limits on the reach-able behavior space. How do these boundaries impact evolvability? In this context, can evolvability still be promoted without explicitly rewarding it? We show that Novelty Search implicitly creates a pressure for high evolvability even in bounded behavior spaces, and explore the reasons for such a behavior. More precisely we show that, throughout the search, the dynamic evaluation of novelty rewards individuals which are very mobile in the behavior space, which in turn promotes evolvability.


title: An improved solution approach for the Budget constrained Fuel Treatment Scheduling problem

abstract: This paper considers the budget constrained fuel treatment scheduling (BFTS) problem where, in the context of wildfire mitigation, the goal is to inhibit the potential of fire spread in a landscape by proper fuel treatment activities. Given a time horizon represented by consecutive unit periods, the landscape is divided into cells and represented as a grid graph where each cell has a fuel age that increases over time and becomes old if no treatment is applied in the meantime: this induces a potential high fire risk whenever two contiguous cells are old. Cells fuel ages can be reset to zero under appropriate fuel treatments but there is a limited budget for treatment in each period. The problem calls for finding a suitable selection of cells to be treated so as to minimize the presence of old contiguous cells over the whole time horizon. We prove that problem BFTS is strongly NP-complete on paths and thus on grid graphs and show that no polynomial time approximation algorithm exists unless P = NP. We provide an enhanced integer linear programming formulation of the problem with respect to the relevant literature that shows up to be efficiently solved by an ILP solver on reasonably large size instances. Finally, we consider a harder periodic variant of the problem with the aim of finding a cyclic treatment plan with cycles of length T and propose a matheuristic approach capable of efficiently tackling those instances where an ILP solver applied to the ILP formulation runs into difficulties.


title: LIoTS: League of IoT Sovereignties. A Scalable approach for a Transparent Privacy-safe Federation of Secured IoT Platforms

abstract: Internet-of-Things has entered all the fields where data are produced and processed, resulting in a plethora of IoT platforms, typically cloud-based, centralizing data and services management. This has brought to many disjoint IoT silos. Significant efforts have been devoted to integration, recurrently resulting into bigger centralized infrastructures. Such an approach often stumbles upon the reluctance of IoT system owners to loose the dominion over data. We introduce a secured and privacy-safe infrastructure where a federation overlay is distributed among parties and the data control is kept locally. This establishes a league of peers each sovereign of their IoT system and data: League of IoT Sovereignties (LIoTS). LIoTS is scalable by design, allowing iterative formation of domains levels due to the transparency of its federation. Tests show that the overhead is minimal when exchanged data is hefty, and that LIoTS performs better in large IoT deployments than centralized approaches.


title: eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts

abstract: Ethereum has emerged as the most popular smart contract development platform, with hundreds of thousands of contracts stored on the blockchain and covering a variety of application scenarios, such as auctions, trading platforms, and so on. Given their financial nature, security vulnerabilities may lead to catastrophic consequences and, even worse, they can be hardly fixed as data stored on the blockchain, including the smart contract code itself, are immutable. An automated security analysis of these contracts is thus of utmost interest, but at the same time technically challenging for a variety of reasons, such as the specific transaction-oriented programming mechanisms, which feature a subtle semantics, and the fact that the blockchain data which the contract under analysis interacts with, including the code of callers and callees, are not statically known. In this work, we present eThor, the first sound and automated static analyzer for EVM bytecode, which is based on an abstraction of the EVM bytecode semantics based on Horn clauses. In particular, our static analysis supports reachability properties, which we show to be sufficient for capturing interesting security properties for smart contracts (e.g., single-entrancy) as well as contract-specific functional properties. Our analysis is proven sound against a complete semantics of EVM bytecode and an experimental large-scale evaluation on real-world contracts demonstrates that eThor is practical and outperforms the state-of-the-art static analyzers: specifically, eThor is the only one to provide soundness guarantees, terminates on 95% of a representative set of real-world contracts, and achieves an F-measure (which combines sensitivity and specificity) of 89%.


title: Gauge-Field-Induced Torsion and Cosmic Inflation

abstract: Inflation in the framework of Einstein-Cartan theory is revisited. Einstein-Cartan theory is a natural extension of the General Relativity, with non-vanishing torsion. The connection on Riemann-Cartan spacetime is only compatible with the cosmological principal for a particular form of torsion. We show this form to also be compatible with gauge invariance principle for a non-Abelian and Abelian gauge fields under a certain deviced minimal coupling procedure. We adopt an Abelian gauge field in the form of "cosmic triad". The dynamical field equations are obtained and shown to sustain cosmic inflation with a large number of e-folds. We emphasize that at the end of inflation, torsion vanishes and the theory of Einstein-Cartan reduces to the General Relativity with the usual FRW geometry.


title: Bath-induced collective phenomena on superconducting qubits: synchronization, subradiance, and entanglement generation

abstract: A common environment acting on a pair of qubits gives rise to a plethora of different phenomena, such as the generation of qubit-qubit entanglement, quantum synchronization and subradiance. Here we define time-independent figures of merit for entanglement generation, quantum synchronization and subradiance, and perform an extensive analytical and numerical study of their dependence on model parameters. We also address a recently proposed measure of the collectiveness of the dynamics driven by the bath, and find that it almost perfectly witnesses the behavior of entanglement generation. Our results show that synchronization and subradiance can be employed as reliable local signatures of an entangling common-bath in a general scenario. Finally, we propose an experimental implementation of the model based on two transmon qubits capacitively coupled to a common resistor, which provides a versatile quantum simulation platform of the open system in any regime.


title: Friezes, weak friezes, and T-paths

abstract: Frieze patterns form a nexus between algebra, combinatorics, and geometry. T-paths with respect to triangulations of surfaces have been used to obtain expansion formulae for cluster variables. This paper will introduce the concepts of weak friezes and T-paths with respect to dissections of polygons. Our main result is that weak friezes are characterised by satisfying an expansion formula which we call the T-path formula. We also show that weak friezes can be glued together, and that the resulting weak frieze is a frieze if and only if so was each of the weak friezes being glued.


title: Dynamics in Varying vacuum Finsler-Randers Cosmology

abstract: In the context of Finsler-Randers theory we consider, for a first time, the cosmological scenario of the varying vacuum. In particular, we assume the existence of a cosmological fluid source described by an ideal fluid and the varying vacuum terms. We determine the cosmological history of this model by performing a detailed study on the dynamics of the field equations. We determine the limit of General Relativity, while we find new eras in the cosmological history provided by the geometrodynamical terms provided by the Finsler-Randers theory.


title: Classification of scalar second-order differential equations with low-dimensional symmetry groups: The case of free action

abstract: Based on an original classification of differential equations by types of regular Lie group actions, we offer a systematic procedure for describing partial differential equations with prescribed symmetry groups. Using a new powerful algebraic technique based on the so-called covariant form of a differential equation, we give an effective algorithm for constructing differential equations whose symmetry groups regularly and freely act on the space of dependent and independent variables. As an application, we derive a complete classification of quasi-linear scalar second-order partial differential equations with regular free symmetry groups of dimension no greater than three.


title: The existence of random solutions to random optimization problems

abstract: In this paper we study random optimization problems where random functions are investigated in sample paths. Some sufficient conditions ensuring the existence of random solutions to random optimization problems are proposed.


title: Photoionising feedback in spiral arm molecular clouds

abstract: We present simulations of a 500 pc$^2$ region, containing gas of mass 4 $\times$ 10$^6$ M$_\odot$, extracted from an entire spiral galaxy simulation, scaled up in resolution, including photoionising feedback from stars of mass > 18 M$_\odot$. Our region is evolved for 10 Myr and shows clustered star formation along the arm generating $\approx$ 5000 cluster sink particles $\approx$ 5% of which contain at least one of the $\approx$ 4000 stars of mass > 18 M$_\odot$. Photoionisation has a noticeable effect on the gas in the region, producing ionised cavities and leading to dense features at the edge of the HII regions. Compared to the no-feedback case, photoionisation produces a larger total mass of clouds and clumps, with around twice as many such objects, which are individually smaller and more broken up. After this we see a rapid decrease in the total mass in clouds and the number of clouds. Unlike studies of isolated clouds, our simulations follow the long range effects of ionisation, with some already-dense gas becoming compressed from multiple sides by neighbouring HII regions. This causes star formation that is both accelerated and partially displaced throughout the spiral arm with up to 30% of our cluster sink particle mass forming at distances > 5 pc from sites of sink formation in the absence of feedback. At later times, the star formation rate decreases to below that of the no-feedback case.


title: There are level ternary circular square-free words of length $n$ for $n\ne 5,7,9,10,14,17.$

abstract: A word is level if each letter appears in it the same number of times, plus or minus 1. We give a complete characterization of the lengths for which level ternary circular square-free words exist. Key words: combinatorics on words, circular words, necklaces, square-free words, non-repetitive sequences


title: Renormalization group and scattering-equivalent Hamiltonians on a coarse momentum grid

abstract: We consider the $\pi\pi$-scattering problem in the context of the Kadyshevsky equation. In this scheme, we introduce a momentum grid and provide an isospectral definition of the phase-shift based on the spectral shift of a Chebyshev angle. We address the problem of the unnatural high momentum tails present in the fitted interactions which reaches energies far beyond the maximal center-of-mass energy of $\sqrt{s}=1.4$ GeV. It turns out that these tails can be integrated out by using a block-diagonal generator of the SRG.


title: Effect of peculiar velocities on the gravitational potential in cosmological models with perfect fluids

abstract: We consider a universe filled with perfect fluid with the constant equation of state parameter $\omega$. In the theory of scalar perturbations, we study the effect of peculiar velocities on the gravitational potential. For radiation with $\omega=1/3$, we obtain the expression for the gravitational potential in the integral form. Numerical calculation clearly demonstrates the modulation of the gravitational potential by acoustic oscillations due to the presence of peculiar velocities. We also show that peculiar velocities affect the gravitational potential in the case of the frustrated network of cosmic strings with $\omega =-1/3$.


title: The saturn ring effect in nematic liquid crystals with external field: effective energy and hysteresis

abstract: In this work we consider the Landau-de Gennes model for liquid crystals with an external electromagnetic field to model the occurrence of the saturn ring effect under the assumption of rotational equivariance. After a rescaling of the energy, a variational limit is derived. Our analysis relies on precise estimates around the singularities and the study of a radial auxiliary problem in regions, where a continuous director field exists. Studying the limit problem, we explain the transition between the dipole and saturn ring configuration and the occurrence of a hysteresis phenomenon, giving a rigorous explanation of what was conjectured previously by [H. Stark, Eur. Phys. J. B 10, 311-321 (1999)].


title: Classification of particle trajectories in living cells: machine learning versus statistical testing hypothesis for fractional anomalous diffusion

abstract: Single-particle tracking (SPT) has become a popular tool to study the intracellular transport of molecules in living cells. Inferring the character of their dynamics is important, because it determines the organization and functions of the cells. For this reason, one of the first steps in the analysis of SPT data is the identification of the diffusion type of the observed particles. The most popular method to identify the class of a trajectory is based on the mean square displacement (MSD). However, due to its known limitations, several other approaches have been already proposed. With the recent advances in algorithms and the developments of modern hardware, the classification attempts rooted in machine learning (ML) are of particular interest. In this work, we adopt two ML ensemble algorithms, i.e. random forest and gradient boosting, to the problem of trajectory classification. We present a new set of features used to transform the raw trajectories data into input vectors required by the classifiers. The resulting models are then applied to real data for G protein-coupled receptors and G proteins. The classification results are compared to recent statistical methods going beyond MSD.


title: Droplet deformation and breakup in shear flow of air

abstract: The deformation and breakup of droplets in air flows is important in many applications of spray and atomization processes. However, the shear effect of airflow has never been reported. In this study, the deformation and breakup of droplets in the shear flow of air is investigated experimentally using high-speed imaging, digital image processing, and particle image velocimetry. We identify a new breakup mode of droplets, i.e., the butterfly breakup, in which the strong aerodynamic pressure on the lower part of the droplet leads to the deflection of the droplet and then the formation of a butterfly-shaped bag. A regime map of the droplet breakup is produced, and the transitions between different modes are obtained based on scaling analysis. The elongation and the fragmentation of the droplet rim are analyzed, and the results show that they are significantly affected by the shear via the formation and the growth of nodes on the rim.


title: The Calculus Of Bivariate Fractal Interpolation Surfaces

abstract: In this article, we investigate partial integrals and partial derivatives of bivariate fractal interpolation functions. We prove also that the mixed Riemann-Liouville fractional integral and derivative of order $\gamma = (p, q); p > 0,q > 0$, of bivariate fractal interpolation functions are again bivariate interpolation functions corresponding to some iterated function system (IFS). Furthermore, we discuss the integral transforms and fractional order integral transforms of the bivariate fractal interpolation functions.


title: Algebraic construction of current operators in integrable spin chains

abstract: Generalized Hydrodynamics is a recent theory that describes the large scale transport properties of one dimensional integrable models. At the heart of this theory lies an exact quantum-classical correspondence, which states that the flows of the conserved quantities are essentially quasi-classical even in the interacting quantum many body models. We provide the algebraic background to this observation, by embedding the current operators of the integrable spin chains into the canonical framework of Yang-Baxter integrability. Our construction can be applied in a large variety of models including the XXZ spin chains, the Hubbard model, and even in models lacking particle conservation such as the XYZ chain. Regarding the XXZ chain we present a simplified proof of the recent exact results for the current mean values, and explain how their quasi-classical nature emerges from the exact computations.


title: Detecting and analyzing collusive entities on YouTube

abstract: In this work, we provide an in-depth analysis of collusive entities on YouTube fostered by various blackmarket services. Following this, we propose models to detect three types of collusive YouTube entities - videos seeking collusive likes, channels seeking collusive subscriptions, and videos seeking collusive comments. The third type of entity is associated with temporal information. To detect videos and channels for collusive likes and subscriptions respectively, we utilize one-class classifiers trained on our curated collusive entities and a set of novel features. The SVM-based model shows significant performance with a true positive rate of 0.911 and 0.910 for detecting collusive videos and collusive channels respectively. To detect videos seeking collusive comments, we propose CollATe, a novel end-to-end neural architecture that leverages time-series information of posted comments along with static metadata of videos. CollATe is composed of three components - metadata feature extractor (which derives metadata-based features from videos), anomaly feature extractor (which utilizes the comment time-series data to detect sudden changes in the commenting activity), and comment feature extractor (which utilizes the text of the comments posted during collusion and computes a similarity score between the comments). Extensive experiments show the effectiveness of CollATe (with a true positive rate of 0.905) over the baselines.


title: On the role of filaments in perpendicular heat transport at the Scrape-off Layer

abstract: In this work we carry out quantitative measurements of particle and heat transport associated to SOL filaments in a tokamak, and relate density shoulder formation to the advection of energy in the far SOL. For the first time, this attempt includes direct measurements of ion and electron temperatures for background and filaments. With this aim, we combine data from a number of equivalent L-mode discharges from the ASDEX Upgrade tokamak in which different probe heads were installed on the midplane manipulator. This approach is validated by a comparison with independent diagnostics. Results indicate an increase of heat transport associated to filaments after the shoulder formation. Several centimeters into the SOL, filaments are still found to carry a substantial fraction (up to one fifth) of the power ejected at the separatrix.


title: The 1995-2018 Global Evolution of the Network of Amicable and Hostile Relations Among Nation-States

abstract: We draw on the data collected by the Integrated Crisis Early Warning System on millions of international and regional public news stories, and this system's indicators of the orientation toward a specific nation-state. We construct the networks of international amicable and hostile relations among nation-states that occur in specific time-periods in order to study the global evolution of the network of such international appraisals. Our analysis presents evidence of an evolution of the structure of this network and a model of the probabilistic micro-dynamics of the alterations of international appraisals during the 1995-2018 span of the available data. Our research provides empirical findings on long-standing debates in the interdisciplinary field of work on Structural Balance Theory. Also remarkably, we find that the trajectory of the Frobenius norm of sequential transition probabilities, which govern the evolution of international appraisals among nations, dramatically stabilizes.


title: The CARMENES search for exoplanets around M dwarfs. The He I infrared triplet lines in PHOENIX models of M2-3 V stars

abstract: The He I infrared (IR) line at a vacuum wavelength of 10833 A is a diagnostic for the investigation of atmospheres of stars and planets orbiting them. For the first time, we study the behavior of the He I IR line in a set of chromospheric models for M-dwarf stars, whose much denser chromospheres may favor collisions for the level population over photoionization and recombination, which are believed to be dominant in solar-type stars. For this purpose, we use published PHOENIX models for stars of spectral types M2 V and M3 V and also compute new series of models with different levels of activity following an ansatz developed for the case of the Sun. We perform a detailed analysis of the behavior of the He I IR line within these models. We evaluate the line in relation to other chromospheric lines and also the influence of the extreme ultraviolet (EUV) radiation field. The analysis of the He I IR line strengths as a function of the respective EUV radiation field strengths suggests that the mechanism of photoionization and recombination is necessary to form the line for inactive models, while collisions start to play a role in our most active models. Moreover, the published model set, which is optimized in the ranges of the Na I D2, H$\alpha$, and the bluest Ca II IR triplet line, gives an adequate prediction of the He I IR line for most stars of the stellar sample. Because especially the most inactive stars with weak He I IR lines are fit worst by our models, it seems that our assumption of a 100% filling factor of a single inactive component no longer holds for these stars.


title: Explainable Reinforcement Learning: A Survey

abstract: Explainable Artificial Intelligence (XAI), i.e., the development of more transparent and interpretable AI models, has gained increased traction over the last few years. This is due to the fact that, in conjunction with their growth into powerful and ubiquitous tools, AI models exhibit one detrimential characteristic: a performance-transparency trade-off. This describes the fact that the more complex a model's inner workings, the less clear it is how its predictions or decisions were achieved. But, especially considering Machine Learning (ML) methods like Reinforcement Learning (RL) where the system learns autonomously, the necessity to understand the underlying reasoning for their decisions becomes apparent. Since, to the best of our knowledge, there exists no single work offering an overview of Explainable Reinforcement Learning (XRL) methods, this survey attempts to address this gap. We give a short summary of the problem, a definition of important terms, and offer a classification and assessment of current XRL methods. We found that a) the majority of XRL methods function by mimicking and simplifying a complex model instead of designing an inherently simple one, and b) XRL (and XAI) methods often neglect to consider the human side of the equation, not taking into account research from related fields like psychology or philosophy. Thus, an interdisciplinary effort is needed to adapt the generated explanations to a (non-expert) human user in order to effectively progress in the field of XRL and XAI in general.


title: Informed recruitment or the importance of taking stock

abstract: One important decision, especially for long-lived species, is where and when to start reproduction, i.e. where and when to recruit. For an informed decision on recruitment, individuals may prospect potential breeding sites and gather information on the future breeding site, hence reducing uncertainty. Recruitment may also be delayed or advanced over a range of sexually mature ages and this individual decision may influence survival costs of first reproduction, senescence patterns and ultimately lifetime reproductive success. Here we show that recruitment in the long-lived Audouin's gull is mostly informed, meaning that mainly occurs when the individual has visited the colony before. Individuals recruiting without gathering information were all young first-time breeders. Interestingly, these recruits were affected by demographic carry-over effects: first, they were much less prone to reproduce in subsequent seasons than individuals that performed informed recruitment. More strikingly, uninformed recruitment also affected survival, which was much lower for those individuals breeding without gathering information on the breeding site. This study suggests that taking stock before recruitment may be crucial for reducing environmental uncertainty and for maximising individual fitness prospects.


title: Machine Reading Comprehension: The Role of Contextualized Language Models and Beyond

abstract: Machine reading comprehension (MRC) aims to teach machines to read and comprehend human languages, which is a long-standing goal of natural language processing (NLP). With the burst of deep neural networks and the evolution of contextualized language models (CLMs), the research of MRC has experienced two significant breakthroughs. MRC and CLM, as a phenomenon, have a great impact on the NLP community. In this survey, we provide a comprehensive and comparative review on MRC covering overall research topics about 1) the origin and development of MRC and CLM, with a particular focus on the role of CLMs; 2) the impact of MRC and CLM to the NLP community; 3) the definition, datasets, and evaluation of MRC; 4) general MRC architecture and technical methods in the view of two-stage Encoder-Decoder solving architecture from the insights of the cognitive process of humans; 5) previous highlights, emerging topics, and our empirical analysis, among which we especially focus on what works in different periods of MRC researches. We propose a full-view categorization and new taxonomies on these topics. The primary views we have arrived at are that 1) MRC boosts the progress from language processing to understanding; 2) the rapid improvement of MRC systems greatly benefits from the development of CLMs; 3) the theme of MRC is gradually moving from shallow text matching to cognitive reasoning.


title: Recent progress towards a quantitative description of filamentary SOL transport

abstract: A summary of recent results on filamentary transport, mostly obtained in the ASDEX-Upgrade tokamak (AUG), is presented and discussed in an attempt to produce a coherent picture of SOL filamentary transport: A clear correlation is found between L-mode density shoulder formation in the outer midplane and a transition between the sheath limited and the inertial filamentary regimes. Divertor collisionality is found to be the parameter triggering the transition. A clear reduction of the ion temperature takes place in the far SOL after the transition, both for the background and the filaments. This coincides with a strong variation of the ion temperature distribution, which deviates from Gaussianity and becomes dominated by a strong peak below $5$ eV. The filament transition mechanism triggered by a critical value of collisionality seems to be generally applicable to inter-ELM H-mode plasmas, although a secondary threshold related to deuterium fueling is observed. EMC3-EIRENE simulations of neutral dynamics show that an ionization front near the main chamber wall is formed after the shoulder formation. Finally, a clear increase of SOL opacity to neutrals is observed associated to the shoulder formation. A common SOL transport framework is proposed account for all these results, and their potential implications for future generation devices are discussed.


title: Mitigating Gender Bias Amplification in Distribution by Posterior Regularization

abstract: Advanced machine learning techniques have boosted the performance of natural language processing. Nevertheless, recent studies, e.g., Zhao et al. (2017) show that these techniques inadvertently capture the societal bias hidden in the corpus and further amplify it. However, their analysis is conducted only on models' top predictions. In this paper, we investigate the gender bias amplification issue from the distribution perspective and demonstrate that the bias is amplified in the view of predicted probability distribution over labels. We further propose a bias mitigation approach based on posterior regularization. With little performance loss, our method can almost remove the bias amplification in the distribution. Our study sheds the light on understanding the bias amplification.


title: Dynamic Ventilatory circuit divider: Safer way to multiply the number of available ventilators

abstract: Background: Recent pandemic has brought a sudden surge in the requirement of mechanical ventilators all over the world. In this backdrop, there is wide interest in looking for ways to support multiple patients from a single ventilator. Various solutions, based upon simple mechanical division of the ventilator tubings are described. However, recently warnings have been issued by multiple international professional societies against these plumbing solutions as it can seriously harm the patients. Methods: We have bifurcated the inspiratory and expiratory conduits from a single ventilator with addition of one way valves, pressure and flow sensors along with volume and PEEP control. A purpose-built software and a low-cost microcontroller based control system integrates and displays the data in the familiar ventilatory graphic and numerical format onto a generic screen. The system is calibrated with simulated lungs with varying compliance. In addition to the standard microbial, heat and moisture exchanger filters we design to add UV-C lights at 254-260 nanometre wavelength in the expiratory channel for its virucidal effect. Results: The dynamic ventilatory divider system is capable of providing and controlling individual flow, tidal volume (TV) and Positive End-expiratory pressure (PEEP) for individual patients. Furthermore, it would also display the ventilatory parameters of both the patients, on a single split screen, in a familiar format. FiO2 and rate are still controlled by the mother ventilator. Conclusions: The prototype system has a potential to provide safe ventilation to at least two individuals from a single ventilator, while maintaining the unique requirements of each patient.


title: Universal central extensions of linear groups over rings of non-commutative Laurent polynomials, associated $K_1$-groups and $K_2$-groups

abstract: We prove that linear groups over rings of non-commutative Laurent polynomials $D_{\tau}$ have Tits systems with the corresponding affine Weyl groups and have universal central extensions if $|Z(D)|\geq 5$ and $|Z(D)|\neq 9$. We also determine structures of $K_1$-groups and identify generators of $K_2$-groups.


title: Open and closed complexity of infinite words

abstract: In this paper we study the asymptotic behaviour of two relatively new complexity functions defined on infinite words and their relationship to periodicity. Given a factor $u$ of an infinite word $x$, we say $u$ is closed if it is a letter or if it is a complete first return to some factor $v$ of $x$; otherwise $u$ is said to be open. We show that for an aperiodic word $x$ over a finite alphabet, the complexity functions that count the number of closed and the number of open factors of $x$ of each given length are both unbounded. More precisely, we show that if $x$ is aperiodic then the limit inferior of the function of open complexity is infinite, and the limit superior of the function of closed complexity is infinite on any syndetic subset of positive integers. On the other hand, there exist aperiodic words for which limit inferior of the closed complexity function is finite.


title: Detecting an Odd Restless Markov Arm with a Trembling Hand

abstract: In this paper, we consider a multi-armed bandit in which each arm is a Markov process evolving on a finite state space. The state space is common across the arms, and the arms are independent of each other. The transition probability matrix of one of the arms (the odd arm) is different from the common transition probability matrix of all the other arms. A decision maker, who knows these transition probability matrices, wishes to identify the odd arm as quickly as possible, while keeping the probability of decision error small. To do so, the decision maker collects observations from the arms by pulling the arms in a sequential manner, one at each discrete time instant. However, the decision maker has a trembling hand, and the arm that is actually pulled at any given time differs, with a small probability, from the one he intended to pull. The observation at any given time is the arm that is actually pulled and its current state. The Markov processes of the unobserved arms continue to evolve. This makes the arms restless. For the above setting, we derive the first known asymptotic lower bound on the expected time required to identify the odd arm, where the asymptotics is of vanishing error probability. The continued evolution of each arm adds a new dimension to the problem, leading to a family of Markov decision problems (MDPs) on a countable state space. We then stitch together certain parameterised solutions to these MDPs and obtain a sequence of strategies whose expected times to identify the odd arm come arbitrarily close to the lower bound in the regime of vanishing error probability. Prior works dealt with independent and identically distributed (across time) arms and rested Markov arms, whereas our work deals with restless Markov arms.


title: A Data-Driven Technique Using Millisecond Transients to Measure the Milky Way Halo

abstract: We introduce a new technique to constrain the line-of-sight integrated electron density of our Galactic halo $\text{DM}_\text{MW,halo}$ through analysis of the observed dispersion measure distributions of pulsars $\text{DM}_\text{pulsar}$ and fast radio bursts $\text{DM}_\text{FRB}$. We model these distributions, correcting for the Galactic interstellar medium, with kernel density estimation---well-suited to the small data regime---to find lower/upper bounds to the corrected $\text{DM}_\text{pulsar}$/$\text{DM}_\text{FRB}$ distributions: $\max[\text{DM}_\text{pulsar}] \approx 7\pm2 \text{ (stat)} \pm 9 \text{ (sys) pc cm}^{-3}$ and $\min[\text{DM}_\text{FRB}] \approx 63^{+27}_{-21} \text{ (stat)} \pm 9 \text{ (sys) pc cm}^{-3}$. Using bootstrap resampling to estimate uncertainties, we set conservative limits on the Galactic halo dispersion measure $-2 < \text{DM}_\text{MW,halo} < 123 \text{pc cm}^{-3}$ (95\% c.l.). The upper limit is especially conservative because it may include a non-negligible contribution from the FRB host galaxies and a non-zero contribution from the cosmic web. It strongly disfavors models where the Galaxy has retained the majority of its baryons with a density profile tracking the presumed dark matter density profile. Last, we perform Monte Carlo simulations of larger FRB samples to validate our technique and assess the sensitivity of ongoing and future surveys. We recover bounds of several tens $\text{pc cm}^{-3}$ which may be sufficient to test whether the Galaxy has retained a majority of its baryonic mass. We estimate that a sample of several thousand FRBs will significantly tighten constraints on $\text{DM}_\text{MW,halo}$ and offer a valuable complement to other analyses.


title: Tensor product categorifications, Verma modules and the blob 2-category

abstract: We construct a dg-enhancement of KLRW algebras that categorifies the tensor product of a universal $\mathfrak{sl}_2$ Verma module and several integrable irreducible modules. When the integrable modules are two-dimensional, we construct a categorical action of the blob algebra on derived categories of these dg-algebras which intertwines the categorical action of $\mathfrak{sl}_2$. From the above we derive a categorification of the blob algebra.


title: Second extra differential on odd graph complexes

abstract: A suitable extra differential on graph complexes can lead to a pairing of its cohomological classes. Many such extra differentials are known for various graph complexes, including Kontsevich's graph complex $GC_n$ for odd $n$. In this paper we introduce another extra differential on the same graph complex, leading to another way of pairing of its cohomological classes. Two ways of pairing lead to even further understanding of graph cohomology through "waterfall mechanism".


title: MeSH descriptors indicate the knowledge growth in the SARS-CoV-2/COVID-19 pandemic

abstract: The scientific papers dealing with the novel betacoronavirus SARS-CoV-2 and the coronavirus disease 2019 (COVID-19) caused by this virus, published in 2020 and recorded in the database PUBMED, were retrieved on April 27, 2020. About 20\% of the records contain Medical Subject Headings (MeSH), keywords assigned to records in the course of the indexing process in order to summarise the articles' contents. The temporal sequence of the first occurrences of the keywords was determined, thus giving insight into the growth of the knowledge base of the pandemic.


title: u-RANIA: a neutron detector based on \mu -RWELL technology

abstract: In the framework of the ATTRACT-uRANIA project, funded by the European Community, we are developing an innovative neutron imaging detector based on micro-Resistive WELL ($\mu$ -RWELL) technology. The $\mu$ -RWELL, based on the resistive detector concept, ensuring an efficient spark quenching mechanism, is a highly reliable device. It is composed by two main elements: a readout-PCB and a cathode. The amplification stage for this device is embedded in the readout board through a resistive layer realized by means of an industrial process with DLC (Diamond-Like Carbon). A thin layer of B$_4$C on the copper surface of the cathode allows the thermal neutrons detection through the release of $^7$Li and $\alpha$ particles in the active volume. This technology has been developed to be an efficient and convenient alternative to the $^3$He shortage. The goal of the project is to prove the feasibility of such a novel neutron detector by developing and testing small planar prototypes with readout boards suitably segmented with strip or pad read out, equipped with existing electronics or readout in current mode. Preliminary results from the test with different prototypes, showing a good agreement with the simulation, will be presented together with construction details of the prototypes and the future steps of the project.


title: Digital Social Contracts: A Foundation for an Egalitarian and Just Digital Society

abstract: Almost two centuries ago Pierre-Joseph Proudhon proposed social contracts -- voluntary agreements among free people -- as a foundation from which an egalitarian and just society can emerge. A \emph{digital social contract} is the novel incarnation of this concept for the digital age: a voluntary agreement between people that is specified, undertaken, and fulfilled in the digital realm. It embodies the notion of "code-is-law" in its purest form, in that a digital social contract is in fact a program -- code in a social contracts programming language, which specifies the digital actions parties to the social contract may take; and the parties to the contract are entrusted, equally, with the task of ensuring that each party abides by the contract. Parties to a social contract are identified via their public keys, and the one and only type of action a party to a digital social contract may take is a "digital speech act" -- signing an utterance with her private key and sending it to the other parties to the contract. Here, we present a formal definition of a digital social contract as agents that communicate asynchronously via crypto-speech acts, where the output of each agent is the input of all the other agents. We outline an abstract design for a social contracts programming language and show, via programming examples, that key application areas, including social community; simple sharing-economy applications; egalitarian currency networks; and democratic community governance, can all be expressed elegantly and efficiently as digital social contracts.


title: Pose Proposal Critic: Robust Pose Refinement by Learning Reprojection Errors

abstract: In recent years, considerable progress has been made for the task of rigid object pose estimation from a single RGB-image, but achieving robustness to partial occlusions remains a challenging problem. Pose refinement via rendering has shown promise in order to achieve improved results, in particular, when data is scarce. In this paper we focus our attention on pose refinement, and show how to push the state-of-the-art further in the case of partial occlusions. The proposed pose refinement method leverages on a simplified learning task, where a CNN is trained to estimate the reprojection error between an observed and a rendered image. We experiment by training on purely synthetic data as well as a mixture of synthetic and real data. Current state-of-the-art results are outperformed for two out of three metrics on the Occlusion LINEMOD benchmark, while performing on-par for the final metric.


title: The effect of wall slip on the dewetting of ultrathin films on solid substrates: Linear instability and second-order lubrication theory

abstract: The influence of wall slip on the instability of a non-wetting liquid film placed on a solid substrate is analyzed in the limit of negligible inertia. In particular, we focus on the stability properties of the film, comparing the performance of the three lubrication models available in the literature, namely the weak, intermediate and strong slip models, with the Stokes equations. Since none of the aforementioned leading-order lubrication models is shown to be able to predict the growth rate of perturbations for the whole range of slipping lengths, we develop a parabolic model able to accurately predict the linear dynamics of the film for arbitrary slip lengths.