title: Forecasting Covid-19 dynamics in Brazil: a data driven approach

abstract: This paper has a twofold contribution. The first is a data driven approach for predicting the Covid 19 pandemic dynamics, based on data from more advanced countries. The second is to report and discuss the results obtained with this approach for Brazilian states, as of May 4th, 2020. We start by presenting preliminary results obtained by training an LSTM SAE network, which are somewhat disappointing. Then, our main approach consists in an initial clustering of the world regions for which data is available and where the pandemic is at an advanced stage, based on a set of manually engineered features representing a country response to the early spread of the pandemic. A Modified Auto-Encoder network is then trained from these clusters and learns to predict future data for Brazilian states. These predictions are used to estimate important statistics about the disease, such as peaks. Finally, curve fitting is carried out on the predictions in order to find the distribution that best fits the outputs of the MAE, and to refine the estimates of the peaks of the pandemic. Results indicate that the pandemic is still growing in Brazil, with most states peaks of infection estimated between the 25th of April and the 19th of May 2020. Predicted numbers reach a total of 240 thousand infected Brazilians, distributed among the different states, with S\~ao Paulo leading with almost 65 thousands estimated, confirmed cases. The estimated end of the pandemics (with 97 percent of cases reaching an outcome) starts as of May 28th for some states and rests through August 14th, 2020.


title: Learning to Herd Agents Amongst Obstacles: Training Robust Shepherding Behaviors using Deep Reinforcement Learning

abstract: Robotic shepherding problem considers the control and navigation of a group of coherent agents (e.g., a flock of bird or a fleet of drones) through the motion of an external robot, called shepherd. Machine learning based methods have successfully solved this problem in an empty environment with no obstacles. Rule-based methods, on the other hand, can handle more complex scenarios in which environments are cluttered with obstacles and allow multiple shepherds to work collaboratively. However, these rule-based methods are fragile due to the difficulty in defining a comprehensive set of rules that can handle all possible cases. To overcome these limitations, we propose the first known learning-based method that can herd agents amongst obstacles. By using deep reinforcement learning techniques combined with the probabilistic roadmaps, we train a shepherding model using noisy but controlled environmental and behavioral parameters. Our experimental results show that the proposed method is robust, namely, it is insensitive to the uncertainties originated from both environmental and behavioral models. Consequently, the proposed method has a higher success rate, shorter completion time and path length than the rule-based behavioral methods have. These advantages are particularly prominent in more challenging scenarios involving more difficult groups and strenuous passages.


title: Isomers in Interstellar Environments (I): The Case of Z- and E-Cyanomethanimine

abstract: In this work, we present the results of our investigation into the chemistry of Z- and E-cyanomethanimine (HNCHCN), both of which are possible precursors to the nucleobase adenine. Ab initio quantum chemical calculations for a number of reactions with atomic hydrogen were carried out. We find that the reaction H + Z/E-HNCHCN leading both to H-addition as well as H$_2$-abstraction proceed via similar short-range barriers with bimolecular rate coefficients on the order of $\sim10^{-17}$ cm$^{3}$ s$^{-1}$. These results were then incorporated into astrochemical models and used in simulations of the giant molecular cloud G+0.693. The calculated abundances obtained from these models were compared with previous observational data and found to be in good agreement, with a predicted [Z/E] ratio of $\sim3$ - somewhat smaller than the previously derived value of $6.1\pm2.4$. We find that the [Z/E] ratio in our simulations is due mostly to ion-molecule destruction rates driven by the different permanent dipoles of the two conformers. Based on these results, we propose a general rule-of-thumb for estimating the abundances of isomers in interstellar environments.


title: Monads and "do" notation in the Wolfram Language

abstract: This paper describes a categorical interpretation of the Wolfram Language and introduces a simple implementation of monadic types and the "do" notation. The monadic style of programming combined with the many built in functions of the Wolfram Language has potential to be a powerful tool in writing Wolfram Language code. Additionally, using pure functions and the "do" notation can result in programs that are very predictable and easy to parallelize.


title: Microscopic Models of Linear Dilaton Gravity and Their Semi-classical Approximations

abstract: We reanalyze and expand upon models proposed in 2015 for linear dilaton black holes, and use them to test several speculative ideas about black hole physics. We examine ideas based on the definition of quantum extremal surfaces in quantum field theory in curved space-time. The low energy effective field theory of our model is the large N CGHS model, which includes the one loop effects that are taken into account in the "island" proposal for understanding the Page curve. Contrary to the results of the island analysis, that solution leads to a singular geometry for the evaporated black hole. If the singularity obeys Cosmic Censorship then Hawking evaporation leaves behind a remnant object with a finite fraction of the black hole entropy. If the singularity becomes naked at some point, boundary conditions on a time-like line emanating from that point can produce a sensible model where we expect a Page curve. We show that the fully UV complete model gives a correct Page curve, as it must since the model is manifestly unitary. Recent result on replicawormholes suggest that the island formula, which appears to involve only one loop computations, in fact encodes non-perturbative contributions to the gravitational path integral. The question of why Euclidean gravity computations can capture information about microscopic states of quantum gravity remains mysterious. In a speculative coda to the paper we suggest that the proper way of understanding the relation between Euclidean gravity path integrals and quantum spectra is via a statistical approach to Jacobson's interpretation of general relativistic field equations as the hydrodynamic equations of the area law for the maximal entropy of causal diamonds.


title: Diurnal Effect of Sub-GeV Dark Matter Boosted by Cosmic Rays

abstract: We point out a new type of diurnal effect for the cosmic ray boosted dark matter (DM). The DM-nucleon interactions not only allow the direct detection of DM with nuclear recoils, but also allow cosmic rays to scatter with and boost the nonrelativistic DM to higher energies. If the DM-nuclei scattering cross sections are sufficiently large, the DM flux is attenuated as it propagates through the Earth, leading to a strong diurnal modulation. This diurnal modulation provides another prominent signature for the direct detection of boosted sub-GeV DM, in addition to signals with higher recoil energy.


title: A GPU Spatial Processing System for CHIME

abstract: We present an overview of the Graphics Processing Unit (GPU) based spatial processing system created for the Canadian Hydrogen Intensity Mapping Experiment (CHIME). The design employs AMD S9300x2 GPUs and readily-available commercial hardware in its processing nodes to provide a cost- and power-efficient processing substrate. These nodes are supported by a liquid-cooling system which allows continuous operation with modest power consumption and in all but the most adverse conditions. Capable of continuously correlating 2048 receiver-polarizations across 400\,MHz of bandwidth, the CHIME X-engine constitutes the most powerful radio correlator currently in existence. It receives $6.6$\,Tb/s of channelized data from CHIME's FPGA-based F-engine, and the primary correlation task requires $8.39\times10^{14}$ complex multiply-and-accumulate operations per second. The same system also provides formed-beam data products to commensal FRB and Pulsar experiments; it constitutes a general spatial-processing system of unprecedented scale and capability, with correspondingly great challenges in computation, data transport, heat dissipation, and interference shielding.


title: An Empirical Investigation of Cash Conversion Cycle of Manufacturing Firms and its Association with Firm Size and Profitability

abstract: The purpose of this empirical study is to investigate Cash Conversion Cycle of thirty manufacturing firms listed in Dhaka Stock Exchanges under six different categories, which are, Food and allied, Pharmaceuticals and chemical, Cement, Textile, Engineering and Miscellaneous. This paper sets industry average Cash Conversion Cycle for these six industries and examines the relationship of Cash Conversion Cycle with firm size and profitability. This study did not find statistically significant differences among the Cash Conversion Cycle of varying manufacturing industries. The result of this study indicates a statistically significant negative relationship between the Cash Conversion Cycle and profitability, especially in terms of Return on Equity. The result also shows that the Cash Conversion Cycle of manufacturing firm also has significant negative relationship with firm size, when measured in terms of net sales. The present study contributes to the literature on working capital management written in the context of Bangladesh.


title: An Investigation into the Equivalency of Three Performance Dimensions: Evidence from Commercial Banks in Bangladesh

abstract: This study evaluated the three dimensions of performance of commercial banks in Bangladesh by analyzing the trend of the Malmquist Productivity Index (MPI) of the Total Factor Productivity (TFP), Return on Asset (ROA) and Total Stock Return (TSR) over the period 2011 to 2015. The study developed an empirical framework with the intention to examine the equivalency of three dimensions of performance. Since, the measures of performance are different, they cannot be tested in their original form; hence, the growth rate of each category of performance measures were estimated and tested to examine the comparability among them. Evaluation of profitability revealed a decreasing trend and evaluation of stock performance suggests that investors are incurring losses on their investment over the selected period. Evaluation of productivity indicates that productivity regress was recorded initially but at the end of the studied period a modest productivity growth was recorded. Finally, this study was able to ascertain the anticipated equivalency of outcome of the three dimensions of performance.


title: Self-supervised Transfer Learning for Instance Segmentation through Physical Interaction

abstract: Instance segmentation of unknown objects from images is regarded as relevant for several robot skills including grasping, tracking and object sorting. Recent results in computer vision have shown that large hand-labeled datasets enable high segmentation performance. To overcome the time-consuming process of manually labeling data for new environments, we present a transfer learning approach for robots that learn to segment objects by interacting with their environment in a self-supervised manner. Our robot pushes unknown objects on a table and uses information from optical flow to create training labels in the form of object masks. To achieve this, we fine-tune an existing DeepMask network for instance segmentation on the self-labeled training data acquired by the robot. We evaluate our trained network (SelfDeepMask) on a set of real images showing challenging and cluttered scenes with novel objects. Here, SelfDeepMask outperforms the DeepMask network trained on the COCO dataset by 9.5% in average precision. Furthermore, we combine our approach with recent approaches for training with noisy labels in order to better cope with induced label noise.


title: k-sums: another side of k-means

