title: Sharp Multiple Instance Learning for DeepFake Video Detection

abstract: With the rapid development of facial manipulation techniques, face forgery has received considerable attention in multimedia and computer vision community due to security concerns. Existing methods are mostly designed for single-frame detection trained with precise image-level labels or for video-level prediction by only modeling the inter-frame inconsistency, leaving potential high risks for DeepFake attackers. In this paper, we introduce a new problem of partial face attack in DeepFake video, where only video-level labels are provided but not all the faces in the fake videos are manipulated. We address this problem by multiple instance learning framework, treating faces and input video as instances and bag respectively. A sharp MIL (S-MIL) is proposed which builds direct mapping from instance embeddings to bag prediction, rather than from instance embeddings to instance prediction and then to bag prediction in traditional MIL. Theoretical analysis proves that the gradient vanishing in traditional MIL is relieved in S-MIL. To generate instances that can accurately incorporate the partially manipulated faces, spatial-temporal encoded instance is designed to fully model the intra-frame and inter-frame inconsistency, which further helps to promote the detection performance. We also construct a new dataset FFPMS for partially attacked DeepFake video detection, which can benefit the evaluation of different methods at both frame and video levels. Experiments on FFPMS and the widely used DFDC dataset verify that S-MIL is superior to other counterparts for partially attacked DeepFake video detection. In addition, S-MIL can also be adapted to traditional DeepFake image detection tasks and achieve state-of-the-art performance on single-frame datasets.


title: Altering magnetic response of superconductors by rotation

abstract: It is generally believed that, at a certain temperature below the critical one, magnetic response of a superconductor (SC) is determined solely by its intrinsic properties. Here we show that the mechanical rotation of a SC can easily change the values of the critical fields at which the superconductivity is destroyed (type-1 SC) or the vortices penetrate into (exit from) the material (type-2 SC). This is due to a superposition of the Meissner current induced by the external field, and the spontaneous current on the surface of the SC induced by the mechanical rotation. As a result, the critical fields of a SC can be increased or decreased, depending on the geometrical form of the material and the relative orientation of rotation and the external field.


title: Critical sets, crowns, and local maximum independent sets

abstract: A set $S\subseteq V(G)$ is independent (or stable) if no two vertices from $S$ are adjacent, and by $\mathrm{Ind}(G)$ we mean the set of all independent sets of $G$. A set $A\in\mathrm{Ind}(G)$ is critical (and we write $A\in CritIndep(G)$) if $\left\vert A\right\vert -\left\vert N(A)\right\vert =\max\{\left\vert I\right\vert -\left\vert N(I)\right\vert :I\in \mathrm{Ind}(G)\}$, where $N(I)$ denotes the neighborhood of $I$. If $S\in\mathrm{Ind}(G)$ and there is a matching from $N(S)$ into $S$, then $S$ is a crown, and we write $S\in Crown(G)$. Let $\Psi(G)$ be the family of all local maximum independent sets of graph $G$, i.e., $S\in\Psi(G)$ if $S$ is a maximum independent set in the subgraph induced by $S\cup N(S)$. In this paper we show that $CritIndep(G)\subseteq Crown(G)$ $\subseteq\Psi(G)$ are true for every graph. In addition, we present some classes of graphs where these families coincide and form greedoids or even more general set systems that we call augmentoids.


title: Itinerant ferromagnetism in the repulsive Hubbard chain with anisotropic odd-wave attraction

abstract: The ground-state properties of the Hubbard chain with on-site repulsion and anisotropic nearest-neighbor attraction are investigated by means of density matrix renormalization group calculations. The non-local attraction acts between fermions of one spin component only, mimicking the effect of p-wave Feshbach resonances in cold-atom systems. We analyze the onset of itinerant ferromagnetism, pinpointing the critical attraction strength where partially and fully ferromagnetic states occur. In the cold-atom setup, where the two (pseudo) spin populations are separately conserved, ferromagnetism occurs with the nucleation of a fully imbalanced band-insulating domain hosting the attractive component only. The size of this domain grows with the attraction strength, therefore increasing the (opposite) imbalance of the other domain, until the two spin components are fully separated. In the presence of a harmonic trap, the ferromagnetic state hosts a partially imbalanced domain in the center with an excess of the attractive component and filling lower than one. This central region is surrounded by fully imbalanced domains, located in the trap tails, hosting only fermions belonging to the other component.


title: Model-Based Quality-Diversity Search for Efficient Robot Learning

abstract: Despite recent progress in robot learning, it still remains a challenge to program a robot to deal with open-ended object manipulation tasks. One approach that was recently used to autonomously generate a repertoire of diverse skills is a novelty based Quality-Diversity~(QD) algorithm. However, as most evolutionary algorithms, QD suffers from sample-inefficiency and, thus, it is challenging to apply it in real-world scenarios. This paper tackles this problem by integrating a neural network that predicts the behavior of the perturbed parameters into a novelty based QD algorithm. In the proposed Model-based Quality-Diversity search (M-QD), the network is trained concurrently to the repertoire and is used to avoid executing unpromising actions in the novelty search process. Furthermore, it is used to adapt the skills of the final repertoire in order to generalize the skills to different scenarios. Our experiments show that enhancing a QD algorithm with such a forward model improves the sample-efficiency and performance of the evolutionary process and the skill adaptation.


title: Surgical Mask Detection with Convolutional Neural Networks and Data Augmentations on Spectrograms

abstract: In many fields of research, labeled datasets are hard to acquire. This is where data augmentation promises to overcome the lack of training data in the context of neural network engineering and classification tasks. The idea here is to reduce model over-fitting to the feature distribution of a small under-descriptive training dataset. We try to evaluate such data augmentation techniques to gather insights in the performance boost they provide for several convolutional neural networks on mel-spectrogram representations of audio data. We show the impact of data augmentation on the binary classification task of surgical mask detection in samples of human voice (ComParE Challenge 2020). Also we consider four varying architectures to account for augmentation robustness. Results show that most of the baselines given by ComParE are outperformed.


title: Cross-Phase Modulation Instability in PM ANDi Fiber-Based Supercontinuum Generation

abstract: We demonstrate broadband supercontinuum generation in an all-normal dispersion polarization-maintaining photonic crystal fiber and we report the observation of a cross-phase modulation instability sideband that is generated outside of the supercontinuum bandwidth. We demonstrate this sideband is polarized on the slow axis and can be suppressed by pumping on the fiber's fast axis. We theoretically confirm and model this nonlinear process using phase-matching conditions and numerical simulations, obtaining good agreement with the measured data.


title: Dot-product sets and simplices over finite rings

abstract: In this paper, we study dot-product sets and $k$-simplices in vector spaces over finite rings. We show that if $E$ is sufficiently large then the dot-product set of $E$ covers the whole ring. In higher dimensional cases, if $E$ is sufficiently large then the set of simplices and the set of dot-product simplices determined by $E$, up to congurence, have positive densities.


title: A Complexity Dichotomy for Permutation Pattern Matching on Grid Classes

abstract: Permutation Pattern Matching (PPM) is the problem of deciding for a given pair of permutations P and T whether the pattern P is contained in the text T. Bose, Buss and Lubiw showed that PPM is NP-complete. In view of this result, it is natural to ask how the situation changes when we restrict the pattern P to a fixed permutation class C; this is known as the C-Pattern PPM problem. Grid classes are special kind of permutation classes, consisting of permutations admitting a grid-like decomposition into simpler building blocks. Of particular interest are the so-called monotone grid classes, in which each building block is a monotone sequence. Recently, it has been discovered that grid classes, especially the monotone ones, play a fundamental role in the understanding of the structure of general permutation classes. This motivates us to study the hardness of C-Pattern PPM for a (monotone) grid class C. We provide a complexity dichotomy for C-Pattern PPM when C is taken to be a monotone grid class. Specifically, we show that the problem is polynomial-time solvable if a certain graph associated with C, called the cell graph, is a forest, and it is NP-complete otherwise. We further generalize our results to grid classes whose blocks belong to classes of bounded grid-width. We show that the C-Pattern PPM for such a grid class C is polynomial-time solvable if the cell graph of C avoids a cycle or a certain special type of path, and it is NP-complete otherwise.


title: Multi-modal segmentation of 3D brain scans using neural networks

abstract: Purpose: To implement a brain segmentation pipeline based on convolutional neural networks, which rapidly segments 3D volumes into 27 anatomical structures. To provide an extensive, comparative study of segmentation performance on various contrasts of magnetic resonance imaging (MRI) and computed tomography (CT) scans. Methods: Deep convolutional neural networks are trained to segment 3D MRI (MPRAGE, DWI, FLAIR) and CT scans. A large database of in total 851 MRI/CT scans is used for neural network training. Training labels are obtained on the MPRAGE contrast and coregistered to the other imaging modalities. The segmentation quality is quantified using the Dice metric for a total of 27 anatomical structures. Dropout sampling is implemented to identify corrupted input scans or low-quality segmentations. Full segmentation of 3D volumes with more than 2 million voxels is obtained in less than 1s of processing time on a graphical processing unit. Results: The best average Dice score is found on $T_1$-weighted MPRAGE ($85.3\pm4.6\,\%$). However, for FLAIR ($80.0\pm7.1\,\%$), DWI ($78.2\pm7.9\,\%$) and CT ($79.1\pm 7.9\,\%$), good-quality segmentation is feasible for most anatomical structures. Corrupted input volumes or low-quality segmentations can be detected using dropout sampling. Conclusion: The flexibility and performance of deep convolutional neural networks enables the direct, real-time segmentation of FLAIR, DWI and CT scans without requiring $T_1$-weighted scans.


title: The decline of astronomical research in Venezuela

abstract: During the last 15 years the number of astronomy-related papers published by scientists in Venezuela has been continuously decreasing, mainly due to emigration. If rapid corrective actions are not implemented, Venezuelan astronomy could disappear.


title: Base Polynomials for Schultz Invariants of Linear Phenylenes

