title: AI-driven Inverse Design System for Organic Molecules

abstract: Designing novel materials that possess desired properties is a central need across many manufacturing industries. Driven by that industrial need, a variety of algorithms and tools have been developed that combine AI (machine learning and analytics) with domain knowledge in physics, chemistry, and materials science. AI-driven materials design can be divided to mainly two stages; the first one is the modeling stage, where the goal is to build an accurate regression or classification model to predict material properties (e.g. glass transition temperature) or attributes (e.g. toxic/non-toxic). The next stage is design, where the goal is to assemble or tune material structures so that they can achieve user-demanded target property values based on a prediction model that is trained in the modeling stage. For maximum benefit, these two stages should be architected to form a coherent workflow. Today there are several emerging services and tools for AI-driven material design, however, most of them provide only partial technical components (e.g. data analyzer, regression model, structure generator, etc.), that are useful for specific purposes, but for comprehensive material design, those components need to be orchestrated appropriately. Our material design system provides an end-to-end solution to this problem, with a workflow that consists of data input, feature encoding, prediction modeling, solution search, and structure generation. The system builds a regression model to predict properties, solves an inverse problem on the trained model, and generates novel chemical structure candidates that satisfy the target properties. In this paper we will introduce the methodology of our system, and demonstrate a simple example of inverse design generating new chemical structures that satisfy targeted physical property values.


title: Electronic and magnetic properties of 3$d$ transition-metal adatoms on Mn/W(110)

abstract: Using density functional theory, we investigate the electronic and magnetic properties of $3d$ transition-metal adatoms adsorbed on a monolayer of Mn on W(110). Mn/W(110) has a noncollinear cycloidal spin-spiral ground state with an angle of 173$^\circ$ between magnetic moments of adjacent Mn rows. It allows to rotate the spin orientation of an adsorbed magnetic adatom quasi-continuously. Therefore, this surface is ideally suited for manipulating the spin direction of individual atoms and exploring their magnetic properties using scanning tunneling microscopy (STM). The adsorbed V and Cr transition-metal adatoms couple antiferromagnetically to the nearest neighbor Mn atom of Mn monolayer while Mn, Fe, Co, and Ni couple ferromagnetically. The magnetic moments of the $3d$ adatoms are large and show a Hund's rule type of trend with a peak in the middle of the series. We find large spin splitting of the $3d$ transition-metal adatoms, large spin polarization of the local vacuum density of states up to 73\% at the Fermi energy, and significant tunneling anisotropic magnetoresistance enhancement up to 27\%. We conclude that such large values stem from the strong hybridization between the adatoms and the Mn atoms of the monolayer. Furthermore, identification of spin orientations of the adatom using spin-polarized STM is only possible for Co and V adatoms.


title: Estimation for Compositional Data using Measurements from Nonlinear Systems using Artificial Neural Networks

abstract: Our objective is to estimate the unknown compositional input from its output response through an unknown system after estimating the inverse of the original system with a training set. The proposed methods using artificial neural networks (ANNs) can compete with the optimal bounds for linear systems, where convex optimization theory applies, and demonstrate promising results for nonlinear system inversions. We performed extensive experiments by designing numerous different types of nonlinear systems.

categories: cs.LG cs.NE math.OC math.ST stat.ML stat.TH


title: The moduli space of marked supersingular Enriques surfaces

abstract: We construct a moduli space of adequately marked Enriques surfaces that have a supersingular K3 cover over fields of characteristic $p \geq 3$. We show that this moduli space exists as a scheme locally of finite type over $\mathbb{F}_p$. Moreover, there exists a period map from this moduli space to a period scheme and we obtain a Torelli theorem for supersingular Enriques surfaces.


title: Strong approximation of Gaussian beta-ensemble characteristic polynomials: the hyperbolic regime

abstract: We investigate the characteristic polynomials $\varphi_N$ of the Gaussian $\beta$-ensemble for general $\beta>0$ through its transfer matrix recurrence. Our motivation is to obtain a (probabilistic) approximation for $\varphi_N$ in terms of a Gaussian log--correlated field in order to ultimately deduce some of its fine asymptotic properties. We distinguish between different types of transfer matrices and analyze completely the hyperbolic regime of the recurrence. As a result, we obtain a new coupling between $\varphi_N(z)$ and a Gaussian analytic function with an error which is uniform for $z \in \mathbb{C}$ separated from the support of the semicircle law. We use this as input to give the almost sure scaling limit of the characteristic polynomial at the edge in arXiv:2009.05003. This is also required to obtain analogous strong approximations inside of the bulk of the semicircle law. Our analysis relies on moderate deviation estimates for the product of transfer matrices and this approach might also be useful in different contexts.


title: Optimal terminal sliding-mode control for second-order motion systems

abstract: Terminal sliding mode (TSM) control algorithm and its non-singular refinement have been elaborated for two decades and belong, since then, to a broader class of the finite-time controllers, which are known to be robust against the matched perturbations. While TSM manifold allows for different forms of the sliding variable, which are satisfying the $q/p$ power ratio of the measurable output state, we demonstrate that $q/p=0.5$ is the optimal one for the second-order Newton's motion dynamics with a bounded control action. The paper analyzes the time-optimal sliding surface and, based thereupon, claims the optimal TSM control for the second-order motion systems. It is stressed that the optimal TSM control is fully inline with the Fuller's problem of optimal switching which minimizes the settling time, i.e. with time-optimal control of an unperturbed double-integrator. Is is also shown that for the given plant characteristics, i.e. the overall inertia and control bound, there is no need for additional control parameters. The single surface design parameter might (but not necessarily need to) be used for driving system on the boundary layer of the twisting mode, or for forcing it to the robust terminal sliding mode. Additional insight is given into the finite-time convergence of TSM and robustness against the bounded perturbations. Numerical examples with different upper-bounded perturbations are demonstrated.


title: RF current condensation in the presence of turbulent enhanced transport

abstract: Sharp temperature gradients in a magnetically confined plasma can lead to turbulent motion of the plasma. This turbulence in turn enhances the transport of heat across magnetic field lines. The enhanced transport impacts the temperature differential that can be sustained in magnetic islands between the island centre and its periphery. It is shown here that, by limiting this temperature differential, this enhanced transport can have a profound influence on the extent to which the RF current condensation effect stabilises the island growth. Interestingly, because the heat transport is no longer simply linear in the temperature gradient, the RF current condensation effect also exhibits entirely new hysteresis phenomena.


title: Equivalence of the effective non-hermitian Hamiltonians in the context of open quantum systems and strongly-correlated electron systems

abstract: Recently, it has become clear that non-hermitian phenomena can be observed not only in open quantum systems experiencing gain and loss but also in equilibrium single-particle properties of strongly correlated systems. However, the circumstances and requirements for the emergence of non-hermitian phenomena in each field are entirely different. While the implementation of postselection is a significant obstacle to observe non-hermitian phenomena in open quantum systems, it is unnecessary in strongly correlated systems. Until now, a relation between both descriptions of non-hermitian phenomena has not been revealed. In this paper, we close this gap and demonstrate that the non-hermitian Hamiltonians emerging in both fields are identical, and we clarify the conditions for the emergence of a non-hermitian Hamiltonian in strongly correlated materials. Using this knowledge, we propose a method to analyze non-hermitian properties without the necessity of postselection by studying specific response functions of open quantum systems and strongly correlated systems.


title: PDE-based Group Equivariant Convolutional Neural Networks

abstract: We present a PDE-based framework that generalizes Group equivariant Convolutional Neural Networks (G-CNNs). In this framework, a network layer is seen as a set of PDE-solvers where geometrically meaningful PDE-coefficients become the layer's trainable weights. Formulating our PDEs on homogeneous spaces allows these networks to be designed with built-in symmetries such as rotation in addition to the standard translation equivariance of CNNs. Having all the desired symmetries included in the design obviates the need to include them by means of costly techniques such as data augmentation. We will discuss our PDE-based G-CNNs (PDE-G-CNNs) in a general homogeneous space setting while also going into the specifics of our primary case of interest: roto-translation equivariance. We solve the PDE of interest by a combination of linear group convolutions and non-linear morphological group convolutions with analytic kernel approximations that we underpin with formal theorems. Our kernel approximations allow for fast GPU-implementation of the PDE-solvers, we release our implementation with this article in the form of the LieTorch extension to PyTorch, available at https://gitlab.com/bsmetsjr/lietorch . Just like for linear convolution a morphological convolution is specified by a kernel that we train in our PDE-G-CNNs. In PDE-G-CNNs we do not use non-linearities such as max/min-pooling and ReLUs as they are already subsumed by morphological convolutions. We present a set of experiments to demonstrate the strength of the proposed PDE-G-CNNs in increasing the performance of deep learning based imaging applications with far fewer parameters than traditional CNNs.


title: Subcritical well-posedness results for the Zakharov-Kuznetsov equation in dimension three and higher

abstract: The Zakharov-Kuznetsov equation in space dimension $d\geq 3$ is considered. It is proved that the Cauchy problem is locally well-posed in $H^s(\mathbb{R}^d)$ in the full subcritical range $s>(d-4)/2$, which is optimal up to the endpoint. As a corollary, global well-posedness in $L^2(\mathbb{R}^3)$ and, under a smallness condition, in $H^1(\mathbb{R}^4)$, follow.


title: Cooperative versus decentralized strategies in three-pursuer single-evader games

abstract: The value of cooperation in pursuit-evasion games is investigated. The considered setting is that of three pursuers chasing one evader in a planar environment. The optimal evader trajectory for a well-known decentralized pursuer strategy is characterized. This result is instrumental to derive upper and lower bounds to the game length, in the case in which the pursuers cooperate in the chasing strategy. It is shown that the cooperation cannot reduce the capture time by more than one half with respect to the decentralized case, and that such bound is tight.


title: Increasing the Raw Key Rate in Energy-Time Entanglement Based Quantum Key Distribution

