title: Don't Persist All : Efficient Persistent Data Structures

abstract: Data structures used in software development have inbuilt redundancy to improve software reliability and to speed up performance. Examples include a Doubly Linked List which allows a faster deletion due to the presence of the previous pointer. With the introduction of Persistent Memory, storing the redundant data fields into persistent memory adds a significant write overhead, and reduces performance. In this work, we focus on three data structures - Doubly Linked List, B+Tree and Hashmap, and showcase alternate partly persistent implementations where we only store a limited set of data fields to persistent memory. After a crash/restart, we use the persistent data fields to recreate the data structures along with the redundant data fields. We compare our implementation with the base implementation and show that we achieve speedups around 5-20% for some data structures, and up to 165% for a flush-dominated data structure.


title: Evaluation of the reliability of building energy performance models for parameter estimation

abstract: The fidelity of a model relies both on its accuracy to predict the physical phenomena and its capability to estimate unknown parameters using observations. This article focuses on this second aspect by analyzing the reliability of two mathematical models proposed in the literature for the simulation of heat losses through building walls. The first one, named DuFort-Frankel (DF), is the classical heat diffusion equation combined with the DuFort-Frankel numerical scheme. The second is the so-called RC lumped approach, based on a simple ordinary differential equation to compute the temperature within the wall. The reliability is evaluated following a two stages method. First, samples of observations are generated using a pseudo-spectral numerical model for the heat diffusion equation with known input parameters. The results are then modified by adding a noise to simulate experimental measurements. Then, for each sample of observation, the parameter estimation problem is solved using one of the two mathematical models. The reliability is assessed based on the accuracy of the approach to recover the unknown parameter. Three case studies are considered for the estimation of (i) the heat capacity, (ii) the thermal conductivity or (iii) the heat transfer coefficient at the interface between the wall and the ambient air. For all cases, the DF mathematical model has a very satisfactory reliability to estimate the unknown parameters without any bias. However, the RC model lacks of fidelity and reliability. The error on the estimated parameter can reach 40% for the heat capacity, 80% for the thermal conductivity and 450% for the heat transfer coefficient.


title: Record statistics for a discrete-time random walk with correlated steps

abstract: The characterization of record events is considered for a discrete-time random walk model with long-term memory arising from correlations between successive steps. An important feature is that the correlations are strong enough to give rise to super-diffusivity and transience. Various quantities related to record statistics are calculated exactly, highlighting important differences in behaviour from the simple random walk with independent steps.


title: Unsupervised Deep Learning for Ultra-reliable and Low-latency Communications

abstract: In this paper, we study how to solve resource allocation problems in ultra-reliable and low-latency communications by unsupervised deep learning, which often yield functional optimization problems with quality-of-service (QoS) constraints. We take a joint power and bandwidth allocation problem as an example, which minimizes the total bandwidth required to guarantee the QoS of each user in terms of the delay bound and overall packet loss probability. The global optimal solution is found in a symmetric scenario. A neural network was introduced to find an approximated optimal solution in general scenarios, where the QoS is ensured by using the property that the optimal solution should satisfy as the "supervision signal". Simulation results show that the learning-based solution performs the same as the optimal solution in the symmetric scenario, and can save around 40% bandwidth with respect to the state-of-the-art policy.


title: Classical and quantum geometric information flows and entanglement of relativistic mechanical systems

abstract: This article elaborates on entanglement entropy and quantum information theory of geometric flows of (relativistic) Lagrange--Hamilton mechanical systems. A set of basic geometric and quantum mechanics and probability concepts together with methods of computation are developed in general covariant form for curved phase spaces modelled as cotangent Lorentz bundles. The constructions are based on ideas relating the Grigory Perelman's entropy for geometric flows and associated statistical thermodynamic systems to the quantum von Neumann entropy, classical and quantum relative and conditional entropy, mutual information etc. We formulate the concept of the entanglement entropy of quantum geometric information flows and study properties and inequalities for quantum, thermodynamic and geometric entropies characterising such systems.


title: Spinning closed superstring: as Nature's building block

abstract: Ever since its birth, up until its present development, the major role of string theory involves being the best candidate for the theory of quantum gravity and other species of interactions. In the present work, we would like to accomplish this goal by minimally extending its content while greatly simplifying its structure. To be more specific, by endowing the closed superstring with its spin, we successfully achieve this goal. This issue has been addressed in the first part of this work, entitled, "mission 1 of the work". In addition, we would like to make further developments on the selection of compactification manifolds that brings the string theory from the critical 10 dimensions down to four cosmology dimensions. Indeed, this issue has not been fully seriously and extensively explored in the literature. In the present work, therefore, we want to bring serious attention to this missing but non-trivial issue. This issue has been addressed in the second part of this work, entitled, "mission 2 of the work".


title: Monopole Black Hole in Stringy gravity

abstract: The possible transition of large mass magnetic monopole solutions to monopole black hole solutions in Yang-Mills-Higgs theory with spontaneous symmetry breaking (SSB) coupled to the low energy effective theory of superstring with only dilatonic sector is studied. Our main motivation is to explore the effects of the dilaton field on the monopole black hole solutions. Working in the Einstein conformal gauge, it is explicitly shown, in terms of the Hawking evaporation of the monopole black hole, that the presence of the dilaton field appears to introduce a "mass dependent extra attractive interaction" in addition to that of the standard Einstein gravity into the system.


title: Open string tachyon is the stringy inflaton

abstract: Regarding the current status of the superstring theory, despite its fully developed contents of all interactions in nature, it is no doubt that unfortunately it lacks a well established early universe cosmology content, that is, the inflationary universe. In the present work, we would like to address precisely this issue. To be more concrete, we would like to demonstrate that remarkably it is the well established open string tachyon condensation which is essentially equivalent to the stringy inflation that has been missing and hence long-seeking by nearly the entire string community.


title: Unraveling the origin of black holes from effective spin measurements with LIGO-Virgo

abstract: We investigate how to use information on the effective spin parameter of binary black hole mergers from the LIGO-Virgo gravitational wave detections to discriminate the origin of the merging black holes. We calculate the expected probability distribution function for the effective spin parameter for primordial black holes. Using LIGO-Virgo observations, we then calculate odds ratios for different models for the distribution of black holes' spin magnitude and alignment. We evaluate the posterior probability density for a possible mixture of astrophysical and primordial black holes as emerging from current data, and calculate the number of future merger events needed to discriminate different spin and alignment models at a given level of statistical significance.


title: Visualization of AE's Training on Credit Card Transactions with Persistent Homology

abstract: Auto-encoders are among the most popular neural network architecture for dimension reduction. They are composed of two parts: the encoder which maps the model distribution to a latent manifold and the decoder which maps the latent manifold to a reconstructed distribution. However, auto-encoders are known to provoke chaotically scattered data distribution in the latent manifold resulting in an incomplete reconstructed distribution. Current distance measures fail to detect this problem because they are not able to acknowledge the shape of the data manifolds, i.e. their topological features, and the scale at which the manifolds should be analyzed. We propose Persistent Homology for Wasserstein Auto-Encoders, called PHom-WAE, a new methodology to assess and measure the data distribution of a generative model. PHom-WAE minimizes the Wasserstein distance between the true distribution and the reconstructed distribution and uses persistent homology, the study of the topological features of a space at different spatial resolutions, to compare the nature of the latent manifold and the reconstructed distribution. Our experiments underline the potential of persistent homology for Wasserstein Auto-Encoders in comparison to Variational Auto-Encoders, another type of generative model. The experiments are conducted on a real-world data set particularly challenging for traditional distance measures and auto-encoders. PHom-WAE is the first methodology to propose a topological distance measure, the bottleneck distance, for Wasserstein Auto-Encoders used to compare decoded samples of high quality in the context of credit card transactions.


title: Robustness to Adversarial Perturbations in Learning from Incomplete Data

abstract: What is the role of unlabeled data in an inference problem, when the presumed underlying distribution is adversarially perturbed? To provide a concrete answer to this question, this paper unifies two major learning frameworks: Semi-Supervised Learning (SSL) and Distributionally Robust Learning (DRL). We develop a generalization theory for our framework based on a number of novel complexity measures, such as an adversarial extension of Rademacher complexity and its semi-supervised analogue. Moreover, our analysis is able to quantify the role of unlabeled data in the generalization under a more general condition compared to the existing theoretical works in SSL. Based on our framework, we also present a hybrid of DRL and EM algorithms that has a guaranteed convergence rate. When implemented with deep neural networks, our method shows a comparable performance to those of the state-of-the-art on a number of real-world benchmark datasets.


title: Fundamental formulation of light-matter interactions revisited

abstract: The basic physics disciplines of Maxwell's electrodynamics and Newton's mechanics have been thoroughly tested in the laboratory, but they can nevertheless also support nonphysical solutions. The unphysical nature of some dynamical predictions is demonstrated by the violation of symmetry principles. Symmetries are fundamental in physics since they establish conservation principles. The procedures explored here involve gauge transformations that alter basic symmetries, and these alterations are possible because gauge transformations are not necessarily unitary despite the widespread assumption that they are. That gauge transformations can change the fundamental physical meaning of a problem despite the preservation of electric and magnetic fields is a universal proof that potentials are more basic than fields. These conclusions go to the heart of physics. Problems are not evident when fields are perturbatively weak, but the properties demonstrated here can be critical in strong-field physics where the electromagnetic potential becomes the dominant influence in interactions with matter.


title: Classical analog to the Airy wave packet

abstract: The solution of the Liouville equation for the ensemble of free particles is presented and the classical analog to the quantum accelerating Airy wave packet is constructed and discussed. Considering the motion of various classical packets -- with an infinite and restricted distribution of velocities of particles -- and also the motion of their fronts, we demonstrate in the simplest and most definite way why the packet can display a more sophisticated behavior (even acceleration) as compared with a free individual particle that moves at a fixed velocity. A comparison of this classical solution with the quantum one in the Wigner representation of quantum mechanics which provides the closest analogy is also presented.


