title: Entropic curvature on graphs along Schr{\"o}dinger bridges at zero temperature

abstract: Lott-Sturm-Villani theory of curvature on geodesic spaces has been extended to discrete graph spaces by C. L{\'e}onard by replacing W2-Wasserstein geodesics by Schr{\"o}odinger bridges in the definition of entropic curvature [23, 25, 24]. As a remarkable fact, as a temperature parameter goes to zero, these Schr{\"o}dinger bridges are supported by geodesics of the space. We analyse this property on discrete graphs to reach entropic curvature on discrete spaces. Our approach provides lower bounds for the entropic curvature for several examples of graph spaces: the lattice Z n endowed with the counting measure, the discrete cube endowed with product probability measures, the circle, the complete graph, the Bernoulli-Laplace model. Our general results also apply to a large class of graphs which are not specifically studied in this paper. As opposed to Erbar-Maas results on graphs [27, 10, 11], entropic curvature results of this paper imply new Pr{\'e}kopa-Leindler type of inequalities on discrete spaces, and new transport-entropy inequalities related to refined concentration properties for the graphs mentioned above. For example on the discrete hypercube {0, 1} n and for the Bernoulli Laplace model, a new W2 -- W1 transport-entropy inequality is reached, that can not be derived by usual induction arguments over the dimension n. As a surprising fact, our method also gives improvements of weak transport-entropy inequalities (see [28, 15]) associated to the so-called convex-hull method by Talagrand [38].


title: On the ergodic theory of Tanaka-Ito type alpha-continued fractions

abstract: We show the ergodicity of Tanaka-Ito type $\alpha$-continued fraction maps and construct their natural extensions. We also discuss the relation between entropy and the size of the natural extension domain.


title: Time-induced second-order topological superconductors

abstract: Higher-order topological materials with topologically protected states at the boundaries of their boundaries (hinges or corners) have attracted attention in recent years. In this paper, we utilize time-periodic driving to generate second-order topological superconductors out of systems which otherwise do not even allow second-order topological characterization. This is made possible by the design of the periodic drives which inherently exhibit nontrival winding in the time-domain. Through the interplay of topology in both spatial and temporal dimensions, nonchiral Majorana modes may emerge at the systems corners and sometimes even coexist with chiral Majorana modes. Our proposal thus presents a unique opportunity to Floquet engineering with minimal system complexity and its application in quantum information processing.


title: Improving Convolutional Neural Networks Via Conservative Field Regularisation and Integration

abstract: Current research in convolutional neural networks (CNN) focuses mainly on changing the architecture of the networks, optimizing the hyper-parameters and improving the gradient descent. However, most work use only 3 standard families of operations inside the CNN, the convolution, the activation function, and the pooling. In this work, we propose a new family of operations based on the Green's function of the Laplacian, which allows the network to solve the Laplacian, to integrate any vector field and to regularize the field by forcing it to be conservative. Hence, the Green's function (GF) is the first operation that regularizes the 2D or 3D feature space by forcing it to be conservative and physically interpretable, instead of regularizing the norm of the weights. Our results show that such regularization allows the network to learn faster, to have smoother training curves and to better generalize, without any additional parameter. The current manuscript presents early results, more work is required to benchmark the proposed method.


title: On Constructions of Free Singularities

abstract: The purpose of this paper is to give new examples of families of free singularities. We first show that a generic equidimensional subspace arrangement is free. Furthermore, we show that a product of two reduced Cohen-Macaulay subspaces is free if and only if both subspaces are free.


title: Voice conversion using coefficient mapping and neural network

abstract: The research presents a voice conversion model using coefficient mapping and neural network. Most previous works on parametric speech synthesis did not account for losses in spectral details causing over smoothing and invariably, an appreciable deviation of the converted speech from the targeted speaker. An improved model that uses both linear predictive coding (LPC) and line spectral frequency (LSF) coefficients to parametrize the source speech signal was developed in this work to reveal the effect of over-smoothing. Non-linear mapping ability of neural network was employed in mapping the source speech vectors into the acoustic vector space of the target. Training LPC coefficients with neural network yielded a poor result due to the instability of the LPC filter poles. The LPC coefficients were converted to line spectral frequency coefficients before been trained with a 3-layer neural network. The algorithm was tested with noisy data with the result evaluated using Mel-Cepstral Distance measurement. Cepstral distance evaluation shows a 35.7 percent reduction in the spectral distance between the target and the converted speech.


title: Induced subgraphs of bounded treewidth and the container method

abstract: A hole in a graph is an induced cycle of length at least 4. A hole is long if its length is at least 5. By $P_t$ we denote a path on $t$ vertices. In this paper we give polynomial-time algorithms for the following problems: the Maximum Weight Independent Set problem in long-hole-free graphs, and the Feedback Vertex Set problem in $P_5$-free graphs. Each of the above results resolves a corresponding long-standing open problem. An extended $C_5$ is a five-vertex hole with an additional vertex adjacent to one or two consecutive vertices of the hole. Let $\mathcal{C}$ be the class of graphs excluding an extended $C_5$ and holes of length at least $6$ as induced subgraphs; $\mathcal{C}$ contains all long-hole-free graphs and all $P_5$-free graphs. We show that, given an $n$-vertex graph $G \in \mathcal{C}$ with vertex weights and an integer $k$, one can in time $n^{\Oh(k)}$ find a maximum-weight induced subgraph of $G$ of treewidth less than $k$. This implies both aforementioned results.


title: Finite cubic graphs admitting an cyclic group of automorphisms with at most three orbits on vertices

abstract: The theory of voltage graphs has become a standard tool in the study graphs admitting a semiregular group of automorphisms. We introduce the notion of a cyclic generalised voltage graph to extend the scope of this theory to graphs admitting a cyclic group of automorphism that may not be semiregular. We use this new tool to classify all cubic graphs admitting a cyclic group of automorphisms with at most three vertex-orbits and we characterise vertextransitivity for each of these classes. In particular, we show that a cubic vertex-transitive graph admitting a cyclic group of automorphisms with at most three orbits on vertices either belongs to one of 5 infinite families or is isomorphic to the well-know Tutte-Coxeter graph.


title: An eigenvalue estimate for the $\bar{\partial}$-Laplacian associated to a nef line bundle

abstract: We study the $\bar{\partial}$-Laplacian on forms taking values in $L^{k}$, a high power of a nef line bundle on a compact complex manifold, and give an estimate of the number of the eigenforms whose corresponding eigenvalues smaller than or equal to $\lambda$. In particular, the $\lambda=0$ case gives an asymptotic estimate for the order of the corresponding cohomology groups. It helps to generalize the Grauert--Riemenschneider conjecture. At last, we discuss the $\lambda=0$ case on a pseudo-effective line bundle.


title: Scan Correlation -- Revealing distributed scan campaigns

abstract: Public networks are exposed to port scans from the Internet. Attackers search for vulnerable services they can exploit. In large scan campaigns, attackers often utilize different machines to perform distributed scans, which impedes their detection and might also camouflage the actual goal of the scanning campaign. In this paper, we present a correlation algorithm to detect scans, identify potential relations among them, and reassemble them to larger campaigns. We evaluate our approach on real-world Internet traffic and our results indicate that it can summarize and characterize standalone and distributed scan campaigns based on their tools and intention.


title: Convolutional Kernel Networks for Graph-Structured Data

abstract: We introduce a family of multilayer graph kernels and establish new links between graph convolutional neural networks and kernel methods. Our approach generalizes convolutional kernel networks to graph-structured data, by representing graphs as a sequence of kernel feature maps, where each node carries information about local graph substructures. On the one hand, the kernel point of view offers an unsupervised, expressive, and easy-to-regularize data representation, which is useful when limited samples are available. On the other hand, our model can also be trained end-to-end on large-scale data, leading to new types of graph convolutional neural networks. We show that our method achieves competitive performance on several graph classification benchmarks, while offering simple model interpretation. Our code is freely available at https://github.com/claying/GCKN.


title: Suppressed or enhanced central star formation rates in late-type barred galaxies

abstract: Bars in disc-dominated galaxies are able to drive gas inflow inside the corotation radius, thus enhancing the central star formation rate (SFR). Previous work, however, has found that disc-dominated galaxies with centrally suppressed SFR frequently host a bar. Here we investigate possible causes for the suppression of central SFR in such cases. We compare physical properties of a sample of disc-dominated barred galaxies with high central SFR (HC galaxies) with those of a sample of disc-dominated barred galaxies with low central SFR (LC galaxies). We find that the two samples have on average similar HI content and bars of similar strength. But we also find that the HCs have bluer colors than LCs, and that outside the bar region they host stronger spiral arms than the LCs where closed rings are more often seen. We discuss and evaluate the possible causes for the suppression of the central SFR in the LC galaxies as opposed to its enhancement in the HC galaxies.


title: Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages

abstract: Probabilistic programming is an approach to reasoning under uncertainty by encoding inference problems as programs. In order to solve these inference problems, probabilistic programming languages (PPLs) employ different inference algorithms, such as sequential Monte Carlo (SMC), Markov chain Monte Carlo (MCMC), or variational methods. Existing research on such algorithms mainly concerns their implementation and efficiency, rather than the correctness of the algorithms themselves when applied in the context of expressive PPLs. To remedy this, we give a correctness proof for SMC methods in the context of an expressive PPL calculus, representative of popular PPLs such as WebPPL, Anglican, and Birch. Previous work have studied correctness of MCMC using an operational semantics, and correctness of SMC and MCMC in a denotational setting without term recursion. However, for SMC inference -- one of the most commonly used algorithms in PPLs as of today -- no formal correctness proof exists in an operational setting. In particular, an open question is if the resample locations in a probabilistic program affects the correctness of SMC. We solve this fundamental problem, and make four novel contributions: (i) we extend an untyped PPL lambda calculus and operational semantics to include explicit resample terms, expressing synchronization points in SMC inference; (ii) we prove, for the first time, that subject to mild restrictions, any placement of the explicit resample terms is valid for a generic form of SMC inference; (iii) as a result of (ii), our calculus benefits from classic results from the SMC literature: a law of large numbers and an unbiased estimate of the model evidence; and (iv) we formalize the bootstrap particle filter for the calculus and discuss how our results can be further extended to other SMC algorithms.


title: Towards a calibration of laboratory setups for grazing incidence and total-reflection X-ray fluorescence analysis

abstract: Grazing-Incidence X-ray fluorescence (GIXRF) analysis, which is closely related to total-reflection XRF, is a very powerful technique for the in-depth analysis of many types of technologically relevant samples, e.g. nanoparticle depositions, shallow dopant profiles, thin layered samples or even well-ordered nanostructures. However, the GIXRF based determination of the depth-dependent information about the sample is usually based on a modelling of the experimental data. This requires profound knowledge of the geometrical parameters of the setup employed, especially the incident beam profile as well as the detector aperture parameters. Together they determine the incident angle dependent so-called effective solid angle of detection which must be known in order to model any experimental data set. In this work, we demonstrate how these instrumental parameters, which are typically not known with sufficient accuracy, can be determined using dedicated experiments with a well-known calibration sample. In addition, this paves the way for a full calibration of the setup, as also information about other parameters, e.g. the incident photon flux is gained. Here, we are using a Bruker S4 T-STAR instrument for this demonstration but the principle can also be applied for other GIXRF setups.


title: The arithmetic extensions of a numerical semigroup

abstract: In this paper we introduce the notion of extension of a numerical semigroup. We provide a characterization of the numerical semigroups whose extensions are all arithmetic and we give an algorithm for the computation of the whole set of arithmetic extension of a given numerical semigroup. As by-product, new explicit formulas for the Frobenius number and the genus of proportionally modular semigroups are obtained.


title: Fractional magnetic Schr\"{o}dinger-Kirchhoff problems with convolution and critical nonlinearities

abstract: In this paper we are concerned with the existence and multiplicity of solutions for the fractional Choquard-type Schr\"{o}dinger-Kirchhoff equations with electromagnetic fields and critical nonlinearity: \begin{eqnarray*} \begin{cases} \varepsilon^{2s}M([u]_{s,A}^2)(-\Delta)_{A}^su + V(x)u = (|x|^{-\alpha}*F(|u|^2))f(|u|^2)u + |u|^{2_s^\ast-2}u,\ \ \ x\in \mathbb{R}^N,\\ u(x) \rightarrow 0,\ \ \quad \mbox{as}\ |x| \rightarrow \infty, \end{cases} \end{eqnarray*} where $(-\Delta)_{A}^s$ is the fractional magnetic operator with $0<s<1$, $2_s^\ast = 2N/(N-2s)$, $\alpha < \min\{N, 4s\}$, $M : \mathbb{R}^{+}_{0}\rightarrow \mathbb{R}^{+}_0$ is a continuous function, $A: \mathbb{R}^N \rightarrow \mathbb{R}^N$ is the magnetic potential, $F(|u|) = \int_0^{|u|}f(t)dt$, and $\varepsilon > 0$ is a positive parameter. The electric potential $V\in C(\mathbb{R}^N, \mathbb{R}^+_0)$ satisfies $V(x) = 0$ in some region of $\mathbb{R}^N$, which means that this is the critical frequency case. We first prove the $(PS)_c$ condition, by using the fractional version of the concentration compactness principle. Then, applying also the mountain pass theorem and the genus theory, we obtain the existence and multiplicity of semiclassical states for the above problem. The main feature of our problems is that the Kirchhoff term $M$ can vanish at zero.


title: Regularizing properties of (non-Gaussian) transition semigroups in Hilbert spaces

abstract: Let $\mathcal{X}$ be a separable Hilbert space with norm $\|\cdot\|$ and let $T>0$. Let $Q$ be a linear, self-adjoint, positive, trace class operator on $\mathcal{X}$, let $F:\mathcal{X}\rightarrow \mathcal{X}$ be a (smooth enough) function and let $W(t)$ be a $\mathcal{X}$-valued cylindrical Wiener process. For $\alpha\in [0,1/2]$ we consider the operator $A:=-(1/2)Q^{2\alpha-1}:Q^{1-2\alpha}(\mathcal{X})\subseteq \mathcal{X}\rightarrow \mathcal{X}$. We are interested in the mild solution $X(t,x)$ of the semilinear stochastic partial differential equation \begin{gather*} \left\{\begin{array}{ll} dX(t,x)=\big(AX(t,x)+F(X(t,x))\big)dt+ Q^{\alpha}dW(t), & t\in(0,T];\\ X(0,x)=x\in \mathcal{X}, \end{array}\right. \end{gather*} and in its associated transition semigroup \begin{align*} P(t)\varphi(x):=\mathbb{E}[\varphi(X(t,x))], \qquad \varphi\in B_b(\mathcal{X}),\ t\in[0,T],\ x\in \mathcal{X}; \end{align*} where $B_b(\mathcal{X})$ is the space of the bounded and Borel measurable functions. We will show that under suitable hypotheses on $Q$ and $F$, $P(t)$ enjoys regularizing properties, along a continuously embedded subspace of $\mathcal{X}$. More precisely there exists $K:=K(F,T)>0$ such that for every $\varphi\in B_b(\mathcal{X})$, $x\in \mathcal{X}$, $t\in(0,T]$ and $h\in Q^\alpha(\mathcal{X})$ it holds \[|P(t)\varphi(x+h)-P(t)\varphi(x)|\leq Kt^{-1/2}\|Q^{-\alpha}h\|.\]


title: Uncovering the Data-Related Limits of Human Reasoning Research: An Analysis based on Recommender Systems

abstract: Understanding the fundamentals of human reasoning is central to the development of any system built to closely interact with humans. Cognitive science pursues the goal of modeling human-like intelligence from a theory-driven perspective with a strong focus on explainability. Syllogistic reasoning as one of the core domains of human reasoning research has seen a surge of computational models being developed over the last years. However, recent analyses of models' predictive performances revealed a stagnation in improvement. We believe that most of the problems encountered in cognitive science are not due to the specific models that have been developed but can be traced back to the peculiarities of behavioral data instead. Therefore, we investigate potential data-related reasons for the problems in human reasoning research by comparing model performances on human and artificially generated datasets. In particular, we apply collaborative filtering recommenders to investigate the adversarial effects of inconsistencies and noise in data and illustrate the potential for data-driven methods in a field of research predominantly concerned with gaining high-level theoretical insight into a domain. Our work (i) provides insight into the levels of noise to be expected from human responses in reasoning data, (ii) uncovers evidence for an upper-bound of performance that is close to being reached urging for an extension of the modeling task, and (iii) introduces the tools and presents initial results to pioneer a new paradigm for investigating and modeling reasoning focusing on predicting responses for individual human reasoners.


title: Acceleration of charged particles in rotating magnetized star

abstract: Charged particles at the crust of compact stars may be ejected and accelerated by the electric field generated due to the rotation of the magnetized star. For neutron or hybrid stars, the negatively charged particles are usually electrons, and the positively charged particles are mainly protons and Iron. Whereas the existence of strange stars also includes the possibility of ejection of strangelets from the star surface. The flux of such strangelets emitted from all known pulsars is in the range of $10^9-10^{10}$ GeV. Therefore, such massive strangelets can be one of the candidates for the sources of the highest-energy cosmic rays that have still eluded us. Our model proposes a possible origin of these ultra high energy cosmic rays.


title: Industrial Scale Privacy Preserving Deep Neural Network

abstract: Deep Neural Network (DNN) has been showing great potential in kinds of real-world applications such as fraud detection and distress prediction. Meanwhile, data isolation has become a serious problem currently, i.e., different parties cannot share data with each other. To solve this issue, most research leverages cryptographic techniques to train secure DNN models for multi-parties without compromising their private data. Although such methods have strong security guarantee, they are difficult to scale to deep networks and large datasets due to its high communication and computation complexities. To solve the scalability of the existing secure Deep Neural Network (DNN) in data isolation scenarios, in this paper, we propose an industrial scale privacy preserving neural network learning paradigm, which is secure against semi-honest adversaries. Our main idea is to split the computation graph of DNN into two parts, i.e., the computations related to private data are performed by each party using cryptographic techniques, and the rest computations are done by a neutral server with high computation ability. We also present a defender mechanism for further privacy protection. We conduct experiments on real-world fraud detection dataset and financial distress prediction dataset, the encouraging results demonstrate the practicalness of our proposal.


title: Self-supervised Point Set Local Descriptors for Point Cloud Registration

abstract: In this work, we propose to learn local descriptors for point clouds in a self-supervised manner. In each iteration of the training, the input of the network is merely one unlabeled point cloud. On top of our previous work, that directly solves the transformation between two point sets in one step without correspondences, the proposed method is able to train from one point cloud, by supervising its self-rotation, that we randomly generate. The whole training requires no manual annotation. In several experiments we evaluate the performance of our method on various datasets and compare to other state of the art algorithms. The results show, that our self-supervised learned descriptor achieves equivalent or even better performance than the supervised learned model, while being easier to train and not requiring labeled data.


title: Mapping active allosteric loci SARS-CoV Spike Proteins by means of Protein Contact Networks

abstract: Coronaviruses are a class of virus responsible of the recent outbreak of Human Severe Acute Respiratory Syndrome. The molecular machinery behind the viral entry and thus infectivity is based on the formation of the complex of virus spike protein with the angiotensin-converting enzyme 2 (ACE2). The detection of putative allosteric sites on the viral spike protein can trace the path to develop allosteric drugs to weaken the strength of the spike-ACE2 interface and, thus, reduce the viral infectivity. In this work we present results of the application of the Protein Contact Network (PCN) paradigm to the complex SARS-CoV spike - ACE2 relative to both 2003 SARS and the recent 2019 - CoV. Results point to a specific region, present in both structures, that is predicted to act as allosteric site modulating the binding of the spike protein with ACE2.


title: Heavy-Ion Storage Rings and Their Use in Precision Experiments with Highly Charged Ions

abstract: Storage rings have been employed over three decades in various kinds of nuclear and atomic physics experiments with highly charged ions. Storage ring operation and precision physics experiments benefit from the availability of beam cooling which is common to nearly all facilities. The basic aspects of the storage ring components and the operation of the ring in various ion-optical modes as well as the achievable beam conditions are described. Ion storage rings offer unparalleled capabilities for high precision experiments with stable and radioactive beams. The versatile techniques and methods for beam manipulations allow for preparing beams of highest quality at any energy of interest. The rings are therefore part of the experiment . Recent experiments conducted in a wide energy range and with various experimental installations are discussed. An overview of active and planned facilities, new experimental set-ups and proposed physics experiments completes this review.


title: Nematic superconductivity in topological insulators induced by hexagonal warping

abstract: We study superconducting properties of the bulk states of a doped topological insulator. We obtain that the hexagonal warping stabilizes the nematic spin-triplet superconducting phase with $E_u$ pairing and the direction of the nematic order parameter which opens the full gap is the ground state. This order parameter exhibits non-BCS behavior. The ratio of the order parameter to the critical temperature of $\Delta(0)/T_c$ differs from the BCS ratio. It depends on the chemical potential and the value of the hexagonal warping. We discuss the relevance of the obtained results for the explanation of the experimental observations.


title: Gluonic-Excitation Energies and Abelian Dominance in SU(3) QCD

abstract: We present the first study of the Abelian-projected gluonic-excitation energies for the static quark-antiquark (Q$\bar{\rm Q}$) system in SU(3) lattice QCD at the quenched level, using a $32^4$ lattice at $\beta = 6.0$. We investigate ground-state and three excited-state Q$\bar{\rm Q}$ potentials, using smeared link variables on the lattice. We find universal Abelian dominance for the quark confinement force of the excited-state Q$\bar{\rm Q}$ potentials as well as the ground-state potential. Remarkably, in spite of the excitation phenomenon in QCD, we find Abelian dominance for the first gluonic-excitation energy of about 1 GeV at long distances in the maximally Abelian gauge. On the other hand, no Abelian dominance is observed for higher gluonic-excitation energies even at long distances. This suggests that there is some threshold between 1 and 2 GeV for the applicable excitation-energy region of Abelian dominance. Also, we find that Abelian projection significantly reduces the short-distance $1/r$-like behavior in gluonic-excitation energies.


title: On the structure of the world economy: An absorbing Markov chain approach

abstract: The expansion of global production networks has raised many important questions about the interdependence among countries and how future changes in the world economy are likely to affect the countries' positioning in global value chains. We are approaching the structure and lengths of value chains from a completely different perspective than has been available so far. By assigning a random endogenous variable to a network linkage representing the number of intermediate sales/purchases before absorption (final use or value added), the discrete-time absorbing Markov chains proposed here shed new light on the world input/output networks. The variance of this variable can help assess the risk when shaping the chain length and optimize the level of production. Contrary to what might be expected simply on the basis of comparative advantage, the results reveal that both the input and output chains exhibit the same quasi-stationary product distribution. Put differently, the expected proportion of time spent in a state before absorption is invariant to changes of the network type. Finally, the several global metrics proposed here, including the probability distribution of global value added/final output, provide guidance for policy makers when estimating the resilience of world trading system and forecasting the macroeconomic developments.


title: Totally $T$-adic functions of small height

abstract: Let $\mathbb{F}_q(T)$ be the field of rational functions in one variable over a finite field. We introduce the notion of a totally $T$-adic function: one that is algebraic over $\mathbb{F}_q(T)$ and whose minimal polynomial splits completely over the completion $\mathbb{F}_q(\!(T)\!)$. We give two proofs that the height of a nonconstant totally $T$-adic function is bounded away from zero, each of which provides a sharp lower bound. We spend the majority of the paper providing explicit constructions of totally $T$-adic functions of small height (via arithmetic dynamics) and minimum height (via geometry and computer search). We also execute a large computer search that proves certain kinds of totally $T$-adic functions of minimum height over $\mathbb{F}_2(T)$ do not exist. The problem of whether there exist infinitely many totally $T$-adic functions of minimum positive height over $\mathbb{F}_q(T)$ remains open. Finally, we consider analogues of these notions under additional integrality hypotheses.


title: Compressing Piecewise Smooth Images with the Mumford-Shah Cartoon Model

abstract: Compressing piecewise smooth images is important for many data types such as depth maps in 3D videos or optic flow fields for motion compensation. Specialised codecs that rely on explicitly stored segmentations excel in this task since they preserve discontinuities between smooth regions. However, current approaches rely on ad hoc segmentations that lack a clean interpretation in terms of energy minimisation. As a remedy, we derive a generic region merging algorithm from the Mumford-Shah cartoon model. It adapts the segmentation to arbitrary reconstruction operators for the segment content. In spite of its conceptual simplicity, our framework can outperform previous segment-based compression methods as well as BPG by up to 3 dB.


title: The Measure-and-Reprogram Technique 2.0: Multi-Round Fiat-Shamir and More

abstract: We revisit recent works by Don, Fehr, Majenz and Schaffner and by Liu and Zhandry on the security of the Fiat-Shamir transformation of $\Sigma$-protocols in the quantum random oracle model (QROM). Two natural questions that arise in this context are: (1) whether the results extend to the Fiat-Shamir transformation of multi-round interactive proofs, and (2) whether Don et al.'s $O(q^2)$ loss in security is optimal. Firstly, we answer question (1) in the affirmative. As a byproduct of solving a technical difficulty in proving this result, we slightly improve the result of Don et al., equipping it with a cleaner bound and an even simpler proof. We apply our result to digital signature schemes showing that it can be used to prove strong security for schemes like MQDSS in the QROM. As another application we prove QROM-security of a non-interactive OR proof by Liu, Wei and Wong. As for question (2), we show via a Grover-search based attack that Don et al.'s quadratic security loss for the Fiat-Shamir transformation of $\Sigma$-protocols is optimal up to a small constant factor. This extends to our new multi-round result, proving it tight up to a factor that depends on the number of rounds only, i.e. is constant for any constant-round interactive proof.


title: In Situ Network and Application Performance Measurement on Android Devices and the Imperfections

abstract: Understanding network and application performance are essential for debugging, improving user experience, and performance comparison. Meanwhile, modern mobile systems are optimized for energy-efficient computation and communications that may limit the performance of network and applications. In recent years, several tools have emerged that analyze network performance of mobile applications in~situ with the help of the VPN service. There is a limited understanding of how these measurement tools and system optimizations affect the network and application performance. In this study, we first demonstrate that mobile systems employ energy-aware system hardware tuning, which affects application performance and network throughput. We next show that the VPN-based application performance measurement tools, such as Lumen, PrivacyGuard, and Video Optimizer, aid in ambiguous network performance measurements and degrade the application performance. Our findings suggest that sound application and network performance measurement on Android devices requires a good understanding of the device, networks, measurement tools, and applications.


title: A Fourier Domain Feature Approach for Human Activity Recognition & Fall Detection

abstract: Elder people consequence a variety of problems while living Activities of Daily Living (ADL) for the reason of age, sense, loneliness and cognitive changes. These cause the risk to ADL which leads to several falls. Getting real life fall data is a difficult process and are not available whereas simulated falls become ubiquitous to evaluate the proposed methodologies. From the literature review, it is investigated that most of the researchers used raw and energy features (time domain features) of the signal data as those are most discriminating. However, in real life situations fall signal may be noisy than the current simulated data. Hence the result using raw feature may dramatically changes when using in a real life scenario. This research is using frequency domain Fourier coefficient features to differentiate various human activities of daily life. The feature vector constructed using those Fast Fourier Transform are robust to noise and rotation invariant. Two different supervised classifiers kNN and SVM are used for evaluating the method. Two standard publicly available datasets are used for benchmark analysis. In this research, more discriminating results are obtained applying kNN classifier than the SVM classifier. Various standard measure including Standard Accuracy (SA), Macro Average Accuracy (MAA), Sensitivity (SE) and Specificity (SP) has been accounted. In all cases, the proposed method outperforms energy features whereas competitive results are shown with raw features. It is also noticed that the proposed method performs better than the recently risen deep learning approach in which data augmentation method were not used.


title: Pattern in non-linearly coupled network of identical Thomas oscillators

abstract: We have investigated synchronized pattern in a network of Thomas oscillators coupled with sinusoidal nonlinear coupling. Pattern like chimera states are not only observed for many non-locally coupled oscillators but there is a signature of it even for locally coupled few oscillators. For certain range of intermediate coupling, clusters are also observed. These patterns do resemble with motion of real self propelled coupled dynamical systems.


title: Action-angle Variables for Generic 1D Mechanical Systems

abstract: We consider a 1D mechanical system $$\bar {\mathtt H}(\mathtt P,\mathtt Q)=\mathtt P^2+\bar {\mathtt G}(\mathtt Q)$$ in action-angle variable $(\mathtt P,\mathtt Q)$ where $\bar {\mathtt G}$ is a $2\pi$-periodic analytic function with non degenerate critical points. Then, we consider a small analytic perturbation of $\bar {\mathtt H}$ of the form $${\mathtt H}^*(\mathtt P,\mathtt Q;\hat{\mathtt P}) = \mathtt P^2+\bar {\mathtt G}(\mathtt Q)+ \eta {\mathtt F} (\mathtt P,\mathtt Q;\hat{\mathtt P})=:\mathtt P^2 + {\mathtt G}^*(\mathtt P,\mathtt Q;\hat{\mathtt P})\,, \qquad \eta\ll 1\ ,$$ where the perturbed potential $ {\mathtt G}^*$ may depend on the action $\mathtt P$ and also on parameters $\hat{\mathtt P}$ ("the adiabatic actions"); indeed, this is the form of a finite dimensional mechanical system close to an exact simple resonance after averaging over fast angles and disregarding the exponentially small remainder, see [5]. Up to a finite number of separatrices and elliptic/hyperbolic points the phase space of ${\mathtt H}^*$ is divided into a finite number of open connected components foliated by invariant circles. On every connected component we perform a (Arnold-Liouville) symplectic action-angle transformation which integrates the system. We give a complete and quantitative description of the analyticity properties of such integrating transformations, estimating, in particular, how such transformations differ from the integrating transformation for $\bar {\mathtt H}$; compare Theorem 6.1 below.


title: A Mobile Robot Hand-Arm Teleoperation System by Vision and IMU

abstract: In this paper, we present a multimodal mobile teleoperation system that consists of a novel vision-based hand pose regression network (Transteleop) and an IMU-based arm tracking method. Transteleop observes the human hand through a low-cost depth camera and generates not only joint angles but also depth images of paired robot hand poses through an image-to-image translation process. A keypoint-based reconstruction loss explores the resemblance in appearance and anatomy between human and robotic hands and enriches the local features of reconstructed images. A wearable camera holder enables simultaneous hand-arm control and facilitates the mobility of the whole teleoperation system. Network evaluation results on a test dataset and a variety of complex manipulation tasks that go beyond simple pick-and-place operations show the efficiency and stability of our multimodal teleoperation system.


title: The Sequent Calculus of Skew Monoidal Categories

abstract: Szlach\'anyi's skew monoidal categories are a well-motivated variation of monoidal categories in which the unitors and associator are not required to be natural isomorphisms, but merely natural transformations in a particular direction. We present a sequent calculus for skew monoidal categories, building on the recent formulation by one of the authors of a sequent calculus for the Tamari order (skew semigroup categories). In this calculus, antecedents consist of a stoup (an optional formula) followed by a context, and the connectives behave like in the standard monoidal sequent calculus except that the left rules may only be applied in stoup position. We prove that this calculus is sound and complete with respect to existence of maps in the free skew monoidal category, and moreover that it captures equality of maps once a suitable equivalence relation is imposed on derivations. We then identify a subsystem of focused derivations and establish that it contains exactly one canonical representative from each equivalence class. This coherence theorem leads directly to simple procedures for deciding equality of maps in the free skew monoidal category and for enumerating any homset without duplicates. Finally, and in the spirit of Lambek's work, we describe the close connection between this proof-theoretic analysis and Bourke and Lack's recent characterization of skew monoidal categories as left representable skew multicategories. We have formalized this development in the dependently typed programming language Agda.


title: On the Impact of Fluid Structure Interaction in Blood Flow Simulations: Stenotic Coronary Artery Benchmark

abstract: We study the impact of using fluid-structure interactions (FSI) to simulate blood flow in a large stenosed artery. We compare typical flow configurations using Navier-Stokes in a rigid geometry setting to a fully coupled FSI model. The relevance of vascular elasticity is investigated with respect to several questions of clinical importance. Namely, we study the effect of using FSI on the wall shear stress distribution, on the Fractional Flow Reserve and on the damping effect of a stenosis on the pressure amplitude during the pulsatory cycle. The coupled problem is described in a monolithic variational formulation based on Arbitrary Lagrangian Eulerian (ALE) coordinates. For comparison, we perform pure Navier-Stokes simulations on a prestressed geometry to give a good matching of both configurations. A series of numerical simulations that cover important hemodynamical factors are presented and discussed.


title: Real-space cluster dynamical mean-field theory: Center focused extrapolation on the one- and two particle level

abstract: We revisit the cellular dynamical mean-field theory (CDMFT) for the single band Hubbard model on the square lattice at half filling, reaching real-space cluster sizes of up to 9 x 9 sites. Using benchmarks against direct lattice diagrammatic Monte Carlo at high temperature, we show that the self-energy obtained from a cluster center focused extrapolation converges faster with the cluster size than the periodization schemes previously introduced in the literature. The same benchmark also shows that the cluster spin susceptibility can be extrapolated to the exact result at large cluster size, even though its spatial extension is larger than the cluster size.


title: A surprising formula for Sobolev norms

abstract: We establish the equivalence between the Sobolev semi-norm $\|\nabla u\|_{L^p}$ and a quantity obtained when replacing the strong $L^p$ by a weak $L^p$ norm in the Gagliardo semi-norm $|u|_{W^{s,p}}$ computed at $s = 1$. As corollaries we derive alternative estimates in some exceptional cases (involving $W^{1,1}$) where the "anticipated" fractional Sobolev and Gagliardo-Nirenberg inequalities fail.


title: Scheduling.jl -- Collaborative and Reproducible Scheduling Research with Julia

abstract: We introduce the Scheduling.jl Julia package, which is intended for collaboratively conducting scheduling research and for sharing implementations of algorithms. It provides the fundamental building blocks for implementing scheduling algorithms following the three-field notation of Graham et al., i.e., it has functionality to describe machine environments, job characteristics, and optimality criteria. Our goal is to foster algorithm and code sharing in the scheduling community. Scheduling.jl can also be used to support teaching scheduling theory in classes. We will show the main functionalities of Scheduling.jl and give an example on how to use it by comparing different algorithms for the problem of P||Cmax .


title: Keyfilter-Aware Real-Time UAV Object Tracking

abstract: Correlation filter-based tracking has been widely applied in unmanned aerial vehicle (UAV) with high efficiency. However, it has two imperfections, i.e., boundary effect and filter corruption. Several methods enlarging the search area can mitigate boundary effect, yet introducing undesired background distraction. Existing frame-by-frame context learning strategies for repressing background distraction nevertheless lower the tracking speed. Inspired by keyframe-based simultaneous localization and mapping, keyfilter is proposed in visual tracking for the first time, in order to handle the above issues efficiently and effectively. Keyfilters generated by periodically selected keyframes learn the context intermittently and are used to restrain the learning of filters, so that 1) context awareness can be transmitted to all the filters via keyfilter restriction, and 2) filter corruption can be repressed. Compared to the state-of-the-art results, our tracker performs better on two challenging benchmarks, with enough speed for UAV real-time applications.


title: Compact vectorial Toeplitz operators on the Segal-Bargmann space

abstract: We provide a sufficient condition for the compactness of a Toeplitz operator acting on the Segal-Bargmann space of vector-valued functions written in terms of an associated operator-valued kernel.


title: Tidal effects in the motion of gas clouds around boson stars

abstract: We report simulations regarding tidal disruption clouds orbiting spherically symmetric compact boson stars in two different regimes. First we consider clouds in three different bound orbits close to the boson star and analyze the mechanisms of debris formation for these. We infer from the simulations that the lifetimes of these hot-spots are longer for circularly orbiting clouds than for clouds on eccentric orbits. Next we compare the evolution of more extended and less dense clouds on circular orbits around a boson star and a Schwarzschild black hole. As an outcome of the simulations we observe the formation of a ring-like structure around the boson star endowed with a spiralling shock structure and a constant thermal bremsstrahlung total luminosity. This final configuration contrasts strongly with the black hole scenario where the gas is totally captured behind the event horizon.


title: A mixture autoregressive model based on Gaussian and Student's $t$-distributions

abstract: We introduce a new mixture autoregressive model which combines Gaussian and Student's $t$ mixture components. The model has very attractive properties analogous to the Gaussian and Student's $t$ mixture autoregressive models, but it is more flexible as it enables to model series which consist of both conditionally homoscedastic Gaussian regimes and conditionally heteroscedastic Student's $t$ regimes. The usefulness of our model is demonstrated in an empirical application to the monthly U.S. interest rate spread between the 3-month Treasury bill rate and the effective federal funds rate.


title: Estimation of lateral track irregularity through Kalman filtering techniques

abstract: The aim of this work is to develop a model-based methodology for monitoring lateral track irregularities based on the use of inertial sensors mounted on an in-service train. To this end, a gyroscope is used to measure the wheelset yaw angular velocity and two accelerometers are used to measure lateral acceleration of the wheelset and the bogie frame. Using a highly simplified linear bogie model that is able to capture the most relevant dynamic behaviour allows for the set-up of a very efficient Kalman-based monitoring strategy. The behaviour of the designed filter is assessed through the use of a detailed multibody model of an in-service vehicle running on a straight track with realistic irregularities. The model output is used to generate virtual measurements that are subsequently used to run the filter and validate the proposed estimator. In addition, the equivalent parameters of the simplified model are identified based on these simulations. In order to prove the robustness of the proposed technique, a systematic parametric analysis has been performed. The results obtained with the proposed method are promising, showing high accuracy and robustness for monitoring lateral alignment on straight tracks, with a very low computational cost.


title: Robust Audio Watermarking Using Graph-based Transform and Singular Value Decomposition

abstract: Graph-based Transform (GT) has been recently leveraged successfully in the signal processing domain, specifically for compression purposes. In this paper, we employ the GBT, as well as the Singular Value Decomposition (SVD) with the goal to improve the robustness of audio watermarking against different attacks on the audio signals, such as noise and compression. Experimental results on the NOIZEUS speech database and MIR-1k music database clearly certify that the proposed GBT-SVD-based method is robust against the attacks. Moreover, the results exhibit a good quality after the embedding based on PSNR, PESQ, and STOI measures. Also, the payload for the proposed method is 800 and 1600 for speech and music signals, respectively which are higher than some robust watermarking methods such as DWT-SVD and DWT-DCT.


title: 3-Survivor: A Rough Terrain Negotiable Teleoperated Mobile Rescue Robot with Passive Control Mechanism

abstract: This paper presents the design and integration of 3 Survivor, a rough terrain negotiable teleoperated mobile rescue and service robot. 3 Survivor is an improved version of two previously studied surveillance robots named Sigma 3 and Alpha N. In 3 Survivor, a modified double tracked with caterpillar mechanism is incorporated in the body design. A passive adjustment established in the body balance enables the front and rear body to operate in excellent synchronization. Instead of using an actuator, a re configurable dynamic method is constructed with a 6 DOF arm. This dynamic method is configured with the planer, spatial mechanism, rotation matrix, motion control of rotation using inverse kinematics and controlling power consumption of the manipulator using angular momentum. The robot is remotely controlled using a handheld Radio Frequency RF transmitter. 3 Survivor is equipped with a Raspberry Pi 12 MP camera which is used for livestreaming of robot operations. Object detection algorithms are run on the live video stream. The object detection method is built using a Faster RCNN with VGGNet16 architecture of CNN. The entire operations of the robot are monitored through a web control window. Therefore, the control portal provides a brief scenario of the environment to run, control and steer the robot for more precise operation. A very impressive 88.25 percent accuracy is acquired from this module in a rescue operation. Along with the ODM, the sensor system of the robot provides information on the hazardous terrain. The feasibility of the 3 Survivor is tested and presented by different experiments throughout the paper.


title: Asymptotic action and asymptotic winding number for area-preserving diffeomorphisms of the disk

abstract: Given a compactly supported area-preserving diffeomorphism of the disk, we prove an integral formula relating the asymptotic action to the asymptotic winding number. As a corollary, we obtain a new proof of Fathi's integral formula for the Calabi homomorphism on the disk.


title: Phase mixing and wave heating in a complex coronal plasma

abstract: Aims. We investigate the formation of small scales and the dissipation of MHD wave energy through non-linear interactions of counter-propagating, phase-mixed Alfvenic waves in a complex magnetic field. Methods. We conducted fully 3-D, non-ideal MHD simulations of transverse waves in complex magnetic fields. Continuous wave drivers were imposed on the foot points of magnetic field lines and the system was evolved for several Alfven travel times. Phase-mixed waves were allowed to reflect off the upper boundary and the interactions between the resultant counter-streaming wave packets were analysed. Results. The complex nature of the background magnetic field encourages the development of phase mixing, leading to a growth in currents and vorticities. Counter-propagating phase-mixed waves induce a cascade of energy to small scales and result in more efficient energy dissipation. This effect is enhanced in simulations with more complex magnetic fields. High-frequency drivers excite localised field line resonances and produce efficient wave heating. However, this relies on the formation of large amplitude oscillations on resonant field lines. Drivers with smaller frequencies than the fundamental frequencies of field lines are not able to excite resonances and thus do not inject sufficient Poynting flux to power coronal heating. Even in the case of high-frequency oscillations, the rate of dissipation is likely too slow to balance coronal energy losses, even within the quiet Sun. Conclusions. For the generalised phase-mixing presented here, complex background field structures enhance the rate of wave energy dissipation. However, it remains difficult for realistic wave drivers to inject sufficient Poynting flux to heat the corona. Indeed, significant heating only occurs in cases which exhibit amplitudes that are much larger than those currently observed in the solar atmosphere.


title: A spatio-temporal model to understand forest fires causality in Europe

abstract: Forest fires are the outcome of a complex interaction between environmental factors, topography and socioeconomic factors (Bedia et al, 2014). Therefore, understand causality and early prediction are crucial elements for controlling such phenomenon and saving lives.The aim of this study is to build spatio-temporal model to understand causality of forest fires in Europe, at NUTS2 level between 2012 and 2016, using environmental and socioeconomic variables.We have considered a disease mapping approach, commonly used in small area studies to assess thespatial pattern and to identify areas characterised by unusually high or low relative risk.


title: A faster and more accurate algorithm for calculating population genetics statistics requiring sums of Stirling numbers of the first kind

abstract: Stirling numbers of the first kind are used in the derivation of several population genetics statistics, which in turn are useful for testing evolutionary hypotheses directly from DNA sequences. Here, we explore the cumulative distribution function of these Stirling numbers, which enables a single direct estimate of the sum, using representations in terms of the incomplete beta function. This estimator enables an improved method for calculating an asymptotic estimate for one useful statistic, Fu's $F_s$. By reducing the calculation from a sum of terms involving Stirling numbers to a single estimate, we simultaneously improve accuracy and dramatically increase speed.


title: Enabling automated driving by ICT infrastructure: A reference architecture

abstract: Information and communication technology (ICT) is an enabler for establishing automated vehicles (AVs) in today's traffic systems. By providing complementary and/or redundant information via radio communication to the AV's perception by on-board sensors, higher levels of automated driving become more comfortable, safer, or even possible without interaction by the driver, especially in complex scenarios. Additionally, communication between vehicles and/or a central service can improve the efficiency of traffic flow. This paper presents a reference architecture for such an infrastructure-based support of AVs. The architecture combines innovative concepts and technologies from different technological fields like communication, IT environment and data flows, and cyber-security and privacy. Being the basis for the EU-funded project ICT4CART, exemplary implementations of this architecture will show its power for a variety of use cases on highways and in urban areas in test sites in Austria, Germany, and Italy, including cross-border interoperability.


title: Inequalities for generalized matrix function and inner product

abstract: We present inequalities related to generalized matrix function for positive semidefinite block matrices. We introduce partial generalized matrix functions corresponding to partial traces, and then provide a unified extension of the recent inequalities due to Lin [Electron. J. Linear Algebra 27 (2014) 821-826], Zhang et al. [Linear Algebra Appl. 498 (2016) 99-105] and [Electron. J. Linear Algebra 27 (2014) 332-341] and a result of Choi [Linear Algebra Appl. 532 (2017) 1-7]. Moreover, we demonstrate the application of a positive semidefinite $3\times 3$ block matrix, which motivates us to give alternative proofs of Dragomir's inequality and Krein's inequality.


title: Quantum droplets in one-dimensional Bose mixtures: a quantum Monte-Carlo study

abstract: We use exact Quantum Monte Carlo techniques to study the properties of quantum droplets in two-component bosonic mixtures with contact interactions in one spatial dimension. We systematically study the surface tension, the density profile and the breathing mode as a function of the number of particles in the droplet and of the ratio of coupling strengths between intra-species repulsion and inter-species attraction. We find that deviations from the predictions of the generalized Gross-Pitaevskii equation are small in most cases of interest.


title: Spin Seebeck Effect near the Antiferromagnetic Spin-Flop Transition

abstract: We develop a low-temperature, long-wavelength theory for the interfacial spin Seebeck effect (SSE) in easy-axis antiferromagnets. The field-induced spin-flop (SF) transition of N\'eel order is associated with a qualitative change in SSE behavior: Below SF, there are two spin carriers with opposite magnetic moments, with the carriers polarized along the field forming a majority magnon band. Above SF, the low-energy, ferromagnetic-like mode has magnetic moment opposite the field. This results in a sign change of the SSE across SF, which agrees with recent measurements on Cr$_2$O$_3$/Pt and Cr$_2$O$_3$/Ta devices [Li $\textit{et al.,}$ $\textit{Nature}$ $\textbf{578,}$ 70 (2020)]. In our theory, SSE is due to a N\'eel spin current below SF and a magnetic spin current above SF. Using the ratio of the associated N\'eel to magnetic spin-mixing conductances as a single constant fitting parameter, we reproduce the field dependence of the experimental data and partially the temperature dependence of the relative SSE jump across SF.


title: Colourings, transversals and local sparsity

abstract: Motivated both by recently introduced forms of list colouring and by earlier work on independent transversals subject to a local sparsity condition, we use the semi-random method to prove the following result. For any function $\mu$ satisfying $\mu(d)=o(d)$ as $d\to\infty$, there is a function $\lambda$ satisfying $\lambda(d)=d+o(d)$ as $d\to\infty$ such that the following holds. For any graph $H$ and any partition of its vertices into parts of size at least $\lambda$ such that (a) for each part the average over its vertices of degree to other parts is at most $d$, and (b) the maximum degree from a vertex to some other part is at most $\mu$, there is guaranteed to be a transversal of the parts that forms an independent set of $H$. This is a common strengthening of two results of Loh and Sudakov (2007) and Molloy and Thron (2012), each of which in turn implies an earlier result of Reed and Sudakov (2002).


title: Compact gradient $\rho$-Einstein soliton is isometric to the Euclidean sphere

abstract: In this paper we have investigated some aspects of gradient $\rho$-Einstein Ricci soliton in a complete Riemannian manifold. First, we have proved that the compact gradient $\rho$-Einstein soliton is isometric to the Euclidean sphere by showing that the scalar curvature becomes constant. Second, we have showed that in a non-compact gradient $\rho$-Einstein soliton satisfying some integral condition, the scalar curvature vanishes.


title: Channel Interaction Networks for Fine-Grained Image Categorization

abstract: Fine-grained image categorization is challenging due to the subtle inter-class differences.We posit that exploiting the rich relationships between channels can help capture such differences since different channels correspond to different semantics. In this paper, we propose a channel interaction network (CIN), which models the channel-wise interplay both within an image and across images. For a single image, a self-channel interaction (SCI) module is proposed to explore channel-wise correlation within the image. This allows the model to learn the complementary features from the correlated channels, yielding stronger fine-grained features. Furthermore, given an image pair, we introduce a contrastive channel interaction (CCI) module to model the cross-sample channel interaction with a metric learning framework, allowing the CIN to distinguish the subtle visual differences between images. Our model can be trained efficiently in an end-to-end fashion without the need of multi-stage training and testing. Finally, comprehensive experiments are conducted on three publicly available benchmarks, where the proposed method consistently outperforms the state-of-theart approaches, such as DFL-CNN (Wang, Morariu, and Davis 2018) and NTS (Yang et al. 2018).


title: Modular phenomena for regularized double zeta values

abstract: In this paper, we investigate linear relations among regularized motivic iterated integrals on $\mathbb{P}^{1}\setminus\{0,1,\infty\}$ of depth two, which we call regularized motivic double zeta values. Some mysterious connections between motivic multiple zeta values and modular forms are known, e.g. Gangl--Kaneko--Zagier relation for the totally odd double zeta values and Ihara--Takao relation for the depth graded motivic Lie algebra. In this paper, we investigate so-called non-admissible cases and give many new Gangl--Kaneko--Zagier type and Ihara--Takao type relations for regularized motivic double zeta values. Specifically, we construct linear relations among a certain family of regularized motivic double zeta values from odd period polynomials of modular forms for the unique index two congruence subgroup of the full modular group. This gives the first non trivial example of a construction of the relations among multiple zeta values (or their analogues) from modular forms for a congruence subgroup other than the ${\rm SL}_{2}(\mathbb{Z})$.


title: Integrable tautness of isometries of complex hyperbolic spaces

abstract: Consider $n \geq 2$. In this paper we prove that the group $\text{PU}(n,1)$ is $1$-taut. This result concludes the study of $1$-tautness of rank-one Lie groups of non-compact type. Additionally the tautness property implies a classification of finitely generated groups which are $\text{L}^1$-measure equivalent to lattices of $\text{PU}(n,1)$. More precisely, we show that $\text{L}^1$-measure equivalent groups must be extensions of lattices of $\text{PU}(n,1)$ by a finite group.


title: Compacting Frequent Star Patterns in RDF Graphs

abstract: Knowledge graphs have become a popular formalism for representing entities and their properties using a graph data model, e.g., the Resource Description Framework (RDF). An RDF graph comprises entities of the same type connected to objects or other entities using labeled edges annotated with properties. RDF graphs usually contain entities that share the same objects in a certain group of properties, i.e., they match star patterns composed of these properties and objects. In case the number of these entities or properties in these star patterns is large, the size of the RDF graph and query processing are negatively impacted; we refer these star patterns as frequent star patterns. We address the problem of identifying frequent star patterns in RDF graphs and devise the concept of factorized RDF graphs, which denote compact representations of RDF graphs where the number of frequent star patterns is minimized. We also develop computational methods to identify frequent star patterns and generate a factorized RDF graph, where compact RDF molecules replace frequent star patterns. A compact RDF molecule of a frequent star pattern denotes an RDF subgraph that instantiates the corresponding star pattern. Instead of having all the entities matching the original frequent star pattern, a surrogate entity is added and related to the properties of the frequent star pattern; it is linked to the entities that originally match the frequent star pattern. We evaluate the performance of our factorization techniques on several RDF graph benchmarks and compare with a baseline built on top of gSpan, a state-of-the-art algorithm to detect frequent patterns. The outcomes evidence the efficiency of proposed approach and show that our techniques are able to reduce execution time of the baseline approach in at least three orders of magnitude reducing the RDF graph size by up to 66.56%.


title: Entanglement Accessibility Measures for the Quantum Internet

abstract: We define metrics and measures to characterize the ratio of accessible quantum entanglement for complex network failures in the quantum Internet. A complex network failure models a situation in the quantum Internet in which a set of quantum nodes and a set of entangled connections become unavailable. A complex failure can cover a quantum memory failure, a physical link failure, an eavesdropping activity, or any other random physical failure scenario. Here, we define the terms entanglement accessibility ratio, cumulative probability of entanglement accessibility ratio, probabilistic reduction of entanglement accessibility ratio, domain entanglement accessibility ratio, and occurrence coefficient. The proposed methods can be applied to an arbitrary topology quantum network to extract relevant statistics and to handle the quantum network failure scenarios in the quantum Internet.


title: Enterprise Social Networks as Digital Infrastructures -- Understanding the Utilitarian Value of Social Media at the Workplace

abstract: In this study, we first show that while both the perceived usefulness and perceived enjoyment of enterprise social networks impact employees' intentions for continuous participation, the utilitarian value significantly outpaces its hedonic value. Second, we prove that the network's utilitarian value is constituted by its digital infrastructure characteristics: versatility, adaptability, interconnectedness and invisibility-in-use. The study is set within a software engineering company and bases on quantitative survey research, applying partial least squares structural equation modeling.


title: Neutron Guide Building Instruments of the Brazilian Multipurpose Reactor (RMB) Project

abstract: A growing community of scientists has been using neutrons in the most diverse areas of science. In order to meet the researchers demand in the areas of physics, chemistry, materials sciences, engineering, cultural heritage, biology and earth sciences, the Brazilian Multipurpose Reactor (RMB) will provide 3 thermal guides and 3 cold guides, with the installation of several instruments for materials characterization. In this study, we present a standard design requirement of two primordial instruments, namely Sabi\'a and Araponga. They are, respectively, cold and thermal neutron instruments and correspond to a Small-Angle Neutron Scattering (SANS) and High-Resolution Powder Neutron Diffractometer (HRPND) to be installed in the Neutron Guide Building (N02) of RMB. To provide adequate flux for both instruments, we propose here an initial investigation of the use of simple and split guides to transport neutron beams to two different instruments on the same guide. For this purpose, we use Monte Carlo simulations utilizing McStas software to check the efficiency of thermal neutron transport for different basic configuration and sources. By considering these results, it is possible to conclude that the split guide configuration is, in most cases, more efficient than cases that use transmitted neutron beams independently of source. We also verify that the employment of different coating indexes for concave and convex surfaces on curved guides is crucial, at least on simulated cases, to optimise neutron flux (intensity and divergence) and diminish facility installation cost.

categories: physics.ins-det nucl-ex nucl-th quant-ph


title: GID-Net: Detecting Human-Object Interaction with Global and Instance Dependency

abstract: Since detecting and recognizing individual human or object are not adequate to understand the visual world, learning how humans interact with surrounding objects becomes a core technology. However, convolution operations are weak in depicting visual interactions between the instances since they only build blocks that process one local neighborhood at a time. To address this problem, we learn from human perception in observing HOIs to introduce a two-stage trainable reasoning mechanism, referred to as GID block. GID block breaks through the local neighborhoods and captures long-range dependency of pixels both in global-level and instance-level from the scene to help detecting interactions between instances. Furthermore, we conduct a multi-stream network called GID-Net, which is a human-object interaction detection framework consisting of a human branch, an object branch and an interaction branch. Semantic information in global-level and local-level are efficiently reasoned and aggregated in each of the branches. We have compared our proposed GID-Net with existing state-of-the-art methods on two public benchmarks, including V-COCO and HICO-DET. The results have showed that GID-Net outperforms the existing best-performing methods on both the above two benchmarks, validating its efficacy in detecting human-object interactions.


title: Trivial source characters in blocks with cyclic defect groups

abstract: We describe the ordinary characters of trivial source modules lying in blocks with cyclic defect groups relying on their recent classification in terms of paths on the Brauer tree by G.~Hiss and the second author. In particular, we show how to recover the exceptional constituents of such characters using the source algebra of the block.


title: Optimizing High-Efficiency Quantum Memory with Quantum Machine Learning for Near-Term Quantum Devices

abstract: Quantum memories are a fundamental of any global-scale quantum Internet, high-performance quantum networking and near-term quantum computers. A main problem of quantum memories is the low retrieval efficiency of the quantum systems from the quantum registers of the quantum memory. Here, we define a novel quantum memory called high-retrieval-efficiency (HRE) quantum memory for near-term quantum devices. An HRE quantum memory unit integrates local unitary operations on its hardware level for the optimization of the readout procedure and utilizes the advanced techniques of quantum machine learning. We define the integrated unitary operations of an HRE quantum memory, prove the learning procedure, and evaluate the achievable output signal-to-noise ratio values. We prove that the local unitaries of an HRE quantum memory achieve the optimization of the readout procedure in an unsupervised manner without the use of any labeled data or training sequences. We show that the readout procedure of an HRE quantum memory is realized in a completely blind manner without any information about the input quantum system or about the unknown quantum operation of the quantum register. We evaluate the retrieval efficiency of an HRE quantum memory and the output SNR (signal-to-noise ratio). The results are particularly convenient for gate-model quantum computers and the near-term quantum devices of the quantum Internet.


title: Theory of Noise-Scaled Stability Bounds and Entanglement Rate Maximization in the Quantum Internet

abstract: Crucial problems of the quantum Internet are the derivation of stability properties of quantum repeaters and theory of entanglement rate maximization in an entangled network structure. The stability property of a quantum repeater entails that all incoming density matrices can be swapped with a target density matrix. The strong stability of a quantum repeater implies stable entanglement swapping with the boundness of stored density matrices in the quantum memory and the boundness of delays. Here, a theoretical framework of noise-scaled stability analysis and entanglement rate maximization is conceived for the quantum Internet. We define the term of entanglement swapping set that models the status of quantum memory of a quantum repeater with the stored density matrices. We determine the optimal entanglement swapping method that maximizes the entanglement rate of the quantum repeaters at the different entanglement swapping sets as function of the noise of the local memory and local operations. We prove the stability properties for non-complete entanglement swapping sets, complete entanglement swapping sets and perfect entanglement swapping sets. We prove the entanglement rates for the different entanglement swapping sets and noise levels. The results can be applied to the experimental quantum Internet.


title: Relative decay conditions on Liouville type theorem for the steady Navier-Stokes system

abstract: In this paper we prove Liouville type theorem for the stationary Navier-Stokes equations in $\Bbb R^3$ under the assumptions on the relative decays of velocity, pressure and the head pressure. More precisely, we show that any smooth solution $(u,p)$ of the stationary Navier-Stokes equations satisfying $u(x) \to 0$ as $|x|\to +\infty$ and the condition of finite Dirichlet integral $\int_{\Bbb R^3} | \nabla u|^2 dx <+\infty $ is trivial, if either $|u|/|Q|=O(1)$ or $|p|/|Q| =O(1) $ as $|x|\to \infty$, where $|Q|=\frac12 |u|^2 +p$ is the head pressure.


title: A Note on Matrix Valued Truncated Toeplitz Operators

abstract: We prove a spatial Isomorphism between two spaces of matrix valued truncated Toeplitz operators.


title: Three-dimensional needle network model for dendritic growth with fluid flow

abstract: We present a first implementation of the Dendritic Needle Network (DNN) model for dendritic crystal growth in three dimensions including convective transport in the melt. The numerical solving of the Navier-Stokes equations is performed with finite differences and is validated by comparison with a classical benchmark in fluid mechanics for unsteady flow. We compute the growth behavior of a single equiaxed crystal under a forced convective flow. As expected, the resulting dendrite morphology differs strongly from the case of the purely diffusive regime and from similar two-dimensional simulations. The resulting computationally efficient simulations open the way to studying mechanisms of microstructure selection in presence of fluid flow, using realistic alloys and process parameters.


title: Ethical Guidelines for the Construction of Digital Nudges

abstract: Under certain circumstances, humans tend to behave in irrational ways, leading to situations in which they make undesirable choices. The concept of digital nudging addresses these limitations of bounded rationality by establishing a libertarian paternalist alternative to nudge users in virtual environments towards their own preferential choices. Thereby, choice architectures are designed to address biases and heuristics involved in cognitive thinking. As research on digital nudging has become increasingly popular in the Information Systems community, an increasing necessity for ethical guidelines has emerged around this concept to safeguard its legitimization in distinction to e.g. persuasion or manipulation. However, reflecting on ethical debates regarding digital nudging in academia, we find that current conceptualizations are scare. This is where on the basis of existing literature, we provide a conceptualization of ethical guidelines for the design of digital nudges, and thereby aim to ensure the applicability of nudging mechanisms in virtual environments.


title: Comparing mesoscopic models for dendritic growth

abstract: We present a quantitative benchmark of multiscale models for dendritic growth simulations. We focus on approaches based on phase-field, dendritic needle network, and grain envelope dynamics. As a first step, we focus on isothermal growth of an equiaxed grain in a supersaturated liquid in three dimensions. A quantitative phase-field formulation for solidification of a dilute binary alloy is used as the reference benchmark. We study the effect of numerical and modeling parameters in both needle-based and envelope-based approaches, in terms of their capacity to quantitatively reproduce phase-field reference results. In light of this benchmark, we discuss the capabilities and limitations of each approach in quantitatively and efficiently predicting transient and steady states of dendritic growth. We identify parameters that yield a good compromise between accuracy and computational efficiency in both needle-based and envelope-based models. We expect that these results will guide further developments and utilization of these models, and ultimately pave the way to a quantitative bridging of the dendrite tip scale with that of entire experiments and solidification processes.


title: Explainable Agents Through Social Cues: A Review

abstract: The issue of how to make embodied agents explainable has experienced a surge of interest over the last three years, and, there are many terms that refer to this concept, e.g., transparency or legibility. One reason for this high variance in terminology is the unique array of social cues that embodied agents can access in contrast to that accessed by non-embodied agents. Another reason is that different authors use these terms in different ways. Hence, we review the existing literature on explainability and organize it by (1) providing an overview of existing definitions, (2) showing how explainability is implemented and how it exploits different social cues, and (3) showing how the impact of explainability is measured. Additionally, we present a list of open questions and challenges that highlight areas that require further investigation by the community. This provides the interested reader with an overview of the current state-of-the-art.


title: Coordinate-wise Armijo's condition: General case

abstract: Let $z=(x,y)$ be coordinates for the product space $\mathbb{R}^{m_1}\times \mathbb{R}^{m_2}$. Let $f:\mathbb{R}^{m_1}\times \mathbb{R}^{m_2}\rightarrow \mathbb{R}$ be a $C^1$ function, and $\nabla f=(\partial _xf,\partial _yf)$ its gradient. Fix $0<\alpha <1$. For a point $(x,y) \in \mathbb{R}^{m_1}\times \mathbb{R}^{m_2}$, a number $\delta >0$ satisfies Armijo's condition at $(x,y)$ if the following inequality holds: \begin{eqnarray*} f(x-\delta \partial _xf,y-\delta \partial _yf)-f(x,y)\leq -\alpha \delta (||\partial _xf||^2+||\partial _yf||^2). \end{eqnarray*} In one previous paper, we proposed the following {\bf coordinate-wise} Armijo's condition. Fix again $0<\alpha <1$. A pair of positive numbers $\delta _1,\delta _2>0$ satisfies the coordinate-wise variant of Armijo's condition at $(x,y)$ if the following inequality holds: \begin{eqnarray*} [f(x-\delta _1\partial _xf(x,y), y-\delta _2\partial _y f(x,y))]-[f(x,y)]\leq -\alpha (\delta _1||\partial _xf(x,y)||^2+\delta _2||\partial _yf(x,y)||^2). \end{eqnarray*} Previously we applied this condition for functions of the form $f(x,y)=f(x)+g(y)$, and proved various convergent results for them. For a general function, it is crucial - for being able to do real computations - to have a systematic algorithm for obtaining $\delta _1$ and $\delta _2$ satisfying the coordinate-wise version of Armijo's condition, much like Backtracking for the usual Armijo's condition. In this paper we propose such an algorithm, and prove according convergent results. We then analyse and present experimental results for some functions such as $f(x,y)=a|x|+y$ (given by Asl and Overton in connection to Wolfe's method), $f(x,y)=x^3 sin (1/x) + y^3 sin(1/y)$ and Rosenbrock's function.


