title: The relative f-invariant and non-uniform random sofic approximations

abstract: The $f$-invariant is an isomorphism invariant of free-group measure-preserving actions introduced by Lewis Bowen in [arXiv:0802.4294], where it was used to show that two finite-entropy Bernoulli shifts over a finitely generated free group can be isomorphic only if their base measures have the same Shannon entropy. In [arXiv:0902.0174] Bowen showed that the $f$-invariant is a variant of sofic entropy; in particular it is the exponential growth rate of the expected number of good models over a uniform random homomorphism. In this paper we present an analogous formula for the relative $f$-invariant and use it to prove a formula for the exponential growth rate of the expected number of good models over a random sofic approximation which is a type of stochastic block model.


title: Consistent inflationary cosmology from quadratic gravity with dynamical torsion

abstract: The idea of gauge theories of gravity predicts that there should exist not only the massless graviton but also massive particles carrying the gravitational force. We study the cosmology in a quadratic gravity with dynamical torsion where gravity may be interpreted as a gauge force associated with the Poincar\'{e} group. In addition to the massless spin-2 graviton, the model contains four non-ghost massive particle species: a couple of spin-0, a spin-1 and a spin-2. Supposing the restoration of the local Weyl invariance in the UV limit and the parity invariance, we find the most general minisuperspace action describing a homogeneous and isotropic universe with a flat spatial geometry. We then transform the minisuperspace action to a quasi-Einstein frame in which the field space is a hyperboloid and the field potential is a combination of those of a Starobinsky-like inflation and a natural inflation. Remarkably, thanks to the multi-field dynamics, the Starobinsky-like inflationary trajectory can be realized even if the initial condition is away from the top of the Starobinsky-like potential. We also study linear tensor perturbations and find qualitatively different features than the Starobinsky inflation, spontaneous parity violation and mixing of the massless and massive spin-2 modes, which might reveal the underlying nature of gravity through inflationary observables.


title: Long time dynamics for defocusing cubic NLS on three dimensional product space

abstract: In this article, we study long time dynamics for defocusing cubic NLS on three dimensional product space. First, we apply the decoupling method in Bourgain-Demeter \cite{BD} to establish a bilinear Strichartz estimate. Moreover, we prove global well-posedness for defocusing, cubic NLS on three dimensional product space with rough initial data ($H^s$, $s>\frac{5}{6}$) based on I-method and the bilinear estimate. At last, we discuss the growth of higher Sobolev norm problem which is tightly linked to the weak turbulence phenomenon.


title: Two-cover descent on plane quartics with rational bitangents

abstract: We implement two-cover descent for plane quartics over Q with all 28 bitangents rational and show that on a significant collection of test cases, it resolves the existence of rational points. We also review a classical description of the relevant moduli space and use it to generate examples. We observe that local obstructions are quite rare for such curves, and only seem to occur in practice at primes of good reduction. In particular, having good reduction at 11 implies having no rational points. We also gather numerical data on two-Selmer ranks of Jacobians of these curves, which suggests that these often have non-trivial Tate-Shafarevich groups. We implement two-cover descent for plane quartics over Q with all 28 bitangents rational and show that on a significant collection of test cases, it resolves the existence of rational points. We also review a classical description of the relevant moduli space and use it to generate examples. We observe that local obstructions are quite rare for such curves and only seem to occur in practice at primes of good reduction. In particular, having good reduction at 11 implies having no rational points. We also gather numerical data on two-Selmer ranks of Jacobians of these curves, providing evidence these behave differently from those of general abelian varieties due to the frequent presence of an everywhere locally trivial torsor.


title: MVP: Unified Motion and Visual Self-Supervised Learning for Large-Scale Robotic Navigation

abstract: Autonomous navigation emerges from both motion and local visual perception in real-world environments. However, most successful robotic motion estimation methods (e.g. VO, SLAM, SfM) and vision systems (e.g. CNN, visual place recognition-VPR) are often separately used for mapping and localization tasks. Conversely, recent reinforcement learning (RL) based methods for visual navigation rely on the quality of GPS data reception, which may not be reliable when directly using it as ground truth across multiple, month-spaced traversals in large environments. In this paper, we propose a novel motion and visual perception approach, dubbed MVP, that unifies these two sensor modalities for large-scale, target-driven navigation tasks. Our MVP-based method can learn faster, and is more accurate and robust to both extreme environmental changes and poor GPS data than corresponding vision-only navigation methods. MVP temporally incorporates compact image representations, obtained using VPR, with optimized motion estimation data, including but not limited to those from VO or optimized radar odometry (RO), to efficiently learn self-supervised navigation policies via RL. We evaluate our method on two large real-world datasets, Oxford Robotcar and Nordland Railway, over a range of weather (e.g. overcast, night, snow, sun, rain, clouds) and seasonal (e.g. winter, spring, fall, summer) conditions using the new CityLearn framework; an interactive environment for efficiently training navigation agents. Our experimental results, on traversals of the Oxford RobotCar dataset with no GPS data, show that MVP can achieve 53% and 93% navigation success rate using VO and RO, respectively, compared to 7% for a vision-only method. We additionally report a trade-off between the RL success rate and the motion estimation precision.


title: Improved Gilbert-Varshamov Bound for Entanglement-Assisted Asymmetric Quantum Error Correction by Symplectic Orthogonality

abstract: We propose and prove an existential theorem for entanglement-assisted asymmetric quantum error correction. Then we demonstrate its superiority over the conventional one.


title: Hardness of Sparse Sets and Minimal Circuit Size Problem

abstract: We develop a polynomial method on finite fields to amplify the hardness of spare sets in nondeterministic time complexity classes on a randomized streaming model. One of our results shows that if there exists a $2^{n^{o(1)}}$-sparse set in $NTIME(2^{n^{o(1)}})$ that does not have any randomized streaming algorithm with $n^{o(1)}$ updating time, and $n^{o(1)}$ space, then $NEXP\not=BPP$, where a $f(n)$-sparse set is a language that has at most $f(n)$ strings of length $n$. We also show that if MCSP is $ZPP$-hard under polynomial time truth-table reductions, then $EXP\not=ZPP$.


title: Evolution of MU69 from a binary planetesimal into contact by Kozai-Lidov oscillations and nebular drag

abstract: The New Horizons flyby of the cold classical Kuiper Belt object MU69 showed it to be a contact binary. The existence of other contact binaries in the 1-10km range raises the question of how common these bodies are and how they evolved into contact. Here we consider that the lobes of MU69 formed as a binary in the Solar nebula, and calculate its orbital evolution in the presence of gas. We find that the sub-Keplerian wind of the disk brings the drag timescales for 10km bodies under 1 Myr for quadratic-velocity drag. In the Kuiper belt, however, the drag is linear with velocity and the effect of the wind cancels out as the angular momentum gained in half an orbit is lost in the other half: the drag timescales for 10 km bodies remain over 10 Myr. In this situation we find that a combination of drag and Kozai-Lidov oscillations is a promising channel for collapse. We analytically solve the hierarchical three-body problem with drag and implement it into a Kozai plus tidal friction model. The permanent quadrupoles of the lobes make the Kozai oscillations stochastic, and as drag shrinks the semimajor axis it more easily allows the fluctuations to bring the system into contact. Evolution to contact happens very rapidly (within $10^4$ yr) in the pure, double-average quadrupole, Kozai region between $\approx 85-95^\circ$, and within 3 Myr in the drag-assisted region beyond it. The synergy between $J_2$ and gas drag widens the window of contact to 80-100$^\circ$ initial inclination, over a larger range of semimajor axes. As such, the model predicts an initial contact binary fraction of about 10\% for the cold classicals in the Kuiper belt. The speed at contact deviates from the escape velocity only because of the oblateness. For MU69, the contact velocity should be 3.3-4.2 m/s, in line with the observational evidence from the lack of deformation features and estimate of the tensile strength.


title: AutoPhase: Juggling HLS Phase Orderings in Random Forests with Deep Reinforcement Learning

abstract: The performance of the code a compiler generates depends on the order in which it applies the optimization passes. Choosing a good order--often referred to as the phase-ordering problem, is an NP-hard problem. As a result, existing solutions rely on a variety of heuristics. In this paper, we evaluate a new technique to address the phase-ordering problem: deep reinforcement learning. To this end, we implement AutoPhase: a framework that takes a program and uses deep reinforcement learning to find a sequence of compilation passes that minimizes its execution time. Without loss of generality, we construct this framework in the context of the LLVM compiler toolchain and target high-level synthesis programs. We use random forests to quantify the correlation between the effectiveness of a given pass and the program's features. This helps us reduce the search space by avoiding phase orderings that are unlikely to improve the performance of a given program. We compare the performance of AutoPhase to state-of-the-art algorithms that address the phase-ordering problem. In our evaluation, we show that AutoPhase improves circuit performance by 28% when compared to using the -O3 compiler flag, and achieves competitive results compared to the state-of-the-art solutions, while requiring fewer samples. Furthermore, unlike existing state-of-the-art solutions, our deep reinforcement learning solution shows promising result in generalizing to real benchmarks and 12,874 different randomly generated programs, after training on a hundred randomly generated programs.


title: Ultra-sensitive nanometric flat pigment for binocular stereoscopic image

abstract: Two-dimensional (2D) transition metal dichalcogenides (TMDs) with tantalizing layer-dependent electronic and optical properties have emerged as a new paradigm for integrated flat opto-electronic devices. However, daunting challenges remain in deterministic fabrication of TMD layers with demanded shapes and thicknesses as well as light field manipulation in such atomic-thick layers with vanishingly small thicknesses compared to the wavelength. Here, we demonstrate ultra-sensitive light field manipulation in full visible ranges based on laser exfoliating MoS2 layers with nanometric precisions. The nontrivial interfacial phase shifts stemming from the unique dispersion of MoS2 layers integrated on the metallic substrate empower an ultra-sensitive resonance manipulation up to 12.8 nm per MoS2 layer across the entire visible bands, which is more than five times larger than their counterparts. The interlayer van der Waals interactions endow a laser exfoliation method for on-demand patterning MoS2 with atomic thickness precisions and subwavelength feature sizes in a facile and lithography-free fashion. With this, nanometric flat color prints and further binocular stereoscopic views by multi-perspective diffractive images can be realized. Our results with demonstrated practicality unlock full potentials and pave the way for widespread applications of emerging 2D flat optics.


