title: Automation of Android Applications Testing Using Machine Learning Activities Classification

abstract: Mobile applications are being used every day by more than half of the world's population to perform a great variety of tasks. With the increasingly widespread usage of these applications, the need arises for efficient techniques to test them. Many frameworks allow automating the process of application testing, however existing frameworks mainly rely on the application developer for providing testing scripts for each developed application, thus preventing reuse of these tests for similar applications. In this paper, we present a novel approach for the automation of testing Android applications by leveraging machine learning techniques and reusing popular test scenarios. We discuss and demonstrate the potential benefits of our approach in an empirical study where we show that our developed testing tool, based on the proposed approach, outperforms standard methods in realistic settings.


title: Whitney-type Formula for Non-null-homotopic Curves on Aspherical Surfaces

abstract: In an earlier paper, I defined a new winding number of regular closed curves on complete euclidean/hyperbolic surfaces and showed that this winding number, together with the free homotopy class, determines the regular homotopy class. In this paper, I give a Whitney-type formula for the winding number of non-null-homotopic generic regular closed curves on surfaces with a complete euclidean or hyperbolic structure, generalizing the formula for curves on a torus by Tanio and Kobayashi.


title: Self-Supervised Learning for Stereo Matching with Self-Improving Ability

abstract: Exiting deep-learning based dense stereo matching methods often rely on ground-truth disparity maps as the training signals, which are however not always available in many situations. In this paper, we design a simple convolutional neural network architecture that is able to learn to compute dense disparity maps directly from the stereo inputs. Training is performed in an end-to-end fashion without the need of ground-truth disparity maps. The idea is to use image warping error (instead of disparity-map residuals) as the loss function to drive the learning process, aiming to find a depth-map that minimizes the warping error. While this is a simple concept well-known in stereo matching, to make it work in a deep-learning framework, many non-trivial challenges must be overcome, and in this work we provide effective solutions. Our network is self-adaptive to different unseen imageries as well as to different camera settings. Experiments on KITTI and Middlebury stereo benchmark datasets show that our method outperforms many state-of-the-art stereo matching methods with a margin, and at the same time significantly faster.


title: A Computer Composes A Fabled Problem: Four Knights vs. Queen

abstract: We explain how the prototype automatic chess problem composer, Chesthetica, successfully composed a rare and interesting chess problem using the new Digital Synaptic Neural Substrate (DSNS) computational creativity approach. This problem represents a greater challenge from a creative standpoint because the checkmate is not always clear and the method of winning even less so. Creating a decisive chess problem of this type without the aid of an omniscient 7-piece endgame tablebase (and one that also abides by several chess composition conventions) would therefore be a challenge for most human players and composers working on their own. The fact that a small computer with relatively low processing power and memory was sufficient to compose such a problem using the DSNS approach in just 10 days is therefore noteworthy. In this report we document the event and result in some detail. It lends additional credence to the DSNS as a viable new approach in the field of computational creativity. In particular, in areas where human-like creativity is required for targeted or specific problems with no clear path to the solution.


title: On the extension of Whitney ultrajets

abstract: We prove necessary and sufficient conditions for the validity of Whitney's extension theorem in the ultradifferentiable Roumieu setting with controlled loss of regularity.


title: Random data Cauchy problem for a generalized KdV equation in the supercritical case

abstract: We consider the Cauchy problem for a generalized KdV equation \begin{eqnarray*} u_{t}+\partial_{x}^{3}u+u^{7}u_{x}=0, \end{eqnarray*} with random data on \R. Kenig, Ponce, Vega(Comm. Pure Appl. Math.46(1993), 527-620)proved that the problem is globally well-posed in H^{s}(\R)$ with s> s_{crit}=\frac{3}{14}, which is the scaling critical regularity indices. Birnir, Kenig, Ponce, Svanstedt, Vega(J. London Math. Soc. 53 (1996), 551-559.) proved that the problem is ill-posed in the sense that the time of existence T and the continuous dependence cannot be expressed in terms of the size of the data in the H^{\frac{3}{14}}-norm. In this present paper, we prove that almost sure local in time well-posedness holds in H^{s}(\R) with s>\frac{17}{112}, whose lower bound is below \frac{3}{14}. The key ingredients are the Wiener randomization of the initial data and probabilistic Strichartz estimates together with some important embedding Theorems.


title: From random partitions to fractional Brownian sheets

abstract: We propose discrete random-field models that are based on random partitions of $\mathbb{N}^2$. The covariance structure of each random field is determined by the underlying random partition. Functional central limit theorems are established for the proposed models, and fractional Brownian sheets, with full range of Hurst indices, arise in the limit. Our models could be viewed as discrete analogues of fractional Brownian sheets, in the same spirit that the simple random walk is the discrete analogue of the Brownian motion.


title: Upper bounds for geodesic periods over rank one locally symmetric spaces

abstract: We prove upper bounds for geodesic periods of automorphic forms over general rank one locally symmetric spaces. Such periods are integrals of automorphic forms restricted to special totally geodesic cycles of the ambient manifold and twisted with automorphic forms on the cycles. The upper bounds are in terms of the Laplace eigenvalues of the two automorphic forms, and they generalize previous results for real hyperbolic manifolds to the context of all rank one locally symmetric spaces.


title: Higher structure in the unstable Adams spectral sequence

abstract: We describe a variant construction of the unstable Adams spectral the sequence for a space $Y$, associated to any free simplicial resolution of $H^*(Y;R)$ for $R=\mathbb{F}_p$ or $\mathbb{Q}$. We use this construction to describe the differentials and filtration in the spectral sequence in terms of appropriate systems of higher cohomology operations.


title: Properties of six short-period massive binaries: a study of the effects of binarity on surface chemical abundances

abstract: A significant fraction of massive stars are found in multiple systems. The effect of binarity on stellar evolution is poorly constrained. In particular, the role of tides and mass transfer on surface chemical abundances is not constrained observationally. The aim of this study is to investigate the effect of binarity on the stellar properties and surface abundances of massive binaries. We perform a spectroscopic analysis of six Galactic massive binaries. The spectra of individual components are obtained from a spectral disentangling method and are subsequently analyzed by means of atmosphere models. The stellar parameters and CNO surface abundances are determined. Most systems are made of main-sequence stars. Three systems are detached, two are in contact and no information is available for the sixth system. For eleven out of the twelve stars studied the surface abundances are only mildly affected by stellar evolution and mixing. They are not different from those of single stars, within the uncertainties. The secondary of XZ~Cep is strongly chemically enriched. Considering previous determinations of surface abundance in massive binary systems suggests that the effect of tides on chemical mixing is limited, whereas mass transfer and removal of outer layers of the mass donor leads to the appearance of chemically processed material at the surface, although this is not systematic. The evolutionary masses of the components of our six systems are on average 16.5% higher than the dynamical masses. Some systems seem to have reached synchronization, while others may still be in a transitory phase.


title: ARIGAN: Synthetic Arabidopsis Plants using Generative Adversarial Network

abstract: In recent years, there has been an increasing interest in image-based plant phenotyping, applying state-of-the-art machine learning approaches to tackle challenging problems, such as leaf segmentation (a multi-instance problem) and counting. Most of these algorithms need labelled data to learn a model for the task at hand. Despite the recent release of a few plant phenotyping datasets, large annotated plant image datasets for the purpose of training deep learning algorithms are lacking. One common approach to alleviate the lack of training data is dataset augmentation. Herein, we propose an alternative solution to dataset augmentation for plant phenotyping, creating artificial images of plants using generative neural networks. We propose the Arabidopsis Rosette Image Generator (through) Adversarial Network: a deep convolutional network that is able to generate synthetic rosette-shaped plants, inspired by DCGAN (a recent adversarial network model using convolutional layers). Specifically, we trained the network using A1, A2, and A4 of the CVPPP 2017 LCC dataset, containing Arabidopsis Thaliana plants. We show that our model is able to generate realistic 128x128 colour images of plants. We train our network conditioning on leaf count, such that it is possible to generate plants with a given number of leaves suitable, among others, for training regression based models. We propose a new Ax dataset of artificial plants images, obtained by our ARIGAN. We evaluate this new dataset using a state-of-the-art leaf counting algorithm, showing that the testing error is reduced when Ax is used as part of the training data.


title: DR-RNN: A deep residual recurrent neural network for model reduction

abstract: We introduce a deep residual recurrent neural network (DR-RNN) as an efficient model reduction technique for nonlinear dynamical systems. The developed DR-RNN is inspired by the iterative steps of line search methods in finding the residual minimiser of numerically discretized differential equations. We formulate this iterative scheme as stacked recurrent neural network (RNN) embedded with the dynamical structure of the emulated differential equations. Numerical examples demonstrate that DR-RNN can effectively emulate the full order models of nonlinear physical systems with a significantly lower number of parameters in comparison to standard RNN architectures. Further, we combined DR-RNN with Proper Orthogonal Decomposition (POD) for model reduction of time dependent partial differential equations. The presented numerical results show the stability of proposed DR-RNN as an explicit reduced order technique. We also show significant gains in accuracy by increasing the depth of proposed DR-RNN similar to other applications of deep learning.


title: Detecting Lorentz Violations with Gravitational Waves from Black Hole Binaries

abstract: Gravitational wave observations have been used to test Lorentz symmetry by looking for dispersive effects that are caused by higher order corrections to the dispersion relation. In this Letter I argue on general grounds that, when such corrections are present, there will also be a scalar excitation. Hence, a smoking-gun observation of Lorentz symmetry breaking would be the direct detection of scalar waves that travel at a speed other than the speed of the standard gravitational wave polarisations or the speed of light. Interestingly, in known Lorentz-breaking gravity theories the difference between the speeds of scalar and tensor waves is virtually unconstrained, whereas the difference between the latter and the speed of light is already severely constrained by the coincident detection of gravitational waves and gamma rays from a binary neutron star merger.


title: Dark excitons in transition metal dichalcogenides