abstract: In this paper, the decades-old clustering method k-means is revisited. The original distortion minimization model of k-means is addressed by a pure stochastic minimization procedure. In each step of the iteration, one sample is tentatively reallocated from one cluster to another. It is moved to another cluster as long as the reallocation allows the sample to be closer to the new centroid. This optimization procedure converges faster to a better local minimum over k-means and many of its variants. This fundamental modification over the k-means loop leads to the redefinition of a family of k-means variants. Moreover, a new target function that minimizes the summation of pairwise distances within clusters is presented. We show that it could be solved under the same stochastic optimization procedure. This minimization procedure built upon two minimization models outperforms k-means and its variants considerably with different settings and on different datasets.


title: Built Infrastructure Monitoring and Inspection Using UAVs and Vision-based Algorithms

abstract: This study presents an inspecting system using real-time control unmanned aerial vehicles (UAVs) to investigate structural surfaces. The system operates under favourable weather conditions to inspect a target structure, which is the Wentworth light rail base structure in this study. The system includes a drone, a GoPro HERO4 camera, a controller and a mobile phone. The drone takes off the ground manually in the testing field to collect the data requiring for later analysis. The images are taken through HERO 4 camera and then transferred in real time to the remote processing unit such as a ground control station by the wireless connection established by a Wi-Fi router. An image processing method has been proposed to detect defects or damages such as cracks. The method based on intensity histogram algorithms to exploit the pixel group related to the crack contained in the low intensity interval. Experiments, simulation and comparisons have been conducted to evaluate the performance and validity of the proposed system.


title: Network Autocorrelation Models with Egocentric Data

abstract: Network autocorrelation models have been widely used for decades to model the joint distribution of the attributes of a network's actors. This class of models can estimate both the effect of individual characteristics as well as the network effect, or social influence, on some actor attribute of interest. Collecting data on the entire network, however, is very often infeasible or impossible if the network boundary is unknown or difficult to define. Obtaining egocentric network data overcomes these obstacles, but as of yet there has been no clear way to model this type of data and still appropriately capture the network effect on the actor attributes in a way that is compatible with a joint distribution on the full network data. This paper adapts the class of network autocorrelation models to handle egocentric data. The proposed methods thus incorporate the complex dependence structure of the data induced by the network rather than simply using ad hoc measures of the egos' networks to model the mean structure, and can estimate the network effect on the actor attribute of interest. The vast quantities of unknown information about the network can be succinctly represented in such a way that only depends on the number of alters in the egocentric network data and not on the total number of actors in the network. Estimation is done within a Bayesian framework. A simulation study is performed to evaluate the estimation performance, and an egocentric data set is analyzed where the aim is to determine if there is a network effect on environmental mastery, an important aspect of psychological well-being.


title: Simultaneous and Temporal Autoregressive Network Models

abstract: While logistic regression models are easily accessible to researchers, when applied to network data there are unrealistic assumptions made about the dependence structure of the data. For temporal networks measured in discrete time, recent work has made good advances \citep{almquist2014logistic}, but there is still the assumption that the dyads are conditionally independent given the edge histories. This assumption can be quite strong and is sometimes difficult to justify. If time steps are rather large, one would typically expect not only the existence of temporal dependencies among the dyads across observed time points but also the existence of simultaneous dependencies affecting how the dyads of the network co-evolve. We propose a general observation driven model for dynamic networks which overcomes this problem by modeling both the mean and the covariance structures as functions of the edge histories using a flexible autoregressive approach. This approach can be shown to fit into a generalized linear mixed model framework. We propose a visualization method which provides evidence concerning the existence of simultaneous dependence. We describe a simulation study to determine the method's performance in the presence and absence of simultaneous dependence, and we analyze both a proximity network from conference attendees and a world trade network. We also use this last data set to illustrate how simultaneous dependencies become more prominent as the time intervals become coarser.


title: On the Separability Problem of String Constraints

abstract: We address the separability problem for straight-line string constraints. The separability problem for languages of a class C by a class S asks: given two languages A and B in C, does there exist a language I in S separating A and B (i.e., I is a superset of A and disjoint from B)? The separability of string constraints is the same as the fundamental problem of interpolation for string constraints. We first show that regular separability of straight line string constraints is undecidable. Our second result is the decidability of the separability problem for straight-line string constraints by piece-wise testable languages, though the precise complexity is open. In our third result, we consider the positive fragment of piece-wise testable languages as a separator, and obtain an EXPSPACE algorithm for the separability of a useful class of straight-line string constraints, and a PSPACE-hardness result.


title: On the extended weight monoid and its applications to orthogonal polynomials

abstract: Given a connected simply connected semisimple group G and a connected spherical subgroup K we determine the generators of the extended weight monoid of G/K, based on the homogeneous spherical datum of G/K. Let H be a reductive subgroup of G and let P be a parabolic subgroup of H for which G/P is spherical. A triple (G,H,P) with this property is called multiplicity free system and we determine the generators of the extended weight monoid of G/P explicitly in the cases where (G,H) is strictly indecomposable. The extended weight monoid of G/P describes the induction from H to G of an irreducible H-representation V whose lowest weight is a character of P. The space of regular End(V)-valued functions on G that satisfy F(hgk)=hF(g)k for all h,k in H and all g in G, is a module over the algebra of H-biinvariant regular functions on G. We show that under a mild assumption this module is freely and finitely generated. As a consequence the spherical functions of such a type V can be described as a family of matrix-valued orthogonal polynomials.


title: Sorting and labelling integral ideals in a number field

abstract: We define a scheme for labelling and ordering integral ideals of number fields, including prime ideals as a special case. The order we define depends only on the choice of a monic irreducible integral defining polynomial for each field $K$, and we start by defining for each field its unique reduced defining polynomial, after Belabas. We define a total order on the set of prime ideals of $K$ and then extend this to a total order on the set of all nonzero integral ideals of $K$. This order allows us to give a unique label of the form $N.i$, where $N$ is its norm and $i$ is the index of the ideal in the ordered list of all ideals of norm $N$. Our ideal labelling scheme has several nice properties: for a given norm, prime ideals always appear first, and given the factorisation of the norm, the bijection between ideals of norm $N$ and labels is computable in polynomial time. Our motivation for this is to have a well-defined and concise way to sort and label ideals for use in databases such as the LMFDB. We have implemented algorithms which realise this scheme, in Sage, Magma and Pari.


title: A two-neutron halo is unveiled in $^{29}$F

abstract: We report the measurement of reaction cross sections ($\sigma_R^{\rm ex}$) of $^{27,29}$F with a carbon target at RIKEN. The unexpectedly large $\sigma_R^{\rm ex}$ and derived matter radius identify $^{29}$F as the heaviest two-neutron Borromean halo to date. The halo is attributed to neutrons occupying the $2p_{3/2}$ orbital, thereby vanishing the shell closure associated with the neutron number $N = 20$. The results are explained by state-of-the-art shell model calculations. Coupled-cluster computations based on effective field theories of the strong nuclear force describe the matter radius of $^{27}$F but are challenged for $^{29}$F.


title: The Pacific Ocean Neutrino Experiment

abstract: The Pacific Ocean Neutrino Experiment (P-ONE) is a new initiative with a vision towards constructing a multi-cubic kilometre neutrino telescope, to expand our observable window of the Universe to highest energies, installed within the deep Pacific Ocean underwater infrastructure of Ocean Networks Canada.


title: The Yamabe invariants of Inoue surfaces, Kodaira surfaces, and their blowups

abstract: Shortly after the introduction of Seiberg-Witten theory, LeBrun showed that the sign of the Yamabe invariant of a compact K\"ahler surface is determined by its Kodaira dimension. In this paper, we show that LeBrun's Theorem is no longer true for non-K\"ahler surfaces. In particular, we show that the Yamabe invariants of Inoue surfaces and their blowups are all zero. We also take this opportunity to record a proof that the Yamabe invariants of Kodaira surfaces and their blowups are all zero, as previously indicated by LeBrun.


title: Diversity in News Recommendations

abstract: News diversity in the media has for a long time been a foundational and uncontested basis for ensuring that the communicative needs of individuals and society at large are met. Today, people increasingly rely on online content and recommender systems to consume information challenging the traditional concept of news diversity. In addition, the very concept of diversity, which differs between disciplines, will need to be re-evaluated requiring a interdisciplinary investigation, which requires a new level of mutual cooperation between computer scientists, social scientists, and legal scholars. Based on the outcome of a multidisciplinary workshop, we have the following recommendations, directed at researchers, funders, legislators, regulators, and the media industry: 1. Do more research on news recommenders and diversity. 2. Create a safe harbor for academic research with industry data. 3. Optimize the role of public values in news recommenders. 4. Create a meaningful governance framework. 5. Fund a joint lab to spearhead the needed interdisciplinary research, boost practical innovation, develop. reference solutions, and transfer insights into practice.


title: RoadText-1K: Text Detection & Recognition Dataset for Driving Videos

abstract: Perceiving text is crucial to understand semantics of outdoor scenes and hence is a critical requirement to build intelligent systems for driver assistance and self-driving. Most of the existing datasets for text detection and recognition comprise still images and are mostly compiled keeping text in mind. This paper introduces a new "RoadText-1K" dataset for text in driving videos. The dataset is 20 times larger than the existing largest dataset for text in videos. Our dataset comprises 1000 video clips of driving without any bias towards text and with annotations for text bounding boxes and transcriptions in every frame. State of the art methods for text detection, recognition and tracking are evaluated on the new dataset and the results signify the challenges in unconstrained driving videos compared to existing datasets. This suggests that RoadText-1K is suited for research and development of reading systems, robust enough to be incorporated into more complex downstream tasks like driver assistance and self-driving. The dataset can be found at http://cvit.iiit.ac.in/research/projects/cvit-projects/roadtext-1k


title: Capillary control of collapse in soft composite columns