abstract: A Quantum Key Distribution (QKD) protocol describes how two remote parties can establish a secret key by communicating over a quantum and a public classical channel that both can be accessed by an eavesdropper. QKD protocols using energy-time entangled photon pairs are of growing practical interest because of their potential to provide a higher secure key rate over long distances by carrying multiple bits per entangled photon pair. We consider a system where information can be extracted by measuring random times of a sequence of entangled photon arrivals. Our goal is to maximize the utility of each such pair. We propose a discrete time model for the photon arrival process, and establish a theoretical bound on the number of raw bits that can be generated under this model. We first analyse a well known simple binning encoding scheme, and show that it generates significantly lower information rate than what is theoretically possible. We then propose three adaptive schemes that increase the number of raw bits generated per photon, and compute and compare the information rates they offer. Moreover, the effect of public channel communication on the secret key rates of the proposed schemes is investigated.


title: Parity- and time-reversal-violating nuclear forces

abstract: Parity-violating and time-reversal conserving (PVTC) and parity-violating and time-reversal-violating (PVTV) forces in nuclei form only a tiny component of the total interaction between nucleons. The study of these tiny forces can nevertheless be of extreme interest because they allow to obtain information on fundamental symmetries using nuclear systems. The PVTC interaction derives from the weak interaction between the quarks inside nucleons and nuclei and the study of PVTC effects opens a window on the quark-quark weak interaction. The PVTV interaction is sensitive to more exotic interactions at the fundamental level, in particular to strong CP violation in the Standard Model Lagrangian, or even to exotic phenomena predicted in various beyond-the-Standard-Model scenarios. The presence of these interactions can be revealed either by studying various asymmetries in polarized scattering of nuclear systems, or by measuring the presence of non-vanishing permanent electric dipole moments of nucleons, nuclei and diamagnetic atoms and molecules. In this contribution, we review the derivation of the nuclear PVTC and PVTV interactions within various frameworks. We focus in particular on the application of chiral effective field theory, which allows for a more strict connection with the fundamental interactions at the quark level. We investigate PVTC and PVTV effects induced by these potential on several few-nucleon observables, such as the longitudinal asymmetry in proton-proton scattering and radiative neutron-proton capture, and the electric dipole momentsof the deuteron and the trinucleon system.


title: Cryogenic SiPM arrays for the DUNE photon detection system

abstract: In this paper we report on the characterization of SiPM tiles developed for the R & D on the DUNE Photon Detection System. The tiles were produced by Fondazione Bruno Kessler (FBK) employing NUV-HD-SF SiPMs. Special emphasis is given on cryo-reliability of the sensors, i.e. the stability of electric and mechanical properties after thermal cycles at room and 77K temperature. The characterization includes the determination of the I-V curve, a high sensitivity measurement of Dark Count Rate at different overvoltages, and correlated noise. The single p.e. sensitivity is measured as a function of the number of sensors connected to a single electronic channel, after amplification at 77K using a dedicated cold amplifier.


title: Enhancing Virtual Ontology Based Access over Tabular Data with Morph-CSV

abstract: Ontology-Based Data Access (OBDA) has traditionally focused on providing a unified view of heterogeneous datasets, either by materializing integrated data into RDF or by performing on-the fly querying via SPARQL query translation. In the specific case of tabular datasets represented as several CSV or Excel files, query translation approaches have been applied by considering each source as a single table that can be loaded into a relational database management system (RDBMS). Nevertheless, constraints over these tables are not represented; thus, neither consistency among attributes nor indexes over tables are enforced. As a consequence, efficiency of the SPARQL-to-SQL translation process may be affected, as well as the completeness of the answers produced during the evaluation of the generated SQL query. Our work is focused on applying implicit constraints on the OBDA query translation process over tabular data. We propose Morph-CSV, a framework for querying tabular data that exploits information from typical OBDA inputs (e.g., mappings, queries) to enforce constraints that can be used together with any SPARQL-to-SQL OBDA engine. Morph-CSV relies on both a constraint component and a set of constraint operators. For a given set of constraints, the operators are applied to each type of constraint with the aim of enhancing query completeness and performance. We evaluate Morph-CSV in several domains: e-commerce with the BSBM benchmark; transportation with a benchmark using the GTFS dataset from the Madrid subway; and biology with a use case extracted from the Bio2RDF project. We compare and report the performance of two SPARQL-to-SQL OBDA engines, without and with the incorporation of MorphCSV. The observed results suggest that Morph-CSV is able to speed up the total query execution time by up to two orders of magnitude, while it is able to produce all the query answers.


title: Dynamics of Spiral Spin Waves in Magnetic Nano-patches: Influence of Thickness and Shape

abstract: We explore the dynamics of spiral spin waves in Permalloy nano-elements with variable aspect ratio of geometric dimensions, and their potential use as improved spin wave emitters with no or little biasing field required. Numerical results show that above a certain thickness, propagating spiral waves can be obtained in circular and square shaped elements in a flux closure state. VNA-FMR experiments on 20 nm (thin) and 80 nm (thick) samples confirm two type of spectra corresponding to different dispersions for thinner and thicker elements. We show that, for the thicker films, the vortex core region acts as a source of large amplitude spiral spin waves, which dominate over other modes. In case of the thinner elements, these modes are critically damped. For different shapes of the patch, we show that a rich collection of confined propagating modes can also be excited, modifying the final wave front and enriching the potential of the nano-dot as a spin wave emitter. We give an explanation for the intense spiral modes from the perspective of a balance of dipolar and exchange energies in the sample.


title: Suppression of vortical turbulence in plasma of mass-separator in crossed electrical and magnetic fields due to finite lifetime of electrons and ions and due to finite system length

abstract: The dispersion equation, describing the instability development of vortex turbulence excitation in cylindrical plasma in crossed radial electric and axial magnetic fields with taking into account the longitudinal inhomogeneity and finite time of leaving of plasma electrons and ions from the system, has been derived. It is shown that the finite length of system time and finite time of system leaving of plasma electrons and ions leads to the appearance of the instability threshold and to decrease of growth rate of its development.


title: Forecasting Corn Yield with Machine Learning Ensembles

abstract: The emerge of new technologies to synthesize and analyze big data with high-performance computing, has increased our capacity to more accurately predict crop yields. Recent research has shown that Machine learning (ML) can provide reasonable predictions, faster, and with higher flexibility compared to simulation crop modeling. The earlier the prediction during the growing season the better, but this has not been thoroughly investigated as previous studies considered all data available to predict yields. This paper provides a machine learning based framework to forecast corn yields in three US Corn Belt states (Illinois, Indiana, and Iowa) considering complete and partial in-season weather knowledge. Several ensemble models are designed using blocked sequential procedure to generate out-of-bag predictions. The forecasts are made in county-level scale and aggregated for agricultural district, and state level scales. Results show that ensemble models based on weighted average of the base learners outperform individual models. Specifically, the proposed ensemble model could achieve best prediction accuracy (RRMSE of 7.8%) and least mean bias error (-6.06 bu/acre) compared to other developed models. Comparing our proposed model forecasts with the literature demonstrates the superiority of forecasts made by our proposed ensemble model. Results from the scenario of having partial in-season weather knowledge reveal that decent yield forecasts can be made as early as June 1st. To find the marginal effect of each input feature on the forecasts made by the proposed ensemble model, a methodology is suggested that is the basis for finding feature importance for the ensemble model. The findings suggest that weather features corresponding to weather in weeks 18-24 (May 1st to June 1st) are the most important input features.


title: Investigations of Natural Radioactivity levels and Assessment of radiological hazard of Tea samples collected from local market in Ethiopia

abstract: In this study, the activity concentration of natural ( 238 U, 232 Th, 40 K) and artificial radionuclides (137 Cs) were measurements in six different brands of tea have been collected from local market in Ethiopia (Addis Ababa city). have been analyzed by a detection system consisting of High Purity Germanium (HPGe) detector and multichannel analyzer. The average activity concentrations were nuclide M D A report 238U, 232Th and 40 K respectively. The mean values were found 3.66$ \pm$0.47, 18.28$\pm $2.4 and 582.59$ \pm $29.64 Bq/kg respectively. The activity concentration of 40K is increasing faster than the other NORM for Tea. In order to evaluate the radiological hazard of the natural radioactivity, radium equivalent (Raeq ), the external hazard index (Hex), internal hazrd index (Hin) , the total absorbed dose rate (D), the annual effective dose equivalent (AEDE) have been calculated and compared with the international acceptable value.


title: Search for correlations of high-energy neutrinos and ultra-high energy cosmic rays

abstract: The sources of ultra-high energy cosmic rays (UHECRs) are still one of the main open questions in high-energy astrophysics. If UHECRs are accelerated in astrophysical sources, they are expected to produce high-energy photons and neutrinos due to the interaction with the surrounding astrophysical medium or ambient radiation. In particular, neutrinos are powerful probes for the investigation of the region of production and acceleration of UHECRs since they are not sensitive to magnetic deflections nor to interactions with the interstellar medium. The results of three different analyses that correlate the very high-energy neutrino candidates detected by IceCube and ANTARES and the highest-energy cosmic rays measured by the Pierre Auger Observatory and the Telescope Array will be discussed. The first two analyses use a sample of high-energy neutrinos from IceCube and ANTARES selected to have a significant probability to be of astrophysical origin. The first analysis cross-correlates the arrival directions of these selected neutrino events and UHECRs. The second one is a stacked likelihood analysis assuming as stacked sources the high-energy neutrino directions and looking for excesses in the UHECR data set around the directions of the neutrino candidates. The third analysis instead uses a larger sample of neutrinos selected to look for neutrino point-like sources. It consists of a likelihood method that looks for excesses in the neutrino point-source data set around the directions of the highest-energy UHECRs.


title: Into the Ly{\alpha} jungle: exploring the circumgalactic medium of galaxies at z ~ 4-5 with MUSE