title: The naval battle of Actium and the myth of the ship-holder: the effect of bathymetry

abstract: A myth of antiquity is explained with modern science in the context of an ancient naval battle. A legend was invoked by the admiral Pliny the Elder to explain the defeat of Antony and Cleopatra against Octavian at the naval battle of Actium. A fish, called echeneis or remora, is said to have the power to stop ships or to delay their motion by adhering to the hull. Naturalists have since studied how the fish sucking-disk with its typical pattern of parallel striae sticks to its host. Here we show the pattern of the free surface measured in a towing tank in the wake of an ancient galley is similar to the striae pattern of the fish. We have measured the bathymetry at the mouth of the Ambracian Gulf that influenced the physical environment of the battle. The computations demonstrate the increase of wave resistance of a galley as a function of the draft to the water depth ratio in shallow water corresponding to the appearance of a particular wake pattern: the echeneidian free surface pattern.


title: Partially APN Boolean functions and classes of functions that are not APN infinitely often

abstract: In this paper we define a notion of partial APNness and find various characterizations and constructions of classes of functions satisfying this condition. We connect this notion to the known conjecture that APN functions modified at a point cannot remain APN. In the second part of the paper, we find conditions for some transformations not to be partially APN, and in the process, we find classes of functions that are never APN for infinitely many extensions of the prime field $\F_2$, extending some earlier results of Leander and Rodier.


title: Contact surgery on the Hopf link: classification of fillings

abstract: Let $H\subseteq S^3$ be the two-component Hopf link. After choosing a Legendrian representative of $H$ with respect to the standard tight contact structure on $S^3$ we perform contact $(-1)$-surgery on the link itself. The manifold we get is a lens space together with a tight contact strucure on it, which depends on the chosen Legendrian representative. We classify its minimal symplectic fillings up to homeomorphism (and often up to diffeomoprhism), extending the results of Lisca which covers the case of universally tight structures and the article of Plamenevskaya - Van Horn Morris which describes the fillings of $L(p,1)$.


title: Design of an achromatic, high numerical aperture optical assembly with a solid immersion lens

abstract: Efficiently collecting light emitted or scattered from nanoscale systems, which can be embedded in a high-index medium, is a challenge for fundamental spectroscopic studies and commercial applications of quantum dots, color centers, single molecules, plasmonic antennas, etc. Solid immersion lenses offer a powerful solution to increase the numerical aperture of the optical system, while being robust and compatible with cryogenic temperatures. However, they suffer from strong chromatic aberrations, limiting their applications to narrow-band excitation and emission spectral windows. Here, we design and optimize an achromatic lens assembly based on a solid immersion lens and a cemented doublet for broadband confocal spectroscopy. We provide an example with an achromatic range between 600 and 750 nm and show that it achieves diffraction limited spot size in excitation and in collection (reimaging of a point source) over more than 100 nm bandwidth. We expect our results to be useful to the broad community involved in spectroscopy and technological applications of nano-emitters for single photon sources, quantum information processing and quantum sensing.


title: Evolving Galactic Dynamos and Fits to the Reversing Rotation Measures in the Halo of NGC 4631

abstract: Rotation measure (RM) synthesis maps of NGC 4631 show remarkable sign reversals with distance from the minor axis in the northern halo of the galaxy on kpc scales. To explain this new phenomenon, we solve the dynamo equations under the assumption of scale invariance and search for rotating logarithmic spiral solutions. Solutions for velocity fields representing accretion onto the disk, outflow from the disk, and rotation-only in the disk are found that produce RM with reversing signs viewed edge-on. Model RM maps are created for a variety of input parameters using a Faraday screen and are scaled to the same amplitude as the observational maps. Residual images are then made and compared to find a best fit. Solutions for rotation-only, i.e. relative to a pattern uniform rotation, did in general, not fit the observations of NGC 4631 well. However, outflow models did provide a reasonable fit to the magnetic field. The best results for the specific region that was modelled in the northern halo are found with accretion. Since there is abundant evidence for both winds and accretion in NGC 4631, this modelling technique has the potential to distinguish between the dominant flows in galaxies.


title: The transformation of affine velocity and its application to a rotating disk

abstract: The aim of the article is to find a transformation that links the local affine velocity of a non-rigid body in the laboratory inertial reference frame $ S $ with the centro-affine velocity of motion of this body in the accompanying accelerated frame $ k $. This paper is based on the kinematics of a continuous medium and the generalized Lorentz transformation. In this paper we show the 3D transformation of velocity linking the reference system $ S $ and the reference system $ k $, which moves without rotation. Wherein the motion of various points of the rigid system $ k $ is inhomogeneous. Using these formulas, we obtain the desired direct and inverse transformation of the local affine velocity. Important special cases of this transformation are considered. They are the motion of particles in a uniform force field and the precession of Thomas. As an example of using the transformation of affine velocity in $ S $, accelerated rotation of the disk was considered and the local angular velocity and the magnitude of the deformation of its points were calculated. Wherein, the calculated stretching coefficient is consistent with the known one, and the formula found for the angular velocity is more general than the earlier result obtained for uniform rotation of the disk.


title: Deep Cross Networks with Aesthetic Preference for Cross-domain Recommendation

abstract: When purchasing appearance-first products, e.g., clothes, product appearance aesthetics plays an important role in the decision process. Moreover, user's aesthetic preference, which can be regarded as a personality trait and a basic requirement, is domain independent and could be used as a bridge between domains for knowledge transfer. However, existing work has rarely considered the aesthetic information in product photos for cross-domain recommendation. To this end, in this paper, we propose a new deep Aesthetic preference Cross-Domain Network (ACDN), in which parameters characterizing personal aesthetic preferences are shared across networks to transfer knowledge between domains. Specifically, we first leverage an aesthetic network to extract relevant features. Then, we integrate the aesthetic features into a cross-domain network to transfer users' domain independent aesthetic preferences. Moreover, network cross-connections are introduced to enable dual knowledge transfer across domains. Finally, the experimental results on real-world data show that our proposed ACDN outperforms other benchmark methods in terms of recommendation accuracy. The results also show that users' aesthetic preferences are effective in alleviating the data sparsity issue on the cross-domain recommendation.


title: Robust Stackelberg buyers in repeated auctions

abstract: We consider the practical and classical setting where the seller is using an exploration stage to learn the value distributions of the bidders before running a revenue-maximizing auction in a exploitation phase. In this two-stage process, we exhibit practical, simple and robust strategies with large utility uplifts for the bidders. We quantify precisely the seller revenue against non-discounted buyers, complementing recent studies that had focused on impatient/heavily discounted buyers. We also prove the robustness of these shading strategies to sample approximation error of the seller, to bidder's approximation error of the competition and to possible change of the mechanisms.


title: PV criticality of the second order quantum corrected Horava-Lifshitz black hole

abstract: In this paper, higher order quantum gravity effects on the thermodynamics of Ho\v{r}ava-Lifshitz black hole investigated. Both Kehagius-Sfetsos and Lu-Mei-Pop solutions of Ho\v{r}ava-Lifshitz black hole considered and higher order corrected thermodynamics quantities obtained. The first order correction is logarithmic and second order correction considered proportional to the inverse of entropy. These corrections are due to the thermal fluctuation and interpreted as quantum loop corrections. Effect of such quantum corrections on the stability and critical points of Horava-Lifshitz black holes studied. We find that higher order correction affects critical point and stability of Lu-Mei-Pop solution and yield to the second order phase transition for the case of Kehagius-Sfetsos solution.


title: Holographic correspondence of $F(R)$ gravity with/without matter fields

abstract: In this paper, we apply the holographic principle at the early universe, obtaining an inflation realization of holographic origin. First we show that under the consideration of extended infrared cut-offs, there exist a holographic correspondence of various F(R) (such as quadratic, cubic, exponential F(R) models) cosmological models in absence of matter fields. Then we establish that such holographic correspondence is not only confined to the vacuum F(R) gravity but also can be extended to the higher curvature models along with matter fields. In presence of matter field, in particular the second rank antisymmetric Kalb-Ramond field, all the considered F(R) models lead to a viable inflationary phenomenology consistent with Planck 2018 constraints. We further extend our discussion of holographic correspondence to F(T) cosmological models.


title: The expected signature of Brownian motion stopped on the boundary of a circle has finite radius of convergence

abstract: The expected signature is an analogue of the Laplace transform for rough paths. Chevyrev and Lyons showed that, under certain moment conditions, the expected signature determines the laws of signatures. Lyons and Ni posed the question of whether the expected signature of Brownian motion up to the exit time of a domain satisfies Chevyrev and Lyons' moment condition. We provide the first example where the answer is negative.


title: On the comparison of three numerical methods applied to building simulation: finite-differences, RC circuit approximation and a spectral method

abstract: Predictions of physical phenomena in buildings are carried out by using physical models formulated as a mathematical problem and solved by means of numerical methods, aiming at evaluating, for instance, the building thermal or hygrothermal performance by calculating distributions and fluxes of heat and moisture transfer. Therefore, the choice of the numerical method is crucial since it is a compromise among (i) the solution accuracy, (ii) the computational cost to obtain the solution and (iii) the complexity of the method implementation. An efficient numerical method enables to compute an accurate solution with a minimum computational run time (CPU). On that account, this article brings an investigation on the performance of three numerical methods. The first one is the standard and widely used finite-difference approach, while the second one is the so-called RC approach, which is a particular method brought to the building physics area by means of an analogy of electric circuits. The third numerical method is the spectral one, which has been recently proposed to solve nonlinear diffusive problems in building physics. The three methods are evaluated in terms of accuracy on the assessment of the dependent variable (temperature or vapor pressure) or of density of fluxes for three different cases: i) heat diffusion through a concrete slab, ii) moisture diffusion through an aerated concrete slab and iii) heat diffusion using measured temperatures as boundary conditions. Results highlight the spectral approach as the most accurate method. The RC based model with a few number of resistances does not provide accurate results for temperature and vapor pressure distributions neither to flux densities nor conduction loads.