abstract: Euler buckling is the elastic instability of a column subjected to longitudinal compression forces at its ends. The buckling instability occurs when the compressing load reaches a critical value and an infinitesimal fluctuation leads to a large amplitude deflection. Since Euler's original study, this process has been extensively studied in homogeneous, isotropic, linear-elastic solids. Here, we examine the nature of the buckling in inhomogeneous soft composite materials. In particular, we consider a soft host with liquid inclusions both large and small relative to the elastocapillarity length, which lead to softening and stiffening of a homogeneous composite respectively. However, by imposing a gradient of the inclusion volume fraction or by varying the inclusion size we can deliberately manipulate the spatial structure of the composite properties of a column and thereby control the nature of Euler buckling.


title: On some limitations of probabilistic models for dimension-reduction: Illustration in the case of probabilistic formulations of partial least squares

abstract: Partial Least Squares (PLS) refer to a class of dimension-reduction techniques aiming at the identification of two sets of components with maximal covariance, to model the relationship between two sets of observed variables $x\in\mathbb{R}^p$ and $y\in\mathbb{R}^q$, with $p\geq 1, q\geq 1$. Probabilistic formulations have recently been proposed for several versions of the PLS. Focusing first on the probabilistic formulation of the PLS-SVD proposed by el Bouhaddani et al., we establish that the constraints on their model parameters are too restrictive and define particular distributions for $(x,y)$, under which components with maximal covariance (solutions of PLS-SVD) are also necessarily of respective maximal variances (solutions of principal components analyses of $x$ and $y$, respectively). We propose an alternative probabilistic formulation of PLS-SVD, no longer restricted to these particular distributions. We then present numerical illustrations of the limitation of the original model of el Bouhaddani et al. We also briefly discuss similar limitations in another latent variable model for dimension-reduction.


abstract: This is a survey paper about Ornstein-Uhlenbeck semigroups in infinite dimension, and their generators. We start from the classical Ornstein-Uhlenbeck semigroup in Wiener spaces and then discuss the general case in Hilbert spaces. Finally, we present some results for O-U semigroups in Banach spaces.


title: New BCH-like relations of the su(1, 1), su(2) and so(2, 1) Lie algebras

abstract: In this work we demonstrate new BCH-like relations involving the generators of the su(1, 1), su(2) and so(2, 1) Lie algebras. We use our results to obtain in a straightforward way the composition of an arbitrary number of elements of the corresponding Lie groups. In order to make a self-consistent check of our results, as a first application we recover the non-trivial composition law of two arbitrary squeezing operators. As a second application, we show how our results can be used to compute the time evolution operator of physical systems described by time-dependent hamiltonians given by linear combinations of the generators of the aforementioned Lie algebras.


title: Smearing orientifolds in flux compactifications can be OK

abstract: We present explicit examples of supergravity solutions corresponding to backreacting localised (non-intersecting) O6 planes in flux reductions of massive IIA supergravity and address some criticism towards the very existence of such solutions. We verify in detail how the smeared orientifold solution becomes a good approximation to the localised solution in the large volume/weak coupling limit, as expected. We also find an exotic solution where prior to backreaction the internal space has a boundary and when backreaction is included the boundary disappears and the space closes off. The exotic example is however outside of the supergravity approximation everywhere.


title: A comparative study of machine learning techniques used in non-clinical systems for continuous healthcare of independent livings

abstract: New technologies are adapted to made progress in healthcare especially for independent livings. Medication at distance is leading to integrate technologies with medical. Machine learning methods in collaboration with wearable sensor network technology are used to find hidden patterns in data, detect patient movements, observe habits of patient, analyze clinical data of patient, find intention of patients and make decision on the bases of gathered data. This research performs comparative study on non-clinical systems in healthcare for independent livings. In this study, these systems are sub-divided w.r.t their working into two types: single purpose systems and multi-purpose systems. Systems that are built for single specific purpose (e.g. detect fall, detect emergent state of chronic disease patient) and cannot support healthcare generically are known as single purpose systems, where multi-purpose systems are built to serve for multiple problems (e.g. heart attack etc.) by using single system. This study analyzes usages of machine learning techniques in healthcare systems for independent livings. Answer Set Programming (ASP), Artificial Neural Networks, Classification, Sampling and Rule Based Reasoning etc. are some state of art techniques used to determine emergent situations and observe changes in patient data. Among all methods, ASP logic is used most widely, it is due to its feature to deal with incomplete data. It is also observed that system using ANN shows better accuracy than other systems. It is observed that most of the systems created are for single purpose. In this work, 10 single purpose systems and 5 multi-purpose systems are studied. There is need to create more generic systems that can be used for patients with multiple diseases. Also most of the systems created are prototypical. There is need to create systems that can serve healthcare services in real world.


title: Pre-print: Radio Identity Verification-based IoT Security Using RF-DNA Fingerprints and SVM

abstract: It is estimated that the number of IoT devices will reach 75 billion in the next five years. Most of those currently, and to be deployed, lack sufficient security to protect themselves and their networks from attack by malicious IoT devices that masquerade as authorized devices to circumvent digital authentication approaches. This work presents a PHY layer IoT authentication approach capable of addressing this critical security need through the use of feature reduced Radio Frequency-Distinct Native Attributes (RF-DNA) fingerprints and Support Vector Machines (SVM). This work successfully demonstrates 100%: (i) authorized ID verification across three trials of six randomly chosen radios at signal-to-noise ratios greater than or equal to 6 dB, and (ii) rejection of all rogue radio ID spoofing attacks at signal-to-noise ratios greater than or equal to 3 dB using RF-DNA fingerprints whose features are selected using the Relief-F algorithm.


title: Notes on the derivation of the general supergravity/matter/Yang-Mills Lagrangian for $N=1$ supersymmetry in $d=4$ dimensions using superspace techniques

abstract: The coupling of matter to supergravity with $N=1$ supersymmetry in $d=4$ dimensions is described in a geometric manner by K\"ahler superspace. A straightforward way to implement K\"ahler superspace is via $\mathrm{U}(1)$ superspace by identifying the $\mathrm{U}(1)$ pre-potential with the K\"ahler potential, which is a function of the matter (chiral) superfields. In this framework, the components of the supergravity multiplet are contained in the supervielbein and torsion tensor of superspace. Furthermore, interactions with the Yang-Mills (vector) multiplet are formulated by introducing a connection $1$-superform of an additional gauge structure. In these notes, the Bianchi identities in $\mathrm{U}(1)$ superspace are solved for a particular set of torsion constraints which lead to the minimal supergravity multiplet. Moreover, the solution of the Bianchi identities in the gauge sector is derived and K\"ahler superspace is defined. At the superfield level, the general action of the supergravity/matter/Yang-Mills system and supergravity transformations are formulated, and the equations of motion are deduced. Using projection to lowest components in superspace, the corresponding Lagrangian and supergravity transformations at the component field level are calculated, and the equations of motion of the auxiliary fields are determined. Compared to existing literature, these notes provide a self-contained and consistent step by step derivation of the general supergravity/matter/Yang-Mills Lagrangian for $N=1$ supersymmetry in $d=4$ dimensions by means of superspace techniques.


title: Quasibounded plurisubharmonic functions

abstract: We extend the notion of quasibounded harmonic functions to the plurisubharmonic setting. As an application, using the theory of Jensen measures, we show that certain generalized Dirichlet problems with unbounded boundary data admit unique solutions, and that these solutions are continuous outside a pluripolar set.


title: How Gaussian can the Sky be? Primordial Non-Gaussianity from Quantum Information

abstract: Using the quantum information picture to describe the early universe as a time dependent quantum density matrix, with time playing the role of a stochastic variable, we compute the non-gaussian features in the distribution of primordial fluctuations. We use a quasi de Sitter model to compute the corresponding quantum Fisher information function as the second derivative of the relative entanglement entropy for the density matrix at two different times. We define the curvature fluctuations in terms of the time quantum estimator. Using standard quantum estimation theory we compute the non-gaussian features in the statistical distribution of primordial fluctuations. Our approach is model independent and only relies on the existence of a quasi de Sitter phase. We show that there are primordial non-gaussianities, both in the form of squeezed and equilateral shapes. The squeezed limit gives a value of $f_{\rm NL} \sim n_s-1$. In the equilateral limit we find that $f_{\rm NL} \sim 0.03$. The equilateral non-gaussianity is due to the non-linearity of Einstein's equation. On the other hand, the squeezed one is due to the quantum nature of clock synchronization and thus real and cannot be gauged away as a global curvature. We identify a new effect: {\it clock bias} which is a pure quantum effect and introduces a bias in the spectral tilt and running of the power spectrum of order $\sim 10^{-4}$, which could be potentially measurable and yield precious information on the quantum nature of the early Universe.


title: Decidability and k-Regular Sequences

abstract: In this paper we consider a number of natural decision problems involving k-regular sequences. Specifically, they arise from - lower and upper bounds on growth rate; in particular boundedness, - images, - regularity (recognizability by a deterministic finite automaton) of preimages, and - factors, such as squares and palindromes of such sequences. We show that the decision problems are undecidable.


title: On the Einstein condition for Lorentzian 3-manifolds

abstract: It is well known that in Lorentzian geometry there are no compact spherical space forms; in dimension 3, this means there are no closed Einstein 3-manifolds with positive Einstein constant. We generalize this fact here, by proving that there are also no closed Lorentzian 3-manifolds $(M,g)$ whose Ricci tensor satisfies $$ \text{Ric} = fg+(f-\lambda)T^{\flat}\otimes T^{\flat}, $$ for any unit timelike vector field $T$, any positive constant $\lambda$, and any smooth function $f$ that never takes the values $0,\lambda$. (Observe that this reduces to the positive Einstein case when $f = \lambda$.) We show that there is no such obstruction if $\lambda$ is negative. Finally, the "borderline" case $\lambda = 0$ is also examined: we show that if $\lambda = 0$ and $f > 0$, then $(M,g)$ must be isometric to $(\mathbb{S}^1\!\times \!N,-dt^2\oplus h)$ with $(N,h)$ a Riemannian manifold.


title: Speciation of FeS and FeS$_2$ by means of X-ray Emission Spectroscopy using a compact full-cylinder von Hamos spectrometer