abstract: We present a study of the galaxy environment of 9 strong HI+CIV absorption line systems ($16.2<{\rm log}(N({\rm HI}))<21.2$) spanning a wide range in metallicity at $z\sim4-5$, using MUSE integral field and X-Shooter spectroscopic data collected in a $z\approx 5.26$ quasar field. We identify galaxies within a 250 kpc and $\pm1000$ km s$^{-1}$ window for 6 out of the 9 absorption systems, with 2 of the absorption line systems showing multiple associated galaxies within the MUSE field of view. The space density of Ly$\alpha$ emitting galaxies (LAEs) around the HI and CIV systems is $\approx10-20$ times the average sky density of LAEs given the flux limit of our survey, showing a clear correlation between the absorption and galaxy populations. Further, we find that the strongest CIV systems in our sample are those that are most closely aligned with galaxies in velocity space, i.e. within velocities of $\pm500$ km s$^{-1}$. The two most metal poor systems lie in the most dense galaxy environments, implying we are potentially tracing gas that is infalling for the first time into star-forming groups at high redshift. Finally, we detect an extended Ly$\alpha$ nebula around the $z\approx 5.26$ quasar, which extends up to $\approx50$ kpc at the surface brightness limit of $3.8 \times 10^{-18}$ erg s$^{-1}$ cm$^{-2}$ arcsec$^{-2}$. After scaling for surface brightness dimming, we find that this nebula is centrally brighter, having a steeper radial profile than the average for nebulae studied at $z\sim3$ and is consistent with the mild redshift evolution seen from $z\approx 2$.


title: Metal-to-metal transition and heavy-electron state in Nd$_4$Ni$_3$O$_{10-\delta}$

abstract: The trilayer nickelate Nd$_4$Ni$_3$O$_{10-\delta}$ ($\delta \approx$ 0.15) was investigated by the measurements of x-ray diffraction, electrical resistivity, magnetic susceptibility, and heat capacity. The crystal structure data suggest a higher Ni valence in the inner perovskite-like layer. At ambient pressure the resistivity shows a jump at 162 K, indicating a metal-to-metal transition (MMT). The MMT is also characterized by a magnetic susceptibility drop, a sharp specific-heat peak, and an isotropic lattice contraction. Below $\sim$ 50 K, a resistivity upturn with a log$T$ dependence shows up, accompanying with a negative thermal expansion. External hydrostatic pressure suppresses the resistivity jump progressively, coincident with the diminution of the log$T$ behavior. The low-temperature electronic specific-heat coefficient is extracted to be $\sim$ 150 mJ K$^{-2}$ mol-fu$^{-1}$, equivalent to $\sim$ 50 mJ K$^{-2}$ mol-Ni$^{-1}$, indicating an unusual heavy-electron correlated state. The novel heavy-electron state as well as the logarithmic temperature dependence of resistivity is explained in terms of the Ni$^{3+}$ centered Kondo effect in the inner layer of the (NdNiO$_3$)$_3$ trilayers.


title: Optical Resonance Shift Spin Noise Spectroscopy

abstract: Quantum spin fluctuations provide a unique way to study spin dynamics without system perturbation. Here we put forward an optical resonance shift spin noise spectroscopy as a powerful tool to measure the spin noise of various systems from magnetic impurities in solids to free atoms and molecules. The quantum spin fluctuations in these systems can shift the optical resonances by more than the homogeneous linewidth and produce huge Faraday rotation noise. We demonstrate, that the resonance shift spin noise spectroscopy gives access to the high order spin correlators, which contain complete information about the spin dynamics in contrast with the second order correlator measured by conventional Pauli-blocking spin noise spectroscopy. The high order quantum spin correlators manifest themselves as a comb of peaks in the Faraday rotation noise spectra in transverse magnetic field. This effect is closely related with the multispin flip Raman scattering observed in the Mn-doped nanostructures.


title: Kernel of CycleGAN as a Principle homogeneous space

abstract: Unpaired image-to-image translation has attracted significant interest due to the invention of CycleGAN, a method which utilizes a combination of adversarial and cycle consistency losses to avoid the need for paired data. It is known that the CycleGAN problem might admit multiple solutions, and our goal in this paper is to analyze the space of exact solutions and to give perturbation bounds for approximate solutions. We show theoretically that the exact solution space is invariant with respect to automorphisms of the underlying probability spaces, and, furthermore, that the group of automorphisms acts freely and transitively on the space of exact solutions. We examine the case of zero `pure' CycleGAN loss first in its generality, and, subsequently, expand our analysis to approximate solutions for `extended' CycleGAN loss where identity loss term is included. In order to demonstrate that these results are applicable, we show that under mild conditions nontrivial smooth automorphisms exist. Furthermore, we provide empirical evidence that neural networks can learn these automorphisms with unexpected and unwanted results. We conclude that finding optimal solutions to the CycleGAN loss does not necessarily lead to the envisioned result in image-to-image translation tasks and that underlying hidden symmetries can render the result utterly useless.


title: Superconducting dome in the LaAlO$_3$/SrTiO$_3$ interfaces as a direct effect of the extended s-wave symmetry of the gap

abstract: The two-dimensional electron gas (2DEG) at the LaAlO$_3$/SrTiO$_3$ interface exhibits gate tunable superconductivity with a domelike shape of $T_{\rm{C}}$ as a function of electron concentration. Here, we propose that the experimentally observed behavior can be explained as a direct effect of the dominant $extended$ $s$-$wave$ symmetry of the superconducting gap. Our results agree very well with the experimental data. As shown, neither the correlation effects nor the spin-orbit coupling influence significantly the physical picture of the paired state steaming out from our analysis.


title: Towards Graph Representation Learning in Emergent Communication

abstract: Recent findings in neuroscience suggest that the human brain represents information in a geometric structure (for instance, through conceptual spaces). In order to communicate, we flatten the complex representation of entities and their attributes into a single word or a sentence. In this paper we use graph convolutional networks to support the evolution of language and cooperation in multi-agent systems. Motivated by an image-based referential game, we propose a graph referential game with varying degrees of complexity, and we provide strong baseline models that exhibit desirable properties in terms of language emergence and cooperation. We show that the emerged communication protocol is robust, that the agents uncover the true factors of variation in the game, and that they learn to generalize beyond the samples encountered during training.


title: Five-Linear Singular Integral Estimates of Brascamp-Lieb Type

abstract: We prove the full range of estimates for a five-linear singular integral of Brascamp-Lieb type. The study is methodology-oriented with the goal to develop a sufficiently general technique to estimate singular integral variants of Brascamp-Lieb inequalities that do not obey H\"older scaling. The invented methodology constructs localized analysis on the entire space from local information on its subspaces of lower dimensions and combines such tensor-type arguments with the generic localized analysis. A direct consequence of the boundedness of the five-linear singular integral is a Leibniz rule which captures nonlinear interactions of waves from transversal directions.


title: Thermo-electric transport properties of Floquet multi-Weyl Semimetals

abstract: We discuss the circularly polarized light (of amplitude $A_0$ and frequency $\omega$) driven thermo-electric transport properties of type-I and type-II multi-Weyl semimetals (mWSMs) in the high frequency limit. Considering the low energy model, we employ the Floquet-Kubo formalism to compute the thermal Hall and Nernst conductivities for both types of mWSMs. We show that the anisotropic nature of the dispersion for arbitrary integer monopole charge $n>1$ plays an important role in determining the effective Fermi surface behavior; interestingly, one can observe momentum dependent corrections in Floquet mWSMs in addition to momentum independent contribution as observed for Floquet single WSMs. Apart from the non-trivial tuning of the Weyl node position $\pm Q \to \pm Q- A_0^{2n}/\omega$, our study reveals that the momentum independent terms result in leading order contribution in the conductivity tensor. This has the form of $n$ times the single WSMs results with effective chemical potential $\mu \to \mu -A_0^{2n}/\omega$. On the other hand, momentum dependent corrections lead to sub-leading order terms which are algebraic function of $\mu$ and are present for $n>1$. Remarkably, this analysis further allows us to distinguish type-I mWSMs from their type-II counterparts. For type-II mWSMs, we find that the transport coefficients for $n\geq 2$ exhibit algebraic dependence on the momentum cutoff in addition to the weak logarithmic dependence as noticed for $n=1$ WSMs. We demonstrate the variation and qualitative differences of transport coefficients between type-I and type-II mWSM as a function of external driving parameter $\omega$.


title: Policy Synthesis for Factored MDPs with Graph Temporal Logic Specifications

abstract: We study the synthesis of policies for multi-agent systems to implement spatial-temporal tasks. We formalize the problem as a factored Markov decision process subject to so-called graph temporal logic specifications. The transition function and the spatial-temporal task of each agent depend on the agent itself and its neighboring agents. The structure in the model and the specifications enable to develop a distributed algorithm that, given a factored Markov decision process and a graph temporal logic formula, decomposes the synthesis problem into a set of smaller synthesis problems, one for each agent. We prove that the algorithm runs in time linear in the total number of agents. The size of the synthesis problem for each agent is exponential only in the number of neighboring agents, which is typically much smaller than the number of agents. We demonstrate the algorithm in case studies on disease control and urban security. The numerical examples show that the algorithm can scale to hundreds of agents.


title: Deep Non-Line-of-Sight Reconstruction

abstract: The recent years have seen a surge of interest in methods for imaging beyond the direct line of sight. The most prominent techniques rely on time-resolved optical impulse responses, obtained by illuminating a diffuse wall with an ultrashort light pulse and observing multi-bounce indirect reflections with an ultrafast time-resolved imager. Reconstruction of geometry from such data, however, is a complex non-linear inverse problem that comes with substantial computational demands. In this paper, we employ convolutional feed-forward networks for solving the reconstruction problem efficiently while maintaining good reconstruction quality. Specifically, we devise a tailored autoencoder architecture, trained end-to-end, that maps transient images directly to a depth map representation. Training is done using an efficient transient renderer for diffuse three-bounce indirect light transport that enables the quick generation of large amounts of training data for the network. We examine the performance of our method on a variety of synthetic and experimental datasets and its dependency on the choice of training data and augmentation strategies, as well as architectural features. We demonstrate that our feed-forward network, even though it is trained solely on synthetic data, generalizes to measured data from SPAD sensors and is able to obtain results that are competitive with model-based reconstruction methods.


title: On the subring of special cycles

