title: Reversible Maps and Products of Involutions in Groups of IETS

abstract: An element $f$ of a group $G$ is reversible if it is conjugated in $G$ to its own inverse; when the conjugating map is an involution, $f$ is called strongly reversible. We describe reversible maps in certain groups of interval exchange transformations namely $G_n \simeq (\mathbb S^1)^n \rtimes\mathcal S_n $, where $\mathbb S^1$ is the circle and $\mathcal S_n $ is the group of permutations of $\{1,...,n\}$. We first characterize strongly reversible maps, then we show that reversible elements are strongly reversible. As a corollary, we obtain that composites of involutions in $G_n$ are product of at most four involutions. We prove that any reversible Interval Exchange Transformation (IET) is reversible by a finite order element and then it is the product of two periodic IETs. In the course of proving this statement, we classify the free actions of $BS(1,-1)$ by IET and we extend this classification to free actions of finitely generated torsion free groups containing a copy of $\mathbb Z^2$. We also give examples of faithful free actions of $BS(1,-1)$ and other groups containing reversible IETs. We show that periodic IETs are product of at most $2$ involutions. For IETs that are products of involutions, we show that such 3-IETs are periodic and then are product of at most $2$ involutions and we exhibit a family of non periodic 4-IETs for which we prove that this number is at least $3$ and at most $6$.


title: Local rigidity of manifolds with hyperbolic cusps I. Linear theory and microlocal tools

abstract: This paper is the first in a series of two articles whose aim is to extend a recent result of Guillarmou-Lefeuvre on the local rigidity of the marked length spectrum from the case of compact negatively-curved Riemannian manifolds to the case of manifolds with hyperbolic cusps. In this first paper, we deal with the linear (or infinitesimal) version of the problem and prove that such manifolds are spectrally rigid for compactly supported deformations. More precisely, we prove that the X-ray transform on symmetric solenoidal 2-tensors is injective. In order to do so, we expand the microlocal calculus developed by Bonthonneau and Bonthonneau-Weich to be able to invert pseudodifferential operators on Sobolev and H\"older-Zygmund spaces modulo compact remainders. This theory has an interest on its own and is extensively used in the second paper [arXiv:1910.02154] in order to deal with the nonlinear problem.


title: Investigations on MultiView VLBI for SKA

abstract: The SKA will deliver orders of magnitude increases in sensitivity, but most astrometric VLBI observations are limited by systematic errors. In these cases improved sensitivity offers no benefit. The best current solution for improving the accuracy of the VLBI calibration is \MV\ VLBI, where multiple simultaneous observations around the target are used to deduce the corrections required for the line of sight to the target. We have estimated and quantified the applicability of \MV\ from real-world ionospheric studies, making projections into achievable astrometric accuracies. These predict systematic measurement errors, with calibrators separated by several degrees, of $\sim$10\uas\ with current VLBI facilities. For closer calibrators, that are in-beam for single dish VLBI facilities, we predict systematic measurement errors of a few \uas. This is the ideal combination, where the sensitivity of the SKA will provide the precision and \MV\ will provide the accuracy. Based on these results we suggest that the SKA design should increase the number of VLBI beams it can form from four to as many as ten.


title: Reply to comment on 'Surface thermodynamics and surface stress for deformable bodies'

abstract: The above comment http://dx.doi.org/10.1088/0953-8984/22/42/428001 and a previous letter by the same author reveal a great misunderstanding of what Eulerian and Lagrangian quantities are, and a confusion between the deformation of an element of a surface and the creation of a new element of a surface. Surface thermodynamics is complex because the surface quantities are not 'intuitive' (as surface excesses on some dividing surface) and the thermodynamic variables of the state of a surface are a priori completely unknown. This is why we introduced a new concept ('ideal transformation') and presented detailed proof, leading to the determination of the 'local' thermodynamic variables of the state of the surface, the exact expression of the work of deformation of the surface, and the definition of surface stress, for any deformable body (Olives 2010 J. Phys.: Condens. Matter 22 085005, arXiv:arXiv:1906.11022). These results are not obvious (despite their similarity with some expressions in volume thermodynamics). We explicitly write the Eulerian forms of (i) the relation between the surface grand potential per unit area, the surface stress and the surface strain, showing its exact equivalence with the Lagrangian form, and (ii) the variation of the surface energy due to both the deformation of an element of the surface and the creation of a new element of the surface.


title: Asymptotic expoansions of mathieu-Bessel series. I

abstract: We consider the asymptotic expansion of the Mathieu-Bessel series \[S_\nu(a,b)=\sum_{n=1}^\infty \frac{n^\gamma J_\nu(nb/a)}{(n^2+a^2)^\mu}, \qquad (\mu, b>0,\ \gamma, \nu\in {\bf R})\] as $a\to+\infty$ with the other parameters held fixed, where $J_\nu(x)$ is the Bessel function of the first kind of order $\nu$. A special case arises when $\gamma+\nu$ is a positive even integer, where the expansion comprises finite algebraic terms together with an exponentially small expansion. Numerical examples are presented to illustrate the accuracy of the various expansions. The expansion of the alternating variant of $S_\nu(a,b)$ is considered. The series when the $J_\nu(x)$ function is replaced by the Bessel function $Y_\nu(x)$ is briefly mentioned.


title: A Case Study of Deep-Learned Activations via Hand-Crafted Audio Features

abstract: The explainability of Convolutional Neural Networks (CNNs) is a particularly challenging task in all areas of application, and it is notably under-researched in music and audio domain. In this paper, we approach explainability by exploiting the knowledge we have on hand-crafted audio features. Our study focuses on a well-defined MIR task, the recognition of musical instruments from user-generated music recordings. We compute the similarity between a set of traditional audio features and representations learned by CNNs. We also propose a technique for measuring the similarity between activation maps and audio features which typically presented in the form of a matrix, such as chromagrams or spectrograms. We observe that some neurons' activations correspond to well-known classical audio features. In particular, for shallow layers, we found similarities between activations and harmonic and percussive components of the spectrum. For deeper layers, we compare chromagrams with high-level activation maps as well as loudness and onset rate with deep-learned embeddings.


title: Recurrent network classifier for ultrafast skyrmion dynamics

abstract: By using the supervised learning we train a recurrent neural network to recognize and classify ultrafast magnetization processes realized in two-dimensional nanosystems with Dzyaloshinskii-Moriya interaction. Our focus is on the different types of skyrmion dynamics driven by ultrafast magnetic pulses. Each process is represented as a sequence of the sorted magnetization vectors inputted into the network. The trained network can perform an accurate classification of the skyrmionic processes at zero temperature in wide ranges of parameters that are the magnetic pulse width and damping factor. The network performance is also demonstrated on different types of unseen data including finite temperature processes. Our approach can be easily adapted for creating an autonomous control system on skyrmion dynamics for experiments or device operations.


title: Circular Pattern Matching with $k$ Mismatches

abstract: The $k$-mismatch problem consists in computing the Hamming distance between a pattern $P$ of length $m$ and every length-$m$ substring of a text $T$ of length $n$, if this distance is no more than $k$. In many real-world applications, any cyclic rotation of $P$ is a relevant pattern, and thus one is interested in computing the minimal distance of every length-$m$ substring of $T$ and any cyclic rotation of $P$. This is the circular pattern matching with $k$ mismatches ($k$-CPM) problem. A multitude of papers have been devoted to solving this problem but, to the best of our knowledge, only average-case upper bounds are known. In this paper, we present the first non-trivial worst-case upper bounds for the $k$-CPM problem. Specifically, we show an $O(nk)$-time algorithm and an $O(n+\frac{n}{m}\,k^4)$-time algorithm. The latter algorithm applies in an extended way a technique that was very recently developed for the $k$-mismatch problem [Bringmann et al., SODA 2019]. A preliminary version of this work appeared at FCT 2019. In this version we improve the time complexity of the main algorithm from $O(n+\frac{n}{m}\,k^5)$ to $O(n+\frac{n}{m}\,k^4)$.


title: Finite groups acting on elliptic surfaces

abstract: We show that automorphism groups of Hopf and Kodaira surfaces have unbounded finite subgroups. For elliptic fibrations on Hopf, Kodaira, bielliptic, and K3 surfaces, we make some observations on finite groups acting along the fibers and on the base of such a fibration.


title: Spin wave excitations of magnetic metalorganic materials

abstract: The Organic Materials Database (OMDB) is an open database hosting about 22,000 electronic band structures, density of states and other properties for stable and previously synthesized 3-dimensional organic crystals. The web interface of the OMDB offers various search tools for the identification of novel functional materials such as band structure pattern matching and density of states similarity search. In this work the OMDB is extended to include magnetic excitation properties. For inelastic neutron scattering we focus on the dynamical structure factor $S(\mathbf{q},\omega)$ which contains information on the excitation modes of the material. We introduce a new dataset containing atomic magnetic moments and Heisenberg exchange parameters for which we calculate the spin wave spectra and dynamic structure factor with linear spin wave theory and atomistic spin dynamics. We thus develop the materials informatics tools to identify novel functional organic and metalorganic magnets.


title: A Simple Evaluation for the Secrecy Outage Probability Over Generalized-K Fading Channels

abstract: A simple approximation for the secrecy outage probability (SOP) over generalized-K fading channels is developed. This approximation becomes tighter as the average signal-to-noise ratio (SNR) of the wiretap channel decreases. Based on this simple expression, we also analyze the asymptotic SOP in the high SNR region of the main channel. Besides simplifying the SOP expression significantly, this asymptotic SOP expression reveals the secrecy diversity order in a general case. Numerical results demonstrate the high accuracy of our proposed approximation results.


title: Modelling the post-reionization neutral hydrogen (${\rm HI}$) 21-cm bispectrum

