title: On global universality for zeros of random polynomials

abstract: In this work, we study asymptotic zero distribution of random multi-variable polynomials which are random linear combinations $\sum_{j}a_jP_j(z)$ with i.i.d coefficients relative to a basis of orthonormal polynomials $\{P_j\}_j$ induced by a multi-circular weight function $Q$ satisfying suitable smoothness and growth conditions. In complex dimension $m\geq3$, we prove that $\Bbb{E}[(\log(1+|a_j|))^m]<\infty$ is a necessary and sufficient condition for normalized zero currents of random polynomials to be almost surely asymptotic to the (deterministic) extremal current $dd^cV_{Q}.$ In addition, in complex dimension one, we consider random linear combinations of orthonormal polynomials with respect to a regular measure in the sense of Stahl \& Totik and we prove similar results in this setting.


title: Hot-cold plasma transition region: collisionless case

abstract: We study processes at the transition region between hot (rare) and cold (dense) plasma in the collisionless regime. We use a 3-dimensional electromagnetic particle-in-cell (3-D PIC) relativistic code. Motivated by the transition region in the solar atmosphere the temperature and density ratio of the plasmas is chosen as 100 and 0.01, respectively. For better understanding of studied processes we make two types of computations: a) without any interactions among plasma particles (free expansion) and b) with the full electromagnetic interactions. In both the cases we found that the flux of cold plasma electrons and protons from colder plasma to hotter one dominates over the flux of hot plasma electrons and protons in the opposite direction. Thus, the plasma in the hotter part of the system becomes colder and denser during time evolution. In the case without any interactions among particles the cold plasma electrons and protons freely penetrate into the hot plasma. But, the cold plasma electrons are faster than cold plasma protons and therefore they penetrate deeper into the hotter part of the system than the protons. Thus, the cooling of the electron and proton components of the plasma in the hotter part of the system is different. On the other hand, in the case with the electromagnetic interactions, owing to the plasma property, which tries to keep the total electric current constant everywhere (close to zero in our case), the cold plasma electrons penetrate into the hotter part of the system together with the cold plasma protons. The plasma waves generated at the transition region during these processes reduce the number of electrons escaping from the hot plasma into the colder one. Therefore these waves support a temperature jump between hot and cold plasma.


title: Kidnapping Model: An Extension of Selten's Game

abstract: Selten's game is a kidnapping model where the probability of capturing the kidnapper is independent of whether the hostage has been released or executed. Most often, in view of the elevated sensitivities involved, authorities put greater effort and resources into capturing the kidnapper if the hostage has been executed, in contrast to the case when a ransom is paid to secure the hostage's release. In this paper, we study the asymmetric game when the probability of capturing the kidnapper depends on whether the hostage has been executed or not and find a new uniquely determined perfect equilibrium point in Selten's game.


title: Controlling the layer localization of gapless states in bilayer graphene with a gate voltage

abstract: Experiments in gated bilayer graphene with stacking domain walls present topological gapless states protected by no-valley mixing. Here we research these states under gate voltages using atomistic models, which allow us to elucidate their origin. We find that the gate potential controls the layer localization of the two states, which switches non-trivially between layers depending on the applied gate voltage magnitude. We also show how these bilayer gapless states arise from bands of single-layer graphene by analyzing the formation of carbon bonds between layers. Based on this analysis we provide a model Hamiltonian with analytical solutions, which explains the layer localization as a function of the ratio between the applied potential and interlayer hopping. Our results open a route for the manipulation of gapless states in electronic devices, analogous to the proposed writing and reading memories in topological insulators.


title: Total stability of kernel methods

abstract: Regularized empirical risk minimization using kernels and their corresponding reproducing kernel Hilbert spaces (RKHSs) plays an important role in machine learning. However, the actually used kernel often depends on one or on a few hyperparameters or the kernel is even data dependent in a much more complicated manner. Examples are Gaussian RBF kernels, kernel learning, and hierarchical Gaussian kernels which were recently proposed for deep learning. Therefore, the actually used kernel is often computed by a grid search or in an iterative manner and can often only be considered as an approximation to the "ideal" or "optimal" kernel. The paper gives conditions under which classical kernel based methods based on a convex Lipschitz loss function and on a bounded and smooth kernel are stable, if the probability measure $P$, the regularization parameter $\lambda$, and the kernel $k$ may slightly change in a simultaneous manner. Similar results are also given for pairwise learning. Therefore, the topic of this paper is somewhat more general than in classical robust statistics, where usually only the influence of small perturbations of the probability measure $P$ on the estimated function is considered.


title: BreathRNNet: Breathing Based Authentication on Resource-Constrained IoT Devices using RNNs

abstract: Recurrent neural networks (RNNs) have shown promising results in audio and speech processing applications due to their strong capabilities in modelling sequential data. In many applications, RNNs tend to outperform conventional models based on GMM/UBMs and i-vectors. Increasing popularity of IoT devices makes a strong case for implementing RNN based inferences for applications such as acoustics based authentication, voice commands, and edge analytics for smart homes. Nonetheless, the feasibility and performance of RNN based inferences on resources-constrained IoT devices remain largely unexplored. In this paper, we investigate the feasibility of using RNNs for an end-to-end authentication system based on breathing acoustics. We evaluate the performance of RNN models on three types of devices; smartphone, smartwatch, and Raspberry Pi and show that unlike CNN models, RNN models can be easily ported onto resource-constrained devices without a significant loss in accuracy.


title: Zhang $L^2$-Regularity for the solutions of Backward Doubly Stochastic Differential Equations under globally Lipschitz continuous assumptions

abstract: We prove an $L^2$-regularity result for the solutions of Forward Backward Doubly Stochastic Differentiel Equations (FBDSDEs in short) under globally Lipschitz continuous assumptions on the coefficients. Therefore, we extend the well known regularity results established by Zhang (2004) for Forward Backward Stochastic Differential Equations (FBSDEs in short) to the doubly stochastic framework. To this end, we prove (by Malliavin calculus) a representation result for the martingale component of the solution of the F-BDSDE under the assumption that the coefficients are continuous in time and continuously differentiable in space with bounded partial derivatives. As an (important) application of our $L^2$-regularity result, we derive the rate of convergence in time for the (Euler time discretization based) numerical scheme for FBDSDEs proposed by Bachouch et al. (2016) under only globally Lipschitz continuous assumptions.


title: Navigating Between Packings of Graphic Sequences

abstract: Let $\pi_1=(d_1^{(1)}, \ldots,d_n^{(1)})$ and $\pi_2=(d_1^{(2)},\ldots,d_n^{(2)})$ be graphic sequences. We say they \emph{pack} if there exist edge-disjoint realizations $G_1$ and $G_2$ of $\pi_1$ and $\pi_2$, respectively, on vertex set $\{v_1,\dots,v_n\}$ such that for $j\in\{1,2\}$, $d_{G_j}(v_i)=d_i^{(j)}$ for all $i\in\{1,\ldots,n\}$. In this case, we say that $(G_1,G_2)$ is a $(\pi_1,\pi_2)$-\textit{packing}. A clear necessary condition for graphic sequences $\pi_1$ and $\pi_2$ to pack is that $\pi_1+\pi_2$, their componentwise sum, is also graphic. It is known, however, that this condition is not sufficient, and furthermore that the general problem of determining if two sequences pack is $NP$- complete. S.~Kundu proved in 1973 that if $\pi_2$ is almost regular, that is each element is from $\{k-1, k\}$, then $\pi_1$ and $\pi_2$ pack if and only if $\pi_1+\pi_2$ is graphic. In this paper we will consider graphic sequences $\pi$ with the property that $\pi+\mathbf{1}$ is graphic. By Kundu's theorem, the sequences $\pi$ and $\mathbf{1}$ pack, and there exist edge-disjoint realizations $G$ and $\mathcal{I}$, where $\mathcal{I}$ is a 1-factor. We call such a $(\pi,\mathbf{1})$ packing a {\em Kundu realization}. Assume that $\pi$ is a graphic sequence, in which each term is at most $n/24$, that packs with $\mathbf{1}$. This paper contains two results. On one hand, any two Kundu realizations of the degree sequence $\pi+\mathbf{1}$ can be transformed into each other through a sequence of other Kundu realizations by swap operations. On the other hand, the same conditions ensure that any particular 1-factor can be part of a Kundu realization of $\pi+\mathbf{1}$.


title: Tolerances, robustness and parametrization of matrix properties related to optimization problems

abstract: When we speak about parametric programming, sensitivity analysis, or related topics, we usually mean the problem of studying specified perturbations of the data such that for a given optimization problem some optimality criterion remains satisfied. In this paper, we turn to another question. Suppose that $A$ is a matrix having a specific property $\mathcal{P}$. What are the maximal allowable variations of the data such that the property still remains valid for the matrix? We study two basic forms of perturbations. The first is a perturbation in a given direction, which is closely related to parametric programming. The second type consists of all possible data variations in a neighbourhood specified by a certain matrix norm; this is related to the tolerance approach to sensitivity analysis, or to stability. The matrix properties discussed in this paper are positive definiteness; P-matrix, H-matrix and P-matrix property; total positivity; inverse M-matrix property and inverse nonnegativity.


title: On the genealogy and coalescence times of Bienaym\'e-Galton-Watson branching processes

abstract: Coalescence processes have received a lot of attention in the context of conditional branching processes with fixed population size and non-overlapping generations. Here we focus on similar problems in the context of the standard unconditional Bienaym\'e-Galton-Watson branching processes, either (sub)-critical or supercritical. Using an analytical tool, we derive the structure of some counting aspects of the ancestral genealogy of such processes, including: the transition matrix of the ancestral count process and an integral representation of various coalescence times distributions, such as the time to most recent common ancestor of a random sample of arbitrary size, including full size. We illustrate our results on two important examples of branching mechanisms displaying either finite or infinite reproduction mean, their main interest being to offer a closed form expression for their probability generating functions at all times. Large time behaviors are investigated.


title: Energy Dependent Features of X-ray Signals in a GridPix Detector

abstract: We report on the calibration of an argon/isobutane (97.7 %/2.3 %)-filled GridPix detector with soft X-rays (277 eV to 8 keV) using the variable energy X-ray source of the CAST Detector Lab at CERN. We study the linearity and energy resolution of the detector using both the number of hit pixels and the total measured charge as energy measures. For the latter, the energy resolution {\sigma}_E/E is better than 10 % (20 %) for energies above 2 keV (0.5 keV). Several characteristics of the recorded events are studied.


