title: Discovery and Characterization of Kepler-36b

abstract: We describe the circumstances that led to the discovery of Kepler-36b, and the subsequent characterization of its host planetary system. The Kepler-36 system is remarkable for its physical properties: the close separation of the planets, the contrasting densities of the planets despite their proximity, and the short chaotic timescale. Its discovery and characterization was also remarkable for the novelty of the detection technique and for the precise characterization due to the large transit-timing variations caused by the close proximity of the planets, as well as the precise stellar parameters due to asteroseismology. This was the first multi-planet system whose transit data was processed using a fully consistent photometric-dynamical model, using population Markov Chain Monte Carlo techniques to precisely constrain system parameters. Amongst those parameters, the stellar density was found to be consistent with a complementary, concurrent asteroseismic analysis. In a first, the 3D orientation of the planets was constrained from the lack of transit-duration variations. The system yielded insights into the composition and evolution of short-period planet systems. The denser planet appears to have an Earth-like composition, with uncertainties comparable to the highest precision rocky exoplanet measurements, and the planet densities foreshadowed the rocky/gaseous boundary. The formation of this system remains a mystery, but should yield insights into the migration and evolution of compact exoplanet systems.


title: A Coupled Oscillator Model for the Origin of Bimodality and Multimodality

abstract: Perhaps because of the elegance of the central limit theorem, it is often assumed that distributions in nature will approach singly-peaked, unimodal shapes reminiscent of the Gaussian normal distribution. However, many systems behave differently, with variables following apparently bimodal or multimodal distributions. Here we argue that multimodality may emerge naturally as a result of repulsive or inhibitory coupling dynamics, and we show rigorously how it emerges for a broad class of coupling functions in variants of the paradigmatic Kuramoto model.


title: Approximation Schemes for a Unit-Demand Buyer with Independent Items via Symmetries

abstract: We consider a revenue-maximizing seller with $n$ items facing a single buyer. We introduce the notion of symmetric menu complexity of a mechanism, which counts the number of distinct options the buyer may purchase, up to permutations of the items. Our main result is that a mechanism of quasi-polynomial symmetric menu complexity suffices to guarantee a $(1-\varepsilon)$-approximation when the buyer is unit-demand over independent items, even when the value distribution is unbounded, and that this mechanism can be found in quasi-polynomial time. Our key technical result is a polynomial time, (symmetric) menu-complexity-preserving black-box reduction from achieving a $(1-\varepsilon)$-approximation for unbounded valuations that are subadditive over independent items to achieving a $(1-O(\varepsilon))$-approximation when the values are bounded (and still subadditive over independent items). We further apply this reduction to deduce approximation schemes for a suite of valuation classes beyond our main result. Finally, we show that selling separately (which has exponential menu complexity) can be approximated up to a $(1-\varepsilon)$ factor with a menu of efficient-linear $(f(\varepsilon) \cdot n)$ symmetric menu complexity.


title: Quantum simulating an experiment: Light interference from single ions and their mirror images

abstract: We widen the range of applications for quantum computing by introducing digital quantum simulation methods for coherent light-matter interactions: We simulate an experiment where the emitted light from a single ion was interfering with its mirror image [Eschner et. al., Nature 431, 495 (2001)]. Using the quantum simulation software q1tsim we accurately reproduce the interference pattern which had been observed experimentally and also show the effect of the mirror position on the spontaneous emission rate of the ion. In order to minimize the number of required qubits we implement a qubit-reinitialization technique. We show that a digital quantum simulation of complex experiments in atomic and quantum physics is feasible with no more than seven qubits, a setting which is well within reach for advanced quantum computing platforms.


title: Winograd Convolution for DNNs: Beyond linear polynomials

abstract: Winograd convolution is widely used in deep neural networks (DNNs). Existing work for DNNs considers only the subset Winograd algorithms that are equivalent to Toom-Cook convolution. We investigate a wider range of Winograd algorithms for DNNs and show that these additional algorithms can significantly improve floating point (FP) accuracy in many cases. We present results for three FP formats: fp32, fp16 and bf16 (a truncated form of fp32) using 2000 inputs from the ImageNet dataset. We found that in fp16 this approach gives us up to 6.5 times better image recognition accuracy in one important case while maintaining the same number of elementwise multiplication operations in the innermost loop. In bf16 the convolution can be computed using 5% fewer innermost loop multiplications than with currently used Winograd algorithms while keeping the accuracy of image recognition the same as for direct convolution method.


title: Algorithms for the Tits alternative and related problems

abstract: We present an algorithm that decides whether a finitely generated linear group over an infinite field is solvable-by-finite: a computationally effective version of the Tits alternative. We also give algorithms to decide whether the group is nilpotent-by-finite, abelian-by-finite, or central-by-finite. Our algorithms have been implemented in MAGMA and are publicly available.


title: Equivariant Cartan-Eilenberg supergerbes II. Equivariance in the super-Minkowskian setting

abstract: This is a continuation of a programme, initiated in Part I [arXiv:1706.05682], of geometrisation, compatible with the SUSY present, of the Green-Schwarz $(p+2)$-cocycles coupling to the topological charges carried by $p$-branes on reductive homogeneous spaces of SUSY groups described by GS(-type) super-$\sigma$-models. In the present part, higher-geometric realisations of the various SUSYs - both global and local - of these field theories are studied at length in the form of - respectively - families of gerbe isomorphisms indexed by the global-SUSY group and equivariant structures with respect to SUSY actions amenable to gauging. The discussion, employing an algebroidal analysis of the small gauge anomaly, leads to a novel definition of a supersymmetric equivariant structure on the Cartan-Eilenberg super-$p$-gerbe of Part I with respect to actions of distinguished normal subgroups of the SUSY group. This is exemplified by the ${\rm Ad}_\cdot$-equivariant structure on the GS super-$p$-gerbes for $\,p\in\{0,1\}\,$ over the super-Minkowski space, whose existence conforms with the classical results for the bosonic counterparts of the corresponding super-$\sigma$-models. The study also explores the fundamental gauge SUSY of the GS super-$\sigma$-model aka $\kappa$-symmetry. Its geometrisation calls for a transcription of the field theory to the dual topological Hughes-Polchinski formulation. Natural conditions for the transcription are identified and illustrated on the example of the super-Minkowskian model of Part I. In the dual formulation, the notion of an extended HP $p$-gerbe unifying the metric and topological degrees of freedom of the GS super-$\sigma$-model is advanced. Its compatibility with $\kappa$-symmetry is ensured by the existence of a linearised equivariant structure. The results reported herein lend strong structural support to the geometrisation scheme postulated in Part I.


title: On a theorem of Davenport and Schmidt

abstract: This work is motivated by a paper of Davenport and Schmidt, which treats the question of when Dirichlet's theorems on the rational approximation of one or of two irrationals can be improved and if so, by how much. We consider a generalization of this question in the simplest case of a single irrational but in the context of the geometry of numbers in $\mathbb R^2$, with the sup-norm replaced by a more general one. Results include sharp bounds for how much improvement is possible under various conditions. The proofs use semi-regular continued fractions that are characterized by a certain best approximation property determined by the norm.


title: Sustainable Investing and the Cross-Section of Returns and Maximum Drawdown

abstract: We use supervised learning to identify factors that predict the cross-section of returns and maximum drawdown for stocks in the US equity market. Our data run from January 1970 to December 2019 and our analysis includes ordinary least squares, penalized linear regressions, tree-based models, and neural networks. We find that the most important predictors tended to be consistent across models, and that non-linear models had better predictive power than linear models. Predictive power was higher in calm periods than in stressed periods. Environmental, social, and governance indicators marginally impacted the predictive power of non-linear models in our data, despite their negative correlation with maximum drawdown and positive correlation with returns. Upon exploring whether ESG variables are captured by some models, we find that ESG data contribute to the prediction nonetheless.


title: Interval Valued Trapezoidal Neutrosophic Set for Prioritization of Non-functional Requirements

abstract: This paper discusses the trapezoidal fuzzy number(TrFN); Interval-valued intuitionistic fuzzy number(IVIFN); neutrosophic set and its operational laws; and, trapezoidal neutrosophic set(TrNS) and its operational laws. Based on the combination of IVIFN and TrNS, an Interval Valued Trapezoidal Neutrosophic Set (IVTrNS) is proposed followed by its operational laws. The paper also presents the score and accuracy functions for the proposed Interval Valued Trapezoidal Neutrosophic Number (IVTrNN). Then, an interval valued trapezoidal neutrosophic weighted arithmetic averaging (IVTrNWAA) operator is introduced to combine the trapezoidal information which is neutrosophic and in the unit interval of real numbers. Finally, a method is developed to handle the problems in the multi attribute decision making(MADM) environment using IVTrNWAA operator followed by a numerical example of NFRs prioritization to illustrate the relevance of the developed method.


title: Thermodynamics and entropy of self-gravitating matter shells and black holes in $d$ dimensions

abstract: The thermodynamic properties of self-gravitating spherical thin matter shells an black holes in $d>4$ dimensions are studied, extending previous analysis for $d=4$. The shell joins a Minkowski interior to a Tangherlini exterior, i.e., a Schwarzschild exterior in $d$ dimensions, with $d\geqslant4$, The junction conditions alone together with the first law of thermodynamics enable one to establish that the entropy of the thin shell depends only on its own gravitational radius. Endowing the shell with a power-law temperature equation of state allows to establish a precise form for the entropy and to perform a thermodynamic stability analysis for the shell. An interesting case is when the shell's temperature has the Hawking form, i.e., it is inversely proportional to the shell's gravitational radius. It is shown in this case that the shell's heat capacity is positive, and thus there is stability, for shells with radii in-between their own gravitational radius and the photonic radius, i.e., the radius of circular photon orbits, reproducing unexpectedly York's thermodynamic stability criterion for a $d=4$ black hole in the canonical ensemble. Additionally, the Euler equation for the matter shell is derived, the Bekenstein and holographic entropy bounds are studied, and the large $d$ limit is analyzed. Within this formalism the thermodynamic properties of black holes can be studied too. Putting the shell at its own gravitational radius, i.e., in the black hole situation, obliges one to choose precisely the Hawking temperature for the shell which in turn yields the Bekenstein-Hawking entropy. The stability analysis implies that the black hole is thermodynamically stable substantiating that in this configuration our system and York's canonical ensemble black hole are indeed the same system. Also relevant is the derivation in a surprising way of the Smarr formula for black holes in $d$ dimensions.


