title: Global sensitivity analysis for stochastic simulators based on generalized lambda surrogate models

abstract: Global sensitivity analysis aims at quantifying the impact of input variability onto the variation of the response of a computational model. It has been widely applied to deterministic simulators, for which a set of input parameters has a unique corresponding output value. Stochastic simulators, however, have intrinsic randomness due to their use of (pseudo)random numbers, so they give different results when run twice with the same input parameters but non-common random numbers. Due to this random nature, conventional Sobol' indices, used in global sensitivity analysis, can be extended to stochastic simulators in different ways. In this paper, we discuss three possible extensions and focus on those that depend only on the statistical dependence between input and output. This choice ignores the detailed data generating process involving the internal randomness, and can thus be applied to a wider class of problems. We propose to use the generalized lambda model to emulate the response distribution of stochastic simulators. Such a surrogate can be constructed without the need for replications. The proposed method is applied to three examples including two case studies in finance and epidemiology. The results confirm the convergence of the approach for estimating the sensitivity indices even with the presence of strong heteroskedasticity and small signal-to-noise ratio.


title: Gravitational memory effects and Bondi-Metzner-Sachs symmetries in scalar-tensor theories

abstract: The relation between gravitational memory effects and Bondi-Metzner-Sachs symmetry of the asymptotically flat spacetimes is studied in the scalar-tensor theory. For this purpose, the solutions to the equations of motion near the future null infinity are obtained in the generalized Bondi-Sachs coordinates with a suitable determinant condition. It turns out that the Bondi-Metzner-Sachs group is also a semi-direct product of an infinitesimal dimensional supertranslation group and the Lorentz group as in general relativity. There are also degenerate vacua in both the tensor and the scalar sectors in the scalar-tensor theory. The supertranslation relates the vacua in the tensor sector, while in the scalar sector, it is the Lorentz transformation that transforms the vacua to each other. So there are the tensor memory effect similar to the one in general relativity, and the scalar memory effect, which is new. The evolution equations for the Bondi mass and angular momentum aspects suggest that the null energy fluxes and the angular momentum fluxes across the null infinity induce the transition among the vacua in the tensor and the scalar sectors, respectively.


title: Almost exact state transfer in a spin chain via pulse control

abstract: Quantum communication through spin chains has been extensively investigated. In this scenario, state transfer through linearly arranged spins connected by uniform nearest-neighbor couplings qualifies as a natural choice, with minimal control requirements. However, quantum states usually cannot be perfectly transferred through a uniformly coupled chain due to the dispersion of the chain. Here, we propose an effective quantum control technique to realize almost exact state transfer (AEST) in a quantum spin chain. The strategy is to add a leakage elimination operator (LEO) Hamiltonian to the evolution, which implements a sequence of pulse control acting on a perfect state transfer subspace. By using the one-component Feshbach PQ partitioning technique, we obtain the conditions over the required pulses. AEST through a spin chain can then be obtained under a suitable pulse intensity and duration.


title: The Interior Volume of Kerr-AdS Black Holes

abstract: The interior volume of black holes as defined by Christodoulou and Rovelli exhibits many surprising features. For example, it increases with time, even under Hawking evaporation. For some black holes, the interior volume is not even a monotonic increasing function of its area, which means one cannot infer how large a black hole is by just looking from the outside. Such a notion of volume, however, turns out to be useful in the context of holography, as it seems to be dual to the complexity of the boundary field theory. In this study, we investigate the properties of the interior volume of 4-dimensional Kerr-AdS black holes, fixing either the mass parameter $M$ or the physical mass $E$, whilst varying the values of the cosmological constant. We found that the volume as a function of the radial coordinate features a "double lobe" while fixing $M$, whereas fixing $E$ yields behaviors that are qualitatively similar to the asymptotically flat case. We briefly comment on the holographic complexity of Kerr-AdS black holes.


title: A sharp-front moving boundary model for malignant invasion

abstract: We analyse a novel mathematical model of malignant invasion which takes the form of a two-phase moving boundary problem describing the invasion of a population of malignant cells into a population of background tissue, such as skin. Cells in both populations undergo diffusive migration and logistic proliferation. The interface between the two populations moves according to a two-phase Stefan condition. Unlike many reaction-diffusion models of malignant invasion, the moving boundary model explicitly describes the motion of the sharp front between the cancer and surrounding tissues without needing to introduce degenerate nonlinear diffusion. Numerical simulations suggest the model gives rise to very interesting travelling wave solutions that move with speed $c$, and the model supports both malignant invasion and malignant retreat, where the travelling wave can move in either the positive or negative $x$-directions. Unlike the well-studied Fisher-Kolmogorov and Porous-Fisher models where travelling waves move with a minimum wave speed $c \ge c^* > 0$, the moving boundary model leads to travelling wave solutions with $|c| < c^{**}$. We interpret these travelling wave solutions in the phase plane and show that they are associated with several features of the classical Fisher-Kolmogorov phase plane that are often disregarded as being nonphysical. We show, numerically, that the phase plane analysis compares well with long time solutions from the full partial differential equation model as well as providing accurate perturbation approximations for the shape of the travelling waves.


title: The structure of sandpile groups of outerplanar graphs

abstract: We compute the sandpile groups of families of planar graphs having a common weak dual by evaluating the indeterminates of the critical ideals of the weak dual at the lengths of the cycles bounding the interior faces. This method allow us to determine the algebraic structure of the sandpile groups of outerplanar graphs, and can be used to compute the sandpile groups of many other planar graph families. Finally, we compute the identity element for the sandpile groups of the dual graphs of many outerplane graphs.


title: Mixed QCD$\otimes$QED corrections to exclusive Drell Yan production using the $q_T$-subtraction method

abstract: In this work we extend the $q_T$-subtraction formalism, originally developed for QCD corrections, to the case of mixed QCD$\otimes$QED corrections, and apply it to the fully exclusive calculation of the ${\cal{O}}(\alpha_s\alpha)$ contribution to the production of an off-shell $Z$ boson in hadronic collisions. We present explicit results for the subtraction term and the hard factor, therefore providing all the ingredients needed for the application of the formalism up to ${\cal{O}}(\alpha_s\alpha)$. To study the phenomenological impact we consider the decay of the off-shell $Z$ boson into a pair of neutrinos, and present kinematical distributions for the final-state leptons at LHC energies.


title: Limit theorem associated with Wishart matrices with application to hypothesis testing for common principal components

abstract: This study derives a new property of the Wishart distribution when the degree-of-freedom and the size of the matrix parameter of the distribution grow simultaneoulsy. Particularly, the asymptotic normality of the product of four independent Wishart matrices is shown under a high dimensional asymptotic regime. As an application of the result, a statistical test procedure for the common principal components hypothesis is proposed. For this problem, the proposed test statistic is asymptotically normal under the null hypothesis. In addition, the proposed test statistic diverges to positive infinity in probability under the alternative hypothesis.


title: Robust Non-Linear Matrix Factorization for Dictionary Learning, Denoising, and Clustering

abstract: Low dimensional nonlinear structure abounds in datasets across computer vision and machine learning. Kernelized matrix factorization techniques have recently been proposed to learn these nonlinear structures for denoising, classification, dictionary learning, and missing data imputation, by observing that the image of the matrix in a sufficiently large feature space is low-rank. However, these nonlinear methods fail in the presence of sparse noise or outliers. In this work, we propose a new robust nonlinear factorization method called Robust Non-Linear Matrix Factorization (RNLMF). RNLMF constructs a dictionary for the data space by factoring a kernelized feature space; a noisy matrix can then be decomposed as the sum of a sparse noise matrix and a clean data matrix that lies in a low dimensional nonlinear manifold. RNLMF is robust to sparse noise and outliers and scales to matrices with thousands of rows and columns. Empirically, RNLMF achieves noticeable improvements over baseline methods in denoising and clustering.


title: Italian domination in generalized Petersen graphs

abstract: In a graph $G=(V,E)$, each vertex $v\in V$ is labelled with $0$, $1$ or $2$ such that each vertex labelled with $0$ is adjacent to at least one vertex labelled $2$ or two vertices labelled $1$. Such kind of labelling is called an Italian dominating function (IDF) of $G$. The weight of an IDF $f$ is $w(f)=\sum_{v\in V}f(v)$. The Italian domination number of $G$ is $\gamma_{I}(G)=\min_{f} w(f)$. Gao et al. (2019) have determined the value of $\gamma_I(P(n,3))$. In this article, we focus on the study of the Italian domination number of generalized Petersen graphs $P(n, k)$, $k\neq3$. We determine the values of $\gamma_I(P(n, 1))$, $\gamma_I(P(n, 2))$ and $\gamma_I(P(n, k))$ for $k\ge4$, $k\equiv2,3(\bmod5)$ and $n\equiv0(\bmod5)$. For other $P(n,k)$, we present a bound of $\gamma_I(P(n, k))$. With the obtained results, we partially solve the open problem presented by Bre\v{s}ar et al. (2007) by giving $P(n,1)$ is an example for which $\gamma_I=\gamma_{r2}$ and characterizing $P(n,2)$ for which $\gamma_I(P(n,2))=\gamma_{r2}(P(n,2))$. Moreover, our results imply $P(n,1)$ $(n\equiv0(\bmod\ 4))$ is Italian, $P(n,1)$ $(n\not\equiv0(\bmod\ 4))$ and $P(n,2)$ are not Italian.


title: Formal Policy Synthesis for Continuous-Space Systems via Reinforcement Learning

abstract: This paper studies satisfaction of temporal properties on unknown stochastic processes that have continuous state spaces. We show how reinforcement learning (RL) can be applied for computing policies that are finite-memory and deterministic using only the paths of the stochastic process. We address properties expressed in linear temporal logic (LTL) and use their automaton representation to give a path-dependent reward function maximised via the RL algorithm. We develop the required assumptions and theories for the convergence of the learned policy to the optimal policy in the continuous state space. To improve the performance of the learning on the constructed sparse reward function, we propose a sequential learning procedure based on a sequence of labelling functions obtained from the positive normal form of the LTL specification. We use this procedure to guide the RL algorithm towards a policy that converges to an optimal policy under suitable assumptions on the process. We demonstrate the approach on a 4-dim cart-pole system and 6-dim boat driving problem.


