title: An Updated Study of Potential Targets for Ariel

abstract: Ariel has been selected as ESA's M4 mission for launch in 2028 and is designed for the characterisation of a large and diverse population of exoplanetary atmospheres to provide insights into planetary formation and evolution within our Galaxy. Here we present a study of Ariel's capability to observe currently-known exoplanets and predicted TESS discoveries. We use the Ariel Radiometric model (ArielRad) to simulate the instrument performance and find that ~2000 of these planets have atmospheric signals which could be characterised by Ariel. This list of potential planets contains a diverse range of planetary and stellar parameters. From these we select an example Mission Reference Sample (MRS), comprised of 1000 diverse planets to be completed within the primary mission life, which is consistent with previous studies. We also explore the mission capability to perform an in-depth survey into the atmospheres of smaller planets, which may be enriched or secondary. Earth-sized planets and Super-Earths with atmospheres heavier than H/He will be more challenging to observe spectroscopically. However, by studying the time required to observe ~110 Earth-sized/Super-Earths, we find that Ariel could have substantial capability for providing in-depth observations of smaller planets. Trade-offs between the number and type of planets observed will form a key part of the selection process and this list of planets will continually evolve with new exoplanet discoveries replacing predicted detections. The Ariel target list will be constantly updated and the MRS re-selected to ensure maximum diversity in the population of planets studied during the primary mission life.


title: Modeling Gel Swelling Equilibrium in Mean-Field: From explicit Models to Poisson-Boltzmann

abstract: We develop a double mean-field theory for charged macrogels immersed in electrolyte solutions in the spirit of the cell model approach. We first demonstrate that the equilibrium sampling of a single explicit coarse-grained charged polymer in a cell yields accurate predictions of the swelling equilibrium if the geometry is suitably chosen and all pressure contributions have been incorporated accurately. We then replace the explicit flexible chain by a suitably modeled penetrable charged rod that allows to compute all pressure terms within the Poisson-Boltzmann approximation. This model, albeit computationally cheap, yields excellent predictions of swelling equilibria under varying chain length, polymer charge fraction, and external reservoir salt concentrations when compared to coarse-grained molecular dynamics simulations of charged macrogels. We present an extension of the model to the experimentally relevant cases of pH-sensitive gels.


title: Towards magnetic control of magnetite

abstract: High quality stoichiometric magnetite (Fe3O4) films grown by infrared pulsed laser deposition (IR-PLD) on different surfaces were investigated in order to study the influence of the substrate, orientation, and thickness on their magnetic behavior. Different single crystal (001)-oriented substrates, i.e., SrTiO3(001), MgAl2O4(001) and MgO(001), have been used for the preparation of epitaxial Fe3O4(001) films. By comparison, polycrystalline magnetite films were obtained on both single crystal Al2O3(0001) and amorphous Si/SiO2 substrates. The thickness has been varied between 50 - 400 nm. All films consist of nanocrystalline stoichiometric magnetite with very small strain (<1\%) and present the Verwey transition (Tv) between 110-120 K, i.e., close to bulk magnetite (122 K). In general, Tv depends on both microstructure and thickness, increasing mainly as the thickness increases. Room temperature angular-dependent measurements reveal an in-plane fourfold symmetry magnetic behavior for all films grown on (001)-oriented surfaces, and with the easy axes lying along the Fe3O4 [010] and [100] directions. Remarkably, the fourfold magnetic symmetry shows up to 400 nm thick films. In turn, the films grown on single crystal Al2O3 (0001) and on amorphous Si/SiO2 surfaces display an isotropic magnetic behavior. Coercive field (Hc) depends on microstructure and film thickness. The largest (lowest) Hc value corresponds to the thinner film grown on a single crystal SrTiO3(001) (amorphous Si/SiO2) surface, which present the largest (lowest) strain (crystallinity). Moreover, the coercivity follows an inverse law with film thickness. Our results demonstrate that we can artificially control the magnetic behavior of stoichiometric IR-PLD grown Fe3O4 films by exploiting substrate-induced anisotropy and thickness-controlled coercivity, that might be relevant to incorporate magnetite in future spintronic devices.


title: The Softwarised Network Data Zoo

abstract: More and more management and orchestration approaches for (software) networks are based on machine learning paradigms and solutions. These approaches depend not only on their program code to operate properly, but also require enough input data to train their internal models. However, such training data is barely available for the software networking domain and most presented solutions rely on their own, sometimes not even published, data sets. This makes it hard, or even infeasible, to reproduce and compare many of the existing solutions. As a result, it ultimately slows down the adoption of machine learning approaches in softwarised networks. To this end, we introduce the "softwarised network data zoo" (SNDZoo), an open collection of software networking data sets aiming to streamline and ease machine learning research in the software networking domain. We present a general methodology to collect, archive, and publish those data sets for use by other researches and, as an example, eight initial data sets, focusing on the performance of virtualised network functions.


title: Phase-coherent lightwave communications with frequency combs

abstract: Fiber-optical networks are a crucial telecommunication infrastructure in society. Wavelength division multiplexing allows for transmitting parallel data streams over the fiber bandwidth, and coherent detection enables the use of sophisticated modulation formats and electronic compensation of signal impairments. In the future, optical frequency combs may replace multiple lasers used for the different wavelength channels. We demonstrate two novel signal processing schemes that take advantage of the broadband phase coherence of optical frequency combs. This approach allows for a more efficient estimation and compensation of optical phase noise in coherent communication systems, which can significantly simplify the signal processing or increase the transmission performance. With further advances in space division multiplexing and chip-scale frequency comb sources, these findings pave the way for compact energy-efficient optical transceivers.


title: Exogenous Rewards for Promoting Cooperation in Scale-Free Networks

abstract: The design of mechanisms that encourage pro-social behaviours in populations of self-regarding agents is recognised as a major theoretical challenge within several areas of social, life and engineering sciences. When interference from external parties is considered, several heuristics have been identified as capable of engineering a desired collective behaviour at a minimal cost. However, these studies neglect the diverse nature of contexts and social structures that characterise real-world populations. Here we analyse the impact of diversity by means of scale-free interaction networks with high and low levels of clustering, and test various interference mechanisms using simulations of agents facing a cooperative dilemma. Our results show that interference on scale-free networks is not trivial and that distinct levels of clustering react differently to each interference mechanism. As such, we argue that no tailored response fits all scale-free networks and present which mechanisms are more efficient at fostering cooperation in both types of networks. Finally, we discuss the pitfalls of considering reckless interference mechanisms.

categories: cs.GT cs.MA cs.SI econ.TH physics.soc-ph


title: Geometric classification of non-Hermitian topological systems through the singularity ring

abstract: This work unveils how geometric features of two-band non-Hermitian Hamiltonians can completely classify the topology of their eigenstates and energy manifolds. Our approach generalizes the Bloch sphere visualization of Hermitian systems to a ``Bloch torus'' picture for non-Hermitian systems, where a singularity ring (SR) captures the degeneracy structure of generic exceptional points. The SR picture affords convenient visualization of various symmetry constraints and reduces their topological characterization to the classification of simple intersection or winding behavior, as detailed by our explicit study of chiral, sublattice, particle-hole and conjugated particle-hole symmetries. In 1D, the winding number about the SR corresponds to the band vorticity measurable through the Berry phase. In 2D, more complicated winding behavior leads to a variety of phases that illustrate the richness of the interplay between SR topology and geometry beyond mere Chern number classification. Through a normalization procedure that puts generic 2-band non-Hermitian Hamiltonians on equal footing, our SR approach also allows for vivid visualization of the non-Hermitian skin effect.


title: $\ell$-Class groups of fields in Kummer towers

abstract: Let $\ell$ and $p$ be prime numbers and $K_{n,m}=\mathbb{Q}(p^{\frac{1}{\ell^n}},\zeta_{2\ell^{m}})$. We study the $\ell$-class group of $K_{n,m}$ in this paper. When $\ell=2$, we determine the structure of the $2$-class group of $K_{n,m}$ for all $(n,m)\in \mathbb{Z}_{\geq 0}^2$ in the case $p=2$ or $p\equiv 3, 5\bmod{8}$, and for $(n,m)=(n,0)$, $(n,1)$ or $(1,m)$ in the case $p\equiv 7\bmod{16}$, eneralizing the results of Parry about the $2$-divisibility of the class number of $K_{2,0}$. We also obtain results about the $\ell$-class group of $K_{n,m}$ when $\ell$ is odd and in particular $\ell=3$. The main tools we use are class field theory, including Chevalley's ambiguous class number formula and its generalization by Gras, and a stationary result about the $\ell$-class groups in the $2$-dimensional Kummer tower $\{K_{n,m}\}$.


title: Implicit Filter Sparsification In Convolutional Neural Networks

abstract: We show implicit filter level sparsity manifests in convolutional neural networks (CNNs) which employ Batch Normalization and ReLU activation, and are trained with adaptive gradient descent techniques and L2 regularization or weight decay. Through an extensive empirical study (Mehta et al., 2019) we hypothesize the mechanism behind the sparsification process, and find surprising links to certain filter sparsification heuristics proposed in literature. Emergence of, and the subsequent pruning of selective features is observed to be one of the contributing mechanisms, leading to feature sparsity at par or better than certain explicit sparsification / pruning approaches. In this workshop article we summarize our findings, and point out corollaries of selective-featurepenalization which could also be employed as heuristics for filter pruning


title: Hybrid Nanofluids: An Overview of their Synthesis and Thermophysical properties

abstract: A recent area of interest in thermal applications has been nanofluids, with extensive research conducted in the field, and numerous publications expounding on new results coming to the fore. The properties of such fluids depend on their components, and by the use of combined and complex nanoparticles with diverse characteristics, the desirable qualities of multiple nanoparticle suspensions can be obtained in a single mixture. The paper covers these hybrid nanofluids, the techniques for their synthesis, their properties, characteristics, and the areas of debate and outstanding questions.


title: The Lie group of vertical bisections of a regular Lie groupoid