title: Inelastic ponderomotive scattering of electrons at a high-intensity optical travelling wave in vacuum

abstract: In the early days of quantum mechanics Kapitza and Dirac predicted that matter waves would scatter off the optical intensity grating formed by two counter-propagating light waves [1]. This interaction, driven by the ponderomotive potential of the optical standing wave, was both studied theoretically and demonstrated experimentally for atoms [2] and electrons [3-5]. In the original version of the experiment [1,5], only the transverse momentum of particles was varied, but their energy and longitudinal momentum remained unchanged after the interaction. Here, we report on the generalization of the Kapitza-Dirac effect. We demonstrate that the energy of sub-relativistic electrons is strongly modulated on the few-femtosecond time scale via the interaction with a travelling wave created in vacuum by two colliding laser pulses at different frequencies. This effect extends the possibilities of temporal control of freely propagating particles with coherent light and can serve the attosecond ballistic bunching of electrons [6], or for the acceleration of neutral atoms or molecules by light.


title: Deep Neural Networks for Marine Debris Detection in Sonar Images

abstract: Garbage and waste disposal is one of the biggest challenges currently faced by mankind. Proper waste disposal and recycling is a must in any sustainable community, and in many coastal areas there is significant water pollution in the form of floating or submerged garbage. This is called marine debris. Submerged marine debris threatens marine life, and for shallow coastal areas, it can also threaten fishing vessels [I\~niguez et al. 2016, Renewable and Sustainable Energy Reviews]. Submerged marine debris typically stays in the environment for a long time (20+ years), and consists of materials that can be recycled, such as metals, plastics, glass, etc. Many of these items should not be disposed in water bodies as this has a negative effect in the environment and human health. This thesis performs a comprehensive evaluation on the use of DNNs for the problem of marine debris detection in FLS images, as well as related problems such as image classification, matching, and detection proposals. We do this in a dataset of 2069 FLS images that we captured with an ARIS Explorer 3000 sensor on marine debris objects lying in the floor of a small water tank. The objects we used to produce this dataset contain typical household marine debris and distractor marine objects (tires, hooks, valves, etc), divided in 10 classes plus a background class. Our results show that for the evaluated tasks, DNNs are a superior technique than the corresponding state of the art. There are large gains particularly for the matching and detection proposal tasks. We also study the effect of sample complexity and object size in many tasks, which is valuable information for practitioners. We expect that our results will advance the objective of using Autonomous Underwater Vehicles to automatically survey, detect and collect marine debris from underwater environments.


title: Hierarchical approaches for flexible and interpretable binary regression models

abstract: Binary regression models are ubiquitous in virtually every scientific field. Frequently, traditional generalized linear models fail to capture the variability in the probability surface that gives rise to the binary observations and novel methodology is required. This has generated a substantial literature comprised of binary regression models motivated by various applications. We describe a novel organization of generalizations to traditional binary regression methods based on the familiar three-part structure of generalized linear models (random component, systematic component, link function). This new perspective facilitates both the comparison of existing approaches, and the development of novel, flexible models with interpretable parameters that capture application-specific data generating mechanisms. We use our proposed organizational structure to discuss some concerns with certain existing models for binary data based on quantile regression. We then use the framework to develop several new binary regression models tailored to occupancy data for European red squirrels (Sciurus vulgaris).


title: Robustness Analysis of Face Obscuration

abstract: Face obscuration is needed by law enforcement and mass media outlets to guarantee privacy. Sharing sensitive content where obscuration or redaction techniques have failed to completely remove all identifiable traces can lead to many legal and social issues. Hence, we need to be able to systematically measure the face obscuration performance of a given technique. In this paper we propose to measure the effectiveness of eight obscuration techniques. We do so by attacking the redacted faces in three scenarios: obscured face identification, verification, and reconstruction. Threat modeling is also considered to provide a vulnerability analysis for each studied obscuration technique. Based on our evaluation, we show that the k-same based methods are the most effective.


title: Aphids, Ants and Ladybirds: a mathematical model predicting their population dynamics

abstract: The interaction between aphids, ants and ladybirds has been investigated from an ecological point of view since many decades, while there are no attempts to describe it from a mathematical point of view. This paper introduces a new mathematical model to describe the within-season population dynamics in an ecological patch of a system composed by aphids, ants and ladybirds, through a set of four differential equations. The proposed model is based on the Kindlmann and Dixon set of differential equations, focused on the prediction of the aphids-ladybirds population densities, that share a prey-predator relationship. The population of ants, in mutualistic relationship with aphids and in interspecific competition with ladybirds, is described according to the Holland and De Angelis mathematical model, in which the authors faced the problem of mutualistic interactions in general terms. The set of differential equations proposed here is discretized by means the Nonstandard Finite Difference scheme, successfully applied by Gabbriellini to the mutualistic model. The constructed finite-difference scheme is positivity-preserving and characterized by four nonhyperbolic steady-states, as highlighted by the phase-space and time-series analyses. Particular attention is dedicated to the steady-state most interesting from an ecological point of view, whose asymptotic stability is demonstrated via the Centre Manifold Theory. The model allows to numerically confirm that mutualistic relationship effectively influences the population dynamic, by increasing the peaks of the aphids and ants population densities. Nonetheless, it is showed that the asymptotical populations of aphids and ladybirds collapse for any initial condition, unlike that of ants that, after the peak, settle on a constant asymptotic value.


title: Ponderomotive generation and detection of attosecond free-electron pulse trains

abstract: Atomic motion dynamics during structural changes or chemical reactions have been visualized by picosecond and femtosecond pulsed electron beams via ultrafast electron diffraction and microscopy. Imaging the even faster dynamics of electrons in atoms, molecules and solids requires electron pulses with sub-femtosecond durations. We demonstrate here the all-optical generation of trains of attosecond free-electron pulses. The concept is based on the periodic energy modulation of a pulsed electron beam via an inelastic interaction with the ponderomotive potential of an optical travelling wave generated by two femtosecond laser pulses at different frequencies in vacuum. The subsequent dispersive propagation leads to a compression of the electrons and the formation of ultrashort pulses. The longitudinal phase space evolution of the electrons after compression is mapped by a second phase-locked interaction. The comparison of measured and calculated spectrograms reveals the attosecond temporal structure of the compressed electron pulse trains with individual pulse durations of less than 300 as. This technique can be utilized for tailoring and initial characterization of sub-optical cycle free-electron pulses at high repetition rates for stroboscopic time-resolved experiments with sub-femtosecond time resolution.


title: A Monte Carlo analysis of the SMEFT in the top quark sector

abstract: We present a framework for carrying out global analyses of the Standard Model Effective Field Theory: SMEFiT. This approach is based on the Monte Carlo replica method, widely used in the case of NNPDF fits of the proton structure, for deriving a faithful estimate of the experimental and theoretical uncertainties. As a proof of concept of the SMEFiT methodology, we present a study of the constraints on the SMEFT provided by top quark production measurements from the LHC. We derive bounds for the 34 degrees of freedom relevant for the interpretation of the LHC top quark data and compare these bounds with previously reported constraints.


title: Quantum Rabi oscillations in coherent and in mesoscopic Schr\"odinger "cat" field states