title: Doubly Charmed Pentaquarks

abstract: The LHCb Collaboration, using its full data set from runs $1$ and $2$, announced in $2019$ a surprising update of the hidden-charm pentaquark states $P_c(4380)^+$ and $P_c(4450)^+$, observed in 2015. A new state, $P_c(4312)^+$, was clearly seen at lower energies; furthermore, the original $P_c(4450)$ resonance was resolved into two individual states, named the $P_c(4440)^+$ and the $P_c(4457)^+$. Motivated by the fact that these new hidden-charm pentaquark states were successfully predicted by our chiral quark model, we extend herein such study to the doubly charmed sector. The analyzed total spin and parity quantum numbers are $J^P=\frac12^-$, $\frac32^-$ and $\frac52^-$, in the $I=\frac12$ and $\frac32$ isospin channels. We find several possible narrow baryon-meson resonances (theoretical masses in parenthesis): $IJ^P = \frac12 \frac12^-$ $\Sigma_c D(4356)$, $\frac12 \frac32^-$ $\Sigma^*_c D(4449)$, $\frac32 \frac12^-$ $\Sigma_c D(4431)$, $\frac32 \frac12^-$ $\Sigma_c D(4446)$, $\frac32 \frac32^-$ $\Sigma_c D^*(4514)$ and $\frac32 \frac52^-$ $\Xi^*_{cc} \rho(4461)$ whose widths are $4.8$, $8.0$, $2.6$, $2.2$, $4.0$ and $3.0\,\text{MeV}$, respectively. Moreover, one shallow bound-state is found, too, with quantum numbers $IJ^P = \frac12 \frac32^-$ $\Xi^*_{cc} \pi(3757)$. These doubly charmed pentaquark states are expected to be identified in future experiments.