abstract: Let $L_{n}$ be the molecular graph of linear $[n]$phenylene, and $L'_{n}$ the graph obtained by attaching 4-membered cycles to terminal hexagons of $L_{n-1}$. Thus, $L'_{n}$ is the molecular graph of the $\alpha,\omega$ - dicyclobutadieno derivative of $[n-1]$phenylene, containing $n-1$ hexagons and $n$ squares. In this paper we give polynomials which serve as bases for Schultz invariants. Actually, we represent lengths of paths among vertices of degrees 2-2, 2-3, and 3-3 of $L_{n}$ and $L'_{n}$ in terms of polynomials, which are used to find Schultz polynomial, modified Schultz polynomial, Schultz index, and modified Schultz index.


title: (Non-BiHom-Commutative) BiHom-Poisson algebras

abstract: The aim of this paper is to introduce and study BiHom-Poisson algebras, in particular Non-BiHom-Commutative BiHom-Poisson algebras. We discuss their representation theory and Semi-direct product. Furthermore, we characterize admissible BiHom-Poisson algebras. Finally, we establish the classification of 2-dimensional BiHom-Poisson algebras.


title: Uncertainty Quantification of Locally Nonlinear Dynamical Systems using Neural Networks

abstract: Models are often given in terms of differential equations to represent physical systems. In the presence of uncertainty, accurate prediction of the behavior of these systems using the models requires understanding the effect of uncertainty in the response. In uncertainty quantification, statistics such as mean and variance of the response of these physical systems are sought. To estimate these statistics sampling-based methods like Monte Carlo often require many evaluations of the models' governing equations for multiple realizations of the uncertainty. However, for large complex engineering systems, these methods become computationally burdensome. In structural engineering, often an otherwise linear structure contains spatially local nonlinearities with uncertainty present in them. A standard nonlinear solver for them with sampling-based methods for uncertainty quantification incurs significant computational cost for estimating the statistics of the response. To ease this computational burden of uncertainty quantification of large-scale locally nonlinear dynamical systems, a method is proposed herein, which decomposes the response into two parts -- response of a nominal linear system and a corrective term. This corrective term is the response from a pseudoforce that contains the nonlinearity and uncertainty information. In this paper, neural network, a recently popular tool for universal function approximation in the scientific machine learning community due to the advancement of computational capability as well as the availability of open-sourced packages like PyTorch and TensorFlow is used to estimate the pseudoforce. Since only the nonlinear and uncertain pseudoforce is modeled using the neural networks the same network can be used to predict a different response of the system and hence no new network is required to train if the statistic of a different response is sought.


title: Schubert calculus from polyhedral parametrizations of Demazure crystals

abstract: One approach to Schubert calculus is to realize Schubert classes as concrete combinatorial objects such as Schubert polynomials. Through an identification of the cohomology ring of the type A full flag variety with the polytope ring of the Gelfand-Tsetlin polytopes, Kiritchenko-Smirnov-Timorin realized each Schubert class as a sum of reduced (dual) Kogan faces. In this paper, we explicitly describe string parametrizations of opposite Demazure crystals, which give a natural generalization of reduced dual Kogan faces. We also relate reduced Kogan faces with Demazure crystals using the theory of mitosis operators, and apply these observations to develop the theory of Schubert calculus on symplectic Gelfand-Tsetlin polytopes.


title: Planimation

abstract: Planimation is a modular and extensible open source framework to visualise sequential solutions of planning problems specified in PDDL. We introduce a preliminary declarative PDDL-like animation profile specification, expressive enough to synthesise animations of arbitrary initial states and goals of a benchmark with just a single profile.


title: Improving Blockchain scalability based on one-time cross-chain contract and gossip network

abstract: This study proposes a novel solution that provides secure interoperability for blockchains, which improves the overall scalability of the whole blockchain network. In our solution, a cross-chain task will build a one-time cross-blockchain contract. Each blockchain system can follow the contract to complete or this task. The result of tasks is bound with the system, hence can be anchored to all other blockchain systems through the gossip network. This work shows our result can provide linear scalability for the whole system and achieve consistency among honest systems.


title: Central limit theorem of Brownian motions in pinched negative curvature

abstract: We prove the central limit theorem of random variables induced by distances to Brownian paths and Green functions on the universal cover of Riemannian manifolds of finite volume with pinched negative curvature. We further provide some ergodic properties of Brownian motions and an application of the central limit theorem to the dynamics of geodesic flows in pinched negative curvature.


title: Looking for a vector charmonium-like state $Y$ in $e^{+}e^{-}\rightarrow\bar{D}D_{1}(2420)+c.c.$

abstract: Inspired by the first observation of a vector charmonium-like state $Y(4626)$ decaying to a meson pair $D_{s}^{+}D_{s1}(2536)^{-}$, which could be viewed as a $P$-wave scalar-scalar $[cs][\bar{c}\bar{s}]$ tetraquark state, we predict a potential vector charmonium-like state $Y$ with $P$-wave scalar-scalar $[cq][\bar{c}\bar{q}]$ configuration. The corresponding mass spectrum of $Y$ state is calculated to be $4.33^{+0.16}_{-0.23}~\mbox{GeV}$ in the framework of QCD sum rules. We suggest that the predicted $Y$ state could be looked for in an open-charm $e^{+}e^{-}\rightarrow\bar{D}D_{1}(2420)+c.c.$ process.


title: On the mean Density of States of some matrices related to the beta ensembles and an application to the Toda lattice

abstract: In this manuscript we study tridiagonal random matrix models related to the classical $\beta$-ensembles (Gaussian, Laguerre, Jacobi) in the high temperature regime, i.e. when the size $N$ of the matrix tends to infinity with the constraint that $\beta N=2\alpha$ constant, $\alpha > 0$. We call these ensembles the Gaussian, Laguerre and Jacobi $\alpha$-ensembles and we prove the convergence of their empirical spectral distributions to their mean densities of states and we compute them explicitly. As an application we explicitly compute the mean density of states of the Lax matrix of the Toda lattice with periodic boundary conditions with respect to the Gibbs ensemble.


title: Ab initio results for the plasmon dispersion and damping of the warm dense electron gas

abstract: Warm dense matter (WDM) is an exotic state on the border between condensed matter and dense plasmas. Important occurrences of WDM include dense astrophysical objects, matter in the core of our Earth, as well as matter produced in strong compression experiments. As of late, x-ray Thomson scattering has become an advanced tool to diagnose WDM. The interpretation of the data requires model input for the dynamic structure factor $S(q,\omega)$ and the plasmon dispersion $\omega(q)$. Recently the first \textit{ab initio} results for $S(q,\omega)$ of the homogeneous warm dense electron gas were obtained from path integral Monte Carlo simulations, [Dornheim \textit{et al.}, Phys. Rev. Lett. \textbf{121}, 255001 (2018)]. Here, we analyse the effects of correlations and finite temperature on the dynamic dielectric function and the plasmon dispersion. Our results for the plasmon dispersion and damping differ significantly from the random phase approximation and from earlier models of the correlated electron gas. Moreover, we show when commonly used weak damping approximations break down and how the method of complex zeros of the dielectric function can solve this problem for WDM conditions.


title: Sharp L1 Inequalities for Sup-Convolution

abstract: Given a compact convex domain $C\subset \mathbb{R}^k$ and bounded measurable functions $f_1,\ldots,f_n:C\to \mathbb{R}$, define the sup-convolution $(f_1\ast \ldots \ast f_n)(z)$ to be the supremum average value of $f_1(x_1),\ldots,f_n(x_n)$ over all $x_1,\ldots,x_n\in C$ which average to $z$. Continuing the study by Figalli and Jerison and the present authors of linear stability for the Brunn-Minkowski inequality with equal sets, for $k\le 3$ we find the optimal constants $c_{k,n}$ such that $$\int_C f^{\ast n}(x)-f(x) dx \ge c_{k,n}\int_C\text{co}(f)(x)-f(x) dx$$ where $\text{co}(f)$ is the upper convex hull of $f$. Additionally, we show $c_{k,n}=1-O(\frac{1}{n})$ for fixed $k$ and prove an analogous optimal inequality for two distinct functions. The key geometric insight is a decomposition of polytopal approximations of $C$ into hypersimplices according to the geometry of the set of points where $\text{co}(f)$ is close to $f$.


title: Global trends of nuclear $d_{5/2}^{2,3,4}$ configurations: Application of a simple effective-interaction model

abstract: With new experimental information on nuclei far from stability being available, a systematic investigation of excitation energies and electromagnetic properties along the $N=10, 11, 12$ isotones and $Z=10, 11, 12$ isotopes is presented. The experimental data are discussed in the context of the appearance and disappearance of shell closures at $N=Z=8,14,16,20$, and compared to an effective-interaction approach applied to neutrons and protons in $d_{5/2}^{2,3,4}$ configurations. In spite of its simplicity the model is able to explain the observed properties.


title: On the Period--Luminosity--Metallicity relation of Classical Cepheids

abstract: Classical Cepheids (DCEPs) are the most important primary indicators for the extragalactic distance scale. Establishing the dependence on metallicity of their period--luminosity and period--Wesenheit (PL/PW) relations has deep consequences on the estimate of the Hubble constant (H$_0$). We aim at investigating the dependence on metal abundance ([Fe/H]) of the PL/PW relations for Galactic DCEPs. We combined proprietary and literature photometric and spectroscopic data, gathering a total sample of 413 Galactic DCEPs (372 fundamental mode -- DCEP\_F and 41 first overtone -- DCEP\_1O) and constructed new metallicity-dependent PL/PW relations in the near infra-red (NIR) adopting the Astrometric Based Luminosity. We find indications that the slopes of the PL$(K_S)$ and PW$(J,K_S)$ relations for Galactic DCEPs might depend on metallicity when compared to the Large Magellanic Cloud relationships. Therefore, we have used a generalized form of the PL/PW relations to simultaneously take into account the metallicity dependence of the slope and intercept of these relations. We calculated PL/PW relations which, for the first time, explicitly include a metallicity dependence of both the slope and intercept terms. Although the insufficient quality of the available data makes our results not yet conclusive, they are relevant from a methodological point of view. The new relations are linked to the geometric measurement of the distance to the Large Magellanic Cloud and allowed us to estimate a {\it Gaia} DR2 parallax zero point offset $\Delta \varpi$=0.0615$\pm$0.004 mas from the dataset of DCEPs used in this work.