abstract: The simple resonant Rabi oscillation of a two-level system in a single-mode coherent field reveals complex features at the mesoscopic scale, with oscillation collapses and revivals. Using slow circular Rydberg atoms interacting with a superconducting microwave cavity, we explore this phenomenon in an unprecedented range of interaction times and photon numbers. We demonstrate the efficient production of `cat' states, quantum superposition of coherent components with nearly opposite phases and sizes in the range of few tens of photons. We measure cuts of their Wigner functions revealing their quantum coherence and observe their fast decoherence. This experiment opens promising perspectives for the rapid generation and manipulation of non-classical states in cavity and circuit Quantum Electrodynamics.


title: Design Space Exploration via Answer Set Programming Modulo Theories

abstract: The design of embedded systems, that are ubiquitously used in mobile devices and cars, is becoming continuously more complex such that efficient system-level design methods are becoming crucial. My research aims at developing systems that help the designer express the complex design problem in a declarative way and explore the design space to obtain divers sets of solutions with desirable properties. To that end, we employ knowledge representation and reasoning capabilities of ASP in combination with background theories. As a result, for the first time, we proposed a sophisticated methodology that allows for the direct integration of multi-objective optimization of non-linear objectives into ASP. This includes unique results of diverse sub-problems covered in several publications which I will present in this work.


title: Electrochemical properties of Na$_{0.66}$V$_4$O$_{10}$ nanostructures as cathode material in rechargeable batteries for energy storage applications

abstract: We report the electrochemical performance of nanostructures of Na$_{0.66}$V$_4$O$_{10}$ as cathode material for rechargeable batteries. The Rietveld refinement of room temperature x-ray diffraction pattern shows the monoclinic phase with C2/m space group. The cyclic voltammetry curves of prepared half-cells exhibit redox peaks at ~3.1 and 2.6~V, which are due to two-phase transition reaction between V$^{5+/4+}$ and can be assigned to the single step deintercalation/intercalation of Na-ion. We observe a good cycling stability with specific discharge capacity (measured vs. Na$^+$/Na) between 80 ($\pm$2) and 30 ($\pm$2) mAh g$^{-1}$ at a current density 3 and 50~mA g$^{-1}$, respectively. The electrochemical performance of Na$_{0.66}$V$_4$O$_{10}$ electrode was also tested with Li anode, which showed higher capacity, but decay faster than Na. Using density functional theory, we calculate the Na vacancy formation energies; 3.37~eV in the bulk of the material and 2.52~eV on the (100) surface, which underlines the importance of nanostructures.


title: Stationary points at infinity for analytic combinatorics

abstract: On complex algebraic varieties, height functions arising in combinatorial applications fail to be proper. This complicates the description and computation via Morse theory of key topological invariants. Here we establish checkable conditions under which the behavior at infinity may be ignored, and the usual theorems of classical and stratified Morse theory may be applied. This allows for simplified arguments in the field of analytic combinatorics in several variables, and forms the basis for new methods applying to problems beyond the reach of previous techniques.


title: Learning Scalable and Precise Representation of Program Semantics

abstract: Neural program embedding has shown potential in aiding the analysis of large-scale, complicated software. Newly proposed deep neural architectures pride themselves on learning program semantics rather than superficial syntactic features. However, by considering the source code only, the vast majority of neural networks do not capture a deep, precise representation of program semantics. In this paper, we present \dypro, a novel deep neural network that learns from program execution traces. Compared to the prior dynamic models, not only is \dypro capable of generalizing across multiple executions for learning a program's dynamic semantics in its entirety, but \dypro is also more efficient when dealing with programs yielding long execution traces. For evaluation, we task \dypro with semantic classification (i.e. categorizing programs based on their semantics) and compared it against two prominent static models: Gated Graph Neural Network and TreeLSTM. We find that \dypro achieves the highest prediction accuracy among all models. To further reveal the capacity of all aforementioned deep neural architectures, we examine if the models can learn to detect deeper semantic properties of a program. In particular given a task of recognizing loop invariants, we show \dypro beats all static models by a wide margin.


title: Learning Novel Policies For Tasks

abstract: In this work, we present a reinforcement learning algorithm that can find a variety of policies (novel policies) for a task that is given by a task reward function. Our method does this by creating a second reward function that recognizes previously seen state sequences and rewards those by novelty, which is measured using autoencoders that have been trained on state sequences from previously discovered policies. We present a two-objective update technique for policy gradient algorithms in which each update of the policy is a compromise between improving the task reward and improving the novelty reward. Using this method, we end up with a collection of policies that solves a given task as well as carrying out action sequences that are distinct from one another. We demonstrate this method on maze navigation tasks, a reaching task for a simulated robot arm, and a locomotion task for a hopper. We also demonstrate the effectiveness of our approach on deceptive tasks in which policy gradient methods often get stuck.


title: Features and Operation of an Autonomous Agent for Cyber Defense

abstract: An ever increasing number of battlefield devices that are capable of collecting, processing, storing, and communicating information are rapidly becoming interconnected. The staggering number of connected devices on the battlefield greatly increases the possibility that an adversary could find ways to exploit hardware or software vulnerabilities, degrading or denying Warfighters the assured and secure use of those devices. Autonomous software agents will become necessities to manage, defend, and react to cyber threats in the future battlespace. The number of connected devices increases disproportionately to the number of cyber experts that could be available within an operational environment. In this paper, an autonomous agent capability and a scenario of how it could operate are proposed. The goal of developing such capability is to increase the security posture of the Internet of Battlefield Things and meet the challenges of an increasingly complex battlefield. This paper describes an illustrative scenario in a notional use case and discusses the challenges associated with such autonomous agents. We conclude by offering ideas for potential research into developing autonomous agents suitable for cyber defense in a battlefield environment.


title: Optimal Multithreaded Batch-Parallel 2-3 Trees

abstract: This paper presents a batch-parallel 2-3 tree T in an asynchronous dynamic multithreading model that supports searches, insertions and deletions in sorted batches and has essentially optimal parallelism, even under the restrictive QRMW (queued read-modify-write) memory contention model where concurrent accesses to the same memory location are queued and serviced one by one. Specifically, if T has n items, then performing an item-sorted batch (given as a leaf-based balanced binary tree) of b operations on T takes O( b * log(n/b+1) + b ) work and O( log b + log n ) span (in the worst case as b,n -> inf). This is information-theoretically work-optimal for b <= n, and also span-optimal for pointer-based structures. Moreover, it is easy to support optimal intersection, union and difference of instances of T with sizes m <= n, namely within O( m * log(n/m+1) ) work and O( log m + log n ) span. Furthermore, T supports other batch operations that make it a very useful building block for parallel data structures. To the author's knowledge, T is the first parallel sorted-set data structure that can be used in an asynchronous multi-processor machine under a memory model with queued contention and yet have asymptotically optimal work and span. In fact, T is designed to have bounded contention and satisfy the claimed work and span bounds regardless of the execution schedule. Since all data structures and algorithms in this paper fit into the dynamic multithreading paradigm, all their performance bounds are directly composable with those of other data structures and algorithms in the same model. Finally, the pipelining techniques in this paper are also likely to be very useful in asynchronous parallelization of other recursive data structures.


title: Replica Conditional Sequential Monte Carlo

abstract: We propose a Markov chain Monte Carlo (MCMC) scheme to perform state inference in non-linear non-Gaussian state-space models. Current state-of-the-art methods to address this problem rely on particle MCMC techniques and its variants, such as the iterated conditional Sequential Monte Carlo (cSMC) scheme, which uses a Sequential Monte Carlo (SMC) type proposal within MCMC. A deficiency of standard SMC proposals is that they only use observations up to time $t$ to propose states at time $t$ when an entire observation sequence is available. More sophisticated SMC based on lookahead techniques could be used but they can be difficult to put in practice. We propose here replica cSMC where we build SMC proposals for one replica using information from the entire observation sequence by conditioning on the states of the other replicas. This approach is easily parallelizable and we demonstrate its excellent empirical performance when compared to the standard iterated cSMC scheme at fixed computational complexity.


title: Deep Multi-Agent Reinforcement Learning Based Cooperative Edge Caching in Wireless Networks

abstract: The growing demand on high-quality and low-latency multimedia services has led to much interest in edge caching techniques. Motivated by this, we in this paper consider edge caching at the base stations with unknown content popularity distributions. To solve the dynamic control problem of making caching decisions, we propose a deep actor-critic reinforcement learning based multi-agent framework with the aim to minimize the overall average transmission delay. To evaluate the proposed framework, we compare the learning-based performance with three other caching policies, namely least recently used (LRU), least frequently used (LFU), and first-in-first-out (FIFO) policies. Through simulation results, performance improvements of the proposed framework over these three caching algorithms have been identified and its superior ability to adapt to varying environments is demonstrated.


title: Oracle-Based Algorithms for Binary Two-Stage Robust Optimization

abstract: In this work we study binary two-stage robust optimization problems with objective uncertainty. We present an algorithm to calculate efficiently lower bounds for the binary two-stage robust problem by solving alternately the underlying deterministic problem and an adversarial problem. For the deterministic problem any oracle can be used which returns an optimal solution for every possible scenario. We show that the latter lower bound can be implemented in a branch & bound procedure, where the branching is performed only over the first-stage decision variables. All results even hold for non-linear objective functions which are concave in the uncertain parameters. As an alternative solution method we apply a column-and-constraint generation algorithm to the binary two-stage robust problem with objective uncertainty. We test both algorithms on benchmark instances of the uncapacitated single-allocation hub-location problem and of the capital budgeting problem. Our results show that the branch & bound procedure outperforms the column-and-constraint generation algorithm.


title: Enabling Mobility in LTE-Compatible Mobile-edge Computing with Programmable Switches

abstract: Network softwarization triggered a new wave of innovation in modern network design. The next generation of mobile networks embraces this trend. Mobile-edge computing (MEC) is a key part of emerging mobile networks that enables ultra-low latency mission-critical application such as vehicle-to vehicle communication. MEC aims at bringing delay-sensitive applications closer to the radio access network to enable ultra-low latency for users and decrease the back-haul pressure on mobile service providers. However, there are no practical solutions to enable mobility at MEC where connections are no longer anchored to the core network and serving applications are supposed to move as their users move. We propose the mobile-edge gateway (MEGW) to address this gap. MEGW enables mobility for MEC applications transparently and without requiring any modifications to existing protocols and applications. MEGW supports mobility by reconstructing mobile users' location via listening to LTE control plane in addition to using two-stage location-dependent traffic steering for edge connections. Networks can incrementally upgrade to support MEC by upgrading some IP router to programmable switches that run MEGW. We have implemented MEGW using P4 language and verified its compatibility with existing LTE networks in a testbed running reference LTE protocol stack. Furthermore, using packet-level simulations we show that the two-stage traffic steering algorithm reduces the number of application migrations and simplifies service provisioning.


title: The Photon and Light $1^{--}$ Mesons

abstract: In this paper we look into the world data related to the photon and the connection to light mesons with the same spin parity quantum number as the photon $J^p = 1^-$.


title: Torsions in Cohomology of $\text{SL}_2(\mathbb{Z})$ and Congruence of Modular Forms

abstract: We describe torsion classes in the first cohomology group of $\text{SL}_2(\mathbb{Z})$. In particular, we obtain generalized Dickson's invariants for p-power polynomial rings. Secondly, we describe torsion classes in the zero-th homology group of $\text{SL}_2(\mathbb{Z})$ as a module over the torsion invariants. As application, we obtain various congruences between cuspidal forms of level one and Eisenstein series.


title: Irregularities in the rate of generation of giant pulses from the Crab pulsar observed at 111 MHz

abstract: We present analysis of the rate of giant radio pulses (GPs) emission from the Crab pulsar (B0531+21). Results of our 9 years daily observations with the Large Phased Array radio telescope of Pushchino Radio Astronomy Observatory at 111 MHz were used. Limited sample of 8753 strong individual pulses in 2004 observational sessions was further analysed. It was shown that the observed monthly averaged rate of GPs emission was highly unstable during the entire span of observations and changes by about two orders of magnitude for high-energy pulses. Data were further analysed to search for the possible connection between pulsar glitches and the process of GP emission. We have found a significant increase in the rate of emission of high-energy GPs after MJD 58064, when the largest glitch ever observed in the Crab pulsar was happened. Although considerable changes in GPs emission rate could have been caused by the propagation effects in the nebula itself, we have found that the pulsar had demonstrated high degree of intrinsic irregularity of high-energy pulses emission over long time intervals.


title: Fermionic path integrals and correlation dynamics in a 1D XY system

abstract: We derive time dependent correlation functions in an one dimensional XY spin model with the use of generating functionals, the latter being defined as path integrals over fermionic coherent states. We focus on the proper construction of the aforementioned integrals in order to avoid the inconsistencies usually encountered in the literature. The static limit of our results successfully reproduces the known ones, confirming the validity of our construction and allowing for further investigation of the dynamics. In the same context, we examine the case of a general driven transverse magnetic field, for which case we derive formulas for the equal-time correlation functions and confirm the consistency of our results with the Kibble-Zurek mechanism.


title: Quench dynamics of an ultracold two-dimensional Bose gas

abstract: We study the dynamics of a two-dimensional Bose gas after an instantaneous quench of an initially ultracold thermal atomic gas across the Berezinskii-Kosterlitz-Thouless phase transition, confirming via stochastic simulations that the system undergoes phase ordering kinetics and fulfills dynamical scaling hypothesis at late-time dynamics. Specifically, we find in that regime the vortex number decaying in time as $\langle N_v \propto t^{-1}\rangle$, consistent with a dynamical critical exponent $z \approx 2$ for both temperature and interaction quenches. Focusing on finite-size box-like geometries, we demonstrate that such an observation is within current experimental reach.


title: Programming multi-level quantum gates in disordered computing reservoirs via machine learning and TensorFlow

abstract: Novel machine learning computational tools open new perspectives for quantum information systems. Here we adopt the open-source programming library TensorFlow to design multi-level quantum gates including a computing reservoir represented by a random unitary matrix. In optics, the reservoir is a disordered medium or a multi-modal fiber. We show that trainable operators at the input and the readout enable one to realize multi-level gates. We study various qudit gates, including the scaling properties of the algorithms with the size of the reservoir. Despite an initial low slop learning stage, TensorFlow turns out to be an extremely versatile resource for designing gates with complex media, including different models that use spatial light modulators with quantized modulation levels.


title: Cooper: Cooperative Perception for Connected Autonomous Vehicles based on 3D Point Clouds

abstract: Autonomous vehicles may make wrong decisions due to inaccurate detection and recognition. Therefore, an intelligent vehicle can combine its own data with that of other vehicles to enhance perceptive ability, and thus improve detection accuracy and driving safety. However, multi-vehicle cooperative perception requires the integration of real world scenes and the traffic of raw sensor data exchange far exceeds the bandwidth of existing vehicular networks. To the best our knowledge, we are the first to conduct a study on raw-data level cooperative perception for enhancing the detection ability of self-driving systems. In this work, relying on LiDAR 3D point clouds, we fuse the sensor data collected from different positions and angles of connected vehicles. A point cloud based 3D object detection method is proposed to work on a diversity of aligned point clouds. Experimental results on KITTI and our collected dataset show that the proposed system outperforms perception by extending sensing area, improving detection accuracy and promoting augmented results. Most importantly, we demonstrate it is possible to transmit point clouds data for cooperative perception via existing vehicular network technologies.


title: Stable production of a strongly-interacting Bose-Einstein condensate via mode-matching

abstract: We describe a diabatic protocol to prepare a strongly-interacting Bose-Einstein condensate in a regime where neither an adiabatic ramp nor a direct diabatic quench are desirable. This protocol is expected to achieve a nearly unit population transfer to the strongly-interacting ground state for realistic experimental parameters for $^{85}$Rb. The protocol matches the initial and final density profiles by modifying the trap along with the scattering length during the quench. The protocol should reveal several properties of the strongly-interacting Bose gas, and enable further investigation of beyond mean-field corrections to the Gross-Pitaevskii equation.


title: Properties of the partition function of ${\cal N}=2$ supersymmetric QCD with massive matter

abstract: We study the different quantum phases that occur in massive ${\cal N}=2$ supersymmetric QCD with gauge groups $SU(2)$ and $SU(3)$ as the coupling $\Lambda/M$ is gradually increased from 0 to infinity. The phases can be identified by computing the exact partition function by saddle-points, combining supersymmetric localization and the Seiberg-Witten formalism. In all cases, we find two phases, a weak coupling and a strong coupling phase, separated by a critical point described by a superconformal field theory or involving superconformal sectors. In crossing the critical point, the dominant saddle-point hops from one singularity of the curve to another one. The theories seem to undergo a second-order phase transition with divergent susceptibility.


title: Perturbations to Generalized Kink-like Topological Defects in $AdS$

abstract: We explore perturbations to a kink-like (codimension 1) topological defect whose world brane is $AdS_{q}$ embedded into $AdS_{q+1}$. Previously, we found solutions in the limit the mass of the scalar field vanishes. In this article we extend a calculation previously done in $AdS_{2}$ to higher-dimensional embedding spaces and find that all perturbations to the mass of the field are stable to first order as expected in a theory with topological defects. We find that the equation of motion to the correction strongly resembles a problem well-known in quantum mechanics.


title: Unstable $\nu_1$-Periodic Homotopy of Simply Connected, Finite $H$-Spaces, using Goodwillie Calculus

abstract: In this paper we recover Bousfield's computation of $\nu_1$-periodic homotopy groups of simply connected, finite $H$-spaces from \cite{Bou99} using the techniques of Goodwillie calculus. This is done through first computing Andr\'{e}-Quillen cohomology over the monad $\mathbb{T}$ that encodes the power operations of complex $K$-theory. Then lifting this computation to computing $K$-theory of topological Andr\'{e}-Quillen cohomology, and then using results of Behrens and Rezk relating it back to the Bousfield-Kuhn functor. The fact that we recovers the result of Bousfield allows us to conclude $\nu_1$-periodic Goodwillie tower for simply connected, finite $H$-spaces converges.


title: When Do People Trust Their Social Groups?

abstract: Trust facilitates cooperation and supports positive outcomes in social groups, including member satisfaction, information sharing, and task performance. Extensive prior research has examined individuals' general propensity to trust, as well as the factors that contribute to their trust in specific groups. Here, we build on past work to present a comprehensive framework for predicting trust in groups. By surveying 6,383 Facebook Groups users about their trust attitudes and examining aggregated behavioral and demographic data for these individuals, we show that (1) an individual's propensity to trust is associated with how they trust their groups, (2) smaller, closed, older, more exclusive, or more homogeneous groups are trusted more, and (3) a group's overall friendship-network structure and an individual's position within that structure can also predict trust. Last, we demonstrate how group trust predicts outcomes at both individual and group level such as the formation of new friendship ties.


title: Forced motion of a cylinder within a liquid-filled elastic tube

abstract: This work analyzes the viscous flow and elastic deformation created by the forced axial motion of a rigid cylinder within an elastic liquid-filled tube. The examined configuration is relevant to various minimally invasive medical procedures in which slender devices are inserted into fluid-filled biological vessels, such as percutaneous revascularization, interventional radiology, endoscopies and catheterization. By applying the lubrication approximation, thin shell elastic model, as well as scaling analysis and regular and singular asymptotic schemes, the problem is examined for small and large deformation limits (relative to the gap between the cylinder and the tube). At the limit of large deformations, forced insertion of the cylinder is shown to involve three distinct regimes and time-scales: (i) initial shear dominant regime, (ii) intermediate regime of dominant fluidic pressure and a propagating viscous-peeling front, (iii) late-time quasi-steady flow regime of the fully peeled tube. A uniform solution for all regimes is presented for a suddenly applied constant force, showing initial deceleration and then acceleration of the inserted cylinder. For the case of forced extraction of the cylinder from the tube, the negative gauge pressure reduces the gap between the cylinder and the tube, increasing viscous resistance or creating friction due to contact of the tube and cylinder. Matched asymptotic schemes are used to calculate the dynamics of the near-contact and contact limits. We find that the cylinder exits the tube in a finite time for sufficiently small or large forces. However, for an intermediate range of forces the radial contact creates a steady locking of the cylinder inside the tube.


title: Human Visual Understanding for Cognition and Manipulation -- A primer for the roboticist

abstract: Robotic research is often built on approaches that are motivated by insights from self-examination of how we interface with the world. However, given current theories about human cognition and sensory processing, it is reasonable to assume that the internal workings of the brain are separate from how we interface with the world and ourselves. To amend some of these misconceptions arising from self-examination this article reviews human visual understanding for cognition and action, specifically manipulation. Our focus is on identifying overarching principles such as the separation into visual processing for action and cognition, hierarchical processing of visual input, and the contextual and anticipatory nature of visual processing for action. We also provide a rudimentary exposition of previous theories about visual understanding that shows how self-examination can lead down the wrong path. Our hope is that the article will provide insights for the robotic researcher that can help them navigate the path of self-examination, give them an overview of current theories about human visual processing, as well as provide a source for further relevant reading.


title: Image of the Janis-Newman-Winicour naked singularity with a thin accretion disk

abstract: We study the optical appearance and the apparent radiation flux of a thin accretion disk around the static Janis-Newman-Winicour naked singularity. We confine ourselves to the astrophysically most relevant case, when the solution possesses a photon sphere, assuming that the radiation emitted by the disk is described by the Novikov-Thorne model. The observable images resemble closely the visual appearance of the Schwarzschild black hole, as only quantitative differences are present. For the Janis-Newman-Winicour solution the accretion disk appears smaller, and its emission is characterized by a higher peak of the radiation flux. In addition, the most significant part of the radiation is concentrated in a closer neighbourhood of the flux maximum. The results are obtained independently by two alternative methods, consisting of a semi-analytical scheme using the spherical symmetry of the spacetime, and a fully numerical ray-tracing procedure valid for any stationary and axisymmetric spacetime.


title: Multiple imputation using dimension reduction techniques for high-dimensional data

abstract: Missing data present challenges in data analysis. Naive analyses such as complete-case and available-case analysis may introduce bias and loss of efficiency, and produce unreliable results. Multiple imputation (MI) is one of the most widely used methods for handling missing data which can be partly attributed to its ease of use. However, existing MI methods implemented in most statistical software are not applicable to or do not perform well in high-dimensional settings where the number of predictors is large relative to the sample size. To remedy this issue, we develop an MI approach that uses dimension reduction techniques. Specifically, in constructing imputation models in the presence of high-dimensional data our approach uses sure independent screening followed by either sparse principal component analysis (sPCA) or sufficient dimension reduction (SDR) techniques. Our simulation studies, conducted for high-dimensional data, demonstrate that using SIS followed by sPCA to perform MI achieves better performance than the other imputation methods including several existing imputation approaches. We apply our approach to analysis of gene expression data from a prostate cancer study.


title: Extracting free-space observables from trapped interacting clusters

abstract: The energy spectrum of two short-range interacting particles in a harmonic potential trap has previously been related to free-space scattering phase shifts. But the existing formula for this purpose is exact only in the limit of an infinitely shallow trap. Here we provide a systematically improved formula---describing the low-energy dynamics---that enables the use of finite traps. This paves the way for extracting nuclear scattering phase shifts from {\it ab initio} nuclear many-body structure calculations, a long-sought goal in nuclear physics. The derivation establishes effective field theory as a powerful framework for studying the connection between structure information of a trapped system (with two or more sub-clusters) and continuum physics in the fields of both nuclear and condensed-matter physics.


title: Transtemporal edges and crosslayer edges in incompressible high-order networks

abstract: This work presents some outcomes of a theoretical investigation of incompressible high-order networks defined by a generalized graph representation. We study some of their network topological properties and how these may be related to real-world complex networks. We show that these networks have very short diameter, high k-connectivity, degrees of the order of half of the network size within a strong-asymptotically dominated standard deviation, and rigidity with respect to automorphisms. In addition, we demonstrate that incompressible dynamic (or dynamic multilayered) networks have transtemporal (or crosslayer) edges and, thus, a snapshot-like representation of dynamic networks is inaccurate for capturing the presence of such edges that compose underlying structures of some real-world networks.


title: Realization of the Werner-Holevo and Landau-Streater quantum channels for qutrits on quantum computers

abstract: We realize Landau-Streater (LS) and Werner-Holevo (WH) quantum channels for qutrits on the IBM quantum computers. These channels correspond to interaction between the qutrit and its environment that result in the globally unitarily covariant qutrit transformation violating multiplicativity of the maximal $p$-norm. Our realization of LS and WH channels is based on embedding qutrit states into states of two qubits and using single-qubit and two-qubit CNOT gates to implement the specific interaction. We employ the standard quantum gates hence the developed algorithm suits any quantum computer. We run our algorithm on a 5-qubit and a 20-qubit computer as well as on a simulator. We quantify the quality of the implemented channels comparing their action on different input states with theoretical predictions. The overall efficiency is quantified by fidelity between the theoretical and experimental Choi states implemented on the 20-qubit computer.


title: Suppression of scalar mediated FCNCs in a $SU(3)_c\times SU(3)_L\times U(1)_X$-model

abstract: The models based on $SU(3)_C\times SU(3)_L\times U(1)_X$ gauge symmetry (331-models) have been advocated to explain the number of fermion families. These models place one quark family to a different representation than the other two. The traditional 331-models are plagued by scalar mediated quark flavour changing neutral currents (FCNC) at tree-level. So far there has been no concrete mechanisms to suppress these FCNCs in 331-models. Recently it has been shown that the Froggatt-Nielsen mechanism can be incorporated into the 331-setting in an economical fashion (FN331-model). The FN331-model explains both the number of fermion families in nature and their mass hierarchy simultaneously. In this work we study the Higgs mediated quark FCNCs in FN331-model. The flavour violating couplings of quarks are suppressed by the ratio of the $SU(2)_L \times U(1)_Y$ and $SU(3)_L\times U(1)_X$ breaking scales. We find that the $SU(3)_L\times U(1)_X$-breaking scale can be as low as 5 TeV in order to pass the flavour bounds.


title: Deep Local Trajectory Replanning and Control for Robot Navigation

abstract: We present a navigation system that combines ideas from hierarchical planning and machine learning. The system uses a traditional global planner to compute optimal paths towards a goal, and a deep local trajectory planner and velocity controller to compute motion commands. The latter components of the system adjust the behavior of the robot through attention mechanisms such that it moves towards the goal, avoids obstacles, and respects the space of nearby pedestrians. Both the structure of the proposed deep models and the use of attention mechanisms make the system's execution interpretable. Our simulation experiments suggest that the proposed architecture outperforms baselines that try to map global plan information and sensor data directly to velocity commands. In comparison to a hand-designed traditional navigation system, the proposed approach showed more consistent performance.


title: Universal and non-universal neural dynamics on small world connectomes: a finite size scaling analysis

abstract: Evidence of critical dynamics has been recently found in both experiments and models of large scale brain dynamics. The understanding of the nature and features of such critical regime is hampered by the relatively small size of the available connectome, which prevent among other things to determine its associated universality class. To circumvent that, here we study a neural model defined on a class of small-world network that share some topological features with the human connectome. We found that varying the topological parameters can give rise to a scale-invariant behavior belonging either to mean field percolation universality class or having non universal critical exponents. In addition, we found certain regions of the topological parameters space where the system presents a discontinuous (i.e., non critical) dynamical phase transition into a percolated state. Overall these results shed light on the interplay of dynamical and topological roots of the complex brain dynamics.


title: Modeling Of A Shallow Water Acoustic Communication Channel

abstract: In these last years, many studies have focalized on the design of reliable underwater acoustic communication systems. However, the ocean acoustic communication channel exhibits strong amplitude and phase fluctuations and the phenomena of diffraction, refraction and reflection. Due to the complexity of the environment, the motions of transducers, sea surface, etc., the underwater acoustic signals exhibit random temporal and spatial frequency fluctuations in both amplitude and phase. Therefore, it is very important to model a so complex channel. Acoustic propagation is characterized by three major factors: attenuation that increases with signal frequency, time-varying multipath propagation, and low speed of sound (1500 m/s). The background noise, although often characterized as Gaussian, is not white, but has a decaying power spectral density. The channel capacity depends on the distance and may be extremely limited. In this paper, we propose a new multipath channel model for shallow underwater acoustic communications. In particular, our model takes into account the effects due to spreading loss, scattering and reflections.


title: Excitons in planar quantum wells based on transition metal dichalcogenides

abstract: The problem of a size quantization for charge carriers in a planar quantum well consisting of different monolayers of transition metal dichalcogenides is solved using the Dirac model and the four-band model. For excitons, bound states of electrons and holes at the size quantization levels in such a quantum well, the energy spectrum was found in two cases: the Bohr radius is much smaller than the width of the quantum well (dielectric permeability of a substrate is relatively small) and the Bohr radius is much larger than it (the case of a strong dielectric screening). It is shown that the energy spectrum in these two cases is completely different. A method for the synthesis of the heterostructures under consideration is also proposed.


title: A geometric $q$-character formula for snake modules

abstract: Let $\mathscr{C}$ be the category of finite dimensional modules over the quantum affine algebra $U_q(\widehat{\mathfrak{g}})$ of a simple complex Lie algebra ${\mathfrak{g}}$. Let $\mathscr{C}^-$ be the subcategory introduced by Hernandez and Leclerc. We prove the geometric $q$-character formula conjectured by Hernandez and Leclerc in types $\mathbb{A}$ and $\mathbb{B}$ for a class of simple modules called snake modules introduced by Mukhin and Young. Moreover, we give a combinatorial formula for the $F$-polynomial of the generic kernel associated to the snake module. As an application, we show that snake modules correspond to cluster monomials with square free denominators and we show that snake modules are real modules. We also show that the cluster algebras of the category $\mathscr{C}_1$ are factorial for Dynkin types $\mathbb{A,D,E}$.


title: Variational approximations using Fisher divergence

abstract: Modern applications of Bayesian inference involve models that are sufficiently complex that the corresponding posterior distributions are intractable and must be approximated. The most common approximation is based on Markov chain Monte Carlo, but these can be expensive when the data set is large and/or the model is complex, so more efficient variational approximations have recently received considerable attention. The traditional variational methods, that seek to minimize the Kullback--Leibler divergence between the posterior and a relatively simple parametric family, provide accurate and efficient estimation of the posterior mean, but often does not capture other moments, and have limitations in terms of the models to which they can be applied. Here we propose the construction of variational approximations based on minimizing the Fisher divergence, and develop an efficient computational algorithm that can be applied to a wide range of models without conjugacy or potentially unrealistic mean-field assumptions. We demonstrate the superior performance of the proposed method for the benchmark case of logistic regression.


title: Nearest Neighbor and Kernel Survival Analysis: Nonasymptotic Error Bounds and Strong Consistency Rates

abstract: We establish the first nonasymptotic error bounds for Kaplan-Meier-based nearest neighbor and kernel survival probability estimators where feature vectors reside in metric spaces. Our bounds imply rates of strong consistency for these nonparametric estimators and, up to a log factor, match an existing lower bound for conditional CDF estimation. Our proof strategy also yields nonasymptotic guarantees for nearest neighbor and kernel variants of the Nelson-Aalen cumulative hazards estimator. We experimentally compare these methods on four datasets. We find that for the kernel survival estimator, a good choice of kernel is one learned using random survival forests.


title: Friendship Paradox Biases Perceptions in Directed Networks

abstract: How popular a topic or an opinion appears to be in a network can be very different from its actual popularity. For example, in an online network of a social media platform, the number of people who mention a topic in their posts---i.e., its global popularity---can be dramatically different from how people see it in their social feeds---i.e., its perceived popularity---where the feeds aggregate their friends' posts. We trace the origin of this discrepancy to the friendship paradox in directed networks, which states that people are less popular than their friends (or followers) are, on average. We identify conditions on network structure that give rise to this perception bias, and validate the findings empirically using data from Twitter. Within messages posted by Twitter users in our sample, we identify topics that appear more frequently within the users' social feeds, than they do globally, i.e., among all posts. In addition, we present a polling algorithm that leverages the friendship paradox to obtain a statistically efficient estimate of a topic's global prevalence from biased perceptions of individuals. We characterize the bias of the polling estimate, provide an upper bound for its variance, and validate the algorithm's efficiency through synthetic polling experiments on our Twitter data. Our paper elucidates the non-intuitive ways in which the structure of directed networks can distort social perceptions and resulting behaviors.


title: Dynamic spin localization and gamma-magnets

abstract: We explore an unusual type of quantum matter that can be realized by qubits having different physical origin. Interactions in this matter are described by essentially different coupling operators for all qubits. We show that at least the simplest such models, which can be realized with localized states in Dirac materials, satisfy integrability conditions that we use to describe pseudospin dynamics in a linearly time-dependent magnetic field. Generalizing to an arbitrary number of qubits, we construct a spin Hamiltonian, which we call the gamma-magnet. This system does not conserve polarization of any spin and the net spin polarization. Nevertheless, for arbitrarily strong interactions, nonadiabatic dynamics, and any initial eigenstate, we find that quantum interference suppresses spin-flips. This behavior resembles many-body localization but occurs in phase space of many spins rather than real space. This effect may not have a counterpart in classical physics and can be a signature of a new type of spin ordering, which is different from both disordered spin glasses and ordered phases of spin lattices.

categories: cond-mat.mes-hall math-ph math.MP quant-ph


title: Markov versus quantum dynamic models of belief change during evidence monitoring

abstract: Two different dynamic models for belief change during evidence monitoring were evaluated: Markov and quantum. They were empirically tested with an experiment in which participants monitored evidence for an initial period of time, made a probability rating, then monitored more evidence, before making a second rating. The models were qualitatively tested by manipulating the time intervals in a manner that provided a test for interference effects of the first rating on the second. The Markov model predicted no interference whereas the quantum model predicted interference. A quantitative comparison of the two models was also carried out using a generalization criterion method: the parameters were fit to data from one set of time intervals, and then these same parameters were used to predict data from another set of time intervals. The results indicated that some features of both Markov and quantum models are needed to accurately account for the results.


title: Transient Propagation and Scattering of Quasi-Rayleigh Waves in Plates: Quantitative comparison between Pulsed TV-Holography Measurements and FC(Gram) elastodynamic simulations

abstract: We study the scattering of transient, high-frequency, narrow-band quasi-Rayleigh elastic waves by through-thickness holes in aluminum plates, in the framework of ultrasonic nondestructive testing (NDT) based on full-field optical detection. Sequences of the instantaneous two-dimensional (2-D) out-of-plane displacement scattering maps are measured with a self-developed PTVH system. The corresponding simulated sequences are obtained by means of an FC(Gram) elastodynamic solver introduced recently, which implements a full three-dimensional (3D) vector formulation of the direct linear-elasticity scattering problem. A detailed quantitative comparison between these experimental and numerical sequences, which is presented here for the first time, shows very good agreement both in the amplitude and the phase of the acoustic field in the forward, lateral and backscattering areas. It is thus suggested that the combination of the PTVH system and the FC(Gram) elastodynamic solver provides an effective ultrasonic inspection tool for plate-like structures, with a significant potential for ultrasonic NDT applications.


title: Graph Width Measures for CNF-Encodings with Auxiliary Variables

abstract: We consider bounded width CNF-formulas where the width is measured by popular graph width measures on graphs associated to CNF-formulas. Such restricted graph classes, in particular those of bounded treewidth, have been extensively studied for their uses in the design of algorithms for various computational problems on CNF-formulas. Here we consider the expressivity of these formulas in the model of clausal encodings with auxiliary variables. We first show that bounding the width for many of the measures from the literature leads to a dramatic loss of expressivity, restricting the formulas to such of low communication complexity. We then show that the width of optimal encodings with respect to different measures is strongly linked: there are two classes of width measures, one containing primal treewidth and the other incidence cliquewidth, such that in each class the width of optimal encodings only differs by constant factors. Moreover, between the two classes the width differs at most by a factor logarithmic in the number of variables. Both these results are in stark contrast to the setting without auxiliary variables where all width measures we consider here differ by more than constant factors and in many cases even by linear factors.


title: 5/4 approximation for Symmetric TSP

abstract: Travelling Salesman Problem (TSP) is one of the unsolved problems in computer science. TSP is NP Hard. Till now the best approximation ratio found for symmetric TSP is three by two by Christofides Algorithm more than forty years ago. There are different approaches to solve this problem. These range from methods based on neural networks, genetic algorithm, swarm optimization, ant colony optimization etc. The bound is further reduced from three by two but for graphic TSP. A factor of thirteen by nine was found for Graphic TSP. A newly proposed heuristic called 2 RNN is considered here. It seems from experimental results that five by four is the approximation ratio. Upper bound analysis for approximation ratio is done for this heuristic and it confirms experimental bound of five by four.


title: Time-dependent nucleation rate measurements in BaO.2SiO2 and 5BaO.8SiO2 glasses

abstract: The two-step heat treatment method is used to measure the steady state crystal nucleation rate and induction time as a function of temperature in BaO.2SiO2 and 5BaO.8SiO2 glasses. For both glasses, the temperature for maximum nucleation rate and the temperature range for significant nucleation agree well with previous estimates from differential thermal analysis studies. The data are analyzed with a new iterative method to obtain the interfacial free energy and critical work of cluster formation as a function of temperature. For temperatures below the temperature at which steady-state nucleation rate is a maximum, the critical work of cluster formation is shown to strongly deviate from expectations of the classical theory of nucleation.


title: Towards Content Transfer through Grounded Text Generation

abstract: Recent work in neural generation has attracted significant interest in controlling the form of text, such as style, persona, and politeness. However, there has been less work on controlling neural text generation for content. This paper introduces the notion of Content Transfer for long-form text generation, where the task is to generate a next sentence in a document that both fits its context and is grounded in a content-rich external textual source such as a news story. Our experiments on Wikipedia data show significant improvements against competitive baselines. As another contribution of this paper, we release a benchmark dataset of 640k Wikipedia referenced sentences paired with the source articles to encourage exploration of this new task.


title: QCD 3 On The World Sheet

abstract: In this article, we apply the world sheet approach developed in earlier work to QCD in 1+2 dimensions. The starting point is a field theory on the world sheet that reproduces the planar graphs of QCD parametrized by the light cone variables. We study the ground state of this model using a variational approach, and show that it consists of a set of graphs infinitely dense on the world sheet. The energy of this new ground state is lower than that of the empty world sheet, signaling a phase transition. Also, a finite mass is generated in the originally massless theory. Finally, we consider a particular set of time dependent fluctuations about the static ground state configuration, which result in the formation of a string on the world sheet.


title: Lasing Conditions of Transverse Electromagnetic Modes in Metallic-Coated Micro- and Nanotubes

abstract: In this work, we study the lasing conditions of the transverse electric (TE) modes of micro- and nanotubes coated internally with a thin metallic layer. This geometry may tackle some of the problems of nanolasers and spasers as it allows the recycling of the active medium while providing a tunable plasmonic cavity. The system presents two types of TE modes: cavity modes (CMs) and whispering-gallery modes (WGMs). On the one hand, we show that the lasing of WGM is only possible in nanoscale tubes. On the other hand, for tubes of some micrometers of diameter, we found that the system presents a large number of CMs with lasing frequencies within the visible and near-infrared spectrum and very low gain thresholds. Moreover, the lasing frequencies of CMs can be accurately described by a simple one-parameter model. Our results may be useful in the design of micro- and nanolasers for `lab-on-chip' devices, ultra-dense data storage, nanolithography, or sensing.