title: Combined Centrality Measures for an Improved Characterization of Influence Spread in Social Networks

abstract: Influence Maximization (IM) aims at finding the most influential users in a social network, i. e., users who maximize the spread of an opinion within a certain propagation model. Previous work investigated the correlation between influence spread and nodal centrality measures to bypass more expensive IM simulations. The results were promising but incomplete, since these studies investigated the performance (i. e., the ability to identify influential users) of centrality measures only in restricted settings, e. g., in undirected/unweighted networks and/or within a propagation model less common for IM. In this paper, we first show that good results within the Susceptible- Infected-Removed (SIR) propagation model for unweighted and undirected networks do not necessarily transfer to directed or weighted networks under the popular Independent Cascade (IC) propagation model. Then, we identify a set of centrality measures with good performance for weighted and directed networks within the IC model. Our main contribution is a new way to combine the centrality measures in a closed formula to yield even better results. Additionally, we also extend gravitational centrality (GC) with the proposed combined centrality measures. Our experiments on 50 real-world data sets show that our proposed centrality measures outperform well-known centrality measures and the state-of-the art GC measure significantly. social networks, influence maximization, centrality measures, IC propagation model, influential spreaders


title: Quantum State Optimization and Computational Pathway Evaluation for Gate-Model Quantum Computers

