title: Air-to-Ground Directional Channel Sounder With 64-antenna Dual-polarized Cylindrical Array

abstract: Unmanned Aerial Vehicles (UAVs), popularly called drones, are an important part of future wireless communications, either as user equipment that needs communication with a ground station, or as base station in a 3D network. For both the analysis of the "useful" links, and for investigation of possible interference to other ground-based nodes, an understanding of the air-to-ground channel is required. Since ground-based nodes often are equipped with antenna arrays, the channel investigations need to account for it. This study presents a massive MIMO-based air-to-ground channel sounder we have recently developed in our lab, which can perform measurements for the aforementioned requirements. After outlining the principle and functionality of the sounder, we present sample measurements that demonstrate the capabilities, and give first insights into air-to-ground massive MIMO channels in an urban environment. Our results provide a platform for future investigations and possible enhancements of massive MIMO systems.


title: QueryDet: Cascaded Sparse Query for Accelerating High-Resolution Small Object Detection

abstract: While general object detection with deep learning has achieved great success in the past few years, the performance and efficiency of detecting small objects are far from satisfactory. The most common and effective way to promote small object detection is to use high-resolution images or feature maps. However, both approaches induce costly computation since the computational cost grows squarely as the size of images and features increases. To get the best of two worlds, we propose QueryDet that uses a novel query mechanism to accelerate the inference speed of feature-pyramid based object detectors. The pipeline composes two steps: it first predicts the coarse locations of small objects on low-resolution features and then computes the accurate detection results using high-resolution features sparsely guided by those coarse positions. In this way, we can not only harvest the benefit of high-resolution feature maps but also avoid useless computation for the background area. On the popular COCO dataset, the proposed method improves the detection mAP by 1.0 and mAP-small by 2.0, and the high-resolution inference speed is improved to 3.0x on average. On VisDrone dataset, which contains more small objects, we create a new state-of-the-art while gaining a 2.3x high-resolution acceleration on average. Code is available at https://github.com/ChenhongyiYang/QueryDet-PyTorch.


title: Keisler measures in the wild

abstract: We investigate Keisler measures in arbitrary theories. Our initial focus is on Borel definability. We show that when working over countable parameter sets in countable theories, Borel definable measures are closed under Morley products and satisfy associativity. However, we also demonstrate failures of both properties over uncountable parameter sets. In particular, we show that the Morley product of Borel definable types need not be Borel definable (correcting an erroneous result from the literature). We then study various notions of generic stability for Keisler measures and generalize several results from the NIP setting to arbitrary theories. We also prove some positive results for the class of frequency interpretation measures in arbitrary theories, namely, that such measures are closed under convex combinations and commute with all Borel definable measures. Finally, we construct the first example of a complete type which is definable and finitely satisfiable in a small model, but not finitely approximated over any small model.


title: Measurement-Induced Entanglement Transitions in the Quantum Ising Chain: From Infinite to Zero Clicks

abstract: We investigate measurement-induced phase transitions in the Quantum Ising chain coupled to a monitoring environment. We compare two different limits of the measurement problem, the stochastic quantum-state diffusion protocol corresponding to infinite small jumps per unit of time and the no-click limit, corresponding to post-selection and described by a non-Hermitian Hamiltonian. In both cases we find a remarkably similar phenomenology as the measurement strength $\gamma$ is increased, namely a sharp transition from a critical phase with logarithmic scaling of the entanglement to an area-law phase, which occurs at the same value of the measurement rate in the two protocols. An effective central charge, extracted from the logarithmic scaling of the entanglement, vanishes continuously at the common transition point, although with different critical behavior possibly suggesting different universality classes for the two protocols. We interpret the central charge mismatch near the transition in terms of noise-induced disentanglement, as suggested by the entanglement statistics which displays emergent bimodality upon approaching the critical point. The non-Hermitian Hamiltonian and its associated subradiance spectral transition provide a natural framework to understand both the extended critical phase, emerging here for a model which lacks any continuous symmetry, and the entanglement transition into the area law.


title: On factors of independent transversals in $k$-partite graphs

abstract: A $[k,n,1]$-graph is a $k$-partite graph with parts of order $n$ such that the bipartite graph induced by any pair of parts is a matching. An independent transversal in such a graph is an independent set that intersects each part in a single vertex. A factor of independent transversals is a set of $n$ pairwise-disjoint independent transversals. Let $f(k)$ be the smallest integer $n_0$ such that every $[k,n,1]$-graph has a factor of independent transversals assuming $n \ge n_0$. Several known conjectures imply that for $k \ge 2$, $f(k)=k$ if $k$ is even and $f(k)=k+1$ if $k$ is odd. While a simple greedy algorithm based on iterating Hall's Theorem shows that $f(k) \le 2k-2$, no better bound is known and in fact, there are instances showing that the bound $2k-2$ is tight for the greedy algorithm. Here we significantly improve upon the greedy algorithm bound and prove that $f(k) \le 1.78k$ for all $k$ sufficiently large, answering a question of MacKeigan.


title: Unextendible entangled bases and more nonlocality with less entanglement

abstract: We consider a general version of the phenomenon of more nonlocality with less entanglement, within the framework of the unambiguous (i.e., conclusive) quantum state discrimination problem under local quantum operations and classical communication. We show that although the phenomenon was obtained before for two qutrits, it can also be observed for two qubits, while still being at the single-copy level. We establish that the phenomenon is intrinsically connected to the concept of unextendible entangled bases, in the two-qubit case. In the process, we demonstrate a hierarchy of nonlocality among sets of two-qubit orthogonal pure states, where the "nonlocality" is in the sense of a difference between global and local abilities of quantum state discrimination. We present a complete characterization of two-qubit pure orthogonal state sets of cardinality three with respect to their nonlocality in terms of unambiguous local distinguishability, the status for other cardinalities being already known. The results are potentially useful for secure quantum communication technologies with an optimal amount of resources.


title: Simultaneous Multi-View Camera Pose Estimation and Object Tracking with Square Planar Markers

abstract: Object tracking is a key aspect in many applications such as augmented reality in medicine (e.g. tracking a surgical instrument) or robotics. Squared planar markers have become popular tools for tracking since their pose can be estimated from their four corners. While using a single marker and a single camera limits the working area considerably, using multiple markers attached to an object requires estimating their relative position, which is not trivial, for high accuracy tracking. Likewise, using multiple cameras requires estimating their extrinsic parameters, also a tedious process that must be repeated whenever a camera is moved. This work proposes a novel method to simultaneously solve the above-mentioned problems. From a video sequence showing a rigid set of planar markers recorded from multiple cameras, the proposed method is able to automatically obtain the three-dimensional configuration of the markers, the extrinsic parameters of the cameras, and the relative pose between the markers and the cameras at each frame. Our experiments show that our approach can obtain highly accurate results for estimating these parameters using low resolution cameras. Once the parameters are obtained, tracking of the object can be done in real time with a low computational cost. The proposed method is a step forward in the development of cost-effective solutions for object tracking.


title: The morphology of the X-ray afterglows and of the jetted GeV emission in long GRBs

abstract: We recall evidence that long gamma-ray bursts (GRBs) have binary progenitors and give new examples. Binary-driven hypernovae (BdHNe) consist of a carbon-oxygen core (CO$_{\rm core}$) and a neutron star (NS) companion. For binary periods $\sim 5$ min, the CO$_{\rm core}$ collapse originates the subclass BdHN I characterized by: 1) an energetic supernova (the "SN-rise"); 2) a black hole (BH), born from the NS collapse by SN matter accretion, leading to a GeV emission with luminosity $L_{\rm GeV} = A_{\rm GeV}\,t^{-\alpha_{\rm GeV}}$, observed only in some cases; 3) a new NS ($\nu$NS), born from the SN, originating the X-ray afterglow with $L_X = A_{\rm X}\,t^{-\alpha_{\rm X}}$, observed in all BdHN I. We record $378$ sources and present for four prototypes GRBs 130427A, 160509A, 180720B and 190114C: 1) spectra, luminosities, SN-rise duration; 2) $A_X$, $\alpha_X=1.48\pm 0.32$, and 3) the $\nu$NS spin time-evolution. We infer a) $A_{\rm GeV}$, $\alpha_{\rm GeV}=1.19 \pm 0.04$; b) the BdHN I morphology from time-resolved spectral analysis, three-dimensional simulations, and the GeV emission presence/absence in $54$ sources within the Fermi-LAT boresight angle. For $25$ sources, we give the integrated and time-varying GeV emission, $29$ sources have no GeV emission detected and show X/gamma-ray flares previously inferred as observed along the binary plane. The $25/54$ ratio implies the GeV radiation is emitted within a cone of half-opening angle $\approx 60^{\circ}$ from the normal to the orbital plane. We deduce BH masses $2.3$-$8.9~M_\odot$ and spin $0.27$-$0.87$ by explaining the GeV emission from the BH energy extraction, while their time evolution validates the BH mass-energy formula.


title: Maximal Diversity and Zipf's Law

abstract: Zipf's law describes the empirical size distribution of the components of many systems in natural and social sciences and humanities. We show, by solving a statistical model, that Zipf's law co-occurs with the maximization of the diversity of the component sizes. The law ruling the increase of such diversity with the total dimension of the system is derived and its relation with Heaps' law is discussed. As an example, we show that our analytical results compare very well with linguistics datasets.


title: Effect of Wall Friction on 2D Hopper Flow