abstract: Monolayer transition metal dichalcogenides (TMDs) exhibit a remarkably strong Coulomb interaction that manifests in tightly bound excitons. Due to the complex electronic band structure exhibiting several spin-split valleys in the conduction and valence band, dark excitonic states can be formed. They are inaccessibly by light due to the required spin-flip and/or momentum transfer. The relative position of these dark states with respect to the optically accessible bright excitons has a crucial impact on the emission efficiency of these materials and thus on their technological potential. Based on the solution of the Wannier equation, we present the excitonic landscape of the most studied TMD materials including the spectral position of momentum- and spin-forbidden excitonic states. We show that the knowledge of the electronic dispersion does not allow to conclude about the nature of the material's band gap, since excitonic effects can give rise to significant changes. Furthermore, we reveal that an exponentially reduced photoluminescence yield does not necessarily reflect a transition from a direct to a non-direct gap material, but can be ascribed in most cases to a change of the relative spectral distance between bright and dark excitonic states.


title: Towards a census of high-redshift dusty galaxies with $\mathit{Herschel}$: A selection of "500 $\mu$m-risers"

abstract: $\mathit{Herschel}$ extragalactic surveys offer a unique opportunity to efficiently select a significant number of rare and massive dusty objects, and thus gain insight into the prodigious star-forming activity that takes place in the very distant Universe. To search for $z\geq4$ dusty star-forming galaxies, in this work we consider red SPIRE objects with fluxes rising from 250 $\mu$m to $500\:\mu$m (so-called "500 $\mu$m-risers"). We aim to implement a novel method to obtain a statistical sample of "500 $\mu$m-risers" and fully evaluate our selection inspecting different models of galaxy evolution. We consider one of the largest and deepest ${\it Herschel}$ surveys, the Herschel Virgo Cluster Survey. We develop a novel selection algorithm which links the source extraction and spectral energy distribution fitting. We select 133 "500 $\mu$m-risers" over 55 deg$^{2}$, imposing the criteria: $S_{500}>S_{350}>S_{250}$, $S_{250}>13.2$ mJy and $S_{500}>$30 mJy. Differential number counts are in a fairly good agreement with models, displaying better match than other existing samples. In order to interpret the statistical properties of selected sources, which has been proven as a very challenging task due the complexity of observed artefacts, we make end-to-end simulations including physical clustering and lensing. The estimated fraction of strongly lensed sources is $24^{+6}_{-5}\%$ based on models. We present the faintest known statistical sample of "500 $\mu$m-risers" and show that noise and strong lensing have crucial impact on measured counts and redshift distribution of selected sources. We estimate the flux-corrected star formation rate density at $4<z<5$ with the "500 $\mu$m-risers" and found it close to the total value measured in far-infrared. It indicates that colour selection is not a limiting effect to search for the most massive, dusty $z>4$ sources.


title: Wigner Distributions For Gluons

abstract: We investigate the gluon Wigner distributions for unpolarized, longitudinally polarized and transversely polarized target state. Instead of a nucleon, we take the target state to be a quark dressed with a gluon at one loop and investigate the gluon Wigner distributions at leading twist. Better numerical convergence is obtained compared to an earlier study, that removes the regulator dependence of the results. We present a first calculation of the Wigner distribution for the transversely polarized target and linearly polarized gluon. We study the spin densities in momentum and impact parameter space. We also investigate the quark and gluon helicity and orbital angular momentum distributions at small-$x$.


title: Audio-Visual Speech Enhancement Using Multimodal Deep Convolutional Neural Networks

abstract: Speech enhancement (SE) aims to reduce noise in speech signals. Most SE techniques focus only on addressing audio information. In this work, inspired by multimodal learning, which utilizes data from different modalities, and the recent success of convolutional neural networks (CNNs) in SE, we propose an audio-visual deep CNNs (AVDCNN) SE model, which incorporates audio and visual streams into a unified network model. We also propose a multi-task learning framework for reconstructing audio and visual signals at the output layer. Precisely speaking, the proposed AVDCNN model is structured as an audio-visual encoder-decoder network, in which audio and visual data are first processed using individual CNNs, and then fused into a joint network to generate enhanced speech (the primary task) and reconstructed images (the secondary task) at the output layer. The model is trained in an end-to-end manner, and parameters are jointly learned through back-propagation. We evaluate enhanced speech using five instrumental criteria. Results show that the AVDCNN model yields a notably superior performance compared with an audio-only CNN-based SE model and two conventional SE approaches, confirming the effectiveness of integrating visual information into the SE process. In addition, the AVDCNN model also outperforms an existing audio-visual SE model, confirming its capability of effectively combining audio and visual information in SE.


title: Leveled sub-cohomology

abstract: In this paper we define a functor-- leveled sub-cohomology. (It bears no relation with the level of elliptic curves). It is based on leveled cycles on a smooth projective variety, and will be expected to reveal a structure in the level.


title: Single Atom Imaging with an sCMOS camera

abstract: Single atom imaging requires discrimination of weak photon count events above background and has typically been performed using either EMCCD cameras, photomultiplier tubes or single photon counting modules. sCMOS provides a cost effective and highly scalable alternative to other single atom imaging technologies, offering fast readout and larger sensor dimensions. We demonstrate single atom resolved imaging of two site-addressable single atom traps separated by 10~$\mu$m using an sCMOS camera, offering a competitive signal-to-noise ratio at intermediate count rates to allow high fidelity readout discrimination (error $<10^{-6}$) and sub-$\mu$m spatial resolution for applications in quantum technologies.


title: Learning Word Embeddings from the Portuguese Twitter Stream: A Study of some Practical Aspects

abstract: This paper describes a preliminary study for producing and distributing a large-scale database of embeddings from the Portuguese Twitter stream. We start by experimenting with a relatively small sample and focusing on three challenges: volume of training data, vocabulary size and intrinsic evaluation metrics. Using a single GPU, we were able to scale up vocabulary size from 2048 words embedded and 500K training examples to 32768 words over 10M training examples while keeping a stable validation loss and approximately linear trend on training time per epoch. We also observed that using less than 50\% of the available training examples for each vocabulary size might result in overfitting. Results on intrinsic evaluation show promising performance for a vocabulary size of 32768 words. Nevertheless, intrinsic evaluation metrics suffer from over-sensitivity to their corresponding cosine similarity thresholds, indicating that a wider range of metrics need to be developed to track progress.


title: Stability of high-energy solitary waves in Fermi-Pasta-Ulam-Tsingou chains

abstract: The dynamical stability of solitary lattice waves in non-integrable FPUT chains is a longstanding open problem and has been solved so far only in a certain asymptotic regime, namely by Friesecke and Pego for the KdV limit, in which the waves propagate with near sonic speed, have large wave length, and carry low energy. In this paper we derive a similar result in a complementary asymptotic regime related to fast and strongly localized waves with high energy. In particular, we show that the spectrum of the linearized FPUT operator contains asymptotically no unstable eigenvalues except for the neutral ones that stem from the shift symmetry and the spatial discreteness. This ensures that high-energy waves are linearly stable in some orbital sense, and the corresponding nonlinear stability is granted by the general, non-asymptotic part of the seminal Friesecke-Pego result and the extension by Mizumachi. Our analytical work splits into two principal parts. First we refine two-scale techniques that relate high-energy wave to a nonlinear asymptotic shape ODE and provide accurate approximation formulas. In this way we establish the existence, local uniqueness, smooth parameter dependence, and exponential localization of fast lattice waves for a wide class of interaction potentials with algebraic singularity. Afterwards we study the crucial eigenvalue problem in exponentially weighted spaces, so that there is no unstable essential spectrum. Our key argument is that all proper eigenfunctions can asymptotically be linked to the unique bounded and normalized solution of the linearized shape ODE, and this finally enables us to disprove the existence of unstable eigenfunctions in the symplectic complement of the neutral ones.


title: Effect of the next-nearest-neighbor hopping on the charge collective modes in the paramagnetic phase of the Hubbard model

abstract: The charge dynamical response function of the $t-t'-U$ Hubbard model is investigated on the square lattice in the thermodynamical limit. The correlation function is calculated from Gaussian fluctuations around the paramagnetic saddle-point within the Kotliar and Ruckenstein slave-boson representation. The next-nearest-neighbor hopping only slightly affects the renormalization of the quasiparticle mass. In contrast a negative $t'/t$ notably decreases (increases) their velocity, and hence the zero-sound velocity, at positive (negative) doping. For low (high) density $n \lesssim 0.5$ ($n \gtrsim 1.5$) we find that it enhances (reduces) the damping of the zero-sound mode. Furthermore it softens (hardens) the upper-Hubbard-band collective mode at positive (negative) doping. It is also shown that our results differ markedly from the random phase approximation in the strong-coupling limit, even at high doping, while they compare favorably with existing quantum Monte Carlo numerical simulations.


title: On the Difference between Physics and Biology: Logical Branching and Biomolecules

abstract: Physical emergence - crystals, rocks, sandpiles, turbulent eddies, planets, stars - is fundamentally different from biological emergence - amoeba, cells, mice, humans - even though the latter is based in the former. This paper points out that an essential difference is that as well as involving physical causation, causation in biological systems has a logical nature at each level of the hierarchy of emergence, from the biomolecular level up. The key link between physics and life enabling this to happen is provided by biomolecules, such as voltage gated ion channels, which enable branching logic to emerge from the underlying physics and hence enable logically based cell processes to take place in general, and in neurons in particular. These molecules can only have come into being via the contextually dependent processes of natural selection, which selects them for their biological function. A further major difference is between life in general and intelligent life. We characterise intelligent organisms as being engaged in deductive causation, which enables them to transcend the physical limitations of their bodies through the power of abstract thought, prediction, and planning. Ultimately this is enabled by the biomolecules that underlie the propagation of action potentials in neuronal axons in the brain.


title: Consensus of second order multi-agents with actuator saturation and asynchronous time-delays

abstract: This article presents the consensus of a saturated second order multi-agent system with non-switching dynamics that can be represented by a directed graph. The system is affected by data processing (input delay) and communication time-delays that are assumed to be asynchronous. The agents have saturation nonlinearities, each of them is approximated into separate linear and nonlinear elements. Nonlinear elements are represented by describing functions. Describing functions and stability of linear elements are used to estimate the existence of limit cycles in the system with multiple control laws. Stability analysis of the linear element is performed using Lyapunov-Krasovskii functions and frequency domain analysis. A comparison of pros and cons of both the analyses with respect to time-delay ranges, applicability and computation complexity is presented. Simulation and corresponding hardware implementation results are demonstrated to support theoretical results.


