title: Numerical computation of periodic orbits and isochrons for state-dependent delay perturbation of an ODE in the plane

abstract: We present algorithms and their implementation to compute limit cycles and their isochrons for state-dependent delay equations (SDDE's) which are perturbed from a planar differential equation with a limit cycle. Note that the space of solutions of an SDDE is infinite dimensional. We compute a two parameter family of solutions of the SDDE which converge to the solutions of the ODE as the perturbation goes to zero in a neighborhood of the limit cycle. The method we use formulates functional equations among periodic functions (or functions converging exponentially to periodic). The functional equations express that the functions solve the SDDE. Therefore, rather than evolving initial data and finding solutions of a certain shape, we consider spaces of functions with the desired shape and require that they are solutions. The mathematical theory of these invariance equations is developed in a companion paper, which develops "a posteriori" theorems. They show that, if there is a sufficiently approximate solution (with respect to some explicit condition numbers), then there is a true solution close to the approximate one. Since the numerical methods produce an approximate solution, and provide estimates of the condition numbers, we can make sure that the numerical solutions we consider approximate true solutions. In this paper, we choose a systematic way to approximate functions by a finite set of numbers (Taylor-Fourier series) and develop a toolkit of algorithms that implement the operators -- notably composition -- that enter into the theory. We also present several implementation results and present the results of running the algorithms and their implementation in some representative cases.


title: Toward Enabling Reproducibility for Data-Intensive Research using the Whole Tale Platform

abstract: Whole Tale http://wholetale.org is a web-based, open-source platform for reproducible research supporting the creation, sharing, execution, and verification of "Tales" for the scientific research community. Tales are executable research objects that capture the code, data, and environment along with narrative and workflow information needed to re-create computational results from scientific studies. Creating reproducible research objects that enable reproducibility, transparency, and re-execution for computational experiments requiring significant compute resources or utilizing massive data is an especially challenging open problem. We describe opportunities, challenges, and solutions to facilitating reproducibility for data- and compute-intensive research, that we call "Tales at Scale," using the Whole Tale computing platform. We highlight challenges and solutions in frontend responsiveness needs, gaps in current middleware design and implementation, network restrictions, containerization, and data access. Finally, we discuss challenges in packaging computational experiment implementations for portable data-intensive Tales and outline future work.


title: A Search for Extra-Tidal RR Lyrae in the Globular Cluster NGC 5024 and NGC 5053

abstract: Recently, Kundu et al (2019) reported that the globular cluster NGC 5024 (M53) possesses five extra-tidal RR Lyrae. In fact, four of them were instead known members of a nearby globular cluster NGC 5053. The status of the remaining extra-tidal RR Lyrae is controversial depending on the adopted tidal radius of NGC 5024. We have also searched for additional extra-tidal RR Lyrae within an area of $\sim8$~deg$^2$ covering both globular clusters. This includes other known RR Lyrae within the search area, as well as stars that fall within the expected range of magnitudes and colors for RR Lyrae (and yet outside the cutoff of 2/3 of the tidal radii of each globular clusters for something to be called "extra-tidal") if they were extra-tidal RR Lyrae candidates for NGC 5024 or NGC 5053. Based on the the proper motion information and their locations on the color-magnitude diagram, none of the known RR Lyrae belong to the extra-tidal RR Lyrae of either globular clusters. In the cases where the stars satisfied the magnitude and color ranges of RR Lyrae, analysis of time series data taken from the Zwicky Transient Facility do not reveal periodicities, suggesting that none of these stars are RR Lyrae. We conclude that there are no extra-tidal RR Lyrae associated with either NGC 5024 or NGC 5053 located within our search area.


title: Apple Defect Detection Using Deep Learning Based Object Detection For Better Post Harvest Handling

abstract: The inclusion of Computer Vision and Deep Learning technologies in Agriculture aims to increase the harvest quality, and productivity of farmers. During postharvest, the export market and quality evaluation are affected by assorting of fruits and vegetables. In particular, apples are susceptible to a wide range of defects that can occur during harvesting or/and during the post-harvesting period. This paper aims to help farmers with post-harvest handling by exploring if recent computer vision and deep learning methods such as the YOLOv3 (Redmon & Farhadi (2018)) can help in detecting healthy apples from apples with defects.


title: On the inversion of isobaric-analogue states in nuclei

abstract: Isospin is an approximate symmetry in atomic nuclei, arising from the rather similar properties of protons and neutrons. Perhaps the clearest manifestation of isospin within nuclei is in the near-identical structure of excited states in mirror nuclei: nuclei with inverted numbers of protons and neutrons. Isospin symmetry, and therefore mirror-symmetry, is broken by electromagnetic interactions and the difference in the masses of the up and down quarks. A recent study by Hoff and collaborators presented evidence that the ground-state spin of $^{73}$Sr is different from that of its mirror, $^{73}$Br, due to an inversion of the ground- and first-excited states, separated by only 27 keV in the $^{73}$Br system. In this brief note, we place this inversion within the necessary context of the past half-century of experimental and theoretical work, and show that it is entirely consistent with normal behaviour, and affords no new insight into isospin-symmetry breaking. The essential point is that isospin-breaking effects due to the Coulomb interaction frequently vary from level to level within a given medium-mass nucleus by as much as 200 keV. Any level splitting smaller than this is liable to manifest a level inversion in the mirror partner which, absent disagreement with an appropriate nuclear model, does not challenge our understanding. While we note the novelty of an inversion in nuclear ground states, we emphasize that in the context of isospin there is nothing specifically illuminating about the ground state, or a level inversion.


title: Understanding the Nature of System-Related Issues in Machine Learning Frameworks: An Exploratory Study

abstract: Modern systems are built using development frameworks. These frameworks have a major impact on how the resulting system executes, how configurations are managed, how it is tested, and how and where it is deployed. Machine learning (ML) frameworks and the systems developed using them differ greatly from traditional frameworks. Naturally, the issues that manifest in such frameworks may differ as well---as may the behavior of developers addressing those issues. We are interested in characterizing the system-related issues---issues impacting performance, memory and resource usage, and other quality attributes---that emerge in ML frameworks, and how they differ from those in traditional frameworks. We have conducted a moderate-scale exploratory study analyzing real-world system-related issues from 10 popular machine learning frameworks. Our findings offer implications for the development of machine learning systems, including differences in the frequency of occurrence of certain issue types, observations regarding the impact of debate and time on issue correction, and differences in the specialization of developers. We hope that this exploratory study will enable developers to improve their expectations, plan for risk, and allocate resources accordingly when making use of the tools provided by these frameworks to develop ML-based systems.


title: Adaptive Double-Exploration Tradeoff for Outlier Detection

abstract: We study a variant of the thresholding bandit problem (TBP) in the context of outlier detection, where the objective is to identify the outliers whose rewards are above a threshold. Distinct from the traditional TBP, the threshold is defined as a function of the rewards of all the arms, which is motivated by the criterion for identifying outliers. The learner needs to explore the rewards of the arms as well as the threshold. We refer to this problem as "double exploration for outlier detection". We construct an adaptively updated confidence interval for the threshold, based on the estimated value of the threshold in the previous rounds. Furthermore, by automatically trading off exploring the individual arms and exploring the outlier threshold, we provide an efficient algorithm in terms of the sample complexity. Experimental results on both synthetic datasets and real-world datasets demonstrate the efficiency of our algorithm.


title: Stabilizing Congestion in Decentralized Record-Keepers

abstract: We argue that recent developments in proof-of-work consensus mechanisms can be used in accordance with advancements in formal verification techniques to build a distributed payment protocol that addresses important economic drawbacks from cost efficiency, scalability and adaptablity common to current decentralized record-keeping systems. We enable the protocol to autonomously adjust system throughput according to a feasibly computable statistic - system difficulty. We then provide a formal economic analysis of a decentralized market place for record-keeping that is consistent with our protocol design and show that, when block rewards are zero, the system admits stable, self-regulating levels of transaction fees and wait-times across varying levels of demand. We also provide an analysis of the various technological requirements needed to instantiate such a system in a commercially viable setting, and identify relevant research directions.


title: Robust Control Invariance and Communication Scheduling in Lossy Wireless Networked Control Systems

abstract: In Networked Control Systems (NCS) impairments of the communication channel can be disruptive to stability and performance. In this paper, we consider the problem of scheduling the access to limited communication resources for a number of decoupled closed-loop systems subject to state and input constraint. The control objective is to preserve the invariance property of local state and input sets, such that constraint satisfaction can be guaranteed. Offline and online, state feedback scheduling policies are proposed and illustrated through numerical examples, also in case the network is subject to packet losses.


title: Exchangeability, Conformal Prediction, and Rank Tests

abstract: Conformal prediction has been a very popular method of distribution-free predictive inference in recent years in machine learning and statistics. Its popularity stems from the fact that it works as a wrapper around any prediction algorithm such as neural networks or random forests. Exchangeability is at the core of the validity of conformal prediction. The concept of exchangeability is also at the core of rank tests widely known in nonparametric statistics. In this paper, we review the concept of exchangeability and discuss the implications for conformal prediction and rank tests. We provide a low-level introduction to these topics, and discuss the similarities between conformal prediction and rank tests.


title: Topological quantum switch and controllable quasi 1D wires in antimonene

abstract: Based on the recently found non-trivial topology of buckled antimonene, we propose the conceptual design of a quantized switch that is protected by topology and a mechanism to create configurable 1D wire channels. We show that the topologically required edge states in this system can be turned on and off by breaking the inversion symmetry (reducing the symmetry from $S_6$ to $C_3$), which can be achieved by gating the system. This is shown to create a field-effect quantum switch projected by topology. Secondly we show that by locally gating the system with different polarity in different areas, a soliton-like domain wall is created at their interface, which hosts a protected electronic state, in which transport could be accessed by gated doping.


title: A concordance scenario for the observed neutrino from a Tidal Disruption Event

abstract: During a tidal disruption event, a star is torn apart by the tidal forces of a supermassive black hole, with about 50% of the star's mass eventually accreted by the black hole. The resulting flare can, in extreme cases of super-Eddington mass accretion, result in a relativistic jet. While tidal disruption events have been theoretically proposed as sources of high-energy cosmic rays and neutrinos, stacking searches indicate that their contribution to the diffuse extragalactic neutrino flux is very low. However, a recent association of a track-like astrophysical neutrino with a tidal disruption event (AT2019dsg) indicates that some tidal disruption events can accelerate cosmic rays to PeV energies. Here we introduce a phenomenological concordance scenario with a relativistic jet to explain this association: an expanding cocoon progressively obscures the X-rays emitted by the accretion disk, while at the same time providing a sufficiently intense external target of back-scattered X-rays for the production of neutrinos via proton-photon interactions. We also reproduce the delay (relative to the peak) of the neutrino emission by scaling the production radius with the black body radius. Our energetics and assumptions for the jet and the cocoon are compatible with expectations from numerical simulations of tidal disruption events.


title: Manipulation of heteronuclear spin dynamics with microwave and vector light shift

abstract: We report the observation and manipulation of heteronuclear spin dynamics in a spin-1 mixture of ultracold $^{87}$Rb and $^{23}$Na atoms. The dynamics is driven by the interspecies spin-dependent interaction and shows a pronounced dependence on magnetic fields with influences from both linear and quadratic Zeeman shifts. Similar to the well-studied homonuclear cases, the interspecies spin dynamics can be controlled by tuning the quadratic Zeeman shift with far-detuned microwave fields. In addition, we successfully realize spin dynamics control with vector light shifts which act as a species-selective effective magnetic field on $^{87}$Rb atoms. Both methods show negligible loss of atoms thus will be powerful techniques for investigating spin dynamics with fast temporal and high spatial resolutions.


title: Nowcast of an EUV dynamic spectrum during solar flares

abstract: In addition to X-rays, extreme ultraviolet (EUV) rays radiated from solar flares can cause serious problems, such as communication failures and satellite drag. Therefore, methods for forecasting EUV dynamic spectra during flares are urgently required. Recently, however, owing to the lack of instruments, EUV dynamic spectra have rarely been observed. Hence, we develop a new method that converts the soft X-ray light curve observed during large flare events into an EUV dynamic spectrum by using the Solar Dynamics Observatory / Atmospheric Imaging Assembly images, a numerical simulation, and atomic database. The simulation provides the solution for a coronal loop that is heated by a strong flare, and the atomic database calculates its dynamic spectrum, including X-ray and EUV irradiances. The coefficients needed for the conversion can be calculated by comparing the observed soft X-ray light curve with that of the simulation. We apply our new method to three flares that occurred in the active region 12673 on September 06, 2017. The results show similarities to those of the Flare Irradiance Spectral Model, and reconstruct some of the EUV peaks observed by the EUV Variability Experiment onboard the Solar Dynamics Observatory.


title: Structure and Algorithm for Path of Solutions to a Class of Fused Lasso Problems

abstract: We study a class of fused lasso problems where the estimated parameters in a sequence are regressed toward their respective observed values (fidelity loss), with $\ell_1$ norm penalty (regularization loss) on the differences between successive parameters, which promotes local constancy. In many applications, there is a coefficient, often denoted as $\lambda$, on the regularization term, which adjusts the relative importance between the two losses. In this paper, we characterize how the optimal solution evolves with the increment of $\lambda$. We show that, if all fidelity loss functions are convex piecewise linear, the optimal value for \emph{each} variable changes at most $O(nq)$ times for a problem of $n$ variables and total $q$ breakpoints. On the other hand, we present an algorithm that solves the path of solutions of \emph{all} variables in $\tilde{O}(nq)$ time for all $\lambda \geq 0$. Interestingly, we find that the path of solutions for each variable can be divided into up to $n$ locally convex-like segments. For problems of arbitrary convex loss functions, for a given solution accuracy, one can transform the loss functions into convex piecewise linear functions and apply the above results, giving pseudo-polynomial bounds as $q$ becomes a pseudo-polynomial quantity. To our knowledge, this is the first work to solve the path of solutions for fused lasso of non-quadratic fidelity loss functions.


title: A Cyber Physical System Framework for UAV Communications

abstract: Diverse applications have witnessed the prevalence of unmanned aerial vehicles (UAVs) due to their agility and versatility. Compared with computation and control, the communication tends to be the bottleneck of the whole UAV system. Cyber physical system (CPS), which achieves the integration of the cyber and physical domains, can inspire us to deal with the communication problems through a cross-disciplinary method. To this end, we first expound the coupling effects of computation and control to communication. Then, we propose a novel CPS framework for UAV communications. By extending the dimension of communication decisions to computation and control, the framework can precisely orient and settle the communication issues. Further, a quantitative energy optimization model is established to guide the protocol and algorithm design for UAV communications. Case simulation results validate the CPS framework in terms of the energy consumption and communication delay.


title: Semantic prefetching using forecast slices

abstract: Modern prefetchers identify memory access patterns in order to predict future accesses. However, many applications exhibit irregular access patterns that do not manifest spatio-temporal locality in the memory address space. Such applications usually do not fall under the scope of existing prefetching techniques, which observe only the stream of addresses dispatched by the memory unit but not the code flows that produce them. Similarly, temporal correlation prefetchers detect recurring relations between accesses, but do not track the chain of causality in program code that manifested the memory locality. Conversely, techniques that are code-aware are limited to the basic program functionality and are bounded by the machine depth. In this paper we show that contextual analysis of the code flows that generate memory accesses can detect recurring code patterns and expose their underlying semantics even for irregular access patterns. Moreover, program locality artifacts can be used to enhance the memory traversal code and predict future accesses. We present the semantic prefetcher that analyzes programs at run-time and learns their memory dependency chains and address calculation flows. The prefetcher then constructs forecast slices and injects them at key points to trigger timely prefetching of future contextually-related iterations. We show how this approach takes the best of both worlds, augmenting code injection with forecast functionality and relying on context-based temporal correlation of code slices. This combination allows us to overcome critical memory latencies that are currently not covered by any other prefetcher. Our evaluation of the semantic prefetcher using an industrial-grade, cycle-accurate x86 simulator shows that it improves performance by 24% on average over SPEC 2006 (outliers up to 3.7x), and 16% on average over SPEC 2017 (outliers up to 1.85x), using only ~6KB.


title: Intermediate Luminosity Red Transients by Black Holes Born from Erupting Massive Stars

abstract: We consider black hole formation in failed supernovae when a dense circumstellar medium (CSM) is present around the massive star progenitor. By utilizing radiation hydrodynamical simulations, we calculate the mass ejection of blue supergiants and Wolf-Rayet stars in the collapsing phase and the radiative shock occurring between the ejecta and the ambient CSM. We find that the resultant emission is redder and dimmer than normal supernovae (bolometric luminosity of $\sim 10^{40}-10^{41}\ {\rm erg\ s^{-1}}$, effective temperature of $\sim 5\times 10^3$ K, and timescale of 10-100 days) and shows a characteristic power-law decay, which may comprise a fraction of intermediate luminosity red transients (ILRTs) including AT 2017be. In addition to searching for the progenitor star in the archival data, we encourage X-ray follow-up observations of such ILRTs $\sim$ 1-10 yr after the collapse, targeting the fallback accretion disk.


title: Time Dependent Variational Principle with Ancillary Krylov Subspace

abstract: We propose an improved scheme to do the time dependent variational principle (TDVP) in finite matrix product states (MPS) for two-dimensional systems or one-dimensional systems with long range interactions. We present a method to represent the time-evolving state in a MPS with its basis enriched by state-averaging with global Krylov vectors. We show that the projection error is significantly reduced so that precise time evolution can still be obtained even if a larger time step is used. Combined with the one-site TDVP, our approach provides a way to dynamically increase the bond dimension while still preserving unitarity for real time evolution. Our method can be more accurate and exhibit slower bond dimension growth than the conventional two-site TDVP.


title: Proxy Experience Replay: Federated Distillation for Distributed Reinforcement Learning

abstract: Traditional distributed deep reinforcement learning (RL) commonly relies on exchanging the experience replay memory (RM) of each agent. Since the RM contains all state observations and action policy history, it may incur huge communication overhead while violating the privacy of each agent. Alternatively, this article presents a communication-efficient and privacy-preserving distributed RL framework, coined federated reinforcement distillation (FRD). In FRD, each agent exchanges its proxy experience replay memory (ProxRM), in which policies are locally averaged with respect to proxy states clustering actual states. To provide FRD design insights, we present ablation studies on the impact of ProxRM structures, neural network architectures, and communication intervals. Furthermore, we propose an improved version of FRD, coined mixup augmented FRD (MixFRD), in which ProxRM is interpolated using the mixup data augmentation algorithm. Simulations in a Cartpole environment validate the effectiveness of MixFRD in reducing the variance of mission completion time and communication cost, compared to the benchmark schemes, vanilla FRD, federated reinforcement learning (FRL), and policy distillation (PD).


title: Inequality, a scourge of the XXI century

abstract: Social and economic inequality is a plague of the XXI Century. It is continuously widening, as the wealth of a relatively small group increases and, therefore, the rest of the world shares a shrinking fraction of resources. This situation has been predicted and denounced by economists and econophysicists. The latter ones have widely used models of market dynamics which consider that wealth distribution is the result of wealth exchanges among economic agents. A simple analogy relates the wealth in a society with the kinetic energy of the molecules in a gas, and the trade between agents to the energy exchange between the molecules during collisions. However, while in physical systems, thanks to the equipartition of energy, the gas eventually arrives at an equilibrium state, in many exchange models the economic system never equilibrates. Instead, it moves toward a "condensed" state, where one or a few agents concentrate all the wealth of the society and the rest of agents shares zero or a very small fraction of the total wealth. Here we discuss two ways of avoiding the "condensed" state. On one hand, we consider a regulatory policy that favors the poorest agent in the exchanges, thus increasing the probability that the wealth goes from the richest to the poorest agent. On the other hand, we study a tax system and its effects on wealth distribution. We compare the redistribution processes and conclude that complete control of the inequalities can be attained with simple regulations or interventions.


title: Adversarial examples are useful too!

abstract: Deep learning has come a long way and has enjoyed an unprecedented success. Despite high accuracy, however, deep models are brittle and are easily fooled by imperceptible adversarial perturbations. In contrast to common inference-time attacks, Backdoor (\aka Trojan) attacks target the training phase of model construction, and are extremely difficult to combat since a) the model behaves normally on a pristine testing set and b) the augmented perturbations can be minute and may only affect few training samples. Here, I propose a new method to tell whether a model has been subject to a backdoor attack. The idea is to generate adversarial examples, targeted or untargeted, using conventional attacks such as FGSM and then feed them back to the classifier. By computing the statistics (here simply mean maps) of the images in different categories and comparing them with the statistics of a reference model, it is possible to visually locate the perturbed regions and unveil the attack.