title: Collapsing Calabi-Yau manifolds

abstract: We survey some recent developments on the problem of understanding degenerations of Calabi-Yau manifolds equipped with their Ricci-flat Kahler metrics, with an emphasis on the case when the metrics are volume collapsing.


title: Style Example-Guided Text Generation using Generative Adversarial Transformers

abstract: We introduce a language generative model framework for generating a styled paragraph based on a context sentence and a style reference example. The framework consists of a style encoder and a texts decoder. The style encoder extracts a style code from the reference example, and the text decoder generates texts based on the style code and the context. We propose a novel objective function to train our framework. We also investigate different network design choices. We conduct extensive experimental validation with comparison to strong baselines to validate the effectiveness of the proposed framework using a newly collected dataset with diverse text styles. Both code and dataset will be released upon publication.


title: Safe Speed Control and Collision Probability Estimation Under Ego-Pose Uncertainty for Autonomous Vehicle

abstract: In order for autonomous vehicles to become a part of the Intelligent Transportation Ecosystem, they are required to guarantee a particular level of safety. For that to happen a safe vehicle control algorithms need to be developed, which include assessing the probability of a collision while driving along a given trajectory and selecting control signals that minimize this probability. In this paper, we propose a speed control system that estimates a collision probability taking into account static and dynamic obstacles as well as ego-pose uncertainty and chooses the maximum safe speed. For that, the planned trajectory is converted by the control system into control signals that form input for the dynamic vehicle model. The model predicts a real vehicle path. The predicted trajectory is generated for each particle -- a weighted by a probability hypothesis of the localization system about the vehicle pose. Based on the predicted particles' trajectories, the probability of collision is calculated, and a decision is made on the maximum safe speed. The proposed algorithm was validated on the real autonomous vehicle. The experimental results demonstrate that the proposed speed control system reduces the vehicle speed to a safe value when performing maneuvers and driving through narrow openings. Therefore the observed behavior of the system is mimicking a human driver behavior when driving in difficult and ambiguous traffic situations.


title: Design and Implementation of A Novel Precision Irrigation Robot Based on An Intelligent Path Planning Algorithm

abstract: The agricultural irrigation system is closely related to agricultural production. There are some problems in nowadays agricultural irrigation system, such as poor mobility, imprecision and high price. To address these issues, an intelligent irrigation robot is designed and implemented in this work. The robot achieves precise irrigation by the irrigation path planning algorithm which is improved by Bayesian theory. In the proposed algorithm, we utilize as much information as possible to achieve full coverage irrigation in the complex agricultural environment. Besides, we propose the maximum risk to avoid the problem of lack of inspection in certain areas. Finally, We carried out simulation experiments and field experiments to verify the robot and the algorithm. The experimental results indicate that the robot is capable of fulfilling the requirements of various agricultural irrigation tasks.


title: Tropical Support Vector Machine and its Applications to Phylogenomics

abstract: Most data in genome-wide phylogenetic analysis (phylogenomics) is essentially multidimensional, posing a major challenge to human comprehension and computational analysis. Also, we can not directly apply statistical learning models in data science to a set of phylogenetic trees since the space of phylogenetic trees is not Euclidean. In fact, the space of phylogenetic trees is a tropical Grassmannian in terms of max-plus algebra. Therefore, to classify multi-locus data sets for phylogenetic analysis, we propose tropical support vector machines (SVMs). Like classical SVMs, a tropical SVM is a discriminative classifier defined by the tropical hyperplane which maximizes the minimum tropical distance from data points to itself in order to separate these data points into sectors (half-spaces) in the tropical projective torus. Both hard margin tropical SVMs and soft margin tropical SVMs can be formulated as linear programming problems. We focus on classifying two categories of data, and we study a simpler case by assuming the data points from the same category ideally stay in the same sector of a tropical separating hyperplane. For hard margin tropical SVMs, we prove the necessary and sufficient conditions for two categories of data points to be separated, and we show an explicit formula for the optimal value of the feasible linear programming problem. For soft margin tropical SVMs, we develop novel methods to compute an optimal tropical separating hyperplane. Computational experiments show our methods work well. We end this paper with open problems.


title: SketchGNN: Semantic Sketch Segmentation with Graph Neural Networks

abstract: We introduce SketchGNN, a convolutional graph neural network for semantic segmentation and labeling of freehand vector sketches. We treat an input stroke-based sketch as a graph, with nodes representing the sampled points along input strokes and edges encoding the stroke structure information. To predict the per-node labels, our SketchGNN uses graph convolution and a static-dynamic branching network architecture to extract the features at three levels, i.e., point-level, stroke-level, and sketch-level. SketchGNN significantly improves the accuracy of the state-of-the-art methods for semantic sketch segmentation (by 11.2% in the pixel-based metric and 18.2% in the component-based metric over a large-scale challenging SPG dataset) and has magnitudes fewer parameters than both image-based and sequence-based methods.


title: On Uniqueness for Schr\"odinger maps with low regularity large data

abstract: We prove that the solutions to the initial-value problem for 2-dimensional Schr\"odinger maps are unique in $C_tL_x^{\infty} \cap L_t^{\infty} (\dot{H}^1_x\cap \dot{H}^2_x)$. For the proof, we follow McGahagan's argument with improving its technical part, combining Yudovich's argument.


title: Graph3S: A Simple, Speedy and Scalable Distributed Graph Processing System

abstract: Graph is a ubiquitous structure in many domains. The rapidly increasing data volume calls for efficient and scalable graph data processing. In recent years, designing distributed graph processing systems has been an increasingly important area to fulfil the demands of processing big graphs in a distributed environment. Though a variety of distributed graph processing systems have been developed, very little attention has been paid to achieving a good combinational system performance in terms of usage simplicity, efficiency and scalability. To contribute to the study of distributed graph processing system, this work tries to fill this gap by designing a simple, speedy and scalable system. Our observation is that enforcing the communication flexibility of a system leads to the gains of both system efficiency and scalability as well as simple usage. We realize our idea in a system Graph3S and conduct extensive experiments with diverse algorithms over big graphs from different domains to test its performance. The results show that, besides simple usage, our system has outstanding performance over various graph algorithms and can even reach up to two orders of magnitude speedup over existing in-memory systems when applying to some algorithms. Also, its scalability is competitive to disk-based systems and even better when less machines are used.


title: Fixed points for group actions on 2-dimensional affine buildings

abstract: We prove a local-to-global result for fixed points of groups acting on affine buildings (possibly non-discrete) of types $\tilde{A}_2$ or $\tilde{C}_2$. In the discrete case, our theorem establishes the corresponding special cases of a conjecture by Marquis.


title: Hybrid Deep Learning for Detecting Lung Diseases from X-ray Images

abstract: Lung disease is common throughout the world. These include chronic obstructive pulmonary disease, pneumonia, asthma, tuberculosis, fibrosis, etc. Timely diagnosis of lung disease is essential. Many image processing and machine learning models have been developed for this purpose. Different forms of existing deep learning techniques including convolutional neural network (CNN), vanilla neural network, visual geometry group based neural network (VGG), and capsule network are applied for lung disease prediction.The basic CNN has poor performance for rotated, tilted, or other abnormal image orientation. Therefore, we propose a new hybrid deep learning framework by combining VGG, data augmentation and spatial transformer network (STN) with CNN. This new hybrid method is termed here as VGG Data STN with CNN (VDSNet). As implementation tools, Jupyter Notebook, Tensorflow, and Keras are used. The new model is applied to NIH chest X-ray image dataset collected from Kaggle repository. Full and sample versions of the dataset are considered. For both full and sample datasets, VDSNet outperforms existing methods in terms of a number of metrics including precision, recall, F0.5 score and validation accuracy. For the case of full dataset, VDSNet exhibits a validation accuracy of 73%, while vanilla gray, vanilla RGB, hybrid CNN and VGG, and modified capsule network have accuracy values of 67.8%, 69%, 69.5%, 60.5% and 63.8%, respectively. When sample dataset rather than full dataset is used, VDSNet requires much lower training time at the expense of a slightly lower validation accuracy. Hence, the proposed VDSNet framework will simplify the detection of lung disease for experts as well as for doctors.


title: Detection and Mitigation of Bias in Ted Talk Ratings

abstract: Unbiased data collection is essential to guaranteeing fairness in artificial intelligence models. Implicit bias, a form of behavioral conditioning that leads us to attribute predetermined characteristics to members of certain groups and informs the data collection process. This paper quantifies implicit bias in viewer ratings of TEDTalks, a diverse social platform assessing social and professional performance, in order to present the correlations of different kinds of bias across sensitive attributes. Although the viewer ratings of these videos should purely reflect the speaker's competence and skill, our analysis of the ratings demonstrates the presence of overwhelming and predominant implicit bias with respect to race and gender. In our paper, we present strategies to detect and mitigate bias that are critical to removing unfairness in AI.


title: Longitudinal drift of Tayler instability eigenmodes as a possible explanation for super-slowly rotating Ap stars