abstract: A computational problem fed into a gate-model quantum computer identifies an objective function with a particular computational pathway (objective function connectivity). The solution of the computational problem involves identifying a target objective function value that is the subject to be reached. A bottleneck in a gate-model quantum computer is the requirement of several rounds of quantum state preparations, high-cost run sequences, and multiple rounds of measurements to determine a target (optimal) state of the quantum computer that achieves the target objective function value. Here, we define a method for optimal quantum state determination and computational path evaluation for gate-model quantum computers. We prove a state determination method that finds a target system state for a quantum computer at a given target objective function value. The computational pathway evaluation procedure sets the connectivity of the objective function in the target system state on a fixed hardware architecture of the quantum computer. The proposed solution evolves the target system state without requiring the preparation of intermediate states between the initial and target states of the quantum computer. Our method avoids high-cost system state preparations and expensive running procedures and measurement apparatuses in gate-model quantum computers. The results are convenient for gate-model quantum computations and the near-term quantum devices of the quantum Internet.


title: On the Reproduction of Real Wireless Channel Occupancy in ns-3

abstract: In wireless networking R&D we typically depend on simulation and experimentation to evaluate and validate new networking solutions. While simulations allow full control over the scenario conditions, real-world experiments are influenced by external random phenomena and may produce hardly repeatable and reproducible results, impacting the validation of the solution under evaluation. Previously, we have proposed the Trace-based Simulation (TS) approach to address the problem. TS uses traces of radio link quality and position of nodes to accurately reproduce past experiments in ns-3. Yet, in its current version, the TS approach is not compatible with scenarios where the radio spectrum is shared with concurrent networks, as it does not reproduce their channel occupancy. In this paper, we introduce the InterferencePropagationLossModel and a modified MacLow to allow reproducing the channel occupancy experienced in past experiments. To validate the proposed models, the network throughput was measured in different experiments performed in the w-iLab.t testbed, controlling the channel occupancy introduced by concurrent networks. The experimental results were then compared with the network throughput achieved using the improved TS approach, the legacy TS approach, and pure simulation, validating the new proposed models and confirming their relevance to reproduce experiments previously executed in real environments.


