title: Imprints of quasar duty cycle on the 21cm signal from the Epoch of Reionization

abstract: Quasars contribute to the 21-cm signal from the Epoch of Reionization (EoR) primarily through their ionizing UV and X-ray emission. However, their radio continuum and Lyman-band emission also regulates the 21-cm signal in their direct environment, potentially leaving the imprint of their duty cycle. We develop a model for the radio and UV luminosity functions of quasars from the EoR, and constrain it using recent observations. Our model is consistent with the z~7.5 quasar from Banados et al 2017, and also predicts only a few quasars suitable for 21-cm forest observations (10mJy) in the sky. We exhibit a new effect on the 21-cm signal observed against the CMB: a radio-loud quasar can leave the imprint of its duty cycle on the 21-cm tomography. We apply this effect in a cosmological simulation and conclude that the effect of typical radio-loud quasars is most likely negligible in an SKA field of view. For a 1-10mJy quasar the effect is stronger though hardly observable at SKA resolution. Then we study the contribution of the lyman band Ly-alpha to Ly-beta) emission of quasars to the Wouthuisen-Field coupling. The collective effect of quasars on the 21-cm power spectrum is larger than the thermal noise at low k, though featureless. However, a distinctive pattern around the brightest quasars in an SKA field of view may be observable in the tomography, encoding the duration of their duty cycle. This pattern has a high signal-to-noise ratio for the brightest quasar in a typical SKA shallow survey.


title: Quantum super Nambu bracket of cubic supermatrices and 3-Lie superalgebra

abstract: We construct the graded triple Lie commutator of cubic supermatrices, which we call the quantum super Nambu bracket of cubic supermatrices, and prove that it satisfies the graded Filippov-Jacobi identity of 3-Lie superalgebra. For this purpose we use the basic notions of the calculus of 3-dimensional matrices, define the Z_2-graded (or super) structure of a cubic matrix relative to one of the directions of a cubic matrix and the super trace of a cubic supermatrix. Making use of the super trace of a cubic supermatrix we introduce the triple product of cubic supermatrices and find the identities for this triple product, where one of them can be regarded as the analog of ternary associativity. We also show that given a Lie algebra one can construct the $n$-ary Lie bracket by means of an (n-2)-cochain of given Lie algebra and find the conditions under which this n-ary bracket satisfies the Filippov-Jacobi identity, thereby inducing the structure of n-Lie algebra. We extend this approach to n-Lie superalgebras.


title: Solving mean field rough differential equations

abstract: We provide in this work a robust solution theory for random rough differential equations of mean field type $$ dX_t = V(X_t,\mathcal{L}(X_t))dt + F(X_t,\mathcal{L}(X_t))dW_t, $$ where $W$ is a random rough path and $\mathcal{L}(X_t)$ stands for the law of $X_t$, with mean field interaction in both the drift and diffusivity. The analysis requires the introduction of a new rough path-like setting and an associated notion of controlled path. We use crucially Lions' approach to differential calculus on Wasserstein space along the way.


title: Deep Generative Model for Joint Alignment and Word Representation

abstract: This work exploits translation data as a source of semantically relevant learning signal for models of word representation. In particular, we exploit equivalence through translation as a form of distributed context and jointly learn how to embed and align with a deep generative model. Our EmbedAlign model embeds words in their complete observed context and learns by marginalisation of latent lexical alignments. Besides, it embeds words as posterior probability densities, rather than point estimates, which allows us to compare words in context using a measure of overlap between distributions (e.g. KL divergence). We investigate our model's performance on a range of lexical semantics tasks achieving competitive results on several standard benchmarks including natural language inference, paraphrasing, and text similarity.


title: Coding Block-Level Perceptual Video Coding for 4:4:4 Data in HEVC

abstract: There is an increasing consumer demand for high bit-depth 4:4:4 HD video data playback due to its superior perceptual visual quality compared with standard 8-bit subsampled 4:2:0 video data. Due to vast file sizes and associated bitrates, it is desirable to compress raw high bit-depth 4:4:4 HD video sequences as much as possible without incurring a discernible decrease in visual quality. In this paper, we propose a Coding Block (CB)-level perceptual video coding technique for HEVC named Full Color Perceptual Quantization (FCPQ). FCPQ is designed to adjust the Quantization Parameter (QP) at the CB level (i.e., the luma CB and the chroma Cb and Cr CBs) according to the variances of pixel data in each CB. FCPQ is based on the default perceptual quantization method in HEVC called AdaptiveQP. AdaptiveQP adjusts the QP of an entire CU based only on the spatial activity of the constituent luma CB. As demonstrated in this paper, by not accounting for the spatial activity of the constituent chroma CBs, as is the case with AdaptiveQP, coding performance can be significantly affected; this is because the variance of pixel data in a luma CB is notably different from the variances of pixel data in chroma Cb and Cr CBs. FCPQ, therefore, addresses this problem. In terms of coding performance, FCPQ achieves BD-Rate improvements of up to 39.5% (Y), 16% (Cb) and 29.9% (Cr) compared with AdaptiveQP.


title: Exponential lower bounds of lattice counts by vertical sum and 2-sum

abstract: We consider the problem of finding lower bounds on the number of unlabeled $n$-element lattices in some lattice family. We show that if the family is closed under vertical sum, exponential lower bounds can be obtained from vertical sums of small lattices whose numbers are known. We demonstrate this approach by establishing that the number of modular lattices is at least $2.2726^n$ for $n$ large enough. We also present an analogous method for finding lower bounds on the number of vertically indecomposable lattices in some family. For this purpose we define a new kind of sum, the vertical 2-sum, which combines lattices at two common elements. As an application we prove that the numbers of vertically indecomposable modular and semimodular lattices are at least $2.1562^n$ and $2.6797^n$ for $n$ large enough.


title: g-factor calculations from the generalized seniority approach

abstract: The generalized seniority approach proposed by us to understand the B(E1)/B(E2)/B(E3) properties of semi-magic nuclei has been widely successful in the explanation of the same and has led to an expansion in the scope of seniority isomers. In the present paper, we apply the generalized seniority scheme to understand the behavior of g-factors in semi-magic nuclei. We find that the magnetic moment and the gfactors do show a particle number independent behavior as expected and the understanding is consistent with the explanation of transition probabilities.


title: Analytic second-order energy derivatives in natural orbital functional theory

abstract: The analytic energy gradients in the atomic orbital representation have recently been published (J. Chem. Phys. 146, 014102, 2017) within the framework of the natural orbital functional theory (NOFT). We provide here an alternative expression for them in terms of natural orbitals, and use it to derive the analytic second-order energy derivatives with respect to nuclear displacements in the NOFT. The computational burden is shifted to the calculation of perturbed natural orbitals and occupancies, since a set of linear coupled-perturbed equations obtained from the variational Euler equations must be solved to attain the analytic Hessian at the perturbed geometry. The linear response of both natural orbitals and occupation numbers to nuclear geometry displacements need only specify the reconstruction of the second-order reduced density matrix in terms of occupation numbers.


title: The martingale problem for a class of nonlocal operators of diagonal type

abstract: We consider systems of stochastic differential equations of the form \[ \d X_t^i = \sum_{j=1}^d A_{ij}(X_{t-}) \d Z_t^j\] for $i=1,\dots,d$ with continuous, bounded and non-degenerate coefficients. Here $Z_t^1,\dots,Z_t^d$ are independent one-dimensional stable processes with $\alpha_1,\dots,\alpha_d\in(0,2)$. In this article we research on uniqueness of weak solutions to such systems by studying the corresponding martingale problem. We prove the uniqueness of weak solutions in the case of diagonal coefficient matrices.


title: Combining Linear Non-Gaussian Acyclic Model with Logistic Regression Model for Estimating Causal Structure from Mixed Continuous and Discrete Data

abstract: Estimating causal models from observational data is a crucial task in data analysis. For continuous-valued data, Shimizu et al. have proposed a linear acyclic non-Gaussian model to understand the data generating process, and have shown that their model is identifiable when the number of data is sufficiently large. However, situations in which continuous and discrete variables coexist in the same problem are common in practice. Most existing causal discovery methods either ignore the discrete data and apply a continuous-valued algorithm or discretize all the continuous data and then apply a discrete Bayesian network approach. These methods possibly loss important information when we ignore discrete data or introduce the approximation error due to discretization. In this paper, we define a novel hybrid causal model which consists of both continuous and discrete variables. The model assumes: (1) the value of a continuous variable is a linear function of its parent variables plus a non-Gaussian noise, and (2) each discrete variable is a logistic variable whose distribution parameters depend on the values of its parent variables. In addition, we derive the BIC scoring function for model selection. The new discovery algorithm can learn causal structures from mixed continuous and discrete data without discretization. We empirically demonstrate the power of our method through thorough simulations.


title: LeClair-Mussardo series for two-point functions in Integrable QFT

abstract: We develop a well-defined spectral representation for two-point functions in relativistic Integrable QFT in finite density situations, valid for space-like separations. The resulting integral series is based on the infinite volume, zero density form factors of the theory, and certain statistical functions related to the distribution of Bethe roots in the finite density background. Our final formulas are checked by comparing them to previous partial results obtained in a low-temperature expansion. It is also show that in the limit of large separations the new integral series factorizes into the product of two LeClair-Mussardo series for one-point functions, thereby satisfying the clustering requirement for the two-point function.


title: Training Deep Face Recognition Systems with Synthetic Data

