title: Generalized quantification of three-dimensional resolution in optical diffraction tomography using the projection of maximal spatial bandwidths

abstract: Optical diffraction tomography (ODT) is a three-dimensional (3D) quantitative phase imaging technique, which enables the reconstruction of the 3D refractive index (RI) distribution of a transparent sample. Due to its fast, non-invasive, and quantitative 3D imaging capability, ODT has emerged as one of the most powerful tools for various applications. However, the spatial resolution of ODT has only been quantified along the lateral and axial directions for limited conditions; it has not been investigated for arbitrary-oblique directions. In this paper, we systematically quantify the 3D spatial resolution of ODT by exploiting the spatial bandwidth of the reconstructed scattering potential. The 3D spatial resolution is calculated for various types of ODT systems, including the illumination-scanning, sample-rotation, and hybrid scanning-rotation methods. In particular, using the calculated 3D spatial resolution, we provide the spatial resolution as well as the arbitrary sliced angle. Furthermore, to validate the present method, the point spread function of an ODT system is experimentally obtained using the deconvolution of a 3D RI distribution of a microsphere and is compared with the calculated resolution. The present method for defining spatial resolution in ODT is directly applicable for various 3D microscopic techniques, providing a solid criterion for the accessible finest 3D structures.


title: On instability of radial standing waves for the nonlinear Schr\"odinger equation with inverse-square potential

abstract: We show the strong instability of radial ground state standing waves for the focusing $L^2$-supercritical nonlinear Schr\"odinger equation with inverse-square potential \[ i\partial_t u + \Delta u + c|x|^{-2} u = - |u|^{\alpha} u, \quad (t,x)\in \mathbb{R} \times \mathbb{R}^d, \] where $d\geq 3$, $u: \mathbb{R} \times \mathbb{R}^d \rightarrow \mathbb{C}$, $c\ne 0$ satisfies $c<\lambda(d):=\left(\frac{d-2}{2}\right)^2$ and $\frac{4}{d} <\alpha<\frac{4}{d-2}$. This result extends a recent result of Bensouilah-Dinh-Zhu [{\it On stability and instability of standing waves for the nonlinear Schr\"odinger equation with inverse-square potential}, \url{arXiv:1805.01245}] where the stability and instability of standing waves were shown in the $L^2$-subcritical and $L^2$-critical cases.


title: Deep Multi-Structural Shape Analysis: Application to Neuroanatomy

abstract: We propose a deep neural network for supervised learning on neuroanatomical shapes. The network directly operates on raw point clouds without the need for mesh processing or the identification of point correspondences, as spatial transformer networks map the data to a canonical space. Instead of relying on hand-crafted shape descriptors, an optimal representation is learned in the end-to-end training stage of the network. The proposed network consists of multiple branches, so that features for multiple structures are learned simultaneously. We demonstrate the performance of our method on two applications: (i) the prediction of Alzheimer's disease and mild cognitive impairment and (ii) the regression of the brain age. Finally, we visualize the important parts of the anatomy for the prediction by adapting the occlusion method to point clouds.


title: Non-linear Time Series and Artificial Neural Networks of Red Hat Volatility

abstract: We extend the empirical results published in article "Empirical Evidence on Arbitrage by Changing the Stock Exchange" by means of machine learning and advanced econometric methodologies based on Smooth Transition Regression models and Artificial Neural Networks.


title: A Remark on Higher Homotopy Sheaves of Derived Arc Spaces

abstract: In their work, \cite{GR}, Gaitsgory and Rozenblyum introduce a derived version of the well-studied arc spaces of classical algebraic geometry. They observe that these derived spaces do not differ from their classical counterparts in the case of smooth schemes. In this note we will see that this is also the case for reduced local complete intersection schemes


title: A rational decentralized generalized Nash equilibrium seeking for energy markets

abstract: We propose a method to design a decentralized energy market which guarantees individual rationality (IR) in expectation, in the presence of system-level grid constraints. We formulate the market as a welfare maximization problem subject to IR constraints, and we make use of Lagrangian duality to model the problem as a n-person non-cooperative game with a unique generalized Nash equilibrium (GNE). We provide a distributed algorithm which converges to the GNE. The convergence and properties of the algorithm are investigated by means of numerical simulations.


title: $L^{2}$-Wasserstein distances of tracial $W^{*}$-algebras and their disintegration problem

abstract: We introduce $L^{2}$-Wasserstein distances on densities of tracial $W^{*}$-algebras based on a Benamou-Brenier formulation, replacing multiplication by densities with multiplication operators arising as the logarithmic mean under a functional calculus. Furthermore, we concern ourselves with $L^{2}$-Wasserstein distances induced by decomposed derivations on $C^{*}$-algebras of continuous sections of a $\mathcal{K}(H)$-bundle vanishing at infinity. We prove a distintegration theorem for such distances, introduce mean entropic curvature bounds in case $H$ is finite-dimensional and show control of these by the essential infimum of the entropic curvature bounds on the fibres. To conclude, we give sufficient conditions for disintegrating arbitrary $L^{2}$-Wasserstein distances for unital $C^{*}$-algebras that are Morita equivalent to a commutative unital $C^{*}$-algebra.


title: Efficient Database Generation for Data-driven Security Assessment of Power Systems

abstract: Power system security assessment methods require large datasets of operating points to train or test their performance. As historical data often contain limited number of abnormal situations, simulation data are necessary to accurately determine the security boundary. Generating such a database is an extremely demanding task, which becomes intractable even for small system sizes. This paper proposes a modular and highly scalable algorithm for computationally efficient database generation. Using convex relaxation techniques and complex network theory, we discard large infeasible regions and drastically reduce the search space. We explore the remaining space by a highly parallelizable algorithm and substantially decrease computation time. Our method accommodates numerous definitions of power system security. Here we focus on the combination of N-k security and small-signal stability. Demonstrating our algorithm on IEEE 14-bus and NESTA 162-bus systems, we show how it outperforms existing approaches requiring less than 10% of the time other methods require.


title: On motions without falling of an inverted pendulum with dry friction

abstract: An inverted planar pendulum with horizontally moving pivot point is considered. It is assumed that the law of motion of the pivot point is given and the pendulum is moving in the presence of dry friction. Sufficient conditions for the existence of solutions along which the pendulum never falls below the horizontal positions are presented. The proof is based on the fact that solutions of the corresponding differential inclusion are right-unique and continuously depend on initial conditions, which is also shown in the paper.


title: Strong decay of $\Lambda_c(2940)$ as a $2P$ state in the $\Lambda_c$ family

abstract: Considering the mass, parity and $D^0 p$ decay mode, we tentatively assign the $\Lambda_c(2940)$ as the $P-$wave states with one radial excitation. Then, via studying the strong decay behavior of the $\Lambda_c(2940)$ within the $^3P_0$ model, we obtain that the total decay widths of the $\Lambda_{c1}(\frac{1}{2}^-,2P)$ and $\Lambda_{c1}(\frac{3}{2}^-,2P)$ states are 16.27 MeV and 25.39 MeV, respectively. Compared with the experimental total width $27.7^{+8.2}_{-6.0}\pm0.9^{+5.2}_{-10.4}~\rm{MeV}$ measured by LHCb Collaboration, both assignments are allowed, and the $J^P=\frac{3}{2}^-$ assignment is more favorable. Other $\lambda-$mode $\Sigma_c(2P)$ states are also investigated, which are most likely to be narrow states and have good potential to be observed in future experiments.


title: Planar Semi-quasi Homogeneous Polynomial differential systems with a given degree

abstract: This paper study the planar semi-quasi homogeneous polynomial differential systems (short for PSQHPDS), which can be regard as a generalization of semi-homogeneous and of quasi-homogeneous systems. By using the algebraic skills, several important properties of PSQHPDS are derived and are employed to establish an algorithm for obtaining all the explicit expressions of PSQHPDS with a given degree. Afterward, we apply this algorithm to research the center problem of quadratic and cubic PSQHPDS. It is proved that the quadratic one hasn't center, and, that the cubic one has center if and only if it can be written as $\dot{x}=x^2-y^3, \dot{y}=x$ after a linear transformation of coordinate and a rescaling of time.


title: Reproducible research using biomodels

abstract: Like other types of computational research, modeling and simulation of biological processes (biomodels) is still largely communicated without sufficient detail to allow independent reproduction of results. But reproducibility in this area of research could easily be achieved by making use of existing resources, such as supplying models in standard formats and depositing code, models, and results in public repositories.


title: Generalized symmetry superalgebras

abstract: We generalize the symmetry superalgebras of isometries and geometric Killing spinors on a manifold to include all the hidden symmetries of the manifold generated by Killing spinors in all dimensions. We show that bilinears of geometric Killing spinors produce special Killing-Yano and special conformal Killing-Yano forms. After defining the Lie algebra structure of hidden symmetries generated by Killing spinors, we construct the symmetry operators as the generalizations of the Lie derivative on spinor fields. All these constructions together constitute the structure of generalized symmetry superalgebras. We exemplify the construction on weak $G_2$ and nearly K\"{a}hler manifolds.


title: Projections of cartesian products of the self-similar sets without the irrationality assumption

abstract: Let $\beta>1$. Define a class of similitudes \[S=\left\{f_{i}(x)=\dfrac{x}{\beta^{n_i}}+a_i:n_i\in \mathbb{N}^{+}, a_i\in \mathbb{R}\right\}.\] Let $\mathcal{A}$ be the collection of all the self-similar sets generated by the similitudes from $S$. In this paper, we prove that for any $\theta\in(0,\pi)$ and $K_1, K_2\in \mathcal{A}$, $Proj_{\theta}(K_1\times K_2)$ is similar to a self-similar set or an attractor of some infinite iterated function system, where $Proj_{\theta}$ denotes the orthogonal projection onto $L_{\theta}$, and $L_{\theta}$ denotes the line through the origin in direction $\theta$. As a corollary, $\dim_{P}(Proj_{\theta}(K_1\times K_2))=\overline{\dim}_{B}(Proj_{\theta}(K_1\times K_2))$ holds for any $\theta\in(0,\pi)$ and any $K_1, K_2\in \mathcal{A}$, where $\dim_{P}$ and $\overline{\dim}_{B}$ denote the packing and upper box dimension. Whether $Proj_{\theta}(K_1\times K_2)$ is similar to a self-similar set or not is uniquely determined by the similarity ratios of $K_1$ and $K_2$ rather than the angle $\theta.$ When $Proj_{\theta}(K_1\times K_2)$ is similar to a self-similar set, in terms of the finite type condition \cite{NW}, we are able to calculate in cerntain cases the Hausdorff dimension of $Proj_{\theta}(K_1\times K_2)$. If $Proj_{\theta}(K_1\times K_2)$ is similar to an attractor of some infinite iterated function system, then by virtue of the Vitali covering lemma \cite{FG} we give an estimation of the Hausdorff dimension of $Proj_{\theta}(K_1\times K_2)$. For some cases, we can calculate, by means of Mauldin and Urbanski' result \cite{MRD}, the exact Hausdorff dimension of $Proj_{\theta}(K_1\times K_2)$. We also find some non-trivial examples such that for some angle $\theta\in[0,\pi)$ and some $K_1, K_2\in \mathcal{A}$, $\dim_{H}(Proj_{\theta}(K_1\times K_2))=\dim_{H}(K_1)+\dim_{H}(K_2)$.