title: An observer's view on the future of asteroseismology

abstract: Scientific research is a continuous process, and the speed of future progress can be estimated by the pace of finding explanations for previous research questions. In this observers based view of stellar pulsation and asteroseismology, we start with the earliest observations of variable stars and the techniques used to observe them. The earliest variable stars were large amplitude, radial pulsators but were followed by other classes of pulsating stars. As the field matured, we outline some cornerstones of research into pulsating star research with an emphasis on changes in observational techniques. Improvements from photographs, to photometry, CCDs, and space telescopes allowed researchers to separate out pulsating stars from other stars with light variations, recognize radial and nonradial pulsation courtesy of increased measurement precision, and then use nonradial pulsations to look inside the stars, which cannot be done any other way. We follow several highlighted problems to show that even with excellent space data, there still may not be quick theoretical explanations. As the result of technical changes, the structure of international organizations devoted to pulsating stars has changed, and an increasing number of conferences specialized to space missions or themes are held. Although there are still many unsolved problems, such as mode identification in non-asymptotic pulsating stars, the large amount of data with unprecedented precision provided by space missions (MOST, CoRoT, Kepler) and upcoming missions allow us to use asteroseismology to its full potential. However, the enormous flow of data will require new techniques to extract the science before the next missions. The future of asteroseismology will be successful if we learn from the past and improve with improved techniques, space missions, and a properly educated new generation.


title: Blowup solutions for the nonlinear Schr\"odinger equation with complex coefficient

abstract: We construct a finite time blow up solution for the nonlinear Schr\"odinger equation with the power nonlinearity whose coefficient is complex number. We generalize the range of both the power and the complex coefficient for the result of Cazenave, Martel and Zhao \cite{CMZ}. As a bonus, we may consider the space dimension $5$. We show a sequence of solutions closes to the blow up profile which is a blow up solution of ODE. We apply the Aubin-Lions lemma for the compactness argument for its convergence.


title: Memory-efficient and fast implementation of local adaptive binarization methods

abstract: Binarization is widely used as an image preprocessing step to separate object especially text from background before recognition. For noisy images with uneven illumination such as degraded documents, threshold values need to be computed pixel by pixel to obtain a good segmentation. Since local threshold values typically depend on moment-based statistics such as mean and variance of gray levels inside rectangular windows, integral images which are memory consuming are commonly used to accelerate the calculation. Observed that moment-based statistics as well as quantiles in a sliding window can be computed recursively, integral images can be avoided without neglecting speed, more binarization methods can be accelerated too. In particular, given a $H\times W$ input image, Sauvola's method and alike can run in $\Theta (HW)$ time independent of window size, while only around $6\min\{H,W\}$ bytes of auxiliary space is needed, which is significantly lower than the $16HW$ bytes occupied by the two integral images. Since the proposed technique enable various well-known local adaptive binarization methods to be applied in real-time use cases on devices with limited resources, it has the potential of wide application.


title: Self-trapped nanoparticle binding via waveguide mode

abstract: In this paper, we study a stable optomechanical system based on a nanoparticle chain coupled to a waveguide mode. Under the plane wave excitation the nanoparticles form a stable self-organized periodic chain array along the direction of the waveguide through the transverse binding effect. We show that owing to the long-range interaction between the nanoparticles the trapping potential for each nanoparticle in the chain increases linearly with the system size making the formation of long chains more favourable. We propose that this effect can be observed with an optical nanofiber which is a versatile platform for achieving optical binding of atoms and nanoparticles. Our calculations show that binding energy for two nanoparticles is in the range of $9\div13~kT$ reaching the value of 100 $kT$ when the size of the chain is increased to 20 nanoparticles that makes the potential experimental observation of the effect possible. We also suggest the geometry of the two counter-propagating plane waves excitation, which will allow trapping the nanoparticles close to the optical nanofiber providing efficient interaction between the nanoparticles and the nanofiber.


title: Domain Generalization via Universal Non-volume Preserving Models

abstract: Recognition across domains has recently become an active topic in the research community. However, it has been largely overlooked in the problem of recognition in new unseen domains. Under this condition, the delivered deep network models are unable to be updated, adapted, or fine-tuned. Therefore, recent deep learning techniques, such as domain adaptation, feature transferring, and fine-tuning, cannot be applied. This paper presents a novel approach to the problem of domain generalization in the context of deep learning. The proposed method is evaluated on different datasets in various problems, i.e. (i) digit recognition on MNIST, SVHN, and MNIST-M, (ii) face recognition on Extended Yale-B, CMU-PIE and CMU-MPIE, and (iii) pedestrian recognition on RGB and Thermal image datasets. The experimental results show that our proposed method consistently improves performance accuracy. It can also be easily incorporated with any other CNN frameworks within an end-to-end deep network design for object detection and recognition problems to improve their performance.


title: On topological properties of positive complexity one spaces

abstract: Motivated by work of Fine and Panov, and of Lindsay and Panov, we prove that every closed symplectic complexity one space that is positive (e.g. positive monotone) enjoys topological properties that Fano varieties with a complexity one holomorphic torus action possess. In particular, such spaces are simply connected, have Todd genus equal to one and vanishing odd Betti numbers.


title: Predicting New Iron Garnet Thin Films with Perpendicular Magnetic Anisotropy

abstract: Perpendicular magnetic anisotropy (PMA) is a necessary condition for many spintronic applications like spin-orbit torques switching, logic and memory devices. An important class of magnetic insulators with low Gilbert damping at room temperature are iron garnets, which only have a few PMA types such as terbium and samarium iron garnet. More and stable PMA garnet options are necessary for researchers to be able to investigate new spintronic phenomena. In this study, we predict 20 new substrate/magnetic iron garnet film pairs with stable PMA at room temperature. The effective anisotropy energies of 10 different garnet films that are lattice-matched to 5 different commercially available garnet substrates have been calculated using shape, magnetoelastic and magnetocrystalline anisotropy terms. Strain type, tensile or compressive depending on substrate choice, as well as the sign and the magnitude of the magnetostriction constants of garnets determine if a garnet film may possess PMA. We show the conditions in which Samarium, Gadolinium, Terbium, Holmium, Dysprosium and Thulium garnets may possess PMA on the investigated garnet substrate types. Guidelines for obtaining garnet films with low damping are presented. New PMA garnet films with tunable saturation moment and field may improve spin-orbit torque memory and compensated magnonic thin film devices.


title: Linear interpolation gives better gradients than Gaussian smoothing in derivative-free optimization

abstract: In this paper, we consider derivative free optimization problems, where the objective function is smooth but is computed with some amount of noise, the function evaluations are expensive and no derivative information is available. We are motivated by policy optimization problems in reinforcement learning that have recently become popular [Choromaski et al. 2018; Fazel et al. 2018; Salimans et al. 2016], and that can be formulated as derivative free optimization problems with the aforementioned characteristics. In each of these works some approximation of the gradient is constructed and a (stochastic) gradient method is applied. In [Salimans et al. 2016] the gradient information is aggregated along Gaussian directions, while in [Choromaski et al. 2018] it is computed along orthogonal direction. We provide a convergence rate analysis for a first-order line search method, similar to the ones used in the literature, and derive the conditions on the gradient approximations that ensure this convergence. We then demonstrate via rigorous analysis of the variance and by numerical comparisons on reinforcement learning tasks that the Gaussian sampling method used in [Salimans et al. 2016] is significantly inferior to the orthogonal sampling used in [Choromaski et al. 2018] as well as more general interpolation methods.


title: Shared control schematic for brain controlled vehicle based on fuzzy logic

abstract: Brain controlled vehicle refers to the vehicle that obtains control commands by analyzing the driver's EEG through Brain-Computer Interface (BCI). The research of brain controlled vehicles can not only promote the integration of brain machines, but also expand the range of activities and living ability of the disabled or some people with limited physical activity, so the research of brain controlled vehicles is of great significance and has broad application prospects. At present, BCI has some problems such as limited recognition accuracy, long recognition time and limited number of recognition commands in the process of analyzing EEG signals to obtain control commands. If only use the driver's EEG signals to control the vehicle, the control performance is not ideal. Based on the concept of Shared control, this paper uses the fuzzy control (FC) to design an auxiliary controller to realize the cooperative control of automatic control and brain control. Designing a Shared controller which evaluates the current vehicle status and decides the switching mechanism between automatic control and brain control to improve the system control performance. Finally, based on the joint simulation platform of Carsim and MATLAB, with the simulated brain control signals, the designed experiment verifies that the control performance of the brain control vehicle can be improved by adding the auxiliary controller.


title: The Income Fluctuation Problem and the Evolution of Wealth

abstract: We analyze the household savings problem in a general setting where returns on assets, non-financial income and impatience are all state dependent and fluctuate over time. All three processes can be serially correlated and mutually dependent. Rewards can be bounded or unbounded and wealth can be arbitrarily large. Extending classic results from an earlier literature, we determine conditions under which (a) solutions exist, are unique and are globally computable, (b) the resulting wealth dynamics are stationary, ergodic and geometrically mixing, and (c) the wealth distribution has a Pareto tail. We show how these results can be used to extend recent studies of the wealth distribution. Our conditions have natural economic interpretations in terms of asymptotic growth rates for discounting and return on savings.


title: Linear Dependence of Post-irradiation Input Bias Currents on Pre-irradiation Values in Silicon Bipolar Microcircuits

abstract: We find in experiments a linear dependence of ionization irradiation-induced degradations on pre-irradiation values of the input bias current in bipolar devices with simple input stages. The dependence is found to generally exist in all studied cases of different device types and different irradiation conditions. A unique behavior of the energy distribution of the interface states ($D_{it}$) under irradiation is suggested as the origin of the observed phenomenon: the generation of interface traps through the depassivation of Si-H bonds located near the pre-irradiation interface traps displays a $D_{it}$ as an enlarge of the initial $D_{it}$ and results in the general linear dependence. A more accurate damage prediction method by using the pre-irradiation values is proposed based on the observed phenomenon.