abstract: Recent advances in deep learning have significantly increased the performance of face recognition systems. The performance and reliability of these models depend heavily on the amount and quality of the training data. However, the collection of annotated large datasets does not scale well and the control over the quality of the data decreases with the size of the dataset. In this work, we explore how synthetically generated data can be used to decrease the number of real-world images needed for training deep face recognition systems. In particular, we make use of a 3D morphable face model for the generation of images with arbitrary amounts of facial identities and with full control over image variations, such as pose, illumination, and background. In our experiments with an off-the-shelf face recognition software we observe the following phenomena: 1) The amount of real training data needed to train competitive deep face recognition systems can be reduced significantly. 2) Combining large-scale real-world data with synthetic data leads to an increased performance. 3) Models trained only on synthetic data with strong variations in pose, illumination, and background perform very well across different datasets even without dataset adaptation. 4) The real-to-virtual performance gap can be closed when using synthetic data for pre-training, followed by fine-tuning with real-world images. 5) There are no observable negative effects of pre-training with synthetic data. Thus, any face recognition system in our experiments benefits from using synthetic face images. The synthetic data generator, as well as all experiments, are publicly available.


title: Neuroscientific User Models: The Source of Uncertain User Feedback and Potentials for Improving Web Personalisation

abstract: In this paper we consider the neuroscientific theory of the Bayesian brain in the light of adaptive web systems and content personalisation. In particular, we elaborate on neural mechanisms of human decision-making and the origin of lacking reliability of user feedback, often denoted as noise or human uncertainty. To this end, we first introduce an adaptive model of cognitive agency in which populations of neurons provide an estimation for states of the world. Subsequently, we present various so-called decoder functions with which neuronal activity can be translated into quantitative decisions. The interplay of the underlying cognition model and the chosen decoder function leads to different model-based properties of decision processes. The goal of this paper is to promote novel user models and exploit them to naturally associate users to different clusters on the basis of their individual neural characteristics and thinking patterns. These user models might be able to turn the variability of user behaviour into additional information for improving web personalisation and its experience.


title: A dual origin for water in carbonaceous asteroids revealed by CM chondrites

abstract: Carbonaceous asteroids represent the principal source of water in the inner Solar System and might correspond to the main contributors for the delivery of water to Earth. Hydrogen isotopes in water-bearing primitive meteorites, e.g. carbonaceous chondrites, constitute a unique tool for deciphering the sources of water reservoirs at the time of asteroid formation. However, fine-scale isotopic measurements are required to unravel the effects of parent body processes on the pre-accretion isotopic distributions. Here we report in situ micrometer-scale analyses of hydrogen isotopes in six CM-type carbonaceous chondrites revealing a dominant deuterium-poor water component ({\delta}D = -350 +/- 40 permil) mixed with deuterium-rich organic matter. We suggest that this D-poor water corresponds to a ubiquitous water reservoir in the inner protoplanetary disk. A deuterium-rich water signature has been preserved in the least altered part of the Paris chondrite ({\delta}DParis > -69 +/- 163 permil) in hydrated phases possibly present in the CM rock before alteration. The presence of the D-enriched water signature in Paris might indicate that transfers of ice from the outer to the inner Solar System have been significant within the first million years of the Solar System history.


title: Conjugation of semisimple subgroups over real number fields of bounded degree

abstract: Let $G$ be a linear algebraic group over a field $k$ of characteristic 0. We show that any two connected semisimple $k$-subgroups of $G$ that are conjugate over an algebraic closure of $k$ are actually conjugate over a finite field extension of $k$ of degree bounded independently of the subgroups. Moreover, if $k$ is a real number field, we show that any two connected semisimple $k$-subgroups of $G$ that are conjugate over the field of real numbers $\mathbb{R}$ are actually conjugate over a finite real extension of $k$ of degree bounded independently of the subgroups.


title: Dealing with Uncertainties in User Feedback: Strategies Between Denying and Accepting

abstract: Latest research revealed a considerable lack of reliability within user feedback and discussed striking impacts for the assessment of adaptive web systems and content personalisation approaches, e.g. ranking errors, systematic biases to accuracy metrics as well as its natural offset (the magic barrier). In order to perform holistic assessments and to improve web systems, a variety of strategies have been proposed to deal with this so-called human uncertainty. In this contribution we discuss the most relevant strategies to handle uncertain feedback and demonstrate that these approaches are more or less ineffective to fulfil their objectives. In doing so, we consider human uncertainty within a purely probabilistic framework and utilise hypothesis testing as well as a generalisation of the magic barrier to compare the effects of recently proposed algorithms. On this basis we recommend a novel strategy of acceptance which turns away from mere filtering and discuss potential benefits for the community of the WWW.


title: Beryllium detection in the very fast nova ASASSN-16kt (V407 Lupi)

abstract: We present high-resolution spectroscopic observations of the fast nova ASASSN-16kt (V407 Lup). A close inspection of spectra obtained at early stages has revealed the presence of low-ionization lines, and among the others we have identified the presence of the ionised $^7$Be doublet in a region relatively free from possible contaminants. After studying their intensities, we have inferred that ASASSN-16kt has produced (5.9 - 7.7)$ \times 10^{-9}$ M$_{\odot}$ of $^7$Be. The identification of bright Ne lines may suggest that the nova progenitor is a massive (1.2 M$_{\odot}$) oxygen-neon white dwarf. The high outburst frequency of oxygen-neon novae implies that they likely produce an amount of Be similar, if not larger, to that produced by carbon-oxygen novae, then confirming that classical novae are among the main factories of lithium in the Galaxy.


title: The generalized bi-periodic Fibonacci quaternions and octonions

abstract: In this paper, we present a further generalization of the bi- periodic Fibonacci quaternions and octonions. We give the generating function, the Binet formula, and some basic properties of these quaternions and octonions. The results of this paper not only give a generalization of the bi-periodic Fibonacci quaternions and octonions, but also include new results such as the matrix representation and the norm value of the generalized bi-periodic Fibonacci quaternions.


title: PRoST: Distributed Execution of SPARQL Queries Using Mixed Partitioning Strategies

abstract: The rapidly growing size of RDF graphs in recent years necessitates distributed storage and parallel processing strategies. To obtain efficient query processing using computer clusters a wide variety of different approaches have been proposed. Related to the approach presented in the current paper are systems built on top of Hadoop HDFS, for example using Apache Accumulo or using Apache Spark. We present a new RDF store called PRoST (Partitioned RDF on Spark Tables) based on Apache Spark. PRoST introduces an innovative strategy that combines the Vertical Partitioning approach with the Property Table, two preexisting models for storing RDF datasets. We demonstrate that our proposal outperforms state-of-the-art systems w.r.t. the runtime for a wide range of query types and without any extensive precomputing phase.


title: Envelope Dyadic Green's Function for Uniaxial Metamaterials

abstract: Based on the dyadic Green's function (DGF) method, we present a formalism to study the propagation of electromagnetic fields with slowly varying amplitude (EMFSVA) in dispersive anisotropic media with two dyadic constitutive parameters, the dielectric permittivity and the magnetic permeability. We find the matrix elements of the envelope DGFs by applying the formalism for uniaxial anisotropic metamaterials. We present the relations for the velocity of the EMFSVA envelopes which agree with the known definition of the group velocity in dispersive media. We consider examples of propagation of the EMFSVA passing through active and passive media with the Lorentz and the Drude type dispersions, demonstrating beam focusing in hyperbolic media and superluminal propagation in media with inverted population. The results of this paper are applicable to the propagation of modulated electromagnetic fields and slowly varying amplitude fluctuations of such fields through dispersive and dissipative (or active) anisotropic metamaterials. The developed approach can be also used for the analysis of metamaterial-based waveguides, filters, and delay lines.


title: The existence of designs II

abstract: We generalise the existence of combinatorial designs to the setting of subset sums in lattices with coordinates indexed by labelled faces of simplicial complexes. This general framework includes the problem of decomposing hypergraphs with extra edge data, such as colours and orders, and so incorporates a wide range of variations on the basic design problem, notably Baranyai-type generalisations, such as resolvable hypergraph designs, large sets of hypergraph designs and decompositions of designs by designs. Our method also gives approximate counting results, which is new for many structures whose existence was previously known, such as high dimensional permutations or Sudoku squares.


title: An affineness criterion for algebraic groups and applications