abstract: We report here on experiments and simulations examining the effect of changing wall friction on the gravity-driven flow of spherical particles in a vertical hopper. In 2D experiments and simulations, we observe that the exponent of the expected power-law scaling of mass flow rate with opening size (known as Beverloo's law) decreases as the coefficient of friction between particles and wall increases, whereas Beverloo scaling works as expected in 3D. In our 2D experiments, we find that wall friction plays the biggest role in a region near the outlet comparable in height to the largest opening size. However, wall friction is not the only factor determining a constant rate of flow, as we observe a near-constant mass outflow rate in the 2D simulations even when wall friction is set to zero. We show in our simulations that an increase in wall friction leaves packing fractions relatively unchanged, while average particle velocities become independent of opening size as the coefficient of friction increases. We track the spatial pattern of time-averaged particle velocities and accelerations inside the hopper. We observe that the hemisphere-like region above the opening where particles begin to accelerate is largely independent of opening size at finite wall friction. However, the magnitude of particle accelerations decreases significantly as wall friction increases, which in turn results in mean sphere velocities that no longer scale with opening size, consistent with our observations of mass flow rate scaling. The case of zero wall friction is anomalous, in that most of the acceleration takes place near the outlet.


title: Development of neutron scattering kernels for cold neutron reflector materials

abstract: The newest neutron scattering applications are highly intensity-limited techniques that demand reducing the neutron losses between source and detectors. In addition, the nuclear industry demands more accurate data and procedures for the design and optimization of advanced fission reactors, especially for the treatment of fuel and moderator materials. To meet these demands, it is necessary to improve the existing calculation tools, through the generation of better models that describe the interaction of neutrons with the systems of interest. The Neutron Physics Department at Centro Atomico Bariloche (CNEA, Argentina) has been developing over the time new models for the interaction of slow neutrons with materials, to produce scattering kernels and cross section data in the thermal and cold neutron energy region. Besides the studies carried out on neutron moderators, we have recently begun looking at materials that could serve as efficient neutron reflectors over those energy ranges. In this work we present the results of transmission and scattering experiments on diamond nanopowder and magnesium hydride, carried out simultaneously at the VESUVIO spectrometer (ISIS, UK), and compare them with newly generated cross-section libraries.


title: Compact Neural-network Quantum State representations of Jastrow and Stabilizer states

abstract: Neural-network quantum states (NQS) have become a powerful tool in many-body physics. Of the numerous possible architectures in which neural-networks can encode amplitudes of quantum states the simplicity of the Restricted Boltzmann Machine (RBM) has proven especially useful for both numerical and analytical studies. In particular devising exact NQS representations for important classes of states, like Jastrow and stabilizer states, has provided useful clues into the strengths and limitations of the RBM based NQS. However, current constructions for a system of $N$ spins generate NQS with $M \sim O(N^2)$ hidden units that are very sparsely connected. This makes them rather atypical NQS compared to those commonly generated by numerical optimisation. Here we focus on compact NQS, denoting NQS with a hidden unit density $\alpha = M/N \leq 1$ but with system-extensive hidden-visible unit connectivity. By unifying Jastrow and stabilizer states we introduce a new exact representation that requires at most $M=N-1$ hidden units, illustrating how highly expressive $\alpha \leq 1$ can be. Owing to their structural similarity to numerical NQS solutions our result provides useful insights and could pave the way for more families of quantum states to be represented exactly by compact NQS.


title: Teaching Solid Mechanics to Artificial Intelligence: a fast solver for heterogeneous solids

abstract: We propose a deep neural network (DNN) as a fast surrogate model for local stress (and in principle strain) calculation in inhomogeneous non-linear material systems. We show that the DNN predicts the local stresses with about 3.8% mean absolute percentage error (MAPE) for the case of heterogeneous elastic media and a mechanical phase contrast of up to factor of 1.5 among neighboring domains, while performing 103 times faster than spectral solvers. The speed-up arises from the fact that after training, the DNN predicts the stress without any iterations, as opposed to the iterative nature of standard non-linear solvers. The new DNN surrogate model also proves suited for general purposes: it is capable to reproduce the stress distribution in geometries topologically far different from those used for training, implying effective learning of scenarios described by the underlying partial differential equations. Even in the case of elasto-plastic materials with up to 2 times mechanical contrast in elastic stiffness and 4 times in yield stress among adjacent regions, where conventional solvers typically require a substantial number of iterations to arrive at stress predictions, the trained model simulates the micromechanics with a MAPE of 6.4% in one single forward evaluation step of the network, i.e. without any iterative calculations even for the case of such a non-linear problem. The results reveal a completely new and highly efficient approach to solve non-linear mechanical boundary value problems and/or augment existing solution methods in corresponding hybrid variants, with an acceleration up to factor of 8300 for heterogeneous elastic-plastic materials in comparison to the currently fastest available solvers.


title: DiCOVA Challenge: Dataset, task, and baseline system for COVID-19 diagnosis using acoustics

abstract: The DiCOVA challenge aims at accelerating research in diagnosing COVID-19 using acoustics (DiCOVA), a topic at the intersection of speech and audio processing, respiratory health diagnosis, and machine learning. This challenge is an open call for researchers to analyze a dataset of sound recordings collected from COVID-19 infected and non-COVID-19 individuals for a two-class classification. These recordings were collected via crowdsourcing from multiple countries, through a website application. The challenge features two tracks, one focusing on cough sounds, and the other on using a collection of breath, sustained vowel phonation, and number counting speech recordings. In this paper, we introduce the challenge and provide a detailed description of the task, and present a baseline system for the task.


title: Rank $Q$ E-String on Spheres with Flux

abstract: We consider compactifications of rank $Q$ E-string theory on a genus zero surface with no punctures but with flux for various subgroups of the $\text{E}_8\times \text{SU}(2)$ global symmetry group of the six dimensional theory. We first construct a simple Wess-Zumino model in four dimensions corresponding to the compactification on a sphere with one puncture and a particular value of flux, the cap model. Using this theory and theories corresponding to two punctured spheres with flux, one can obtain a large number of models corresponding to spheres with a variety of fluxes. These models exhibit interesting IR enhancements of global symmetry as well as duality properties. As an example we will show that constructing sphere models associated to specific fluxes related by an action of the Weyl group of $\text{E}_8$ leads to the S-confinement duality of the $\text{USp}(2Q)$ gauge theory with six fundamentals and a traceless antisymmetric field. Finally, we show that the theories we discuss possess an $\text{SU}(2)_{\text{ISO}}$ symmetry in four dimensions that can be naturally identified with the isometry of the two-sphere. We give evidence in favor of this identification by computing the `t Hooft anomalies of the $\text{SU}(2)_{\text{ISO}}$ in 4d and comparing them with the predicted anomalies from 6d.


title: Understanding Protein-Complex Assembly through Grand Canonical Maximum Entropy Modeling

abstract: Inside a cell, heterotypic proteins assemble in inhomogeneous, crowded systems where the abundance of these proteins vary with cell types. While some protein complexes form putative structures that can be visualized with imaging, there are far more protein complexes that are yet to be solved because of their dynamic associations with one another. Yet, it is possible to infer these protein complexes through a physical model. However, it is often not clear to physicists what kind of data from biology is necessary for such a modeling endeavor. Here, we aim to model these clusters of coarse-grained protein assemblies from multiple subunits through the constraints of interactions among the subunits and the chemical potential of each subunit. We obtained the constraints on the interactions among subunits from the known protein structures. We inferred the chemical potential, that dictates the particle number distribution of each protein subunit, from the knowledge of protein abundance from experimental data. Guided by the maximum entropy principle, we formulate an inverse statistical mechanical method to infer the distribution of particle numbers from the data of protein abundance as chemical potentials for a grand canonical multi-component mixture. Using grand canonical Monte Carlo simulations, we captured a distribution of high-order clusters in a protein complex of Succinate Dehydrogenase (SDH) with four known subunits. The complexity of hierarchical clusters varies with the relative protein abundance of each subunit in distinctive cell types such as lung, heart, and brain. When the crowding content increases, we observed that crowding stabilizes emergent clusters that do not exist in dilute conditions. We, therefore, proposed a testable hypothesis that the hierarchical complexity of protein clusters on a molecular scale is a plausible biomarker of predicting the phenotypes of a cell.


title: Adversarial Driving: Attacking End-to-End Autonomous Driving

abstract: As research in deep neural networks advances, deep convolutional networks become promising for autonomous driving tasks. In particular, there is an emerging trend of employing end-to-end neural network models for autonomous driving. However, previous research has shown that deep neural network classifiers are vulnerable to adversarial attacks. While for regression tasks, the effect of adversarial attacks is not as well understood. In this research, we devise two white-box targeted attacks against end-to-end autonomous driving models. Our attacks manipulate the behavior of the autonomous driving system by perturbing the input image. In an average of 800 attacks with the same attack strength (epsilon=1), the image-specific and image-agnostic attack deviates the steering angle from the original output by 0.478 and 0.111, respectively, which is much stronger than random noises that only perturbs the steering angle by 0.002 (The steering angle ranges from [-1, 1]). Both attacks can be initiated in real-time on CPUs without employing GPUs. Demo video: https://youtu.be/I0i8uN2oOP0.


title: Acousto-elasticity of Transversely Isotropic Incompressible Soft Tissues: Characterization of Skeletal Striated Muscle

abstract: Using shear wave elastography, we measure the changes in the wave speed with the stress produced by a striated muscle during isometric voluntary contraction. To isolate the behaviour of an individual muscle from complementary or antagonistic actions of adjacent muscles, we select the flexor digiti minimi muscle, whose sole function is to extend the little finger. To link the wave speed to the stiffness, we develop an acousto-elastic theory for shear waves in homogeneous, transversely isotropic, incompressible solids subject to uniaxial stress. We then provide measurements of the apparent shear elastic modulus along, and transversely to, the fibre axis for six healthy human volunteers of different age and sex. The results display a great variety across the six subjects. We find that the slope of the apparent shear elastic modulus along the fibre direction changes inversely to the maximum voluntary contraction (MVC) produced by the volunteer. We propose an interpretation of our results by introducing the S (slow) or F (fast) nature of the fibres, which harden the muscle differently and accordingly, produce different MVCs. This work opens the way to measuring the elastic stiffness of muscles in patients with musculoskeletal disorders or neurodegenerative diseases.


title: Impact of Electric Vehicles Botnets on the Power Grid

abstract: The increased penetration of Electric Vehicles (EVs) in the transportation sector has increased the requirement of Fast Charging Direct Current (FCDC) stations to meet customer's speedy charging requirements. However, both charging stations and EVs connection to the communication infrastructure as well as the power grid makes it vulnerable to cyber attacks. In this paper, the vulnerability of the EV charging process is initially studied. We then show how a botnet of compromised EVs and FCDC stations can be utilized to launch cyber attacks on the power grid resulting in an increase in the load at a specific time. The effect of such attacks on the distribution network in terms of line congestion and voltage limit violations is investigated. Moreover, the effect of the botnet of the transmission network is also studied.


title: Leveraging Recent Advances in Deep Learning for Audio-Visual Emotion Recognition

abstract: Emotional expressions are the behaviors that communicate our emotional state or attitude to others. They are expressed through verbal and non-verbal communication. Complex human behavior can be understood by studying physical features from multiple modalities; mainly facial, vocal and physical gestures. Recently, spontaneous multi-modal emotion recognition has been extensively studied for human behavior analysis. In this paper, we propose a new deep learning-based approach for audio-visual emotion recognition. Our approach leverages recent advances in deep learning like knowledge distillation and high-performing deep architectures. The deep feature representations of the audio and visual modalities are fused based on a model-level fusion strategy. A recurrent neural network is then used to capture the temporal dynamics. Our proposed approach substantially outperforms state-of-the-art approaches in predicting valence on the RECOLA dataset. Moreover, our proposed visual facial expression feature extraction network outperforms state-of-the-art results on the AffectNet and Google Facial Expression Comparison datasets.


title: Quantum matter in ultrahigh magnetic fields

abstract: In writing this report we had two goals in mind. The first is to provide a survey of a subset of discoveries from recent experiments performed on quantum matter in high magnetic fields, and to anticipate the scientific opportunities to be realized in even higher fields. Hopefully, the survey will convey a sense of the excitement and pace of high-magnetic-field research in the quantum-matter community to a broader audience (undergraduates, especially). The second goal is to discuss the comparative merits of two options: a pulsed-field facility for attaining a magnetic field of 150 Tesla (of duration 1-10 msec) or a DC field facility that attains 60 Tesla. A workshop involving leading scientists involved with quantum phenomena in high magnetic fields was held at NSF, Alexandria Sep. 21,22 (2017) to address these issues.


title: 5G from Space: An Overview of 3GPP Non-Terrestrial Networks

abstract: We provide an overview of the 3rd generation partnership project (3GPP) work on evolving the 5G wireless technology to support non-terrestrial satellite networks. Adapting 5G to support non-terrestrial networks entails a holistic design spanning across multiple areas from radio access network to services and system aspects to core and terminals. In this article, we describe the main topics of non-terrestrial networks, explain in detail the design aspects, and share various design rationales influencing standardization.


title: Existence, uniqueness, and energy scaling of 2+1 dimensional continuum model for stepped epitaxial surfaces with elastic effects

abstract: We study the 2+1 dimensional continuum model for the evolution of stepped epitaxial surface under long-range elastic interaction proposed by Xu and Xiang (SIAM J. Appl. Math. 69, 1393-1414, 2009). The long-range interaction term and the two length scales in this model makes PDE analysis challenging. Moreover, unlike in the 1+1 dimensional case, there is a nonconvexity contribution in the total energy in the 2+1 dimensional case, and it is not easy to prove that the solution is always in the well-posed regime during the evolution. In this paper, we propose a modified 2+1 dimensional continuum model based on the underlying physics. This modification fixes the problem of possible illposedness due to the nonconvexity of the energy functional. We prove the existence and uniqueness of both the static and dynamic solutions and derive a minimum energy scaling law for them. We show that the minimum energy surface profile is mainly attained by surfaces with step meandering instability. This is essentially different from the energy scaling law for the 1+1 dimensional epitaxial surfaces under elastic effects attained by step bunching surface profiles. We also discuss the transition from the step bunching instability to the step meandering instability in 2+1 dimensions.


title: X-ray and GeV afterglows and sub-TeV emission of GRB 180720B

abstract: GRB 180720B, observed by {\it Fermi}-GBM, with redshift $z=0.653$, isotropic energy $E_{\rm iso}=5.92\times 10^{53}$ erg, and X-ray afterglow observed by the XRT onboard the Neil Gehrels Swift satellite, is here classified as a Binary-driven Hypernova I (BdHN I). BdHN I are long GRBs with a binary progenitor composed of a carbon-oxygen core (CO$_{\rm core}$) and a neutron star (NS) companion with orbital period $\sim 5$ min. The gravitational collapse of the CO$_{\rm core}$ generates a supernova (SN) and a new NS ($\nu$NS) at its center. The SN hypercritical accretion onto the companion NS triggers its gravitational collapse forming a black hole (BH). An electrodynamical process near the BH horizon leads to the long-lasting GeV emission with power-law luminosity $L_{\rm GeV}\propto t^{-1.19\pm0.04}$, powered by the BH rotational energy. Correspondingly, we determine the BH mass and spin. The $\nu$NS via its pulsar-like emission and fallback accretion injects energy into the magnetized SN ejecta generating synchrotron radiation. This explains the \textit{long-lasting} X-ray afterglow with power-law luminosity $L_X \propto t^{-1.48\pm 0.32}$, energized by the $\nu$NS rotational energy. We apply this to GRB 180720B determining the $\nu$NS magnetic field and spin. We also analyze the GRB 180720B emission observed by the High-Energy Stereoscopic System (H.E.S.S.), at $100$-$440$ GeV energies, $10.1$-$12.1$ h after the Fermi-GBM trigger. We propose that this \textit{short-term} radiation of energy $2.4\times 10^{50}$ erg and duration $\sim 10^3$ s, is powered by a "glitch" event that suddenly injects relativistic electrons into the $\nu$NS magnetosphere during its slowing down phase.


title: Learning to Shape Rewards using a Game of Two Partners

abstract: Reward shaping (RS) is a powerful method in reinforcement learning (RL) for overcoming the problem of sparse or uninformative rewards. However, RS typically relies on manually engineered shaping-reward functions whose construction is time-consuming and error-prone. It also requires domain knowledge which runs contrary to the goal of autonomous learning. We introduce Reinforcement Learning Optimising Shaping Algorithm (ROSA), an automated reward shaping framework in which the shaping-reward function is constructed in a Markov game between two agents. A reward-shaping agent (Shaper) uses switching controls to determine which states to add shaping rewards for more efficient learning while the other agent (Controller) learns the optimal policy for the task using these shaped rewards. We prove that ROSA, which adopts existing RL algorithms, learns to construct a shaping-reward function that is beneficial to the task thus ensuring efficient convergence to high performance policies. We demonstrate ROSA's properties in three didactic experiments and show its superior performance against state-of-the-art RS algorithms in challenging sparse reward environments.


title: LRGNet: Learnable Region Growing for Class-Agnostic Point Cloud Segmentation

abstract: 3D point cloud segmentation is an important function that helps robots understand the layout of their surrounding environment and perform tasks such as grasping objects, avoiding obstacles, and finding landmarks. Current segmentation methods are mostly class-specific, many of which are tuned to work with specific object categories and may not be generalizable to different types of scenes. This research proposes a learnable region growing method for class-agnostic point cloud segmentation, specifically for the task of instance label prediction. The proposed method is able to segment any class of objects using a single deep neural network without any assumptions about their shapes and sizes. The deep neural network is trained to predict how to add or remove points from a point cloud region to morph it into incrementally more complete regions of an object instance. Segmentation results on the S3DIS and ScanNet datasets show that the proposed method outperforms competing methods by 1%-9% on 6 different evaluation metrics.


title: Large System Achievable Rate Analysis of RIS-Assisted MIMO Wireless Communication with Statistical CSIT

abstract: Reconfigurable intelligent surface (RIS) is an emerging technology to enhance wireless communication in terms of energy cost and system performance by equipping a considerable quantity of nearly passive reflecting elements. This study focuses on a downlink RIS-assisted multiple-input multiple-output (MIMO) wireless communication system that comprises three communication links of Rician channel, including base station (BS) to RIS, RIS to user, and BS to user. The objective is to design an optimal transmit covariance matrix at BS and diagonal phase-shifting matrix at RIS to maximize the achievable ergodic rate by exploiting the statistical channel state information at BS. Therefore, a large-system approximation of the achievable ergodic rate is derived using the replica method in large dimension random matrix theory. This large-system approximation enables the identification of asymptotic-optimal transmit covariance and diagonal phase-shifting matrices using an alternating optimization algorithm. Simulation results show that the large-system results are consistent with the achievable ergodic rate calculated by Monte Carlo averaging. The results verify that the proposed algorithm can significantly enhance the RIS-assisted MIMO system performance.


title: Behavior-Tree-Based Person Search for Symbiotic Autonomous Mobile Robot Tasks

abstract: We consider the problem of people search by a mobile social robot in case of a situation that cannot be solved by the robot alone. Examples are physically opening a closed door or operating an elevator. Based on the Behavior Tree framework, we create a modular and easily extendable action sequence with the goal of finding a person to assist the robot. By decomposing the Behavior Tree as a Discrete Time Markov Chain, we obtain an estimate of the probability and rate of success of the options for action, especially where the robot should wait or search for people.In a real-world experiment, the presented method is compared with other common approaches in a total of 588 test runs over the course of one week, starting at two different locations in a university building. We show our method to be superior to other approaches in terms of success rate and duration until a finding person and returning to the start location.


title: Merged-Element Transmons: Design and Qubit Performance

abstract: We have demonstrated a novel type of superconducting transmon qubit in which a Josephson junction has been engineered to act as its own parallel shunt capacitor. This merged-element transmon (MET) potentially offers a smaller footprint and simpler fabrication than conventional transmons. Because it concentrates the electromagnetic energy inside the junction, it reduces relative electric field participation from other interfaces. By combining micrometer-scale Al/AlOx/Al junctions with long oxidations and novel processing, we have produced functional devices with $E_{J}$/$E_{C}$ in the low transmon regime ($E_{J}$/$E_{C}$ $\lesssim$30). Cryogenic I-V measurements show sharp dI/dV structure with low sub-gap conduction. Qubit spectroscopy of tunable versions show a small number of avoided level crossings, suggesting the presence of two-level systems (TLS). We have observed mean T1 times typically in the range of 10-90 microseconds, with some annealed devices exhibiting T1 > 100 microseconds over several hours. The results suggest that energy relaxation in conventional, small-junction transmons is not limited by junction loss.


title: Screening $p$-Hackers: Dissemination Noise as Bait

abstract: We show that adding noise before publishing data effectively screens $p$-hacked findings: spurious explanations produced by fitting many statistical models (data mining). Noise creates "baits" that affect two types of researchers differently. Uninformed $p$-hackers, who are fully ignorant of the true mechanism and engage in data mining, often fall for baits. Informed researchers, who start with an ex-ante hypothesis, are minimally affected. We show that as the number of observations grows large, dissemination noise asymptotically achieves optimal screening. In a tractable special case where the informed researchers' theory can identify the true causal mechanism with very little data, we characterize the optimal level of dissemination noise and highlight the relevant trade-offs. Dissemination noise is a tool that statistical agencies currently use to protect privacy. We argue this existing practice can be repurposed to screen $p$-hackers and thus improve research credibility.


title: Assisted harvesting and catalysis of coherence from scalar fields

abstract: Recently it has been demonstrated that it is possible to harvest quantum resources other than entanglement from a coherent scalar field. Employing time-dependent perturbation theory, we present a complete analysis of the conditions under which a spatially extended Unruh-DeWitt detector coupled to the proper time derivative of the field can harvest coherence for any initial state of the field, as well as the energy cost that is required for each harvest. By studying harvesting under repeatable extractions it is proven that when the detector interacts with the field through a delta coupling coherence is catalytic. For a Gaussian smeared detector it is shown that harvesting from a coherent field depends on the phase of its amplitude distribution and its initial energy as well as on the mean radius of the detector and the mean interaction duration between the two. For a detector moving at a constant velocity and with a mean radius of the same order as its transition wavelength, we observe that, for relativistic speeds, coherence swelling effects are present the intensity of which depends on the dimension of the underlying Minkowski spacetime.


title: The optical properties of three type II supernovae: 2014cx, 2014cy and 2015cz

abstract: We present the photometric and spectroscopic analysis of three Type II SNe: 2014cx, 2014cy and 2015cz. SN 2014cx is a conventional Type IIP with a shallow slope (0.2 mag/50d) and an atypical short plateau ($\sim$86 d). SNe 2014cy and 2015cz show relatively large decline rates (0.88 and 1.64 mag/50d, respectively) at early times before settling to the plateau phase, unlike the canonical Type IIP/L SN light curves. All of them are normal luminosity SN II with an absolute magnitude at mid-plateau of M$_{V,14cx}^{50}$=$-$16.6$\pm$0.4$\,\rm{mag}$, M$_{V,14cy}^{50}$=$-$16.5$\,\pm\,$0.2$\,\rm{mag}$ and M$_{V,15cz}^{50}$=$-$17.4$\,\pm\,$0.3$\,\rm{mag}$. A relatively broad range of $^{56}$Ni masses is ejected in these explosions (0.027-0.070 M$_\odot$). The spectra show the classical evolution of Type II SNe, dominated by a blue continuum with broad H lines at early phases and narrower metal lines with P Cygni profiles during the plateau. High-velocity H I features are identified in the plateau spectra of SN 2014cx at 11600 km s$^{-1}$, possibly a sign of ejecta-circumstellar interaction. The spectra of SN 2014cy exhibit strong absorption profile of H I similar to normal luminosity events whereas strong metal lines akin to sub-luminous SNe. The analytical modelling of the bolometric light curve of the three events yields similar radii for the three objects within errors (478, 507 and 608 R$_\odot$ for SNe 2014cx, 2014cy and 2015cz, respectively) and a range of ejecta masses (15.0, 22.2 and 18.7 M$_\odot$ for SNe 2014cx, 2014cy and 2015cz), and a modest range of explosion energies (3.3 - 6.0 foe where 1 foe = 10$^{51}$ erg).


title: A Cheeger-like inequality for coexact 1-forms

abstract: We state and prove a Cheeger-like inequality for coexact 1-forms on closed orientable Riemannian manifolds.


title: Geometric invariance of determining and resonating centers: Odd- and any-number limitations of Pyragas control

abstract: In the spirit of the well-known odd-number limitation, we study failure of Pyragas control of periodic orbits and equilibria. Addressing the periodic orbits first, we derive a fundamental observation on the invariance of the geometric multiplicity of the trivial Floquet multiplier. This observation leads to a clear and unifying understanding of the odd-number limitation, both in the autonomous and the non-autonomous setting. Since the presence of the trivial Floquet multiplier governs the possibility of successful stabilization, we refer to this multiplier as the determining center. The geometric invariance of the determining center also leads to a necessary condition on the gain matrix for the control to be successful. In particular, we exclude scalar gains. Application of Pyragas control on equilibria does not only imply a geometric invariance of the determining center, but surprisingly also on centers which resonate with the time delay. Consequently, we formulate odd- and any-number limitations both for real eigenvalues together with arbitrary time delay as well as for complex conjugated eigenvalue pairs together with a resonating time delay. The very general nature of our results allows for various applications.


title: SenseRT: A Streaming Architecture for Smart Building Sensors

abstract: Building Management Systems (BMSs) have evolved in recent years, in ways that require changes to existing network architectures that follow the store-then-analyse approach. The primary cause is the increasing deployment of a diverse range of cost-effective sensors and actuators in smart buildings that generate real-time streaming data. Any in-building system with a large number of sensors needs a framework for real-time data collection and concurrent stream processing from sensors connected using a range of networks. We present SenseRT, a system for managing and analysing in-building real-time streams of sensor data. SenseRT collects streams of real-time data from sensors connected using a range of network protocols. It supports concurrent modules simultaneously performing stream processing over real-time data, asynchronously and non-blocking, with results made available with minimal latency. We describe a prototype implementation deployed in two University department buildings, demonstrating its effectiveness.


title: Boundary Layer Expansions for the Stationary Navier-Stokes Equations

abstract: This is the first part of a two paper sequence in which we prove the global-in-x stability of the classical Prandtl boundary layer for the 2D, stationary Navier-Stokes equations. In this part, we provide a construction of an approximate Navier-Stokes solution, obtained by a classical Euler- Prandtl asymptotic expansion. We develop here sharp decay estimates on these quantities. Of independent interest, we establish \textit{without} using the classical von-Mise change of coordinates, proofs of global in x regularity of the Prandtl system. The results of this paper are used in the second part of this sequence, [IM20] (arXiv:2008.12347), to prove the asymptotic stability of the boundary layer as $\eps \rightarrow 0$ and $x \rightarrow \infty$.


title: Interpretable Deep Learning for the Remote Characterisation of Ambulation in Multiple Sclerosis using Smartphones

abstract: The emergence of digital technologies such as smartphones in healthcare applications have demonstrated the possibility of developing rich, continuous, and objective measures of multiple sclerosis (MS) disability that can be administered remotely and out-of-clinic. In this work, deep convolutional neural networks (DCNN) applied to smartphone inertial sensor data were shown to better distinguish healthy from MS participant ambulation, compared to standard Support Vector Machine (SVM) feature-based methodologies. To overcome the typical limitations associated with remotely generated health data, such as low subject numbers, sparsity, and heterogeneous data, a transfer learning (TL) model from similar large open-source datasets was proposed. Our TL framework utilised the ambulatory information learned on Human Activity Recognition (HAR) tasks collected from similar smartphone-based sensor data. A lack of transparency of "black-box" deep networks remains one of the largest stumbling blocks to the wider acceptance of deep learning for clinical applications. Ensuing work therefore aimed to visualise DCNN decisions attributed by relevance heatmaps using Layer-Wise Relevance Propagation (LRP). Through the LRP framework, the patterns captured from smartphone-based inertial sensor data that were reflective of those who are healthy versus persons with MS (PwMS) could begin to be established and understood. Interpretations suggested that cadence-based measures, gait speed, and ambulation-related signal perturbations were distinct characteristics that distinguished MS disability from healthy participants. Robust and interpretable outcomes, generated from high-frequency out-of-clinic assessments, could greatly augment the current in-clinic assessment picture for PwMS, to inform better disease management techniques, and enable the development of better therapeutic interventions.


title: On Testing and Debugging Quantum Software

abstract: Quantum computers are becoming more mainstream. As more programmers are starting to look at writing quantum programs, they need to test and debug their code. In this paper, we discuss various use-cases for quantum computers, either standalone or as part of a System of Systems. Based on these use-cases, we discuss some testing and debugging tactics that one can leverage to ensure the quality of the quantum software. We also highlight quantum-computer-specific issues and list novel techniques that are needed to address these issues. The practitioners can readily apply some of these tactics to their process of writing quantum programs, while researchers can learn about opportunities for future work.


title: Ternary Hashing

abstract: This paper proposes a novel ternary hash encoding for learning to hash methods, which provides a principled more efficient coding scheme with performances better than those of the state-of-the-art binary hashing counterparts. Two kinds of axiomatic ternary logic, Kleene logic and {\L}ukasiewicz logic are adopted to calculate the Ternary Hamming Distance (THD) for both the learning/encoding and testing/querying phases. Our work demonstrates that, with an efficient implementation of ternary logic on standard binary machines, the proposed ternary hashing is compared favorably to the binary hashing methods with consistent improvements of retrieval mean average precision (mAP) ranging from 1\% to 5.9\% as shown in CIFAR10, NUS-WIDE and ImageNet100 datasets.


title: Monocular Multi-Layer Layout Estimation for Warehouse Racks

abstract: Given a monocular colour image of a warehouse rack, we aim to predict the bird's-eye view layout for each shelf in the rack, which we term as multi-layer layout prediction. To this end, we present RackLay, a deep neural network for real-time shelf layout estimation from a single image. Unlike previous layout estimation methods, which provide a single layout for the dominant ground plane alone, RackLay estimates the top-view and front-view layout for each shelf in the considered rack populated with objects. RackLay's architecture and its variants are versatile and estimate accurate layouts for diverse scenes characterized by varying number of visible shelves in an image, large range in shelf occupancy factor and varied background clutter. Given the extreme paucity of datasets in this space and the difficulty involved in acquiring real data from warehouses, we additionally release a flexible synthetic dataset generation pipeline WareSynth which allows users to control the generation process and tailor the dataset according to contingent application. The ablations across architectural variants and comparison with strong prior baselines vindicate the efficacy of RackLay as an apt architecture for the novel problem of multi-layered layout estimation. We also show that fusing the top-view and front-view enables 3D reasoning applications such as metric free space estimation for the considered rack.


title: Rollage: Efficient Rolling Average Algorithm to Estimate ARMA Models for Big Time Series Data

abstract: We develop a new efficient algorithm for the analysis of large-scale time series data. We firstly define rolling averages, derive their analytical properties, and establish their asymptotic distribution. These theoretical results are subsequently exploited to develop an efficient algorithm, called Rollage, for fitting an appropriate AR model to big time series data. When used in conjunction with the Durbin's algorithm, we show that the Rollage algorithm can be used as a criterion to optimally fit ARMA models to big time series data. Empirical experiments on large-scale synthetic time series data support the theoretical results and reveal the efficacy of this new approach, especially when compared to existing methodology.


title: Asymptotic lifting for completely positive maps

abstract: Let $A$ and $B$ be $C^*$-algebras, $A$ separable and $I$ an ideal in $B$. We show that for any completely positive contractive linear map $\psi\colon A\to B/I$ there is a continuous family $\Theta_t\colon A\to B$, for $t\in [1,\infty)$, of lifts of $\psi$ that are asymptotically linear, asymptotically completely positive and asymptotically contractive. If $\psi$ is orthogonality preserving, then $\Theta_t$ can be chosen to have this property asymptotically. If $A$ and $B$ carry continuous actions of a second countable locally compact group $G$ such that $I$ is $G$-invariant and $\psi$ is equivariant, we show that the family $\Theta_t$ can be chosen to be asymptotically equivariant. If a linear completely positive lift for $\psi$ exists, we can arrange that $\Theta_t$ is linear and completely positive for all $t\in [1,\infty)$. In the equivariant setting, if $A$, $B$ and $\psi$ are unital, we show that asymptotically linear unital lifts are only guaranteed to exist if $G$ is amenable. This leads to a new characterization of amenability in terms of the existence of asymptotically equivariant unital sections for quotient maps.


title: Deep learning: a statistical viewpoint

abstract: The remarkable practical success of deep learning has revealed some major surprises from a theoretical perspective. In particular, simple gradient methods easily find near-optimal solutions to non-convex optimization problems, and despite giving a near-perfect fit to training data without any explicit effort to control model complexity, these methods exhibit excellent predictive accuracy. We conjecture that specific principles underlie these phenomena: that overparametrization allows gradient methods to find interpolating solutions, that these methods implicitly impose regularization, and that overparametrization leads to benign overfitting. We survey recent theoretical progress that provides examples illustrating these principles in simpler settings. We first review classical uniform convergence results and why they fall short of explaining aspects of the behavior of deep learning methods. We give examples of implicit regularization in simple settings, where gradient methods lead to minimal norm functions that perfectly fit the training data. Then we review prediction methods that exhibit benign overfitting, focusing on regression problems with quadratic loss. For these methods, we can decompose the prediction rule into a simple component that is useful for prediction and a spiky component that is useful for overfitting but, in a favorable setting, does not harm prediction accuracy. We focus specifically on the linear regime for neural networks, where the network can be approximated by a linear model. In this regime, we demonstrate the success of gradient flow, and we consider benign overfitting with two-layer networks, giving an exact asymptotic analysis that precisely demonstrates the impact of overparametrization. We conclude by highlighting the key challenges that arise in extending these insights to realistic deep learning settings.


title: Continuous-time stochastic processes for the spread of COVID-19 disease simulated via a Monte Carlo approach and comparison with deterministic models

abstract: Two stochastic models are proposed to describe the evolution of the COVID-19 pandemic. In the first model the population is partitioned into four compartments: susceptible $S$, infected $I$, removed $R$ and dead people $D$. In order to have a cross validation, a deterministic version of such a model is also devised which is represented by a system of ordinary differential equations with delays. In the second stochastic model two further compartments are added: the class $A$ of asymptomatic individuals and the class $L$ of isolated infected people. Effects such as social distancing measures are easily included and the consequences are analyzed. Numerical solutions are obtained with Monte Carlo simulations. Quantitative predictions are provided which can be useful for the evaluation of political measures, e.g. the obtained results suggest that strategies based on herd immunity are too risky.


title: Conceptual Text Region Network: Cognition-Inspired Accurate Scene Text Detection

abstract: Segmentation-based methods are widely used for scene text detection due to their superiority in describing arbitrary-shaped text instances. However, two major problems still exist: 1) current label generation techniques are mostly empirical and lack theoretical support, discouraging elaborate label design; 2) as a result, most methods rely heavily on text kernel segmentation which is unstable and requires deliberate tuning. To address these challenges, we propose a human cognition-inspired framework, termed, Conceptual Text Region Network (CTRNet). The framework utilizes Conceptual Text Regions (CTRs), which is a class of cognition-based tools inheriting good mathematical properties, allowing for sophisticated label design. Another component of CTRNet is an inference pipeline that, with the help of CTRs, completely omits the need for text kernel segmentation. Compared with previous segmentation-based methods, our approach is not only more interpretable but also more accurate. Experimental results show that CTRNet achieves state-of-the-art performance on benchmark CTW1500, Total-Text, MSRA-TD500, and ICDAR 2015 datasets, yielding performance gains of up to 2.0%. Notably, to the best of our knowledge, CTRNet is among the first detection models to achieve F-measures higher than 85.0% on all four of the benchmarks, with remarkable consistency and stability.


title: Mobility-Aware Offloading and Resource Allocation in MEC-Enabled IoT Networks

abstract: Mobile edge computing (MEC)-enabled Internet of Things (IoT) networks have been deemed a promising paradigm to support massive energy-constrained and computation-limited IoT devices. IoT with mobility has found tremendous new services in the 5G era and the forthcoming 6G eras such as autonomous driving and vehicular communications. However, mobility of IoT devices has not been studied in the sufficient level in the existing works. In this paper, the offloading decision and resource allocation problem is studied with mobility consideration. The long-term average sum service cost of all the mobile IoT devices (MIDs) is minimized by jointly optimizing the CPU-cycle frequencies, the transmit power, and the user association vector of MIDs. An online mobility-aware offloading and resource allocation (OMORA) algorithm is proposed based on Lyapunov optimization and Semi-Definite Programming (SDP). Simulation results demonstrate that our proposed scheme can balance the system service cost and the delay performance, and outperforms other offloading benchmark methods in terms of the system service cost.


title: Workflows Community Summit: Bringing the Scientific Workflows Community Together

abstract: Scientific workflows have been used almost universally across scientific domains, and have underpinned some of the most significant discoveries of the past several decades. Many of these workflows have high computational, storage, and/or communication demands, and thus must execute on a wide range of large-scale platforms, from large clouds to upcoming exascale high-performance computing (HPC) platforms. These executions must be managed using some software infrastructure. Due to the popularity of workflows, workflow management systems (WMSs) have been developed to provide abstractions for creating and executing workflows conveniently, efficiently, and portably. While these efforts are all worthwhile, there are now hundreds of independent WMSs, many of which are moribund. As a result, the WMS landscape is segmented and presents significant barriers to entry due to the hundreds of seemingly comparable, yet incompatible, systems that exist. As a result, many teams, small and large, still elect to build their own custom workflow solution rather than adopt, or build upon, existing WMSs. This current state of the WMS landscape negatively impacts workflow users, developers, and researchers. The "Workflows Community Summit" was held online on January 13, 2021. The overarching goal of the summit was to develop a view of the state of the art and identify crucial research challenges in the workflow community. Prior to the summit, a survey sent to stakeholders in the workflow community (including both developers of WMSs and users of workflows) helped to identify key challenges in this community that were translated into 6 broad themes for the summit, each of them being the object of a focused discussion led by a volunteer member of the community. This report documents and organizes the wealth of information provided by the participants before, during, and after the summit.


title: Light confinement by local index tailoring in inhomogeneous dielectrics

abstract: The engineering of light confinement is a topic with a long history in optics and with significant implications for the control of light-matter interaction. In inhomogeneous and disordered media, however, multiple scattering prevents the application of conventional approaches for the design of light fields with desired properties. This is because any local change to such a medium typically affects these fields in a non-local and complicated fashion. Here, we present a theoretical methodology for tailoring an inhomogeneous one-dimensional (1D) Hermitian dielectric index distribution, such that the intensity profile of an incoming light field can be controlled purely locally, i.e., with little or no influence on the field profile outside of a designated region of interest. Strongly increasing or decreasing the light's intensity at arbitrary positions inside the medium thereby becomes possible without, in fact, changing the external reflectance or transmittance of the medium. These local modifications of the medium can thus be made undetectable to unidirectional far field measurements. We apply our approach to locally control the confinement of light inside 1D materials with inhomogeneous continuous refractive index profiles and extend it to multilayer films as well as to chains of coupled micro-resonators.


title: New Gedanken experiment on Reissner-Nordstr\"om AdS Black Holes surrounded by quintessence

abstract: In this paper, we apply the new Gedanken experiment to investigate the weak cosmic censorship conjecture for Reissner-Nordstr\"om AdS black holes surrounded by quintessence. Since the perturbation of matter fields doesn't affect the spacetime geometry, we propose the stability condition and assume the process of matter fields falling into the black hole satisfies the null energy condition. Based on Iyer-Wald formalism we can derive the first order and second-order variational identities. From the two identities and the above two conditions lead to the first-order and second-order perturbation inequalities, and under the second-order approximation of matter fields perturbation, we find that the weak cosmic censorship conjecture is still satisfied.


title: Formation Control for UAVs Using a Flux Guided Approach

abstract: Existing studies on formation control for unmanned aerial vehicles (UAV) have not considered encircling targets where an optimum coverage of the target is required at all times. Such coverage plays a critical role in many real-world applications such as tracking hostile UAVs. This paper proposes a new path planning approach called the Flux Guided (FG) method, which generates collision-free trajectories for multiple UAVs while maximising the coverage of target(s). Our method enables UAVs to track directly toward a target whilst maintaining maximum coverage. Furthermore, multiple scattered targets can be tracked by scaling the formation during flight. FG is highly scalable since it only requires communication between sub-set of UAVs on the open boundary of the formation's surface. Experimental results further validate that FG generates UAV trajectories $1.5 \times$ shorter than previous work and that trajectory planning for 9 leader/follower UAVs to surround a target in two different scenarios only requires 0.52 seconds and 0.88 seconds, respectively. The resulting trajectories are suitable for robotic controls after time-optimal parameterisation; we demonstrate this using a 3d dynamic particle system that tracks the desired trajectories using a PID controller.


title: A Multilingual African Embedding for FAQ Chatbots

abstract: Searching for an available, reliable, official, and understandable information is not a trivial task due to scattered information across the internet, and the availability lack of governmental communication channels communicating with African dialects and languages. In this paper, we introduce an Artificial Intelligence Powered chatbot for crisis communication that would be omnichannel, multilingual and multi dialectal. We present our work on modified StarSpace embedding tailored for African dialects for the question-answering task along with the architecture of the proposed chatbot system and a description of the different layers. English, French, Arabic, Tunisian, Igbo,Yor\`ub\'a, and Hausa are used as languages and dialects. Quantitative and qualitative evaluation results are obtained for our real deployed Covid-19 chatbot. Results show that users are satisfied and the conversation with the chatbot is meeting customer needs.


title: Concentration of OTOC and Lieb-Robinson velocity in random Hamiltonians

abstract: The commutator between operators at different space and time has been a diagnostic for locality of unitary evolution. Most existing results are either for specific tractable (random) Hamiltonians(Out-of-Time-Order-Correlators calculations), or for worse case Hamiltonians (Lieb-Robinson-like bounds or OTOC bounds). In this work, we study commutators in typical Hamiltonians. Draw a sample from any zero-mean bounded independent random Hamiltonian ensemble, time-independent or Brownian, we formulate concentration bounds in the spectral norm and for the OTOC with arbitrary non-random state. Our bounds hold with high probability and scale with the sum of interactions squared. Our Brownian bounds are compatible with the Brownian limit while deterministic operator growth bounds must diverge. We evaluate this general framework on short-ranged, 1d power-law interacting, and SYK-like k-local systems and the results match existing lower bounds and conjectures. Our main probabilistic argument employs a robust matrix martingale technique called uniform smoothness and may be applicable in other settings.


title: Fractional Skellam Process of Order $k$

abstract: We introduce and study a fractional version of the Skellam process of order $k$ by time-changing it with an independent inverse stable subordinator. We call it the fractional Skellam process of order $k$ (FSPoK). An integral representation for its one-dimensional distributions and their governing system of fractional differential equations are obtained. We derive the probability generating function, mean, variance and covariance of the FSPoK which are utilized to establish its long-range dependence property. Later, we considered two time-changed versions of the FSPoK. These are obtained by time-changing the FSPoK by an independent L\'evy subordinator and its inverse. Some distributional properties and particular cases are discussed for these time-changed processes.


title: Roton pair density wave and unconventional strong-coupling superconductivity in a topological kagome metal

abstract: The transition-metal kagome lattice materials host frustrated, correlated, and topological quantum states of matter. Recently, a new family of vanadium-based kagome metals AV3Sb5 (A=K, Rb, and Cs) with topological band structures has been discovered. These layered compounds are nonmagnetic and undergo charge density wave transitions before developing superconductivity at low temperatures. Here we report the observation of unconventional superconductivity and pair density wave (PDW) in CsV3Sb5 using scanning tunneling microscope/spectroscopy (STM/STS) and Josephson STS. We find that CsV3Sb5 exhibits a V-shaped pairing gap {\Delta}~0.5 meV and is a strong-coupling superconductor (2{\Delta}/kBTc~5) that coexists with 4a0 unidirectional and 2a0X2a0 charge order. Remarkably, we discover a 3Q PDW accompanied by bidirectional 4a0/3 spatial modulations of the superconducting gap, coherence peak and gap-depth in the tunneling conductance. We term this novel quantum state a roton-PDW associated with an underlying vortex-antivortex lattice that can account for the observed conductance modulations. Probing the electronic states in the vortex halo in an applied magnetic field, in strong-field that suppresses superconductivity, and in zero-field above Tc reveals that the PDW is a primary state responsible for an emergent pseudogap and intertwined electronic order. Our findings show striking analogies and distinctions to the phenomenology of high-Tc cuprate superconductors, and provide groundwork for understanding the microscopic origin of correlated electronic states and superconductivity in vanadium-based kagome metals.


title: Goal-constrained Sparse Reinforcement Learning for End-to-End Driving

abstract: Deep reinforcement Learning for end-to-end driving is limited by the need of complex reward engineering. Sparse rewards can circumvent this challenge but suffers from long training time and leads to sub-optimal policy. In this work, we explore full-control driving with only goal-constrained sparse reward and propose a curriculum learning approach for end-to-end driving using only navigation view maps that benefit from small virtual-to-real domain gap. To address the complexity of multiple driving policies, we learn concurrent individual policies selected at inference by a navigation system. We demonstrate the ability of our proposal to generalize on unseen road layout, and to drive significantly longer than in the training.


title: Using Grammar Patterns to Interpret Test Method Name Evolution

abstract: It is good practice to name test methods such that they are comprehensible to developers; they must be written in such a way that their purpose and functionality are clear to those who will maintain them. Unfortunately, there is little automated support for writing or maintaining the names of test methods. This can lead to inconsistent and low-quality test names and increase the maintenance cost of supporting these methods. Due to this risk, it is essential to help developers in maintaining their test method names over time. In this paper, we use grammar patterns, and how they relate to test method behavior, to understand test naming practices. This data will be used to support an automated tool for maintaining test names.


title: Understanding and Modeling AI-Intensive System Development

abstract: Developers of AI-Intensive Systems--i.e., systems that involve both "traditional" software and Artificial Intelligence"are recognizing the need to organize development systematically and use engineered methods and tools. Since an AI-Intensive System (AIIS) relies heavily on software, it is expected that Software Engineering (SE) methods and tools can help. However, AIIS development differs from the development of "traditional" software systems in a few substantial aspects. Hence, traditional SE methods and tools are not suitable or sufficient by themselves and need to be adapted and extended. A quest for "SE for AI" methods and tools has started. We believe that, in this effort, we should learn from experience and avoid repeating some of the mistakes made in the quest for SE in past years. To this end, a fundamental instrument is a set of concepts and a notation to deal with AIIS and the problems that characterize their development processes. In this paper, we propose to describe AIIS via a notation that was proposed for SE and embeds a set of concepts that are suitable to represent AIIS as well. We demonstrate the usage of the notation by modeling some characteristics that are particularly relevant for AIIS.


title: Wong-Zakai approximations for quasilinear systems of It\^o's type stochastic differential equations

abstract: We extend to the multidimensional case a Wong-Zakai-type theorem proved by Hu and {\O}ksendal in [7] for scalar quasi-linear It\^o stochastic differential equations (SDEs). More precisely, with the aim of approximating the solution of a quasilinear system of It\^o's SDEs, we consider for any finite partition of the time interval $[0,T]$ a system of differential equations, where the multidimensional Brownian motion is replaced by its polygonal approximation and the product between diffusion coefficients and smoothed white noise is interpreted as a Wick product. We remark that in the one dimensional case this type of equations can be reduced, by means of a transformation related to the method of characteristics, to the study of a random ordinary differential equation. Here, instead, one is naturally lead to the investigation of a semilinear hyperbolic system of partial differential equations that we utilize for constructing a solution of the Wong-Zakai approximated systems. We show that the law of each element of the approximating sequence solves in the sense of distribution a Fokker-Planck equation and that the sequence converges to the solution of the It\^o equation, as the mesh of the partition tends to zero.


title: Experimental properties of continuously-forced, shear-driven, stratified turbulence. Part 2. Energetics, anisotropy, parameterisation

abstract: In this Part 2 we study further experimental properties of two-layer exchange flows in a stratified inclined duct (SID), which are turbulent, strongly-stratified, shear-driven, and continuously-forced. We analyse the same state-of-the-art data sets using the same core shear layer methodology as in Part 1, but we focus here on turbulent energetics and mixing statistics. The detailed analysis of kinetic and scalar energy budgets reveals the specificity and scalings of SID turbulence, while energy spectra provide insight into the current strengths and limitations of our experimental data. The anisotropy of the flow at different scales characterises the turbulent kinetic energy production and dissipation mechanisms of Holmboe waves and turbulence. We then assess standard mixing parameterisations models relying on uniform eddy diffusivities, mixing lengths, flux parameters, buoyancy Reynolds numbers or turbulent Froude numbers, and we compare representative values with the stratified mixing literature. The dependence of these measures of mixing on controllable flow parameters is also elucidated, providing asymptotic estimates that may be extrapolated to more strongly turbulent flows, quantified by the product of the tilt angle of the duct and the Reynolds number. These insights may serve as benchmark for the future generation of experimental data with superior spatio-temporal resolution required to probe increasingly vigorous turbulence.


title: Spatially inhomogeneous superconductivity in UTe2

abstract: Newly-discovered superconductor UTe$_2$ is a strong contender for a topological spin-triplet state wherein a multi-component order parameter arises from two nearly-degenerate superconducting states. A key issue is whether both of these states intrinsically exist at ambient pressure. Through thermal expansion and calorimetry, we show that UTe$_2$ at ambient conditions exhibits two detectable transitions only in some samples, and the size of the thermal expansion jump at each transition varies when the measurement is performed in different regions of the sample. This result indicates that the two transitions arise from two spatially separated regions that are inhomogeneously mixed throughout the volume of the sample, each with a discrete superconducting transition temperature (T$_c$). Notably, samples with higher T$_c$ only show a single transition at ambient pressure. Above 0.3 GPa, however, two transitions are invariably observed in ac calorimetry. Our results not only point to a nearly vertical line in the pressure-temperature phase diagram but also provide a unified scenario for the sample dependence of UTe$_{2}$.


title: Biases from Non-Simultaneous Regression with Correlated Covariates: A Case Study from Supernova Cosmology

abstract: Several Type Ia supernova analyses make use of non-simultaneous regressions between observed supernova and host galaxy properties and supernova luminosity: first the supernova magnitudes are corrected for their light curve shape and color, and then they are separately corrected for their host galaxy masses. This two-step regression methodology does not introduce any biases when there are no correlations between the variables regressed in each correction step. However, correlations between these covariates will bias estimates of the size of the corrections, as well as estimates of the variance of the final residuals. In this work, we analyze the general case of non-simultaneous regression with correlated covariates to derive the functional forms of these biases. We also simulate this effect on data from the literature to provide corrections to remove these biases from the data sets studied. The biases examined here can be entirely avoided by using simultaneous regression techniques.


title: Experimental properties of continuously-forced, shear-driven, stratified turbulence. Part 1. Mean flows, self-organisation, turbulent fractions

abstract: We study the experimental properties of exchange flows in a stratified inclined duct (SID), which are simultaneously turbulent, strongly stratified by a mean vertical density gradient, driven by a mean vertical shear, and continuously forced by gravity. We focus on the core shear layer away from the duct walls, where these flows are excellent experimentally-realisable approximations of canonical hyperbolic-tangent stratified shear layers, whose forcing allows mean and turbulent properties to reach quasi steady states. We analyse state-of-the-art data sets of the time-resolved density and velocity in three-dimensional sub-volumes of the duct in 16 experiments covering a range of flow regimes (Holmboe waves, intermittent turbulence, full turbulence). In this Part 1 we first reveal the permissible regions in the multi-dimensional parameter space (Reynolds number, bulk Richardson number, velocity-to-density layer thickness ratio), and their link to experimentally-controllable parameters. Reynolds-averaged balances then reveal the subtle momentum forcing and dissipation mechanisms in each layer, the broadening or sharpening of the density interface, and the importance of the streamwise non-periodicity of these flows. Mean flows suggest a tendency towards self-similarity of the velocity and density profiles with increasing turbulence, and gradient Richardson number statistics support prior internal mixing theories of equilibrium Richardson number, marginal stability and self-organised criticality. Turbulent volume fractions based on enstrophy and overturn thresholds quantify the nature of turbulence between different regimes, while highlighting the challenges of obtaining representative statistics in spatio-temporally intermittent flows. These insights may stimulate and assist the development of numerical simulations with a higher degree of experimental realism.


title: Maximal entanglement increase with single-photon subtraction

abstract: Entanglement is an indispensable quantum resource for quantum information technology. In continuous-variable quantum optics, photon subtraction can increase the entanglement between Gaussian states of light, but for mixed states the extent of this entanglement increase is poorly understood. In this work, we use an entanglement measure based the R\'enyi-2 entropy to prove that single-photon subtraction increases bipartite entanglement by no more than log 2. This value coincides with the maximal amount of bipartite entanglement that can be achieved with one photon. The upper bound is valid for all Gaussian input states, regardless of the number of modes and the purity.


title: Binary Operations on Neuromorphic Hardware with Application to Linear Algebraic Operations and Stochastic Equations

abstract: Non-von Neumann computational hardware, based on neuron-inspired, non-linear elements connected via linear, weighted synapses -- so-called neuromorphic systems -- is a viable computational substrate. Since neuromorphic systems have been shown to use less power than CPUs for many applications, they are of potential use in autonomous systems such as robots, drones, and satellites, for which power resources are at a premium. The power used by neuromorphic systems is approximately proportional to the number of spiking events produced by neurons on-chip. However, typical information encoding on these chips is in the form of firing rates that unarily encode information. That is, the number of spikes generated by a neuron is meant to be proportional to an encoded value used in a computation or algorithm. Unary encoding is less efficient (produces more spikes) than binary encoding. For this reason, here we present neuromorphic computational mechanisms for implementing binary two's complement operations. We use the mechanisms to construct a neuromorphic, binary matrix multiplication algorithm that may be used as a primitive for linear differential equation integration, deep networks, and other standard calculations. We also construct a random walk circuit and apply it in Brownian motion simulations. We study how both algorithms scale in circuit size and iteration time.


title: Superconcentration in surface growth

abstract: Height functions of growing random surfaces are often conjectured to be superconcentrated, meaning that their variances grow sublinearly in time. This article introduces a new concept, called subroughness, meaning that there exist two distinct points such that the expected squared difference between the heights at these points grows sublinearly in time. The main result of the paper is that superconcentration is equivalent to subroughness in a class of growing random surfaces. The result is applied to establish superconcentration in a variant of the restricted solid-on-solid (RSOS) model and in a variant of the ballistic deposition model, and give new proofs of superconcentration in directed last-passage percolation and directed polymers.

categories: math.PR cond-mat.stat-mech math-ph math.MP


title: Spin polarization induced by the hydrodynamic gradients

abstract: We systematically analyze the effects of the derivatives of the hydrodynamic fields on axial Wigner function that describes the spin polarization vector in phase space. We have included all possible first-order derivative contributions that are allowed by symmetry and compute the associated transport functions at one-loop using the linear response theory. In addition to reproducing known effects due to the temperature gradient and vorticity, we have identified a number of potentially significant contributions that are overlooked previously. In particular, we find that the shear strength, the symmetric and traceless part of the flow gradient, will induce a quadrupole for spin polarization in the phase space. We refer to this novel effect as the shear-induced polarization (SIP). Our results, together with hydrodynamic gradients obtained from hydrodynamic simulations, can be employed as a basis for the interpretation of the $\Lambda$ (anti-$\Lambda$) spin polarization measurement in heavy-ion collisions.


title: Circumbinary habitable zones in the presence of a giant planet

abstract: Determining habitable zones in binary star systems can be a challenging task due to the combination of perturbed planetary orbits and varying stellar irradiation conditions. The concept of "dynamically informed habitable zones" allows us, nevertheless, to make predictions on where to look for habitable worlds in such complex environments. Dynamically informed habitable zones have been used in the past to investigate the habitability of circumstellar planets in binary systems and Earth-like analogs in systems with giant planets. Here, we extend the concept to potentially habitable worlds on circumbinary orbits. We show that habitable zone borders can be found analytically even when another giant planet is present in the system. By applying this methodology to Kepler-16, Kepler-34, Kepler-35, Kepler-38, Kepler-64, Kepler-413, Kepler-453, Kepler-1647 and Kepler-1661 we demonstrate that the presence of the known giant planets in the majority of those systems does not preclude the existence of potentially habitable worlds. Among the investigated systems Kepler-35, Kepler-38 and Kepler-64 currently seem to offer the most benign environment. In contrast, Kepler-16 and Kepler-1647 are unlikely to host habitable worlds.


title: A proposal for practical multidimensional quantum networks

abstract: A Quantum Internet, i.e., a global interconnection of quantum devices, is the long term goal of quantum communications, and has so far been based on two-dimensional systems (qubits). Recent years have seen a significant development of high-dimensional quantum systems (qudits). While qudits present higher photon information efficiency and robustness to noise, their use in quantum networks present experimental challenges due to the impractical resources required in high-dimensional quantum repeaters. Here, we show that such challenges can be met via the use of standard quantum optical resources, such as weak coherent states or weak squeezed states, and linear optics. We report a concrete design and simulations of an entanglement swapping scheme for three and four dimensional systems, showing how the network parameters can be tuned to optimize secret key rates and analysing the enhanced noise robustness at different dimensions. Our work significantly simplifies the implementation of high-dimensional quantum networks, fostering their development with current technology.


title: ReconResNet: Regularised Residual Learning for MR Image Reconstruction of Undersampled Cartesian and Radial Data

abstract: MRI is an inherently slow process, which leads to long scan time for high-resolution imaging. The speed of acquisition can be increased by ignoring parts of the data (undersampling). Consequently, this leads to the degradation of image quality, such as loss of resolution or introduction of image artefacts. This work aims to reconstruct highly undersampled Cartesian or radial MR acquisitions, with better resolution and with less to no artefact compared to conventional techniques like compressed sensing. In recent times, deep learning has emerged as a very important area of research and has shown immense potential in solving inverse problems, e.g. MR image reconstruction. In this paper, a deep learning based MR image reconstruction framework is proposed, which includes a modified regularised version of ResNet as the network backbone to remove artefacts from the undersampled image, followed by data consistency steps that fusions the network output with the data already available from undersampled k-space in order to further improve reconstruction quality. The performance of this framework for various undersampling patterns has also been tested, and it has been observed that the framework is robust to deal with various sampling patterns, even when mixed together while training, and results in very high quality reconstruction, in terms of high SSIM (highest being 0.990$\pm$0.006 for acceleration factor of 3.5), while being compared with the fully sampled reconstruction. It has been shown that the proposed framework can successfully reconstruct even for an acceleration factor of 20 for Cartesian (0.968$\pm$0.005) and 17 for radially (0.962$\pm$0.012) sampled data. Furthermore, it has been shown that the framework preserves brain pathology during reconstruction while being trained on healthy subjects.


title: Asymptotics of Muttalib-Borodin determinants with Fisher-Hartwig singularities

abstract: Muttalib-Borodin determinants are generalizations of Hankel determinants and depend on a parameter $\theta>0$. In this paper, we obtain large $n$ asymptotics for $n \times n$ Muttalib-Borodin determinants whose weight possesses an arbitrary number of Fisher-Hartwig singularities. As a corollary, we obtain asymptotics for the expectation and variance of the real and imaginary parts of the logarithm of the characteristic polynomial, several central limit theorems, and some global bulk rigidity upper bounds. Our results are valid for all $\theta > 0$.


title: A universal correlation between warm and hot gas in the stripped tails of cluster galaxies

abstract: The impact of ram pressure stripping on galaxy evolution is well known. Recent multi-wavelength data have revealed many examples of galaxies undergoing stripping, often accompanied with multi-phase tails. As energy transfer in the multi-phase medium is an outstanding question in astrophysics, galaxies in stripping are great objects to study. Despite the recent burst of observational evidence, the relationship between gas in different phases in the tails is poorly known. Here we report a strong linear correlation between the X-ray surface brightness and the H$\alpha$ surface brightness of the diffuse gas in the stripped tails at $\sim$ 10 - 40 kpc scales, with a slope of $\sim$ 3.5. This discovery provides evidence for the mixing of the stripped interstellar medium with the hot intracluster medium as the origin of the multi-phase tails. The established relation in stripped tails, also in comparison with the likely related correlations in similar environments like galactic winds and X-ray cool cores, provides an important test for models of energy transfer in the multi-phase gas. It also indicates the importance of the H$\alpha$ data to study clumping and turbulence in the intracluster medium.


title: Human Brain Mapping with Multi-Thousand Channel PtNRGrids Resolves Novel Spatiotemporal Dynamics

abstract: Electrophysiological devices are critical for mapping eloquent and diseased brain regions and for therapeutic neuromodulation in clinical settings and are extensively utilized for research in brain-machine interfaces. However, the existing devices are often limited in either spatial resolution or cortical coverage, even including those with thousands of channels used in animal experiments. Here, we developed scalable manufacturing processes and dense connectorization to achieve reconfigurable thin-film, multi-thousand channel neurophysiological recording grids using platinum-nanorods (PtNRGrids). With PtNRGrids, we have achieved a multi-thousand channel array of small (30 {\mu}m) contacts with low impedance, providing unparalleled spatial and temporal resolution over a large cortical area. We demonstrate that PtNRGrids can resolve sub-millimeter functional organization of the barrel cortex in anesthetized rats that captured the histochemically-demonstrated structure. In the clinical setting, PtNRGrids resolved fine, complex temporal dynamics from the cortical surface in an awake human patient performing grasping tasks. Additionally, the PtNRGrids identified the spatial spread and dynamics of epileptic discharges in a patient undergoing epilepsy surgery at 1 mm spatial resolution, including activity induced by direct electrical stimulation. Collectively, these findings demonstrate the power of the PtNRGrids to transform clinical mapping and research with brain-machine interfaces and highlights a path toward novel therapeutics.

categories: physics.app-ph cond-mat.mtrl-sci physics.bio-ph physics.med-ph


title: The role of vimentin-nuclear interactions in persistent cell motility through confined spaces

abstract: The ability of cells to move through small spaces depends on the mechanical properties of the cellular cytoskeleton and on nuclear deformability. In mammalian cells, the cytoskeleton is comprised of three interacting, semi-flexible polymer networks: actin, microtubules, and intermediate filaments (IF). Recent experiments of mouse embryonic fibroblasts with and without vimentin have shown that the IF vimentin plays a role in confined cell motility. We, therefore, develop a minimal model of cells moving through confined geometries that effectively includes all three types of cytoskeletal filaments with a cell consisting of an actomyosin cortex and a deformable cell nucleus and mechanical connections between the two cortices the outer actomyosin one and the inner nuclear one. By decreasing the amount of vimentin, we find that the cell speed is typically faster for vimentin-null cells as compared to cells with vimentin. Vimentin-null cells also contain more deformed nuclei in confinement. Finally, vimentin affects nucleus positioning within the cell. By positing that as the nucleus position deviates further from the center of mass of the cell, microtubules become more oriented in a particular direction to enhance cell persistence or polarity, we show that vimentin-nulls are more persistent than vimentin-full cells. The enhanced persistence indicates that the vimentin-null cells are more subjugated by the confinement since their internal polarization mechanism that depends on cross-talk of the centrosome with the nucleus and other cytoskeletal connections is diminished. In other words, the vimentin-null cells rely more heavily on external cues. Our modeling results present a quantitative interpretation for recent experiments and have implications for understanding the role of vimentin in the epithelial-mesenchymal transition.


title: Hard x-ray photoemission study on strain effect in LaNiO$_3$ thin films

abstract: The strain effect from a substrate is an important experimental route to control electronic and magnetic properties in transition-metal oxide (TMO) thin films. Using hard x-ray photoemission spectroscopy, we investigate the strain dependence of the valence states in LaNiO$_{3}$ thin films, strongly correlated perovskite TMO, grown on four substrates: LaAlO$_{3}$, (LaAlO$_{3}$)$_{0.3}$(SrAl$_{0.5}$Ta$_{0.5}$O$_{3}$)$_{0.7}$, SrTiO$_{3}$, and DyScO$_{3}$. A Madelung potential analysis of core-level spectra suggests that the point-charge description is valid for the La ions while it breaks down for Ni and O ions due to a strong covalent bonding between the two. A clear x-ray photon-energy dependence of the valence spectra is analyzed by the density functional theory, which points to a presence of the La 5$p$ state near the Fermi level.


title: Integral operators induced by symbols with non-negative Maclaurin coefficients mapping into $H^\infty$

abstract: For analytic functions $g$ on the unit disc with non-negative Maclaurin coefficients, we describe the boundedness and compactness of the integral operator $T_g(f)(z)=\int_0^zf(\zeta)g'(\zeta)\,d\zeta$ from a space $X$ of analytic functions in the unit disc to $H^\infty$, in terms of neat and useful conditions on the Maclaurin coefficients of $g$. The choices of $X$ that will be considered contain the Hardy and the Hardy-Littlewood spaces, the Dirichlet-type spaces $D^p_{p-1}$, as well as the classical Bloch and BMOA spaces.


title: Mixed Precision $s$-step Lanczos and Conjugate Gradient Algorithms

abstract: Compared to the classical Lanczos algorithm, the $s$-step Lanczos variant has the potential to improve performance by asymptotically decreasing the synchronization cost per iteration. However, this comes at a cost. Despite being mathematically equivalent, the $s$-step variant is known to behave quite differently in finite precision, with potential for greater loss of accuracy and a decrease in the convergence rate relative to the classical algorithm. It has previously been shown that the errors that occur in the $s$-step version follow the same structure as the errors in the classical algorithm, but with the addition of an amplification factor that depends on the square of the condition number of the $O(s)-$dimensional Krylov bases computed in each outer loop. As the condition number of these $s$-step bases grows (in some cases very quickly) with $s$, this limits the parameter $s$ that can be chosen and thus limits the performance that can be achieved. In this work we show that if a select few computations in $s$-step Lanczos are performed in double the working precision, the error terms then depend only linearly on the conditioning of the $s$-step bases. This has the potential for drastically improving the numerical behavior of the algorithm with little impact on per-iteration performance. Our numerical experiments demonstrate the improved numerical behavior possible with the mixed precision approach, and also show that this improved behavior extends to the $s$-step CG algorithm in mixed precision.


title: Computational power of one- and two-dimensional dual-unitary quantum circuits

abstract: Quantum circuits that are classically simulatable tell us when quantum computation becomes less powerful than or equivalent to classical computation. Such classically simulatable circuits are of importance because they illustrate what makes universal quantum computation different from classical computers. In this work, we propose a novel family of classically simulatable circuits by making use of dual-unitary quantum circuits (DUQCs), which have been recently investigated as exactly solvable models of non-equilibrium physics, and we characterize their computational power. Specifically, we investigate the computational complexity of the problem of calculating local expectation values and the sampling problem of one-dimensional DUQCs, and we generalize them to two spatial dimensions. We reveal that a local expectation value of a DUQC is classically simulatable at an early time, which is linear in a system length. In contrast, in a late time, they can perform universal quantum computation, and the problem becomes a BQP-complete problem. Moreover, classical simulation of sampling from a DUQC turns out to be hard.


title: To cool is to keep: Residual H/He atmospheres of super-Earths and sub-Neptunes

abstract: Super-Earths and sub-Neptunes are commonly thought to have accreted hydrogen/helium envelopes, consisting of a few to ten percent of their total mass, from the primordial gas disk. Subsequently, hydrodynamic escape driven by core-powered mass-loss and/or photo-evaporation likely stripped much of these primordial envelopes from the lower-mass and closer-in planets to form the super-Earth population. In this work we show that after undergoing core-powered mass-loss, some super-Earths can retain small residual H/He envelopes. This retention is possible because, for significantly depleted atmospheres, the density at the radiative-convective boundary drops sufficiently such that thhe cooling time-scale becomes less than the mass-loss time-scale. The residual envelope is therefore able to contract, terminating further mass loss. Using analytic calculations and numerical simulations, we show that the mass of primordial H/He envelope retained as a fraction of the planet's total mass, $f_{ret}$, increases with increasing planet mass, $M_{c}$, and decreases with increasing equilibrium temperature, $T_{eq}$, scaling as $f_{ret} \propto M_{c}^{3/2} T_{eq}^{-1/2} \exp{[M_{c}^{3/4} T_{eq}^{-1}]}$. $f_{ret}$ varies from $< 10^{-8}$ to about $10^{-3}$ for typical super-Earth parameters. To first order, the exact amount of left-over H/He depends on the initial envelope mass, the planet mass, its equilibrium temperature, and the envelope's opacity. These residual hydrogen envelopes reduce the atmosphere's mean molecular weight compared to a purely secondary atmosphere, a signature observable by current and future facilities. These remnant atmospheres may, however, in many cases be vulnerable to long-term erosion by photo-evaporation. Any residual hydrogen envelope likely plays an important role in the long-term physical evolution of super-Earths, including their geology and geochemistry.