title: Quasinormal Modes and Thermodynamics of Regular Black Holes

abstract: By applying the dimensionless scheme, we investigate the quasinormal modes and phase transitions analytically for three types of regular black holes. The universal deviations to the first law of mechanics in regular black holes are proved. Meanwhile, we verify that second order phase transitions and Davies points still exist in these three models. In addition, we calculate their quasinormal modes in the eikonal limit by applying the light ring/quasinormal mode correspondence, and discuss the spiral-like shapes and the relations between the quasinormal modes and phase transitions. As the main result, we show that spiral-like shapes in the complex frequency plane are closely related to the parameterization, namely in some particular units the spiral-like shapes will emerge in the models, which may not be of the spiral behaviors reported by other authors. We also discover a universal property of regular black holes, i.e., the imaginary parts of their QNMs do not vanish for the extreme cases, which does not appear in singular black holes, such as the Reissner-Nordstr\"om and Kerr black holes, etc.


title: Symmetry breaking in a two-component system with repulsive interactions and linear coupling

abstract: We extend the well-known theoretical treatment of the spontaneous symmetry breaking (SSB) in two-component systems, combining linear coupling and self-attractive nonlinearity, to a system in which the linear coupling competes with repulsive interactions. First, we address one- and two-dimensional (1D and 2D) ground-state (GS) solutions and 2D vortex states with topological charges S=1 and 2, maintained by a confining harmonic-oscillator potential. The system can be implemented in BEC and optics. By means of the Thomas-Fermi approximation and numerical solution of the underlying coupled Gross-Pitaevskii equations, we demonstrate that SSB takes place, in the GSs and vortices alike, when the cross-component repulsion is stronger that the self-repulsion in each component. The SSB transition is categorized as a supercritical bifurcation, which gives rise to states featuring broken symmetry in an inner area, and intact symmetry in a surrounding layer. Unlike stable GSs and vortices with S=1, the states with S=2 are unstable against splitting. We also address SSB for 1D gap solitons in the system including a lattice potential. In this case, SSB takes place under the opposite condition, i.e., the cross-component repulsion must be weaker than the self-repulsion, and SSB is exhibited by antisymmetric solitons.


title: Lattice dynamics and ultrafast energy flow between electrons, spins, and phonons in a 3d ferromagnet

abstract: The ultrafast dynamics of magnetic order in a ferromagnet are governed by the interplay between electronic, magnetic and lattice degrees of freedom. In order to obtain a microscopic understanding of ultrafast demagnetization, information on the response of all three subsystems is required. A consistent description of demagnetization and microscopic energy flow, however, is still missing. Here, we combine a femtosecond electron diffraction study of the ultrafast lattice response of nickel to laser excitation with ab initio calculations of the electron-phonon interaction and energy-conserving atomistic spin dynamics simulations. Our model is in agreement with the observed lattice dynamics and previously reported electron and magnetization dynamics. Our approach reveals that the spin system is the dominating heat sink in the initial few hundreds of femtoseconds and implies a transient non-thermal state of the spins. Our results provide a clear picture of the microscopic energy flow between electronic, magnetic and lattice degrees of freedom on ultrafast timescales and constitute a foundation for theoretical descriptions of demagnetization that are consistent with the dynamics of all three subsystems.


title: Holdout SGD: Byzantine Tolerant Federated Learning

abstract: This work presents a new distributed Byzantine tolerant federated learning algorithm, HoldOut SGD, for Stochastic Gradient Descent (SGD) optimization. HoldOut SGD uses the well known machine learning technique of holdout estimation, in a distributed fashion, in order to select parameter updates that are likely to lead to models with low loss values. This makes it more effective at discarding Byzantine workers inputs than existing methods that eliminate outliers in the parameter-space of the learned model. HoldOut SGD first randomly selects a set of workers that use their private data in order to propose gradient updates. Next, a voting committee of workers is randomly selected, and each voter uses its private data as holdout data, in order to select the best proposals via a voting scheme. We propose two possible mechanisms for the coordination of workers in the distributed computation of HoldOut SGD. The first uses a truthful central server and corresponds to the typical setting of current federated learning. The second is fully distributed and requires no central server, paving the way to fully decentralized federated learning. The fully distributed version implements HoldOut SGD via ideas from the blockchain domain, and specifically the Algorand committee selection and consensus processes. We provide formal guarantees for the HoldOut SGD process in terms of its convergence to the optimal model, and its level of resilience to the fraction of Byzantine workers. Empirical evaluation shows that HoldOut SGD is Byzantine-resilient and efficiently converges to an effectual model for deep-learning tasks, as long as the total number of participating workers is large and the fraction of Byzantine workers is less than half (<1/3 for the fully distributed variant).


title: Automatic Verification of Concurrent Stochastic Systems

abstract: Automated verification techniques for stochastic games allow formal reasoning about systems that feature competitive or collaborative behaviour among rational agents in uncertain or probabilistic settings. Existing tools and techniques focus on turn-based games, where each state of the game is controlled by a single player, and on zero-sum properties, where two players or coalitions have directly opposing objectives. In this paper, we present automated verification techniques for concurrent stochastic games (CSGs), which provide a more natural model of concurrent decision making and interaction. We also consider (social welfare) Nash equilibria, to formally identify scenarios where two players or coalitions with distinct goals can collaborate to optimise their joint performance. We propose an extension of the temporal logic rPATL for specifying quantitative properties in this setting and present corresponding algorithms for verification and strategy synthesis for a variant of stopping games. For finite-horizon properties the computation is exact, while for infinite-horizon it is approximate using value iteration. For zero-sum properties it requires solving matrix games via linear programming, and for equilibria-based properties we find social welfare or social cost Nash equilibria of bimatrix games via the method of labelled polytopes through an SMT encoding. We implement this approach in PRISM-games, which required extending the tool's modelling language for CSGs, and apply it to case studies from domains including robotics, computer security and computer networks, explicitly demonstrating the benefits of both CSGs and equilibria-based properties.


title: Connecting Relaxation Time to a Dynamical Length Scale in Athermal Active Glass Formers

abstract: Supercooled liquids display dynamics that are inherently heterogeneous in space. This essentially means that at temperatures below the melting point, particle dynamics in certain regions of the liquid can be orders of magnitude faster than other regions. Often dubbed as dynamical heterogeneity, this behavior has fascinated researchers involved in the study of glass transition, for over two decades. A fundamentally important question in all glass transition studies is whether one can connect the growing relaxation time to a concomitantly growing length scale. In this paper, we go beyond the realm of ordinary glass forming liquids and study the origin of a growing dynamical length scale $\xi$ in a self propelled "active" glass former. This length scale which is constructed using structural correlations agrees well with the average size of the clusters of slow moving particles that are formed as the liquid becomes spatially heterogeneous. We further report that the concomitantly growing $\alpha$- relaxation time exhibits a simple scaling law, $\tau_\alpha \sim \text{exp} (\xi \mu / T_{eff})$, with $\mu$ as an effective chemical potential, $T_{eff}$ as the effective temperature, and $\xi \mu$ as the growing free energy barrier for cluster rearrangements. The findings of our study are valid over three decades of persistence times, and hence could be very useful in understanding the slow dynamics of a generic active liquid such as an active colloidal suspension, or a self propelled granular medium, to mention a few.


title: Left Ventricular Wall Motion Estimation by Active Polynomials for Acute Myocardial Infarction Detection

abstract: Echocardiogram (echo) is the earliest and the primary tool for identifying regional wall motion abnormalities (RWMA) in order to diagnose myocardial infarction (MI) or commonly known as heart attack. This paper proposes a novel approach, Active Polynomials, which can accurately and robustly estimate the global motion of the Left Ventricular (LV) wall from any echo in a robust and accurate way. The proposed algorithm quantifies the true wall motion occurring in LV wall segments so as to assist cardiologists diagnose early signs of an acute MI. It further enables medical experts to gain an enhanced visualization capability of echo images through color-coded segments along with their "maximum motion displacement" plots helping them to better assess wall motion and LV Ejection-Fraction (LVEF). The outputs of the method can further help echo-technicians to assess and improve the quality of the echocardiogram recording. A major contribution of this study is the first public echo database collection composed by physicians at the Hamad Medical Corporation Hospital in Qatar. The so-called HMC-QU database will serve as the benchmark for the forthcoming relevant studies. The results over the HMC-QU dataset show that the proposed approach can achieve high accuracy, sensitivity and precision in MI detection even though the echo quality is quite poor, and the temporal resolution is low.


title: Non-modal transient growth of disturbances in pulsatile and oscillatory pipe flow

abstract: Laminar flows through pipes driven at steady, pulsatile or oscillatory rates undergo a sub-critical transition to turbulence. We carry out an extensive linear non-modal stability analysis of these flows and show that for sufficiently high pulsation amplitudes the stream-wise vortices of the classic lift-up mechanism are outperformed by helical disturbances exhibiting an Orr-like mechanism. In oscillatory flow, the energy amplification depends solely on the Reynolds number based on the Stokes-layer thickness and for sufficiently high oscillation frequency and Reynolds number, axisymmetric disturbances dominate. In the high-frequency limit, these axisymmetric disturbances are exactly similar to those recently identified by Biau (2016) for oscillatory flow over a flat plate. In all regimes of pulsatile and oscillatory pipe flow, the optimal helical and axisymmetric disturbances are triggered in the deceleration phase and reach their peaks in typically less than a period. Their maximum energy gain scales exponentially with Reynolds number of the oscillatory flow component. Our numerical computations unveil a plausible mechanism for the turbulence observed experimentally in pulsatile and oscillatory pipe flow.


title: Alzheimer's Dementia Detection from Audio and Text Modalities