title: Compositional nanodomain formation in hybrid formate perovskites

abstract: We report the synthesis and structural characterisation of three mixed-metal formate perovskite families [C(NH$_2$)$_3$]M$_{1-x}$Cu$_x$(HCOO)$_3$ (M = Mn, Zn, Mg). Using a combination of infrared spectroscopy, non-negative matrix factorization, and reverse Monte Carlo refinement, we show that the Mn- and Zn-containing compounds support compositional nanodomains resembling the polar nanoregions of conventional relaxor ferroelectrics. The M = Mg family exhibits a miscibility gap that we suggest reflects the limiting behaviour of nanodomain formation.


title: Distributed Computation of Linear Inverse Problems with Application to Computed Tomography

abstract: The inversion of linear systems is a fundamental step in many inverse problems. Computational challenges exist when trying to invert large linear systems, where limited computing resources mean that only part of the system can be kept in computer memory at any one time. We are here motivated by tomographic inversion problems that often lead to linear inverse problems. In state of the art x-ray systems, even a standard scan can produce 4 million individual measurements and the reconstruction of x-ray attenuation profiles typically requires the estimation of a million attenuation coefficients. To deal with the large data sets encountered in real applications and to utilise modern graphics processing unit (GPU) based computing architectures, combinations of iterative reconstruction algorithms and parallel computing schemes are increasingly applied. Although both row and column action methods have been proposed to utilise parallel computing architectures, individual computations in current methods need to know either the entire set of observations or the entire set of estimated x-ray absorptions, which can be prohibitive in many realistic big data applications. We present a fully parallelizable computed tomography (CT) image reconstruction algorithm that works with arbitrary partial subsets of the data and the reconstructed volume. We further develop a non-homogeneously randomised selection criteria which guarantees that sub-matrices of the system matrix are selected more frequently if they are dense, thus maximising information flow through the algorithm. A grouped version of the algorithm is also proposed to further improve convergence speed and performance. Algorithm performance is verified experimentally.


title: Virtual Borders: Accurate Definition of a Mobile Robot's Workspace Using Augmented Reality

abstract: We address the problem of interactively controlling the workspace of a mobile robot to ensure a human-aware navigation. This is especially of relevance for non-expert users living in human-robot shared spaces, e.g. home environments, since they want to keep the control of their mobile robots, such as vacuum cleaning or companion robots. Therefore, we introduce virtual borders that are respected by a robot while performing its tasks. For this purpose, we employ a RGB-D Google Tango tablet as human-robot interface in combination with an augmented reality application to flexibly define virtual borders. We evaluated our system with 15 non-expert users concerning accuracy, teaching time and correctness and compared the results with other baseline methods based on visual markers and a laser pointer. The experimental results show that our method features an equally high accuracy while reducing the teaching time significantly compared to the baseline methods. This holds for different border lengths, shapes and variations in the teaching process. Finally, we demonstrated the correctness of the approach, i.e. the mobile robot changes its navigational behavior according to the user-defined virtual borders.


title: Inferring the core-collapse supernova explosion mechanism with three-dimensional gravitational-wave simulations

abstract: A detection of a core-collapse supernova signal with an Advanced LIGO and Virgo gravitational-wave detector network will allow us to measure astrophysical parameters of the source. In real advanced gravitational-wave detector data there are transient noise artifacts that may mimic a true gravitational-wave signal. In this paper, we outline a procedure implemented in the Supernova Model Evidence Extractor (SMEE) that determines if a core-collapse supernova signal candidate is a noise artefact, a rapidly-rotating core-collapse supernova signal, or a neutrino explosion mechanism core-collapse supernova signal. Further to this, we use the latest available three-dimensional gravitational-wave core-collapse supernova simulations, and we outline a new procedure for the rejection of background noise transients when only one detector is operational. We find the minimum SNR needed to detect all waveforms is reduced when using three-dimensional waveforms as signal models.


title: Construction of infinite series of non-simple ideal hyperbolic Coxeter 4-polytopes and their growth rates

abstract: We construct infinite series of non-simple ideal hyperbolic Coxeter 4-polytopes whose growth rates are Perron numbers. This infinite series is the first example of such a non-compact infinite polytopal series.


title: Edge Caching in Dense Heterogeneous Cellular Networks with Massive MIMO Aided Self-backhaul

abstract: This paper focuses on edge caching in dense heterogeneous cellular networks (HetNets), in which small base stations (SBSs) with limited cache size store the popular contents, and massive multiple-input multiple-output (MIMO) aided macro base stations provide wireless self-backhaul when SBSs require the non-cached contents. Our aim is to address the effects of cell load and hit probability on the successful content delivery (SCD), and present the minimum required base station density for avoiding the access overload in an arbitrary small cell and backhaul overload in an arbitrary macrocell. The massive MIMO backhaul achievable rate without downlink channel estimation is derived to calculate the backhaul time, and the latency is also evaluated in such networks. The analytical results confirm that hit probability needs to be appropriately selected, in order to achieve SCD. The interplay between cache size and SCD is explicitly quantified. It is theoretically demonstrated that when non-cached contents are requested, the average delay of the non-cached content delivery could be comparable to the cached content delivery with the help of massive MIMO aided self-backhaul, if the average access rate of cached content delivery is lower than that of self-backhauled content delivery. Simulation results are presented to validate our analysis.


title: Long-term optical and X-ray variability of the Be/X-ray binary H 1145-619: discovery of an on-going retrograde density wave

abstract: Multiwavelength monitoring of Be/X-ray binaries is crucial to understand the mechanisms producing their outbursts. H 1145-619 is one of these systems, which has recently displayed X-ray activity. We investigate the correlation between the optical emission and the X-ray activity to predict the occurrence of new X-ray outbursts from the inferred state of the circumstellar disc. We have performed a multiwavelength study of H 1145-619 from 1973 to 2017 and present here a global analysis of its variability over the last 40 years. We have used optical spectra from the SAAO, SMARTS and SALT telescopes and optical photometry from INTEGRAL/OMC and ASAS. We also used X-ray observations from INTEGRAL/JEM-X, and IBIS to generate the light curves and combined them with Swift/XRT to extract the X-ray spectra. In addition, we have compiled archival observations and measurements from the literature to complement these data. Comparing the evolution of the optical continuum emission with the Halpha line variability, we have identified three different patterns of optical variability: Global increases and decreases of the optical brightness (observed from 1982 to 1994 and from 2009 to 2017) that can be explained by the dissipation and replenishment of the circumstellar disc, superorbital variations with a period of Psuperorb~590 days (observed in 2002-2009) which seems to be related with the circumstellar disc, and optical outbursts (observed in 1998-1999 and 2002-2005) that we interpret as mass ejections. We have discovered the presence of a retrograde one-armed density wave, which appeared in 2016 and is still present in the circumstellar disc. We have carried out the most complete long-term optical study of the Be/X-ray binary H 1145-619 in correlation with its X-ray activity. We found for the fist time the presence of a retrograde density perturbation in the circumstellar disc of a Be/X-ray binary.


title: Zero modes of the Kitaev chain with phase-gradients and longer range couplings

abstract: We present an analytical solution for the full spectrum of Kitaev's one-dimensional p-wave superconductor with arbitrary hopping, pairing amplitude and chemical potential in the case of an open chain. We also discuss the structure of the zero-modes in the presence of both phase gradients and next nearest neighbor hopping and pairing terms. As observed by Sticlet et al., one feature of such models is that in a part of the phase diagram, zero-modes are present at one end of the system, while there are none on the other side. We explain the presence of this feature analytically, and show that it requires some fine-tuning of the parameters in the model. Thus as expected, these `one-sided' zero-modes are neither protected by topology, nor by symmetry.


title: An omnibus test for the global null hypothesis

abstract: Global hypothesis tests are a useful tool in the context of, e.g, clinical trials, genetic studies or meta analyses, when researchers are not interested in testing individual hypotheses, but in testing whether none of the hypotheses is false. There are several possibilities how to test the global null hypothesis when the individual null hypotheses are independent. If it is assumed that many of the individual null hypotheses are false, combinations tests have been recommended to maximise power. If, however, it is assumed that only one or a few null hypotheses are false, global tests based on individual test statistics are more powerful (e.g., Bonferroni or Simes test). However, usually there is no a-priori knowledge on the number of false individual null hypotheses. We therefore propose an omnibus test based on the combination of p-values. We show that this test yields an impressive overall performance. The proposed method is implemented in the R-package omnibus.


title: Deep MOS Spectroscopy of NGC 1316 Globular Clusters

abstract: The giant elliptical galaxy NGC 1316 is the brightest galaxy in the Fornax cluster, and displays a number of morphological features that might be interpreted as an intermediate age merger remanent ($\sim$3 Gyr). Based on the idea that globular clusters systems (GCS) constitute genuine tracers of the formation and evolution of their host galaxies, we conducted a spectroscopic study of approximately 40 globular clusters (GCs) candidates associated with this interesting galaxy. We determined ages, metallicities, and $\alpha$-element abundances for each GC present in the sample, through the measurement of different Lick indices and their subsequent comparison with simple stellar populations models (SSPs).


title: A Reproducible Study on Remote Heart Rate Measurement

abstract: This paper studies the problem of reproducible research in remote photoplethysmography (rPPG). Most of the work published in this domain is assessed on privately-owned databases, making it difficult to evaluate proposed algorithms in a standard and principled manner. As a consequence, we present a new, publicly available database containing a relatively large number of subjects recorded under two different lighting conditions. Also, three state-of-the-art rPPG algorithms from the literature were selected, implemented and released as open source free software. After a thorough, unbiased experimental evaluation in various settings, it is shown that none of the selected algorithms is precise enough to be used in a real-world scenario.


title: The 15273 \AA\ diffuse interstellar band in the dark cloud Barnard 68

