title: Btrfly Net: Vertebrae Labelling with Energy-based Adversarial Learning of Local Spine Prior

abstract: Robust localisation and identification of vertebrae is essential for automated spine analysis. The contribution of this work to the task is two-fold: (1) Inspired by the human expert, we hypothesise that a sagittal and coronal reformation of the spine contain sufficient information for labelling the vertebrae. Thereby, we propose a butterfly-shaped network architecture (termed Btrfly Net) that efficiently combines the information across reformations. (2) Underpinning the Btrfly net, we present an energy-based adversarial training regime that encodes local spine structure as an anatomical prior into the network, thereby enabling it to achieve state-of-art performance in all standard metrics on a benchmark dataset of 302 scans without any post-processing during inference.


title: A Deterministic Distributed $2$-Approximation for Weighted Vertex Cover in $O(\log n\log\Delta / \log^2\log\Delta)$ Rounds

abstract: We present a deterministic distributed $2$-approximation algorithm for the Minimum Weight Vertex Cover problem in the CONGEST model whose round complexity is $O(\log n \log \Delta / \log^2 \log \Delta)$. This improves over the currently best known deterministic 2-approximation implied by [KVY94]. Our solution generalizes the $(2+\epsilon)$-approximation algorithm of [BCS17], improving the dependency on $\epsilon^{-1}$ from linear to logarithmic. In addition, for every $\epsilon=(\log \Delta)^{-c}$, where $c\geq 1$ is a constant, our algorithm computes a $(2+\epsilon)$-approximation in $O(\log \Delta / \log \log \Delta)$~rounds (which is asymptotically optimal).


title: Fluctuations of radiative heat exchange between two bodies

abstract: We present a theory to describe the fluctuations of nonequilibrium radiative heat transfer between two bodies both in far and near-field regime. As predicted by the blackbody theory, in far field, we show that the variance of radiative heat flux is of the same order of magnitude as its mean value. However, in near-field regime we demonstrate that the presence of surface polaritons makes this variance more than one order of magnitude larger than the mean flux. We further show that the correlation time of heat flux in this regime is comparable to the relaxation time of heat carriers in each medium. This theory could open the way to an experimental investigation of heat exchanges far from the thermal equilibrium condition.


title: Event-based Vision meets Deep Learning on Steering Prediction for Self-driving Cars

abstract: Event cameras are bio-inspired vision sensors that naturally capture the dynamics of a scene, filtering out redundant information. This paper presents a deep neural network approach that unlocks the potential of event cameras on a challenging motion-estimation task: prediction of a vehicle's steering angle. To make the best out of this sensor-algorithm combination, we adapt state-of-the-art convolutional architectures to the output of event sensors and extensively evaluate the performance of our approach on a publicly available large scale event-camera dataset (~1000 km). We present qualitative and quantitative explanations of why event cameras allow robust steering prediction even in cases where traditional cameras fail, e.g. challenging illumination conditions and fast motion. Finally, we demonstrate the advantages of leveraging transfer learning from traditional to event-based vision, and show that our approach outperforms state-of-the-art algorithms based on standard cameras.


title: Hobson's formula for Dunkl operators and its applications

abstract: We generalize classical Hobson's formula concerning partial derivatives of radial functions on a Euclidean space to a formula in the Dunkl analysis. As applications we give new simple proofs of known results involving Maxwell's representation of harmonic polynomials, Bochner-Hecke identity, Pizzetti formula for spherical mean, and Rodrigues formula for Hermite polynomials.


title: Fluid simulations of plasma turbulence at ion scales: comparison with Vlasov-Maxwell simulations

abstract: Comparisons are presented between a hybrid Vlasov-Maxwell (HVM) simulation of turbulence in a collisionless plasma and fluid reductions. These include Hall-magnetohydrodynamics (HMHD) and Landau fluid (LF) or FLR-Landau fluid (FLR-LF) models that retain pressure anisotropy and low-frequency kinetic effects such as Landau damping and, for the last model, finite Larmor radius (FLR) corrections. The problem is considered in two space dimensions, when initial conditions involve moderate-amplitude perturbations of a homogeneous equilibrium plasma subject to an out-of-plane magnetic field. LF turns out to provide an accurate description of the velocity field up to the ion Larmor radius scale, and even to smaller scales for the magnetic field. Compressibility nevertheless appears significantly larger at the sub-ion scales in the fluid models than in the HVM simulation. High frequency kinetic effects, such as cyclotron resonances, not retained by fluid descriptions, could be at the origin of this discrepancy. A significant temperature anisotropy is generated, with a bias towards the perpendicular component, the more intense fluctuations being rather spread out and located in a broad vicinity of current sheets. Non-gyrotropic pressure tensor components are measured and their fluctuations are shown to reach a significant fraction of the total pressure fluctuation, with intense regions closely correlated with current sheets.


title: Heat kernels of non-symmetric L\'evy-type operators

abstract: We construct the fundamental solution (the heat kernel) $p^{\kappa}$ to the equation $\partial_t=\mathcal{L}^{\kappa}$, where under certain assumptions the operator $\mathcal{L}^{\kappa}$ takes one of the following forms, \begin{align*} \mathcal{L}^{\kappa}f(x)&:= \int_{\mathbb{R}^d}( f(x+z)-f(x)- 1_{|z|<1} \left<z,\nabla f(x)\right>)\kappa(x,z)J(z)\, dz \,, \mathcal{L}^{\kappa}f(x)&:= \int_{\mathbb{R}^d}( f(x+z)-f(x))\kappa(x,z)J(z)\, dz\,, \mathcal{L}^{\kappa}f(x)&:= \frac1{2}\int_{\mathbb{R}^d}( f(x+z)+f(x-z)-2f(x))\kappa(x,z)J(z)\, dz\,. \end{align*} In particular, $J\colon \mathbb{R}^d \to [0,\infty]$ is a L\'evy density, i.e., $\int_{\mathbb{R}^d}(1\land |x|^2)J(x)dx<\infty$. The function $\kappa(x,z)$ is assumed to be Borel measurable on $\mathbb{R}^d\times \mathbb{R}^d$ satisfying $0<\kappa_0\leq \kappa(x,z)\leq \kappa_1$, and $|\kappa(x,z)-\kappa(y,z)|\leq \kappa_2|x-y|^{\beta}$ for some $\beta\in (0, 1)$. We prove the uniqueness, estimates, regularity and other qualitative properties of $p^{\kappa}$.


title: When Hypermutations and Ageing Enable Artificial Immune Systems to Outperform Evolutionary Algorithms

abstract: We present a time complexity analysis of the Opt-IA artificial immune system (AIS). We first highlight the power and limitations of its distinguishing operators (i.e., hypermutations with mutation potential and ageing) by analysing them in isolation. Recent work has shown that ageing combined with local mutations can help escape local optima on a dynamic optimisation benchmark function. We generalise this result by rigorously proving that, compared to evolutionary algorithms (EAs), ageing leads to impressive speed-ups on the standard Cliff benchmark function both when using local and global mutations. Unless the stop at first constructive mutation (FCM) mechanism is applied, we show that hypermutations require exponential expected runtime to optimise any function with a polynomial number of optima. If instead FCM is used, the expected runtime is at most a linear factor larger than the upper bound achieved for any random local search algorithm using the artificial fitness levels method. Nevertheless, we prove that algorithms using hypermutations can be considerably faster than EAs at escaping local optima. An analysis of the complete Opt-IA reveals that it is efficient on the previously considered functions and highlights problems where the use of the full algorithm is crucial. We complete the picture by presenting a class of functions for which Opt-IA fails with overwhelming probability while standard EAs are efficient.


title: Stabilizable Gaussian states

abstract: The unavoidable interaction of quantum systems with their environment usually results in the loss of desired quantum resources. Suitably chosen system Hamiltonians, however, can, to some extent, counteract such detrimental decay, giving rise to the set of stabilizable states. Here, we discuss the possibility to stabilize Gaussian states in continuous-variable systems. We identify necessary and sufficient conditions for such stabilizability and elaborate these on two benchmark examples, a single, damped mode and two locally damped modes. The obtained stabilizability conditions, which are formulated in terms of the states' covariance matrices, are, more generally, also applicable to non-Gaussian states, where they may similarly help to, e.g., discuss entanglement preservation and/or detection up to the second moments.


title: Deforming monomial space curves into set-theoretic complete intersection singularities

abstract: We deform monomial space curves in order to construct examples of set-theoretical complete intersection space curve singularities. As a by-product we describe an inverse to Herzog's construction of minimal generators of non-complete intersection numerical semigroups with three generators.


title: Rainbow triangles and the Caccetta-H\"aggkvist conjecture

abstract: A famous conjecture of Caccetta and H\"aggkvist is that in a digraph on $n$ vertices and minimum out-degree at least $\frac{n}{r}$ there is a directed cycle of length $r$ or less. We consider the following generalization: in an undirected graph on $n$ vertices, any collection of $n$ disjoint sets of edges, each of size at least $\frac{n}{r}$, has a rainbow cycle of length $r$ or less. We focus on the case $r=3$, and prove the existence of a rainbow triangle under somewhat stronger conditions than in the conjecture. For any fixed $k$ and large enough $n$, we determine the maximum number of edges in an $n$-vertex edge-coloured graph where all colour classes have size at most $k$ and there is no rainbow triangle. Moreover, we characterize the extremal graphs for this problem.


title: The Standard Model of Cosmology: A Skeptic's Guide

abstract: The status of the standard cosmological model, also known as "LCDM" is described. With some simple assumptions, this model fits a wide range of data, with just six (or seven) free parameters. One should be skeptical about this claim, since it implies that we now have an astonishingly good picture of the statistical properties of the large-scale Universe. However, the successes of the model cannot be denied, including more than 1000 sigma worth of detection of CMB anisotropy power. The model is older than most modern astrophysicists seem to appreciate, and has not fundamentally changed for more than a quarter of a century. Tensions and anomalies are often discussed, and while we should of course be open to the possibility of new physics, we should also be skeptical of the importance of 2-3 sigma differences between data sets until they become more significant. Still, today's SMC is surely not the full story and we should be looking for extensions or new ingredients to the model, guided throughout by a skeptical outlook.