title: Inviscid Limit for the Free-Boundary problems of MHD Equations with or without Surface Tension

abstract: In this paper, we investigate the convergence rates of inviscid limits for the free-boundary problems of the incompressible magnetohydrodynamics (MHD) with or without surface tension in $\mathbb{R}^3$, where the magnetic field is identically constant on the surface and outside of the domain. First, we establish the vorticity, the normal derivatives and the regularity structure of the solutions, and develop a priori co-norm estimates including time derivatives by the vorticity system. Second, we obtain two independent sufficient conditions for the existence of strong vorticity layers: (I) the limit of the difference between the initial MHD vorticity of velocity or magnetic field and that of the ideal MHD equations is nonzero. (II) The cross product of tangential projection on the free surface of the ideal MHD strain tensor of velocity or magnetic field with the normal vector of the free surface is nonzero. Otherwise, the vorticity layer is weak. Third, we prove high order convergence rates of tangential derivatives and the first order normal derivative in standard Sobolev space, where the convergence rates depend on the ideal MHD boundary value.


title: Generalized representations of 3-Hom-Lie algebras

abstract: The propose of this paper is to extend generalized representations of 3-Lie algebras to Hom-type algebras. We introduce the concept of generalized representation of multiplicative 3-Hom-Lie algebras, develop the corresponding cohomology theory and study semi-direct products. We provide a key construction, various examples and computation of 2-cocycles of the new cohomology. Also, we give a connection between a split abelian extension of a 3-Hom-Lie algebra and a generalized semidirect product 3-Hom-Lie algebra.


title: Neural Consciousness Flow

abstract: The ability of reasoning beyond data fitting is substantial to deep learning systems in order to make a leap forward towards artificial general intelligence. A lot of efforts have been made to model neural-based reasoning as an iterative decision-making process based on recurrent networks and reinforcement learning. Instead, inspired by the consciousness prior proposed by Yoshua Bengio, we explore reasoning with the notion of attentive awareness from a cognitive perspective, and formulate it in the form of attentive message passing on graphs, called neural consciousness flow (NeuCFlow). Aiming to bridge the gap between deep learning systems and reasoning, we propose an attentive computation framework with a three-layer architecture, which consists of an unconsciousness flow layer, a consciousness flow layer, and an attention flow layer. We implement the NeuCFlow model with graph neural networks (GNNs) and conditional transition matrices. Our attentive computation greatly reduces the complexity of vanilla GNN-based methods, capable of running on large-scale graphs. We validate our model for knowledge graph reasoning by solving a series of knowledge base completion (KBC) tasks. The experimental results show NeuCFlow significantly outperforms previous state-of-the-art KBC methods, including the embedding-based and the path-based. The reproducible code can be found by the link below.


title: A Soft Embedding Lemma for Soft Topological Spaces

abstract: In 1999, Molodtsov initiated the theory of soft sets as a new mathematical tool for dealing with uncertainties in many fields of applied sciences. In 2011, Shabir and Naz introduced and studied the notion of soft topological spaces, also defining and investigating many new soft properties as generalization of the classical ones. In this paper, we introduce the notions of soft separation between soft points and soft closed sets in order to obtain a generalization of the well-known Embedding Lemma to the class of soft topological spaces.


title: Quaternionic Regularity via Analytic Functional Calculus

abstract: Denoting by $\mathbb{M}$ the complexification of the quaternionic algebra $\mathbb{H}$, we characterize the family of those $\mathbb{M}$-valued functions, defined on subsets of $\H$, whose values are actually quaternions, using an intrinsic approach. In particular, we show that the slice quaternionic regularity can be characterized via a Cauchy type transform acting on the space of analytic $\mathbb{M}$-valued stem functions.


title: Solving RED with Weighted Proximal Methods

abstract: REgularization by Denoising (RED) is an attractive framework for solving inverse problems by incorporating state-of-the-art denoising algorithms as the priors. A drawback of this approach is the high computational complexity of denoisers, which dominate the computation time. In this paper, we apply a general framework called weighted proximal methods (WPMs) to solve RED efficiently. We first show that two recently introduced RED solvers (using the fixed point and accelerated proximal gradient methods) are particular cases of WPMs. Then we show by numerical experiments that slightly more sophisticated variants of WPM can lead to reduced run times for RED by requiring a significantly smaller number of calls to the denoiser.


title: Unpredictability of AI

abstract: The young field of AI Safety is still in the process of identifying its challenges and limitations. In this paper, we formally describe one such impossibility result, namely Unpredictability of AI. We prove that it is impossible to precisely and consistently predict what specific actions a smarter-than-human intelligent system will take to achieve its objectives, even if we know terminal goals of the system. In conclusion, impact of Unpredictability on AI Safety is discussed.


title: Integral inequalities for holomorphic maps and applications

abstract: We derive some integral inequalities for holomorphic maps between complex manifolds. As applications, some rigidity and degeneracy theorems for holomorphic maps without assuming any pointwise curvature signs for both the domain and target manifolds are proved, in which key roles are played by total integration of the function of the first eigenvalue of second Ricci curvature and an almost nonpositivity notion for holomorphic sectional curvature introduced in our previous work. We also apply these integral inequalities to discuss the infinite-time singularity type of the K\"ahler-Ricci flow. The equality case is characterized for some special settings.


title: Corpus Distillation for Effective Fuzzing: A Comparative Evaluation

abstract: Mutation-based fuzzing typically uses an initial set of non-crashing seed inputs (a corpus) from which to generate new inputs by mutation. A corpus of potential seeds will often contain thousands of similar inputs. This lack of diversity can lead to wasted fuzzing effort by exhaustive mutation from all available seeds. To address this, fuzzers come with distillation tools (e.g., afl-cmin) that select the smallest subset of seeds that triggers the same range of instrumentation data points as the full corpus. Common practice suggests that minimizing the number and cumulative size of the seeds leads to more efficient fuzzing, which we explore systematically. We present results of 34+ CPU-years of fuzzing with five distillation approaches to understand their impact in finding bugs in real-world software. We evaluate a number of techniques, includibng the existing afl-cmin and Minset, and also MoonLight---a freely available, configurable, state-of-the-art, open-source, tool. Our experiments compare the effectiveness of distillation approaches, targeting the Google Fuzzer Test Suite and a diverse set of six real-world libraries and programs, covering 13 different input file formats across 16 programs. Our results show that distillation is a necessary precursor to any fuzzing campaign when starting with a large initial corpus. We compare the effectiveness of alternative distillation approaches. Notably, our experiments reveal that state-of-the-art distillation tools (such as MoonLight and Minset) do not exclusively find all of the 33 bugs (in the real-world targets) exposed by our combined campaign: each technique appears to have its own strengths. We find (and report) new bugs with MoonLight that are not found by Minset, and vice versa. Moreover, afl-cmin fails to reveal many of these bugs. Of the 33 bugs revealed in our campaign, seven new bugs have received CVEs.


title: Toeplitz Operators and Skew Carleson measures for weighted Bergman spaces on strongly pseudoconvex domains

abstract: In this paper we study mapping properties of Toeplitz-like operators on weighted Bergman spaces of bounded strongly pseudconvex domains in $\mathbb{C}^n$. In particular we prove that a Toeplitz operator built using as kernel a weighted Bergman kernel of weight $\beta$ and integrating against a measure $\mu$ maps continuously (when $\beta$ is large enough) a weighted Bergman space $A^{p_1}_{\alpha_1}(D)$ into a weighted Bergman space $A^{p_2}_{\alpha_2}(D)$ if and only if $\mu$ is a $(\lambda,\gamma)$-skew Carleson measure, where $\lambda=1+\frac{1}{p_1}-\frac{1}{p_2}$ and $\gamma=\frac{1}{\lambda}\left(\beta+\frac{\alpha_1}{p_1}-\frac{\alpha_2}{p_2}\right)$. This theorem generalizes results obtained by Pau and Zhao on the unit ball, and extends and makes more precise results obtained by Abate, Raissy and Saracco on a smaller class of Toeplitz operators on bounded strongly pseudoconvex domains.


title: Trajectory-state theory of the Klein-Gordon field

abstract: We develop a trajectory construction of solutions to the massless wave equation in n+1 dimensions and hence show that the quantum state of a massive relativistic system in 3+1 dimensions may be represented by a stand-alone four-dimensional congruence comprising a continuum of 3-trajectories coupled to an internal scalar time coordinate. A real Klein-Gordon amplitude is the current density generated by the temporal gradient of the internal time. Complex amplitudes are generated by a two-phase flow. The Lorentz covariance of the trajectory model is established.


title: Seeley-DeWitt Coefficients in $\mathcal{N}=2$ Einstein-Maxwell Supergravity Theory and Logarithmic Corrections to $\mathcal{N}=2$ Extremal Black Hole Entropy

abstract: We investigate the heat kernel method for one-loop effective action following the Seeley-DeWitt expansion technique of heat kernel with Seeley-DeWitt coefficients. We also review a general approach of computing the Seeley-DeWitt coefficients in terms of background or geometric invariants. We, then consider the Einstein-Maxwell theory embedded in minimal $\mathcal{N}=2$ supergravity in four dimensions and compute the first three Seeley-DeWitt coefficients of the kinetic operator of the bosonic and the fermionic fields in an arbitrary background field configuration. We find the applications of these results in the computation of logarithmic corrections to Bekenstein-Hawking entropy of the extremal Kerr-Newman, Kerr and Reissner-Nordstrom black holes in minimal $\mathcal{N}=2$ Einstein-Maxwell supergravity theory following the quantum entropy function formalism.


title: Search for supersymmetry with a compressed mass spectrum in the vector boson fusion topology with 1-lepton and 0-lepton final states in proton-proton collisions at $\sqrt{s} =$ 13 TeV