title: NLP in FinTech Applications: Past, Present and Future

abstract: Financial Technology (FinTech) is one of the worldwide rapidly-rising topics in the past five years according to the statistics of FinTech from Google Trends. In this position paper, we focus on the researches applying natural language processing (NLP) technologies in the finance domain. Our goal is to indicate the position we are now and provide the blueprint for future researches. We go through the application scenarios from three aspects including Know Your Customer (KYC), Know Your Product (KYP), and Satisfy Your Customer (SYC). Both formal documents and informal textual data are analyzed to understand corporate customers and personal customers. Furthermore, we talk over how to dynamically update the features of products from the prospect and the risk points of view. Finally, we discuss satisfying the customers in both B2C and C2C business models. After summarizing the past and the recent challenges, we highlight several promising future research directions in the trend of FinTech and the open finance tendency.


title: Comments on open string with "massive" boundary term

abstract: We make some remarks on possible definition of open string path integral in the presence of additional boundary couplings corresponding to the presence of masses at the ends of the string. These couplings are not conformally invariant implying that as in a non-critical string case one is to integrate over the 1d metric or reparametrizations of the boundary. We compute the partition function on the disc in the presence of an additional constant gauge field background and comment on the structure of the corresponding scattering amplitudes.


title: Building Proactive Voice Assistants: When and How (not) to Interact

abstract: Voice assistants have recently achieved remarkable commercial success. However, the current generation of these devices is typically capable of only reactive interactions. In other words, interactions have to be initiated by the user, which somewhat limits their usability and user experience. We propose, that the next generation of such devices should be able to proactively provide the right information in the right way at the right time, without being prompted by the user. However, achieving this is not straightforward, since there is the danger it could interrupt what the user is doing too much, resulting in it being distracting or even annoying. Furthermore, it could unwittingly, reveal sensitive/private information to third parties. In this report, we discuss the challenges of developing proactively initiated interactions, and suggest a framework for when it is appropriate for the device to intervene. To validate our design assumptions, we describe firstly, how we built a functioning prototype and secondly, a user study that was conducted to assess users' reactions and reflections when in the presence of a proactive voice assistant. This pre-print summarises the state, ideas and progress towards a proactive device as of autumn 2018.


title: Span programs and quantum time complexity

abstract: Span programs are an important model of quantum computation due to their tight correspondence with quantum query complexity. For any decision problem $f$, the minimum complexity of a span program for $f$ is equal, up to a constant factor, to the quantum query complexity of $f$. Moreover, this correspondence is constructive. A span program for $f$ with complexity $C$ can be compiled into a bounded error quantum algorithm for $f$ with query complexity $O(C)$, and vice versa. In this work, we prove an analogous connection for quantum time complexity. In particular, we show how to convert a quantum algorithm for $f$ with time complexity $T$ into a span program for $f$ such that it compiles back into a quantum algorithm for $f$ with time complexity $\widetilde{O}(T)$. While the query complexity of quantum algorithms obtained from span programs is well-understood, it is not generally clear how to implement certain query-independent operations in a time-efficient manner. We show that for span programs derived from algorithms with a time-efficient implementation, we can preserve the time efficiency when implementing the span program. This means in particular that span programs not only fully capture quantum query complexity, but also quantum time complexity. One practical advantage of being able to convert quantum algorithms to span programs in a way that preserves time complexity is that span programs compose very nicely. We demonstrate this by improving Ambainis's variable-time quantum search result using our construction through a span program composition for the OR function.


title: Semidefinite Programming Bounds For Spherical Three-distance Sets

abstract: A spherical three-distance set is a finite collection $X$ of unit vectors in $\mathbb{R}^{n}$ such that for each pair of distinct vectors has three inner product values. We use the semidefinite programming method to improve the upper bounds of spherical three-distance sets for several dimensions. We obtain better bounds in $\mathbb{R}^7$, $\mathbb{R}^{20}$, $\mathbb{R}^{21}$, $\mathbb{R}^{23}$, $\mathbb{R}^{24}$ and $\mathbb{R}^{25}$. In particular, we prove that maximum size of spherical three-distance sets is $2300$ in $\mathbb R^{23}$.


title: Prediction of Event Related Potential Speller Performance Using Resting-State EEG

abstract: Event-related potential (ERP) speller can be utilized in device control and communication for locked-in or severely injured patients. However, problems such as inter-subject performance instability and ERP-illiteracy are still unresolved. Therefore, it is necessary to predict classification performance before performing an ERP speller in order to use it efficiently. In this study, we investigated the correlations with ERP speller performance using a resting-state before an ERP speller. In specific, we used spectral power and functional connectivity according to four brain regions and five frequency bands. As a result, the delta power in the frontal region and functional connectivity in the delta, alpha, gamma bands are significantly correlated with the ERP speller performance. Also, we predicted the ERP speller performance using EEG features in the resting-state. These findings may contribute to investigating the ERP-illiteracy and considering the appropriate alternatives for each user.


title: Geodesic regression

abstract: The theory of geodesic regression aims to find a geodesic curve which is an optimal fit to a given set of data. In this article we restrict ourselves to the Riemannian manifold of positive definite operators (matrices) on a Hilbert space of finite dimension. There is a unique geodesic curve connecting two positive definite operators, and it is given by the weighted geometric mean. The function that measures the squared Riemannian metric distance between an operator and a geodesic curve is not convex nor geodesically convex in the operators generating the curve. This is a marked difference to the situation in linear regression. The literature mainly tries to find numerical solutions that approximate the optimal curve in a single point. We suggest to apply a distance measure slightly coarser than the Riemannian metric. The ensuing control function faithfully identifies geodesic curves, and it coincides with the standard control function based on the Riemannian metric for commuting operators. The control function constructed in this way is geodesically convex. We are therefore able to find a global and uniquely defined optimal fit to any given set of data. The generators of the geodesic curve may also be determined as the unique solution to two operator equations.


title: Optimal epidemic suppression under an ICU constraint

abstract: How much and when should we limit economic and social activity to ensure that the health-care system is not overwhelmed during an epidemic? We study a setting where ICU resources are constrained while suppression is costly (e.g., limiting economic interaction). Providing a fully analytical solution we show that the common wisdom of "flattening the curve", where suppression measures are continuously taken to hold down the spread throughout the epidemic, is suboptimal. Instead, the optimal suppression is discontinuous. The epidemic should be left unregulated in a first phase and when the ICU constraint is approaching society should quickly lock down (a discontinuity). After the lockdown regulation should gradually be lifted, holding the rate of infected constant thus respecting the ICU resources while not unnecessarily limiting economic activity. In a final phase, regulation is lifted. We call this strategy "filling the box".


title: DoQA -- Accessing Domain-Specific FAQs via Conversational QA

abstract: The goal of this work is to build conversational Question Answering (QA) interfaces for the large body of domain-specific information available in FAQ sites. We present DoQA, a dataset with 2,437 dialogues and 10,917 QA pairs. The dialogues are collected from three Stack Exchange sites using the Wizard of Oz method with crowdsourcing. Compared to previous work, DoQA comprises well-defined information needs, leading to more coherent and natural conversations with less factoid questions and is multi-domain. In addition, we introduce a more realistic information retrieval(IR) scenario where the system needs to find the answer in any of the FAQ documents. The results of an existing, strong, system show that, thanks to transfer learning from a Wikipedia QA dataset and fine tuning on a single FAQ domain, it is possible to build high quality conversational QA systems for FAQs without in-domain training data. The good results carry over into the more challenging IR scenario. In both cases, there is still ample room for improvement, as indicated by the higher human upperbound.


title: Prediction of Memory Retrieval Performance Using Ear-EEG Signals

abstract: Many studies have explored brain signals during the performance of a memory task to predict later remembered items. However, prediction methods are still poorly used in real life and are not practical due to the use of electroencephalography (EEG) recorded from the scalp. Ear-EEG has been recently used to measure brain signals due to its flexibility when applying it to real world environments. In this study, we attempt to predict whether a shown stimulus is going to be remembered or forgotten using ear-EEG and compared its performance with scalp-EEG. Our results showed that there was no significant difference between ear-EEG and scalp-EEG. In addition, the higher prediction accuracy was obtained using a convolutional neural network (pre-stimulus: 74.06%, on-going stimulus: 69.53%) and it was compared to other baseline methods. These results showed that it is possible to predict performance of a memory task using ear-EEG signals and it could be used for predicting memory retrieval in a practical brain-computer interface.


title: From SPMRL to NMRL: What Did We Learn (and Unlearn) in a Decade of Parsing Morphologically-Rich Languages (MRLs)?

abstract: It has been exactly a decade since the first establishment of SPMRL, a research initiative unifying multiple research efforts to address the peculiar challenges of Statistical Parsing for Morphologically-Rich Languages (MRLs).Here we reflect on parsing MRLs in that decade, highlight the solutions and lessons learned for the architectural, modeling and lexical challenges in the pre-neural era, and argue that similar challenges re-emerge in neural architectures for MRLs. We then aim to offer a climax, suggesting that incorporating symbolic ideas proposed in SPMRL terms into nowadays neural architectures has the potential to push NLP for MRLs to a new level. We sketch strategies for designing Neural Models for MRLs (NMRL), and showcase preliminary support for these strategies via investigating the task of multi-tagging in Hebrew, a morphologically-rich, high-fusion, language


title: A 3D view of the Taurus star-forming region by Gaia and Herschel: multiple populations related to the filamentary molecular cloud