abstract: We present Fe K$\beta$ X-ray emission (XES) and Fe K X-ray absorption spectra (XAS) of Iron(II)sulfide (FeS) and Iron(II)disulfide (FeS$_2$). While XES and XAS offer different discrimination capabilities for chemical speciation, depending on the valence states of the compounds probed, XES allows for using different excitation sources. The XES data was measured using polychromatic X-ray radiation with a full-cylinder von Hamos spectrometer being characterized by an energy window of up to 700 eV and a spectral resolving power of $E/ \Delta E = 800$. The large energy window at a single position of the spectrometer components is made profit of to circumvent the instrumental sensitivity of wavelength-dispersive spectrometers to sample positioning. This results in a robust energy scale which is used to compare experimental data with ab initio valence-to-core calculations, which are carried out using the OCEAN package. To validate the reliability of the OCEAN package for the two sample systems, near edge X-ray absorption fine structure measurements of the Fe K absorption edge are compared to theory using the same input parameters as in the case of the X-ray emission calculations. Based on the example of iron sulfide compounds, the combination of XES experiments and OCEAN calculations allows unravelling the electronic structure of different transition metal sulfides and qualifying XES investigations for the speciation of different compounds.


title: Coupled electric and magnetic dipole formulation for planar arrays of dipolar particles: metasurfaces with various electric and/or magnetic meta-atoms per unit cell

abstract: The optical properties of infinite planar array of scattering particles, metasurfaces and metagratings, are attracting special attention lately for their rich phenomenology, including both plasmonic and high-refractive-index dielectric meta-atoms with a variety of electric and magnetic resonant responses. Herein we derive a coupled electric and magnetic dipole (CEMD) analytical formulation to describe the reflection and transmission of such periodic arrays, including specular and diffractive orders, valid in the spectral regimes where only dipolar multipoles are needed. Electric and/or magnetic dipoles with all three orientations arising in turn from a single or various meta-atoms per unit cell are considered. The 2D lattice Green function is rewritten in terms of a 1D (chain) version that fully converges and can be easily calculated. Modes emerging as poles of such lattice Green function can be extracted. This formulation can be applied to investigate a wealth of plasmonic, all-dielectric, and hybrid metasurfaces/metagratings of interest throughout the electromagnetic spectrum.


title: Experimental demonstration of crowd synchrony and first-order transition with lasers

abstract: Crowd synchrony, which corresponds to the synchronization of different and independent oscillators that interact with each other via a common intermediate, is ubiquitous in many fields. Here, we experimentally demonstrate the effect of crowd synchrony, analogous to that of the Millennium Bridge, by resorting to coupled lasers. When the number of lasers is below a critical number, there is no synchronization, but after reaching the critical number, the lasers instantaneously synchronize. We show that the synchronization of the lasers as a function of their number follows a first-order-like transition, and that our experimental results are in good agreement with those predicted by theoretical models.


title: Applying Genetic Programming to Improve Interpretability in Machine Learning Models

abstract: Explainable Artificial Intelligence (or xAI) has become an important research topic in the fields of Machine Learning and Deep Learning. In this paper, we propose a Genetic Programming (GP) based approach, named Genetic Programming Explainer (GPX), to the problem of explaining decisions computed by AI systems. The method generates a noise set located in the neighborhood of the point of interest, whose prediction should be explained, and fits a local explanation model for the analyzed sample. The tree structure generated by GPX provides a comprehensible analytical, possibly non-linear, symbolic expression which reflects the local behavior of the complex model. We considered three machine learning techniques that can be recognized as complex black-box models: Random Forest, Deep Neural Network and Support Vector Machine in twenty data sets for regression and classifications problems. Our results indicate that the GPX is able to produce more accurate understanding of complex models than the state of the art. The results validate the proposed approach as a novel way to deploy GP to improve interpretability.


title: Casimir energy and topological mass for a massive scalar field with Lorentz violation

abstract: A Lorentz symmetry violation aether-type theoretical model is considered to investigate the Casimir effect and the generation of topological mass associated with a self-interacting massive scalar fields obeying Dirichlet, Newman and mixed boundary conditions on two large and parallel plates. By adopting the path integral approach we found the effective potential at one- and two-loop corrections which provides both the energy density and topological mass when taken in the ground state of the scalar field. We then analyse how these quantities are affected by the Lorentz symmetry violation and compare the results with previous ones found in literature.


title: Fractional Laplacians on ellipsoids

abstract: We show explicit formulas for the evaluation of (possibly higher-order) fractional Laplacians of some functions supported on ellipsoids. In particular, we derive the explicit expression of the torsion function and give examples of $s$-harmonic functions. As an application, we infer that the weak maximum principle fails in eccentric ellipsoids for $s\in(1,\sqrt{3}+3/2)$ in any dimension $n\geq 2$. We build a counterexample in terms of the torsion function times a polynomial of degree 2. Using point inversion transformations, it follows that a variety of bounded and unbounded domains do not satisfy positivity preserving properties and we give some examples.


title: An elliptic boundary value problem with fractional nonlinearity

abstract: We investigate existence and uniqueness of solutions to second-order elliptic boundary value problems containing a power nonlinearity applied to a fractional Laplacian. We detect the critical power separating the existence from the non-existence regimes. For the existence results, we make use of a particular class of weighted Sobolev spaces to compensate boundary singularities which are naturally built in the problem.


title: RIOT-POLICE: An implementation of spatial memory safety for the RIOT operating system

abstract: We present an integration of a safe C dialect, Checked C, for the Internet of Things operating system RIOT. We utilize this integration to convert parts of the RIOT network stack to Checked C, thereby achieving spatial memory safety in these code parts. Similar to prior research done on IoT operating systems and safe C dialects, our integration of Checked C remains entirely optional, i.e. compilation with a standard C compiler not supporting the Checked C language extension is still possible. We believe this to be the first proposed integration of a safe C dialect for the RIOT operating system. We present an incremental process for converting RIOT modules to Checked C, evaluate the overhead introduced by the conversions, and discuss our general experience with utilizing Checked C in the Internet of Things domain.


title: The number of zeroes in Elephant random walks with delays

abstract: In the simple random walk the steps are independent, whereas in the Elephant Random Walk (ERW), which was introduced by Sch\"utz and Trimper in 2004, the next step always depends on the whole path so far. In an earlier paper we investigated Elephant Random Walks when the elephant has a restricted memory. Inspired by a suggestion by Bercu et al. (arXiv:1902.11220v1) we extended our results to the case when delays are allowed. In this paper we examine how the number of delays (that possibly stop the process) increases as time goes by.


title: Forward doubly-virtual Compton scattering off the nucleon in chiral perturbation theory: the subtraction function and moments of unpolarized structure functions

abstract: The forward doubly-virtual Compton scattering (VVCS) off the nucleon contains a wealth of information on nucleon structure, relevant to the calculation of the two-photon-exchange effects in atomic spectroscopy and electron scattering. We report on a complete next-to-leading-order (NLO) calculation of low-energy VVCS in chiral perturbation theory ($\chi$PT). Here we focus on the unpolarized VVCS amplitudes $T_1(\nu, Q^2)$ and $T_2(\nu, Q^2)$, and the corresponding structure functions $F_1(x, Q^2)$ and $F_2(x,Q^2)$. Our results are confronted, where possible, with "data-driven" dispersive evaluations of low-energy structure quantities, such as nucleon polarizabilities. We find significant disagreements with dispersive evaluations at very low momentum-transfer $Q$; for example, in the slope of polarizabilities at zero momentum-transfer. By expanding the results in powers of the inverse nucleon mass, we reproduce the known "heavy-baryon" expressions. This serves as a check of our calculation, as well as demonstrates the differences between the manifestly Lorentz-invariant (B$\chi$PT) and heavy-baryon (HB$\chi$PT) frameworks.

categories: hep-ph hep-lat nucl-ex nucl-th physics.atom-ph


title: On the closed Ramsey numbers $R^{cl}(\omega+n,3)$

abstract: In this paper, we contribute to the study of topological partition relations for pairs of countable ordinals and prove that, for all integers $n \geq 3$, \begin{align*} R^{cl}(\omega+n,3) &\geq \omega^2 \cdot n + \omega \cdot (R(n,3)-n)+n\\ R^{cl}(\omega+n,3) &\leq \omega^2 \cdot n + \omega \cdot (R(2n-3,3)+1)+1 \end{align*} where $R^{cl}(\cdot,\cdot)$ and $R(\cdot,\cdot)$ denote the closed Ramsey numbers and the classical Ramsey numbers respectively. We also establish the following asymptotically weaker upper bound \[ R^{cl}(\omega+n,3) \leq \omega^2 \cdot n + \omega \cdot (n^2-4)+1\] eliminating the use of Ramsey numbers. These results improve the previously known upper and lower bounds.


title: Choral: Object-Oriented Choreographic Programming

abstract: We present Choral, the first choreographic programming language based on mainstream abstractions. The key idea in Choral is a new notion of data type, which allows for expressing that data is distributed over different roles. We use this idea to reconstruct the paradigm of choreographic programming through object-oriented abstractions. Choreographies are classes, and instances of choreographies are objects with states and behaviours implemented collaboratively by roles. Choral comes with a compiler that, given a choreography, generates an implementation for each of its roles. These implementations are libraries in pure Java, whose types are under the control of the Choral programmer. Developers can then modularly compose these libraries in their own programs, in order to participate correctly in choreographies. Choral is the first incarnation of choreographic programming offering such modularity, which finally connects more than a decade of research on the paradigm to practical software development. The integration of choreographic and object-oriented programming yields other powerful advantages, where the features of one paradigm benefit the other in ways that go beyond the sum of the parts. The high-level abstractions and static checks from the world of choreographies can be used to write concurrent and distributed object-oriented software more concisely and correctly. We obtain a much more expressive choreographic language from object-oriented abstractions than in previous work. For example, object passing makes Choral the first higher-order choreographic programming language, whereby choreographies can be parameterised over other choreographies without any need for central coordination. Together with subtyping and generics, this allows Choral to elegantly support user-defined communication mechanisms and middleware.