abstract: In this note we construct an infinite-dimensional Lie group structure on the group of vertical bisections of a regular Lie groupoid. We then identify the Lie algebra of this group and discuss regularity properties (in the sense of Milnor) for these Lie groups. If the groupoid is locally trivial, i.e. a gauge groupoid, the vertical bisections coincide with the gauge group of the underlying bundle. Hence the construction recovers the well known Lie group structure of the gauge groups. To establish the Lie theoretic properties of the vertical bisections of a Lie groupoid over a non-compact base, we need to generalise the Lie theoretic treatment of Lie groups of bisections for Lie groupoids over non-compact bases.


title: Tabular Benchmarks for Joint Architecture and Hyperparameter Optimization

abstract: Due to the high computational demands executing a rigorous comparison between hyperparameter optimization (HPO) methods is often cumbersome. The goal of this paper is to facilitate a better empirical evaluation of HPO methods by providing benchmarks that are cheap to evaluate, but still represent realistic use cases. We believe these benchmarks provide an easy and efficient way to conduct reproducible experiments for neural hyperparameter search. Our benchmarks consist of a large grid of configurations of a feed forward neural network on four different regression datasets including architectural hyperparameters and hyperparameters concerning the training pipeline. Based on this data, we performed an in-depth analysis to gain a better understanding of the properties of the optimization problem, as well as of the importance of different types of hyperparameters. Second, we exhaustively compared various different state-of-the-art methods from the hyperparameter optimization literature on these benchmarks in terms of performance and robustness.


title: Counting and sampling gene family evolutionary histories in the duplication-loss and duplication-loss-transfer models

abstract: Given a set of species whose evolution is represented by a species tree, a gene family is a group of genes having evolved from a single ancestral gene. A gene family evolves along the branches of a species tree through various mechanisms, including - but not limited to - speciation, gene duplication, gene loss, horizontal gene transfer. The reconstruction of a gene tree representing the evolution of a gene family constrained by a species tree is an important problem in phylogenomics. However, unlike in the multispecies coalescent evolutionary model, very little is known about the search space for gene family histories accounting for gene duplication, gene loss and horizontal gene transfer (the DLT-model). We introduce the notion of evolutionary histories defined as a binary ordered rooted tree describing the evolution of a gene family, constrained by a species tree in the DLT-model. We provide formal grammars describing the set of all evolutionary histories that are compatible with a given species tree, whether it is ranked or unranked. These grammars allow us, using either analytic combinatorics or dynamic programming, to efficiently compute the number of histories of a given size, and also to generate random histories of a given size under the uniform distribution. We apply these tools to obtain exact asymptotics for the number of gene family histories for two species trees, the rooted caterpillar and the complete binary tree, as well as estimates of the range of the exponential growth factor of the number of histories for random species trees of size up to 25. Our results show that including horizontal gene transfer induce a dramatic increase of the number of evolutionary histories. We also show that, within ranked species trees, the number of evolutionary histories in the DLT-model is almost independent of the species tree topology.


title: De Jongh's Theorem for Intuitionistic Zermelo-Fraenkel Set Theory

abstract: We prove that the propositional logic of intuitionistic set theory IZF is intuitionistic propositional logic IPC. More generally, we show that IZF has the de Jongh property with respect to every intermediate logic that is complete with respect to a class of finite trees. The same results follow for CZF.


title: Perspectives of Perihelion Precession in Torsion Modified Gravity

abstract: Killing symmetries are revisited in $d$$=$$5$ bulk geometric torsion (GT) perturbation theory to investigate the perihelion precession. Computation reveals a non-perturbative (NP) modification to the precession known in General Relativity (GR). Remarkably the analysis re-assures our proposed holographic correspondence between a perturbative GT in bulk and a boundary GR coupled to $B_{2}$$ \wedge $$F_{2}$. In fact the topological correction is sourced by a non-Newtonian potential in GR and we identify it with an ``electro-gravito'' dipole. Interestingly the dipole correction is shown to possess its origin in a $4$-form underlying a propagating GT and leads to a NP gravity in $d$$=$$4$.


title: Parity Doubling and the Dense Matter Phase Diagram under Constraints from Multi-Messenger Astronomy

abstract: We extend the recently developed hybrid quark-meson-nucleon model by augmenting a six-point scalar interaction and investigate the consequences for neutron-star sequences in the mass-radius diagram. The model has the characteristic feature that, at increasing baryon density, the chiral symmetry is restored within the hadronic phase by lifting the mass splitting between chiral partner states (parity doubling), before quark deconfinement takes place. At low temperature and finite baryon density, the model predicts a first-, second-order chiral phase transition, or a crossover, depending on the expectation value of the scalar field, and a first-order deconfinement phase transition. We discuss two sets of free parameters, which result in compact-star mass-radius relations that are at tension with the combined constraints for maximum-mass ($2~M_\odot$) and the compactness (GW170817). We find that the most preferable mass-radius relations result in isospin-symmetric phase diagram with rather low temperature for the critical point of the chiral phase transition.


title: Introduction to StarNEig -- A Task-based Library for Solving Nonsymmetric Eigenvalue Problems

abstract: In this paper, we present the StarNEig library for solving dense non-symmetric (generalized) eigenvalue problems. The library is built on top of the StarPU runtime system and targets both shared and distributed memory machines. Some components of the library support GPUs. The library is currently in an early beta state and only real arithmetic is supported. Support for complex data types is planned for a future release. This paper is aimed for potential users of the library. We describe the design choices and capabilities of the library, and contrast them to existing software such as ScaLAPACK. StarNEig implements a ScaLAPACK compatibility layer that should make it easy for a new user to transition to StarNEig. We demonstrate the performance of the library with a small set of computational experiments.


title: Polarizability assessments of ion-based optical clocks

abstract: It is shown that the dynamic differential scalar polarisability of the $S_{1/2}-D_{5/2}$ transition in $^{138}$Ba$^+$ can be determined to an inaccuracy below $0.5\%$ across a wide wavelength range ($\lambda>700\,\mathrm{nm}$). This can be achieved using measurements for which accurate determination of laser intensity is not required, and most of the required measurements are already in the literature. Measurement of a laser-induced ac-stark shift of the clock transition would then provide an \emph{in situ} measurement of the laser's intensity to the same $0.5\%$ level of inaccuracy, which is not easily achieved by other means. This would allow accurate polarisability measurements for clock transitions in other ions, through comparison with $^{138}$Ba$^+$. The approach would be equally applicable to Sr$^+$ and Ca$^+$, with the latter being immediately applicable to Al$^+$/Ca$^+$ quantum logic clocks.


title: The LOFAR Tied-Array All-Sky Survey (LOTAAS): Survey overview and initial pulsar discoveries

abstract: We present an overview of the LOFAR Tied-Array All-Sky Survey (LOTAAS) for radio pulsars and fast transients. The survey uses the high-band antennas of the LOFAR Superterp, the dense inner part of the LOFAR core, to survey the northern sky (dec > 0 deg) at a central observing frequency of 135 MHz. A total of 219 tied-array beams (coherent summation of station signals, covering 12 square degrees), as well as three incoherent beams (covering 67 square degrees) are formed in each survey pointing. For each ofthe 222 beams, total intensity is recorded at 491.52 us time resolution. Each observation integrates for 1 hr and covers 2592 channels from 119 to 151 MHz. This instrumental setup allows LOTAAS to reach a detection threshold of 1 to 5 mJy for periodic emission. Thus far, the LOTAAS survey has resulted in the discovery of 73 radio pulsars. Among these are two mildly recycled binary millisecond pulsars (P = 13 and 33 ms), as well as the slowest-spinning radio pulsar currently known (P = 23.5 s). The survey has thus far detected 311 known pulsars, with spin periods ranging from 4 ms to 5.0 s and dispersion measures from 3.0 to 217 pc/cc. Known pulsars are detected at flux densities consistent with literature values. We find that the LOTAAS pulsar discoveries have, on average, longer spin periods than the known pulsar population. This may reflect different selection biases between LOTAAS and previous surveys, though it is also possible that slower-spinning pulsars preferentially have steeper radio spectra. LOTAAS is the deepest all-sky pulsar survey using a digital aperture array; we discuss some of the lessons learned that can inform the approach for similar surveys using future radio telescopes such as the Square Kilometre Array.


title: Small weight code words arising from the incidence of points and hyperplanes in PG($\boldsymbol{n,q}$)

abstract: Let $C_{n-1}(n,q)$ be the code arising from the incidence of points and hyperplanes in the Desarguesian projective space PG($n,q$). Recently, Polverino and Zullo proved that within this code, all non-zero code words of weight at most $2q^{n-1}$ are scalar multiples of either the incidence vector of one hyperplane, or the difference of the incidence vectors of two distinct hyperplanes. We improve this result, proving that when $q>17$ and $q\notin\{25,27,29,31,32,49,121\}$, all code words of weight at most $(4q-\sqrt{8q}-\frac{33}{2})q^{n-2}$ are linear combinations of incidence vectors of hyperplanes through a fixed $(n-3)$-space. Depending on the omitted value for $q$, we can lower the bound on the weight of $c$ to obtain the same results.


title: The relation between the true and observed fractal dimensions of turbulent clouds