title: Sloth Search System at the Video Browser Showdown 2018 - Final Notes

abstract: This short paper provides further details of the Sloth Search System, which was developed by the NECTEC team for the Video Browser Showdown (VBS) 2018.


title: On an extension of the promotion time cure model

abstract: We consider the problem of estimating the distribution of time-to-event data that are subject to censoring and for which the event of interest might never occur, i.e., some subjects are cured. To model this kind of data in the presence of covariates, one of the leading semiparametric models is the promotion time cure model \citep{yakovlev1996}, which adapts the Cox model to the presence of cured subjects. Estimating the conditional distribution results in a complicated constrained optimization problem, and inference is difficult as no closed-formula for the variance is available. We propose a new model, inspired by the Cox model, that leads to a simple estimation procedure and that presents a closed formula for the variance. We derive some asymptotic properties of the estimators and we show the practical behaviour of our procedure by means of simulations. We also apply our model and estimation method to a breast cancer data set.


title: Optimal Balancing of Time-Dependent Confounders for Marginal Structural Models

abstract: Marginal structural models (MSMs) estimate the causal effect of a time-varying treatment in the presence of time-dependent confounding via weighted regression. The standard approach of using inverse probability of treatment weighting (IPTW) can lead to high-variance estimates due to extreme weights and be sensitive to model misspecification. Various methods have been proposed to partially address this, including truncation and stabilized-IPTW to temper extreme weights and covariate balancing propensity score (CBPS) to address treatment model misspecification. In this paper, we present Kernel Optimal Weighting (KOW), a convex-optimization-based approach that finds weights for fitting the MSM that optimally balance time-dependent confounders while simultaneously controlling for precision, directly addressing the above limitations. KOW directly minimizes the error in estimation due to time-dependent confounding via a new decomposition as a functional. We further extend KOW to control for informative censoring. We evaluate the performance of KOW in a simulation study, comparing it with IPTW, stabilized-IPTW, and CBPS. We demonstrate the use of KOW in studying the effect of treatment initiation on time-to-death among people living with HIV and the effect of negative advertising on elections in the United States.


title: Energy-density functionals inspired by effective-field theories: Applications to neutron drops

abstract: New energy-density functionals (EDFs) inspired by effective-field theories (EFTs) have been recently proposed. The present work focuses on three of such functionals which were developed to produce satisfactory equations of state for nuclear matter. We aim to extend these functionals to treat finite systems including a spin-orbit contribution and pairing correlations. We illustrate here a first step towards this direction, namely a generalization of such functionals tailored to perform applications to neutron gases confined in harmonic traps. Sets of available \textit{ab initio} results are used as benchmark pseudo-data for adjusting the additional parameters (with respect to the nuclear matter case) that have to be introduced for finite-size systems. Several quantities are predicted and compared to \textit{ab initio} and other EDF results such as, for instance, total energies, potentials, and density profiles. The associated effective masses are also analyzed. In cases where \textit{ab initio} results are available, two of these functionals globally provide predictions which are close one to the other as well as to \textit{ab initio} values. It is shown that, in general, this is not the case for several currently used Skyrme functionals. Directions for improving the third functional are discussed.


title: Free field primaries in general dimensions: Counting and construction with rings and modules

abstract: We define lowest weight polynomials (LWPs), motivated by $so(d,2)$ representation theory, as elements of the polynomial ring over $ d \times n $ variables obeying a system of first and second order partial differential equations. LWPs invariant under $S_n$ correspond to primary fields in free scalar field theory in $d$ dimensions, constructed from $n$ fields. The LWPs are in one-to-one correspondence with a quotient of the polynomial ring in $ d \times (n-1) $ variables by an ideal generated by $n$ quadratic polynomials. The implications of this description for the counting and construction of primary fields are described: an interesting binomial identity underlies one of the construction algorithms.The product on the ring of LWPs can be described as a commutative star product. The quadratic algebra of lowest weight polynomials has a dual quadratic algebra which is non-commutative. We discuss the possible physical implications of this dual algebra.


title: Toric geometry and regularization of Feynman integrals

abstract: We study multivariate Mellin transforms of Laurent polynomials by considering special toric compactifications which make their singular structure apparent. This gives a precise description of their convergence domain, refining results of Nilsson, Passare, Berkesch and Forsg\aa rd. We also reformulate the geometric sector decomposition approach of Kaneko and Ueda in terms of these compactifications. Specializing to the case of Feynman integrals in the parametric representation, we construct multiple such compactifications given by certain systems of subgraphs. As particular cases, we recover the sector decompositions of Hepp, Speer and Smirnov, as well as the iterated blow-up constructions of Brown and Bloch-Esnault-Kreimer. A fundamental role is played by the Newton polytope of the product of the Symanzik polynomials, which we show to be a generalized permutahedron for generic kinematics. As an application, we review two approaches to dimensional regularization of Feynman integrals, based on sector decomposition and on analytic continuation.


title: A Highly Parallel FPGA Implementation of Sparse Neural Network Training

abstract: We demonstrate an FPGA implementation of a parallel and reconfigurable architecture for sparse neural networks, capable of on-chip training and inference. The network connectivity uses pre-determined, structured sparsity to significantly reduce complexity by lowering memory and computational requirements. The architecture uses a notion of edge-processing, leading to efficient pipelining and parallelization. Moreover, the device can be reconfigured to trade off resource utilization with training time to fit networks and datasets of varying sizes. The combined effects of complexity reduction and easy reconfigurability enable significantly greater exploration of network hyperparameters and structures on-chip. As proof of concept, we show implementation results on an Artix-7 FPGA.


title: $^{14}$N/$^{15}$N ratio measurements in prestellar cores with N$_2$H$^+$: new evidence of $^{15}$N-antifractionation

abstract: Context: The $^{15}$N fractionation has been observed to show large variations among astrophysical sources, depending both on the type of target and on the molecular tracer used. These variations cannot be reproduced by the current chemical models. Aims: Until now, the $^{14}$N/$^{15}$N ratio in N$_2$H$^+$ has been accurately measured in only one prestellar source, L1544, where strong levels of fractionation, with depletion in $^{15}$N, are found ($^{14}$N/$^{15}$N$\: \approx 1000$). In this paper we extend the sample to three more bona fide prestellar cores, in order to understand if the antifractionation in N$_2$H$^+$ is a common feature of this kind of sources. Methods: We observed N$_2$H$^+$,N$^{15}$NH$^+$ and $^{15}$NNH$^+$ in L183, L429 and L694-2 with the IRAM 30m telescope. We modeled the emission with a non-local radiative transfer code in order to obtain accurate estimates of the molecular column densities, including the one for the optically thick N$_2$H$^+$. We used the most recent collisional rate coefficients available, and with these we also re-analysed the L1544 spectra previously published. Results: The obtained isotopic ratios are in the range $630-770$ and significantly differ with the value, predicted by the most recent chemical models, of $\approx 440$, close to the protosolar value. Our prestellar core sample shows high level of depletion of $^{15}$N in diazenylium, as previously found in L1544. A revision of the N chemical networks is needed in order to explain these results.


title: Entanglement entropy, entropy production and time evolution in high energy QCD

abstract: Working in the framework of the Color Glass Condensate effective theory of high energy QCD, we revisit the momentum space entanglement entropy of the soft gluons produced in high energy dilute-dense collisions. We extend the work of~\cite{Kovner:2015hga} by considering entropy produced in a single event. This entropy arises due to decoherence of eigenstates with different energies during the time evolution after the collisions with the target. We define it rigorously as the entanglement entropy of the produced system with the experimental apparatus. We compute the time dependent single event entropy in the limit of weak projectile field. Further we compute the entropy for the ensemble of events defined by the McLerran-Venugopalan model for the projectile wave function. Interestingly the entropy of the ensemble has a much weaker time dependence than the entropy in any single event. We attribute this feature to the so called monogamy of entanglement.


title: Surface microswimmers, harnessing the interface to self-propel

abstract: In the study of microscopic flows, self-propulsion has been particularly topical in recent years, with the rise of miniature artificial swimmers as a new tool for flow control, low Reynolds number mixing, micromanipulation or even drug delivery. It is possible to take advantage of interfacial physics to propel these micro-robots, as demonstrated by recent experiments using the proximity of an interface, or the interface itself, to generate propulsion at low Reynolds number. This paper discusses how a nearby interface can provide the symmetry breaking necessary for propulsion. An overview of recent experiments illustrates how forces at the interface can be used to generate locomotion. This paper then presents original results concerning two systems. The first is composed of floating ferromagnetic spheres that assemble through capillarity into swimming structures. The second system, also powered by a magnetic field, is a centimeter-sized piece that swims similarly to water striders.


title: Auto-Correlation and Coherence Time of Interference in Poisson Networks

abstract: The dynamics of interference over space and time influences the performance of wireless communication systems, yet its features are still not fully understood. This article analyzes the temporal dynamics of the interference in Poisson networks accounting for three key correlation sources: the location of nodes, the wireless channel, and the network traffic. We derive expressions for the auto-correlation function of interference. These are presented as a framework that enables us to arbitrarily combine the three correlation sources to match a wide range of interference scenarios. We then introduce the interference coherence time - analogously to the well-known channel coherence time - and analyze its features for each correlation source. We find that the coherence time behaves very different for the different interference scenarios considered and depends on the network parameters. Having accurate knowledge of the coherence time can thus be an important design input for protocols, e.g., retransmission and medium access control.