title: Semi-Local 3D Lane Detection and Uncertainty Estimation

abstract: We propose a novel camera-based DNN method for 3D lane detection with uncertainty estimation. Our method is based on a semi-local, BEV, tile representation that breaks down lanes into simple lane segments. It combines learning a parametric model for the segments along with a deep feature embedding that is then used to cluster segment together into full lanes. This combination allows our method to generalize to complex lane topologies, curvatures and surface geometries. Additionally, our method is the first to output a learning based uncertainty estimation for the lane detection task. The efficacy of our method is demonstrated in extensive experiments achieving state-of-the-art results for camera-based 3D lane detection, while also showing our ability to generalize to complex topologies, curvatures and road geometries as well as to different cameras. We also demonstrate how our uncertainty estimation aligns with the empirical error statistics indicating that it is well calibrated and truly reflects the detection noise.


title: Expressiveness and machine processability of Knowledge Organization Systems (KOS): An analysis of concepts and relations

abstract: This study considers the expressiveness (that is the expressive power or expressivity) of different types of Knowledge Organization Systems (KOS) and discusses its potential to be machine-processable in the context of the Semantic Web. For this purpose, the theoretical foundations of KOS are reviewed based on conceptualizations introduced by the Functional Requirements for Subject Authority Data (FRSAD) and the Simple Knowledge Organization System (SKOS); natural language processing techniques are also implemented. Applying a comparative analysis, the dataset comprises a thesaurus (Eurovoc), a subject headings system (LCSH) and a classification scheme (DDC). These are compared with an ontology (CIDOC-CRM) by focusing on how they define and handle concepts and relations. It was observed that LCSH and DDC focus on the formalism of character strings (nomens) rather than on the modelling of semantics; their definition of what constitutes a concept is quite fuzzy, and they comprise a large number of complex concepts. By contrast, thesauri have a coherent definition of what constitutes a concept, and apply a systematic approach to the modelling of relations. Ontologies explicitly define diverse types of relations, and are by their nature machine-processable. The paper concludes that the potential of both the expressiveness and machine processability of each KOS is extensively regulated by its structural rules. It is harder to represent subject headings and classification schemes as semantic networks with nodes and arcs, while thesauri are more suitable for such a representation. In addition, a paradigm shift is revealed which focuses on the modelling of relations between concepts, rather than the concepts themselves.