abstract: A search for supersymmetric particles produced in the vector boson fusion topology in proton-proton collisions is presented. The search targets final states with one or zero leptons, large missing transverse momentum, and two jets with a large separation in rapidity. The data sample corresponds to an integrated luminosity of 35.9 fb$^{-1}$ of proton-proton collisions at $\sqrt{s} =$ 13 TeV collected in 2016 with the CMS detector at the LHC. The observed dijet invariant mass and lepton-neutrino transverse mass spectra are found to be consistent with the standard model predictions. Upper limits are set on the cross sections for chargino ($\widetilde\chi_1^\pm$) and neutralino ($\widetilde\chi_2^0$) production with two associated jets. For a compressed mass spectrum scenario in which the $\widetilde\chi_1^\pm$ and $\widetilde\chi_2^0$ decays proceed via a light slepton and the mass difference between the lightest neutralino $\widetilde\chi_1^0$ and the mass-degenerate particles $\widetilde\chi_1^\pm$ and $\widetilde\chi_2^0$ is 1 (30) GeV, the most stringent lower limit to date of 112 (215) GeV is set on the mass of these latter two particles.


title: Spiked separable covariance matrices and principal components

abstract: We introduce a class of separable sample covariance matrices of the form $\widetilde{\mathcal{Q}}_1:=\widetilde A^{1/2} X \widetilde B X^* \widetilde A^{1/2}.$ Here $\widetilde{A}$ and $\widetilde{B}$ are positive definite matrices whose spectrums consist of bulk spectrums plus several spikes, i.e. larger eigenvalues that are separated from the bulks. Conceptually, we call $\widetilde{\mathcal{Q}}_1$ a \emph{spiked separable covariance matrix model}. On the one hand, this model includes the spiked covariance matrix as a special case with $\widetilde{B}=I$. On the other hand, it allows for more general correlations of datasets. In particular, for spatio-temporal dataset, $\widetilde{A}$ and $\widetilde{B}$ represent the spatial and temporal correlations, respectively. In this paper, we study the outlier eigenvalues and eigenvectors, i.e. the principal components, of the spiked separable covariance model $\widetilde{\mathcal{Q}}_1$. We prove the convergence of the outlier eigenvalues $\widetilde \lambda_i$ and the generalized components (i.e. $\langle \mathbf v, \widetilde{\mathbf{\xi}}_i \rangle$ for any deterministic vector $\mathbf v$) of the outlier eigenvectors $\widetilde{\mathbf{\xi}}_i$ with optimal convergence rates. Moreover, we also prove the delocalization of the non-outlier eigenvectors. We state our results in full generality, in the sense that they also hold near the so-called BBP transition and for degenerate outliers. Our results highlight both the similarity and difference between the spiked separable covariance matrix model and the spiked covariance model. In particular, we show that the spikes of both $\widetilde{A}$ and $\widetilde{B}$ will cause outliers of the eigenvalue spectrum, and the eigenvectors can help us to select the outliers that correspond to the spikes of $\widetilde{A}$ (or $\widetilde{B}$).


title: Tensor network formulation of two dimensional gravity

abstract: We show how to formulate a lattice gauge theory whose naive continuum limit corresponds to two-dimensional (Euclidean) quantum gravity including a positive cosmological constant. More precisely the resultant continuum theory corresponds to gravity in a first-order formalism in which the local frame and spin connection are treated as independent fields. Recasting this lattice theory as a tensor network allows us to study the theory at strong coupling without encountering a sign problem. In two dimensions this tensor network is exactly soluble and we show that the system has a series of critical points that occur for pure imaginary coupling and are associated with first order phase transitions. We then augment the action with a Yang-Mills term which allows us to control the lattice spacing and show how to apply the TRG to compute the free energy and look for critical behavior. Finally we perform an analytic continuation in the gravity coupling in this extended model and show that its critical behavior in a certain scaling limit depends only on the topology of the underlying lattice. We also show how the lattice gauge theory can be naturally generalized to generate the Polyakov or Liouville action for two dimensional quantum gravity.


title: A large-scale, in-depth analysis of developers' personalities in the Apache ecosystem

abstract: Context: Large-scale distributed projects are typically the results of collective efforts performed by multiple developers with heterogeneous personalities. Objective: We aim to find evidence that personalities can explain developers' behavior in large scale-distributed projects. For example, the propensity to trust others - a critical factor for the success of global software engineering - has been found to influence positively the result of code reviews in distributed projects. Method: In this paper, we perform a quantitative analysis of ecosystem-level data from the code commits and email messages contributed by the developers working on the Apache Software Foundation (ASF) projects, as representative of large scale-distributed projects. Results: We find that there are three common types of personality profiles among Apache developers, characterized in particular by their level of Agreeableness and Neuroticism. We also confirm that developers' personality is stable over time. Moreover, personality traits do not vary with their role, membership, and extent of contribution to the projects. We also find evidence that more open developers are more likely to make contributors to Apache projects. Conclusion: Overall, our findings reinforce the need for future studies on human factors in software engineering to use psychometric tools to control for differences in developers' personalities.


title: Degenerate principal series in the general case

abstract: Let $G_n$ denote either the group $SO(2n+1, F)$, $Sp(2n, F)$, or $GSpin(2n+1, F)$ over a non-archimedean local field of characteristic different than two. We determine all composition factors of degenerate principal series of $G_n$, using methods based on the Aubert involution and known results on irreducible subquotiens of the generalized principal series of particular type.


title: The Bloom Clock

abstract: The bloom clock is a space-efficient, probabilistic data structure designed to determine the partial order of events in highly distributed systems. The bloom clock, like the vector clock, can autonomously detect causality violations by comparing its logical timestamps. Unlike the vector clock, the space complexity of the bloom clock does not depend on the number of nodes in a system. Instead it depends on a set of chosen parameters that determine its confidence interval, i.e. false positive rate. To reduce the space complexity from which the vector clock suffers, the bloom clock uses a 'moving window' in which the partial order of events can be inferred with high confidence. If two clocks are not comparable, the bloom clock can always deduce it, i.e. false negatives are not possible. If two clocks are comparable, the bloom clock can calculate the confidence of that statement, i.e. it can compute the false positive rate between comparable pairs of clocks. By choosing an acceptable threshold for the false positive rate, the bloom clock can properly compare the order of its timestamps, with that of other nodes in a highly accurate and space efficient way.


title: When is now in a distributed system? Animated motion (could) set the present in brain networks

abstract: Our brains are viewed as interconnected distributed systems. The connections between distant areas in the brain are significantly delayed. How to obtained now in such networks with delayed interconnections? We aim to show that delayed communication and interconnectedness of the brain impose an interaction with the environment, assuming that such an access to now, which we label t-present, is of use for this system. It is conjectured that for any sensory, motor or cognitive functions to work efficiently an updated sort of time origin is required, and we claim that it is uniquely given by a direct contact with the physical environment. To get such contact autonomously any movement is required, be it originating in the motion of sensory systems or in goal directed movements. Some limit cases are identified and discussed. Next, several testable situations are envisioned and available studies in favor of the main theoretical hypothesis are shortly reviewed. Finally, as a proof of concept, an experimental study employing galvanic vestibular stimulation is presented and discussed.


title: Align-and-Attend Network for Globally and Locally Coherent Video Inpainting

abstract: We propose a novel feed-forward network for video inpainting. We use a set of sampled video frames as the reference to take visible contents to fill the hole of a target frame. Our video inpainting network consists of two stages. The first stage is an alignment module that uses computed homographies between the reference frames and the target frame. The visible patches are then aggregated based on the frame similarity to fill in the target holes roughly. The second stage is a non-local attention module that matches the generated patches with known reference patches (in space and time) to refine the previous global alignment stage. Both stages consist of large spatial-temporal window size for the reference and thus enable modeling long-range correlations between distant information and the hole regions. Therefore, even challenging scenes with large or slowly moving holes can be handled, which have been hardly modeled by existing flow-based approach. Our network is also designed with a recurrent propagation stream to encourage temporal consistency in video results. Experiments on video object removal demonstrate that our method inpaints the holes with globally and locally coherent contents.


title: Classification of Strongly Positive Representations of Even General Unitary Groups

abstract: We explicitly construct the structure of Jacquet modules of parabolically induced representations of even unitary groups and even general unitary groups over a $p$-adic field $F$ of characteristic different than two. As an application, we obtain a classification of strongly positive discrete series representations of those groups.


title: Unbabel's Submission to the WMT2019 APE Shared Task: BERT-based Encoder-Decoder for Automatic Post-Editing

abstract: This paper describes Unbabel's submission to the WMT2019 APE Shared Task for the English-German language pair. Following the recent rise of large, powerful, pre-trained models, we adapt the BERT pretrained model to perform Automatic Post-Editing in an encoder-decoder framework. Analogously to dual-encoder architectures we develop a BERT-based encoder-decoder (BED) model in which a single pretrained BERT encoder receives both the source src and machine translation tgt strings. Furthermore, we explore a conservativeness factor to constrain the APE system to perform fewer edits. As the official results show, when trained on a weighted combination of in-domain and artificial training data, our BED system with the conservativeness penalty improves significantly the translations of a strong Neural Machine Translation system by $-0.78$ and $+1.23$ in terms of TER and BLEU, respectively. Finally, our submission achieves a new state-of-the-art, ex-aequo, in English-German APE of NMT.


title: High Performance Ternary Alkali Nitrides for Renewable Energy Applications