abstract: For a totally real field F of degree d>1 and a quadratic space V of signature (m,2)^{d_+} x (m+2,0)^{d-d_+} with associated Shimura variety Sh(V), we consider the subring of cohomology generated by the classes of weighted special cycles. We assume that d_+<d. We take the quotient SC(V) of this ring by the radical of the restriction of the intersection pairing to it. We show that the inner products of classes in SC(V) are determined by Fourier coefficients of pullbacks of Hilbert-Siegel Eisenstein series of genus m to products of smaller Siegel spaces and that the products of classes in SC(V) are determined by Fourier coefficients of pullbacks to triple products of smaller Siegel spaces. As a consequence, we show that, for quadratic spaces V and V' over F that are isomorphic at all finite places, but with no restriction on d_+(V) and d_+(V') other than the necessary condition that they have the same parity, the special cycles rings SC(V) and SC(V') are isometrically isomorphic. This is a consequence of the Siegel-Weil formula and the matching principle. Finally, we give a combinatorial construction of a ring SC(V_+) associated to a totally positive definite quadratic space V_+ of dimension m+2 over F and show that the comparison isomorphism extends to this case.


title: Some insight into Feynman's approach to electromagnetism

abstract: We retrace an ab initio relativistic derivation of Maxwell's equations that was developed by Feynman in unpublished notes, clarifying the analogies and the differences with analogous treatments present in the literature. Unlike the latter, Feynman's approach stands out because it considers electromagnetic potentials as primary, reflecting his ideas about the quantum foundations of electromagnetism. Some considerations about the foundations of special relativity, which are naturally suggested by this approach, are given in appendix.


title: Priority-based Fair Scheduling in Edge Computing

abstract: Scheduling is important in Edge computing. In contrast to the Cloud, Edge resources are hardware limited and cannot support workload-driven infrastructure scaling. Hence, resource allocation and scheduling for the Edge requires a fresh perspective. Existing Edge scheduling research assumes availability of all needed resources whenever a job request is made. This paper challenges that assumption, since not all job requests from a Cloud server can be scheduled on an Edge node. Thus, guaranteeing fairness among the clients (Cloud servers offloading jobs) while accounting for priorities of the jobs becomes a critical task. This paper presents four scheduling techniques, the first is a naive first come first serve strategy and further proposes three strategies, namely a client fair, priority fair, and hybrid that accounts for the fairness of both clients and job priorities. An evaluation on a target platform under three different scenarios, namely equal, random, and Gaussian job distributions is presented. The experimental studies highlight the low overheads and the distribution of scheduled jobs on the Edge node when compared to the naive strategy. The results confirm the superior performance of the hybrid strategy and showcase the feasibility of fair schedulers for Edge computing.


title: Nuclear effects on jet substructure observables at the LHC

abstract: Using a pQCD picture for jet evolution in a dense QCD medium, in which medium-induced parton branchings are factorized from vacuum-like emissions, we study two jet substructure observables: the $z_g$ and the Soft Drop multiplicity distributions. We compute the respective nuclear modification factors using a Monte-Carlo implementation of the parton showers. Our results are in qualitative agreement with LHC data for Pb+Pb collisions. We identify the physical mechanisms explaining our results: incoherent jet energy loss, semi-hard medium-induced emissions and the bias introduced by the steeply falling jet spectrum.


title: Material optimization of flexible blades for wind turbines

abstract: Bioinspired flexible blades have been recently shown to significantly improve the versatility of horizontal-axis wind turbines, by widening their working range and increasing their efficiency. The aerodynamic and centrifugal forces bend the blade along its chord, varying the pitch angle by means of non-consuming mechanisms. Here we introduce a general method based on a universal scaling, which finds the optimal soft materials for the blades to maximize the overall turbine efficiency or rotational power, for any required geometry of classical horizontal-axis turbines. The optimization problem, which depends on various parameters, such as the wind velocity, the rotation rate, the density, the rigidity and the geometry of the blade, is reduced to only two dimensionless parameters: the Cauchy number and the centrifugal number. The blade-element momentum theory is coupled to a torsion spring-based model for the blade deformation. Taking into account realistic incoming wind-velocity distributions in the North Sea and a large wind-turbine geometry, we found a significant increase of the total harvested power, up to +35%. In addition, the optimal soft material corresponding to the maximal efficiency over the entire working range for a given wind turbine geometry is, within the limits of small blade deformations, scale-independent. Thus experiments on small wind turbines are a possible way to determine the optimal soft materials for larger ones. These flexible blades are found to be between 5% and 20% lighter than the current rigid blades.


title: The cosmic atomic hydrogen mass density as a function of mass and galaxy hierarchy from spectral stacking

abstract: We use spectral stacking to measure the contribution of galaxies of different masses and in different hierarchies to the cosmic atomic hydrogen (HI) mass density in the local Universe. Our sample includes 1793 galaxies at $z < 0.11$ observed with the Westerbork Synthesis Radio Telescope, for which Sloan Digital Sky Survey spectroscopy and hierarchy information are also available. We find a cosmic HI mass density of $\Omega_{\rm HI} = (3.99 \pm 0.54)\times 10^{-4} h_{70}^{-1}$ at $\langle z\rangle = 0.065$. For the central and satellite galaxies, we obtain $\Omega_{\rm HI}$ of $(3.51 \pm 0.49)\times 10^{-4} h_{70}^{-1}$ and $(0.90 \pm 0.16)\times 10^{-4} h_{70}^{-1}$, respectively. We show that galaxies above and below stellar masses of $\sim$10$^{9.3}$ M$_{\odot}$ contribute in roughly equal measure to the global value of $\Omega_{\rm HI}$. While consistent with estimates based on targeted HI surveys, our results are in tension with previous theoretical work. We show that these differences are, at least partly, due to the empirical recipe used to set the partition between atomic and molecular hydrogen in semi-analytical models. Moreover, comparing our measurements with the cosmological semi-analytic models of galaxy formation {\sc Shark} and GALFORM reveals gradual stripping of gas via ram pressure works better to fully reproduce the properties of satellite galaxies in our sample, than strangulation. Our findings highlight the power of this approach in constraining theoretical models, and confirm the non-negligible contribution of massive galaxies to the HI mass budget of the local Universe.


title: Detecting topology through dynamics in interacting fermionic wires

abstract: We describe a protocol to read out the topological invariant of interacting 1D chiral models, based on measuring the mean chiral displacement of time-evolving bulk excitations. We present analytical calculations and numerical Matrix Product State simulations of interacting Su-Schrieffer-Heeger (SSH) chains, demonstrating how the mean chiral displacement allows to distinguish between topological insulator, trivial insulator and symmetry-broken phases. Finally, we provide an experimental blueprint for realizing a model displaying these three phases and describe how to detect those.


title: A topos-theoretic view of difference algebra

abstract: We view difference algebra as the study of algebraic objects in the topos of difference sets. The methods of topos theory and categorical logic enable us to develop difference homological algebra, identify a solid foundation for difference algebraic geometry, and cohomology theory of difference schemes.


title: ECM factorization with QRT maps

abstract: Quispel-Roberts-Thompson (QRT) maps are a family of birational maps of the plane which provide the simplest discrete analogue of an integrable Hamiltonian system, and are associated with elliptic fibrations in terms of biquadratic curves. Each generic orbit of a QRT map corresponds to a sequence of points on an elliptic curve. In this preliminary study, we explore versions of the elliptic curve method (ECM) for integer factorization based on iterating three different QRT maps with particular initial data. Pseudorandom number generation and other possible applications are briefly discussed.


title: Informing the Design of Privacy-Empowering Tools for the Connected Home

abstract: Connected devices in the home represent a potentially grave new privacy threat due to their unfettered access to the most personal spaces in people's lives. Prior work has shown that despite concerns about such devices, people often lack sufficient awareness, understanding, or means of taking effective action. To explore the potential for new tools that support such needs directly we developed Aretha, a privacy assistant technology probe that combines a network disaggregator, personal tutor, and firewall, to empower end-users with both the knowledge and mechanisms to control disclosures from their homes. We deployed Aretha in three households over six weeks, with the aim of understanding how this combination of capabilities might enable users to gain awareness of data disclosures by their devices, form educated privacy preferences, and to block unwanted data flows. The probe, with its novel affordances-and its limitations-prompted users to co-adapt, finding new control mechanisms and suggesting new approaches to address the challenge of regaining privacy in the connected home.


title: Adaptive Low-level Storage of Very Large Knowledge Graphs

abstract: The increasing availability and usage of Knowledge Graphs (KGs) on the Web calls for scalable and general-purpose solutions to store this type of data structures. We propose Trident, a novel storage architecture for very large KGs on centralized systems. Trident uses several interlinked data structures to provide fast access to nodes and edges, with the physical storage changing depending on the topology of the graph to reduce the memory footprint. In contrast to single architectures designed for single tasks, our approach offers an interface with few low-level and general-purpose primitives that can be used to implement tasks like SPARQL query answering, reasoning, or graph analytics. Our experiments show that Trident can handle graphs with 10^11 edges using inexpensive hardware, delivering competitive performance on multiple workloads.


title: Detecting a {\mu}{\tau}-philic Z' boson via photon initiated processes at the LHC

abstract: Discrepancy between the measured value and the Standard Model prediction of the muon anomalous magnetic moment is a possible hint for new physics. A $Z^\prime$ particle with $\mu\tau$ flavor violating couplings can give a large contribution to the muon anomalous magnetic moment due to the $\tau$ mass enhancement at the one-loop level, and is known to explain the above discrepancy. In this paper, we study the potential of the Large Hadron Collider (LHC) for detecting such a $Z^\prime$ boson via the $p p \to\mu^-\mu^-\tau^+\tau^+ $ process. Earlier studies in the literature only considered the production channel with quark initial states ($p p \to q \bar q \to\mu^-\mu^-\tau^+\tau^+ $). Here, we show that the photon initiated process, $p p \to \gamma \gamma \to \mu^-\mu^-\tau^+\tau^+ $, is in fact the dominant production mode, for a heavy $Z^\prime$ boson of mass greater than a few hundred GeV. The potential of the high luminosity (HL) LHC is also considered.


title: Stochastic integration in Hilbert spaces with respect to cylindrical martingale-valued measures

abstract: In this work we introduce a theory of stochastic integration for operator-valued integrands with respect to some classes of cylindrical martingale-valued measures in Hilbert spaces. The integral is constructed via the radonification of cylindrical martingales by a Hilbert-Schmidt operator theorem and unifies several other theories of stochastic integration in Hilbert spaces. In particular, our theory covers the theory of stochastic integration with respect to a Hilbert space valued L\'{e}vy process (which is not required to satisfy any moment condition), with respect to a cylindrical L\'{e}vy processes with (weak) second moments and with respect to a L\'{e}vy-valued random martingale measures with finite second moment. As an application of our theory of integration we prove existence and uniqueness of solutions for stochastic stochastic partial differential equations driven by multiplicative cylindrical martingale-valued measure noise with rather general coefficients.


title: Approximating Surfaces in $R^3$ by Meshes with Guaranteed Regularity

abstract: We study the problem of approximating a surface $F$ in $R^3$ by a high quality mesh, a piecewise-flat triangulated surface whose triangles are as close as possible to equilateral. The MidNormal algorithm generates a triangular mesh that is guaranteed to have angles in the interval $[49.1^o, 81.8^o]$. As the mesh size $e\rightarrow 0$, the mesh converges pointwise to $F$ through surfaces that are isotopic to $F$. The GradNormal algorithm gives a piecewise-$C^1$ approximation of $F$, with angles in the interval $[35.2^o, 101.5^o]$ as $e\rightarrow 0$. Previously achieved angle bounds were in the interval $[30^o, 120^o]$.


title: A multipolar effective one body waveform model for spin-aligned black hole binaries

abstract: We introduce \TEOBiResumSM{}, an improved version of the effective-one-body (EOB) waveform model \TEOBResumS{} for spin-aligned, coalescing black hole binaries, that includes subdominant gravitational waveform modes completed through merger and ringdown. Beyond the dominant $(\ell,|m|)=(2,2)$ one, the more robust multipoles all over the parameter space are: $(2,1)$, $(3,3)$, $(3,2)$, $(4,4)$ and $(5,5)$. The multipolar ringdown EOB waveform stems from suitably fitting many numerical relativity (NR) waveform data from the Simulating eXtreme Spacetimes (SXS) collaboration together with test-mass waveform data. Mode-mixing effects are not incorporated. The orbital (nonspinning) part of the multipolar waveform amplitudes includes test-mass results up to (relative) 6PN order and, for most modes,is Pad\'e resummed. The $m$=odd waveform multipoles (up to $\ell=5$) incorporate most of the currently available spin-dependent analytical information. Improving on previous work, we confirm that certain $m=\text{odd}$ modes, e.g. the $(2,1)$, and even the $(3,1)$, may develop a zero (or a minimum) in the amplitude for nearly equal-mass binaries and for several combinations of the individual spins. A remarkable EOB/NR agreement around such zero is found for these modes. The new waveform, and radiation reaction, prompts a new NR-calibration of the spinning sector of the model, done with only $32$ datasets.The maximum $(2,2)$ EOB/NR unfaithfulness $\bar{F}$ with Advanced LIGO noise against the SXS catalog ($\sim 595$ datasets) is always below $0.5\%$ for binaries with total mass $M$ as $10M_\odot\leq M \leq 200M_\odot$, except for a single outlier with $\max{(\bar{F})}\sim 0.85\%$. When $(2,1)$, $(3,3)$ and $(4,4)$ modes are included, one finds an excellent EOB/NR agreement up to $M\sim 120M_\odot$, above which the performance degrades slightly and moves above $3\%$


title: Orbital Dynamics of 2020 AV2: the First Vatira Asteroid

abstract: Vatira-class near-Earth objects (NEOs) have orbits entirely interior to the orbit of Venus with aphelia $0.307<Q<0.718$ AU. Recently discovered asteroid 2020 AV$_2$ by the Zwicky Transient Facility on 4 January 2020 is the first known object on a Vatira orbit. Numerical integrations of 2020 AV$_2$'s nominal orbit show it remaining in the Vatira region for the next few hundred kyr before coupling to Venus and evolving onto an Atira orbit (NEOs entirely interior to Earth's orbit with $0.718<Q<0.983$ AU) and eventually scattering out to Earth-crossing. The numerical integrations of 9900 clones within 2020 AV$_2$'s orbital uncertainty region show examples of Vatira orbits trapped in the 3:2 mean-motion resonance with Venus at semimajor axis $a\approx0.552$ AU that can survive on the order of a few Myr. Possible 2020 AV$_2$ orbits also include those on Vatira orbits between Mercury and Venus that only rarely cross that of a planet. Together the 3:2 resonance and these rarely-planet-crossing orbits provide a meta-stable region of phase space that are stable on timescales of several Myr. If 2020 AV$_2$ is currently in this meta-stable region (or was in the past), that may explain its discovery as the first Vatira and may be where more are discovered.