abstract: Automatic detection of Alzheimer's dementia by speech processing is enhanced when features of both the acoustic waveform and the content are extracted. Audio and text transcription have been widely used in health-related tasks, as spectral and prosodic speech features, as well as semantic and linguistic content, convey information about various diseases. Hence, this paper describes the joint work of the GTM-UVIGO research group and acceXible startup to the ADDReSS challenge at INTERSPEECH 2020. The submitted systems aim to detect patterns of Alzheimer's disease from both the patient's voice and message transcription. Six different systems have been built and compared: four of them are speech-based and the other two systems are text-based. The x-vector, i-vector, and statistical speech-based functionals features are evaluated. As a lower speaking fluency is a common pattern in patients with Alzheimer's disease, rhythmic features are also proposed. For transcription analysis, two systems are proposed: one uses GloVe word embedding features and the other uses several features extracted by language modelling. Several intra-modality and inter-modality score fusion strategies are investigated. The performance of single modality and multimodal systems are presented. The achieved results are promising, outperforming the results achieved by the ADDReSS's baseline systems.


title: An ad-hoc social network generation approach

abstract: The use of social networks is still confined to infrastructure-based networks such as the Internet. However, many situations (conferences, fairs, etc.) may require the implementation and rapid deployment of an ad-hoc application for disseminating information: we call this type of application, Ad-hoc Social Network. These applications are necessarily distributed, deployable on mobile units, etc. They therefore inevitably share the same characteristics as those inherent in ad-hoc mobile networks and make them good candidates for their deployment. In this paper, by using techniques from the field of generative programming, we propose an approach to produce environments for generating such applications from their specifications in a domain-specific language. By applying this approach, we have developed SMGenerator, an environment for generating mobile ad-hoc social network applications for Android devices. Moreover by using SMGenerator, we easily generated the ConfInfo application: an ad-hoc social network application for disseminating information to participants in a scientific manifestation.


title: Deep UAV Localization with Reference View Rendering

abstract: This paper presents a framework for the localization of Unmanned Aerial Vehicles (UAVs) in unstructured environments with the help of deep learning. A real-time rendering engine is introduced that generates optical and depth images given a six Degrees-of-Freedom (DoF) camera pose, camera model, geo-referenced orthoimage, and elevation map. The rendering engine is embedded into a learning-based six-DoF Inverse Compositional Lucas-Kanade (ICLK) algorithm that is able to robustly align the rendered and real-world image taken by the UAV. To learn the alignment under environmental changes, the architecture is trained using maps spanning multiple years at high resolution. The evaluation shows that the deep 6DoF-ICLK algorithm outperforms its non-trainable counterparts by a large margin. To further support the research in this field, the real-time rendering engine and accompanying datasets are released along with this publication.


title: Fully-Automated Packaging Structure Recognition in Logistics Environments

abstract: Within a logistics supply chain, a large variety of transported goods need to be handled, recognized and checked at many different network points. Often, huge manual effort is involved in recognizing or verifying packet identity or packaging structure, for instance to check the delivery for completeness. We propose a method for complete automation of packaging structure recognition: Based on a single image, one or multiple transport units are localized and, for each of these transport units, the characteristics, the total number and the arrangement of its packaging units is recognized. Our algorithm is based on deep learning models, more precisely convolutional neural networks for instance segmentation in images, as well as computer vision methods and heuristic components. We use a custom data set of realistic logistics images for training and evaluation of our method. We show that the solution is capable of correctly recognizing the packaging structure in approximately 85% of our test cases, and even more (91%) when focusing on most common package types.


title: R-MNet: A Perceptual Adversarial Network for Image Inpainting

abstract: Facial image inpainting is a problem that is widely studied, and in recent years the introduction of Generative Adversarial Networks, has led to improvements in the field. Unfortunately some issues persists, in particular when blending the missing pixels with the visible ones. We address the problem by proposing a Wasserstein GAN combined with a new reverse mask operator, namely Reverse Masking Network (R-MNet), a perceptual adversarial network for image inpainting. The reverse mask operator transfers the reverse masked image to the end of the encoder-decoder network leaving only valid pixels to be inpainted. Additionally, we propose a new loss function computed in feature space to target only valid pixels combined with adversarial training. These then capture data distributions and generate images similar to those in the training data with achieved realism (realistic and coherent) on the output images. We evaluate our method on publicly available dataset, and compare with state-of-the-art methods. We show that our method is able to generalize to high-resolution inpainting task, and further show more realistic outputs that are plausible to the human visual system when compared with the state-of-the-art methods.


title: Nonlinearity-generated Resilience in Large Complex Systems

abstract: We consider a generic nonlinear extension of May's 1972 model by including all higher-order terms in the expansion around the chosen fixed point (placed at the origin) with random Gaussian coefficients. The ensuing analysis reveals that as long as the origin remains stable, it is surrounded by a "resilience gap": there are no other fixed points within a radius r*>0 and the system is therefore expected to be resilient to a typical initial displacement small in comparison to r*. The radius r* is shown to vanish at the same threshold where the origin loses local stability, revealing a mechanism by which systems close to the tipping point become less resilient. We also find that beyond the resilience radius the number of fixed points in a ball surrounding the original point of equilibrium grows exponentially with N, making systems dynamics highly sensitive to far enough displacements from the origin.


title: Lagrangian dynamics and heat transfer in porous media convection

abstract: We report a numerical study of Rayleigh--B\'enard convection through random porous media using pore-scale modelling, focusing on the Lagrangian dynamics of fluid particles and heat transfer for varied porosities $\phi$. Due to the interaction between the porous medium and the coherent flow structures, the flow is found to be highly heterogeneous, consisting of convection channels with strong flow strength and stagnant regions with low velocities. The modifications of flow field due to porous structure have a significant influence on the dynamics of fluid particles. Evaluation of the particle displacement along the trajectory reveals the emergence of anomalous transport for long times as $\phi$ is decreased, which is associated with the long-time correlation of Lagrangian velocity of the fluid. As porosity is decreased, the cross-correlation between the vertical velocity and temperature fluctuation is enhanced, which reveals a mechanism to enhance the heat transfer in porous media convection.


title: The Augmented Jump Chain -- a sparse representation of time-dependent Markov jump processes

abstract: Modern methods of simulating molecular systems are based on the mathematical theory of Markov operators with a focus on autonomous equilibrated systems. However, non-autonomous physical systems or non-autonomous simulation processes are becoming more and more important. We present a representation of non-autonomous Markov jump processes as autonomous Markov chains on space-time. Augmenting the spatial information of the embedded Markov chain by the temporal information of the associated jump times, we derive the so-called augmented jump chain. The augmented jump chain inherits the sparseness of the infinitesimal generator of the original process and therefore provides a useful tool for studying time-dependent dynamics even in high dimensions. We furthermore discuss possible generalizations and applications to the computation of committor functions and coherent sets in the non-autonomous setting. After deriving the theoretical foundations we illustrate the concepts with a proof-of-concept Galerkin discretization of the transfer operator of the augmented jump chain applied to simple examples.


title: An Analytic Application of Geometric Invariant Theory

abstract: Given a compact K\"ahler manifold, Geometric Invariant Theory is applied to construct analytic GIT-quotients that are local models for a classifying space of (poly)stable holomorphic vector bundles containing the coarse moduli space of stable bundles as an open subspace. For local models invariant generalized Weil-Petersson forms exist on the parameter spaces, which are restrictions of symplectic forms on smooth ambient spaces. If the underlying K\"ahler manifold is of Hodge type, then the Weil-Petersson form on the moduli space of stable vector bundles is known to be the Chern form of a certain determinant line bundle equipped with a Quillen metric. It gives rise to a holomorphic line bundle on the classifying GIT space together with a continuous hermitian metric.


title: Fast fourier transform and multi-Gaussian fitting of XRR data to determine the thickness of ALD grown thin films within the initial growth regime

abstract: While a linear growth behavior is one of the fingerprints of textbook atomic layer deposition processes, the growth often deviates from that behavior in the initial regime, i.e. the first few cycles of a process. To properly understand the growth behavior in the initial regime is particularly important for applications that rely on the exact thickness of very thin films. The determination of the thicknesses of the initial regime, however, often requires special equipment and techniques that are not always available. We propose a thickness determination method that is based on X-ray reflectivity (XRR) measurements on double layer structures, i.e. substrate/base layer/top layer. XRR is a standard thin film characterization method. Utilizing the inherent properties of fast Fourier transformation in combination with a multi-Gaussian fitting routine permits the determination of thicknesses down to $t \approx 2$ nm. We evaluate the boundaries of our model, which are given by the separation and full width at half maximum of the individual Gaussians. Finally, we compare our results from two layer stacks with data from X-ray fluorescence spectroscopy, which is a standard method for measuring ultra thin films.


title: A Comparison of Humanoid Robot Simulators: A Quantitative Approach

abstract: Research on humanoid robotic systems involves a considerable amount of computational resources, not only for the involved design but also for its development and subsequent implementation. For robotic systems to be implemented in real-world scenarios, in several situations, it is preferred to develop and test them under controlled environments in order to reduce the risk of errors and unexpected behavior. In this regard, a more accessible and efficient alternative is to implement the environment using robotic simulation tools. This paper presents a quantitative comparison of Gazebo, Webots, and V-REP, three simulators widely used by the research community to develop robotic systems. To compare the performance of these three simulators, elements such as CPU, memory footprint, and disk access are used to measure and compare them to each other. In order to measure the use of resources, each simulator executes 20 times a robotic scenario composed by a NAO robot that must navigate to a goal position avoiding a specific obstacle. In general terms, our results show that Webots is the simulator with the lowest use of resources, followed by V-REP, which has advantages over Gazebo, mainly because of the CPU use.


title: Bolometer operating at the threshold for circuit quantum electrodynamics