title: Quantum Biomimetic Modeling of Diamond NV$^{-}$ Center Spin Dynamics

abstract: The spin dynamics of the diamond NV$^{-}$ center turns out to be similar to that of the chemical compass responsible for avian magnetoreception. We present a simulation framework based on quantum master equation for the former that is based upon the Radical Pair model of the latter. We show that this framework captures all the experimentally studied behavior of the NV$^{-}$ center spin system and can therefore be a predictive modeling tool.


title: On a coalescence process and its branching genealogy

abstract: We define and analyze a coalescent process as a recursive box-filling process whose genealogy is given by an ancestral time-reversed, time-inhomogeneous Bienyam\'{e}-Galton-Watson process. Special interest is on the expected size of a typical box and its probability of being empty. Special cases leading to exact asymptotic computations are investigated when the coalescing mechanisms are either linear-fractional or quadratic.


title: EraseReLU: A Simple Way to Ease the Training of Deep Convolution Neural Networks

abstract: For most state-of-the-art architectures, Rectified Linear Unit (ReLU) becomes a standard component accompanied with each layer. Although ReLU can ease the network training to an extent, the character of blocking negative values may suppress the propagation of useful information and leads to the difficulty of optimizing very deep Convolutional Neural Networks (CNNs). Moreover, stacking layers with nonlinear activations is hard to approximate the intrinsic linear transformations between feature representations. In this paper, we investigate the effect of erasing ReLUs of certain layers and apply it to various representative architectures following deterministic rules. It can ease the optimization and improve the generalization performance for very deep CNN models. We find two key factors being essential to the performance improvement: 1) the location where ReLU should be erased inside the basic module; 2) the proportion of basic modules to erase ReLU; We show that erasing the last ReLU layer of all basic modules in a network usually yields improved performance. In experiments, our approach successfully improves the performance of various representative architectures, and we report the improved results on SVHN, CIFAR-10/100, and ImageNet. Moreover, we achieve competitive single-model performance on CIFAR-100 with 16.53% error rate compared to state-of-the-art.


title: Quantified Derandomization of Linear Threshold Circuits

abstract: One of the prominent current challenges in complexity theory is the attempt to prove lower bounds for $TC^0$, the class of constant-depth, polynomial-size circuits with majority gates. Relying on the results of Williams (2013), an appealing approach to prove such lower bounds is to construct a non-trivial derandomization algorithm for $TC^0$. In this work we take a first step towards the latter goal, by proving the first positive results regarding the derandomization of $TC^0$ circuits of depth $d>2$. Our first main result is a quantified derandomization algorithm for $TC^0$ circuits with a super-linear number of wires. Specifically, we construct an algorithm that gets as input a $TC^0$ circuit $C$ over $n$ input bits with depth $d$ and $n^{1+\exp(-d)}$ wires, runs in almost-polynomial-time, and distinguishes between the case that $C$ rejects at most $2^{n^{1-1/5d}}$ inputs and the case that $C$ accepts at most $2^{n^{1-1/5d}}$ inputs. In fact, our algorithm works even when the circuit $C$ is a linear threshold circuit, rather than just a $TC^0$ circuit (i.e., $C$ is a circuit with linear threshold gates, which are stronger than majority gates). Our second main result is that even a modest improvement of our quantified derandomization algorithm would yield a non-trivial algorithm for standard derandomization of all of $TC^0$, and would consequently imply that $NEXP\not\subseteq TC^0$. Specifically, if there exists a quantified derandomization algorithm that gets as input a $TC^0$ circuit with depth $d$ and $n^{1+O(1/d)}$ wires (rather than $n^{1+\exp(-d)}$ wires), runs in time at most $2^{n^{\exp(-d)}}$, and distinguishes between the case that $C$ rejects at most $2^{n^{1-1/5d}}$ inputs and the case that $C$ accepts at most $2^{n^{1-1/5d}}$ inputs, then there exists an algorithm with running time $2^{n^{1-\Omega(1)}}$ for standard derandomization of $TC^0$.


title: Formation of Double Neutron Stars, Millisecond Pulsars and Double Black Holes

abstract: The 1982 model for the formation of the Hulse-Taylor binary radio pulsar PSR B1913+16 is described, which since has become the standard model for the formation of double neutron stars, confirmed by the 2003 discovery of the double pulsar system PSR J0737-3039AB. A brief overview is given of the present status of our knowledge of the double neutron stars, of which 15 systems are presently known. The binary-recycling model for the formation of millisecond pulsars is described, as put forward independently by Alpar et al. (1982), Radhakrishnan and Srinivasan (1982) and Fabian et al. (1983). This now is the standard model for the formation of these objects, confirmed by the discovery in 1998 of the accreting millisecond X-ray pulsars. It is noticed that the formation process of close double black holes has analogies to that of close double neutron stars, extended to binaries of larger iinitial component masses, although there are also considerable differences in the physics of the binary evolution at these larger masses.


title: Hierarchical Kriging for multi-fidelity aero-servo-elastic simulators - Application to extreme loads on wind turbines

abstract: In the present work, we consider multi-fidelity surrogate modelling to fuse the output of multiple aero-servo-elastic computer simulators of varying complexity. In many instances, predictions from multiple simulators for the same quantity of interest on a wind turbine are available. In this type of situation, there is strong evidence that fusing the output from multiple aero-servo-elastic simulators yields better predictive ability and lower model uncertainty than using any single simulator. Hierarchical Kriging is a multi-fidelity surrogate modelling method in which the Kriging surrogate model of the cheap (low-fidelity) simulator is used as a trend of the Kriging surrogate model of the higher fidelity simulator. We propose a parametric approach to Hierarchical Kriging where the best surrogate models are selected based on evaluating all possible combinations of the available Kriging parameters candidates. The parametric Hierarchical Kriging approach is illustrated by fusing the extreme flapwise bending moment at the blade root of a large multi-megawatt wind turbine as a function of wind velocity, turbulence and wind shear exponent in the presence of model uncertainty and heterogeneously noisy output. The extreme responses are obtained by two widely accepted wind turbine specific aero-servo-elastic computer simulators, FAST and Bladed. With limited high-fidelity simulations, Hierarchical Kriging produces more accurate predictions of validation data compared to conventional Kriging. In addition, contrary to conventional Kriging, Hierarchical Kriging is shown to be a robust surrogate modelling technique because it is less sensitive to the choice of the Kriging parameters and the choice of the estimation error.


title: Approximate Bayesian Inference in Linear State Space Models for Intermittent Demand Forecasting at Scale

abstract: We present a scalable and robust Bayesian inference method for linear state space models. The method is applied to demand forecasting in the context of a large e-commerce platform, paying special attention to intermittent and bursty target statistics. Inference is approximated by the Newton-Raphson algorithm, reduced to linear-time Kalman smoothing, which allows us to operate on several orders of magnitude larger problems than previous related work. In a study on large real-world sales datasets, our method outperforms competing approaches on fast and medium moving items.


title: Time-frequency representations of autoionization dynamics in helium

abstract: Autoionization, which results from the interference between direct photoionization and photoexcitation to a discrete state decaying to the continuum by configuration interaction, is a well known example of the important role of electron correlation in light-matter interaction. Information on this process can be obtained by studying the spectral, or equivalently, temporal complex amplitude of the ionized electron wavepacket. Using an energy-resolved interferometric technique, we measure the spectral amplitude and phase of autoionized wavepackets emitted via the sp2+ and sp3+ resonances in helium. These measurements allow us to reconstruct the corresponding temporal profiles by Fourier transform. In addition, applying various time-frequency representations, we observe the build up of the wavepackets in the continuum, monitor the instantaneous frequencies emitted at any time and disentangle the dynamics of the direct and resonant ionization channels.


title: On the evaluation of singular invariants for canonical generators of certain genus one arithmetic groups

abstract: Let $N$ be a positive square-free integer such that the discrete group $\Gamma_{0}(N)^{+}$ has genus one. In a previous article, we constructed canonical generators $x_{N}$ and $y_{N}$ of the holomorphic function field associated to $\Gamma_{0}(N)^{+}$ as well as an algebraic equation $P_{N}(x_{N},y_{N}) = 0$ with integer coefficients satisfied by these generators. In the present paper, we study the singular moduli problem corresponding to $x_{N}$ and $y_{N}$, by which we mean the arithmetic nature of the numbers $x_{N}(\tau)$ and $y_{N}(\tau)$ for any CM point $\tau$ in the upper half plane $\mathbb{H}$. If $\tau$ is any CM point which is not equivalent to an elliptic point of $\Gamma_{0}(N)^{+}$, we prove that the complex numbers $x_{N}(\tau)$ and $y_{N}(\tau)$ are algebraic integers. Going further, we characterize the algebraic nature of $x_{N}(\tau)$ as the generator of a certain ring class field of $\mathbb{Q}(\tau)$ of prescribed order and discriminant depending on properties of $\tau$ and level $N$. The theoretical considerations are supplemented by computational examples. As a result, several explicit evaluations are given for various $N$ and $\tau$, and further arithmetic consequences of our analysis are presented. In one example, we explicitly construct a set of minimal polynomials for the Hilbert class field of $\mathbb{Q}(\sqrt{-74})$ whose coefficients are less than $2.2\times 10^{4}$, whereas the minimal polynomials obtained from the Hauptmodul of $\textrm{PSL}(2,\mathbb{Z})$ has coefficients as large as $6.6\times 10^{73}$.


title: Characterization of a RS-LiDAR for 3D Perception

abstract: High precision 3D LiDARs are still expensive and hard to acquire. This paper presents the characteristics of RS-LiDAR, a model of low-cost LiDAR with sufficient supplies, in comparison with VLP-16. The paper also provides a set of evaluations to analyze the characterizations and performances of LiDARs sensors. This work analyzes multiple properties, such as drift effects, distance effects, color effects and sensor orientation effects, in the context of 3D perception. By comparing with Velodyne LiDAR, we found RS-LiDAR as a cheaper and acquirable substitute of VLP-16 with similar efficiency.


title: Code Attention: Translating Code to Comments by Exploiting Domain Features

