title: Computational landscape of user behavior on social media

abstract: With the increasing abundance of 'digital footprints' left by human interactions in online environments, e.g., social media and app use, the ability to model complex human behavior has become increasingly possible. Many approaches have been proposed, however, most previous model frameworks are fairly restrictive. We introduce a new social modeling approach that enables the creation of models directly from data with minimal a priori restrictions on the model class. In particular, we infer the minimally complex, maximally predictive representation of an individual's behavior when viewed in isolation and as driven by a social input. We then apply this framework to a heterogeneous catalog of human behavior collected from fifteen thousand users on the microblogging platform Twitter. The models allow us to describe how a user processes their past behavior and their social inputs. Despite the diversity of observed user behavior, most models inferred fall into a small subclass of all possible finite-state processes. Thus, our work demonstrates that user behavior, while quite complex, belies simple underlying computational structures.


title: Improving Image Captioning by Leveraging Knowledge Graphs

abstract: We explore the use of a knowledge graphs, that capture general or commonsense knowledge, to augment the information extracted from images by the state-of-the-art methods for image captioning. The results of our experiments, on several benchmark data sets such as MS COCO, as measured by CIDEr-D, a performance metric for image captioning, show that the variants of the state-of-the-art methods for image captioning that make use of the information extracted from knowledge graphs can substantially outperform those that rely solely on the information extracted from images.


title: Pricing options and computing implied volatilities using neural networks

abstract: This paper proposes a data-driven approach, by means of an Artificial Neural Network (ANN), to value financial options and to calculate implied volatilities with the aim of accelerating the corresponding numerical methods. With ANNs being universal function approximators, this method trains an optimized ANN on a data set generated by a sophisticated financial model, and runs the trained ANN as an agent of the original solver in a fast and efficient way. We test this approach on three different types of solvers, including the analytic solution for the Black-Scholes equation, the COS method for the Heston stochastic volatility model and Brent's iterative root-finding method for the calculation of implied volatilities. The numerical results show that the ANN solver can reduce the computing time significantly.


title: Domain wall dynamics in the Landau--Lifshitz magnet and the classical-quantum correspondence for spin transport

abstract: We investigate the dynamics of spin in the axially anisotropic Landau--Lifshitz field theory with a magnetic domain wall initial condition. Employing the analytic scattering technique, we obtain the exact scattering data and reconstruct the time-evolved profile. We identify three qualitatively distinct regimes of spin transport, ranging from ballistic expansion in the easy-plane regime, absence of transport in the easy-axis regime and log-modified diffusion for the isotropic interaction. Our results are in perfect qualitative agreement with those found in the anisotropic quantum Heisenberg spin-$1/2$ chain, indicating a remarkable classical-quantum correspondence for macroscopic spin transport.

categories: cond-mat.stat-mech math-ph math.MP nlin.SI


title: Decompositions of derived categories of gerbes and of families of Brauer-Severi varieties

abstract: It is well known that the category of quasi-coherent sheaves on a gerbe banded by a diagonalizable group decomposes according to the characters of the group. We establish the corresponding decomposition of the unbounded derived category of complexes of sheaves with quasi-coherent cohomology. This generalizes earlier work by Lieblich for gerbes over schemes whereas our gerbes may live over arbitrary algebraic stacks. By combining this decomposition with the semi-orthogonal decomposition for a projectivized vector bundle, we deduce a semi-orthogonal decomposition of the derived category of a familiy of Brauer-Severi varieties whose components can be described in terms of twisted sheaves on the base. This reproves and generalizes a result of Bernardara.


title: Joint Service Placement and Request Routing in Multi-cell Mobile Edge Computing Networks

abstract: The proliferation of innovative mobile services such as augmented reality, networked gaming, and autonomous driving has spurred a growing need for low-latency access to computing resources that cannot be met solely by existing centralized cloud systems. Mobile Edge Computing (MEC) is expected to be an effective solution to meet the demand for low-latency services by enabling the execution of computing tasks at the network-periphery, in proximity to end-users. While a number of recent studies have addressed the problem of determining the execution of service tasks and the routing of user requests to corresponding edge servers, the focus has primarily been on the efficient utilization of computing resources, neglecting the fact that non-trivial amounts of data need to be stored to enable service execution, and that many emerging services exhibit asymmetric bandwidth requirements. To fill this gap, we study the joint optimization of service placement and request routing in MEC-enabled multi-cell networks with multidimensional (storage-computation-communication) constraints. We show that this problem generalizes several problems in literature and propose an algorithm that achieves close-to-optimal performance using randomized rounding. Evaluation results demonstrate that our approach can effectively utilize the available resources to maximize the number of requests served by low-latency edge cloud servers.


title: Local derivations on associative and Jordan matrix algebras

abstract: In the present paper we prove that every additive (not necessarily homogenous) local inner derivation on the algebra of matrices over an arbitrary field is an inner derivation, and every local inner derivation on the ring of matrices over a finite ring generated by the identity element or the ring of integers is an inner derivation. We also prove that every additive local inner derivation on the Jordan algebra of symmetric matrices over an arbitrary field is a derivation, and every local inner derivation on the Jordan ring of symmetric matrices over a finite ring generated by the identity element or the ring of integers is a derivation.


title: Gamma-ray burst localisation strategies for the SPHiNX hard X-ray polarimeter

abstract: SPHiNX is a proposed gamma-ray burst (GRB) polarimeter mission operating in the energy range 50-600 keV with the aim of studying the prompt emission phase. The polarisation sensitivity of SPHiNX reduces as the uncertainty on the GRB sky position increases. The stand-alone ability of the SPHiNX design to localise GRB positions is explored via Geant4 simulations. Localisation at the level of a few degrees is possible using three different routines. This results in a large fraction (> 80%) of observed GRBs having a negligible (< 5%) reduction in polarisation sensitivity due to the uncertainty in localisation.


title: Subspace Robust Wasserstein Distances

abstract: Making sense of Wasserstein distances between discrete measures in high-dimensional settings remains a challenge. Recent work has advocated a two-step approach to improve robustness and facilitate the computation of optimal transport, using for instance projections on random real lines, or a preliminary quantization of the measures to reduce the size of their support. We propose in this work a "max-min" robust variant of the Wasserstein distance by considering the maximal possible distance that can be realized between two measures, assuming they can be projected orthogonally on a lower $k$-dimensional subspace. Alternatively, we show that the corresponding "min-max" OT problem has a tight convex relaxation which can be cast as that of finding an optimal transport plan with a low transportation cost, where the cost is alternatively defined as the sum of the $k$ largest eigenvalues of the second order moment matrix of the displacements (or matchings) corresponding to that plan (the usual OT definition only considers the trace of that matrix). We show that both quantities inherit several favorable properties from the OT geometry. We propose two algorithms to compute the latter formulation using entropic regularization, and illustrate the interest of this approach empirically.


title: Cooperation dynamics in the networked geometric Brownian motion

abstract: Recent works suggest that pooling and sharing may constitute a fundamental mechanism for the evolution of cooperation in well-mixed fluctuating environments. The rationale is that, by reducing the amplitude of fluctuations, pooling and sharing increases the steady-state growth rate at which the individuals self-reproduce. However, in reality interactions are seldom realized in a well-mixed structure, and the underlying topology is in general described by a complex network. Motivated by this observation, we investigate the role of the network structure on the cooperative dynamics in fluctuating environments, by developing a model for networked pooling and sharing of resources undergoing environmental fluctuations, represented through geometric Brownian motion. The study reveals that, while in general cooperation increases the individual steady state growth rates (i.e. is evolutionary advantageous), the interplay with the network structure may yield large discrepancies in the observed individual resource endowments. We comment possible biological and social implications and discuss relations to econophysics.


title: Virtual Compton Scattering measurements in the nucleon resonance region