abstract: Measurements of the post-reionization 21-cm bispectrum $B_{{\rm HI}}(\mathbf{k_1},\mathbf{k_2},\mathbf{k_3})$ using various upcoming intensity mapping experiments hold the potential for determining the cosmological parameters at a high level of precision. In this paper we have estimated the 21-cm bispectrum in the $z$ range $1 \le z \le 6$ using semi-numerical simulations of the neutral hydrogen (${\rm HI}$) distribution. We determine the $k$ and $z$ range where the 21-cm bispectrum can be adequately modelled using the predictions of second order perturbation theory, and we use this to predict the redshift evolution of the linear and quadratic ${\rm HI}$ bias parameters $b_1$ and $b_2$ respectively. The $b_1$ values are found to decreases nearly linearly with decreasing $z$, and are in good agreement with earlier predictions obtained by modelling the 21-cm power spectrum $P_{{\rm HI}}(k)$. The $b_2$ values fall sharply with decreasing $z$, becomes zero at $z \sim 3$ and attains a nearly constant value $b_2 \approx - 0.36$ at $z<2$. We provide polynomial fitting formulas for $b_1$ and $b_2$ as functions of $z$. The modelling presented here is expected to be useful in future efforts to determine cosmological parameters and constrain primordial non-Gaussianity using the 21-cm bispectrum.


title: Three regimes of QCD

abstract: While the QCD Lagrangian as the whole is only chirally symmetric, its electric part has larger chiral-spin SU(2)_{CS} and SU(2N_F) symmetries. This allows separation of the electric and magnetic interactions in a given reference frame. Artificial truncation of the near-zero modes of the Dirac operator results in the emergence of the SU(2)_{CS} and SU(2N_F) symmetries in hadron spectrum. This implies that while the confining electric interaction is distributed among all modes of the Dirac operator, the magnetic interaction is located at least predominantly in the near-zero modes. Given this observation one could anticipate that above the pseudocritical temperature, where the near-zero modes of the Dirac operator are suppressed, QCD is SU(2)_{CS} and SU(2N_F) symmetric, which means absence of deconfinement in this regime. Solution of the N_F=2 QCD on the lattice with a chirally symmetric Dirac operator reveals that indeed in the interval Tc - 3Tc QCD is approximately SU(2)_{CS} and SU(2N_F) symmetric which implies that degrees of freedom are chirally symmetric quarks bound by the chromoelectric field into color-singlet objects without the chromomagnetic effects. This regime is referred to as a Stringy Fluid. At larger temperatures this emergent symmetry smoothly disappears and QCD approaches the Quark-Gluon Plasma regime with quasifree quarks. The Hadron Gas, the Stringy Fluid and the Quark-Gluon Plasma differ by symmetries, degrees of freedom and properties.


title: Super-Resolution of PROBA-V Images Using Convolutional Neural Networks

abstract: ESA's PROBA-V Earth observation satellite enables us to monitor our planet at a large scale, studying the interaction between vegetation and climate and provides guidance for important decisions on our common global future. However, the interval at which high resolution images are recorded spans over several days, in contrast to the availability of lower resolution images which is often daily. We collect an extensive dataset of both, high and low resolution images taken by PROBA-V instruments during monthly periods to investigate Multi Image Super-resolution, a technique to merge several low resolution images to one image of higher quality. We propose a convolutional neural network that is able to cope with changes in illumination, cloud coverage and landscape features which are challenges introduced by the fact that the different images are taken over successive satellite passages over the same region. Given a bicubic upscaling of low resolution images taken under optimal conditions, we find the Peak Signal to Noise Ratio of the reconstructed image of the network to be higher for a large majority of different scenes. This shows that applied machine learning has the potential to enhance large amounts of previously collected earth observation data during multiple satellite passes.


title: How well do we understand the belt/zone circulation of Giant Planet atmospheres?