abstract: Rotation periods inferred from the magnetic variability of some Ap stars are incredibly long, exceeding ten years in some cases. An explanation for such slow rotation is lacking. This paper attempts to provide an explanation of the super-slow rotation of the magnetic and thermal patterns of Ap stars in terms of the longitudinal drift of the unstable disturbances of the kink-type (Tayler) instability of their internal magnetic field. The rates of drift and growth were computed for eigenmodes of Tayler instability using stellar parameters estimated from a structure model of an A star. The computations refer to the toroidal background magnetic field of varied strength. The non-axisymmetric unstable disturbances drift in a counter-rotational direction in the co-rotating reference frame. The drift rate increases with the strength of the background field. For a field strength exceeding the (equipartition) value of equal Alfven and rotational velocities, the drift rate approaches the proper rotation rate of a star. The eigenmodes in an inertial frame show very slow rotation in this case. Patterns of magnetic and thermal disturbances of the slowly rotating eigenmodes are also computed. The counter-rotational drift of Tayler instability eigenmodes is a possible explanation for the observed phenomenon of super-slowly rotating Ap stars.


title: The Multi-INstrument Burst ARchive (MINBAR)

abstract: We present the largest sample of type-I (thermonuclear) X-ray bursts yet assembled, comprising 7083 bursts from 85 bursting sources. The sample is drawn from observations with Xenon-filled proportional counters on the long-duration satellites RXTE, BeppoSAX and INTEGRAL, between 1996 February 8, and 2012 May 3. The burst sources were drawn from a comprehensive catalog of 115 burst sources, assembled from earlier catalogs and the literature. We carried out a consistent analysis for each burst lightcurve (normalised to the relative instrumental effective area), and provide measurements of rise time, peak intensity, burst timescale, and fluence. For bursts observed with the RXTE/PCA and BeppoSAX/WFC we also provide time-resolved spectroscopy, including estimates of bolometric peak flux and fluence, and spectral parameters at the peak of the burst. For 950 bursts observed with the PCA from sources with previously detected burst oscillations, we include an analysis of the high-time resolution data, providing information on the detectability and amplitude of the oscillations, as well as where in the burst they are found. We also present analysis of 118848 observations of the burst sources within the sample timeframe. We extracted 3-25 keV X-ray spectra from most observations, and (for observations meeting our signal-to-noise criterion), we provide measurements of the flux, spectral colours, and for selected sources, the position on the colour-colour diagram, for the best-fit spectral model. We present a description of the sample, a summary of the science investigations completed to date, and suggestions for further studies.


title: Accelerating Power Methods for Higher-order Markov Chains

abstract: Higher-order Markov chains play a very important role in many fields, ranging from multilinear PageRank to financial modeling. In this paper, we propose three accelerated higher-order power methods for computing the limiting probability distribution of higher-order Markov chains, namely higher-order power method with momentum and higher-order quadratic extrapolation method. The convergence results are established, and numerical experiments are reported to show the efficiency of the proposed algorithms. In particular, the non-parametric quadratic extrapolation method is very competitive, and outperforms state-of-the-art competitions.


title: Maximal Haagerup subalgebras in $L(\mathbb{Z}^2\rtimes SL_2(\mathbb{Z}))$

abstract: We prove that $L(SL_2(\textbf{k}))$ is a maximal Haagerup von Neumann subalgebra in $L(\textbf{k}^2\rtimes SL_2(\textbf{k}))$ for $\textbf{k}=\mathbb{Q}$. Then we show how to modify the proof to handle $\textbf{k}=\mathbb{Z}$. The key step for the proof is a complete description of all intermediate von Neumann subalgebras between $L(SL_2(\textbf{k}))$ and $L^{\infty}(Y)\rtimes SL_2(\textbf{k})$, where $SL_2(\textbf{k})\curvearrowright Y$ denotes the quotient of the algebraic action $SL_2(\textbf{k})\curvearrowright \widehat{\textbf{k}^2}$ by modding out the relation $\phi\sim \phi'$, where $\phi$, $\phi'\in \widehat{\textbf{k}^2}$ and $\phi'(x, y):=\phi(-x, -y)$ for all $(x, y)\in \textbf{k}^2$. As a by-product, we show $L(PSL_2(\mathbb{Q}))$ is a maximal von Neumann subalgebra in $L^{\infty}(Y)\rtimes PSL_2(\mathbb{Q})$; in particular, $PSL_2(\mathbb{Q})\curvearrowright Y$ is a prime action, i.e. it admits no non-trivial quotient actions.


title: Out-of-Distribution Generalization via Risk Extrapolation (REx)

abstract: Distributional shift is one of the major obstacles when transferring machine learning prediction systems from the lab to the real world. To tackle this problem, we assume that variation across training domains is representative of the variation we might encounter at test time, but also that shifts at test time may be more extreme in magnitude. In particular, we show that reducing differences in risk across training domains can reduce a model's sensitivity to a wide range of extreme distributional shifts, including the challenging setting where the input contains both causal and anti-causal elements. We motivate this approach, Risk Extrapolation (REx), as a form of robust optimization over a perturbation set of extrapolated domains (MM-REx), and propose a penalty on the variance of training risks (V-REx) as a simpler variant. We prove that variants of REx can recover the causal mechanisms of the targets, while also providing some robustness to changes in the input distribution ("covariate shift"). By appropriately trading-off robustness to causally induced distributional shifts and covariate shift, REx is able to outperform alternative methods such as Invariant Risk Minimization in situations where these types of shift co-occur.


title: What Timing for an Automated Vehicle to Make Pedestrians Understand Its Driving Intentions for Improving Their Perception of Safety?

abstract: Although automated driving systems have been used frequently, they are still unpopular in society. To increase the popularity of automated vehicles (AVs), assisting pedestrians to accurately understand the driving intentions and improving their perception of safety when interacting with AVs are considered effective. Therefore, the AV should send information about its driving intention to pedestrians when they interact with each other. However, the following questions should be answered regarding how the AV sends the information to them: 1) What timing for an AV to make pedestrians understand its driving intentions after being noticed by them? 2) What timing for an AV to make pedestrians feel safe after being noticed by them? Thirteen participants were invited to interact with a manually driven vehicle and an AV in an experiment. The participants' gaze information and a subjective evaluation of their understanding of the driving intention as well as their perception of safety were collected. By analyzing the participants' gaze duration on the vehicle with their subjective evaluations, we found that the AV should enable the pedestrian to accurately understand its driving intention within 0.5~6.5 [s] and make the pedestrian feel safe within 0.5~8.0 [s] while the pedestrian is gazing at it.


title: Memory effect in the charge transport in strongly disordered antimony films

abstract: We study conductivity of strongly disordered amorphous antimony films under high bias voltages. We observe non-linear current-voltage characteristic, where the conductivity value at zero bias is one of two distinct values, being determined by the sign of previously applied voltage. Relaxation curves demonstrate high stability of these conductivity values on a large timescale. Investigations of the antimony film structure allows to determine the percolation character of electron transport in strongly disordered films. We connect the memory effect in conductivity with modification of the percolation pattern due to recharging of some film regions at high bias voltages.


title: On the existence of weak solutions for the steady Baldwin-Lomax model and generalizations

abstract: In this paper we consider the steady Baldwin-Lomax model, which is a rotational model proposed to describe turbulent flows at statistical equilibrium. The Baldwin-Lomax model is specifically designed to address the problem of a turbulent motion taking place in a bounded domain, with Dirichlet boundary conditions at solid boundaries. The main features of this model are the degeneracy of the operator at the boundary and a formulation in velocity/vorticity variables. The principal part of the operator is non-linear and it is degenerate, due to the presence (as a coefficient) of a power of the distance from the boundary: This fact makes the existence theory naturally set in the framework of appropriate weighted-Sobolev spaces.


title: Non-Common Band SAR Interferometry via Compressive Sensing

abstract: To avoid decorrelation, conventional synthetic aperture radar interferometry (InSAR) requires that interferometric images should have a common spectral band and the same resolution after proper preprocessing. For a high-resolution (HR) image and a low-resolution (LR) one, the interferogram quality is limited by the LR one since the non-common band (NCB) between two images is usually discarded. In this article, we try to establish an InSAR method to improve interferogram quality by means of exploiting the NCB. To this end, we first define a new interferogram, which has the same resolution as the HR image. Then we formulate the interferometric relationship between the two images into a compressive sensing (CS) model, which contains the proposed HR interferogram. With the sparsity of interferogram in appropriate domains, we model the interferogram formation as a typical sparse recovery problem. Due to the speckle effect in coherent radar imaging, the sensing matrix of our CS model is inherently random. We theoretically prove that the sensing matrix satisfies restricted isometry property, and thus the interferogram recovery performance is guaranteed. Furthermore, we provide a fast interferogram formation algorithm by exploiting computationally efficient structures of the sensing matrix. Numerical experiments show that the proposed method provides better interferogram quality in the sense of reduced phase noise and obtain extrapolated interferogram spectra with respect to CB processing.


title: Gravitational wave signature from phase transition of a combusting neutron star to quark star

abstract: Fluctuation at the neutron star center gives rise to a small deconfined quark core very close to the star center. The density discontinuity at the quark-hadron boundary initiates a shock wave, which propagates outwards of the star. The shock has enough energy to combust nuclear matter to 2-flavor quark matter in the star. The 2-flavor quark matter is not stable and settles to a stable 3-flavor matter in the weakly interacting timescale. In this paper, we study the conversion of 2-flavor matter to 3-flavor matter. We set up a differential equation to convert the excess of down quarks to strange quarks involving weak reaction and diffusion of quarks. Calculating the reaction rate, we solve the differential equation to find the velocity of the conversion front. As the conversion front moves out, the density profile changes, bringing about a change in the star's quadrupole moment and thereby emitting gravitational waves. We find that the GW signal depends strongly on the star temperature and mass. The GW amplitude of a colder star is well within present detector capability, but the frequency is slightly on the higher side. Relatively hotter stars are on the boundary of present detectors and easily detectable with future detectors, and their frequency is also within the present detectability range. In comparison, PT from galactic pulsars is easily detectable with present detectors.


title: The Decompositions of Werner and Isotropic States

abstract: The decompositions of separable Werner state, and also isotropic state, are well-known tough issues in quantum information theory, in this work we investigate them in the Bloch vector representation, exploring the symmetric informationally complete positive operator-valued measure (SIC-POVM) in the Hilbert space. We successfully get the decomposition for arbitrary $N\times N$ Werner state in terms of regular simplexes. Meanwhile, the decomposition of isotropic state is found to be related to the decomposition of Werner state via partial transposition. It is interesting to note that in the large $N$ limit, while the Werner states are either separable or non-steerably entangled, most of the isotropic states tend to be steerable.