title: Efficient Process-to-Node Mapping Algorithms for Stencil Computations

abstract: Good process-to-compute-node mappings can be decisive for well performing HPC applications. A special, important class of process-to-node mapping problems is the problem of mapping processes that communicate in a sparse stencil pattern to Cartesian grids. By thoroughly exploiting the inherently present structure in this type of problem, we devise three novel distributed algorithms that are able to handle arbitrary stencil communication patterns effectively. We analyze the expected performance of our algorithms based on an abstract model of inter- and intra-node communication. An extensive experimental evaluation on several HPC machines shows that our algorithms are up to two orders of magnitude faster in running time than a (sequential) high-quality general graph mapping tool, while obtaining similar results in communication performance. Furthermore, our algorithms also achieve significantly better mapping quality compared to previous state-of-the-art Cartesian grid mapping algorithms. This results in up to a threefold performance improvement of an MPI_Neighbor_alltoall exchange operation. Our new algorithms can be used to implement the MPI_Cart_create functionality.


title: On three-point functions in ABJM and the latitude Wilson loop

abstract: I consider three-point functions of twist-one operators in ABJM at weak coupling. I compute the structure constant of correlators involving one twist-one un-protected operator and two protected ones for a few finite values of the spin, up to two-loop order. As an application I enforce a limit on the gauge group ranks, in which I relate the structure constant for three chiral primary operators to the expectation value of a supersymmetric Wilson loop. Such a relation is then used to perform a successful five-loop test on the matrix model conjectured to describe the supersymmetric Wilson loop.


title: Orbital stability and instability of periodic wave solutions for the $\phi^4$-model

abstract: In this work we find explicit periodic wave solutions for the classical $\phi^4$-model, and study their corresponding orbital stability/instability in the energy space. In particular, for this model we find at least four different branches of spatially-periodic wave solutions, which can be written in terms of Jacobi elliptic functions. Two of these branches correspond to superluminal waves, a third-one corresponding to a sub-luminal wave and the remaining one corresponding to a stationary complex-valued wave. In this work we prove the orbital instability of both, real-valued sub-luminal traveling waves and stationary complex-valued waves. Furthermore, we prove that under some additional hypothesis the zero-speed sub-luminal case is stable. This latter case is related (in some sense) to the classical Kink solution.


title: On repetitiveness measures of Thue-Morse words

abstract: We show that the size $\gamma(t_n)$ of the smallest string attractor of the $n$th Thue-Morse word $t_n$ is 4 for any $n\geq 4$, disproving the conjecture by Mantaci et al. [ICTCS 2019] that it is $n$. We also show that $\delta(t_n) = \frac{10}{3+2^{4-n}}$ for $n \geq 3$, where $\delta(w)$ is the maximum over all $k = 1,\ldots,|w|$, the number of distinct substrings of length $k$ in $w$ divided by $k$, which is a measure of repetitiveness recently studied by Kociumaka et al. [LATIN 2020]. Furthermore, we show that the number $z(t_n)$ of factors in the self-referencing Lempel-Ziv factorization of $t_n$ is exactly $2n$.


title: Toward Automated Classroom Observation: Multimodal Machine Learning to Estimate CLASS Positive Climate and Negative Climate

abstract: In this work we present a multi-modal machine learning-based system, which we call ACORN, to analyze videos of school classrooms for the Positive Climate (PC) and Negative Climate (NC) dimensions of the CLASS observation protocol that is widely used in educational research. ACORN uses convolutional neural networks to analyze spectral audio features, the faces of teachers and students, and the pixels of each image frame, and then integrates this information over time using Temporal Convolutional Networks. The audiovisual ACORN's PC and NC predictions have Pearson correlations of $0.55$ and $0.63$ with ground-truth scores provided by expert CLASS coders on the UVA Toddler dataset (cross-validation on $n=300$ 15-min video segments), and a purely auditory ACORN predicts PC and NC with correlations of $0.36$ and $0.41$ on the MET dataset (test set of $n=2000$ videos segments). These numbers are similar to inter-coder reliability of human coders. Finally, using Graph Convolutional Networks we make early strides (AUC=$0.70$) toward predicting the specific moments (45-90sec clips) when the PC is particularly weak/strong. Our findings inform the design of automatic classroom observation and also more general video activity recognition and summary recognition systems.


title: In-memory Implementation of On-chip Trainable and Scalable ANN for AI/ML Applications

abstract: Traditional von Neumann architecture based processors become inefficient in terms of energy and throughput as they involve separate processing and memory units, also known as~\textit{memory wall}. The memory wall problem is further exacerbated when massive parallelism and frequent data movement are required between processing and memory units for real-time implementation of artificial neural network (ANN) that enables many intelligent applications. One of the most promising approach to address the memory wall problem is to carry out computations inside the memory core itself that enhances the memory bandwidth and energy efficiency for extensive computations. This paper presents an in-memory computing architecture for ANN enabling artificial intelligence (AI) and machine learning (ML) applications. The proposed architecture utilizes deep in-memory architecture based on standard six transistor (6T) static random access memory (SRAM) core for the implementation of a multi-layered perceptron. Our novel on-chip training and inference in-memory architecture reduces energy cost and enhances throughput by simultaneously accessing the multiple rows of SRAM array per precharge cycle and eliminating the frequent access of data. The proposed architecture realizes backpropagation which is the keystone during the network training using newly proposed different building blocks such as weight updation, analog multiplication, error calculation, signed analog to digital conversion, and other necessary signal control units. The proposed architecture was trained and tested on the IRIS dataset which exhibits $\approx46\times$ more energy efficient per MAC (multiply and accumulate) operation compared to earlier classifiers.


title: Evaluating the leeway coefficient for different ocean drifters using operational models

abstract: The water following characteristics of six different drifter types are investigated using two different operational marine environmental prediction systems: one produced by Environment and Climate Change Canada (ECCC) and the other produced by the Norwegian Meteorological Institute (METNO). These marine prediction systems include ocean circulation models, atmospheric models, and surface wave models. Two leeway models are tested for use in drift object prediction: an implicit leeway model where the Stokes drift is implicit in the leeway coefficient, and an explicit leeway model where the Stokes drift is provided by the wave model. Both leeway coefficients are allowed to vary in direction and time in order to perfectly reproduce the observed drifter trajectory. This creates a time series of the leeway coefficients which exactly reproduce the observed drifter trajectories. Mean values for the leeway coefficients are consistent with previous studies which utilized direct observations of the leeway. For all drifters and models, the largest source of variance in the leeway coefficient occurs at the inertial frequency and the evidence suggests it is related to uncertainties in the ocean inertial currents.


title: Robust Policy Iteration for Continuous-time Linear Quadratic Regulation

abstract: This paper studies the robustness of policy iteration in the context of continuous-time infinite-horizon linear quadratic regulation (LQR) problem. It is shown that Kleinman's policy iteration algorithm is inherently robust to small disturbances and enjoys local input-to-state stability in the sense of Sontag. More precisely, whenever the disturbance-induced input term in each iteration is bounded and small, the solutions of the policy iteration algorithm are also bounded and enter a small neighborhood of the optimal solution of the LQR problem. Based on this result, an off-policy data-driven policy iteration algorithm for the LQR problem is shown to be robust when the system dynamics are subjected to small additive unknown bounded disturbances. The theoretical results are validated by a numerical example.


title: Optical and plasmonic properties of twisted bilayer graphene: Impact of interlayer tunneling asymmetry and ground-state charge inhomogeneity

abstract: We present a theoretical study of the local optical conductivity, plasmon spectra, and thermoelectric properties of twisted bilayer graphene (TBG) at different filling factors and twist angles $\theta$. Our calculations are based on the electronic band structures obtained from a continuum model that has two tunable parameters, $u_0$ and $u_1$, which parametrize the intra-sublattice inter-layer and inter-sublattice inter-layer tunneling rate, respectively. In this Article we focus on two key aspects: i) we study the dependence of our results on the value of $u_0$, exploring the whole range $0\leq u_0\leq u_1$; ii) we take into account effects arising from the intrinsic charge density inhomogeneity present in TBG, by calculating the band structures within the self-consistent Hartree approximation. At zero filling factor, i.e. at the charge neutrality point, the optical conductivity is quite sensitive to the value of $u_0$ and twist angle, whereas the charge inhomogeneity brings about only modest corrections. On the other hand, away from zero filling, static screening dominates and the optical conductivity is appreciably affected by the charge inhomogeneity, the largest effects being seen on the intra-band contribution to it. These findings are also reflected by the plasmonic spectra. We compare our results with existing ones in the literature, where effects i) and ii) above have not been studied systematically. As natural byproducts of our calculations, we obtain the Drude weight and Seebeck coefficient. The former displays an enhanced particle-hole asymmetry stemming from the inhomogeneous ground-state charge distribution. The latter is shown to display a broad sign-changing feature even at low temperatures ($\approx 5~{\rm K}$) due to the reduced slope of the bands, as compared to those of single-layer graphene.


title: Differentiable Mapping Networks: Learning Structured Map Representations for Sparse Visual Localization

abstract: Mapping and localization, preferably from a small number of observations, are fundamental tasks in robotics. We address these tasks by combining spatial structure (differentiable mapping) and end-to-end learning in a novel neural network architecture: the Differentiable Mapping Network (DMN). The DMN constructs a spatially structured view-embedding map and uses it for subsequent visual localization with a particle filter. Since the DMN architecture is end-to-end differentiable, we can jointly learn the map representation and localization using gradient descent. We apply the DMN to sparse visual localization, where a robot needs to localize in a new environment with respect to a small number of images from known viewpoints. We evaluate the DMN using simulated environments and a challenging real-world Street View dataset. We find that the DMN learns effective map representations for visual localization. The benefit of spatial structure increases with larger environments, more viewpoints for mapping, and when training data is scarce. Project website: http://sites.google.com/view/differentiable-mapping


title: Ultrasound Video Summarization using Deep Reinforcement Learning