title: Capturing document context inside sentence-level neural machine translation models with self-training

abstract: Neural machine translation (NMT) has arguably achieved human level parity when trained and evaluated at the sentence-level. Document-level neural machine translation has received less attention and lags behind its sentence-level counterpart. The majority of the proposed document-level approaches investigate ways of conditioning the model on several source or target sentences to capture document context. These approaches require training a specialized NMT model from scratch on parallel document-level corpora. We propose an approach that doesn't require training a specialized model on parallel document-level corpora and is applied to a trained sentence-level NMT model at decoding time. We process the document from left to right multiple times and self-train the sentence-level model on pairs of source sentences and generated translations. Our approach reinforces the choices made by the model, thus making it more likely that the same choices will be made in other sentences in the document. We evaluate our approach on three document-level datasets: NIST Chinese-English, WMT'19 Chinese-English and OpenSubtitles English-Russian. We demonstrate that our approach has higher BLEU score and higher human preference than the baseline. Qualitative analysis of our approach shows that choices made by model are consistent across the document.


title: A search for dark matter in Triangulum II with the MAGIC telescopes

abstract: We present the first results from very-high-energy observations of the dwarf spheroidal satellite candidate Triangulum II with the MAGIC telescopes from 62.4 hours of good-quality data taken between August 2016 and August 2017. We find no gamma-ray excess in the direction of Triangulum II, and upper limits on both the differential and integral gamma-ray flux are presented. Currently, the kinematics of Triangulum II are affected by large uncertainties leading to a bias in the determination of the properties of its dark matter halo. Using a scaling relation between the annihilation J-factor and heliocentric distance of well-known dwarf spheroidal galaxies, we estimate an annihilation J-factor for Triangulum II for WIMP dark matter of $\log[J_{\text{ann}}({0.5^{\circ}})/$ GeV$^{2}$ cm$^{-5}] = 19.35 \pm 0.37$. We also derive a dark matter density profile for the object relying on results from resolved simulations of Milky Way sized dark matter halos. We obtain 95% confidence-level limits on the thermally averaged annihilation cross section for WIMP annihilation into various Standard Model channels. The most stringent limits are obtained in the $\tau^{+}\tau^{-}$ final state, where a cross section for annihilation down to $\langle \sigma_{\text{ann}} v \rangle = 3.05 \times 10^{-24}$ cm$^{3}$ s$^{-1}$ is excluded.