title: Efficient Latent Representations using Multiple Tasks for Autonomous Driving

abstract: Driving in the dynamic, multi-agent, and complex urban environment is a difficult task requiring a complex decision policy. The learning of such a policy requires a state representation that can encode the entire environment. Mid-level representations that encode a vehicle's environment as images have become a popular choice, but they are quite high-dimensional, which limits their use in data-scarce cases such as reinforcement learning. In this article, we propose to learn a low dimensional and rich feature representation of the environment by training an encoder-decoder deep neural network to predict multiple application relevant factors such as trajectories of other agents. We demonstrate that the use of the multi-head encoder-decoder neural network results in a more informative representation compared to a single-head encoder-decoder model. In particular, the proposed representation learning approach helps the policy network to learn faster, with increased performance and with less data, compared to existing approaches using a single-head network.


title: Deep Image Spatial Transformation for Person Image Generation

abstract: Pose-guided person image generation is to transform a source person image to a target pose. This task requires spatial manipulations of source data. However, Convolutional Neural Networks are limited by the lack of ability to spatially transform the inputs. In this paper, we propose a differentiable global-flow local-attention framework to reassemble the inputs at the feature level. Specifically, our model first calculates the global correlations between sources and targets to predict flow fields. Then, the flowed local patch pairs are extracted from the feature maps to calculate the local attention coefficients. Finally, we warp the source features using a content-aware sampling method with the obtained local attention coefficients. The results of both subjective and objective experiments demonstrate the superiority of our model. Besides, additional results in video animation and view synthesis show that our model is applicable to other tasks requiring spatial transformation. Our source code is available at https://github.com/RenYurui/Global-Flow-Local-Attention.


title: Relational Deep Feature Learning for Heterogeneous Face Recognition

abstract: Heterogeneous Face Recognition (HFR) is a task that matches faces across two different domains such as visible light (VIS), near-infrared (NIR), or the sketch domain. Due to the lack of databases, HFR methods usually exploit the pre-trained features on a large-scale visual database that contain general facial information. However, these pre-trained features cause performance degradation due to the texture discrepancy with the visual domain. With this motivation, we propose a graph-structured module called Relational Graph Module (RGM) that extracts global relational information in addition to general facial features. Because each identity's relational information between intra-facial parts is similar in any modality, the modeling relationship between features can help cross-domain matching. Through the RGM, relation propagation diminishes texture dependency without losing its advantages from the pre-trained features. Furthermore, the RGM captures global facial geometrics from locally correlated convolutional features to identify long-range relationships. In addition, we propose a Node Attention Unit (NAU) that performs node-wise recalibration to concentrate on the more informative nodes arising from relation-based propagation. Furthermore, we suggest a novel conditional-margin loss function (C-softmax) for the efficient projection learning of the embedding vector in HFR. The proposed method outperforms other state-of-the-art methods on five HFR databases. Furthermore, we demonstrate performance improvement on three backbones because our module can be plugged into any pre-trained face recognition backbone to overcome the limitations of a small HFR database.


title: Multifractality of correlated two-particle bound states in quasiperiodic chains

abstract: We consider the quasiperiodic Aubry-Andr\'e chain in the insulating regime with localised single-particle states. Adding local interaction leads to the emergence of extended correlated two-particle bound states. We analyse the nature of these states including their multifractality properties. We use a projected Green function method to compute numerically participation numbers of eigenstates and analyse their dependence on the energy and the system size. We then perform a scaling analysis. We observe multifractality of correlated extended two-particle bound states, which we confirm independently through exact diagonalisation.


title: Planning to Build Soma Blocks Using a Dual-arm Robot

abstract: This paper presents a planner that can automatically find an optimal assembly sequence for a dual-arm robot to assemble the soma blocks. The planner uses the mesh model of objects and the final state of the assembly to generate all possible assembly sequence and evaluate the optimal assembly sequence by considering the stability, graspability, assemblability, as well as the need for a second arm. Especially, the need for a second arm is considered when supports from worktables and other workpieces are not enough to produce a stable assembly. The planner will refer to an assisting grasp to additionally hold and support the unstable components so that the robot can further assemble new workpieces and finally reach a stable state. The output of the planner is the optimal assembly orders, candidate grasps, assembly directions, and the assisting grasps if any. The output of the planner can be used to guide a dual-arm robot to perform the assembly task. The planner is verified in both simulations and real-world executions.


title: Constraint-free wavelength conversion supported by giant optical refraction in a 3D perovskite supercrystal

abstract: Nonlinear response in a material increases with its index of refraction as $n^4$. Commonly, $n \sim$ 1 so that diffraction, dispersion, and chromatic walk-off limit nonlinear scattering. Ferroelectric crystals with a periodic 3D polarization structure overcome some of these constraints through versatile Cherenkov and quasi-phase-matching mechanisms. Three-dimensional self-structuring can also lead to a giant optical refraction. Here, we perform second-harmonic-generation experiments in KTN:Li in conditions of giant broadband refraction. Enhanced response causes wavelength conversion to occur in the form of bulk Cherenkov radiation without diffraction and chromatic walk-off, even in the presence of strong wave-vector mismatch and highly focused beams. The process occurs with a wide spectral acceptance of more than 100 nm in the near infrared spectrum, an ultra-wide angular acceptance of up to $\pm 40^{\circ}$, with no polarization selectivity, and can be tuned to allow bulk supercontinuum generation. Results pave the way to highly efficient and adaptable nonlinear optical devices with the promise of single-photon-to-single-photon nonlinear optics.


title: More on the parameterization method for center manifolds

abstract: In a previous paper we generalized the parameterization method of Cabr\'{e}, Fontich and De la Llave to center manifolds of discrete dynamical systems. In this paper, we extend this result to several different settings. The natural setting in which center manifolds occur is at bifurcations in dynamical systems with parameters. Our first results will show that we can find parameter-dependent center manifolds near bifurcation points. Furthermore, we will generalize the parameterization method to center manifolds of fixed points of ODEs. Finally, we will apply our method to a reaction diffusion equation. In our application, we will show that the freedom to obtain the conjugate dynamics in normal form makes it possible to obtain detailed qualitative information about the center dynamics.


title: Sector Showers for Hadron Collisions

abstract: In conventional parton showers (including ones based on dipoles/antennae), a given $(\mathrm{Born}+m)$-parton configuration can typically be reached via ${\mathcal O}(m!)$ different "shower histories". In the context of matrix-element-correction and merging procedures, accounting for these histories mandates fairly complex and resource-intensive algorithms. A so far little-explored alternative in the shower context is to divide the branching phase spaces into distinct "sectors", each of which only receives contributions from a single branching kernel. This has a number of consequences including making the shower operator bijective; i.e., each parton configuration now has a single unique "inverse". As a first step towards developing a full-fledged matrix-element-correction and merging procedure based on such showers, we here extend the sector approach for antenna showers to hadron-hadron collisions, including mass and helicity dependence.


title: UFTR: A Unified Framework for Ticket Routing

abstract: Corporations today face increasing demands for the timely and effective delivery of customer service. This creates the need for a robust and accurate automated solution to what is formally known as the ticket routing problem. This task is to match each unresolved service incident, or "ticket", to the right group of service experts. Existing studies divide the task into two independent subproblems - initial group assignment and inter-group transfer. However, our study addresses both subproblems jointly using an end-to-end modeling approach. We first performed a preliminary analysis of half a million archived tickets to uncover relevant features. Then, we devised the UFTR, a Unified Framework for Ticket Routing using four types of features (derived from tickets, groups, and their interactions). In our experiments, we implemented two ranking models with the UFTR. Our models outperform baselines on three routing metrics. Furthermore, a post-hoc analysis reveals that this superior performance can largely be attributed to the features that capture the associations between ticket assignment and group assignment. In short, our results demonstrate that the UFTR is a superior solution to the ticket routing problem because it takes into account previously unexploited interrelationships between the group assignment and group transfer problems.


title: Stochastically Differentiable Probabilistic Programs

abstract: Probabilistic programs with mixed support (both continuous and discrete latent random variables) commonly appear in many probabilistic programming systems (PPSs). However, the existence of the discrete random variables prohibits many basic gradient-based inference engines, which makes the inference procedure on such models particularly challenging. Existing PPSs either require the user to manually marginalize out the discrete variables or to perform a composing inference by running inference separately on discrete and continuous variables. The former is infeasible in most cases whereas the latter has some fundamental shortcomings. We present a novel approach to run inference efficiently and robustly in such programs using stochastic gradient Markov Chain Monte Carlo family of algorithms. We compare our stochastic gradient-based inference algorithm against conventional baselines in several important cases of probabilistic programs with mixed support, and demonstrate that it outperforms existing composing inference baselines and works almost as well as inference in marginalized versions of the programs, but with less programming effort and at a lower computation cost.


title: Critical Review of the Scientific and Economic Efficacy of Lithium Lorentz Force Accelerators

abstract: Electromagnetic propulsion technology has been thought to provide a potential form of future spacecraft propulsion for some time. In contrast to ion thrusters, which utilize the Coulomb force to accelerate positively charged species, electromagnetic propulsion systems utilize the Lorentz force to accelerate all species in a quasi-neutral state, providing significant technological benefits over ion thrusters. Several forms of electromagnetic propulsion have been researched and developed, such as the Variable Specific Impulse Magnetoplasma Rocket, pulsed inductive thrusters, and the electrodeless plasma thruster. One of the most promising forms of electromagnetic propulsion, however, has been the magnetoplasmadynamic thruster. Whereas other electromagnetic propulsion systems provide high specific impulse values but low thrust capabilities, magnetoplasmadynamic thrusters have demonstrated the potential for both high specific impulse values and high thrust densities. However, these thrusters are not without drawbacks and suffer from issues such as electrode erosion. A proposed subtype of these thrusters, known as the Lithium Lorentz Force Accelerator, has been shown to address some of these issues. As is demonstrated in this paper, mission duration is not notably improved by the use of Lithium Lorentz Force Accelerators except for mission distances beyond the capabilities of current propulsion technology. It is also shown that increasing the amount of batteries onboard a spacecraft does not necessarily decrease mission duration due to the specific power of current battery technology, which is on the order of 10^3 W/kg, but that new developments in nuclear energy technology may allow these thrusters to become efficacious for missions for which current propulsion technology is insufficient.