abstract: Appropriate comments of code snippets provide insight for code functionality, which are helpful for program comprehension. However, due to the great cost of authoring with the comments, many code projects do not contain adequate comments. Automatic comment generation techniques have been proposed to generate comments from pieces of code in order to alleviate the human efforts in annotating the code. Most existing approaches attempt to exploit certain correlations (usually manually given) between code and generated comments, which could be easily violated if the coding patterns change and hence the performance of comment generation declines. In this paper, we first build C2CGit, a large dataset from open projects in GitHub, which is more than 20$\times$ larger than existing datasets. Then we propose a new attention module called Code Attention to translate code to comments, which is able to utilize the domain features of code snippets, such as symbols and identifiers. We make ablation studies to determine effects of different parts in Code Attention. Experimental results demonstrate that the proposed module has better performance over existing approaches in both BLEU and METEOR.


title: OptLayer - Practical Constrained Optimization for Deep Reinforcement Learning in the Real World

abstract: While deep reinforcement learning techniques have recently produced considerable achievements on many decision-making problems, their use in robotics has largely been limited to simulated worlds or restricted motions, since unconstrained trial-and-error interactions in the real world can have undesirable consequences for the robot or its environment. To overcome such limitations, we propose a novel reinforcement learning architecture, OptLayer, that takes as inputs possibly unsafe actions predicted by a neural network and outputs the closest actions that satisfy chosen constraints. While learning control policies often requires carefully crafted rewards and penalties while exploring the range of possible actions, OptLayer ensures that only safe actions are actually executed and unsafe predictions are penalized during training. We demonstrate the effectiveness of our approach on robot reaching tasks, both simulated and in the real world.


title: Infinite variance $H$-sssi processes as limits of particle systems

abstract: We consider a particle system with weights and the scaling limits derived from its occupation time. We let the particles perform independent recurrent L\'evy motions and we assume that their initial positions and weights are given by a Poisson point process. In the limit we obtain a number of recently discovered stationary stable self-similar processes recently studied in [SAM1] and [SAM2]. We also observe very different limit processes depending on whether the function, whose occupation time is considered, integrates to zero or not.


title: Helicity-dependent all-optical domain wall motion in ferromagnetic thin films

abstract: Domain wall displacement in Co/Pt thin films induced by not only fs- but also ps-laser pulses is demonstrated using time-resolved magneto-optical Faraday imaging. We evidence multi-pulse helicity-dependent laser-induced domain wall motion in all-optical switchable Co/Pt multilayers with a laser energy below the switching threshold. Domain wall displacement of about 2 nm per 2- ps pulse is achieved. By investigating separately the effect of linear and circular polarization, we reveal that laser-induced domain wall motion results from a complex interplay between pinning, temperature gradient and helicity effect. Then, we explore the microscopic origin of the helicity effect acting on the domain wall. These experimental results enhance the understanding of the mechanism of all-optical switching in ultra-thin ferromagnetic films.


title: SwGridNet: A Deep Convolutional Neural Network based on Grid Topology for Image Classification

abstract: Deep convolutional neural networks (CNNs) achieve remarkable performance on image classification tasks. Recent studies, however, have demonstrated that generalization abilities are more important than the depth of neural networks for improving performance on image classification tasks. Herein, a new neural network called SwGridNet is proposed. A SwGridNet includes many convolutional processing units which connect mutually as a grid network where many processing paths exist between input and output. A SwGridNet has high generalization capability because the multipath architecture has the same effect of ensemble learning. As described in this paper, details of the SwGridNet network architecture are presented. Experimentally obtained results presented in this paper show that SwGridNets respectively achieve test error rates of 2.95% and 15.67% in a CIFAR-10 and CIFAR-100 classification tasks. The results indicate that the SwGridNet performance approximates that of state-of-the-art deep CNNs.


title: Asymptotic symmetries and geometry on the boundary in the first order formalism

abstract: Proper understanding of the geometry on the boundary of a spacetime is a critical step on the way to extending holography to spaces with non-AdS asymptotics. In general the boundary cannot be described in terms of the Riemannian geometry and the first order formalism is more appropriate as we show. We analyze the asymptotic symmetries in the first order formalism for large classes of theories on AdS, Lifshitz or flat space. In all cases the asymptotic symmetry algebra is realized on the first order variables as a gauged symmetry algebra. First order formalism geometrizes and simplifies the analysis. We apply our framework to the issue of scale versus conformal invariance in AdS/CFT and obtain new perspective on the structure of asymptotic expansions for AdS and flat spaces.


title: Hydrogen mean force and anharmonicity in polycrystalline and amorphous ice

abstract: The hydrogen mean force from experimental neutron Compton profiles is derived using deep inelastic neutron scattering on amorphous and polycrystalline ice. The formalism of mean force is extended to probe its sensitivity to anharmonicity in the hydrogen-nucleus effective potential. The shape of the mean force for amorphous and polycrystalline ice is primarily determined by the anisotropy of the underlying quasi-harmonic effective potential. The data from amorphous ice show an additional curvature reflecting the more pronounced anharmonicity of the effective potential with respect to that of ice Ih.


title: The Reidemeister spectra of low dimensional crystallographic groups

abstract: In this paper we study the number of twisted conjugacy classes (the Reidemeister number) for automorphisms of crystallographic groups. We present two main algorithms for crystallographic groups whose holonomy group has finite normaliser in $\operatorname{GL}_n(\mathbb{Z})$. The first algorithm calculates whether a group has the $R_\infty$-property; the second calculates the Reidemeister spectrum. We apply these algorithms to crystallographic groups up to dimension $6$.


title: Symmetry analysis of odd- and even-frequency superconducting gap symmetries for time-reversal symmetric interactions

abstract: Odd-frequency superconductivity describes a class of superconducting states where the superconducting gap is an odd function in relative time and Matsubara frequency. We present a group theoretical analysis based on the linearized gap equation in terms of Shubnikov groups of the second kind. By discussing systems with spin-orbit coupling and an interaction kernel which is symmetric under the reversal of relative time, we show that both even- and odd-frequency gaps are allowed to occur. Specific examples are discussed for the square lattice, the octahedral lattice, and the tetragonal lattice. For irreducible representations that are even under reversal of relative time the common combinations of $s$- and d-wave spin singlet and p-wave spin triplet gaps are revealed, irreducible representations that are odd under reversal of relative time give rise to $s$- and d-wave spin triplet and p-wave spin singlet gaps. Furthermore, we discuss the construction of a generalized Ginzburg-Landau theory in terms of the associated irreducible representations. The result complements the established classification of superconducting states of matter.


title: KiDS-450: Cosmological Constraints from Weak Lensing Peak Statistics-I: Inference from Analytical Prediction of High Signal-to-Noise Ratio Convergence Peaks

abstract: This paper is the first of a series of papers constraining cosmological parameters with weak lensing peak statistics using $\sim 450~\rm deg^2$ of imaging data from the Kilo Degree Survey (KiDS-450). We measure high signal-to-noise ratio (SNR: $\nu$) weak lensing convergence peaks in the range of $3<\nu<5$, and employ theoretical models to derive expected values. These models are validated using a suite of simulations. We take into account two major systematic effects, the boost factor and the effect of baryons on the mass-concentration relation of dark matter haloes. In addition, we investigate the impacts of other potential astrophysical systematics including the projection effects of large scale structures, intrinsic galaxy alignments, as well as residual measurement uncertainties in the shear and redshift calibration. Assuming a flat $\Lambda$CDM model, we find constraints for $S_{\rm 8}=\sigma_{\rm 8}(\Omega_{\rm m}/0.3)^{0.5}=0.746^{+0.046}_{-0.107}$ according to the degeneracy direction of the cosmic shear analysis and $\Sigma_{\rm 8}=\sigma_{\rm 8}(\Omega_{\rm m}/0.3)^{0.38}=0.696^{+0.048}_{-0.050}$ based on the derived degeneracy direction of our high-SNR peak statistics. The difference between the power index of $S_{\rm 8}$ and in $\Sigma_{\rm 8}$ indicates that combining the two probes has the potential to break the degeneracy in $\sigma_{\rm 8}$ and $\Omega_{\rm m}$. Our results are consistent with the cosmic shear tomographic correlation analysis of the same dataset and $\sim 2\sigma$ lower than the Planck 2016 results.


title: Quantum mechanics with orthogonal polynomials

abstract: We present a formulation of quantum mechanics based on orthogonal polynomials. The wavefunction is expanded over a complete set of square integrable basis in configuration space where the expansion coefficients are orthogonal polynomials in the energy. Information about the corresponding physical systems (both structural and dynamical) are derived from the properties of these polynomials. We demonstrate that an advantage of this formulation is that the class of exactly solvable non-relativistic quantum mechanical problems becomes larger than in the conventional formulation (see, for example, Table 1 in the text).


title: Effect of the diffusion parameters on the observed gamma-ray spectrum of sources and their contribution to the local all-electron spectrum: the EDGE code

abstract: The positron excess measured by PAMELA and AMS can only be explained if there is one or several sources injecting them. Moreover, at the highest energies, it requires the presence of nearby ($\sim$hundreds of parsecs) and middle age (maximum of $\sim$hundreds of kyr) sources. Pulsars, as factories of electrons and positrons, are one of the proposed candidates to explain the origin of this excess. To calculate the contribution of these sources to the electron and positron flux at the Earth, we developed EDGE (Electron Diffusion and Gamma rays to the Earth), a code to treat the propagation of electrons and compute their diffusion from a central source with a flexible injection spectrum. Using this code, we can derive the source's gamma-ray spectrum, spatial extension, the all-electron density in space, the electron and positron flux reaching the Earth and the positron fraction measured at the Earth. We present in this paper the foundations of the code and study how different parameters affect the gamma-ray spectrum of a source and the electron flux measured at the Earth. We also studied the effect of several approximations usually performed in these studies.


title: Annotation based automatic action processing

abstract: With a strong motivational background in search engine optimization the amount of structured data on the web is growing rapidly. The main search engine providers are promising great increase in visibility through annotation of the web page's content with the vocabulary of schema.org and thus providing it as structured data. But besides the usage by search engines the data can be used in various other ways, for example for automatic processing of annotated web services or actions. In this work we present an approach to consume and process schema.org annotated data on the web and give an idea how a best practice can look like.


title: Modeling of the parties' vote share distributions