title: Thermodynamic Geometry of Nambu -- Jona Lasinio model

abstract: The formalism of Riemannian geometry is applied to study the phase transitions in Nambu -Jona Lasinio (NJL) model. Thermodynamic geometry reliably describes the phase diagram, both in the chiral limit and for finite quark masses. The comparison between the geometrical study of NJL model and of (2+1) Quantum Chromodynamics at high temperature and small baryon density shows a clear connection between chiral symmetry restoration/breaking and deconfinement/confinement regimes.


title: Morse index and stability of the planar N-vortex problem

abstract: This paper concerns the investigation of the stability properties of relative equilibria which are rigidly rotating vortex configurations sometimes called vortex crystals, in the N-vortex problem. Such a configurations can be characterized as critical point of the Hamiltonian function restricted on the constant angular impulse hypersurface in the phase space (topologically a pseudo-sphere whose coefficients are the circulation strengths of the vortices). Relative equilibria are generated by the circle action on the so-called shape pseudo-sphere (which generalize the standard shape sphere appearing in the study of the N-body problem). Inspired by the planar gravitational $N$-body problem, and after a geometrical and dynamical discussion, we investigate the relation intertwining the stability of relative equilibria and the inertia indices of the central configurations generating such equilibria. In the last section we apply our main results to some symmetric three and four vortices relative equilibria.