title: GPU-Accelerated Mobile Multi-view Style Transfer

abstract: An estimated 60% of smartphones sold in 2018 were equipped with multiple rear cameras, enabling a wide variety of 3D-enabled applications such as 3D Photos. The success of 3D Photo platforms (Facebook 3D Photo, Holopix, etc) depend on a steady influx of user generated content. These platforms must provide simple image manipulation tools to facilitate content creation, akin to traditional photo platforms. Artistic neural style transfer, propelled by recent advancements in GPU technology, is one such tool for enhancing traditional photos. However, naively extrapolating single-view neural style transfer to the multi-view scenario produces visually inconsistent results and is prohibitively slow on mobile devices. We present a GPU-accelerated multi-view style transfer pipeline which enforces style consistency between views with on-demand performance on mobile platforms. Our pipeline is modular and creates high quality depth and parallax effects from a stereoscopic image pair.


title: Unbiased Mean Teacher for Cross-domain Object Detection

abstract: Cross-domain object detection is challenging, because object detection model is often vulnerable to data variance, especially to the considerable domain shift between two distinctive domains. In this paper, we propose a new Unbiased Mean Teacher (UMT) model for cross-domain object detection. We reveal that there often exists a considerable model bias for the simple mean teacher (MT) model in cross-domain scenarios, and eliminate the model bias with several simple yet highly effective strategies. In particular, for the teacher model, we propose a cross-domain distillation method for MT to maximally exploit the expertise of the teacher model. Moreover, for the student model, we alleviate its bias by augmenting training samples with pixel-level adaptation. Finally, for the teaching process, we employ an out-of-distribution estimation strategy to select samples that most fit the current model to further enhance the cross-domain distillation process. By tackling the model bias issue with these strategies, our UMT model achieves mAPs of 44.1%, 58.1%, 41.7%, and 43.1% on benchmark datasets Clipart1k, Watercolor2k, Foggy Cityscapes, and Cityscapes, respectively, which outperforms the existing state-of-the-art results in notable margins. Our implementation is available at https://github.com/kinredon/umt.


title: Using Image Captions and Multitask Learning for Recommending Query Reformulations

abstract: Interactive search sessions often contain multiple queries, where the user submits a reformulated version of the previous query in response to the original results. We aim to enhance the query recommendation experience for a commercial image search engine. Our proposed methodology incorporates current state-of-the-art practices from relevant literature -- the use of generation-based sequence-to-sequence models that capture session context, and a multitask architecture that simultaneously optimizes the ranking of results. We extend this setup by driving the learning of such a model with captions of clicked images as the target, instead of using the subsequent query within the session. Since these captions tend to be linguistically richer, the reformulation mechanism can be seen as assistance to construct more descriptive queries. In addition, via the use of a pairwise loss for the secondary ranking task, we show that the generated reformulations are more diverse.


title: The Infrared Medium-deep Survey. \Romannum{7}. Faint Quasars at $z \sim 5$ in the ELAIS-N1 Field

abstract: The intergalactic medium (IGM) at $z\sim$ 5 to 6 is largely ionized, and yet the main source for the IGM ionization in the early universe is uncertain. Of the possible contributors are faint quasars with $-26 \lesssim M_{\rm 1450} \lesssim -23$, but their number density is poorly constrained at $z\sim5$. In this paper, we present our survey of faint quasars at $z\sim5$ in the European Large-Area {\it ISO} Survey-North 1 (ELAIS-N1) field over a survey area of 6.51 deg$^2$ and examine if such quasars can be the dominant source of the IGM ionization. We use the deep optical/near-infrared data of the ELAIS-N1 field as well as the additional medium-band observations to find $z \sim 5$ quasars through a two-step approach using the broadband color selection, and SED fitting with the medium-band information included. Adopting Bayesian information criterion, we identify ten promising quasar candidates. Spectra of three of the candidates are obtained, confirming all of them to be quasars at $z\sim5$ and supporting the reliability of the quasar selection. Using the promising candidates, we derive the $z\sim5$ quasar luminosity function at $-26 \lesssim M_{\rm 1450} \lesssim -23$. The number density of faint $z\sim5$ quasars in the ELAIS-N1 field is consistent with several previous results that quasars are not the main contributors to the IGM-ionizing photons at $z\sim5$


title: Learned Enrichment of Top-View Grid Maps Improves Object Detection

abstract: We propose an object detector for top-view grid maps which is additionally trained to generate an enriched version of its input. Our goal in the joint model is to improve generalization by regularizing towards structural knowledge in form of a map fused from multiple adjacent range sensor measurements. This training data can be generated in an automatic fashion, thus does not require manual annotations. We present an evidential framework to generate training data, investigate different model architectures and show that predicting enriched inputs as an additional task can improve object detection performance.


title: A-TVSNet: Aggregated Two-View Stereo Network for Multi-View Stereo Depth Estimation

abstract: We propose a learning-based network for depth map estimation from multi-view stereo (MVS) images. Our proposed network consists of three sub-networks: 1) a base network for initial depth map estimation from an unstructured stereo image pair, 2) a novel refinement network that leverages both photometric and geometric information, and 3) an attentional multi-view aggregation framework that enables efficient information exchange and integration among different stereo image pairs. The proposed network, called A-TVSNet, is evaluated on various MVS datasets and shows the ability to produce high quality depth map that outperforms competing approaches. Our code is available at https://github.com/daiszh/A-TVSNet.


title: Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning

abstract: A novel reinforcement learning scheme to synthesize policies for continuous-space Markov decision processes (MDPs) is proposed. This scheme enables one to apply model-free, off-the-shelf reinforcement learning algorithms for finite MDPs to compute optimal strategies for the corresponding continuous-space MDPs without explicitly constructing the finite-state abstraction. The proposed approach is based on abstracting the system with a finite MDP (without constructing it explicitly) with unknown transition probabilities, synthesizing strategies over the abstract MDP, and then mapping the results back over the concrete continuous-space MDP with approximate optimality guarantees. The properties of interest for the system belong to a fragment of linear temporal logic, known as syntactically co-safe linear temporal logic (scLTL), and the synthesis requirement is to maximize the probability of satisfaction within a given bounded time horizon. A key contribution of the paper is to leverage the classical convergence results for reinforcement learning on finite MDPs and provide control strategies maximizing the probability of satisfaction over unknown, continuous-space MDPs while providing probabilistic closeness guarantees. Automata-based reward functions are often sparse; we present a novel potential-based reward shaping technique to produce dense rewards to speed up learning. The effectiveness of the proposed approach is demonstrated by applying it to three physical benchmarks concerning the regulation of a room's temperature, control of a road traffic cell, and of a 7-dimensional nonlinear model of a BMW 320i car.


title: Optimal Deployment of Tethered Drones for Maximum Cellular Coverage in User Clusters

abstract: Unmanned aerial vehicle (UAV) assisted cellular communication is gaining significant interest recently. Although it offers several advantages over terrestrial communication, UAV communication suffers from two main shortcomings. The typical untethered UAV (uUAV) has a limited battery power supply and therefore limited flying time, and it needs an extra wireless backhaul link to connect users to the core network. In this paper, we propose the utilization of the tethered UAV (tUAV) to assist the cellular network, where the tether provides power supply and connects the tUAV to the core network through high capacity link. The tUAV however has a limited mobility due to the limited tether length. A stochastic geometry-based analysis is provided for the coverage probability of an UAV-assisted cellular network where the mobile users located within a circular hot-spot. For that setup, we analyze and compare two scenarios: (i) utilizing uUAV and (ii) utilizing tUAV, for offloading the terrestrial base station (TBS). We capture the aforementioned limitations of each of the uUAV and the tUAV in our analysis. A novel user association analysis is provided given the TBS and the UAV locations. Next, we study the optimal locations of the uUAV and the tUAV to maximize the coverage probability. Multiple useful insights are revealed. For instance, numerical results show that tUAVs outperform uUAVs when the tether length is above 75 m, given that the uUAV is available for 80% of the time due to its battery limitations.


title: Design of Low Complexity Non-binary LDPC Codes with an Approximated Performance-Complexity Tradeoff

abstract: By presenting an approximated performance-complexity tradeoff (PCT) algorithm,a low-complexity non-binary low density parity check (LDPC) code over q-ary-input symmetric-output channel is designed in this manuscript which converges faster than the threshold-optimized non-binary LDPC codes in the low error rate regime. We examine our algorithm by both hard and soft decision decoders.Moreover, simulation shows that the approximated PCT algorithm has accelerated the convergence process by 30% regarding the number of the decoding iterations.


title: Level anticrossing effect in single-level or multilevel double quantum dots: Electrical conductance, zero-frequency charge susceptibility and Seebeck coefficient