abstract: Radiation sensors based on the heating effect of the absorbed radiation are typically relatively simple to operate and flexible in terms of the input frequency. Consequently, they are widely applied, for example, in gas detection, security, THz imaging, astrophysical observations, and medical applications. A new spectrum of important applications is currently emerging from quantum technology and especially from electrical circuits behaving quantum mechanically. This circuit quantum electrodynamics (cQED) has given rise to unprecedented single-photon detectors and a quantum computer supreme to the classical supercomputers in a certain task. Thermal sensors are appealing in enhancing these devices since they are not plagued by quantum noise and are smaller, simpler, and consume about six orders of magnitude less power than the commonly used traveling-wave parametric amplifiers. However, despite great progress in the speed and noise levels of thermal sensors, no bolometer to date has proven fast and sensitive enough to provide advantages in cQED. Here, we experimentally demonstrate a bolometer surpassing this threshold with a noise equivalent power of $30\, \rm{zW}/\sqrt{\rm{Hz}}$ on par with the current record while providing two-orders of magnitude shorter thermal time constant of 500 ns. Importantly, both of these characteristic numbers have been measured directly from the same device, which implies a faithful estimation of the calorimetric energy resolution of a single 30-GHz photon. These improvements stem from the utilization of a graphene monolayer as the active material with extremely low specific heat. The minimum demonstrated time constant of 200 ns falls greatly below the state-of-the-art dephasing times of roughly 100 {\mu}s for superconducting qubits and meets the timescales of contemporary readout schemes thus enabling the utilization of thermal detectors in cQED.


title: Collective excitations of a spherical ultradilute quantum droplet

abstract: In three dimensions, exotic new state of matter of self-bound ultradilute quantum droplets can be realized in free space, when the mean-field attraction (i.e., with mean-field energy $E_{\textrm{MF}}\propto-n^{2}$ at the density $n$) is balanced by the repulsive beyond-mean-field quantum fluctuations (i.e., $E_{\textrm{BMF}}\propto n^{2+\gamma}$). The parameter $\gamma>0$ typically takes the value $1/2$ if we consider the Lee-Huang-Yang (LHY) energy functional, but it can vary when the beyond-LHY-effect becomes important or the three-body interaction becomes dominant. Here, we theoretically investigate how collective excitations of a three-dimensional quantum droplet are affected by the parameter $\gamma$ and a weak harmonic trapping potential, both of which could be tuned in experiments. We use both the approximate approach based on a Gaussian variational ansatz and the exact numerical solution of the Bogoliubov equations resulting from the linearized time-dependent extended Gross-Pitaevskii equation. We show that one of the key features of quantum droplets, i.e., the existence of the surface modes with dispersion relation $\omega_{s}\propto k^{3/2}$ is very robust with respect to the changes either in the parameter $\gamma$ or in the harmonic trapping potential. We predict the excitation spectrum of the droplet realized by binary $^{39}$K mixtures under the typical experimental conditions, which might be readily measured in current cold-atom laboratories.


title: Near-horizon structure of escape zones of electrically charged particles around weakly magnetized rotating black hole. II. Acceleration and escape in the oblique magnetosphere

abstract: Strong gravity and magnetic fields are key ingredients that power processes of accretion and ejection near compact objects. While the particular mechanisms that operate here are still discussed, it seems that the presence of an ordered magnetic field is crucial for the acceleration and collimation of relativistic jets of electrically charged particles on superhorizon length scales. In this context, we further study the effect of a large-scale magnetic field on the dynamics of charged particles near a rotating black hole. We consider a scenario in which the initially neutral particles on regular geodesic orbits in the equatorial plane are destabilized by a charging process (e.g., by photoionization). Some charged particles are accelerated out of the equatorial plane, and they follow jetlike trajectories with relativistic velocities. In our previous paper, we investigated this scenario for the case of perfect alignment of the magnetic field with the axis of rotation; i.e., the system was considered axisymmetric. Here we relax this assumption and investigate nonaxisymmetric systems in which the magnetic field is arbitrarily inclined with respect to the black hole spin. We study the system numerically in order to locate the zones of escaping trajectories and compute the maximum (terminal) escape velocity. It appears that breaking the axial symmetry (even by small inclination angles) substantially increases the fraction of escaping orbits and allows the acceleration to ultrarelativistic velocities that were excluded in the axisymmetric setup. The presence of transient chaotic dynamics in the launching region of the relativistic outflow is confirmed with chaotic indicators.


title: Procrustes analysis for high-dimensional data

abstract: The Procrustes-based perturbation model (Goodall, 1991) allows minimization of the Frobenius distance between matrices by similarity transformation. However, it suffers from non-identifiability, critical interpretation of the transformed matrices, and inapplicability in high-dimensional data. We provide an extension of the perturbation model focused on the high-dimensional data framework, called the ProMises (Procrustes von Mises-Fisher) model. The ill-posed and interpretability problems are solved by imposing a proper prior distribution for the orthogonal matrix parameter (i.e., the von Mises-Fisher distribution) which is a conjugate prior, resulting in a fast estimation process. Furthermore, we present the Efficient ProMises model for the high-dimensional framework, useful in neuroimaging, where the problem has much more than three dimensions. We found a great improvement in functional magnetic resonance imaging (fMRI) connectivity analysis because the ProMises model permits incorporation of topological brain information in the alignment's estimation process.


title: A PLS blockchain for IoT applications: protocols and architecture

abstract: This paper proposes an architecture and a protocol suite for a permissioned blockchain for a local IoT network. The architecture is based on a sealed Sequencer and a Fog Server running (post-quantum) Guy Fawkes protocols. The blocks of the blockchain are stored in networked Content Addressable Storage alongside any user data and validity proofs. We maintain that a typical IoT device can, despite its resource limitations, use our blockchain protocols directly, without a trusted intermediary. This includes posting and monitoring transactions as well as off-chain (post-quantum) emergency communications without an explicit public key. Keywords: blockchain, Guy Fawkes protocol, post-quantum, HORS-OTS, LoRa, concurrent transmission


title: Neutral-current background induced by atmospheric neutrinos at large liquid-scintillator detectors: I. model predictions

abstract: The experimental searches for diffuse supernova neutrino background and proton decay in next-generation large liquid-scintillator (LS) detectors are competitive with and complementary to those in the water-Cherenkov detectors. In this paper, we carry out a systematic study of the dominant background induced by atmospheric neutrinos via their neutral-current (NC) interactions with the $^{12}{\rm C}$ nuclei in the LS detectors. The atmospheric neutrino fluxes at the location of Jiangmen Underground Neutrino Observatory (JUNO) are used, as the JUNO detector is obviously a suitable representative for future LS detectors. Then, we implement the sophisticated generators \texttt{GENIE} and \texttt{NuWro} to simulate the neutrino interactions with the carbon nuclei, and the package \texttt{TALYS} to deal with the deexcitations of final-state nuclei. Finally, the event rates for the production of additional nucleons, $\gamma$'s, $\alpha$'s, pions and kaons are obtained and categorized, and the systematic uncertainty of the NC background represented by a variety of data-driven nuclear models is estimated. The implications of the NC background from atmospheric neutrinos for the detection of diffuse supernova neutrino background and proton decay are also discussed.


title: FRBs: the Dispersion Measure of Host Galaxies

abstract: Using the results of the IllustrisTNG simulation we estimate the dispersion measure which may be attributed to halos of so called host galaxies of fast radio bursts sources (FRBs). Our results show that in contradiction to assumptions used to show the applicability of FRBs to cosmological tests, both the dispersion measure and its standard deviation calculated for host galaxies with given stellar mass in general increase with the redshift. The effect is not strong and cosmological tests using FRBs will be possible, but to preserve the level of statistical uncertainty the number of FRBs with known redshift in a sample should be increased by 15%--35% depending on circumstances. We show various statistical characteristics of ionized gas surrounding galaxies, the resulting dispersion measure and their dependence on the host galaxy stellar mass, redshift, and the projected distance of a FRB source from its host center. Cosmology: theory -- Galaxies: halos -- large-scale structure of Universe


title: A Unified Framework for Continuous/Discrete Positive/Bounded Real State-Space Systems

abstract: There are four variants of passive, linear time-invariant systems, described by rational functions: Continuous or Discrete time, Positive or Bounded real. By introducing a quadratic matrix inequality formulation, we present a unifying framework for state-space characterization (a.k.a. Kalman-Yakubovich-Popov Lemma) of the above four classes of passive systems. These four families are matrix-convex as rational functions, and a slightly weaker version holds for the corresponding balanced, state-space realization arrays.


title: A Comparison of Synthetic Oversampling Methods for Multi-class Text Classification

abstract: The authors compared oversampling methods for the problem of multi-class topic classification. The SMOTE algorithm underlies one of the most popular oversampling methods. It consists in choosing two examples of a minority class and generating a new example based on them. In the paper, the authors compared the basic SMOTE method with its two modifications (Borderline SMOTE and ADASYN) and random oversampling technique on the example of one of text classification tasks. The paper discusses the k-nearest neighbor algorithm, the support vector machine algorithm and three types of neural networks (feedforward network, long short-term memory (LSTM) and bidirectional LSTM). The authors combine these machine learning algorithms with different text representations and compared synthetic oversampling methods. In most cases, the use of oversampling techniques can significantly improve the quality of classification. The authors conclude that for this task, the quality of the KNN and SVM algorithms is more influenced by class imbalance than neural networks.


title: Real-Time Sign Language Detection using Human Pose Estimation

abstract: We propose a lightweight real-time sign language detection model, as we identify the need for such a case in videoconferencing. We extract optical flow features based on human pose estimation and, using a linear classifier, show these features are meaningful with an accuracy of 80%, evaluated on the DGS Corpus. Using a recurrent model directly on the input, we see improvements of up to 91% accuracy, while still working under 4ms. We describe a demo application to sign language detection in the browser in order to demonstrate its usage possibility in videoconferencing applications.


title: PlugSonic: a web- and mobile-based platform for binaural audio and sonic narratives