abstract: Context. Taurus represents an ideal region to study the three-dimensional distribution of the young stellar population and relate it to the associated molecular cloud. Aims. The second Gaia data release (DR2) enables us to investigate the Taurus complex in three dimensions, starting from a previously defined robust membership. The molecular cloud structured in filaments can be traced in emission using the public far-infrared maps from Herschel. Methods. From a compiled catalog of spectroscopically confirmed members, we analyze the 283 sources with reliable parallax and proper motions in the Gaia DR2 archive. We fit the distribution of parallaxes and proper motions with multiple populations described by multivariate Gaussians. We compute the cartesian Galactic coordinates (X,Y,Z) and, for the populations associated with the main cloud, also the galactic space velocity (U,V,W). We discuss the spatial distribution of the populations in relation to the structure of the filamentary molecular cloud traced by Herschel. Results. We discover the presence of six populations which are all well defined in parallax and proper motions, with the only exception being Taurus D. The derived distances range between 130 and 160 pc. We do not find a unique relation between stellar population and the associated molecular cloud: while the stellar population seems to be on the cloud surface, both lying at similar distances, this is not the case when the molecular cloud is structured in filaments. Taurus B is probably moving in the direction of Taurus A, while Taurus E appears to be moving towards them. Conclusions. The Taurus region is the result of a complex star formation history which most probably occurred in clumpy and filamentary structures that are evolving independently.


title: Stochastic phase-field modeling of brittle fracture: computing multiple crack patterns and their probabilities

abstract: In variational phase-field modeling of brittle fracture, the functional to be minimized is not convex, so that the necessary stationarity conditions of the functional may admit multiple solutions. The solution obtained in an actual computation is typically one out of several local minimizers. Evidence of multiple solutions induced by small perturbations of numerical or physical parameters was occasionally recorded but not explicitly investigated in the literature. In this work, we focus on this issue and advocate a paradigm shift, away from the search for one particular solution towards the simultaneous description of all possible solutions (local minimizers), along with the probabilities of their occurrence. Inspired by recent approaches advocating measure-valued solutions (Young measures as well as their generalization to statistical solutions) and their numerical approximations in fluid mechanics, we propose the stochastic relaxation of the variational brittle fracture problem through random perturbations of the functional. We introduce the concept of stochastic solution, with the main advantage that point-to-point correlations of the crack phase fields in the underlying domain can be captured. These stochastic solutions are represented by random fields or random variables with values in the classical deterministic solution spaces. In the numerical experiments, we use a simple Monte Carlo approach to compute approximations to such stochastic solutions. The final result of the computation is not a single crack pattern, but rather several possible crack patterns and their probabilities. The stochastic solution framework using evolving random fields allows additionally the interesting possibility of conditioning the probabilities of further crack paths on intermediate crack patterns.


title: A Model-driven Deep Neural Network for Single Image Rain Removal