abstract: We study electrical and thermoelectrical properties for a double quantum dot system. We consider the cases of both single-level and multilevel quantum dots whatever the way they are coupled, either in a series or in a parallel arrangement. The calculations are performed by using the nonequilibrium Green function theory. In the case of a single-level double quantum dot, the problem is exactly solvable whereas for a multilevel double quantum dot, an analytical solution is obtained in the limit of energy-independent hopping integrals. { We present a detailed discussion about} the dependences of electrical conductance, zero-frequency charge susceptibility and Seebeck coefficient on the gate voltages applied to the dots, allowing us to derive the charge stability diagram. The findings are in agreement with the experimental observations notably with the occurrence of successive sign changes of the Seebeck coefficient when varying the gate voltages. We interpret the results in terms of the bonding and antibonding states produced by the level anticrossing effect which occurs in the presence of a finite interdot coupling. We show that at equilibrium the boundary lines between the domains with different dot occupancies in the charge stability diagram, take place when the bonding and antibonding state levels are aligned with the chemical potentials in the leads. Finally the total dot occupancy is found to be considerably reduced in the case in parallel compared with the case in series, { whenever} the level energies in each dot are equal. We interpret this dip as a direct manifestation of the interference effects occurring in the presence of the two electronic transmission paths provided by each dot.


title: Integrability of point-vortex dynamics via symplectic reduction: a survey

abstract: Point-vortex dynamics describe idealized, non-smooth solutions to the incompressible Euler equations on 2-dimensional manifolds. Integrability results for few point-vortices on various domains is a vivid topic, with many results and techniques scattered in the literature. Here we give a unified framework for proving integrability results for $N=2$, $3$, or $4$ point-vortices (and also more general Hamiltonian systems), based on symplectic reduction theory. The approach works on any 2-dimensional manifold; we illustrate it on the sphere, the plane, the hyperbolic plane, and the flat torus. A systematic study of integrability is prompted by advances in 2-dimensional turbulence, bridging the long-time behaviour of 2D Euler equations with questions of point-vortex integrability. A gallery of solutions is given in the appendix.


title: Search for electric dipole moments

abstract: Searches for permanent electric dipole moments of fundamental particles and systems with spin are the experiments most sensitive to new CP violating physics and a top priority of a growing international community. We briefly review the current status of the field emphasizing on the charged leptons and lightest baryons.


title: (Ir-)regularity of canonical projection operators on some weakly pseudoconvex domains

abstract: In this paper we discuss some recent results concerning the regularity and irregularity of the Bergman and Szeg\H{o} projections on some weakly pseudoconvex domains that have the common feature to possess a nontrivial Nebenh\"ulle.


title: Knowledge Graphs on the Web -- an Overview

abstract: Knowledge Graphs are an emerging form of knowledge representation. While Google coined the term Knowledge Graph first and promoted it as a means to improve their search results, they are used in many applications today. In a knowledge graph, entities in the real world and/or a business domain (e.g., people, places, or events) are represented as nodes, which are connected by edges representing the relations between those entities. While companies such as Google, Microsoft, and Facebook have their own, non-public knowledge graphs, there is also a larger body of publicly available knowledge graphs, such as DBpedia or Wikidata. In this chapter, we provide an overview and comparison of those publicly available knowledge graphs, and give insights into their contents, size, coverage, and overlap.


title: Long-term study of extreme giant pulses from PSR B0950+08 with AARTFAAC

abstract: We report on the detection of extreme giant pulses (GPs) from one of the oldest-known pulsars, the highly variable PSR B0950+08, with the Amsterdam-ASTRON Radio Transient Facility And Analysis Centre (AARTFAAC), a parallel transient detection instrument operating as a subsystem of the LOw Frequency ARray (LOFAR). During processing of our Northern Hemisphere survey for low-frequency radio transients, a sample of 275 pulses with fluences ranging from 42 to 177 kJy ms were detected in one-second snapshot images. The brightest pulses are an order of magnitude brighter than those previously reported at 42 and 74 MHz, on par with the levels observed in a previous long-term study at 103 MHz. Both their rate and fluence distribution differ between and within the various studies done to date. The GP rate is highly variable, from 0 to 30 per hour, with only two three-hour observations accounting for nearly half of the pulses detected in the 96 h surveyed. It does not vary significantly within a few-hour observation, but can vary strongly one from day to the next. The spectra appear strongly and variably structured, with emission sometimes confined to a single 195.3 kHz subband, and the pulse spectra changing on a timescale of order 10 min.


title: SKIRT 9: redesigning an advanced dust radiative transfer code to allow kinematics, line transfer and polarization by aligned dust grains

abstract: The open source SKIRT Monte Carlo radiative transfer code has been used for more than 15 years to model the interaction between radiation and dust in various astrophysical systems. In this work, we present version 9 of the code, which has been substantially redesigned to support long-term objectives. We invite interested readers to participate in the development, testing and application of new features such as including gas media types in addition to dust, performing line transfer in addition to continuum radiation transfer, and modeling polarization by non-spherical dust grains aligned by magnetic fields. We describe the major challenges involved in preparing the code for these and other extensions, as well as their resolution, including a completely new treatment of wavelengths to support kinematics. SKIRT 9 properly runs over 400 handcrafted functional tests and successfully performs all relevant benchmarks. The source code and all documentation is publicly available for use and ready for further collaborative development.


title: Batch Stationary Distribution Estimation

abstract: We consider the problem of approximating the stationary distribution of an ergodic Markov chain given a set of sampled transitions. Classical simulation-based approaches assume access to the underlying process so that trajectories of sufficient length can be gathered to approximate stationary sampling. Instead, we consider an alternative setting where a fixed set of transitions has been collected beforehand, by a separate, possibly unknown procedure. The goal is still to estimate properties of the stationary distribution, but without additional access to the underlying system. We propose a consistent estimator that is based on recovering a correction ratio function over the given data. In particular, we develop a variational power method (VPM) that provides provably consistent estimates under general conditions. In addition to unifying a number of existing approaches from different subfields, we also find that VPM yields significantly better estimates across a range of problems, including queueing, stochastic differential equations, post-processing MCMC, and off-policy evaluation.


title: Quantisation of $\kappa$-deformed Dirac equation

abstract: In this paper, we study the quantisation of Dirac field theory in the $\kappa$-deformed space-time. We adopt a quantisation method that uses only equations of motion for quantising the field. Starting from $\kappa$-deformed Dirac equation, valid up to first order in the deformation parameter $a$, we derive deformed unequal time anti-commutation relation between deformed field and its adjoint, leading to undeformed oscillator algebra. Exploiting the freedom of imposing a deformed unequal time anti-commutation relations between $\kappa$-deformed spinor and its adjoint, we also derive a deformed oscillator algebra. We show that deformed number operator is the conserved charge corresponding to global phase transformation symmetry. We construct the $\kappa$-deformed conserved currents, valid up to first order in $a$, corresponding to parity and time-reversal symmetries of $\kappa$-deformed Dirac equation also. We show that these conserved currents and charges have a mass-dependent correction, valid up to first order in $a$. This novel feature is expected to have experimental significance in particle physics. We also show that it is not possible to construct a conserved current associated with charge conjugation, showing that the Dirac particle and its anti-particle satisfy different equations in $\kappa$-space-time.


title: Polar Coded Faster-than-Nyquist (FTN) Signaling with Symbol-by-Symbol Detection

abstract: Reduced complexity faster-than-Nyquist (FTN) signaling systems are gaining increased attention as they provide improved bandwidth utilization for an acceptable level of detection complexity. In order to have a better understanding of the tradeoff between performance and complexity of the reduced complexity FTN detection techniques, it is necessary to study these techniques in the presence of channel coding. In this paper, we investigate the performance a polar coded FTN system which uses a reduced complexity FTN detection, namely, the recently proposed successive symbol-by-symbol with go-backK sequence estimation (SSSgbKSE) technique. Simulations are performed for various intersymbol-interference (ISI) levels and for various go-back-K values. Bit error rate (BER) performance of Bahl-Cocke-Jelinek-Raviv (BCJR) detection and SSSgbKSE detection techniques are studied for both uncoded and polar coded systems. Simulation results reveal that polar codes can compensate some of the performance loss incurred in the reduced complexity SSSgbKSE technique and assist in closing the performance gap between BCJR and SSSgbKSE detection algorithms.


title: Self-consistent modeling of runaway electron generation in massive gas injection scenarios in ASDEX Upgrade

abstract: We present the first successful simulation of a induced disruption in ASDEX Upgrade from massive material injection (MMI) up to established runaway electron (RE) beam, thus covering pre-thermal quench, thermal quench and current quench (CQ) of the discharge. For future high-current fusion devices such as ITER, the successful suppression of REs through MMI is of critical importance to ensure the structural integrity of the vessel. To computationally study the interplay between MMI, background plasma response, and RE generation, a toolkit based on the 1.5D transport code coupling ASTRA-STRAHL is developed. Electron runaway is described by state-of-the-art reduced kinetic models in the presence of partially ionized impurities. Applied to argon MMI in ASDEX Upgrade discharge #33108, key plasma parameters measured experimentally, such as temporal evolution of the line averaged electron density, plasma current decay rate and post-CQ RE current, are well reproduced by the simulation presented. Impurity ions are transported into the central plasma by the combined effect of neoclassical processes and additional effects prescribed inside the $q = 2$ rational surface to explain experimental time scales. Thus, a thermal collapse is induced through strong impurity radiation, giving rise to a substantial RE population as observed experimentally.


title: Hypocoercivity with Schur complements

abstract: We propose an approach to obtaining explicit estimates on the resolvent of hypocoercive operators by using Schur complements, rather than from an exponential decay of the evolution semigroup combined with a time integral. We present applications to Langevin-like dynamics and Fokker--Planck equations, as well as the linear Boltzmann equation (which is also the generator of randomized Hybrid Monte Carlo in molecular dynamics). In particular, we make precise the dependence of the resolvent bounds on the parameters of the dynamics and on the dimension. We also highlight the relationship of our method with other hypocoercive approaches.


title: On Extremal Index of Max-Stable Random Fields

abstract: For a given stationary max-stable random field $X(t),t\in Z^d$ the corresponding generalised Pickands constant coincides with the classical extremal index $\theta$ which always exists. In this contribution we discuss necessary and sufficient conditions for $\theta$ to be 0, positive or equal to 1 and also show that $\theta$ is equal to the so-called block extremal index. Further, we consider some general functional indices of $X$ and prove that for a large class of functionals they coincide with $\theta$. Our study of max-stable and stationary random fields is important since the formulas are valid with obvious modifications for the candidate extremal index of multivariate regularly varying random fields.