title: The inertial sea wave energy converter (ISWEC) technology: device-physics, multiphase modeling and simulations

abstract: In this paper we investigate the dynamics of the inertial wave energy converter (ISWEC) device using fully-resolved computational fluid dynamics (CFD) simulations. Originally prototyped by Polytechnic University of Turin, the device consists of a floating, boat-shaped hull that is slack-moored to the sea bed. Internally, a gyroscopic power take off (PTO) unit converts the wave-induced pitch motion of the hull into electrical energy. The CFD model is based on the incompressible Navier-Stokes equations and utilizes the fictitious domain Brinkman penalization technique to couple the device physics and water wave dynamics. A numerical wave tank is used to emulate realistic sea operating conditions. A Froude scaling analysis is performed to enable two- and three-dimensional simulations for a scaled-down (1:20) ISWEC model. It is demonstrated that the scaled-down 2D model is sufficient to accurately simulate the hull's pitching motion and to predict the power generation capability of the converter. A systematic parameter study of the ISWEC is conducted, and its optimal performance in terms of power generation is determined based on the hull and gyroscope control parameters. It is demonstrated that the device achieves peak performance when the gyroscope specifications are chosen based on reactive control theory. It is shown that a proportional control of the PTO control torque is required to generate continuous gyroscope precession effects, without which the device generates no power. In an inertial reference frame, it is demonstrated that the yaw and pitch torques acting on the hull are of the same order of magnitude, informing future design investigations of the ISWEC technology. Further, an energy transfer pathway from the water waves to the hull, the hull to the gyroscope, and the gyroscope to the PTO unit is analytically described and numerically verified.