title: What went wrong?: Identification of Everyday Object Manipulation Anomalies

abstract: Extending the abilities of service robots is important for expanding what they can achieve in everyday manipulation tasks. On the other hand, it is also essential to ensure them to determine what they can not achieve in certain cases due to either anomalies or permanent failures during task execution. Robots need to identify these situations, and reveal the reasons behind these cases to overcome and recover from them. In this paper, we propose and analyze a Long Short-Term Memories-based (LSTM-based) awareness approach to reveal the reasons behind an anomaly case that occurs during a manipulation episode in an unstructured environment. The proposed method takes into account the real-time observations of the robot by fusing visual, auditory and proprioceptive sensory modalities to achieve this task. We also provide a comparative analysis of our method with Hidden Markov Models (HMMs) and Conditional Random Fields (CRFs). The symptoms of anomalies are first learned from a given training set, then they can be classified in real-time based on the learned models. The approaches are evaluated on a Baxter robot executing object manipulation scenarios. The results indicate that the LSTM-based method outperforms the other methods with a 0.94 classification rate in revealing causes of anomalies in case of an unexpected deviation.


title: Precision in estimating Unruh temperature

abstract: The goal of quantum metrology is the exploitation of quantum resources, like entanglement or quantum coherence, in the fundamental task of parameter estimation. Here we consider the question of the estimation of the Unruh temperature in the scenario of relativistic quantum metrology. Specifically, we study two distinct cases. First, a single Unruh-DeWitt detector interacting with a scalar quantum field undergoes an uniform acceleration for a finite amount of proper time, and the role of coherence in the estimation process is analyzed. After this, we consider two initially entangled detectors, one of which is inertial while the other one undergoes acceleration. Our results show that the maximum of the Fisher information, thus characterizing the maximum possible precision according to Cramm\'{e}r-Rao bound, occurs only for small accelerations, while it decreases fast when acceleration increases. Moreover, the role of initial coherence ---in the single detector case---, or entanglement ---in the two detectors case---, is to decrease Fisher information. Therefore, under the considered protocol, internal coherence (or entanglement) is not a resource for estimating Unruh temperature. These unexpected results show that a detection of the Unruh effect can be even more challenge than previously thought. Finally, by considering the connection between Unruh effect and Hawking radiation, we discuss how our results can be understood in the context of the estimation of Hawking temperature.


title: Finite-range effects in ultradilute quantum drops

abstract: In the first experimental realization of dilute Bose-Bose liquid drops using two hyperfine states of $^{39}$K some discrepancies between theory and experiment were observed. The standard analysis of the data using the Lee-Huang-Yang beyond mean-field theory predicted critical numbers which were significantly off the experimental measurements. Also, the radial size of the drops in the experiment proved to be larger than expected from this theory. Using a new functional, which is based on quantum Monte Carlo results of the bulk phase incorporating finite-range effects, we can explain the origin of the discrepancies in the critical number. This result proves the necessity of including finite-range corrections to deal with the observed properties in this setup. The controversy on the radial size is reasoned in terms of the departure from the optimal concentration ratio between the two species of the mixture.


title: SceneEncoder: Scene-Aware Semantic Segmentation of Point Clouds with A Learnable Scene Descriptor

abstract: Besides local features, global information plays an essential role in semantic segmentation, while recent works usually fail to explicitly extract the meaningful global information and make full use of it. In this paper, we propose a SceneEncoder module to impose a scene-aware guidance to enhance the effect of global information. The module predicts a scene descriptor, which learns to represent the categories of objects existing in the scene and directly guides the point-level semantic segmentation through filtering out categories not belonging to this scene. Additionally, to alleviate segmentation noise in local region, we design a region similarity loss to propagate distinguishing features to their own neighboring points with the same label, leading to the enhancement of the distinguishing ability of point-wise features. We integrate our methods into several prevailing networks and conduct extensive experiments on benchmark datasets ScanNet and ShapeNet. Results show that our methods greatly improve the performance of baselines and achieve state-of-the-art performance.


title: Standard Model Meets Gravity: Electroweak Symmetry Breaking and Inflation

abstract: We propose a model for combining the Standard Model (SM) with gravity. It relies on a non-minimal coupling of the Higgs field to the Ricci scalar and on the Palatini formulation of gravity. Without introducing any new degrees of freedom in addition to those of the SM and the graviton, this scenario achieves two goals. First, it generates the electroweak symmetry breaking by a non-perturbative gravitational effect. In this way, it does not only address the hierarchy problem but opens up the possibility to calculate the Higgs mass. Second, the model incorporates inflation at energies below the onset of strong-coupling of the theory. Provided that corrections due to new physics above the scale of inflation are not unnaturally large, we can relate inflationary parameters to data from collider experiments.


title: Suppressed-gap millimetre wave kinetic inductance detectors using DC-bias current

abstract: In this study, we evaluate the suitability of using DC-biased aluminium resonators as low-frequency kinetic inductance detectors operating in the frequency range of 50 - 120 GHz. Our analysis routine for supercurrent-biased resonators is based on the Usadel equations and gives outputs including density of states, complex conductivities, transmission line properties, and quasiparticle lifetimes. Results from our analysis confirm previous experimental observations on resonant frequency tuneability and retention of high quality factor. Crucially, our analysis suggests that DC-biased resonators demonstrate significantly suppressed superconducting density of states gap. Consequently these resonators have lower frequency detection threshold and are suitable materials for low-frequency kinetic inductance detectors.


title: A Cloud Security Framework Based on Trust Model and Mobile Agent