title: Prediction of Potential Commercially Available Inhibitors against SARS-CoV-2 by Multi-Task Deep Learning Model

abstract: The outbreak of COVID-19 caused millions of deaths worldwide, and the number of total infections is still rising. It is necessary to identify some potentially effective drugs that can be used to prevent the development of severe symptoms or even death for those infected. Fortunately, many efforts have been made, and several effective drugs have been identified. The rapidly increasing amount of data is of great help for training an effective and specific deep learning model. In this study, we propose a multi-task deep learning model for the purpose of screening commercially available and effective inhibitors against SARS-CoV-2. First, we pretrained a model on several heterogenous protein-ligand interaction datasets. The model achieved competitive results on some benchmark datasets. Next, a coronavirus-specific dataset was collected and used to fine-tune the model. Then, the fine-tuned model was used to select commercially available drugs against SARS-CoV-2 protein targets. Overall, twenty compounds were listed as potential inhibitors. We further explored the model interpretability and observed the predicted important binding sites. Based on this prediction, molecular docking was also performed to visualize the binding modes of the selected inhibitors.


title: Beyond Hamiltonicity of Prime Difference Graphs

abstract: A graph is Hamiltonian if it contains a cycle which visits every vertex of the graph exactly once. In this paper, we consider the problem of Hamiltonicity of a graph $G_n$, which will be called the prime difference graph of order $n$, with vertex set $\{1,2,\cdots, n\}$ and edge set $\{uv: |u-v|$ is a prime number$\}$. A recent result, conjectured by Sun and later proved by Chen, asserts that $G_n$ is Hamiltonian for $n\geq 5$. This paper extends their result in three directions. First, we prove that for any two integers $a$ and $b$ with $1\leq a<b\leq n$, there is a Hamilton path in $G_n$ from $a$ to $b$ except some cases of small $n$. This result implies robustness of the Hamiltonicity property of the prime difference graph in a sense that for any edge $e$ in $G_n$ there exists a Hamilton cycle containing $e$. Second, we show that the prime difference graph contains considerably more about the cycle structure than Hamiltonicity; precisely, for any integer $n\geq 7$, the prime difference graph $G_n$ contains any 2-factor of the complete graph of order $n$ as a subgraph. Finally, we find that $G_n$ may contain more edge-disjoint Hamilton cycles. In particular, these Hamilton cycles are generated by two prime differences.


title: Tetrahedral Coxeter groups, large group-actions on 3-manifolds and equivariant Heegaard splittings

abstract: We consider finite group-actions on closed, orientable and nonorientable 3-manifolds M which preserve the two handlebodies of a Heegaard splitting of M of some genus g > 1 (maybe interchanging the two handlebodies). The maximal possible order of a finite group-action on a handlebody of genus g>1 is 12(g-1) in the orientation-preserving case and 24(g-1) in general, and the maximal order of a finite group preserving the Heegaard surface of a Heegaard splitting of genus g is 48(g-1). This defines a hierarchy for finite group-actions on 3-manifolds which we discuss in the present paper; we present various manifolds with an action of type 48(g-1) for small values of g, and in particular the unique hyperbolic 3-manifold with such an action of smallest possible genus g = 6 (in strong analogy with the Euclidean case of the 3-torus which has such actions for g = 3).


title: Instability and evolution of the magnetic ground state in metallic perovskites GdRh$_3$C$_{1-x}$B$_x$

abstract: We report investigations of the structural, magnetic, electrical transport and thermal properties of five compositions of the metallic perovskite GdRh$_3$C$_{1-x}$B$_x$ ($0.00 \le x \le 1.00$). Our results show that all the five compositions undergo magnetic ordering at low temperatures, but the nature of the ordered state is significantly different in the carbon- and the boron-rich compositions, where the former shows signatures of an amplitude-modulated magnetic structure and the latter exhibits evidences of an equal-moment incommensurate antiferromagnetic ordering. We also observe a remarkable field-dependent evolution of conduction carrier polarization in the compositionally disordered compounds. The outcomes indicate that this system is energetically situated in proximity to a magnetic instability where small variations in the control parameter(s), such as lattice constant and/or electron density, lead to considerably different ground states.


title: Fusing Physics-based and Deep Learning Models for Prognostics

abstract: Physics-based and data-driven models for remaining useful lifetime (RUL) prediction typically suffer from two major challenges that limit their applicability to complex real-world domains: (1) incompleteness of physics-based models and (2) limited representativeness of the training dataset for data-driven models. Combining the advantages of these two directions while overcoming some of their limitations, we propose a novel hybrid framework for fusing the information from physics-based performance models with deep learning algorithms for prognostics of complex safety-critical systems under real-world scenarios. In the proposed framework, we use physics-based performance models to infer unobservable model parameters related to a system's components health solving a calibration problem. These parameters are subsequently combined with sensor readings and used as input to a deep neural network to generate a data-driven prognostics model with physics-augmented features. The performance of the hybrid framework is evaluated on an extensive case study comprising run-to-failure degradation trajectories from a fleet of nine turbofan engines under real flight conditions. The experimental results show that the hybrid framework outperforms purely data-driven approaches by extending the prediction horizon by nearly 127\%. Furthermore, it requires less training data and is less sensitive to the limited representativeness of the dataset compared to purely data-driven approaches.


title: A unified phase diagram of F-doped LaFeAsO by means of NMR and NQR parameters

abstract: We present $^{75}$As Nuclear Magnetic and Quadrupole Resonance results (NMR, NQR) on a new set of LaFeAsO$_{1-x}$F$_x$ polycrystalline samples. Improved synthesis conditions led to more homogenized samples with better control of the fluorine content. The structural$\equiv$nematic, magnetic, and superconducting transition temperatures have been determined by NMR spin-lattice relaxation rate and AC susceptibility measurements. The so-determined phase diagram deviates from the published one especially for low F-doping concentrations. However, if the doping level is determined from the NQR spectra, both phase diagrams can be reconciled. The absence of bulk coexistence of magnetism and superconductivity and a nanoscale separation into low-doping-like and high-doping-like regions have been confirmed. Additional frequency dependent intensity, spin-spin, and spin-lattice relaxation rate measurements on underdoped samples at the boundary of magnetism and superconductivity indicate that orthorhombicity and magnetism originate from the low-doping-like regions, and superconductivity develops at first in the high-doping-like regions.


title: Binary Representaion for Non-binary LDPC Code with Decoder Design

abstract: The equivalent binary parity check matrices for the binary images of the cycle-free non-binary LDPC codes have numerous bit-level cycles. In this paper, we show how to transform these binary parity check matrices into their cycle-free forms. It is shown that the proposed methodology can be adopted not only for the binary images of non-binary LDPC codes but also for a large class of binary LDPC codes. Specifically, we present an extended $p$-reducible (EPR) LDPC code structure to eliminate the bit-level cycles. For the non-binary LDPC codes with short length symbol-level cycles, the EPR-LDPC codes can largely avoid the corresponding short length bit-level cycles. As to the decoding of the EPR-LDPC codes, we propose a hybrid hard-decision decoder and a hybrid parallel decoder for binary symmetric channel and binary input Gaussian channel, respectively. A simple code optimization algorithm for these binary decoders is also provided. Simulations show the comparative results and justify the advantages, i.e., better performance and lower decoding complexity, of the proposed binary constructions.


title: Uniform long-time and propagation of chaos estimates for mean field kinetic particles in non-convex landscapes

abstract: Combining the results of [14] and [10], the trend to equilibrium in large time is studied for a large particle system associated to a Vlasov-Fokker-Planck equation. Under some conditions (that allow non-convex confining potentials) the convergence rate is proven to be independent from the number of particles. From this are derived uniform in time propagation of chaos estimates and an exponentially fast convergence for the nonlinear equation itself.


title: Recent Advances in Scalable Network Generation

abstract: Random graph models are frequently used as a controllable and versatile data source for experimental campaigns in various research fields. Generating such data-sets at scale is a non-trivial task as it requires design decisions typically spanning multiple areas of expertise. Challenges begin with the identification of relevant domain-specific network features, continue with the question of how to compile such features into a tractable model, and culminate in algorithmic details arising while implementing the pertaining model. In the present survey, we explore crucial aspects of random graph models with known scalable generators. We begin by briefly introducing network features considered by such models, and then discuss random graphs alongside with generation algorithms. Our focus lies on modelling techniques and algorithmic primitives that have proven successful in obtaining massive graphs. We consider concepts and graph models for various domains (such as social network, infrastructure, ecology, and numerical simulations), and discuss generators for different models of computation (including shared-memory parallelism, massive-parallel GPUs, and distributed systems).


title: Towards Unconstrained Palmprint Recognition on Consumer Devices: a Literature Review

abstract: As a biometric palmprints have been largely under-utilized, but they offer some advantages over fingerprints and facial biometrics. Recent improvements in imaging capabilities on handheld and wearable consumer devices have re-awakened interest in the use fo palmprints. The aim of this paper is to provide a comprehensive review of state-of-the-art methods for palmprint recognition including Region of Interest extraction methods, feature extraction approaches and matching algorithms along with overview of available palmprint datasets in order to understand the latest trends and research dynamics in the palmprint recognition field.


title: Analysis via Orthonormal Systems in Reproducing Kernel Hilbert $C^*$-Modules and Applications

abstract: Kernel methods have been among the most popular techniques in machine learning, where learning tasks are solved using the property of reproducing kernel Hilbert space (RKHS). In this paper, we propose a novel data analysis framework with reproducing kernel Hilbert $C^*$-module (RKHM), which is another generalization of RKHS than vector-valued RKHS (vv-RKHS). Analysis with RKHMs enables us to deal with structures among variables more explicitly than vv-RKHS. We show the theoretical validity for the construction of orthonormal systems in Hilbert $C^*$-modules, and derive concrete procedures for orthonormalization in RKHMs with those theoretical properties in numerical computations. Moreover, we apply those to generalize with RKHM kernel principal component analysis and the analysis of dynamical systems with Perron-Frobenius operators. The empirical performance of our methods is also investigated by using synthetic and real-world data.