abstract: We report on new measurements of the electric Generalized Polarizability (GP) of the proton $\alpha_E$ in a kinematic region where a puzzling dependence on momentum transfer has been observed, and we have found that $\alpha_E = (5.3 \pm 0.6_{stat} \pm 1.3_{sys})~10^{-4} fm^3$ at $Q^2=0.20~(GeV/c)^2$. The new measurements, when considered along with the rest of the world data, suggest that $\alpha_E$ can be described by either a local plateau or by an enhancement in the region $Q^2=0.20~(GeV/c)^2$ to $0.33~(GeV/c)^2$. The experiment also provides the first measurement of the Coulomb quadrupole amplitude in the $N \rightarrow \Delta$ transition through the exploration of the $p(e,e'p)\gamma$ reaction. The new measurement gives $CMR = (-4.4 \pm 0.8_{stat} \pm 0.6_{sys})~\%$ at $Q^2=0.20~(GeV/c)^2$ and is consistent with the results from the pion electroproduction world data. It has been obtained using a completely different extraction method, and therefore represents a strong validation test of the world data model uncertainties.


title: Tame Discrete Sets in Algebraic Groups

abstract: Rosay and Rudin introduced the notion of Tame discrete subsets of the affine complex space and investigated their properties. We generalize this theory to the case of a complex linear algebraic group with trivial character group.


title: Indecomposable objects determined by their index in Higher Homological Algebra

abstract: Let $\mathscr{C}$ be a 2-Calabi-Yau triangulated category, and let $\mathscr{T}$ be a cluster tilting subcategory of $\mathscr{C}$. An important result from Dehy and Keller tells us that a rigid object $c \in \mathscr{C}$ is uniquely defined by its index with respect to $\mathscr{T}$. The notion of triangulated categories extends to the notion of $(d+2)$-angulated categories. Thanks to a paper by Oppermann and Thomas, we now have a definition for cluster tilting subcategories in higher dimensions. This paper proves that under a technical assumption, an indecomposable object in a $(d+2)$-angulated category is uniquely defined by its index with respect to a higher dimensional cluster tilting subcategory. We also demonstrate an application of this result in higher dimensional cluster categories.


title: Skip-GANomaly: Skip Connected and Adversarially Trained Encoder-Decoder Anomaly Detection

abstract: Despite inherent ill-definition, anomaly detection is a research endeavor of great interest within machine learning and visual scene understanding alike. Most commonly, anomaly detection is considered as the detection of outliers within a given data distribution based on some measure of normality. The most significant challenge in real-world anomaly detection problems is that available data is highly imbalanced towards normality (i.e. non-anomalous) and contains a most a subset of all possible anomalous samples - hence limiting the use of well-established supervised learning methods. By contrast, we introduce an unsupervised anomaly detection model, trained only on the normal (non-anomalous, plentiful) samples in order to learn the normality distribution of the domain and hence detect abnormality based on deviation from this model. Our proposed approach employs an encoder-decoder convolutional neural network with skip connections to thoroughly capture the multi-scale distribution of the normal data distribution in high-dimensional image space. Furthermore, utilizing an adversarial training scheme for this chosen architecture provides superior reconstruction both within high-dimensional image space and a lower-dimensional latent vector space encoding. Minimizing the reconstruction error metric within both the image and hidden vector spaces during training aids the model to learn the distribution of normality as required. Higher reconstruction metrics during subsequent test and deployment are thus indicative of a deviation from this normal distribution, hence indicative of an anomaly. Experimentation over established anomaly detection benchmarks and challenging real-world datasets, within the context of X-ray security screening, shows the unique promise of such a proposed approach.


title: Enrichment of the Galactic disc with neutron capture elements: Sr

abstract: The enrichment history of heavy neutron-capture elements in the Milky Way disc provides fundamental information about the chemical evolution of our Galaxy and about the stellar sources that made those elements. In this work we give new observational data for Sr, the element at the first neutron-shell closure beyond iron, N=50, based on the analysis of the high resolution spectra of 276 Galactic disc stars. The Sr abundance was derived by comparing the observed and synthetic spectra in the region of the SrI 4607 A line, making use of the LTE approximation. NLTE corrections lead to an increase of the abundance estimates obtained under LTE, but for these lines they are minor near solar metallicity. The average correction that we find is 0.151 dex. The star that is mostly affected is HD 6582, with a 0.244 dex correction. The behavior of the Sr abundance as a function of metallicity is discussed within a stellar nucleosynthesis context, in comparison with the abundance of the heavy neutron-capture elements Ba (Z=56) and Eu (Z=63). The comparison of the observational data with the current GCE models confirm that the s-process contributions from Asymptotic Giant Branch stars and from massive stars are the main sources of Sr in the Galactic disc and in the Sun, while different nucleosynthesis sources can explain the high [Sr/Ba] and [Sr/Eu] ratios observed in the early Galaxy.


title: Quantum operator entropies under unitary evolution

abstract: For a quantum state undergoing unitary Schr\"odinger time evolution, the von Neumann entropy is constant. Yet the second law of thermodynamics, and our experience, show that entropy increases with time. Ingarden introduced the quantum operator entropy, which is the Shannon entropy of the probability distribution for the eigenvalues of a Hermitian operator. These entropies characterize the missing information about a particular observable inherent in the quantum state itself. The von Neumann entropy is the quantum operator entropy for the case when the operator is the density matrix. We examine pure state unitary evolution in a simple model system comprised of a set of highly-interconnected topologically disordered states and a time-independent Hamiltonian. An initially confined state is subject to free expansion into available states. The time development is completely reversible with no loss of quantum information and no course graining is applied. The positional entropy increases in time in a way that is consistent with both the classical statistical mechanical entropy and the second law.


title: Minimizing lattice structures for Morse potential energy in two and three dimensions

abstract: We investigate the local and global optimality of the triangular, square, simple cubic, face-centred-cubic (FCC), body-centred-cubic (BCC) lattices and the hexagonal-close-packing (HCP) structure for a potential energy per point generated by a Morse potential with parameters $(\alpha,r_0)$. The optimality of the triangular lattice is proved in dimension 2 in an interval of densities. Furthermore, a complete numerical investigation is performed for the minimization of the energy with respect to the density. In dimension 3, the local optimality of the simple cubic, FCC and BCC lattices is numerically studied. We also show that the square, triangular, cubic, FCC and BCC lattices are the only Bravais lattices in dimensions 2 and 3 being critical points of a large class of lattice energies (including the one studied in this paper) in some open intervals of densities, as we observe for the Lennard-Jones and the Morse potential lattice energies. Finally, we state a conjecture about the global minimizer for the 3d energy that exhibits a surprising transition from BCC, FCC to HCP as $\alpha$ increases. Moreover, we compare the values of $\alpha$ found experimentally for metals and rare-gas crystals with the expected lattice ground-state structure given by our numerical investigation/conjecture. Only in a few cases does the known ground-state crystal structure match the minimizer we find for the expected value of $\alpha$. Our conclusion is that the pairwise interaction model with Morse potential and fixed $\alpha$ is not adapted to describe metals and rare-gas crystals if we want to take into consideration that the lattice structure we find in nature is the ground-state of the associated potential energy.


title: Perturbed Proximal Descent to Escape Saddle Points for Non-convex and Non-smooth Objective Functions

abstract: We consider the problem of finding local minimizers in non-convex and non-smooth optimization. Under the assumption of strict saddle points, positive results have been derived for first-order methods. We present the first known results for the non-smooth case, which requires different analysis and a different algorithm.


title: Opacity calculations for stellar astrophysics

abstract: Opacity is a key ingredient of stellar structure and evolution. In the present work, we recall the role of opacity in asteroseismology, focusing mainly on two kinds of astrophysical objects: $\beta$ Cephei-type stars, and the Sun. The detailed opacity code SCO-RCG for local-thermodynamic-equilibrium plasmas is described and interpretation of laser and Z-pinch experiments are presented and discussed. The possible role of multi-photon processes on radiative accelerations is outlined, and the main aspects of opacity modeling which should be improved are mentioned.


title: OAuthGuard: Protecting User Security and Privacy with OAuth 2.0 and OpenID Connect

abstract: Millions of users routinely use Google to log in to websites supporting OAuth 2.0 or OpenID Connect; the security of OAuth 2.0 and OpenID Connect is therefore of critical importance. As revealed in previous studies, in practice RPs often implement OAuth 2.0 incorrectly, and so many real-world OAuth 2.0 and OpenID Connect systems are vulnerable to attack. However, users of such flawed systems are typically unaware of these issues, and so are at risk of attacks which could result in unauthorised access to the victim user's account at an RP. In order to address this threat, we have developed OAuthGuard, an OAuth 2.0 and OpenID Connect vulnerability scanner and protector, that works with RPs using Google OAuth 2.0 and OpenID Connect services. It protects user security and privacy even when RPs do not implement OAuth 2.0 or OpenID Connect correctly. We used OAuthGuard to survey the 1000 top-ranked websites supporting Google sign-in for the possible presence of five OAuth 2.0 or OpenID Connect security and privacy vulnerabilities, of which one has not previously been described in the literature. Of the 137 sites in our study that employ Google Sign-in, 69 were found to suffer from at least one serious vulnerability. OAuthGuard was able to protect user security and privacy for 56 of these 69 RPs, and for the other 13 was able to warn users that they were using an insecure implementation.


title: Approximations of theories

abstract: We study approximations of theories both in general context and with respect to some natural classes of theories. Some kinds of approximations are considered, connections with finitely axiomatizable theories and minimal generating sets of theories as well as their $e$-spectra are found.


title: Spin and orbital angular momenta of acoustic beams

abstract: We analyze spin and orbital angular momenta in monochromatic acoustic wave fields in a homogeneous medium. Despite being purely longitudinal (curl-free), inhomogeneous acoustic waves generically possess nonzero spin angular momentum density caused by the local rotation of the vector velocity field. We show that the integral spin of a localized acoustic wave vanishes in agreement with the spin-0 nature of longitudinal phonons. We also show that the helicity or chirality density vanishes identically in acoustic fields. As an example, we consider nonparaxial acoustic Bessel beams carrying well-defined integer orbital angular momentum, as well as nonzero local spin density, with both transverse and longitudinal components. We describe the nontrivial polarization structure in acoustic Bessel beams and indicate a number of observable phenomena, such as nonzero energy density and purely-circular transverse polarization in the center of the first-order vortex beams.


title: Global attractor for 1D Dirac field coupled to nonlinear oscillator

abstract: The long-time asymptotics is analyzed for all finite energy solutions to a model $\mathbf{U}(1)$-invariant nonlinear Dirac equation in one dimension, coupled to a nonlinear oscillator: {\it each finite energy solution} converges as $t\to\pm\infty$ to the set of all `nonlinear eigenfunctions' of the form $(\psi_1(x)e^{-i\omega_1 t},\psi_2(x)e^{-i\omega_2 t})$. The {\it global attraction} is caused by the nonlinear energy transfer from lower harmonics to the continuous spectrum and subsequent dispersive radiation. We justify this mechanism by the strategy based on \emph{inflation of spectrum by the nonlinearity}. We show that any {\it omega-limit trajectory} has the time-spectrum in the spectral gap $[-m,m]$ and satisfies the original equation. This equation implies the key {\it spectral inclusion} for spectrum of the nonlinear term. Then the application of the Titchmarsh convolution theorem reduces the spectrum of $j$-th component of the omega-limit trajectory to a single harmonic $\omega_j\in[-m,m]$, $j=1,2$.


title: Single photon sources from two dimensional materials and their interfacing with plasmonic waveguides

abstract: We present a comprehensive review of formation and control of single photon sources from two dimensional materials. We critically analyze the creation and control of these quantum emitters both at room and at low temperature. Deterministic formation and position controlled methodology is elaborated and pictorially explained. We enlist major single photon sources from various two dimensional and non two dimensional resources. Plasmonic waveguides and the interfacing of single photon sources with them are critically analyzed and reviewed. Furthermore, we envisize the geometry of plasmonic waveguides for maximum coupling of single photons.


title: Continuous supersymmetric transformation for photonic design

abstract: We propose to use a continuous supersymmetric (SUSY) transformation of a dielectric permittivity profile in order to design a photonic mode sorter. The iso-spectrality of the SUSY transformation ensures that modes of the waveguide preserve their propagation constants while being spatially separated. This global matching of the propagation constants, in conjunction with the adiabatic modification of the refractive index landscape along the propagation direction results in the negligible modal cross-talk and low scattering losses in the sorter. We show that a properly optimized SUSY mode sorter outperforms a standard asymmetric Y-splitter by reducing the cross-talk by at least two orders of magnitude. Moreover, the SUSY sorter is capable of sorting either transverse-electric or transverse-magnetic polarized modes and operates in a broad range of wavelengths. The design proposed here paves the way toward efficient signal manipulation in integrated photonic devices.


title: Homotopy quotients and comodules of supercommutative Hopf algebras

abstract: We study induced model structures on Frobenius categories. In particular we consider the case where $\mathcal{C}$ is the category of comodules of a supercommutative Hopf algebra $A$ over a field $k$. Given a graded Hopf algebra quotient $A \to B$ satisfying some finiteness conditions, the Frobenius tensor category $\mathcal{D}$ of graded $B$-comodules with its stable model structure induces a monoidal model structure on $\mathcal{C}$. We consider the corresponding homotopy quotient $\gamma: \mathcal{C} \to Ho \mathcal{C}$ and the induced quotient $\mathcal{T} \to Ho \mathcal{T}$ for the tensor category $\mathcal{T}$ of finite dimensional $A$-comodules. Under some mild conditions we prove vanishing and finiteness theorems for morphisms in $Ho \mathcal{T}$. We apply these results in the $Rep (GL(m|n))$-case and study its homotopy category $Ho \mathcal{T}$.


title: On Throughput Optimization and Bound Analysis in Cache-Enabled Fiber-Wireless Networks

abstract: With the dense deployment of millimeter wave (mmWave) front ends and popularization of bandwidth-intensive applications, shared backhaul in fiber-wireless (FiWi) networks is still facing a bandwidth crunch. To alleviate the backhaul pressure, in this paper, caching capability is enabled at the edge of FiWi networks, i.e., optical network unit access points (ONU-APs). On the other hand, as both power budget and backhaul bandwidth in FiWi networks are constrained, it is challenging to properly leverage power for caching and that for wireless transmission to achieve superior system performance. As caching has a significant impact on resource allocation, we reconsider performance optimization and analysis in cache-enabled FiWi networks. Firstly, in the cache-enabled FiWi network with mmWave, we formulate the joint power allocation and caching problem, with the goal to maximize the downlink throughput. A two-stage algorithm is then proposed to solve the problem. Secondly, to investigate the theoretical capacity of the cache-enabled FiWi network with mmWave, we derive an upper bound of the downlink throughput by analyzing properties of the average rate of wireless links. Particularly, we show that appropriate power allocation for wireless transmission and caching at ONU-APs is essential to achieve higher throughput. The numerical and simulation results validate our theoretical analysis and demonstrate the proposed algorithm can approach the analytical upper bound.


title: Iterated partial summations applied to finite-support discrete distributions

abstract: The problem of iterated partial summations is solved for some discrete distributions defined on discrete supports. The power method, usually used as a computational approach to finding matrix eigenvalues and eigenvectors, is in some cases an effective tool to prove the existence of the limit distribution, which is then expressed as a solution of a system of linear equations. Some examples are presented.


title: A Zero-Shot Learning application in Deep Drawing process using Hyper-Process Model

abstract: One of the consequences of passing from mass production to mass customization paradigm in the nowadays industrialized world is the need to increase flexibility and responsiveness of manufacturing companies. The high-mix / low-volume production forces constant accommodations of unknown product variants, which ultimately leads to high periods of machine calibration. The difficulty related with machine calibration is that experience is required together with a set of experiments to meet the final product quality. Unfortunately, all possible combinations of machine parameters is so high that is difficult to build empirical knowledge. Due to this fact, normally trial and error approaches are taken making one-of-a-kind products not viable. Therefore, a Zero-Shot Learning (ZSL) based approach called hyper-process model (HPM) to learn the relation among multiple tasks is used as a way to shorten the calibration phase. Assuming each product variant is a task to solve, first, a shape analysis on data to learn common modes of deformation between tasks is made, and secondly, a mapping between these modes and task descriptions is performed. Ultimately, the present work has two main contributions: 1) Formulation of an industrial problem into a ZSL setting where new process models can be generated for process optimization and 2) the definition of a regression problem in the domain of ZSL. For that purpose, a 2-d deep drawing simulated process was used based on data collected from the Abaqus simulator, where a significant number of process models were collected to test the effectiveness of the approach. The obtained results show that is possible to learn new tasks without any available data (both labeled and unlabeled) by leveraging information about already existing tasks, allowing to speed up the calibration phase and make a quicker integration of new products into manufacturing systems.


title: Pulse-to-pulse wavefront sensing at free-electron lasers using ptychography

abstract: The pressing need for the detailed wavefront properties of ultra-bright and ultra-short pulses produced by free-electron lasers (FELs) has spurred the development of several complementary characterization approaches. Here we present a method based on ptychography that can retrieve full high-resolution complex-valued wave functions of individual pulses. Our technique is demonstrated within experimental conditions suited for diffraction experiments in their native imaging state. This lensless technique, applicable to many other short-pulse instruments, can achieve diffraction-limited resolution.


title: FaceForensics++: Learning to Detect Manipulated Facial Images

abstract: The rapid progress in synthetic image generation and manipulation has now come to a point where it raises significant concerns for the implications towards society. At best, this leads to a loss of trust in digital content, but could potentially cause further harm by spreading false information or fake news. This paper examines the realism of state-of-the-art image manipulations, and how difficult it is to detect them, either automatically or by humans. To standardize the evaluation of detection methods, we propose an automated benchmark for facial manipulation detection. In particular, the benchmark is based on DeepFakes, Face2Face, FaceSwap and NeuralTextures as prominent representatives for facial manipulations at random compression level and size. The benchmark is publicly available and contains a hidden test set as well as a database of over 1.8 million manipulated images. This dataset is over an order of magnitude larger than comparable, publicly available, forgery datasets. Based on this data, we performed a thorough analysis of data-driven forgery detectors. We show that the use of additional domainspecific knowledge improves forgery detection to unprecedented accuracy, even in the presence of strong compression, and clearly outperforms human observers.


title: Towards Approximate Mobile Computing

abstract: Mobile computing is one of the main drivers of innovation, yet the future growth of mobile computing capabilities remains critically threatened by hardware constraints, such as the already extremely dense transistor packing and limited battery capacity. The breakdown of Dennard scaling and stagnating energy storage improvements further amplify these threats. However, the computational burden we put on our mobile devices is not always justified. In a myriad of situations the result of a computation is further manipulated, interpreted, and finally acted upon. This allows for the computation to be relaxed, so that the result is calculated with "good enough", not perfect accuracy. For example, results of a Web search may be perfectly acceptable even if the order of the last few listed items is shuffled, as an end user decides which of the available links to follow. Similarly, the quality of a voice-over-IP call may be acceptable, despite being imperfect, as long as the two involved parties can clearly understand each other. This novel way of thinking about computation is termed Approximate Computing (AC) and promises to reduce resource usage, while ensuring that satisfactory performance is delivered to end-users. AC is already experimented with on various levels of desktop computer architecture, from the hardware level where incorrect adders have been designed to sacrifice result correctness for reduced energy consumption, to compiler-level optimisations that omit certain lines of code to speed up video encoding. AC is yet to be attempted on mobile devices and in this article we examine the potential benefits of mobile AC and present an overview of AC techniques applicable in the mobile domain.


title: Nonlinear diffusion processes: geometric ideas and beyond

abstract: This is a survey article written for the Springer's Intelligencer, in the occasion of the 2018 International Congress of Mathematicians.


title: On the cross-validation bias due to unsupervised pre-processing

abstract: Cross-validation is the de facto standard for predictive model evaluation and selection. In proper use, it provides an unbiased estimate of a model's predictive performance. However, data sets often undergo various forms of data-dependent preprocessing, such as mean-centering, rescaling, dimensionality reduction, and outlier removal. It is often believed that such preprocessing stages, if done in an unsupervised manner (that does not incorporate the class labels or response values) are generally safe to do prior to cross-validation. In this paper, we study three commonly-practiced preprocessing procedures prior to a regression analysis: (i) variance-based feature selection; (ii) grouping of rare categorical features; and (iii) feature rescaling. We demonstrate that unsupervised preprocessing can, in fact, introduce a substantial bias into cross-validation estimates and potentially hurt model selection. This bias may be either positive or negative and its exact magnitude depends on all the parameters of the problem in an intricate manner. Further research is needed to understand the real-world impact of this bias across different application domains, particularly when dealing with small sample sizes and high-dimensional data.


title: Modulation Instability of Discrete Angular Momentum in Coupled Fiber Rings

abstract: We present an analysis of temporal modulation instability in a ring array of coupled optical fibers. Continuous-wave signals are shown to be unstable to perturbations carrying discrete angular momenta, both for normal and anomalous group velocity dispersion. We find the frequency spectrum of modulation instability is different for each perturbation angular momentum and depends strongly on the coupling strength between fibers in the ring. Twisting the ring array also allows the frequency spectra to be tuned through the induced tunnelling Peierls phase.


title: ALMA photometry of extragalactic radio sources

abstract: We present a new catalogue of ALMA observations of 3,364 bright, compact radio sources, mostly blazars, used as calibrators. These sources were observed between May 2011 and July 2018, for a total of 47,115 pointings in different bands and epochs. We have exploited the ALMA data to validate the photometry given in the new Planck Multi-frequency Catalogue of Non-thermal sources (PCNT), for which an external validation was not possible so far. We have also assessed the positional accuracy of Planck catalogues and the PCNT completeness limits, finding them to be consistent with those of the Second Planck Catalogue of Compact Sources. The ALMA continuum spectra have allowed us to extrapolate the observed radio source counts at 100 GHz to the effective frequencies of ALMA bands 4, 6, 7, 8 and 9 (145, 233, 285, 467 and 673 GHz, respectively), where direct measurements are scanty, especially at the 3 highest frequencies. The results agree with the predictions of the Tucci et al. model C2Ex, while the model C2Co is disfavoured.


title: Topological and Semantic Graph-based Author Disambiguation on DBLP Data in Neo4j

abstract: In this work, we introduce a novel method for entity resolution author disambiguation in bibliographic networks. Such a method is based on a 2-steps network traversal using topological similarity measures for rating candidate nodes. Topological similarity is widely used in the Link Prediction application domain to assess the likelihood of an unknown link. A similarity function can be a good approximation for equality, therefore can be used to disambiguate, basing on the hypothesis that authors with many common co-authors are similar. Our method has experimented on a graph-based representation of the public DBLP Computer Science database. The results obtained are extremely encouraging regarding Precision, Accuracy, and Specificity. Further good aspects are the locality of the method for disambiguation assessment which avoids the need to know the global network, and the exploitation of only a few data, e.g. author name and paper title (i.e., co-authorship data).


title: Reinforcement Learning for Multi-Objective and Constrained Markov Decision Processes

abstract: In this paper, we consider the problem of optimization and learning for constrained and multi-objective Markov decision processes, for both discounted rewards and expected average rewards. We formulate the problems as zero-sum games where one player (the agent) solves a Markov decision problem and its opponent solves a bandit optimization problem, which we here call Markov-Bandit games. We extend Q-learning to solve Markov-Bandit games and show that our new Q-learning algorithms converge to the optimal solutions of the zero-sum Markov-Bandit games, and hence converge to the optimal solutions of the constrained and multi-objective Markov decision problems. We provide a numerical example where we calculate the optimal policies and show by simulations that the algorithm converges to the calculated optimal policies. To the best of our knowledge, this is the first time learning algorithms guarantee convergence to optimal stationary policies for the constrained MDP problem with discounted and expected average rewards, respectively.


title: Neutron production from thermonuclear reactions in laser-generated plasmas

abstract: The production of intense neutron beams via thermonuclear reactions in laser-generated plasmas is investigated theoretically. So far, state-of-the-art neutron beams are produced via laser-induced particle acceleration leading to high-energy particle beams that subsequently interact with a secondary target. Here we show that neutron beams of two orders of magnitude narrower bandwidth can be obtained from thermonuclear reactions in plasmas generated by Petawatt-class lasers. The intensity of such neutron beams is about one or two orders of magnitude lower than the one of the state-of-the-art laser-driven neutron beams. We study to this end the reaction $^2$H($d$, $n$)$^3$He in plasmas generated by Petawatt-class lasers interacting with D$_2$ gas jet targets and CD$_2$ solid-state targets. The results also shows the possibility of direct measurements of reaction rates at low temperatures of astrophysical interests. In addition, the use of CD$_2$ solid-state targets can also lead to great enhancements on the plasma screening compared to the case of D$_2$ gas jet targets, opening new possibilities to study this so far unsolved issue in the field of astrophysics.


title: Braided commutative algebras over quantized enveloping algebras

abstract: We produce braided commutative algebras in braided monoidal categories by generalizing Davydov's full center construction of commutative algebras in centers of monoidal categories. Namely, we build braided commutative algebras in relative monoidal centers $\mathcal{Z}_{\mathcal{B}}(\mathcal{C})$ from algebras in $\mathcal{B}$-central monoidal categories $\mathcal{C}$, where $\mathcal{B}$ is an arbitrary braided monoidal category; Davydov's (and previous works of others) take place in the special case when $\mathcal{B}$ is the category of vector spaces $\mathbf{Vect}$ over a field $\Bbbk$. Since key examples of relative monoidal centers are suitable representation categories of quantized enveloping algebras, we supply braided commutative module algebras over such quantum groups. One application of our work is that we produce Morita invariants for algebras in $\mathcal{B}$-central monoidal categories. Moreover, for a large class of $\mathcal{B}$-central monoidal categories, our braided commutative algebras arise as a braided version of centralizer algebras. This generalizes the fact that centers of algebras in $\mathbf{Vect}$ serve as Morita invariants. Many examples are provided throughout.


title: $N$-body chaos and the continuum limit in numerical simulations of self-gravitating systems, revisited

abstract: We revisit the r\^{o}le of discreteness and chaos in the dynamics of self-gravitating systems by means of $N$-body simulations with active and frozen potentials, starting from spherically symmetric stationary states and considering the orbits of single particles in a frozen $N$-body potential as well as the orbits of the system in the full $6N$-dimensional phase space. We also consider the intermediate case where a test particle moves in the field generated by $N$ non-interacting particles, which in turn move in a static smooth potential. We investigate the dependence on $N$ and on the softening length of the largest Lyapunov exponent both of single particle orbits and of the full $N$-body system. For single orbits we also study the dependence on the angular momentum and on the energy. Our results confirm the expectation that orbital properties of single orbits in finite-$N$ systems approach those of orbits in smooth potentials in the continuum limit $N \to \infty$ and that the largest Lyapunov exponent of the full $N$-body system does decrease with $N$, for sufficiently large systems with finite softening length. However, single orbits in frozen models and active self-consistent models have different largest Lyapunov exponents and the $N$-dependence of the values in non-trivial, so that the use of frozen $N$-body potentials to gain information on large-$N$ systems or on the continuum limit may be misleading in certain cases.


title: Toeplitz band matrices with small random perturbations

abstract: We study the spectra of $N\times N$ Toeplitz band matrices perturbed by small complex Gaussian random matrices, in the regime $N\gg 1$. We prove a probabilistic Weyl law, which provides an precise asymptotic formula for the number of eigenvalues in certain domains, which may depend on $N$, with probability sub-exponentially (in $N$) close to $1$. We show that most eigenvalues of the perturbed Toeplitz matrix are at a distance of at most $\mathcal{O}(N^{-1+\varepsilon})$, for all $\varepsilon >0$, to the curve in the complex plane given by the symbol of the unperturbed Toeplitz matrix.


title: LOCATA challenge: speaker localization with a planar array

abstract: This document describes our submission to the 2018 LOCalization And TrAcking (LOCATA) challenge (Tasks 1, 3, 5). We estimate the 3D position of a speaker using the Global Coherence Field (GCF) computed from multiple microphone pairs of a DICIT planar array. One of the main challenges when using such an array with omnidirectional microphones is the front-back ambiguity, which is particularly evident in Task 5. We address this challenge by post-processing the peaks of the GCF and exploiting the attenuation introduced by the frame of the array. Moreover, the intermittent nature of speech and the changing orientation of the speaker make localization difficult. For Tasks 3 and 5, we also employ a Particle Filter (PF) that favors the spatio-temporal continuity of the localization results.


title: A Discrepancy-Based Design for A/B Testing Experiments

abstract: The aim of this paper is to introduce a new design of experiment method for A/B tests in order to balance the covariate information in all treatment groups. A/B tests (or "A/B/n tests") refer to the experiments and the corresponding inference on the treatment effect(s) of a two-level or multi-level controllable experimental factor. The common practice is to use a randomized design and perform hypothesis tests on the estimates. However, such estimation and inference are not always accurate when covariate imbalance exists among the treatment groups. To overcome this issue, we propose a discrepancy-based criterion and show that the design minimizing this criterion significantly improves the accuracy of the treatment effect(s) estimates. The discrepancy-based criterion is model-free and thus makes the estimation of the treatment effect(s) robust to the model assumptions. More importantly, the proposed design is applicable to both continuous and categorical response measurements. We develop two efficient algorithms to construct the designs by optimizing the criterion for both offline and online A/B tests. Through simulation study and a real example, we show that the proposed design approach achieves good covariate balance and accurate estimation.


title: Relative topological entropy for actions of non-discrete groups on compact spaces in the context of cut and project schemes

abstract: In the study of aperiodic order via dynamical methods, topological entropy is an important concept. In this paper, parts of the theory, like Bowen's formula for fibre wise entropy or the independence of the definition from the choice of a Van Hove sequence, are extended to actions of several non-discrete groups. To establish these results, we will show that the Ornstein-Weiss lemma is valid for all considered groups which appear in the study of cut and project schemes.


title: How the investor's risk preferences influence the optimal allocation in a credibilistic portfolio problem

abstract: A classical portfolio theory deals with finding the optimal proportion in which an agent invests a wealth in a risk-free asset and a probabilistic risky asset. Formulating and solving the problem depend on how the risk is represented and how, combined with the utility function defines a notion of expected utility. In this paper the risk is a fuzzy variable and the notion of expected utility is defined in the setting of Liu's credibility theory. Thus the portfolio choice problem is formulated as an optimization problem in which the objective function is a credibilistic expected utility. Different approximation calculation formulas for the optimal allocation of the credibilistic risky asset are proved. These formulas contain two types of parameters: various credibilistic moments associated with fuzzy variables (expected value, variance, skewness and kurtosis) and the risk aversion, prudence and temperance indicators of the utility function.


title: Dynamical Isometry and a Mean Field Theory of LSTMs and GRUs

abstract: Training recurrent neural networks (RNNs) on long sequence tasks is plagued with difficulties arising from the exponential explosion or vanishing of signals as they propagate forward or backward through the network. Many techniques have been proposed to ameliorate these issues, including various algorithmic and architectural modifications. Two of the most successful RNN architectures, the LSTM and the GRU, do exhibit modest improvements over vanilla RNN cells, but they still suffer from instabilities when trained on very long sequences. In this work, we develop a mean field theory of signal propagation in LSTMs and GRUs that enables us to calculate the time scales for signal propagation as well as the spectral properties of the state-to-state Jacobians. By optimizing these quantities in terms of the initialization hyperparameters, we derive a novel initialization scheme that eliminates or reduces training instabilities. We demonstrate the efficacy of our initialization scheme on multiple sequence tasks, on which it enables successful training while a standard initialization either fails completely or is orders of magnitude slower. We also observe a beneficial effect on generalization performance using this new initialization.


title: Ghosts in metric-affine higher order curvature gravity

abstract: We disprove the widespread belief that higher order curvature theories of gravity in the metric-affine formalism are generally ghost-free. This is clarified by considering a sub-class of theories constructed only with the Ricci tensor and showing that the non-projectively invariant sector propagates ghost-like degrees of freedom. We also explain how these pathologies can be avoided either by imposing a projective symmetry or additional constraints in the gravity sector. Our results put forward that higher order curvature gravity theories generally remain pathological in the metric-affine (and hybrid) formalisms and highlight the key importance of the projective symmetry and/or additional constraints for their physical viability and, by extension, of general metric-affine theories.


title: $D$ meson Semileptonic Decay Form Factors at $q^2 = 0$

abstract: We discuss preliminary results for the vector form factors $f_+^{\{\pi,K\}}$ at zero-momentum transfer for the decays $D\to\pi\ell\nu$ and $D\to K \ell\nu$ using MILC's $N_f = 2+1+1$ HISQ ensembles at four lattice spacings, $a \approx 0.042, 0.06, 0.09$, and 0.12 fm, and various HISQ quark masses down to the (degenerate) physical light quark mass. We use the kinematic constraint $f_+(q^2)= f_0(q^2)$ at $q^2 = 0$ to determine the vector form factor from our study of the scalar current, which yields $f_0(0)$. Results are extrapolated to the continuum physical point in the framework of hard pion/kaon SU(3) heavy-meson-staggered $\chi$PT and Symanzik effective theory. Our calculation improves upon the precision achieved in existing lattice-QCD calculations of the vector form factors at $q^2=0$. We show the values of the CKM matrix elements $|V_{cs}|$ and $|V_{cd}|$ that we would obtain using our preliminary results for the form factors together with recent experimental results, and discuss the implications of these values for the second row CKM unitarity.


title: Nanocrystal growth via the precipitation method

abstract: A mathematical model to describe the growth of an arbitrarily large number of nanocrystals from solution is presented. First, the model for a single particle is developed. By non-dimensionalising the system we are able to determine the dominant terms and reduce it to the standard pseudo-steady approximation. The range of applicability and further reductions are discussed. An approximate analytical solution is also presented. The one particle model is then generalised to $N$ well dispersed particles. By setting $N=2$ we are able to investigate in detail the process of Ostwald ripening. The various models, the $N$ particle, single particle and the analytical solution are compared against experimental data, all showing excellent agreement. By allowing $N$ to increase we show that the single particle model may be considered as representing the average radius of a system with a large number of particles. Following a similar argument the $N=2$ model could describe an initially bimodal distribution. The mathematical solution clearly shows the effect of problem parameters on the growth process and, significantly, that there is a single controlling group. The model provides a simple way to understand nanocrystal growth and hence to guide and optimise the process.


title: Diffusion Variational Autoencoders

abstract: A standard Variational Autoencoder, with a Euclidean latent space, is structurally incapable of capturing topological properties of certain datasets. To remove topological obstructions, we introduce Diffusion Variational Autoencoders with arbitrary manifolds as a latent space. A Diffusion Variational Autoencoder uses transition kernels of Brownian motion on the manifold. In particular, it uses properties of the Brownian motion to implement the reparametrization trick and fast approximations to the KL divergence. We show that the Diffusion Variational Autoencoder is capable of capturing topological properties of synthetic datasets. Additionally, we train MNIST on spheres, tori, projective spaces, SO(3), and a torus embedded in R3. Although a natural dataset like MNIST does not have latent variables with a clear-cut topological structure, training it on a manifold can still highlight topological and geometrical properties.


title: Modelling ion populations in astrophysical plasmas: carbon in the solar transition region

abstract: The aim of this work is to improve the modelling of ion populations in higher density, lower temperature astrophysical plasmas, of the type commonly found in lower solar and stellar atmospheres. Ion population models for these regions frequently employ the coronal approximation, which assumes conditions more suitable to the upper solar atmosphere, where high temperatures and lower densities prevail. Using the coronal approximation for modelling the solar transition region gives theoretical lines intensities for the Li-like and Na-like isoelectronic sequences which can be factors of 2-5 times lower than observed. The works of Burgess & Summers (1969) and Nussbaumer & Storey (1975) showed the important part ions in excited levels play when included in the modelling. Their models, however, used approximations for the atomic rates to determine the ion balance. Presented here is the first stage in updating these earlier models of carbon by using rates from up-to-date atomic calculations and more recent photo-ionising radiances for the quiet Sun. Where such atomic rates are not readily available, in the case of electron-impact direct ionisation and excitation--auto-ionisation, new calculations have been made and compared to theoretical and experimental studies. The effects each atomic process has on the ion populations as density changes is demonstrated, and final results from the modelling are compared to the earlier works. Lastly, the new results for ion populations are used to predict line intensities for the solar transition region in the quiet Sun, and these are compared with predictions from coronal-approximation modelling and with observations. Significant improvements in the predicted line intensities are seen in comparison to those obtained from zero-density modelling of carbon.


title: MIMO Codes for Uniform Illumination across Space and Time in VLC with Dimming Control

abstract: Indoor visible light communications (VLC) require simultaneous illumination and communication. Hence, uniformity in the illumination is a key consideration for user comfort and data transfer in VLC systems. Several run-length limited codes have been proposed in the literature which mitigate flicker for single input and single output VLC systems. Recently, codes have been proposed for multiple input multiple output (MIMO) VLC systems. However, uniform illumination along with dimming control has not been considered for MIMO VLC systems. Hence, in this paper, we propose codes with generalized algorithms for encoding and decoding that maintain consistency in the illumination across space and time and achieve the desired dimming level. We present the expressions for code rate, run-length, and Hamming distance for the proposed codes. Through Monte Carlo simulations, we compare the codeword error rate (CER) performance of the proposed codes with zero-forcing, minimum mean square error, and maximum likelihood detectors for various number of transmit and receive antennas. We also compare the mutual information of the proposed codes for various number of transmit and receive antennas. The numerical results show that the proposed codes exhibit good performance while satisfying the design criteria.


title: Global radiation signature from early structure formation

abstract: We use cosmological hydrodynamic zoom-in simulations to study early structure formation in two dark matter (DM) cosmologies, the standard CDM model, and a thermal warm DM (WDM) model with a particle mass of $m_{\chi}c^{2}=3\ \mathrm{keV}$. We focus on DM haloes with virial masses $M\sim 10^{10}\ M_{\odot}$. We find that the first star formation activity is delayed by $\sim 200\ \mathrm{Myr}$ in the WDM model, with similar delays for metal enrichment and the formation of the second generation of stars. However, the differences between the two models in globally-averaged properties, such as star formation rate density and mean metallicity, decrease towards lower redshifts ($z\lesssim 10$). Metal enrichment in the WDM cosmology is restricted to dense environments, while low-density gas can also be significantly enriched in the CDM case. The free-free contribution from early structure formation at redshifts $z>6$ to the cosmic radio background (CRB) is $3_{-1.5}^{+13}\%$ ($8_{-3.5}^{+33}\%$) of the total signal inferred from radio experiments such as ARCADE 2, in the WDM (CDM) model. The direct detection of the $\mathrm{H_{2}}$ emission from early structure formation ($z\gtrsim 7.2$), originating from the low-mass haloes explored here, will be challenging even with the next generation of far-infrared space telescopes, unless the signal is magnified by at least a factor of 10 via gravitational lensing or shocks. However, more massive haloes with $M\gtrsim 10^{12}\ M_{\odot}$ may be observable for $z\gtrsim 10$, even without magnification, provided that our extrapolation from the scale of our simulated haloes is valid.


title: The puzzling high velocity G5 supergiant star HD 179821 : new insight from Gaia DR2 data

abstract: HD 179821 is classified as G5 Ia star. From the IRAS colors and spectral energy distributions it was classified as a post-AGB star. But some studies classify it as a massive (30 to 19 Msun ) post-red supergiant evolving to become a Type II supernova. Its mass and evolutionary status remained a hotly debated question even after several detailed spectroscopic studies as the distance was not known. We use the parallax of HD 179821 from the second Gaia data release, and deduce its distance 2959 +/- 409 pc and its absolute magnitude MV = -5.7 +/- 0.3. Using the absolute magnitude determined in this paper, we show that HD 179821 fits very well with post-AGB tracks in the H-R diagram. Our results clearly confirm that HD 179821 is a post-AGB star of mass in the range of 0.8 Msun. It is not a 30 Msun red supergiant. The progenitor mass of this post-AGB star may be in the range of 4 Msun but may be a bit more.


title: Large Volcanic Event on Io Inferred from Jovian Sodium Nebula Brightening

abstract: Using narrow-band images recorded on over 150 nights by the 35 cm coronagraph which comprises PSI's Io Input/Output Facility (IoIO), we detected a 6-month long enhancement in the Jovian sodium nebula. The onset of the enhancement occurred in the mid December 2017 -- early January 2018 timeframe. Sodium emission over the IoIO 0.4 degree field-of-view of was seen to increase through January 2018 and peak in early March 2018. By early June 2018, the surface brightness of the emission returned to the value seen 2017 April -- June, making this the longest such event observed by this technique (Brown & Bouchez 1997, Yoneda et al. 2015) and comparable in length to that observed by the Galileo Dust Detector in 2000 (Krueger et al. 2003). A new IR hot-spot was found on Io near Susanoo/Mulungu paterae between January 2 and 12, however this hot-spot was neither bright nor long-lasting enough to have been independently identified as the source of a major sodium nebula enhancement. Furthermore, no other report of this event has been made despite a significant number of observations of the Jovian system by and in support of NASA's Juno mission. This detection therefore places those observations in valuable context and highlights the importance of synoptic observations by facilities such as IoIO, which provide a global view of neutral material in the Jovian magnetosphere.


title: Optimal Design of SWIPT-Aware Fog Computing Networks

abstract: This paper studies a simultaneous wireless information and power transfer (SWIPT)-aware fog computing network, where a multiple antenna fog function integrated hybrid access point (F-HAP) transfers information and energy to multiple heterogeneous single-antenna sensors and also helps some of them fulfill computing tasks. By jointly optimizing energy and information beamforming designs at the F-HAP, the bandwidth allocation and the computation offloading distribution, an optimization problem is formulated to minimize the required energy under communication and computation requirements, as well as energy harvesting constraints. Two optimal designs, i.e., fixed offloading time (FOT) and optimized offloading time (OOT) designs, are proposed. As both designs get involved in solving non-convex problems, there are no known solutions to them. Therefore, for the FOT design, the semidefinite relaxation (SDR) is adopted to solve it. It is theoretically proved that the rank-one constraints are always satisfied, so the global optimal solution is guaranteed. For the OOT design, since its non-convexity is hard to deal with, a penalty dual decomposition (PDD)-based algorithm is proposed, which is able to achieve a suboptimal solution. The computational complexity for two designs are analyzed. Numerical results show that the partial offloading mode is superior to binary benchmark modes. It is also shown that if the system is with strong enough computing capability, the OOT design is suggested to achieve lower required energy; Otherwise, the FOT design is preferred to achieve a relatively low computation complexity.


title: Optimising the choice of analysis method for all-sky searches for continuous gravitational waves with Einstein@Home

abstract: Rapidly rotating neutron stars are promising sources of continuous gravitational waves for the LIGO and Virgo observatories. The majority of neutron stars in our galaxy have not been identified with electromagnetic observations. Blind all-sky searches offer the potential to detect gravitational waves from these unidentified sources. The parameter space of these searches presents a significant computational challenge. Various methods have been designed to perform these searches with available computing resources. Recently, a method called Weave has been proposed to achieve template placement with a minimal number of templates. We employ a mock data challenge to assess the ability of this method to recover signals, and compare its sensitivity with that of the global correlation transform method (GCT), which has been used for searches with the Einstein@Home volunteer computing project for a number of years. We find that the Weave method is 14% more sensitive for an all-sky search on Einstein@Home, with a sensitivity depth of $57.9\pm0.6$ 1/$\sqrt{Hz}$ at 90% detection efficiency, compared to $50.8^{+0.7}_{-1.1}$ 1/$\sqrt{Hz}$ for GCT. This corresponds to a 50% increase in the volume of sky where we are sensitive with the Weave search. We also find that the Weave search recovers candidates closer to the true signal position. In the search studied here the improvement in candidate localisation would lead to a factor of 70 reduction in the computing cost required to follow up the same number of candidates. We assess the feasability of deploying the search on Einstein@Home, and find that Weave requires more memory than is typically available on a volunteer computer. We conclude that, while GCT remains the best choice for deployment on Einstein@Home due to its lower memory requirements, Weave presents significant advantages for the subsequent hierarchical follow-up of interesting candidates.


title: Reply to comment on "Interaction of a BEC with a gravitational wave"

abstract: This reply contains a brief response to the comment by R. Howl, D. R\"atzel, and I. Fuentes [arXiv:1811.10306]


title: Mean conservation of nodal volume and connectivity measures for Gaussian ensembles

abstract: We study in depth the nesting graph and volume distribution of the nodal domains of a Gaussian field, which have been shown in previous works to exhibit asymptotic laws. A striking link is established between the asymptotic mean connectivity of a nodal domain (i.e.\ the vertex degree in its nesting graph) and the positivity of the percolation probability of the field, along with a direct dependence of the average nodal volume on the percolation probability. Our results support the prevailing ansatz that the mean connectivity and volume of a nodal domain is conserved for generic random fields in dimension $d=2$ but not in $d \ge 3$, and are applied to a number of concrete motivating examples.


title: Constraining the neutral fraction of hydrogen in the IGM at redshift 7.5

abstract: We present a large spectroscopic campaign with Keck/MOSFIRE targeting Lyman-alpha emission (Ly$\alpha$) from intrinsically faint Lyman-break Galaxies (LBGs) behind 12 efficient galaxy cluster lenses. Gravitational lensing allows us to probe the more abundant faint galaxy population to sensitive Ly$\alpha$ equivalent width limits. During the campaign we targeted 70 LBG candidates with MOSFIRE Y-band, selected photometrically to cover Ly$\alpha$ over the range $7<z<8.2$. We detect $S/N>5$ emission lines in 2 of these galaxies and find that they are likely Ly$\alpha$ at $z=7.148\pm0.001$ and $z=7.161\pm0.001$. We present new lens models for 4 of the galaxy clusters, using our previously published lens models for the remaining clusters to determine the magnification factors for the source galaxies. Using a Bayesian framework that employs large scale reionization simulations of the intergalactic medium (IGM) as well as realistic properties of the interstellar medium and circumgalactic medium, we infer the volume-averaged neutral hydrogen fraction, $\overline{x}_{\mathrm{HI}}$, in the IGM during reionization to be $\overline{x}_{\mathrm{HI}}=0.88^{+0.05}_{-0.10}$ at $z=7.6\pm0.6$. Our result is consistent with a late and rapid reionization scenario inferred by Planck.


title: A Neurally-Inspired Hierarchical Prediction Network for Spatiotemporal Sequence Learning and Prediction

abstract: In this paper we developed a hierarchical network model, called Hierarchical Prediction Network (HPNet), to understand how spatiotemporal memories might be learned and encoded in the recurrent circuits in the visual cortical hierarchy for predicting future video frames. This neurally inspired model operates in the analysis-by-synthesis framework. It contains a feed-forward path that computes and encodes spatiotemporal features of successive complexity and a feedback path for the successive levels to project their interpretations to the level below. Within each level, the feed-forward path and the feedback path intersect in a recurrent gated circuit, instantiated in a LSTM module, to generate a prediction or explanation of the incoming signals. The network learns its internal model of the world by minimizing the errors of its prediction of the incoming signals at each level of the hierarchy. We found that hierarchical interaction in the network increases semantic clustering of global movement patterns in the population codes of the units along the hierarchy, even in the earliest module. This facilitates the learning of relationships among movement patterns, yielding state-of-the-art performance in long range video sequence predictions in the benchmark datasets. The network model automatically reproduces a variety of prediction suppression and familiarity suppression neurophysiological phenomena observed in the visual cortex, suggesting that hierarchical prediction might indeed be an important principle for representational learning in the visual cortex.


title: Non-thermal emission resulting from a supernova explosion inside an extragalactic jet

abstract: Core-collapse supernovae are found in galaxies with ongoing star-formation. In a starburst galaxy hosting an active galactic nucleus with a relativistic jet, supernovae can take place inside the jet. The collision of the supernova ejecta with the jet flow is expected to lead to the formation of an interaction region, in which particles can be accelerated and produce high-energy emission. We study the non-thermal radiation produced by electrons accelerated as a result of a supernova explosion inside the jet of an active galactic nucleus within a star-forming galaxy. We first analyzed the dynamical evolution of the supernova ejecta impacted by the jet. Then, we explored the parameter space using simple prescriptions for the observed gamma-ray lightcurve. Finally, the synchrotron and the inverse Compton spectral energy distributions for two types of sources, a radio galaxy and a powerful blazar, are computed. For a radio galaxy, the interaction between a supernova and a jet of power $\sim 10^{43}-10^{44}$~erg~s$^{-1}$ can produce apparent gamma-ray luminosities of $\sim 10^{42}-10^{43}$~erg~s$^{-1}$, with an event duty cycle of supernova remnant (SNR) interacting with the jet close to one for one galaxy. For a blazar with a powerful jet of $\sim 10^{46}$~erg~s$^{-1}$, the jet-supernova ejecta interaction could produce apparent gamma-ray luminosities of $\sim 10^{43}-10^{44}$~erg~s$^{-1}$, but with a much lower duty cycle. The interaction of supernovae with misaligned jets of moderate power can be relatively frequent, and can result in steady gamma-ray emission potentially detectable for sources in the local universe. For powerful blazars much farther away, the emission would be steady as well, and it might be detectable under very efficient acceleration, but the events would be rather infrequent.


title: Chromatic structures in stable homotopy theory

abstract: In this survey, we review how the global structure of the stable homotopy category gives rise to the chromatic filtration. We then discuss computational tools used in the study of local chromatic homotopy theory, leading up to recent developments in the field. Along the way, we illustrate the key methods and results with explicit examples.


title: Revisiting Self-Supervised Visual Representation Learning

abstract: Unsupervised visual representation learning remains a largely unsolved problem in computer vision research. Among a big body of recently proposed approaches for unsupervised learning of visual representations, a class of self-supervised techniques achieves superior performance on many challenging benchmarks. A large number of the pretext tasks for self-supervised learning have been studied, but other important aspects, such as the choice of convolutional neural networks (CNN), has not received equal attention. Therefore, we revisit numerous previously proposed self-supervised models, conduct a thorough large scale study and, as a result, uncover multiple crucial insights. We challenge a number of common practices in selfsupervised visual representation learning and observe that standard recipes for CNN design do not always translate to self-supervised representation learning. As part of our study, we drastically boost the performance of previously proposed techniques and outperform previously published state-of-the-art results by a large margin.


title: On the Limitations of Representing Functions on Sets

abstract: Recent work on the representation of functions on sets has considered the use of summation in a latent space to enforce permutation invariance. In particular, it has been conjectured that the dimension of this latent space may remain fixed as the cardinality of the sets under consideration increases. However, we demonstrate that the analysis leading to this conjecture requires mappings which are highly discontinuous and argue that this is only of limited practical use. Motivated by this observation, we prove that an implementation of this model via continuous mappings (as provided by e.g. neural networks or Gaussian processes) actually imposes a constraint on the dimensionality of the latent space. Practical universal function representation for set inputs can only be achieved with a latent dimension at least the size of the maximum number of input elements.


title: The conjugate gradient algorithm on well-conditioned Wishart matrices is almost deterministic

abstract: We prove that the number of iterations required to solve a random positive definite linear system with the conjugate gradient algorithm is almost deterministic for large matrices. We treat the case of Wishart matrices $W = XX^*$ where $X$ is $n \times m$ and $n/m \sim d$ for $0 < d < 1$. Precisely, we prove that for most choices of error tolerance, as the matrix increases in size, the probability that the iteration count deviates from an explicit deterministic value tends to zero. In addition, for a fixed iteration count, we show that the norm of the error vector and the norm of the residual converge exponentially fast in probability, converge in mean and converge almost surely.


title: Triangulation Graph and Color Changing Channel

abstract: Triangulation graph staining is sufficient for planar graph staining. This article will focus on triangulation and the nature of the color change channel of the staining tool. By construction, the four colors of the vertex are converted into three colors of the side, and two colors of the triangle. Thereby the equivalent dyeing scheme is combined. The color change channel utilizes the transferability of edge dyeing to reflect the integrity of the triangulation graph. According to the nature of the color change channel, two constraints are obtained, so that the color change can be followed regularly. Eventually, a breakthrough was made in the structure of the reduced d(v)=5, which proves the reducible of this structure. This negates the existence of the smallest counterexample.


title: Chaos in periodically forced reversible vector fields

abstract: We discuss the appearance of chaos in time-periodic perturbations of reversible vector fields in the plane. We use the normal forms of codimension~$1$ reversible vector fields and discuss the ways a time-dependent periodic forcing term of pulse form may be added to them to yield topological chaotic behaviour. Chaos here means that the resulting dynamics is semi-conjugate to a shift in a finite alphabet. The results rely on the classification of reversible vector fields and on the theory of topological horseshoes. This work is part of a project of studying periodic forcing of symmetric vector fields.


title: Projective and Direct limits of Banach $G$ and tensor structures

abstract: We endow projective (resp. direct) limits of Banach tensor structures with Fr\'{e}chet (resp. convenient) structures and study adapted connections to $G$-structures in both frameworks. This situation is illustrated by a lot of examples.


title: A Sublinear Bound on the Cop Throttling Number of a Graph

abstract: We provide a sublinear bound on the cop throttling number of a connected graph. Related to the graph searching game Cops and Robbers, the cop throttling number, written $\mathrm{th}_c(G)$, is given by $\mathrm{th}_c(G)=\min_k\{k+\mathrm{capt}_k(G)\}$, in which $\mathrm{capt}_k(G)$ is the $k$-capture time, or the length of a game of Cops and Robbers with $k$ cops on the graph $G$, assuming both players play optimally. No general sublinear bound was known on the cop throttling number of a connected graph. Towards a question asked by Breen et al., we prove that $\mathrm{th}_c(G)\leq \frac{(2+o(1))n\sqrt{W(\log(n))}}{\sqrt{\log(n)}},$ where $W=W(x)$ is the Lambert W function.


title: No-three-in-line problem on a torus: periodicity

abstract: Let $\tau_{m,n}$ denote the maximal number of points on the discrete torus (discrete toric grid) of sizes $m \times n$ with no three collinear points. The value $\tau_{m,n}$ is known for the case where $\gcd(m,n)$ is prime. It is also known that $\tau_{m,n} \leq 2\gcd(m,n)$. In this paper we generalize some of the known tools for determining $\tau_{m,n}$ and also show some new. Using these tools we prove that the sequence $(\tau_{z,n})_{n \in \mathbb{N}}$ is periodic for all fixed $z > 1$. In general, we do not know the period; however, if $z = p^a$ for $p$ prime, then we can bound it. We prove that $\tau_{p^a,p^{(a-1)p+2}} = 2p^a$ which implies that the period for the sequence is $p^b$ where $b$ is at most $(a-1)p+2$.


title: The Essential Dimension of Congruence Covers

abstract: Consider the algebraic function $\Phi_{g,n}$ that assigns to a general $g$-dimensional abelian variety an $n$-torsion point. A question first posed by Kronecker and Klein asks: What is the minimal $d$ such that, after a rational change of variables, the function $\Phi_{g,n}$ can be written as an algebraic function of $d$ variables? Using techniques from the deformation theory of $p$-divisible groups and finite flat group schemes, we answer this question by computing the essential dimension and $p$-dimension of congruence covers of the moduli space of principally polarized abelian varieties. We apply this result to compute the essential $p$-dimension of congruence covers of the moduli space of genus $g$ curves, as well as its hyperelliptic locus, and of certain locally symmetric varieties.


title: On the number of primes for which a polynomial is Eisenstein

abstract: Previously Heyman and Shparlinski gave an asymptotic formula with error term for the number of Eisenstein polynomials of fixed degree and bounded height. Let $\psi(f)$ denote the number of primes for which a polynomial $f$ is Eisenstein. We give expressions for the mean and variance of the function $\psi$ for each fixed degree, where the polynomials are ordered according to their height.


title: Optimal Parameters for Radiation Reaction Experiments

abstract: As new laser facilities are developed with intensities on the scale of 10^22 - 10^24 W cm^-2 , it becomes ever more important to understand the effect of strong field quantum electrodynamics processes, such as quantum radiation reaction, which will play a dominant role in laser-plasma interactions at these intensities. Recent all-optical experiments, where GeV electrons from a laser wakefield accelerator encountered a counter-propagating laser pulse with a_0 > 10, have produced evidence of radiation reaction, but have not conclusively identified quantum effects nor their most suitable theoretical description. Here we show the number of collisions and the conditions required to accomplish this, based on a simulation campaign of radiation reaction experiments under realistic conditions. We conclude that while the critical energy of the photon spectrum distinguishes classical and quantum-corrected models, a better means of distinguishing the stochastic and deterministic quantum models is the change in the electron energy spread. This is robust against shot-to-shot fluctuations and the necessary laser intensity and electron beam energies are already available. For example, we show that so long as the electron energy spread is below 25%, collisions at a_0 = 10 with electron energies of 500 MeV could differentiate between different quantum models in under 30 shots, even with shot to shot variations at the 50% level.


title: What does kinematical target mass sensitivity in DIS reveal about hadron structure?

abstract: We study the role of purely external kinematical approximations in inclusive deep-inelastic lepton--hadron scattering within QCD factorization, and consider factorization with an exact treatment of the target hadron mass. We discuss how an observed phenomenological improvement obtained by accounting for target mass kinematics could be interpreted in terms of general properties of target structure, and argue that such an improvement implies a hierarchy of nonperturbative scales within the hadron.


title: Finding a Mediocre Player

abstract: Consider a totally ordered set $S$ of $n$ elements; as an example, a set of tennis players and their rankings. Further assume that their ranking is a total order and thus satisfies transitivity and anti-symmetry. Following Frances Yao (1974), an element (player) is said to be $(i,j)$-\emph{mediocre} if it is neither among the top $i$ nor among the bottom $j$ elements of $S$. Finding a mediocre element is closely related to finding the median element. More than $40$ years ago, Yao suggested a very simple and elegant algorithm for finding an $(i,j)$-mediocre element: Pick $i+j+1$ elements arbitrarily and select the $(i+1)$-th largest among them. She also asked: "Is this the best algorithm?" No one seems to have found a better algorithm ever since. We first provide a deterministic algorithm that beats the worst-case comparison bound in Yao's algorithm for a large range of values of $i$ (and corresponding suitable $j=j(i)$) even if the current best selection algorithm is used. We then repeat the exercise for randomized algorithms; the average number of comparisons of our algorithm beats the average comparison bound in Yao's algorithm for another large range of values of $i$ (and corresponding suitable $j=j(i)$) even if the best selection algorithm is used; the improvement is most notable in the symmetric case $i=j$. Moreover, the tight bound obtained in the analysis of Yao's algorithm allows us to give a definite answer for this class of algorithms. In summary, we answer Yao's question as follows: (i)~"Presently not" for deterministic algorithms and (ii)~"Definitely not" for randomized algorithms. (In fairness, it should be said however that Yao posed the question in the context of deterministic algorithms.)


title: Provably efficient RL with Rich Observations via Latent State Decoding

abstract: We study the exploration problem in episodic MDPs with rich observations generated from a small number of latent states. Under certain identifiability assumptions, we demonstrate how to estimate a mapping from the observations to latent states inductively through a sequence of regression and clustering steps -- where previously decoded latent states provide labels for later regression problems -- and use it to construct good exploration policies. We provide finite-sample guarantees on the quality of the learned state decoding function and exploration policies, and complement our theory with an empirical evaluation on a class of hard exploration problems. Our method exponentially improves over $Q$-learning with na\"ive exploration, even when $Q$-learning has cheating access to latent states.


title: Computational aspects of orbifold equivalence

abstract: In this paper we study the computational feasibility of an algorithm to prove orbifold equivalence between potentials describing Landau-Ginzburg models. Through a comparison with leading results of Groebner basis computations in cryptology, we infer that the algorithm produces systems of equations that are beyond the limits of current technical capabilities. As such the algorithm needs to be augmented by `inspired guesswork', and we provide two new examples of applying this approach.


title: Critical view of nonlocal nuclear potentials in alpha decay

abstract: Different models for the nonlocal description of the nuclear interaction are compared through a study of their effects on the half-lives of radioactive nuclei decaying by the emission of alpha particles. The half-lives are evaluated by considering a pre-formed alpha particle ($^4$He nucleus) which tunnels through the Coulomb barrier generated by its interaction with the daughter nucleus. An effective potential obtained from a density dependent double folding strong potential between the alpha and the daughter nucleus within the nonlocal framework is found to decrease the half-lives as compared to those in the absence of nonlocalities. Whereas the percentage decrease within the older Perey-Buck and S\~ao Paulo models ranges between 20 to 40\% for medium to heavy nuclei, a recently proposed effective potential leads to a decrease of only 2 - 4 \%. In view of these results, we provide a closer examination of the approximations used in deriving the local equivalent potentials and propose that apart from the scattering data, the alpha decay half-lives could be used as a complementary tool for constraining the nonlocality models.


title: Complexity of Linear Regions in Deep Networks

abstract: It is well-known that the expressivity of a neural network depends on its architecture, with deeper networks expressing more complex functions. In the case of networks that compute piecewise linear functions, such as those with ReLU activation, the number of distinct linear regions is a natural measure of expressivity. It is possible to construct networks with merely a single region, or for which the number of linear regions grows exponentially with depth; it is not clear where within this range most networks fall in practice, either before or after training. In this paper, we provide a mathematical framework to count the number of linear regions of a piecewise linear network and measure the volume of the boundaries between these regions. In particular, we prove that for networks at initialization, the average number of regions along any one-dimensional subspace grows linearly in the total number of neurons, far below the exponential upper bound. We also find that the average distance to the nearest region boundary at initialization scales like the inverse of the number of neurons. Our theory suggests that, even after training, the number of linear regions is far below exponential, an intuition that matches our empirical observations. We conclude that the practical expressivity of neural networks is likely far below that of the theoretical maximum, and that this gap can be quantified.


title: Active phase separation in mixtures of chemically interacting particles

abstract: We theoretically study mixtures of chemically-interacting particles, which produce or consume a chemical to which they are attracted or repelled, in the most general case of many coexisting species. We find a new class of active phase separation phenomena in which the nonequilibrium chemical interactions between particles, which break action-reaction symmetry, can lead to separation into phases with distinct density and stoichiometry. Due to the generic nature of our minimal model, our results shed light on the underlying fundamental principles behind nonequilibrium self-organization of cells and bacteria, catalytic enzymes, or phoretic colloids.


title: Convex integration and phenomenologies in turbulence

abstract: In this review article we discuss a number of recent results concerning wild weak solutions of the incompressible Euler and Navier-Stokes equations. These results build on the groundbreaking works of De Lellis and Sz\'ekelyhidi Jr., who extended Nash's fundamental ideas on $C^1$ flexible isometric embeddings, into the realm of fluid dynamics. These techniques, which go under the umbrella name convex integration, have fundamental analogies the phenomenological theories of hydrodynamic turbulence. Mathematical problems arising in turbulence (such as the Onsager conjecture) have not only sparked new interest in convex integration, but certain experimentally observed features of turbulent flows (such as intermittency) have also informed new convex integration constructions. First, we give an elementary construction of nonconservative $C^{0+}_{x,t}$ weak solutions of the Euler equations, first proven by De Lellis-Sz\'ekelyhidi Jr.. Second, we present Isett's recent resolution of the flexible side of the Onsager conjecture. Here, we in fact follow the joint work of De Lellis-Sz\'ekelyhidi Jr. and the authors of this paper, in which weak solutions of the Euler equations in the regularity class $C^{\frac 13-}_{x,t}$ are constructed, attaining any energy profile. Third, we give a concise proof of the authors' recent result, which proves the existence of infinitely many weak solutions of the Navier-Stokes in the regularity class $C^0_t L^{2+}_x \cap C^0_t W^{1,1+}_x$. We conclude the article by mentioning a number of open problems at the intersection of convex integration and hydrodynamic turbulence.


title: Diversity-Sensitive Conditional Generative Adversarial Networks

abstract: We propose a simple yet highly effective method that addresses the mode-collapse problem in the Conditional Generative Adversarial Network (cGAN). Although conditional distributions are multi-modal (i.e., having many modes) in practice, most cGAN approaches tend to learn an overly simplified distribution where an input is always mapped to a single output regardless of variations in latent code. To address such issue, we propose to explicitly regularize the generator to produce diverse outputs depending on latent codes. The proposed regularization is simple, general, and can be easily integrated into most conditional GAN objectives. Additionally, explicit regularization on generator allows our method to control a balance between visual quality and diversity. We demonstrate the effectiveness of our method on three conditional generation tasks: image-to-image translation, image inpainting, and future video prediction. We show that simple addition of our regularization to existing models leads to surprisingly diverse generations, substantially outperforming the previous approaches for multi-modal conditional generation specifically designed in each individual task.


title: DNP-NMR of surface hydrogen on silicon microparticles

abstract: Dynamic nuclear polarization (DNP) enhanced nuclear magnetic resonance (NMR) offers a promising route to studying local atomic environments at the surface of both crystalline and amorphous materials. We take advantage of unpaired electrons due to defects close to the surface of the silicon microparticles to hyperpolarize adjacent $^{1}$H nuclei. At 3.3 T and 4.2 K, we observe the presence of two proton peaks, each with a linewidth on the order of 5 kHz. Echo experiments indicate a homogeneous linewidth of $\sim 150-300$ Hz for both peaks, indicative of a sparse distribution of protons in both environments. The downfield peak at 10 ppm lies within the typical chemical shift range for proton NMR, and was found to be relatively stable over repeated measurements. The upfield peak was found to vary in position between -19 and -37 ppm, well outside the range of typical proton NMR shifts, and indicative of a high-degree of chemical shielding. The upfield peak was also found to vary significantly in intensity across different experimental runs, suggesting a weakly-bound species. These results suggest that the hydrogen is located in two distinct microscopic environments on the surface of these Si particles.


title: Hyperelliptic Integrals and Mirrors of the Johnson-Koll\'ar del Pezzo Surfaces

abstract: For all k>0 integer, we consider the regularised I-function of the family of del Pezzo surfaces of degree 8k+4 in P(2,2k+1,2k+1, 4k+1), first constructed by Johnson and Koll\'ar. We show that this function, which is of hypergeometric type, is a period of an explicit pencil of curves. Thus the pencil is a candidate LG mirror of the family of del Pezzo surfaces. The main feature of these surfaces, which makes the mirror construction especially interesting, is that the anticanonical system is empty: because of this, our mirrors are not covered by any other construction known to us. We discuss connections to the work of Beukers, Cohen and Mellit on hypergeometric functions.


title: A catalogue of spectroscopic binary candidate stars derived from a comparison of Gaia DR2 with other radial velocity catalogues

abstract: Using the recently published Gaia second data release which includes measurements of the mean radial velocity of about 7.2 million stars, we performed a systematic comparison with other existing radial velocity catalogues in order to search for variations in the radial velocity measurements, with the goal that detected differences may indicate that these stars are possibly spectroscopic binaries stars with only one visible component (SB1). We present a spectroscopic binary candidate stars catalogue containing 35,246 stars, compiled to encourage follow-up observations obtaining spectra at different epochs of these stars orbits in order to verify their binarity and to study these systems using radial velocity curves. Comparing the Gaia DR2 database with the K-M dwarf catalogue we found 16 stars that show radial velocity variations. In a comparison with the Pulkovo radial velocity catalogue of Hipparcos stars we identified a total of 539 SB1 candidate stars. In the largest radial velocity catalogue available, the RAVE catalogue, we found a total of 34,691 stars that show radial velocity variations when compared to the Gaia DR2 data.


title: Weakly homoclinic groups of ergodic actions

abstract: This work contains the following results: the trajectory fullness of the homoclinic groups, their connections with factors, K-property, weak multiple mixing; the ergodicity of the weakly homoclinic group for Gauss and Poisson actions; the triviality of the weakly homoclinic group for classes of rank-1 actions. Some open problems are discussed.


title: Symbolic integration of hyperexponential 1-forms

abstract: Let $H$ be a hyperexponential function in $n$ variables $x=(x_1,\dots,x_n)$ with coefficients in a field $\mathbb{K}$, $[\mathbb{K}:\mathbb{Q}] <\infty$, and $\omega$ a rational differential $1$-form. Assume that $H\omega$ is closed and $H$ transcendental. We prove using Schanuel conjecture that there exist a univariate function $f$ and multivariate rational functions $F,R$ such that $\int H\omega= f(F(x))+H(x)R(x)$. We present an algorithm to compute this decomposition. This allows us to present an algorithm to construct a basis of the cohomology of differential $1$-forms with coefficients in $H\mathbb{K}[x,1/(SD)]$ for a given $H$, $D$ being the denominator of $dH/H$ and $S\in\mathbb{K}[x]$ a square free polynomial. As an application, we generalize a result of Singer on differential equations on the plane: whenever it admits a Liouvillian first integral $I$ but no Darbouxian first integral, our algorithm gives a rational variable change linearising the system.


title: Conventional and unconventional photon statistics

abstract: We show how the photon statistics emitted by a large variety of light-matter systems under weak coherent driving can be understood, to lowest order in the driving, in the framework of an admixture of (or interference between) a squeezed state and a coherent state, with the resulting state accounting for all bunching and antibunching features. One can further identify two mechanisms that produce resonances for the photon correlations: i) conventional statistics describes cases that involve a particular quantum level or set of levels in the excitation/emission processes with interferences occurring to all orders in the photon numbers, while unconventional statistics describes cases where the driving laser is far from resonance with any level and the interference occurs for a particular number of photons only, yielding stronger correlations but only for a definite number of photons. Such an understanding and classification allows for a comprehensive and transparent description of the photon statistics from a wide range of disparate systems, where optimum conditions for various types of photon correlations can be found and realized.


title: A categorical approach to quantum moment maps

abstract: We introduce quantum versions of Manin pairs and Manin triples and define quantum moment maps in this context. This provides a framework that incorporates quantum moment maps for actions of Lie algebras and quantum groups for any quantum parameter. We also show how our quantum moment maps degenerate to known classical versions of moment maps and describe their fusion.


title: False spin zeros in the angular dependence of magnetic quantum oscillation in quasi-two-dimensional metals

abstract: The interplay between angular and quantum magnetoresistance oscillations in quasi-two-dimensional metals leads to the angular oscillations of the amplitude of quantum oscillations. This effect becomes pronounced in high magnetic field, when the simple factorization of the angular and quantum oscillations is not valid. The amplitude of quantum magnetoresistance oscillations is reduced at the Yamaji angles, i.e. at the maxima of the angular magnetoresistance oscillations. These angular beats of the amplitude of quantum oscillations resemble and may be confused with the spin-zero effect, coming from the Zeeman splitting. The proposed effect of "false spin zeros" becomes stronger in the presence of incoherent channels of interlayer electron transport and can be used to separate the different contributions to the Dingle temperature and to check for violations from the standard factorization of angular and quantum magnetoresistance oscillations.