title: An Improved DOA Estimation Method for a Mixture of Circular and Non-Circular Signals Based on Sparse Arrays

abstract: Sparse arrays have attracted a lot of interests recently for their capability of providing more degrees of freedom than traditional uniform linear arrays. For a mixture of circular and noncircular signals, most of the existing direction of arrival (DOA) estimation methods are based on various uniform arrays. Recently, a class of DOA estimation algorithms based on sparse arrays was developed for a mixture of circular and noncircular signals. To further improve its performance, in this work, a modified algorithm is presented, which can resolve the same number of signals, and simulation results are provided to verified its performance.


title: Constraints on features in the inflationary potential from future Euclid data

abstract: With Planck cosmic microwave background observations, we established the spectral amplitude and tilt of the primordial power spectrum. Evidence of a red spectral tilt ($n_\mathrm{s}=0.96$) at $8\sigma$ provides strong support for the inflationary mechanism, especially the slow-roll of the effective scalar field in its nearly flat potential as the generator of scalar primordial perturbations. With the next generation of large-scale structure surveys, we expect to probe primordial physics beyond the overall shape and amplitude of the main, smooth and slowly-changing part of the inflaton potential. Using the specifications for the upcoming Euclid survey, we investigate to what extent we can constrain the inflation potential beyond its established slow-roll behaviour. We provide robust forecasts with Euclid and Planck mock data from nine fiducial power spectra that contain suppression and wiggles at different cosmological scales, using the Wiggly Whipped Inflation (WWI) framework to generate these features in the primordial spectrum. We include both Euclid cosmic shear and galaxy clustering, with a conservative cut-off for non-linear scales. Using Markov chain Monte Carlo simulations, we obtain an improvement in constraints in the WWI potential, as well an improvement for the background cosmology parameters. We find that apart from improving the constraints on the overall scale of the inflationary potential by 40-50 per cent, we can also identify oscillations in the primordial spectrum that are present within intermediate to small scales ($k\sim0.01-0.2\,\mathrm{Mpc^{-1}}$).