abstract: Observations of interstellar gas clouds are typically limited to two-dimensional (2D) projections of the intrinsically three-dimensional (3D) structure of the clouds. In this study, we present a novel method for relating the 2D projected fractal dimension ($\mathcal{D}_{\text{p}}$) to the 3D fractal dimension ($\mathcal{D}_{\text{3D}}$) of turbulent clouds. We do this by computing the fractal dimension of clouds over two orders of magnitude in turbulent Mach number $(\mathcal{M} = 1-100)$, corresponding to seven orders of magnitude in spatial scales within the clouds. This provides us with the data to create a new empirical relation between $\mathcal{D}_{\text{p}}$ and $\mathcal{D}_{\text{3D}}$. The proposed relation is $\mathcal{D}_{\text{3D}}(\mathcal{D}_{\text{p}}) = \Omega_1 erfc ( \xi_1 erfc^{-1}[ (\mathcal{D}_{\text{p}} - \mathcal{D}_{\text{p,min}})/\Omega_2 ] + \xi_2 ) + \mathcal{D}_{\text{3D,min}}$, where the minimum 3D fractal dimension, $\mathcal{D}_{\text{3D,min}} = 2.06 \pm 0.35$, the minimum projected fractal dimension, $\mathcal{D}_{\text{p,min}} = 1.55 \pm 0.13$, $\Omega_1 = 0.47 \pm 0.18$, $\Omega_2 = 0.22 \pm 0.07$, $\xi_1 = 0.80 \pm 0.18$ and $\xi_2 = 0.26 \pm 0.19$. The minimum 3D fractal dimension, $\mathcal{D}_{\text{3D,min}} = 2.06 \pm 0.35$, indicates that in the high $\mathcal{M}$ limit the 3D clouds are dominated by planar shocks. The relation between $\mathcal{D}_{\text{p}}$ and $\mathcal{D}_{\text{3D}}$ of molecular clouds may be a useful tool for those who are seeking to understand the 3D structures of molecular clouds, purely based upon 2D projected data and shows promise for relating the physics of the turbulent clouds to the fractal dimension.


title: Comment on "Retrieval of phase relation and emission profile of quantum cascade laser frequency combs''

abstract: A recent publication on arXiv:1905.00668 suggests that the phase relationship within a frequency comb can be reconstructed from a heterodyne measurement using a reference comb. In principle, following this approach, such retrieval of optical phases appears possible, but should give rise to a temporally constant signal. Instead, arXiv:1905.00668 provides experimental evidence for a pronounced relative drift of the phases, which indicates that the modes of the comb are not coherently phase-locked. This temporal drift can be explained if the comb under test is not equidistant. This further means that the underlying temporal waveform is not repetitive and cannot be compressed into a coherent short pulse. This artifact severely hampers suggested applications of quantum cascade lasers in precision metrology. Moreover, the notion of designating multi-mode quantum cascade lasers as frequency combs appears questionable.


title: Modelling Instance-Level Annotator Reliability for Natural Language Labelling Tasks

abstract: When constructing models that learn from noisy labels produced by multiple annotators, it is important to accurately estimate the reliability of annotators. Annotators may provide labels of inconsistent quality due to their varying expertise and reliability in a domain. Previous studies have mostly focused on estimating each annotator's overall reliability on the entire annotation task. However, in practice, the reliability of an annotator may depend on each specific instance. Only a limited number of studies have investigated modelling per-instance reliability and these only considered binary labels. In this paper, we propose an unsupervised model which can handle both binary and multi-class labels. It can automatically estimate the per-instance reliability of each annotator and the correct label for each instance. We specify our model as a probabilistic model which incorporates neural networks to model the dependency between latent variables and instances. For evaluation, the proposed method is applied to both synthetic and real data, including two labelling tasks: text classification and textual entailment. Experimental results demonstrate our novel method can not only accurately estimate the reliability of annotators across different instances, but also achieve superior performance in predicting the correct labels and detecting the least reliable annotators compared to state-of-the-art baselines.


title: Learning Hierarchical Priors in VAEs

abstract: We propose to learn a hierarchical prior in the context of variational autoencoders to avoid the over-regularisation resulting from a standard normal prior distribution. To incentivise an informative latent representation of the data, we formulate the learning problem as a constrained optimisation problem by extending the Taming VAEs framework to two-level hierarchical models. We introduce a graph-based interpolation method, which shows that the topology of the learned latent representation corresponds to the topology of the data manifold---and present several examples, where desired properties of latent representation such as smoothness and simple explanatory factors are learned by the prior.


title: 6G Mobile Communication Network: Vision, Challenges and Key Technologies

abstract: With the open of the scale-up commercial deployment of 5G network, more and more researchers and related organizations began to consider the next generation of mobile communication system. This article will explore the 6G concept for 2030s. Firstly, this article summarizes the future 6G vision with four keywords: "Intelligent Connectivity", "Deep Connectivity", "Holographic Connectivity" and "Ubiquitous Connectivity", and these four keywords together constitute the 6G overall vision of "Wherever you think, everything follows your heart ". Then, the technical requirements and challenges to realize the 6G vision are analyzed, including peak throughput, higher energy efficiency, connection every where and anytime, new theories and technologies, self-aggregating communications fabric, and some non-technical challenges. Then the potential key technologies of 6G are classified and presented: communication technologies on new spectrum, including terahertz communication and visible light communication; fundamental technologies, including sparse theory (compressed sensing), new channel coding technology, large-scale antenna and flexible spectrum usage; special technical features, including Space-Air-Ground-Sea integrated communication and wireless tactile network. By exploring the 6G vision, requirements and challenges, as well as potential key technologies, this article attempts to outline the overall framework of 6G, and to provide directional guidance for the subsequent 6G research. Keywords 6G, vision, terahertz, VLC, compressed sensing, free duplex, wireless tactile network


title: Radio core dominance of Fermi-LAT selected AGNs

abstract: Aims. We present a sample of 4388 AGNs with available radio core-dominance parameters defined as the ratio of the core flux densities to extended ones, namely, R = Score/Sext., which includes 630 Fermi-detected AGNs respect to the catalog of 4FGL, the fourth Fermi Large Area Telescope source catalog, and the rest of them are non-Fermi-detected AGNs. In our sample, 584 blazars are Fermi-detected and 1310 are not, and also consists of other subclasses such as Seyfert, Fanaroff-Riley I/II and normal galaxies. We investigate various different properties between Fermi-detected AGNs and non-Fermi-detected ones by using the core-dominance parameters as the previous study has shown that R is a good indication of beaming effect. Methods. We then calculate the radio spectral indices for whole sample and adopt {\gamma}-ray photon indices for Fermi AGNs from 4FGL catalog for discussing their different performances on different subclasses, and obtain the relation between core-dominance parameters and radio spectral indices for both Fermi and non-Fermi sources according to the two components model on radio band, which are consistent with our previous study. Results. We found that the core-dominance parameters and radio spectral indices are quite different for different subclasses of AGNs, not only for Fermi sources but also non-Fermi sources, particularly, R for the former ones is averagely higher than later ones. We also adopt the same relation on core-dominance parameters and {\gamma}-ray photon indices for Fermi sources by taking the same assumption with two components model on {\gamma}-ray band, and obtain the fitting results indicating that the {\gamma}-ray emissions of Fermi blazars are mainly from the core component, which is perhaps associated with the beaming effect. Therefore, Fermi blazars are beamed.


title: Enhancing Trust in eAssessment - the TeSLA System Solution

abstract: Trust in eAssessment is an important factor for improving the quality of online-education. A comprehensive model for trust based authentication for eAssessment is being developed and tested within the score of the EU H2020 project TeSLA. The use of biometric verification technologies to authenticate the identity and authorship claims of individual students in online-education scenarios is a significant component of TeSLA. Technical Univerity of Sofia (TUS) Bulgaria, a member of TeSLA consortium, participates in large-scale pilot tests of the TeSLA system. The results of questionnaires to students and teachers involved in the TUS pilot tests are analyzed and summarized in this work. We also describe the TeSLA authentication and fraud-detection instruments and their role for enhancing trust in eAssessment.


title: Radio detection of cosmic rays with the Auger Engineering Radio Array

abstract: The Auger Engineering Radio Array (AERA) complements the Pierre Auger Observatory with 150 radio-antenna stations measuring in the frequency range from 30 to 80 MHz. With an instrumented area of 17 km$^2$, the array constitutes the largest cosmic-ray radio detector built to date, allowing us to do multi-hybrid measurements of cosmic rays in the energy range of 10$^{17}$ eV up to several 10$^{18}$ eV. We give an overview of AERA results and discuss the significance of radio detection for the validation of the energy scale of cosmic-ray detectors as well as for mass-composition measurements.


title: Random walk with hyperbolic probabilities

abstract: The random walk with hyperbolic probabilities that we are introducing is an example of stochastic diffusion in a one-dimensional heterogeneous media. Although driven by site-dependent one-step transition probabilities, the process retains some of the features of a simple random walk, shows other traits that one would associate with a biased random walk and, at the same time, presents new properties not related with either of them. In particular, we show how the system is not fully ergodic, as not every statistic can be estimated from a single realization of the process. We further give a geometric interpretation for the origin of these irregular transition probabilities.


title: Electronic structure of Fe and magnetism in the $3d/5d$ double perovskites Ca$_2$FeReO$_6$ and Ba$_2$FeReO$_6$

abstract: The Fe electronic structure and magnetism in (i) monoclinic Ca$_2$FeReO$_6$ with a metal-insulator transition at $T_{MI} \sim 140$ K and (ii) quasi-cubic half-metallic Ba$_2$FeReO$_6$ ceramic double perovskites are probed by soft x-ray absorption spectroscopy (XAS) and magnetic circular dichroism (XMCD). These materials show distinct Fe $L_{2,3}$ XAS and XMCD spectra, which are primarily associated with their different average Fe oxidation states (close to Fe$^{3+}$ for Ca$_2$FeReO$_6$ and intermediate between Fe$^{2+}$ and Fe$^{3+}$ for Ba$_2$FeReO$_6$) despite being related by an isoelectronic (Ca$^{2+}$/Ba$^{2+}$) substitution. For Ca$_2$FeReO$_6$, the powder-averaged Fe spin moment along the field direction ($B = 5$ T), as probed by the XMCD experiment, is strongly reduced in comparison with the spontaneous Fe moment previously obtained by neutron diffraction, consistent with a scenario where the magnetic moments are constrained to remain within an easy plane. For $B=1$ T, the unsaturated XMCD signal is reduced below $T_{MI}$ consistent with a magnetic transition to an easy-axis state that further reduces the powder-averaged magnetization in the field direction. For Ba$_2$FeReO$_6$, the field-aligned Fe spins are larger than for Ca$_2$FeReO$_6$ ($B=5$ T) and the temperature dependence of the Fe magnetic moment is consistent with the magnetic ordering transition at $T_C^{Ba} = 305$ K. Our results illustrate the dramatic influence of the specific spin-orbital configuration of Re $5d$ electrons on the Fe $3d$ local magnetism of these Fe/Re double perovskites.