abstract: Competition between varying ideas, people and institutions fuels the dynamics of socio-economic systems. Numerous analyses of the empirical data extracted from different financial markets have established a consistent set of stylized facts describing statistical signatures of the competition in the financial markets. Having an established and consistent set of stylized facts helps to set clear goals for theoretical models to achieve. Despite similar abundance of empirical analyses in sociophysics, there is no consistent set of stylized facts describing the opinion dynamics. In this contribution we consider the parties' vote share distributions observed during the Lithuanian parliamentary elections. We show that most of the time empirical vote share distributions could be well fitted by numerous different distributions. While discussing this peculiarity we provide arguments, including a simple agent-based model, on why the beta distribution could be the best choice to fit the parties' vote share distributions.


title: Antisymmetry of solutions for some weighted elliptic problems

abstract: This article concerns the antisymmetry, uniqueness, and monotonicity properties of solutions to some elliptic functionals involving weights and a double well potential. In the one-dimensional case, we introduce the continuous odd rearrangement of an increasing function and we show that it decreases the energy functional when the weights satisfy a certain convexity-type hypothesis. This leads to the antisymmetry or oddness of increasing solutions (and not only of minimizers). We also prove a uniqueness result (which leads to antisymmetry) where a convexity-type condition by Berestycki and Nirenberg on the weights is improved to a monotonicity condition. In addition, we provide with a large class of problems where antisymmetry does not hold. Finally, some rather partial extensions in higher dimensions are also given.


title: Symmetry-breaking dynamics of the finite-size Lipkin-Meshkov-Glick model near ground state

abstract: We study the dynamics of the Lipkin-Meshkov-Glick (LMG) model with finite number of spins. In the thermodynamic limit, the ground state of the LMG model with isotropic Hamiltonian in broken phase breaks to a mean-field ground state with a certain direction. However, when the spins number $N$ is finite, the exact ground state is always unique and is not given by a classical mean-field ground state. Here we prove that for $N$ is large but finite, through a tiny external perturbation, a localized state which is close to a mean-field ground state can be prepared, which mimics a spontaneous symmetry breaking (SSB). Besides, we find the localized in-plane spin polarization oscillates with two different frequencies $\sim O(1/N)$, and the lifetime of the localized state is long enough to exhibit this oscillation. We numerically test the analytical results and find that they agree with each other very well. Finally, we link the phenomena to quantum time crystals and quasicrystals.


title: Potentials and Implications of Dedicated Highway Lanes for Autonomous Vehicles

abstract: The introduction of autonomous vehicles (AVs) will have far-reaching effects on road traffic in cities and on highways.The implementation of automated highway system (AHS), possibly with a dedicated lane only for AVs, is believed to be a requirement to maximise the benefit from the advantages of AVs. We study the ramifications of an increasing percentage of AVs on the traffic system with and without the introduction of a dedicated AV lane on highways. We conduct an analytical evaluation of a simplified scenario and a macroscopic simulation of the city of Singapore under user equilibrium conditions with a realistic traffic demand. We present findings regarding average travel time, fuel consumption, throughput and road usage. Instead of only considering the highways, we also focus on the effects on the remaining road network. Our results show a reduction of average travel time and fuel consumption as a result of increasing the portion of AVs in the system. We show that the introduction of an AV lane is not beneficial in terms of average commute time. Examining the effects of the AV population only, however, the AV lane provides a considerable reduction of travel time (approx. 25%) at the price of delaying conventional vehicles (approx. 7%). Furthermore a notable shift of travel demand away from the highways towards major and small roads is noticed in early stages of AV penetration of the system. Finally, our findings show that after a certain threshold percentage of AVs the differences between AV and no AV lane scenarios become negligible.


title: Cohomogeneity-one-string integrability of spacetimes

abstract: We present a framework for reducing all possible cohomogeneity-one strings, i.e., strings with geometrical symmetry, in a given spacetime to mechanical systems, and for analyzing integrability of the systems. As applications, it is clarified whether the systems of cohomogeneity-one strings in $AdS_5$, $AdS_5 \times S^5$, and $AdS_5 \times T^{p,q}$ are integrable or not. This method may reveal a different type of hidden symmetry of spacetimes.


title: The $\omega$-Borel invariant for representations into $SL(n,\mathbb{C}_\omega)$

abstract: Let $\Gamma$ be the fundamental group of a complete hyperbolic $3$-manifold $M$ with toric cusps. We define the $\omega$-Borel invariant $\beta_n^\omega(\rho_\omega)$ associated to a representation $\rho_\omega: \Gamma \rightarrow SL(n,\mathbb{C}_\omega)$, where $\mathbb{C}_\omega$ is a field which can be constructed as a quotient of a suitable subset of $\mathbb{C}^\mathbb{N}$ with the data of a non-principal ultrafilter $\omega$ on $\mathbb{N}$ and a real divergent sequence $\lambda_l$ such that $\lambda_l \geq 1$. Since a sequence of $\omega$-bounded representations $\rho_l$ into $SL(n,\mathbb{C})$ determines a representation $\rho_\omega$ into $SL(n,\mathbb{C}_\omega)$, for $n=2$ we study the relation between the invariant $\beta^\omega_2(\rho_\omega)$ and the sequence of Borel invariants $\beta_2(\rho_l)$. We conclude by showing that if a sequence of representations $\rho_l:\Gamma \rightarrow SL(2,\mathbb{C})$ induces a representation $\rho_\omega:\Gamma \rightarrow SL(2,\mathbb{C}_\omega)$ which determines a reducible action on the asymptotic cone $C_\omega(\mathbb{H}^3,d/\lambda_l,O)$ with non-trivial length function, then it holds $\beta^\omega_2(\rho_\omega)=0$.


title: The continuum limit of Follow-the-Leader models - a short proof

abstract: We offer a simple and self-contained proof that the Follow-the-Leader model converges to the Lighthill-Whitham-Richards model for traffic flow.


title: Estimating the maximum possible earthquake magnitude using extreme value methodology: the Groningen case

abstract: The area-characteristic, maximum possible earthquake magnitude $T_M$ is required by the earthquake engineering community, disaster management agencies and the insurance industry. The Gutenberg-Richter law predicts that earthquake magnitudes $M$ follow a truncated exponential distribution. In the geophysical literature several estimation procedures were proposed, see for instance Kijko and Singh (Acta Geophys., 2011) and the references therein. Estimation of $T_M$ is of course an extreme value problem to which the classical methods for endpoint estimation could be applied. We argue that recent methods on truncated tails at high levels (Beirlant et al., Extremes, 2016; Electron. J. Stat., 2017) constitute a more appropriate setting for this estimation problem. We present upper confidence bounds to quantify uncertainty of the point estimates. We also compare methods from the extreme value and geophysical literature through simulations. Finally, the different methods are applied to the magnitude data for the earthquakes induced by gas extraction in the Groningen province of the Netherlands.


title: Random flights connecting Porous Medium and Euler-Poisson-Darboux equations

abstract: In this paper we consider the Porous Medium Equation and establish a relationship between its Kompanets-Zel'dovich-Barenblatt solution $u(\xd,t), \xd\in \mathbb R^d,t>0$ and random flights. The time-rescaled version of $u(\xd,t)$ is the fundamental solution of the Euler-Poisson-Darboux equation which governs the distribution of random flights performed by a particle whose displacements have a Dirichlet probability distribution and choosing directions uniformly on a $d$-dimensional sphere (see, e.g., \cite{dgo}). We consider the space-fractional version of the Euler-Poisson-Darboux equation and present the solution of the related Cauchy problem in terms of the probability distributions of random flights governed by the classical Euler-Poisson-Darboux equation. Furthermore, this research is also aimed at studying the relationship between the solutions of a fractional Porous Medium Equation and the fractional Euler-Poisson-Darboux equation. A considerable part of the paper is devoted to the analysis of the probabilistic tools of the solutions of the fractional equations. Also the extension to higher-order Euler-Poisson-Darboux equation is considered and the solutions interpreted as compositions of laws of pseudoprocesses.


title: On Equivalence of Known Families of APN Functions in Small Dimensions

abstract: In this extended abstract, we computationally check and list the CCZ-inequivalent APN functions from infinite families on $\mathbb{F}_2^n$ for n from 6 to 11. These functions are selected with simplest coefficients from CCZ-inequivalent classes. This work can simplify checking CCZ-equivalence between any APN function and infinite APN families.


title: Semantic Segmentation from Limited Training Data

abstract: We present our approach for robotic perception in cluttered scenes that led to winning the recent Amazon Robotics Challenge (ARC) 2017. Next to small objects with shiny and transparent surfaces, the biggest challenge of the 2017 competition was the introduction of unseen categories. In contrast to traditional approaches which require large collections of annotated data and many hours of training, the task here was to obtain a robust perception pipeline with only few minutes of data acquisition and training time. To that end, we present two strategies that we explored. One is a deep metric learning approach that works in three separate steps: semantic-agnostic boundary detection, patch classification and pixel-wise voting. The other is a fully-supervised semantic segmentation approach with efficient dataset collection. We conduct an extensive analysis of the two methods on our ARC 2017 dataset. Interestingly, only few examples of each class are sufficient to fine-tune even very deep convolutional neural networks for this specific task.


title: Making the leap to a software platform strategy: Issues and challenges

abstract: Context: While there are many success stories of achieving high reuse and improved quality using software platforms, there is a need to investigate the issues and challenges organizations face when transitioning to a software platform strategy. Objective: This case study provides a comprehensive taxonomy of the challenges faced when a medium-scale organization decided to adopt software platforms. The study also reveals how new trends in software engineering (i.e. agile methods, distributed development and flat management structures) interplayed with the chosen platform strategy. Method: We used an ethnographic approach to collect data by spending time at a medium-scale company in Scandinavia. We conducted 16 in-depth interviews with representatives of eight different teams, three of which were working on three separate platforms. The collected data was analyzed using Grounded Theory. Results: The findings identify four classes of challenges, namely: business challenges, organizational challenges, technical challenges, and people challenges. The article explains how these findings can be used to help researchers and practitioners identify practical solutions and required tool support. Conclusion: The organization's decision to adopt a software platform strategy introduced a number of challenges. These challenges need to be understood and addressed in order to reap the benefits of reuse. Researchers need to further investigate issues such as supportive organizational structures for platform development, the role of agile methods in software platforms, tool support for testing and continuous integration in the platform context, and reuse recommendation systems.


title: Massive Schwinger model at finite $\theta$