title: Can NetGAN be improved on short random walks?

abstract: Graphs are useful structures that can model several important real-world problems. Recently, learning graphs have drawn considerable attention, leading to the proposal of new methods for learning these data structures. One of these studies produced NetGAN, a new approach for generating graphs via random walks. Although NetGAN has shown promising results in terms of accuracy in the tasks of generating graphs and link prediction, the choice of vertices from which it starts random walks can lead to inconsistent and highly variable results, especially when the length of walks is short. As an alternative to random starting, this study aims to establish a new method for initializing random walks from a set of dense vertices. We purpose estimating the importance of a node based on the inverse of its influence over the whole vertices of its neighborhood through random walks of different sizes. The proposed method manages to achieve significantly better accuracy, less variance and lesser outliers.


title: Coupled MHD-Focused Transport Simulations for Modeling Solar Particle Events

abstract: We describe the initial version of the Solar Particle Event (SPE) Threat Assessment Tool or STAT. STAT relies on elements of Corona-Heliosphere (CORHEL) and the Earth-Moon-Mars Radiation Environment Module (EMMREM), and allows users to investigate coronal mass ejection (CME) driven SPEs using coupled magnetohydrodynamic (MHD) and focused transport solutions. At the present time STAT focuses on modeling solar energetic particle (SEP) acceleration in and transport from the low corona, where the highest energy SEP events are generated. We illustrate STAT's capabilities with a model of the July 14, 2000 "Bastille Day" event, including innovative diagnostics for understanding the three-dimensional distribution of particle fluxes and their relation to the structure of the underlying CME driver. A preliminary comparison with NOAA GOES measurements is shown.