abstract: Video is an essential imaging modality for diagnostics, e.g. in ultrasound imaging, for endoscopy, or movement assessment. However, video hasn't received a lot of attention in the medical image analysis community. In the clinical practice, it is challenging to utilise raw diagnostic video data efficiently as video data takes a long time to process, annotate or audit. In this paper we introduce a novel, fully automatic video summarization method that is tailored to the needs of medical video data. Our approach is framed as reinforcement learning problem and produces agents focusing on the preservation of important diagnostic information. We evaluate our method on videos from fetal ultrasound screening, where commonly only a small amount of the recorded data is used diagnostically. We show that our method is superior to alternative video summarization methods and that it preserves essential information required by clinical diagnostic standards.


title: Scalable Privacy-Preserving Distributed Learning

abstract: In this paper, we address the problem of privacy-preserving distributed learning and the evaluation of machine-learning models by analyzing it in the widespread MapReduce abstraction that we extend with privacy constraints. We design SPINDLE (Scalable Privacy-preservINg Distributed LEarning), the first distributed and privacy-preserving system that covers the complete ML workflow by enabling the execution of a cooperative gradient-descent and the evaluation of the obtained model and by preserving data and model confidentiality in a passive-adversary model with up to N-1 colluding parties. SPINDLE uses multiparty homomorphic encryption to execute parallel high-depth computations on encrypted data without significant overhead. We instantiate SPINDLE for the training and evaluation of generalized linear models on distributed datasets and show that it is able to accurately (on par with non-secure centrally-trained models) and efficiently (due to a multi-level parallelization of the computations) train models that require a high number of iterations on large input data with thousands of features, distributed among hundreds of data providers. For instance, it trains a logistic-regression model on a dataset of one million samples with 32 features distributed among 160 data providers in less than three minutes.


title: Magnetic hard-direction ordering in anisotropic Kondo systems

abstract: We present a generic mechanism that explains why many Kondo materials show magnetic ordering along directions that are not favoured by the crystal-field anisotropy. Using a renormalization-group (RG) analysis of single impurity Kondo models with single-ion anisotropy, we demonstrate that strong fluctuations above the Kondo temperature drive a moment re-orientation over a wide range of parameters, e.g. for different spin values $S$ and number of Kondo channels $N$. In tetragonal systems this can happen for both easy-plane or easy axis anisotropy. The characteristic crossing of magnetic susceptibilities is not an artefact of the weak-coupling RG treatment but can be reproduced in brute-force perturbation theory. Employing numerical renormalization group (NRG), we show that for an under-screened moment ($S=1$, $N=1$) with easy-plane anisotropy, a crossing of magnetic susceptibilities can also occur in the strong-coupling regime (below the Kondo temperature). This suggests that collective magnetic ordering of such under-screened moments would develop along the magnetic hard axis.


title: Polynomially filtered exact diagonalization approach to many-body localization

abstract: Polynomially filtered exact diagonalization method (POLFED) for large sparse matrices is introduced. The algorithm finds an optimal basis of a subspace spanned by eigenvectors with eigenvalues close to a specified energy target by a spectral transformation using a high order polynomial of the matrix. The memory requirements scale better with system size than in the state-of-the-art shift-invert approach. The potential of POLFED is demonstrated examining many-body localization transition in 1D interacting quantum spin-1/2 chains. We investigate the disorder strength and system size scaling of Thouless time. System size dependence of bipartite entanglement entropy and of the gap ratio highlights the importance of finite-size effects in the system. We discuss possible scenarios regarding the many-body localization transition obtaining estimates for the critical disorder strength.

categories: cond-mat.dis-nn cond-mat.stat-mech cond-mat.str-el quant-ph


title: Backstabber's Knife Collection: A Review of Open Source Software Supply Chain Attacks

abstract: A software supply chain attack is characterized by the injection of malicious code into a software package in order to compromise dependent systems further down the chain. Recent years saw a number of supply chain attacks that leverage the increasing use of open source during software development, which is facilitated by dependency managers that automatically resolve, download and install hundreds of open source packages throughout the software life cycle. This paper presents a dataset of 174 malicious software packages that were used in real-world attacks on open source software supply chains, and which were distributed via the popular package repositories npm, PyPI, and RubyGems. Those packages, dating from November 2015 to November 2019, were manually collected and analyzed. The paper also presents two general attack trees to provide a structured overview about techniques to inject malicious code into the dependency tree of downstream users, and to execute such code at different times and under different conditions. This work is meant to facilitate the future development of preventive and detective safeguards by open source and research communities.


title: Large facing tuples and a strengthened sector lemma

abstract: We prove a strengthened sector lemma for irreducible, finite-dimensional, locally finite, essential, cocompact CAT(0) cube complexes under the additional hypothesis that the complex is \emph{hyperplane-essential}; we prove that every quarterspace contains a halfspace. In aid of this, we present simplified proofs of known results about loxodromic isometries of the contact graph, avoiding the use of disc diagrams. This paper has an expository element; in particular, we collect results about cube complexes proved by combining Ramsey's theorem and Dilworth's theorem. We illustrate the use of these tricks with a discussion of the Tits alternative for cubical groups, and ask some questions about "quantifying" statements related to rank-rigidity and the Tits alternative.


title: Simulation of laser induced retinal thermal injuries for non-uniform irradiance profiles and their evaluation according to the laser safety standard

abstract: Laser systems emitting radiation in the visible and near infrared region are potentially hazardous for the retina of the human eye. This can result in irreparable injuries due to photomechanical, photothermal or photochemical light-tissue interactions. This investigation focuses on the photothermal interaction for which a computer model is used to simulate the thermal behavior of the retina and to predict the injury threshold values. The most important factors are the wavelength of the radiation, the exposure time and the irradiance profile on the retina. For performing safety evaluations and classifications the laser safety standard IEC 60825-1:2014 has to be considered. These evaluations are based on emission limits which depend on the same above mentioned factors. According to the IEC 60825-1:2014, non-uniform retinal images are treated by an image analysis where an averaged spot size is used. This averaged size is calculated by the extent of the irradiance profile along two orthogonal directions. Unlike the laser safety standard, the computer model predicts the injury thresholds for an irradiance profile on the retina without averaging the spot size. In this investigation, a broad variety of non-uniform retinal images is investigated with regard to the injury thresholds predicted by the computer model and to the classifications according to the laser safety standard.


title: Conformational Landscape of Oxygen-Containing Naphthalene Derivatives

abstract: Polycyclic aromatic compounds (PACs) constitute an important class of molecules found in various environments and are considered important pollutants of the Earth's atmosphere. In particular, functionalization of PACs modify the ring aromaticity, which greatly influences the chemical reactivity of these species. In this work we studied several oxygen-containing PACs, relevant to atmospheric chemistry. We investigated the conformational landscape of four naphthalene-derivative molecules -- namely ,1- and 2-hydroxynaphthalene and 1- and 2-naphthaldehyde -- by means of rotational and vibrational spectroscopy supported by quantum chemical calculations. For 1-hydroxynaphthalene and 1-naphthaldehyde, intramolecular hydrogen bonding and steric effects drive the conformational preferences while for 2-hydroxynaphthalene and 2-naphthaldehyde, the charge distributions allow us to understand the conformational landscape. This work not only demonstrates how the localization of the substitution group in the ring influences the conformational relative energies and but also constitutes a step toward a better understanding of the different chemical reactivity of such functionalized PACs.


title: Length-scales of Dynamic Heterogeneity in a Driven Binary Colloid

abstract: Here we study characteristic length scales in an aqueous suspension of symmetric oppositely charged colloid subject to a uniform electric field by Brownian Dynamics simulations. We consider a sufficiently strong electric field where the like charges in the system form macroscopic lanes. We construct spatial correlation functions characterizing structural order and that of particles of different mobilities in-plane transverse to the electric field at a given time. We call these functions as equal time density correlation function (ETDCF). The ETDCF between particles of different charges, irrespective of mobilities, are called structural ETDCFs, while those between particles of different mobilities are called the dynamic ETDCF. We extract the characteristic length of correlation by fitting the envelopes of the ETDCFs to exponential dependence. We find that structural ETDCF and the dynamical-ETDCFs of the slow particles increase with time. This suggests that the slow particles undergo microphase separation in the background of the fast particles which drive the structural pattern in the plane transverse to the lanes. The ETDCFs can be measured for colloidal systems directly following particle motion by video-microscopy and may be useful to understand patterns out of equilibrium.


title: Growth of bilinear maps

abstract: For a bilinear map $*:\mathbb R^d\times \mathbb R^d\to \mathbb R^d$ of nonnegative coefficients and a vector $s\in \mathbb R^d$ of positive entries, among an exponentially number of ways combining $n$ instances of $s$ using $n-1$ applications of $*$ for a given $n$, we are interested in the largest entry over all the resulting vectors. An asymptotic behavior is that the $n$-th root of this largest entry converges to a growth rate $\lambda$ when $n$ tends to infinity. In this paper, we prove the existence of this limit by a special structure called linear pattern. We also pose a question on the possibility of a relation between the structure and whether $\lambda$ is algebraic.


title: Cooperative Navigation Using Pairwise Communication with Ranging and Magnetic Anomaly Measurements

abstract: The problem of cooperative localization for a small group of Unmanned Aerial Vehicles (UAVs) in a GNSS denied environment is addressed in this paper. The presented approach contains two sequential steps: first, an algorithm called cooperative ranging localization, formulated as an Extended Kalman Filter (EKF), estimates each UAV's relative pose inside the group using inter-vehicle ranging measurements; second, an algorithm named cooperative magnetic localization, formulated as a particle filter, estimates each UAV's global pose through matching the group's magnetic anomaly measurements to a given magnetic anomaly map. In this study, each UAV is assumed to only perform a ranging measurement and data exchange with one other UAV at any point in time. A simulator is developed to evaluate the algorithms with magnetic anomaly maps acquired from airborne geophysical survey. The simulation results show that the average estimated position error of a group of 16 UAVs is approximately 20 meters after flying about 180 kilometers in 1 hour. Sensitivity analysis shows that the algorithms can tolerate large variations of velocity, yaw rate, and magnetic anomaly measurement noises. Additionally, the UAV group shows improved position estimation robustness with both high and low resolution maps as more UAVs are added into the group.