abstract: We prove that a smooth and connected algebraic group $G$ is affine if and only if any invertible sheaf on any normal $G$-variety is $G$-invariant. For the proof, a key ingredient is the following result: if $G$ is a connected and smooth algebraic group and $\mathcal L$ is a $G$-invariant invertible sheaf on a $G$-variety $X$, then the action of $G$ on $X$ extends to a projective action on the complete linear ${\mathbb P}(H^0(X,{\mathcal L})$. As an application of the affineness criterion, we give a new and simple proof of Chevalley-Barsotti Theorem on the structure of algebraic groups.


title: A complete hand-drawn sketch vectorization framework

abstract: Vectorizing hand-drawn sketches is a challenging task, which is of paramount importance for creating CAD vectorized versions for the fashion and creative workflows. This paper proposes a complete framework that automatically transforms noisy and complex hand-drawn sketches with different stroke types in a precise, reliable and highly-simplified vectorized model. The proposed framework includes a novel line extraction algorithm based on a multi-resolution application of Pearson's cross correlation and a new unbiased thinning algorithm that can get rid of scribbles and variable-width strokes to obtain clean 1-pixel lines. Other contributions include variants of pruning, merging and edge linking procedures to post-process the obtained paths. Finally, a modification of the original Schneider's vectorization algorithm is designed to obtain fewer control points in the resulting Bezier splines. All the proposed steps of the framework have been extensively tested and compared with state-of-the-art algorithms, showing (both qualitatively and quantitatively) its outperformance.


title: Parallel Tempering for the planted clique problem

abstract: The theoretical information threshold for the planted clique problem is $2\log_2(N)$, however no polynomial algorithm is known to recover a planted clique of size $O(N^{1/2-\epsilon})$, $\epsilon>0$. In this paper we will apply a standard method for the analysis of disordered models, the Parallel-Tempering (PT) algorithm, to the clique problem, showing numerically that its time-scaling in the hard region is indeed polynomial for the analyzed sizes. We also apply PT to a different but connected model, the Sparse Planted Independent Set problem. In this situation thresholds should be sharper and finite size corrections should be less important. Also in this case PT shows a polynomial scaling in the hard region for the recovery.


title: Error and Stability Estimates of a Least-Squares Variational Kernel-Based Method for Second Order Elliptic PDEs

abstract: We consider a least-squares variational kernel-based method for numerical solution of second order elliptic partial differential equations on a multi-dimensional domain. In this setting it is not assumed that the differential operator is self-adjoint or positive definite as it should be in the Rayleigh-Ritz setting. However, the new scheme leads to a symmetric and positive definite algebraic system of equations. Moreover, the resulting method does not rely on certain subspaces satisfying the boundary conditions. The trial space for discretization is provided via standard kernels that reproduce the Sobolev spaces as their native spaces. The error analysis of the method is given, but it is partly subjected to an inverse inequality on the boundary which is still an open problem. The condition number of the final linear system is approximated in terms of the smoothness of the kernel and the discretization quality. Finally, the results of some computational experiments support the theoretical error bounds.


title: Assigning times to minimise reachability in temporal graphs

abstract: Temporal graphs (in which edges are active at specified times) are of particular relevance for spreading processes on graphs, e.g.~the spread of disease or dissemination of information. Motivated by real-world applications, modification of static graphs to control this spread has proven a rich topic for previous research. Here, we introduce a new type of modification for temporal graphs: the number of active times for each edge is fixed, but we can change the relative order in which (sets of) edges are active. We investigate the problem of determining an ordering of edges that minimises the maximum number of vertices reachable from any single starting vertex; epidemiologically, this corresponds to the worst-case number of vertices infected in a single disease outbreak. We study two versions of this problem, both of which we show to be $\NP$-hard, and identify cases in which the problem can be solved or approximated efficiently.


title: Refining the $r$-index

abstract: Gagie, Navarro and Prezza's $r$-index (SODA, 2018) promises to speed up DNA alignment and variation calling by allowing us to index entire genomic databases, provided certain obstacles can be overcome. In this paper we first strengthen and simplify Policriti and Prezza's Toehold Lemma (DCC '16; Algorithmica, 2017), which inspired the $r$-index and plays an important role in its implementation. We then show how to update the $r$-index efficiently after adding a new genome to the database, which is likely to be vital in practice. As a by-product of this result, we obtain an online version of Policriti and Prezza's algorithm for constructing the LZ77 parse from a run-length compressed Burrows-Wheeler Transform. Our experiments demonstrate the practicality of all three of these results. Finally, we show how to augment the $r$-index such that, given a new genome and fast random access to the database, we can quickly compute the matching statistics and maximal exact matches of the new genome with respect to the database.


title: A Search for Possible Long Range Spin Dependent Interactions of the Neutron From Exotic Vector Boson Exchange

abstract: We present a search for possible spin dependent interactions of the neutron with matter through exchange of spin 1 bosons with axial vector couplings as envisioned in possible extensions of the Standard Model. This was sought using a slow neutron polarimeter that passed transversely polarized slow neutrons by unpolarized slabs of material arranged so that this interaction would tilt the plane of polarization and develop a component along the neutron momentum. The result for the rotation angle, $\phi'_{V_5} = [2.8\pm\,4.6(stat.)\pm\,4.0(sys.)]\times 10^{-5}~\mbox{rad/m}$ is consistent with zero. This result improves the upper bounds on the neutron-matter coupling $g_{A}^{2}$ from such an interaction by about three orders of magnitude for force ranges in the mm-$\mu$m regime.


title: Recognizing Cuneiform Signs Using Graph Based Methods

abstract: The cuneiform script constitutes one of the earliest systems of writing and is realized by wedge-shaped marks on clay tablets. A tremendous number of cuneiform tablets have already been discovered and are incrementally digitalized and made available to automated processing. As reading cuneiform script is still a manual task, we address the real-world application of recognizing cuneiform signs by two graph based methods with complementary runtime characteristics. We present a graph model for cuneiform signs together with a tailored distance measure based on the concept of the graph edit distance. We propose efficient heuristics for its computation and demonstrate its effectiveness in classification tasks experimentally. To this end, the distance measure is used to implement a nearest neighbor classifier leading to a high computational cost for the prediction phase with increasing training set size. In order to overcome this issue, we propose to use CNNs adapted to graphs as an alternative approach shifting the computational cost to the training phase. We demonstrate the practicability of both approaches in an extensive experimental comparison regarding runtime and prediction accuracy. Although currently available annotated real-world data is still limited, we obtain a high accuracy using CNNs, in particular, when the training set is enriched by augmented examples.


title: iBoW-LCD: An Appearance-based Loop Closure Detection Approach using Incremental Bags of Binary Words

abstract: In this paper, we introduce iBoW-LCD, a novel appearance-based loop closure detection method. The presented approach makes use of an incremental Bag-of-Words (BoW) scheme based on binary descriptors to retrieve previously seen similar images, avoiding any vocabulary training stage usually required by classic BoW models. In addition, to detect loop closures, iBoW-LCD builds on the concept of dynamic islands, a simple but effective mechanism to group similar images close in time, which reduces the computational times typically associated to Bayesian frameworks. Our approach is validated using several indoor and outdoor public datasets, taken under different environmental conditions, achieving a high accuracy and outperforming other state-of-the-art solutions.


title: Pattern Localization in Time Series through Signal-To-Model Alignment in Latent Space

abstract: In this paper, we study the problem of locating a predefined sequence of patterns in a time series. In particular, the studied scenario assumes a theoretical model is available that contains the expected locations of the patterns. This problem is found in several contexts, and it is commonly solved by first synthesizing a time series from the model, and then aligning it to the true time series through dynamic time warping. We propose a technique that increases the similarity of both time series before aligning them, by mapping them into a latent correlation space. The mapping is learned from the data through a machine-learning setup. Experiments on data from non-destructive testing demonstrate that the proposed approach shows significant improvements over the state of the art.


title: An Image Processing based Object Counting Approach for Machine Vision Application

abstract: Machine vision applications are low cost and high precision measurement systems which are frequently used in production lines. With these systems that provide contactless control and measurement, production facilities are able to reach high production numbers without errors. Machine vision operations such as product counting, error control, dimension measurement can be performed through a camera. In this paper, a machine vision application is proposed, which can perform object-independent product counting. The proposed approach is based on Otsu thresholding and Hough transformation and performs automatic counting independently of product type and color. Basically one camera is used in the system. Through this camera, an image of the products passing through a conveyor is taken and various image processing algorithms are applied to these images. In this approach using images obtained from a real experimental setup, a real-time machine vision application was installed. As a result of the experimental studies performed, it has been determined that the proposed approach gives fast, accurate and reliable results.


title: Convergence of a degenerate microscopic dynamics to the porous medium equation

abstract: We derive the porous medium equation from an interacting particle system which belongs to the family of exclusion processes, with nearest neighbor exchanges. The particles follow a degenerate dynamics, in the sense that the jump rates can vanish for certain configurations, and there exist blocked configurations that cannot evolve. In [Gon\c{c}alves-Landim-Toninelli '09] it was proved that the macroscopic density profile in the hydrodynamic limit is governed by the porous medium equation (PME), for initial densities uniformly bounded away from $0$ and $1$. In this paper we consider the more general case where the density can take those extreme values. In this context, the PME solutions display a richer behavior, like moving interfaces, finite speed of propagation and breaking of regularity. As a consequence, the standard techniques that are commonly used to prove this hydrodynamic limits cannot be straightforwardly applied to our case. We present here a way to generalize the \emph{relative entropy method}, by involving approximations of solutions to the hydrodynamic equation, instead of exact solutions.


title: Light isovector resonances in $\pi^- p \to \pi^-\pi^-\pi^+ p$ at 190 GeV/${\it c}$

abstract: We have performed the most comprehensive resonance-model fit of $\pi^-\pi^-\pi^+$ states using the results of our previously published partial-wave analysis (PWA) of a large data set of diffractive-dissociation events from the reaction $\pi^- + p \to \pi^-\pi^-\pi^+ + p_\text{recoil}$ with a 190 GeV/$c$ pion beam. The PWA results, which were obtained in 100 bins of three-pion mass, $0.5 < m_{3\pi} < 2.5$ GeV/$c^2$, and simultaneously in 11 bins of the reduced four-momentum transfer squared, $0.1 < t' < 1.0$ $($GeV$/c)^2$, are subjected to a resonance-model fit using Breit-Wigner amplitudes to simultaneously describe a subset of 14 selected waves using 11 isovector light-meson states with $J^{PC} = 0^{-+}$, $1^{++}$, $2^{++}$, $2^{-+}$, $4^{++}$, and spin-exotic $1^{-+}$ quantum numbers. The model contains the well-known resonances $\pi(1800)$, $a_1(1260)$, $a_2(1320)$, $\pi_2(1670)$, $\pi_2(1880)$, and $a_4(2040)$. In addition, it includes the disputed $\pi_1(1600)$, the excited states $a_1(1640)$, $a_2(1700)$, and $\pi_2(2005)$, as well as the resonancelike $a_1(1420)$. We measure the resonance parameters mass and width of these objects by combining the information from the PWA results obtained in the 11 $t'$ bins. We extract the relative branching fractions of the $\rho(770) \pi$ and $f_2(1270) \pi$ decays of $a_2(1320)$ and $a_4(2040)$, where the former one is measured for the first time. In a novel approach, we extract the $t'$ dependence of the intensity of the resonances and of their phases. The $t'$ dependence of the intensities of most resonances differs distinctly from the $t'$ dependence of the nonresonant components. For the first time, we determine the $t'$ dependence of the phases of the production amplitudes and confirm that the production mechanism of the Pomeron exchange is common to all resonances.


title: 3D Regression Neural Network for the Quantification of Enlarged Perivascular Spaces in Brain MRI

abstract: Enlarged perivascular spaces (EPVS) in the brain are an emerging imaging marker for cerebral small vessel disease, and have been shown to be related to increased risk of various neurological diseases, including stroke and dementia. Automatic quantification of EPVS would greatly help to advance research into its etiology and its potential as a risk indicator of disease. We propose a convolutional network regression method to quantify the extent of EPVS in the basal ganglia from 3D brain MRI. We first segment the basal ganglia and subsequently apply a 3D convolutional regression network designed for small object detection within this region of interest. The network takes an image as input, and outputs a quantification score of EPVS. The network has significantly more convolution operations than pooling ones and no final activation, allowing it to span the space of real numbers. We validated our approach using a dataset of 2000 brain MRI scans scored visually. Experiments with varying sizes of training and test sets showed that a good performance can be achieved with a training set of only 200 scans. With a training set of 1000 scans, the intraclass correlation coefficient (ICC) between our scoring method and the expert's visual score was 0.74. Our method outperforms by a large margin - more than 0.10 - four more conventional automated approaches based on intensities, scale-invariant feature transform, and random forest. We show that the network learns the structures of interest and investigate the influence of hyper-parameters on the performance. We also evaluate the reproducibility of our network using a set of 60 subjects scanned twice (scan-rescan reproducibility). On this set our network achieves an ICC of 0.93, while the intrarater agreement reaches 0.80. Furthermore, the automatic EPVS scoring correlates similarly to age as visual scoring.


title: Superradiance-driven Phonon Laser

abstract: We propose to enhance the generation of a phonon laser by exploiting optical superradiance. In our scheme, the optomechanical cavity contains a movable membrane, which supports a mechanical mode, and the superradiance cavity can generate the coherent collective light emissions by applying a transverse pump to an ultracold intracavity atomic gas. The superradiant emission turns out to be capable of enhancing the phonon laser performance. This indicates a new way to operate a phonon laser with the assistance of coherent atomic gases trapped in a cavity or lattice potentials.


title: Early-type galaxy spin evolution in the Horizon-AGN simulation

abstract: Using the Horizon-AGN simulation data, we study the relative role of mergers and environmental effects in shaping the spin of early-type galaxies (ETGs) after $z \simeq 1$. We follow the spin evolution of 10,037 color-selected ETGs more massive than 10$^{10} \rm \, M_{\odot}$ that are divided into four groups: cluster centrals (3%), cluster satellites (33%), group centrals (5%), and field ETGs (59%). We find a strong mass dependence of the slow rotator fraction, $f_{\rm SR}$, and the mean spin of massive ETGs. Although we do not find a clear environmental dependence of $f_{\rm SR}$, a weak trend is seen in the mean value of spin parameter driven by the satellite ETGs as they gradually lose their spin as their environment becomes denser. Galaxy mergers appear to be the main cause of total spin changes in 94% of central ETGs of halos with $M_{vir} > 10^{12.5}\rm M_{\odot}$, but only 22% of satellite and field ETGs. We find that non-merger induced tidal perturbations better correlate with the galaxy spin-down in satellite ETGs than mergers. Given that the majority of ETGs are not central in dense environments, we conclude that non-merger tidal perturbation effects played a key role in the spin evolution of ETGs observed in the local ($z < 1$) universe.


title: Robust estimation in controlled branching processes: Bayesian estimators via disparities

abstract: This paper is concerned with Bayesian inferential methods for data from controlled branching processes that account for model robustness through the use of disparities. Under regularity conditions, we establish that estimators built on disparity-based posterior, such as expectation and maximum a posteriori estimates, are consistent and efficient under the posited model. Additionally, we show that the estimates are robust to model misspecification and presence of aberrant outliers. To this end, we develop several fundamental ideas relating minimum disparity estimators to Bayesian estimators built on the disparity-based posterior, for dependent tree-structured data. We illustrate the methodology through a simulated example and apply our methods to a real data set from cell kinetics.


title: Compositional Verification of Compiler Optimisations on Relaxed Memory

abstract: A valid compiler optimisation transforms a block in a program without introducing new observable behaviours to the program as a whole. Deciding which optimisations are valid can be difficult, and depends closely on the semantic model of the programming language. Axiomatic relaxed models, such as C++11, present particular challenges for determining validity, because such models allow subtle effects of a block transformation to be observed by the rest of the program. In this paper we present a denotational theory that captures optimisation validity on an axiomatic model corresponding to a fragment of C++11. Our theory allows verifying an optimisation compositionally, by considering only the block it transforms instead of the whole program. Using this property, we realise the theory in the first push-button tool that can verify real-world optimisations under an axiomatic memory model.


title: Quantum coherence fluctuation relations

abstract: We investigate manipulations of pure quantum states under incoherent or strictly incoherent operations assisted by a coherence battery, that is, a storage device whose degree of coherence is allowed to fluctuate in the process. This leads to the derivation of fluctuation relations for quantum coherence, analogous to Jarzynski's and Crooks' relations for work in thermodynamics. Coherence is thus revealed as another instance of a physical resource, in addition to athermality and entanglement, for which a connection is established between the majorisation framework (regulating pure state transformations under suitable free operations) and the emergence of fluctuation theorems. Our study is hoped to provide further insight into the general structure of battery assisted quantum resource theories, and more specifically into the interplay between quantum coherence and quantum thermodynamics.

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


title: A compact topology for $\sigma$-algebra convergence

abstract: We propose a sequential topology on the space of sub-$\sigma$-algebras of a separable probability space $(\Omega,\mathcal{F},\mathbb{P})$ by linking conditional expectations on $L^{2}$ along sequences of sub-$\sigma$-algebras. The varying index of measurability is captured by a bundle space construction. As a consequence, we establish the compactness of the space of sub-$\sigma$-algebras. The proposed topology preserves independence and is compatible with join and meet operations.


title: Measurement of the $t\bar{t}Z$ Production Cross Section in the Final State with Three Charged Leptons using 36.1 fb$^{-1}$ of $pp$ Collisions at 13 TeV at the ATLAS Detector

abstract: A measurement of the production cross section for a top quark pair in association with a $Z$ boson ($t\bar{t}Z$) is presented in this PhD thesis. Final states with exactly three charged leptons (electrons or muons) are used, taking into account the decay of the top quark pair in the lepton+jets channel and the decay of the $Z$ boson into two charged leptons. The dataset used for this analysis corresponds to 36.1 fb$^{-1}$ of proton-proton collisions at a centre-of-mass energy of 13 TeV, recorded during 2015 and 2016 by the ATLAS detector at the Large Hadron Collider. The result of a profile likelihood fit to the event yields in four signal enriched regions and two background enriched regions is $\sigma_{t\bar{t}Z}=966^{+114}_{-102}(\text{stat.})^{+115}_{-114}(\text{syst.})$ fb. The observed (expected) significance is $7.2$ ($6.4$) standard deviations from the background-only hypothesis. Within the experimental uncertainties, the result is in good agreement with the Standard Model prediction. This result is compared with two other $t\bar{t}Z$ analysis channels, using the same dataset but different lepton multiplicities. The analysis presented here is found to be the most sensitive one in terms of observed significance. The result of a combined fit of all three analysis channels is discussed. Two feasibility studies of possible future $t\bar{t}Z$ analysis techniques are demonstrated.


title: Physical content of Quadratic Gravity

abstract: We have recently undergone an analysis of gravitational theories as defined in first order formalism, where the metric and the connection are treated as independent fields. The physical meaning of the connection field has historically been somewhat elusive. In this paper, a complete spin analysis of the torsionless connection field is performed, and its consequences are explored. The main properties of a hypothetical consistent truncation of the theory are discussed as well.


title: Small totally $p$-adic algebraic numbers

abstract: The purpose of this note is to give a short and elementary proof of the fact, that the absolute logarithmic Weil-height is bounded from below by a positive constant for all totally p-adic numbers which are neither zero nor a root of unity. The proof is based on an idea of C. Petsche and gives the best known lower bounds in this setting. These bounds differ from the truth by a term of less than $\log(3)/p$.


title: Toward flying qubit spectroscopy

abstract: While the coherent control of two level quantum systems ---qubits--- is now standard, their continuum electronic equivalents ---flying qubits--- are much less developed. A first step in this direction has been achieved in DC interferometry experiments. Here, we propose a simple setup to perform the second step, the spectroscopy of these flying qubits, by measuring the DC response to a high frequency AC voltage drive. Using two different concurring approaches --- Floquet theory and time-dependent simulations --- and three different models --- an analytical model, a simple microscopic model and a realistic microscopic model --- we predict the power-frequency map of the multi-terminal device. We argue that this spectroscopy provides a direct measurement of the flying qubit characteristic frequencies and a key validation for more advanced quantum manipulations.


title: Energy Optimization of Robotic Cells

abstract: This study focuses on the energy optimization of industrial robotic cells, which is essential for sustainable production in the long term. A holistic approach that considers a robotic cell as a whole toward minimizing energy consumption is proposed. The mathematical model, which takes into account various robot speeds, positions, power-saving modes, and alternative orders of operations, can be transformed into a mixed-integer linear programming formulation that is, however, suitable only for small instances. To optimize complex robotic cells, a hybrid heuristic accelerated by using multicore processors and the Gurobi simplex method for piecewise linear convex functions is implemented. The experimental results showed that the heuristic solved 93 % of instances with a solution quality close to a proven lower bound. Moreover, compared with the existing works, which typically address problems with three to four robots, this study solved real-size problem instances with up to 12 robots and considered more optimization aspects. The proposed algorithms were also applied on an existing robotic cell in \v{S}koda Auto. The outcomes, based on simulations and measurements, indicate that, compared with the previous state (at maximal robot speeds and without deeper power-saving modes), the energy consumption can be reduced by about 20 % merely by optimizing the robot speeds and applying power-saving modes. All the software and generated datasets used in this research are publicly available.


title: Microscopic solutions of the Boltzmann-Enskog equation in the series representation

abstract: The Boltzmann-Enskog equation for a hard sphere gas is known to have so called microscopic solutions, i.e., solutions of the form of time-evolving empirical measures of a finite number of hard spheres. However, the precise mathematical meaning of these solutions should be discussed, since the formal substitution of empirical measures into the equation is not well-defined. Here we give a rigorous mathematical meaning to the microscopic solutions to the Boltzmann-Enskog equation by means of a suitable series representation.


title: Nuclear parton distribution functions

abstract: I review recent developments in the extraction of nuclear parton distribution functions. First describing the global analysis framework, I then present a comparison of the latest analyses in terms of included data and theoretical details, pointing out a few general trends.


title: Levitated electromechanics: all-electrical cooling of charged nano- and micro-particles

abstract: We show how charged levitated nano- and micro-particles can be cooled by interfacing them with an $RLC$ circuit. All-electrical levitation and cooling is applicable to a wide range of particle sizes and materials, and will enable state-of-the-art force sensing within an electrically networked system. Exploring the cooling limits in the presence of realistic noise we find that the quantum regime of particle motion can be reached in cryogenic environments both for passive resistive cooling and for an active feedback scheme, paving the way to levitated quantum electromechanics.


title: Measuring Human-perceived Similarity in Heterogeneous Collections

abstract: We present a technique for estimating the similarity between objects such as movies or foods whose proper representation depends on human perception. Our technique combines a modest number of human similarity assessments to infer a pairwise similarity function between the objects. This similarity function captures some human notion of similarity which may be difficult or impossible to automatically extract, such as which movie from a collection would be a better substitute when the desired one is unavailable. In contrast to prior techniques, our method does not assume that all similarity questions on the collection can be answered or that all users perceive similarity in the same way. When combined with a user model, we find how each assessor's tastes vary, affecting their perception of similarity.


title: Learning beyond datasets: Knowledge Graph Augmented Neural Networks for Natural language Processing

abstract: Machine Learning has been the quintessential solution for many AI problems, but learning is still heavily dependent on the specific training data. Some learning models can be incorporated with a prior knowledge in the Bayesian set up, but these learning models do not have the ability to access any organised world knowledge on demand. In this work, we propose to enhance learning models with world knowledge in the form of Knowledge Graph (KG) fact triples for Natural Language Processing (NLP) tasks. Our aim is to develop a deep learning model that can extract relevant prior support facts from knowledge graphs depending on the task using attention mechanism. We introduce a convolution-based model for learning representations of knowledge graph entity and relation clusters in order to reduce the attention space. We show that the proposed method is highly scalable to the amount of prior information that has to be processed and can be applied to any generic NLP task. Using this method we show significant improvement in performance for text classification with News20, DBPedia datasets and natural language inference with Stanford Natural Language Inference (SNLI) dataset. We also demonstrate that a deep learning model can be trained well with substantially less amount of labeled training data, when it has access to organised world knowledge in the form of knowledge graph.


title: A driven-dissipative quantum Monte Carlo method for open quantum systems

abstract: We develop a real-time Full Configuration Interaction Quantum Monte Carlo approach for the modeling of driven-dissipative open quantum systems. The method enables stochastic sampling of the Liouville-von-Neumann time evolution of the density matrix, thanks to a massively parallel algorithm, thus providing estimates of observables on the non-equilibrium steady state. We present the underlying theory, and introduce initiator technique and importance sampling to reduce the statistical error. Finally, we demonstrate the efficiency of our approach by applying it to the driven- dissipative two-dimensional XYZ spin model on lattice.


title: Local and global estimates for hyperbolic equations in Besov-Lipschitz and Triebel-Lizorkin spaces

abstract: In this paper we establish optimal local and global Besov-Lipschitz and Triebel-Lizorkin estimates for the solutions to linear hyperbolic partial differential equations. These estimates are based on local and global estimates for Fourier integral operators that span all possible scales (and in particular both Banach and quasi-Banach scales) of Besov-Lipschitz spaces $B^s_{p,q}(\R^n)$, and certain Banach and quasi-Banach scales of Triebel-Lizorkin spaces $F^s_{p,q}(\R^n)$


title: Mode truncations and scattering in strong fields

abstract: Truncating quantum field theories to a dominant mode offers a non-perturbative approach to their solution. We consider here the interaction of charged scalar matter with a single mode of the electromagnetic field. The implied breaking of explicit Lorentz invariance prompts us to compare instant-form quantisation and front-form, with the latter yielding significant simplifications when light-front zero modes are included. Using these field theory results we reassess the validity of existing first-quantised approaches to depletion effects in strong laser fields, and propose an alternative interpretation based on the dressing approach to QED and its infra-red structure.


title: Instance-based Inductive Deep Transfer Learning by Cross-Dataset Querying with Locality Sensitive Hashing

abstract: Supervised learning models are typically trained on a single dataset and the performance of these models rely heavily on the size of the dataset, i.e., amount of data available with the ground truth. Learning algorithms try to generalize solely based on the data that is presented with during the training. In this work, we propose an inductive transfer learning method that can augment learning models by infusing similar instances from different learning tasks in the Natural Language Processing (NLP) domain. We propose to use instance representations from a source dataset, \textit{without inheriting anything} from the source learning model. Representations of the instances of \textit{source} \& \textit{target} datasets are learned, retrieval of relevant source instances is performed using soft-attention mechanism and \textit{locality sensitive hashing}, and then, augmented into the model during training on the target dataset. Our approach simultaneously exploits the local \textit{instance level information} as well as the macro statistical viewpoint of the dataset. Using this approach we have shown significant improvements for three major news classification datasets over the baseline. Experimental evaluations also show that the proposed approach reduces dependency on labeled data by a significant margin for comparable performance. With our proposed cross dataset learning procedure we show that one can achieve competitive/better performance than learning from a single dataset.


title: Decidability for Entailments of Symbolic Heaps with Arrays

abstract: This paper presents two decidability results on the validity checking problem for entailments of symbolic heaps in separation logic with Presburger arithmetic and arrays. The first result is for a system with arrays and existential quantifiers. The correctness of the decision procedure is proved under the condition that sizes of arrays in the succedent are not existentially quantified. This condition is different from that proposed by Brotherston et al. in 2017 and one of them does not imply the other. The main idea is a novel translation from an entailment of symbolic heaps into a formula in Presburger arithmetic. The second result is the decidability for a system with both arrays and lists. The key idea is to extend the unroll collapse technique proposed by Berdine et al. in 2005 to arrays and arithmetic as well as double-linked lists.


title: Bayesian cross-validation of geostatistical models

abstract: The problem of validating or criticising models for georeferenced data is challenging, since the conclusions can vary significantly depending on the locations of the validation set. This work proposes the use of cross-validation techniques to assess the goodness of fit of spatial models in different regions of the spatial domain to account for uncertainty in the choice of the validation sets. An obvious problem with the basic cross-validation scheme is that it is based on selecting only a few out of sample locations to validate the model, possibily making the conclusions sensitive to which partition of the data into training and validation cases is utilized. A possible solution to this issue would be to consider all possible configurations of data divided into training and validation observations. From a Bayesian point of view, this could be computationally demanding, as estimation of parameters usually requires Monte Carlo Markov Chain methods. To deal with this problem, we propose the use of estimated discrepancy functions considering all configurations of data partition in a computationally efficient manner based on sampling importance resampling. In particular, we consider uncertainty in the locations by assigning a prior distribution to them. Furthermore, we propose a stratified cross-validation scheme to take into account spatial heterogeneity, reducing the total variance of estimated predictive discrepancy measures considered for model assessment. We illustrate the advantages of our proposal with simulated examples of homogeneous and inhomogeneous spatial processes to investigate the effects of our proposal in scenarios of preferential sampling designs. The methods are illustrated with an application to a rainfall dataset.


title: The Inverse Problem of Magnetorelaxometry Imaging

abstract: The aim of this paper is to provide a solid mathematical discussion of the inverse problem in Magnetorelaxometry Imaging (MRXI), a currently developed technique for quantitative biomedical imaging using magnetic nanoparticles. We provide a detailed discussion of the mathematical modeling of the forward problems including possible ways to activate and measure, leading to a severely ill-posed linear inverse problem. Moreover, we formulate an idealized version of the inverse problem for infinitesimal small activation coils, which allows for a more detailed analysis of uniqueness issues. We propose a variational regularization approach to compute stable approximations of the solution and discuss its discretization and numerical solution. Results on synthetic are presented and improvements to methods used previously in practice are demonstrated. Finally we give an outlook to further questions and in particular experimental design.


title: Large deviations of extremes in branching random walk with regularly varying displacements

abstract: In this article, we consider a branching random walk on the real-line where displacements coming from the same parent have jointly regularly varying tails. The genealogical structure is assumed to be a supercritical Galton-Watson tree, satisfying Kesten-Stigum condition. We study the large deviations of the extremal process, formed by the appropriately normalized positions in the $n$-th generation and show that the large extreme-positions form clusters in the limit. As a consequence of this, we also study the large deviations of the maximum among positions at the $n$-th generation.


title: Scanning Microwave Microscopy of Vital Mitochondria in Respiration Buffer

abstract: We demonstrate imaging using scanning microwave microscopy (SMM) of vital mitochondria in respiration buffer. The mitochondria are isolated from cultured HeLa cells and tethered to a solid graphene support. The mitochondria are kept vital (alive) using a respiration buffer, which provides nutrients to sustain the Krebs cycle. We verify that the mitochondria are "alive" by measuring the membrane potential using a voltage sensitive fluorescent dye (TMRE). The organelles are measured capacitively at 7 GHz. Several technical advances are demonstrated which enable this work: 1) The SMM operates in an electrophysiologically relevant liquid (hence conducting) environment; 2) The SMM operates in tapping mode, averaging the microwave reflection measurement over many tapping periods; 3) A tuned reflectometer enables increased sensitivity; 4) Variable frequencies up to 18 GHz are used; 5) In contrast with traditional matching/resonant methods that exhibit high quality factor that fail in the presence of liquids, interferometric/tuned reflectometer gives the possibility to adjust the quality factor or sensitivity even in the presence of the liquid.