title: A Distributed Laplacian Solver and its Applications to Electrical Flow and Random Spanning Tree Computation

abstract: We use queueing networks to present a new approach to solving Laplacian systems. This marks a significant departure from the existing techniques, mostly based on graph-theoretic constructions and sampling. Our distributed solver works for a large and important class of Laplacian systems that we call "one-sink" Laplacian systems. Specifically, our solver can produce solutions for systems of the form $Lx = b$ where exactly one of the coordinates of $b$ is negative. Our solver is a distributed algorithm that takes $\widetilde{O}(t_{hit} d_{\max})$ time (where $\widetilde{O}$ hides $\text{poly}\log n$ factors) to produce an approximate solution where $t_{hit}$ is the worst-case hitting time of the random walk on the graph, which is $\Theta(n)$ for a large set of important graphs, and $d_{\max}$ is the generalized maximum degree of the graph. The class of one-sink Laplacians includes the important voltage computation problem and allows us to compute the effective resistance between nodes in a distributed setting. As a result, our Laplacian solver can be used to adapt the approach by Kelner and M\k{a}dry (2009) to give the first distributed algorithm to compute approximate random spanning trees efficiently.


title: Theoretical rotation-vibration spectroscopy of {\it cis}- and {\it trans}-diphosphene (P$_2$H$_2$) and the deuterated species P$_2$HD

abstract: Growing astronomical interest in phosphorous (P) chemistry is stimulating the search for new interstellar P-bearing molecules; a task requiring detailed knowledge of the microwave and infrared molecular spectrum. In this work, we present comprehensive rotation-vibration line lists of the \cis- and \trans-isomers of diphosphene (P$_2$H$_2$). The line lists have been generated using robust, first-principles methodologies based on newly computed, high-level \ai\ potential energy and dipole moment surfaces. Transitions are considered between states with energies up to $8000$~cm$^{-1}$ and total angular momentum $J\leq25$. These are the first-ever line lists to be reported for P$_2$H$_2$ and they should significantly facilitate future spectroscopic characterization of this system. The deuterated species \trans-P$_2$HD and the effect of its dynamic dipole moment on the rovibrational spectrum is also discussed.


title: Finite burden in multivalued algebraically closed fields

abstract: We prove that an expansion of an algebraically closed field by $n$ arbitrary valuation rings is NTP${}_2$, and in fact has finite burden. It fails to be NIP, however, unless the valuation rings form a chain. Moreover, the incomplete theory of algebraically closed fields with $n$ valuation rings is decidable.


title: Towards a regularity theory for ReLU networks -- chain rule and global error estimates

abstract: Although for neural networks with locally Lipschitz continuous activation functions the classical derivative exists almost everywhere, the standard chain rule is in general not applicable. We will consider a way of introducing a derivative for neural networks that admits a chain rule, which is both rigorous and easy to work with. In addition we will present a method of converting approximation results on bounded domains to global (pointwise) estimates. This can be used to extend known neural network approximation theory to include the study of regularity properties. Of particular interest is the application to neural networks with ReLU activation function, where it contributes to the understanding of the success of deep learning methods for high-dimensional partial differential equations.


title: Mixing time of PageRank surfers on sparse random digraphs

abstract: We consider the generalised PageRank walk on a digraph $G$, with refresh probability $\alpha$ and resampling distribution $\lambda$. We analyse convergence to stationarity when $G$ is a large sparse random digraph with given degree sequences, in the limit of vanishing $\alpha$. We identify three scenarios: when $\alpha$ is much smaller than the inverse of the mixing time of $G$ the relaxation to equilibrium is dominated by the simple random walk and displays a cutoff behaviour; when $\alpha$ is much larger than the inverse of the mixing time of $G$ on the contrary one has pure exponential decay with rate $\alpha$; when $\alpha$ is comparable to the inverse of the mixing time of $G$ there is a mixed behaviour interpolating between cutoff and exponential decay. This trichotomy is shown to hold uniformly in the starting point and uniformly in the resampling distribution $\lambda$.


title: Governance by Glass-Box: Implementing Transparent Moral Bounds for AI Behaviour

abstract: Artificial Intelligence (AI) applications are being used to predict and assess behaviour in multiple domains, such as criminal justice and consumer finance, which directly affect human well-being. However, if AI is to improve people's lives, then people must be able to trust AI, which means being able to understand what the system is doing and why. Even though transparency is often seen as the requirement in this case, realistically it might not always be possible or desirable, whereas the need to ensure that the system operates within set moral bounds remains. In this paper, we present an approach to evaluate the moral bounds of an AI system based on the monitoring of its inputs and outputs. We place a "glass box" around the system by mapping moral values into explicit verifiable norms that constrain inputs and outputs, in such a way that if these remain within the box we can guarantee that the system adheres to the value. The focus on inputs and outputs allows for the verification and comparison of vastly different intelligent systems; from deep neural networks to agent-based systems. The explicit transformation of abstract moral values into concrete norms brings great benefits in terms of explainability; stakeholders know exactly how the system is interpreting and employing relevant abstract moral human values and calibrate their trust accordingly. Moreover, by operating at a higher level we can check the compliance of the system with different interpretations of the same value. These advantages will have an impact on the well-being of AI systems users at large, building their trust and providing them with concrete knowledge on how systems adhere to moral values.


title: Universal behaviour of diatomic halo states and the mass sensitivity of their properties

abstract: The scattering and spectroscopic properties of molecular halo states can serve as sensitive probes of the constancy of the electron-to-proton mass ratio $\beta=m_e/m_p$. Since halo states are formed by resonant $s$-wave interactions, their properties exhibit universal correlations that are fairly independent of the interactions at short distances. For diatomic molecules, these properties depend on a single parameter only, and so this `universality' means that all the characteristics of a diatomic halo state can be determined with high precision if only one parameter is accurately known. Furthermore, this knowledge can be used to establish the respective property mass sensitivities for investigating the stability of $\beta$. Here, we show for the halo states of the helium dimers that the relationship between the probed properties and their mass sensitivity can be derived from numerically exact solutions of suitable radial Schr\"{o}dinger equations for a set of effective potential energy curves. The resulting relations exhibit a weak dependence on the short-range part of the used potentials and a near-negligible dependence on the `higher-order' nonadiabatic, relativistic, QED and residual retardation effects. The presented approach is thus a robust alternative to other literature approaches, particularly in cases where a lack of experimental data prevents an accurate interaction potential from being determined.


title: Selfish Energy Sharing in Prosumer Communities: A Demand-Side Management Concept

abstract: Global warming is endangering the earth's ecosystem. It is imperative for us to limit green house gas emissions in order to combat rising global average temperatures. One way to move forward is the integration of renewable energy resources on all levels of the power system, i.e. from large-scale energy producers to individual households. The future smart grid provides the technology for this. In this paper, a novel demand-side management concept is proposed. It is implemented by a utility company which focuses on renewable energy. Through a specific billing mechanism, prosumers are encouraged to balance load and supply. A game-theoretic approach models households as self-determined rational energy users that want to reduce their individual electricity costs. To achieve this, they selfishly share energy with their neighbours and also schedule their energy storage systems. The scheme is designed such that monetary transactions between households are not necessary. Thus, it provides an alternative approach to energy trading schemes from the literature.


title: Bivariate functions of bounded variation: Fractal dimension and fractional integral

abstract: In contrast to the univariate case, several definitions are available for the notion of bounded variation for a bivariate function. This article is an attempt to study the Hausdorff dimension and box dimension of the graph of a continuous function defined on a rectangular region in R2, which is of bounded variation according to some of these approaches. We show also that the Riemann-Liouville fractional integral of a function of bounded variation in the sense of Arzela is of bounded variation in the same sense. Further, we deduce the Hausdorff dimension and box dimension of the graph of the fractional integral of a bivariate continuous function of bounded variation.


title: The Strange Metal State of the Electron-Doped Cuprates

abstract: An understanding of the high-temperature copper oxide (cuprate) superconductors has eluded the physics community for over thirty years, and represents one of the greatest unsolved problems in condensed matter physics. Particularly enigmatic is the normal state from which superconductivity emerges, so much so that this phase has been dubbed a "strange metal." In this article, we will review recent research into this strange metallic state as realized in the electron-doped cuprates with a focus on their transport properties. The electron-doped compounds differ in several ways from their more thoroughly studied hole-doped counterparts, and understanding these asymmetries of the phase diagram may prove crucial to developing a final theory of the cuprates. Most of the experimental results discussed in this review have yet to be explained and remain an outstanding challenge for theory.


title: Phase space decomposition for phase noise and synchronization analysis of planar nonlinear oscillators

abstract: Synchronization phenomena, frequency shift and phase noise are often limiting key factors in the performances of oscillators. The perturbation projection method allows to characterize how the oscillator's output is modified by these disturbances. In this brief we discuss the appropriate decomposition of perturbations for synchronization and phase noise analysis of planar nonlinear oscillators. We derive analytical formulas for the vectors spanning the directions along which the perturbations have to be projected. We also discuss the implications of this decomposition in control theory and to what extent a simple orthogonal projection is correct.


title: A simulation method for fatigue-driven delamination in layered structures involving non-negligible fracture process zones and arbitrarily shaped crack fronts

abstract: Most of the existing methods for fatigue-driven delamination are limited to two-dimensional (2D) applications or their predictive capabilities have not been validated in three-dimensional (3D) problems. This work presents a new cohesive zone-based computational method for simulating fatigue-driven delamination in the analysis of 3D structures without crack migration. The method accurately predicts fatigue propagation of non-nelgigible fracture process zones with arbitrarily shaped delamination fronts. The model does not require any kind of fitting parameter since all the input parameters are obtained experimentally from coupon tests. The evaluation of the energy release rate is done using two new techniques recently developed by the authors (the growth driving direction and the mode-decomposed J-integral) leading to an accurate prediction of delamination propagation under mixed-mode and non-self-similar growing conditions. The new method has been implemented as a UEL for Abaqus and validated against an experimental benchmark case with varying crack growth rate and shape and extension of the fracture process zone.