abstract: PlugSonic is a suite of web- and mobile-based applications for the curation and experience of binaural interactive soundscapes and sonic narratives. It was developed as part of the PLUGGY EU project (Pluggable Social Platform for Heritage Awareness and Participation) and consists of two main applications: PlugSonic Sample, to edit and apply audio effects, and PlugSonic Soundscape, to create and experience binaural soundscapes. The audio processing within PlugSonic is based on the Web Audio API and the 3D Tune-In Toolkit, while the exploration of soundscapes in a physical space is obtained using Apple's ARKit. In this paper we present the design choices, the user involvement processes and the implementation details. The main goal of PlugSonic is technology democratisation; PlugSonic users - whether institutions or citizens - are all given the instruments needed to create, process and experience 3D soundscapes and sonic narrative; without the need for specific devices, external tools (software and/or hardware), specialised knowledge or custom development. The evaluation, which was conducted with inexperienced users on three tasks - creation, curation and experience - demonstrates how PlugSonic is indeed a simple, effective, yet powerful tool.


title: Measuring Energy-saving Technological Change: International Trends and Differences

abstract: Technological change is essential to balance economic growth and environmental sustainability. This study documents energy-saving technological change to understand the trends and differences therein in OECD countries. We estimate sector-level production functions with factor-augmenting technologies using cross-country and cross-industry panel data and shift-share instruments, thereby measuring energy-saving technological change for each country and sector. Our results show how the levels and growth rates of energy-saving technology vary across countries, sectors, and time. In addition, we evaluate the extent to which factor-augmenting technologies contribute to economic growth and how this contribution differs across countries and sectors.


title: High-concurrency Custom-build Relational Database System's design and SQL parser design based on Turing-complete automata

abstract: Database system is an indispensable part of software projects. It plays an important role in data organization and storage. Its performance and efficiency are directly related to the performance of software. Nowadays, we have many general relational database systems that can be used in our projects, such as SQL Server, MySQL, Oracle, etc. It is undeniable that in most cases, we can easily use these database systems to complete our projects, but considering the generality, the general database systems often can't play the ultimate speed and fully adapt to our projects. In very few projects, we will need to design a database system that fully adapt to our projects and have a high efficiency and concurrency. Therefore, it is very important to consider a feasible solution of designing a database system (We only consider the relational database system here). Meanwhile, for a database system, SQL interpretation and execution module is necessary. According to the theory of formal language and automata, the realization of this module can be completed by automata. In our experiment, we made the following contributions: 1) We designed a small relational database, and used the database to complete a highly concurrent student course selection system. 2) We design a general automaton module, which can complete the operation from parsing to execution. The using of strategy model and event driven design scheme is used and some improvement on general automata, for example a memory like structure is added to automata to make it better to store context. All these make the automata model can be used in a variety of occasions, not only the parsing and execution of SQL statements.


title: Direct observation and evolution of electronic coupling between organic semiconductors

abstract: The electronic wavefunctions of an atom or molecule are affected by its interactions with its environment. These interactions dictate electronic and optical processes at interfaces, and is especially relevant in the case of thin film optoelectronic devices such as organic solar cells. In these devices, charge transport and interfaces between multiple layers occur along the thickness or vertical direction, and thus such electronic interactions are crucial in determining the device properties. Here, we introduce a new in-situ spectroscopic ellipsometry data analysis method called DART with the ability to directly probe electronic coupling due to intermolecular interactions along the thickness direction using vacuum-deposited organic semiconductor thin films as a model system. The analysis, which does not require any model fitting, reveals direct observations of electronic coupling between frontier orbitals under optical excitations leading to delocalization of the corresponding electronic wavefunctions with thickness or, equivalently, number of molecules away from the interface in C60 and MeO-TPD deposited on an insulating substrate (SiO2). Applying the same methodology for C60 deposited on phthalocyanine thin films, the analyses shows strong, anomalous features - in comparison to C60 deposited on SiO2 - of the electronic wavefunctions corresponding to specific excitation energies in C60 and phthalocyanines. Translation of such interactions in terms of dielectric constants reveals plasmonic type resonance absorptions resulting from oscillations of the excited state wavefunctions between the two materials across the interface. Finally, reproducibility, angstrom-level sensitivity and simplicity of the method are highlighted showcasing its applicability for studying electronic coupling between any vapor-deposited material systems where real-time measurements during deposition are possible.

categories: cond-mat.mtrl-sci cond-mat.mes-hall cond-mat.soft physics.app-ph


title: Analytical Approach to Phonon Calculations in the SCC-DFTB Framework

abstract: Detailed derivation of the analytical, reciprocal-space approach of Hessian calculation within the self-consistent-charge density functional based tight-binding framework (SCC-DFTB) is presented. This approach provides an accurate and efficient way for obtaining the SCC-DFTB Hessian of periodic systems. Its superiority with respect to the traditional numerical force differentiation method is demonstrated for doped graphene, graphene nanoribbons, boron-nitride nanotubes, bulk zinc-oxide and other systems.


title: Probing the QCD phase structure using event-by-event fluctuations

abstract: Heavy-ion collisions at relativistic energies probe matter at extreme conditions of temperatures and energy densities. The study of event-by-event fluctuations of experimental observables is crucial to probe the QCD phase transition, locate the critical point, and learn about the associated critical phenomena. At the critical point, all thermodynamic quantities behave anomalously. Fluctuation measurements provide access to thermodynamic response functions. We discuss the methods for obtaining the isothermal compressibility using particle multiplicity fluctuation, and specific heat using fluctuations in mean transverse momentum, temperature, and energy. Lattice QCD calculations have predicted non-monotonic behavior in the higher-order cumulants of conserved quantities at the critical point. Fluctuations in the multiplicity of charged to neutral particles have been measured to understand the formation of domains of disoriented chiral condensates. We review the recent fluctuation results as a function of collision centrality and energy from experiments at SPS, RHIC, and LHC. In addition, we propose to map the temperature fluctuations in eta-phi plane to probe local fluctuations of temperature and energy density.


title: Residual Generation Using Physically-Based Grey-Box Recurrent Neural Networks For Engine Fault Diagnosis

abstract: Data-driven fault diagnosis is complicated by unknown fault classes and limited training data from different fault realizations. In these situations, conventional multi-class classification approaches are not suitable for fault diagnosis. One solution is the use of anomaly classifiers that are trained using only nominal data. Anomaly classifiers can be used to detect when a fault occurs but give little information about its root cause. Hybrid fault diagnosis methods combining physically-based models and available training data have shown promising results to improve fault classification performance and identify unknown fault classes. Residual generation using grey-box recurrent neural networks can be used for anomaly classification where physical insights about the monitored system are incorporated into the design of the machine learning algorithm. In this work, an automated residual design is developed using a bipartite graph representation of the system model to design grey-box recurrent neural networks and evaluated using a real industrial case study. Data from an internal combustion engine test bench is used to illustrate the potentials of combining machine learning and model-based fault diagnosis techniques.


title: Ionisation rate and Stark shift of a one-dimensional model of the Hydrogen molecular ion

abstract: In this paper we study the ionization rate and the Stark shift of a one-dimensional model of the H$_{2}^{+}$ ion. The finding of these two quantities is reduced to the solutions of a complex eigenvalue problem. We solve this problem both numerically and analytically. In the latter case we consider the regime of small external electrostatic fields and small internuclear distances. We find an excellent agreement between the ionization rate computed with the two approaches, even when the approximate result is pushed beyond its expected validity. The ionization rate is very sensitive to small changes of the external electrostatic field, spanning many orders of magnitude for small changes of the intensity of the external field. The dependence of the ionization on the internuclear distance is also studied, as this has a direct connection with experimental methods in molecular physics. It is shown that for large distances the ionization rate saturates, which is a direct consequence of the behavior of the energy eigenvalue with the internuclear distance. The Stark shift is computed and from it we extract the static polarizability of H$_{2}^{+}$ and compare our results with those found by other authors using more sophisticated methods.


title: Learning to Cluster under Domain Shift

abstract: While unsupervised domain adaptation methods based on deep architectures have achieved remarkable success in many computer vision tasks, they rely on a strong assumption, i.e. labeled source data must be available. In this work we overcome this assumption and we address the problem of transferring knowledge from a source to a target domain when both source and target data have no annotations. Inspired by recent works on deep clustering, our approach leverages information from data gathered from multiple source domains to build a domain-agnostic clustering model which is then refined at inference time when target data become available. Specifically, at training time we propose to optimize a novel information-theoretic loss which, coupled with domain-alignment layers, ensures that our model learns to correctly discover semantic labels while discarding domain-specific features. Importantly, our architecture design ensures that at inference time the resulting source model can be effectively adapted to the target domain without having access to source data, thanks to feature alignment and self-supervision. We evaluate the proposed approach in a variety of settings, considering several domain adaptation benchmarks and we show that our method is able to automatically discover relevant semantic information even in presence of few target samples and yields state-of-the-art results on multiple domain adaptation benchmarks.


title: Measure the Impact of Institution and Paper via Institution-citation Network

abstract: This paper investigates the impact of institutes and papers over time based on the heterogeneous institution-citation network. A new model, IPRank, is introduced to measure the impact of institution and paper simultaneously. This model utilises the heterogeneous structural measure method to unveil the impact of institution and paper, reflecting the effects of citation, institution, and structural measure. To evaluate the performance, the model first constructs a heterogeneous institution-citation network based on the American Physical Society (APS) dataset. Subsequently, PageRank is used to quantify the impact of institution and paper. Finally, impacts of same institution are merged, and the ranking of institutions and papers is calculated. Experimental results show that the IPRank model better identifies universities that host Nobel Prize laureates, demonstrating that the proposed technique well reflects impactful research.


title: Author Impact: Evaluations, Predictions, and Challenges

abstract: Author impact evaluation and prediction play a key role in determining rewards, funding, and promotion. In this paper, we first introduce the background of author impact evaluation and prediction. Then, we review recent developments of author impact evaluation, including data collection, data pre-processing, data analysis, feature selection, algorithm design, and algorithm evaluation. Thirdly, we provide an in-depth literature review on author impact predictive models and common evaluation metrics. Finally, we look into the representative research issues, including author impact inflation, unified evaluation standards, academic success gene, identification of the origins of hot streaks, and higher-order academic networks analysis. This paper should help the researchers obtain a broader understanding in author impact evaluation and prediction, and provides future research directions.