title: On Rotation Curve Analysis

abstract: An analysis of analytical methods used for computing galactic masses on the basis of rotation curves (Saari 2015) is shown to be flawed.


title: Accumulation of Knowledge in Para-Scientific Areas. The Case of Analytic Philosophy

abstract: This study analyzes how the accumulation of knowledge takes place in para-scientific areas, focusing on the case of Analytic Philosophy. The theoretical framework chosen for the analysis is Kuhn's theory of normal science. The methodology employed is qualitative citation context analysis. A sample of 60 papers published in leading Analytic Philosophy journals between 1950 and 2009 is analyzed, and a specific classsificatory scheme is developed to classify citations according to their epistemological function. Compared to previous studies of citation context, this is the first paper that includes the temporal dimension into the analysis of citation context, in order to gain insights into the process of knowledge accumulation. Interestingly, the results show that Analytic Philosophy started accumulating after Second World War, but in a peculiar way. The accumulation was not matched by a corresponding rising consensus. This can be explained by the hypothesis that AP underwent a process of fragmentation in sub-fields during the second half of the century.


title: Single ICMEs and Complex Transient Structures in the Solar wind in 2010 -- 2011

abstract: We analyzed statistics, solar sources and properties of interplanetary coronal mass ejections (ICMEs) in the solar wind. In comparison with the first eight years of Cycle 23, during the same period of Cycle 24 the yearly numbers of ICMEs were less correlated with the flare numbers (0.68 vs 0.78) and sunspot numbers (0.66 vs 0.81), whereas the ICME correlation with coronal mass ejections (CMEs) was higher (0.77 vs 0.70). For the period January 2010 -- August 2011, we identified solar sources of the ICMEs included in the Richardson and Cane list. The solar sources of ICME were determined from coronagraph observations of the Earth-directed CMEs supplemented by modeling of their propagation in the heliosphere using the kinematic models and the WSA Enlil Cone MHD-based model. A detailed analysis of the ICME solar sources in the period under study showed that in 11 cases out of 23 the observed ICME might be associated with two or more sources. In cases of multiple-source events, the resulting solar wind disturbances may be described as complex (merged) structures occurred due to the stream interactions with properties depending on the type of participating streams. As a reliable marker for identification of interacting streams and their sources, we used the plasma ion composition, as it becomes frozen in the low corona and remains unchanged in the heliosphere. According to the ion composition signatures, we classified these cases into three types: complex ejecta originating from weak and strong CME-CME interactions, as well as merged interaction regions originating from the CME-high-speed stream interactions. We described temporal profiles of the ion composition for the single-source and multi-source solar wind structures and compared them with the ICME signatures determined from the kinematic and magnetic field parameters of the solar wind.