title: An extended Elrod-Adams model to account for backpressure and blow-by inception

abstract: The Piston-Ring-Liner system is the main tribological component of internal combustion engines. The Elrod-Adams model is customarily used to numerically assess the hydrodynamics of different ring designs and liner surface treatments. However, that model does not incorporate the backpressure boundary condition, which in this case corresponds to the combustion chamber pressure and is quite significant. In this contribution a model is proposed that imposes the combustion-chamber pressure in a mass-conserving way, together with an effective algorithm for its numerical approximation. The new model incorporates the pressure difference across the ring, which is shown to have a substantial effect on the predicted friction force and MFT. The model is further elaborated so as to provide a criterion for predicting blow-by inception.


title: A Compact Low-Latency Systematic Successive Cancellation Polar Decoder for Visible Light Communication Systems

abstract: Channel polarization and Polar code are widely considered as major breakthroughs in coding theory because they have shown promising features for future wireless standards. The main drawbacks of Polar code are high-latency in decoding hardware, and unimpressive error-correction performance in case limited code-length is implemented. These two disadvantages limit implementation of Polar code in low-throughput wireless communication systems. In this paper, we propose a low-complexity low-latency hardware architecture for the soft-decision compact (16,11) Systematic Successive Cancellation Polar Decoder (S-SCD). Experimental results has shown that the latency of the proposed S-SCD improves 3.75 times and 2.75 times compared with conventional and 2b-SC architectures. Besides, it has also shown a better BER/FER performance compared with RS(15,11) code, which is applied widely in current VLC-based systems.


title: From topological to topologically massive gravity through the gauge principle

abstract: It is well known that three-dimensional Einstein's gravity without matter is topological, i.e. it does not have local propagating degrees of freedom. The main result of this work is to show that dynamics in the gravitational sector can be induced by employing the gauge principle on the matter sector. This is described by a non-dynamical fermion model that supports a global gauge symmetry. By gauging this symmetry, a vector-spinor field is added to the original action to preserve the local gauge invariance. By integrating out this spin-3/2 field, we obtain a gravitational Chern-Simons term that gives rise to local propagating degrees of freedom in the gravitational sector. This is defined, after the gauging, by topologically massive gravity.


title: Capturing Evolution Genes for Time Series Data

abstract: The modeling of time series is becoming increasingly critical in a wide variety of applications. Overall, data evolves by following different patterns, which are generally caused by different user behaviors. Given a time series, we define the evolution gene to capture the latent user behaviors and to describe how the behaviors lead to the generation of time series. In particular, we propose a uniform framework that recognizes different evolution genes of segments by learning a classifier, and adopt an adversarial generator to implement the evolution gene by estimating the segments' distribution. Experimental results based on a synthetic dataset and five real-world datasets show that our approach can not only achieve a good prediction results (e.g., averagely +10.56% in terms of F1), but is also able to provide explanations of the results.


title: Fefferman's Inequality and Applications in Elliptic Partial Differential Equations

abstract: In this paper we prove Fefferman's inequalities associated to potentials belonging to a generalized Morrey space $ L^{p,\varphi} $ or a Stummel class $ \tilde{S}_{\alpha,p} $. Our results generalize and extend Fefferman's inequalities obtained in \cite{CRR,CF,F,Z1}. We also show that the logarithmic of non-negative weak solution of second order elliptic partial differential equation, where its potentials are assumed in generalized Morrey spaces and Stummel classes, belongs to the bounded mean oscillation class. As a consequence, this elliptic partial differential equation has the strong unique continuation property. An example of an elliptic partial differential equation where its potential belongs to certain Morrey spaces or Stummel classes which does not satisfy the strong unique continuation is presented.


title: Time-Series Event Prediction with Evolutionary State Graph

abstract: The accurate and interpretable prediction of future events in time-series data often requires the capturing of representative patterns (or referred to as states) underpinning the observed data. To this end, most existing studies focus on the representation and recognition of states, but ignore the changing transitional relations among them. In this paper, we present evolutionary state graph, a dynamic graph structure designed to systematically represent the evolving relations (edges) among states (nodes) along time. We conduct analysis on the dynamic graphs constructed from the time-series data and show that changes on the graph structures (e.g., edges connecting certain state nodes) can inform the occurrences of events (i.e., time-series fluctuation). Inspired by this, we propose a novel graph neural network model, Evolutionary State Graph Network (EvoNet), to encode the evolutionary state graph for accurate and interpretable time-series event prediction. Specifically, Evolutionary State Graph Network models both the node-level (state-to-state) and graph-level (segment-to-segment) propagation, and captures the node-graph (state-to-segment) interactions over time. Experimental results based on five real-world datasets show that our approach not only achieves clear improvements compared with 11 baselines, but also provides more insights towards explaining the results of event predictions.


title: GUP-Corrected van der Waals Black Holes

abstract: In this paper, we study the generalized uncertainty principle (GUP) effects for the van der Waals (vdW) black holes. In order to obtain the GUP-corrected solution, we consider GUP-corrected black hole temperature. We also study the thermodynamics and phase transition of GUP-corrected vdW black holes. We compare the differences between thermodynamic properties of both modified and orginal solutions. We show that P-V criticality is physically acceptable in the presence of GUP-correction.


title: Low-signal limit of X-ray single particle imaging

abstract: An outstanding question in X-ray single particle imaging experiments has been the feasibility of imaging sub 10-nm-sized biomolecules under realistic experimental conditions where very few photons are expected to be measured in a single snapshot and instrument background may be significant relative to particle scattering. While analyses of simulated data have shown that the determination of an average image should be feasible using Bayesian methods such as the EMC algorithm, this has yet to be demonstrated using experimental data containing realistic non-isotropic instrument background, sample variability and other experimental factors. In this work, we show that the orientation and phase retrieval steps work at photon counts diluted to the signal levels one expects from smaller molecules or with weaker pulses, using data from experimental measurements of 60-nm PR772 viruses. Even when the signal is reduced to a fraction as little as 1/256, the virus electron density determined using ab initio phasing is of almost the same quality as the high-signal data. However, we are still limited by the total number of patterns collected, which may soon be mitigated by the advent of high repetition-rate sources like the European XFEL and LCLS-II.


title: Mathematic Model And Error Analysis of Moving-base Rotating Accelerometer Gravity Gradiometer

abstract: In moving-base gravity gradiometry, accelerometer mounting errors and mismatch cause a rotating accelerometer gravity gradiometer (RAGG) to besusceptible to its own motion. In this study, we comprehensively consider accelerometer mounting errors, circuit gain mismatch, accelerometer linear scale factors imbalances, accelerometer second-order error coefficients and construct three RAGG models, namely a numerical model, an analytical model, and a simplified analytical model. The analytical model and the simplified analytical model are used to interpret the error propagation mechanism and develop error compensation techniques. A multifrequency gravitational gradient simulation experiment and a dynamic simulation experiment are designed to verify the correctness of the three RAGG models; three turbulence simulation experiments are designed to evaluate the noise floor of the analytical models at different intensity of air turbulence. The mean of air turbulence is in the range of 70 to 230 mg, the noise density of the analytical model is about 0.13 Eo/sqrtHz, and that of the simplified analytical model is in the range of 0.25 to 1.24 Eo/sqrtHz. The noise density of the analytical models is far less than 7 Eo/sqrtHz, which suggests that using the error compensation techniques based on the analytical models, the turbulence threshold of survey flying may be widened from current 100 mg to 200 mg.


title: Craquelure as a Graph: Application of Image Processing and Graph Neural Networks to the Description of Fracture Patterns

abstract: Cracks on a painting is not a defect but an inimitable signature of an artwork which can be used for origin examination, aging monitoring, damage identification, and even forgery detection. This work presents the development of a new methodology and corresponding toolbox for the extraction and characterization of information from an image of a craquelure pattern. The proposed approach processes craquelure network as a graph. The graph representation captures the network structure via mutual organization of junctions and fractures. Furthermore, it is invariant to any geometrical distortions. At the same time, our tool extracts the properties of each node and edge individually, which allows to characterize the pattern statistically. We illustrate benefits from the graph representation and statistical features individually using novel Graph Neural Network and hand-crafted descriptors correspondingly. However, we also show that the best performance is achieved when both techniques are merged into one framework. We perform experiments on the dataset for paintings' origin classification and demonstrate that our approach outperforms existing techniques by a large margin.


title: NeuPart: Using Analytical Models to Drive Energy-Efficient Partitioning of CNN Computations on Cloud-Connected Mobile Clients

abstract: Data processing on convolutional neural networks (CNNs) places a heavy burden on energy-constrained mobile platforms. This work optimizes energy on a mobile client by partitioning CNN computations between in situ processing on the client and offloaded computations in the cloud. A new analytical CNN energy model is formulated, capturing all major components of the in situ computation, for ASIC-based deep learning accelerators. The model is benchmarked against measured silicon data. The analytical framework is used to determine the optimal energy partition point between the client and the cloud at runtime. On standard CNN topologies, partitioned computation is demonstrated to provide significant energy savings on the client over fully cloud-based or fully in situ computation. For example, at 80 Mbps effective bit rate and 0.78 W transmission power, the optimal partition for AlexNet [SqueezeNet] saves up to 52.4% [73.4%] energy over a fully cloud-based computation, and 27.3% [28.8%] energy over a fully in situ computation.


title: Calculating ground state properties of correlated fermionic systems with BCS trial wave functions in Slater determinant path-integral approaches

abstract: We introduce an efficient and numerically stable technique to make use of a BCS trial wave function in the computation of correlation functions of strongly correlated quantum fermion systems. The technique is applicable to any projection approach involving paths of independent-fermion propagators, for example in mean-field or auxiliary-field quantum Monte Carlo (AFQMC) calculations. Within AFQMC, in the absence of the sign problem, the methodology allows the use of a BCS reference state which can greatly reduce the required imaginary time of projection, and improves Monte Carlo sampling efficiency and statistical accuracy for systems where pairing correlations are important. When the sign problem is present, the approach provides a powerful generalization of the constrained-path AFQMC technique which usually uses Slater determinant trial wave functions. As a demonstration of the capability of the methodology, we present benchmark results for the attractive Hubbard model, both spin-balanced (no sign problem) and with a finite spin polarization (with sign problem).