abstract: High obscuration of background stars behind dark clouds precludes the detection of optical diffuse interstellar bands (DIBs) and hence our knowledge of DIB carriers in these environments. Taking advantage of the reduced obscuration of star-light in the near-infrared (NIR) we used one of the strongest NIR DIBs at 15273 AA to probe the presence and properties of its carrier throughout the nearby interstellar dark cloud Barnard 68. Equivalent widths (EW) have been measured for different ranges of visual extinction AV, using VLT-KMOS H-band (1.46-1.85 micron) moderate-resolution (R = 4000) spectra of 43 stars situated behind the cloud. To do so we fitted the data using synthetic stellar spectra from the APOGEE project and TAPAS synthetic telluric transmissions appropriate for the observing site and time period. The results show an increase of DIB EW with increasing AV. However, the rate of increase is much flatter than expected from the EW-AV quasi-proportionality established for this DIB in the Galactic diffuse interstellar medium. Based on a simplified inversion assuming sphericity, it is found that the volume density of the DIB carrier is 2.7 and 7.9 times lower than this expected average value in the external and central regions of the cloud which have n(H)= 0.4 and 3.5 x 105 cm3, respectively. Further measurements with multiplex NIR spectrographs should allow detailed modeling of such an edge effect of this DIB and other bands and help to clarify its actual origin.


title: Lattice Operations on Terms over Similar Signatures

abstract: Unification and generalization are operations on two terms computing respectively their greatest lower bound and least upper bound when the terms are quasi-ordered by subsumption up to variable renaming (i.e., $t_1\preceq t_2$ iff $t_1 = t_2\sigma$ for some variable substitution $\sigma$). When term signatures are such that distinct functor symbols may be related with a fuzzy equivalence (called a similarity), these operations can be formally extended to tolerate mismatches on functor names and/or arity or argument order. We reformulate and extend previous work with a declarative approach defining unification and generalization as sets of axioms and rules forming a complete constraint-normalization proof system. These include the Reynolds-Plotkin term-generalization procedures, Maria Sessa's "weak" unification with partially fuzzy signatures and its corresponding generalization, as well as novel extensions of such operations to fully fuzzy signatures (i.e., similar functors with possibly different arities). One advantage of this approach is that it requires no modification of the conventional data structures for terms and substitutions. This and the fact that these declarative specifications are efficiently executable conditional Horn-clauses offers great practical potential for fuzzy information-handling applications.


title: Feasibility of Corneal Imaging for Handheld Augmented Reality

abstract: Smartphones are a popular device class for mobile Augmented Reality but suffer from a limited input space. Around-device interaction techniques aim at extending this input space using various sensing modalities. In this paper we present our work towards extending the input area of mobile devices using front-facing device-centered cameras that capture reflections in the cornea. As current generation mobile devices lack high resolution front-facing cameras, we study the feasibility of around-device interaction using corneal reflective imaging based on a high resolution camera. We present a workflow, a technical prototype and a feasibility evaluation.


title: Towards Around-Device Interaction using Corneal Imaging

abstract: Around-device interaction techniques aim at extending the input space using various sensing modalities on mobile and wearable devices. In this paper, we present our work towards extending the input area of mobile devices using front-facing device-centered cameras that capture reflections in the human eye. As current generation mobile devices lack high resolution front-facing cameras we study the feasibility of around-device interaction using corneal reflective imaging based on a high resolution camera. We present a workflow, a technical prototype and an evaluation, including a migration path from high resolution to low resolution imagers. Our study indicates, that under optimal conditions a spatial sensing resolution of 5 cm in the vicinity of a mobile phone is possible.


title: Global existence for some 4-D quasilinear wave equations with low regularity

abstract: In this paper, we prove the global existence for some 4-D quasilinear wave equations with small, radial data in $H^{3}\times H^{2}$. The main idea is to exploit local energy estimates with variable coefficients, together with the trace estimates.


title: Entanglement Entropy of $AdS_5 \times S^5$ with massless flavors at non-zero temperature

abstract: We consider backreacted $AdS_5 \times S^5$ coupled with $N_f$ massless flavors introduced by D7-branes at non-zero temperature. The backreacted geometry is in the Veneziano limit. The temperature of this system is related to the event horizon at $r_h$. Dividing one of the spatial directions into a line segment with length $l$, we will calculate the entanglement entropy between the two subspaces. We study the behavior near the event horizon, and finally find that there exists phase transition phenomenon near the event horizon since the difference between the entanglement entropy of the connected minimal surface and the disconnected one changes sign.


title: Moments and ergodicity of the jump-diffusion CIR process

abstract: We study the jump-diffusion CIR process, which is an extension of the Cox-Ingersoll-Ross model and whose jumps are introduced by a subordinator. We provide sufficient conditions on the L\'evy measure of the subordinator under which the jump-diffusion CIR process is ergodic and exponentially ergodic, respectively. Furthermore, we characterize the existence of the $\kappa$-moment ($\kappa>0$) of the jump-diffusion CIR process by an integrability condition on the L\'evy measure of the subordinator.


title: Planar anti-Ramsey numbers for paths and cycles

abstract: Motivated by anti-Ramsey numbers introduced by Erd\H{o}s, Simonovits and S\'os in 1975, we study the anti-Ramsey problem when host graphs are plane triangulations. Given a positive integer $n$ and a planar graph $H$, let $\mathcal{T}_n(H)$ be the family of all plane triangulations $T$ on $n$ vertices such that $T$ contains a subgraph isomorphic to $H$. The planar anti-Ramsey number of $H$, denoted $ar_{_\mathcal{P}}(n, H)$, is the maximum number of colors in an edge-coloring of a plane triangulation $T\in \mathcal{T}_n(H)$ such that $T$ contains no rainbow copy of $H$. Analogous to anti-Ramsey numbers and Tur\'an numbers, planar anti-Ramsey numbers are closely related to planar Tur\'an numbers, where the planar Tur\'an number of $H$ is the maximum number of edges of a planar graph on $n$ vertices without containing $H$ as a subgraph. The study of $ar_{_\mathcal{P}}(n, H)$ (under the name of rainbow numbers) was initiated by Hor\v{n}\'ak, Jendrol$'$, Schiermeyer and Sot\'ak [J Graph Theory 78 (2015) 248--257]. In this paper we study planar anti-Ramsey numbers for paths and cycles. We first establish lower bounds for $ar_{_\mathcal{P}}(n, P_k)$ when $n\ge k\ge8$. We then improve the existing lower bound for $ar_{_\mathcal{P}}(n, C_k)$ when $k\geq 5$ and $n\geq k^2-k$. Finally, using the main ideas in the above-mentioned paper, we obtain upper bounds for $ar_{_\mathcal{P}}(n, C_6)$ when $n\ge8$ and $ar_{_\mathcal{P}}(n, C_7)$ when $n\geq 13$, respectively.


title: Numerically trivial automorphisms of Enriques surfaces in characteristic $2$

abstract: An automorphism of an algebraic surface $S$ is called cohomologically (numerically) trivial if it acts identically on the second $l$-adic cohomology group (this group modulo torsion subgroup). Extending the results of S. Mukai and Y. Namikawa to arbitrary characteristic $p > 0$, we prove that the group of cohomologically trivial automorphisms $\rm{Aut}_{\rm{ct}}(S)$ of an Enriques surface $S$ is of order $\leq 2$ if $S$ is not supersingular. If $p = 2$ and $S$ is supersingular, we show that $\rm{Aut}_{\rm{ct}}(S)$ is a cyclic group of odd order $n\in \{1,2,3,5,7,11\}$ or the quaternion group $Q_8$ of order $8$ and we describe explicitly all the exceptional cases. If $K_S \neq 0$, we also prove that the group $\rm{Aut}_{\rm{nt}}(S)$ of numerically trivial automorphisms is a subgroup of a cyclic group of order $\leq 4$ unless $p = 2$, where $\rm{Aut}_{\rm{nt}}(S)$ is a subgroup of a $2$-elementary group of rank $\leq 2$.


title: A Simple Finite Element Method for Elliptic Bulk Problems with Embedded Surfaces

abstract: In this paper we develop a simple finite element method for simulation of embedded layers of high permeability in a matrix of lower permeability using a basic model of Darcy flow in embedded cracks. The cracks are allowed to cut through the mesh in arbitrary fashion and we take the flow in the crack into account by superposition. The fact that we use continuous elements leads to suboptimal convergence due to the loss of regularity across the crack. We therefore refine the mesh in the vicinity of the crack in order to recover optimal order convergence in terms of the global mesh parameter. The proper degree of refinement is determined based on an a priori error estimate and can thus be performed before the actual finite element computation is started. Numerical examples showing this effect and confirming the theoretical results are provided. The approach is easy to implement and beneficial for rapid assessment of the effect of crack orientation and may for example be used in an optimization loop.


title: Characterizing the Initial Phase of Epidemic Growth on some Empirical Networks

abstract: A key parameter in models for the spread of infectious diseases is the basic reproduction number $R_0$, which is the expected number of secondary cases a typical infected primary case infects during its infectious period in a large mostly susceptible population. In order for this quantity to be meaningful, the initial expected growth of the number of infectious individuals in the large-population limit should be exponential. We investigate to what extent this assumption is valid by performing repeated simulations of epidemics on selected empirical networks, viewing each epidemic as a random process in discrete time. The initial phase of each epidemic is analyzed by fitting the number of infected people at each time step to a generalised growth model, allowing for estimating the shape of the growth. For reference, similar investigations are done on some elementary graphs such as integer lattices in different dimensions and configuration model graphs, for which the early epidemic behaviour is known. We find that for the empirical networks tested in this paper, exponential growth characterizes the early stages of the epidemic, except when the network is restricted by a strong low-dimensional spacial constraint, such as is the case for the two-dimensional square lattice. However, on finite integer lattices of sufficiently high dimension, the early development of epidemics shows exponential growth.


title: A 95 GHz Methanol Emission Survey Toward Eight Small Supernova Remnants