title: Quantifying Success in Science: An Overview

abstract: Quantifying success in science plays a key role in guiding funding allocations, recruitment decisions, and rewards. Recently, a significant amount of progresses have been made towards quantifying success in science. This lack of detailed analysis and summary continues a practical issue. The literature reports the factors influencing scholarly impact and evaluation methods and indices aimed at overcoming this crucial weakness. We focus on categorizing and reviewing the current development on evaluation indices of scholarly impact, including paper impact, scholar impact, and journal impact. Besides, we summarize the issues of existing evaluation methods and indices, investigate the open issues and challenges, and provide possible solutions, including the pattern of collaboration impact, unified evaluation standards, implicit success factor mining, dynamic academic network embedding, and scholarly impact inflation. This paper should help the researchers obtaining a broader understanding of quantifying success in science, and identifying some potential research directions.


title: A Simple Cooperative Platooning Controller for Connected Vehicles

abstract: Urban traffic congestion is a chronic problem faced by many cities. It is essentially inefficient infrastructure use which results in increased vehicle fuel consumption and emissions. This in turn adds extra costs to commuters and businesses. Addressing this issue is therefore of paramount interest due to the perceived dual benefit. Many technologies were and are being developed. These include adaptive traffic signals, dedicated lanes, etc. This paper presents a simple platooning algorithm that maintains relatively small distances (pre-specified time gap) between consecutive vehicles to enhance mobility, increase transportation capacity and ultimately reduce travel costs. Several dynamic and kinematic constraints governing the motion of vehicles are also accounted for. These include acceleration, velocity, and distance constraints. This developed logic was tested on highways that traverse the downtown area of Los Angeles. Depending on the market penetration rate of connected automated vehicles versus non-connected automated vehicles, a reduction in travel time, delay and fuel consumed across the city can be observed. Vehicles are expected to reach their destination in less travel time, delay and consumed fuel. The reduction percentages range from 0 to 5 percent, 0 to 9.4 percent, and 2.58 to 8.17 percent, respectively.


title: A Survey on Human-centric Communications in Non-cooperative Wireless Relay Networks

abstract: The performance of data delivery in wireless relay networks (WRNs), such as delay-tolerant networks and device-to-device communications heavily relies on the cooperation of mobile nodes (i.e., users and their carried devices). However, selfish nodes may refuse to relay data to others or share their resources with them due to various reasons, such as resource limitations or social preferences. Meanwhile, misbehaving nodes can launch different types of internal attacks (e.g., blackhole and trust-related attacks) to disrupt the normal operation of the network. Numerous mechanisms have been recently proposed to establish secure and efficient communications in WRNs in the presence of selfish and malicious nodes (referred as non-cooperative WRNs). In this paper, we present an in-depth survey on human-centric communication challenges and solutions in the non-cooperative WRNs that focuses on: (1) an overview of the non-cooperative WRNs and introduction to various types of node selfish and malicious behaviors, (2) the impact analysis of node selfish and malicious behaviors on the performance of data forwarding and distribution, (3) selfish and malicious node detection and defense systems, and (4) incentive mechanisms. Finally, we discuss several open problems and future research challenges.


title: Scientific Article Recommendation: Exploiting Common Author Relations and Historical Preferences

abstract: Scientific article recommender systems are playing an increasingly important role for researchers in retrieving scientific articles of interest in the coming era of big scholarly data. Most existing studies have designed unified methods for all target researchers and hence the same algorithms are run to generate recommendations for all researchers no matter which situations they are in. However, different researchers may have their own features and there might be corresponding methods for them resulting in better recommendations. In this paper, we propose a novel recommendation method which incorporates information on common author relations between articles (i.e., two articles with the same author(s)). The rationale underlying our method is that researchers often search articles published by the same author(s). Since not all researchers have such author-based search patterns, we present two features, which are defined based on information about pairwise articles with common author relations and frequently appeared authors, to determine target researchers for recommendation. Extensive experiments we performed on a real-world dataset demonstrate that the defined features are effective to determine relevant target researchers and the proposed method generates more accurate recommendations for relevant researchers when compared to a Baseline method.


title: Socially-Aware Conference Participant Recommendation with Personality Traits

abstract: As a result of the importance of academic collaboration at smart conferences, various researchers have utilized recommender systems to generate effective recommendations for participants. Recent research has shown that the personality traits of users can be used as innovative entities for effective recommendations. Nevertheless, subjective perceptions involving the personality of participants at smart conferences are quite rare and haven't gained much attention. Inspired by the personality and social characteristics of users, we present an algorithm called Socially and Personality Aware Recommendation of Participants (SPARP). Our recommendation methodology hybridizes the computations of similar interpersonal relationships and personality traits among participants. SPARP models the personality and social characteristic profiles of participants at a smart conference. By combining the above recommendation entities, SPARP then recommends participants to each other for effective collaborations. We evaluate SPARP using a relevant dataset. Experimental results confirm that SPARP is reliable and outperforms other state-of-the-art methods.


title: PIS: A Multi-dimensional Routing Protocol for Socially-aware Networking

abstract: Socially-aware networking is an emerging paradigm for intermittently connected networks consisting of mobile users with social relationships and characteristics. In this setting, humans are the main carriers of mobile devices. Hence, their connections, social features, and behaviors can be exploited to improve the performance of data forwarding protocols. In this paper, we first explore the impact of three social features, namely physical proximity, user interests, and social relationship on users' daily routines. Then, we propose a multi-dimensional routing protocol called Proximity-Interest-Social (PIS) protocol in which the three different social dimensions are integrated into a unified distance function in order to select optimal intermediate data carriers. PIS protocol utilizes a time slot management mechanism to discover users' movement similarities in different time periods during a day. We compare the performance of PIS to Epidemic, PROPHET, and SimBet routing protocols using SIGCOMM09 and INFOCOM06 data sets. The experiment results show that PIS outperforms other benchmark routing protocols with the highest data delivery ratio with a low communication overhead.


title: Enumerating extreme points of the polytopes of stochastic tensors: an optimization approac

abstract: This paper is concerned with the extreme points of the polytopes of stochastic tensors. By a tensor we mean a multi-dimensional array over the real number field. A line-stochastic tensor is a nonnegative tensor in which the sum of all entries on each line (i.e., one free index) is equal to 1; a plane-stochastic tensor is a nonnegative tensor in which the sum of all entries on each plane (i.e., two free indices) is equal to 1. In enumerating extreme points of the polytopes of line- and plane-stochastic tensors of order 3 and dimension $n$, we consider the approach by linear optimization and present new lower and upper bounds. We also study the coefficient matrices that define the polytopes.


title: AHP-Net: adaptive-hyper-parameter deep learning based image reconstruction method for multilevel low-dose CT

abstract: Low-dose CT (LDCT) imaging is desirable in many clinical applications to reduce X-ray radiation dose to patients. Inspired by deep learning (DL), a recent promising direction of model-based iterative reconstruction (MBIR) methods for LDCT is via optimization-unrolling DL-regularized image reconstruction, where pre-defined image prior is replaced by learnable data-adaptive prior. However, LDCT is clinically multilevel, since clinical scans have different noise levels that depend of scanning site, patient size, and clinical task. Therefore, this work aims to develop an adaptive-hyper-parameter DL-based image reconstruction method (AHP-Net) that can handle multilevel LDCT of different noise levels. AHP-Net unrolls a half-quadratic splitting scheme with learnable image prior built on framelet filter bank, and learns a network that automatically adjusts the hyper-parameters for various noise levels. As a result, AHP-Net provides a single universal training model that can handle multilevel LDCT. Extensive experimental evaluations using clinical scans suggest that AHP-Net outperformed conventional MBIR techniques and state-of-the-art deep-learning-based methods for multilevel LDCT of different noise levels.


title: Monitoring clumpy wind accretion in supergiant fast X-ray transients with XMM-Newto

abstract: Supergiant fast X-ray transients (SFXTs) are a sub-class of supergiant high mass X-ray binaries hosting a neutron star accreting from the stellar wind of a massive OB companion. Compared to the classical systems, SFXTs display a pronounced variability in X-rays that has long been (at least partly) ascribed to the presence of clumps in the stellar wind. We report here on the first set of results of an on-going XMM-Newton observational program aimed at searching for spectroscopic variability during the X-ray flares and outbursts of the SFXTs. The goal of the paper is to present the observational program and show that the obtained results are according to expectations, with a number of flares (between one and four) generally observed per source and per observation (20~ks-long, on average). We base our work on a systematic and uniform analysis method optimized to consistently search for spectral signatures of a variable absorption column density, as well as other parameters of the spectral continuum. Our preliminary results show that the program is successful and the outcomes of the analysis support previous findings that most of the X-ray flares seem associated to the presence of a massive structure approaching and getting accreted by the compact object. However, we cannot rule out that other mechanisms are at work together with clumps to enhance the X-ray variability of SFXTs. This is expected according to current theoretical models. The success of these observations shows that our observational program can be a powerful instrument to deepen our understanding of the X-ray variability in SFXTs. Further observations will help us in achieving a statistically robust sample. This is required to conduct, in the future, a systematic analysis on the whole SFXT class with the ultimate goal of disentangling the role of different mechanisms giving rise to these events.


title: Transfer Learning for Improving Singing-voice Detection in Polyphonic Instrumental Music