title: Ludii -- The Ludemic General Game System

abstract: While current General Game Playing (GGP) systems facilitate useful research in Artificial Intelligence (AI) for game-playing, they are often somewhat specialised and computationally inefficient. In this paper, we describe the "ludemic" general game system Ludii, which has the potential to provide an efficient tool for AI researchers as well as game designers, historians, educators and practitioners in related fields. Ludii defines games as structures of ludemes -- high-level, easily understandable game concepts -- which allows for concise and human-understandable game descriptions. We formally describe Ludii and outline its main benefits: generality, extensibility, understandability and efficiency. Experimentally, Ludii outperforms one of the most efficient Game Description Language (GDL) reasoners, based on a propositional network, in all games available in the Tiltyard GGP repository. Moreover, Ludii is also competitive in terms of performance with the more recently proposed Regular Boardgames (RBG) system, and has various advantages in qualitative aspects such as generality.


title: Uncertainty quantification with risk measures in production planning

abstract: This paper is concerned with a simulation study for a stochastic production network model, where the capacities of machines may change randomly. We introduce performance measures motivated by risk measures from finance leading to a simulation based optimization framework for the production planning. The same measures are used to investigate the scenario when capacities are related to workers that are randomly not available. This corresponds to the study of a workforce planning problem in an uncertain environment.


title: A resource-based rule engine for energy savings recommendations in educational buildings

abstract: Raising awareness among young people on the relevance of behaviour change for achieving energy savings is widely considered as a key approach towards long-term and cost-effective energy efficiency policies. The GAIA Project aims to deliver a comprehensive solution for both increasing awareness on energy efficiency and achieving energy savings in school buildings. In this framework, we present a novel rule engine that, leveraging a resource-based graph model encoding relevant application domain knowledge, accesses IoT data for producing energy savings recommendations. The engine supports configurability, extensibility and ease-of-use requirements, to be easily applied and customized to different buildings. The paper introduces the main design and implementation details and presents a set of preliminary performance results.


title: A Spatial Concordance Correlation Coefficient with an Application to Image Analysis

abstract: In this work we define a spatial concordance coefficient for second-order stationary processes. This problem has been widely addressed in a non-spatial context, but here we consider a coefficient that for a fixed spatial lag allows one to compare two spatial sequences along a 45-degree line. The proposed coefficient was explored for the bivariate Mat\'ern and Wendland covariance functions. The asymptotic normality of a sample version of the spatial concordance coefficient for an increasing domain sampling framework was established for the Wendland covariance function. To work with large digital images, we developed a local approach for estimating the concordance that uses local spatial models on non-overlapping windows. Monte Carlo simulations were used to gain additional insights into the asymptotic properties for finite sample sizes. As an illustrative example, we applied this methodology to two similar images of a deciduous forest canopy. The images were recorded with different cameras but similar fields-of-view and within minutes of each other. Our analysis showed that the local approach helped to explain a percentage of the non-spatial concordance and to provided additional information about its decay as a function of the spatial lag.


title: Microscopic Reversibility and Macroscopic Irreversibility: From a viewpoint of Algorithmic Randomness

abstract: Emergence of deterministic and irreversible macroscopic behavior from deterministic and reversible microscopic dynamics is understood as a result of the law of large numbers. In this paper, we prove on the basis of the theory of algorithmic randomness that Martin-L\"of random initial microstates satisfy an irreversible macroscopic law in the Kac infinite chain model. We find that the time-reversed state of a random state is not random as well as violates the macroscopic law.


title: Fuzzy Classical Dynamics as a Paradigm for Emerging Lorentz Geometries

abstract: We show that the classical equations of motion for a particle on three dimensional fuzzy space and on the fuzzy sphere are underpinned by a natural Lorentz geometry. From this geometric perspective, the equations of motion generally correspond to forced geodesic motion, but for an appropriate choice of noncommutative dynamics, the force is purely noncommutative in origin and the underpinning Lorentz geometry some standard space-time with, in general, non-commutatuve corrections to the metric. For these choices of the noncommutative dynamics the commutative limit therefore corresponds to geodesic motion on this standard space-time. We identify these Lorentz geometries to be a Minkowski metric on $\mathbb{R}^4$ and $\mathbb{R} \times S ^2$ in the cases of a free particle on three dimensional fuzzy space ($\mathbb{R}^3_\star$) and the fuzzy sphere ($S^2_\star$), respectively. We also demonstrate the equivalence of the on-shell dynamics of $S^2_\star$ and a relativistic charged particle on the commutative sphere coupled to the background magnetic field of a Dirac monopole.


title: Measurement-based VLC channel characterization for I2V communications in a real urban scenario

abstract: Visible light communication (VLC) is nowadays envisaged as a promising technology to enable new classes of services in intelligent transportation systems ranging, e.g., from assisted driving to autonomous vehicles. The assessment of the performance of VLC for automotive applications requires as a basic step a model of the transmission pattern and propagation of the VLC signal when real traffic-lights and road scenarios are involved. In this paper an experimental measurement campaign has been carried out by using a regular traffic-light as source (red light) and a photoreceiver positioned, statically, at different distances and heights along the road. A linear regression technique is used to come up with different propagation models. The proposed models have been compared, in terms of accuracy and complexity, to the conventional Lambertian model to describe the VLC channel in a real urban scenario. The proposed models provides a significant higher accuracy with comparable complexity.


title: Dynamics of individual Brownian rods in a microchannel flow

abstract: We study the orientational dynamics of heavy silica microrods flowing through a microfluidic channel. Comparing experiments and Brownian dynamics simulations we identify different particle orbits, in particular in-plane tumbling behavior, which cannot be explained by classical Jeffery theory, and we relate this behavior to the rotational diffusion of the rods. By constructing the full, three-dimensional, orientation distribution, we describe the rod trajectories and quantify the persistence of Jeffery orbits using temporal correlation functions of the Jeffery constant. We find that our colloidal rods lose memory of their initial configuration in about a second, corresponding to half a Jeffery period.


title: Convergence to the Landau equation from the truncated BBGKY hierarchy in the weak-coupling limit

abstract: We consider the evolution of the one-particle function in the weak-coupling limit in three space dimensions, obtained by truncating the BBGKY hierarchy under a propagation of chaos approximation. For this dynamics, we rigorously show the convergence to a solution of the Landau equation, keeping the full singularity of the Landau kernel. This resolves the issue arising from [10], where the singular region has been removed artificially. Since the singularity appears in the Landau equation due to the geometry of particle interactions, it is an intrinsic physical property of the weak-coupling limit which is crucial to the understanding of the transition from particle systems to the Landau equation.


title: Inferring Hierarchical Mixture Structures: A Bayesian Nonparametric Approach

abstract: This paper focuses on the problem of hierarchical non-overlapping clustering of a dataset. In such a clustering, each data item is associated with exactly one leaf node and each internal node is associated with all the data items stored in the sub-tree beneath it, so that each level of the hierarchy corresponds to a partition of the dataset. We develop a novel Bayesian nonparametric method combining the nested Chinese Restaurant Process (nCRP) and the Hierarchical Dirichlet Process (HDP). Compared with other existing Bayesian approaches, our solution tackles data with complex latent mixture features which has not been previously explored in the literature. We discuss the details of the model and the inference procedure. Furthermore, experiments on three datasets show that our method achieves solid empirical results in comparison with existing algorithms.


title: Avoiding Backtesting Overfitting by Covariance-Penalties: an empirical investigation of the ordinary and total least squares cases

abstract: Systematic trading strategies are rule-based procedures which choose portfolios and allocate assets. In order to attain certain desired return profiles, quantitative strategists must determine a large array of trading parameters. Backtesting, the attempt to identify the appropriate parameters using historical data available, has been highly criticized due to the abundance of misleading results. Hence, there is an increasing interest in devising procedures for the assessment and comparison of strategies, that is, devising schemes for preventing what is known as backtesting overfitting. So far, many financial researchers have proposed different ways to tackle this problem that can be broadly categorised in three types: Data Snooping, Overestimated Performance, and Cross-Validation Evaluation. In this paper, we propose a new approach to dealing with financial overfitting, a Covariance-Penalty Correction, in which a risk metric is lowered given the number of parameters and data used to underpins a trading strategy. We outlined the foundation and main results behind the Covariance-Penalty correction for trading strategies. After that, we pursue an empirical investigation, comparing its performance with some other approaches in the realm of Covariance-Penalties across more than 1300 assets, using Ordinary and Total Least Squares. Our results suggest that Covariance-Penalties are a suitable procedure to avoid Backtesting Overfitting, and Total Least Squares provides superior performance when compared to Ordinary Least Squares.


title: Transverse K\"{a}hler-Ricci flow and deformations of the metric on the Sasaki space $T^{1,1}$

abstract: In this paper we investigate the possibility to obtain locally new Sasaki-Einstein metrics on the space $T^{1,1}$ considering a deformation of the standard metric tensor field. We show that from the geometric point of view this deformation leaves transverse and the leafwise metric intact, but changes the orthogonal complement of the Reeb vector field using a particular basic function. In particular, the family of metric obtained using this method can be regarded as solutions of the equation associated to the Sasaki-Ricci flow on the underlying manifold.


title: Tracking Human Behavioural Consistency by Analysing Periodicity of Household Water Consumption