abstract: Rapid decline in fossil fuel energy necessitates the immediate need for renewable energy resources. Here, we report a previously unexplored class of nitrides AMN$_2$ keeping renewable energy applications in mind. Using a detailed structure and stability analysis using first principles simulation, we discovered twelve such compounds (few of which are already synthesized before), which are chemically, mechanically and dynamically stable. These twelve compounds were then evaluated for their suitability for three renewable energy applications, (i) photovoltaics, (ii) water splitting, and (iii) thermoelectrics. Careful analysis of electronic structure reveals high optical transition strength resulting in sharp rise in absorption. This in turn yields high short circuit current and hence excellent solar efficiency for few compounds namely CsVN$_2$ and RbVN$_2$. Along with excellent absorption quality, some compounds show favorable band edge positions compared to water redox levels and hence are promising as photoelectrodes in photo(electro)chemical water splitting devices. Mixture of flat and dispersive bands in the band structure yields both high Seebeck and electrical conductivity, thus excellent power factor for seven compounds. Simulated lattice thermal conductivity shows moderate to ultralow values and thus the possibility of achieving high thermoelectric figure of merit (ZT), even at lower temperatures. From the experimental perspective, we discuss the possible challenges that may arise while utilizing these compounds for the desired applications, and suggest possible pathways to overcome them. We believe such theoretical prediction of promising materials are extremely useful for new materials discovery and anticipate rapid response from the experimental community.


title: Non-equilibrium spectral functions from multi-terminal steady-state density functional theory