title: On the local boundedness of generalized minimizers of variational problems with linear growth

abstract: We prove local boundedness of generalized solutions to a large class of variational problems of linear growth including boundary value problems of minimal surface type and models from image analysis related to the procedure of TV-regularization occurring in connection with the denoising of images, which might even be coupled with an inpainting process. Our main argument relies on a Moser-type iteration procedure.


title: Conditions for anti-Zeno effect observation in free-space atomic radiative decay

abstract: Frequent measurements can modify the decay of an unstable quantum state with respect to the free dynamics given by Fermi's golden rule. In a landmark article, Nature 405, 546 (2000), Kofman and Kurizki concluded that in quantum decay processes, acceleration of the decay by frequent measurements, called the quantum anti-Zeno effect (AZE), appears to be ubiquitous, while its counterpart, the quantum Zeno effect, is unattainable. However, up to now there have been no experimental observations of the AZE for atomic radiative decay (spontaneous emission) in free space. In this work, making use of analytical results available for hydrogen-like atoms, we find that in free space, only non-electric-dipolar transitions should present an observable AZE, revealing that this effect is consequently much less ubiquitous than first predicted. We then propose an experimental scheme for AZE observation, involving the electric quadrupole transition between D 5/2 and S 1/2 in the heaviest alkali-earth ions Ca + and Sr +. The proposed protocol is based on the STIRAP technique which acts like a dephasing quasi-measurement.


title: Dissipative solitons in forced cyclic and symmetric structures

abstract: The emergence of localised vibrations in cyclic and symmetric rotating structures, such as bladed disks of aircraft engines, has challenged engineers in the past few decades. In the linear regime, localised states may arise due to a lack of symmetry, as for example induced by inhomogeneities. However, when structures deviate from the linear behaviour, e.g. due to material nonlinearities, geometric nonlinearities like large deformations, or other nonlinear elements like joints or friction interfaces, localised states may arise even in perfectly symmetric structures. In this paper, a system consisting of coupled Duffing oscillators with linear viscous damping is subjected to external travelling wave forcing. The system may be considered a minimal model for bladed disks in turbomachinery operating in the nonlinear regime, where such excitation may arise due to imbalance or aerodynamic excitation. We demonstrate that near the resonance, in this non-conservative regime, localised vibration states bifurcate from the travelling waves. Complex bifurcation diagrams result, comprising stable and unstable dissipative solitons. The localised solutions can also be continued numerically to a conservative limit, where solitons bifurcate from the backbone curves of the travelling waves at finite amplitudes.


title: A Multi-Stage Multi-Task Neural Network for Aerial Scene Interpretation and Geolocalization

abstract: Semantic segmentation and vision-based geolocalization in aerial images are challenging tasks in computer vision. Due to the advent of deep convolutional nets and the availability of relatively low cost UAVs, they are currently generating a growing attention in the field. We propose a novel multi-task multi-stage neural network that is able to handle the two problems at the same time, in a single forward pass. The first stage of our network predicts pixelwise class labels, while the second stage provides a precise location using two branches. One branch uses a regression network, while the other is used to predict a location map trained as a segmentation task. From a structural point of view, our architecture uses encoder-decoder modules at each stage, having the same encoder structure re-used. Furthermore, its size is limited to be tractable on an embedded GPU. We achieve commercial GPS-level localization accuracy from satellite images with spatial resolution of 1 square meter per pixel in a city-wide area of interest. On the task of semantic segmentation, we obtain state-of-the-art results on two challenging datasets, the Inria Aerial Image Labeling dataset and Massachusetts Buildings.


title: Exceptional Jacobi polynomials

abstract: In this paper we present a systematic way to describe exceptional Jacobi polynomials via two partitions. We give the construction of these polynomials and restate the known aspects of these polynomials in terms of their partitions. The aim is to show that the use of partitions is an elegant way to label these polynomials. Moreover, we prove asymptotic results according to the regular and exceptional zeros of these polynomials.


title: Convex Regularization of Multi-Channel Images Based on Variants of the TV-Model

abstract: We discuss existence and regularity results for multi-channel images in the setting of isotropic and anisotropic variants of the TV-model.


title: Resistance matrices of graphs with matrix weights

abstract: The \emph{resistance matrix} of a simple connected graph $G$ is denoted by $R$, and is defined by $R =(r_{ij})$, where $r_{ij}$ is the resistance distance between the vertices $i$ and $j$ of $G$. In this paper, we consider the resistance matrix of weighted graph with edge weights being positive definite matrices of same size. We derive a formula for the determinant and the inverse of the resistance matrix. Then, we establish an interlacing inequality for the eigenvalues of resistance and Laplacian matrices. Using this interlacing inequality, we obtain the inertia of the resistance matrix.


title: Purity in compactly generated derivators and t-structures with Grothendieck hearts

abstract: We study t-structures with Grothendieck hearts on compactly generated triangulated categories $\mathcal{T}$ that are underlying categories of strong and stable derivators. This setting includes all algebraic compactly generated triangulated categories. We give an intrinsic characterisation of pure triangles and the definable subcategories of $\mathcal{T}$ in terms of directed homotopy colimits. For a left nondegenerate t-structure ${\bf t}=(\mathcal{U},\mathcal{V})$ on $\mathcal{T}$, we show that $\mathcal{V}$ is definable if and only if ${\bf t}$ is smashing and has a Grothendieck heart. Moreover, these conditions are equivalent to ${\bf t}$ being homotopically smashing and to ${\bf t}$ being cogenerated by a pure-injective partial cosilting object. Finally, we show that finiteness conditions on the heart of ${\bf t}$ are determined by purity conditions on the associated partial cosilting object.


title: Irreducible infeasible subsystems of semidefinite systems

abstract: Farkas' lemma for semidefinite programming characterizes semidefinite feasibility of linear matrix pencils in terms of an alternative spectrahedron. In the well-studied special case of linear programming, a theorem by Gleeson and Ryan states that the index sets of irreducible infeasible subsystems are exactly the supports of the vertices of the corresponding alternative polyhedron. We show that one direction of this theorem can be generalized to the nonlinear situation of extreme points of general spectrahedra. The reverse direction, however, is not true in general, which we show by means of counterexamples. On the positive side, an irreducible infeasible block subsystem is obtained whenever the extreme point has minimal block support. Motivated by results from sparse recovery, we provide a criterion for the uniqueness of solutions of semidefinite block systems.


title: Light clusters in warm stellar matter: explicit mass shifts and universal cluster-meson couplings

abstract: In-medium modifications of light cluster properties in warm stellar matter are studied within the relativistic mean-field approximation. In-medium effects are included by introducing an explicit binding energy shift analytically calculated in the Thomas-Fermi approximation, supplemented with a phenomenological modification of the cluster couplings to the $\sigma$ meson. A linear dependence on the $\sigma$ meson is assumed for the cluster mass, and the associated coupling constant is fixed imposing that the virial limit at low density is recovered. The resulting cluster abundances come out to be in reasonable agreement with constraints at higher density coming from heavy ion collision data. Some comparisons with microscopic calculations are also shown.


title: Controlling ion kinetic energy distributions in laser produced plasma sources by means of a picosecond pulse pair

abstract: The next generation of lithography machines uses extreme ultraviolet (EUV) light originating from laser-produced plasma (LPP) sources, where a small tin droplet is ionized by an intense laser pulse to emit the requested light at 13.5 nm. Numerous irradiation schemes have been explored to increase conversion efficiency (CE), out of which a double-pulse approach comprising a weak picosecond Nd:YAG pre-pulse followed by a powerful pulse is considered to be very promising [1]. Nevertheless, even for such CE-optimized schemes, ion debris ejected from the plasma with kinetic energies up to several keV remain a factor that hampers the maximum performance of LPP sources. In this letter we propose a novel pre-pulse scheme consisting of a picosecond pulse pair at 1064 nm, which decreases the amount of undesirable fast ions, avoids back-reflections to the lasers and enables one to tailor the target shape.


title: An Imprecise Probabilistic Estimator for the Transition Rate Matrix of a Continuous-Time Markov Chain

abstract: We consider the problem of estimating the transition rate matrix of a continuous-time Markov chain from a finite-duration realisation of this process. We approach this problem in an imprecise probabilistic framework, using a set of prior distributions on the unknown transition rate matrix. The resulting estimator is a set of transition rate matrices that, for reasons of conjugacy, is easy to find. To determine the hyperparameters for our set of priors, we reconsider the problem in discrete time, where we can use the well-known Imprecise Dirichlet Model. In particular, we show how the limit of the resulting discrete-time estimators is a continuous-time estimator. It corresponds to a specific choice of hyperparameters and has an exceptionally simple closed-form expression.


title: Multigoal-Oriented Error Estimates for Non-linear Problems

abstract: In this work, we further develop multigoal-oriented a posteriori error estimation with two objectives in mind. First, we formulate goal-oriented mesh adaptivity for multiple functionals of interest for nonlinear problems in which both the Partial Differential Equation (PDE) and the goal functionals may be nonlinear. Our method is based on a posteriori error estimates in which the adjoint problem is used and a partition-of-unity is employed for the error localization that allows us to formulate the error estimator in the weak form.We provide a careful derivation of the primal and adjoint parts of the error estimator. The second objective is concerned with balancing the nonlinear iteration error with the discretization error yielding adaptive stopping rules for Newton's method. Our techniques are substantiated with several numerical examples including scalar PDEs and PDE systems, geometric singularities, and both nonlinear PDEs and nonlinear goal functionals. In these tests, up to six goal functionals are simultaneously controlled.


title: Magnetic properties of isolated Re ion and Re-Re complex in ZnO studied by GGA +U approach