title: Entire spacelike hypersurfaces with constant $\sigma_{n-1}$ curvature in Minkowski space

abstract: We prove that, in Minkowski space, if a spacelike, $(n-1)$-convex hypersurface $M$ with constant $\sigma_{n-1}$ curvature has bounded principal curvatures, then $M$ is convex. Moreover, if $M$ is not strictly convex, after an $\mathbb{R}^{n,1}$ rigid motion, $M$ splits as a product $M^{n-1}\times\mathbb{R}.$ We also construct nontrivial examples of strictly convex, spacelike hypersurface $M$ with constant $\sigma_{n-1}$ curvature and bounded principal curvatures.


title: Layered Antiferromagnetism Induces Large Negative Magnetoresistance in the van der Waals Semiconductor CrSBr

abstract: The recent discovery of magnetism within the family of exfoliatable van der Waals (vdW) compounds has attracted considerable interest in these materials for both fundamental research and technological applications. However current vdW magnets are limited by their extreme sensitivity to air, low ordering temperatures, and poor charge transport properties. Here we report the magnetic and electronic properties of CrSBr, an air-stable vdW antiferromagnetic semiconductor that readily cleaves perpendicular to the stacking axis. Below its N\'{e}el temperature, $T_N = 132 \pm 1$ K, CrSBr adopts an A-type antiferromagnetic structure with each individual layer ferromagnetically ordered internally and the layers coupled antiferromagnetically along the stacking direction. Scanning tunneling spectroscopy and photoluminescence (PL) reveal that the electronic gap is $\Delta_E = 1.5 \pm 0.2$ eV with a corresponding PL peak centered at $1.25 \pm 0.07$ eV. Using magnetotransport measurements, we demonstrate strong coupling between magnetic order and transport properties in CrSBr, leading to a large negative magnetoresistance response that is unique amongst vdW materials. These findings establish CrSBr as a promising material platform for increasing the applicability of vdW magnets to the field of spin-based electronics.


title: Project RISE: Recognizing Industrial Smoke Emissions

abstract: Industrial smoke emissions pose a significant concern to human health. Prior works have shown that using Computer Vision (CV) techniques to identify smoke as visual evidence can influence the attitude of regulators and empower citizens to pursue environmental justice. However, existing datasets are not of sufficient quality nor quantity to train the robust CV models needed to support air quality advocacy. We introduce RISE, the first large-scale video dataset for Recognizing Industrial Smoke Emissions. We adopted a citizen science approach to collaborate with local community members to annotate whether a video clip has smoke emissions. Our dataset contains 12,567 clips from 19 distinct views from cameras that monitored three industrial facilities. These daytime clips span 30 days over two years, including all four seasons. We ran experiments using deep neural networks to establish a strong performance baseline and reveal smoke recognition challenges. Our survey study discussed community feedback, and our data analysis displayed opportunities for integrating citizen scientists and crowd workers into the application of Artificial Intelligence for Social Impact.


title: Sharp steps in magnetization, magnetoresistance and magnetostriction in Pr0.6Sr0.4Co1-yGayO3

abstract: We report the effect of Ga substitution on magnetization, magnetoresistance, and magnetostriction in polycrystalline Pr0.6Sr0.4Co1-yGayO3 (y=0.0-0.3) samples. Upon substitution of the non-magnetic Ga3+ cation for magnetic Co3+, the low-temperature ground state transforms from ferromagnetic metallic for y = 0 to cluster glass semiconductor for y = 0.2. Magnetoresistance at 7T is negative and its magnitude increases from 2 percentage for y = 0 to 30 percentage for y = 0.3 at 10 K. On the other hand, magnetostriction at 10 K is positive and its value decreases with increasing y. Interestingly, the field-dependent magnetization, magnetoresistance, and magnetostriction for y greater than or equal to 0.2 and at T less than or equal to 3 K show reversible abrupt steps for both positive and negative magnetic field whereas all these quantities vary smoothly with the magnetic field above 4 K. Such steps in all three distinct physical quantities were never reported earlier in perovskite cobaltites and they differ from observations made in manganites and intermetallic alloys. It is suggested that field-induced avalanche flipping of ferromagnetic clusters could be the origin of observed steps in all these three quantities.


title: Stochastic Properties of Static Friction

abstract: The onset of frictional motion is mediated by rupture-like slip fronts, which nucleate locally and propagate eventually along the entire interface causing global sliding. The static friction coefficient is a macroscopic measure of the applied force at this particular instant when the frictional interface loses stability. However, experimental studies are known to present important scatter in the measurement of static friction; the origin of which remains unexplained. Here, we study the nucleation of local slip at interfaces with slip-weakening friction of random strength and analyze the resulting variability in the measured global strength. Using numerical simulations that solve the elastodynamic equations, we observe that multiple slip patches nucleate simultaneously, many of which are stable and grow only slowly, but one reaches a critical length and starts propagating dynamically. We show that a theoretical criterion based on a static equilibrium solution predicts quantitatively well the onset of frictional sliding. We develop a Monte-Carlo model by adapting the theoretical criterion and pre-computing modal convolution terms, which enables us to run efficiently a large number of samples and to study variability in global strength distribution caused by the stochastic properties of local frictional strength. The results demonstrate that an increasing spatial correlation length on the interface, representing geometric imperfections and roughness, causes lower global static friction. Conversely, smaller correlation length increases the macroscopic strength while its variability decreases. We further show that randomness in local friction properties is insufficient for the existence of systematic precursory slip events. Random or systematic non-uniformity in the driving force, such as potential energy or stress drop, is required for arrested slip fronts. Our model and observations...


title: Large Scale Multi-Actor Generative Dialog Modeling

abstract: Non-goal oriented dialog agents (i.e. chatbots) aim to produce varying and engaging conversations with a user; however, they typically exhibit either inconsistent personality across conversations or the average personality of all users. This paper addresses these issues by controlling an agent's persona upon generation via conditioning on prior conversations of a target actor. In doing so, we are able to utilize more abstract patterns within a person's speech and better emulate them in generated responses. This work introduces the Generative Conversation Control model, an augmented and fine-tuned GPT-2 language model that conditions on past reference conversations to probabilistically model multi-turn conversations in the actor's persona. We introduce an accompanying data collection procedure to obtain 10.3M conversations from 6 months worth of Reddit comments. We demonstrate that scaling model sizes from 117M to 8.3B parameters yields an improvement from 23.14 to 13.14 perplexity on 1.7M held out Reddit conversations. Increasing model scale yielded similar improvements in human evaluations that measure preference of model samples to the held out target distribution in terms of realism (31% increased to 37% preference), style matching (37% to 42%), grammar and content quality (29% to 42%), and conversation coherency (32% to 40%). We find that conditionally modeling past conversations improves perplexity by 0.47 in automatic evaluations. Through human trials we identify positive trends between conditional modeling and style matching and outline steps to further improve persona control.


title: Probabilistic Hyperproperties with Nondeterminism

abstract: We study the problem of formalizing and checking probabilistic hyperproperties for models that allow nondeterminism in actions. We extend the temporal logic \HyperPCTL, which has been previously introduced for discrete-time Markov chains, to enable the specification of hyperproperties also for Markov decision processes. We generalize HyperPCTL by allowing explicit and simultaneous quantification over schedulers and probabilistic computation trees and show that it can express important quantitative requirements in security and privacy. We show that HyperPCTL model checking over MDPs is in general undecidable for quantification over probabilistic schedulers with memory, but restricting the domain to memoryless non-probabilistic schedulers turns the model checking problem decidable. Subsequently, we propose an SMT-based encoding for model checking this language and evaluate its performance.