abstract: Cloud computing as a potential paradigm offers tremendous advantages to enterprises. With the cloud computing, the market's entrance time is reduced, computing capabilities is augmented and computing power is really limitless. Usually, to use the full power of cloud computing, cloud users has to rely on external cloud service provider for managing their data. Nevertheless, the management of data and services are probably not fully trustworthy. Hence, data owners are uncomfortable to place their sensitive data outside their own system .i.e., in the cloud. Bringing transparency, trustworthiness and security in the cloud model, in order to fulfill client's requirements are still ongoing. To achieve this goal, our paper introduces two levels security framework: Cloud Service Provider (CSP) and Cloud Service User (CSU). Each level is responsible for a particular task of the security. The CSU level includes a proxy agent and a trust agent, dealing with the first verification. Then a second verification is performed at the CSP level. The framework incorporates a trust model to monitor users' behaviors. The use of mobile agents will exploit their intrinsic features such as mobility, deliberate localization and secure communication channel provision. This model aims to protect user's sensitive information from other internal or external users and hackers. Moreover, it can detect policy breaches, where the users are notified in order to take necessary actions when malicious access or malicious activity would occur.


title: Quantum computation and measurements from an exotic space-time R4

abstract: The authors previously found a model of universal quantum computation by making use of the coset structure of subgroups of a free group $G$ with relations. A valid subgroup $H$ of index $d$ in $G$ leads to a 'magic' state $\left|\psi\right\rangle$ in $d$-dimensional Hilbert space that encodes a minimal informationally complete quantum measurement (or MIC), possibly carrying a finite 'contextual' geometry. In the present work, we choose $G$ as the fundamental group $\pi_1(V)$ of an exotic $4$-manifold $V$, more precisely a 'small exotic' (space-time) $R^4$ (that is homeomorphic and isometric, but not diffeomorphic to the Euclidean $\mathbb{R}^4$). Our selected example, due to to S. Akbulut and R.~E. Gompf, has two remarkable properties: (i) it shows the occurence of standard contextual geometries such as the Fano plane (at index $7$), Mermin's pentagram (at index $10$), the two-qubit commutation picture $GQ(2,2)$ (at index $15$) as well as the combinatorial Grassmannian Gr$(2,8)$ (at index $28$) , (ii) it allows the interpretation of MICs measurements as arising from such exotic (space-time) $R^4$'s. Our new picture relating a topological quantum computing and exotic space-time is also intended to become an approach of 'quantum gravity'.


title: Learning nonlocal regularization operators

abstract: A learning approach for determining which operator from a class of nonlocal operators is optimal for the regularization of an inverse problem is investigated. The considered class of nonlocal operators is motivated by the use of squared fractional order Sobolev seminorms as regularization operators. First fundamental results from the theory of regularization with local operators are extended to the nonlocal case. Then a framework based on a bilevel optimization strategy is developed which allows to choose nonlocal regularization operators from a given class which i) are optimal with respect to a suitable performance measure on a training set, and ii) enjoy particularly favorable properties. Results from numerical experiments are also provided.


title: Joint Long-Term Cache Updating and Short-Term Content Delivery in Cloud-Based Small Cell Networks

abstract: Explosive growth of mobile data demand may impose a heavy traffic burden on fronthaul links of cloud-based small cell networks (C-SCNs), which deteriorates users' quality of service (QoS) and requires substantial power consumption. This paper proposes an efficient maximum distance separable (MDS) coded caching framework for a cache-enabled C-SCNs, aiming at reducing long-term power consumption while satisfying users' QoS requirements in short-term transmissions. To achieve this goal, the cache resource in small-cell base stations (SBSs) needs to be reasonably updated by taking into account users' content preferences, SBS collaboration, and characteristics of wireless links. Specifically, without assuming any prior knowledge of content popularity, we formulate a mixed timescale problem to jointly optimize cache updating, multicast beamformers in fronthaul and edge links, and SBS clustering. Nevertheless, this problem is anti-causal because an optimal cache updating policy depends on future content requests and channel state information. To handle it, by properly leveraging historical observations, we propose a two-stage updating scheme by using Frobenius-Norm penalty and inexact block coordinate descent method. Furthermore, we derive a learning-based design, which can obtain effective tradeoff between accuracy and computational complexity. Simulation results demonstrate the effectiveness of the proposed two-stage framework.


title: Certificate complexity and symmetry of nested canalizing functions

abstract: Boolean nested canalizing functions (NCFs) have important applications in molecular regulatory networks, engineering and computer science. In this paper, we study their certificate complexity. For both Boolean values $b\in\{0,1\}$, we obtain a formula for $b$-certificate complexity and consequently, we develop a direct proof of the certificate complexity formula of an NCF. Symmetry is another interesting property of Boolean functions and we significantly simplify the proofs of some recent theorems about partial symmetry of NCFs. We also describe the algebraic normal form of $s$-symmetric NCFs. We obtain the general formula of the cardinality of the set of $n$-variable $s$-symmetric Boolean NCFs for $s=1,\dots,n$. In particular, we enumerate the strongly asymmetric Boolean NCFs.


title: Peculiar velocity cosmology with type Ia supernovae

abstract: Type Ia Supernovae have yet again the opportunity to revolutionize the field of cosmology as the new generation of surveys are acquiring thousands of nearby SNeIa opening a new era in cosmology: the direct measurement of the growth of structure parametrized by $fD$. This method is based on the SNeIa peculiar velocities derived from the residual to the Hubble law as direct tracers of the full gravitational potential caused by large scale structure. With this technique, we could probe not only the properties of dark energy, but also the laws of gravity. In this paper we present the analytical framework and forecasts. We show that ZTF and LSST will be able to reach 5\% precision on $fD$ by 2027. Our analysis is not significantly sensitive to photo-typing, but known selection functions and spectroscopic redshifts are mandatory. We finally introduce an idea of a dedicated spectrograph that would get all the required information in addition to boost the efficiency to each SNeIa so that we could reach the 5\% precision within the first two years of LSST operation and the few percent level by the end of the survey.


title: Casimir induced instabilities at metallic surfaces and interfaces

abstract: Surface plasmons subject to a surface distortion split asymmetrically in energy resulting in a net lowering of zero-point energy. This is because surface plasmon eigenvalues are the square of frequencies, a statement generally true for electromagnetic excitations. We utilize the method based on conformal mapping to demonstrate asymmetric splitting under surface corrugations leading to a decrease in zero-point energy of a single corrugated metallic surface contributing to surface reconstructions but too small on its own to drive the reconstruction. However, by introducing a second metallic surface more significant lowering of energy is seen sufficient to drive the instability of a mercury thin film.


title: Forecasting football matches by predicting match statistics

abstract: This paper considers the use of observed and predicted match statistics as inputs to forecasts of the outcomes of football matches. It is shown that, were it possible to know the match statistics in advance, highly informative forecasts of the match outcome could be made. Whilst, in practice, match statistics are never available prior to the match, this leads to a simple philosophy. If match statistics can be predicted pre-match, and if those predictions are accurate enough, it follows that informative match forecasts can be made. It is shown that Generalised Attacking Performance (GAP) ratings, introduced in a recent paper, provide a suitable methodology for predicting match statistics in advance and that they are informative enough to provide information beyond that reflected in the odds. A long term and robust gambling profit is demonstrated when the forecasts are combined with two betting strategies.


title: Secondary Braid Groups

abstract: We generalize presentations of the fundamental group of discriminant complements and arrive at a class of presentations associated naturally with words in the free monoid of the alphabet $\sigma_1,\dots,\sigma_{n-1}$. Our study addresses invariance properties of these presentations and the presented groups under various operations on the words. In particular we prove that the group does only depend on the corresponding element in the positive braid monoid, and under mild hypotheses only on its conjugacy class in the braid group.


title: TVR: A Large-Scale Dataset for Video-Subtitle Moment Retrieval

abstract: We introduce TV show Retrieval (TVR), a new multimodal retrieval dataset. TVR requires systems to understand both videos and their associated subtitle (dialogue) texts, making it more realistic. The dataset contains 109K queries collected on 21.8K videos from 6 TV shows of diverse genres, where each query is associated with a tight temporal window. The queries are also labeled with query types that indicate whether each of them is more related to video or subtitle or both, allowing for in-depth analysis of the dataset and the methods that built on top of it. Strict qualification and post-annotation verification tests are applied to ensure the quality of the collected data. Further, we present several baselines and a novel Cross-modal Moment Localization (XML ) network for multimodal moment retrieval tasks. The proposed XML model uses a late fusion design with a novel Convolutional Start-End detector (ConvSE), surpassing baselines by a large margin and with better efficiency, providing a strong starting point for future work. We have also collected additional descriptions for each annotated moment in TVR to form a new multimodal captioning dataset with 262K captions, named TV show Caption (TVC). Both datasets are publicly available. TVR: https://tvr.cs.unc.edu, TVC: https://tvr.cs.unc.edu/tvc.html.


title: Why Temporal Persistence of Biometric Features is so Valuable for Classification Performance

abstract: It is generally accepted that relatively more permanent (i.e., more temporally persistent) traits are more valuable for biometric performance than less permanent traits. Although this finding is intuitive, there is no current work identifying exactly where in the biometric analysis temporal persistence makes a difference. In this paper, we answer this question. In a recent report, we introduced the intraclass correlation coefficient (ICC) as an index of temporal persistence for such features. In that report, we also showed that choosing only the most temporally persistent features yielded superior performance in 12 of 14 datasets. Motivated by those empirical results, we present a novel approach using synthetic features to study which aspects of a biometric identification study are influenced by the temporal persistence of features. What we show is that using more temporally persistent features produces effects on the similarity score distributions that explain why this quality is so key to biometric performance. The results identified with the synthetic data are largely reinforced by an analysis of two datasets, one based on eye-movements and one based on gait. There was one difference between the synthetic and real data: In real data, features are intercorrelated, with the level of intercorrelation increasing with increasing ICC. This increasedhttps://www.overleaf.com/project/5e2b14694c5dc600017292e6 intercorrelation in real data was associated with an increase in the spread of the impostor similarity score distributions. Removing these intercorrelations for real datasets with a decorrelation step produced results which were very similar to that obtained with synthetic features.


title: Validating the Universe in a Box