abstract: Magnetic properties of Re substituting for the divalent Zn ions and impurity pairs in wurtzite and zinc blende ZnO are analyzed by employing the Generalized Gradient Approximation with the +U corrections. The +U term applied to d(Zn), p(O), and d(Re) orbitals stabilizes spin polarization of Re. Re impurity introduces a defect level located in the band gap, and Re2+ generates the local spin 5/2 in both wurtzite and zinc blende structures. Magnetic coupling of Re-Re pairs as a function of distance between the defects, their relative orientation, and the charge state was calculated. All magnetic coupling between impurities is antiferromagnetic and due to an intermediate O atom via strong d(Re)-p(O) hybridization between Re and O states. The defect states and magnetic moments come from d(Re) with a contribution of p(O) orbitals of the O nearest neighbors of Re. The results show that the Re-doped wurtzite ZnO may be a new type of magneto-optical materials with a great promise.


title: Infrared spectroscopy of the merger candidate KIC 9832227

abstract: Context: It has been predicted that the object KIC 9832227 - a contact binary star - will undergo a merger in 2022.2+/-0.7. We describe the near infrared spectrum of this object as an impetus to obtain pre-merger data. Aims: We aim to characterise (i)~the nature of the individual components of the binary and (ii)~the likely circumbinary environment, so that the merger - if and when it occurs - can be interpreted in an informed manner. Methods: We use infrared spectroscopy in the wavelength range 0.7micron - 2.5microns, to which we fit model atmospheres to represent the individual stars. We use the binary ephemeris to determine the orbital phase at the time of observation. Results: We find that the infrared spectrum is best fitted by a single component having effective temperature 5920K, log[g]=4.1 and solar metallicity, consistent with the fact that the system was observed at conjunction. Conclusions: The strength of the infrared H lines is consistent with a high value of log[g], and the strength of the CaII triplet indicates the presence of a chromosphere, as might be expected from rapid stellar rotation. The HeI absorption we observe likely arises in He excited by coronal activity in a circumstellar envelope, suggesting that the weakness of the CaII triplet is also likely chromospheric in origin.


title: Witnessing genuine multi-photon indistinguishability

abstract: Bosonic interference is a fundamental physical phenomenon, and it is believed to lie at the heart of quantum computational advantage. It is thus necessary to develop practical tools to witness its presence, both for a reliable assessment of a quantum source and for fundamental investigations. Here we describe how linear interferometers can be used to unambiguously witness genuine n-boson indistinguishability. The amount of violation of the proposed witnesses bounds the degree of multi-boson indistinguishability, for which we also provide a novel intuitive model using set theory. We experimentally implement this test to bound the degree of 3-photon indistinguishability in states we prepare using parametric down-conversion. Our approach results in a convenient tool for practical photonic applications, and may inspire further fundamental advances based on the operational framework we adopt.


title: Generalized Burgers equation with rough transport noise

abstract: We introduce a new technique for studying well posedness and energy estimates for evolution equations with a rough transport term. The technique is based on finding suitable space-time weight functions for the equations at hand. As an example we study the well posedness of the generalized viscous Burgers equation perturbed by a rough path transport noise.


title: The peculiarities of near-cathode processes in air discharge at atmospheric pressure

abstract: Formation of near-cathode plasma at the instant of breakdown of the air gap was studied by the methods of picosecond laser probing. It was demonstrated that 1-2 ns after a sharp rise of the current through the discharge gap dense plasma clots with Ne~10^20 cm^-3 and dNe/dx ~ 10^24 cm^-4 are formed on the cathode surface. It was shown that these highly ionized regions lead to initiation and development of the spark channel originating from the cathode. We propose that the observed formations correspond to erosive plasma formed from the cathode material.


title: Sums of algebraic trace functions twisted by arithmetic functions