title: Affine Variational Autoencoders: An Efficient Approach for Improving Generalization and Robustness to Distribution Shift

abstract: In this study, we propose the Affine Variational Autoencoder (AVAE), a variant of Variational Autoencoder (VAE) designed to improve robustness by overcoming the inability of VAEs to generalize to distributional shifts in the form of affine perturbations. By optimizing an affine transform to maximize ELBO, the proposed AVAE transforms an input to the training distribution without the need to increase model complexity to model the full distribution of affine transforms. In addition, we introduce a training procedure to create an efficient model by learning a subset of the training distribution, and using the AVAE to improve generalization and robustness to distributional shift at test time. Experiments on affine perturbations demonstrate that the proposed AVAE significantly improves generalization and robustness to distributional shift in the form of affine perturbations without an increase in model complexity.


title: Hierarchically Structured Meta-learning

abstract: In order to learn quickly with few samples, meta-learning utilizes prior knowledge learned from previous tasks. However, a critical challenge in meta-learning is task uncertainty and heterogeneity, which can not be handled via globally sharing knowledge among tasks. In this paper, based on gradient-based meta-learning, we propose a hierarchically structured meta-learning (HSML) algorithm that explicitly tailors the transferable knowledge to different clusters of tasks. Inspired by the way human beings organize knowledge, we resort to a hierarchical task clustering structure to cluster tasks. As a result, the proposed approach not only addresses the challenge via the knowledge customization to different clusters of tasks, but also preserves knowledge generalization among a cluster of similar tasks. To tackle the changing of task relationship, in addition, we extend the hierarchical structure to a continual learning environment. The experimental results show that our approach can achieve state-of-the-art performance in both toy-regression and few-shot image classification problems.