title: Cloud No Longer a Silver Bullet, Edge to the Rescue

abstract: This paper takes the position that, while cognitive computing today relies heavily on the cloud, we will soon see a paradigm shift where cognitive computing primarily happens on network edges. The shift toward edge devices is fundamentally propelled both by technological constraints in data centers and wireless network infrastructures, as well as practical considerations such as privacy and safety. The remainder of this paper lays out our view of how these constraints will impact future cognitive computing. Bringing cognitive computing to edge devices opens up several new opportunities and challenges, some of which demand new solutions and some of which require us to revisit entrenched techniques in light of new technologies. We close the paper with a call to action for future research.


title: Monte Carlo Q-learning for General Game Playing

abstract: After the recent groundbreaking results of AlphaGo, we have seen a strong interest in reinforcement learning in game playing. General Game Playing (GGP) provides a good testbed for reinforcement learning. In GGP, a specification of games rules is given. GGP problems can be solved by reinforcement learning. Q-learning is one of the canonical reinforcement learning methods, and has been used by (Banerjee & Stone, IJCAI 2007) in GGP. In this paper we implement Q-learning in GGP for three small-board games (Tic-Tac-Toe, Connect Four, Hex), to allow comparison to Banerjee et al. As expected, Q-learning converges, although much slower than MCTS. Borrowing an idea from MCTS, we enhance Q-learning with Monte Carlo Search, to give QM-learning. This enhancement improves the performance of pure Q-learning. We believe that QM-learning can also be used to improve performance of reinforcement learning further for larger games, something which we will test in future work.