abstract: Computer simulations of the formation and evolution of large scale structure in the universe are integral to the enterprise of modern cosmology. Establishing the reliability of these simulations has been extremely challenging, primarily because of epistemic opacity. In this setting, robustness analysis defined by requiring converging outputs from a diverse ensemble of simulations is insufficient to determine simulation validity. Instead, we propose an alternative path of structured code validation that applies eliminative reasoning to isolate and reduce possible sources of error, a potential path that is already being explored by some cosmologists.


title: Generalized Prager-Synge Inequality and Equilibrated Error Estimators for Discontinuous Elements

abstract: The well-known Prager-Synge identity is valid in $H^1(\Omega)$ and serves as a foundation for developing equilibrated a posteriori error estimators for continuous elements. In this paper, we introduce a new inequality, that may be regarded as a generalization of the Prager-Synge identity, to be valid for piecewise $H^1(\Omega)$ functions for diffusion problems. The inequality is proved to be identity in two dimensions. For nonconforming finite element approximation of arbitrary odd order, we propose a fully explicit approach that recovers an equilibrated flux in $H(div; \Omega)$ through a local element-wise scheme and that recovers a gradient in $H(curl;\Omega)$ through a simple averaging technique over edges. The resulting error estimator is then proved to be globally reliable and locally efficient. Moreover, the reliability and efficiency constants are independent of the jump of the diffusion coefficient regardless of its distribution.


title: Block-avoiding point sequencings

abstract: Let $n$ and $\ell$ be positive integers. Recent papers by Kreher, Stinson and Veitch have explored variants of the problem of ordering the points in a triple system (such as a Steiner triple system, directed triple system or Mendelsohn triple system) on $n$ points so that no block occurs in a segment of $\ell$ consecutive entries (thus the ordering is locally block-avoiding). We describe a greedy algorithm which shows that such an ordering exists, provided that $n$ is sufficiently large when compared to $\ell$. This algorithm leads to improved bounds on the number of points in cases where this was known, but also extends the results to a significantly more general setting (which includes, for example, orderings that avoid the blocks of a design). Similar results for a cyclic variant of this situation are also established. We construct Steiner triple systems and quadruple systems where $\ell$ can be large, showing that a bound of Stinson and Veitch is reasonable. Moreover, we generalise the Stinson--Veitch bound to a wider class of block designs and to the cyclic case. The results of Kreher, Stinson and Veitch were originally inspired by results of Alspach, Kreher and Pastine, who (motivated by zero-sum avoiding sequences in abelian groups) were interested in orderings of points in a partial Steiner triple system where no segment is a union of disjoint blocks. Alspach~\emph{et al.}\ show that, when the system contains at most $k$ pairwise disjoint blocks, an ordering exists when the number of points is more than $15k-5$. By making use of a greedy approach, the paper improves this bound to $9k+O(k^{2/3})$.


title: Spectral maps associated to semialgebraic branched coverings

abstract: In this article we prove that a semialgebraic map is a branched covering if and only if its associated spectral map is a branched covering. In addition, such spectral map has a neat behavior with respect to the branching locus, the ramification set and the ramification index. A crucial fact to prove the preceding result is the characterization of the prime ideals whose fibers under the previous spectral map are singletons.


title: All that Glitters is not Bitcoin -- Unveiling the Centralized Nature of the BTC (IP) Network

abstract: Blockchains are typically managed by peer-to-peer (P2P) networks providing the support and substrate to the so-called distributed ledger (DLT), a replicated, shared, and synchronized data structure, geographically spread across multiple nodes. The Bitcoin (BTC) blockchain is by far the most well known DLT, used to record transactions among peers, based on the BTC digital currency. In this paper, we focus on the network side of the BTC P2P network, analyzing its nodes from a purely network measurements-based approach. We present a BTC crawler able to discover and track the BTC P2P network through active measurements, and use it to analyze its main properties. Through the combined analysis of multiple snapshots of the BTC network as well as by using other publicly available data sources on the BTC network and DLT, we unveil the BTC P2P network, locate its active nodes, study their performance, and track the evolution of the network over the past two years. Among other relevant findings, we show that (i) the size of the BTC network has remained almost constant during the last 12 months - since the major BTC price drop in early 2018, (ii) most of the BTC P2P network resides in US and EU countries, and (iii) despite this western network locality, most of the mining activity and corresponding revenue is controlled by major mining pools located in China. By additionally analyzing the distribution of BTC coins among independent BTC entities (i.e., single BTC addresses or groups of BTC addresses controlled by the same actor), we also conclude that (iv) BTC is very far from being the decentralized and uncontrolled system it is so much advertised to be, with only 4.5% of all the BTC entities holding about 85% of all circulating BTC coins.


title: On the long-time behaviour of McKean-Vlasov paths

abstract: It is well-known that, in a certain parameter regime, the so-called McKean-Vlasov evolution $ (\mu_t)_{t\in [0,\infty)} $ admits exactly three stationary states. In this paper we study the long-time behaviour of the flow $ (\mu_t)_{t\in [0,\infty)} $ in this regime. The main result is that, for any initial measure $ \mu_0 $, the flow $ (\mu_t)_{t\in [0,\infty)} $ converges to a stationary state as $ t\rightarrow \infty $. Moreover, we show that if the energy of the initial measure is below some critical threshold, then the limiting stationary state can be identified. Finally, we also show some topological properties of the basins of attraction of the McKean-Vlasov evolution. The proofs are based on the representation of $ (\mu_t)_{t\in [0,\infty)} $ as a Wasserstein gradient flow. Some results of this paper are not entirely new. The main contribution here is to show that the Wasserstein framework provides short and elegant proofs for these results. However, up to the author's best knowledge, the statement on the topological properties of the basins of attraction is a new result.


title: Fundamental Bounds on Qubit Reset

abstract: Qubit reset is a basic prerequisite for operating quantum devices, requiring the export of entropy. The fastest and most accurate way to reset a qubit is obtained by coupling the qubit to an ancilla on demand. Here, we derive fundamental bounds on qubit reset in terms of maximum fidelity and minimum time, assuming control over the qubit and no control over the ancilla. Using the Cartan decomposition of the Lie algebra of qubit plus two-level ancilla, we identify the types of interaction and controls for which the qubit can be purified. For these configurations, we show that a time-optimal protocol consists of purity exchange between qubit and ancilla brought into resonance, where the maximum fidelity is identical for all cases but the minimum time depends on the type of interaction and control. Furthermore, we find the maximally achievable fidelity to increase with the size of the ancilla Hilbert space, whereas the reset time remains constant.


title: Overcoming the dephasing limit in multiple-pulse laser wakefield acceleration

abstract: The electric field in laser-driven plasma wakefield acceleration is orders of magnitude higher than conventional radio-frequency cavities, but the energy gain is limited by dephasing between the ultra-relativistic electron bunch and the wakefield, which travels at the laser group velocity. We present a way to overcome this limit within a single plasma stage. The amplitude of the wakefield behind a train of laser pulses can be controlled in-flight by modulating the density profile. This creates a succession of resonant laser-plasma accelerator sections and non-resonant drift sections, within which the wakefield disappears and the electrons rephase. A two-dimensional particle-in-cell simulation with four 2.5TW laser pulses produces a 50MeV electron energy gain, four times that obtained from a uniform plasma. Although laser red-shift prevents operation in the blowout regime, the technique offers increased energy gain for accelerators limited to the linear regime by the available laser power. This is particularly relevant for laser-plasma x-ray sources capable of operating at high repetition rates, which are highly sought after.


title: A geometric look at the objective gravitational wave function reduction

abstract: In ref [1], a criterion has been derived for the objective wave function reduction through the Shr\"odinger-Newton equation. In this paper, we shall derive that criterion by using the concept of Bohmian trajectories. This study has two consequences. First, providing a geometric perspective on the problem of wave function reduction and the other, representing the role of quantum force and gravitational force in the reduction process.


title: A multi-wavelength study of spiral structure in galaxies. I. General characteristics in the optical

abstract: Different spiral generation mechanisms are expected to produce different morphological and kinematic features. In this first paper in a series we carefully study the parameters of spiral structure in 155 face-on spiral galaxies, selected from the Sloan Digital Sky Survey, in the three $gri$ bands. We use a method for deriving a set of parameters of spiral structure, such as the width of the spiral arms, their fraction to the total galaxy luminosity and their colour, which have not been properly studied before. Our method is based on an analysis of a set of photometric cuts perpendicular to the direction of a spiral arm. Based on the results of our study, we compare the main three classes of spirals: grand design, multi-armed and flocculent. We conclude that: i) for the vast majority of galaxies (86\%) we observe an increase of their arm width with galactocentric distance; ii) more luminous spirals in grand design galaxies exhibit smaller variations of the pitch angle with radius than less luminous grand design spirals; iii) grand design galaxies show less difference between the pitch angles of individual arms than multi-armed galaxies. Apart from these distinctive features, all three spiral classes do not differ significantly by their pitch angle, arm width, width asymmetry, and environment. Wavelength dependence is found only for the arm fraction. Therefore, observationally we find no strong difference (except for the view and number of arms) between grand design, multi-armed and flocculent spirals in the sample galaxies.


title: spNNGP R package for Nearest Neighbor Gaussian Process models

abstract: This paper describes and illustrates functionality of the spNNGP R package. The package provides a suite of spatial regression models for Gaussian and non-Gaussian point-referenced outcomes that are spatially indexed. The package implements several Markov chain Monte Carlo (MCMC) and MCMC-free Nearest Neighbor Gaussian Process (NNGP) models for inference about large spatial data. Non-Gaussian outcomes are modeled using a NNGP Polya-Gamma latent variable. OpenMP parallelization options are provided to take advantage of multiprocessor systems. Package features are illustrated using simulated and real data sets.


title: Context-free languages and associative algebras with algebraic Hilbert series

abstract: In this paper, homological methods together with the theory of formal languages of theoretical computer science are proved to be effective tools to determine the growth and the Hilbert series of an associative algebra. Namely, we construct a class of finitely presented associative algebras related to a family of context-free languages. This allows us to connect the Hilbert series of these algebras with the generating functions of such languages. In particular, we obtain a class of finitely presented graded algebras with non-rational algebraic Hilbert series.