abstract: Using the approach developed in [V. Azcoiti, G. Di Carlo, A. Galante, V. Laliena, \textit{Phys. Lett.} \textbf{B563}, (2003) 117], we are able to reconstruct the behavior of the massive 1-flavor Schwinger model with a $\theta$ term and a quantized topological charge. We calculate the full dependence of the order parameter with $\theta$. Our results at $\theta = \pi$ are compatible with Coleman's conjecture on the phase diagram of this model.


title: On The Generalized Binomial Edge Ideals of Generalized Block Graphs

abstract: We compute the depth and (give bounds for) the regularity of generalized binomial edge ideals associated with generalized block graphs.


title: Impact of Rotation on Quark-Hadron Hybrid Stars

abstract: Many recent observations give restrictions to the equation of state (EOS) for high-density matter. Theoretical studies are needed to try to elucidate these EOSs at high density and/or temperature. With the many known rapidly rotating neutron stars, e.g., pulsars, several theoretical studies have tried to take into account the effects of rotation. In our study of these systems, we find that one of our EOSs is consistent with recent observation, whereas the other is inconsistent.


title: Phenomenology of Majorons

abstract: Majorons are the Goldstone bosons associated to lepton number and thus closely connected to Majorana neutrino masses. Couplings to charged fermions arise at one-loop level, including lepton-flavor-violating ones that lead to decays $\ell\to \ell' J$, whereas a coupling to photons is generated at two loops. The typically small couplings make massive majorons a prime candidate for long-lived dark matter. Its signature decay into two mono-energetic neutrinos is potentially detectable for majoron masses above MeV.


title: Confined Electron and Hole States in Semiconducting Carbon Nanotube sub-10 nm Artificial Quantum Dots

abstract: We show that quantum confinement in the valence and conduction bands of semiconducting single-walled carbon nanotubes can be engineered by means of artificial defects. This ability holds potential for designing future nanotube-based quantum devices such as electrically driven room-temperature single-photon sources emitting at telecom-wavelength. Using Ar$^{+}$ and N$^{+}$ ion-induced defects, intrananotube quantum dots with sub-10 nm lateral sizes are created, giving rise to quantized electronic bound states with level spacings of the order of 100 meV and larger. Using low-temperature scanning tunneling spectroscopy, we resolve the energy and real space properties of the quantized states and compare them with theoretical model calculations. By solving the Schr\"odinger equation over a one-dimensional piecewise constant potential model, the effects of inhomogeneous defect scattering strength as well as surface variations in the Au(111) substrate on the quantized states structure are remarkably well reproduced. Furthermore, using ab-initio calculations, we demonstrate that defect structures such as vacancies, di-vacancies and chemisorbed nitrogen ad-atoms constitute strong scattering centers able to form quantum dots with clear signatures of discrete bound states as observed experimentally. The ab-initio simulations also allowed to study the scattering strength profile as a function of energy for different defect combinations, supporting the potential of highly stable double vacancies for practical applications at room temperature.


title: Relativistic semiempirical-core-potential calculations in Ca$^+$, Sr$^+$, and Ba$^+$ ions on Lagrange meshes

abstract: Relativistic atomic structure calculations are carried out in alkaline-earth-metal ions using a semiempirical-core-potential approach. The systems are partitioned into frozen-core electrons and an active valence electron. The core orbitals are defined by a Dirac-Hartree-Fock calculation using the grasp2k package. The valence electron is described by a Dirac-like Hamiltonian involving a core-polarization potential to simulate the core-valence electron correlation. The associated equation is solved with the Lagrange-mesh method, which is an approximate variational approach having the form of a mesh calculation because of the use of a Gauss quadrature to calculate matrix elements. Properties involving the low-lying metastable $^2D_{3/2,5/2}$ states of Ca$^{+}$, Sr$^{+}$, and Ba$^{+}$ are studied, such as polarizabilities, one- and two-photon decay rates, and lifetimes. Good agreement is found with other theory and observation, which is promising for further applications in alkali-like systems.


title: Energy spread of ultracold electron bunches extracted from a laser cooled gas

abstract: Ultrashort and ultracold electron bunches created by near-threshold femtosecond photoionization of a laser-cooled gas hold great promise for single-shot ultrafast diffraction experiments. In previous publications the transverse beam quality and the bunch length have been determined. Here the longitudinal energy spread of the generated bunches is measured for the first time, using a specially developed Wien filter. The Wien filter has been calibrated by determining the average deflection of the electron bunch as a function of magnetic field. The measured relative energy spread $\frac{\sigma_{U}}{U} = 0.64 \pm 0.09\%$ agrees well with the theoretical model which states that it is governed by the width of the ionization laser and the acceleration length.


title: Epidemic prevalence information on social networks mediates emergent collective outcomes in voluntary vaccine schemes

abstract: The success of a vaccination program is crucially dependent on its adoption by a critical fraction of the population, as the resulting herd immunity prevents future outbreaks of an epidemic. However, the effectiveness of a campaign can engender its own undoing if individuals choose to not get vaccinated in the belief that they are protected by herd immunity. Although this may appear to be an optimal decision, based on a rational appraisal of cost and benefits to the individual, it exposes the population to subsequent outbreaks. We investigate if voluntary vaccination can emerge in a an integrated model of an epidemic spreading on a social network of rational agents that make informed decisions whether to be vaccinated. The information available to each agent includes the prevalence of the disease in their local network neighborhood and/or globally in the population, as well as the fraction of their neighbors that are protected against the disease. Crucially, the payoffs governing the decision of agents evolve with disease prevalence, resulting in the co-evolution of vaccine uptake behavior with the spread of the contagion. The collective behavior of the agents responding to local prevalence can lead to a significant reduction in the final epidemic size, particularly for less contagious diseases having low basic reproduction number $R_0$. Near the epidemic threshold ($R_0\approx1$) the use of local prevalence information can result in a dichotomous response in final vaccine coverage. The implications of our results suggest the nature of information used by individuals is a critical factor determining the success of public health intervention schemes that involve mass vaccination.


title: Global Riemann Solvers for Several $3\times3$ Systems of Conservation Laws with Degeneracies

abstract: We study several $3\times 3$ systems of conservation laws, arising in modeling of two phase flow with rough porous media and traffic flow with rough road condition. These systems share several features. The systems are of mixed type, with various degeneracies. Some families are linearly degenerate, while others are not genuinely nonlinear. Furthermore, along certain curves in the domain the eigenvalues and eigenvectors of different families coincide. Most interestingly, in some suitable Lagrangian coordinate the systems are partially decoupled, where some unknowns can be solved independently of the others. Finally, in special cases the systems reduce to some $2\times2$ models, which have been studied in the literature. Utilizing the insights gained from these features, we construct global Riemann solvers for all these models. Possible treatments on the Cauchy problems are also discussed.


title: Female Leadership in Software Projects: A Preliminary Result on Leadership Style and Project Context Factors

abstract: Women have been shown to be effective leaders in many team-based situations. However, it is also well-recognized that women are underrepresented in engineering and technology areas, which leads to wasted efforts and a lack of diversity in professional organizations. Although studies about gender and leadership are rich, research focusing on engineering-specific activities, are scarce. To react on this gap, we explored the experience of female leaders of software development projects and possible context factors that influence leadership effectiveness. The study was conducted as a longitudinal multiple case study. Data was collected from survey, interviews, observation and project reports. In this work, we reported some preliminary findings related to leadership style, team perception on leadership and team-task context factors. We found a strong correlation between perceived team leadership and task management. We also observed a potential association between human-oriented leading approach in low customer involvement scenarios and task-oriented leading approach in high customer involvement situations.


title: Enlarging Maurer-Cartan form via Kronecker product and construction of Coupled Integrable systems by Nilpotent, Hadamard, Idempotent and K-idempotent matrix

abstract: Coupled nonlinear integrable systems are generated from usual zero curvature equation. The relevant Maurer-Cartan forms are constructed by combining suitably chosen matrices (nilpotent, Hadamard, idempotent and k-idempotent) and Lie algebraic elements via Kronecker product. In each case a closure type property among the matrices chosen is found to be playing a key role to produce both the coupling and nonlinearity present in the system of equations obtained. The method is highly flexible and can be used to construct general systems containing 'p' number of equations. It is also shown that these new equations can be written in the Hamiltonian form (with a preassigned symplectic operator) with the trace identity introduced by Tu. Since the Lax operator is known one can obtain the hereditary operators signifying the complete integrability. Various properties of Kronecker product are found to be useful in our construction.


title: KiDS-450: Cosmological Constraints from Weak Lensing Peak Statistics - II: Inference from Shear Peaks using N-body Simulations

abstract: We study the statistics of peaks in a weak lensing reconstructed mass map of the first 450 square degrees of the Kilo Degree Survey. The map is computed with aperture masses directly applied to the shear field with an NFW-like compensated filter. We compare the peak statistics in the observations with that of simulations for various cosmologies to constrain the cosmological parameter $S_8 = \sigma_8 \sqrt{\Omega_{\rm m}/0.3}$, which probes the ($\Omega_{\rm m}, \sigma_8$) plane perpendicularly to its main degeneracy. We estimate $S_8=0.750\pm0.059$, using peaks in the signal-to-noise range $0 \leq {\rm S/N} \leq 4$, and accounting for various systematics, such as multiplicative shear bias, mean redshift bias, baryon feedback, intrinsic alignment, and shear-position coupling. These constraints are $\sim25\%$ tighter than the constraints from the high significance peaks alone ($3 \leq {\rm S/N} \leq 4$) which typically trace single-massive halos. This demonstrates the gain of information from low-S/N peaks. However we find that including ${\rm S/N} < 0$ peaks does not add further information. Our results are in good agreement with the tomographic shear two-point correlation function measurement in KiDS-450. Combining shear peaks with non-tomographic measurements of the shear two-point correlation functions yields a $\sim20\%$ improvement in the uncertainty on $S_8$ compared to the shear two-point correlation functions alone, highlighting the great potential of peaks as a cosmological probe.


title: Calvera: A low-mass strangeon star torqued by debris disk?