title: Spectrum and Analytic Functional Calculus in Real and Quaternionic Frameworks

abstract: We present an approach to the spectrum and analytic functional calculus for quaternionic linear operators, following the corresponding results concerning the real linear operators. In fact, the construction of the analytic functional calculus for real linear operators can be refined to get a similar construction for quaternionic linear ones, in a classical manner, using a Riesz-Dunford-Gelfand type kernel, and considering spectra in the complex plane. A quaternionic joint spectrum for pairs of operators is also discussed, and an analytic functional calculus is constructed, via a Martinelli type kernel in two variables.


title: Communication tasks in operational theories

abstract: We investigate the question which communication tasks can be accomplished within a given operational theory. The concrete task is to find out which communication matrices have a prepare-and-measure implementation with states and measurement from a given theory. To set a general framework for this question we develop the ultraweak matrix majorization in the set of communication matrices. This preorder gives us means to determine when one communication task is more difficult than another. Furthermore, we introduce several monotones which can be used to compare and characterize the communication matrices. We observe that not only do the monotones allow us to compare communication matrices, but also their maximal values in a given theory are seen to relate to some physical properties of the theory. The maximal values can then be thought as `dimensions', allowing us to compare different theories to each other. We analyse the introduced monotones one by one and demonstrate how the set of implementable communication matrices is different in several theories with the focus being mainly on the difference between classical and quantum theories of a given dimension.


title: Transient chaos under coordinate transformations in relativistic systems

abstract: We use the H\'enon-Heiles system as a paradigmatic model for chaotic scattering to study the Lorentz factor effects on its transient chaotic dynamics. In particular, we focus on how time dilation occurs within the scattering region by measuring the time in a clock attached to the particle. We observe that the several events of time dilation that the particle undergoes exhibit sensitivity to initial conditions. However, the structure of the singularities appearing in the escape time function remains invariant under coordinate transformations. This occurs because the singularities are closely related to the chaotic saddle. We then demonstrate using a Cantor-like set approach that the fractal dimension of the escape time function is relativistic invariant. In order to verify this result, we compute by means of the uncertainty dimension algorithm the fractal dimensions of the escape time functions as measured with inertial and comoving with the particle frames. We conclude that, from a mathematical point of view, chaotic transient phenomena are equally predictable in any reference frame and that transient chaos is coordinate invariant.


title: Accurate Mapping and Planning for Autonomous Racing

abstract: This paper presents the perception, mapping, and planning pipeline implemented on an autonomous race car. It was developed by the 2019 AMZ driverless team for the Formula Student Germany (FSG) 2019 driverless competition, where it won 1st place overall. The presented solution combines early fusion of camera and LiDAR data, a layered mapping approach, and a planning approach that uses Bayesian filtering to achieve high-speed driving on unknown race tracks while creating accurate maps. We benchmark the method against our team's previous solution, which won FSG 2018, and show improved accuracy when driving at the same speeds. Furthermore, the new pipeline makes it possible to reliably raise the maximum driving speed in unknown environments from 3~m/s to 12~m/s while still mapping with an acceptable RMSE of 0.29~m.


title: Hitting Long Directed Cycles is Fixed-Parameter Tractable

abstract: In the Directed Long Cycle Hitting Set} problem we are given a directed graph $G$, and the task is to find a set $S$ of at most $k$ vertices/arcs such that $G-S$ has no cycle of length longer than $\ell$. We show that the problem can be solved in time $2^{\mathcal O(\ell k^3\log k + k^5\log k\log\ell)}\cdot n^{\mathcal O(1)}$, that is, it is fixed-parameter tractable (FPT) parameterized by $k$ and $\ell$. This algorithm can be seen as a far-reaching generalization of the fixed-parameter tractability of {\sc Mixed Graph Feedback Vertex Set} [Bonsma and Lokshtanov WADS 2011], which is already a common generalization of the fixed-parameter tractability of (undirected) {\sc Feedback Vertex Set} and the {\sc Directed Feedback Vertex Set} problems, two classic results in parameterized algorithms. The algorithm requires significant insights into the structure of graphs without directed cycles length longer than $\ell$ and can be seen as an exact version of the approximation algorithm following from the Erd{\H{o}}s-P{\'o}sa property for long cycles in directed graphs proved by Kreutzer and Kawarabayashi [STOC 2015].