abstract: Multi-terminal transport setups allow to realize more complex measurements and functionalities (e.g., transistors) of nanoscale systems than the simple two-terminal arrangement. Here the steady-state density functional formalism (i-DFT) for the description of transport through nanoscale junctions with an arbitrary number of leads is developed. In a three-terminal setup and in the ideal STM limit where one of the electrodes (the `STM tip') is effectively decoupled from the junction, the formalism allows to extract its non-equilibrium spectral function (at arbitrary temperature) while a bias is applied between the other two electrodes. Multi-terminal i-DFT is shown to be capable of describing the splitting of the Kondo resonance in an Anderson impurity in the presence of an applied bias voltage, as predicted by numerically exact many-body approaches.


title: Effects of an induced three-body force in the incident channel of (d,p) reactions

abstract: A widely accepted practice for treating deuteron breakup in $A(d,p)B$ reactions relies on solving a three-body $A+n+p$ Schr\"odinger equation with pairwise $A$-$n$, $A$-$p$ and $n$-$p$ interactions. However, it was shown in [Phys. Rev. C \textbf{89}, 024605 (2014)] that projection of the many-body $A+2$ wave function into the three-body $A+n+p$ channel results in a complicated three-body operator that cannot be reduced to a sum of pairwise potentials. It contains explicit contributions from terms that include interactions between the neutron and proton via excitation of the target $A$. Such terms are normally neglected. We estimate the first order contribution of these induced three-body terms and show that applying the adiabatic approximation to solving the $A+n+p$ model results in a simple modification of the two-body nucleon optical potentials. We illustrate the role of these terms for the case of $^{40}$Ca($d,p$)$^{41}$Ca transfer reactions at incident deuteron energies of 11.8, 20 and 56 MeV, using several parameterisations of nonlocal optical potentials.


title: Somewhere Around That Number: An Interview Study of How Spreadsheet Users Manage Uncertainty

abstract: Spreadsheet users regularly deal with uncertainty in their data, for example due to errors and estimates. While an insight into data uncertainty can help in making better informed decisions, prior research suggests that people often use informal heuristics to reason with probabilities, which leads to incorrect conclusions. Moreover, people often ignore or simplify uncertainty. To understand how people currently encounter and deal with uncertainty in spreadsheets, we conducted an interview study with 11 spreadsheet users from a range of domains. We found that how people deal with uncertainty is influenced by the role the spreadsheet plays in people's work and the user's aims. Spreadsheets are used as a database, template, calculation tool, notepad and exploration tool. In doing so, participants' aims were to compute and compare different scenarios, understand something about the nature of the uncertainty in their situation, and translate the complexity of data uncertainty into simplified presentations to other people, usually decision-makers. Spreadsheets currently provide limited tools to support these aims, and participants had various workarounds.


title: Molecular Beam Epitaxy Growth of Antiferromagnetic Kagome Metal FeSn

abstract: FeSn is a room-temperature antiferromagnet expected to host Dirac fermions in its electronic structure. The interplay of magnetic degree of freedom and the Dirac fermions makes FeSn an attractive platform for spintronics and electronic devices. While stabilization of thin film FeSn is needed for the development of such devices, there exist no previous report of epitaxial growth of single crystalline FeSn. Here we report the realization of epitaxial thin films of FeSn (001) grown by molecular beam epitaxy on single crystal SrTiO$_{3}$ (111) substrates. By combining X-ray diffraction, electrical transport, and torque magnetometry measurements, we demonstrate the high quality of these films with the residual resistivity ratio $\rho_{xx}(300 \hspace{0.2em}{\rm K})/\rho_{xx}(2 \hspace{0.2em}{\rm K}) = 24$ and antiferromagnetic ordering at $T_{\rm N}$ = 353 K. These developments open a pathway to manipulate the Dirac fermions in FeSn by both magnetic interactions and the electronic field effect for use in antiferromagnetic spintronics devices.


title: Robust Sparse Regularization: Simultaneously Optimizing Neural Network Robustness and Compactness

abstract: Deep Neural Network (DNN) trained by the gradient descent method is known to be vulnerable to maliciously perturbed adversarial input, aka. adversarial attack. As one of the countermeasures against adversarial attack, increasing the model capacity for DNN robustness enhancement was discussed and reported as an effective approach by many recent works. In this work, we show that shrinking the model size through proper weight pruning can even be helpful to improve the DNN robustness under adversarial attack. For obtaining a simultaneously robust and compact DNN model, we propose a multi-objective training method called Robust Sparse Regularization (RSR), through the fusion of various regularization techniques, including channel-wise noise injection, lasso weight penalty, and adversarial training. We conduct extensive experiments across popular ResNet-20, ResNet-18 and VGG-16 DNN architectures to demonstrate the effectiveness of RSR against popular white-box (i.e., PGD and FGSM) and black-box attacks. Thanks to RSR, 85% weight connections of ResNet-18 can be pruned while still achieving 0.68% and 8.72% improvement in clean- and perturbed-data accuracy respectively on CIFAR-10 dataset, in comparison to its PGD adversarial training baseline.


title: Robust diffusion parametric mapping of motion-corrupted data with a three-dimensional convolutional neural network

abstract: Head motion is inevitable in the acquisition of diffusion-weighted images, especially for certain motion-prone subjects and for data gathering of advanced diffusion models with prolonged scan times. Deficient accuracy of motion correction cause deterioration in the quality of diffusion model reconstruction, thus affecting the derived measures. This results in either loss of data, or introducing bias in outcomes from data of different motion levels, or both. Hence minimizing motion effects and reutilizing motion-contaminated data becomes vital to quantitative studies. We have previously developed a 3-dimensional hierarchical convolution neural network (3D H-CNN) for robust diffusion kurtosis mapping from under-sampled data. In this study, we propose to extend this method to motion-contaminated data for robust recovery of diffusion model-derived measures with a process of motion assessment and corrupted volume rejection. We validate the proposed pipeline in two in-vivo datasets. Results from the first dataset of individual subjects show that all the diffusion tensor and kurtosis tensor-derived measures from the new pipeline are minimally sensitive to motion effects, and are comparable to the motion-free reference with as few as eight volumes retained from the motion-contaminated data. Results from the second dataset of a group of children with attention deficit hyperactivity disorder demonstrate the ability of our approach in ameliorating spurious group differences due to head motion. This method shows great potential for exploiting some valuable but motion-corrupted DWI data which are likely to be discarded otherwise, and applying to data with different motion level thus improving their utilization and statistic power.


title: An efficient steady-state analysis of the eddy current problem using a parallel-in-time algorithm

abstract: This paper introduces a parallel-in-time algorithm for efficient steady-state solution of the eddy current problem. Its main idea is based on the application of the well-known multi-harmonic (or harmonic balance) approach as the coarse solver within the periodic parallel-in-time framework. A frequency domain representation allows for the separate calculation of each harmonic component in parallel and therefore accelerates the solution of the time-periodic system. The presented approach is verified for a nonlinear coaxial cable model.


title: A Hierarchical Probabilistic U-Net for Modeling Multi-Scale Ambiguities

abstract: Medical imaging only indirectly measures the molecular identity of the tissue within each voxel, which often produces only ambiguous image evidence for target measures of interest, like semantic segmentation. This diversity and the variations of plausible interpretations are often specific to given image regions and may thus manifest on various scales, spanning all the way from the pixel to the image level. In order to learn a flexible distribution that can account for multiple scales of variations, we propose the Hierarchical Probabilistic U-Net, a segmentation network with a conditional variational auto-encoder (cVAE) that uses a hierarchical latent space decomposition. We show that this model formulation enables sampling and reconstruction of segmenations with high fidelity, i.e. with finely resolved detail, while providing the flexibility to learn complex structured distributions across scales. We demonstrate these abilities on the task of segmenting ambiguous medical scans as well as on instance segmentation of neurobiological and natural images. Our model automatically separates independent factors across scales, an inductive bias that we deem beneficial in structured output prediction tasks beyond segmentation.


title: Remarks on homogeneous solitons of the G$_2$-Laplacian flow

abstract: We show the existence of expanding solitons of the G$_2$-Laplacian flow on non-solvable Lie groups, and we give the first example of a steady soliton that is not an extremally Ricci pinched G$_2$-structure.


title: Measurement of permeability for ferrous metallic plates using a novel lift-off compensation technique on phase signature

abstract: Lift-off of sensor affects the prediction of electromagnetic properties for both ferrous and non-ferrous steel plates. In this paper, we developed a strategy to address this issue for ferrous plates. With increased lift-off, the phase of the measured impedance for steel plates reduces. Meanwhile, the magnitude of the impedance signal decreases. Based on these facts, a phase compensation algorithm is developed which corrects the phase change due to lift-off considering the magnitude of the impedance signal. Further, a new magnetic permeability prediction technique is presented, which has been validated by analytical and measured results. With this new technique, the error in permeability prediction is less than 2% within the range of lift-offs tested.


title: An equivalent-effect phenomenon in eddy current non-destructive testing of thin structures

abstract: The inductance/impedance due to thin metallic structures in non-destructive testing (NDT) is difficult to evaluate. In particular, in Finite Element Method (FEM) eddy current simulation, an extremely fine mesh is required to accurately simulate skin effects especially at high frequencies, and this could cause an extremely large total mesh for the whole problem, i.e. including, for example, other surrounding structures and excitation sources like coils. Consequently, intensive computation requirements are needed. In this paper, an equivalent-effect phenomenon is found, which has revealed that alternative structures can produce the same effect on the sensor response, i.e. mutual impedance/inductance of coupled coils if a relationship (reciprocal relationship) between the electrical conductivity and the thickness of the structure is observed. By using this relationship, the mutual inductance/impedance can be calculated from the equivalent structures with much fewer mesh elements, which can significantly save the computation time. In eddy current NDT, coils inductance/impedance is normally used as a critical parameter for various industrial applications, such as flaw detection, coating and microstructure sensing. Theoretical derivation, measurements and simulations have been presented to verify the feasibility of the proposed phenomenon.


title: Determination of the magnetic permeability, electrical conductivity, and thickness of ferrite metallic plates using a multi-frequency electromagnetic sensing system

abstract: In this paper, an inverse method was developed which can, in principle, reconstruct arbitrary permeability, conductivity, thickness, and lift-off with a multi-frequency electromagnetic sensor from inductance spectroscopic measurements. The system fives the error of "Bad character(s) in field Abstract" for no reason. Please refer to manuscript for the full abstract.


title: Memory-Driven Mixed Low Precision Quantization For Enabling Deep Network Inference On Microcontrollers

abstract: This paper presents a novel end-to-end methodology for enabling the deployment of low-error deep networks on microcontrollers. To fit the memory and computational limitations of resource-constrained edge-devices, we exploit mixed low-bitwidth compression, featuring 8, 4 or 2-bit uniform quantization, and we model the inference graph with integer-only operations. Our approach aims at determining the minimum bit precision of every activation and weight tensor given the memory constraints of a device. This is achieved through a rule-based iterative procedure, which cuts the number of bits of the most memory-demanding layers, aiming at meeting the memory constraints. After a quantization-aware retraining step, the fake-quantized graph is converted into an inference integer-only model by inserting the Integer Channel-Normalization (ICN) layers, which introduce a negligible loss as demonstrated on INT4 MobilenetV1 models. We report the latency-accuracy evaluation of mixed-precision MobilenetV1 family networks on a STM32H7 microcontroller. Our experimental results demonstrate an end-to-end deployment of an integer-only Mobilenet network with Top1 accuracy of 68% on a device with only 2MB of FLASH memory and 512kB of RAM, improving by 8% the Top1 accuracy with respect to previously published 8 bit implementations for microcontrollers.


title: The global attractiveness of the fixed point of a gonosomal evolution operator

abstract: In the paper we prove a conjecture of U.A. Rozikov and R. Varro about globally attractiveness of a unique fixed point of the normalized evolution operator of a sex linked inheritance.


title: A Novel Time-Based Modulation Scheme in Time-Asynchronous Channels for Molecular Communications

abstract: In this paper, a novel time-based modulation scheme is proposed in the time-asynchronous channel for diffusion-based molecular communication systems with drift. Based on this modulation scheme, we demonstrate that the sample variance of information molecules' arrival time approximately follows a noncentral chi-squared distribution. According to its conditional probability density function (PDF), the asynchronous receiver designs are deduced based on the maximum likelihood (ML) detection, with or without background noise in the channel environment. Since the proposed schemes can be applied to the case of transmitting multiple information molecules, simulation results reveal that the bit error ratio (BER) performance improves with the increase of the number of released information molecules. Furthermore, when the background noise is not negligible, our proposed asynchronous scheme outperforms the asynchronous modulation techniques based on encoding information on the time between two consecutive release of information molecules.


title: Two-dimensional SCFTs from matter-coupled 7D N=2 gauged supergravity

abstract: We study supersymmetric $AdS_3\times M^4$ solutions of $N=2$ gauged supergravity in seven dimensions coupled to three vector multiplets with $SO(4)\sim SO(3)\times SO(3)$ gauge group and $M^4$ being a four-manifold with constant curvature. The gauged supergravity admits two supersymmetric $AdS_7$ critical points with $SO(4)$ and $SO(3)$ symmetries corresponding to $N=(1,0)$ superconformal field theories (SCFTs) in six dimensions. For $M^4=\Sigma^2\times\Sigma^2$ with $\Sigma^2$ being a Riemann surface, we obtain a large class of supersymmetric $AdS_3\times \Sigma^2\times \Sigma^2$ solutions preserving four supercharges and $SO(2)\times SO(2)$ symmetry for one of the $\Sigma^2$ being a hyperbolic space $H^2$, and the solutions are dual to $N=(2,0)$ SCFTs in two dimensions. For a smaller symmetry $SO(2)$, only $AdS_3\times H^2\times H^2$ solutions exist. Some of these are also solutions of pure $N=2$ gauged supergravity with $SU(2)\sim SO(3)$ gauge group. We numerically study domain walls interpolating between the two supersymmetric $AdS_7$ vacua and these geometries. The solutions describe holographic RG flows across dimensions from $N=(1,0)$ SCFTs in six dimensions to $N=(2,0)$ two-dimensional SCFTs in the IR. Similar solutions for $M^4$ being a Kahler four-cycle with negative curvature are also given. In addition, unlike $M^4=\Sigma^2\times \Sigma^2$ case, it is possible to twist by $SO(3)_{\textrm{diag}}$ gauge fields resulting in two-dimensional $N=(1,0)$ SCFTs. Some of the solutions can be uplifted to eleven dimensions and provide a new class of $AdS_3\times M^4\times S^4$ solutions in M-theory.


title: The effect of higher dimensional QCD operators on the spectroscopy of bottom-up holographic models

abstract: Within the bottom-up holographic approach to QCD, the highly excited hadrons are identified with the bulk normal modes in the fifth "holographic" dimension. We show that additional states in the same mass range can appear also from taking into consideration the 5D fields dual to higher dimensional QCD operators. The possible effects of these operators were not taken into account in almost all phenomenological applications. Using the scalar case as the simplest example, we demonstrate that the additional higher dimensional operators lead to a large degeneracy of highly excited states in the Soft Wall holographic model while in the Hard Wall holographic model, they result in a proliferation of excited states. The considered model can be viewed as the first analytical toy-model predicting a one-to-one mapping of the excited meson states to definite QCD operators to which they prefer to couple.


title: TS-RNN: Text Steganalysis Based on Recurrent Neural Networks

abstract: With the rapid development of natural language processing technologies, more and more text steganographic methods based on automatic text generation technology have appeared in recent years. These models use the powerful self-learning and feature extraction ability of the neural networks to learn the feature expression of massive normal texts. Then they can automatically generate dense steganographic texts which conform to such statistical distribution based on the learned statistical patterns. In this paper, we observe that the conditional probability distribution of each word in the automatically generated steganographic texts will be distorted after embedded with hidden information. We use Recurrent Neural Networks (RNNs) to extract these feature distribution differences and then classify those features into cover text and stego text categories. Experimental results show that the proposed model can achieve high detection accuracy. Besides, the proposed model can even make use of the subtle differences of the feature distribution of texts to estimate the amount of hidden information embedded in the generated steganographic text.


title: Intrinsically Undamped Plasmon Modes in Narrow Electron Bands

abstract: Surface plasmons in 2-dimensional electron systems with narrow Bloch bands feature an interesting regime in which Landau damping (dissipation via electron-hole pair excitation) is completely quenched. This surprising behavior is made possible by strong coupling in narrow-band systems characterized by large values of the "fine structure" constant $\alpha=e^2/\hbar \kappa v_{\rm F}$. Dissipation quenching occurs when dispersing plasmon modes rise above the particle-hole continuum, extending into the forbidden energy gap that is free from particle-hole excitations. The effect is predicted to be prominent in moir\'e graphene, where at magic twist-angle values, flat bands feature $\alpha\gg1$. The extinction of Landau damping enhances spatial optical coherence. Speckle-like interference, arising in the presence of disorder scattering, can serve as a telltale signature of undamped plasmons directly accessible in near-field imaging experiments.


title: Stabilization for vibrating plate with singular structural damping

abstract: We consider the dynamic elasticity equation, modeled by the Euler-Bernoulli plate equation, with a locally distributed singular structural (or viscoelastic ) damping in a boundary domain. Using a frequency domain method combined, based on the Burq's result, combined with an estimate of Carleman type we provide precise decay estimate showing that the energy of the system decays logarithmically as the type goes to the infinity.


title: Improving Voltage Profile of the Nigerian Power Grid

abstract: Extreme voltages at the system nodes are one of the primary causes for total and partial collapse of the Nigerian grid. In this paper, we develop a framework to re-dispatch the voltage set-points of committed generators in the grid to improve the voltage profile of the system nodes thus lowering the likelihood of a grid collapse. This framework is an extension of circuit-theoretic formulation that can robustly solve general-purpose grid optimization problems. In the results section, we re-dispatch the voltage setpoints for committed generators in real-life Nigerian grid operation and planning test cases to improve the overall voltage profile of the grid. We further demonstrate that the re-dispatched grid is more resilient and secure than the base case through running contingency analyses.


title: Stringy (Galilei) Newton-Hooke Chern-Simons Gravities

abstract: We construct Chern-Simons gravities in $(2+1)$-dimensional space-time considering the Stringy Galilei algebra both with and without non-central extensions. In the first case, there is an invariant and non-degenerate bilinear form, however, the field equations do not allow to express the spin connections in terms of the dreibeins. In the second case, there is no invariant non-degenerate bilinear form. Therefore, in both cases, we do not have an ordinary gravity theory. Instead, if we consider the stringy Newton-Hooke algebra with extensions as gauge group we have an invariant non-degenerate metric and from the field equations, we express the spin connections in terms of the geometric fields.


title: Surface waves with negative phase velocity supported by temperature-dependent hyperbolic materials

abstract: A numerical investigation was undertaken to elucidate the propagation of electromagnetic surface waves guided by the planar interface of two temperature-sensitive materials. One partnering material was chosen to be isotropic and the other to be anisotropic. Both partnering materials were engineered composite materials, based on the temperature-sensitive semiconductor InSb. At low temperatures the anisotropic partnering material is a non-hyperbolic uniaxial material; as the temperature is raised this material becomes a hyperbolic uniaxial material. At low temperatures, a solitary Dyakonov wave propagates along any specific direction in a range of directions parallel to the planar interface. At high temperatures, up to three different surface waves can propagate in certain directions parallel to the planar interface; one of these surface waves propagates with negative phase velocity (NPV). At a fixed temperature, the range of directions for NPV propagation decreases uniformly in extent as the volume fraction of InSb in the isotropic partnering material decreases. At a fixed volume fraction of InSb in the isotropic partnering material, the angular range for NPV propagation varies substantially as the temperature varies.


title: Optical cooling of lead halide perovskite nanoparticles enhanced by Mie resonances

abstract: Halide perovskites is a family of semiconductor materials demonstrating prospective properties for optical cooling owing to efficient luminescence at room temperature and strong electron-phonon interaction. On the other hand, perovskite based nanophotonic designs would allow for efficient optical cooling at nanoscale. Here we propose a novel strategy for enhancement of optical cooling at nanoscale based on optical resonances engineering in halide perovskite nanoparticles. Namely, photoluminescence up-conversion efficiency in a nanoparticle is optimized via excitation of Mie-resonances both at emission and absorption wavelengths. The optimized theoretically photo-induced temperature decrease is achieved for a hybrid halide perovskite (CH$_3$NH$_3$PbI$_3$) 530 nm nanoparticle on a glass substrate by more than 100 K under CW illumination at wavelength 980 nm and moderate intensities (7*10$^6$ W/cm2). The optimized regime originates from simultaneous excitation of magnetic quadrupole and magnetic octopole at pump and emission wavelengths, respectively. The combination of thermally sensitive photoluminescence signal and simplicity in fabrication of halide perovskite nanocavity will pave the way for implementation of nanoscale optical coolers for advanced applications.


title: Films of rhombohedral graphite as two-dimensional topological semimetals

abstract: Topologically non-trivial states characterized by Berry curvature appear in a number of materials ranging from spin-orbit-coupling driven topological insulators to graphene. In multivalley conductors, such as mono- and bilayer graphene, despite a zero total Chern number for the entire Brillouin zone, Berry curvature with different signs concentrated in different valleys can affect the observable material's transport characteristics. Here we consider thin films of rhombohedral graphite, which appear to retain truly two-dimensional properties up to tens of layers of thickness and host two-dimensional electron states with a large Berry curvature, accompanied by a giant intrinsic magnetic moment carried by electrons. The size of Berry curvature and magnetization in the vicinity of each valley can be controlled by electrostatic gating leading to a tuneable anomalous Hall effect and a peculiar structure of the two-dimensional Landau level spectrum.


title: Quantum Speedup Based on Classical Decision Trees

abstract: Lin and Lin have recently shown how starting with a classical query algorithm (decision tree) for a function, we may find upper bounds on its quantum query complexity. More precisely, they have shown that given a decision tree for a function $f:\{0,1\}^n\to[m]$ whose input can be accessed via queries to its bits, and a guessing algorithm that predicts answers to the queries, there is a quantum query algorithm for $f$ which makes at most $O(\sqrt{GT})$ quantum queries where $T$ is the depth of the decision tree and $G$ is the maximum number of mistakes of the guessing algorithm. In this paper we give a simple proof of and generalize this result for functions $f:[\ell]^n \to [m]$ with non-binary input as well as output alphabets. Our main tool for this generalization is non-binary span program which has recently been developed for non-binary functions, and the dual adversary bound. As applications of our main result we present several quantum query upper bounds, some of which are new. In particular, we show that topological sorting of vertices of a directed graph $\mathcal{G}$ can be done with $O(n^{3/2})$ quantum queries in the adjacency matrix model. Also, we show that the quantum query complexity of the maximum bipartite matching is upper bounded by $O(n^{3/4}\sqrt m + n)$ in the adjacency list model.


title: Scaling Up Quasi-Newton Algorithms: Communication Efficient Distributed SR1

abstract: In this paper, we present a scalable distributed implementation of the Sampled Limited-memory Symmetric Rank-1 (S-LSR1) algorithm. First, we show that a naive distributed implementation of S-LSR1 requires multiple rounds of expensive communications at every iteration and thus is inefficient. We then propose DS-LSR1, a communication-efficient variant that: (i) drastically reduces the amount of data communicated at every iteration, (ii) has favorable work-load balancing across nodes, and (iii) is matrix-free and inverse-free. The proposed method scales well in terms of both the dimension of the problem and the number of data points. Finally, we illustrate the empirical performance of DS-LSR1 on a standard neural network training task.


title: Layer-Resolved Ultrafast XUV Measurement of Hole Transport in a Ni-TiO2-Si Photoanode

abstract: Metal-oxide-semiconductor junctions are central to most electronic and optoelectronic devices. Here, the element-specificity of broadband extreme ultraviolet (XUV) ultrafast pulses is used to measure the charge transport and recombination kinetics in each layer of a Ni-TiO2-Si junction. After photoexcitation of silicon, holes are inferred to transport from Si to Ni ballistically in ~100 fs, resulting in spectral shifts in the Ni M2,3 XUV edge that are characteristic of holes and the absence of holes initially in TiO2. Meanwhile, the electrons are observed to remain on Si. After picoseconds, the transient hole population on Ni is observed to back-diffuse through the TiO2, shifting the Ti spectrum to higher oxidation state, followed by electron-hole recombination at the Si-TiO2 interface and in the Si bulk. Electrical properties, such as the hole diffusion constant in TiO2 and the initial hole mobility in Si, are fit from these transient spectra and match well with values reported previously.


title: Customer mobility and congestion in supermarkets

abstract: The analysis and characterization of human mobility using population-level mobility models is important for numerous applications, ranging from the estimation of commuter flows in cities to modeling trade flows between countries. However, almost all of these applications have focused on large spatial scales, which typically range between intra-city scales to inter-country scales. In this paper, we investigate population-level human mobility models on a much smaller spatial scale by using them to estimate customer mobility flow between supermarket zones. We use anonymized, ordered customer-basket data to infer empirical mobility flow in supermarkets, and we apply variants of the gravity and intervening-opportunities models to fit this mobility flow and estimate the flow on unseen data. We find that a doubly-constrained gravity model and an extended radiation model (which is a type of intervening-opportunities model) can successfully estimate 65--70\% of the flow inside supermarkets. Using a gravity model as a case study, we then investigate how to reduce congestion in supermarkets using mobility models. We model each supermarket zone as a queue, and we use a gravity model to identify store layouts with low congestion, which we measure either by the maximum number of visits to a zone or by the total mean queue size. We then use a simulated-annealing algorithm to find store layouts with lower congestion than a supermarket's original layout. In these optimized store layouts, we find that popular zones are often in the perimeter of a store. Our research gives insight both into how customers move in supermarkets and into how retailers can arrange stores to reduce congestion. It also provides a case study of human mobility on small spatial scales.

categories: physics.soc-ph cs.SI math.PR nlin.AO physics.data-an


title: On Multiple-Access in Queue-Length Sensitive Systems

abstract: We consider transmission of packets over queue-length sensitive unreliable links, where packets are randomly corrupted through a noisy channel whose transition probabilities are modulated by the queue-length. The goal is to characterize the capacity of this channel. We particularly consider multiple-access systems, where transmitters dispatch encoded symbols over a system that is a superposition of continuous-time $GI_k/GI/1$ queues. A server receives and processes symbols in order of arrivals with queue-length dependent noise. We first determine the capacity of single-user queue-length dependent channels. Further, we characterize the best and worst dispatch processes for $GI/M/1$ queues and the best and worst service processes for $M/GI/1$ queues. Then, the multiple-access channel capacity is obtained using point processes. When the number of transmitters is large and each arrival process is sparse, the superposition of arrivals approaches a Poisson point process. In characterizing the Poisson approximation, we show that the capacity of the multiple-access system converges to that of a single-user $M/GI/1$ queue-length dependent system, and an upper bound on the convergence rate is obtained. This implies that the best and worst server behaviors of single-user $M/GI/1$ queues are preserved in the sparse multiple-access case.


title: Towards Finding Longer Proofs

abstract: We present a reinforcement learning (RL) based guidance system for automated theorem proving geared towards Finding Longer Proofs (FLoP). Unlike most learning based approaches, we focus on generalising from very little training data and achieving near complete confidence. We use several simple, structured datasets with very long proofs to show that FLoP can successfully generalise a single training proof to a large class of related problems. On these benchmarks, FLoP is competitive with strong theorem provers despite using very limited search, due to its ability to solve problems that are prohibitively long for other systems.


title: Impact of Cross-Sectional Uncertainties on DUNE Sensitivity due to Nuclear Effects

abstract: In neutrino oscillation experiments precise measurement of neutrino oscillation parameters is of prime importance as well as a challenge. To improve the statistics, presently running and proposed experiments are using heavy nuclear targets. These targets introduce nuclear effects and the quantification of these effects on neutrino oscillation parameters will be decisive in the prediction of neutrino oscillation physics. Limited understanding of neutrino nucleus interactions and inaccurate reconstruction of neutrino energy causes uncertainty in the cross section. The error in the determination of cross section which contributes to systematic error introduces error in the neutrino mixing parameters that are determined by these experiments. In this work we focus on the variation in the predictions of DUNE potential, arising due to systematic uncertainties, using two different event generators-GENIE and GiBUU. These generators have different and independent cross-section models. To check the DUNE potential with the two generators as mentioned we have checked the senstivity studies of DUNE for CP violation, mass hierarchy and octant degeneracy.