title: How does undone science get funded? A bibliometric analysis linking rare diseases publications to national and European funding sources

abstract: One of the notable features of undone science debates is how formation of new interest groups becomes pivotal in mobilizing and championing emerging research on undone topics. Clearly money is one of the most important mediums through which different types of actors can support and steer scientists to work on undone topics. Yet which actors are more visible in their support for scientific research is something which has seldom been measured. This study delves into research funding in the context of rare diseases research, a topic which has evolved from the margins of medical research into a priority area articulated by many contemporary funding agencies. Rare diseases refer to conditions affecting relatively few people in a population. Given low incidences, interest groups have articulated a lack of attention within medical research compared to more common conditions. The rise to prominence of rare diseases in research funding policies is often explained in the science studies literature in terms of effective lobbying by social movements Likewise, innovative fundraising initiatives, infrastructure building, and close partnerships with research groups are other means through which interested actors have sought to build capacity for research into rare medical conditions. To date however systematic empirical evidence to compare the relative importance of different actors in funding rare disease research has not been produced. Building on interest in undone science in STS and science policy studies, our study hopes to map-out different kinds of funding actors and their influence on leading scientific research on rare diseases, by use of bibliometric tools. The approach we are developing relies on the use of Funding Acknowledgement data provided in Web of Science database.


title: Degradation rate uniformity determines success of oscillations in repressive feedback regulatory networks

abstract: Ring oscillators are biochemical circuits consisting of a ring of interactions capable of sustained oscillations. The non-linear interactions between genes hinder the analytical insight into their function, usually requiring computational exploration. Here we show that, despite the apparent complexity, the stability of the unique steady state in an incoherent feedback ring depends only on the degradation rates and a single parameter summarizing the feedback of the circuit. Concretely, we show that the range of regulatory parameters that yield oscillatory behaviour, is maximized when the degradation rates are equal. Strikingly, this results holds independently of the regulatory functions used or number of genes. We also derive properties of the oscillations as a function of the degradation rates and number of nodes forming the ring. Finally, we explore the role of mRNA dynamics by applying the generic results to the specific case with two naturally different degradation time scales


title: Infrared limit of quantum gravity

abstract: We explore the infrared limit of quantum gravity in presence of a cosmological constant or effective potential for scalar fields. For a positive effective scalar potential, one-loop perturbation theory around flat space is divergent due to an instability of the graviton propagator. Functional renormalization solves this problem by a flow of couplings avoiding instabilities. This leads to a graviton barrier limiting the maximal growth of the effective potential for large values of scalar fields. In the presence of this barrier, variable gravity with a field dependent Planck mass can solve the cosmological constant problem by a cosmological runaway solution. We discuss the naturalness of tiny values of the cosmological constant and cosmon mass due to a strong attraction towards an infrared fixed point.


title: Analysis of Schema.org Usage in the Tourism Domain

abstract: Schema.org is an initiative founded in 2011 by the four-big search engine Bing, Google, Yahoo!, and Yandex. The goal of the initiative is to publish and maintain the schema.org vocabulary, in order to facilitate the publication of structured data on the web which can enable the implementation of automated agents like intelligent personal assistants and chatbots. In this paper, the usage of schema.org in tourism domain between years 2013 and 2016 is analysed. The analysis shows the adoption of schema.org, which indicates how well the tourism sector is prepared for the web that targets automated agents. The results have shown that the adoption of schema.org type and properties is grown over the years. While the US is dominating the annotation numbers, a drastic drop is observed for the proportion of the US in 2016. Poorly rated businesses are encountered more in 2016 results in comparison to previous years.


title: Carleman commutator approach in logarithmic convexity for parabolic equations

abstract: In this paper we investigate on a new strategy combining the logarithmic convexity (or frequency function) and the Carleman commutator to obtain an observation estimate at one time for the heat equation in a bounded domain. We also consider the heat equation with an inverse square potential. Moreover, a spectral inequality for the associated eigenvalue problem is derived.


title: Set existence principles and closure conditions: unravelling the standard view of reverse mathematics

abstract: It is a striking fact from reverse mathematics that almost all theorems of countable and countably representable mathematics are equivalent to just five subsystems of second order arithmetic. The standard view is that the significance of these equivalences lies in the set existence principles that are necessary and sufficient to prove those theorems. In this article I analyse the role of set existence principles in reverse mathematics, and argue that they are best understood as closure conditions on the powerset of the natural numbers.


title: Innovation Initiatives in Large Software Companies: A Systematic Mapping Study

abstract: To keep the competitive advantage and adapt to changes in the market and technology, companies need to innovate in an organised, purposeful and systematic manner. However, due to their size and complexity, large companies tend to focus on maintaining their business, which can potentially lower their agility to innovate. This study aims to provide an overview of the current research on innovation initiatives and to identify the challenges of implementing the initiatives in the context of large software companies. The investigation was performed using a systematic mapping approach of published literature on corporate innovation and entrepreneurship. Then it was complemented with interviews with four experts with rich industry experience. Our study results suggest that, there is a lack of high quality empirical studies on innovation initiative in the context of large software companies. A total of 7 studies are conducted in such context, which reported 5 types of initiatives: intrapreneurship, bootlegging, internal venture, spin-off and crowdsourcing. Our study offers three contributions. First, this paper represents the map of existing literature on innovation initiatives inside large companies. The second contribution is to provide an innovation initiative tree. The third contribution is to identify key challenges faced by each initiative in large software companies. At the strategic and tactical levels, there is no difference between large software companies and other companies. At the operational level, large software companies are highly influenced by the advancement of Internet technology. Large software companies use open innovation paradigm as part of their innovation initiatives. We envision a future work is to further empirically evaluate the innovation initiative tree in large software companies, which involves more practitioners from different companies.