abstract: Detecting singing-voice in polyphonic instrumental music is critical to music information retrieval. To train a robust vocal detector, a large dataset marked with vocal or non-vocal label at frame-level is essential. However, frame-level labeling is time-consuming and labor expensive, resulting there is little well-labeled dataset available for singing-voice detection (S-VD). Hence, we propose a data augmentation method for S-VD by transfer learning. In this study, clean speech clips with voice activity endpoints and separate instrumental music clips are artificially added together to simulate polyphonic vocals to train a vocal/non-vocal detector. Due to the different articulation and phonation between speaking and singing, the vocal detector trained with the artificial dataset does not match well with the polyphonic music which is singing vocals together with the instrumental accompaniments. To reduce this mismatch, transfer learning is used to transfer the knowledge learned from the artificial speech-plus-music training set to a small but matched polyphonic dataset, i.e., singing vocals with accompaniments. By transferring the related knowledge to make up for the lack of well-labeled training data in S-VD, the proposed data augmentation method by transfer learning can improve S-VD performance with an F-score improvement from 89.5% to 93.2%.


title: S-vectors and TESA: Speaker Embeddings and a Speaker Authenticator Based on Transformer Encoder

abstract: One of the most popular speaker embeddings is x-vectors, which are obtained from an architecture that gradually builds a larger temporal context with layers. In this paper, we propose to derive speaker embeddings from Transformer's encoder trained for speaker classification. Self-attention, on which Transformer's encoder is built, attends to all the features over the entire utterance and might be more suitable in capturing the speaker characteristics in an utterance. We refer to the speaker embeddings obtained from the proposed speaker classification model as s-vectors to emphasize that they are obtained from an architecture that heavily relies on self-attention. Through experiments, we demonstrate that s-vectors perform better than x-vectors. In addition to the s-vectors, we also propose a new architecture based on Transformer's encoder for speaker verification as a replacement for speaker verification based on conventional probabilistic linear discriminant analysis (PLDA). This architecture is inspired by the next sentence prediction task of bidirectional encoder representations from Transformers (BERT), and we feed the s-vectors of two utterances to verify whether they belong to the same speaker. We name this architecture the Transformer encoder speaker authenticator (TESA). Our experiments show that the performance of s-vectors with TESA is better than s-vectors with conventional PLDA-based speaker verification.


title: The Origin of Elements from Carbon to Uranium

abstract: To reach a deeper understanding of the origin of elements in the periodic table, we construct Galactic chemical evolution (GCE) models for all stable elements from C (A=12) to U (A=238) from first principles, i.e., using theoretical nucleosynthesis yields and event rates of all chemical enrichment sources. This enables us to predict the origin of elements as a function of time and environment. In the solar neighborhood, we find that stars with initial masses of M>30M_\odot can become failed supernovae if there is a significant contribution from hypernovae (HNe) at M~20-50M_\odot. The contribution to GCE from super asymptotic giant branch (AGB) stars (with M~8-10M_\odot at solar metallicity) is negligible, unless hybrid white dwarfs from low-mass super-AGB stars explode as so-called Type Iax supernovae, or high-mass super-AGB stars explode as electron-capture supernovae (ECSNe). Among neutron-capture elements, the observed abundances of the second (Ba) and third (Pb) peak elements are well reproduced with our updated yields of the slow neutron-capture process (s-process) from AGB stars. The first peak elements, Sr, Y, and Zr, are sufficiently produced by ECSNe together with AGB stars. Neutron star mergers can produce rapid neutron-capture process (r-process) elements up to Th and U, but the timescales are too long to explain observations at low metallicities. The observed evolutionary trends, such as for Eu, can well be explained if ~3% of 25-50 M_\odot hypernovae are magneto-rotational supernovae producing r-process elements. Along with the solar neighborhood, we also predict the evolutionary trends in the halo, bulge, and thick disk for future comparison with galactic archaeology surveys.


title: Analytic properties of electromagnetic field of binary compact stars and electromagnetic precursors to gravitational waves

abstract: We analytically study the properties of the electromagnetic field in vacuum around close binary compact stars containing at least one neutron star. We show that the orbital motion of the neutron star induces high multipole modes of the electromagnetic field just before the merger. These modes are superimposed to form a spiral arm configuration and its edge is found to be a likely site for magnetic reconnection. These modes also enhance the total Poynting flux from neutron star binaries by a factor of 2--4. We also indicate that the electric field induced by the orbital motion lead to a magnetosphere around binaries and estimate its plasma density, which has a different parameter dependence than Goldreich-Julian density. With these properties, we discuss possible electromagnetic counterparts to gravitational wave events, and identify radio precursors, such as fast radio bursts, as the most promising observational targets.


title: S2OSC: A Holistic Semi-Supervised Approach for Open Set Classification

abstract: Open set classification (OSC) tackles the problem of determining whether the data are in-class or out-of-class during inference, when only provided with a set of in-class examples at training time. Traditional OSC methods usually train discriminative or generative models with in-class data, then utilize the pre-trained models to classify test data directly. However, these methods always suffer from embedding confusion problem, i.e., partial out-of-class instances are mixed with in-class ones of similar semantics, making it difficult to classify. To solve this problem, we unify semi-supervised learning to develop a novel OSC algorithm, S2OSC, that incorporates out-of-class instances filtering and model re-training in a transductive manner. In detail, given a pool of newly coming test data, S2OSC firstly filters distinct out-of-class instances using the pre-trained model, and annotates super-class for them. Then, S2OSC trains a holistic classification model by combing in-class and out-of-class labeled data and remaining unlabeled test data in semi-supervised paradigm, which also integrates pre-trained model for knowledge distillation to further separate mixed instances. Despite its simplicity, the experimental results show that S2OSC achieves state-of-the-art performance across a variety of OSC tasks, including 85.4% of F1 on CIFAR-10 with only 300 pseudo-labels. We also demonstrate how S2OSC can be expanded to incremental OSC setting effectively with streaming data.


title: Superfluidity of Light and its Break-Down in Optical Mesh Lattices

abstract: Hydrodynamic phenomena can be observed with light thanks to the analogy between quantum gases and nonlinear optics. In this Letter, we report an experimental study of the superfluid-like properties of light in a (1+1)-dimensional nonlinear optical mesh lattice, where the arrival time of optical pulses plays the role of a synthetic spatial dimension. A spatially narrow defect at rest is used to excite sound waves in the fluid of light and measure the sound speed. The critical velocity for superfluidity is probed by looking at the threshold in the deposited energy by a moving defect, above which the apparent superfluid behaviour breaks down. Our observations establish optical mesh lattices as a promising platform to study fluids of light in novel regimes of interdisciplinary interest, including non-Hermitian and/or topological physics.


title: Study of ground state properties of carbon isotopes with deformed relativistic Hartree-Bogoliubov theory in continuum

abstract: Ground state properties of carbon isotopes, including root-mean-square radii, neutron separation energies, single particle spectra, and shapes are systematically studied with the deformed relativistic Hartree-Bogoliubov theory in continuum. The calculations with the effective interaction PK1 reproduce the available data reasonably well. The shell evolution in this isotopic chain is investigated by examining the single particle spectra. The inversion of neutron orbitals $\nu 2s_{1/2}$ and $\nu 1d_{5/2}$ compared with the order of neutron orbitals in stable nuclei is revealed in $^{15-20,22}\mathrm{C}$ when these nuclei are constrained to spherical shape. Neutron halos in $^{15,19,22}$C are studied in detail and their halo structures are mainly caused by the inversion of ($\nu 2s_{1/2},\nu 1d_{5/2}$) and deformation effects. In particular, $^{15}$C and $^{22}$C are deformed halo nuclei with shape decoupling effects in ground states.


title: $\tau$ lepton mass measurement at Belle II

abstract: The reconstruction of tau-pair production, $e^{+}e^{-} \to \tau^{+}\tau^{-}$, from the subsequent 3-prong ($\tau^{+} \rightarrow \pi^{+} \pi^{-} \pi^{+} \bar{\nu}_{\tau}$) and 1-prong ($\tau^{-} \to \ell^{-} \bar{\nu}_{\ell} \nu_{\tau}$, $\tau^{-} \to h^{-} \nu_{\tau}$ or $\tau^{-} \to \pi^{-} \pi^0 \nu_{\tau}$) decays, is presented using 8.8 fb$^{-1}$ of $e^{+}e^{-}$ collision data of Belle II at the center-of-mass energy $\sqrt{s} = m_{\Upsilon(4S)}$. The pseudomass technique developed by the ARGUS experiment is used to measure the $\tau$-lepton mass $m_{\tau}$ in the 3-prong $\tau^{+} \to \pi^{+} \pi^{-} \pi^{+} \bar{\nu}_{\tau} $ decay, resulting in $m_{\tau} = 1777.28 \pm 0.75~{\rm (stat.)} \pm 0.33 ~{\rm (sys.)}~{\rm{MeV}/\rm{c}^2}$.


title: Unsupervised machine learning for transient discovery in Deeper, Wider, Faster light curves

abstract: Identification of anomalous light curves within time-domain surveys is often challenging. In addition, with the growing number of wide-field surveys and the volume of data produced exceeding astronomers ability for manual evaluation, outlier and anomaly detection is becoming vital for transient science. We present an unsupervised method for transient discovery using a clustering technique and the Astronomaly package. As proof of concept, we evaluate 85553 minute-cadenced light curves collected over two 1.5 hour periods as part of the Deeper, Wider, Faster program, using two different telescope dithering strategies. By combining the clustering technique HDBSCAN with the isolation forest anomaly detection algorithm via the visual interface of Astronomaly, we are able to rapidly isolate anomalous sources for further analysis. We successfully recover the known variable sources, across a range of catalogues from within the fields, and find a further 7 uncatalogued variables and two stellar flare events, including a rarely observed ultra fast flare (5 minute) from a likely M-dwarf.


title: On the Complexity of the Universality and Inclusion Problems for Unambiguous Context-Free Grammars

abstract: We study the computational complexity of universality and inclusion problems for unambiguous finite automata and context-free grammars. We observe that several such problems can be reduced to the universality problem for unambiguous context-free grammars. The latter problem has long been known to be decidable and we propose a PSPACE algorithm that works by reduction to the zeroness problem of recurrence equations with convolution. We are not aware of any non-trivial complexity lower bounds. However, we show that computing the coin-flip measure of an unambiguous context-free language, a quantitative generalisation of universality, is hard for the long-standing open problem SQRTSUM.