title: An asymptotic analysis of the Fourier-Laplace transforms of certain oscillatory functions

abstract: We study the family of Fourier-Laplace transforms $$ F_{\alpha,\beta}(z)= \operatorname*{F.p.} \int_{0}^{\infty} t^{\beta}\exp(\mathrm{i} t^{\alpha}-\mathrm{i} z t)\:\mathrm{d} t, \quad \operatorname*{Im} z<0, $$ for $\alpha>1$ and $\beta\in\mathbb{C}$, where Hadamard finite part is used to regularize the integral when $\operatorname*{Re} \beta\leq -1$. We prove that each $F_{\alpha,\beta}$ has analytic continuation to the whole complex plane and determine its asymptotics along any line through the origin. We also apply our ideas to show that some of these functions provide concrete extremal examples for the Wiener-Ikehara theorem and a quantified version of the Ingham-Karamata theorem, supplying new simple and constructive proofs of optimality results for these complex Tauberian theorems.


title: INFOTABS: Inference on Tables as Semi-structured Data

abstract: In this paper, we observe that semi-structured tabulated text is ubiquitous; understanding them requires not only comprehending the meaning of text fragments, but also implicit relationships between them. We argue that such data can prove as a testing ground for understanding how we reason about information. To study this, we introduce a new dataset called INFOTABS, comprising of human-written textual hypotheses based on premises that are tables extracted from Wikipedia info-boxes. Our analysis shows that the semi-structured, multi-domain and heterogeneous nature of the premises admits complex, multi-faceted reasoning. Experiments reveal that, while human annotators agree on the relationships between a table-hypothesis pair, several standard modeling strategies are unsuccessful at the task, suggesting that reasoning about tables can pose a difficult modeling challenge.


title: Improved Computation-Communication Trade-Off for Coded Distributed Computing using Linear Dependence of Intermediate Values

abstract: In large scale distributed computing systems, communication overhead is one of the major bottlenecks. In the map-shuffle-reduce framework, which is one of the major distributed computing frameworks, the communication load among servers can be reduced by increasing the computation load of each server, that is, there is a trade-off between computation load and communication load. Recently, it has been shown that coded distributed computing (CDC) improves this trade-off relationship by letting servers encode their intermediate computation results. The original CDC scheme does not assume any special structures on the functions that servers compute. However, in actual problems, these functions often have some structures, and the trade-off relation may be further improved by using that structures. In this paper, we propose a new scheme that further improves the trade-off relationship by utilizing the linear dependency structure of the intermediate computation results. The intermediate values computed in the map phase can be considered as vectors on $\mathbb{F}_{2}$. In some applications, these intermediate values have a linear dependency and in such cases, it is sufficient for each server to send a basis of the linear subspace and linear combination coefficients. As a result, the proposed approach improves over the best-known computation-communication overhead trade-off in some applications.


title: An index theorem for higher orbital integrals

abstract: Recently, two of the authors of this paper constructed cyclic cocycles on Harish-Chandra's Schwartz algebra of linear reductive Lie groups that detect all information in the $K$-theory of the corresponding group $C^*$-algebra. The main result in this paper is an index formula for the pairings of these cocycles with equivariant indices of elliptic operators for proper, cocompact actions. This index formula completely determines such equivariant indices via topological expressions.


title: Few-body solutions under spin-exchange interaction: magnetic bound state and the Kondo screening effect

abstract: Motivated by recent progresses on ultracold alkaline-earth atoms towards the goal of simulating Kondo physics, in this work we exactly solve the few-body problem of one and two trapped fermions in one dimension interacting with a localized impurity under tunable spin-exchange interaction. It is found that depending on the sign of the spin-exchange coupling, ferromagnetic(FM) or anti-ferromagnetic(AFM), the attractive and repulsive branches can hold different magnetic structures. For the two fermions case, we demonstrate the Kondo screening effect for the attractive branch with AFM coupling, and show that such screening is absent for the ground state with FM coupling. Moreover, we find a sequence of FM upper branches in the AFM coupling side. These FM states are orthogonal to all other attractive branches and their wave functions feature a full spin-charge separation. The effect of an additional contact interaction and the extension of our results to many particles are also discussed. This work reveals the intriguing physics uniquely associated with the spin-exchange interaction in the few-body point of view, which are promisingly to be explored in the experiment of ultracold alkaline-earth atoms.


title: Shedding Light on Moire Excitons: A First-Principles Perspective

abstract: Moire superlattices in van der Waals (vdW) heterostructures could trap strongly bonded and long lived interlayer excitons. Assumed to be localized, these moire excitons could form ordered quantum dot arrays, paving the way for novel optoelectronic and quantum information applications. Here we perform first principles simulations to shed light on moire excitons in twisted MoS2/WS2 heterostructures. We provide the direct evidence of localized interlayer moire excitons in vdW heterostructures. The moire potentials are mapped out based on spatial modulations of energy gaps. Nearly flat valence bands are observed in the heterostructures without magic angles. The dependence of spatial localization and binding energy of the moire excitons on the twist angle of the heterostructures is examined. We explore how electric field can be tuned to control the position, polarity, emission energy, and hybridization strength of the moire excitons. We predict that alternating electric fields could modulate the dipole moments of hybridized moire excitons and suppress their diffusion in Moire lattices.


title: Accurate emulator for the redshift-space power spectrum of dark matter halos and its application to galaxy power spectrum

abstract: An accurate theoretical template of the redshift-space galaxy power spectrum, if applicable out to nonlinear scales, enables us to extract more stringent and robust constraints on cosmological parameters from the measured galaxy clustering. In this work, we develop a simulation-based template, so-called emulator, for the redshift-space power spectrum of dark matter halos. Using the redshift-space halo power spectra measured from the Dark Quest $N$-body simulation suite that covers 101 flat-geometry $w$CDM cosmologies around the Planck $\Lambda$CDM model, we feed these data into a feed-forward neural network to build the fast and accurate emulation of the power spectrum from the linear to nonlinear scales up to $k \simeq 0.6 \,h \,{\rm Mpc}^{-1}$. Our emulator achieves about 1% and 5% fractional accuracies in predicting the monopole and quadrupole moments of the power spectrum, respectively, for halos of $\sim 10^{13}h^{-1}M_\odot$ that correspond to host halos of the SDSS LOWZ- and CMASS-like galaxies, where the achieved accuracies are sufficient compared to the statistical errors of SDSS volume. The validation and performance of the emulator are given by the comparison of the emulator predictions with the power spectra directly measured from the simulations for validation sets that are not used in the training. We demonstrate that the emulator outputs can be used to make model predictions for the redshift-space power spectrum of galaxies by employing user-fed models for the halo-galaxy connection, such as the halo occupation distribution. The emulator allows us to easily incorporate the Finger-of-God effect due to the virial motions of galaxies and the Alcock-Paczy\'{n}ski distortions. Our code can compute the redshift-space galaxy power spectrum in a CPU subseconds and is ready to perform the emulator-based cosmological analysis for the exiting and upcoming galaxy redshift surveys.


title: Screenplay Quality Assessment: Can We Predict Who Gets Nominated?

abstract: Deciding which scripts to turn into movies is a costly and time-consuming process for filmmakers. Thus, building a tool to aid script selection, an initial phase in movie production, can be very beneficial. Toward that goal, in this work, we present a method to evaluate the quality of a screenplay based on linguistic cues. We address this in a two-fold approach: (1) we define the task as predicting nominations of scripts at major film awards with the hypothesis that the peer-recognized scripts should have a greater chance to succeed. (2) based on industry opinions and narratology, we extract and integrate domain-specific features into common classification techniques. We face two challenges (1) scripts are much longer than other document datasets (2) nominated scripts are limited and thus difficult to collect. However, with narratology-inspired modeling and domain features, our approach offers clear improvements over strong baselines. Our work provides a new approach for future work in screenplay analysis.


title: $L_f^p$ harmonic 1-forms on complete non-compact smooth metric measure spaces

abstract: This paper studies complete non-compact smooth metric measure space $(M^n,g,\mathrm{e}^{-f}\mathrm{d}v)$ with positive first spectrum $\lambda_1(\Delta_f)$ or satisfying a weighted Poincar\'e inequality with weight function $\rho$. We establish two splitting and vanishing theorems for $L_f^p$ harmonic $1$-forms under the assumption that $m$-Bakry-\'Emery Ricci curvature $\mathrm{Ric}_{m,n}\geq -a\lambda_1(\Delta_f)$ or $\mathrm{Ric}_{m,n}\geq -a\rho-b$ for particular constants $a$ and $b>0$. These results are inspired by the work of Han-Lin and are $L_f^p$ generalizations of previous works by Dung-Sung and Vieira for $L^2$ harmonic $1$-forms.


title: A Radio Continuum and Polarisation Study of the pulsar wind nebula CTB87 (G74.9+1.2)