abstract: We obtain new bounds for short sums of isotypic trace functions associated to some sheaf modulo prime $p$ of bounded conductor, twisted by the Mobius function and also by the generalised divisor function. These trace functions include Kloosterman sums and several other classical number theoretic objects. Our bounds are nontrivial for intervals of length at least $p^{1/2+\varepsilon}$ with an arbitrary fixed $\varepsilon >0$, which is shorter than the length at least $p^{3/4+\varepsilon}$ in the case of the Mobius function and at least $p^{2/3+\varepsilon}$ in the case of the divisor function required in recent results of {\'E}.~Fouvry, E.~Kowalski and P.~Michel (2014) and E.~Kowalski, P. ~Michel and W.~Sawin (2018), respectively.


title: Abstract formulation of the Cole-Hopf transform

abstract: Operator representation of Cole-Hopf transform is obtained based on the logarithmic representation of infinitesimal generators. For this purpose the relativistic formulation of abstract evolution equation is introduced. Even independent of the spatial dimension, the Cole-Hopf transform is generalized to a transform between linear and nonlinear equations defined in Banach spaces. In conclusion a role of transform between the evolution operator and its infinitesimal generator is understood in the context of generating nonlinear semigroup.


title: Impenetrability in Floquet scattering in one dimension

abstract: We study the scattering off a time-periodic zero-range potential in one spatial dimension. We focus on the parameter regions that lead to zero-transmission probability (ZTP). For static potentials, ZTP leads to fermionization of distinguishable equal-mass particles. For time-periodic potentials, fermionization is prevented by the formation of evanescent waves.


title: Softening Theory of Matter Tuning Atomic Border to Make Soft Materials

abstract: Regulation of material softness has both theoretical and practical significances due to irreplaceable applications of soft matter in rather diverse areas. This article is dedicated to draft a theoretical category on interpreting the mechanisms lying behind all soft matters, which can be termed as Softening Theory. A technical strategy with generalized purpose was proposed for softening desired matter, i.e. the melting point of matter can be significantly reduced through tuning its interior boundaries in atomic level. This theory accords well with the classical nuclear droplet model that treats the nucleus as a droplet which had successfully explained many phenomena. It also explained the experimental fact that, the material's melting point is drastically reduced as the particles become smaller enough, in which situations effects of the atomic borders become much weaker. Along this direction, many phenomena existing in nature can be well understood. For example, if keeping in mind the fact that an atom consisting of nucleus and electronics can be regarded as fluid, all the matter consisted of atoms should maintain fluidic state in their macroscopic scale, according to the consistency between macro and micro worlds. However, many substances just cannot remain their original atomic fluidic behavior due to breaking of the consistency between macro and micro states. Based on the current softening theory, it is now easy to understand that the breaking of such consistency is just caused due to generated forces from the atomic interactions. To resolve such intrinsic confinement, a group of potential technical approaches can be developed to tune the atomic borders of the matter and thus make desired soft materials. This work provides a theoretical foundation to partially address the nature of the material which will aid to make future soft matters in the coming time.


title: On the Economic Significance of Ransomware Campaigns: A Bitcoin Transactions Perspective

abstract: Bitcoin cryptocurrency system enables users to transact securely and pseudo-anonymously by using an arbitrary number of aliases (Bitcoin addresses). Cybercriminals exploit these characteristics to commit immutable and presumably untraceable monetary fraud, especially via ransomware; a type of malware that encrypts files of the infected system and demands ransom for decryption. In this paper, we present our comprehensive study on all recent ransomware and report the economic impact of such ransomware from the Bitcoin payment perspective. We also present a lightweight framework to identify, collect, and analyze Bitcoin addresses managed by the same user or group of users (cybercriminals, in this case), which includes a novel approach for classifying a payment as ransom. To verify the correctness of our framework, we compared our findings on CryptoLocker ransomware with the results presented in the literature. Our results align with the results found in the previous works except for the final valuation in USD. The reason for this discrepancy is that we used the average Bitcoin price on the day of each ransom payment whereas the authors of the previous studies used the Bitcoin price on the day of their evaluation. Furthermore, for each investigated ransomware, we provide a holistic view of its genesis, development, the process of infection and execution, and characteristic of ransom demands. Finally, we also release our dataset that contains a detailed transaction history of all the Bitcoin addresses we identified for each ransomware.


title: Mobility cost and degenerated diffusion in kinesis models

abstract: A new critical effect is predicted in population dispersal. It is based on the fact that a trade-off between the advantages of mobility and the cost of mobility breaks with a significant deterioration in living conditions. The recently developed model of purposeful kinesis (Gorban \& \c{C}abuko\v{g}lu, Ecological Complexity 33, 2018) is based on the "let well enough alone" idea: mobility decreases for high reproduction coefficient and, therefore, animals stay longer in good conditions and leave quicker bad conditions. Mobility has a cost, which should be measured in the changes of the reproduction coefficient. Introduction of the cost of mobility into the reproduction coefficient leads to an equation for mobility. It can be solved in a closed form using Lambert $W$-function. Surprisingly, the "let well enough alone" models with the simple linear cost of mobility have an intrinsic phase transition: when conditions worsen then the mobility increases up to some critical value of the reproduction coefficient. For worse conditions, there is no solution for mobility. We interpret this critical effect as the complete loss of mobility that is degeneration of diffusion. Qualitatively, this means that mobility increases with worsening of conditions up to some limit, and after that, mobility is nullified.


title: Entropic Heisenberg limits and uncertainty relations from the Holevo information bound

abstract: Strong and general entropic and geometric Heisenberg limits are obtained, for estimates of multiparameter unitary displacements in quantum metrology, such as the estimation of a magnetic field from the induced rotation of a probe state in three dimensions. A key ingredient is the Holevo bound on the Shannon mutual information of a quantum communication channel. This leads to a Bayesian bound on performance, in terms of the prior distribution of the displacement and the asymmetry of the input probe state with respect to the displacement group. A geometric measure of performance related to entropy is proposed for general parameter estimation. It is also shown how strong entropic uncertainty relations for mutually unbiased observables, such as number and phase, position and momentum, energy and time, and orthogonal spin-1/2 directions, can be obtained from elementary applications of Holevo's bound. A geometric interpretation of results is emphasised, in terms of the 'volumes' of quantum and classical statistical ensembles.


title: Meridional Motions and Reynolds Stress Determined by Using Kanzelh\"{o}he Drawings and White Light Solar Images from 1964 to 2016

abstract: Sunspot position data obtained from Kanzelh\"{o}he Observatory for Solar and Environmental Research (KSO) sunspot drawings and white light images in the period 1964 to 2016 were used to calculate the rotational and meridional velocities of the solar plasma. Velocities were calculated from daily shifts of sunspot groups and an iterative process of calculation of the differential rotation profiles was used to discard outliers. We found a differential rotation profile and meridional motions in agreement with previous studies using sunspots as tracers and conclude that the quality of the KSO data is appropriate for analysis of solar velocity patterns. By analysing the correlation and covariance of meridional velocities and rotation rate residuals we found that the angular momentum is transported towards the solar equator. The magnitude and latitudinal dependence of the horizontal component of the Reynolds stress tensor calculated is sufficient to maintain the observed solar differential rotation profile. Therefore, our results confirm that the Reynolds stress is the dominant mechanism responsible for transport of angular momentum towards the solar equator.


title: On functors from category of Giry algebras to category of convex spaces

abstract: In The factorization of the Giry monad (arXiv:1707.00488v2) the author asserts that the category of convex spaces is equivalent to the category of Eilenberg-Moore algebras over the Giry monad. Some of the statements employed in the proof of this claim have been refuted in our earlier paper (arXiv:1803.07956). Building on the results of that paper we prove that no such equivalence exists and a parallel statement is proved for the category of super convex spaces.


title: Normalized Cut Loss for Weakly-supervised CNN Segmentation

abstract: Most recent semantic segmentation methods train deep convolutional neural networks with fully annotated masks requiring pixel-accuracy for good quality training. Common weakly-supervised approaches generate full masks from partial input (e.g. scribbles or seeds) using standard interactive segmentation methods as preprocessing. But, errors in such masks result in poorer training since standard loss functions (e.g. cross-entropy) do not distinguish seeds from potentially mislabeled other pixels. Inspired by the general ideas in semi-supervised learning, we address these problems via a new principled loss function evaluating network output with criteria standard in "shallow" segmentation, e.g. normalized cut. Unlike prior work, the cross entropy part of our loss evaluates only seeds where labels are known while normalized cut softly evaluates consistency of all pixels. We focus on normalized cut loss where dense Gaussian kernel is efficiently implemented in linear time by fast Bilateral filtering. Our normalized cut loss approach to segmentation brings the quality of weakly-supervised training significantly closer to fully supervised methods.


title: Maximal function characterizations for Hardy spaces on spaces of homogeneous type with finite measure and applications

abstract: We prove nontangential and radial maximal function characterizations for Hardy spaces associated to a non-negative self-adjoint operator satisfying Gaussian estimates on a space of homogeneous type with finite measure. This not only addresses an open point in the literature, but also gives a complete answer to the question posed by Coifman and Weiss in the case of finite measure. We then apply our results to give maximal function characterizations for Hardy spaces associated to second order elliptic operators with Neumann and Dirichlet boundary conditions, Schr\"odinger operators with Dirichlet boundary conditions, and Fourier--Bessel operators.


title: Sub-exponential convergence to equilibrium for Gaussian driven Stochastic Differential Equations with semi-contractive drift

abstract: The convergence to the stationary regime is studied for Stochastic Differential Equations driven by an additive Gaussian noise and evolving in a semi-contractive environment, i.e. when the drift is only contractive out of a compact set but does not have repulsive regions. In this setting, we develop a synchronous coupling strategy to obtain sub-exponential bounds on the rate of convergence to equilibrium in Wasserstein distance. Then by a coalescent coupling close to terminal time, we derive a similar bound in total variation distance.


title: The role of geography in the complex diffusion of innovations

abstract: The urban-rural divide is increasing in modern societies calling for geographical extensions of social influence modelling. Improved understanding of innovation diffusion across locations and through social connections can provide us with new insights into the spread of information, technological progress and economic development. In this work, we analyze the spatial adoption dynamics of iWiW, an Online Social Network (OSN) in Hungary and uncover empirical features about the spatial adoption in social networks. During its entire life cycle from 2002 to 2012, iWiW reached up to 300 million friendship ties of 3 million users. We find that the number of adopters as a function of town population follows a scaling law that reveals a strongly concentrated early adoption in large towns and a less concentrated late adoption. We also discover a strengthening distance decay of spread over the life-cycle indicating high fraction of distant diffusion in early stages but the dominance of local diffusion in late stages. The spreading process is modelled within the Bass diffusion framework that enables us to compare the differential equation version with an agent-based version of the model run on the empirical network. Although both models can capture the macro trend of adoption, they have limited capacity to describe the observed trends of urban scaling and distance decay. We find, however that incorporating adoption thresholds, defined by the fraction of social connections that adopt a technology before the individual adopts, improves the network model fit to the urban scaling of early adopters. Controlling for the threshold distribution enables us to eliminate the bias induced by local network structure on predicting local adoption peaks. Finally, we show that geographical features such as distance from the innovation origin and town size influence prediction of adoption peak at local scales.


title: Lightlike Hypersurfaces of Metallic Semi-Riemannian Manifolds

abstract: In our article, we introduce and study lightlike hypersurfaces of a metallic semi-Riemannian manifold. We examine some geometric properties of invariant lightlike hypersurfaces. We show that the induced structure on an invariant lightlike hypersurface is also metallic. We also define screen semi-invariant lightlike hypersurfaces, investigate integrability conditions for the distributions and give some examples.


title: Attack vulnerability of power systems under an equal load redistribution model

abstract: This paper studies the vulnerability of flow networks against adversarial attacks. In particular, consider a power system (or, any system carrying a physical flow) consisting of $N$ transmission lines with initial loads $L_1, \ldots , L_N$ and capacities $C_1, \ldots, C_N$, respectively; the capacity $C_i$ defines the maximum flow allowed on line $i$. Under an equal load redistribution model, where load of failed lines is redistributed equally among all remaining lines, we study the {\em optimization} problem of finding the best $k$ lines to attack so as to minimize the number of {\em alive} lines at the steady-state (i.e., when cascades stop). This is done to reveal the worst-case attack vulnerability of the system as well as to reveal its most vulnerable lines. We derive optimal attack strategies in several special cases of load-capacity distributions that are practically relevant. We then consider a modified optimization problem where the adversary is also constrained by the {\em total} load (in addition to the number) of the initial attack set, and prove that this problem is NP-Hard. Finally, we develop heuristic algorithms for selecting the attack set for both the original and modified problems. Through extensive simulations, we show that these heuristics outperform benchmark algorithms under a wide range of settings.


title: Frequency-dependent substrate screening of excitons in atomically thin transition metal dichalcogenide semiconductors

abstract: Atomically thin layers of transition metal dichalcogenides (TMDCs) exhibit exceptionally strong Coulomb interaction between charge carriers due to the two-dimensional carrier confinement in connection with weak dielectric screening. The van der Waals nature of interlayer coupling makes it easy to integrate TMDC layers into heterostructures with different dielectric or metallic substrates. This allows to tailor electronic and optical properties of these materials, as Coulomb interaction inside atomically thin layers is very susceptible to screening by the environment. Here we theoretically investigate dynamical screening effects in TMDCs due to bulk substrates doped with carriers over a large density range, thereby offering three-dimensional plasmons as tunable degree of freedom. We report a wide compensation of renormalization effects leading to a spectrally more stable exciton than predicted for static substrate screening, even if plasmons and excitons are in resonance. We also find a nontrivial dependence of the single-particle band gap on substrate doping density due to dynamical screening. Our investigation provides microscopic insight into the mechanisms that allow for manipulations of TMDC excitons by means of arbitrary plasmonic environments on the nanoscale.


title: 0-Pierced Triangles within a Poisson Overlay

abstract: Let the Euclidean plane be simultaneously and independently endowed with a Poisson point process and a Poisson line process, each of unit intensity. Consider a triangle T whose vertices all belong to the point process. The triangle is 0-pierced if no member of the line process intersects any side of T. Our starting point is Ambartzumian's 1982 joint density for angles of T; our exposition is elementary and raises several unanswered questions.


title: Modelling the molecular composition and nuclear-spin chemistry of collapsing prestellar sources

abstract: We study the gravitational collapse of prestellar sources and the associated evolution of their chemical composition. We use the University of Grenoble Alpes Astrochemical Network (UGAN), which includes reactions involving the different nuclear--spin states of H2, H3+, and of the hydrides of carbon, nitrogen, oxygen, and sulfur, for reactions involving up to seven protons. In addition, species-to-species rate coefficients are provided for the ortho/para interconversion of the H3+ + H2 system and isotopic variants. The composition of the medium is followed from an initial steady state through the early phase of isothermal gravitational collapse. Both the freeze--out of the molecules on to grains and the coagulation of the grains were incorporated in the model. The predicted abundances and column densities of the spin isomers of ammonia and its deuterated forms are compared with those measured recently towards the prestellar cores H-MM1, L16293E, and Barnard B1. We find that gas--phase processes alone account satisfactorily for the observations, without recourse to grain-surface reactions. In particular, our model reproduces both the isotopologue abundance ratios and the ortho:para ratios of NH2D and NHD2 within observational uncertainties. More accurate observations are necessary to distinguish between full scrambling processes---as assumed in our gas-phase network---and direct nucleus- or atom-exchange reactions.


title: Transversal Lightlike Submanifolds of Metallic Semi-Riemannian Manifolds

abstract: The Metallic Ratio is fascinating topic that continually generated news ideas. A Riemannian manifold endowed with a Metallic structure will be called a Metallic Riemannian manifold. The main purpose of the present paper is to study the geometry of transversal lightlike submanifolds and radical transversal lightlike submanifolds and of Metallic Semi-Riemannian manifolds. We investigate the geometry of distributions and obtain necessary and sufficient conditions for the induced connection on these manifolds to be metric connection. We also obtain characterization of transversal lightlike submanifolds of Metallic semi-Riemannian manifolds. Finally, we give an example.


title: Characterization of a subsample of the Planck SZ source cluster catalogues using optical SDSS DR12 data

abstract: The Planck catalogues of SZ sources, PSZ1 and PSZ2, are the largest catalogues of galaxy clusters selected through their SZ signature in the full sky. In 2013, we started a long-term observational program at Canary Island observatories with the aim of validating about 500 unconfirmed SZ sources. In this work we present results of the initial pre-screening of possible cluster counterparts using photometric and spectroscopic data of the Sloan Digital Sky Survey DR12. Our main aim is to identify previously unconfirmed PSZ2 cluster candidates and to contribute in determination of the actual purity and completeness of Planck SZ source sample. Using the latest version of the PSZ2 catalogue, we select all sources overlapping with the SDSS DR12 footprint and without redshift information. We validate these cluster fields following optical criteria (mainly distance with respect to the Planck pointing, magnitude of the brightest cluster galaxy and cluster richness) and combining them with the profiles of the Planck Compton y-maps. Together, this procedure allows for a more robust identification of optical counterparts compared to simply cross-matching with existing SDSS cluster catalogues that have been constructed from earlier SDSS Data Releases. The sample contains new redshifts for 37 Planck galaxy clusters that were not included in the original release of PSZ2 Planck catalogue. We detect three cases as possible multiple counterparts. We show that a combination of all available information (optical images and profile of SZ signal) can provide correct associations between the observed Planck SZ source and the optically identified cluster. We also show that Planck SZ detection is very sensitive even to high-z (z>0.5) clusters. In addition, we also present updated spectroscopic information for 34 Planck PSZ1 sources (33 previously photometrically confirmed and 1 new identification).


title: Binary Signaling under Subjective Priors and Costs as a Game

abstract: Many decentralized and networked control problems involve decision makers which have either misaligned criteria or subjective priors. In the context of such a setup, in this paper we consider binary signaling problems in which the decision makers (the transmitter and the receiver) have subjective priors and/or misaligned objective functions. Depending on the commitment nature of the transmitter to his policies, we formulate the binary signaling problem as a Bayesian game under either Nash or Stackelberg equilibrium concepts and establish equilibrium solutions and their properties. In addition, the effects of subjective priors and costs on Nash and Stackelberg equilibria are analyzed. It is shown that there can be informative or non-informative equilibria in the binary signaling game under the Stackelberg assumption, but there always exists an equilibrium. However, apart from the informative and non-informative equilibria cases, under certain conditions, there does not exist a Nash equilibrium when the receiver is restricted to use deterministic policies. For the corresponding team setup, however, an equilibrium typically always exists and is always informative. Furthermore, we investigate the effects of small perturbations in priors and costs on equilibrium values around the team setup (with identical costs and priors), and show that the Stackelberg equilibrium behavior is not robust to small perturbations whereas the Nash equilibrium is.


title: On approximate diagonalization of third order symmetric tensors by orthogonal transformations

abstract: In this paper, we study the approximate orthogonal diagonalization problem of third order symmetric tensors. We define several classes of approximately diagonal tensors, including the ones corresponding to the stationary points of this problem. We study the relationships between these classes, and other well-known objects, such as tensor Z-eigenvalue and Z-eigenvector. We also prove results on convergence of the cyclic Jacobi (or Jacobi CoM2) algorithm.


title: Distributed interpolatory algorithms for set membership estimation

abstract: This work addresses the distributed estimation problem in a set membership framework. The agents of a network collect measurements which are affected by bounded errors, thus implying that the unknown parameters to be estimated belong to a suitable feasible set. Two distributed algorithms are considered, based on projections of the estimate of each agent onto its local feasible set. The main contribution of the paper is to show that such algorithms are asymptotic interpolatory estimators, i.e. they converge to an element of the global feasible set, under the assumption that the feasible set associated to each measurement is convex. The proposed techniques are demonstrated on a distributed linear regression estimation problem.


title: Skew Braces and Hopf-Galois Structures of Heisenberg Type

abstract: We classify all skew braces of Heisenberg type for a prime number $ p>3 $. Furthermore, we determine the automorphism group of each one of these skew braces (as well as their socle and annihilator). Hence, by utilising a link between skew braces and Hopf-Galois theory, we can determine all Hopf-Galois structures of Heisenberg type on Galois field extensions of fields of degree $ p^{3} $.


title: Entanglement entropy at higher orders for the states of a = 3 {\theta} = 1 Lifshitz theory

abstract: We evaluate the entanglement entropy of strips for boosted D3-black-branes compactified along the lightcone coordinate. The bulk theory describes $3$-dimensional $a = 3$ ${\theta} = 1$, Lifshitz theory on the boundary. The area of small strips is evaluated perturbatively up to second order, where the leading term has a logarithmic dependence on strip width l, whereas entropy of the excitations is found to be proportional to $l^4$. The entanglement temperature falls off as $\frac{1}{l^3}$ on expected lines. The size of the subsystem has to be bigger than the typical Lifshitz scale in the theory. At second order, the redefinition of temperature(or strip width) is required so as to meaningfully describe the entropy corrections in the form of the first law of entanglement thermodynamics.


title: Spectral Triples on Thermodynamic Formalism and Dixmier Trace Representations of Gibbs: theory and examples

abstract: In this paper we study spectral triples and non-commutative expectations associated to expanding and weakly expanding maps. In order to do so, we generalize the Perron-Frobenius-Ruelle theorem and obtain a polynomial decay of the operator, which allows to prove differentiability of a dynamically defined $\zeta$-function at its critical parameter. We then generalize Sharp's construction of spectral triples to this setting and provide criteria when the associated spectral metric is non-degenerate and when the non-commutative expectation of the spectral triple is colinear to the integration with respect to the associated equilibrium state from thermodynamic formalism. Due to our general setting, we are able to simultaneously analyse expanding maps on manifolds or connected fractals, subshifts of finite type as well as the Dyson model from statistical physics, which underlines the unifying character of noncommutative geometry. Furthermore, we derive an explicit representation of the $\zeta$-function associated to a particular class of pathological continuous potentials, giving rise to examples where the representation as a non-commutative expectation via the associated zeta function holds, and others where it does not hold.

categories: math.DS cond-mat.stat-mech math-ph math.FA math.MP


title: Sets of integers determined by operator-theoretical properties: Jamison and Kazhdan sets in the group $\mathbb{Z}$

abstract: The aim of this partly expository paper is to present and discuss two classes of sets of integers (Jamison and Kazhdan sets) whose definition and/or properties are determined or inspired by operator-theoretical properties. Jamison sets first appeared in the study of the relationship between the growth of the sequence of norms of iterates of a bounded linear operator on a separable Banach space and the size of its unimodular point spectrum. Kazhdan subsets of $\mathbb{Z}$ are particular cases of Kazhdan sets in general topological groups, which are especially important as they appear in the definition of Property (T). This paper is also intended as a companion to the authors' paper [C.Badea, S.Grivaux, Kazhdan sets in groups and equidistribution properties, \emph{J. Funct. Anal.} \textbf{273} (2017), p. 1931 -- 1969], which undertakes a study of Kazhdan subsets of some classical groups without Property (T). We present here in detail the case of the group $\mathbb{Z}$, which is one of the most natural examples of groups without Property (T), and which may be useful to build an intuition of some of the main results of [C.Badea, S.Grivaux, Kazhdan sets in groups and equidistribution properties, op. cit.]. Also, the proofs in the case of the group $\mathbb{Z}$ rely solely on tools from basic operator theory and harmonic analysis. Some crucial links between Jamison and Kazhdan sets in $\mathbb{Z}$ are exhibited, and many examples are given.


title: Cavity-waveguide interplay in lossy resonators and its role in optimal single-photon sources

abstract: Interfacing solid-state emitters with photonic structures is a key strategy for developing highly efficient photonic quantum technologies. Such structures are often organised into two distinct categories: nanocavities and waveguides. However, any realistic nanocavity structure simultaneously has characteristics of both a cavity and waveguide, which is particularly pronounced when the cavity is constructed using low-reflectivity mirrors in a waveguide structure with good transverse light confinement. In this regime, standard cavity quantum optics theory breaks down, as the waveguide character of the underlying dielectric is only weakly suppressed by the cavity mirrors. By consistently treating the photonic density of states of the structure, we provide a microscopic description of an emitter including the effects of phonon scattering over the full transition range from waveguide to cavity. This generalised theory lets us identify an optimal regime of operation for single-photon sources in optical nanostructures, where cavity and waveguide effects are concurrently exploited.


title: Bayesian model selection with fractional Brownian motion

abstract: We implement Bayesian model selection and parameter estimation for the case of fractional Brownian motion with measurement noise and a constant drift. The approach is tested on artificial trajectories and shown to make estimates that match well with the underlying true parameters, while for model selection the approach has a preference for simple models when the trajectories are finite. The approach is applied to observed trajectories of vesicles diffusing in Chinese hamster ovary cells. Here it is supplemented with a goodness-of-fit test, which is able to reveal statistical discrepancies between the observed trajectories and model predictions.


title: Losing Treewidth by Separating Subsets

abstract: We study the problem of deleting the smallest set $S$ of vertices (resp. edges) from a given graph $G$ such that the induced subgraph (resp. subgraph) $G \setminus S$ belongs to some class $\mathcal{H}$. We consider the case where graphs in $\mathcal{H}$ have treewidth bounded by $t$, and give a general framework to obtain approximation algorithms for both vertex and edge-deletion settings from approximation algorithms for certain natural graph partitioning problems called $k$-Subset Vertex Separator and $k$-Subset Edge Separator, respectively. For the vertex deletion setting, our framework combined with the current best result for $k$-Subset Vertex Separator, yields a significant improvement in the approximation ratios for basic problems such as $k$-Treewidth Vertex Deletion and Planar-$F$ Vertex Deletion. Our algorithms are simpler than previous works and give the first uniform approximation algorithms under the natural parameterization. For the edge deletion setting, we give improved approximation algorithms for $k$-Subset Edge Separator combining ideas from LP relaxations and important separators. We present their applications in bounded-degree graphs, and also give an APX-hardness result for the edge deletion problems.


title: A dynamic network model to measure exposure diversification in the Austrian interbank market

abstract: We propose a statistical model for weighted temporal networks capable of measuring the level of heterogeneity in a financial system. Our model focuses on the level of diversification of financial institutions; that is, whether they are more inclined to distribute their assets equally among partners, or if they rather concentrate their commitment towards a limited number of institutions. Crucially, a Markov property is introduced to capture time dependencies and to make our measures comparable across time. We apply the model on an original dataset of Austrian interbank exposures. The temporal span encompasses the onset and development of the financial crisis in 2008 as well as the beginnings of European sovereign debt crisis in 2011. Our analysis highlights an overall increasing trend for network homogeneity, whereby core banks have a tendency to distribute their market exposures more equally across their partners.


title: Optimal Rendezvous ${\mathcal L}$-Algorithms for Asynchronous Mobile Robots with External-Lights

abstract: We study the Rendezvous problem for 2 autonomous mobile robots in asynchronous settings with persistent memory called light. It is well known that Rendezvous is impossible in a basic model when robots have no lights, even if the system is semi-synchronous. On the other hand, Rendezvous is possible if robots have lights of various types with a constant number of colors. If robots can observe not only their own lights but also other robots' lights, their lights are called full-light. If robots can only observe the state of other robots' lights, the lights are called external-light. In this paper, we focus on robots with external-lights in asynchronous settings and a particular class of algorithms (called L-algorithms), where an L-algorithm computes a destination based only on the current colors of observable lights. When considering L-algorithms, Rendezvous can be solved by robots with full-lights and 3 colors in general asynchronous settings (called ASYNC) and the number of colors is optimal under these assumptions. In contrast, there exists no L-algorithms in ASYNC with external-lights regardless of the number of colors. In this paper, we consider a fairly large subclass of ASYNC in which Rendezvous can be solved by L-algorithms using external-lights with a finite number of colors, and we show that the algorithms are optimal in the number of colors they use.


title: Kazhdan constants, continuous probability measures with large Fourier coefficients and rigidity sequences

abstract: Exploiting a construction of rigidity sequences for weakly mixing dynamical systems by Fayad and Thouvenot, we show that for every integers $p_{1},\dots,p_{r}$ there exists a continuous probability measure $\mu $ on the unit circle $\mathbb{T}$ such that \[ \inf_{k_{1}\ge 0,\dots,k_{r}\ge 0}|\widehat{\mu }(p_{1}^{k_{1}}\dots p_{r}^{k_{r}})|>0. \] This results applies in particular to the Furstenberg set $F=\{2^{k}3^{k'}\,;\,k\ge 0,\ k'\ge 0\}$, and disproves a 1988 conjecture of Lyons inspired by Furstenberg's famous $\times 2$-$\times 3$ conjecture. We also estimate the modified Kazhdan constant of $F$ and obtain general results on rigidity sequences which allow us to retrieve essentially all known examples of such sequences.


title: The Perron solution for vector-valued equations

abstract: Given a continuous function on the boundary of a bounded open set in $\mathbb{R}^d$ there exists a unique bounded harmonic function, called the Perron solution, taking the prescribed boundary values at least at all regular points (in the sense of Wiener) of the boundary. We extend this result to vector-valued functions and consider several methods of constructing the Perron solution which are classical in the real-valued case. We also apply our results to solve elliptic and parabolic boundary value problems of vector-valued functions.


title: Design study and first performance simulation of the ELT/MICADO focal plane coronagraphs

abstract: In this paper, we present the design and the expected performance of the classical Lyot coronagraph for the high contrast imaging modes of the wide-field imager MICADO. MICADO is a near-IR camera for the Extremely Large Telescope (ELT, previously E-ELT), with wide-field, spectroscopic and coronagraphic capabilities. MICADO is one of the first-light instruments selected by the ESO. Optimized to work with a multi-conjugate adaptive optics corrections provided by the MOARY module, it will also come with a SCAO correction with a high-level, on-axis correction, making use of the M4 adaptive mirror of the telescope. After presenting the context of the high contrast imaging modes in MICADO, we describe the selection process for the focal plane masks and Lyot stop. We will also show results obtained in realistic conditions, taking into account AO residuals, atmospheric refraction, noise sources and simulating observations in angular differential imaging (ADI) mode. Based on SPHERE on-sky results, we will discuss the achievable gain in contrast and angular separation provided by MICADO over the current instruments on 10-m class telescopes, in particular for imaging young giant planets at very short separations around nearby stars as well as planets on wider orbits around more distant stars in young stellar associations.


title: Subsymmetric weak$^*$ Schauder bases and factorization of the identity

abstract: Let $X^*$ denote a Banach space with a subsymmetric weak$^*$ Schauder basis satisfying condition~\eqref{eq:condition-c}. We show that for any operator $T : X^*\to X^*$, either $T(X^*)$ or $(I-T)(X^*)$ contains a subspace that is isomorphic to $X^*$ and complemented in $X^*$. Moreover, we prove that $\ell^p(X^*)$, $1\leq p \leq \infty$ is primary.


title: Fine-grained Video Attractiveness Prediction Using Multimodal Deep Learning on a Large Real-world Dataset

abstract: Nowadays, billions of videos are online ready to be viewed and shared. Among an enormous volume of videos, some popular ones are widely viewed by online users while the majority attract little attention. Furthermore, within each video, different segments may attract significantly different numbers of views. This phenomenon leads to a challenging yet important problem, namely fine-grained video attractiveness prediction. However, one major obstacle for such a challenging problem is that no suitable benchmark dataset currently exists. To this end, we construct the first fine-grained video attractiveness dataset, which is collected from one of the most popular video websites in the world. In total, the constructed FVAD consists of 1,019 drama episodes with 780.6 hours covering different categories and a wide variety of video contents. Apart from the large amount of videos, hundreds of millions of user behaviors during watching videos are also included, such as "view counts", "fast-forward", "fast-rewind", and so on, where "view counts" reflects the video attractiveness while other engagements capture the interactions between the viewers and videos. First, we demonstrate that video attractiveness and different engagements present different relationships. Second, FVAD provides us an opportunity to study the fine-grained video attractiveness prediction problem. We design different sequential models to perform video attractiveness prediction by relying solely on video contents. The sequential models exploit the multimodal relationships between visual and audio components of the video contents at different levels. Experimental results demonstrate the effectiveness of our proposed sequential models with different visual and audio representations, the necessity of incorporating the two modalities, and the complementary behaviors of the sequential prediction models at different levels.


title: Integer partition manifolds and phonon damping in one dimension

abstract: We develop a quantum model based on the correspondence between energy distribution between harmonic oscillators and the partition of an integer number. A proper choice of the interaction Hamiltonian acting within this manifold of states allows us to examine both the quantum typicality and the non-exponential relaxation in the same system. A quantitative agreement between the field-theoretical calculations and the exact diagonalization of the Hamiltonian is demonstrated.

categories: cond-mat.quant-gas math-ph math.MP quant-ph


title: Experimentally Robust Self-testing for Bipartite and Tripartite Entangled States

abstract: Self-testing refers to a method with which a classical user can certify the state and measurements of quantum systems in a device-independent way. Especially, the self-testing of entangled states is of great importance in quantum information process. A comprehensible example is that violating the CHSH inequality maximally necessarily implies the bipartite shares a singlet. One essential question in self-testing is that, when one observes a non-maximum violation, how close is the tested state to the target state (which maximally violates certain Bell inequality)? The answer to this question describes the robustness of the used self-testing criterion, which is highly important in a practical sense. Recently, J. Kaniewski predicts two analytic self-testing bounds for bipartite and tripartite systems. In this work, we experimentally investigate these two bounds with high quality two-qubit and three-qubit entanglement sources. The results show that these bounds are valid for various of entangled states we prepared, and thus, we implement robust self-testing processes which improve the previous results significantly.


title: A peak in the critical current for quantum critical superconductors

abstract: Generally, studies of the critical current Ic are necessary if superconductors are to be of practical use because Ic sets the current limit below which there is a zero-resistance state. Here, we report a peak in the pressure dependence of the zero-field Ic, Ic(0), at a hidden quantum critical point (QCP), where a continuous antiferromagnetic transition temperature is suppressed by pressure toward 0 K in CeRhIn5 and 4.4% Sn-doped CeRhIn5. The Ic(0)s of these Ce-based compounds under pressure exhibit a universal temperature dependence, underlining that the peak in zero-field Ic(P) is determined predominantly by critical fluctuations associated with the hidden QCP. The dc conductivity is a minimum at the QCP, showing anti-correlation with Ic(0). These discoveries demonstrate that a quantum critical point hidden inside the superconducting phase in strongly correlated materials can be exposed by the zero-field Ic, therefore providing a direct link between a QCP and unconventional superconductivity.


title: Parametric Optimization Based MPC for Systems of Systems with Affine Coordination Constraints

abstract: A large-scale complex system comprising many, often spatially distributed, dynamical subsystems with partial autonomy and complex interactions are called system of systems. This paper describes an efficient algorithm for model predictive control of a class of system of systems for which the overall objective function is the sum of convex quadratic cost functions of (locally) constrained linear subsystems that are coupled through a set of (global) linear constraints on the subsystems coordination parameters. The proposed control algorithm is based on parametrization and splitting of the underlying optimization problem into one global coordination problem and a set of local optimization problems pertaining to individual subsystems. The local optimization problems are solved off-line, via parametric optimization, while the coordination problem is solved on-line. The properties of the local parametric solutions are utilized to solve the coordination problem very efficiently. In particular, it is shown that, for a fixed number of coupling constraints, the coordination problem can be solved with a linear-time algorithm in a finite number of iterations if all subsystems have one-dimensional coordination parameters.


title: Crystallisation Instability in Glassforming Mixtures

abstract: Crucial to gaining control over crystallisation in multicomponent materials or accurately modelling rheological behaviour of magma flows is to understand the mechanisms by which crystal nuclei form. The microscopic nature of such nuclei, however, makes this extremely hard in experiments, while computer simulations have hitherto been hampered by their short timescales and small system sizes due to limited computational power. Here we use highly-efficient GPU simulation techniques to access system sizes around 100 times larger than previous studies. This makes it possible to elucidate the nucleation mechanism in a well-studied binary glassformer. We discover that the supercooled liquid is inherently unstable for system sizes of 10,000 particles and larger. This effect is due to compositional fluctuations leading to regions comprised of large particles only which rapidly nucleate. We argue that this mechanism provides a minimum rate of crystallisation in mixtures in general, and use our results to stabilise a model binary mixture and predict glassforming ability for the CuZr metallic glassformer.


title: Mining User Behavioral Rules from Smartphone Data through Association Analysis

abstract: The increasing popularity of smart mobile phones and their powerful sensing capabilities have enabled the collection of rich contextual information and mobile phone usage records through the device logs. This paper formulates the problem of mining behavioral association rules of individual mobile phone users utilizing their smartphone data. Association rule learning is the most popular technique to discover rules utilizing large datasets. However, it is well-known that a large proportion of association rules generated are redundant. This redundant production makes not only the rule-set unnecessarily large but also makes the decision making process more complex and ineffective. In this paper, we propose an approach that effectively identifies the redundancy in associations and extracts a concise set of behavioral association rules that are non-redundant. The effectiveness of the proposed approach is examined by considering the real mobile phone datasets of individual users.


title: Splitting criteria for a definite 4-manifold with infinite cyclic fundamental group

abstract: Two criteria for a closed connected definite 4-manifold with infinite cyclic fundamental group to be TOP-split are given. One criterion extends a sufficient condition made in a previous paper. The result is equivalent to a purely algebraic result on the question asking when a positive definite Hermitian form over the ring of integral one-variable Laurent polynomials is represented by an integer matrix. As an application, an infinite family of orthogonally indecomposable unimodular odd definite symmetric $Z$-forms is produced.


title: Groebner bases of reaction networks with intermediate species

abstract: In this work we consider the computation of Groebner bases of the steady state ideal of reaction networks equipped with mass-action kinetics. Specifically, we focus on the role of intermediate species and the relation between the extended network (with intermediate species) and the core network (without intermediate species). We show that a Groebner basis of the steady state ideal of the core network always lifts to a Groebner basis of the steady state ideal of the extended network by means of linear algebra, with a suitable choice of monomial order. As illustrated with examples, this contributes to a substantial reduction of the computation time, due mainly to the reduction in the number of variables and polynomials. We further show that if the steady state ideal of the core network is binomial, then so is the case for the extended network, as long as an extra condition is fulfilled. For standard networks, this extra condition can be visually explored from the network structure alone.


title: Vanlearning: A Machine Learning SaaS Application for People Without Programming Backgrounds

abstract: Although we have tons of machine learning tools to analyze data, most of them require users have some programming backgrounds. Here we introduce a SaaS application which allows users analyze their data without any coding and even without any knowledge of machine learning. Users can upload, train, predict and download their data by simply clicks their mouses. Our system uses data pre-processor and validator to relieve the computational cost of our server. The simple architecture of Vanlearning helps developers can easily maintain and extend it.


title: Time, the arrow of time, and Quantum Mechanics

abstract: It is brought forward that viable theories of the physical world that have no variable at all that can play the role of time, do not exist; some notion of time is one of the very first ingredients a candidate theory should possess. Almost by definition, time has an arrow. In contrast, time reversibility, or even the possibility to run the equations of motion backwards in time, is not at all a primary requirement. This means that the direction of the arrow of time may well be uniquely defined in the theory, even locally. We explain these statements in terms of the author's favoured deterministic cellular automaton interpretation of quantum mechanics, also to be referred to as `vector space analysis', and expand on these ideas.


title: Derangement action digraphs and graphs

abstract: We study the family of \emph{derangement action digraphs}, which are a subfamily of the group action graphs introduced in [Fred Annexstein, Marc Baumslag, and Arnold L. Rosenberg, Group action graphs and parallel architectures, \emph{SIAM J. Comput.} 19 (1990), no. 3, 544--569]. For any non-empty set $X$ and a non-empty subset $S$ of $\Der(X)$, the set of derangments of $X$, we define the derangement action digraph $\rm\overrightarrow{DA}(X;S)$ to have vertex set $X$, and an arc from $x$ to $y$ if and only if $y=x^s$ for some $s\in S$. In common with Cayley graphs and digraphs, derangement action digraphs may be useful to model networks as the same routing and communication scheme can be implemented at each vertex. We determine necessary and sufficient conditions on $S$ under which $\rm\overrightarrow{DA}(X;S)$ may be viewed as a simple graph of valency $|S|$, and we call such graphs derangement action graphs. Also we investigate the structural and symmetry properties of these digraphs and graphs. Several open problems are posed and many examples are given.


title: Velocity enhancement by synchronization of magnetic domain walls

abstract: Magnetic domain walls are objects whose dynamics is inseparably connected to their structure. In this work we investigate magnetic bilayers, which are engineered such that a coupled pair of domain walls, one in each layer, is stabilized by a cooperation of Dzyaloshinskii-Moriya interaction and flux-closing mechanism. The dipolar field mediating the interaction between the two domain walls, links not only their position but also their structure. We show that this link has a direct impact on their magnetic field induced dynamics. We demonstrate that in such a system the coupling leads to an increased domain wall velocity with respect to single domain walls. Since the domain wall dynamics is observed in a precessional regime, the dynamics involves the synchronization between the two walls, to preserve the flux closure during motion. Properties of these coupled oscillating walls can be tuned by an additional in-plane magnetic field enabling a rich variety of states, from perfect synchronization to complete detuning.


title: AGN outflows as neutrino sources: an observational test

abstract: We test the recently proposed idea that outflows associated with Active Galactic Nuclei (AGN) could be neutrino emitters in two complementary ways. First, we cross-correlate a list of 94 "bona fide" AGN outflows with the most complete and updated repository of IceCube neutrinos currently publicly available, assembled by us for this purpose. It turns out that AGN with outflows matched to an IceCube neutrino have outflow and kinetic energy rates, and bolometric powers larger than those of AGN with outflows not matched to neutrinos. Second, we carry out a statistical analysis on a catalogue of O III 5007 line profiles using a sample of 23,264 AGN at z < 0.4, a sub-sample of which includes mostly possible outflows sources. We find no significant evidence of an association between the AGN and the IceCube events, although we get the smallest p-values (~ 6 and 18 per cent respectively, pre-trial) for relatively high velocities and luminosities. Our results are consistent with a scenario where AGN outflows are neutrino emitters but at present do not provide a significant signal. This can be tested with better statistics and source stacking. A predominant role of AGN outflows in explaining the IceCube data appears in any case to be ruled out.


title: Holographic Signatures of Resolved Cosmological Singularities II: Numerical Investigations

abstract: A common strategy to investigate the fate of gravitational singularities in asymptotically AdS spacetimes is to translate the question from the gravitational side to a dual field theory using the gauge/gravity correspondence and to do a field theory computation. Given recent progress in singularity resolution via non-perturbative quantum gravity, it is natural to now turn the question around and to ask about field theory signatures of resolved singularities. An investigation along this line has been initiated in a companion paper, where a finite-distance pole exhibited by the two-point correlator in the dual field theory, which has previously been linked directly to the gravitational bulk singularity, has been resolved in this way. In order to perform analytic computations, some simplifications were necessary. In this paper, we lift these restrictions by tackling the problem numerically. Our analysis shows that the pole in the two-point correlator gets resolved in the same manner as before.


title: On the Hadamard product of degenerate subvarieties

abstract: We consider generic degenerate subvarieties $X_i\subset\mathbb{P}^n$. We determine an integer $N$, depending on the varieties, and for $n\geq N$ we compute dimension and degree formulas for the Hadamard product of the varieties $X_i$. Moreover, if the varieties $X_i$ are smooth, their Hadamard product is smooth too. For $n<N$, if the $X_i$ are generically $d_i$-parameterized, the dimension and degree formulas still hold. However, the Hadamard product can be singular and we give a lower bound for the dimension of the singular locus.


title: A non-perturbative Hamiltonian approach to the cosmological constant problem

abstract: It was recently suggested that the cosmological constant problem as viewed in a non-perturbative framework is intimately connected to the choice of time and a physical Hamiltonian. We develop this idea further by calculating the non-perturbative vacuum energy density as a function of the cosmological constant with multiple choices of time. We also include a spatial curvature of the universe and generalize this calculation beyond cosmology at a classical level. We show that vacuum energy density depends on the choice of time, and in almost all time gauges, is a non-linear function of the cosmological constant. This non-linear relation is a calculation for the vacuum energy density given some arbitrary value of the cosmological constant. Hence, in this non-perturbative framework, the cosmological constant problem does not arise. We also discuss why the conventional cosmological constant problem is not well-posed, and formulate and answer the question: "Does vacuum gravitate?" Finally, we give a derivation of reduction to quantum mechanics on a flat background from a non-perturbative gravity-matter theory.


title: A Reflectionless Discrete Perfectly Matched Layer

abstract: Perfectly Matched Layer (PML) is a widely adopted non-reflecting boundary treatment for wave simulations. Reducing numerical reflections from a discretized PML has been a long lasting challenge. This paper presents a new discrete PML for the multi-dimensional scalar wave equation which produces no numerical reflection at all. The reflectionless discrete PML is discovered through a straightforward derivation using Discrete Complex Analysis. The resulting PML takes an easily-implementable finite difference form with compact stencil. In practice, the discrete waves are damped exponentially in the PML, and the error due to domain truncation is maintained at machine zero by a moderately thick PML. The numerical stability of the proposed PML is also demonstrated.


title: Robust Non-termination Analysis of Numerical Software

abstract: Numerical software are widely used in safety-critical systems such as aircrafts, satellites, car engines and so on, facilitating dynamics control of such systems in real time, it is therefore absolutely necessary to verify their correctness. It is a long standing challenge to guarantee verified properties of numerical software are indeed satisfied by their real behaviours, because most of these verifications are conducted under ideal mathematical models, but their real executions could be influenced essentially by uncertain inputs accounting for round-off errors and additive perturbations from real-world phenomena to hardware, which are abstracted away in these ideal mathematical models. In this paper, we attempt to address this issue focusing on nontermination analysis of numerical software, where nontermination is often an unexpected behaviour of computer programs and may be problematic for applications such as real-time systems having hard deadlines on transaction execution time, and propose a method for robust conditional nontermination analysis, which can be used to under-approximate the maximal robust nontermination input set for a given program, from which the program never terminates, regardless of the aforementioned disturbances. Finally, several examples are employed to illustrate our approach.


title: Evidence of pure spin current

abstract: Evidences of pure spin current are indistinguishable from those of many parasitic effects. Proper choices of materials and methods are essential for exploring pure spin current phenomena and devices.


title: Nanostructured Ceramic Oxides with a Slow Crack Growth Resistance Close to Covalent Materials

abstract: Oxide ceramics are sensitive to slow crack growth because adsorption of water can take place at the crack tip, leading to a strong decrease of the surface energy in humid (or air) conditions. This is a major drawback concerning demanding, long-term applications such as orthopaedic implants. Here we show that a specific nanostructuration of ceramic oxides can lead to a crack resistance never reached before, similar to that of covalent ceramics.


title: Stochastic Mechanics Without Ad Hoc Quantization: Theory And Applications To Semiclassical Gravity

abstract: Stochastic mechanics (SM), as proposed by Edward Nelson and others in the 20th century, aims to reconstruct quantum mechanics (QM) from a more fundamental theory of classical point particles interacting with a classical-like ether, where said interaction causes the particles to undergo a diffusion process that conserves their average total energy. However, Timothy Wallstrom and others have emphasized that SM runs into the problem that it cannot recover the Schroedinger equation of QM unless an ad hoc quantization condition is assumed. In this thesis, I reformulate SM so that the quantization condition arises as a natural consequence of the classical point particles interacting with the classical-like ether. This is done by combining SM with a proposal by Louis de Broglie and David Bohm, in which an elementary particle in its rest frame is viewed as a localized periodic phenomenon of fixed frequency, from which it follows that the phase of the periodic phenomenon in the lab frame satisfies a relation that's equivalent to the quantization condition. In doing so, I argue that SM can once again be regarded as a viable approach to reconstructing QM. In addition, I show that SM yields novel and empirically viable models of semiclassical Newtonian gravity and electrodynamics, simply by incorporating classical Newtonian gravitational and electrostatic interactions between the particles. I also show how the Schroedinger-Newton equation and the Schroedinger-Coulomb equation arise as mean-field approximations from within these SM models of semiclassical Newtonian gravity and electrodynamics, and how classical Newtonian gravity can be recovered from an appropriate center-of-mass description of many interacting SM particles. Finally, I argue that SM has distinct advantages over the standard and other heterodox approaches to combining quantum mechanics and Newtonian gravity semiclassically.


title: Volume function and Mahler measure of exact polynomials

abstract: We study a class of 2-variable polynomials called exact polynomials which contains $A$-polynomials of knot complements. The Mahler measure of these polynomials can be computed in terms of a volume function defined on the vanishing set of the polynomial. We prove that the local extrema of the volume function are on the 2-dimensional torus and give a closed formula for the Mahler measure in terms of these extremal values. This formula shows that the Mahler measure of an irreducible and exact polynomial divided by $\pi$ is greater than the amplitude of the volume function. We also prove a $K$-theoretical criterium for a polynomial to be a factor of an $A$-polynomial and give a topological interpretation of its Mahler measure.


title: Artificial Intelligence and its Role in Near Future

abstract: AI technology has a long history which is actively and constantly changing and growing. It focuses on intelligent agents, which contain devices that perceive the environment and based on which takes actions in order to maximize goal success chances. In this paper, we will explain the modern AI basics and various representative applications of AI. In the context of the modern digitalized world, AI is the property of machines, computer programs, and systems to perform the intellectual and creative functions of a person, independently find ways to solve problems, be able to draw conclusions and make decisions. Most artificial intelligence systems have the ability to learn, which allows people to improve their performance over time. The recent research on AI tools, including machine learning, deep learning and predictive analysis intended toward increasing the planning, learning, reasoning, thinking and action taking ability. Based on which, the proposed research intends towards exploring on how the human intelligence differs from the artificial intelligence. Moreover, we critically analyze what AI of today is capable of doing, why it still cannot reach human intelligence and what are the open challenges existing in front of AI to reach and outperform human level of intelligence. Furthermore, it will explore the future predictions for artificial intelligence and based on which potential solution will be recommended to solve it within next decades.


title: The Effect of Forcing on Vacuum Radiation

abstract: Vacuum radiation has been the subject of theoretical study in both cosmology and condensed matter physics for many decades. Recently there has been impressive progress in experimental realizations as well. Here we study vacuum radiation when a field mode is driven both parametrically and by a classical source. We find that in the Heisenberg picture the field operators of the mode undergo a Bogolyubov transformation combined with a displacement, in the Schr\"odinger picture the oscillator evolves from the vacuum to a squeezed coherent state. Whereas the Bogolyubov transformation is the same as would be obtained if only the parametric drive were applied the displacement is determined by both the parametric drive and the force. If the force is applied well after the parametric drive then the displacement is the same as would be obtained by the action of the force alone and it is essentially independent of $t_f$, the time lag between the application of the force and the parametric drive. If the force is applied well before the parametric drive the displacement is found to oscillate as a function of $t_f$. This behavior can be understood in terms of quantum interference. A rich variety of behavior is observed for intermediate values of $t_f$. The oscillations can turn off smoothly or grow dramatically and decrease depending on strength of the parametric drive and force and the durations for which they are applied. The displacement depends only on the Fourier component of the force at a single resonant frequency when the forcing and the parametric drive are well separated in time. However for a weak parametric drive that is applied at the same time as the force we show that the displacement responds to a broad range of frequencies of the force spectrum. Implications of our findings for experiments are briefly discussed.


title: Quantifying Genetic Innovation: Mathematical Foundations for the Topological Study of Reticulate Evolution

abstract: A topological approach to the study of genetic recombination, based on persistent homology, was introduced by Chan, Carlsson, and Rabad\'an in 2013. This associates a sequence of signatures called barcodes to genomic data sampled from an evolutionary history. In this paper, we develop theoretical foundations for this approach. First, we present a novel formulation of the underlying inference problem. Specifically, we introduce and study the novelty profile, a simple, stable statistic of an evolutionary history which not only counts recombination events but also quantifies how recombination creates genetic diversity. We propose that the (hitherto implicit) goal of the topological approach to recombination is the estimation of novelty profiles. We then study the problem of obtaining a lower bound on the novelty profile using barcodes. We focus on a low-recombination regime, where the evolutionary history can be described by a directed acyclic graph called a galled tree, which differs from a tree only by isolated topological defects. We show that in this regime, under a complete sampling assumption, the $1^\mathrm{st}$ barcode yields a lower bound on the novelty profile, and hence on the number of recombination events. For $i>1$, the $i^{\mathrm{th}}$ barcode is empty. In addition, we use a stability principle to strengthen these results to ones which hold for any subsample of an arbitrary evolutionary history. To establish these results, we describe the topology of the Vietoris--Rips filtrations arising from evolutionary histories indexed by galled trees. As a step towards a probabilistic theory, we also show that for a random history indexed by a fixed galled tree and satisfying biologically reasonable conditions, the intervals of the $1^{\mathrm{st}}$ barcode are independent random variables. Using simulations, we explore the sensitivity of these intervals to recombination.


title: Model independent radiative corrections to elastic deuteron-electron scattering

abstract: The differential cross section for elastic scattering of deuterons on electrons at rest is calculated taking into account the QED radiative corrections to the leptonic part of interaction. These model-independent radiative corrections arise due to emission of the virtual and real soft and hard photons as well as to vacuum polarization. We consider an experimental setup where both final particles are recorded in coincidence and their energies are determined within some uncertainties. The kinematics, the cross section, and the radiative corrections are calculated and numerical results are presented.


title: Introduction to coherent quantization

abstract: This paper is one of a series of papers on coherent spaces and their applications, defined in the recent book 'Coherent Quantum Mechanics' by the first author. The paper studies coherent quantization -- the way operators in the quantum space of a coherent space can be studied in terms of objects defined directly on the coherent space. The results may be viewed as a generalization of geometric quantization, including the non-unitary case. Care has been taken to work with the weakest meaningful topology and to assume as little as possible about the spaces and groups involved. Unlike in geometric quantization, the groups are not assumed to be compact, locally compact, or finite-dimensional. This implies that the setting can be successfully applied to quantum field theory, where the groups involved satisfy none of these properties. The paper characterizes linear operators acting on the quantum space of a coherent space in terms of their coherent matrix elements. Coherent maps and associated symmetry groups for coherent spaces are introduced, and formulas are derived for the quantization of coherent maps. The importance of coherent maps for quantum mechanics is due to the fact that there is a quantization operator that associates homomorphically with every coherent map a linear operator from the quantum space into itself. This operator generalizes to general symmetry groups of coherent spaces the second quantization procedure for free classical fields. The latter is obtained by specialization to Klauder spaces, whose quantum spaces are the bosonic Fock spaces. A coordinate-free derivation is given of the basic properties of creation and annihilation operators in Fock spaces.