abstract: People are living longer than ever due to advances in healthcare, and this has prompted many healthcare providers to look towards remote patient care as a means to meet the needs of the future. It is now a priority to enable people to reside in their own homes rather than in overburdened facilities whenever possible. The increasing maturity of IoT technologies and the falling costs of connected sensors has made the deployment of remote healthcare at scale an increasingly attractive prospect. In this work we demonstrate that we can measure the consistency and regularity of the behaviour of a household using sensor readings generated from interaction with the home environment. We show that we can track changes in this behaviour regularity longitudinally and detect changes that may be related to significant life events or trends that may be medically significant. We achieve this using periodicity analysis on water usage readings sampled from the main household water meter every 15 minutes for over 8 months. We utilise an IoT Application Enablement Platform in conjunction with low cost LoRa-enabled sensors and a Low Power Wide Area Network in order to validate a data collection methodology that could be deployed at large scale in future. We envision the statistical methods described here being applied to data streams from the homes of elderly and at-risk groups, both as a means of early illness detection and for monitoring the well-being of those with known illnesses.


title: Dynamical invariants of monomial correspondences

abstract: We focus on various dynamical invariants associated to toric correspondences, using algebraic geometry or arithmetic. We find a formula for the dynamical degrees, relate the exponential growth of the degree sequences with a strict log-concavity condition on the dynamical degrees and compute the asymptotic ratio of the growth of heights of points of such correspondences.


title: Asset Pricing with General Transaction Costs: Theory and Numerics

abstract: We study risk-sharing equilibria with general convex costs on the agents' trading rates. For an infinite-horizon model with linear state dynamics and exogenous volatilities, we prove that the equilibrium returns mean-revert around their frictionless counterparts - the deviation has Ornstein-Uhlenbeck dynamics for quadratic costs whereas it follows a doubly-reflected Brownian motion if costs are proportional. More general models with arbitrary state dynamics and endogenous volatilities lead to multidimensional systems of nonlinear, fully-coupled forward-backward SDEs. These fall outside the scope of known wellposedness results, but can be solved numerically using the simulation-based deep-learning approach of Han, Jentzen and E (2018). In a calibration to time series of prices and trading volume, realistic liquidity premia are accompanied by a moderate increase in volatility. The effects of different cost specifications are rather similar, justifying the use of quadratic costs as a proxy for other less tractable specifications.


title: Independence of Algebraic Monodromy Groups in Compatible Systems

abstract: In this paper we develop a general method to prove independence of algebraic monodromy groups in compatible systems of representations, and we apply it to deduce independence results for compatible systems both in automorphic and in positive characteristic settings. In the abstract case, we prove an independence result for compatible systems of Lie-irreducible representations, from which we deduce an independence result for compatible systems admitting what we call a Lie-irreducible decomposition. In the case of geometric compatible systems of Galois representations arising from certain classes of automorphic forms, we prove the existence of a Lie-irreducible decomposition, assuming a classical irreducibility conjecture. From this we deduce an independence result. We conclude with the case of compatible systems of representations of the absolute Galois group of a global function field, for which we prove the existence of a Lie-irreducible decomposition, and we deduce an independence result. From this we also deduce an independence result for compatible systems of lisse sheaves on normal varieties over finite fields.


title: Insulator phases of a mixture of spinor fermions and hard-core bosons

abstract: We study numerically a one-dimensional mixture of spin-$\tfrac{1}{2}$ fermions and scalar bosons in the hard-core limit. Considering repulsive fermion-fermion and boson-fermion interactions, we find superfluid and insulator states whose phase diagram is calculated. We determine that given a fermionic density $\rho_F$, the insulator states are located at the bosonic densities $\rho_B=1-\rho_F$ and $\rho_B=1-\tfrac{1}{2}\rho_F$, and emerge even in the absence of fermion-fermion coupling. In addition, the boson-fermion repulsion drives quantum phase transitions inside the insulator lobes with $\rho_B=1/2$. Our predictions could be observed in current cold-atom experimental platforms.


title: Dynamical strategies for obstacle avoidance during Dictyostelium discoideum aggregation: a Multi-agent system model

abstract: Chemotaxis, the movement of an organism in response to chemical stimuli, is a typical feature of many microbiological systems. In particular, the social amoeba \textit{Disctyostelium discoideum} is widely used as a model organism, but it is not still clear how it behaves in heterogeneous environments. A few models focusing on mechanical features have already addressed the question; however, we suggest that phenomenological models focusing on the population dynamics may provide new meaningful data. Consequently, by means of a specific Multi-agent system model, we study the dynamical features emerging from complex social interactions among individuals belonging to amoeba colonies.\\ After defining an appropriate metric to quantitatively estimate the gathering process, we find that: a) obstacles play the role of local topological perturbation, as they alter the flux of chemical signals; b) physical obstacles (blocking the cellular motion and the chemical flux) and purely chemical obstacles (only interfering with chemical flux) elicit similar dynamical behaviors; c) a minimal program for robustly gathering simulated cells does not involve mechanisms for obstacle sensing and avoidance; d) fluctuations of the dynamics concur in preventing multiple stable clusters. Comparing those findings with previous results, we speculate about the fact that chemotactic cells can avoid obstacles by simply following the altered chemical gradient. Social interactions are sufficient to guarantee the aggregation of the whole colony past numerous obstacles.


title: ${}^8$Be Decay Anomaly and Light $Z'$

abstract: In this proceedings, we discuss a light (17 MeV) $Z'$ solution to the anomaly observed in the decay of Beryllium-8 by the Atomki collaboration. We detail an anomaly free model with minimal particle content which can satisfy all other experimental constraints with gauge couplings $\mathcal{O}(10^{-4})$.


title: A wall-crossing formula and the invariance of GLSM correlation functions

abstract: In this paper we prove a wall-crossing formula, a crucial ingredient needed to prove that the correlation function of gauged linear sigma model is independent of the choice of perturbations.


title: Metric dimension of combinatorial game graphs

abstract: The study of combinatorial games is intimately tied to the study of graphs, as any game can be realized as a directed graph in which players take turns traversing the edges until reaching a sink. However, there have heretofore been few efforts towards analyzing game graphs using graph theoretic metrics and techniques. A set $S$ of vertices in a graph $G$ resolves $G$ if every vertex in $G$ is uniquely determined by the vector of its distances from the vertices in $S$. A metric basis of $G$ is a smallest resolving set and the metric dimension is the cardinality of a metric basis. In this article we examine the metric dimension of the graphs resulting from some rulesets, including both short games (those which are sure to end after finitely many turns) and loopy games (those games for which the associated graph contains cycles).


title: Approximate arithmetic structure in large sets of integers

abstract: We prove that if a set is `large' in the sense of Erd\H{o}s, then it approximates arbitrarily long arithmetic progressions in a strong quantitative sense. More specifically, expressing the error in the approximation in terms of the gap length $\Delta$ of the progression, we improve a previous result of $o(\Delta)$ to $O(\Delta^\alpha)$ for any $\alpha \in (0,1)$.


title: Applications of Grassmannian flows to integrable systems

abstract: We show how many classes of partial differential systems with local and nonlocal nonlinearities are linearisable in the sense that they are realisable as Fredholm Grassmannian flows. In other words, time-evolutionary solutions to such systems can be constructed from solutions to the corresponding underlying linear partial differential system, by solving a linear Fredholm equation. For example, it is well-known that solutions to classical integrable partial differential systems can be generated by solving a corresponding linear partial differential system for the scattering data and then solving the linear Fredholm (or Volterra) integral equation known as the Gel'fand-Levitan-Marchenko equation. In this paper and in a companion paper, Doikou et al. [DMSW:graphflows], we both, survey the classes of nonlinear systems that are realisable as Fredholm Grassmannian flows, and present new example applications of such flows. We also demonstrate the usefulness of such a representation. Herein we extend the work of Poppe and demonstrate how solution flows of the non-commutative potential Korteweg de Vries and nonlinear Schrodinger systems are examples of such Grassmannian flows. In the companion paper we use this Grassmannian flow approach as well as an extension to nonlinear graph flows, to solve Smoluchowski coagulation and related equations.

categories: math.AP math-ph math.MP nlin.SI quant-ph


title: Operational semantics and program verification using many-sorted hybrid modal logic

abstract: We propose a general framework to allow: (a) specifying the operational semantics of a programming language; and (b) stating and proving properties about program correctness. Our framework is based on a many-sorted system of hybrid modal logic, for which we prove completeness results. We believe that our approach to program verification improves over the existing approaches within modal logic as (1) it is based on operational semantics which allows for a more natural description of the execution than Hoare's style weakest precondition used by dynamic logic; (2) being multi-sorted, it allows for a clearer encoding of semantics, with a smaller representational distance to its intended meaning.


title: Precipitation nowcasting using a stochastic variational frame predictor with learned prior distribution

abstract: We propose the use of a stochastic variational frame prediction deep neural network with a learned prior distribution trained on two-dimensional rain radar reflectivity maps for precipitation nowcasting with lead times of up to 2 1/2 hours. We present a comparison to a standard convolutional LSTM network and assess the evolution of the structural similarity index for both methods. Case studies are presented that illustrate that the novel methodology can yield meaningful forecasts without excessive blur for the time horizons of interest.


title: Investigation of two photon emission in strong field QED using channeling in a crystal

abstract: We investigate the 2nd order process of two photons being emitted by a high-energy electron dressed in the strong background electric field found between the planes in a crystal. The strong crystalline field combined with ultra relativistic electrons is one of very few cases where the Schwinger field can be experimentally achieved in the electron's rest frame. The radiation being emitted, the so-called channeling radiation, is a well studied phenomenon. However only the first order diagram corresponding to emission of a single photon has been studied so far. We elaborate on how the 2 photon emission process should be understood in terms of a two-step versus a one-step process, i.e., if one can consider one photon being emitted after the other, or if there is also a contribution where the two photons are emitted 'simultaneously'. From the calculated full probability we see that the two-step contribution is simply the product of probabilities for single photon emission while the additional one-step terms are, mainly, interferences due to several possible intermediate virtual states. These terms can contribute significantly when the crystal is thin. Therefore, in addition, we see how one can, for a thick crystal, calculate multiple photon emissions quickly by neglecting the one-step terms, which represents a solution of the problem of quantum radiation reaction in a crystal beyond the usually applied constant field approximation. We explicitly calculate an example of 180 GeV electrons in a thin Silicon crystal and argue why it is, for experimental reasons, more feasible to see the one-step contribution in a crystal experiment than in a laser experiment.


title: Massive AdS Supergravitons and Holography

abstract: I compare two holographic mechanisms giving to the graviton a parametrically-small supersymmetric mass $m_g$ in Anti-de Sitter spacetime. In the context of bi-metric gravity these mechanisms couple `weakly' two initially decoupled superconformal theories by: (i) turning on a double-trace deformation, or (ii) gauging a common global symmetry. Superconformal invariance restricts the number of Poincar\'e supercharges to $N_Q\leq 4$ for mechanism (i) and to $N_Q\leq 8$ for mechanism (ii), and the AdS dimension to $D\leq 5$. The putative effective supergravities are expected to break down in the $m_g\to 0$ limit at an intermediate scale between $ m_g$ and $m_{\rm Planck}$. In a recently-proposed microscopic embedding of mechanism (ii) in string theory I show that $m_g=0$ is at infinite distance in moduli space, and I relate the breakdown of the effective theory to the condensation of unprotected spin-2 excitations in the string-theoretic description of the `holographic bridge'. The phenomenon is invisible in the weakly-coupled CFT side. I conjecture that similar phenomena should be at work in all cases.