title: Minimal Chimera States in Phase-Lag Coupled Mechanical Oscillators

abstract: We obtain experimental chimera states in the minimal network of three identical mechanical oscillators (metronomes), by introducing phase-lagged all-to-all coupling. For this, we have developed a real-time model-in-the-loop coupling mechanism that allows for flexible and online change of coupling topology, strength and phase-lag. The chimera states manifest themselves as a mismatch of average frequency between two synchronous and one desynchronized oscillator. We find this kind of striking chimeric behavior is robust in a wide parameter region. At other parameters, however, chimera state can lose stability and the system behavior manifests itself as a heteroclinic switching between three saddle-type chimeras. Our experimental observations are in a qualitative agreement with the model simulation.


title: On a basic mean value Theorem with explicit exponents

abstract: In this paper we follow a paper from A. Sedunova (2017) regarding R. C. Vaughan's basic mean value Theorem (Acta Arith. 1980) to improve and complete a more general demonstration for a suitable class of arithmetic functions as started by A. C. Cojocaru and M. R. Murty (London Math. Soc. Stud. Texts 2006). As an application we derive a basic mean value Theorem for the von Mangoldt generalized functions.


title: CIAGAN: Conditional Identity Anonymization Generative Adversarial Networks

abstract: The unprecedented increase in the usage of computer vision technology in society goes hand in hand with an increased concern in data privacy. In many real-world scenarios like people tracking or action recognition, it is important to be able to process the data while taking careful consideration in protecting people's identity. We propose and develop CIAGAN, a model for image and video anonymization based on conditional generative adversarial networks. Our model is able to remove the identifying characteristics of faces and bodies while producing high-quality images and videos that can be used for any computer vision task, such as detection or tracking. Unlike previous methods, we have full control over the de-identification (anonymization) procedure, ensuring both anonymization as well as diversity. We compare our method to several baselines and achieve state-of-the-art results.


title: Theta-graph and diffeomorphisms of some 4-manifolds

abstract: In this article, we construct countably many mutually non-isotopic diffeomorphisms of some closed non simply-connected 4-manifolds that are homotopic to but not isotopic to the identity, by surgery along $\Theta$-graphs. As corollaries of this, we obtain some new results on codimension 1 embeddings and pseudo-isotopies of 4-manifolds. In the proof of the non-triviality of the diffeomorphisms, we utilize a twisted analogue of Kontsevich's characteristic class for smooth bundles, which is obtained by extending a higher dimensional analogue of March\'{e}--Lescop's "equivariant triple intersection" in configuration spaces of 3-manifolds to allow Lie algebraic local coefficient system.


title: Convergence theory for IETI-DP solvers for discontinuous Galerkin Isogeometric Analysis that is explicit in h and p

abstract: In this paper, we develop a convergence theory for Dual-Primal Isogeometric Tearing and Interconnecting (IETI-DP) solvers for isogeometric multi-patch discretizations of the Poisson problem, where the patches are coupled using discontinuous Galerkin. The presented theory provides condition number bounds that are explicit in the grid sizes h and in the spline degrees p. We give an analysis that holds for various choices for the primal degrees of freedom: vertex values, edge averages, and a combination of both. If only the vertex values or both vertex values and edge averages are taken as primal degrees of freedom, the condition number bound is the same as for the conforming case. If only the edge averages are taken, both the convergence theory and the experiments show that the condition number of the preconditioned system grows with the ratio of the grid sizes on neighboring patches.


title: Throughput and Age of Information in a Cellular-based IoT Network

abstract: This paper studies the interplay between device-to-device (D2D) communications and real-time monitoring systems in a cellular-based Internet of Things (IoT) network. In particular, besides the possibility that the IoT devices communicate directly with each other in a D2D fashion, we consider that they frequently send time-sensitive information/status updates (about some underlying physical processes) to their nearest base stations (BSs). By modeling the locations of the IoT devices as a bipolar Poisson Point Process (PPP) and that of the BSs as another independent PPP, we characterize the performance of the D2D links and status update links in terms of network throughput and Age-of-Information (AoI), respectively. We consider a maximum power constraint and distance-dependent fractional power control for all status update transmissions. Hence, the locations of the IoT devices allowed to send status updates are constrained to lie within the Johnson-Mehl cells. For this set-up, the average network throughput is obtained by deriving the mean success probability of the D2D links, whereas the spatial moments of the temporal mean AoI are obtained by deriving the moments of the temporal means of both success and scheduling probabilities of the status update links.


title: The Stabilizing Effect of Gravity Made Simple

abstract: A new approach to vacuum decay in quantum field theory, based on a simple variational formulation in field space using a tunneling potential, is ideally suited to study the effects of gravity on such decays. The method allows to prove in new and simple ways many results, among others, that gravitational corrections tend to make Minkowski or Anti de Sitter false vacua more stable semiclassically or that higher barriers increase vacuum lifetime. The approach also offers a very clean picture of gravitational quenching of vacuum decay and its parametric dependence on the features of a potential and allows to study the BPS domain-walls between vacua in critical cases. Special attention is devoted to supersymmetric potentials and to the discussion of near-critical vacuum decays, for which it is shown how the new method can be usefully applied beyond the thin-wall approximation.


title: Spin transport in a tunable Heisenberg model realized with ultracold atoms

abstract: Simple models of interacting spins play an important role in physics. They capture the properties of many magnetic materials, but also extend to other systems, such as bosons and fermions in a lattice, systems with gauge fields, high-Tc superconductors, and systems with exotic particles such as anyons and Majorana fermions. In order to study and compare these models, a versatile platform is needed. Realizing such a system has been a long-standing goal in the field of ultracold atoms. So far, spin transport has only been studied in the isotropic Heisenberg model. Here we implement the Heisenberg XXZ model with adjustable anisotropy and use this system to study spin transport far from equilibrium after quantum quenches from imprinted spin helix patterns. In the non-interacting XX model, we find ballistic behavior of spin dynamics, while in the isotropic XXX model, we find diffusive behavior. For positive anisotropies, the dynamics ranges from anomalous super-diffusion to sub-diffusion depending on anisotropy, whereas for negative anisotropies, we observe a crossover in the time domain from ballistic to diffusive transport. This behavior contrasts with expectations for the linear response regime and raises new questions in understanding quantum many-body dynamics far away from equilibrium.


title: Analytic infinite derivative gravity, $R^2$-like inflation, quantum gravity and CMB

abstract: Emergence of $R^2$ inflation which is the best fit framework for CMB observations till date comes from the attempts to attack the problem of quantization of gravity which in turn have resulted in the trace anomaly discovery. Further developments in trace anomaly and different frameworks aiming to construct quantum gravity indicate an inevitability of non-locality in fundamental physics at small time and length scales. A natural question would be to employ the $R^2$ inflation as a probe for signatures of non-locality in the early Universe physics. Recent advances of embedding $R^2$ inflation in a string theory inspired non-local gravity modification provides very promising theoretical predictions connecting the non-local physics in the early Universe and the forthcoming CMB observations.


title: A Diverse Clustering Particle Swarm Optimizer for Dynamic Environment: To Locate and Track Multiple Optima

abstract: In real life, mostly problems are dynamic. Many algorithms have been proposed to handle the static problems, but these algorithms do not handle or poorly handle the dynamic environment problems. Although, many algorithms have been proposed to handle dynamic problems but still, there are some limitations or drawbacks in every algorithm regarding diversity of particles and tracking of already found optima. To overcome these limitations/drawbacks, we have proposed a new efficient algorithm to handle the dynamic environment effectively by tracking and locating multiple optima and by improving the diversity and convergence speed of algorithm. In this algorithm, a new method has been proposed which explore the undiscovered areas of search space to increase the diversity of algorithm. This algorithm also uses a method to effectively handle the overlapped and overcrowded particles. Branke has proposed moving peak benchmark which is commonly used MBP in literature. We also have performed different experiments on Moving Peak Benchmark. After comparing the experimental results with different state of art algorithms, it was seen that our algorithm performed more efficiently.


title: Isolated core excitation of high orbital quantum number Rydberg states of ytterbium

abstract: We study isolated core excitation of ultra cold ytterbium Rydberg atoms of high orbital quantum number. Measurements were performed on the $6s_{1/2} 40l \rightarrow 6p_{1/2} 40l $ transition with $l=5-9$. The extracted energy shifts and autoionization rates are in good agreement with a model based on independant electrons, taking into account interactions in a perturbative approach. We reveal a particularly long persistence of the autoionization rates with the orbital quantum number, explained by the strong coupling of the $6p_{1/2}nl$ autoionizing state with the $5d_{3/2}\epsilon l'$ continua compared to previously studied divalent atoms.


title: The physical properties of $Fermi$-4LAC flat spectrum radio quasars

abstract: In this work, we collect quasi-simultaneous infrared, optical, X-ray and $\gamma$-ray data of 60 $Fermi$-4LAC flat spectrum radio quasars (FSRQs). In the framework of the conventional one-zone leptonic model, we investigate the physical properties of $Fermi$-4LAC FSRQs' jets by modeling their quasi-simultaneous spectral energy distributions (SEDs). Our main results are summarized as follows. (1) There is a linear correlation between synchrotron peak frequency and curvature of the electron energy distribution. As suggested by previous works, the slope of the best linear fitting equation of this correlation is consistent with statistic acceleration which needs a fluctuation of fractional acceleration gain. (2) The gamma-ray dissipation regions are located at the range from 0.1 to 10 pc away from the super-massive black hole, and located outside the broad-line region (BLR) and within the dusty torus (DT). (3) A size relation $P_{\rm e}$ (the kinetic power carried in relativistic electrons) $\sim$ $P_{\rm B}$ (Poynting flux) $\leq$ $P_{\rm r}$ (the radiative power ) $<$ $P_{\rm p}$ (the kinetic power in cold protons) is found in our modeling. Among them, $P_{\rm e}\sim P_{\rm B}$ suggests that SEDs of almost all FSRQs with parameters are close to equipartition between the magnetic field and the relativistic electrons. The $P_{\rm e} < P_{\rm r}$ suggest that the most energy of the relativistic electrons are dissipated by EC radiation for FSRQs. (4) There is an anti-correlation between the peak energy of SEDs ($\gamma_{\rm peak}$) and the jet power ($P_{\rm jet}$), which is consistent with the blazar sequence.