abstract: The atmospheres of the four giant planets of our Solar System share a common and well-observed characteristic: they each display patterns of planetary banding, with regions of different temperatures, composition, aerosol properties and dynamics separated by strong meridional and vertical gradients in the zonal (i.e., east-west) winds. On Jupiter, the reflective white bands of low temperatures, elevated aerosol opacities, and enhancements of quasi-conserved chemical tracers are referred to as 'zones.' Conversely, the darker bands of warmer temperatures, depleted aerosols, and reductions of chemical tracers are known as `belts.' On Saturn, we define cyclonic belts and anticyclonic zones via their temperature and wind characteristics, although their relation to Saturn's albedo is not as clear as on Jupiter. On distant Uranus and Neptune, the exact relationships between the banded albedo contrasts and the environmental properties is a topic of active study. This review is an attempt to reconcile the observed properties of belts and zones with (i) the meridional overturning inferred from the convergence of eddy angular momentum into the eastward zonal jets at the cloud level on Jupiter and Saturn and the prevalence of moist convective activity in belts; and (ii) the opposing meridional motions inferred from the upper tropospheric temperature structure, which implies decay and dissipation of the zonal jets with altitude above the clouds. These two scenarios suggest meridional circulations in opposing directions, the former suggesting upwelling in belts, the latter suggesting upwelling in zones. This presents an unresolved paradox for our current understanding of the banded structure of giant planet atmospheres, that could be addressed via a multi-tiered vertical structure of 'stacked circulation cells.' [Abridged]


title: Spectral gaps, symmetries and log-concave perturbations

abstract: We discuss situations where perturbing a probability measure on $\mathbb{R}^n$ does not deteriorate its Poincar\'e constant by much. A particular example is the symmetric exponential measure in $\mathbb{R}^n$, even log-concave perturbations of which have Poincar\'e constants that grow at most logarithmically with the dimension. This leads to estimates for the Poincar\'e constants of $(n/2)$-dimensional sections of the unit ball of $\ell_p^n$ for $1 \leq p \leq 2$, which are optimal up to logarithmic factors. We also consider symmetry properties of the eigenspace of the Laplace-type operator associated with a log-concave measure. Under symmetry assumptions we show that the dimension of this space is exactly $n$, and we exhibit a certain interlacing between the "odd" and "even" parts of the spectrum.


title: Cover Detection using Dominant Melody Embeddings

abstract: Automatic cover detection -- the task of finding in an audio database all the covers of one or several query tracks -- has long been seen as a challenging theoretical problem in the MIR community and as an acute practical problem for authors and composers societies. Original algorithms proposed for this task have proven their accuracy on small datasets, but are unable to scale up to modern real-life audio corpora. On the other hand, faster approaches designed to process thousands of pairwise comparisons resulted in lower accuracy, making them unsuitable for practical use. In this work, we propose a neural network architecture that is trained to represent each track as a single embedding vector. The computation burden is therefore left to the embedding extraction -- that can be conducted offline and stored, while the pairwise comparison task reduces to a simple Euclidean distance computation. We further propose to extract each track's embedding out of its dominant melody representation, obtained by another neural network trained for this task. We then show that this architecture improves state-of-the-art accuracy both on small and large datasets, and is able to scale to query databases of thousands of tracks in a few seconds.


title: Time variations of H2O and SiO masers in the proto-Planeatry Nebula OH231.8+4.2

abstract: H2O (22 GHz) and SiO masers (43, 86, 129 GHz) in the bipolar proto-planetary nebula OH231.8+4.2 were simultaneously monitored using the 21-m antennas of the Korean VLBI Network in 2009-2015. Both species exhibit periodic flux variations that correlate with the central star's optical light curve, with a phase delay of up to 0.15 for the maser flux variations with respect to the optical light curve. The flux densities of SiO v = 2, J = 1-0 and H2O masers decrease with time, implying that they may disappear in 10-20 years. However, there seems to have been a transient episode of intense H2O maser emission around 2010. We also found a systematic behaviour in the velocity profiles of these masers. The velocities of the H2O maser components appear to be remarkably constant, suggesting ballistic motion for the bipolar outflow in this nebula. On the other hand, those of the SiO maser clumps show a systematic radial acceleration of the individual clumps, converging to the outflow velocity of the H2O maser clumps. Measuring the full widths at zero power of the detected lines, we estimated the expansion velocities of the compact bipolar outflow traced by H2O maser and SiO thermal line, and discussed the possibility of the expanding SiO maser region in the equatorial direction. All of our analyses support that the central host star of OH231.8 is close to the tip of the AGB phase, and that the mass-loss rate recently started to decrease because of incipient post-AGB evolution.


title: Cascade Attention Guided Residue Learning GAN for Cross-Modal Translation

abstract: Since we were babies, we intuitively develop the ability to correlate the input from different cognitive sensors such as vision, audio, and text. However, in machine learning, this cross-modal learning is a nontrivial task because different modalities have no homogeneous properties. Previous works discover that there should be bridges among different modalities. From neurology and psychology perspective, humans have the capacity to link one modality with another one, e.g., associating a picture of a bird with the only hearing of its singing and vice versa. Is it possible for machine learning algorithms to recover the scene given the audio signal? In this paper, we propose a novel Cascade Attention-Guided Residue GAN (CAR-GAN), aiming at reconstructing the scenes given the corresponding audio signals. Particularly, we present a residue module to mitigate the gap between different modalities progressively. Moreover, a cascade attention guided network with a novel classification loss function is designed to tackle the cross-modal learning task. Our model keeps the consistency in high-level semantic label domain and is able to balance two different modalities. The experimental results demonstrate that our model achieves the state-of-the-art cross-modal audio-visual generation on the challenging Sub-URMP dataset. Code will be available at https://github.com/tuffr5/CAR-GAN.


title: Quantitative evaluation of sense of discrepancy to operation response using event-related potential

abstract: This study aimed to develop a method to evaluate the sense of discrepancy to the operation response quantitatively. We examined the availability of event-related potential (P300), which is considered to reflect attention to stimulation, to evaluate the sense of discrepancy to the product response to the user's action. In the experiment using subjective evaluation and P300 to investigate the sense of discrepancy due to the lack of operation response (sound and vibration) to the shutter operation of the mirrorless single-lens camera, it was confirmed that P300 amplitude corresponds to the degree of the subjective sense of discrepancy. Our results showed that the P300 amplitude could evaluate the sense of discrepancy to the operation response.


title: Weak Limits of Random Coefficient Autoregressive Processes and their Application in Ruin Theory

abstract: We prove that a large class of discrete-time insurance surplus processes converge weakly to a generalized Ornstein-Uhlenbeck process, under a suitable re-normalization and when the time-step goes to 0. Motivated by ruin theory, we use this result to obtain approximations for the moments, the ultimate ruin probability and the discounted penalty function of the discrete-time process.


title: Convergence of Non-Perturbative Approximations to the Renormalization Group

abstract: We provide analytical arguments showing that the non-perturbative approximation scheme to Wilson's renormalisation group known as the derivative expansion has a finite radius of convergence. We also provide guidelines for choosing the regulator function at the heart of the procedure and propose empirical rules for selecting an optimal one, without prior knowledge of the problem at stake. Using the Ising model in three dimensions as a testing ground and the derivative expansion at order six, we find fast convergence of critical exponents to their exact values, irrespective of the well-behaved regulator used, in full agreement with our general arguments. We hope these findings will put an end to disputes regarding this type of non-perturbative methods.


title: Probing defect states in few-layer MoS$_{2}$ by conductance fluctuation spectroscopy

abstract: Despite the concerted effort of several research groups, a detailed experimental account of defect dynamics in high-quality single- and few-layer transition metal dichalcogenides remain elusive. In this paper we report an experimental study of the temperature dependence of conductance and conductance-fluctuations on several few-layer MoS$_{2}$ exfoliated on hexagonal boron nitride and covered by a capping layer of high-$\kappa$ dielectric HfO$_{2}$. The presence of the high-$\kappa$ dielectric made the device extremely stable against environmental degradation as well as resistant to changes in device characteristics upon repeated thermal cycling enabling us to obtain reproducible data on the same device over a time-scale of more than one year. Our device architecture helped bring down the conductance fluctuations of the MoS$_2$ channel by orders of magnitude compared to previous reports. The extremely low noise levels in our devices made in possible to detect the generation-recombination noise arising from charge fluctuation between the sulphur-vacancy levels in the band gap and energy-levels at the conductance band-edge. Our work establishes conduction fluctuation spectroscopy as a viable route to quantitatively probe in-gap defect levels in low-dimensional semiconductors.


title: GeoPrune: Efficiently Finding Shareable Vehicles Based on Geometric Properties

abstract: On-demand ride-sharing is rapidly growing.Matching trip requests to vehicles efficiently is critical for the service quality of ride-sharing. To match trip requests with vehicles, a prune-and-select scheme is commonly used. The pruning stage identifies feasible vehicles that can satisfy the trip constraints (e.g., trip time). The selection stage selects the optimal one(s) from the feasible vehicles. The pruning stage is crucial to reduce the complexity of the selection stage and to achieve efficient matching. We propose an effective and efficient pruning algorithm called GeoPrune. GeoPrune represents the time constraints of trip requests using circles and ellipses, which can be computed and updated efficiently. Experiments on real-world datasets show that GeoPrune reduces the number of vehicle candidates in nearly all cases by an order of magnitude and the update cost by two to three orders of magnitude compared to the state-of-the-art.


title: Spectral zeta functions

abstract: This paper discusses the simplest examples of spectral zeta functions, especially those associated with graphs, a subject which has not been much studied. The analogy and the similar structure of these functions, such as their parallel definition in terms of the heat kernel and their functional equations, are emphasized. Another theme is to point out various contexts in which these non-classical zeta functions appear. This includes Eisenstein series, the Langlands program, Verlinde formulas, Riemann hypotheses, Catalan numbers, Dedekind sums, and hypergeometric functions. Several open-ended problems are suggested with the hope of stimulating further research.


title: Large presence of carbonic acid in CO$_2$-rich aqueous fluids under Earth's mantle conditions

abstract: The chemistry of carbon in aqueous fluids at extreme pressure and temperature conditions is of great importance to Earth's deep carbon cycle, which substantially affects the carbon budget at Earth's surface and global climate change. At ambient conditions, the concentration of carbonic acid in water is negligible, so aqueous carbonic acid was simply ignored in previous geochemical models. However, by applying extensive ab initio molecular dynamics simulations at pressure and temperature conditions similar to those in Earth's upper mantle, we found that carbonic acid can be the most abundant carbon species in aqueous CO$_2$ solutions at ~10 GPa and 1000 K. The mole percent of carbonic acid in total dissolved carbon species increases with increasing pressure along an isotherm, while its mole percent decreases with increasing temperature along an isobar. In CO$_2$-rich solutions, we found significant proton transfer between carbonic acid molecules and bicarbonate ions, which may enhance the conductivity of the solutions. The effects of pH buffering by carbonic acid may play an important role in water-rock interactions in Earth's interior. Our findings suggest that carbonic acid is an important carbon carrier in the deep carbon cycle.


title: Distribution of short sums of classical Kloosterman sums of prime powers moduli

abstract: Corentin Perret-Gentil proved, under some very general conditions, that short sums of $\ell$-adic trace functions over finite fields of varying center converges in law to a Gaussian random variable or vector. The main inputs are P.~Deligne's equidistribution theorem, N.~Katz' works and the results surveyed in \cite{MR3338119}. In particular, this applies to $2$-dimensional Kloosterman sums $\mathsf{Kl}_{2,\mathbb{F}_q}$ studied by N.~Katz in \cite{MR955052} and in \cite{MR1081536} when the field $\mathbb{F}_q$ gets large. \par This article considers the case of short sums of normalized classical Kloosterman sums of prime powers moduli $\mathsf{Kl}_{p^n}$, as $p$ tends to infinity among the prime numbers and $n\geq 2$ is a fixed integer. A convergence in law towards a real-valued standard Gaussian random variable is proved under some very natural conditions.


title: New blazar candidates from the 9Y-MST catalogue detected at energies higher than 10 GeV

abstract: We present a list of 24 new blazar candidates selected in a search for possible counterparts of spatial clusters of gamma-ray photons in the recent 9Y-MST catalogue, at energies higher than 10 GeV and at Galactic latitudes higher than 20 degrees. 13 of these clusters are also included the preliminary release of the 4FGL catalogue of gamma-ray sources. The search for possible counterparts is based on the possible associations of the clusters with radio sources within a circle having a radius of 6 arcmin. We then investigated the possible optical or mid-IR associations of these sources, checking if they show some properties typical of new blazar candidates.


title: Introduction to Nuclear-Reaction Theory

abstract: These notes summarise the lectures I gave during the summer school "International Scientific Meeting on Nuclear Physics" at La R\'abida in Spain in June 2018. They offer an introduction to nuclear-reaction theory, starting with the basics in quantum scattering theory followed by the main models used to describe breakup reactions: the Continuum Discretised Coupled Channel method (CDCC),the Time-Dependent approach (TD) and the eikonal approximation. These models are illustrated on the study of the exotic structure of halo nuclei.


title: Modeling $^{19}$B as a $^{17}$B-n-n three-body system in the unitary limit

abstract: We present a model description of the bound $^{17}$B isotope in terms of a $^{17}$B-n-n three-body system where the two-body subsystems $^{17}$B-n and n-n are unbound (virtual) states close to the unitary limit. The $^{17}$B ground state is well described in terms of two-body potentials only, and two low-lying resonances are predicted. Their eventual link with the Efimov physics is discussed. This model can be naturally used to describe the recently discovered resonant states in $^{20,21}$B.


title: A preliminary forecast for cosmological parameter estimation with gravitational-wave standard sirens from TianQin

abstract: TianQin is a space-based gravitational-wave observatory scheduled to be launched in the 2030s. In this work, we make a preliminary forecast for the cosmological parameter estimation with the gravitational-wave standard siren observation from TianQin. We simulate the standard siren data of TianQin based on its 5-year observation after the completion of construction. In the simulation, three models for the population of massive black hole binary (MBHB), i.e., pop III, Q3nod, and Q3d, are considered to predict the event numbers of MBHB mergers. We find that: (i) among the three MBHB models, the Q3nod model can provide the tightest constraints on the cosmological parameters; (ii) TianQin's standard siren observation can effectively break the parameter degeneracies inherent in the cosmic microwave background observation; and (iii) the future standard siren observation from TianQin can significantly improve the cosmological parameter estimation under the current mainstream electromagnetic observations.


title: Intrinsic Calibration of Depth Cameras for Mobile Robots using a Radial Laser Scanner

abstract: Depth cameras, typically in RGB-D configurations, are common devices in mobile robotic platforms given their appealing features: high frequency and resolution, low price and power requirements, among others. These sensors may come with significant, non-linear errors in the depth measurements that jeopardize robot tasks, like free-space detection, environment reconstruction or visual robot-human interaction. This paper presents a method to calibrate such systematic errors with the help of a second, more precise range sensor, in our case a radial laser scanner. In contrast to what it may seem at first, this does not mean a serious limitation in practice since these two sensors are often mounted jointly in many mobile robotic platforms, as they complement well each other. Moreover, the laser scanner can be used just for the calibration process and get rid of it after that. The main contributions of the paper are: i) the calibration is formulated from a probabilistic perspective through a Maximum Likelihood Estimation problem, and ii) the proposed method can be easily executed automatically by mobile robotic platforms. To validate the proposed approach we evaluated for both, local distortion of 3D planar reconstructions and global shifts in the measurements, obtaining considerably more accurate results. A C++ open-source implementation of the presented method has been released for the benefit of the community.


title: A Variational Model Dedicated to Joint Segmentation, Registration and Atlas Generation for Shape Analysis

abstract: In medical image analysis, constructing an atlas, i.e. a mean representative of an ensemble of images, is a critical task for practitioners to estimate variability of shapes inside a population, and to characterise and understand how structural shape changes have an impact on health. This involves identifying significant shape constituents of a set of images, a process called segmentation, and mapping this group of images to an unknown mean image, a task called registration, making a statistical analysis of the image population possible. To achieve this goal, we propose treating these operations jointly to leverage their positive mutual influence, in a hyperelasticity setting, by viewing the shapes to be matched as Ogden materials. The approach is complemented by novel hard constraints on the $L^\infty$ norm of both the Jacobian and its inverse, ensuring that the deformation is a bi-Lipschitz homeomorphism. Segmentation is based on the Potts model, which allows for a partition into more than two regions, i.e. more than one shape. The connection to the registration problem is ensured by the dissimilarity measure that aims to align the segmented shapes. A representation of the deformation field in a linear space equipped with a scalar product is then computed in order to perform a geometry-driven Principal Component Analysis (PCA) and to extract the main modes of variations inside the image population. Theoretical results emphasizing the mathematical soundness of the model are provided, among which existence of minimisers, analysis of a numerical method of resolution, asymptotic results and a PCA analysis, as well as numerical simulations demonstrating the ability of the modeling to produce an atlas exhibiting sharp edges, high contrast and a consistent shape.


title: Semi-supervised Image Attribute Editing using Generative Adversarial Networks

abstract: Image attribute editing is a challenging problem that has been recently studied by many researchers using generative networks. The challenge is in the manipulation of selected attributes of images while preserving the other details. The method to achieve this goal is to find an accurate latent vector representation of an image and a direction corresponding to the attribute. Almost all the works in the literature use labeled datasets in a supervised setting for this purpose. In this study, we introduce an architecture called Cyclic Reverse Generator (CRG), which allows learning the inverse function of the generator accurately via an encoder in an unsupervised setting by utilizing cyclic cost minimization. Attribute editing is then performed using the CRG models for finding desired attribute representations in the latent space. In this work, we use two arbitrary reference images, with and without desired attributes, to compute an attribute direction for editing. We show that the proposed approach performs better in terms of image reconstruction compared to the existing end-to-end generative models both quantitatively and qualitatively. We demonstrate state-of-the-art results on both real images and generated images in CelebA dataset.


title: Theory of exciton dynamics in time-resolved ARPES: intra- and intervalley scattering in two-dimensional semiconductors

abstract: Time- and angle-resolved photoemission spectroscopy (trARPES) is a powerful spectroscopic method to measure the ultrafast electron dynamics directly in momentum-space. However, band gap materials with exceptional strong Coulomb interaction such as monolayer transition metal dichlacogenides (TMDC) exhibit tightly bound excitons, which dominate their optical properties. This rises the question whether excitons, in particular their formation and relaxation dynamics, can be detected in photoemission. Here, we develope a fully microscopic theory of the temporal dynamics of excitonic time- and angle resolved photoemission with particular focus on the phonon-mediated thermalization of optically excited excitons to momentum-forbidden dark exciton states. We find that trARPES is able to probe the ultrafast exciton formation and relaxation throughout the Brillouin zone.


title: Unbiased Estimation of the Reciprocal Mean for Non-negative Random Variables

abstract: Many simulation problems require the estimation of a ratio of two expectations. In recent years Monte Carlo estimators have been proposed that can estimate such ratios without bias. We investigate the theoretical properties of such estimators for the estimation of $\beta = 1/\mathbb{E}\, Z$, where $Z \geq 0$. The estimator, $\widehat \beta(w)$, is of the form $w/f_w(N) \prod_{i=1}^N (1 - w\, Z_i)$, where $w < 2\beta$ and $N$ is any random variable with probability mass function $f_w$ on the positive integers. For a fixed $w$, the optimal choice for $f_w$ is well understood, but less so the choice of $w$. We study the properties of $\widehat \beta(w)$ as a function of~$w$ and show that its expected time variance product decreases as $w$ decreases, even though the cost of constructing the estimator increases with $w$. We also show that the estimator is asymptotically equivalent to the maximum likelihood (biased) ratio estimator and establish practical confidence intervals.


title: Density-matrix renormalization group study of the linear conductance in quantum wires coupled to interacting leads or phonons

abstract: In a previous paper [J.-M. Bischoff and E. Jeckelmann, Phys. Rev. B 96, 195111 (2017)] we introduced a density-matrix renormalization group method for calculating the linear conductance of one-dimensional correlated quantum systems and demonstrated it on homogeneous spinless fermion chains with impurities. Here we present extensions of this method to inhomogeneous systems, models with phonons, and the spin conductance of electronic models. The method is applied to a spinless fermion wire-lead model, the homogeneous spinless Holstein model, and the Hubbard model. Its capabilities are demonstrated by comparison with the predictions of Luttinger liquid theory combined with Bethe Ansatz solutions and other numerical methods. We find a complex behavior for quantum wires coupled to interacting leads when the sign of the interaction (repulsive/attractive) differs in wire and leads. The renormalization of the conductance given by the Luttinger parameter in purely fermionic systems is shown to remain valid in the Luttinger liquid phase of the Holstein model with phononic degrees of freedom.


title: FairNAS: Rethinking Evaluation Fairness of Weight Sharing Neural Architecture Search

abstract: One of the most critical problems in weight-sharing neural architecture search is the evaluation of candidate models within a predefined search space. In practice, a one-shot supernet is trained to serve as an evaluator. A faithful ranking certainly leads to more accurate searching results. However, current methods are prone to making misjudgments. In this paper, we prove that their biased evaluation is due to inherent unfairness in the supernet training. In view of this, we propose two levels of constraints: expectation fairness and strict fairness. Particularly, strict fairness ensures equal optimization opportunities for all choice blocks throughout the training, which neither overestimates nor underestimates their capacity. We demonstrate that this is crucial for improving the confidence of models' ranking. Incorporating the one-shot supernet trained under the proposed fairness constraints with a multi-objective evolutionary search algorithm, we obtain various state-of-the-art models, e.g., FairNAS-A attains 77.5% top-1 validation accuracy on ImageNet. The models and their evaluation codes are made publicly available online http://github.com/fairnas/FairNAS .


title: Option pricing in fractional Heston-type model

abstract: In this paper, we consider option pricing in a framework of the fractional Heston-type model with $H>1/2$. As it is impossible to obtain an explicit formula for the expectation $\mathbb E f(S_T)$ in this case, where $S_T$ is the asset price at maturity time and $f$ is a payoff function, we provide a discretization schemes $\hat Y^n$ and $\hat S^n$ for volatility and price processes correspondingly and study convergence $\mathbb E f(\hat S^n_T) \to \mathbb E f(S_T)$ as the mesh of the partition tends to zero. The rate of convergence is calculated. As we allow $f$ to have discontinuities of the first kind which can cause errors in straightforward Monte-Carlo estimation of the expectation, we use Malliavin calculus techniques to provide an alternative formula for $\mathbb E f(S_T)$ with smooth functional under the expectation.


title: Deformable Tube Network for Action Detection in Videos

abstract: We address the problem of spatio-temporal action detection in videos. Existing methods commonly either ignore temporal context in action recognition and localization, or lack the modelling of flexible shapes of action tubes. In this paper, we propose a two-stage action detector called Deformable Tube Network (DTN), which is composed of a Deformation Tube Proposal Network (DTPN) and a Deformable Tube Recognition Network (DTRN) similar to the Faster R-CNN architecture. In DTPN, a fast proposal linking algorithm (FTL) is introduced to connect region proposals across frames to generate multiple deformable action tube proposals. To perform action detection, we design a 3D convolution network with skip connections for tube classification and regression. Modelling action proposals as deformable tubes explicitly considers the shape of action tubes compared to 3D cuboids. Moreover, 3D convolution based recognition network can learn temporal dynamics sufficiently for action detection. Our experimental results show that we significantly outperform the methods with 3D cuboids and obtain the state-of-the-art results on both UCF-Sports and AVA datasets.


title: Distributed Learning in Non-Convex Environments -- Part I: Agreement at a Linear Rate

abstract: Driven by the need to solve increasingly complex optimization problems in signal processing and machine learning, there has been increasing interest in understanding the behavior of gradient-descent algorithms in non-convex environments. Most available works on distributed non-convex optimization problems focus on the deterministic setting where exact gradients are available at each agent. In this work and its Part II, we consider stochastic cost functions, where exact gradients are replaced by stochastic approximations and the resulting gradient noise persistently seeps into the dynamics of the algorithm. We establish that the diffusion learning strategy continues to yield meaningful estimates non-convex scenarios in the sense that the iterates by the individual agents will cluster in a small region around the network centroid. We use this insight to motivate a short-term model for network evolution over a finite-horizon. In Part II [2] of this work, we leverage this model to establish descent of the diffusion strategy through saddle points in O(1/$\mu$) steps and the return of approximately second-order stationary points in a polynomial number of iterations.


title: Distributed Learning in Non-Convex Environments -- Part II: Polynomial Escape from Saddle-Points

abstract: The diffusion strategy for distributed learning from streaming data employs local stochastic gradient updates along with exchange of iterates over neighborhoods. In Part I [2] of this work we established that agents cluster around a network centroid and proceeded to study the dynamics of this point. We established expected descent in non-convex environments in the large-gradient regime and introduced a short-term model to examine the dynamics over finite-time horizons. Using this model, we establish in this work that the diffusion strategy is able to escape from strict saddle-points in O(1/$\mu$) iterations; it is also able to return approximately second-order stationary points in a polynomial number of iterations. Relative to prior works on the polynomial escape from saddle-points, most of which focus on centralized perturbed or stochastic gradient descent, our approach requires less restrictive conditions on the gradient noise process.


abstract: Dynamic magnetic features of a mixed ferro-ferrimagnetic ternary alloy in the form of AB$_p$C$_{1-p}$, especially. The effect of Hamiltonian parameters on the dynamic magnetic features of the system are investigated. For this aim, an AB$_p$C$_{1-p}$ ternary alloy system was simulated within the mean-field approximation based on a Glauber type stochastic dynamic and for simplicity, A, B and C ions as SA = 1/2, SB = 1 and SC = 3/2, were chosen respectively. It was found that in our dynamic system the critical temperature was always dependent on the concentration ratio of the ternary alloy.


title: Perspective Taking in Deep Reinforcement Learning Agents

abstract: Perspective taking is the ability to take the point of view of another agent. This skill is not unique to humans as it is also displayed by other animals like chimpanzees. It is an essential ability for social interactions, including efficient cooperation, competition, and communication. Here we present our progress toward building artificial agents with such abilities. We implemented a perspective taking task inspired by experiments done with chimpanzees. We show that agents controlled by artificial neural networks can learn via reinforcement learning to pass simple tests that require perspective taking capabilities. We studied whether this ability is more readily learned by agents with information encoded in allocentric or egocentric form for both their visual perception and motor actions. We believe that, in the long run, building better artificial agents with perspective taking ability can help us develop artificial intelligence that is more human-like and easier to communicate with.


title: Anisotropic string tensions and inversely magnetic catalyzed deconfinement from a dynamical AdS/QCD model

abstract: We extend previous work on dynamical AdS/QCD models by introducing an extra ingredient under the form of a background magnetic field, this to gain insight into the influence such field can have on crucial QCD observables. Therefore, we construct a closed form analytic solution to an Einstein-Maxwell-dilaton system with a magnetic field. We specifically focus on the deconfinement transition, reporting inverse magnetic catalysis, and on the string tension, reporting a weaker/stronger confinement along/perpendicular to the magnetic field. The latter, being of importance to potential modelling of heavy quarkonia, is in qualitative agreement with lattice findings.


title: Properties of magnetohydrodynamic modes in compressively driven plasma turbulence

abstract: We study properties of magnetohydrodynamic (MHD) eigenmodes by decomposing the data of MHD simulations into linear MHD modes - namely the Alfven, slow magnetosonic, and fast magnetosonic modes. We drive turbulence with a mixture of solenoidal and compressive driving, while varying the Alfven Mach number (MA), plasma beta, and the sonic Mach number from sub-sonic to trans-sonic. We find that the proportion of fast and slow modes in the mode mixture increases with increasing compressive forcing. This proportion of the magnetosonic modes can also become the dominant fraction in the mode mixture. The anisotropy of the modes is analyzed by means of their structure functions. The Alfven mode anisotropy is consistent with the Goldreich-Sridhar theory. We find a transition from weak to strong Alfvenic turbulence as we go from low to high MA. The slow mode properties are similar to the Alfven mode. On the other hand the isotropic nature of fast modes is verified in the cases where the fast mode is a significant fraction of the mode mixture. The fast mode behavior does not show any transition in going from low to high MA. We find indications that there is some interaction between the different modes and the properties of the dominant mode can affect the properties of the weaker modes. This work identifies the conditions under which magnetosonic modes can be a major fraction of turbulent astrophysical plasmas, including the regime of weak turbulence. Important astrophysical implications for cosmic ray transport and magnetic reconnection are discussed.


title: Farey Sequences for Thin Groups

abstract: The classical Farey sequence of height $Q$ is the set of rational numbers in reduced form with denominator less than $Q$. In this paper we introduce the concept of a generalized Farey sequence. While these sequences arise naturally in the study of discrete (and in particular thin) subgroups, they can be used to study interesting number theoretic sequences - for example rationals whose continued fraction partial quotients are subject to congruence conditions. We show that these sequences equidistribute, that the gap distribution converges, and we answer an associated problem in Diophantine approximation with Fuchsian groups. Moreover, for one specific example, we use a sparse Ford configuration construction to write down an explicit formula for the gap distribution. Finally for this example, we construct the analogue of the Gauss measure in this context which we show is ergodic for the Gauss map. This allows us to prove a theorem about the Gauss-Kuzmin statistics of the sequence.


title: Thermodynamics from first principles: correlations and nonextensivity

abstract: The standard formulation of thermostatistics, being based on the Boltzmann-Gibbs distribution and logarithmic Shannon entropy, describes idealized uncorrelated systems with extensive energies and short-range interactions. In this letter, we use the fundamental principles of ergodicity (via Liouville's theorem), the self-similarity of correlations, and the existence of the thermodynamic limit to derive generalized forms of the equilibrium distribution for long-range-interacting systems. Significantly, our formalism provides a justification for the well-studied nonextensive thermostatistics characterized by the Tsallis distribution, which it includes as a special case. We also give the complementary maximum entropy derivation of the same distributions by constrained maximization of the Boltzmann-Gibbs-Shannon entropy. The consistency between the ergodic and maximum entropy approaches clarifies the use of the latter in the study of correlations and nonextensive thermodynamics.


title: A general representation of dynamical systems for reservoir computing

abstract: Dynamical systems are capable of performing computation in a reservoir computing paradigm. This paper presents a general representation of these systems as an artificial neural network (ANN). Initially, we implement the simplest dynamical system, a cellular automaton. The mathematical fundamentals behind an ANN are maintained, but the weights of the connections and the activation function are adjusted to work as an update rule in the context of cellular automata. The advantages of such implementation are its usage on specialized and optimized deep learning libraries, the capabilities to generalize it to other types of networks and the possibility to evolve cellular automata and other dynamical systems in terms of connectivity, update and learning rules. Our implementation of cellular automata constitutes an initial step towards a general framework for dynamical systems. It aims to evolve such systems to optimize their usage in reservoir computing and to model physical computing substrates.


title: Dynamic magnetostriction for antiferromagnets

abstract: In this paper we study the switching properties of the dynamics of magnetic moments, that interact with an elastic medium. To do so we construct a Hamiltonian framework, that can take into account the dynamics in phase space of the variables that describe the magnetic moments in a consistent way. It is convenient to describe the magnetic moments as bilinears of anticommuting variables that are their own conjugates. However, we show how it is possible to avoid having to deal directly with the anticommuting variables themselves, only using them to deduce non-trivial constraints on the magnetoelastic couplings. We construct the appropriate Poisson bracket and a geometric integration scheme, that is symplectic in the extended phase space and that allows us to study the switching properties of the magnetization, that are relevant for applications, for the case of a toy model for antiferromagnetic NiO, under external stresses. In the absence of magnetoelastic coupling, we recover the results reported in the literature and in our previous studies. In the presence of the magnetoelastic coupling, the characteristic oscillations of the mechanical system have repercussions on the N\'eel order parameter dynamics. This is particularly striking for the spin accumulation which is more than doubled by the coupling to the strain ; here as well, the mechanical oscillations are reflected on the magnetic dynamics. As a consequence of such a stress induced strain, the switching time of the magnetization is slightly faster and the amplitude of the magnetization enhanced.


title: Incommensurate charge and spin density wave order in electron doped SrMn1-xWxO3 (x= 0.08 to 0.1875)

abstract: Incommensurate (IC) charge-order (CO) and spin density wave (SDW) order in electron doped SrMn1-xWxO3-{\delta} (x= 0.08 to 0.1875) have been studied using neutron diffraction.The study highlights the drastic effect of electron doping on the emergence of magnetic ground states which were not revealed in manganites before. With increasing (x) the crystal structure changes from simple tetragonal (P4/mmm) to an IC-CO modulated structure with super space-group P2/m({\alpha}\b{eta}0)00 having ab-planer ferro order of 3dx2-y2 orbitals in a compressed tetragonal (c<a) lattice. The IC-CO order is found to be intimately related with the 3dx2-y2 orbital order.The occurrence of IC-CO has been attributed to the mixed character (itinerant/localized) of eg-electrons undergoing Fermi-surface nesting of 3dx2-y2 band causing electronic instability, which opens a gap through a charge density wave (CDW) mechanism. This feature appears to share proximity with the high-Tc cuprates. At lower temperatures, the CDW phase undergoes SDW transition, which changes continuously with x and finally disappear at higher x due to the introduction of large frustration into the system. For 0.08 < x < 0.10 a C-type antiferromagnetic (AFM) order with propagation vector k = (1/2, 1/2, 0) appears under ferro-ordering of 3dz2 orbitals, whereas for x > 0.1, a different C-type AFM order with propagation vector k = (1/2,0,1/2), coexists with an incommensurate SDW order with k = (0.12, 0.38, 1/2).For compositions with 0.1625 < x < 0.175, while the structural features of CDW and orbital-order remain qualitatively the same, the magnetic interaction gets modified and results another SDW phase with single incommensurate propagation vector k = (0.07, 0.43, 1/2). A detail magnetic and structural phase-diagram, as a function of W substitution for SrMn1-xWxO3 (0.08 < x < 0.4) is presented.


title: Essentially finite generation of valuation rings in terms of classical invariants

abstract: The main goal of this paper is to study some properties of an extension of valuations from classical invariants. More specifically, we consider a valued field $(K,\nu)$ and an extension $\omega$ of $\nu$ to a finite extension $L$ of $K$. Then we study when the valuation ring of $\omega$ is essentially finitely generated over the valuation ring of $\nu$. We present a necessary condition in terms of classic invariants of the extension by Hagen Knaf and show that in some particular cases, this condition is also sufficient. We also study when the corresponding extension of graded algebras is finitely generated. For this problem we present an equivalent condition (which is weaker than the one for the finite generation of the valuation rings).


title: Encoding high-cardinality string categorical variables

abstract: Statistical models usually require vector representations of categorical variables, using for instance one-hot encoding. This strategy breaks down when the number of categories grows, as it creates high-dimensional feature vectors. Additionally, for string entries, one-hot encoding does not capture information in their representation.Here, we seek low-dimensional encoding of high-cardinality string categorical variables. Ideally, these should be: scalable to many categories; interpretable to end users; and facilitate statistical analysis. We introduce two encoding approaches for string categories: a Gamma-Poisson matrix factorization on substring counts, and the min-hash encoder, for fast approximation of string similarities. We show that min-hash turns set inclusions into inequality relations that are easier to learn. Both approaches are scalable and streamable. Experiments on real and simulated data show that these methods improve supervised learning with high-cardinality categorical variables. We recommend the following: if scalability is central, the min-hash encoder is the best option as it does not require any data fit; if interpretability is important, the Gamma-Poisson factorization is the best alternative, as it can be interpreted as one-hot encoding on inferred categories with informative feature names. Both models enable autoML on the original string entries as they remove the need for feature engineering or data cleaning.


title: Self-triggered stabilizing controllers for linear continuous-time systems

abstract: Self-triggered control is an improvement on event-triggered control methods. Unlike the latter, self-triggered control does not require monitoring the behavior of the system constantly. Instead, self-triggered algorithms predict the events at which the control law has to be updated before they happen, relying on system model and past information.\\ In this work, we present a self-triggered version of an event-triggered control method in which events are generated when a pseudo-Lyapunov function (PLF) associated with the system increases up to a certain limit. This approach has been shown to considerably decrease the communications between the controller and the plant, while maintaining system stability. To predict the intersections between the PLF and the upper limit, we use a simple and fast root-finding algorithm. The algorithm mixes the global convergence properties of the bisection and the fast convergence properties of the Newton-Raphson method. \\ Moreover, to ensure the convergence of the method, the initial iterate of the algorithm is found through a minimization algorithm.


title: Beyond content analysis: Detecting targeted ads via distributed counting

abstract: Being able to check whether an online advertisement has been targeted is essential for resolving privacy controversies and implementing in practice data protection regulations like GDPR, CCPA, and COPPA. In this paper we describe the design, implementation, and deployment of an advertisement auditing system called iWnder that uses crowdsourcing to reveal in real time whether a display advertisement has been targeted or not. Crowdsourcing simplifies the detection of targeted advertising, but requires reporting to a central repository the impressions seen by different users, thereby jeopardising their privacy. We break this deadlock with a privacy preserving data sharing protocol that allows iWnder to compute global statistics required to detect targeting, while keeping the advertisements seen by individual users and their browsing history private. We conduct a simulation study to explore the effect of different parameters and a live validation to demonstrate the accuracy of our approach. Unlike previous solutions, iWnder can even detect indirect targeting, i.e., marketing campaigns that promote a product or service whose description bears no semantic overlap with its targeted audience.


title: Linear transformations between colorings in chordal graphs

abstract: Let $k$ and $d$ be such that $k \ge d+2$. Consider two $k$-colorings of a $d$-degenerate graph $G$. Can we transform one into the other by recoloring one vertex at each step while maintaining a proper coloring at any step? Cereceda et al. answered that question in the affirmative, and exhibited a recolouring sequence of exponential length. If $k=d+2$, we know that there exists graphs for which a quadratic number of recolorings is needed. And when $k=2d+2$, there always exists a linear transformation. In this paper, we prove that, as long as $k \ge d+4$, there exists a transformation of length at most $f(\Delta) \cdot n$ between any pair of $k$-colorings of chordal graphs (where $\Delta$ denotes the maximum degree of the graph). The proof is constructive and provides a linear time algorithm that, given two $k$-colorings $c_1,c_2$ computes a linear transformation between $c_1$ and $c_2$.


title: THz Surface Modes and Electron-Phonon Coupling in Bi$_2$Se$_3$(111)

abstract: We present a combined experimental and theoretical study of the surface vibrational modes of the topological insulator (TI) Bi$_2$Se$_3$ with particular emphasis on the low-energy region below 10 meV that has been difficult to resolve experimentally. By applying inelastic helium atom scattering (HAS), the entire phonon dispersion was determined and compared with density functional perturbation theory (DFPT) calculations. The intensity of the phonon modes is dominated by a strong Rayleigh mode, in contrast to previous experimental works. Moreover, also at variance with recent reports, no Kohn-anomaly is observed. These observations are in excellent agreement with DFPT calculations. Besides these results, the experimental data reveal$-$via bound-state resonance enhancement$-$two additional dispersion curves in the gap below the Rayleigh mode. They are possibly associated with an excitation of a surface electron density superstructure that we observe in HAS diffraction patterns. The electron-phonon coupling paramenter $\lambda$ = 0.23 derived from our temperature dependent Debye-Waller measurements compares well with values determined by angular resolved photoemission or Landau level spectroscopy. Our work opens up a new perspective for THz measurements on 2D materials as well as the investigation of subtle details (band bending, the presence of quantum well states) with respect to the electron-phonon coupling.


title: Evaluation of Low Complexity Massive MIMO Techniques Under Realistic Channel Conditions

abstract: A low complexity massive multiple-input multiple-output (MIMO) technique is studied with a geometry-based stochastic channel model, called COST 2100 model. We propose to exploit the discrete-time Fourier transform of the antenna correlation function to perform user scheduling. The proposed algorithm relies on a trade off between the number of occupied bins of the eigenvalue spectrum of the channel covariance matrix for each user and spectral overlap among the selected users. We next show that linear precoding design can be performed based only on the channel correlation matrix. The proposed scheme exploits the angular bins of the eigenvalue spectrum of the channel covariance matrix to build up an "approximate eigenchannels" for the users. We investigate the reduction of average system throughput with no channel state information at the transmitter (CSIT). Analysis and numerical results show that while the throughput slightly decreases due to the absence of CSIT, the complexity of the system is reduced significantly.


title: Global classical small-data solutions for a three-dimensional Keller--Segel--Navier--Stokes system modeling coral fertilization

abstract: We are concerned with the Keller--Segel--Navier--Stokes system \begin{equation*} \left\{ \begin{array}{ll} \rho_t+u\cdot\nabla\rho=\Delta\rho-\nabla\cdot(\rho \mathcal{S}(x,\rho,c)\nabla c)-\rho m, &\!\! (x,t)\in \Omega\times (0,T), \\ m_t+u\cdot\nabla m=\Delta m-\rho m, &\!\! (x,t)\in \Omega\times (0,T), \\ c_t+u\cdot\nabla c=\Delta c-c+m, & \!\! (x,t)\in \Omega\times (0,T), \\ u_t+ (u\cdot \nabla) u=\Delta u-\nabla P+(\rho+m)\nabla\phi,\quad \nabla\cdot u=0, &\!\! (x,t)\in \Omega\times (0,T) \end{array}\right. \end{equation*} subject to the boundary condition $(\nabla\rho-\rho \mathcal{S}(x,\rho,c)\nabla c)\cdot \nu\!\!=\!\nabla m\cdot \nu=\nabla c\cdot \nu=0, u=0$ in a bounded smooth domain $\Omega\subset\mathbb R^3$. It is shown that the corresponding problem admits a globally classical solution with exponential decay properties under the hypothesis that $\mathcal{S}\in C^2(\overline\Omega\times [0,\infty)^2)^{3\times 3}$ satisfies $|\mathcal{S}(x,\rho,c)|\leq C_S $ for some $C_S>0$, and the initial data satisfy certain smallness conditions.


title: Learning GPLVM with arbitrary kernels using the unscented transformation

abstract: Gaussian Process Latent Variable Model (GPLVM) is a flexible framework to handle uncertain inputs in Gaussian Processes (GPs) and incorporate GPs as components of larger graphical models. Nonetheless, the standard GPLVM variational inference approach is tractable only for a narrow family of kernel functions. The most popular implementations of GPLVM circumvent this limitation using quadrature methods, which may become a computational bottleneck even for relatively low dimensions. For instance, the widely employed Gauss-Hermite quadrature has exponential complexity on the number of dimensions. In this work, we propose using the unscented transformation instead. Overall, this method presents comparable, if not better, performance than offthe-shelf solutions to GPLVM and its computational complexity scales only linearly on dimension. In contrast to Monte Carlo methods, our approach is deterministic and works well with quasi-Newton methods, such as the Broyden-Fletcher-Goldfarb-Shanno (BFGS) algorithm. We illustrate the applicability of our method with experiments on dimensionality reduction and multistep-ahead prediction with uncertainty propagation.


title: On random approximations by generalized disc-polygons

abstract: For two convex discs $K$ and $L$, we say that $K$ is $L$-convex if it is equal to the intersection of all translates of $L$ that contain $K$. In $L$-convexity the set $L$ plays a similar role as closed half-spaces do in the classical notion of convexity. We study the following probability model: Let $K$ and $L$ be $C^2_+$ smooth convex discs such that $K$ is $L$-convex. Select $n$ i.i.d. uniform random points $x_1,\ldots, x_n$ from $K$, and consider the intersection $K_{(n)}$ of all translates of $L$ that contain all of $x_1,\ldots, x_n$. The set $K_{(n)}$ is a random $L$-convex polygon in $K$. We study the expectation of the number of vertices $f_0(K_{(n)})$ and the missed area $A(K\setminus K_{n})$ as $n$ tends to infinity. We consider two special cases of the model. In the first case we assume that the maximum of the curvature of the boundary of $L$ is strictly less than $1$ and the minimum of the curvature of $K$ is larger than $1$. In this setting the expected number of vertices and missed area behave in a similar way as in the classical convex case and in the $r$-spindle convex case (when $L$ is a radius $r$ circular disc). The other case we study is when $K=L$. This setting is special in the sense that an interesting phenomenon occurs: the expected number of vertices tends to a finite limit depending only on $L$. This was previously observed in the special case when $L$ is a circle of radius $r$ (Fodor, Kevei and V\'igh (2014)). We also determine the extrema of the limit of the expectation of the number of vertices of $L_{(n)}$ if $L$ is a convex discs of constant width $1$. The formulas we prove can be considered as generalizations of the corresponding $r$-spindle convex statements proved by Fodor, Kevei and V\'igh (2014).


title: Simple vs complex temporal recurrences for video saliency prediction

abstract: This paper investigates modifying an existing neural network architecture for static saliency prediction using two types of recurrences that integrate information from the temporal domain. The first modification is the addition of a ConvLSTM within the architecture, while the second is a conceptually simple exponential moving average of an internal convolutional state. We use weights pre-trained on the SALICON dataset and fine-tune our model on DHF1K. Our results show that both modifications achieve state-of-the-art results and produce similar saliency maps. Source code is available at https://git.io/fjPiB.


title: Robust Cochlear Modiolar Axis Detection in CT

abstract: The cochlea, the auditory part of the inner ear, is a spiral-shaped organ with large morphological variability. An individualized assessment of its shape is essential for clinical applications related to tonotopy and cochlear implantation. To unambiguously reference morphological parameters, reliable recognition of the cochlear modiolar axis in computed tomography (CT) images is required. The conventional method introduces measurement uncertainties, as it is based on manually selected and difficult to identify landmarks. Herein, we present an algorithm for robust modiolar axis detection in clinical CT images. We define the modiolar axis as the rotation component of the kinematic spiral motion inherent in the cochlear shape. For surface fitting, we use a compact shape representation in a 7-dimensional kinematic parameter space based on extended Pl\"ucker coordinates. It is the first time such a kinematic representation is used for shape analysis in medical images. Robust surface fitting is achieved with an adapted approximate maximum likelihood method assuming a Student-t distribution, enabling axis detection even in partially available surface data. We verify the algorithm performance on a synthetic data set with cochlear surface subsets. In addition, we perform an experimental study with four experts in 23 human cochlea CT data sets to compare the automated detection with the manually found axes. Axes found from co-registered high resolution micro-CT scans are used for reference. Our experiments show that the algorithm reduces the alignment error providing more reliable modiolar axis detection for clinical and research applications.


title: CT Data of a Pen-Spring: Application to Under-Sampled Dynamic X-ray Tomography

abstract: This is the documentation of Computed Tomography (CT) data of a pen-spring. The open data set is available at https://zenodo.org/record/3266936#.XRyMdCZS9oA and can be freely used for scientific purposes with appropriate references to the data and to this document in arxiv.org. The provided data set includes the X-ray sinograms ({\tt finalSino}) of a single 2D slice from a different height of the spring. The {\tt finalSino} was obtained from a measured 10-projection or 100-projection {\tt sinogram} using fan-beam geometry by down-sampling and taking logarithms. The data set includes also those original measured {\tt sinogram}s and corresponding measurement matrices.


title: Interplay between $SU(N_f)$ chiral symmetry, $U(1)_A$ axial anomaly and massless bosons

abstract: The standard wisdom on the origin of massless bosons in the spectrum of a Quantum Field Theory $(QFT)$ describing the interaction of gauge fields coupled to matter fields is based on two well known features: gauge symmetry, and spontaneous symmetry breaking of continuous global symmetries. However we will show in this article how the topological properties, that originate the $U(1)_A$ axial anomaly in a $QFT$ which describes the interaction of fermion matter fields and gauge bosons, are the basis of an alternative mechanism to generate massless bosons in the chiral limit, if the non-abelian $SU(N_f)_A$ chiral symmetry is fulfilled in the vacuum. We will also test our predictions with the results of a well known two-dimensional model, the two-flavour Schwinger model, which was analyzed by Coleman long ago, and will give a reliable answer to some of the questions he asked himself on the spectrum of the model in the strong-coupling (chiral) limit. We will also analyze what are the expectations for the $U(N)$ gauge-fermion model in two dimensions, and will discuss on the impact of our results in the chirally symmetric high temperature phase of $QCD$, which was present in the early universe, and is expected to be created in heavy-ion collision experiments.


title: A modular point contact spectroscopy probe for sub-Kelvin applications

abstract: We present the construction and performance of a plug-n-play type point contact spectroscopy probe equipped with a piezo-driven coarse approach mechanism for sub-kelvin applications. A modular assembly has been built which can be placed in or taken out from a sub-Kelvin socket mounted inside a He3 cryostat (with a 7 Tesla magnet) using an external manipulator. A simple transfer process using a removable vertical manipulator combined with a load-lock chamber makes the exchange of the sample/tip rig very easy without breaking the vacuum insulation of the sample chamber. We have successfully performed point-contact spectroscopic studies on a few elemental superconductors with low T$_{c}$. We have also used the probe to perform spectroscopic measurements on another low temperature superconductor PdTe$_2$, which is a Dirac semimetal in the normal state. We present such data to demonstrate the functionality of the probe. The probe can also be made adaptable for other transport measurements such as Hall effect, four probe resistivity, scanning tunnelling spectroscopy etc.


title: Challenges in IT Operations Management at a German University Chair -- Ten Years in Retrospect

abstract: Over the last two decades, the majority of German universities adopted various characteristics of the prevailing North-American academic system, resulting in significant changes in several key areas that include, e.g., both teaching and research. The universities' internal organizational structures, however, still follow a traditional, decentralized scheme implementing an additional organizational level -- the Chair -- effectively a "mini department" with dedicated staff, budget and infrastructure. Although the Technical University of Munich (TUM) has been establishing a more centralized scheme for many administrative tasks over the past decade, the transition from its distributed to a centralized information technology (IT) administration and infrastructure is still an ongoing process. In case of the authors' chair, this migration so far included handing over all network-related operations to the joint compute center, consolidating the Chair's legacy server system in terms of both hardware architectures and operating systems and, lately, moving selected services to replacements operated by Department or University. With requirements, individuals and organizations constantly shifting, this process, however, is neither close to completion nor particularly unique to TUM. In this paper, we will thus share our experiences w.r.t. this IT migration as we believe both that many of the other German universities might be facing similar challenges and that, in the future, North-American universities - currently not implementing the chair layer and instead relying on a centralized IT infrastructure - could need a more decentralized solution. Hoping that both benefit from this journey, we thus present the design, commissioning and evolution of our infrastructure.


title: Industrial DevOps

abstract: The visions and ideas of Industry 4.0 require a profound interconnection of machines, plants, and IT systems in industrial production environments. This significantly increases the importance of software, which is coincidentally one of the main obstacles to the introduction of Industry 4.0. Lack of experience and knowledge, high investment and maintenance costs, as well as uncertainty about future developments cause many small and medium-sized enterprises hesitating to adopt Industry 4.0 solutions. We propose Industrial DevOps as an approach to introduce methods and culture of DevOps into industrial production environments. The fundamental concept of this approach is a continuous process of operation, observation, and development of the entire production environment. This way, all stakeholders, systems, and data can thus be integrated via incremental steps and adjustments can be made quickly. Furthermore, we present the Titan software platform accompanied by a role model for integrating production environments with Industrial DevOps. In two initial industrial application scenarios, we address the challenges of energy management and predictive maintenance with the methods, organizational structures, and tools of Industrial DevOps.


title: Curves in a spacelike hypersurface in the Minkowski space-time

abstract: Submanifolds in Lorentz-Minkowski space are investigated from various mathematical viewpoints and are of interest also in relativity theory. We define the hyperbolic surface and the de Sitter surface of a curve in the spacelike hypersurface M in the Minkowski 4-space. These surfaces are respectively located in the hyperbolic 3-space and in the de Sitter 3-space. We use techniques of the theory of singularities in order to describe the generic shape of these surfaces and of their singular value sets. We also investigate geometric meanings of those singularities. The results in this paper contribute to the study of the extrinsic geometry of curves in different ambient spaces.


title: On the Darwin instability effect in binary systems

abstract: The Darwin instability effect in the binary systems (planets, stars, and galaxies) is analyzed within the model based on the Regge-like laws. New analytical formulas are presented for the relative distance between components of the binary and orbital rotation period of the binary.


title: A Survey of Maturity Models from Nolon to DevOps and Their Applications in Process Improvement

abstract: This paper traces the history of Maturity Models and their impact on Process Improvement from the early work of Shewhart to their current usage with DevOps. The history of modern process improvement can be traced at least to Shewhart. From his foundational process contributions and those of other innovators a variety of methods and tools to aid in process quality advancement were developed. This paper begins by reviewing those early steps and then focuses on the emergence of Maturity Models in the 1970s with initial approach by Nolan. The broad adoption of Maturity Models that followed through the success of the CMM and then the CMMI approaches is detailed. This then leads to a general survey of additional models developed for such areas as IT Service Management, ITIL, Project Management, Agile Development, DevOps, CERT, and MDM among others. Finally, this paper discusses the application of these models in the support of process improvement and their limitations. Readers of this paper can expect to gain an appreciation for the origins of these models and surrounding methods as well as an ability to conduct comparative analysis of such models to aid in their selection and application. Keywords: Process Improvement, Process Engineering, Maturity Models, Capability Maturity Models, CMM, CMMI, ITSM, ITIL, Agile, DevOps, History of Science, History of Computing, Software Engineering, Quality.


title: Learning to Predict Robot Keypoints Using Artificially Generated Images

abstract: This work considers robot keypoint estimation on color images as a supervised machine learning task. We propose the use of probabilistically created renderings to overcome the lack of labeled real images. Rather than sampling from stationary distributions, our approach introduces a feedback mechanism that constantly adapts probability distributions according to current training progress. Initial results show, our approach achieves near-human-level accuracy on real images. Additionally, we demonstrate that feedback leads to fewer required training steps, while maintaining the same model quality on synthetic data sets.


title: Boltzmann distribution of sediment transport

abstract: The coupling of sediment transport with the flow that drives it allows rivers to shape their own bed. Cross-stream fluxes of sediment play a crucial, yet poorly understood, role in this process. Here, we track particles in a laboratory flume to relate their statistical behavior to the self organization of the granular bed they make up. As they travel downstream, the transported grains wander randomly across the bed's surface, thus inducing cross-stream diffusion. The balance of diffusion and gravity results in a peculiar Boltzmann distribution, in which the bed's roughness plays the role of thermal fluctuations, while its surface forms the potential well that confines the sediment flux.


title: Enumerative Sphere Shaping for Rate Adaptation and Reach Increase in WDM Transmission Systems

abstract: The performance of enumerative sphere shaping (ESS), constant composition distribution matching (CCDM), and uniform signalling are compared at the same forward error correction rate. ESS is shown to offer a reach increase of approximately 10% and 22% compared to CCDM and uniform signalling, respectively.


title: An Experimental Evaluation of Large Scale GBDT Systems

abstract: Gradient boosting decision tree (GBDT) is a widely-used machine learning algorithm in both data analytic competitions and real-world industrial applications. Further, driven by the rapid increase in data volume, efforts have been made to train GBDT in a distributed setting to support large-scale workloads. However, we find it surprising that the existing systems manage the training dataset in different ways, but none of them have studied the impact of data management. To that end, this paper aims to study the pros and cons of different data management methods regarding the performance of distributed GBDT. We first introduce a quadrant categorization of data management policies based on data partitioning and data storage. Then we conduct an in-depth systematic analysis and summarize the advantageous scenarios of the quadrants. Based on the analysis, we further propose a novel distributed GBDT system named Vero, which adopts the unexplored composition of vertical partitioning and row-store and suits for many large-scale cases. To validate our analysis empirically, we implement different quadrants in the same code base and compare them under extensive workloads, and finally compare Vero with other state-of-the-art systems over a wide range of datasets. Our theoretical and experimental results provide a guideline on choosing a proper data management policy for a given workload.


title: Numerical homogenization for nonlinear strongly monotone problems

abstract: In this work we introduce and analyze a new multiscale method for strongly nonlinear monotone equations in the spirit of the Localized Orthogonal Decomposition. A problem-adapted multiscale space is constructed by solving linear local fine-scale problems which is then used in a generalized finite element method. The linearity of the fine-scale problems allows their localization and, moreover, makes the method very efficient to use. The new method gives optimal a priori error estimates up to linearization errors. The results neither require structural assumptions on the coefficient such as periodicity or scale separation nor higher regularity of the solution. The effect of different linearization strategies is discussed in theory and practice. Several numerical examples including stationary Richards equation confirm the theory and underline the applicability of the method.


title: Dynamics on dendrites with closed endpoint sets

abstract: We construct dendrites with endpoint sets isometric to any totally disconnected compact metric space. This allows us to embed zero-dimensional dynamical systems into dendrites and solve a problem regarding Li-Yorke and distributional chaos.


title: A Software Framework and Datasets for the Analysis of Graph Measures on RDF Graphs

abstract: As the availability and the inter-connectivity of RDF datasets grow, so does the necessity to understand the structure of the data. Understanding the topology of RDF graphs can guide and inform the development of, e.g. synthetic dataset generators, sampling methods, index structures, or query optimizers. In this work, we propose two resources: (i) a software framework able to acquire, prepare, and perform a graph-based analysis on the topology of large RDF graphs, and (ii) results on a graph-based analysis of 280 datasets from the LOD Cloud with values for 28 graph measures computed with the framework. We present a preliminary analysis based on the proposed resources and point out implications for synthetic dataset generators. Finally, we identify a set of measures, that can be used to characterize graphs in the Semantic Web.


title: Recent Advances of Image Steganography with Generative Adversarial Networks

abstract: In the past few years, the Generative Adversarial Network (GAN) which proposed in 2014 has achieved great success. GAN has achieved many research results in the field of computer vision and natural language processing. Image steganography is dedicated to hiding secret messages in digital images, and has achieved the purpose of covert communication. Recently, research on image steganography has demonstrated great potential for using GAN and neural networks. In this paper we review different strategies for steganography such as cover modification, cover selection and cover synthesis by GANs, and discuss the characteristics of these methods as well as evaluation metrics and provide some possible future research directions in image steganography.


title: Conjugacy problem of strictly monotone maps with only one jump discontinuity

abstract: The conjugacy problem is one of the central questions in iteration theory. As far as we, for discontinuous strictly monotone maps there is no complete result. In this paper, we investigate the conjugacy problem of strictly monotone maps with only one jump discontinuity. We give some sufficient and necessary conditions for the conjugacy relationship. And we present some methods to construct all conjugacies. Furthermore, we present the conditions to guarantee $C^1$ smoothness of these conjugacies.


title: Infinitely many sign-changing solutions for Kirchhoff type problems in $\mathbb{R}^3$

abstract: In this paper, we consider the following nonlinear Kirchhoff type problem: \[ \left\{\begin{array}{lcl}-\left(a+b\displaystyle\int_{\mathbb{R}^3}|\nabla u|^2\right)\Delta u+V(x)u=f(u), & \textrm{in}\,\,\mathbb{R}^3,\\ u\in H^1(\mathbb{R}^3), \end{array}\right. \] where $a,b>0$ are constants, the nonlinearity $f$ is superlinear at infinity with subcritical growth and $V$ is continuous and coercive. For the case when $f$ is odd in $u$ we obtain infinitely many sign-changing solutions for the above problem by using a combination of invariant sets method and the Ljusternik-Schnirelman type minimax method. To the best of our knowledge, there are only few existence results for this problem. It is worth mentioning that the nonlinear term may not be 4-superlinear at infinity, in particular, it includes the power-type nonlinearity $|u|^{p-2}u$ with $p\in(2,4]$.


title: A study of gamma-ray burst afterglows as they first come into view of the Swift Ultraviolet and Optical Telescope

abstract: We examine the the emission from optically bright gamma-ray burst (GRB) afterglows as the Ultraviolet and Optical Telescope (UVOT) on the Neil Gehrels Swift Observatory first begins observing, following the slew to target the GRB, while the pointing of the Swift satellite is still settling. We verify the photometric quality of the UVOT settling data using bright stars in the field of view. In the majority of cases we find no problems with the settling exposure photometry, but in one case we excise the first second of the exposure to mitigate a spacecraft attitude reconstruction issue, and in a second case we exclude the first second of the exposure in which the UVOT photocathode voltage appears to be ramping up. Of a sample of 23 afterglows which have peak V magnitudes <16, we find that all are detected in the settling exposures, when Swift arrives on target. For 9 of the GRBs the UVOT settling exposure took place before the conclusion of the prompt gamma-ray emission. Five of these GRBs have well defined optical peaks after the settling exposures, with rises of >0.5 mag in their optical lightcurves, and there is a marginal trend for these GRBs to have long T90. Such a trend is expected for thick-shell afterglows, but the temporal indices of the optical rises and the timing of the optical peaks appear to rule out thick shells.


title: On permutations derived from integer powers $x^n$

abstract: We present a general theorem characterizing the relationship between the prime base $p$ representations of non-negative integers $x$ and their positive integer powers, $x^n$. For any positive integer $l$, the theorem establishes the existence of bijective mappings (permutations) between all $p^l$ members $x$ of each non-zero residue class mod $p$ satisfying $x < p^{l+1}$. These mappings are obtained as the integer part of ${x^p}{p^{-\alpha}}$ for a particular positive integer $\alpha$, depending on $n$ and $p$, called the "coding shift", for which an explicit formula is given. For relatively prime $n$ and $p$, $\alpha = 1$ and the result follows directly from properties of the multiplicative group of invertible elements modulo $p^{l+1}$. We extend our result for general $n$ also to identify the coding shift required to obtain such bijective mappings for members of the zero residue class mod $p$, demonstrating that such bijective mappings (or encodings) can be found for any finite $l$ and for all positive integers $x < p^{l+1}$.


title: Computed tomography medical image reconstruction on affordable equipment by using out-of-core techniques

abstract: As Computed Tomography (CT) scans are an essential medical test, many techniques have been proposed to reconstruct high-quality images using a smaller amount of radiation. One approach is to employ algebraic factorization methods to reconstruct the images, using fewer views than the traditional analytical methods. However, their main drawback is the high computational cost and hence the time needed to obtain the images, which is critical in the daily clinical practice. For this reason, faster methods for solving this problem are required. In this paper, we propose a new reconstruction method based on the QR factorization that is very efficient on affordable equipment (standard multicore processors and standard Solid-State Drives) by using out-of-core techniques. Combining both affordable hardware and the new software, we can boost the performance of the reconstructions and implement a reliable and competitive method that reconstructs high-quality CT images quickly.


title: Accuracy and minor embedding in subqubo decomposition with fully connected large problems: a case study about the number partitioning problem

abstract: In this work we investigate the capabilities of a hybrid quantum-classical procedure to explore the solution space using the D-Wave $2000Q^{TM}$ Quantum Annealer device. Here we study the ability of the Quantum hardware to solve the Number Partitioning Problem, a well-known NP-Hard optimization model that poses some challenges typical of those encountered in real-world applications. This represents one of the most complex scenario in terms of qubits connectivity and, by increasing the input problem size, we analyse the scaling properties of the quantum-classical workflow. We find remarkable results in most instances of the model; for the most complex ones, we investigate further the D-Wave Hybrid suite. Specifically, we were able to find the optimal solutions even in the worst cases by fine-tuning the parameters that schedule the annealing time and allowing a pause in the annealing cycle.


title: Process of equilibration in many-body isolated systems: Diagonal versus thermodynamic entropy

abstract: As recently manifested , the quench dynamics of isolated quantum systems consisting of a finite number of particles, is characterized by an exponential spreading of wave packets in the many-body Hilbert space. This happens when the inter-particle interaction is strong enough, thus resulting in a chaotic structure of the many-body eigenstates considered in an unperturbed basis. The semi-analytical approach used here, allows one to estimate the rate of the exponential growth as well as the relaxation time, after which the equilibration (thermalization) emerges. The key ingredient parameter in the description of this process is the width $\Gamma$ of the Local Density of States (LDoS) defined by the initially excited state, the number of particles and the interaction strength. In this paper we show that apart from the meaning of $\Gamma$ as the decay rate of survival probability, the width of the LDoS is directly related to the diagonal entropy and the latter can be linked to the thermodynamic entropy of a system equilibrium state emerging after the complete relaxation. The analytical expression relating the two entropies is derived phenomenologically and numerically confirmed in a model of bosons with random two-body interaction, as well as in a deterministic model which becomes completely integrable in the continuous limit.


title: A Bayesian Hierarchical Model for Criminal Investigations

abstract: Potential violent criminals will often need to go through a sequence of preparatory steps before they can execute their plans. During this escalation process police have the opportunity to evaluate the threat posed by such people through what they know, observe and learn from intelligence reports about their activities. In this paper we customise a three-level Bayesian hierarchical model to describe this process. This is able to propagate both routine and unexpected evidence in real time. We discuss how to set up such a model so that it calibrates to domain expert judgments. The model illustrations include a hypothetical example based on a potential vehicle based terrorist attack.


title: Local well-posedness in the Wasserstein space for a chemotaxis model coupled to Navier-Stokes equations

abstract: We consider a coupled system of Keller-Segel type equations and the incompressible Navier-Stokes equations in spatial dimension two and three. In the previous work [19], we established the existence of a weak solution of a Fokker-Plank equation in the Wasserstein space using the optimal transportation technique. Exploiting this result, we constructed solutions of Keller-Segel-Navier-Stokes equations such that the density of biological organism belongs to the absolutely continuous curves in the Wasserstein space. In this work, we refine the result on the existence of a weak solution of a Fokker-Plank equation in the Wasserstein space. As a result, we construct solutions of Keller-Segel-Navier-Stokes equations under weaker assumptions on the initial data.


title: Critical configurations of solid bodies and the Morse theory of MIN functions

abstract: We study the manifold of clusters of nonintersecting congruent solid bodies, all touching the central ball $B\subset\mathbb{R}^{3}$ of radius one. Two main examples are clusters of balls and clusters of infinite cylinders. We introduce the notion of \textit{critical cluster} and we study several critical clusters of balls and of cylinders. For the case of cylinders some of our critical clusters are new. We also establish the criticality properties of clusters, introduced earlier by W. Kuperberg.