title: Long Short-Term Sample Distillation

abstract: In the past decade, there has been substantial progress at training increasingly deep neural networks. Recent advances within the teacher--student training paradigm have established that information about past training updates show promise as a source of guidance during subsequent training steps. Based on this notion, in this paper, we propose Long Short-Term Sample Distillation, a novel training policy that simultaneously leverages multiple phases of the previous training process to guide the later training updates to a neural network, while efficiently proceeding in just one single generation pass. With Long Short-Term Sample Distillation, the supervision signal for each sample is decomposed into two parts: a long-term signal and a short-term one. The long-term teacher draws on snapshots from several epochs ago in order to provide steadfast guidance and to guarantee teacher--student differences, while the short-term one yields more up-to-date cues with the goal of enabling higher-quality updates. Moreover, the teachers for each sample are unique, such that, overall, the model learns from a very diverse set of teachers. Comprehensive experimental results across a range of vision and NLP tasks demonstrate the effectiveness of this new training method.


title: A Logic Based Approach to Finding Real Singularities of Implicit Ordinary Differential Equations

abstract: We discuss the effective computation of geometric singularities of implicit ordinary differential equations over the real numbers using methods from logic. Via the Vessiot theory of differential equations, geometric singularities can be characterised as points where the behaviour of a certain linear system of equations changes. These points can be discovered using a specifically adapted parametric generalisation of Gaussian elimination combined with heuristic simplification techniques and real quantifier elimination methods. We demonstrate the relevance and applicability of our approach with computational experiments using a prototypical implementation in Reduce.


title: Profitability of Photovoltaic and Battery Systems on Municipal Buildings

abstract: The increasing gap between electricity prices and feed-in tariffs for photovoltaic (PV) electricity in many countries, along with the recent strong cost degression of batteries, led to a rise in installed combined PV and battery systems worldwide. The load profile of a property greatly affects the self-consumption rate and, thus, the profitability of the system. Therefore, insights from analyses of residential applications, which are well studied, cannot simply be transferred to other types of properties. In comparison to residential applications, PV is especially suitable for municipal buildings, due to their better match of demand and supply. In order to analyze the value of additional batteries, municipal PV battery systems of different sizes were simulated, taking load profiles of 101 properties as inputs. It was found that self-consumption differs significantly from households, while different types of municipal buildings are largely similar in terms of the indicators analyzed. The share of electricity consumed during summertime was found to have the most significant impact on the self-consumption rate for most considered system sizes. Due to lower electricity tariffs and lower increases in self-consumption provided through batteries in municipal buildings, the investment into a battery is not economically advantageous in most of the cases considered.


title: On the largest representation in type $H_4$

abstract: In this technical note, we complete the PhD work of A. Esterle about determining the image of any Artin group of finite Coxeter type inside the associated Hecke algebra over a finite field, when the latter is semisimple. The only remaining case was the 48-dimensional irreducible representation in type $H_4$, for which the image is proven here to be $\Omega_{48}^+$.


title: The disk of 2MASS 15491331-3539118 = GQ Lup C as seen by HST and WISE

abstract: Very recently, a second companion on wider orbit has been discovered around GQ Lup. This is a low-mass accreting star partially obscured by a disk seen at high inclination. If detected, this disk may be compared to the known disk around the primary. We detected this disk on archive HST and WISE data. The extended spectral energy distribution provided by these data confirms the presence of accretion from Halpha emission and UV excess, and shows an IR excess attributable to a warm disk. In addition, we resolved the disk on the HST images. This is found to be roughly aligned with the disk of the primary. Both of them are roughly aligned with the Lupus I dust filament containing GQ Lup.


title: PhoBERT: Pre-trained language models for Vietnamese

abstract: We present PhoBERT with two versions, PhoBERT-base and PhoBERT-large, the first public large-scale monolingual language models pre-trained for Vietnamese. Experimental results show that PhoBERT consistently outperforms the recent best pre-trained multilingual model XLM-R (Conneau et al., 2020) and improves the state-of-the-art in multiple Vietnamese-specific NLP tasks including Part-of-speech tagging, Dependency parsing, Named-entity recognition and Natural language inference. We release PhoBERT to facilitate future research and downstream applications for Vietnamese NLP. Our PhoBERT models are available at https://github.com/VinAIResearch/PhoBERT


title: aColor: Mechatronics, Machine Learning, and Communications in an Unmanned Surface Vehicle

abstract: The aim of this work is to offer an overview of the research questions, solutions, and challenges faced by the project aColor ("Autonomous and Collaborative Offshore Robotics"). This initiative incorporates three different research areas, namely, mechatronics, machine learning, and communications. It is implemented in an autonomous offshore multicomponent robotic system having an Unmanned Surface Vehicle (USV) as its main subsystem. Our results across the three areas of work are systematically outlined in this paper by demonstrating the advantages and capabilities of the proposed system for different Guidance, Navigation, and Control missions, as well as for the high-speed and long-range bidirectional connectivity purposes across all autonomous subsystems. Challenges for the future are also identified by this study, thus offering an outline for the next steps of the aColor project.


title: A new short proof of regularity for local weak solutions for a certain class of singular parabolic equations

abstract: We shall establish the interior H\"older continuity for locally bounded weak solutions to a class of parabolic singular equations whose prototypes are \begin{equation} u_t= \nabla \cdot \bigg( |\nabla u|^{p-2} \nabla u \bigg), \quad \text{ for } \quad 1<p<2, \end{equation} and \begin{equation} u_{t}- \nabla \cdot ( u^{m-1} | \nabla u |^{p-2} \nabla u ) =0 , \quad \text{for} \quad m+p>3-\frac{p}{N}, \end{equation} via a new and simplified proof using recent techniques on expansion of positivity and $L^{1}$-Harnack estimates.


title: Error Model in Single Board Computer based Phasor Measurement Units

abstract: Phasor Measurement Units (PMUs) are measurement devices long used in transmission systems and today even more essential for a proper monitoring of distribution grids. The expected massive penetration of distributed energy resources (DERs) is slowly taking place, carrying along a new set of challenges that put to test traditional instruments and requiring more performance and flexibility to adapt to this evolving scenario. Cheap devices based on single board computer (SBC) are proving to be a valid alternative to traditional PMU architectures, able to combine together high-performance, great versatility and low-cost. However, such devices lack a proper modeling of their measurement errors that conversely would be extremely useful for improving their design and evaluate their performance in accordance with the relevant standards. The paper intends to fill this gap by discussing the error sources and their effects on the observed signals. An analysis of error statistics is presented, in order to give a more complete metrological characterization.


title: Electronic Decoupling of Polyacenes from the Underlying Metal Substrate by sp3 Carbon Atoms

abstract: We report on the effect of sp3 hybridized carbon atoms in acene derivatives adsorbed on metal surfaces, namely decoupling the molecules from the supporting substrates. In particular, we have used a Ag(100) substrate and hydrogenated heptacene molecules, in which the longest conjugated segment determining its frontier molecular orbitals amounts to five consecutive rings. The non-planarity that the sp3 atoms impose on the carbon backbone results in electronically decoupled molecules, as demonstrated by the presence of charging resonances in dI/dV tunneling spectra and the associated double tunneling barriers, or in the Kondo peak that is due to a net spin S=1/2 of the molecule as its LUMO becomes singly charged. The spatially dependent appearance of the charging resonances as peaks or dips in the differential conductance spectra is further understood in terms of the tunneling barrier variation upon molecular charging, as well as of the different orbitals involved in the tunneling process.


title: A general framework for scientifically inspired explanations in AI

abstract: Explainability in AI is gaining attention in the computer science community in response to the increasing success of deep learning and the important need of justifying how such systems make predictions in life-critical applications. The focus of explainability in AI has predominantly been on trying to gain insights into how machine learning systems function by exploring relationships between input data and predicted outcomes or by extracting simpler interpretable models. Through literature surveys of philosophy and social science, authors have highlighted the sharp difference between these generated explanations and human-made explanations and claimed that current explanations in AI do not take into account the complexity of human interaction to allow for effective information passing to not-expert users. In this paper we instantiate the concept of structure of scientific explanation as the theoretical underpinning for a general framework in which explanations for AI systems can be implemented. This framework aims to provide the tools to build a "mental-model" of any AI system so that the interaction with the user can provide information on demand and be closer to the nature of human-made explanations. We illustrate how we can utilize this framework through two very different examples: an artificial neural network and a Prolog solver and we provide a possible implementation for both examples.


title: A polarization quantum key distribution scheme based on phase matching

abstract: The Quantum Key Distribution protocol can encode a single quantum state and implements an information-theoretically secure key distribution protocol in communication. In the actual QKD experimental system, there are usually two encoding methods which are phase encoding and polarization encoding. Ma et al.[Phase-Matching Quantum Key Distribution, Phys. Rev. X., 2018, 8(3)] proposed the phase-matching QKD protocol, which has high transmission and it is an extension of the measurement device independent QKD. This paper successfully gives the polarization scheme of this PM-QKD protocol, the bases in the polarization scheme are arbitrary, and eliminates detector side channel attacks. Furthermore, we give the security analysis and simulation results of the polarization scheme, and compare it with the BB84 protocol. The simulation results show that our protocol is superior to the BB84 protocol in terms of transmission distance under the fixed key rate.


title: Regulation of interferon production as a potential strategy for COVID-19 treatment

abstract: Regulating the upstream of the cytokines production could be a promising strategy to the treatment of COVID-19. We suggest to pay more attention to the dysregulated IFN-I production in COVID-19 and to considerate cGAS, ALK and STING as potential therapeutic targets preventing cytokine storm. Approved drugs like suramin and ALK inhibitors are worthy of clinical trials.