abstract: We present radio continuum and linear polarisation observations of the pulsar wind nebula CTB87 (G74.9+1.2) with the Effelsberg 100-m radio telescope between 4.75 and 32 GHz. An analysis of these new data including archived low-frequency observations at 1420 MHz and 408 MHz from the Canadian Galactic Plane Survey shows that CTB87 consists of two distinct emission components: a compact kidney-shaped component, 14 pc x 8.5 pc (7.8' x 4.8') in size and a larger diffuse, spherical and centrally peaked component of about 30 pc (17') in diameter. The kidney-shaped component with a much steeper radio continuum spectrum is highly linearly polarised and likely represents a relic pulsar wind nebula. The diffuse component represents the undisturbed part of the PWN expanding inside a cavity or stellar wind bubble. The previously reported spectral break above 10 GHz is likely the result of missing large-scale emission and insufficient sensitivity of the high-frequency radio continuum observations. The simulation of the system's evolution yields an age of about 18,000 years as the result of a type II supernova explosion with an ejecta mass of about 12 solar masses and an explosion energy of about 7 x 10^50 erg. We also found evidence for a radio shell in our polarisation data which represents the blast wave that entered the molecular cloud complex at a radius of about 13 pc.


title: Coded Caching Schemes with Linear Subpacketizations

abstract: In coded caching system we prefer to design a coded caching scheme with low subpacketization and small transmission rate (i.e., the low implementation complexity and the efficient transmission during the peak traffic times). Placement delivery arrays (PDA) can be used to design code caching schemes. In this paper we propose a framework of constructing PDAs via Hamming distance. As an application, two classes of coded caching schemes with linear subpacketizations and small transmission rates are obtained.


title: Impact of the COVID-19 pandemic on the Internet latency: a large-scale study

abstract: The COVID-19 pandemic dramatically changed the way of living of billions of people in a very short time frame. In this paper, we evaluate the impact on the Internet latency caused by the increased amount of human activities that are carried out on-line. The study focuses on Italy, which experienced significant restrictions imposed by local authorities, but results about Spain, France, Germany, Sweden, and the whole of Europe are also included. The analysis of a large set of measurements shows that the impact on the network can be significant, especially in terms of increased variability of latency. In Italy we observed that the standard deviation of the average additional delay -- the additional time with respect to the minimum delay of the paths in the region -- during lockdown is ~3-4 times as much as the value before the pandemic. Similarly, in Italy, packet loss is ~2-3 times as much as before the pandemic. The impact is not negligible also for the other countries and for the whole of Europe, but with different levels and distinct patterns.


title: Response-Anticipated Memory for On-Demand Knowledge Integration in Response Generation

abstract: Neural conversation models are known to generate appropriate but non-informative responses in general. A scenario where informativeness can be significantly enhanced is Conversing by Reading (CbR), where conversations take place with respect to a given external document. In previous work, the external document is utilized by (1) creating a context-aware document memory that integrates information from the document and the conversational context, and then (2) generating responses referring to the memory. In this paper, we propose to create the document memory with some anticipated responses in mind. This is achieved using a teacher-student framework. The teacher is given the external document, the context, and the ground-truth response, and learns how to build a response-aware document memory from three sources of information. The student learns to construct a response-anticipated document memory from the first two sources, and the teacher's insight on memory creation. Empirical results show that our model outperforms the previous state-of-the-art for the CbR task.


title: Stereodynamic control of overlapping resonances in cold molecular collisions

abstract: Stereodynamic control of resonant molecular collisions has emerged as a new frontier in cold molecule research. Recent experimental studies have focused on weakly interacting molecular systems such as HD collisions with H$_2$, D$_2$ and He. We report here the possibility of such control in strongly interacting systems taking rotational relaxation in cold collisions of HCl and H$_2$. Using explicit quantum scattering calculations in full six dimensions it is shown that robust control of the collision dynamics is possible even when multiple (overlapping) shape-resonances coexist in a narrow energy range, indicating that cold stereochemistry offers great promise for many molecules beyond simple systems. We demonstrate a striking case where two prominent peaks in overlapping resonances are switched-off simultaneously by suitable alignment of the HCl molecule.


title: On the 3D Relativistic Vlasov-Maxwell System with large Maxwell field

abstract: This paper is devoted to the study of relativistic Vlasov-Maxwell system in three space dimension. For a class of large initial data, we prove the global existence of classical solution with sharp decay estimate. The initial Maxwell field is allowed to be arbitrarily large and the initial density distribution is assumed to be small and decay with rate $(1+|x|+|v|)^{-9-}$. In particular, there is no restriction on the support of the initial data.


title: Enhancement of low-spatial-frequency components by a new phase-contrast STEM using a probe formed with an amplitude Fresnel zone plate

abstract: Electron microscopy is a powerful tool for visualizing the shapes of sub-nanometer objects. However, contrast is not in proportional to density distribution, and therefore achieving a quantitative understanding of specimens is not straightforward, especially for low-contrast subjects such as biological specimens. To overcome this problem, we have developed a new phase-contrast scanning transmission electron microscope (STEM) in which a probe beam formed with an amplitude Fresnel zone plate (FZP) and the resulting interference patterns produced by the zeroth and first order diffracted waves generated by the FZP are detected. We name it FZP-PC-STEM hereinafter. The amplitude FZP was manufactured by using focused ion beam (FIB) equipment, and the diffraction data were collected by using diffraction imaging technique. The validity of our proposed optical model was confirmed by comparing experimental and simulated images. Observations of carbon nanotube (CNT) bundles by this method showed that the contrast of low-spatial-frequency components in the CNT image was enhanced, unlike the case in conventional bright-field STEM. This method does not, in principle, require the post-image processing used in the diffraction imaging method, and it can be easily introduced into a conventional STEM system without major modifications. The stability and robustness of the method toward intense electron irradiation during long-time operation were also confirmed. We expect that the FZP-PC-STEM will be widely applicable to quantitative observations of radiation-sensitive light-element specimens, with simple and easy operation.


title: An $SL_2(\mathbb{R}) $-Casson invariant and Reidemeister torsions

abstract: We define an $SL_2(\mathbb{R})$-Casson invariant of closed 3-manifolds. We also observe procedures of computing the invariants in terms of Reidemeister torsions. We discuss some approach of giving the Casson invariant some gradings.


title: Adaptive Rule Discovery for Labeling Text Data

abstract: Creating and collecting labeled data is one of the major bottlenecks in machine learning pipelines and the emergence of automated feature generation techniques such as deep learning, which typically requires a lot of training data, has further exacerbated the problem. While weak-supervision techniques have circumvented this bottleneck, existing frameworks either require users to write a set of diverse, high-quality rules to label data (e.g., Snorkel), or require a labeled subset of the data to automatically mine rules (e.g., Snuba). The process of manually writing rules can be tedious and time consuming. At the same time, creating a labeled subset of the data can be costly and even infeasible in imbalanced settings. This is due to the fact that a random sample in imbalanced settings often contains only a few positive instances. To address these shortcomings, we present Darwin, an interactive system designed to alleviate the task of writing rules for labeling text data in weakly-supervised settings. Given an initial labeling rule, Darwin automatically generates a set of candidate rules for the labeling task at hand, and utilizes the annotator's feedback to adapt the candidate rules. We describe how Darwin is scalable and versatile. It can operate over large text corpora (i.e., more than 1 million sentences) and supports a wide range of labeling functions (i.e., any function that can be specified using a context free grammar). Finally, we demonstrate with a suite of experiments over five real-world datasets that Darwin enables annotators to generate weakly-supervised labels efficiently and with a small cost. In fact, our experiments show that rules discovered by Darwin on average identify 40% more positive instances compared to Snuba even when it is provided with 1000 labeled instances.


title: Exponential stability for time-delay neural networks via new weighted integral inequalities

abstract: We study exponential stability for a kind of neural networks having time-varying delay. By extending the auxiliary function-based integral inequality, a novel integral inequality is derived by using weighted orthogonal functions of which one is discontinuous. Then, the new inequality is applied to investigate the exponential stability of time-delay neural networks via Lyapunov-Krasovskii functional (LKF) method. Numerical examples are given to verify the advantages of the proposed criterion.


title: The Three Hundred Project: the stellar and gas profiles

abstract: Using the catalogues of galaxy clusters from The Three Hundred project, modelled with both hydrodynamic simulations, (Gadget-X and Gadget-MUSIC), and semi-analytic models (SAMs), we study the scatter and self-similarity of the profiles and distributions of the baryonic components of the clusters: the stellar and gas mass, metallicity, the stellar age, gas temperature, and the (specific) star formation rate. Through comparisons with observational results, we find that the shape and the scatter of the gas density profiles matches well the observed trends including the reduced scatter at large radii which is a signature of self-similarity suggested in previous studies. One of our simulated sets, Gadget-X, reproduces well the shape of the observed temperature profile, while Gadget-MUSIC has a higher and flatter profile in the cluster centre and a lower and steeper profile at large radii. The gas metallicity profiles from both simulation sets, despite following the observed trend, have a relatively lower normalisation. The cumulative stellar density profiles from SAMs are in better agreement with the observed result than both hydrodynamic simulations which show relatively higher profiles. The scatter in these physical profiles, especially in the cluster centre region, shows a dependence on the cluster dynamical state and on the cool-core/non-cool-core dichotomy. The stellar age, metallicity and (s)SFR show very large scatter, which are then presented in 2D maps. We also do not find any clear radial dependence of these properties. However, the brightest central galaxies have distinguishable features compared to the properties of the satellite galaxies.


title: Self-Supervised Deep Visual Odometry with Online Adaptation

abstract: Self-supervised VO methods have shown great success in jointly estimating camera pose and depth from videos. However, like most data-driven methods, existing VO networks suffer from a notable decrease in performance when confronted with scenes different from the training data, which makes them unsuitable for practical applications. In this paper, we propose an online meta-learning algorithm to enable VO networks to continuously adapt to new environments in a self-supervised manner. The proposed method utilizes convolutional long short-term memory (convLSTM) to aggregate rich spatial-temporal information in the past. The network is able to memorize and learn from its past experience for better estimation and fast adaptation to the current frame. When running VO in the open world, in order to deal with the changing environment, we propose an online feature alignment method by aligning feature distributions at different time. Our VO network is able to seamlessly adapt to different environments. Extensive experiments on unseen outdoor scenes, virtual to real world and outdoor to indoor environments demonstrate that our method consistently outperforms state-of-the-art self-supervised VO baselines considerably.


title: Metapopulation network models for understanding, predicting and managing the coronavirus disease COVID-19

abstract: Mathematical models of SARS-CoV-2 spread are used for guiding the design of mitigation steps aimed at containing and decelerating the contagion, and at identifying impending breaches of health care system surge capacity. The challenges of having only lacunary information about daily new infections are compounded by the geographic heterogeneity of the population. To address this problem, we propose to account for the differences between rural and urban settings using network-based, distributed models where the spread of the pandemic is described in distinct local cohorts with nested SEIR models. The setting of the model parameters takes into account the fact that SARS-CoV-2 transmission occurs mostly via human-to-human contact, and that the frequency of contact among individuals differs between urban and rural areas, and may change over time. Moreover, the probability that the virus spreads into an uninfected community is associated with influx of individuals from other communities where the infection is present. To account for these important aspects, each node of the network is characterized by the frequency of contact between its members and by its level of connectivity with other nodes. Census and cell phone data can be used to set up the adjacency matrix of the network, which can, in turn, be modified to account for different levels of mitigation measures. In order to make the network SEIR model that we propose easy to customize, it is formulated in terms of easily interpretable parameters that can be estimated from available community level data. The models parameters are estimated with Bayesian techniques using COVID-19 data for the states of Ohio and Michigan. The network model also gives rise to a geographically distributed computational model that explains the geographic dynamics of the contagion, e.g., in larger cities surrounded by suburban and rural areas.


title: Parallel Learning of Koopman Eigenfunctions and Invariant Subspaces For Accurate Long-Term Prediction

abstract: We present a parallel data-driven strategy to identify finite-dimensional functional spaces invariant under the Koopman operator associated to an unknown dynamical system. We build on the Symmetric Subspace Decomposition (SSD) algorithm, a centralized method that under mild conditions on data sampling provably finds the maximal Koopman-invariant subspace and all Koopman eigenfunctions in an arbitrary finite-dimensional functional space. A network of processors, each aware of a common dictionary of functions and equipped with a local set of data snapshots, repeatedly interact over a directed communication graph. Each processor receives its neighbors' estimates of the invariant dictionary and refines its estimate by applying SSD with its local data on the intersection of the subspaces spanned by its own dictionary and the neighbors' dictionaries. We identify conditions on the network topology to ensure the algorithm identifies the maximal Koopman-invariant subspace in the span of the original dictionary, characterize its time, computational, and communication complexity, and establish its robustness against communication failures.


title: Towards Interpretable Deep Learning Models for Knowledge Tracing

abstract: As an important technique for modeling the knowledge states of learners, the traditional knowledge tracing (KT) models have been widely used to support intelligent tutoring systems and MOOC platforms. Driven by the fast advancements of deep learning techniques, deep neural network has been recently adopted to design new KT models for achieving better prediction performance. However, the lack of interpretability of these models has painfully impeded their practical applications, as their outputs and working mechanisms suffer from the intransparent decision process and complex inner structures. We thus propose to adopt the post-hoc method to tackle the interpretability issue for deep learning based knowledge tracing (DLKT) models. Specifically, we focus on applying the layer-wise relevance propagation (LRP) method to interpret RNN-based DLKT model by backpropagating the relevance from the model's output layer to its input layer. The experiment results show the feasibility using the LRP method for interpreting the DLKT model's predictions, and partially validate the computed relevance scores from both question level and concept level. We believe it can be a solid step towards fully interpreting the DLKT models and promote their practical applications in the education domain.


title: Spectrally-Selective Vanadium Dioxide Based Tunable Metafilm Emitter for Dynamic Radiative Cooling

abstract: Dynamic radiative cooling with variable emissive power is experimentally demonstrated in this study by a wavelength-selective tunable metafilm emitter, which consists of an opaque aluminum film, a sputtered silicon spacer, and a thermochromic vanadium dioxide (VO2) layer fabricated by a furnace oxidation method. The temperature-dependent spectral emittance, experimentally obtained from spectral reflectance measurements, clearly shows a pronounced emission peak around 10 um wavelength when the VO2 experiences an insulator-to-metal phase transition near 65C. The tunable metafilm emitter achieves a significant total emittance increase from 0.14 at room temperature to 0.6 at 100C. Theoretical modeling based on thin-film optics indicates that the emission enhancement at high temperatures is realized by Fabry-Perot cavity resonance with the metallic VO2 film. Moreover, a calorimetry-based thermal vacuum experiment was conducted and the enhanced thermal emission of the fabricated tunable metafilm sample was experimentally demonstrated at temperatures higher than the phase transition temperature, compared to black, aluminum and doped silicon samples, whose emittance changes little near room temperatures. The developed tunable metafilm emitter with variable spectrally-selective emittance in the mid-infrared holds great promise for both terrestrial and extraterrestrial dynamic radiative cooling applications.


title: A Cuntz-Pimsner Model for the $C^*$-algebra of a Graph of Groups

abstract: We provide a Cuntz-Pimsner model for graph of groups $C^*$-algebras. This allows us to compute the $K$-theory of a range of examples and show that graph of groups $C^*$-algebras can be realised as Exel-Pardo algebras. We also make a preliminary investigation of whether the crossed product algebra of Baumslag-Solitar groups acting on the boundary of certain trees satisfies Poincar\'e duality in $KK$-theory. By constructing a $K$-theory duality class we compute the $K$-homology of these crossed products.


title: Using Genetic Algorithm To Evolve Cellular Automata In Performing Edge Detection

abstract: Cellular automata are discrete and computational models thatcan be shown as general models of complexity. They are used in varied applications to derive the generalized behavior of the presented model. In this paper we have took one such application. We have made an effort to perform edge detection on an image using genetic algorithm. The purpose and the intention here is to analyze the capability and performance of the suggested genetic algorithm. Genetic algorithms are used to depict or obtain a general solution of given problem. Using this feature of GA we have tried to evolve the cellular automata and shown that how with time it converges to the desired results.


title: Expanders and right-angled Artin groups

abstract: The purpose of this article is to give a characterization of families of expander graphs via right-angled Artin groups. We prove that a sequence of simplicial graphs $\{\Gamma_i\}_{i\in\mathbb{N}}$ forms a family of expander graphs if and only if a certain natural mini-max invariant arising from the cup product in the cohomology rings of the groups $\{A(\Gamma_i)\}_{i\in\mathbb{N}}$ agrees with the Cheeger constant of the sequence of graphs, thus allowing us to characterize expander graphs via cohomology. This result is proved in the more general framework of \emph{vector space expanders}, a novel structure consisting of sequences of vector spaces equipped with vector-space-valued bilinear pairings which satisfy a certain mini-max condition. These objects can be considered to be analogues of expander graphs in the realm of linear algebra, with a dictionary being given by the cup product in cohomology, and in this context represent a different approach to expanders that those developed by Lubotzky-Zelmanov and Bourgain-Yehudayoff.


title: Generalized King linearity and new physics searches with isotope shifts

abstract: Atomic spectral lines for different isotopes are shifted, revealing a change in the properties of the nucleus. For spinless nuclei such isotope shifts for two distinct transitions are expected to be linearly related, at least at leading order in a change of the nuclear mass and charge distribution. Looking for a breaking of linearity in so-called King plots was proposed as a novel method to search for physics beyond the standard model. In the light of the recent experimental progress in isotope shift spectroscopy, the sensitivity of these searches will become limited by the determination of the isotope masses and/or by nuclear effects which may induce nonlinearities at an observable level. In this work, we propose two possible generalizations of the traditional King plot that overcome these limitations by including additional isotope shift measurements, thus significantly extending the new physics reach of King plots in a purely spectroscopy-driven approach.


title: Collective Behavior in Systems within Confined Environments

abstract: In this paper, we study the behavior of systems of individuals in confined environments that are driven by laws of self-organization. We propose that, under certain conditions, the long-term behavior of such systems will be global alignment. We study the result by Felipe Cucker and Steve Smale as well as their models describing the evolution of a flock in continuous and discrete time. Specifically, we will describe the models of Cucker-Smale on bounded domains $\mathbb{R}^+$ and on the interval $[a,b]$.


title: Neutron spin resonance in a quasi-two-dimensional iron-based superconductor

abstract: Magnetically mediated Cooper pairing is generally regarded as a key to establish the unified mechanism of unconventional superconductivity. One crucial evidence is the neutron spin resonance arising in the superconducting state, which is commonly interpreted as a spin-exciton from collective particle-hole excitations confined below the superconducting pair-breaking gap ($2\Delta$). Here, on the basis of inelastic neutron scattering measurements on a quasi-two-dimensional iron-based superconductor KCa$_2$Fe$_4$As$_4$F$_2$, we have discovered a two-dimensional spin resonant mode with downward dispersions, a behavior closely resembling the low branch of the hour-glass-type spin resonance in cuprates. The resonant intensity is predominant by two broad incommensurate peaks near $Q=$(0.5, 0.5) with a sharp energy peak at $E_R=16$ meV. The overall energy dispersion of the mode exceeds the measured maximum total gap $\Delta_{\rm tot}=|\Delta_k|+|\Delta_{k+Q}|$. These experimental results deeply challenge the conventional understanding of the resonance modes as magnetic excitons regardless of underlining pairing symmetry schemes, and it also points out that when the iron-based superconductivity becomes very quasi-two-dimensional, the electronic behaviors are similar to those in cuprates.


title: 3D Scene Geometry-Aware Constraint for Camera Localization with Deep Learning

abstract: Camera localization is a fundamental and key component of autonomous driving vehicles and mobile robots to localize themselves globally for further environment perception, path planning and motion control. Recently end-to-end approaches based on convolutional neural network have been much studied to achieve or even exceed 3D-geometry based traditional methods. In this work, we propose a compact network for absolute camera pose regression. Inspired from those traditional methods, a 3D scene geometry-aware constraint is also introduced by exploiting all available information including motion, depth and image contents. We add this constraint as a regularization term to our proposed network by defining a pixel-level photometric loss and an image-level structural similarity loss. To benchmark our method, different challenging scenes including indoor and outdoor environment are tested with our proposed approach and state-of-the-arts. And the experimental results demonstrate significant performance improvement of our method on both prediction accuracy and convergence efficiency.


title: A Novel CNet-assisted Evolutionary Level Repairer and Its Applications to Super Mario Bros

abstract: Applying latent variable evolution to game level design has become more and more popular as little human expert knowledge is required. However, defective levels with illegal patterns may be generated due to the violation of constraints for level design. A traditional way of repairing the defective levels is programming specific rule-based repairers to patch the flaw. However, programming these constraints is sometimes complex and not straightforward. An autonomous level repairer which is capable of learning the constraints is needed. In this paper, we propose a novel approach, CNet, to learn the probability distribution of tiles giving its surrounding tiles on a set of real levels, and then detect the illegal tiles in generated new levels. Then, an evolutionary repairer is designed to search for optimal replacement schemes equipped with a novel search space being constructed with the help of CNet and a novel heuristic function. The proposed approaches are proved to be effective in our case study of repairing GAN-generated and artificially destroyed levels of Super Mario Bros. game. Our CNet-assisted evolutionary repairer can also be easily applied to other games of which the levels can be represented by a matrix of objects or tiles.


title: DeepRobust: A PyTorch Library for Adversarial Attacks and Defenses

abstract: DeepRobust is a PyTorch adversarial learning library which aims to build a comprehensive and easy-to-use platform to foster this research field. It currently contains more than 10 attack algorithms and 8 defense algorithms in image domain and 9 attack algorithms and 4 defense algorithms in graph domain, under a variety of deep learning architectures. In this manual, we introduce the main contents of DeepRobust with detailed instructions. The library is kept updated and can be found at https://github.com/DSE-MSU/DeepRobust.


title: Nonlinear Fokker-Planck Acceleration for Forward-Peaked Transport Problems in Slab Geometry

abstract: This paper introduces a nonlinear acceleration technique that accelerates the convergence of solution of transport problems with highly forward-peaked scattering. The technique is similar to a conventional high-order/low-order (HOLO) acceleration scheme. The Fokker-Planck equation, which is an asymptotic limit of the transport equation in highly forward-peaked settings, is modified and used for acceleration; this modified equation preserves the angular flux and moments of the (high order) transport equation. We present numerical results using the Screened Rutherford, Exponential, and Henyey-Greenstein scattering kernels and compare them to established acceleration methods such as diffusion synthetic acceleration (DSA). We observe three to four orders of magnitude speed-up in wall-clock time compared to DSA.


title: The Scalable Systems Laboratory: a Platform for Software Innovation for HEP

abstract: The Scalable Systems Laboratory (SSL), part of the IRIS-HEP Software Institute, provides Institute participants and HEP software developers generally with a means to transition their R&D from conceptual toys to testbeds to production-scale prototypes. The SSL enables tooling, infrastructure, and services supporting the innovation of novel analysis and data architectures, development of software elements and tool-chains, reproducible functional and scalability testing of service components, and foundational systems R&D for accelerated services developed by the Institute. The SSL is constructed with a core team having expertise in scale testing and deployment of services across a wide range of cyberinfrastructure. The core team embeds and partners with other areas in the Institute, and with LHC and other HEP development and operations teams as appropriate, to define investigations and required service deployment patterns. We describe the approach and experiences with early application deployments, including analysis platforms and intelligent data delivery systems.


title: Acyclic edge coloring conjecture is true on planar graphs without intersecting triangles

abstract: An acyclic edge coloring of a graph $G$ is a proper edge coloring such that no bichromatic cycles are produced. The acyclic edge coloring conjecture by Fiam{\v{c}}ik (1978) and Alon, Sudakov and Zaks (2001) states that every simple graph with maximum degree $\Delta$ is acyclically edge $(\Delta + 2)$-colorable. Despite many milestones, the conjecture remains open even for planar graphs. In this paper, we confirm affirmatively the conjecture on planar graphs without intersecting triangles. We do so by first showing, by discharging methods, that every planar graph without intersecting triangles must have at least one of the six specified groups of local structures, and then proving the conjecture by recoloring certain edges in each such local structure and by induction on the number of edges in the graph.


title: Online Inverse Optimal Control for Control-Constrained Discrete-Time Systems on Finite and Infinite Horizons

abstract: In this paper, we consider the problem of computing parameters of an objective function for a discrete-time optimal control problem from state and control trajectories with active control constraints. We propose a novel method of inverse optimal control that has a computationally efficient online form in which pairs of states and controls from given state and control trajectories are processed sequentially without being stored or processed in batches. We establish conditions guaranteeing the uniqueness of the objective-function parameters computed by our proposed method from trajectories with active control constraints. We illustrate our proposed method in simulation.


title: Panda: Partitioned Data Security on Outsourced Sensitive and Non-sensitive Data

abstract: Despite extensive research on cryptography, secure and efficient query processing over outsourced data remains an open challenge. This paper continues along with the emerging trend in secure data processing that recognizes that the entire dataset may not be sensitive, and hence, non-sensitivity of data can be exploited to overcome limitations of existing encryption-based approaches. We, first, provide a new security definition, entitled partitioned data security for guaranteeing that the joint processing of non-sensitive data (in cleartext) and sensitive data (in encrypted form) does not lead to any leakage. Then, this paper proposes a new secure approach, entitled query binning (QB) that allows secure execution of queries over non-sensitive and sensitive parts of the data. QB maps a query to a set of queries over the sensitive and non-sensitive data in a way that no leakage will occur due to the joint processing over sensitive and non-sensitive data. In particular, we propose secure algorithms for selection, range, and join queries to be executed over encrypted sensitive and cleartext non-sensitive datasets. Interestingly, in addition to improving performance, we show that QB actually strengthens the security of the underlying cryptographic technique by preventing size, frequency-count, and workload-skew attacks.


title: Control of transition frequency of a superconducting flux qubit by longitudinal coupling to the photon number degree of freedom in a resonator

abstract: We control transition frequency of a superconducting flux qubit coupled to a frequency-tunable resonator comprising a direct current superconducting quantum interference device (dc-SQUID) by microwave driving. The dc-SQUID mediates the coupling between microwave photons in the resonator and a flux qubit. The polarity of the frequency shift depends on the sign of the flux bias for the qubit and can be both positive and negative. The absolute value of the frequency shift becomes larger by increasing the photon number in the resonator. These behaviors are reproduced by a model considering the magnetic interaction between the flux qubit and dc-SQUID. The tuning range of the transition frequency of the flux qubit reaches $\approx$ 1.9 GHz, which is much larger than the ac Stark/Lamb shift observed in the dispersive regime using typical circuit quantum electrodynamics devices.


title: Super-resolution and Robust Sparse Continuous Fourier Transform in Any Constant Dimension: Nearly Linear Time and Sample Complexity

abstract: The ability to resolve detail in the object that is being imaged, named by resolution, is the core parameter of an imaging system. Super-resolution is a class of techniques that can enhance the resolution of an imaging system and even transcend the diffraction limit of systems. Despite huge success in the application, super-resolution is not well understood on the theoretical side, especially for any dimension $d \geq 2$. In particular, in order to recover a $k$-sparse signal, all previous results suffer from either/both poly$(k)$ samples or running time. We design robust algorithms for any (constant) dimension under a strong noise model based on developing some new techniques in Sparse Fourier transform (Sparse FT), such as inverting a robust linear system, "eggshell" sampling schemes, and partition and voting methods in high dimension. These algorithms are the first to achieve running time and sample complexity (nearly) linear in the number of source points and logarithmic in bandwidth for any constant dimension, and we believe the techniques developed in the work can find their further applications on the Super-resolution and Sparse FT problem.


title: Very regular high-frequency pulsation modes in young intermediate-mass stars

abstract: Asteroseismology is a powerful tool for probing the internal structures of stars by using their natural pulsation frequencies. It relies on identifying sequences of pulsation modes that can be compared with theoretical models, which has been done successfully for many classes of pulsators, including low-mass solar-type stars, red giants, high-mass stars and white dwarfs. However, a large group of pulsating stars of intermediate mass--the so-called delta Scuti stars--have rich pulsation spectra for which systematic mode identification has not hitherto been possible. This arises because only a seemingly random subset of possible modes are excited, and because rapid rotation tends to spoil the regular patterns. Here we report the detection of remarkably regular sequences of high-frequency pulsation modes in 60 intermediate-mass main-sequence stars, allowing definitive mode identification. Some of these stars have space motions that indicate they are members of known associations of young stars, and modelling of their pulsation spectra confirms that these stars are indeed young.


title: An Asymptotic Result of Conditional Logistic Regression Estimator

abstract: In cluster-specific studies, ordinary logistic regression and conditional logistic regression for binary outcomes provide maximum likelihood estimator (MLE) and conditional maximum likelihood estimator (CMLE), respectively. In this paper, we show that CMLE is approaching to MLE asymptotically when each individual data point is replicated infinitely many times. Our theoretical derivation is based on the observation that a term appearing in the conditional average log-likelihood function is the coefficient of a polynomial, and hence can be transformed to a complex integral by Cauchy's differentiation formula. The asymptotic analysis of the complex integral can then be performed using the classical method of steepest descent. Our result implies that CMLE can be biased if individual weights are multiplied with a constant, and that we should be cautious when assigning weights to cluster-specific studies.


title: Weight Dependence of Local Exchange-Correlation Functionals in Ensemble Density-Functional Theory: Double Excitations in Two-Electron Systems

abstract: Gross--Oliveira--Kohn (GOK) ensemble density-functional theory (GOK-DFT) is a time-\textit{independent} extension of density-functional theory (DFT) which allows to compute excited-state energies via the derivatives of the ensemble energy with respect to the ensemble weights. Contrary to the time-dependent version of DFT (TD-DFT), double excitations can be easily computed within GOK-DFT. However, to take full advantage of this formalism, one must have access to a \textit{weight-dependent} exchange-correlation functional in order to model the infamous ensemble derivative contribution to the excitation energies. In the present article, we discuss the construction of first-rung (i.e., local) weight-dependent exchange-correlation density-functional approximations for two-electron atomic and molecular systems (He and H$_2$) specifically designed for the computation of double excitations within GOK-DFT. In the spirit of optimally-tuned range-separated hybrid functionals, a two-step system-dependent procedure is proposed to obtain accurate energies associated with double excitations.

categories: physics.chem-ph cond-mat.mtrl-sci cond-mat.str-el physics.comp-ph


title: On algebras and matroids associated to undirected graphs

abstract: In this short note we make a few remarks on a class of generalized incidence matrices whose matroids do not depend on the orientation of the underlying graph and natural commutative algebras associated to such matrices.


title: Online Scheduling of a Residential Microgrid via Monte-Carlo Tree Search and a Learned Model

abstract: The uncertainty of distributed renewable energy brings significant challenges to economic operation of microgrids. Conventional online optimization approaches require a forecast model. However, accurately forecasting the renewable power generations is still a tough task. To achieve online scheduling of a residential microgrid (RM) that does not need a forecast model to predict the future PV/wind and load power sequences, this paper investigates the usage of reinforcement learning (RL) approach to tackle this challenge. Specifically, based on the recent development of Model-Based Reinforcement Learning, MuZero, we investigate its application to the RM scheduling problem. To accommodate the characteristics of the RM scheduling application, a optimization framework that combines the modelbased RL agent with the mathematical optimization technique is designed, and long short-term memory (LSTM) units are adopted to extract features from the past renewable generation and load sequences. At each time step, the optimal decision is obtained by conducting Monte-Carlo tree search (MCTS) with a learned model and solving an optimal power flow sub-problem. In this way, this approach can sequentially make operational decisions online without relying on a forecast model. The numerical simulation results demonstrate the effectiveness of the proposed algorithm.


title: Algebraic Analysis of the Hypergeometric Function 1F1 of a Matrix Argument

abstract: In this article, we investigate Muirhead's classical system of differential operators for the hypergeometric function 1F1 of a matrix argument. We formulate a conjecture for the combinatorial structure of the characteristic variety of its Weyl closure which is both supported by computational evidence as well as theoretical considerations. In particular, we determine the singular locus of this system.


title: On continuous images of self-similar sets

abstract: Let $(\mathcal{M}, c_k, n_k,\kappa)$ be a class of homogeneous Moran sets. Suppose $f(x,y)\in C^3$ is a function defined on $\mathbb{R}^2$. Given $E_1, E_2\in(\mathcal{M}, c_k, n_k,\kappa) $, in this paper, we prove, under some checkable conditions on the partial derivatives of $f(x,y)$, that $$f(E_1,E_2)=\{f(x,y):x\in E_1,y\in E_2\}$$ is exactly a closed interval or a union of finitely many closed intervals. Similar results for the homogeneous self-similar sets with arbitrary overlaps can be obtained. Further generalization is available for some inhomogeneous self-similar sets if we utilize the approximation theorem.


title: Arbitrary waveform generator for microwave and radio frequencies based on photonics with an integrated 49GHz Kerr micro-comb

abstract: We report a photonic-based radio frequency (RF) arbitrary waveform generator (AWG) using a soliton crystal micro-comb source with a free spectral range (FSR) of 48.9 GHz. The comb source provides over 80 wavelengths, or channels, that we use to successfully achieve arbitrary waveform shapes including square waveforms with a tunable duty ratio ranging from 10% to 90%, sawtooth waveforms with a tunable slope ratio of 0.2 to 1, and a symmetric concave quadratic chirp waveform with an instantaneous frequency of sub GHz. We achieve good agreement between theory and experiment, validating the effectiveness of this approach towards realizing high-performance, broad bandwidth, nearly user-defined RF waveform generation.


title: Quantum Statistical Mechanics in Classical Phase Space. V. Quantum Local, Average Global

abstract: One-particle energy eigenfunctions are used to obtain quantum averages in many particle systems. These are based on the effective local field due to fixed neighbors in classical phase space, while the averages account for the non-commutativity of the position and momentum operators. Used in Monte Carlo simulations for a one-dimensional Lennard-Jones fluid, the results prove more reliable than a high temperature expansion and a harmonic local field approach, and at intermediate temperatures agree with benchmark numerical results. Results are presented for distinguishable particles, fermions, and bosons.

categories: quant-ph cond-mat.soft cond-mat.stat-mech physics.chem-ph


title: Parallel Corpus Filtering via Pre-trained Language Models

abstract: Web-crawled data provides a good source of parallel corpora for training machine translation models. It is automatically obtained, but extremely noisy, and recent work shows that neural machine translation systems are more sensitive to noise than traditional statistical machine translation methods. In this paper, we propose a novel approach to filter out noisy sentence pairs from web-crawled corpora via pre-trained language models. We measure sentence parallelism by leveraging the multilingual capability of BERT and use the Generative Pre-training (GPT) language model as a domain filter to balance data domains. We evaluate the proposed method on the WMT 2018 Parallel Corpus Filtering shared task, and on our own web-crawled Japanese-Chinese parallel corpus. Our method significantly outperforms baselines and achieves a new state-of-the-art. In an unsupervised setting, our method achieves comparable performance to the top-1 supervised method. We also evaluate on a web-crawled Japanese-Chinese parallel corpus that we make publicly available.


title: Review of Steady-State Electric Power Distribution System Datasets

abstract: Publicly available grid datasets with electric steady-state equivalent circuit models are crucial for the development and comparison of a variety of power system simulation tools and algorithms. Such algorithms are essential to analyze and improve the integration of distributed energy resources (DERs) in electrical power systems. Increased penetration of DERs, new technologies, and changing regulatory frameworks require the continuous development of the grid infrastructure. As a result, the number and versatility of grid datasets, which are required in power system research, increases. Furthermore, the used grids are created by different methods and intentions. This paper gives orientation within these developments: First, a concise overview of well-known, publicly available grid datasets is provided. Second, background information on the compilation of the grid datasets, including different methods, intentions and data origins, is reviewed and characterized. Third, common terms to describe electric steady-state distribution grids, such as representative grid or benchmark grid, are assembled and reviewed. Recommendations for the use of these grid terms are made.


title: A measurement of the CMB E-mode angular power spectrum at subdegree scales from 670 square degrees of POLARBEAR data

abstract: We report a measurement of the E-mode polarization power spectrum of the cosmic microwave background (CMB) using 150 GHz data taken from July 2014 to December 2016 with the POLARBEAR experiment. We reach an effective polarization map noise level of $32\,\mu\mathrm{K}$-$\mathrm{arcmin}$ across an observation area of 670 square degrees. We measure the EE power spectrum over the angular multipole range $500 \leq \ell <3000$, tracing the third to seventh acoustic peaks with high sensitivity. The statistical uncertainty on E-mode bandpowers is $\sim 2.3 \mu {\rm K}^2$ at $\ell \sim 1000$ with a systematic uncertainty of 0.5$\mu {\rm K}^2$. The data are consistent with the standard $\Lambda$CDM cosmological model with a probability-to-exceed of 0.38. We combine recent CMB E-mode measurements and make inferences about cosmological parameters in $\Lambda$CDM as well as in extensions to $\Lambda$CDM. Adding the ground-based CMB polarization measurements to the Planck dataset reduces the uncertainty on the Hubble constant by a factor of 1.2 to $H_0 = 67.20 \pm 0.57 {\rm km\,s^{-1} \,Mpc^{-1}}$. When allowing the number of relativistic species ($N_{eff}$) to vary, we find $N_{eff} = 2.94 \pm 0.16$, which is in good agreement with the standard value of 3.046. Instead allowing the primordial helium abundance ($Y_{He}$) to vary, the data favor $Y_{He} = 0.248 \pm 0.012$. This is very close to the expectation of 0.2467 from Big Bang Nucleosynthesis. When varying both $Y_{He}$ and $N_{eff}$, we find $N_{eff} = 2.70 \pm 0.26$ and $Y_{He} = 0.262 \pm 0.015$.


title: The large charge expansion and AdS/CFT

abstract: The scaling dimensions of charged operators in conformal field theory were recently computed in a large charge expansion. We verify this expansion in a dual AdS model. Specifically, we numerically construct solitonic boson star solutions of Einstein-Maxwell-Scalar theory in AdS$_4$ and find that its mass at large charge reproduces the universal form of the lowest operator dimension in the large U(1) charge sector of the dual 2+1 dimensional CFT.


title: Estimating power spectrum of discrete cosmic momentum field with fast Fourier transform

abstract: Fast Fourier transform based estimators are formulated for measuring momentum power spectra, including the auto power spectra of the momentum, the momentum divergence, and the cross spectrum of density fluctuation and momentum divergence. Algorithms using the third order Bettle-Lemari\'{e} scaling function to assign discrete objects to regular grids for fast Fourier transform are proposed to clean alias effects. Numerical experiments prove that the implementation can achieve sub-percent precision till close to the Nyquist frequency. Impact of removing bulk flow on estimation of momentum power spectra are derived theoretically and verified numerically, subtracting bulk flow has little effects at large scales but might induce meaningful differences in nonlinear regime, and probably it is not necessary to subtract bulk flow for samples which peculiar velocities are exact or sufficiently accurate. Momentum power spectra of dark matter samples from N-body simulation are measured and discussed. As expected, prediction of the one loop Eulerian perturbation theory agrees with simulation only slightly better than the linear theory at z=0, but can be applied to higher redshift with improved accuracy. Measurements of simulation data and the one loop Eulerian theory both reveal that the momentum field contains strong rotational part, and there is a large stochastic component in the divergence of momentum which is not correlated with the density field. The three kinds of momentum power spectra have their own characteristics.


title: Inference on Achieved Signal Noise Ratio

abstract: We describe a procedure to perform approximate inference on the achieved signal-noise ratio of the Markowitz Portfolio under Gaussian i.i.d. returns. The procedure relies on a statistic similar to the Sharpe Ratio Information Criterion. Testing indicates the procedure is somewhat conservative, but otherwise works well for reasonable values of sample and asset universe sizes. We adapt the procedure to deal with generalizations of the portfolio optimization problem.