title: La costruzione di una scala musicale attraverso i numeri

abstract: The equable, Pythagorean and natural scales are built on the basis of a mathematical logic.


title: Weak Dynamic Coloring of Planar Graphs

abstract: The \textit{$k$-weak-dynamic number} of a graph $G$ is the smallest number of colors we need to color the vertices of $G$ in such a way that each vertex $v$ of degree $d(v)$ sees at least $\rm{min}\{k,d(v)\}$ colors on its neighborhood. We use reducible configurations and list coloring of graphs to prove that all planar graphs have 3-weak-dynamic number at most 6.


title: Dynamics of decoherence of an entangled pair of qubits locally connected to a one-dimensional disordered spin chain

abstract: We study the non-equilibrium evolution of concurrence of a Bell pair constituted of two qubits, through the measurement of Loschmidt echo (LE) under the scope of generalized central spin model. Having detected the Griffiths phase via derivative of LE in equilibrium, we show that in the non-equilibrium situation, the spin chain requires a temporal window to realize the effect of disorder. We show that within this timescale, LE falls off exponentially and this decay is maximally controlled by the initial states and coupling strength. Our detail investigation suggests that there actually exist three types of exponential decay, a Gaussian decay in ultra short time scale followed by two exponential decay in the intermediate time with two different decay exponents. The effect of the disorder starts appearing in the late time power law fall of LE where the power law exponent is strongly dependent on disorder strength and the final state but almost independent of initial states and coupling strength. This feature allows us to indicate the presence of Griffiths phase. To be precise, continuously varying critical exponent and wide distribution of relaxation time imprint their effect in LE in the late time limit where the power law fall is absent for quenching to a Griffiths phase. Here, LE vanishes following the fast exponential fall. Interestingly, for off-critical quenching LE attains a higher saturation value for increasing disorder strength, otherwise vanishes for a clean spin chain, referring to the fact that disorder prohibits the rapid decay of entanglement in long time limit. Moreover, we show that disorder is also able to destroy the light cone like nature of post quench quasi-particles as LE does not sense the singular time scales appearing for clean spin chain with qubits coupled at symmetric positions.


title: Modified Gauss-Bonnet Gravity with Radiating Fluids

abstract: The main purpose of this paper is to investigates structure scalars in the context of $f(\mathcal{G}, T)$ gravity, where $\mathcal{G}$ is the Gauss-Bonnet invariant and $T$ is the trace of stress energy tensor. For this aim, we have considered the spherically symmetric spacetime and dissipative anisotropic fluid coupled with radiation and heat ejecting shearing matter distributions. We have found these scalar variables by orthogonally decomposing the Riemann curvature tensor in $f(\mathcal{G}, T)$ gravity. Moreover, the evolution equations of shear and expansion are also developed with the help of these scalar functions. We have also analyzed these scalars by taking constant $\mathcal{G}$ and $T$ for dust cloud. The physical behavior of structure scalars for radiating matter distributions has been examined in the presence of modified gravity. It is shown that the evolutionary stages of relativistic stellar structures can be explored via modified scalar functions.


title: Exhaustive existence and non-existence results for some prototype polyharmonic equations in the whole space

abstract: In this paper, we are interested in entire, non-trivial, non-negative solutions and/or entire, positive solutions to the simplest models of polyharmonic equations with power-type nonlinearity \[ \Delta^m u = \pm u^{\alpha} \quad \text{ in } \mathbb R^n \] with $n \geqslant 1$, $m \geqslant 1$, and $\alpha \in \mathbb R$. We aim to study the existence and non-existence of such classical solutions to the above equations in the full range of the constants $n$, $m$ and $\alpha$. Remarkably, we are able to provide necessary and sufficient conditions on the exponent $\alpha$ to guarantee the existence of such solutions in $\mathbb R^n$. Finally, we identify all the situations where any entire non-trivial, non-negative classical solution must be positive.


title: Spectral Normalization for Generative Adversarial Networks

abstract: One of the challenges in the study of generative adversarial networks is the instability of its training. In this paper, we propose a novel weight normalization technique called spectral normalization to stabilize the training of the discriminator. Our new normalization technique is computationally light and easy to incorporate into existing implementations. We tested the efficacy of spectral normalization on CIFAR10, STL-10, and ILSVRC2012 dataset, and we experimentally confirmed that spectrally normalized GANs (SN-GANs) is capable of generating images of better or equal quality relative to the previous training stabilization techniques.


title: - Gravitational Waves - A Review on the Conceptual Foundations of Gravitational Radiation

abstract: In this manuscript we review the theoretical foundations of gravitational waves in the framework of Albert Einstein's theory of general relativity. Following Einstein's early efforts we first derive the linearised Einstein field equations and work out the corresponding gravitational wave equation. Moreover we present the gravitational potentials in the far away wave zone field point approximation obtained from the relaxed Einstein field equations. We close this review by taking a closer look on the radiative losses of gravitating $n$-body systems and present some aspects of the current interferometric gravitational waves detectors. Each section posses a separate appendix-contribution where further computational details are displayed. To conclude we summarize the main results and present a brief outlook in terms of current ongoing efforts to build a spaced based gravitational wave observatory.


title: Grant-less Uplink Transmission for LTE Operated in Unlicensed Spectrum

abstract: Deployment of Long Term Evolution (LTE) in unlicensed spectrum has been a candidate feature to meet the explosive growth of traffic demand since 3GPP release 13. To further explore the advantage of unlicensed bands, in this context the operation of both uplink and downlink has been supported and studied in the subsequent releases. However, it has been identified that scheduled uplink transmission performance in unlicensed spectrum is significantly degraded due to the double listen-before-talk (LBT) requirements at both eNB when sending the uplink grant, and at the scheduled UEs before transmission. In this paper, in order to overcome this issue, a novel uplink transmission scheme, which does not require any grant, is proposed, and the details regarding the system design are provided. By modeling the dynamics in time of the LBT for both a system that employs a conventional uplink scheme, as well as the proposed scheme, it is verified through analytical evaluation that the double LBT scheme for uplink transmission greatly reduces the channel access probability for the UE, and leads consequently to performance loss, while the proposed scheme is able to alleviate this issue. System level simulation results, compliant with the LTE standard, show that the proposed scheme can achieve a significant performance gain in terms of throughput with negligible performance loss for the downlink, and other technologies operating in the same spectrum.


title: Study of Knowledge-Aided Iterative Detection and Decoding for Multiuser MIMO Systems

abstract: In this work, we consider the problem of reduced latency of low-density parity-check (LDPC) codes with iterative detection and decoding (IDD) receiver in multiuser multiple-antenna systems. The proposed knowledge-aided IDD (KA-IDD) system employs a minimum mean-square error detector with refined iterative processing and a reweighted belief propagation (BP) decoding algorithm. We present reweighted BP decoding algorithms, which exploit the knowledge of short cycles in the graph structure and reweighting factors derived from the expansion of hypergraphs. Simulation results show that the proposed KA-IDD scheme and algorithms outperform prior art and require a reduced number of decoding iterations.


title: Unified approach to discretization of flow in fractured porous media

abstract: In this paper, we introduce a mortar-based approach to discretizing flow in fractured porous media, which we term the mixed-dimensional flux coupling scheme. Our formulation is agnostic to the discretizations used to discretize the fluid flow equations in the porous medium and in the fractures, and as such it represents a unified approach to integrated fractured geometries into any existing discretization framework. In particular, several existing discretization approaches for fractured porous media can be seen as special instances of the approach proposed herein. We provide an abstract stability theory for our approach, which provides explicit guidance into the grids used to discretize the fractures and the porous medium, as dependent on discretization methods chosen for the respective domains. The theoretical results are sustained by numerical examples, wherein we utilize our framework to simulate flow in 2D and 3D fractured media using control volume methods (both two-point and multi-point flux), Lagrangian finite element methods, mixed finite element methods, and virtual element methods. As expected, regardless of the ambient methods chosen, our approach leads to stable and convergent discretizations for the fractured problems considered, within the limits of the discretization schemes.


title: Enhancement of Noisy Speech Exploiting an Exponential Model Based Threshold and a Custom Thresholding Function in Perceptual Wavelet Packet Domain

abstract: For enhancement of noisy speech, a method of threshold determination based on modeling of Teager energy (TE) operated perceptual wavelet packet (PWP) coefficients of the noisy speech by exponential distribution is presented. A custom thresholding function based on the combination of mu-law and semisoft thresholding functions is designed and exploited to apply the statistically derived threshold upon the PWP coefficients. The effectiveness of the proposed method is evaluated for car and multi-talker babble noise corrupted speech signals through performing extensive simulations using the NOIZEUS database. The proposed method outperforms some of the state-of-the-art speech enhancement methods both at high and low levels of SNRs in terms of the standard objective measures and the subjective evaluations including formal listening tests.


title: Continuous dependence of the pressure field with respect to endpoints for ideal incompressible fluids

abstract: In the Brenier variational model for perfect fluids, the datum is the joint law of the initial and final positions of the particles. In this paper, we show that both the optimal action and the pressure field are H\"older continuous with respect to this datum metrized in Monge-Kantorovic distance.


title: Negative refractive index in cubic noncentrosymmetric superconductors

abstract: We study the negative refractive index in cubic noncentrosymmetric superconductors. We consider the Maxwell equations under the Meissner effect, and magnetoelectric effect arising due to broken inversion symmetry. We derive dispersion relations of electromagnetic waves, and show that the refractive index becomes negative at frequencies just below the Higgs gap. We find that the chiral mechanism of the negative refractive index, which is usually discussed in chiral materials with negative permittivity can be applied to superconductors with positive permittivity by replacing the plasma gap with the Higgs gap. Estimation from the experimental values of the penetration depth of LiPt$_3$B indicates that the negative refractive index may appear in UV regions. LiPt$_3$B may exhibit the negative refractive index at wavelengths shorter than any other material observed so far.