title: Perception as prediction using general value functions in autonomous driving applications

abstract: We propose and demonstrate a framework called perception as prediction for autonomous driving that uses general value functions (GVFs) to learn predictions. Perception as prediction learns data-driven predictions relating to the impact of actions on the agent's perception of the world. It also provides a data-driven approach to predict the impact of the anticipated behavior of other agents on the world without explicitly learning their policy or intentions. We demonstrate perception as prediction by learning to predict an agent's front safety and rear safety with GVFs, which encapsulate anticipation of the behavior of the vehicle in front and in the rear, respectively. The safety predictions are learned through random interactions in a simulated environment containing other agents. We show that these predictions can be used to produce similar control behavior to an LQR-based controller in an adaptive cruise control problem as well as provide advanced warning when the vehicle behind is approaching dangerously. The predictions are compact policy-based predictions that support prediction of the long term impact on safety when following a given policy. We analyze two controllers that use the learned predictions in a racing simulator to understand the value of the predictions and demonstrate their use in the real-world on a Clearpath Jackal robot and an autonomous vehicle platform.


title: Mass generation by fractional instantons in SU($n$) chains

abstract: Recently, Haldane's conjecture about SU(2) chains has been generalized to SU($n$) chains in the symmetric representations. For a rank-$p$ representation, a gapless phase is predicted when $p$ and $n$ are coprime; otherwise, a finite energy gap is present above the ground state. In this work, we offer an intuitive explanation of this behavior based on fractional topological excitations, which are able to generate a mass gap except when $p$ and $n$ have no common divisor. This is a generalization of an older work in SU(2), which explains the generation of the Haldane gap in terms of merons in the O(3) nonlinear sigma model.


title: Quantitative lower bounds on the Lyapunov exponent from multivariate matrix inequalities

abstract: The Lyapunov exponent characterizes the asymptotic behavior of long matrix products. Recognizing scenarios where the Lyapunov exponent is strictly positive is a fundamental challenge that is relevant in many applications. In this work we establish a novel tool for this task by deriving a quantitative lower bound on the Lyapunov exponent in terms of a matrix sum which is efficiently computable in ergodic situations. Our approach combines two deep results from matrix analysis --- the $n$-matrix extension of the Golden-Thompson inequality and the Avalanche-Principle. We apply these bounds to the Lyapunov exponents of Schr\"odinger cocycles with certain ergodic potentials of polymer type and arbitrary correlation structure. We also derive related quantitative stability results for the Lyapunov exponent near aligned diagonal matrices and a bound for almost-commuting matrices.


title: Quark masses and decay constants in $N_f=2+1+1$ isoQCD with Wilson clover twisted mass fermions

abstract: We present a preliminary study of the pion, kaon and D-meson masses and decay constants in isosymmetric QCD, as well as a preliminary result for the light-quark renormalized mass. The analysis is based on the gauge ensembles produced by ETMC with $N_f=2+1+1$ flavours of Wilson-clover twisted mass quarks, spanning a range of lattice spacings from $\sim0.10$ to $0.07$ fm and include configurations at the physical pion point on lattices with linear size up to $L~\sim~5.6$~fm


title: Ultra long lived quasinormal modes of neutron stars in massive scalar-tensor gravity

abstract: The spectrum of frequencies and characteristic times that compose the ringdown phase of gravitational waves emitted by neutron stars carries information about the matter content (the equation of state) and the underlying theory of gravity. Typically, modified theories of gravity introduce additional degrees of freedom/fields, such as scalars, which result in new families of modes composing the ringdown spectrum. Simple but physically promising candidates are scalar-tensor theories, which effectively introduce an additional massive scalar field (i.e. an ultra-light boson) that couples non-minimally to gravity, resulting in scalarized neutron stars. Here we present the first calculation of the full ringdown spectrum in such theories. We show that the ringdown spectrum of neutron stars with ultra-light bosons is much richer and fundamentally different from the spectrum in general relativity and that it possesses propagating ultra long lived modes.


title: Identifying time dependence in network growth

abstract: Identifying power-law scaling in real networks - indicative of preferential attachment - has proved controversial. Critics argue that measuring the temporal evolution of a network directly is better than measuring the degree distribution when looking for preferential attachment. However, many of the established methods do not account for any potential time-dependence in the attachment kernels of growing networks, or methods assume that node degree is the key observable determining network evolution. In this paper, we argue that these assumptions may lead to misleading conclusions about the evolution of growing networks. We illustrate this by introducing a simple adaptation of the Barab{\'a}si-Albert model, the "k2 model", where new nodes attach to nodes in the existing network in proportion to the number of nodes one or two steps from the target node. The k2 model results in time dependent degree distributions and attachment kernels, despite initially appearing to grow as linear preferential attachment, and without the need to include explicit time dependence in key network parameters (such as the average out-degree). We show that similar effects are seen in several real world networks where constant network growth rules do not describe their evolution. This implies that measurements of specific degree distributions in real networks are also likely to change over time.


title: Global Regularity of the 2D HVBK equations

abstract: The Hall-Vinen-Bekharevich-Khalatnikov (HVBK) equations are a macroscopic model of superfluidity at non-zero temperatures. For smooth, compactly supported data, we prove the global well-posedness of strong solutions to these equations in $\mathbb{R}^2$, in the incompressible and isothermal case. The proof utilises a contraction mapping argument to establish local well-posedness for high-regularity data, following which we demonstrate global regularity using an analogue of the Beale-Kato-Majda criterion in this context. In the appendix, we address the sufficient conditions on a 2D vorticity field, in order to have a finite kinetic energy.


title: Graded Morita theory over a G-graded G-acted algebra

abstract: We develop a group graded Morita theory over a G-graded G-acted algebra, where G is a finite group.


title: A Geometric View of the Service Rates of Codes Problem and its Application to the Service Rate of the First Order Reed-Muller Codes

abstract: Service rate is an important, recently introduced, performance metric associated with distributed coded storage systems. Among other interpretations, it measures the number of users that can be simultaneously served by the storage system. We introduce a geometric approach to address this problem. One of the most significant advantages of this approach over the existing approaches is that it allows one to derive bounds on the service rate of a code without explicitly knowing the list of all possible recovery sets. To illustrate the power of our geometric approach, we derive upper bounds on the service rates of the first order Reed-Muller codes and simplex codes. Then, we show how these upper bounds can be achieved. Furthermore, utilizing the proposed geometric technique, we show that given the service rate region of a code, a lower bound on the minimum distance of the code can be obtained.


title: Reasoning About Generalization via Conditional Mutual Information

abstract: We provide an information-theoretic framework for studying the generalization properties of machine learning algorithms. Our framework ties together existing approaches, including uniform convergence bounds and recent methods for adaptive data analysis. Specifically, we use Conditional Mutual Information (CMI) to quantify how well the input (i.e., the training data) can be recognized given the output (i.e., the trained model) of the learning algorithm. We show that bounds on CMI can be obtained from VC dimension, compression schemes, differential privacy, and other methods. We then show that bounded CMI implies various forms of generalization.


title: What fraction of an $S_n$-orbit can lie on a hyperplane?

abstract: Consider the $S_n$-action on $\mathbb{R}^n$ given by permuting coordinates. This paper addresses the following problem: compute $\max_{v,H} |H\cap S_nv|$ as $H\subset\mathbb{R}^n$ ranges over all hyperplanes through the origin and $v\in\mathbb{R}^n$ ranges over all vectors with distinct coordinates that are not contained in the hyperplane $\sum x_i=0$. We conjecture that for $n\geq3$, the answer is $(n-1)!$ for odd $n$, and $n(n-2)!$ for even $n$. We prove that if $p$ is the largest prime with $p\leq n$, then $\max_{v,H} |H\cap S_nv|\leq \frac{n!}{p}$. In particular, this proves the conjecture when $n$ or $n-1$ is prime.


title: Towards a Framework for Certification of Reliable Autonomous Systems

abstract: A computational system is called autonomous if it is able to make its own decisions, or take its own actions, without human supervision or control. The capability and spread of such systems have reached the point where they are beginning to touch much of everyday life. However, regulators grapple with how to deal with autonomous systems, for example how could we certify an Unmanned Aerial System for autonomous use in civilian airspace? We here analyse what is needed in order to provide verified reliable behaviour of an autonomous system, analyse what can be done as the state-of-the-art in automated verification, and propose a roadmap towards developing regulatory guidelines, including articulating challenges to researchers, to engineers, and to regulators. Case studies in seven distinct domains illustrate the article.


title: Hydrodynamic generators in relativistic kinetic theory

abstract: We resum the non-equilibrium gradient corrections to a single-particle distribution function evolved by the Boltzmann equation in the relaxation time approximation (RTA). We first study a system undergoing Bjorken expansion and show that, for a constant relaxation time, the exact solution of the RTA Boltzmann equation at late times (i.e. after the decay of non-hydrodynamic modes) generates the Borel resummed Chapman-Enskog series. Extending this correspondence to systems without Bjorken symmetry, we construct a (3+1)-dimensional hydrodynamic generator for RTA kinetic theory, which is an integral representation of the Chapman-Enskog series in the limit of vanishing non-hydrodynamic modes. Relaxing this limit we find at earlier times a set of non-hydrodynamic modes coupled to the Chapman-Enskog expansion. Including the dynamics of these non-hydrodynamic modes is shown to control the emergence of hydrodynamics as an effective field theory description of non-equilibrium fluids, which works well even for far-off-equilibrium situations where the Knudsen number is initially large.


title: A Sharp Convergence Rate for the Asynchronous Stochastic Gradient Descent

abstract: We give a sharp convergence rate for the asynchronous stochastic gradient descent (ASGD) algorithms when the loss function is a perturbed quadratic function based on the stochastic modified equations introduced in [An et al. Stochastic modified equations for the asynchronous stochastic gradient descent, arXiv:1805.08244]. We prove that when the number of local workers is larger than the expected staleness, then ASGD is more efficient than stochastic gradient descent. Our theoretical result also suggests that longer delays result in slower convergence rate. Besides, the learning rate cannot be smaller than a threshold inversely proportional to the expected staleness.