title: Performance of the missing transverse momentum triggers for the ATLAS detector during Run-2 data taking

abstract: The factor of four increase in the LHC luminosity, from $0.5\times 10^{34}\,\textrm{cm}^{-2}\textrm{s}^{-1}$ to $2.0\times 10^{34}\textrm{cm}^{-2}\textrm{s}^{-1}$, and the corresponding increase in pile-up collisions during the 2015-2018 data-taking period, presented a challenge for ATLAS to trigger on missing transverse momentum. The output data rate at fixed threshold typically increases exponentially with the number of pile-up collisions, so the legacy algorithms from previous LHC data-taking periods had to be tuned and new approaches developed to maintain the high trigger efficiency achieved in earlier operations. A study of the trigger performance and comparisons with simulations show that these changes resulted in event selection efficiencies of >98% for this period, meeting and in some cases exceeding the performance of similar triggers in earlier run periods, while at the same time keeping the necessary bandwidth within acceptable limits.


title: Gas-driven inspiral of binaries in thin accretion disks

abstract: Numerical studies of gas accretion onto supermassive black hole binaries (SMBHBs) have generally been limited to conditions where the circumbinary disk (CBD) is 10-100 times thicker than expected for disks in active galactic nuclei (AGN). This discrepancy arises from technical limitations, and also from publication bias toward replicating fiducial numerical models. Here we present the first systematic study of how the binary's orbital evolution varies with disk scale height. We report three key results: (1) Binary orbital evolution switches from outspiralling for warm disks (aspect ratio ~0.1), to inspiralling for more realistic cooler, thinner disks at a critical aspect ratio ~0.04, corresponding to orbital Mach number ~25. (2) The net torque on the binary arises from a competition between positive torque from gas orbiting close to the black holes, and negative torque from the inner edge of the CBD, which is denser for thinner disks. This leads to increasingly negative net torques on the binary for increasingly thin disks. (3) The accretion rate is modestly suppressed with increasing Mach number. We discuss how our results may influence modeling of the nano-Hz gravitational wave background, as well as estimates of the LISA merger event rate.


title: Reproduction matrix for an epidemic and lockdowns in a city

abstract: We consider an epidemic spreading in a city which is divided geographically into different districts. We introduce the reproduction matrix $\R=\bigl(R(i,j)\bigr)$ between districts, where $R(i,j)$ is the mean number of individuals in district $j$ infected by an individual from district $i$. We analyse policies of partial lockdowns of the city, that is of a set of districts, based on the study of matrix $\R$, where rows and columns corresponding to districts in lockdown are set to zero. This schema can also be applied to a country divided into regions or other appropriate units, provided the relevant information is available. We conclude by analyzing a matrix~$\R$ which was constructed for the spread of COVID-19 in Santiago, Chile, with the aid of an agent-based simulator for generating surrogate district data.


title: New classes of hypercyclic Toeplitz operators

abstract: We study hypercyclicity of Toeplitz operators in the Hardy space $H^2(\mathbb{D})$ with symbols of the form $R(\overline{z}) +\phi(z)$, where $R$ is a rational function and $\phi \in H^\infty(\mathbb{D})$. We relate this problem to cyclicity of certain families of functions for analytic Toeplitz operators and give new sufficient conditions for hypercyclicity based on deep results of B. Solomyak.


title: Graphene-based Soft Wearable Antennas

abstract: Electronic textiles (e-textiles) are about to face tremendous environmental and resource challenges due to the complexity of sorting, the risk to supplies and metal contamination in textile recycling streams. This is because e-textiles are heavily based on the integration of valuable metals, including gold, silver and copper. In the context of exploring sustainable materials in e-textiles, we tested the boundaries of multi-layer (ML) graphene in wearable communication applications, in which metal assemblies are leading the way in wearable communication. This study attempts to create a soft, textile-based communication interface that does not disrupt tactile comfort and conformity by introducing ML graphene sheets. The antenna design proposed is based on a multidisciplinary approach that merges electromagnetic engineering and material science and integrates graphene, a long-lasting alternative to metal components. The designed antenna covers a wide bandwidth ranging from 3 GHz to 9 GHz, which is a promising solution for a high data rate and efficient communication link. We also described the effects of bending and proximity to the human body on the antenna performance. Overall, the results suggested that graphene-based soft antennas are a viable solution for a fully integrated textile-based communication interface that can replace the current rigid, restrictive and toxic approaches, leading to a future where eco-friendliness and sustainability is the only way forward!


title: The linear-non-linear substitution 2-monad

abstract: We introduce a general construction on 2-monads. We develop background on maps of 2-monads, their left semi-algebras, and colimits in 2-category. Then, we introduce the construction of a colimit induced by a map of 2-monads, show that we obtain the structure of a 2-monad and give a characterisation of its algebras. Finally, we apply the construction to the map of 2-monads between free symmetric monoidal and the free cartesian 2-monads and combine them into a linear-non-linear 2-monad.


title: Plasmonically enhanced mid-IR light source based on tunable spectrally and directionally selective thermal emission from nanopatterned graphene

abstract: We present a proof of concept for a spectrally selective thermal mid-IR source based on nanopatterned graphene (NPG) with a typical mobility of CVD-grown graphene (up to $3000$ cm$^2$V$^{-1}$s$^{-1}$), ensuring scalability to large areas. For that, we solve the electrostatic problem of a conducting hyperboloid with an elliptical wormhole in the presence of an in-plane electric field. The localized surface plasmons (LSPs) on the NPG sheet allow for the control and tuning of the thermal emission spectrum in the wavelength regime from 3 $\mu$m to 12 $\mu$m. The LSPs along with an optical cavity increase the emittance of graphene from about 2.3% for pristine graphene to 80% for NPG, thereby outperforming state-of-the-art pristine graphene light sources operating in the near-infrared (NIR) by a factor of 100. A maximum emission power per area of 11x10^3 W/m$^2$ at $T=2000$ K for a bias voltage of $V=23$ V is achieved by Joule heating. By generalizing Planck's theory and considering the nonlocal fluctuation-dissipation theorem with nonlocal response of surface plasmons in graphene in RPA, we show that the coherence length of the graphene plasmons and the thermally emitted photons can be as large as 13 $\mu$m and 150 $\mu$m, respectively, providing the opportunity to create phased arrays. The spatial phase variation of the coherence allows for beamsteering of the thermal emission in the range between $12^\circ$ and $80^\circ$ by tuning the Fermi energy. Our analysis of the nonlocal hydrodynamic response leads to the conjecture that the diffusion length and viscosity in graphene are frequency-dependent. Using finite-difference time domain (FDTD) calculations, coupled mode theory, and RPA, we develop the model of a mid-IR light source based on NPG, which will pave the way to graphene-based optical mid-IR communication, mid-IR color displays, mid-IR spectroscopy, and virus detection.


title: Normalized Attention Without Probability Cage

abstract: Attention architectures are widely used; they recently gained renewed popularity with Transformers yielding a streak of state of the art results. Yet, the geometrical implications of softmax-attention remain largely unexplored. In this work we highlight the limitations of constraining attention weights to the probability simplex and the resulting convex hull of value vectors. We show that Transformers are sequence length dependent biased towards token isolation at initialization and contrast Transformers to simple max- and sum-pooling - two strong baselines rarely reported. We propose to replace the softmax in self-attention with normalization, yielding a hyperparameter and data-bias robust, generally applicable architecture. We support our insights with empirical results from more than 25,000 trained models. All results and implementations are made available.


title: Reconsideration of photonic tunneling through undersized waveguides

abstract: All the previous studies on photonic tunneling are just based on a simple and directly analogy with a one-dimensional quantum-mechanical tunneling, without taking into account the horizontal structure of electromagnetic waves along the waveguide, such that they are oversimplified and incomplete. Here we present a more serious deliberation on photonic tunneling through cut-off waveguides, and obtain a strictly theoretical model with some new results.


title: On the Sixth International Olympiad in Cryptography NSUCRYPTO

abstract: NSUCRYPTO is the unique cryptographic Olympiad containing scientific mathematical problems for professionals, school and university students from any country. Its aim is to involve young researchers in solving curious and tough scientific problems of modern cryptography. From the very beginning, the concept of the Olympiad was not to focus on solving olympic tasks but on including unsolved research problems at the intersection of mathematics and cryptography. The Olympiad history starts in 2014. In 2019, it was held for the sixth time. In this paper, problems and their solutions of the Sixth International Olympiad in cryptography NSUCRYPTO'2019 are presented. We consider problems related to attacks on ciphers and hash functions, protocols, Boolean functions, Dickson polynomials, prime numbers, rotor machines, etc. We discuss several open problems on mathematical countermeasures to side-channel attacks, APN involutions, S-boxes, etc. The problem of finding a collision for the hash function Curl27 was partially solved during the Olympiad.


title: A modified Marchenko method to retrieve the wave field inside a layered metamaterial from reflection measurements at the surface

abstract: With the Marchenko method it is possible to retrieve the wave field inside a medium from its reflection response at the surface. To date, this method has predominantly been applied to naturally occurring materials. In this paper we extend the Marchenko method for applications in metamaterials with, in the low-frequency limit, effective negative constitutive parameters. We illustrate the method with a numerical example, which shows that the method works well for vertically propagating plane waves and for dipping plane waves with small horizontal slownesses. The proposed method has potential applications for example in non-destructive testing of layered materials.