abstract: Deep learning (DL) methods have achieved state-of-the-art performance in the task of single image rain removal. Most of current DL architectures, however, are still lack of sufficient interpretability and not fully integrated with physical structures inside general rain streaks. To this issue, in this paper, we propose a model-driven deep neural network for the task, with fully interpretable network structures. Specifically, based on the convolutional dictionary learning mechanism for representing rain, we propose a novel single image deraining model and utilize the proximal gradient descent technique to design an iterative algorithm only containing simple operators for solving the model. Such a simple implementation scheme facilitates us to unfold it into a new deep network architecture, called rain convolutional dictionary network (RCDNet), with almost every network module one-to-one corresponding to each operation involved in the algorithm. By end-to-end training the proposed RCDNet, all the rain kernels and proximal operators can be automatically extracted, faithfully characterizing the features of both rain and clean background layers, and thus naturally lead to its better deraining performance, especially in real scenarios. Comprehensive experiments substantiate the superiority of the proposed network, especially its well generality to diverse testing scenarios and good interpretability for all its modules, as compared with state-of-the-arts both visually and quantitatively. The source codes are available at \url{https://github.com/hongwang01/RCDNet}.


title: Correlation functions by Separation of Variables: the XXX spin chain

abstract: We explain how to compute correlation functions at zero temperature within the framework of the quantum version of the Separation of Variables (SoV) in the case of a simple model: the XXX Heisenberg chain of spin 1/2 with twisted (quasi-periodic) boundary conditions. We first detail all steps of our method in the case of anti-periodic boundary conditions. The model can be solved in the SoV framework by introducing inhomogeneity parameters. The action of local operators on the eigenstates are then naturally expressed in terms of multiple sums over these inhomogeneity parameters. We explain how to transform these sums over inhomogeneity parameters into multiple contour integrals. Evaluating these multiple integrals by the residues of the poles outside the integration contours, we rewrite this action as a sum involving the roots of the Baxter polynomial plus a contribution of the poles at infinity. We show that the contribution of the poles at infinity vanishes in the thermodynamic limit, and that we recover in this limit for the zero-temperature correlation functions the multiple integral representation that had been previously obtained through the study of the periodic case by Bethe Ansatz or through the study of the infinite volume model by the q-vertex operator approach. We finally show that the method can easily be generalized to the case of a more general non-diagonal twist: the corresponding weights of the different terms for the correlation functions in finite volume are then modified, but we recover in the thermodynamic limit the same multiple integral representation than in the periodic or anti-periodic case, hence proving the independence of the thermodynamic limit of the correlation functions with respect to the particular form of the boundary twist.


title: Remarks on asymptotic order for the linear wave equation with the scale-invariant damping and mass with $L^r$-data

abstract: In the present paper, we consider the linear wave equation with the scale-invariant damping and mass. It is known that the global behavior of the solution depends on the size of the coefficients in front of the damping and mass at initial time $t=0$. Indeed, the solution satisfies the similar decay estimate to that of the corresponding heat equation if it is large and to that of the modified wave equation if it is small. In our previous paper, we obtain the scattering result and its asymptotic order for the data in the energy space $H^1\times L^2$ when the coefficients are in the wave regime. In fact, the threshold of the coefficients relies on the spatial decay of the initial data. Namely, it varies depending on $r$ when the initial data is in $L^r$ ($1\leq r < 2$). In the present paper, we will show the scattering result and the asymptotic order in the wave regime for $L^r$-data, which is wider than the wave regime for the data in the energy space. Moreover, we give an improvement of the asymptotic order obtained in our previous paper for the data in the energy space.


title: Is the NUTS algorithm correct?

abstract: This paper is devoted to investigate whether the popular No U-turn (NUTS) sampling algorithm is correct, i.e.\ whether the target probability distribution is \emph{exactly} conserved by the algorithm. It turns out that one of the Gibbs substeps used in the algorithm cannot always be guaranteed to be correct.


title: Subordinated Compound Poisson processes of order $k$

abstract: In this article, the compound Poisson processes of order $k$ (CPPoK) is introduced and its properties are discussed. Further, using mixture of tempered stable subordinator (MTSS) and its right continuous inverse, the two subordinated CPPoK with various distributional properties are studied. It is also shown that space and tempered space fractional versions of CPPoK and PPoK can be obtained, which generalize the results in the literature.


title: Comparison of Image Quality Models for Optimization of Image Processing Systems

abstract: The performance of objective image quality assessment (IQA) models has been evaluated primarily by comparing model predictions to human quality judgments. Perceptual datasets gathered for this purpose have provided useful benchmarks for improving IQA methods, but their heavy use creates a risk of overfitting. Here, we perform a large-scale comparison of IQA models in terms of their use as objectives for the optimization of image processing algorithms. Specifically, we use eleven full-reference IQA models to train deep neural networks for four low-level vision tasks: denoising, deblurring, super-resolution, and compression. Subjective testing on the optimized images allows us to rank the competing models in terms of their perceptual performance, elucidate their relative advantages and disadvantages in these tasks, and propose a set of desirable properties for incorporation into future IQA models.


title: On the prospects of imaging Sagittarius A* from space

abstract: Very Long Baseline Interferometry (VLBI) at sub-millimeter waves has the potential to image the shadow of the black hole in the Galactic Center, Sagittarius A* (Sgr A*), and thereby test basic predictions of the theory of general relativity. We investigate the imaging prospects of a new Space VLBI mission concept. The setup consists of two satellites in polar or equatorial circular Medium-Earth Orbits with slightly different radii, resulting in a dense spiral-shaped uv-coverage with long baselines, allowing for extremely high-resolution and high-fidelity imaging of radio sources. We simulate observations of a general relativistic magnetohydrodynamics model of Sgr A* for this configuration with noise calculated from model system parameters. After gridding the $uv$-plane and averaging visibilities accumulated over multiple months of integration, images of Sgr A* with a resolution of up to 4 $\mu$as could be reconstructed, allowing for stronger tests of general relativity and accretion models than with ground-based VLBI.


title: Duoidal categories, measuring comonoids and enrichment

abstract: We extend the theory of Sweeder's measuring comonoids to the framework of duoidal categories: categories equipped with two compatible monoidal structures. We use one of the tensor products to endow the category of monoids for the other with an enrichment in the category of comonoids. The enriched homs are provided by the universal measuring comonoids. We study a number of duoidal structures on categories of graded objects and of species and the associated enriched categories, such as an enrichment of graded (twisted) monoids in graded (twisted) comonoids, as well as two enrichments of symmetric operads in symmetric cooperads.


title: Quantum phase transitions in superconductor--quantum-dot--superconductor Josephson structures with attractive intradot interaction

abstract: We theoretically study the superconducting proximity effect in a quantum dot coupled to two superconducting leads when the intradot interaction between electrons is made attractive. Because of the superconducting proximity effect, the electronic states for the embedded quantum dot are either spin-polarized states with an odd occupation number or BCS-like states with an even occupation number. We show that in the presence of an external magnetic field, the system can exhibit quantum phase transitions of fermion parity associated with the occupation number. In this work, we adopt a self-consistent theoretical method to extend our considerations beyond the so-called superconducting atomic limit in which the superconducting gap for the leads is assumed to be the largest energy scale. The method enables us to numerically investigate the electronic structure of the dot as results of the attractive interaction. For energy phase diagrams in the regime away from the atomic limit, we find a reentrant behavior where a BCS-like phase of the dot exists in an intermediate range of the hybridization strength between the quantum dot and the leads. We also consider Josephson current phase relations and identify a number of examples showing $0-\pi$ phase transitions that may offer important switching effects.


title: Register transducers are marble transducers

abstract: Deterministic two-way transducers define the class of regular functions from words to words. Alur and Cern\'y introduced an equivalent model of transducers with registers called copyless streaming string transducers. In this paper, we drop the "copyless" restriction on these machines and show that they are equivalent to two-way transducers enhanced with the ability to drop marks, named "marbles", on the input. We relate the maximal number of marbles used with the amount of register copies performed by the streaming string transducer. Finally, we show that the class membership problems associated with these models are decidable. Our results can be interpreted in terms of program optimization for simple recursive and iterative programs.


title: High-Harmonic Generation and Correlated Electron Emission from Relativistic Plasma Mirrors at 1 kHz Repetition Rate

abstract: We report evidence for the first generation of XUV spectra from relativistic surface high-harmonic generation (SHHG) on plasma mirrors at a kilohertz repetition rate, emitted simultaneously with energetic electrons. SHHG spectra and electron angular distributions are measured as a function of the experimentally controlled plasma density gradient scale length $L_\mathrm{g}$ for three increasingly short and intense driving pulses: 24~fs and $a_0=1.1$, 8~fs and $a_0=1.6$, and finally 4~fs and $a_0\approx2.1$, where $a_0$ is the peak vector potential normalized by $m_\mathrm{e} c/e$ with the elementary charge $e$, the electron rest mass $m_\mathrm{e}$, and the vacuum light velocity $c$. For all driver pulses, we observe correlated relativistic SHHG and electron emission in the range $L_\mathrm{g}\in[\lambda/25,\lambda/5]$, with an optimum gradient scale length of $L_\mathrm{g}\approx\lambda/10$.


title: Tamed Warping Network for High-Resolution Semantic Video Segmentation

abstract: Recent approaches for fast semantic video segmentation have reduced redundancy by warping feature maps across adjacent frames, greatly speeding up the inference phase. However, the accuracy drops seriously owing to the errors incurred by warping. In this paper, we propose a novel framework and design a simple and effective correction stage after warping. Specifically, we build a non-key-frame CNN, fusing warped context features with current spatial details. Based on the feature fusion, our Context Feature Rectification~(CFR) module learns the model's difference from a per-frame model to correct the warped features. Furthermore, our Residual-Guided Attention~(RGA) module utilizes the residual maps in the compressed domain to help CRF focus on error-prone regions. Results on Cityscapes show that the accuracy significantly increases from $67.3\%$ to $71.6\%$, and the speed edges down from $65.5$ FPS to $61.8$ FPS at a resolution of $1024\times 2048$. For non-rigid categories, e.g., ``human'' and ``object'', the improvements are even higher than 18 percentage points.


title: Stability Analysis for Nonlinear Weakly Hard Real-Time Control Systems

abstract: This paper considers the stability analysis for nonlinear sampled-data systems with failures in the feedback loop. The failures are caused by shared resources, and modeled by a weakly hard real-time (WHRT) dropout description. The WHRT dropout description restricts the considered dropout sequences with a non-probabilistic, window based constraint, that originates from schedulability analysis. The proposed approach is based on the emulation of a controller for the nonlinear sampled-data system from a continuous-time feedback. The emulation technique is extended and combined with non-monotonic Lyapunov functions and a graph description for the WHRT constraints to guarantee asymptotic stability. The effectiveness of the proposed approach is illustrated with a numerical example from literature. This paper is the accepted version of Hertneck et al. (2020), containing also proofs of the main results.


title: Design-Pattern-as-a-Service for Blockchain-based Self-Sovereign Identity

abstract: Self-sovereign identity (SSI) is considered to be a "killer application" of blockchain. However, there is a lack of systematic architecture designs for blockchain-based SSI systems to support methodical development. An aspect of such gap is demonstrated in current solutions, which are considered coarse grained and may increase data security risks. In this paper, we first identify the lifecycles of three major SSI objects (i.e., key, identifier, and credential) and present fine-grained design patterns critical for application development. These patterns are associated with particular state transitions, providing a systematic view of system interactions and serving as a guidance for effective use of these patterns. Further, we present an SSI platform architecture, which advocates the notion of Design-Pattern-as-a-Service. Each design pattern serves as an API by wrapping the respective pattern code to ease application development and improve scalability and security. We implement a prototype and evaluate it on feasibility and scalability.


title: Noise2Weight: On Detecting Payload Weight from Drones Acoustic Emissions

abstract: The increasing popularity of autonomous and remotely-piloted drones have paved the way for several use-cases, e.g., merchandise delivery and surveillance. In many scenarios, estimating with zero-touch the weight of the payload carried by a drone before its physical approach could be attractive, e.g., to provide an early tampering detection. In this paper, we investigate the possibility to remotely detect the weight of the payload carried by a commercial drone by analyzing its acoustic fingerprint. We characterize the difference in the thrust needed by the drone to carry different payloads, resulting in significant variations of the related acoustic fingerprint. We applied the above findings to different use-cases, characterized by different computational capabilities of the detection system. Results are striking: using the Mel-Frequency Cepstral Coefficients (MFCC) components of the audio signal and different Support Vector Machine (SVM) classifiers, we achieved a minimum classification accuracy of 98% in the detection of the specific payload class carried by the drone, using an acquisition time of 0.25 s---performances improve when using longer time acquisitions. All the data used for our analysis have been released as open-source, to enable the community to validate our findings and use such data as a ready-to-use basis for further investigations.


title: The Sensitivity of Language Models and Humans to Winograd Schema Perturbations

abstract: Large-scale pretrained language models are the major driving force behind recent improvements in performance on the Winograd Schema Challenge, a widely employed test of common sense reasoning ability. We show, however, with a new diagnostic dataset, that these models are sensitive to linguistic perturbations of the Winograd examples that minimally affect human understanding. Our results highlight interesting differences between humans and language models: language models are more sensitive to number or gender alternations and synonym replacements than humans, and humans are more stable and consistent in their predictions, maintain a much higher absolute performance, and perform better on non-associative instances than associative ones. Overall, humans are correct more often than out-of-the-box models, and the models are sometimes right for the wrong reasons. Finally, we show that fine-tuning on a large, task-specific dataset can offer a solution to these issues.


title: A Directed Spanning Tree Adaptive Control Framework for Time-Varying Formations

abstract: In this paper, the time-varying formation and time-varying formation tracking problems are solved for linear multi-agent systems over digraphs without the knowledge of the eigenvalues of the Laplacian matrix associated to the digraph. The solution to these problems relies on a framework that generalizes the directed spanning tree adaptive method, which was originally limited to consensus problems. Necessary and sufficient conditions for the existence of solutions to the formation problems are derived. Asymptotic convergence of the formation errors is proved via graph theory and Lyapunov analysis.


title: A Finite Time Analysis of Two Time-Scale Actor Critic Methods

abstract: Actor-critic (AC) methods have exhibited great empirical success compared with other reinforcement learning algorithms, where the actor uses the policy gradient to improve the learning policy and the critic uses temporal difference learning to estimate the policy gradient. Under the two time-scale learning rate schedule, the asymptotic convergence of AC has been well studied in the literature. However, the non-asymptotic convergence and finite sample complexity of actor-critic methods are largely open. In this work, we provide a non-asymptotic analysis for two time-scale actor-critic methods under non-i.i.d. setting. We prove that the actor-critic method is guaranteed to find a first-order stationary point (i.e., $\|\nabla J(\boldsymbol{\theta})\|_2^2 \le \epsilon$) of the non-concave performance function $J(\boldsymbol{\theta})$, with $\mathcal{\tilde{O}}(\epsilon^{-2.5})$ sample complexity. To the best of our knowledge, this is the first work providing finite-time analysis and sample complexity bound for two time-scale actor-critic methods.


title: Anchors Based Method for Fingertips Position Estimation from a Monocular RGB Image using Deep Neural Network

abstract: In Virtual, augmented, and mixed reality, the use of hand gestures is increasingly becoming popular to reduce the difference between the virtual and real world. The precise location of the fingertip is essential/crucial for a seamless experience. Much of the research work is based on using depth information for the estimation of the fingertips position. However, most of the work using RGB images for fingertips detection is limited to a single finger. The detection of multiple fingertips from a single RGB image is very challenging due to various factors. In this paper, we propose a deep neural network (DNN) based methodology to estimate the fingertips position. We christened this methodology as an Anchor based Fingertips Position Estimation (ABFPE), and it is a two-step process. The fingertips location is estimated using regression by computing the difference in the location of a fingertip from the nearest anchor point. The proposed framework performs the best with limited dependence on hand detection results. In our experiments on the SCUT-Ego-Gesture dataset, we achieved the fingertips detection error of 2.3552 pixels on a video frame with a resolution of $640 \times 480$ and about $92.98\%$ of test images have average pixel errors of five pixels.


title: Ward identity determination of $Z_\mathrm{S}/Z_\mathrm{P}$ for $N_\mathrm{f}=3$ lattice QCD in a Schr\"odinger functional setup

abstract: We derive chiral Ward identities for lattice QCD with Wilson quarks and $N_\mathrm{f} \geq 3$ flavours, on small lattices with Schr\"odinger functional boundary conditions and vanishingly small quark masses. These identities relate the axial variation of the non-singlet pseudoscalar density to the scalar one, thus enabling the non-perturbative determination of the scale-independent ratio $Z_\mathrm{S}/Z_\mathrm{P}$ of the renormalisation parameters of these operators. We obtain results for $N_\mathrm{f}=3$ QCD with tree-level Symanzik-improved gluons and Wilson-Clover quarks, for bare gauge couplings which cover the typical range of large-volume $N_\mathrm{f} = 2+1$ simulations with Wilson fermions at lattice spacings below $0.1\,$fm. The precision of our results varies from 0.3\% to 1\%, except for the coarsest lattice, where it is 2\%. We discuss how the $Z_\mathrm{S}/Z_\mathrm{P}$ ratio can be used in the non-perturbative calculations of $\mathrm{O}(a)$ improved renormalised quark masses.


title: Microfluidic QCSK Transmitter and Receiver Design for Molecular Communication

abstract: The design of components with molecular communication (MC) functionalities can bring an opportunity to enable some emerging applications in fields from personal healthcare to modern industry. In this paper, we propose the designs of the microfluidic transmitter and receiver with quadruple concentration shift keying (QCSK) modulation and demodulation functionalities. To do so, we first present an AND gate design, and then apply it to the QCSK transmitter and receiver design. The QCSK transmitter is capable of modulating two input signals to four different concentration levels, and the QCSK receiver can demodulate a received signal to two outputs. More importantly, we also establish a mathematical framework to theoretically characterize our proposed microfluidic circuits. Based on this, we first derive the output concentration distribution of our proposed AND gate design, and provide the insight into the selection of design parameters to ensure an exhibition of desired behaviour. We further derive the output concentration distributions of the QCSK transmitter and receiver. Simulation results obtained in COMSOL Multiphysics not only show the desired behaviour of all the proposed microfluidic circuits, but also demonstrate the accuracy of the proposed mathematical framework.


title: Geometric properties of the four parameters Wright function

abstract: In this paper, four parameters Wright function is considered. Certain geometric properties such as starlikeness, convexity, uniform convexity and close-to-convexity are discussed for this function. Further, certain geometric properties of normalized Bessel function of the first kind and two parameters Wright function are studied as a consequence. Interesting corollaries and examples are provided to support that these results are better than the existing ones and improve several results available in the literature.


title: On Systematically Building a Controlled Natural Language for Functional Requirements

abstract: [Context] Natural language (NL) is pervasive in software requirements specifications (SRSs). However, despite its popularity and widespread use, NL is highly prone to quality issues such as vagueness, ambiguity, and incompleteness. Controlled natural languages (CNLs) have been proposed as a way to prevent quality problems in requirements documents, while maintaining the flexibility to write and communicate requirements in an intuitive and universally understood manner. [Objective] In collaboration with an industrial partner from the financial domain, we systematically develop and evaluate a CNL, named Rimay, intended at helping analysts write functional requirements. [Method] We rely on Grounded Theory for building Rimay and follow well-known guidelines for conducting and reporting industrial case study research. [Results] Our main contributions are: (1) a qualitative methodology to systematically define a CNL for functional requirements; this methodology is general and applicable to information systems beyond the financial domain, (2) a CNL grammar to represent functional requirements; this grammar is derived from our experience in the financial domain, but should be applicable, possibly with adaptations, to other information-system domains, and (3) an empirical evaluation of our CNL (Rimay) through an industrial case study. Our contributions draw on 15 representative SRSs, collectively containing 3215 NL requirements statements from the financial domain. [Conclusion] Our evaluation shows that Rimay is expressive enough to capture, on average, 88% (405 out of 460) of the NL requirements statements in four previously unseen SRSs from the financial domain.


title: A single psychotomimetic dose of ketamine decreases thalamocortical spindles and delta oscillations in the sedated rat

abstract: Background: In patients with psychotic disorders, sleep spindles are reduced, supporting the hypothesis that the thalamus and glutamate receptors play a crucial etio-pathophysiological role, whose underlying mechanisms remain unknown. We hypothesized that a reduced function of NMDA receptors is involved in the spindle deficit observed in schizophrenia. Methods: An electrophysiological multisite cell-to-network exploration was used to investigate, in pentobarbital-sedated rats, the effects of a single psychotomimetic dose of the NMDA glutamate receptor antagonist ketamine in the sensorimotor and associative/cognitive thalamocortical (TC) systems. Results: Under the control condition, spontaneously-occurring spindles (intra-frequency: 10-16 waves/s) and delta-frequency (1-4Hz) oscillations were recorded in the frontoparietal cortical EEG, in thalamic extracellular recordings, in dual juxtacellularly recorded GABAergic thalamic reticular nucleus (TRN) and glutamatergic TC neurons, and in intracellularly recorded TC neurons. The TRN cells rhythmically exhibited robust high-frequency bursts of action potentials (7 to 15 APs at 200-700Hz). A single administration of low-dose ketamine fleetingly reduced TC spindles and delta oscillations, amplified ongoing gamma-(30-80Hz) and higher-frequency oscillations, and switched the firing pattern of both TC and TRN neurons from a burst mode to a single AP mode. Furthermore, ketamine strengthened the gamma-frequency band TRN-TC connectivity. The antipsychotic clozapine consistently prevented the ketamine effects on spindles, delta- and gamma-/higher-frequency TC oscillations. Conclusion: The present findings support the hypothesis that NMDA receptor hypofunction is involved in the reduction in sleep spindles and delta oscillations. The ketamine-induced swift conversion of ongoing TC-TRN activities may have involved at least both the ascending reticular activating system and the corticothalamic pathway.


title: Stochastic homogenization of Hamilton-Jacobi equations on a junction

abstract: We consider the specified stochastic homogenization of first order evolutive Hamilton-Jacobi equations on a very simple junction, i.e the real line with a junction at the origin. Far from the origin, we assume that the considered hamiltonian is closed to given stationary ergodic hamiltonians (which are different on the left and on the right). Near the origin, there is a perturbation zone which allows to pass from one hamiltonian to the other. The main result of this paper is a stochastic homogenization as the length of the transition zone goes to zero. More precisely, at the limit we get two deterministic right and left hamiltonians with a deterministic junction condition at the origin. The main difficulty and novelty of the paper come from the fact that the hamiltonian is not stationary ergodic. Up to our knowledge, this is the first specified stochastic homogenization result. This work is motivated by traffic flow applications.


title: Viscosity solution of a Delta Greek nonlinear Black-Scholes equation

abstract: In this paper, a class of nonlinear option pricing models involving transaction costs is considered. The diffusion coefficient of the nonlinear parabolic equation for the price $V$ is assumed to be a linear function of the option's underlying asset price and the Gamma Greek $V_{xx}$. The main aim of this work is to study the governing PDE of the Delta Greek. The existence of viscosity solutions is proved using the vanishing viscosity method. Regularizing the equation by adding a small perturbation to the initial problem, a sequence of approximate solutions $u^{\varepsilon}$ is constructed and then the method of weak limits is applied to prove the convergence of the sequence to the viscosity solution of the Delta equation. The approximate problems constructed are shown to have good regularity, which allows the use of efficient and robust numerical methods.


title: On the Parameterized Complexity of Deletion to $\mathcal{H}$-free Strong Components

abstract: {\sc Directed Feedback Vertex Set (DFVS)} is a fundamental computational problem that has received extensive attention in parameterized complexity. In this paper, we initiate the study of a wide generalization, the {\sc ${\cal H}$-free SCC Deletion} problem. Here, one is given a digraph $D$, an integer $k$ and the objective is to decide whether there is a vertex set of size at most $k$ whose deletion leaves a digraph where every strong component excludes graphs in the fixed finite family ${\cal H}$ as (not necessarily induced) subgraphs. When ${\cal H}$ comprises only the digraph with a single arc, then this problem is precisely DFVS. Our main result is a proof that this problem is fixed-parameter tractable parameterized by the size of the deletion set if ${\cal H}$ only contains rooted graphs or if ${\cal H}$ contains at least one directed path. Along with generalizing the fixed-parameter tractability result for DFVS, our result also generalizes the recent results of G\"{o}ke et al. [CIAC 2019] for the {\sc 1-Out-Regular Vertex Deletion} and {\sc Bounded Size Strong Component Vertex Deletion} problems. Moreover, we design algorithms for the two above mentioned problems, whose running times are better and match with the best bounds for {\sc DFVS}, without using the heavy machinery of shadow removal as is done by G\"{o}ke et al. [CIAC 2019].


title: A Low-Overhead Hierarchical Beam-tracking Algorithm for THz Wireless Systems

abstract: In this paper, a novel hierarchical beamtracking approach, which is suitable for terahertz (THz) wireless systems, is presented. The main idea is to employ a prediction based algorithm with a multi-resolution codebook, in order to decrease the required overhead of tracking and increase its robustness. The efficiency of the algorithm is evaluated in terms of the average number of pilots and mean square error (MSE) and is compared with the corresponding performance of the fast channel tracking (FCT) algorithm. Our results highlight the superiority of the proposed approach in comparison with FCT, in terms of tracking efficiency with low overhead.


title: The nature of the Schoenberg-Chandrasekhar limit

abstract: We present a comprehensive description of the Sch\"onberg--Chandrasekhar (S--C) transition, which is an acceleration of the stellar evolution from the nuclear to the thermal time scales occurring when the fractional mass of the helium core reaches a critical value, about 0.1. It occurs in the 1.4 to 7 M$_\odot$ mass range due to impossibility of maintaining the thermal equilibrium after the nuclear energy sources in the core disappear. We present the distributions of the hydrogen abundance, the energy generation rate and the temperature for stars crossing that limit. We confirm that a sharp S--C limit is present for strictly isothermal cores, but it is much smoother for real stars. The way the boundary of the core is defined is important for the picture of this transition. With a strict definition of the core as the region where the helium abundance is close to null, it occurs in an extended range of the fractional core mass of roughly 0.03 to 0.11. The cause of that is a gradual core contraction causing a correspondingly gradual loss of the core isothermality with the increasing core mass. On the other hand, when using definitions allowing for some H abundance in the core, the S--C transition is found to be sharper, at the fractional core mass of between about 0.07 and 0.11. Still, it is more a smooth transition than a sharp limit. We have also searched for specific signatures of that transition, and found that it is associated with the stellar radius first decreasing and then increasing again. We have considered whether the S--C limit can be used as a diagnostic constraining the evolutionary status of accreting X-ray binaries, but found such uses unfounded.


title: Uncertainty quantification in the stochastic block model with an unknown number of classes

abstract: We study the frequentist properties of Bayesian statistical inference for the stochastic block model, with an unknown number of classes of varying sizes. We equip the space of vertex labellings with a prior on the number of classes and, conditionally, a prior on the labels. The number of classes may grow to infinity as a function of the number of vertices, depending on the sparsity of the graph. We derive non-asymptotic posterior contraction rates of the form $P_{\theta_{0,n}}\Pi_n(B_n\mid X^n)\le \epsilon_n$, where $X^n$ is the observed graph, generated according to $P_{\theta_{0,n}}$, $B_n$ is either $\{\theta_{0, n}\}$ or, in the very sparse case, a ball around $\theta_{0,n}$ of known extent, and $\epsilon_n$ is an explicit rate of convergence. These results enable conversion of credible sets to confidence sets. In the sparse case, credible tests are shown to be confidence sets. In the very sparse case, credible sets are enlarged to form confidence sets. Confidence levels are explicit, for each $n$, as a function of the credible level and the rate of convergence. Hypothesis testing between the number of classes is considered with the help of posterior odds, and is shown to be consistent. Explicit upper bounds on errors of the first and second type and an explicit lower bound on the power of the tests are given.


title: A New Compact Expression for the Powers of Hybrid Modes of the Step-Index Optical Fiber

abstract: A new, compact, and exact general expression is developed for the powers of hybrid EH- and HE-modes of the standard step-index optical fiber. The expression is found with the help of the Pauli matrices. The expression is reducible to widely used approximate forms for hybrid mode powers of weakly-guided fibers.


title: Black Hole Dynamics in Power-law based Metric $f(R)$ Gravity

abstract: In this work, we use power-law cosmology to investigate the evolution of black holes within the context of metric $f(R)$ gravity satisfying the conditions provided by Starobinsky model. In our study, it is observed that presently accelerated expansion of the universe can be suitably explained by this integrated model without the need for dark energy. We also found that mass of a black hole decreases by absorbing surroundings energy-matter due to modification of gravity and more the accretion rate more is mass loss. Particularly the black holes, whose formation masses are nearly $10^{20}$ gm and above, are evaporated at a particular time irrespective of their formation mass. Again our analysis reveals that the maximum mass of a black hole supported by metric $f(R)$ gravity is $10^{12} M_{\odot}$, where $M_{\odot}$ represents the solar mass.


title: Ensemble Forecasting for Intraday Electricity Prices: Simulating Trajectories

abstract: Recent studies concerning the point electricity price forecasting have shown evidence that the hourly German Intraday Continuous Market is weak-form efficient. Therefore, we take a novel, advanced approach to the problem. A probabilistic forecasting of the hourly intraday electricity prices is performed by simulating trajectories in every trading window to receive a realistic ensemble to allow for more efficient intraday trading and redispatch. A generalized additive model is fitted to the price differences with the assumption that they follow a zero-inflated distribution, precisely a mixture of the Dirac and the Student's t-distributions. Moreover, the mixing term is estimated using a high-dimensional logistic regression with lasso penalty. We model the expected value and volatility of the series using i.a. autoregressive and no-trade effects or load, wind and solar generation forecasts and accounting for the non-linearities in e.g. time to maturity. Both the in-sample characteristics and forecasting performance are analysed using a rolling window forecasting study. Multiple versions of the model are compared to several benchmark models and evaluated using probabilistic forecasting measures and significance tests. The study aims to forecast the price distribution in the German Intraday Continuous Market in the last 3 hours of trading, but the approach allows for application to other continuous markets, especially in Europe. The results prove superiority of the mixture model over the benchmarks gaining the most from the modelling of the volatility. They also indicate that the introduction of XBID reduced the market volatility.

categories: q-fin.ST cs.LG cs.SY econ.EM eess.SY stat.AP


title: Schur rigidity of Schubert varieties in rational homogeneous manifolds of Picard number one

abstract: Given a rational homogeneous manifold $S=G/P$ of Picard number one and a Schubert variety $S_0 $ of $S$, the pair $(S,S_0)$ is said to be homologically rigid if any subvariety of $S$ having the same homology class as $S_0$ must be a translate of $S_0$ by the automorphism group of $S$. The pair $(S,S_0)$ is said to be Schur rigid if any subvariety of $ S$ with homology class equal to a multiple of the homology class of $S_0$ must be a sum of translates of $S_0$. Earlier we completely determined homologically rigid pairs $(S,S_0)$ in case $S_0 $ is homogeneous and answered the same question in smooth non-homogeneous cases. In this article we consider Schur rigidity, proving that $(S,S_0)$ exhibits Schur rigidity whenever $S_0$ is a non-linear smooth Schubert variety.


title: Calibration of the Instrumental Response of Insight-HXMT/HE CsI Detectors for Gamma-Ray Monitoring

abstract: The CsI detectors of the High Energy X-ray Telescope of the Hard X-ray Modulation Telescope (HXMT/CsI) can be used for gamma-ray all sky monitoring and searching for the electromagnetic counterpart of gravitational wave source. The instrumental responses are mainly obtained by Monte Carlo simulation with the Geant4 tool and the mass model of both the satellite and all the payloads, which is updated and tested with the Crab pulse emission in various incident directions. Both the Energy-Channel relationship and the energy resolution are calibrated in two working modes (Normal-Gain mode & Low-Gain Mode) with the different detection energy ranges. The simulative spectral analyses show that HXMT/CsI can constrain the spectral parameters much better in the high energy band than that in the low energy band. The joint spectral analyses are performed to ten bright GRBs observed simultaneously with HXMT/CsI and other instruments (Fermi/GBM, Swift/BAT, Konus-Wind), and the results show that the GRB flux given by HXMT/CsI is systematically higher by $7.0\pm8.8\%$ than those given by the other instruments. The HXMT/CsI-Fermi/GBM joint fittings also show that the high energy spectral parameter can be constrained much better as the HXMT/CsI data are used in the joint fittings.


title: Large interfacial spin-orbit torques in layered antiferromagnetic insulator NiPS$_3$/ferromagnet bilayers

abstract: Finding efficient ways of manipulating magnetic bits is one of the core goals in spintronic research. Electrically-generated spin-orbit torques (SOTs) are good candidates for this and the search for materials capable of generating highly-efficient SOTs has gained a lot of traction in the recent years. While antiferromagnet/ferromagnet bilayer structures have been employed extensively for passive applications, e.g. by using exchange bias fields, their active properties are not yet widely employed. Here we show the presence of large interfacial SOTs in bilayer of a ferromagnet and the two-dimensional layered antiferromagnetic insulator NiPS$_3$. We observe a large in-plane damping-like interfacial torque, showing a torque conductivity of $\sigma_\mathrm{DL} \approx 1 \times 10^{5} \mathrm{(\frac{\hbar}{2e}) /(\Omega m)}$ even at room temperature, comparable to the best devices reported in the literature for standard heavy-metal-based and topological insulators-based devices. Additionally, our devices also show an out-of-plane field-like torque arising from the NiPS$_3$/ferromagnet interface, further indicating the presence of an interfacial spin-orbit coupling in our structures. Temperature-dependent measurements reveal an increase of the SOTs with a decreasing temperature below the N\'eel temperature of NiPS$_3$ ($T_N \approx 170 \mathrm{K}$), pointing to a possible effect of the magnetic ordering on our measured SOTs. Our findings show the potential of antiferromagnetic insulators and two-dimensional materials for future spintronic applications.


title: Anisotropy of electronic correlations: On the applicability of local theories to layered materials

abstract: Besides the chemical constituents, it is the lattice geometry that controls the most important material properties. In many interesting compounds, the arrangement of elements leads to pronounced anisotropies, which reflect into a varying degree of quasi two-dimensionality of their low-energy excitations. Here, we start by classifying important families of correlated materials according to a simple measure for the tetragonal anisotropy of their ab initio electronic (band) structure. Second, we investigate the impact of a progressively large anisotropy in driving the non-locality of many-body effects. To this end, we tune the Hubbard model from isotropic cubic in three dimensions to the two-dimensional limit and analyze it using the dynamical vertex approximation. For sufficiently isotropic hoppings, we find the self-energy to be well separable into a static non-local and a dynamical local contribution. While the latter could potentially be obtained from dynamical mean-field approaches, we find the former to be non-negligible in all cases. Further, by increasing the model-anisotropy, we quantify the degree of quasi two-dimensionality which causes this "space-time separation" to break down. Our systematic analysis improves the general understanding of electronic correlations in anisotropic materials, heterostructures and ultra-thin films, and provides useful guidance for future realistic studies.


title: A nonlinear Schr{\"o}dinger equation with fractional noise

abstract: We study a stochastic Schr{\"o}dinger equation with a quadratic nonlinearity and a space-time fractional perturbation, in space dimension less than 3. When the Hurst index is large enough, we prove local well-posedness of the problem using classical arguments. However, for a small Hurst index, even the interpretation of the equation needs some care. In this case, a renormalization procedure must come into the picture, leading to a Wick-type interpretation of the model. Our fixed-point argument then involves some specific regularization properties of the Schr{\"o}dinger group, which allows us to cope with the strong irregularity of the solution.


title: Palindromic Length of Words with Many Periodic Palindromes

abstract: The palindromic length $\text{PL}(v)$ of a finite word $v$ is the minimal number of palindromes whose concatenation is equal to $v$. In 2013, Frid, Puzynina, and Zamboni conjectured that: If $w$ is an infinite word and $k$ is an integer such that $\text{PL}(u)\leq k$ for every factor $u$ of $w$ then $w$ is ultimately periodic. Suppose that $w$ is an infinite word and $k$ is an integer such $\text{PL}(u)\leq k$ for every factor $u$ of $w$. Let $\Omega(w,k)$ be the set of all factors $u$ of $w$ that have more than $\sqrt[k]{k^{-1}\vert u\vert}$ palindromic prefixes. We show that $\Omega(w,k)$ is an infinite set and we show that for each positive integer $j$ there are palindromes $a,b$ and a word $u\in \Omega(w,k)$ such that $(ab)^j$ is a factor of $u$ and $b$ is nonempty. Note that $(ab)^j$ is a periodic word and $(ab)^ia$ is a palindrome for each $i\leq j$. These results justify the following question: What is the palindromic length of a concatenation of a suffix of $b$ and a periodic word $(ab)^j$ with "many" periodic palindromes? It is known that $\lvert\text{PL}(uv)-\text{PL}(u)\rvert\leq \text{PL}(v)$, where $u$ and $v$ are nonempty words. The main result of our article shows that if $a,b$ are palindromes, $b$ is nonempty, $u$ is a nonempty suffix of $b$, $\vert ab\vert$ is the minimal period of $aba$, and $j$ is a positive integer with $j\geq3\text{PL}(u)$ then $\text{PL}(u(ab)^j)-\text{PL}(u)\geq 0$.


title: Iterative solution of the Lippmann-Schwinger equation in strongly scattering acoustic media by randomized construction of preconditioners

abstract: In this work the Lippmann-Schwinger equation is used to model seismic waves in strongly scattering acoustic media. We consider the Helmholtz equation, which is the scalar wave equation in the frequency domain with constant density and variable velocity, and transform it to an integral equation of the Lippmann-Schwinger type. To directly solve the discretized problem with matrix inversion is time-consuming, therefore we use iterative methods. The Born series is a well-known scattering series which gives the solution with relatively small cost, but it has limited use as it only converges for small scattering potentials. There exist other scattering series with preconditioners that have been shown to converge for any contrast, but the methods might require many iterations for models with high contrast. Here we develop new preconditioners based on randomized matrix approximations and hierarchical matrices which can make the scattering series converge for any contrast with a low number of iterations. We describe two different preconditioners; one is best for lower frequencies and the other for higher frequencies. We use the fast Fourier transform both in the construction of the preconditioners and in the iterative solution, and this makes the methods efficient. The performance of the methods are illustrated by numerical experiments on two 2D models.


title: Search for $\alpha$ decay of naturally occurring Hf-nuclides using a Cs$_2$HfCl$_6$ scintillator

abstract: Residual radioactive contaminants of a caesium hafnium chloride (Cs$_2$HfCl$_6$) crystal scintillator have been measured in a low background setup at the Gran Sasso National Laboratory of the INFN, Italy. The total alpha activity of the detector is at the level of 7.8(3) mBq/kg. The results of direct studies of the $\alpha$ decay of naturally occurring Hf isotopes that have been performed using the "source=detector" approach are presented. In 2848 h of data taking, the $\alpha$ decay of $^{174}$Hf was observed with T$_{1/2} = (7.0\pm1.2)\times10^{16} $ y.


title: Synchronization of Deterministic Visibly Push-Down Automata

abstract: We generalize the concept of synchronizing words for finite automata, which map all states of the automata to the same state, to deterministic visibly push-down automata. Here, a synchronizing word w does not only map all states to the same state but also fulfills some conditions on the stack content of each run after reading w. We consider three types of these stack constraints: after reading w, the stack (1) is empty in each run, (2) contains the same sequence of stack symbols in each run, or (3) contains an arbitrary sequence which is independent of the other runs. We show that in contrast to general deterministic push-down automata, it is decidable for deterministic visibly push-down automata whether there exists a synchronizing word with each of these stack constraints, i.e., the problems are in EXPTIME. Under the constraint (1) the problem is even in P. For the sub-classes of deterministic very visibly push-down automata the problem is in P for all three types of constraints. We further study variants of the synchronization problem where the number of turns in the stack height behavior caused by a synchronizing word is restricted, as well as the problem of synchronizing a variant of a sequential transducer, which shows some visibly behavior, by a word that synchronizes the states and produces the same output on all runs.


title: Synthesis and characterization of novel benzimidazole embedded 1,3,5-trisubstituted pyrazolines as antimicrobial agents

abstract: Efficient syntheses of some new substituted pyrazoline derivatives linked to substituted benzimidazole scaffold were performed by multistep reaction sequences. All the synthesized compounds were characterized using elemental analysis and spectral studies (IR, 1D/2D NMR techniques and mass spectrometry). The synthesized compounds were screened for their antimicrobial activity against selected Gram-positive and Gram-negative bacteria, and fungi strain. The compounds with halo substituted phenyl group at C5 of the 1-phenyl pyrazoline ring (15, 16 and 17) showed significant antibacterial activity. Among the screened compounds, 17 showed most potent inhibitory activity (MIC = 64 {\mu}g mL-1) against a bacterial strain. The tested compounds werefound to be almost inactive against the fungal strain C. albicans, apart from pyrazoline-1-carbothiomide 21, which was moderately active.


title: Modulation of anisotropic magnetoresistance by anomalous Hall signal and its application to real-time domain wall velocity measurement

abstract: We present here a way to modulate the anisotropic magnetoresistance (AMR) by anomalous Hall signal and thus measure the domain wall (DW) motion velocity at near-coercivity. We study the magnetization relaxation at the constant field in the longitudinal (Rxx) Hall geometry. We observed asymmetric Rxx peaks that appear at the DW pinning fields. This unusual magnetoresistance behavior is explained by considering the AMR modulation by the anomalous Hall voltage. In the proposed method, using the magnetization relaxation, the real-time DW velocity measurement is much easier in comparison to the other microscopy methods. Moreover, the additional signal from anomalous Hall voltage makes this technique simpler and sensitive for DW velocity measurements, which can be useful for various spintronic sensing applications.


title: A Bayesian traction force microscopy method with automated denoising in a user-friendly software package

abstract: Adherent biological cells generate traction forces on a substrate that play a central role for migration, mechanosensing, differentiation, and collective behavior. The established method for quantifying this cell-substrate interaction is traction force microscopy (TFM). In spite of recent advancements, inference of the traction forces from measurements remains very sensitive to noise. However, suppression of the noise reduces the measurement accuracy and the spatial resolution, which makes it crucial to select an optimal level of noise reduction. Here, we present a fully automated method for noise reduction and robust, standardized traction-force reconstruction. The method, termed Bayesian Fourier transform traction cytometry, combines the robustness of Bayesian L2 regularization with the computation speed of Fourier transform traction cytometry. We validate the performance of the method with synthetic and real data. The method is made freely available as a software package with a graphical user-interface for intuitive usage.


title: High-Dimensional Robust Mean Estimation via Gradient Descent

abstract: We study the problem of high-dimensional robust mean estimation in the presence of a constant fraction of adversarial outliers. A recent line of work has provided sophisticated polynomial-time algorithms for this problem with dimension-independent error guarantees for a range of natural distribution families. In this work, we show that a natural non-convex formulation of the problem can be solved directly by gradient descent. Our approach leverages a novel structural lemma, roughly showing that any approximate stationary point of our non-convex objective gives a near-optimal solution to the underlying robust estimation task. Our work establishes an intriguing connection between algorithmic high-dimensional robust statistics and non-convex optimization, which may have broader applications to other robust estimation tasks.

categories: cs.LG cs.DS math.OC math.ST stat.ML stat.TH


title: Detecting Abrupt Changes in the Presence of Local Fluctuations and Autocorrelated Noise

abstract: Whilst there are a plethora of algorithms for detecting changes in mean in univariate time-series, almost all struggle in real applications where there is autocorrelated noise or where the mean fluctuates locally between the abrupt changes that one wishes to detect. In these cases, default implementations, which are often based on assumptions of a constant mean between changes and independent noise, can lead to substantial over-estimation of the number of changes. We propose a principled approach to detect such abrupt changes that models local fluctuations as a random walk process and autocorrelated noise via an AR(1) process. We then estimate the number and location of changepoints by minimising a penalised cost based on this model. We develop a novel and efficient dynamic programming algorithm, DeCAFS, that can solve this minimisation problem; despite the additional challenge of dependence across segments, due to the autocorrelated noise, which makes existing algorithms inapplicable. Theory and empirical results show that our approach has greater power at detecting abrupt changes than existing approaches. We apply our method to measuring gene expression levels in bacteria.


title: Invariant transversals in finite groups

abstract: In this thesis we investigate invariant transversals in finite groups by studying the connection between right conjugacy closed loops and finite groups. The interplay between loop theory and group theory has prompted discoveries in both areas and led to new questions on both sides.


title: Synchronizing Deterministic Push-Down Automata Can Be Really Hard

abstract: The question if a deterministic finite automaton admits a software reset in the form of a so-called synchronizing word can be answered in polynomial time. In this paper, we extend this algorithmic question to deterministic automata beyond finite automata. We prove that the question of synchronizability becomes undecidable even when looking at deterministic one-counter automata. This is also true for another classical mild extension of regularity, namely that of deterministic one-turn push-down automata. However, when we combine both restrictions, we arrive at scenarios with a PSPACE-complete (and hence decidable) synchronizability problem. Likewise, we arrive at a decidable synchronizability problem for (partially) blind deterministic counter automata. There are several interpretations of what synchronizability should mean for deterministic push-down automata. This is depending on the role of the stack: should it be empty on synchronization, should it be always the same or is it arbitrary? For the automata classes studied in this paper, the complexity or decidability status of the synchronizability problem is mostly independent of this technicality, but we also discuss one class of automata where this makes a difference.


title: The cotangent complex and Thom spectra

abstract: The cotangent complex of a map of commutative rings is a central object in deformation theory. Since the 1990s, it has been generalized to the homotopical setting of $E_\infty$-ring spectra in various ways. In this work we first establish, in the context of $\infty$-categories and using Goodwillie's calculus of functors, that various definitions of the cotangent complex of a map of $E_\infty$-ring spectra that exist in the literature are equivalent. We then turn our attention to a specific example. Let $R$ be an $E_\infty$-ring spectrum and $\mathrm{Pic}(R)$ denote its Picard $E_\infty$-group. Let $Mf$ denote the Thom $E_\infty$-$R$-algebra of a map of $E_\infty$-groups $f:G\to \mathrm{Pic}(R)$; examples of $Mf$ are given by various flavors of cobordism spectra. We prove that the cotangent complex of $R\to Mf$ is equivalent to the smash product of $Mf$ and the connective spectrum associated to $G$.


title: Construction of potentials with multiple spectral singularities

abstract: We develop an approach for designing complex potentials with two or three coexisting spectral singularities in the spectra of the respective Schr\"odinger operators. The approach is illustrated with several examples. In addition, we offer a simple recipe to create a second-order spectral singularity by intentionally colliding two simple ones.


title: FDMA with Layers-based Optimized Mobile Relays Subsets Algorithm in B5G/6G Cognitive IoT Networks

abstract: In view of noteworthy communications performance improvements for future B5G/6G (such as cognitive Internet of Things, space-ground integration network and so on), cooperative communications (CC) diversity with relays selection algorithms have been extensively studied to significantly improve communications quality, but so far there is still a lot of potential optimization work with CC schemes. In this paper, in the light of NP-hard problem of subsets relays selection, further studies for theorems of relays subsets with K-layers power allocation standard have been put forward to explore better performance in B5G/6G cognitive IoT (Internet of Things) networks, we propose unified layers-based optimized mobile relays subsets algorithms for full-duplex (FD) non-orthogonal multiple access (NOMA) to greatly improve transmission rate. After revealing and taking into account fundamental properties of relays, such as mobile relays nodes state, relays locations, fading characteristics and so on, optimized FD-NOMA algorithm based on these relays features has been presented to improve transmission validity, and a related series of relays subsets theorems have been derived and proved, then minimum upper bound of maximum transmission rates has been estimated to reveal two-way balanced optimal transmission conclusion for FD-NOMA. In general, proposed general and optimized algorithm can be used in multiple future cooperative communications scenarios in B5G/6G networks such as cognitive IoT. Simulations results show that proposed scheme has several times transmission rates than other classical relays selection algorithms


title: Monitoring COVID-19 social distancing with person detection and tracking via fine-tuned YOLO v3 and Deepsort techniques

abstract: The rampant coronavirus disease 2019 (COVID-19) has brought global crisis with its deadly spread to more than 180 countries, and about 3,519,901 confirmed cases along with 247,630 deaths globally as on May 4, 2020. The absence of any active therapeutic agents and the lack of immunity against COVID-19 increases the vulnerability of the population. Since there are no vaccines available, social distancing is the only feasible approach to fight against this pandemic. Motivated by this notion, this article proposes a deep learning based framework for automating the task of monitoring social distancing using surveillance video. The proposed framework utilizes the YOLO v3 object detection model to segregate humans from the background and Deepsort approach to track the identified people with the help of bounding boxes and assigned IDs. The results of the YOLO v3 model are further compared with other popular state-of-the-art models, e.g. faster region-based CNN (convolution neural network) and single shot detector (SSD) in terms of mean average precision (mAP), frames per second (FPS) and loss values defined by object classification and localization. Later, the pairwise vectorized L2 norm is computed based on the three-dimensional feature space obtained by using the centroid coordinates and dimensions of the bounding box. The violation index term is proposed to quantize the non adoption of social distancing protocol. From the experimental analysis, it is observed that the YOLO v3 with Deepsort tracking scheme displayed best results with balanced mAP and FPS score to monitor the social distancing in real-time.


title: PowerPlanningDL: Reliability-Aware Framework for On-Chip Power Grid Design using Deep Learning

abstract: With the increase in the complexity of chip designs, VLSI physical design has become a time-consuming task, which is an iterative design process. Power planning is that part of the floorplanning in VLSI physical design where power grid networks are designed in order to provide adequate power to all the underlying functional blocks. Power planning also requires multiple iterative steps to create the power grid network while satisfying the allowed worst-case IR drop and Electromigration (EM) margin. For the first time, this paper introduces Deep learning (DL)-based framework to approximately predict the initial design of the power grid network, considering different reliability constraints. The proposed framework reduces many iterative design steps and speeds up the total design cycle. Neural Network-based multi-target regression technique is used to create the DL model. Feature extraction is done, and the training dataset is generated from the floorplans of some of the power grid designs extracted from the IBM processor. The DL model is trained using the generated dataset. The proposed DL-based framework is validated using a new set of power grid specifications (obtained by perturbing the designs used in the training phase). The results show that the predicted power grid design is closer to the original design with minimal prediction error (~2%). The proposed DL-based approach also improves the design cycle time with a speedup of ~6X for standard power grid benchmarks.


title: Introducing the VoicePrivacy Initiative

abstract: The VoicePrivacy initiative aims to promote the development of privacy preservation tools for speech technology by gathering a new community to define the tasks of interest and the evaluation methodology, and benchmarking solutions through a series of challenges. In this paper, we formulate the voice anonymization task selected for the VoicePrivacy 2020 Challenge and describe the datasets used for system development and evaluation. We also present the attack models and the associated objective and subjective evaluation metrics. We introduce two anonymization baselines and report objective evaluation results.


title: An improved test of the strong equivalence principle with the pulsar in a triple star system

abstract: The gravitational strong equivalence principle (SEP) is a cornerstone of the general theory of relativity (GR). The extreme difference in binding energy between neutron stars and white dwarfs allows for precision tests of the SEP via the technique of pulsar timing. To date, the best limit on the validity of SEP under strong-field conditions was obtained with a unique pulsar in a triple stellar system, PSR J0337+1715. We report here on an improvement of this test using an independent data set acquired over 6 years with the Nan\c cay radio telescope (NRT). The improvements arise from a uniformly sampled data set, a theoretical analysis, and a treatment that fixes some short-comings in the previously published results, leading to better precision and reliability of the test. In contrast to the previously published test, we use a different long-term timing data set, developed a new timing model and an independent numerical integration of the motion of the system, and determined the masses and orbital parameters with a different methodology that treats the parameter $\Delta$, describing a possible strong-field SEP violation, identically to all other parameters. We obtain a violation parameter $\Delta = (+0.5 \pm 1.8) \times 10^{-6}$ at 95\% confidence level, which is compatible with and improves upon the previous study by 30\%. This result is statistics-limited and avoids limitation by systematics as previously encountered. We find evidence for red noise in the pulsar spin frequency, which is responsible for up to 10\% of the reported uncertainty. We use the improved limit on SEP violation to place constraints on a class of well-studied scalar-tensor theories, in particular we find $\omega_{\rm BD} > 140\,000$ for the Brans-Dicke parameter. The conservative limits presented here fully take into account current uncertainties in the equation for state of neutron-star matter.


title: Knowledge Graph Validation

abstract: Knowledge graphs (KGs) have shown to be an important asset of large companies like Google and Microsoft. KGs play an important role in providing structured and semantically rich information, making them available to people and machines, and supplying accurate, correct and reliable knowledge. To do so a critical task is knowledge validation, which measures whether statements from KGs are semantically correct and correspond to the so-called "real" world. In this paper, we provide an overview and review of the state-of-the-art approaches, methods and tools on knowledge validation for KGs, as well as an evaluation of them. As a result, we demonstrate a lack of reproducibility of tools results, give insights, and state our future research direction.


title: Beyond skyrmions: Review and perspectives of alternative magnetic quasiparticles

abstract: Magnetic skyrmions have attracted enormous research interest since their discovery a decade ago. The non-trivial real-space topology of these nano-whirls leads to fundamentally interesting and technologically relevant consequences - the skyrmion Hall effect of the texture and the topological Hall effect of the electrons. Furthermore, it grants skyrmions in a ferromagnetic surrounding great stability even at small sizes, making skyrmions aspirants to become the carriers of information in the future. Still, the utilization of skyrmions in spintronic devices has not been achieved yet, among other reasons, due to shortcomings in their current-driven motion. In this review, we present recent trends in the field of topological spin textures that go beyond skyrmions. The majority of these objects can be considered a combination of multiple subparticles, such as the bimeron, or the skyrmion analogues in different magnetic surroundings, such as antiferromagnetic skyrmions, as well as three-dimensional generalizations, such as hopfions. We classify the alternative magnetic quasiparticles - some of them observed experimentally, others theoretical predictions - and present the most relevant and auspicious advantages of this emerging field.


title: Spin-orbit-torque magnonics

abstract: The field of magnonics, which utilizes propagating spin waves for nano-scale transmission and processing of information, has been significantly advanced by the advent of the spin-orbit torque. The latter phenomenon can allow one to overcome two main drawbacks of magnonic devices - low energy efficiency of conversion of electrical signals into spin wave signals, and fast spatial decay of spin waves in thin-film waveguiding structures. At first glance, the excitation and amplification of spin waves by spin-orbit torques can seem to be straightforward. Recent research indicates, however, that the lack of the mode-selectivity in the interaction of spin currents with dynamic magnetic modes and the onset of dynamic nonlinear phenomena represent significant obstacles. Here, we discuss the possible route to overcoming these limitations, based on the suppression of nonlinear spin-wave interactions in magnetic systems with perpendicular magnetic anisotropy. We show that this approach enables efficient excitation of coherent magnetization dynamics and propagating spin waves in extended spatial regions, and is expected to enable practical implementation of complete compensation of spin-wave propagation losses.


title: Integrable boundary states in D3-D5 dCFT: beyond scalars

abstract: A D3-D5 intersection gives rise to a defect CFT, wherein the rank of the gauge group jumps by k units across a domain wall. The one-point functions of local operators in this set-up map to overlaps between on-shell Bethe states in the underlying spin chain and a boundary state representing the D5 brane. Focussing on the k=1 case, we extend the construction to gluonic and fermionic sectors, which was prohibitively difficult to achieve for k>1. As a byproduct, we test an all-loop proposal for the one-point functions in the su(2) sector at the half-wrapping order of perturbation theory.


title: Storing, preprocessing and analyzing Tweets: Finding the suitable NoSQL system

abstract: NoSQL systems are a new generation of databases that aim to handle a large volume of data. However there is a large set of NoSQL systems, each has its own characteristics. Consequently choosing the suitable NoSQL system to handle Tweets is challenging. Based on these motivations, this work is carried out to find the suitable NoSQL system to store, preprocess and analyze Tweets. This paper presents the requirements of managing Tweets and provides a detailed comparison of five of the most popular NoSQL systems namely, Redis, Cassandra, MongoDB, Couchbase and Neo4j regarding to these requirements. The results of this work show that for Tweets storing, preprocessing and analyzing, MongoDB and Couchbase are the most suitable NoSQL systems. Unlike related works, this work compares five NoSQL systems from different types in a real scenario which is Tweet storing, preprocessing and analyzing. The chosen scenario enables to evaluate not only the performance of read and write operations, but also other requirements related to Tweets management such as scalability, analysis tools support and analysis languages support.