title: A study of Kostant-Kumar modules via Littelmann paths

abstract: We study, by means of Littelmann's theory of paths, Kostant-Kumar modules (KK modules for short), which by definition are certain submodules of the tensor product of two irreducible integrable highest weight representations of a symmetrizable Kac-Moody algebra. Our main result is an identification of a path model for any KK module as a subset of the well known path model for the tensor product consisting of concatenations of Lakshmibai-Seshadri paths. The technical results about extremal elements in Coxeter groups that we formulate and prove en route and the technique of their proofs should be of independent interest. We also discuss the existence of PRV components and generalised PRV components in KK modules. Specialising to the case of the special linear Lie algebra, we record a decomposition rule for KK modules in terms of Littlewood-Richardson tableaux. In this connection, we present a new procedure to determine the permutation that is the initial element of the minimal standard lift of a semi-standard Young tableau. The appendix, necessitated by the derivation of the tableau decomposition rule, deals with standard concatenations of Lakshmibai-Seshadri paths of arbitrary shapes, of which semi-standard Young tableaux form a very special case.


title: Bismuth-surfactant-induced growth and structure of InAs/GaAs(110) quantum dots

abstract: We explore the Bi-surfactant-directed self-assembly and structure of InAs quantum dots grown on GaAs(110) by molecular beam epitaxy. The addition of a Bi flux during InAs deposition changes the InAs growth mode from two-dimensional (2D) Frank-van der Merwe to Stranski-Krastanov, resulting in the formation of three-dimensional (3D) InAs islands on the surface. Furthermore, exposing static InAs 2D layers to Bi induces a rearrangement of the strained layer into 3D islands. We explore the effect of varying the InAs thickness and Bi flux for these two growth approaches, observing a critical thickness for 3D island formation in both cases. Characterization of (110) InAs quantum dots with high-resolution transmission electron microscopy reveals that larger islands grown by the Stranski-Krastanov mode are plastically relaxed, while small islands grown by the on-demand approach are coherent. Strain relaxation along the [1-10] direction is achieved by 90 degree pure-edge dislocations with dislocation lines running along [001]. In contrast, strain relief along [001] is by 60 degree misfit dislocations. This behaviour is consistent with observations of planar (In,Ga)As/GaAs(110) layers. These results illustrate how surfactant Bi can provoke and control quantum dot formation where it normally does not occur.


title: Computing Maximum Matchings in Temporal Graphs

abstract: Temporal graphs are graphs whose topology is subject to discrete changes over time. Given a static underlying graph $G$, a temporal graph is represented by assigning a set of integer time-labels to every edge $e$ of $G$, indicating the discrete time steps at which $e$ is active. We introduce and study the complexity of a natural temporal extension of the classical graph problem Maximum Matching, taking into account the dynamic nature of temporal graphs. In our problem, Maximum Temporal Matching, we are looking for the largest possible number of time-labeled edges (simply time-edges) $(e,t)$ such that no vertex is matched more than once within any time window of $\Delta$ consecutive time slots, where $\Delta \in \mathbb{N}$ is given. The requirement that a vertex cannot be matched twice in any $\Delta$-window models some necessary "recovery" period that needs to pass for an entity (vertex) after being paired up for some activity with another entity. We prove strong computational hardness results for Maximum Temporal Matching, even for elementary cases. To cope with this computational hardness, we mainly focus on fixed-parameter algorithms with respect to natural parameters, as well as on polynomial-time approximation algorithms.


title: Consequential Ranking Algorithms and Long-term Welfare

abstract: Ranking models are typically designed to provide rankings that optimize some measure of immediate utility to the users. As a result, they have been unable to anticipate an increasing number of undesirable long-term consequences of their proposed rankings, from fueling the spread of misinformation and increasing polarization to degrading social discourse. Can we design ranking models that understand the consequences of their proposed rankings and, more importantly, are able to avoid the undesirable ones? In this paper, we first introduce a joint representation of rankings and user dynamics using Markov decision processes. Then, we show that this representation greatly simplifies the construction of consequential ranking models that trade off the immediate utility and the long-term welfare. In particular, we can obtain optimal consequential rankings just by applying weighted sampling on the rankings provided by models that maximize measures of immediate utility. However, in practice, such a strategy may be inefficient and impractical, specially in high dimensional scenarios. To overcome this, we introduce an efficient gradient-based algorithm to learn parameterized consequential ranking models that effectively approximate optimal ones. We showcase our methodology using synthetic and real data gathered from Reddit and show that ranking models derived using our methodology provide ranks that may mitigate the spread of misinformation and improve the civility of online discussions.


title: Desingularizing positive scalar curvature 4-manifolds