abstract: We report on a 95 GHz ($8_0-7_1$ A$^{+}$) methanol (CH$_3$OH) emission survey with the Purple Mountain Observatory Delingha 13.7 m telescope. Eight supernova remnants (SNRs) with angular size $\lesssim$ 10' were observed, but emission was only detected in three SNRs near the Galactic center (Sgr A East, G 0.1-0.1, and G 359.92-0.09). CH$_3$OH emission mainly surrounds the SNRs and can be decomposed into nine spatial peaks with velocity range of eight peaks being (-30, 70) km s$^{-1}$, and the other (70, 120) km s$^{-1}$. They are probably excited by interaction with these SNRs and adjacent molecular gas in the central molecular zone (CMZ), although star formation may play an important role in exciting CH$_3$OH emission in some regions of CMZ. We infer that tidal action is unlikely to be an excitation source for CH$_3$OH emission.


title: Spectral Continuity for Aperiodic Quantum Systems I. General Theory

abstract: How does the spectrum of a Schr\"odinger operator vary if the corresponding geometry and dynamics change? Is it possible to define approximations of the spectrum of such operators by defining approximations of the underlying structures? In this work a positive answer is provided using the rather general setting of groupoid $C^\ast$-algebras. A characterization of the convergence of the spectra by the convergence of the underlying structures is proved. In order to do so, the concept of continuous field of groupoids is slightly extended by adding continuous fields of cocycles. With this at hand, magnetic Schr\"odinger operators on dynamical systems or Delone systems fall into this unified setting. Various approximations used in computational physics, like the periodic or the finite cluster approximations, are expressed through the tautological groupoid, which provides a universal model for fields of groupoids. The use of the Hausdorff topology turns out to be fundamental in understanding why and how these approximations work. Corrigendum: A correct statement of Theorem 4 is provided. The change does not affect the main results.


title: Positive powers of the Laplacian: from hypersingular integrals to boundary value problems

abstract: Any positive power of the Laplacian is related via its Fourier symbol to a hypersingular integral with finite differences. We show how this yields a pointwise evaluation which is more flexible than other notions used so far in the literature for powers larger than 1; in particular, this evaluation can be applied to more general boundary value problems and we exhibit explicit examples. We also provide a natural variational framework and, using an asymptotic analysis, we prove how these hypersingular integrals reduce to polyharmonic operators in some cases. Our presentation aims to be as self-contained as possible and relies on elementary pointwise calculations and known identities for special functions.


title: On the Morse index of higher-dimensional free boundary minimal catenoids

abstract: For all $n$, we define the $n$-dimensional critical catenoid $M_n$ to be the unique rotationally symmetric, free boundary minimal hypersurface of non-trivial topology embedded in the closed unit ball in $\Bbb{R}^{n+1}$. We show that the Morse index $\text{MI}(n)$ of $M_n$ satisfies the following asymptotic estimate as $n$ tends to infinity. $$ \lim_{n\rightarrow+\infty}\frac{\text{Log}(\text{MI}(n))}{\sqrt{n}\text{Log}(\sqrt{n})} = 1. $$ We also study the numerical problem, providing exact values for the Morse index for $n=2,\cdots,100$, together with qualitative studies of $\text{MI}(n)$ and related geometric quantities for large values of $n$.


title: Chtoucas restreints pour les groupes r\'eductifs et param\'etrisation de Langlands locale

abstract: We associate to every irreducible representation of a reductive group over a local field of equal characteristics a local Langlands parameter up to semisimplification and prove the compatibility with the global parameterization constructed by the second author. Our method involves stacks of restricted shtukas (which are analogues of truncated Barsotti-Tate groups) and nearby cycles over arbitrary bases.


title: Entropy production and isotropization in Yang-Mills theory with use of quantum distribution function

abstract: We investigate thermalization process in relativistic heavy ion collisions in terms of the Husimi-Wehrl (HW) entropy defined with the Husimi function, a quantum distribution function in a phase space. We calculate the semiclassical time evolution of the HW entropy in Yang-Mills field theory with the phenomenological initial field configuration known as the McLerran-Venugopalan model in a non-expanding geometry, which has instabilty triggered by initial field fluctuations. HW-entropy production implies the thermalization of the system and it reflects the underlying dynamics such as chaoticity and instability. By comparing the production rate with the Kolmogorov-Sina\"i rate, we find that the HW entropy production rate is significantly larger than that expected from chaoticity. We also show that the HW entropy is finally saturated when the system reaches a quasi-stationary state. The saturation time of the HW entropy is comparable with that of pressure isotropization, which is around $1$ fm/c in the present calculation in the non-expanding geometry.

categories: hep-ph cond-mat.stat-mech hep-th nucl-th quant-ph


title: Muon Reconstruction in the Daya Bay Water Pools

abstract: Muon reconstruction in the Daya Bay water pools would serve to verify the simulated muon fluxes and offer the possibility of studying cosmic muons in general. This reconstruction is, however, complicated by many optical obstacles and the small coverage of photomultiplier tubes (PMTs) as compared to other large water Cherenkov detectors. The PMTs' timing information is useful only in the case of direct, unreflected Cherenkov light. This requires PMTs to be added and removed as an hypothesized muon trajectory is iteratively improved, to account for the changing effects of obstacles and direction of light. Therefore, muon reconstruction in the Daya Bay water pools does not lend itself to a general fitting procedure employing smoothly varying functions with continuous derivatives. Here, an algorithm is described which overcomes these complications. It employs the method of Least Mean Squares to determine an hypothesized trajectory from the PMTs' charge-weighted positions. This initially hypothesized trajectory is then iteratively refined using the PMTs' timing information. Reconstructions with simulated data reproduce the simulated trajectory to within about 5 degrees in direction and about 45 cm in position at the pool surface, with a bias that tends to pull tracks away from the vertical by about 3 degrees.


title: Estimation and Inference for Moments of Ratios with Robustness against Large Trimming Bias

abstract: Empirical researchers often trim observations with small denominator A when they estimate moments of the form E[B/A]. Large trimming is a common practice to mitigate variance, but it incurs large trimming bias. This paper provides a novel method of correcting large trimming bias. If a researcher is willing to assume that the joint distribution between A and B is smooth, then a large trimming bias may be estimated well. With the bias correction, we also develop a valid and robust inference result for E[B/A].


title: Faster Convergence of a Randomized Coordinate Descent Method for Linearly Constrained Optimization Problems

abstract: The problem of minimizing a separable convex function under linearly coupled constraints arises from various application domains such as economic systems, distributed control, and network flow. The main challenge for solving this problem is that the size of data is very large, which makes usual gradient-based methods infeasible. Recently, Necoara, Nesterov, and Glineur [Journal of Optimization Theory and Applications, 173 (2017) 227-2254] proposed an efficient randomized coordinate descent method to solve this type of optimization problems and presented an appealing convergence analysis. In this paper, we develop new techniques to analyze the convergence of such algorithms, which are able to greatly improve the results presented there. This refined result is achieved by extending Nesterov's second technique developed by Nesterov [SIAM J. Optim. 22 (2012) 341-362] to the general optimization problems with linearly coupled constraints. A novel technique in our analysis is to establish the basis vectors for the subspace of the linearly constraints.


title: Spin-polarized ballistic conduction through correlated Au-NiMnSb-Au heterostructures

abstract: We examine the ballistic conduction through Au-NiMnSb-Au heterostructures consisting of up to four units of NiMnSb in the scattering region. We investigate the dependence of the transmission function computed within the local spin density approximation (LSDA) of the density functional theory (DFT) on the number of half-metallic units in the scattering region. For a single NiMnSb unit the transmission function displays a spin polarization of around 50 % in a window of 1 eV centered around the Fermi level. By increasing the number of layers an almost complete spin polarization of the transmission is obtained in the same energy window. Supplementing the DFT-LSDA calculations with local electronic interactions, of Hubbard-type on the Mn sites, leads to a hybridization between the interface and many-body states. The significant reduction of the spin polarization seen in the density of states is not apparent in the spin-polarization of the conduction electron transmission, which suggests the localized nature of the hybridized interface and many-body induced states.


title: Families of spherical surfaces and harmonic maps

abstract: We study singularities of constant positive Gaussian curvature surfaces and determine the way they bifurcate in generic 1-parameter families of such surfaces. We construct the bifurcations explicitly using loop group methods. Constant Gaussian curvature surfaces correspond to harmonic maps, and we examine the relationship between the two types of maps and their singularities. Finally, we determine which finitely A-determined map-germs from the plane to the plane can be represented by harmonic maps.


title: Water Production Activity of Nine Long-Period Comets from SOHO/SWAN Observations of Hydrogen Lyman-alpha: 2013-2016

abstract: Nine recently discovered long-period comets were observed by the Solar Wind Anisotropies (SWAN) Lyman-alpha all-sky camera on board the Solar and Heliosphere Observatory (SOHO) satellite during the period of 2013 to 2016. These were C/2012 K1 (PanSTARRS), C/2013 US10 (Catalina), C/2013 V5 (Oukaimeden), C/2013 R1 (Lovejoy), C/2014 E2 (Jacques), C/2014 Q2 (Lovejoy), C/2015 G2 (MASTER), C/2014 Q1 (PanSTARRS) and C/2013 X1 (PanSTARRS). Of these 9 comets 6 were long-period comets and 3 were possibly dynamically new. Water production rates were calculated from each of the 885 images using our standard time-resolved model that accounts for the whole water photodissociation chain, exothermic velocities and collisional escape of H atoms. For most of these comets there were enough observations over a broad enough range of heliocentric distances to calculate power-law fits to the variation of production rate with heliocentric distances for pre- and post-perihelion portions of the orbits. Comet C/2014 Q1 (PanSTARRS), with a perihelion distance of only ~0.3 AU, showed the most unusual variation of water production rate with heliocentric distance and the resulting active area variation, indicating that when the comet was within 0.7 AU its activity was dominated by the continuous release of icy grains and chunks, greatly increasing the active sublimation area by more than a factor of 10 beyond what it had at larger heliocentric distances. A possible interpretation suggests that a large fraction of the comet's mass was lost during the apparition.


title: Properties of a Martian local dust storm in Atlantis Chaos from OMEGA/MEX data