title: Quantum entanglement in inflationary cosmology

abstract: We investigate the holographic quantum entanglement of a visible universe in an inflationary cosmology. To do so, we consider an AdS space with a dS boundary which represents an expanding space in time. In an inflationary cosmology, there exists a natural entangling surface called a cosmic event horizon which divides a universe into visible and invisible parts. In this model, cosmic event horizon monotonically decreases and approaches a constant value proportional to the inverse of Hubble constant. We show that the quantum entanglement between the visible and invisible universes divided by cosmic event horizon decreases monotonically in time. After an infinite time evolution, it finally approaches a constant value which is proportional to the inverse square of the Hubble constant for a four-dimensional dS space.


title: Cross-intersecting non-empty uniform subfamilies of hereditary families

abstract: A set $A$ $t$-intersects a set $B$ if $A$ and $B$ have at least $t$ common elements. A set of sets is called a family. Two families $\mathcal{A}$ and $\mathcal{B}$ are cross-$t$-intersecting if each set in $\mathcal{A}$ $t$-intersects each set in $\mathcal{B}$. A family $\mathcal{H}$ is hereditary if for each set $A$ in $\mathcal{H}$, all the subsets of $A$ are in $\mathcal{H}$. The $r$th level of $\mathcal{H}$, denoted by $\mathcal{H}^{(r)}$, is the family of $r$-element sets in $\mathcal{H}$. A set $B$ in $\mathcal{H}$ is a base of $\mathcal{H}$ if for each set $A$ in $\mathcal{H}$, $B$ is not a proper subset of $A$. Let $\mu(\mathcal{H})$ denote the size of a smallest base of $\mathcal{H}$. We show that for any integers $t$, $r$, and $s$ with $1 \leq t \leq r \leq s$, there exists an integer $c(r,s,t)$ such that the following holds for any hereditary family $\mathcal{H}$ with $\mu(\mathcal{H}) \geq c(r,s,t)$. If $\mathcal{A}$ is a non-empty subfamily of $\mathcal{H}^{(r)}$, $\mathcal{B}$ is a non-empty subfamily of $\mathcal{H}^{(s)}$, $\mathcal{A}$ and $\mathcal{B}$ are cross-$t$-intersecting, and $|\mathcal{A}| + |\mathcal{B}|$ is maximum under the given conditions, then for some set $I$ in $\mathcal{H}$ with $t \leq |I| \leq r$, either $\mathcal{A} = \{A \in \mathcal{H}^{(r)} \colon I \subseteq A\}$ and $\mathcal{B} = \{B \in \mathcal{H}^{(s)} \colon |B \cap I| \geq t\}$, or $r = s$, $t < |I|$, $\mathcal{A} = \{A \in \mathcal{H}^{(r)} \colon |A \cap I| \geq t\}$, and $\mathcal{B} = \{B \in \mathcal{H}^{(s)} \colon I \subseteq B\}$. This was conjectured by the author for $t=1$ and generalizes well-known results for the case where $\mathcal{H}$ is a power set.


title: Robustifying Independent Component Analysis by Adjusting for Group-Wise Stationary Noise

abstract: We introduce coroICA, confounding-robust independent component analysis, a novel ICA algorithm which decomposes linearly mixed multivariate observations into independent components that are corrupted (and rendered dependent) by hidden group-wise stationary confounding. It extends the ordinary ICA model in a theoretically sound and explicit way to incorporate group-wise (or environment-wise) confounding. We show that our proposed general noise model allows to perform ICA in settings where other noisy ICA procedures fail. Additionally, it can be used for applications with grouped data by adjusting for different stationary noise within each group. Our proposed noise model has a natural relation to causality and we explain how it can be applied in the context of causal inference. In addition to our theoretical framework, we provide an efficient estimation procedure and prove identifiability of the unmixing matrix under mild assumptions. Finally, we illustrate the performance and robustness of our method on simulated data, provide audible and visual examples, and demonstrate the applicability to real-world scenarios by experiments on publicly available Antarctic ice core data as well as two EEG data sets. We provide a scikit-learn compatible pip-installable Python package coroICA as well as R and Matlab implementations accompanied by a documentation at https://sweichwald.de/coroICA/


title: Entropy formula and continuity of entropy for piecewise expanding maps

abstract: We consider some classes of piecewise expanding maps in finite dimensional spaces having invariant probability measures which are absolutely continuous with respect to Lebesgue measure. We derive an entropy formula for such measures and, using this entropy formula, in some parametrized families we present sufficient conditions for the continuity of that entropy with respect to the parameter. We apply our results to a classical one-dimensional family of tent maps and a family of two-dimensional maps which arises as the limit of return maps when a homoclinic tangency is unfolded by a family of three dimensional diffeomorphisms.


title: Light and shadow in the Galactic Center - On the detection of the relativistic periastron shift of star S2 in the Galactic Center

abstract: We report on the nature of prominent sources of light and shadow in the Galactic Center. With respect to the Bremsstrahlung X-ray emission of the hot plasma in that region the Galactic Center casts a 'shadow'. The 'shadow' is caused by the Circum Nuclear Disk that surrounds SgrA* at a distance of about 1 to 2 parsec. This detection allows us to do a detailed investigation of the physical properties of the surroundings of the super massive black hole. Further in, the cluster of high velocity stars orbiting the central super massive black hole SgrA* represents an ideal probe for the gravitational potential and the degree of relativity that one can attribute to this area. Recently, three of the closest stars (S2, S38, and S55/S0-102) have been used to conduct these investigations. In addition to the black hole mass and distance a relativistic parameter defined as ${\Upsilon}=r_s/r_p$ could be derived for star S2. The quantity $r_s$ is the Schwarzschild radius and $r_p$ is the pericenter distance of the orbiting star. Here, in this publication, we highlight the robustness and significance of this result. If one aims at investigating stronger relativistic effects one needs to get closer to SgrA*. Here, one can use the emission of plasma blobs that orbit SgrA*. This information can be obtained by modeling lightcurves of bright X-ray flares. Finally, we comment on the shadow of the SgrA* black hole expected due to light bending and boosting in its vicinity.


title: Modeling Realistic Degradations in Non-blind Deconvolution

abstract: Most image deblurring methods assume an over-simplistic image formation model and as a result are sensitive to more realistic image degradations. We propose a novel variational framework, that explicitly handles pixel saturation, noise, quantization, as well as non-linear camera response function due to e.g., gamma correction. We show that accurately modeling a more realistic image acquisition pipeline leads to significant improvements, both in terms of image quality and PSNR. Furthermore, we show that incorporating the non-linear response in both the data and the regularization terms of the proposed energy leads to a more detailed restoration than a naive inversion of the non-linear curve. The minimization of the proposed energy is performed using stochastic optimization. A dataset consisting of realistically degraded images is created in order to evaluate the method.


title: Exceptional Points in Two Dissimilar Coupled Diode Lasers

abstract: We show the abundance of Exceptional Points in the generic asymmetric configuration of two coupled diode lasers, under nonzero optical detuning and differential pumping. We pinpoint the location of these points with respect to the stability domains and the Hopf bifurcation points, in the solution space as well as in the space of experimentally controlled parameters.


title: Lie algebra of column-finite infinite matrices: ideals and derivations

abstract: In this paper we shall consider the Lie algebra of column-finite infinite matrices indexed by positive integers $\mathbb{N}$, describe the lattice of its ideals for arbitrary field $K$ and study its derivations over any commutative, unital ring $R$.


title: Variability analysis of {\delta} Scuti candidate stars

abstract: The Hipparcos catalog contains stars suspected to be {\delta} Scuti variables for which extensive ground-based observations and characterization of variability are necessary. Our aim was to characterize variability of 13 candidates to {\delta} Scuti type stars. We obtained 24 215 CCD images and analyzed stellar light curves using the Period04 program. Twelve {\delta} Scuti candidate stars have been characterized as pulsating with frequencies intrinsic to {\delta} Scuti stars: HIP 2923, HIP 5526, HIP 5659, HIP 11090, HIP 17585, HIP 74155, HIP 101473, HIP 106219, HIP 107786, HIP 113487, HIP 115093, HIP 115856. Five of them (HIP 2923, HIP 5526, HIP 11090, HIP 115856 and HIP 106219) may be hybrid {\delta} Scuti-{\gamma} Doradus pulsators. One more candidate, HIP 106223, is a variable star with longer periods of pulsations which are intrinsic to {\gamma} Doradus.


title: Analysis of parametric models - linear methods and approximations