title: An extremely red and two other nearby L dwarf candidates previously overlooked in 2MASS, WISE, and other surveys

abstract: We present three new nearby L dwarf candidates, found in a continued combined color/proper motion search using WISE, 2MASS, and other survey data, where we included extended WISE sources and looked closer to the Galactic plane region. Their spectral types and distances were estimated from photometric comparisons to well-known L dwarfs with trigonometric parallaxes. The first object, 2MASS J07555430-3259589, is an extremely red L7.5p dwarf candidate at a photometric distance of about 16 pc. Its position, proper motion and distance are consistent with membership in the Carina-Near young moving group. The second one, 2MASS J07414279-0506464, is resolved in Gaia DR1 as a close binary (separation 0.3 arcsec), and we classify it as a equal-mass binary candidate consisting of two L5 dwarfs at 19 pc. Our nearest new neighbor, 2MASS J19251275+0700362, is an L7 dwarf candidate at 10 pc.


title: Multilevel quadrature for elliptic problems on random domains by the coupling of FEM and BEM

abstract: Elliptic boundary value problems which are posed on a random domain can be mapped to a fixed, nominal domain. The randomness is thus transferred to the diffusion matrix and the loading. While this domain mapping method is quite efficient for theory and practice, since only a single domain discretisation is needed, it also requires the knowledge of the domain mapping. However, in certain applications, the random domain is only described by its random boundary, while the quantity of interest is defined on a fixed, deterministic subdomain. In this setting, it thus becomes necessary to compute a random domain mapping on the whole domain, such that the domain mapping is the identity on the fixed subdomain and maps the boundary of the chosen fixed, nominal domain on to the random boundary. To overcome the necessity of computing such a mapping, we therefore couple the finite element method on the fixed subdomain with the boundary element method on the random boundary. We verify the required regularity of the solution with respect to the random domain mapping for the use of multilevel quadrature, derive the coupling formulation, and show by numerical results that the approach is feasible.


title: Dynamics of a prey-predator system with modified Leslie-Gower and Holling type II schemes incorporating a prey refuge

abstract: We study a modified version of a prey-predator system with modified Leslie-Gower and Holling type II functional response studied by M.A. Aziz-Alaoui and M. Daher-Okiye. The modification consists in incorporating a refuge for preys, and substantially complicates the dynamics of the system. We study the local and global dynamics and the existence of cycles. We also investigate conditions for extinction or existence of a stationary distribution, in the case of a stochastic perturbation of the system.


title: Information Theory: A Tutorial Introduction

abstract: Shannon's mathematical theory of communication defines fundamental limits on how much information can be transmitted between the different components of any man-made or biological system. This paper is an informal but rigorous introduction to the main ideas implicit in Shannon's theory. An annotated reading list is provided for further reading.


title: Paxos Consensus, Deconstructed and Abstracted (Extended Version)

abstract: Lamport's Paxos algorithm is a classic consensus protocol for state machine replication in environments that admit crash failures. Many versions of Paxos exploit the protocol's intrinsic properties for the sake of gaining better run-time performance, thus widening the gap between the original description of the algorithm, which was proven correct, and its real-world implementations. In this work, we address the challenge of specifying and verifying complex Paxos-based systems by (a) devising composable specifications for implementations of Paxos's single-decree version, and (b) engineering disciplines to reason about protocol-aware, semantics-preserving optimisations to single-decree Paxos. In a nutshell, our approach elaborates on the deconstruction of single-decree Paxos by Boichat et al. We provide novel non-deterministic specifications for each module in the deconstruction and prove that the implementations refine the corresponding specifications, such that the proofs of the modules that remain unchanged can be reused across different implementations. We further reuse this result and show how to obtain a verified implementation of Multi-Paxos from a verified implementation of single-decree Paxos, by a series of novel protocol-aware transformations of the network semantics, which we prove to be behaviour-preserving.


title: High-precision measurements of $n=2\to n=1$ transition energies and level widths in He- and Be-like Argon Ions

abstract: We performed a reference-free measurement of the transition energies of the $1s 2p\,^1P\_1\to 1s^2 \,^1S\_0$ line in He-like argon, and of the $1s 2s^2 2p\,^1P\_1\to 1s^2 2s^2\,^1S\_0$ line in Be-like argon ions. The highly-charged ions were produced in the plasma of an Electron-Cyclotron Resonance Ion Source. Both energy measurements were performed with an accuracy better than 3 parts in $10^6$, using a double flat-crystal spectrometer, without reference to any theoretical or experimental energy. The $1s 2s^2 2p\,^1P\_1\to 1s^2 2s^2\,^1S\_0$ transition measurement is the first reference-free measurement for this core-excited transition. The $1s 2p\,^1P\_1\to 1s^2 \,^1S\_0$ transition measurement confirms recent measurement performed at the Heidelberg Electron-Beam Ion Trap (EBIT). The width measurement in the He-like transition provides test of a purely radiative decay calculations. In the case of the Be-like argon transition, the width results from the sum of a radiative channel and three main Auger channels. We also performed Multiconfiguration Dirac-Fock (MCDF) calculations of transition energies and rates and have done an extensive comparison with theory and other experimental data. For both measurements reported here, we find agreement with the most recent theoretical calculations within the combined theoretical and experimental uncertainties.


title: Gamma rays from Dark Matter Annihilation in Three-loop Radiative Neutrino Mass Generation Models

abstract: We present the Sommerfeld enhanced Dark Matter (DM) annihilation into gamma ray for a class of three-loop radiative neutrino mass models with large electroweak multiplets where the DM mass is in O(TeV) range. We show that in this model, the DM annihilation rate becomes more prominent for larger multiplets and it is already within the reach of currently operating Imaging Atmospheric Cherenkov telescopes (IACTs), High Energy Stereoscopic System (H.E.S.S.). Furthermore, Cherenkov Telescope Array (CTA), which will begin operating in 2030, will improve this sensitivity by a factor of $\mathcal{O}{(10)}$ and may exclude a large portion of parameter space of this radiative neutrino mass model with larger electroweak multiplet. This implies that the only viable option is the model with lowest electroweak multiplets i.e. singlets of $SU(2)_{L}$ where the DM annihilation rate is not Sommerfeld enhanced and hence it is not yet constrained by the indirect detection limits from H.E.S.S. or future CTA.


title: Non-wandering Fatou components for strongly attracting polynomial skew products

abstract: We show a partial generalization of Sullivan's non-wandering domain theorem in complex dimension two. More precisely, we show the non-existence of wandering Fatou components for polynomial skew products of $ \mathbb{C}^2$ with an invariant attracting fiber, under the assumption that the multiplier $ \lambda $ is small. We actually show a stronger result, namely that every forward orbit of any vertical Fatou disk intersects a bulging Fatou component.


title: Information Rates and Error Exponents for Probabilistic Amplitude Shaping

abstract: Probabilistic Amplitude Shaping (PAS) is a coded-modulation scheme in which the encoder is a concatenation of a distribution matcher with a systematic Forward Error Correction (FEC) code. For reduced computational complexity the decoder can be chosen as a concatenation of a mismatched FEC decoder and dematcher. This work studies the theoretic limits of PAS. The classical joint source-channel coding (JSCC) setup is modified to include systematic FEC and the mismatched FEC decoder. At each step error exponents and achievable rates for the corresponding setup are derived.


title: A Combinatorial Problem Arising From Ecology: the Maximum Empower Problem

abstract: The ecologist H. T. Odum introduced a principle of physics, called Maximum Empower, in order to explain self-organization in a system (e.g. physical, biological, social, economical, mathematical, ...). The concept of empower relies on emergy, which is a second notion introduced by Odum for comparing energy systems on the same basis. The roots of these notions trace back to the 50's (with the work of H. T. Odum and R. C. Pinkerton) and is becoming now an important sustainability indicator in the ecologist community. In 2012, Le Corre and Truffet developed a recursive method, based on max-plus algebra, to compute emergy of a system. Recently, using this max-plus algebra approach, it has been shown that the Maximum Empower Principle can be formalized as a new combinatorial optimization problem (called the Maximum Empower Problem). In this paper we show that the Maximum Empower Problem can be solved by finding a maximum weighted clique in a cograph, which leads to an exponential-time algorithm in the worst-case. We also provide a polynomial-time algorithm when there is no cycle in the graph modeling the system. Finally, we prove that the Maximum Empower Problem is #P-hard in the general case, i.e. it is as hard as computing the permanent of a matrix.


title: Nonparametric Bayesian estimation of multivariate Hawkes processes

abstract: This paper studies nonparametric estimation of parameters of multivariate Hawkes processes. We consider the Bayesian setting and derive posterior concentration rates. First rates are derived for L1-metrics for stochastic intensities of the Hawkes process. We then deduce rates for the L1-norm of interactions functions of the process. Our results are exemplified by using priors based on piecewise constant functions, with regular or random partitions and priors based on mixtures of Betas distributions. Numerical illustrations are then proposed with in mind applications for inferring functional connec-tivity graphs of neurons.


title: AKARI NEP-Deep: galaxy clustering through the AKARI IRC filters

abstract: We present a preliminary analysis of clustering of galaxies luminous in the near- and mid-infrared as seen by seven various ilters of the AKARI IRC instrument from 2 $\mu$m to 24 $\mu$m in the the AKARI NEP-Deep field. We compare populations of galaxies detected in different filters and their clustering properties. We conclude that different AKARI filters allow to trace different populations composed mainly of star-forming galaxies located in different environments. In particular, the mid-infrared filters at redshift z $\sim$ 0.8 and higher trace a population of strongly evolving galaxies located in massive haloes which might have ended as elliptical galaxies today.