abstract: Calvera is a $59\,\mathrm{ms}$ isolated pulsar, being unique due to its non-detection in radio, optical and gamma-rays but the purely thermal emission in soft X-rays. It is suggested that Calvera could be an ordinary middle-aged pulsar with significant magnetospheric activity at a large distance. Alternatively, it is proposed in this paper that Calvera is a low-mass strangeon star with inactive magnetosphere (dead). In this scenario, we jointly fit the spectra obtained by the {\it XMM-Newton} Observatory and the {\it Chandra} X-ray Observatory with the strangeon star atmosphere model. The spectral model is successful in explaining the radiation properties of Calvera and X-ray Dim Isolated Neutron Stars, both showing similar observation features. Within the dead pulsar picture, Calvera might be of high temperature at $0.67\,\mathrm{keV}$, possessing a small stellar radius $R\la4\,\mathrm{km}$ and a presumably small magnetic field $B\la10^{11}\,\mathrm{G}$ and is probably braked by the fall-back disk accretion. Future advanced facilities may provide unique opportunities to know the real nature of Calvera.


title: $n$-tuple fixed point in $\phi$-ordered $G$-metric spaces

abstract: We use three seminal approaches in the study of fixed point theory, the so called $G$-metrics, multidimensional fixed points and partially ordered spaces. More precisely, we extend known results from the theory of quasi-pseudometric spaces to the $G$-metric space setting. In particular, we show the existence of $n$-tuple fixed points (resp. common $n$-tuple fixed point) for a non-decreasing mapping (resp. a pair of weakly related mappings) in a $\phi$-ordered $G$-metric space.


title: STAR: Spatio-Temporal Altimeter Waveform Retracking using Sparse Representation and Conditional Random Fields

abstract: Satellite radar altimetry is one of the most powerful techniques for measuring sea surface height variations, with applications ranging from operational oceanography to climate research. Over open oceans, altimeter return waveforms generally correspond to the Brown model, and by inversion, estimated shape parameters provide mean surface height and wind speed. However, in coastal areas or over inland waters, the waveform shape is often distorted by land influence, resulting in peaks or fast decaying trailing edges. As a result, derived sea surface heights are then less accurate and waveforms need to be reprocessed by sophisticated algorithms. To this end, this work suggests a novel Spatio-Temporal Altimetry Retracking (STAR) technique. We show that STAR enables the derivation of sea surface heights over the open ocean as well as over coastal regions of at least the same quality as compared to existing retracking methods, but for a larger number of cycles and thus retaining more useful data. Novel elements of our method are (a) integrating information from spatially and temporally neighboring waveforms through a conditional random field approach, (b) sub-waveform detection, where relevant sub-waveforms are separated from corrupted or non-relevant parts through a sparse representation approach, and (c) identifying the final best set of sea surfaces heights from multiple likely heights using Dijkstra's algorithm. We apply STAR to data from the Jason-1, Jason-2 and Envisat missions for study sites in the Gulf of Trieste, Italy and in the coastal region of the Ganges-Brahmaputra-Meghna estuary, Bangladesh. We compare to several established and recent retracking methods, as well as to tide gauge data. Our experiments suggest that the obtained sea surface heights are significantly less affected by outliers when compared to results obtained by other approaches.


title: New copulas based on general partitions-of-unity and their applications to risk management (part II)

abstract: We present a constructive and self-contained approach to data driven infinite partition-of-unity copulas that were recently introduced in the literature. In particular, we consider negative binomial and Poisson copulas and present a solution to the problem of fitting such copulas to highly asymmetric data in arbitrary dimensions.


title: Expanding, shearing and accelerating isotropic plane symmetric universe with conformal Kasner geometry

abstract: We construct a model of a universe filled with a perfect fluid with isotropic particle pressure. The anisotropic plane symmetric Kasner spacetime is used as a seed metric and through a conformal mapping a perfect fluid is generated. The model is inhomogeneous, irrotational, shearing and accelerating. For negative time, the universe is expanding while for positive time it is collapsing. With the aid of graphical three dimensional plots it is established that the density and pressure hypersurfaces are smooth and singularity free. Additionally the sound-speed index is computed and the fluid obeys causality criterion.


title: A conductive topological insulator with colossal spin Hall effect for ultra-low power spin-orbit-torque switching

abstract: Spin-orbit-torque (SOT) switching using the spin Hall effect (SHE) in heavy metals and topological insulators (TIs) has great potential for ultra-low power magnetoresistive random-access memory (MRAM). To be competitive with conventional spin-transfer-torque (STT) switching, a pure spin current source with large spin Hall angle (${\theta}_{SH}$ > 1) and high electrical conductivity (${\sigma} > 10^5 {\Omega}^{-1}m^{-1}$) is required. Here, we demonstrate such a pure spin current source: BiSb thin films with ${\sigma}{\sim}2.5*10^5 {\Omega}^{-1}m^{-1}$, ${\theta}_{SH}{\sim}52$, and spin Hall conductivity ${\sigma}_{SH}{\sim}1.3*10^7 {\hbar}/2e{\Omega}^{-1}m^{-1}$ at room temperature. We show that BiSb thin films can generate a colossal spin-orbit field of 2770 Oe/(MA/cm$^2$) and a critical switching current density as low as 1.5 MA/cm$^2$ in Bi$_{0.9}$Sb$_{0.1}$ / MnGa bi-layers. BiSb is the best candidate for the first industrial application of topological insulators.


title: On the Neumann Problem of Hardy-Sobolev critical equations with the multiple singularities

