title: The Betti map associated to a section of an abelian scheme (with an appendix by Z. Gao)

abstract: Given a point $\xi$ on a complex abelian variety $A$, its abelian logarithm can be expressed as a linear combination of the periods of $A$ with real coefficients, the Betti coordinates of $\xi$. When $(A, \xi)$ varies in an algebraic family, these coordinates define a system of multivalued real-analytic functions. Computing its rank (in the sense of differential geometry) becomes important when one is interested about how often $\xi$ takes a torsion value (for instance, Manin's theorem of the kernel implies that this coordinate system is constant in a family without fixed part only when $\xi$ is a torsion section). We compute this rank in terms of the rank of a certain contracted form of the Kodaira-Spencer map associated to $(A, \xi)$ (assuming $A$ without fixed part, and $\mathbb{Z} \xi$ Zariski-dense in $A$), and deduce some explicit lower bounds in special situations. For instance, we determine this rank in relative dimension $\leq 3$, and study in detail the case of jacobians of families of hyperelliptic curves. Our main application, obtained in collaboration with Z. Gao, states that if $A\to S$ is a principally polarized abelian scheme of relative dimension $g$ which has no non-trivial endomorphism (on any finite covering), and if the image of $S$ in the moduli space $\mathcal{A}_g$ has dimension at least $g$, then the Betti map of any non-torsion section $\xi$ is generically a submersion, so that $\xi^{-1}A_{tors}$ is dense in $S(\mathbb{C})$.


title: Transport of hydrogen isotopes through interlayer spacing in van der Waals crystals

abstract: Atoms start behaving as waves rather than classical particles if confined in spaces commensurate with their de Broglie wavelength. At room temperature this length is only about one angstrom even for the lightest atom, hydrogen. This restricts quantum-confinement phenomena for atomic species to the realm of very low temperatures. Here we show that van der Waals gaps between atomic planes of layered crystals provide angstrom-size channels that make quantum confinement of protons apparent even at room temperature. Our transport measurements show that thermal protons experience a notably higher barrier than deuterons when entering van der Waals gaps in hexagonal boron nitride and molybdenum disulfide. This is attributed to the difference in de Broglie wavelength of the isotopes. Once inside the crystals, transport of both isotopes can be described by classical diffusion, albeit with unexpectedly fast rates, comparable to that of protons in water. The demonstrated angstrom-size channels can be exploited for further studies of atomistic quantum confinement and, if the technology can be scaled up, for sieving hydrogen isotopes.


title: Perturbative corrections to technicolor

abstract: The full solution of technicolor (TC) Schwinger-Dyson equations should include radiative corrections induced by extended technicolor (ETC) (or other) interactions. We verify that when TC is embedded into a larger theory including also QCD, these radiative corrections couple the different strongly interacting Schwinger-Dyson equations, providing a tiny mass to technifermions and changing the ultraviolet behavior of the gap equation solution. We argue about the origin of the different quark masses without appealing for different ETC boson masses, in one scenario where most of the new physics will appear in interactions with the third fermion generation and with a TC scalar boson possibly lighter than the TC characteristic scale ($\Lambda_{\tt{TC}}$)


title: Preliminary investigation of a new state estimation technique using device-independent maximum likelihood estimation

abstract: In quantum state tomography, the estimated frequencies do not correspond directly to a physical quantum state, due to statistical fluctuations. Thus, one resorts to point estimators that return the state that matches observations the best, and a variety of estimators have been proposed -- linear inversion, least squares, maximum likelihood (ML) -- each making different trade-offs. In this short note, we investigate an alternative approach inspired by device-independent quantum information protocols. We embed a tomographic complete set of measurement operators within the framework of a Bell scenario, and first regularize the estimated frequencies using a device-independent maximum likelihood algorithm. We then run the standard maximum likelihood algorithm to estimate the underlying quantum state. In this preliminary investigation, we do not observe significant differences in the reconstructed state when using the new algorithm.


title: Rotational spectroscopy of cold, trapped molecular ions in the Lamb-Dicke regime

abstract: Sympathetic cooling of trapped ions has been established as a powerful technique for manipulation of non-laser-coolable ions (Raizen1992,Waki1992,Bowe1999,Barrett2003). For molecular ions, it promises vastly enhanced spectroscopic resolution and accuracy. However, this potential remains untapped so far, with the best resolution achieved being not better than $5\times10^{-8}$ fractionally, due to residual Doppler broadening being present in ion clusters even at the lowest achievable translational temperatures (Bressel2012). Here we introduce a general and accessible approach that enables Doppler-free rotational spectroscopy. It makes use of the strong radial spatial confinement of molecular ions when trapped and crystallized in a linear quadrupole trap, providing the Lamb-Dicke regime for rotational transitions. We achieve a line width of $1\times10^{-9}$ fractionally and $1.3~\textrm{kHz}$ absolute, an improvement by $50$ and nearly $3\times10^{3}$, respectively, over other methods. The systematic uncertainty is $2.5\times10^{-10}$. As an application, we demonstrate the most precise test of $\textit{ab initio}$ molecular theory and the most precise ($1.3~\textrm{PPB}$) spectroscopic determination of the proton mass. The results represent the long overdue extension of Doppler-free microwave spectroscopy of laser-cooled atomic ion clusters (Berkeland1998) to higher spectroscopy frequencies and to molecules. This approach enables a vast range of high-precision measurements on molecules, both on rotational and, as we project, vibrational transitions.


title: Drift Theory in Continuous Search Spaces: Expected Hitting Time of the (1+1)-ES with 1/5 Success Rule

abstract: This paper explores the use of the standard approach for proving runtime bounds in discrete domains---often referred to as drift analysis---in the context of optimization on a continuous domain. Using this framework we analyze the (1+1) Evolution Strategy with one-fifth success rule on the sphere function. To deal with potential functions that are not lower-bounded, we formulate novel drift theorems. We then use the theorems to prove bounds on the expected hitting time to reach a certain target fitness in finite dimension $d$. The bounds are akin to linear convergence. We then study the dependency of the different terms on $d$ proving a convergence rate dependency of $\Theta(1/d)$. Our results constitute the first non-asymptotic analysis for the algorithm considered as well as the first explicit application of drift analysis to a randomized search heuristic with continuous domain.


title: Quantitative aspects of acyclicity

abstract: We study several aspects of the $k$-th Cheeger constant of a complex X, a parameter that quantifies the distance of $X$ from a complex $Y$ with nontrivial $k$-th cohomology over $\mathbb{Z}_2$. Our results include general methods for bounding the cosystolic norm of a cochain and for bounding the Cheeger constant of a complex, a discussion of expansion of pseudomanifolds and geometric lattices, probabilistic upper bounds on Cheeger constants, and application of non-Abelian expansion to random complexes.


title: Towards realistic HPC models of the neuromuscular system

abstract: Realistic simulations of detailed, biophysics-based, multi-scale models require very high resolution and, thus, large-scale compute facilities. Existing simulation environments, especially for biomedical applications, are designed to allow for a high flexibility and generality in model development. Flexibility and model development, however, are often a limiting factor for large-scale simulations. Therefore, new models are typically tested and run on small-scale compute facilities. By using a detailed biophysics-based, chemo-electromechanical skeletal muscle model and the international open-source software library OpenCMISS as an example, we present an approach to upgrade an existing muscle simulation framework from a moderately parallel version towards a massively parallel one that scales both in terms of problem size and in terms of the number of parallel processes. For this purpose, we investigate different modeling, algorithmic and implementational aspects. We present improvements addressing both numerical and parallel scalability. In addition, our approach includes a novel visualization environment, which is based on the MegaMol environment capable of handling large amounts of simulated data. It offers a platform for fast visualization prototyping, distributed rendering, and advanced visualization techniques. We present results of a variety of scaling studies at the Tier-1 supercomputer HazelHen at the High Performance Computing Center Stuttgart (HLRS). We improve the overall runtime by a factor of up to 2.6 and achieved good scalability on up to 768 cores, where the previous implementation used only 4 cores.


title: Deep clustering of longitudinal data

abstract: Deep neural networks are a family of computational models that have led to a dramatical improvement of the state of the art in several domains such as image, voice or text analysis. These methods provide a framework to model complex, non-linear interactions in large datasets, and are naturally suited to the analysis of hierarchical data such as, for instance, longitudinal data with the use of recurrent neural networks. In the other hand, cohort studies have become a tool of importance in the research field of epidemiology. In such studies, variables are measured repeatedly over time, to allow the practitioner to study their temporal evolution as trajectories, and, as such, as longitudinal data. This paper investigates the application of the advanced modelling techniques provided by the deep learning framework in the analysis of the longitudinal data provided by cohort studies. Methods: A method for visualizing and clustering longitudinal dataset is proposed, and compared to other widely used approaches to the problem on both real and simulated datasets. Results: The proposed method is shown to be coherent with the preexisting procedures on simple tasks, and to outperform them on more complex tasks such as the partitioning of longitudinal datasets into non-spherical clusters. Conclusion: Deep artificial neural networks can be used to visualize longitudinal data in a low dimensional manifold that is much simpler to interpret than traditional longitudinal plots are. Consequently, practitioners should start considering the use of deep artificial neural networks for the analysis of their longitudinal data in studies to come.


title: MULTIGRAIN: A smoothed particle hydrodynamics algorithm for multiple small dust grains and gas

abstract: We present a new algorithm, MULTIGRAIN, for modelling the dynamics of an entire population of small dust grains immersed in gas, typical of conditions that are found in molecular clouds and protoplanetary discs. The MULTIGRAIN method is more accurate than single-phase simulations because the gas experiences a backreaction from each dust phase and communicates this change to the other phases, thereby indirectly coupling the dust phases together. The MULTIGRAIN method is fast, explicit and low storage, requiring only an array of dust fractions and their derivatives defined for each resolution element.


title: Vector-Interaction-Enhanced Bag Model

abstract: A commonly applied quark matter model in astrophysics is the thermodynamic bag model (tdBAG). The original MIT bag model approximates the effect of quark confinement, but does not explicitly account for the breaking of chiral symmetry, an important property of Quantum Chromodynamics (QCD). It further ignores vector repulsion. The vector-interaction-enhanced bag model (vBag) improves the tdBAG approach by accounting for both dynamical chiral symmetry breaking and repulsive vector interactions. The latter is of particular importance to studies of dense matter in beta-equilibriumto explain the two solar mass maximum mass constraint for neutron stars. The model is motivated by analyses of QCD based Dyson-Schwinger equations (DSE), assuming a simple quark-quark contact interaction. Here, we focus on the study of hybrid neutron star properties resulting from the application of vBag and will discuss possible extensions.


title: Passive tracer in non-Markovian, Gaussian velocity field

abstract: We consider the trajectory of a tracer that is the solution of an ordinary differential equation $\dot\bbX(t)=\bbV(t, \bbX(t)),\ X(0)=0$, with the right hand side, that is a stationary, zero-mean, Gaussian vector field with incompressible realizations. It is known, see [K-F;C-X;K-L-O], that $\bbX(t)/\sqrt{t}$ converges in law, as $t\to+\infty$, to a normal, zero mean vector, provided that the field $V(t,x)$ is Markovian and has the spectral gap property. We wish to extend this result to the case when the field is not Markovian and its covariance matrix is given by a completely monotone Bernstein function.


title: Balancing Two-Player Stochastic Games with Soft Q-Learning

abstract: Within the context of video games the notion of perfectly rational agents can be undesirable as it leads to uninteresting situations, where humans face tough adversarial decision makers. Current frameworks for stochastic games and reinforcement learning prohibit tuneable strategies as they seek optimal performance. In this paper, we enable such tuneable behaviour by generalising soft Q-learning to stochastic games, where more than one agent interact strategically. We contribute both theoretically and empirically. On the theory side, we show that games with soft Q-learning exhibit a unique value and generalise team games and zero-sum games far beyond these two extremes to cover a continuous spectrum of gaming behaviour. Experimentally, we show how tuning agents' constraints affect performance and demonstrate, through a neural network architecture, how to reliably balance games with high-dimensional representations.


title: Diffusion of Elements in the Interstellar Medium in Early-Type Galaxies

abstract: We consider the role of diffusion in the redistribution of elements in the hot interstellar medium (ISM) of early-type galaxies. It is well known that gravitational sedimentation can affect significantly the abundances of helium and heavy elements in the intracluster gas of massive galaxy clusters. The self-similarity of the temperature profiles and tight mass--temperature relation of relaxed cool-core clusters suggest that the maximum effect of sedimentation take place in the most massive virialized objects in the Universe. However, Chandra and XMM-Newton observations demonstrate more complex scaling relations between the masses of early-type galaxies and other parameters, such as the ISM temperature and gas mass fraction. An important fact is that early-type galaxies can show both decreasing and increasing radial temperature profiles. We have calculated the diffusion based on the observed gas density and temperature distributions for 13 early-type galaxies that belonging to the different environments and cover a wide range of X-ray luminosities. To estimate the maximum effect of sedimentation and thermal diffusion, we have solved the full set of Burgers' equations for a non-magnetized ISM plasma. The results obtained demonstrate a considerable increase of the He/H ratio within one effective radius for all galaxies of our sample. For galaxies with a flat or declining radial temperature profile the average increase of the helium abundance is 60\% in one billion years of diffusion. The revealed effect can introduce a significant bias in the metal abundance measurements based on X-ray spectroscopy and can affect the evolution of stars that could be formed from a gas with a high helium abundance.


title: Concentration and energy invariance for a class of fully nonlinear elliptic equations

abstract: We study the asymptotic behaviour of positive solutions of fully nonlinear elliptic equations in a ball, as the exponent of the power nonlinearity approaches a critical value. We show that solutions concentrate and blow up at the center of the ball, while a suitable associated energy remains invariant.


title: An LTE effective temperature scale for red supergiants in the Magellanic clouds

abstract: We present a self-consistent study of cool supergiants (CSGs) belonging to the Magellanic clouds. We calculated stellar atmospheric parameters using LTE KURUCZ and MARCS atmospheric models for more than 400 individual targets by fitting a careful selection of weak metallic lines. We explore the existence of a T eff scale and its implications in two different metallicity environments (each Magellanic cloud). Critical and in-depth tests have been performed to assess the reliability of our stellar parameters (i.e. internal error budget, NLTE systematics). In addition, several Montercarlo tests have been carried out to infer the significance of the Teff scale found. Our findingspoint towards a unique Teff scale that seems to be independent of the environment.


title: Stabilization of the arrival time of a relativistic electron beam to the 50 fs level

abstract: We report the results of a low-latency beam phase feed-forward system built to stabilize the arrival time of a relativistic electron beam. The system was operated at the Compact Linear Collider (CLIC) Test Facility (CTF3) at CERN where the beam arrival time was stabilized to approximately 50 fs. The system latency was 350 ns and the correction bandwidth >23 MHz. The system meets the requirements for CLIC.


title: Research and Implementation of Global Path Planning for Unmanned Surface Vehicle Based on Electronic Chart

abstract: Unmanned Surface Vehicle (USV) is a new type of intelligent surface craft, and global path planning is the key technology of USV research, which can reflect the intelligent level of USV. In order to solve the problem of global path planning of USV, this paper proposes an improved A* algorithm for sailing cost optimization based on electronic charts. This paper uses the S-57 electronic chart to realize the establishment of the octree grid environment model, and proposes an improved A* algorithm based on sailing safety weight, pilot quantity and path curve smoothing to ensure the safety of the route, reduce the planning time, and improve path smoothness. The simulation results show that the environmental model construction method and the improved A* algorithm can generate safe and reasonable global path.


title: Unitarity violation in non-integer dimensional Gross-Neveu-Yukawa model

abstract: We construct an explicit example of unitarity violation in fermionic quantum field theories in non-integer dimensions. We study the two-point correlation function of four-fermion operators. We compute the one-loop anomalous dimensions of these operators in the Gross-Neveu-Yukawa Model. We find that at one loop order, the four-fermion operators split into three classes with one class having negative norms. This implies that the theory violates unitarity following the definition in arXiv:1512.00013 [hep-th].


title: Maximum Lyapunov exponent revisited: Long-term attractor divergence of gait dynamics is highly sensitive to the noise structure of stride intervals

abstract: The local dynamic stability method (maximum Lyapunov exponent) can assess gait stability. Two variants of the method exist: the short-term divergence exponent (DE), and the long-term DE. Only the short-term DE can predict fall risk. The significance of long-term DE has been unclear so far. Some studies have suggested that the complex, fractal-like structure of fluctuations among consecutive strides correlates with long-term DE. The aim, therefore, was to assess whether the long-term DE is a gait complexity index. The study reanalyzed a dataset of trunk accelerations from 100 healthy adults walking at preferred speed on a treadmill for 10 minutes. By interpolation, the stride intervals were modified within the acceleration signals for the purpose of conserving the original shape of the signal, while imposing a known stride-to-stride fluctuation structure. 4 types of hybrid signals with different noise structures were built: constant, anti-correlated, random, and correlated (fractal). Short- and long-term DEs were then computed. The results show that long-term DEs, but not short-term DEs, are sensitive to the noise structure of stride intervals. It was that observed that random hybrid signals exhibited significantly lower long-term DEs than hybrid correlated signals did (0.100 vs 0.144, i.e. a 44% difference). Long-term DEs from constant hybrid signals were close to zero (0.006). Short-term DEs of anti-correlated, random, and correlated hybrid signals were closely grouped (2.49, 2.50, and 2.51). The short- and long-term DEs, although they are both computed from divergence curves, should not be interpreted in a similar way. The long-term DE is very likely an index of gait complexity, which may be associated with gait automaticity or cautiousness. To better differentiate between short- and long-term DEs, the use of the term attractor complexity index (ACI) is proposed for the latter.


title: Unification nets: canonical proof net quantifiers

abstract: Proof nets for MLL (unit-free Multiplicative Linear Logic) are concise graphical representations of proofs which are canonical in the sense that they abstract away syntactic redundancy such as the order of non-interacting rules. We argue that Girard's extension to MLL1 (first-order MLL) fails to be canonical because of redundant existential witnesses, and present canonical MLL1 proof nets called unification nets without them. For example, while there are infinitely many cut-free Girard nets $\forall x Px \vdash \exists xPx$, one per arbitrary choice of witness for $\exists x$, there is a unique cut-free unification net, with no specified witness. Redundant existential witnesses cause Girard's MLL1 nets to suffer from severe complexity issues: (1) cut elimination is non-local and exponential-time (and -space), and (2) some sequents require exponentially large cut-free Girard nets. Unification nets solve both problems: (1) cut elimination is local and linear-time, and (2) cut-free unification nets grow linearly with the size of the sequent. Since some unification nets are exponentially smaller than corresponding Girard nets and sequent proofs, technical delicacy is required to ensure correctness is polynomial-time (quadratic). These results extend beyond MLL1 via a broader methodological insight: for canonical quantifiers, the standard parallel/sequential dichotomy of proof nets fails; an implicit/explicit witness dichotomy is also needed. Work in progress extends unification nets to additives and uses them to extend combinatorial proofs [Proofs without syntax, Annals of Mathematics, 2006] to classical first-order logic.


title: Extreme-ultraviolet-initiated High-harmonic Generation in Ar$^{+}$

abstract: We employ the R-matrix with time-dependence method to investigate extreme-ultraviolet-initiated high-harmonic generation (XIHHG) in Ar$^{+}$. Using a combination of extreme-ultraviolet (XUV, $92\textrm{ nm}$, $3\times 10^{12}\,\textrm{Wcm}^{-2}$) and time-delayed, infrared (IR, $800\textrm{ nm}$, $3\times 10^{14}\,\textrm{Wcm}^{-2}$) laser pulses, we demonstrate that control over both the mechanism, and timing, of ionization can afford significant enhancements in the yield of plateau, and sub-threshold, harmonics alike. The presence of the XUV pulse is also shown to alter the relative contribution of different electron emission pathways. Manifestation of the Ar$^{+}$ electronic structure is found in the appearance of a pronounced Cooper minimum. Interferences amongst the outer-valence $3p$, and inner-valence $3s$, electrons are found to incur only a minor suppression of the harmonic intensities, at least for the present combination of XUV and IR laser light. Additionally, the dependence of the XIHHG efficiency on time delay is discussed, and rationalized with the aid of classical trajectory simulations.


title: Sub-arcsecond imaging of Arp\,299-A at 150 MHz with LOFAR: Evidence for a starburst-driven outflow

abstract: We report on the first sub-arcsecond (0.44 $\times$ 0.41 arcsec$\rm ^2$) angular resolution image at 150 MHz of the A-nucleus in the Luminous Infrared Galaxy Arp$\,$299, from International Low Frequency Array (LOFAR) Telescope observations. The most remarkable finding is that of an intriguing two-sided, filamentary structure emanating from A-nucleus, which we interpret as an outflow that extends up to at least 14 arcseconds from the A-nucleus in the N-S direction ($\approx$ 5 kpc deprojected size) and accounts for almost 40% of the extended emission of the entire galaxy system. We also discuss HST/NICMOS [FeII] 1.64 $\rm \mu m$ and H$\rm_2$ 2.12 $\rm \mu m$ images of Arp$\,$299-A, which show similar features to those unveiled by our 150 MHz LOFAR observations, thus giving string morphological support for the outflow scenario. Finally, we discuss unpublished NaI D spectra that confirm the outflow nature of this structure. From energetic arguments, we rule out the low-luminosity active galactic nucleus in Arp$\,$299-A as a driver for the outflow. On the contrary, the powerful, compact starburst in the central regions of Arp$\,$299-A provides plenty of mechanical energy to sustain an outflow, and we conclude that the intense supernova (SN) activity in the nuclear region of Arp299-A is driving the observed outflow. We estimate that the starburst wind can support a mass-outflow rate in the range (11-63) $\rm M_{\odot} yr^{-1}$ at speeds of up to (370 - 890) $\rm km \, s^{-1}$, and is relatively young, with an estimated kinematic age of (3 - 7) Myr. Those results open an avenue to the use of low-frequency (150 MHz), sub-arcsecond imaging with LOFAR to detect outflows in the central regions of local luminous infrared galaxies.


title: Thermodynamic perturbation theory for non-interacting quantum particles with application to spin-spin interactions in solids

abstract: The determination of the Landau free energy (the grand thermodynamic potential) by a perturbation theory is advanced to arbitrary order for the specific case of non-interacting fermionic systems perturbed by a one-particle potential. Peculiar features of the formalism are highlighted, and its applicability for bosons is indicated. The results are employed to develop a more explicit approach describing exchange interactions between spins of Anderson's magnetic impurities in metals, semiconductors, and insulators. Within the fourth order our theory provides on the equal footing formulae for the Ruderman-Kittel-Kasuya-Yosida, Bloembergen-Rowland, superexchange, and two-electron exchange integrals at non-zero temperature.


title: Electroweak interaction beyond the Standard Model and Dark Matter in the Tangent Bundle Quantum Field Theory

abstract: A generalized theory of electroweak interaction is developed based on the underlying geometrical structure of the tangent bundle with symmetries arising from transformations of tangent vectors along the fiber axis at a fixed space-time point, leaving the scalar product invariant. Transformations with this property are given by the $SO(3,1)$ group with the little groups $SU(2),E^{c}(2)$ and $SU(1,1)$ where the group $E^{c}(2)$ is the central extended group of the Euclidian group $E(2).$ Electroweak interaction beyond the standard model (SM) is described by the transformation group $SU(2)\otimes E^{c}\mathbf{(}2)$ without a priori introduction of a phenomenologically determined gauge group. The Laplacian on this group yields the known internal quantum numbers of isospin and hypercharge, but in addition the extra $E^{c}$-charge $\varkappa $ and the family quantum number $n$ which explains the existence of families in the SM. The connection coefficients deliver the SM gauge potentials but also hypothetical gauge bosons and other hypothetical particles as well as candidate Dark Matter particles are predicted. It is shown that the interpretation of the $SO(3,1)$ connection coefficients as elctroweak gauge potentials is compatible with teleparallel gauge gravity theory based on the translational group.


title: Plasma acceleration limitations due to betatron radiation

abstract: High energy spread caused by the longitudinal size of the beam is well known in wake-field acceleration. Usually this issue can be solved with beam loading effect that allows to keep accelerating field nearly constant, along the whole duration of the beam. In this work, however, we would like to address another source of energy spread that arises at high energy, due to betatron radiation.


title: Iterative Coupling of Mixed and Discontinuous Galerkin Methods for Poroelasticity

abstract: We analyze an iterative coupling of mixed and discontinuous Galerkin methods for numerical modelling of coupled flow and mechanical deformation in porous media. The iteration is based on an optimized fixed-stress split along with a discontinuous variational time discretization. For the spatial discretization of the subproblem of flow mixed finite element techniques are applied. The discretization of the subproblem of mechanical deformation uses discontinuous Galerkin methods. They have shown their ability to eliminate locking that sometimes arises in numerical algorithms for poroelasticity and causes nonphysical pressure oscillations.


title: Self-stabilizing processes based on random signs

abstract: A self-stabilizing processes $\{Z(t), t\in [t_0,t_1)\}$ is a random process which when localized, that is scaled to a fine limit near a given $t\in [t_0,t_1)$, has the distribution of an $\alpha(Z(t))$-stable process, where $\alpha: \mathbb{R}\to (0,2)$ is a given continuous function. Thus the stability index near $t$ depends on the value of the process at $t$. In an earlier paper we constructed self-stabilizing processes using sums over plane Poisson point processes in the case of $\alpha: \mathbb{R}\to (0,1)$ which depended on the almost sure absolute convergence of the sums. Here we construct pure jump self-stabilizing processes when $\alpha$ may take values greater than 1 when convergence may no longer be absolute. We do this in two stages, firstly by setting up a process based on a fixed point set but taking random signs of the summands, and then randomizing the point set to get a process with the desired local properties.


title: Twisted Flato-Fronsdal Theorem for Higher-Spin Algebras

abstract: We explore the relation between the singleton and adjoint modules of higher-spin algebras via so(2,d) characters. In order to relate the tensor product of the singleton and its dual to the adjoint module, we consider a heuristic formula involving symmetrization over the variables of the character. We show that our formula reproduces correctly the adjoint-module character for type-A (and its high-order extensions) and type-B higher-spin gravity theories in any dimension. Implications and subtleties of this symmetrization prescription in other models are discussed.


title: Periods of $t$-modules as special values

abstract: In this article we show that all periods of uniformizable $t$-modules (resp. their coordinates) can be obtained via specializing a rigid analytic trivialization of a related dual $t$-motive at $t=\theta$. The proof is even constructive. The central object in the construction is a subset $H$ of the Tate algebra points of $E$ which turns out to be isomorphic to the period lattice of $E$ via kind of generating series in one direction and residues in the other. This isomorphism even holds for arbitrary $t$-modules $E$, even non-abelian ones.


title: A revised distance to IRAS 16293$-$2422 from VLBA astrometry of associated water masers

abstract: IRAS 16293-2422 is a very well studied young stellar system seen in projection towards the L1689N cloud in the Ophiuchus complex. However, its distance is still uncertain with a range of values from 120 pc to 180 pc. Our goal is to measure the trigonometric parallax of this young star by means of H$_2$O maser emission. We use archival data from 15 epochs of VLBA observations of the 22.2 GHz water maser line. By modeling the displacement on the sky of the H$_2$O maser spots, we derived a trigonometric parallax of $7.1\pm1.3$ mas, corresponding to a distance of $141_{-21}^{+30}$ pc. This new distance is in good agreement with recent values obtained for other magnetically active young stars in the L1689 cloud. We relate the kinematics of these masers with the outflows and the recent ejections powered by source A in the system.


title: The $b$-bibranching Problem: TDI System, Packing, and Discrete Convexity

abstract: In this paper, we introduce the $b$-bibranching problem in digraphs, which is a common generalization of the bibranching and $b$-branching problems. The bibranching problem, introduced by Schrijver (1982), is a common generalization of the branching and bipartite edge cover problems. Previous results on bibranchings include polynomial algorithms, a linear programming formulation with total dual integrality, a packing theorem, and an M-convex submodular flow formulation. The $b$-branching problem, recently introduced by Kakimura, Kamiyama, and Takazawa (2018), is a generalization of the branching problem admitting higher indegree, i.e., each vertex $v$ can have indegree at most $b(v)$. For $b$-branchings, a combinatorial algorithm, a linear programming formulation with total dual integrality, and a packing theorem for branchings are extended. A main contribution of this paper is to extend those previous results on bibranchings and $b$-branchings to $b$-bibranchings. That is, we present a linear programming formulation with total dual integrality, a packing theorem, and an M-convex submodular flow formulation for $b$-bibranchings. In particular, the linear program and M-convex submodular flow formulations respectively imply polynomial algorithms for finding a shortest $b$-bibranching.


title: Learning Robust Options

abstract: Robust reinforcement learning aims to produce policies that have strong guarantees even in the face of environments/transition models whose parameters have strong uncertainty. Existing work uses value-based methods and the usual primitive action setting. In this paper, we propose robust methods for learning temporally abstract actions, in the framework of options. We present a Robust Options Policy Iteration (ROPI) algorithm with convergence guarantees, which learns options that are robust to model uncertainty. We utilize ROPI to learn robust options with the Robust Options Deep Q Network (RO-DQN) that solves multiple tasks and mitigates model misspecification due to model uncertainty. We present experimental results which suggest that policy iteration with linear features may have an inherent form of robustness when using coarse feature representations. In addition, we present experimental results which demonstrate that robustness helps policy iteration implemented on top of deep neural networks to generalize over a much broader range of dynamics than non-robust policy iteration.


title: Full-Frame Scene Coordinate Regression for Image-Based Localization

abstract: Image-based localization, or camera relocalization, is a fundamental problem in computer vision and robotics, and it refers to estimating camera pose from an image. Recent state-of-the-art approaches use learning based methods, such as Random Forests (RFs) and Convolutional Neural Networks (CNNs), to regress for each pixel in the image its corresponding position in the scene's world coordinate frame, and solve the final pose via a RANSAC-based optimization scheme using the predicted correspondences. In this paper, instead of in a patch-based manner, we propose to perform the scene coordinate regression in a full-frame manner to make the computation efficient at test time and, more importantly, to add more global context to the regression process to improve the robustness. To do so, we adopt a fully convolutional encoder-decoder neural network architecture which accepts a whole image as input and produces scene coordinate predictions for all pixels in the image. However, using more global context is prone to overfitting. To alleviate this issue, we propose to use data augmentation to generate more data for training. In addition to the data augmentation in 2D image space, we also augment the data in 3D space. We evaluate our approach on the publicly available 7-Scenes dataset, and experiments show that it has better scene coordinate predictions and achieves state-of-the-art results in localization with improved robustness on the hardest frames (e.g., frames with repeated structures).


title: Recurrent Neural Network-Based Semantic Variational Autoencoder for Sequence-to-Sequence Learning

abstract: Sequence-to-sequence (Seq2seq) models have played an important role in the recent success of various natural language processing methods, such as machine translation, text summarization, and speech recognition. However, current Seq2seq models have trouble preserving global latent information from a long sequence of words. Variational autoencoder (VAE) alleviates this problem by learning a continuous semantic space of the input sentence. However, it does not solve the problem completely. In this paper, we propose a new recurrent neural network (RNN)-based Seq2seq model, RNN semantic variational autoencoder (RNN--SVAE), to better capture the global latent information of a sequence of words. To reflect the meaning of words in a sentence properly, without regard to its position within the sentence, we construct a document information vector using the attention information between the final state of the encoder and every prior hidden state. Then, the mean and standard deviation of the continuous semantic space are learned by using this vector to take advantage of the variational method. By using the document information vector to find the semantic space of the sentence, it becomes possible to better capture the global latent feature of the sentence. Experimental results of three natural language tasks (i.e., language modeling, missing word imputation, paraphrase identification) confirm that the proposed RNN--SVAE yields higher performance than two benchmark models.


title: Using Discretization for Extending the Set of Predictive Features

abstract: To date, attribute discretization is typically performed by replacing the original set of continuous features with a transposed set of discrete ones. This paper provides support for a new idea that discretized features should often be used in addition to existing features and as such, datasets should be extended, and not replaced, by discretization. We also claim that discretization algorithms should be developed with the explicit purpose of enriching a non-discretized dataset with discretized values. We present such an algorithm, D-MIAT, a supervised algorithm that discretizes data based on Minority Interesting Attribute Thresholds. D-MIAT only generates new features when strong indications exist for one of the target values needing to be learned and thus is intended to be used in addition to the original data. We present extensive empirical results demonstrating the success of using D-MIAT on $ 28 $ benchmark datasets. We also demonstrate that $ 10 $ other discretization algorithms can also be used to generate features that yield improved performance when used in combination with the original non-discretized data. Our results show that the best predictive performance is attained using a combination of the original dataset with added features from a "standard" supervised discretization algorithm and D-MIAT.


title: Compressibility effects on quasistationary vortex and transient hole patterns through vortex merger

abstract: The effect of compressibility in hydrodynamic vortex merging has been discussed. In the past, in incompressible limit it has been observed that the merging of a collection of intense point-like vortices arranged uniformly outside a circular vortex, can lead to quasistationary vortex patch and transient hole pattern inside the patch via nonlinear merger process. These patterns are akin to \textquoteleft vortex crystals\textquoteright. Compressibility can introduce a natural acoustic scale to the problem. We find that the natural mode is independent of the number of point-like vortices and the amplitude scales linearly with compressibility. Further it has been identified that after merging, the system exhibits oscillation at a natural frequency together with its harmonics and beats with its own harmonics. The power of the frequency is found to scale as $M^{-2}$, where $M$ is the Mach number. Also the vortex crystals formed out of the merging process are found to melt faster as compressibility is increased.


title: Extraordinary supernova iPTF14hls: An attempt at interpretation

abstract: It is shown that the H$\alpha$ luminosity and the Thomson optical depth of the iPTF14hls on day 600 after the detection provide us with the estimate of the envelope age which turns to be about 1000 days. I propose a model that suggests an explosion of a massive star with the radius of $\sim 2\times10^{13}$ cm at 450 days prior to the discovery. For the optimal model the ejected mass is $30\,M_{\odot}$, and the kinetic energy is $8\times10^{51}$ erg. The energy source at the dominant luminosity stage is presumably related to the relativistic bipolar outflow originated from a disk accretion onto the black hole. The [O\,I] 6300, 6364 \AA\ doublet in the spectrum on day 600 is shown to be the result of the emission of at least $1-3\,M_{\odot}$ of oxygen in the ejecta inner zone. The oxygen distribution is non-spherical and can be represented either by two components with blue and red shifts (in the optically thin case), or by one blue shifted component, in the case of optically thick lines for the filling factor of $\sim 2\times10^{-3}$.


title: Projecting UK Mortality using Bayesian Generalised Additive Models

abstract: Forecasts of mortality provide vital information about future populations, with implications for pension and health-care policy as well as for decisions made by private companies about life insurance and annuity pricing. Stochastic mortality forecasts allow the uncertainty in mortality predictions to be taken into consideration when making policy decisions and setting product prices. Longer lifespans imply that forecasts of mortality at ages 90 and above will become more important in such calculations. This paper presents a Bayesian approach to the forecasting of mortality that jointly estimates a Generalised Additive Model (GAM) for mortality for the majority of the age-range and a parametric model for older ages where the data are sparser. The GAM allows smooth components to be estimated for age, cohort and age-specific improvement rates, together with a non-smoothed period effect. Forecasts for the United Kingdom are produced using data from the Human Mortality Database spanning the period 1961-2013. A metric that approximates predictive accuracy under Leave-One-Out cross-validation is used to estimate weights for the `stacking' of forecasts with different points of transition between the GAM and parametric elements. Mortality for males and females are estimated separately at first, but a joint model allows the asymptotic limit of mortality at old ages to be shared between sexes, and furthermore provides for forecasts accounting for correlations in period innovations. The joint and single sex model forecasts estimated using data from 1961-2003 are compared against observed data from 2004-2013 to facilitate model assessment.


title: RSDNet: Learning to Predict Remaining Surgery Duration from Laparoscopic Videos Without Manual Annotations

abstract: Accurate surgery duration estimation is necessary for optimal OR planning, which plays an important role in patient comfort and safety as well as resource optimization. It is, however, challenging to preoperatively predict surgery duration since it varies significantly depending on the patient condition, surgeon skills, and intraoperative situation. In this paper, we propose a deep learning pipeline, referred to as RSDNet, which automatically estimates the remaining surgery duration (RSD) intraoperatively by using only visual information from laparoscopic videos. Previous state-of-the-art approaches for RSD prediction are dependent on manual annotation, whose generation requires expensive expert knowledge and is time-consuming, especially considering the numerous types of surgeries performed in a hospital and the large number of laparoscopic videos available. A crucial feature of RSDNet is that it does not depend on any manual annotation during training, making it easily scalable to many kinds of surgeries. The generalizability of our approach is demonstrated by testing the pipeline on two large datasets containing different types of surgeries: 120 cholecystectomy and 170 gastric bypass videos. The experimental results also show that the proposed network significantly outperforms a traditional method of estimating RSD without utilizing manual annotation. Further, this work provides a deeper insight into the deep learning network through visualization and interpretation of the features that are automatically learned.


title: Production of $W^+ W^-$ pairs via $\gamma^*\gamma^* \to W^+ W^-$ subprocess with photon transverse momenta

abstract: We discuss production of $W^+ W^-$ pairs in proton-proton collisions induced by two-photon fusion including, for a first time, transverse momenta of incoming photons. The unintegrated inelastic fluxes (related to proton dissociation) of photons are calculated based on modern parametrizations of deep inelastic structure functions in a broad range of their arguments ($x$ and $Q^2$). In our approach we can get separate contributions of different $W$ helicities states. Several one- and two-dimensional differential distributions are shown and discussed. The present results are compared to the results of previous calculations within collinear factorization approach. Similar results are found except of some observables such as e.g. transverse momentum of the pair of $W^+$ and $W^-$. We find large contributions to the cross section from the region of large photon virtualities. We show decomposition of the total cross section as well as invariant mass distribution into polarisation states of both W bosons. The role of the longitudinal $F_L$ structure function is quantified. Its inclusion leads to a 4-5 % decrease of the cross section, almost independent of $M_{WW}$.


title: Ordered topographically patterned silicon by insect-inspired capillary submicron stamping

abstract: Insect-inspired capillary submicron stamping and subsequent surface-limited metal-assisted chemical etching (MACE) with ammonium bifluoride as HF source is employed for high-throughput production of ordered topographically patterned silicon (tpSi). Insect feet often possess hairy contact elements through which adhesive secretion is deployed. Thus, arrays of adhesive secretion drops remain as footprints on contact surfaces. Stamps for insect-inspired capillary submicron stamping having surfaces topographically patterned with contact elements mimic the functional principles of such insect feet. They contain spongy continuous nanopore networks penetrating the entire stamps. Any ink (organic, aqueous) may be supplied from the backside of the nanoporous stamps to the contact elements. We generated ordered arrays of AgNO3 dots extending mm^2 on Si by manual stamping with cycle times of a few seconds under ambient conditions; at higher load ordered holey AgNO3 films were obtained. Surface-limited MACE correspondingly yielded either macroporous tpSi or Si pillar arrays. Inkjet printing of polymer solutions onto tpSi yielded patterns of polymer blots conformally covering the tpSi. Such blot patterns could potentially represent a starting point for the development of persistent and scratch-resistant identity labels or QR codes on silicon surfaces.


title: RF assisted switching in magnetic Josephson junctions

abstract: We test the effect of an external RF field on the switching processes of magnetic Josephson junctions (MJJs) suitable for the realization of fast, scalable cryogenic memories compatible with Single Flux Quantum logic. We show that the combined application of microwaves and magnetic field pulses can improve the performances of the device, increasing the separation between the critical current levels corresponding to logical '0' and '1'. The enhancement of the current level separation can be as high as 80% using an optimal set of parameters. We demonstrate that external RF fields can be used as an additional tool to manipulate the memory states, and we expect that this approach may lead to the development of new methods of selecting MJJs and manipulating their states in memory arrays for various applications.


title: Structural and electronic properties of V2O5 and their tuning by doping with 3d elements - Modelling with DFT+U method and dispersion correction

abstract: New electrode materials for alkaline-ion batteries are a timely topic. Among many promising candidates, V2O5 is one of the most interesting cathode materials. While having very high theoretical capacity, in practice, its performance is hindered by low stability and poor conductivity. As regards theoretical descriptions of V2O5, common DFT-GGA calculations fail to reproduce both the electronic and crystal structure. While the band gap is underestimated, the interlayer spacing is overestimated as weak dispersion interactions are not properly described within GGA. Here we show that the combination of the DFT+U method and semi-empirical D2 correction can compensate for the drawbacks of the GGA approximation when it comes to the modelling of V2O5. When compared to common PBE calculations, with a modest increase of the computational cost, PBE+U+D2 fully reproduced the experimental band gap of V2O5, while the errors in the lattice parameters are only a few percent. Using the proposed PBE+U+D2 methodology we studied V2O5 doped with 3d elements (from Sc to Zn). We show that both the structural and electronic parameters are affected by doping. Most importantly, a significant increase of conductivity is expected upon doping, which is of great importance for the application of V2O5 in metal-ion batteries.


title: Piecewise Flat Embedding for Image Segmentation

abstract: We introduce a new multi-dimensional nonlinear embedding -- Piecewise Flat Embedding (PFE) -- for image segmentation. Based on the theory of sparse signal recovery, piecewise flat embedding with diverse channels attempts to recover a piecewise constant image representation with sparse region boundaries and sparse cluster value scattering. The resultant piecewise flat embedding exhibits interesting properties such as suppressing slowly varying signals, and offers an image representation with higher region identifiability which is desirable for image segmentation or high-level semantic analysis tasks. We formulate our embedding as a variant of the Laplacian Eigenmap embedding with an $L_{1,p} (0<p\leq1)$ regularization term to promote sparse solutions. First, we devise a two-stage numerical algorithm based on Bregman iterations to compute $L_{1,1}$-regularized piecewise flat embeddings. We further generalize this algorithm through iterative reweighting to solve the general $L_{1,p}$-regularized problem. To demonstrate its efficacy, we integrate PFE into two existing image segmentation frameworks, segmentation based on clustering and hierarchical segmentation based on contour detection. Experiments on four major benchmark datasets, BSDS500, MSRC, Stanford Background Dataset, and PASCAL Context, show that segmentation algorithms incorporating our embedding achieve significantly improved results.


title: Analysis of the Robustness of Conventional and Topologically Protected Edge States in Phononic Crystal Plates

abstract: In this work we theoretically study the interface acoustic states of resonators on a thin plate with topologically protected and conventional designs. Topologically protected interface state is first analyzed by employing the conception of breaking inversion symmetry within the unit cell of a honeycomb lattice for cylindrical and spherical resonators; we further demonstrate the robustness of the wave propagation along a zig-zag path containing sharp corners, defect and disorder. The wave propagation ceases to be preserved if we increase the degree of disorder along the zig-zag path. In parallel, the conventional interface state is also designed and compared to the same situations. We found that the conventional interface state suffers back scattering in the zig-zag path while it can show a more confined wave transport in some cases. The presence of a defect along the propagation path scatters the conventional interface wave and in particular can prohibit a full propagation in presence of a localized state at the defect. If the zig-zag path is made disordered, the propagation of the conventional interface mode can be conserved at given frequencies for a low random degree and disappears for higher random degree as the interface bands become flat in dispersion and turn to localized states. Finally, we show that the immunity of the topologically protected design needs the interface to be surrounded by at least two hexagons of the phononic crystals on both sides, especially at the sharp corners in the zig-zag path, while the conventional design only needs one hexagon bulk media with the advantage of compact wave transport. This work puts a step forward for the interface states in micro-/nano-scale characterization and figures out the behaviors for both topologically protected and conventional interface states.


title: Exponential mixing for a class of dissipative PDEs with bounded degenerate noise

abstract: We study a class of discrete-time random dynamical systems with compact phase space. Assuming that the deterministic counterpart of the system in question possesses a dissipation property, its linearisation is approximately controllable, and the driving noise is bounded and has a decomposable structure, we prove that the corresponding family of Markov processes has a unique stationary measure, which is exponentially mixing in the dual-Lipschitz metric. The abstract result is applicable to nonlinear dissipative PDEs perturbed by a bounded random force which affects only a few Fourier modes. We assume that the nonlinear PDE in question is well posed, its nonlinearity is non-degenerate in the sense of the control theory, and the random force is a regular and bounded function of time which satisfies some decomposability and observability hypotheses. This class of forces includes random Haar series, where the coefficients for high Haar modes decay sufficiently fast. In particular, the result applies to the 2D Navier-Stokes system and the nonlinear complex Ginzburg-Landau equations. The proof of the abstract theorem uses the coupling method, enhanced by the Newton-Kantorovich-Kolmogorov fast convergence.


title: Projective lines in the affine flag manifold with given tangent root vector

abstract: We first describe the tangent space to the affine flag manifold associated to a simple algebraic group over $\mathbb{C}$ at the distinguished point starting from standard definitions. We then construct projective lines in the affine flag manifold tangent to given root vectors associated to imaginary roots of the corresponding affine Kac-Moody algebra and describe in which Schubert varieties they lie.


title: Multiple Target Tracking by Learning Feature Representation and Distance Metric Jointly

abstract: Designing a robust affinity model is the key issue in multiple target tracking (MTT). This paper proposes a novel affinity model by learning feature representation and distance metric jointly in a unified deep architecture. Specifically, we design a CNN network to obtain appearance cue tailored towards person Re-ID, and an LSTM network for motion cue to predict target position, respectively. Both cues are combined with a triplet loss function, which performs end-to-end learning of the fused features in a desired embedding space. Experiments in the challenging MOT benchmark demonstrate, that even by a simple Linear Assignment strategy fed with affinity scores of our method, very competitive results are achieved when compared with the most recent state-of-theart approaches.


title: Recent studies on single-shot diagnostics for plasma accelerators at SPARC_LAB

abstract: Plasma wakefield acceleration is the most promising acceleration technique for compact and cheap accelerators, thanks to the high accelerating gradients achievable. Nevertheless, this approach still suffers of shot-to-shot instabilities, mostly related to experimental parameters fluctuations. Therefore, the use of single shot diagnostics is needed to properly understand the acceleration mechanism. In this work, we present two diagnostics to probe electron beams from laser-plasma interactions, one relying on Electro Optical Sampling (EOS) for laser-solid matter interactions, the other one based on Optical Transition Radiation (OTR) for single shot measurements of the transverse emittance of plasma accelerated electron beams, both developed at the SPARC_LAB Test Facility.


title: Triplet-based Deep Similarity Learning for Person Re-Identification

abstract: In recent years, person re-identification (re-id) catches great attention in both computer vision community and industry. In this paper, we propose a new framework for person re-identification with a triplet-based deep similarity learning using convolutional neural networks (CNNs). The network is trained with triplet input: two of them have the same class labels and the other one is different. It aims to learn the deep feature representation, with which the distance within the same class is decreased, while the distance between the different classes is increased as much as possible. Moreover, we trained the model jointly on six different datasets, which differs from common practice - one model is just trained on one dataset and tested also on the same one. However, the enormous number of possible triplet data among the large number of training samples makes the training impossible. To address this challenge, a double-sampling scheme is proposed to generate triplets of images as effective as possible. The proposed framework is evaluated on several benchmark datasets. The experimental results show that, our method is effective for the task of person re-identification and it is comparable or even outperforms the state-of-the-art methods.


title: A universal-algebraic proof of the complexity dichotomy for Monotone Monadic SNP

abstract: The logic MMSNP is a restricted fragment of existential second-order logic which allows to express many interesting queries in graph theory and finite model theory. The logic was introduced by Feder and Vardi who showed that every MMSNP sentence is computationally equivalent to a finite-domain constraint satisfaction problem (CSP); the involved probabilistic reductions were derandomized by Kun using explicit constructions of expander structures. We present a new proof of the reduction to finite-domain CSPs which does not rely on the results of Kun. This new proof allows us to obtain a stronger statement and to verify the more general Bodirsky-Pinsker dichotomy conjecture for CSPs in MMSNP. Our approach uses the fact that every MMSNP sentence describes a finite union of CSPs for countably infinite $\omega$-categorical structures; moreover, by a recent result of Hubi\v{c}ka and Ne\v{s}et\v{r}il, these structures can be expanded to homogeneous structures with finite relational signature and the Ramsey property. This allows us to use the universal-algebraic approach to study the computational complexity of MMSNP.


title: Antiferromagnetic ground state in the MnGa$_4$ intermetallic compound

abstract: Magnetism of the binary intermetallic compound MnGa$_4$ is re-investigated. Band-structure calculations predict antiferromagnetic behavior in contrast to Pauli paramagnetism reported previously. Magnetic susceptibility measurements on single crystals indeed reveal an antiferromagnetic transition at $T_N=393$ K. Neutron powder diffraction and $^{69,71}$Ga nuclear quadrupole resonance spectroscopy show collinear antiferromagnetic order with magnetic moments alligned along the [111] direction of the cubic unit cell. The magnetic moment of 0.80(3)$\mu_B$ at 1.5 K extracted from the neutron data is in good agreement with the band-structure results.


title: Video Event Recognition and Anomaly Detection by Combining Gaussian Process and Hierarchical Dirichlet Process Models

abstract: In this paper, we present an unsupervised learning framework for analyzing activities and interactions in surveillance videos. In our framework, three levels of video events are connected by Hierarchical Dirichlet Process (HDP) model: low-level visual features, simple atomic activities, and multi-agent interactions. Atomic activities are represented as distribution of low-level features, while complicated interactions are represented as distribution of atomic activities. This learning process is unsupervised. Given a training video sequence, low-level visual features are extracted based on optic flow and then clustered into different atomic activities and video clips are clustered into different interactions. The HDP model automatically decide the number of clusters, i.e. the categories of atomic activities and interactions. Based on the learned atomic activities and interactions, a training dataset is generated to train the Gaussian Process (GP) classifier. Then the trained GP models work in newly captured video to classify interactions and detect abnormal events in real time. Furthermore, the temporal dependencies between video events learned by HDP-Hidden Markov Models (HMM) are effectively integrated into GP classifier to enhance the accuracy of the classification in newly captured videos. Our framework couples the benefits of the generative model (HDP) with the discriminant model (GP). We provide detailed experiments showing that our framework enjoys favorable performance in video event classification in real-time in a crowded traffic scene.


title: On the accuracy of mass measurement for microlensing black holes as seen by Gaia and OGLE

abstract: We investigate the impact of combining Gaia astrometry from space with precise, high cadence OGLE photometry from the ground. For the archival event OGLE3-ULENS-PAR-02, which is likely a black hole, we simulate a realistic astrometric time-series of Gaia measurements and combine it with the real photometric data collected by the OGLE project. We predict that at the end of the nominal 5 years of the Gaia mission, for the events brighter than $G\approx15.5$ mag at the baseline, caused by objects heavier than 10 $M_{\odot}$, it will be possible to unambiguously derive masses of the lenses, with accuracy between a few to 15 per cent. We find that fainter events ($G<17.5$) can still have their lens masses determined, provided that they are heavier than 30 $M_{\odot}$. We estimate that the rate of astrometric microlensing events caused by the stellar-origin black holes is $\approx 4 \times 10^{-7} \, \rm yr^{-1}$, which implies, that after 5 years of Gaia operation and $\approx 5 \times 10^6$ bright sources in Gaia, it will be possible to identify few such events in the Gaia final catalogues.


title: Optimal data fitting: a moment approach

abstract: We propose a moment relaxation for two problems, the separation and covering problem with semi-algebraic sets generated by a polynomial of degree d. We show that (a) the optimal value of the relaxation finitely converges to the optimal value of the original problem, when the moment order r increases and (b) after performing some small perturbation of the original problem, convergence can be achieved with r=d. We further provide a practical iterative algorithm that is computationally tractable for large datasets and present encouraging computational results.


title: The MUCHFUSS photometric campaign

abstract: Hot subdwarfs (sdO/Bs) are the helium-burning cores of red giants, which lost almost all of their hydrogen envelopes. This mass loss is often triggered by common envelope interactions with close stellar or even substellar companions. Cool companions like late-type stars or brown dwarfs are detectable via characteristic light curve variations like reflection effects and often also eclipses. To search for such objects we obtained multi-band light curves of 26 close sdO/B binary candidates from the MUCHFUSS project with the BUSCA instrument. We discovered a new eclipsing reflection effect system ($P=0.168938$~d) with a low-mass M dwarf companion ($0.116 M_{\rm \odot}$). Three more reflection effect binaries found in the course of the campaign were already published, two of them are eclipsing systems, in one system only showing the reflection effect but no eclipses the sdB primary is found to be pulsating. Amongst the targets without reflection effect a new long-period sdB pulsator was discovered and irregular light variations were found in two sdO stars. The found light variations allowed us to constrain the fraction of reflection effect binaries and the substellar companion fraction around sdB stars. The minimum fraction of reflection effect systems amongst the close sdB binaries might be greater than 15\% and the fraction of close substellar companions in sdB binaries might be as high as $8.0\%$. This would result in a close substellar companion fraction to sdB stars of about 3\%. This fraction is much higher than the fraction of brown dwarfs around possible progenitor systems, which are solar-type stars with substellar companions around 1 AU, as well as close binary white dwarfs with brown dwarf companions. This might be a hint that common envelope interactions with substellar objects are preferentially followed by a hot subdwarf phase.


title: Topological Hochschild homology and integral $p$-adic Hodge theory

abstract: In mixed characteristic and in equal characteristic $p$ we define a filtration on topological Hochschild homology and its variants. This filtration is an analogue of the filtration of algebraic $K$-theory by motivic cohomology. Its graded pieces are related in mixed characteristic to the complex $A\Omega$ constructed in our previous work, and in equal characteristic $p$ to crystalline cohomology. Our construction of the filtration on $\mathrm{THH}$ is via flat descent to semiperfectoid rings. As one application, we refine the construction of the $A\Omega$-complex by giving a cohomological construction of Breuil--Kisin modules for proper smooth formal schemes over $\mathcal O_K$, where $K$ is a discretely valued extension of $\mathbb Q_p$ with perfect residue field. As another application, we define syntomic sheaves $\mathbb Z_p(n)$ for all $n\geq 0$ on a large class of $\mathbb Z_p$-algebras, and identify them in terms of $p$-adic nearby cycles in mixed characteristic, and in terms of logarithmic de~Rham-Witt sheaves in equal characteristic $p$.


title: A new approach to computing the asymptotics of the position of Fisher-KPP fronts

abstract: This paper presents a novel way of computing front positions in Fisher-KPP equations. Our method is based on an exact relation between the Laplace transform of the initial condition and some integral functional of the front position. Using singularity analysis, one can obtain the asymptotics of the front position up to the O(log t/t) term. Our approach is robust and can be generalised to other front equations.


title: Minimal kernels of Dirac operators along maps

abstract: Let $M$ be a closed spin manifold and let $N$ be a closed manifold. For maps $f\colon M\to N$ and Riemannian metrics $g$ on $M$ and $h$ on $N$, we consider the Dirac operator $D^f_{g,h}$ of the twisted Dirac bundle $\Sigma M\otimes_{\mathbb{R}} f^*TN$. To this Dirac operator one can associate an index in $KO^{-dim(M)}(pt)$. If $M$ is $2$-dimensional, one gets a lower bound for the dimension of the kernel of $D^f_{g,h}$ out of this index. We investigate the question whether this lower bound is obtained for generic tupels $(f,g,h)$.


title: Mesoscopic simulations of anisotropic chemically-powered nanomotors

abstract: Chemically powered self-propelled colloids generate a motor force by converting locally a source of energy into directed motion, a process that has been explored both in experiments and in computational models. The use of active colloids as building blocks for nanotechnology opens the doors to interesting applications, provided we understand the behaviour of these elementary constituents. We build a consistent mesoscopic simulation model for self-propelled colloids of complex shape with the aim of resolving the coupling between their translational and rotational motion. Considering a passive L-shaped colloidal particle, we study its Brownian dynamics and locate its center of hydrodynamics, the tracking point at which translation and rotation decouple. The active L particle displays the same circling trajectories that have been found experimentally, a result which we compare with the Brownian dynamics model. We put forward the role of hydrodynamics by comparing our results with a fluid model in which the particles' velocities are reset randomly. There, the trajectories only display random orientations. We obtain these original simulation results without any parametrization of the algorithm, which makes it a useful method for the preliminary study of active colloids, prior to experimental work.


title: A self-similar aperiodic set of 19 Wang tiles

abstract: We define a Wang tile set $\mathcal{U}$ of cardinality 19 and show that the set $\Omega_\mathcal{U}$ of all valid Wang tilings $\mathbb{Z}^2\to\mathcal{U}$ is self-similar, aperiodic and is a minimal subshift of $\mathcal{U}^{\mathbb{Z}^2}$. Thus $\mathcal{U}$ is the second smallest self-similar aperiodic Wang tile set known after Ammann's set of 16 Wang tiles. The proof is based on the unique composition property. We prove the existence of an expansive, primitive and recognizable $2$-dimensional morphism $\omega:\Omega_\mathcal{U}\to\Omega_\mathcal{U}$ that is onto up to a shift. The proof of recognizability is done in two steps using at each step the same criteria (the existence of marker tiles) for proving the existence of a recognizable one-dimensional substitution that sends each tile either on a single tile or on a domino of two tiles.


title: Analysis of Summatory Functions of Regular Sequences: Transducer and Pascal's Rhombus

abstract: The summatory function of a $q$-regular sequence in the sense of Allouche and Shallit is analysed asymptotically. The result is a sum of periodic fluctuations for eigenvalues of absolute value larger than the joint spectral radius of the matrices of a linear representation of the sequence. The Fourier coefficients of the fluctuations are expressed in terms of residues of the corresponding Dirichlet generating function. A known pseudo Tauberian argument is extended in order to overcome convergence problems in Mellin--Perron summation. Two examples are discussed in more detail: The case of sequences defined as the sum of outputs written by a transducer when reading a $q$ary expansion of the input and the number of odd entries in the rows of Pascal's rhombus.


title: Analog gravity in nonisentropic fluids

abstract: The analog acoustic metric has been originally derived for adiabatic acoustic perturbations propagating in an isentropic irrotational ideal fluid. In the framework of a Lagrangian hydrodynamic description we demonstrate that under certain conditions the usual acoustic metric can be derived for nonisentropic fluids. In a special case when the pressure takes a special form and the nonadiabatic perturbations are neglected the adiabatic acoustic perturbations corresponding to massless phonons propagate in an analog metric of the usual type.


title: Efficient Neural Architecture Search via Parameter Sharing

abstract: We propose Efficient Neural Architecture Search (ENAS), a fast and inexpensive approach for automatic model design. In ENAS, a controller learns to discover neural network architectures by searching for an optimal subgraph within a large computational graph. The controller is trained with policy gradient to select a subgraph that maximizes the expected reward on the validation set. Meanwhile the model corresponding to the selected subgraph is trained to minimize a canonical cross entropy loss. Thanks to parameter sharing between child models, ENAS is fast: it delivers strong empirical performances using much fewer GPU-hours than all existing automatic model design approaches, and notably, 1000x less expensive than standard Neural Architecture Search. On the Penn Treebank dataset, ENAS discovers a novel architecture that achieves a test perplexity of 55.8, establishing a new state-of-the-art among all methods without post-training processing. On the CIFAR-10 dataset, ENAS designs novel architectures that achieve a test error of 2.89%, which is on par with NASNet (Zoph et al., 2018), whose test error is 2.65%.


title: Unsupervised Deep Domain Adaptation for Pedestrian Detection

abstract: This paper addresses the problem of unsupervised domain adaptation on the task of pedestrian detection in crowded scenes. First, we utilize an iterative algorithm to iteratively select and auto-annotate positive pedestrian samples with high confidence as the training samples for the target domain. Meanwhile, we also reuse negative samples from the source domain to compensate for the imbalance between the amount of positive samples and negative samples. Second, based on the deep network we also design an unsupervised regularizer to mitigate influence from data noise. More specifically, we transform the last fully connected layer into two sub-layers - an element-wise multiply layer and a sum layer, and add the unsupervised regularizer to further improve the domain adaptation accuracy. In experiments for pedestrian detection, the proposed method boosts the recall value by nearly 30% while the precision stays almost the same. Furthermore, we perform our method on standard domain adaptation benchmarks on both supervised and unsupervised settings and also achieve state-of-the-art results.


title: Synchronization Invariance Under Network Structural Transformations

abstract: Synchronization processes are ubiquitous despite the many connectivity patterns that complex systems can show. Usually, the emergence of synchrony is a macroscopic observable, however, the microscopic details of the system, as e.g. the underlying network of interactions, is many times partially or totally unknown. We already know that different interaction structures can give rise to a common functionality, understood as a common macroscopic observable. Building upon this fact, here, we propose network transformations that keep the collective behavior of a large system of Kuramoto oscillators functionally invariant. We derive a method based on information theory principles, that allows us to adjust the weights of the structural interactions to map random homogeneous -in degree- networks into random heterogeneous networks and vice-versa, keeping synchronization values invariant. The results of the proposed transformations reveal an interesting principle; heterogeneous networks can be mapped to homogeneous ones with local information, but the reverse process needs to exploit higher-order information. The formalism provides new analytical insight to tackle real complex scenarios when dealing with uncertainty in the measurements of the underlying connectivity structure.


title: Enhancing Performance of Random Caching in Large-Scale Heterogeneous Wireless Networks with Random Discontinuous Transmission

abstract: To make better use of file diversity provided by random caching and improve the successful transmission probability (STP) of a file, we consider retransmissions with random discontinuous transmission (DTX) in a large-scale cache-enabled heterogeneous wireless network (HetNet) employing random caching. We analyze and optimize the STP in two mobility scenarios, i.e., the high mobility scenario and the static scenario. First, in each scenario, by using tools from stochastic geometry, we obtain the closed-form expressions for the STP in the general and low signal-to-interference ratio (SIR) threshold regimes, respectively. The analysis shows that a larger caching probability corresponds to a higher STP in both scenarios; random DTX can improve the STP in the static scenario and its benefit gradually diminishes when mobility increases. Then, in each scenario, we consider the maximization of the STP with respect to the caching probability and the BS activity probability, which is a challenging non-convex optimization problem. In particular, in the high mobility scenario, we obtain a globally optimal solution using interior point method. In the static scenario, we develop a low-complexity iterative algorithm to obtain a stationary point using alternating optimization. Finally, numerical results show that the proposed solutions achieve significant gains over existing baseline schemes and can well adapt to the changes of the system parameters to wisely utilize storage resources and transmission opportunities.


title: The ESO Survey of Non-Publishing Programmes

abstract: One of the classic ways to measure the success of a scientific facility is the publication return, which is defined as the number of refereed papers produced per unit of allocated resources (for example, telescope time or proposals). The recent studies by Sterzik et al. (2015, 2016) have shown that 30-50 % of the programmes allocated time at ESO do not produce a refereed publication. While this may be inherent to the scientific process, this finding prompted further investigation. For this purpose, ESO conducted a Survey of Non-Publishing Programmes (SNPP) within the activities of the Time Allocation Working Group, similar to the monitoring campaign that was recently implemented at ALMA (Stoehr et al. 2016). The SNPP targeted 1278 programmes scheduled between ESO Periods 78 and 90 (October 2006 to March 2013) that had not published a refereed paper as of April 2016. The poll was launched on 6 May 2016, remained open for four weeks, and returned 965 valid responses. This article summarises and discusses the results of this survey, the first of its kind at ESO.


title: Lower tail of the KPZ equation

abstract: We provide the first tight bounds on the lower tail probability of the one point distribution of the KPZ equation with narrow wedge initial data. Our bounds hold for all sufficiently large times $T$ and demonstrates a crossover between super-exponential decay with exponent $5/2$ (and leading pre-factor $\frac{4}{15\pi} T^{1/3}$) for tail depth greater than $T^{2/3}$, and exponent $3$ (with leading pre-factor $\frac{1}{12}$) for tail depth less than $T^{2/3}$.

categories: math.PR cond-mat.stat-mech math-ph math.MP


title: Augmented Reality needle ablation guidance tool for Irreversible Electroporation in the pancreas

abstract: Irreversible electroporation (IRE) is a soft tissue ablation technique suitable for treatment of inoperable tumours in the pancreas. The process involves applying a high voltage electric field to the tissue containing the mass using needle electrodes, leaving cancerous cells irreversibly damaged and vulnerable to apoptosis. Efficacy of the treatment depends heavily on the accuracy of needle placement and requires a high degree of skill from the operator. In this paper, we describe an Augmented Reality (AR) system designed to overcome the challenges associated with planning and guiding the needle insertion process. Our solution, based on the HoloLens (Microsoft, USA) platform, tracks the position of the headset, needle electrodes and ultrasound (US) probe in space. The proof of concept implementation of the system uses this tracking data to render real-time holographic guides on the HoloLens, giving the user insight into the current progress of needle insertion and an indication of the target needle trajectory. The operator's field of view is augmented using visual guides and real-time US feed rendered on a holographic plane, eliminating the need to consult external monitors. Based on these early prototypes, we are aiming to develop a system that will lower the skill level required for IRE while increasing overall accuracy of needle insertion and, hence, the likelihood of successful treatment.


title: Slice Sampling Particle Belief Propagation

abstract: Inference in continuous label Markov random fields is a challenging task. We use particle belief propagation (PBP) for solving the inference problem in continuous label space. Sampling particles from the belief distribution is typically done by using Metropolis-Hastings Markov chain Monte Carlo methods which involves sampling from a proposal distribution. This proposal distribution has to be carefully designed depending on the particular model and input data to achieve fast convergence. We propose to avoid dependence on a proposal distribution by introducing a slice sampling based PBP algorithm. The proposed approach shows superior convergence performance on an image denoising toy example. Our findings are validated on a challenging relational 2D feature tracking application.


title: Shadow of a noncommutative geometry inspired Ay\'on Beato Garc\'ia black hole

abstract: We introduce the noncommutative geometry inspired Ay\'on Beato Garc\'ia black hole metric and study various properties of this metric by which we try to probe the allowed values of the noncommutative parameter $\vartheta$ under certain conditions. We then construct the shadow (apparent shape) cast by this black hole. We derive the corresponding photon orbits and explore the effects of noncommutative spacetime on them. We then study the effects of noncommutative parameter $\vartheta$, smeared mass $m(r)$, smeared charge $q(r)$ on the silhouette of the shadow analytically and present the results graphically. We then discuss the deformation which arises in the shape of the shadow under various conditions. Finally, we introduce a plasma background and observe how the shadow behaves in this scenario.


title: Mechanism for Resolving Gauge Hierarchy and Large Vacuum Energy

abstract: Alternative forms of the solutions to the quantum field equations and their implications for physical theory are considered. Incorporation of these alternative solution forms, herein deemed "supplemental solutions", into the development of quantum field theory leads to a unique class of particle states, which may provide simple resolutions of more than one extant problem in high energy physics. The symmetry between the traditional and supplemental solutions results in a direct and natural zero-point energy value of zero, and, as well, a possible mechanism for cancelling the Higgs condensate energy, thereby providing a potential resolution of the large cosmological constant problem. Further, this symmetry may also resolve the Higgs gauge hierarchy problem. Resolutions of seeming theoretic impediments to supplemental fields, in particular, non-positive definite Fock space metric and vacuum decay, are presented, and concomitant implications for unitarity are considered. As supplemental solutions are already inherent in quantum field theory, little change is required to the fundamental mathematics of the theory.


title: The weak-field-limit solution for Kerr black hole in radiation gauge

abstract: In this work we present the solution for a rotating Kerr black hole in the weak-field limit under the radiation gauge proposed by Chen and Zhu [Phys. Rev. D83, 061501(R) (2011)], with which the two physical components of the gravitational wave can be picked out exactly.


title: Temporally Object-based Video Co-Segmentation

abstract: In this paper, we propose an unsupervised video object co-segmentation framework based on the primary object proposals to extract the common foreground object(s) from a given video set. In addition to the objectness attributes and motion coherence our framework exploits the temporal consistency of the object-like regions between adjacent frames to enrich the set of original object proposals. We call the enriched proposal sets temporal proposal streams, as they are composed of the most similar proposals from each frame augmented with predicted proposals using temporally consistent superpixel information. The temporal proposal streams represent all the possible region tubes of the objects. Therefore, we formulate a graphical model to select a proposal stream for each object in which the pairwise potentials consist of the appearance dissimilarity between different streams in the same video and also the similarity between the streams in different videos. This model is suitable for single (multiple) foreground objects in two (more) videos, which can be solved by any existing energy minimization method. We evaluate our proposed framework by comparing it to other video co-segmentation algorithms. Our method achieves improved performance on state-of-the-art benchmark datasets.


title: A Practical Guide to Multi-image Alignment

abstract: Multi-image alignment, bringing a group of images into common register, is an ubiquitous problem and the first step of many applications in a wide variety of domains. As a result, a great amount of effort is being invested in developing efficient multi-image alignment algorithms. Little has been done, however, to answer fundamental practical questions such as: what is the comparative performance of existing methods? is there still room for improvement? under which conditions should one technique be preferred over another? does adding more images or prior image information improve the registration results? In this work, we present a thorough analysis and evaluation of the main multi-image alignment methods which, combined with theoretical limits in multi-image alignment performance, allows us to organize them under a common framework and provide practical answers to these essential questions.


title: Universality of phonon transport in surface-roughness dominated nanowires

abstract: We analyze, both theoretically and numerically, the temperature dependent thermal conductivity \k{appa} of two-dimensional nanowires with surface roughness. Although each sample is characterized by three independent parameters - the diameter (width) of the wire, the correlation length and strength of the surface corrugation - our theory predicts that there exists a universal regime where \k{appa} is a function of a single combination of all three model parameters. Numerical simulations of propagation of acoustic phonons across thin wires confirm this universality and predict a d 1/2 dependence of \k{appa} on the diameter d.


title: Chaotic synchronization of two optical cavity modes in optomechanical systems

abstract: The synchronization of the motion of microresonators has attracted considerable attention. Here we present theoretical methods to synchronize the chaotic motion of two optical cavity modes in an optomechanical system, in which one of the optical modes is strongly driven into chaotic motion and is coupled to another weakly-driven optical mode mediated by a mechanical resonator. In these optomechanical systems, we can obtain both complete and phase synchronization of the optical cavity modes in chaotic motion, starting from different initial states. We find that complete synchronization of chaos can be achieved in two identical cavity modes. In the strong-coupling small-detuning regime, we also {produce} phase synchronization of chaos between two nonidentical cavity modes.


title: Chiral magnetic effect search in p(d)+Au, Au+Au collisions at RHIC

abstract: The chiral magnetic effect (CME) refers to charge separation along a strong magnetic field of single-handed quarks, caused by interactions with topological gluon fields from QCD vacuum fluctuations. A major background of CME measurements in heavy-ion collisions comes from resonance decays coupled with elliptical flow anisotropy. These proceedings present two new studies from STAR to shed further light on the background issue: (1) small system p+Au and d+Au collisions where the CME signal is not expected, and (2) pair invariant mass dependence where resonance peaks can be identified.


title: Mini-Batch Stochastic ADMMs for Nonconvex Nonsmooth Optimization

abstract: With the large rising of complex data, the nonconvex models such as nonconvex loss function and nonconvex regularizer are widely used in machine learning and pattern recognition. In this paper, we propose a class of mini-batch stochastic ADMMs (alternating direction method of multipliers) for solving large-scale nonconvex nonsmooth problems. We prove that, given an appropriate mini-batch size, the mini-batch stochastic ADMM without variance reduction (VR) technique is convergent and reaches a convergence rate of $O(1/T)$ to obtain a stationary point of the nonconvex optimization, where $T$ denotes the number of iterations. Moreover, we extend the mini-batch stochastic gradient method to both the nonconvex SVRG-ADMM and SAGA-ADMM proposed in our initial manuscript \cite{huang2016stochastic}, and prove these mini-batch stochastic ADMMs also reaches the convergence rate of $O(1/T)$ without condition on the mini-batch size. In particular, we provide a specific parameter selection for step size $\eta$ of stochastic gradients and penalty parameter $\rho$ of augmented Lagrangian function. Finally, extensive experimental results on both simulated and real-world data demonstrate the effectiveness of the proposed algorithms.


title: On sequences covering all rainbow $k$-progressions

abstract: Let $\text{ac}(n,k)$ denote the smallest positive integer with the property that there exists an $n$-colouring $f$ of $\{1,\dots,\text{ac}(n,k)\}$ such that for every $k$-subset $R \subseteq \{1, \dots, n\}$ there exists an (arithmetic) $k$-progression $A$ in $\{1,\dots,\text{ac}(n,k)\}$ with $\{f(a) : a \in A\} = R$. Determining the behaviour of the function $\text{ac}(n,k)$ is a previously unstudied problem. We use the first moment method to give an asymptotic upper bound for $\text{ac}(n,k)$ for the case $k = o(n^{1/{5}})$.


title: Explicit size distributions of failure cascades redefine systemic risk on finite networks

abstract: How big is the risk that a few initial failures of nodes in a network amplify to large cascades that span a substantial share of all nodes? Predicting the final cascade size is critical to ensure the functioning of a system as a whole. Yet, this task is hampered by uncertain or changing parameters and missing information. In infinitely large networks, the average cascade size can often be well estimated by established approaches building on local tree approximations and mean field approximations. Yet, as we demonstrate, in finite networks, this average does not even need to be a likely outcome. Instead, we find broad and even bimodal cascade size distributions. This phenomenon persists for system sizes up to $10^{7}$ and different cascade models, i.e. it is relevant for most real systems. To show this, we derive explicit closed-form solutions for the full probability distribution of the final cascade size. We focus on two topological limit cases, the complete network representing a dense network with a very narrow degree distribution, and the star network representing a sparse network with a inhomogeneous degree distribution. Those topologies are of great interest, as they either minimize or maximize the average cascade size and are common motifs in many real world networks.


title: Resource Pooling in Large-Scale Content Delivery Systems

abstract: Content delivery networks are a key infrastructure component used by Video on Demand (VoD) services to deliver content over the Internet. We study a content delivery system consisting of a central server and multiple co-located caches, each with limited storage and service capabilities. This work evaluates the performance of such a system as a function of the storage capacity of the caches, the content replication strategy, and the service policy. This analysis can be used for a system-level optimization of these design choices. The focus of this work is on understanding the benefits of allowing caches to pool their resources to serve user requests. We show that the benefits of resource pooling depend on the popularity profile of the contents offered by the VoD service. More specifically, if the popularity does not vary drastically across contents, resource pooling can lead to significant improvements in the system performance. In contrast, if the content popularity is uneven, the benefits of resource pooling are negligible.


title: Convective Excitation of Inertial Modes in Binary Neutron Star Mergers

abstract: We present the first very long-term simulations (extending up to ~140 ms after merger) of binary neutron star mergers with piecewise polytropic equations of state and in full general relativity. Our simulations reveal that at a time of 30-50 ms after merger, parts of the star become convectively unstable, which triggers the excitation of inertial modes. The excited inertial modes are sustained up to several tens of milliseconds and are potentially observable by the planned third-generation gravitational-wave detectors at frequencies of a few kilohertz. Since inertial modes depend on the rotation rate of the star and they are triggered by a convective instability in the postmerger remnant, their detection in gravitational waves will provide a unique opportunity to probe the rotational and thermal state of the merger remnant. In addition, our findings have implications for the long-term evolution and stability of binary neutron star remnants


title: Sharpness for Inhomogeneous Percolation on Quasi-Transitive Graphs

abstract: In this note we study the phase transition for percolation on quasi-transitive graphs with quasi-transitively inhomogeneous edge-retention probabilities. A quasi-transitive graph is an infinite graph with finitely many different "types" of edges and vertices. We prove that the transition is sharp almost everywhere, i.e., that in the subcritical regime the expected cluster size is finite, and that in the subcritical regime the probability of the one-arm event decays exponentially. Our proof extends the proof of sharpness of the phase transition for homogeneous percolation on vertex-transitive graphs by Duminil-Copin and Tassion [Comm. Math. Phys., 2016], and the result generalizes previous results of Antunovi\'c and Veseli\'c [J. Stat. Phys., 2008] and Menshikov [Dokl. Akad. Nauk 1986].


title: $f(R)$ quantum cosmology: avoiding the Big Rip

abstract: Extended theories of gravity have gathered a lot of attention over the last years, for they not only provide an excellent framework to describe the inflationary era but also yields an alternative to the elusive and mysterious dark energy. Among the different extended theories of gravity, on this work we focus on metric $f(R)$ theories. In addition, it is well known that if the late-time acceleration of the universe is stronger than the one induced by a cosmological constant then some future cosmic singularities might arise, being the Big Rip the most virulent one. Following this reasoning, on this work, we analyse the Big Rip singularity in the framework of $f(R)$ quantum geometrodynamics. Invoking the DeWitt criterium, i. e. that the wave function vanishes at the classical singularity, we proof that a class of solutions to the Wheeler-DeWitt equation fulfilling this condition can be found. Therefore, this result hints towards the avoidance of the Big Rip in metric $f(R)$ theories of gravity.


title: Binding quantum matter and space-time, without romanticism

abstract: Understanding the emergence of a tangible 4-dimensional space-time from a quantum theory of gravity promises to be a tremendously difficult task. This article makes the case that this task may not have to be carried. Space-time as we know it may be fundamental to begin with. I recall the common arguments against this possibility and review a class of recently discovered models bypassing the most serious objection. The generic solution of the measurement problem that is tied to semiclassical gravity as well as the difficulty of the alternative make it a reasonable default option in the absence of decisive experimental evidence.


title: Mathematical Logic in Computer Science

abstract: The article retraces major events and milestones in the mutual influences between mathematical logic and computer science since the 1950s.


title: Gravitational lensing by magnetized compact object in the presence of plasma

abstract: We study the gravitational lensing in the weak field approximation assuming the presence of a plasma and of a magnetic field around a compact gravitational source. The external magnetic field causes the split of the image, as the counterpart of the Zeeman effect. The magnetic field affects the magnification of images, creating additional components. We also study the time delay of an electromagnetic signal due to the geometry and the gravitational field around the source. We show that the time delay strongly depends on the plasma parameters. Lastly, we consider the effects of the presence of an inhomogeneous plasma on the gravitational lensing.


title: A fast speed planning algorithm for robotic manipulators

abstract: We consider the speed planning problem for a robotic manipulator. In particular, we present an algorithm for finding the time-optimal speed law along an assigned path that satisfies velocity and acceleration constraints and respects the maximum forces and torques allowed by the actuators. The addressed optimization problem is a finite dimensional reformulation of the continuous-time speed optimization problem, obtained by discretizing the speed profile with N points. The proposed algorithm has linear complexity with respect to N and to the number of degrees of freedom. Such complexity is the best possible for this problem. Numerical tests show that the proposed algorithm is significantly faster than algorithms already existing in literature.