abstract: In this study we present the analysis of the dust properties of a local storm imaged in the Atlantis Chaos region on Mars by the OMEGA imaging spectrometer on March 2nd 2005. We use the radiative transfer model MITRA to study the dust properties at solar wavelengths between 0.5 {\mu}m and 2.5 {\mu}m and infer the connection between the local storm dynamics and the topography. We retrieve maps of effective grain radius (reff), optical depth at 9.3 {\mu}m ({\tau}9.3) and top altitude (ta) of the dust layer. Our results show that large particles (reff = 1.6 {\mu}m) are gathered in the centre of the storm (lat=33.5{\deg} S; lon=183.5 W{\deg}), where the optical depth is maximum ({\tau}9.3 > 7.0) and the top altitude exceeds 18 km. Outside the storm, we obtain {\tau}9.3 < 0.2, in agreement with the estimates derived from global climate models (GCM). We speculate that a low thermal inertia region at the western border of Atlantis Chaos is a possible source of the dust storm. Moreover, we find evidence that topography plays a role in confining the local storm in Atlantis Chaos. The vertical wind component from the GCM does not provide any hint for the triggering of dust lifting. On the other hand, the combination of the horizontal and vertical wind profiles suggests that the dust, once lifted, is pushed eastward and then downward and gets confined within the north-east ridge of Atlantis Chaos. (continues in article)


title: Gamma factors of intertwining periods and distinction for inner forms of $\mathrm{GL(n)}$

abstract: Let $F$ be a $p$-adic field, $E$ be a quadratic extension of $F$, $D$ be an $F$-central division algebra of odd index and let $\theta$ be the Galois involution attached to $E/F$. Set $H=GL(m,D)$, $G=GL(m,D\otimes_F E)$, and let $P=MU$ be a standard parabolic subgroup of $G$. Let $w$ be a Weyl involution stabilizing $M$ and $M^{\theta_w}$ be the subgroup of $M$ fixed by the involution $\theta_w:m\mapsto \theta(wmw)$. We denote by $X(M)^{w,-}$ the complex torus of $w$-anti-invariant unramified characters of $M$. Following the global methods of Jacquet, Lapid and Rogawski, we associate to a finite length representation $\sigma$ of $M$ and to a linear form $L\in Hom_{M^{\theta_w}}(\sigma,\mathbb{C})$ a family of $H$-invariant linear forms called intertwining periods on $Ind_P^G(\chi \sigma)$ for $\chi \in X(M)^{w,-}$, which is meromorphic in the variable $\chi$. Then we give sufficient conditions for some of these intertwining periods, namely the open intertwining periods studied by Blanc and Delorme, to have singularities. By a local/global method, we also compute in terms of Asai gamma factors the proportionality constants involved in their functional equations with respect to certain intertwining operators. As a consequence, we classify distinguished unitary and ladder representations of $G$, extending respectively results the author and Gurevich for $D=F$, which both relied at some crucial step on the theory of Bernstein-Zelevinsky derivatives. We make use of one of a recent result of Beuzart-Plessis which in the case of the group $G$ asserts that the Jacquet-Langlands correspondence preserves distinction. Such a result is for essentially square-integrable representations, but our method in fact allows us to use it only for cuspidal representations of $G$.


title: Performance Analysis of Integrated Sub-6 GHz-Millimeter Wave Wireless Local Area Networks

abstract: Millimeter wave (mmW) communications at the 60 GHz unlicensed band is seen as a promising approach for boosting the capacity of wireless local area networks (WLANs). If properly integrated into legacy IEEE 802.11 standards, mmW communications can offer substantial gains by offloading traffic from congested sub-6 GHz unlicensed bands to the 60 GHz mmW frequency band. In this paper, a novel medium access control (MAC) is proposed to dynamically manage the WLAN traffic over the unlicensed mmW and sub-6 GHz bands. The proposed protocol leverages the capability of advanced multi-band wireless stations (STAs) to perform fast session transfers (FST) to the mmW band, while considering the intermittent channel at the 60 GHz band and the level of congestion observed over the sub-6 GHz bands. The performance of the proposed scheme is analytically studied via a new Markov chain model and the probability of transmissions over the mmW and sub-6 GHz bands, as well as the aggregated saturation throughput are derived. In addition, analytical results are validated by simulation results. Simulation results show that the proposed integrated mmW-sub 6 GHz MAC protocol yields significant performance gains, in terms of maximizing the saturation throughput and minimizing the delay experienced by the STAs. The results also shed light on the tradeoffs between the achievable gains and the overhead introduced by the FST procedure.


title: Twisted equivariant K-theory of compact Lie group actions with maximal rank isotropy