abstract: Parametric models in vector spaces are shown to possess an associated linear map. This linear operator leads directly to reproducing kernel Hilbert spaces and affine- / linear- representations in terms of tensor products. From the associated linear map analogues of covariance or rather correlation operators can be formed. The associated linear map in fact provides a factorisation of the correlation. Its spectral decomposition, and the associated Karhunen-Lo\`eve- or proper orthogonal decomposition in a tensor product follow directly. It is shown that all factorisations of a certain class are unitarily equivalent, as well as that every factorisation induces a different representation, and vice versa. A completely equivalent spectral and factorisation analysis can be carried out in kernel space. The relevance of these abstract constructions is shown on a number of mostly familiar examples, thus unifying many such constructions under one theoretical umbrella. From the factorisation one obtains tensor representations, which may be cascaded, leading to tensors of higher degree. When carried over to a discretised level in the form of a model order reduction, such factorisations allow very sparse low-rank approximations which lead to very efficient computations especially in high dimensions.


title: Sulphur chemistry in the L1544 pre-stellar core

abstract: The L1544 pre-stellar core has been observed as part of the ASAI IRAM 30m Large Program as well as follow-up programs. These observations have revealed the chemical richness of the earliest phases of low-mass star-forming regions. In this paper we focus on the twenty-one sulphur bearing species (ions, isotopomers and deuteration) that have been detected in this spectral-survey through fifty one transitions: CS, CCS, C3S, SO, SO2, H2CS, OCS, HSCN, NS, HCS+, NS+ and H2S. We also report the tentative detection (4 {\sigma} level) for methyl mercaptan (CH3SH). LTE and non-LTE radiative transfer modelling have been performed and we used the nautilus chemical code updated with the most recent chemical network for sulphur to explain our observations. From the chemical modelling we expect a strong radial variation for the abundances of these species, which mostly are emitted in the external layer where non thermal desorption of other species has previously been observed. We show that the chemical study cannot be compared to what has been done for the TMC-1 dark cloud, where the abundance is supposed constant along the line of sight, and conclude that a strong sulphur depletion is necessary to fully reproduce our observations of the prototypical pre-stellar core L1544.


title: Giving Text Analytics a Boost

abstract: The amount of textual data has reached a new scale and continues to grow at an unprecedented rate. IBM's SystemT software is a powerful text analytics system, which offers a query-based interface to reveal the valuable information that lies within these mounds of data. However, traditional server architectures are not capable of analyzing the so-called "Big Data" in an efficient way, despite the high memory bandwidth that is available. We show that by using a streaming hardware accelerator implemented in reconfigurable logic, the throughput rates of the SystemT's information extraction queries can be improved by an order of magnitude. We present how such a system can be deployed by extending SystemT's existing compilation flow and by using a multi-threaded communication interface that can efficiently use the bandwidth of the accelerator.


title: Consolidating the innovative concepts towards Exascale computing for Co-Design of Co-Applications ll: Co-Design Automation - Workload Characterization

abstract: Many-core co-design is a complex task in which application complexity design space, heterogeneous many-core architecture design space, parallel programming language design space, simulator design space and optimizer design space should get integrated through a binding process and these design spaces, an ensemble of what is called many-core co-design spaces. It is indispensable to build a co-design automation process to dominate over the co-design complexity to cut down the turnaround time. The co-design automation is frame worked to comprehend the dependencies across the many-core co-design spaces and devise the logic behind these interdependencies using a set of algorithms. The software modules of these algorithms and the rest from the many-core co-design spaces interact to crop up the power-performance optimized heterogeneous many-core architecture specific for the simultaneous execution of co applications without space-time sharing. It is essential that such co-design automation has a built-in user-customizable workload generator to benchmark the emerging many-core architecture. This customizability benefits the generation of complex workloads with the desired computation complexity, communication complexity, control flow complexity, and locality of reference, specified under a distribution and established on quantitative models. In addition, the customizable workload model aids the generation of what is called computational and communication surges. None of the current day benchmark suites encompasses applications and kernels that can match the attributes of customizable workload model proposed in this paper. Aforementioned concepts are exemplified in, the case study supported by simulation results gathered from the simulator.


title: Performance tuning for deep learning on a many-core processor (master thesis)

abstract: Convolutional neural networks (CNNs) are becoming very successful and popular for a variety of applications. The Loki many-core processor architecture is very promising for achieving specialised hardware performance and efficiency while being a general purpose solution. Loki combines many simple cores with increased control for the programmer. This freedom can be exploited to produce much more efficient code than in conventional multiprocessors but it also creates a very big design space for possible optimisations. In this project, I explore possible optimisations for a CNN application, their portability on different Loki-specific configurations, convolution parameters and inputs. Finally, I investigate the potential for adaptive algorithms for further performance increase.


title: Performance evaluation over HW/SW co-design SoC memory transfers for a CNN accelerator

abstract: Many FPGAs vendors have recently included embedded processors in their devices, like Xilinx with ARM-Cortex A cores, together with programmable logic cells. These devices are known as Programmable System on Chip (PSoC). Their ARM cores (embedded in the processing system or PS) communicates with the programmable logic cells (PL) using ARM-standard AXI buses. In this paper we analyses the performance of exhaustive data transfers between PS and PL for a Xilinx Zynq FPGA in a co-design real scenario for Convolutional Neural Networks (CNN) accelerator, which processes, in dedicated hardware, a stream of visual information from a neuromorphic visual sensor for classification. In the PS side, a Linux operating system is running, which recollects visual events from the neuromorphic sensor into a normalized frame, and then it transfers these frames to the accelerator of multi-layered CNNs, and read results, using an AXI-DMA bus in a per-layer way. As these kind of accelerators try to process information as quick as possible, data bandwidth becomes critical and maintaining a good balanced data throughput rate requires some considerations. We present and evaluate several data partitioning techniques to improve the balance between RX and TX transfer and two different ways of transfers management: through a polling routine at the userlevel of the OS, and through a dedicated interrupt-based kernellevel driver. We demonstrate that for longer enough packets, the kernel-level driver solution gets better timing in computing a CNN classification example. Main advantage of using kernel-level driver is to have safer solutions and to have tasks scheduling in the OS to manage other important processes for our application, like frames collection from sensors and their normalization.


title: GANAX: A Unified MIMD-SIMD Acceleration for Generative Adversarial Networks

abstract: Generative Adversarial Networks (GANs) are one of the most recent deep learning models that generate synthetic data from limited genuine datasets. GANs are on the frontier as further extension of deep learning into many domains (e.g., medicine, robotics, content synthesis) requires massive sets of labeled data that is generally either unavailable or prohibitively costly to collect. Although GANs are gaining prominence in various fields, there are no accelerators for these new models. In fact, GANs leverage a new operator, called transposed convolution, that exposes unique challenges for hardware acceleration. This operator first inserts zeros within the multidimensional input, then convolves a kernel over this expanded array to add information to the embedded zeros. Even though there is a convolution stage in this operator, the inserted zeros lead to underutilization of the compute resources when a conventional convolution accelerator is employed. We propose the GANAX architecture to alleviate the sources of inefficiency associated with the acceleration of GANs using conventional convolution accelerators, making the first GAN accelerator design possible. We propose a reorganization of the output computations to allocate compute rows with similar patterns of zeros to adjacent processing engines, which also avoids inconsequential multiply-adds on the zeros. This compulsory adjacency reclaims data reuse across these neighboring processing engines, which had otherwise diminished due to the inserted zeros. The reordering breaks the full SIMD execution model, which is prominent in convolution accelerators. Therefore, we propose a unified MIMD-SIMD design for GANAX that leverages repeated patterns in the computation to create distinct microprograms that execute concurrently in SIMD mode.


title: Hardware Transactional Persistent Memory

abstract: Emerging Persistent Memory technologies (also PM, Non-Volatile DIMMs, Storage Class Memory or SCM) hold tremendous promise for accelerating popular data-management applications like in-memory databases. However, programmers now need to deal with ensuring the atomicity of transactions on Persistent Memory resident data and maintaining consistency between the order in which processors perform stores and that in which the updated values become durable. The problem is specially challenging when high-performance isolation mechanisms like Hardware Transactional Memory (HTM) are used for concurrency control. This work shows how HTM transactions can be ordered correctly and atomically into PM by the use of a novel software protocol combined with a Persistent Memory Controller, without requiring changes to processor cache hardware or HTM protocols. In contrast, previous approaches require significant changes to existing processor microarchitectures. Our approach, evaluated using both micro-benchmarks and the STAMP suite compares well with standard (volatile) HTM transactions. It also yields significant gains in throughput and latency in comparison with persistent transactional locking.


title: An adaptive parallel processing strategy in complex event processing systems over data streams

abstract: Efficient matching of incoming events of data streams to persistent queries is fundamental to event stream processing systems. These applications require dealing with high volume and continuous data streams with fast processing time on distributed complex event processing (CEP) systems. Therefore, a well-managed parallel processing technique is needed for improving the performance of the system. However, the specific properties of pattern operators in the CEP systems increase the difficulties of the parallel processing problem. To address these issues, a parallelization model and an adaptive parallel processing strategy are proposed for the complex event processing by introducing a histogram, and utilizing the probability and queue theory. The proposed strategy can estimate the optimal event splitting policy, which can suit the most recent workloads conditions such that the selected policy has the least expected waiting time for further processing the arriving events. The proposed strategy can keep the CEP system running fast under the variation of the time window sizes of operators and input rates of streams. Finally, the utility of our work is demonstrated through the experiments on the StreamBase system.


title: Spark-MPI: Approaching the Fifth Paradigm of Cognitive Applications

abstract: Over the past decade, the fourth paradigm of data-intensive science rapidly became a major driving concept of multiple application domains encompassing and generating large-scale devices such as light sources and cutting edge telescopes. The success of data-intensive projects subsequently triggered the next generation of machine learning approaches. These new artificial intelligent systems clearly represent a paradigm shift from data processing pipelines towards the fifth paradigm of composite cognitive applications requiring the integration of Big Data processing platforms and HPC technologies. The paper addresses the existing impedance mismatch between data-intensive and compute-intensive ecosystems by presenting the Spark-MPI approach based on the MPI Exascale Process Management Interface (PMIx). The approach is demonstrated within the context of hybrid MPI/GPU ptychographic image reconstruction pipelines and distributed deep learning applications.


title: Extended Creutz ladder with spin-orbit coupling: a one-dimensional analog of the Kane-Mele model

abstract: We construct a topological ladder model, one-dimensional, following the steps which lead to the Kane-Mele model in two dimensions. Starting with a Creutz ladder we modify it so that the gap closure points can occur at either $k = \pi / 2$ or $-\pi/2$. We then couple two such models, one for each spin channel, in such a way that time-reversal invariance is restored. We also add a Rashba spin-orbit coupling term. The model falls in the CII symmetry class. We derive the relevant $2\mathbb{Z}$ topological index, calculate the phase diagram and demonstrate the existence of edge states. We also give the thermodynamic derivation of the quantum spin Hall conductance (St\v{r}eda-Widom). Approximate implementation of this result indicates that this quantity is sensitive to the topological behavior of the model.


title: Halo structure of $^{17}$C

abstract: $^{17}$C has three states below the $^{16}$C + $n$ threshold with quantum numbers $J^P=3/2^+,1/2^+,5/2^+$. These states have relatively small neutron separation energies compared to the neutron separation and excitation energies of $^{16}$C. This separation of scales motivates our investigation of $^{17}$C in a Halo effective field theory (Halo EFT) with a $^{16}$C core and a valence neutron as degrees of freedom. We discuss various properties of the three states such as electric radii, magnetic moments, electromagnetic transition rates and capture cross sections. In particular, we give predictions for the charge radius and the magnetic moment of the $1/2^+$ state and for neutron capture on $^{16}$C into this state. Furthermore, we discuss the predictive power of the Halo EFT approach for the $3/2^+$ and $5/2^+$ states which are described by a neutron in a $D$-wave relative to the core.


title: Fredholm Property of Non-Smooth Pseudodifferential Operators

abstract: In this paper we prove sufficient conditions for the Fredholm property of a non-smooth pseudodifferential operator $P$ which symbol is in a H\"older space with respect to the spatial variable. As a main ingredient for the proof we use a suitable symbol-smoothing.


title: A comparison of penalty shootout designs in soccer

abstract: Penalty shootout in soccer is recognized to be unfair because the team kicking first in all rounds enjoys a significant advantage. The so-called Catch-Up Rule has been suggested recently to solve this problem but is shown here not to be fairer than the simpler deterministic Alternating (ABBA) Rule that has already been tried. We introduce the Adjusted Catch-Up Rule by guaranteeing the first penalty of the possible sudden death stage to the team disadvantaged in the first round. It outperforms the Catch-Up and Alternating Rules, while remains straightforward to implement. A general measure of complexity for penalty shootout mechanisms is also provided as the minimal number of binary questions required to decide the first-mover in a given round without knowing the history of the penalty shootout. This quantification permits a two-dimensional evaluation of any mechanism proposed in the future.


title: Gauge enhancement of super M-branes via parametrized stable homotopy theory

abstract: A key open problem in M-theory is the mechanism of "gauge enhancement", which supposedly makes M-branes exhibit the nonabelian gauge degrees of freedom that are seen perturbatively in the limit of 10d string theory. In fact, since only the twisted K-theory classes represented by nonabelian Chan-Paton gauge fields on D-branes have invariant meaning, the problem is really the lift to M-theory of the twisted K-theory classification of D-brane charges. Here we show how this problem has a solution by universal constructions in super homotopy theory, at least rationally. We recall how double dimensional reduction of super M-brane charges is described by the cyclification adjunction applied to the 4-sphere, and how M-theory degrees of freedom hidden at ADE-singularities are induced by the suspended Hopf action on the 4-sphere. Combining these, we demonstrate, at the level of rational homotopy theory, that gauge enhancement in M-theory is exhibited by lifting against the fiberwise stabilization of the unit of this cyclification adjunction on the A-type orbispace of the 4-sphere. This explains how the fundamental D6 and D8 brane cocycles can be lifted from twisted K-theory to a cohomology theory for M-brane charge, at least rationally.


title: Machine Learning for Predictive Analytics of Compute Cluster Jobs

abstract: We address the problem of predicting whether sufficient memory and CPU resources have been requested for jobs at submission time. For this purpose, we examine the task of training a supervised machine learning system to predict the outcome - whether the job will fail specifically due to insufficient resources - as a classification task. Sufficiently high accuracy, precision, and recall at this task facilitates more anticipatory decision support applications in the domain of HPC resource allocation. Our preliminary results using a new test bed show that the probability of failed jobs is associated with information freely available at job submission time and may thus be usable by a learning system for user modeling that gives personalized feedback to users.


title: Backpropagation for long sequences: beyond memory constraints with constant overheads

abstract: Naive backpropagation through time has a memory footprint that grows linearly in the sequence length, due to the need to store each state of the forward propagation. This is a problem for large networks. Strategies have been developed to trade memory for added computations, which results in a sublinear growth of memory footprint or computation overhead. In this work, we present a library that uses asynchronous storing and prefetching to move data to and from slow and cheap stor- age. The library only stores and prefetches states as frequently as possible without delaying the computation, and uses the optimal Revolve backpropagation strategy for the computations in between. The memory footprint of the backpropagation can thus be reduced to any size (e.g. to fit into DRAM), while the computational overhead is constant in the sequence length, and only depends on the ratio between compute and transfer times on a given hardware. We show in experiments that by exploiting asyncronous data transfer, our strategy is always at least as fast, and usually faster than the previously studied "optimal" strategies.


title: Light interception modelling using unstructured LiDAR data in avocado orchards

abstract: In commercial fruit farming, managing the light distribution through canopies is important because the amount and distribution of solar energy that is harvested by each tree impacts the production of fruit quantity and quality. It is therefore an important characteristic to measure and ultimately to control with pruning. We present a solar-geometric model to estimate light interception in individual avocado (Persea americana) trees, that is designed to scale to whole-orchard scanning, ultimately to inform pruning decisions. The geometry of individual trees was measured using LiDAR and represented by point clouds. A discrete energy distribution model of the hemispherical sky was synthesised using public weather records. The light from each sky node was then ray traced, applying a radiation absorption model where rays pass the point cloud representation of the tree. The model was validated using ceptometer energy measurements at the canopy floor, and model parameters were optimised by analysing the error between modelled and measured energies. The model was shown to perform well qualitatively well through visual comparison with tree shadows in photographs, and quantitatively well with R^2 = 0.854, suggesting it is suitable to use in the context of agricultural decision support systems, in future work.


title: Covering with Clubs: Complexity and Approximability

abstract: Finding cohesive subgraphs in a network is a well-known problem in graph theory. Several alternative formulations of cohesive subgraph have been proposed, a notable example being $s$-club, which is a subgraph where each vertex is at distance at most $s$ to the others. Here we consider the problem of covering a given graph with the minimum number of $s$-clubs. We study the computational and approximation complexity of this problem, when $s$ is equal to 2 or 3. First, we show that deciding if there exists a cover of a graph with three $2$-clubs is NP-complete, and that deciding if there exists a cover of a graph with two $3$-clubs is NP-complete. Then, we consider the approximation complexity of covering a graph with the minimum number of $2$-clubs and $3$-clubs. We show that, given a graph $G=(V,E)$ to be covered, covering $G$ with the minimum number of $2$-clubs is not approximable within factor $O(|V|^{1/2 -\varepsilon})$, for any $\varepsilon>0$, and covering $G$ with the minimum number of $3$-clubs is not approximable within factor $O(|V|^{1 -\varepsilon})$, for any $\varepsilon>0$. On the positive side, we give an approximation algorithm of factor $2|V|^{1/2}\log^{3/2} |V|$ for covering a graph with the minimum number of $2$-clubs.


title: A spinorial approach to constant scalar curvature hypersurfaces in pseudo-hyperbolic manifolds

abstract: Using spinorial techniques, we prove, for a class of pseudo-hyperbolic ambient manifolds, a Heintze-Karcher type inequality. We then use this inequality to show an Alexandrov type theorem in such spaces.


title: How Electrons Spin

abstract: There are a number of reasons to think that the electron cannot truly be spinning. Given how small the electron is generally taken to be, it would have to rotate superluminally to have the right angular momentum and magnetic moment. Also, the electron's gyromagnetic ratio is twice the value one would expect for an ordinary classical rotating charged body. These obstacles can be overcome by examining the flow of mass and charge in the Dirac field (interpreted as giving the classical state of the electron). Superluminal velocities are avoided because the electron's mass and charge are spread over sufficiently large distances that neither the velocity of mass flow nor the velocity of charge flow need to exceed the speed of light. The electron's gyromagnetic ratio is twice the expected value because its charge rotates twice as fast as its mass.


title: A note on the asymptotic expansion of the Lerch's transcendent

abstract: In a previous paper by Ferreira and L\'opez [Journal of Mathematical Analysis and Applications, 298(1), 2004], the authors derived an asymptotic expansion of the Lerch's transcendent $\Phi(z,s,a)$ for large $\vert a\vert$, valid for $\mathrm{Re}(a)>0$, $\mathrm{Re}(s)>0$ and $z\in\mathbb{C}\setminus[1,\infty)$. In this paper we study the special case $z\ge 1$ not covered in the previous result, deriving a complete asymptotic expansion of the Lerch's transcendent $\Phi(z,s,a)$ for $z > 1$ and $\mathrm{Re}(s)>0$ as $\mathrm{Re}(a)$ goes to infinity. We also show that when $a$ is a positive integer, this expansion is convergent for $\mathrm{Re}(z) \ge 1$. As a corollary, we get a full asymptotic expansion for the sum $\sum_{n=1}^{m} z^{n}/n^{s}$ for fixed $z >1 $ as $m \to \infty$. Some numerical results show the accuracy of the approximation.


title: U(1) symmetry breaking under canonical transformation in real scalar field theory

abstract: In this article, I have considered a real scalar field theory and able to show that under Bogoliubov transformation in infinite volume limit or thermodynamic limit the transformed Hamiltonian no longer invariant under U(1) action defined appropriately as it was before doing transformation. We also have checked this fact by looking at the correlation functions under the action of U(1) group. We suitably defined field operators that are associated with particle production phenomena then we can also show that correlation functions of such field operators also don't follow U(1) invariance, shown in this article. This is a consequence of non-invariance of transformed Hamiltonian under U(1) action. Since, we know Bogoliubov transformation in curved spacetime is equivalent to doing a coordinate transformation, therefore this result directly shows the phenomena of particle production under the affect of gravity since changing coordinate is equivalent to turn on gravity according to Einstein's equivalence principle in GR. I also show that particle production does not take place out of vacuum state but it can happen out of other many-particle states and vacuum state is not an eigenvector of Hamltonian operator in transformed Fock space and vacuum state does not remain vacuum state under time evolution.


title: Global martingale solutions for a stochastic population cross-diffusion system

abstract: The existence of global nonnegative martingale solutions to a stochastic cross-diffusion system for an arbitrary but finite number of interacting population species is shown. The random influence of the environment is modeled by a multiplicative noise term. The diffusion matrix is generally neither symmetric nor positive definite, but it possesses a quadratic entropy structure. This structure allows us to work in a Hilbert space framework and to apply a stochastic Galerkin method. The existence proof is based on energy-type estimates, the tightness criterion of Brze\'zniak and co-workers, and Jakubowski's generalization of the Skorokhod theorem. The nonnegativity is proved by an extension of Stampacchia's truncation method due to Chekroun, Park, and Temam.


title: On the existence of deformations and dimensional reduction in wormholes and black holes

abstract: The deformation retract is, by definition, a homotopy between a retraction and the identity map. We show that applying this topological concept to Ricci-flat wormholes/black holes implies that such objects can get deformed and reduced to lower dimensions. The homotopy theory can provide a rigorous proof to the existence of black holes/wormholes deformations and explain the topological origin. The current work discusses such possible deformations and dimensional reductions from a global topological point of view, it also represents a new application of the homotopy theory and deformation retract in astrophysics and quantum gravity.


title: Confidence Interval Estimators for MOS Values

abstract: For the quantification of QoE, subjects often provide individual rating scores on certain rating scales which are then aggregated into Mean Opinion Scores (MOS). From the observed sample data, the expected value is to be estimated. While the sample average only provides a point estimator, confidence intervals (CI) are an interval estimate which contains the desired expected value with a given confidence level. In subjective studies, the number of subjects performing the test is typically small, especially in lab environments. The used rating scales are bounded and often discrete like the 5-point ACR rating scale. Therefore, we review statistical approaches in the literature for their applicability in the QoE domain for MOS interval estimation (instead of having only a point estimator, which is the MOS). We provide a conservative estimator based on the SOS hypothesis and binomial distributions and compare its performance (CI width, outlier ratio of CI violating the rating scale bounds) and coverage probability with well known CI estimators. We show that the provided CI estimator works very well in practice for MOS interval estimators, while the commonly used studentized CIs suffer from a positive outlier ratio, i.e., CIs beyond the bounds of the rating scale. As an alternative, bootstrapping, i.e., random sampling of the subjective ratings with replacement, is an efficient CI estimator leading to typically smaller CIs, but lower coverage than the proposed estimator.


title: Skew left braces of nilpotent type

abstract: We study series of left ideals of skew left braces that are analogs of upper central series of groups. These concepts allow us to define left and right nilpotent skew left braces. Several results related to these concepts are proved and applications to infinite left braces are given. Indecomposable solutions of the Yang-Baxter equation are explored using the structure of skew left braces.


title: Ring Migration Topology Helps Bypassing Local Optima

abstract: Running several evolutionary algorithms in parallel and occasionally exchanging good solutions is referred to as island models. The idea is that the independence of the different islands leads to diversity, thus possibly exploring the search space better. Many theoretical analyses so far have found a complete (or sufficiently quickly expanding) topology as underlying migration graph most efficient for optimization, even though a quick dissemination of individuals leads to a loss of diversity. We suggest a simple fitness function FORK with two local optima parametrized by $r \geq 2$ and a scheme for composite fitness functions. We show that, while the (1+1) EA gets stuck in a bad local optimum and incurs a run time of $\Theta(n^{2r})$ fitness evaluations on FORK, island models with a complete topology can achieve a run time of $\Theta(n^{1.5r})$ by making use of rare migrations in order to explore the search space more effectively. Finally, the ring topology, making use of rare migrations and a large diameter, can achieve a run time of $\tilde{\Theta}(n^r)$, the black box complexity of FORK. This shows that the ring topology can be preferable over the complete topology in order to maintain diversity.


title: Multipartite Dark Matter in $SU(2)_N$ extension of Standard Model and signatures at the LHC

abstract: An $SU(2)_N$ extension ($N$ stands for neutral) of the Standard Model (SM) is proposed with an additional $U(1)=S^{'}$ global symmetry, which stabilizes the lightest of the vector boson ($X,\bar{X}$) as dark matter (DM) through unbroken $S=T_{3N}+S^{'}$. The field content of the model is motivated to address neutrino mass generation, a possible unification to $SU(7)$, along with spontaneous symmetry breaking of $SU(2)_N$ resulting in massive gauge bosons. None of the SM particles are charged under $SU(2)_N$ and therefore $X,\bar{X}$ do not have a direct coupling to the visible sector besides a Higgs portal, which is tiny to avoid any conflict with Higgs data. We show that, a large kinematic region of this model allows the neutral component of $SU(2)_N$ scalar triplet and heavy neutrinos introduced here to become additional DM components. In this paper we explore the viability of such multipartite DM parameter space, including non-zero DM-DM interactions, to comply with relic density and direct search constraints. We also demonstrate that the model may yield hadronically quiet single lepton and two lepton signatures with missing energy at the Large Hadron Collider (LHC) that can be accessed with high luminosity.


title: Learning from Exemplars and Prototypes in Machine Learning and Psychology

abstract: This paper draws a parallel between similarity-based categorisation models developed in cognitive psychology and the nearest neighbour classifier (1-NN) in machine learning. Conceived as a result of the historical rivalry between prototype theories (abstraction) and exemplar theories (memorisation), recent models of human categorisation seek a compromise in-between. Regarding the stimuli (entities to be categorised) as points in a metric space, machine learning offers a large collection of methods to select a small, representative and discriminative point set. These methods are known under various names: instance selection, data editing, prototype selection, prototype generation or prototype replacement. The nearest neighbour classifier is used with the selected reference set. Such a set can be interpreted as a data-driven categorisation model. We juxtapose the models from the two fields to enable cross-referencing. We believe that both machine learning and cognitive psychology can draw inspiration from the comparison and enrich their repertoire of similarity-based models.


title: Bimodule deformation of fibered manifolds and the HKR theorem

abstract: We first want to consider the formal deformation of a fibered manifold $P \rightarrow M$ as a (bi-)module or subalgebra, where $M$ has a given differential star product. Consequently we want to find obstructions for the existence of a bimodule or subalgebra, which turns out to be the curvature of the fiber bundle. Since the order by order construction of this structures amounts to solving equations in the Hochschild cohomology of the smooth functions on $M$ with values in the differential operators on $P$, we proceed to computing this cohomology for the case of a smooth map $P \xrightarrow{p} M$ such that $p(P)$ is a closed submanifold of $M$.


title: Competing Unconventional Charge-Density-Wave States in Cuprate Superconductors: Spin-Fluctuation-Driven Mechanism

abstract: To understand the origin of unconventional charge-density-wave (CDW) states in cuprate superconductors, we establish the self-consistent CDW equation, and analyze the CDW instabilities based on the realistic Hubbard model, without assuming any $q$-dependence and the form factor. Many higher-order many-body processes, which are called the vertex corrections, are systematically generated by solving the CDW equation. When the spin fluctuations are strong, the uniform $q=0$ nematic CDW with $d$-form factor shows the leading instability. The axial nematic CDW instability at $q = Q_a = (\delta,0)$ ($\delta \approx \pi/2$) is the second strongest, and its strength increases under the static uniform CDW order. The present theory predicts that uniform CDW transition emerges at a high temperature, and it stabilize the axial $q = Q_a$ CDW at $T = T_{CDW}$. It is confirmed that the higher-order Aslamazov-Larkin processes cause the CDW orders at both $q = 0$ and $Q_a$.


title: Upper limit on the Stiffness of space-time

abstract: From the recently observed propagation of gravitational waves through space-time an upper limit can be deduced for the stiffness of space-time through which the gravitational wave propagates. The upper limit is extremely weak, implying that the stiffness of space-time is at least 14 orders of magnitude weaker than that of jello.


title: A mechanism for reversible mesoscopic aggregation in liquid solutions

abstract: We show systematically that a steady-state ensemble of mesoscopic inclusions of a solute-rich fluid can emerge in liquid solutions well outside the region of stability of the solute-rich phase. Unanticipated by conventional treatments, this type of reversible aggregation nonetheless can take place if the solute molecules bind transiently with each other to form long-lived complexes. The binding causes kinetic stabilization of inclusions of the solute-rich phase---within a substantial size range---so as to render the critical size for nucleation of the inclusions finite. Individual droplets nucleate and grow until they become mechanically unstable because of a concomitant drop in the internal pressure, the latter drop caused by the thermodynamic metastability of the solute-rich phase. At the same time, the {\em ensemble} of the droplets is steady-state on long times. In a freshly prepared solution, the ensemble is predicted to evolve similarly to the conventional Ostwald ripening, during which larger droplets grow at the expense of smaller droplets. The present mechanism is proposed to underlie the puzzling mesoscopic clusters observed in solutions of proteins and other molecules.


title: Formation of Wormholes by Dark Matter in the Galaxy Dragonfly 44

abstract: Recently, ultra diffuse galaxy (UDG) of Dragonfly 44 in the Coma Cluster was observed and observations of the rotational speed suggest that its mass is almost same as the mass of the Milky Way. On the other hand, interestingly, the galaxy emits only 1 \% of the light emitted by the Milky Way. Then, astronomers reported that Dragonfly 44 may be made almost entirely of dark matter. In this study we try to show that the dark matter that constitutes Dragonfly 44 can form the wormhole or not. Two possible dark matter profiles are used, namely, ultra diffuse galaxy King's model and generalized Navarro-Frenk-White (NFW) dark matter profile. We have shown that King's model dark matter profile does not manage to provide wormhole whereas generalized Navarro-Frenk-White (NFW) dark matter profile is managed to find wormholes.


title: Ghost Tomography

abstract: Ghost tomography using single-pixel detection extends the emerging field of ghost imaging to three dimensions, with the use of penetrating radiation. In this work, a series of spatially random x-ray intensity patterns is used to illuminate a specimen in various tomographic angular orientations with only the total transmitted intensity being recorded by a single-pixel camera (or bucket detector). The set of zero-dimensional intensity readings, combined with knowledge of the corresponding two-dimensional illuminating patterns and specimen orientations, is sufficient for three-dimensional reconstruction of the specimen. The experimental demonstration of ghost tomography is presented here using synchrotron hard x-rays. This result expands the scope of ghost imaging to encompass volumetric imaging (i.e., tomography), of optically opaque objects using penetrating radiation. For hard x-rays, ghost tomography has the potential to decouple image quality from dose rate as well as image resolution from detector performance.


title: A Kawamata-Viehweg type formulation of the Logarithmic Akizuki-Nakano Vanishing Theorem

abstract: In this largely expository article, we present a Kawamata-Viehweg type formulation of the (logarithmic) Akizuki-Nakano Vanishing Theorem. While the result is likely known to the experts, it does not seem to appear in the existing literature.


title: Characterization and performance of the DTAS detector

abstract: DTAS is a segmented total absorption {\gamma}-ray spectrometer developed for the DESPEC experiment at FAIR. It is composed of up to eighteen NaI(Tl) crystals. In this work we study the performance of this detector with laboratory sources and also under real experimental conditions. We present a procedure to reconstruct offline the sum of the energy deposited in all the crystals of the spectrometer, which is complicated by the effect of NaI(Tl) light-yield non-proportionality. The use of a system to correct for time variations of the gain in individual detector modules, based on a light pulse generator, is demonstrated. We describe also an event-based method to evaluate the summing-pileup electronic distortion in segmented spectrometers. All of this allows a careful characterization of the detector with Monte Carlo simulations that is needed to calculate the response function for the analysis of total absorption {\gamma}-ray spectroscopy data. Special attention was paid to the interaction of neutrons with the spectrometer, since they are a source of contamination in studies of \b{eta}-delayed neutron emitting nuclei.


title: Text to brain: predicting the spatial distribution of neuroimaging observations from text reports

abstract: Despite the digital nature of magnetic resonance imaging, the resulting observations are most frequently reported and stored in text documents. There is a trove of information untapped in medical health records, case reports, and medical publications. In this paper, we propose to mine brain medical publications to learn the spatial distribution associated with anatomical terms. The problem is formulated in terms of minimization of a risk on distributions which leads to a least-deviation cost function. An efficient algorithm in the dual then learns the mapping from documents to brain structures. Empirical results using coordinates extracted from the brain-imaging literature show that i) models must adapt to semantic variation in the terms used to describe a given anatomical structure, ii) voxel-wise parameterization leads to higher likelihood of locations reported in unseen documents, iii) least-deviation cost outperforms least-square. As a proof of concept for our method, we use our model of spatial distributions to predict the distribution of specific neurological conditions from text-only reports.


title: Percolation of Lipschitz surface and tight bounds on the spread of information among mobile agents

abstract: We consider the problem of spread of information among mobile agents on the torus. The agents are initially distributed as a Poisson point process on the torus, and move as independent simple random walks. Two agents can share information whenever they are at the same vertex of the torus. We study the so-called flooding time: the amount of time it takes for information to be known by all agents. We establish a tight upper bound on the flooding time, and introduce a technique which we believe can be applicable to analyze other processes involving mobile agents.


title: Nodeless superconductivity in the SnAs-based van der Waals type superconductor NaSn2As2

abstract: We grew the single crystals of the SnAs-based van der Waals (vdW)-type superconductor NaSn$_2$As$_2$ and systematically measured its resistivity, specific heat, and ultralow-temperature thermal conductivity. The superconducting transition temperature $T_c$ = 1.60 K of our single crystal is 0.3 K higher than that previously reported. A weak but intrinsic anomaly situated at 193 K is observed in both resistivity and specific heat, which likely arises from a charge-density-wave (CDW) instability. Ultralow-temperature thermal conductivity measurements reveal a fully-gapped superconducting state with a negligible residual linear term in zero magnetic field, and the field dependence of $\kappa_0 / T$ further suggests NaSn$_2$As$_2$ is an $s$-wave superconductor.


title: Cryogenic Characterization of 28 nm Bulk CMOS Technology for Quantum Computing

abstract: This paper presents the first experimental investigation and physical discussion of the cryogenic behavior of a commercial 28 nm bulk CMOS technology. Here we extract the fundamental physical parameters of this technology at 300, 77 and 4.2 K based on DC measurement results. The extracted values are then used to demonstrate the impact of cryogenic temperatures on the essential analog design parameters. We find that the simplified charge-based EKV model can accurately predict the cryogenic behavior. This represents a main step towards the design of analog/RF circuits integrated in an advanced bulk CMOS process and operating at cryogenic temperature for quantum computing control systems.


title: Securify: Practical Security Analysis of Smart Contracts

abstract: Permissionless blockchains allow the execution of arbitrary programs (called smart contracts), enabling mutually untrusted entities to interact without relying on trusted third parties. Despite their potential, repeated security concerns have shaken the trust in handling billions of USD by smart contracts. To address this problem, we present Securify, a security analyzer for Ethereum smart contracts that is scalable, fully automated, and able to prove contract behaviors as safe/unsafe with respect to a given property. Securify's analysis consists of two steps. First, it symbolically analyzes the contract's dependency graph to extract precise semantic information from the code. Then, it checks compliance and violation patterns that capture sufficient conditions for proving if a property holds or not. To enable extensibility, all patterns are specified in a designated domain-specific language. Securify is publicly released, it has analyzed >18K contracts submitted by its users, and is regularly used to conduct security audits by experts. We present an extensive evaluation of Securify over real-world Ethereum smart contracts and demonstrate that it can effectively prove the correctness of smart contracts and discover critical violations.


title: A Divide-And-Conquer Method for computing the Betti numbers of Finite Topological Spaces

abstract: A divide-and-conquer algorithm for computing the Betti numbers of finite $T_0$-spaces is presented. It extensively uses the Mayer-Vietoris sequence for open coverings. In the end, the computational costs for a parallelisation of this method are given.


title: Machines hear better when they have ears

abstract: Deep-neural-network (DNN) based noise suppression systems yield significant improvements over conventional approaches such as spectral subtraction and non-negative matrix factorization, but do not generalize well to noise conditions they were not trained for. In comparison to DNNs, humans show remarkable noise suppression capabilities that yield successful speech intelligibility under various adverse listening conditions and negative signal-to-noise ratios (SNRs). Motivated by the excellent human performance, this paper explores whether numerical models that simulate human cochlear signal processing can be combined with DNNs to improve the robustness of DNN based noise suppression systems. Five cochlear models were coupled to fully-connected and recurrent NN-based noise suppression systems and were trained and evaluated for a variety of noise conditions using objective metrics: perceptual speech quality (PESQ), segmental SNR and cepstral distance. The simulations show that biophysically-inspired cochlear models improve the generalizability of DNN-based noise suppression systems for unseen noise and negative SNRs. This approach thus leads to robust noise suppression systems that are less sensitive to the noise type and noise level. Because cochlear models capture the intrinsic nonlinearities and dynamics of peripheral auditory processing, it is shown here that accounting for their deterministic signal processing improves machine hearing and avoids overtraining of multi-layer DNNs. We hence conclude that machines hear better when realistic cochlear models are used at the input of DNNs.


title: A non-torus link from topological vertex

abstract: The recently suggested tangle calculus for knot polynomials is intimately related to topological string considerations and can help to build the HOMFLY-PT invariants from the topological vertices. We discuss this interplay in the simplest example of the Hopf link and link $L_{8n8}$. It turns out that the resolved conifold with four different representations on the four external legs, on the topological string side, is described by a special projection of the four-component link $L_{8n8}$, which reduces to the Hopf link colored with two composite representations. Thus, this provides the first explicit example of non-torus link description through the topological vertex. It is not a real breakthrough, because $L_{8n8}$ is just a cable of the Hopf link, still, it can help to intensify the development of the formalism towards more interesting examples.


title: Minimizing Event-Handling Latencies in Secure Virtual Machines

abstract: Virtualization, after having found widespread adoption in the server and desktop arena, is poised to change the architecture of embedded systems as well. The benefits afforded by virtualization - enhanced isolation, manageability, flexibility, and security - could be instrumental for developers of embedded systems as an answer to the rampant increase in complexity. While mature desktop and server solutions exist, they cannot be easily reused on embedded systems because of markedly different requirements. Unfortunately, optimizations aimed at throughput, important for servers, often compromise on aspects like predictable real-time behavior, which are crucial to many embedded systems. In a similar vein, the requirements for small trusted computing bases, lightweight inter-VM communication, and small footprints are often not accommodated. This observation suggests that virtual machines for embedded systems should be constructed from scratch with particular attention paid to the specific requirements. In this paper, we set out with a virtual machine designed for security-conscious workloads and describe the steps necessary to achieve good event-handling latencies. That evolution is possible because the underlying microkernel is well suited to satisfy real-time requirements. As the guest system we chose Linux with the PREEMPT_RT configuration, which itself was developed in an effort to bring down event-handling latencies in a general purpose system. Our results indicate that the increase of event-handling latencies of a guest running in a virtual machine does not, compared to native execution, exceed a factor of two.


title: On Studying the Phase Behavior of the Riemann Zeta Function Along the Critical Line

abstract: The critical line of the Riemann zeta function is studied from a new viewpoint. It is found that the ratio between the zeta function at any zero and the corresponding one at a conjugate point has a certain phase and its absolute value is unity. This fact is valid along the whole critical line and only there. The common functional equation is used with the aid of the function ratio between any zero and its negative side pair, a complex conjugate. As a result, an equation is obtained for solving the phase along the critical line.


title: Asymptotic evaluation of Euler-phi sums of various residue classes

abstract: This note contains some asymptotic formulas for the sums of various residue classes of Euler's phi-function.


title: Primitive Roots In Short Intervals

abstract: Let $p\geq 2$ be a large prime, and let $N\gg ( \log p)^{1+\varepsilon}$. This note proves the existence of primitive roots in the short interval $[M,M+N]$, where $M \geq 2$ is a fixed number, and $ \varepsilon>0$ is a small number. In particular, the least primitive root $g(p)= O\left ((\log p)^{1+\varepsilon} \right)$, and the least prime primitive root $g^*(p)= O\left ((\log p)^{1+\varepsilon} \right)$ unconditionally.


title: Shallow decision-making analysis in General Video Game Playing

abstract: The General Video Game AI competitions have been the testing ground for several techniques for game playing, such as evolutionary computation techniques, tree search algorithms, hyper heuristic based or knowledge based algorithms. So far the metrics used to evaluate the performance of agents have been win ratio, game score and length of games. In this paper we provide a wider set of metrics and a comparison method for evaluating and comparing agents. The metrics and the comparison method give shallow introspection into the agent's decision making process and they can be applied to any agent regardless of its algorithmic nature. In this work, the metrics and the comparison method are used to measure the impact of the terms that compose a tree policy of an MCTS based agent, comparing with several baseline agents. The results clearly show how promising such general approach is and how it can be useful to understand the behaviour of an AI agent, in particular, how the comparison with baseline agents can help understanding the shape of the agent decision landscape. The presented metrics and comparison method represent a step toward to more descriptive ways of logging and analysing agent's behaviours.


title: Search for Variations of Po-213 Half-Life

abstract: A device with the parent $^{229}$Th source was constructed to search for variations of the daughter $^{213}$Po half-life ($T_{1/2} = 4.2$ $\mu$s). A solar-daily variation with amplitude $A_{So}=(5.3 \pm 1.1) \times 10^{-4}$, a lunar-daily variation with amplitude $A_L = (4.8 \pm 2.1) \times 10^{-4}$, and a sidereal-daily variation with amplitude $A_S = (4.2 \pm 1.7) \times 10^{-4}$ were found upon proceeding the data series over a 622-day interval (from July 2015 to March 2017). The $^{213}$Po half-life mean value is found to be $T_{1/2} = 3.705 \pm 0.001$ $\mu$s. The obtained half-life is in good agreement with some of the literature values obtained with great accuracy.


title: Bilateral identities of the Rogers--Ramanujan type

abstract: We derive by analytic means a number of bilateral identities of the Rogers--Ramanujan type. Our results include bilateral extensions of the Rogers--Ramanujan and the G\"ollnitz-Gordon identities, and of related identities by Ramanujan, Jackson, and Slater. We give corresponding results for multiseries including multilateral extensions of the Andrews--Gordon identities, of the Andrews--Bressoud generalization of the G\"ollnitz--Gordon identities, of Bressoud's even modulus identities, and other identities. Our closed form bilateral and multilateral summations appear to be the very first of their kind.


title: The methane distribution and polar brightening on Uranus based on HST/STIS, Keck/NIRC2, and IRTF/SpeX observations through 2015

abstract: HST/STIS observations of Uranus in 2015 show that the depletion of upper tropospheric methane has been relatively stable and that the polar region has been brightening over time as a result of increased aerosol scattering. This interpretation is confirmed by near-IR imaging from HST and from the Keck telescope using NIRC2 adaptive optics imaging. Our analysis of the 2015 spectra, as well as prior spectra from 2012, shows that there is a factor of three decrease in the effective upper tropospheric methane mixing ratio between 30\deg N and 70\deg N. The absolute value of the deep methane mixing ratio, which probably does not vary with latitude, is lower than our previous estimate, and depends significantly on the style of aerosol model that we assume, ranging from a high of 3.5$\pm$0.5% for conservative non-spherical particles with a simple Henyey-Greenstein phase function to a low of 2.7%$\pm$0.3% for conservative spherical particles. Our previous higher estimate of 4$\pm$0.5% was a result of a forced consistency with occultation results of Lindal et al. (1987, JGR 92, 14987-15001). That requirement was abandoned in our new analysis because new work by Orton et al. (2014, Icarus 243, 494-513) and by Lellouch et al. (2015, Astron. & AstroPhys. 579, A121) called into question the occultation results. For the main cloud layer in our models we found that both large and small particle solutions are possible for spherical particle models. At low latitudes the small-particle solution has a mean particle radius near 0.3 $\mu$m, a real refractive index near 1.65, and a total column mass of 0.03 mg/cm$^2$, while the large-particle solution has a particle radius near 1.5 $\mu$m, a real index near 1.24, and a total column mass 30 times larger. The pressure boundaries of the main cloud layer are between about 1.1 and 3 bars, within which H$_2$S is the most plausible condensable.


title: $\chi_{b}(3P)$ Multiplet Revisited: Ultrafine Mass Splitting and Radiative Transitions

abstract: Invoked by the recent CMS observation regarding candidates of the $\chi_b(3P)$ multiplet, we analyze the ultrafine and mass splittings among $3P$ multiplet in our unquenched quark model (UQM) studies. The mass difference of $\chi_{b2}$ and $\chi_{b1}$ in $3P$ multiplet measured by CMS collaboration ($10.6 \pm 0.64 \pm 0.17$ MeV) is very close to our theoretical prediction ($12$ MeV). Our corresponding mass splitting of $\chi_{b1}$ and $\chi_{b0}$ enables us to predict more precisely the mass of $\chi_{b0}(3P)$ to be ($10490\pm 3$) MeV. Moreover, we predict ratios of the radiative decays of $\chi_{bJ}(nP)$ candidates, both in UQM and quark potential model. Our predicted relative branching fraction of $\chi_{b0}(3P)\to\Upsilon(3S)\gamma$ is one order of magnitude smaller than $\chi_{b2}(3P)$, this naturally explains the non-observation of $\chi_{b0}(3P)$ in recent CMS search. We hope these results might provide useful references for forthcoming experimental searches.


title: Tranco: A Research-Oriented Top Sites Ranking Hardened Against Manipulation

abstract: In order to evaluate the prevalence of security and privacy practices on a representative sample of the Web, researchers rely on website popularity rankings such as the Alexa list. While the validity and representativeness of these rankings are rarely questioned, our findings show the contrary: we show for four main rankings how their inherent properties (similarity, stability, representativeness, responsiveness and benignness) affect their composition and therefore potentially skew the conclusions made in studies. Moreover, we find that it is trivial for an adversary to manipulate the composition of these lists. We are the first to empirically validate that the ranks of domains in each of the lists are easily altered, in the case of Alexa through as little as a single HTTP request. This allows adversaries to manipulate rankings on a large scale and insert malicious domains into whitelists or bend the outcome of research studies to their will. To overcome the limitations of such rankings, we propose improvements to reduce the fluctuations in list composition and guarantee better defenses against manipulation. To allow the research community to work with reliable and reproducible rankings, we provide Tranco, an improved ranking that we offer through an online service available at https://tranco-list.eu.


title: On the effect of non-Gaussian lensing deflections on CMB lensing measurements

abstract: We investigate the impact of non-Gaussian lensing deflections on measurements of the CMB lensing power spectrum. We find that the false assumption of their Gaussianity significantly biases these measurements in current and future experiments at the percent level. The bias is detected by comparing CMB lensing reconstructions from simulated CMB data lensed with Gaussian deflection fields to reconstructions from simulations lensed with fully non-Gaussian deflection fields. The non-Gaussian deflections are produced by ray-tracing through snapshots of an N-body simulation and capture both the non-Gaussianity induced by non-linear structure formation and by multiple correlated deflections. We find that the amplitude of the measured bias is in agreement with analytical predictions by B\"ohm et al. 2016. The bias is largest in temperature-based measurements and we do not find evidence for it in measurements from a combination of polarization fields ($EB,EB$). We argue that the non-Gaussian bias should be even more important for measurements of cross-correlations of CMB lensing with low-redshift tracers of large-scale structure.


title: Elliptic Curves Containing Sequences of Consecutive Cubes

abstract: Let $E$ be an elliptic curve over $\mathbb{Q}$ described by $y^2= x^3+ Kx+ L$ where $K, L \in \mathbb{Q}$. A set of rational points $(x_i,y_i) \in E(\mathbb{Q})$ for $i=1, 2, \cdots, k$, is said to be a sequence of consecutive cubes on $E$ if the $x-$coordinates of the points $x_i$'s for $i=1, 2, \cdots$ form consecutive cubes. In this note, we show the existence of an infinite family of elliptic curves containing a length-$5$-term sequence of consecutive cubes. Morever, these five rational points in $E (\mathbb{Q})$ are linearly independent and the rank $r$ of $E(\mathbb{Q})$ is at least $5$.


title: Efficient and Scalable Batch Bayesian Optimization Using K-Means

abstract: We present K-Means Batch Bayesian Optimization (KMBBO), a novel batch sampling algorithm for Bayesian Optimization (BO). KMBBO uses unsupervised learning to efficiently estimate peaks of the model acquisition function. We show in empirical experiments that our method outperforms the current state-of-the-art batch allocation algorithms on a variety of test problems including tuning of algorithm hyper-parameters and a challenging drug discovery problem. In order to accommodate the real-world problem of high dimensional data, we propose a modification to KMBBO by combining it with compressed sensing to project the optimization into a lower dimensional subspace. We demonstrate empirically that this 2-step method outperforms algorithms where no dimensionality reduction has taken place.


title: On effective field theory of F-theory beyond leading order

abstract: We construct a proposal for effective bosonic field theory at order $ \alpha'^3 $ in twelve dimensions, whose compactification on a circle and on a torus respectively yields eleven-dimensional and type IIB supergravity theories at eight-derivative level. The couplings $ ({\partial {G_5}})^2 R^2 $, $ ({\partial {F_4}})^2 R^2 $, $ ({\partial {F_4}})^4 $, $ ({\partial {G_5}})^4 $ and $ ({\partial {G_5}})^2({\partial {F_4}})^2 $ in twelve-dimensional supergravity are determined with this requirement that an ansatz of these couplings should admits a consistent truncation to the eleven-dimensional and type IIB supergravity theories. The self-duality condition of the five-form field strength in twelve dimensions is also understood by considering the RR five-form field strength of type IIB theory at linear order.


title: Muon Tomography imaging improvement using optimized scattering tracks data based on Maximum Likelihood Method

abstract: Point of colsest Approche algorithm (PoCA) based on the formalism of muon radiogra- phy using Multiple Coulomb scattering (MCS) as information source is previously used to obtain the reconstruction image of high Z material. The low accuracy of reconstruction image is caused by two factors: the flux of natural muon and the assumption of single scattering in PoCA algo- rithm. In this paper, the maximum likelihood method based on the characteristics of Gaussian-like distribution of muon tracks by MCS is used to predict the optimal track of outgoing muon. The receiver operating characteristic (ROC) and the localization ROC (LROC) are used as two analysis methods to evaluate the quality of reconstruction image. From the results of simulation, the perfect discrimination of longitudinal materials could be well achieved by maximum likelihood algorithm and the discriminate ratio that is predicted by the maximum likelihood method is about 15% higher than that of predicted by PoCA algorithm method. It is seen that the maximum likelihood method can greatly improve the accuracy of reconstruction image.


title: $\chi_{\textrm{top}}(T \gg T_{\textrm{c}})$ in pure-glue QCD through reweighting

abstract: We calculate the topological susceptibility at 2.5 Tc and 4.1 Tc in SU(3) pure Yang-Mills theory. We define topology with the help of gradient flow and we largely overcome the problem of poor statistics at high temperatures by applying a reweighting technique in terms of the topological charge, measured after a specific small amount of gradient flow. This allows us to obtain a sample of configurations which compares topological sectors with good statistics, with enhanced tunneling between topologies. We quote continuum extrapolated results at these two temperatures and conclude that our method is viable and can be extended without new conceptual problems to the case of full QCD with fermions.


title: VADU 2018 Open Problem Session

abstract: We state the problems discussed in the open problem session at Variational Analysis Down Under (VADU2018) conference held in honour of Prof. Asen Dontchev's 70th birthday on 19--21 February 2018 at Federation University Australia, https://sites.rmit.edu.au/asen/.