abstract: Let $N \geq 3$ and $\Omega \subset \mathbb{R}^N$ be $C^2$ bounded domain. We study the existence of positive solution $u \in H^1(\Omega)$ of \begin{align*} \left\{ \begin{array}{l} -\Delta u + \lambda u = \frac{|u|^{2^*(s)-2}u}{|x-x_1|^s} + \frac{|u|^{2^*(s)-2}u}{|x-x_2|^s}\text{ in }\Omega\\ \frac{\partial u}{\partial \nu} = 0 \text{ on }\partial\Omega, \end{array}\right. \end{align*} where $0 < s <2$, $2^*(s) = \frac{2(N-s)}{N-2}$ and $x_1, x_2 \in \overline{\Omega}$ with $x_1 \neq x_2$. First, we show the existence of positive solutions to the equation provided the positive $\lambda$ is small enough. In case that one of the singularities locates on the boundary and the mean curvature of the boundary at this singularity is positive, the existence of positive solutions is always obtained for any $\lambda > 0$. Furthermore, we extend the existence theory of solutions to the equations for the case of the multiple singularities with different exponents.


title: Superconducting single-photon detectors with saturated dependence of quantum efficiency vs. bias current

abstract: It was investigated the possibility of creating NbN superconducting single-photon detectors with saturated dependence of quantum efficiency versus normalized bias current. It was shown that the saturation increases for the detectors based on finer films with a lower value of Rs300/Rs20. The decreasing of Rs300/Rs20 related to increasing influence of quantum corrections to conductivity of superconductors and, in its turn, to decreasing electron diffusion coefficient. The best samples has constant value of system quantum effi-ciency 94% at Ib/Ic~0.8 and wavelength 1.31 mkm.


title: ($2k+1)^{th}$-order Fixed points in $G$-metric spaces

abstract: We establish three major fixed-point theorems for functions satisfying an odd power type contractive condition in G-metric spaces. We first consider the case of a single mapping, followed by that of a triplet of mappings and we conclude by the case of a family of mappings. The results we obtain in this article extend similar ones already present in the literature.


title: Towards Decentralised Resilient Community Cloud Infrastructures

abstract: Recent years have seen a trend towards decentralisation - from initiatives on decentralized web to decentralized network infrastructures (e.g community networks). In this position paper, we present an architectural vision for decentralising cloud service infrastructures. Our vision is on the notion of community cloud infrastructures on top of decentralised access infrastructures i.e. community networks, using resources pooled from the community. Our architectural vision takes into consideration some of the fundamental challenges of integrating the current state of the art virtualisation technologies such as Software Defined Networking (SDN) into community infrastructures which are highly unreliable. Our proposed design goal is to include lightweight virtualization and fault tolerance mechanisms into the architecture to ensure sufficient level of reliability to support critical applications.


title: Real-time 3D Shape Instantiation from Single Fluoroscopy Projection for Fenestrated Stent Graft Deployment

abstract: Robot-assisted deployment of fenestrated stent grafts in Fenestrated Endovascular Aortic Repair (FEVAR) requires accurate geometrical alignment. Currently, this process is guided by 2D fluoroscopy, which is uninformative and error prone. In this paper, a real-time framework is proposed to instantiate the 3D shape of a fenestrated stent graft based on only a single low-dose 2D fluoroscopic image. Firstly, the fenestrated stent graft was placed with markers. Secondly, the 3D pose of each stent segment was instantiated by the RPnP (Robust Perspective-n-Point) method. Thirdly, the 3D shape of the whole stent graft was instantiated via graft gap interpolation. Focal-Unet was proposed to segment the markers from 2D fluoroscopic images to achieve semi-automatic marker detection. The proposed framework was validated on five patient-specific 3D printed phantoms of aortic aneurysms and three stent grafts with new marker placements, showing an average distance error of 1-3mm and an average angle error of 4 degree.


title: $\eta$-metric structures

abstract: In this paper, we discuss recent results about generalized metric spaces and fixed point theory. We introduce the notion of $\eta$-cone metric spaces, give some topological properties and prove some fixed point theorems for contractive type maps on these spaces. In particular we show that theses $\eta$-cone metric spaces are natural generalizations of both cone metric spaces and metric type spaces.


title: Locality at the boundary implies gap in the bulk for 2D PEPS

abstract: Proving that the parent Hamiltonian of a Projected Entangled Pair State (PEPS) is gapped remains an important open problem. We take a step forward in solving this problem by showing two results: first, we identify an approximate factorization condition on the boundary state of rectangular subregions that is sufficient to prove that the parent Hamiltonian of the bulk 2D PEPS has a constant gap in the thermodynamic limit; second, we then show that Gibbs state of a local, finite-range Hamiltonian satisfy such condition. The proof applies to the case of injective and MPO-injective PEPS, employs the martingale method of nearly commuting projectors, and exploits a result of Araki on the robustness of one dimensional Gibbs states. Our result provides one of the first rigorous connections between boundary theories and dynamical properties in an interacting many body system.


title: Is uniform persisitence a robust property in almost periodic models? A well-behaved family: almost periodic Nicholson systems

abstract: Using techniques of non-autonomous dynamical systems, we completely characterize the persistence properties of an almost periodic Nicholson system in terms of some numerically computable exponents. Although similar results hold for a class of cooperative and sublinear models, in the general non-autonomous setting one has to consider persistence as a collective property of the family of systems over the hull: the reason is that uniform persistence is not a robust property in models given by almost periodic differential equations.


title: The Saturnian Kilometric Radiation before the Cassini Grand Finale

abstract: The Saturnian Kilometric Radiation (SKR) is radiated from the auroral regions surrounding the kronian magnetic poles, above the ionosphere up to a few planetary radii. It directly compares to the auroral radio emissions emanating from other planetary magnetospheres such as the Earth and the giant planets. Our knowledge on SKR relied on remote observations of Voyager (flybys in 1980 and 1981) and Ulysses (distant observations in the 1990s) until Cassini started to orbit Saturn in 2004. Since then, it has been routinely observed from a large set of remote locations, but also in situ for the first time at a planet other than Earth. This article reviews the state of the art of SKR average remote properties, the first insights brought by in situ passes within its source region, together with some remaining questions before the Cassini Grand Finale and its close-in polar orbits.


title: Kinetic temperature of massive star-forming molecular clumps measured with formaldehyde. III. The Orion Molecular Cloud 1

abstract: We mapped the kinetic temperature structure of the Orion molecular cloud 1 with para-H2CO(303-202, 322-221, and 321-220) using the APEX 12m telescope. This is compared with the temperatures derived from the ratio of the NH3(2,2)/(1,1) inversion lines and the dust emission. Using the RADEX non-LTE model, we derive the gas kinetic temperature modeling the measured averaged line ratios of para-H2CO 322-221/303-202 and 321-220/303-202. The gas kinetic temperatures derived from the para-H2CO line ratios are warm, ranging from 30 to >200 K with an average of 62 K at a spatial density of 10$^5$ cm$^{-3}$. These temperatures are higher than those obtained from NH3(2,2)/(1,1) and CH3CCH(6-5) in the OMC-1 region. The gas kinetic temperatures derived from para-H2CO agree with those obtained from warm dust components measured in the mid infrared (MIR), which indicates that the para-H2CO(3-2) ratios trace dense and warm gas. The cold dust components measured in the far infrared (FIR) are consistent with those measured with NH3(2,2)/(1,1) and the CH3CCH(6-5) line series. With dust at MIR wavelengths and para-H2CO(3-2) on one side and dust at FIR wavelengths, NH3(2,2)/(1,1), and CH3CCH(6-5) on the other, dust and gas temperatures appear to be equivalent in the dense gas of the OMC-1 region, but provide a bimodal distribution, one more directly related to star formation than the other. The non-thermal velocity dispersions of para-H2CO are positively correlated with the gas kinetic temperatures in regions of strong non-thermal motion (Mach number >2.5) of the OMC-1, implying that the higher temperature traced by para-H2CO is related to turbulence on a 0.06 pc scale. Combining the temperature measurements with para-H2CO and NH3(2,2)/(1,1) line ratios, we find direct evidence for the dense gas along the northern part of the OMC-1 10 km s$^{-1}$ filament heated by radiation from the central Orion nebula.


title: On the Recognizing Power of the Lambek Calculus with Brackets

abstract: Every language recognized by the Lambek calculus with brackets is context-free. This is shown by combining an observation by J\"ager with an entirely straightforward adaptation of the method Pentus used for the original Lambek calculus. The case of the variant of the calculus allowing sequents with empty antecedents is slightly more complicated, requiring a restricted use of the multiplicative unit.


title: Optimization of the Waiting Time for H-R Coordination

abstract: An analytical model of Human-Robot (H-R) coordination is presented for a Human-Robot system executing a collaborative task in which a high level of synchronization among the agents is desired. The influencing parameters and decision variables that affect the waiting time of the collaborating agents were analyzed. The performance of the model was evaluated based on the costs of the waiting times of each of the agents at the pre-defined spatial point of handover. The model was tested for two cases of dynamic H-R coordination scenarios. Results indicate that this analytical model can be used as a tool for designing an H-R system that optimizes the agent waiting time thereby increasing the joint-efficiency of the system and making coordination fluent and natural.


title: A Co(II)-based Molecular Magnet with a 6 T Coercive Field

abstract: Hard magnets with high coercivity, such as Nd2Fe14B and SmCo5 alloys, can maintain magnetisation under a high reverse external magnetic field and have therefore become irreplaceable parts in many practical applications. Molecular magnets are promising alternatives, owing to their precise and designable chemical structures, tuneable functionalities and controllable synthetic methods. Here, we demonstrate that an unusually large coercive field can be achieved in a single-chain magnet. Systematic characterisations, including magnetic susceptibility, heat capacity and neutron diffraction measurements, show that the observed giant coercive field originates from the spin dynamics along the one-dimensional chain of the compound because of the strong exchange coupling between Co(II) centres and radicals.


title: Lectures on shifted Poisson geometry

abstract: These are expanded notes from lectures given at the \'{E}tats de la Recherche workshop on "Derived algebraic geometry and interactions". These notes serve as an introduction to the emerging theory of Poisson structures on derived stacks.


title: Palladium gates for reproducible quantum dots in silicon

abstract: We replace the established aluminium gates for the formation of quantum dots in silicon with gates made from palladium. We study the morphology of both aluminium and palladium gates with transmission electron microscopy. The native aluminium oxide is found to be formed all around the aluminium gates, which could lead to the formation of unintentional dots. Therefore, we report on a novel fabrication route that replaces aluminium and its native oxide by palladium with atomic-layer-deposition-grown aluminium oxide. Using this approach, we show the formation of low-disorder gate-defined quantum dots, which are reproducibly fabricated. Furthermore, palladium enables us to further shrink the gate design, allowing us to perform electron transport measurements in the few-electron regime in devices comprising only two gate layers, a major technological advancement. It remains to be seen, whether the introduction of palladium gates can improve the excellent results on electron and nuclear spin qubits defined with an aluminium gate stack.


title: Experimenting with the p4est library for AMR simulations of two-phase flows

abstract: Many physical problems involve spatial and temporal inhomogeneities that require a very fine discretization in order to be accurately simulated. Using an adaptive mesh, a high level of resolution is used in the appropriate areas while keeping a coarse mesh elsewhere. This idea allows to save time and computations, but represents a challenge for distributed-memory environments. The MARS project (for Multiphase Adaptative Refinement Solver) intends to assess the parallel library p4est for adaptive mesh, in a case of a finite volume scheme applied to two-phase flows. Besides testing the library's performances, particularly for load balancing, its user-friendliness in use and implementation are also exhibited here. First promising 3D simulations are even presented.


title: Role of Hypothesis Testing in Quantum Information

abstract: Recently, it is well recognized that hypothesis testing has deep relations with other topics in quantum information theory as well as in classical information theory. These relations enable us to derive precise evaluation in the finite-length setting. However, such usefulness of hypothesis testing is not limited to information theoretical topics. For example, it can be used for verification of entangled state and quantum computer as well as guaranteeing the security of keys generated via quantum key distribution. In this talk, we overview these kinds of applications of hypothesis testing.


title: Evidence for disks at an early stage in class 0 protostars?

abstract: The formation epoch of protostellar disks is debated because of the competing roles of rotation, turbulence, and magnetic fields in the early stages of low-mass star formation. Magnetohydrodynamics simulations of collapsing cores predict that rotationally supported disks may form in strongly magnetized cores through ambipolar diffusion or misalignment between the rotation axis and the magnetic field orientation. Detailed studies of individual sources are needed to cross check the theoretical predictions. We present 0.06-0.1" resolution images at 350 GHz toward B1b-N and B1b-S, which are young class 0 protostars, possibly first hydrostatic cores. The images have been obtained with ALMA, and we compare these data with magnetohydrodynamics simulations of a collapsing turbulent and magnetized core. The submillimeter continuum emission is spatially resolved by ALMA. Compact structures with optically thick 350 GHz emission are detected toward both B1b-N and B1b-S, with 0.2 and 0.35" radii (46 and 80 au at the Perseus distance of 230 pc), within a more extended envelope. The flux ratio between the compact structure and the envelope is lower in B1b-N than in B1b-S, in agreement with its earlier evolutionary status. The size and orientation of the compact structure are consistent with 0.2" resolution 32 GHz observations obtained with the Very Large Array as a part of the VANDAM survey, suggesting that grains have grown through coagulation. The morphology, temperature, and densities of the compact structures are consistent with those of disks formed in numerical simulations of collapsing cores. Moreover, the properties of B1b-N are consistent with those of a very young protostar, possibly a first hydrostatic core. These observations provide support for the early formation of disks around low-mass protostars.


title: $ZZ \to \ell^{+}\ell^{-}\ell^{\prime +}\ell^{\prime -}$ cross-section measurements and search for anomalous triple gauge couplings in 13 TeV $pp$ collisions with the ATLAS detector

abstract: Measurements of $ZZ$ production in the $\ell^{+}\ell^{-}\ell^{\prime +}\ell^{\prime -}$ channel in proton-proton collisions at 13 TeV center-of-mass energy at the Large Hadron Collider are presented. The data correspond to 36.1 $\mathrm{fb}^{-1}$ of collisions collected by the ATLAS experiment in 2015 and 2016. Here $\ell$ and $\ell'$ stand for electrons or muons. Integrated and differential $ZZ \to \ell^{+}\ell^{-}\ell^{\prime +}\ell^{\prime -}$ cross sections with $Z \to \ell^+\ell^-$ candidate masses in the range of 66 GeV to 116 GeV are measured in a fiducial phase space corresponding to the detector acceptance and corrected for detector effects. The differential cross sections are presented in bins of twenty observables, including several that describe the jet activity. The integrated cross section is also extrapolated to a total phase space and to all Standard-Model decays of $Z$ bosons with mass between 66 GeV and 116 GeV, resulting in a value of $17.3 \pm 0.9$ [$\pm 0.6$ (stat.) $\pm 0.5$ (syst.) $\pm 0.6$ (lumi.)] pb. The measurements are found to be in good agreement with the Standard-Model predictions. A search for neutral triple gauge couplings is performed using the transverse momentum distribution of the leading $Z$-boson candidate. No evidence for such couplings is found and exclusion limits are set on their parameters.


title: Search for varying constants of nature from astronomical observation of molecules

abstract: The status of searches for possible variation in the constants of nature from astronomical observation of molecules is reviewed, focusing on the dimensionless constant representing the proton-electron mass ratio $\mu=m_p/m_e$. The optical detection of H$_2$ and CO molecules with large ground-based telescopes (as the ESO-VLT and the Keck telescopes), as well as the detection of H$_2$ with the Cosmic Origins Spectrograph aboard the Hubble Space Telescope is discussed in the context of varying constants, and in connection to different theoretical scenarios. Radio astronomy provides an alternative search strategy bearing the advantage that molecules as NH$_3$ (ammonia) and CH$_3$OH (methanol) can be used, which are much more sensitive to a varying $\mu$ than diatomic molecules. Current constraints are $|\Delta\mu/\mu| < 5 \times 10^{-6}$ for redshift $z=2.0-4.2$, corresponding to look-back times of 10-12.5 Gyrs, and $|\Delta\mu/\mu| < 1.5 \times 10^{-7}$ for $z=0.88$, corresponding to half the age of the Universe (both at 3$\sigma$ statistical significance). Existing bottlenecks and prospects for future improvement with novel instrumentation are discussed.


title: Multiparameter Quantum Metrology of Incoherent Point Sources: Towards Realistic Superresolution

abstract: We establish the multiparameter quantum Cram\'er-Rao bound for simultaneously estimating the centroid, the separation, and the relative intensities of two incoherent optical point sources using alinear imaging system. For equally bright sources, the Cram\'er-Rao bound is independent of the source separation, which confirms that the Rayleigh resolution limit is just an artifact of the conventional direct imaging and can be overcome with an adequate strategy. For the general case of unequally bright sources, the amount of information one can gain about the separation falls to zero, but we show that there is always a quadratic improvement in an optimal detection in comparison with the intensity measurements. This advantage can be of utmost important in realistic scenarios, such as observational astronomy.


title: The kilo Hertz quasi-periodic oscillations in neutron star low-mass X-ray binaries as tori oscillation modes. I

abstract: There have been many efforts to explain the dynamical mechanisms behind the phenomenology of quasi-periodic oscillations (QPOs) seen in the X-ray light curves of low-mass X-ray binaries. Up to now, none of the models can successfully explain all the frequencies observed in the power density spectrum of the light curve. Here we perform several hydrodynamic simulations of non-self-gravitating relativistic axisymmetric thick tori applied to the neutron star in the low-mass X-ray binary 4U 1636-53 and show how the observed oscillation modes triggered by different velocity perturbations give rise to a set of variability features similar to what we see in the observational X-ray data. When we match pairs of frequencies from the simulations of constant angular momentum ($l$) tori with the observed kilo Hertz QPOs, we find that certain combinations of frequencies lie on top of the observed relation, provided we assume a smaller mass for the neutron star than is generally assumed. However, constant-$l$ tori cannot match the entire range of frequencies observed for 4U 1636-53 due to physical constraints set by the torus size. We show that our model is consistent with the observed shift in QPO frequency that accompany state transitions of the accretion disk.


title: Anomalous force-velocity relation of driven inertial tracers in steady laminar flows

abstract: We study the nonlinear response to an external force of an inertial tracer advected by a two-dimensional incompressible laminar flow and subject to thermal noise. In addition to the driving external field $F$, the main parameters in the system are the noise amplitude $D_0$ and the characteristic Stokes time $\tau$ of the tracer. The relation velocity vs force shows interesting effects, such as negative differential mobility (NDM), namely a non-monotonic behavior of the tracer velocity as a function of the applied force, and absolute negative mobility (ANM), i.e. a net motion against the bias. By extensive numerical simulations, we investigate the phase chart in the parameter space of the model, $(\tau,D_0)$, identifying the regions where NDM, ANM and more common monotonic behaviors of the force-velocity curve are observed.


title: Compatible actions and non-abelian tensor products

abstract: For a pair of groups $G, H$ we study pairs of actions $G$ on $H$ and $H$ on $G$ such that these pairs are compatible and non-abelian tensor products $G \otimes H$ are defined.


title: Peeling or not peeling -- is that the question ?

abstract: The concepts of isolated self-gravitating system, asymptotic flatness and asymptotic simplicity are reconsidered, various related results are discussed and put into perspective, basic open questions are posed.


title: Barker's algorithm for Bayesian inference with intractable likelihoods

abstract: In this expository paper we abstract and describe a simple MCMC scheme for sampling from intractable target densities. The approach has been introduced in Gon\c{c}alves et al. (2017a) in the specific context of jump-diffusions, and is based on the Barker's algorithm paired with a simple Bernoulli factory type scheme, the so called 2-coin algorithm. In many settings it is an alternative to standard Metropolis-Hastings pseudo-marginal method for simulating from intractable target densities. Although Barker's is well-known to be slightly less efficient than Metropolis-Hastings, the key advantage of our approach is that it allows to implement the "marginal Barker's" instead of the extended state space pseudo-marginal Metropolis-Hastings, owing to the special form of the accept/reject probability. We shall illustrate our methodology in the context of Bayesian inference for discretely observed Wright-Fisher family of diffusions.


title: Calculation of the Decay Rate of Tachyonic Neutrinos against Charged-Lepton-Pair and Neutrino-Pair Cerenkov Radiation

abstract: We consider in detail the calculation of the decay rate of high-energy superluminal neutrinos against (charged) lepton pair Cerenkov radiation (LPCR), and neutrino pair Cerenkov radiation (NPCR), i.e., against the decay channels nu -> nu e+ e- and nu -> nu nubar nu. Under the hypothesis of a tachyonic nature of neutrinos, these decay channels put constraints on the lifetime of high-energy neutrinos for terrestrial experiments as well as on cosmic scales. For the oncoming neutrino, we use the Lorentz-covariant tachyonic relation E_nu = (p^2 - m_nu^2)^(1/2), where m_nu is the tachyonic mass parameter. We derive both threshold conditions as well as decay and energy loss rates, using the plane-wave fundamental bispinor solutions of the tachyonic Dirac equation. Various intricacies of rest frame versus lab frame calculations are highlighted. The results are compared to the observations of high-energy IceCube neutrinos of cosmological origin.


title: Polynomial Cases for the Vertex Coloring Problem

abstract: The computational complexity of the Vertex Coloring problem is known for all hereditary classes of graphs defined by forbidding two connected five-vertex induced subgraphs, except for seven cases. We prove the polynomial-time solvability of four of these problems: for ($P_5$, dart)-free graphs, ($P_5$, banner)-free graphs, ($P_5$, bull)-free graphs, and (fork, bull)-free graphs.


title: Long-range interactions of hydrogen atoms in excited states. III. nS-1S interactions for n >= 3

abstract: The long-range interaction of excited neutral atoms has a number of interesting and surprising properties, such as the prevalence of long-range, oscillatory tails, and the emergence of numerically large can der Waals C_6 coefficients. Furthermore, the energetically quasi-degenerate nP states require special attention and lead to mathematical subtleties. Here, we analyze the interaction of excited hydrogen atoms in nS states (3 <= n <= 12) with ground-state hydrogen atoms, and find that the C_6 coefficients roughly grow with the fourth power of the principal quantum number, and can reach values in excess of 240,000 (in atomic units) for states with n = 12. The nonretarded van der Waals result is relevant to the distance range R << a_0/alpha, where a_0 is the Bohr radius and alpha is the fine-structure constant. The Casimir-Polder range encompasses the interatomic distance range a_0/alpha << R << hbar c/L, where L is the Lamb shift energy. In this range, the contribution of quasi-degenerate excited nP states remains nonretarded and competes with the 1/R^2 and 1/R^4 tails of the pole terms which are generated by lower-lying mP states with 2 <= m <= n-1, due to virtual resonant emission. The dominant pole terms are also analyzed in the Lamb shift range R >> hbar c/L. The familiar 1/R^7 asymptotics from the usual Casimir-Polder theory is found to be completely irrelevant for the analysis of excited-state interactions. The calculations are carried out to high precision using computer algebra in order to handle a large number of terms in intermediate steps of the calculation, for highly excited states.


title: On Extracting Mechanical Properties from Nanoindentation at Temperatures up to 1000$^{\circ}$C

abstract: Alloyed MCrAlY bond coats, where M is usually cobalt and/or nickel, are essential parts of modern turbine blades, imparting environmental resistance while mediating thermal expansivity differences. Nanoindentation allows the determination of their properties without the complexities of traditional mechanical tests, but was not previously possible near turbine operating temperatures. Here, we determine the hardness and modulus of CMSX-4 and an Amdry-386 bond coat by nanoindentation up to 1000$^{\circ}$C. Both materials exhibit a constant hardness until 400$^{\circ}$C followed by considerable softening, which in CMSX-4 is attributed to the multiple slip systems operating underneath a Berkovich indenter. The creep behaviour has been investigated via the nanoindentation hold segments. Above 700$^{\circ}$C, the observed creep exponents match the temperature-dependence of literature values in CMSX-4. In Amdry-386, nanoindentation produces creep exponents very close to literature data, implying high-temperature nanoindentation may be powerful in characterising these coatings and providing inputs for material, model and process optimisations.


title: Core-biased random walks in complex networks

abstract: A simple strategy to explore a network is to use a random-walk where the walker jumps from one node to an adjacent node at random. It is known that biasing the random jump, the walker can explore every walk of the same length with equal probability, this is known as a Maximal Entropy Random Walk (MERW). To construct a MERW requires the knowledge of the largest eigenvalue and corresponding eigenvector of the adjacency matrix, this requires global knowledge of the network. When this global information is not available, it is possible to construct a biased random walk which approximates the MERW using only the degree of the nodes, a local property. Here we show that it is also possible to construct a good approximation to a MERW by biasing the random walk via the properties of the network's core, which is a mesoscale property of the network. We present some examples showing that the core-biased random walk outperforms the degree-biased random walks.


title: Testing first-order intensity model in non-homogeneous Poisson point processes with covariates

abstract: Modelling the first-order intensity function is one of the main aims in point process theory, and it has been approached so far from different perspectives. One appealing model describes the intensity as a function of a spatial covariate. In the recent literature, estimation theory and several applications have been developed assuming this model, but without formally checking this assumption. In this paper we address this problem for a non-homogeneous Poisson point process, by proposing a new test based on an $L^2$-distance. We also prove the asymptotic normality of the statistic and we suggest a bootstrap procedure to accomplish the calibration. Two applications with real data are presented and a simulation study to better understand the performance of our proposals is accomplished. Finally some possible extensions of the present work to non-Poisson processes and to a multi-dimensional covariate context are detailed.