abstract: We show that the bordism group of closed 3-manifolds with positive scalar curvature (psc) metrics is trivial by explicit methods. Our constructions are derived from scalar-flat K{\"a}hler ALE surfaces discovered by Lock-Viaclovsky. Next, we study psc 4-manifolds with metric singularities along points and embedded circles. Our psc null-bordisms are essential tools in a desingularization process developed by Li-Mantoulidis. This allows us to prove a non-existence result for singular psc metrics on enlargeable 4-manifolds with uniformly Euclidean geometry. As a consequence, we obtain a positive mass theorem for asymptotically flat 4-manifolds with non-negative scalar curvature and low regularity.


title: Current Mode Neuron for the Memristor based synapse

abstract: Due to many limitations of Von Neumann architecture such as speed, memory bandwidth, efficiency of global interconnects and increase in the application of artificial neural network, researchers have been pushed to look into alternative architectures such as Neuromorphic computing system. Memristors (memristive crossbar memory RCM) are used as synapses due to its high packing density and energy efficiency and CMOS blocks as neurons. The increase in the terminal resistance of the RCM can degrade its energy efficiency and bandwidth. A more energy efficient current mode neuron has been proposed in this paper which can operate at lower voltages as compared to conventional voltage mode neuron circuit.


title: Synthetic aperture imaging with intensity-only data

abstract: We consider imaging the reflectivity of scatterers from intensity-only data recorded by a single moving transducer that both emits and receives signals, forming a synthetic aperture. By exploiting frequency illumination diversity, we obtain multiple intensity measurements at each location, from which we determine field cross-correlations using an appropriate phase controlled illumination strategy and the inner product polarization identity. The field cross-correlations obtained this way do not, however, provide all the missing phase information because they are determined up to a phase that depends on the receiver's location. The main result of this paper is an algorithm with which we recover the field cross-correlations up to a single phase that is common to all the data measured over the synthetic aperture, so all the data are synchronized. Thus, we can image coherently with data over all frequencies and measurement locations as if full phase information was recorded.


title: Solution of the 1d Schr\"odinger Equation for a Symmetric Well

abstract: We suggest a mathematical potential well with spherical symmetry and apply to the 1d Schr\"odinger equation. We use some well-known techniques as Stationary Perturbation Theory and WKB to gain insight into the solutions and compare them to each other. Finally, we solve the 1d Schr\"odinger equation using a numerical approach with the so-called Numerov technique for comparison. It can be a good exercise for undergrad students to grasp the above-cited techniques in a quantum mechanics course.


title: On the consistency of jump-diffusion dynamics for FX rates under inversion

abstract: In this note we investigate the consistency under inversion of jump diffusion processes in the Foreign Exchange (FX) market. In other terms, if the EUR/USD FX rate follows a given type of dynamics, under which conditions will USD/EUR follow the same type of dynamics? In order to give a numerical description of this property, we first calibrate a Heston model and a SABR model to market data, plotting their smiles together with the smiles of the reciprocal processes. Secondly, we determine a suitable local volatility structure ensuring consistency. We subsequently introduce jumps and analyze both constant jump size (Poisson process) and random jump size (compound Poisson process). In the first scenario, we find that consistency is automatically satisfied, for the jump size of the inverted process is a constant as well. The second case is more delicate, since we need to make sure that the distribution of jumps in the domestic measure is the same as the distribution of jumps in the foreign measure. We determine a fairly general class of admissible densities for the jump size in the domestic measure satisfying the condition.


title: Development of a High Rate Front-end ASIC for X-ray Spectroscopy and Diffraction Applications

abstract: We developed a new front-end application specific integrated circuit (ASIC) for the upgrade of the Maia x-ray microprobe. The ASIC instruments 32 configurable front-end channels that perform either positive or negative charge amplification, pulse shaping, peak amplitude and time extraction along with buffered analog storage. At a gain of 3.6 V/fC, 1 $\mu$s peaking time and a temperature of 248 K, an electronic resolution of 13- and 10 electrons rms was measured with and without a SDD sensor respectively. A spectral resolution of 170 eV FWHM at 5.9 keV was obtained with an $^{55}$Fe source. The channel linearity was better than $\pm$ 1 % with rate capabilities up to 40 kcps. The ASIC was fabricated in a commercial 250 nm process with a footprint of 6.3 mm x 3.9 mm and dissipates 167 mW of static power.


title: Books versus triangles at the extremal density

abstract: A celebrated result of Mantel shows that every graph on $n$ vertices with $\lfloor n^2/4 \rfloor + 1$ edges must contain a triangle. A robust version of this result, due to Rademacher, says that there must in fact be at least $\lfloor n/2 \rfloor$ triangles in any such graph. Another strengthening, due to the combined efforts of many authors starting with Erd\H{o}s, says that any such graph must have an edge which is contained in at least $n/6$ triangles. Following Mubayi, we study the interplay between these two results, that is, between the number of triangles in such graphs and their book number, the largest number of triangles sharing an edge. Among other results, Mubayi showed that for any $1/6 \leq \beta < 1/4$ there is $\gamma > 0$ such that any graph on $n$ vertices with at least $\lfloor n^2/4\rfloor + 1$ edges and book number at most $\beta n$ contains at least $(\gamma -o(1))n^3$ triangles. He also asked for a more precise estimate for $\gamma$ in terms of $\beta$. We make a conjecture about this dependency and prove this conjecture for $\beta = 1/6$ and for $0.2495 \leq \beta < 1/4$, thereby answering Mubayi's question in these ranges.


title: Generalized Approximate Survey Propagation for High-Dimensional Estimation

abstract: In Generalized Linear Estimation (GLE) problems, we seek to estimate a signal that is observed through a linear transform followed by a component-wise, possibly nonlinear and noisy, channel. In the Bayesian optimal setting, Generalized Approximate Message Passing (GAMP) is known to achieve optimal performance for GLE. However, its performance can significantly degrade whenever there is a mismatch between the assumed and the true generative model, a situation frequently encountered in practice. In this paper, we propose a new algorithm, named Generalized Approximate Survey Propagation (GASP), for solving GLE in the presence of prior or model mis-specifications. As a prototypical example, we consider the phase retrieval problem, where we show that GASP outperforms the corresponding GAMP, reducing the reconstruction threshold and, for certain choices of its parameters, approaching Bayesian optimal performance. Furthermore, we present a set of State Evolution equations that exactly characterize the dynamics of GASP in the high-dimensional limit.

categories: cond-mat.dis-nn cond-mat.stat-mech cs.IT cs.LG math.IT


title: Co-rank 1 projections and the randomised Horn problem

abstract: Let $\hat{\boldsymbol x}$ be a normalised standard complex Gaussian vector, and project an Hermitian matrix $A$ onto the hyperplane orthogonal to $\hat{\boldsymbol x}$. In a recent paper Faraut [Tunisian J. Math. \textbf{1} (2019), 585--606] has observed that the corresponding eigenvalue PDF has an almost identical structure to the eigenvalue PDF for the rank 1 perturbation $A + b \hat{\boldsymbol x} \hat{\boldsymbol x}^\dagger$, and asks for an explanation. We provide this by way of a common derivation involving the secular equations and associated Jacobians. This applies too in related setting, for example when $\hat{\boldsymbol x}$ is a real Gaussian and $A$ Hermitian, and also in a multiplicative setting $A U B U^\dagger$ where $A, B$ are fixed unitary matrices with $B$ a multiplicative rank 1 deviation from unity, and $U$ is a Haar distributed unitary matrix. Specifically, in each case there is a dual eigenvalue problem giving rise to a PDF of almost identical structure.


title: RF Chain Reduction for MIMO Systems: A Hardware Prototype

abstract: Radio frequency (RF) chain circuits play a major role in digital receiver architectures, allowing passband communication signals to be processed in baseband. When operating at high frequencies, these circuits tend to be costly. This increased cost imposes a major limitation on future multiple-input multiple-output (MIMO) communication technologies. A common approach to mitigate the increased cost is to utilize hybrid architectures, in which the received signal is combined in analog into a lower dimension, thus reducing the number of RF chains. In this work we study the design and hardware implementation of hybrid architectures via minimizing channel estimation error. We first derive the optimal solution for complex-gain combiners and propose an alternating optimization algorithm for phase-shifter combiners. We then present a hardware prototype implementing analog combining for RF chain reduction. The prototype consists of a specially designed configurable combining board as well as a dedicated experimental setup. Our hardware prototype allows evaluating the effect of analog combining in MIMO systems using actual communication signals. The experimental study, which focuses on channel estimation accuracy in MIMO channels, demonstrates that using the proposed prototype, the achievable channel estimation performance is within a small gap in a statistical sense from that obtained using a costly receiver in which each antenna is connected to a dedicated RF chain.


title: Wireless Edge Computing with Latency and Reliability Guarantees

abstract: Edge computing is an emerging concept based on distributing computing, storage, and control services closer to end network nodes. Edge computing lies at the heart of the fifth generation (5G) wireless systems and beyond. While current state-of-the-art networks communicate, compute, and process data in a centralized manner (at the cloud), for latency and compute-centric applications, both radio access and computational resources must be brought closer to the edge, harnessing the availability of computing and storage-enabled small cell base stations in proximity to the end devices. Furthermore, the network infrastructure must enable a distributed edge decision-making service that learns to adapt to the network dynamics with minimal latency and optimize network deployment and operation accordingly. This article will provide a fresh look to the concept of edge computing by first discussing the applications that the network edge must provide, with a special emphasis on the ensuing challenges in enabling ultra-reliable and low-latency edge computing services for mission-critical applications such as virtual reality (VR), vehicle-to-everything (V2X), edge artificial intelligence (AI), and so forth. Furthermore, several case studies where the edge is key are explored followed by insights and prospect for future work.


title: Superposition of fields of two rotating charged masses in General Relativity and existence of equilibrium configurations

abstract: It is known that two Reissner-Nordstrom black holes or two overextreme Reissner-Nordstrom sources cannot be in physical equilibrium. In the static case such equilibrium is possible only if one of the sources is a black hole and another one is a naked singularity. We define the notion of physical equilibrium in general (stationary) case when both components of a binary system are rotating and show that such system containing a Kerr-Newman black hole and a Kerr-Newman naked singularity also can stay in physical equilibrium. The similar question about the system of two charged rotating black holes or two rotating overextreme charged sources still remains open.


title: The Status and Prospects of the Muon $g-2$ Experiment at Fermilab

abstract: The E989 Muon $g-2$ Experiment at Fermilab aims to measure the muon magnetic anomaly, $a_\mu$, to an unprecedented precision of 140 parts per billion (ppb), representing a four-fold improvement over the current best measurement, achieved at Brookhaven National Lab. There stands a greater than 3 standard deviations discrepancy between the Brookhaven measurement of $a_\mu$ and the theoretical value predicted using the Standard Model. The Fermilab experiment seeks to either resolve or confirm this discrepancy, which is suggestive of new physics interactions. To achieve the E989 target precision, the anomalous precession frequency of muons in a magnetic storage ring must be determined with a systematic uncertainty below 70\,ppb, and the average magnetic field experienced by these stored muons must be known equally well. The muon anomalous precession frequency is imprinted on the time-dependent energy distribution of decay positrons observed by 24 electromagnetic calorimeters. A suite of pulsed NMR probes continually monitors the magnetic field. This document presents the current status of the Fermilab experiment while emphasizing the ongoing analysis of the 2018 Run 1 dataset and the systematic effects that complicate it.