title: Understanding and Utilizing Deep Neural Networks Trained with Noisy Labels

abstract: Noisy labels are ubiquitous in real-world datasets, which poses a challenge for robustly training deep neural networks (DNNs) as DNNs usually have the high capacity to memorize the noisy labels. In this paper, we find that the test accuracy can be quantitatively characterized in terms of the noise ratio in datasets. In particular, the test accuracy is a quadratic function of the noise ratio in the case of symmetric noise, which explains the experimental findings previously published. Based on our analysis, we apply cross-validation to randomly split noisy datasets, which identifies most samples that have correct labels. Then we adopt the Co-teaching strategy which takes full advantage of the identified samples to train DNNs robustly against noisy labels. Compared with extensive state-of-the-art methods, our strategy consistently improves the generalization performance of DNNs under both synthetic and real-world training noise.


title: Ques-Chain: an Ethereum Based E-Voting System

abstract: Ethereum is an open-source, public, blockchain-based distributed computing platform and operating system featuring smart contract functionality. In this paper, we proposed an Ethereum based eletronic voting (e-voting) protocol, Ques-Chain, which can ensure the authentication can be done without hurting confidentiality and the anonymity can be protected without problems of scams at the same time. Furthermore, the authors considered the wider usages Ques-Chain can be applied on, pointing out that it is able to process all kinds of messages and can be used in all fields with similar needs.


title: Computational Study of Ultrathin CNT Films with the Scalable Mesoscopic Distinct Element Method

abstract: In this work we present a computational study of the small strain mechanics of freestanding ultrathin CNT films under in-plane loading. The numerical modeling of the mechanics of representatively large specimens with realistic micro- and nanostructure is presented. Our simulations utilize the scalable implementation of the mesoscopic distinct element method of the waLBerla multi-physics framework. Within our modeling approach, CNTs are represented as chains of interacting rigid segments. Neighboring segments in the chain are connected with elastic bonds, resolving tension, bending, shear and torsional deformations. These bonds represent a covalent bonding within CNT surface and utilize Enhanced Vector Model (EVM) formalism. Segments of the neighboring CNTs interact with realistic coarse-grained anisotropic vdW potential, enabling relative slip of CNTs in contact. The advanced simulation technique allowed us to gain useful insights on the behavior of CNT materials. In particular, it was established that the energy dissipation during CNT sliding leads to extended load transfer that conditions material-like mechanical response of the weakly bonded assemblies of CNTs.


title: Minimal Cohen-Macaulay Simplicial Complexes

abstract: We define and study the notion of a minimal Cohen-Macaulay simplicial complex. We prove that any Cohen-Macaulay complex is shelled over a minimal one in our sense, and we give sufficient conditions for a complex to be minimal Cohen-Macaulay. We show that many interesting examples of Cohen-Macaulay complexes in combinatorics are minimal, including Rudin's ball, Ziegler's ball, the dunce hat, and recently discovered non-partitionable Cohen-Macaulay complexes. We further provide various ways to construct such complexes.


title: A Review of Keyphrase Extraction

abstract: Keyphrase extraction is a textual information processing task concerned with the automatic extraction of representative and characteristic phrases from a document that express all the key aspects of its content. Keyphrases constitute a succinct conceptual summary of a document, which is very useful in digital information management systems for semantic indexing, faceted search, document clustering and classification. This article introduces keyphrase extraction, provides a well-structured review of the existing work, offers interesting insights on the different evaluation approaches, highlights open issues and presents a comparative experimental study of popular unsupervised techniques on five datasets.


title: On Szemer\'edi's theorem with differences from a random set

abstract: We consider, over both the integers and finite fields, Szemer\'{e}di's theorem on $k$-term arithmetic progressions where the set $S$ of allowed common differences in those progressions is restricted and random. Fleshing out a line of enquiry suggested by Frantzikinakis et al, we show that over the integers, the conjectured threshold for $\mathbb{P}(d \in S)$ for Szemer\'{e}di's theorem to hold a.a.s follows from a conjecture about how so-called dual functions are approximated by nilsequences. We also show that the threshold over finite fields is different to this threshold over the integers.


title: Radio Map Based Path Planning for Cellular-Connected UAV

abstract: In this paper, we study the path planning for a cellular-connected unmanned aerial vehicle (UAV) to minimize its flying distance from given initial to final locations, while ensuring a target link quality in terms of the large-scale channel gain with each of its associated ground base stations (GBSs) during the flight. To this end, we propose the use of radio map that provides the information on the large-scale channel gains between each GBS and uniformly sampled locations on a three-dimensional (3D) grid over the region of interest, which are assumed to be time-invariant due to the generally static and large-size obstacles therein (e.g., buildings). Based on the given radio maps of the GBSs, we first obtain the optimal UAV path by solving an equivalent shortest path problem (SPP) in graph theory. To reduce the computation complexity of the optimal solution, we further propose a grid quantization method whereby the grid points in each GBS's radio map are more coarsely sampled by exploiting the spatial channel correlation over neighboring grids. Then, we solve the approximate SPP over the reduced-size radio map (graph) more efficiently. Numerical results show that the proposed solutions can effectively minimize the flying distance of the UAV subject to its communication quality constraint. Moreover, a flexible trade-off between performance and complexity can be achieved by adjusting the quantization ratio for the radio map.


title: Application of the Statistical Moment Method to Melting Properties of Ternary Alloys with FCC Structure

abstract: The high-pressure melting properties of the ternary alloy AlCuSi with face-centred cubic structure is theoretically investigated using the statistical moment method. We calculate the melting temperature for the alloy under pressure up to 80 GPa. The dependence of the melting temperature on the content of alloying elements is also studied. Our results agree well with previous experiments, simulations, and other theoretical calculations.


title: A Gross-Kohnen-Zagier theorem for non-split Cartan curves

abstract: Let $p$ be a prime number and let $E/\mathbb{Q}$ be an elliptic curve of conductor $p^2$ and odd analytic rank. We prove that the positions of its special points arising from non-split Cartan curves and imaginary quadratic fields where $p$ is inert are encoded in the Fourier coefficients of a Jacobi form of weight $6$ and lattice index of rank $9$, obtaining a result analogous to that of Gross, Kohnen and Zagier.


title: Scalable and Efficient Comparison-based Search without Features

abstract: We consider the problem of finding a target object $t$ using pairwise comparisons, by asking an oracle questions of the form \emph{"Which object from the pair $(i,j)$ is more similar to $t$?"}. Objects live in a space of latent features, from which the oracle generates noisy answers. First, we consider the {\em non-blind} setting where these features are accessible. We propose a new Bayesian comparison-based search algorithm with noisy answers; it has low computational complexity yet is efficient in the number of queries. We provide theoretical guarantees, deriving the form of the optimal query and proving almost sure convergence to the target $t$. Second, we consider the \emph{blind} setting, where the object features are hidden from the search algorithm. In this setting, we combine our search method and a new distributional triplet embedding algorithm into one scalable learning framework called \textsc{Learn2Search}. We show that the query complexity of our approach on two real-world datasets is on par with the non-blind setting, which is not achievable using any of the current state-of-the-art embedding methods. Finally, we demonstrate the efficacy of our framework by conducting an experiment with users searching for movie actors.


title: Field theories with (2,0) AdS supersymmetry in ${\cal N}=1$ AdS superspace

abstract: In three dimensions, it is known that field theories possessing extended $(p,q)$ anti-de Sitter (AdS) supersymmetry with ${\cal N}=p+q \geq 3$ can be realised in (2,0) AdS superspace. Here we present a formalism to reduce every field theory with (2,0) AdS supersymmetry to ${\cal N}=1$ AdS superspace. As nontrivial examples, we consider supersymmetric nonlinear sigma models formulated in terms of ${\cal N}=2$ chiral and linear supermultiplets. The $(2,0) \to (1,0)$ AdS reduction technique is then applied to the off-shell massless higher-spin supermultiplets in (2,0) AdS superspace constructed in [1]. As a result, for each superspin value $\hat s$, integer $(\hat s= s)$ or half-integer $(\hat s= s+1/2)$, with $s=1,2,\dots $, we obtain two off-shell formulations for a massless ${\cal N}=1$ superspin-$\hat s$ multiplet in AdS${}_3$. These models prove to be related to each other by a superfield Legendre transformation in the flat superspace limit, but the duality is not lifted to the AdS case. Two out of the four series of ${\cal N}=1$ supersymmetric higher-spin models thus derived are new. The constructed massless ${\cal N}=1$ supersymmetric higher-spin actions in AdS${}_3$ are used to formulate (i) higher-spin supercurrent multiplets in ${\cal N}=1$ AdS superspace; and (ii) new topologically massive higher-spin off-shell supermultiplets. Examples of ${\cal N}=1$ higher-spin supercurrents are given for models of a complex scalar supermultiplet. We also present two new off-shell formulations for a massive ${\cal N}=1$ gravitino supermultiplet in AdS${}_3$.