abstract: We consider twisted equivariant K--theory for actions of a compact Lie group $G$ on a space $X$ where all the isotropy subgroups are connected and of maximal rank. We show that the associated rational spectral sequence \`a la Segal has a simple $E_2$--term expressible as invariants under the Weyl group of $G$. Namely, if $T$ is a maximal torus of $G$, they are invariants of the $\pi_1(X^T)$-equivariant Bredon cohomology of the universal cover of $X^T$ with suitable coefficients. In the case of the inertia stack $\Lambda Y$ this term can be expressed using the cohomology of $Y^T$ and algebraic invariants associated to the Lie group and the twisting. A number of calculations are provided. In particular, we recover the rational Verlinde algebra when $Y=\{*\}$.


title: A repetition code of 15 qubits

abstract: The repetition code is an important primitive for the techniques of quantum error correction. Here we implement repetition codes of at most $15$ qubits on the $16$ qubit \emph{ibmqx3} device. Each experiment is run for a single round of syndrome measurements, achieved using the standard quantum technique of using ancilla qubits and controlled operations. The size of the final syndrome is small enough to allow for lookup table decoding using experimentally obtained data. The results show strong evidence that the logical error rate decays exponentially with code distance, as is expected and required for the development of fault-tolerant quantum computers. The results also give insight into the nature of noise in the device.


title: The MUSE-Wide survey: A measurement of the Ly$\alpha$ emitting fraction among $z>3$ galaxies

abstract: We present a measurement of the fraction of Lyman $\alpha$ (Ly$\alpha$) emitters ($X_{\rm{Ly} \alpha}$) amongst HST continuum-selected galaxies at $3<z<6$ with the Multi-Unit Spectroscopic Explorer (MUSE) on the VLT. Making use of the first 24 MUSE-Wide pointings in GOODS-South, each having an integration time of 1 hour, we detect 100 Ly$\alpha$ emitters and find $X_{\rm{Ly} \alpha}\gtrsim0.5$ for most of the redshift range covered, with 29 per cent of the Ly$\alpha$ sample exhibiting rest equivalent widths (rest-EWs) $\leq$ 15\AA. Adopting a range of rest-EW cuts (0 - 75\AA), we find no evidence of a dependence of $X_{\rm{Ly} \alpha}$ on either redshift or UV luminosity.


title: Dark Energy Survey Year 1 Results: Cross-Correlation Redshifts - Methods and Systematics Characterization

abstract: We use numerical simulations to characterize the performance of a clustering-based method to calibrate photometric redshift biases. In particular, we cross-correlate the weak lensing (WL) source galaxies from the Dark Energy Survey Year 1 (DES Y1) sample with redMaGiC galaxies (luminous red galaxies with secure photometric redshifts) to estimate the redshift distribution of the former sample. The recovered redshift distributions are used to calibrate the photometric redshift bias of standard photo-$z$ methods applied to the same source galaxy sample. We apply the method to three photo-$z$ codes run in our simulated data: Bayesian Photometric Redshift (BPZ), Directional Neighborhood Fitting (DNF), and Random Forest-based photo-$z$ (RF). We characterize the systematic uncertainties of our calibration procedure, and find that these systematic uncertainties dominate our error budget. The dominant systematics are due to our assumption of unevolving bias and clustering across each redshift bin, and to differences between the shapes of the redshift distributions derived by clustering vs photo-$z$'s. The systematic uncertainty in the mean redshift bias of the source galaxy sample is $\Delta z \lesssim 0.02$, though the precise value depends on the redshift bin under consideration. We discuss possible ways to mitigate the impact of our dominant systematics in future analyses.


title: Grasp selection analysis for two-step manipulation tasks

abstract: Manipulation tasks are sequential in nature. Grasp selection approaches that take into account the con- straints at each task step are critical, since they allow to both (1) Identify grasps that likely require simple arm motions through the whole task and (2) To discard grasps that, although feasible to achieve at earlier steps, might not be executable at later stages due to goal task constraints. In this paper, we study how to use our previously proposed manipulation metric for tasks in which 2 steps are required (pick-and-place and pouring tasks). Even for such simple tasks, it was not clear how to use the results of applying our metric (or any metric for that matter) to rank all the candidate grasps: Should only the start state be considered, or only the goal, or a combination of both? In order to find an answer, we evaluated the (best) grasps selected by our metric under each of these 3 considerations. Our main conclusion was that for tasks in which the goal state is more constrained (pick-and-place), using a combination of the metric measured at the start and goal states renders better performance when compared with choosing any other candidate grasp, whereas in tasks in which the goal constraints are less rigidly defined, the metric measured at the start state should be mainly considered. We present quantitative results in simulation and validate our approach's practicality with experimental results in our physical robot manipulator, Crichton.


title: Dynamics of anisotropies close to a cosmological bounce in quantum gravity

abstract: We study the dynamics of perturbations representing deviations from perfect isotropy in the context of the emergent cosmology obtained from the group field theory formalism for quantum gravity. Working in the mean field approximation of the group field theory formulation of the Lorentzian EPRL model, we derive the equations of motion for such perturbations to first order. We then study these equations around a specific simple isotropic background, characterised by the fundamental representation of $\mbox{SU(2)}$, and in the regime of the effective cosmological dynamics corresponding to the bouncing region replacing the classical singularity, well approximated by the free GFT dynamics. In this particular example, we identify a region in the parameter space of the model such that perturbations can be large at the bounce but become negligible away from it, i.e. when the background enters the non-linear regime. We also study the departures from perfect isotropy by introducing specific quantities, such as the surface-area-to-volume ratio and the effective volume per quantum, which make them quantitative.


title: The use of Pauli-Villars' regularization in string theory

abstract: The proper-time regularization of bosonic string reproduces the results of canonical quantization in a special scaling limit where the length in target space has to be renormalized. We repeat the analysis for the Pauli-Villars regularization and demonstrate the universality of the results. In the mean-field approximation we compute the susceptibility anomalous dimension and show it equals 1/2. We discuss the relation with the previously known results on lattice strings.


title: An epiperimetric inequality for the lower dimensional obstacle problem

abstract: In this paper we give a proof of an epiperimetric inequality in the setting of the lower dimensional obstacle problem. The inequality was introduced by Weiss (Invent. Math., 138 (1999), no. 1, 23-50) for the classical obstacle problem and has striking consequences concerning the regularity of the free-boundary. Our proof follows the approach of Focardi and Spadaro (Adv. Differential Equations 21 (2015), no 1-2, 153-200.) which uses an homogeneity approach and a {\Gamma}-convergence analysis.


title: On the Restriction of the Location of Stable Points for Generalized Lotka-Volterra

abstract: We develop tools to determine which fixed points in a generalized Lotka-Volterra system are stable, under certain non-degeneracy conditions. We characterize which faces of the boundary of the domain of the Lotka-Volterra system could contain a stable fixed point. Under various relaxed conditions, we show that whenever a face of the boundary contains a stable point there are no other stable points in any strictly larger face of the boundary.


title: Intersections of Class Fields

abstract: Using class field theory, we prove a restriction on the intersection of the maximal abelian extensions associated with different number fields. This restriction is then used to improve a result of Rosen and Silverman about the linear independence of Heegner points. In addition, it yields effective restrictions for the special points lying on an algebraic subvariety in a product of modular curves. The latter application is related to the Andr\'e-Oort conjecture.


title: NarrowBand IoT Data Transmission Procedures for Massive Machine Type Communications

abstract: Large-scale deployments of massive Machine Type Communications (mMTC) involve several challenges on cellular networks. To address the challenges of mMTC, or more generally, Internet of Things (IoT), the 3rd Generation Partnership Project has developed NarrowBand IoT (NB-IoT) as part of Release 13. NB-IoT is designed to provide better indoor coverage, support of a massive number of low-throughput devices, with relaxed delay requirements, and lower-energy consumption. NB-IoT reuses Long Term Evolution functionality with simplifications and optimizations. Particularly for small data transmissions, NB-IoT specifies two procedures to reduce the required signaling: one of them based on the Control Plane (CP), and the other on the User Plane (UP). In this work, we provide an overview of these procedures as well as an evaluation of their performance. The results of the energy consumption show both optimizations achieve a battery lifetime extension of more than 2 years for a large range in the considered cases, and up to 8 years for CP with good coverage. In terms of cell capacity relative to SR, CP achieves gains from 26% to 224%, and UP ranges from 36% to 165%. The comparison of CP and UP optimizations yields similar results, except for some specific configurations.


title: On the convergence of Lawson methods for semilinear stiff problems

abstract: Since their introduction in 1967, Lawson methods have achieved constant interest in the time discretization of evolution equations. The methods were originally devised for the numerical solution of stiff differential equations. Meanwhile, they constitute a well-established class of exponential integrators. The popularity of Lawson methods is in some contrast to the fact that they may have a bad convergence behaviour, since they do not satisfy any of the stiff order conditions. The aim of this paper is to explain this discrepancy. It is shown that non-stiff order conditions together with appropriate regularity assumptions imply high-order convergence of Lawson methods. Note, however, that the term regularity here includes the behaviour of the solution at the boundary. For instance, Lawson methods will behave well in the case of periodic boundary conditions, but they will show a dramatic order reduction for, e.g., Dirichlet boundary conditions. The precise regularity assumptions required for high-order convergence are worked out in this paper and related to the corresponding assumptions for splitting schemes. In contrast to previous work, the analysis is based on expansions of the exact and the numerical solution along the flow of the homogeneous problem. Numerical examples for the Schr\"odinger equation are included.


title: A Discrete Packing Model of Granular Material Confined in A Vertical Column

abstract: The transmission rules of interparticle forces between granular particles were analyzed, and a discrete packing model was proposed to calculate the static pressure at the bottom of granular material confined in a vertical column. The mechanical analysis and numerical simulation results indicate that the silo effect is caused by the frictional contacts between border particles and inner walls, the static pressure at the bottom depends on the external load initially, and then tends to a saturation pressure (Pn) in an exponential form. The saturation pressure (Pn) is positive linear related to the container radius (R) with the same granular matter and stacking manner. The saturation pressure (Pn) is directly proportional to the particle size (ra), and the increasing or decreasing characteristic depends on the frictional property of inner walls, the friction and stacking angle of grains. At last, the predictions of the aforementioned model are compared with the experimental results from the literature, and good agreement is achieved.


title: Unbiased approximations of products of expectations

abstract: We consider the problem of approximating the product of $n$ expectations with respect to a common probability distribution $\mu$. Such products routinely arise in statistics as values of the likelihood in latent variable models. Motivated by pseudo-marginal Markov chain Monte Carlo schemes, we focus on unbiased estimators of such products. The standard approach is to sample $N$ particles from $\mu$ and assign each particle to one of the expectations. This is wasteful and typically requires the number of particles to grow quadratically with the number of expectations. We propose an alternative estimator that approximates each expectation using most of the particles while preserving unbiasedness. We carefully study its properties, showing that in latent variable contexts the proposed estimator needs only $\mathcal{O}(n)$ particles to match the performance of the standard approach with $\mathcal{O}(n^{2})$ particles. We demonstrate the procedure on two latent variable examples from approximate Bayesian computation and single-cell gene expression analysis, observing computational gains of the order of the number of expectations, i.e. data points, $n$.


title: The Classical Obstacle problem with coefficients in fractional Sobolev spaces

abstract: We prove quasi-monotonicity formulae for classical obstacle-type problems with quadratic energies with coefficients in fractional Sobolev spaces, and a linear term with a Dini-type continuity property. These formulae are used to obtain the regularity of free-boundary points following the approaches by Caffarelli, Monneau and Weiss.


title: Anomalous Lorentz and CPT violation

abstract: If there exists Lorentz and CPT violation in nature, then it is crucial to discover and understand the underlying mechanism. In this contribution, we discuss one such mechanism which relies on four-dimensional chiral gauge theories defined over a spacetime manifold with topology $\mathbb{R}^3 \times S^1$ and periodic spin structure for the compact dimension. It can be shown that the effective gauge-field action contains a local Chern-Simons-like term which violates Lorentz and CPT invariance. For arbitrary Abelian $U(1)$ gauge fields with trivial holonomies in the compact direction, this anomalous Lorentz and CPT violation has recently been established perturbatively with a Pauli-Villars-type regularization and nonperturbatively with a lattice regularization based on Ginsparg-Wilson fermions.


title: Dynamic instability of $\mathbb{CP}^N$ under Ricci flow

abstract: The intent of this short note is to provide context for and an independent proof of the discovery of Klaus Kroencke that complex projective space with its canonical Fubini--Study metric is dynamically unstable under Ricci flow in all complex dimensions N>1. The unstable perturbation is not Kaehler. This provides a counterexample to a well known conjecture widely attributed to Hamilton. Moreover, it shows that the expected stability of the subspace of Kaehler metrics under Ricci flow, another conjecture believed by several experts, needs to be interpreted in a more nuanced way than some may have expected.


title: Learning Implicit Generative Models Using Differentiable Graph Tests

abstract: Recently, there has been a growing interest in the problem of learning rich implicit models - those from which we can sample, but can not evaluate their density. These models apply some parametric function, such as a deep network, to a base measure, and are learned end-to-end using stochastic optimization. One strategy of devising a loss function is through the statistics of two sample tests - if we can fool a statistical test, the learned distribution should be a good model of the true data. However, not all tests can easily fit into this framework, as they might not be differentiable with respect to the data points, and hence with respect to the parameters of the implicit model. Motivated by this problem, in this paper we show how two such classical tests, the Friedman-Rafsky and k-nearest neighbour tests, can be effectively smoothed using ideas from undirected graphical models - the matrix tree theorem and cardinality potentials. Moreover, as we show experimentally, smoothing can significantly increase the power of the test, which might of of independent interest. Finally, we apply our method to learn implicit models.


title: Visual Similarity Perception of Directed Acyclic Graphs: A Study on Influencing Factors

abstract: While visual comparison of directed acyclic graphs (DAGs) is commonly encountered in various disciplines (e.g., finance, biology), knowledge about humans' perception of graph similarity is currently quite limited. By graph similarity perception we mean how humans perceive commonalities and differences in graphs and herewith come to a similarity judgment. As a step toward filling this gap the study reported in this paper strives to identify factors which influence the similarity perception of DAGs. In particular, we conducted a card-sorting study employing a qualitative and quantitative analysis approach to identify 1) groups of DAGs that are perceived as similar by the participants and 2) the reasons behind their choice of groups. Our results suggest that similarity is mainly influenced by the number of levels, the number of nodes on a level, and the overall shape of the graph.


title: Mix-ORAM: Using delegate shuffles

abstract: Oblivious RAM (ORAM) is a key technology for providing private storage and querying on untrusted machines but is commonly seen as impractical due to the high overhead of the re-randomization, called the eviction, the client incurs. We propose in this work to securely delegate the eviction to semi-trusted third parties to enable any client to accede the ORAM technology and present four different designs inspired by mix-net technologies with reasonable periodic costs.


title: Feasibility of track-based multiple scattering tomography

abstract: We present a tomographic technique making use of a gigaelectronvolt electron beam for the measurement of the spatial material budget distribution of centimetre-sized objects. With simulation tools originating from high-energy physics applications, a test environment replicating a beam telescope is set up to measure the trajectory of electrons traversing a structured aluminium cube with 6 mm edge length. The variance of the deflection angle distribution of the electrons undergoing multiple Coulomb scattering at the aluminium cube serves as an estimator for the radon transform of the material budget distribution. Basing the sinogram on position-resolved estimators enables the reconstruction of the original object. We show the feasibility of the reconstruction of the three-dimensional material budget distribution of the aluminium cube by successively imaging two-dimensional distributions of the projected material budget under varying rotation angles. Using a filtered back projection, the reconstructed image yields edge resolutions of the order of $50\pm2$ micron and contrasts of about $6.6\pm0.2$ compared to air, offering a new technique in non-destructive material testing.


title: Impact of intense laser pulses on the autoionization dynamics of the 2s2p doubly-excited state of He

abstract: The photoionization of a helium atom by short intense laser pulses is studied theoretically in the vicinity of the $2s2p\,^1P$ doubly-excited state with the intention to investigate the impact of the intensity and duration of the exciting pulse on the dynamics of the autoionization process. For that purpose, we solve numerically the corresponding time-dependent Schr\"{o}dinger equation by applying the time-dependent restricted-active-space configuration-interaction method (TD-RASCI). The present numerical results clearly demonstrate that the Fano-interferences can be controlled by a single high-frequency pulse. As long as the pulse duration is comparable to the autoionization lifetime, varying the peak intensity of the pulse enables manipulation of the underlying Fano-interference. In particular, the asymmetric profile observed for the $2s2p\,^1P$ doubly-excited state of He in the weak-field ionization can be smoothly transformed to a window-type interference profile.


title: Error Analysis of Non Inf-sup Stable Discretizations of the time-dependent Navier--Stokes Equations with Local Projection Stabilization

abstract: This paper studies non inf-sup stable finite element approximations to the evolutionary Navier--Stokes equations. Several local projection stabilization (LPS) methods corresponding to different stabilization terms are analyzed, thereby separately studying the effects of the different stabilization terms. Error estimates are derived in which the constants in the error bounds are independent of inverse powers of the viscosity. For one of the methods, using velocity and pressure finite elements of degree $l$, it will be proved that the velocity error in $L^\infty(0,T;L^2(\Omega))$ decays with rate $l+1/2$ in the case that $\nu\le h$, with $\nu$ being the dimensionless viscosity and $h$ the mesh width. In the analysis of another method, it was observed that the convective term can be bounded in an optimal way with the LPS stabilization of the pressure gradient. Numerical studies confirm the analytical results.


title: Local and global avalanches in a 2D sheared granular medium

abstract: We present the experimental and numerical studies of a 2D sheared amorphous material constituted of bidisperse photo-elastic disks. We analyze the statistics of avalanches during shear including the local and global fluctuations in energy and changes in particle positions and orientations. We find scale free distributions for these global and local avalanches denoted by power-laws whose cut-offs vary with inter-particle friction and packing fraction. Different exponents are found for these power-laws depending on the quantity from which variations are extracted. An asymmetry in time of the avalanche shapes is evidenced along with the fact that avalanches are mainly triggered from the shear bands. A simple relation independent from the intensity, is found between the number of local avalanches and the global avalanches they form. We also compare these experimental and numerical results for both local and global fluctuations to predictions from meanfield and depinning theories.


title: Magnetic Excitations in the Ground State of $\mathrm{Yb_2Ti_2O_7}$

abstract: We report an extensive study on the zero field ground state of a powder sample of the pyrochlore $\mathrm{Yb_2Ti_2O_7}$. A sharp heat capacity anomaly that labels a low temperature phase transition in this material is observed at 280 mK. Neutron diffraction shows that a \emph{quasi-collinear} ferromagnetic order develops below $T_\mathrm{c}$ with a magnetic moment of $0.87(2)\mu_\mathrm{B}$. High resolution inelastic neutron scattering measurements show, below the phase transition temperature, sharp gapped low-lying magnetic excitations coexisting with a remnant quasielastic contribution likely associated with persistent spin fluctuations. Moreover, a broad inelastic continuum of excitations at $\sim0.6$ meV is observed from the lowest measured temperature up to at least 2.5 K. At 10 K, the continuum has vanished and a broad quasielastic conventional paramagnetic scattering takes place at the observed energy range. Finally, we show that the exchange parameters obtained within the framework of linear spin-wave theory do not accurately describe the observed zero field inelastic neutron scattering data.


title: Uncovering Multiple Populations in NGC 7099 (M 30) using Washington Photometry

abstract: Over the last decade, the classical definition of Globular Clusters (GCs) as simple stellar populations was revolutionized due to the discovery of "Multiple Populations" (MPs). However, our knowledge of this phenomenon and its characteristics is still lacking greatly observationally, and there is currently no scenario that adequately explains its origin. It is therefore important to study as many GCs as possible to characterize whether or not they have MPs, and determine their detailed behavior to enlighten formation scenarios, using a wide range of techniques. The Washington photometric system has proved to be useful to find MPs thanks mainly to the UV-sensitivity and high efficiency of the C filter. We search for MPs in the Galactic GC NGC 7099 (M30), the second GC being searched for MPs using this system. We obtained photometric data using the Swope 1m telescope at Las Campanas Observatory, as well as the 4m SOAR facility. Our reduction procedure included addstar experiments to properly assess photometric errors. We find a clear signal of MPs based on an intrinsically wide color spread on the RGB, in particular due to a relatively small fraction of stars significantly bluer than the main RGB locus. These stars should correspond to so-called first generation stars, which we estimate to be roughly 15\% of the total. However, we find these first-generation stars to be more spatially concentrated than their second generation counterparts, which is the opposite to the general trend found in other clusters. We briefly discuss possible explanations for this phenomenon.


title: A Survey of Indoor Localization Systems and Technologies

abstract: Indoor localization has recently witnessed an increase in interest, due to the potential wide range of services it can provide by leveraging Internet of Things (IoT), and ubiquitous connectivity. Different techniques, wireless technologies and mechanisms have been proposed in the literature to provide indoor localization services in order to improve the services provided to the users. However, there is a lack of an up-to-date survey paper that incorporates some of the recently proposed accurate and reliable localization systems. In this paper, we aim to provide a detailed survey of different indoor localization techniques such as Angle of Arrival (AoA), Time of Flight (ToF), Return Time of Flight (RTOF), Received Signal Strength (RSS); based on technologies such as WiFi, Radio Frequency Identification Device (RFID), Ultra Wideband (UWB), Bluetooth and systems that have been proposed in the literature. The paper primarily discusses localization and positioning of human users and their devices. We highlight the strengths of the existing systems proposed in the literature. In contrast with the existing surveys, we also evaluate different systems from the perspective of energy efficiency, availability, cost, reception range, latency, scalability and tracking accuracy. Rather than comparing the technologies or techniques, we compare the localization systems and summarize their working principle. We also discuss remaining challenges to accurate indoor localization.


title: Table-top X-ray Ghost Imaging with Ultra-Low Radiation

abstract: The use of x-ray imaging in medicine and other research is well known. Generally, the image quality is proportional to the total flux, but high photon energy could severely damage the specimen, so how to decrease the radiation dose while maintaining image quality is a fundamental problem. In "ghost" imaging, an image is retrieved from a known patterned illumination field and the total intensity transmitted through the object collected by a bucket detector. Using a table-top x-ray source we have realized ghost imaging of plane and natural objects with ultra-low radiation on the order of single photons. Compared with conventional x-ray imaging, a higher contrast-to-noise ratio is obtained for the same radiation dose. This new technique could greatly reduce radiation damage of biological specimens.


title: Many-body forces in magnetic neutron stars

abstract: In this work, we study in detail the effects of many-body forces on the equation of state and the structure of magnetic neutron stars. The stellar matter is described within a relativistic mean field formalism that takes into account many-body forces by means of a non-linear meson field dependence on the nuclear interaction coupling constants. We assume that matter is at zero temperature, charge neutral, in beta-equilibrium, and populated by the baryon octet, electrons, and muons. In order to study the effects of different degrees of stiffness in the equation of state, we explore the parameter space of the model, which reproduces nuclear matter properties at saturation, as well as massive neutron stars. Magnetic field effects are introduced both in the equation of state and in the macroscopic structure of stars by the self-consistent solution of the Einstein-Maxwell equations. In addition, effects of poloidal magnetic fields on the global properties of stars, as well as density and magnetic field profiles are investigated. We find that not only different macroscopic magnetic field distributions, but also different parameterizations of the model for a fixed magnetic field distribution impact the gravitational mass, deformation and internal density profiles of stars. Finally, we also show that strong magnetic fields affect significantly the particle populations of stars


title: On a randomized backward Euler method for nonlinear evolution equations with time-irregular coefficients

abstract: In this paper we introduce a randomized version of the backward Euler method, that is applicable to stiff ordinary differential equations and nonlinear evolution equations with time-irregular coefficients. In the finite-dimensional case, we consider Carath\'eodory type functions satisfying a one-sided Lipschitz condition. After investigating the well-posedness and the stability properties of the randomized scheme, we prove the convergence to the exact solution with a rate of $0.5$ in the root-mean-square norm assuming only that the coefficient function is square integrable with respect to the temporal parameter. These results are then extended to the numerical solution of infinite-dimensional evolution equations under monotonicity and Lipschitz conditions. Here we consider a combination of the randomized backward Euler scheme with a Galerkin finite element method. We obtain error estimates that correspond to the regularity of the exact solution. The practicability of the randomized scheme is also illustrated through several numerical experiments.


title: Maximum Secrecy Throughput of MIMOME FSO Communications with Outage Constraints

abstract: In this work, we consider a scenario where two multiple-aperture legitimate nodes (Alice and Bob) communicate by means of Free-Space Optical (FSO) communication in the presence of a multiple-aperture eavesdropper (Eve), which is subject to pointing errors. Two different schemes are considered depending on the availability of channel state information (CSI) at Alice: i) the adaptive scheme, where Alice possesses the instantaneous CSI with respect to Bob; ii) the fixed-rate scheme, where such information is not available at Alice. The performance of the aforementioned schemes is evaluated in terms of a recently proposed metric named effective secrecy throughput (EST), which encompasses both the reliability and secrecy constraints. By constraining the system to operate below a given maximum allowed secrecy outage probability, we evaluate the EST analytically and through numerical results, showing that the use of multiple apertures at Alice is very important towards achieving the optimal EST.