title: The scale transformed power prior for use with historical data from a different outcome model

abstract: We develop the scale transformed power prior for settings where historical and current data involve different data types, such as binary and continuous data, respectively. This situation arises often in clinical trials, for example, when historical data involve binary responses and the current data involve time-to-event or some other type of continuous or discrete outcome. The power prior proposed by Ibrahim and Chen (2000) does not address the issue of different data types. Herein, we develop a new type of power prior, which we call the scale transformed power prior (straPP). The straPP is constructed by transforming the power prior for the historical data by rescaling the parameter using a function of the Fisher information matrices for the historical and current data models, thereby shifting the scale of the parameter vector from that of the historical to that of the current data. Examples are presented to motivate the need for a scale transformation and simulation studies are presented to illustrate the performance advantages of the straPP over the power prior and other informative and non-informative priors. A real dataset from a clinical trial undertaken to study a novel transitional care model for stroke survivors is used to illustrate the methodology.


title: Obituary, Professor John D. Barrow 1952-2020. The Sharpest of Minds

abstract: On Saturday 26 September, around 4am, John Barrow died aged 67, with his wife Elizabeth and son Roger at his side. From a scientific perspective, it is hard to conceive a more premature end. During lockdown alone, whilst undergoing chemotherapy and in the full knowledge that his cancer was inoperable, John managed to co-author 11 scientific papers and write a new book ("One Plus One"). Even by his own standards of productivity, this is staggeringly impressive, an achievement he was openly proud of. From a broader perspective, with a wife, 3 children and 5 young grandchildren, many strong friendships, and so much more to offer the world, he departed far too soon.


title: Proving LTL Properties of Bitvector Programs and Decompiled Binaries (Extended)

abstract: There is increasing interest in applying verification tools to programs that have bitvector operations (eg., binaries). SMT solvers, which serve as a foundation for these tools, have thus increased support for bitvector reasoning through bit-blasting and linear arithmetic approximations. In this paper we show that similar linear arithmetic approximation of bitvector operations can be done at the source level through transformations. Specifically, we introduce new paths that over-approximate bitvector operations with linear conditions/constraints, increasing branching but allowing us to better exploit the well-developed integer reasoning and interpolation of verification tools. We show that, for reachability of bitvector programs, increased branching incurs negligible overhead yet, when combined with integer interpolation optimizations, enables more programs to be verified. We further show this exploitation of integer interpolation in the common case also enables competitive termination verification of bitvector programs and leads to the first effective technique for LTL verification of bitvector programs. Finally, we provide an in-depth case study of decompiled ("lifted") binary programs, which emulate X86 execution through frequent use of bitvector operations. We present a new tool DarkSea, the first tool capable of verifying reachability, termination, and LTL of lifted binaries.


title: Research Data Infrastructure for High-Throughput Experimental Materials Science

abstract: The High-Throughput Experimental Materials Database (HTEM-DB) is the endpoint repository for inorganic thin-film materials data collected during combinatorial experiments at the National Renewable Energy Laboratory (NREL). This unique data asset is enabled by the Research Data Infrastructure (RDI) - a set of custom data tools that collect, process, and store experimental data and metadata. Here, we describe the experimental data-tool workflow from the RDI to the HTEM-DB to illustrate the strategies and best practices currently used for materials data at NREL. Integration of these data tools with the experimental processes establishes a data communication pipeline between experimental and data science communities. In doing so, this work motivates the creation of similar data workflows at other institutions to aggregate valuable data and increase its usefulness for future data studies. These types of investments can greatly accelerate the pace of learning and discovery in the materials science field, by making data accessible to new and rapidly evolving data methods.


title: Towards Long-Distance Inspection for In-pipe Robots in Water Distribution Systems with Smart Navigation

abstract: Incident in water distribution systems (WDS) cause water loss and water contamination that requires the utility managers to assess the condition of pipelines in a timely manner. However, pipelines are long and access to all parts of it is a chal-lenging task; current in-pipe robots have the limitations of short-distance inspection and inability to operate in-service networks. In this work, we improve the design of our previously developed in-pipe robot and analyze the effect of line pressure and relative velocity on the robot during operation with computational fluid dynamics (CFD) simulations. An extreme scenario for robot operation is defined and we estimate the minimum inspection distance for the robot with one turn of battery charge that is 5400m. A multi-phase motion controller is proposed that ensures reliable motion at straight and non-straight configurations of pipeline and also stabilized configuration with zero velocity at junctions. We also propose a localization and navigation method based on particle filtering and combine it with the proposed multi-phase motion controller. In this method, the map of the operation is provided to the robot and the robot localizes itself based on the map and the particle filtering method. Furthermore, the robot navigates different configurations of pipelines by switching between different phases of the motion controller algorithm that is performed by the particle filter algorithm. The experiment and simulation results show that the robot along with the navigation shows a promising solution towards long-distance inspection of pipelines by in-pipe robots.


title: Blocking without Breaking: Identification and Mitigation of Non-Essential IoT Traffic

abstract: Despite the prevalence of Internet of Things (IoT) devices, there is little information about the purpose and risks of the Internet traffic these devices generate, and consumers have limited options for controlling those risks. A key open question is whether one can mitigate these risks by automatically blocking some of the Internet connections from IoT devices, without rendering the devices inoperable. In this paper, we address this question by developing a rigorous methodology that relies on automated IoT-device experimentation to reveal which network connections (and the information they expose) are essential, and which are not. We further develop strategies to automatically classify network traffic destinations as either required (i.e., their traffic is essential for devices to work properly) or not, hence allowing firewall rules to block traffic sent to non-required destinations without breaking the functionality of the device. We find that indeed 16 among the 31 devices we tested have at least one blockable non-required destination, with the maximum number of blockable destinations for a device being 11. We further analyze the destination of network traffic and find that all third parties observed in our experiments are blockable, while first and support parties are neither uniformly required or non-required. Finally, we demonstrate the limitations of existing blocklists on IoT traffic, propose a set of guidelines for automatically limiting non-essential IoT traffic, and we develop a prototype system that implements these guidelines.


title: An Efficient Bayes Coding Algorithm for the Non-Stationary Source in Which Context Tree Model Varies from Interval to Interval

abstract: The context tree source is a source model in which the occurrence probability of symbols is determined from a finite past sequence, and is a broader class of sources that includes i.i.d. and Markov sources. The proposed source model in this paper represents that a subsequence in each interval is generated from a different context tree model. The Bayes code for such sources requires weighting of the posterior probability distributions for the change patterns of the context tree source and for all possible context tree models. Therefore, the challenge is how to reduce this exponential order computational complexity. In this paper, we assume a special class of prior probability distribution of change patterns and context tree models, and propose an efficient Bayes coding algorithm whose computational complexity is the polynomial order.


title: Gaia EDR3 parallaxes of type I X-ray bursters and their implications on the models of type I X-ray bursts: a generic approach to the Gaia parallax zero-point and its uncertainty

abstract: Light curves of photospheric radius expansion (PRE) bursts, a subset of type I X-ray bursts, have been used as standard candles to estimate the "nominal PRE distances" for 63% of PRE bursters (bursters), assuming PRE burst emission is spherically symmetric. Model-independent geometric parallaxes of bursters provide a valuable chance to test models of PRE bursts (PRE models), and can be provided in some cases by Gaia astrometry of the donor stars in bursters. We searched for counterparts to 115 known bursters in the Gaia Early Data Release 3, and confirmed 4 bursters with Gaia counterparts that have detected (>3sigma, prior to zero-point correction) parallaxes. We describe a generic approach to the Gaia parallax zero point as well as its uncertainty using an ensemble of Gaia quasars individually determined for each target. Assuming the spherically symmetric PRE model is correct, we refined the resultant nominal PRE distances of three bursters (i.e. Cen X-4, Cyg X-2 and 4U 0919-54), and put constraints on their compositions of the nuclear fuel powering the bursts. Finally, we describe a method for testing the correctness of the spherically symmetric PRE model using parallax measurements, and provide preliminary results.


title: AdaMML: Adaptive Multi-Modal Learning for Efficient Video Recognition

abstract: Multi-modal learning, which focuses on utilizing various modalities to improve the performance of a model, is widely used in video recognition. While traditional multi-modal learning offers excellent recognition results, its computational expense limits its impact for many real-world applications. In this paper, we propose an adaptive multi-modal learning framework, called AdaMML, that selects on-the-fly the optimal modalities for each segment conditioned on the input for efficient video recognition. Specifically, given a video segment, a multi-modal policy network is used to decide what modalities should be used for processing by the recognition model, with the goal of improving both accuracy and efficiency. We efficiently train the policy network jointly with the recognition model using standard back-propagation. Extensive experiments on four challenging diverse datasets demonstrate that our proposed adaptive approach yields 35%-55% reduction in computation when compared to the traditional baseline that simply uses all the modalities irrespective of the input, while also achieving consistent improvements in accuracy over the state-of-the-art methods.


title: Extremely low energy ARPES of quantum well states in cubic-GaN/AlN and GaAs/GaAlAs heterostructures

abstract: Quantum well (QW) heterostructures have been extensively used for the realization of a wide range of optical and electronic devices. Exploiting their potential for further improvement and development requires a fundamental understanding of their electronic structure. So far, the most commonly used experimental techniques for this purpose have been all-optical spectroscopy methods that, however, are generally averaged in momentum space. Additional information can be gained by angle-resolved photoelectron spectroscopy (ARPES), which measures the electronic structure with momentum resolution. Here we report on the use of extremely low energy ARPES (photon energy $\sim$ 7 eV) to increase its depth sensitivity and access buried QW states, located at 3 nm and 6 nm below the surface of cubic-GaN/AlN and GaAs/AlGaAs heterostructures, respectively. We find that the QW states in cubic-GaN/AlN can indeed be observed, but not their energy dispersion because of the high surface roughness. The GaAs/AlGaAs QW states, on the other hand, are buried too deep to be detected by extremely low energy ARPES. Since the sample surface is much flatter, the ARPES spectra of the GaAs/AlGaAs show distinct features in momentum space, which can be reconducted to the band structure of the topmost surface layer of the QW structure. Our results provide important information about the samples' properties required to perform extremely low energy ARPES experiments on electronic states buried in semiconductor heterostructures.


title: A Deep Census of Outlying Star Formation in the M101 Group

abstract: We present deep, narrowband imaging of the nearby spiral galaxy M101 and its group environment to search for star-forming dwarf galaxies and outlying HII regions. Using the Burrell Schmidt telescope, we target the brightest emission lines of star-forming regions, H$\alpha$, H$\beta$, and [OIII], to detect potential outlying star-forming regions. Our survey covers $\sim$6 square degrees around M101, and we detect objects in emission down to an H$\alpha$ flux level of $5.7 \times 10^{-17}$ erg s$^{-1}$ cm$^{-2}$ (equivalent to a limiting SFR of $1.7 \times 10^{-6}$ $M_\odot$ yr$^{-1}$ at the distance of M101). After careful removal of background contaminants and foreground M stars, we detect 19 objects in emission in all three bands, and 8 objects in emission in H$\alpha$ and [OIII]. We compare the structural and photometric properties of the detected sources to Local Group dwarf galaxies and star-forming galaxies in the 11HUGS and SINGG surveys. We find no large population of outlying HII regions or undiscovered star-forming dwarfs in the M101 Group, as most sources (93%) are consistent with being M101 outer disk HII regions. Only two sources were associated with other galaxies: a faint star-forming satellite of the background galaxy NGC 5486, and a faint outlying HII region near the M101 companion NGC 5474. We also find no narrowband emission associated with recently discovered ultradiffuse galaxies and starless HI clouds near M101. The lack of any hidden population of low luminosity star-forming dwarfs around M101 suggests a rather shallow faint end slope (as flat as $\alpha \sim -1.0$) for the star-forming luminosity function in the M101 Group. We discuss our results in the context of tidally-triggered star formation models and the interaction history of the M101 Group.


title: Electron-electron double resonance detected NMR spectroscopy using ensemble NV centers at 230 GHz and 8.3 Tesla

abstract: The nitrogen-vacancy (NV) center has enabled widespread study of nanoscale nuclear magnetic resonance (NMR) spectroscopy at low magnetic fields. NMR spectroscopy at high magnetic fields significantly improves the technique's spectral resolution, enabling clear identification of closely related chemical species. However, NV-detected NMR is typically performed using AC sensing through electron spin echo envelope modulation (ESEEM), a hyperfine spectroscopic technique that is not feasible at high magnetic fields. Within this paper, we have explored an NV-detected NMR technique for applications of high field NMR. We have demonstrated optically detected magnetic resonance (ODMR) with the NV Larmor frequency of 230 GHz at 8.3 Tesla, corresponding to a proton NMR frequency of 350 MHz. We also demonstrated the first measurement of electron-electron double resonance detected NMR (EDNMR) using the NV center and successfully detected $^{13}C$ nuclear bath spins. The described technique is limited by the longitudinal relaxation time ($T_1$), not the transverse relaxation time ($T_2$). Future applications of the method to perform nanoscale NMR of external spins at 8.3 T and even higher magnetic fields are also discussed.


title: Generalized Nonlocal Robin Laplacian on Arbitrary Domains

abstract: In this paper, we prove that it is always possible to define a realization of the Laplacian $\Delta_{\kappa,\theta}$ on $L^2(\Omega)$ subject to nonlocal Robin boundary conditions with general jump measures on arbitrary open subsets of $\mathbb R^N$. This is made possible by using a capacity approach to define admissible pair of measures $(\kappa,\theta)$ that allows the associated form $\mathcal E_{\kappa,\theta}$ to be closable. The nonlocal Robin Laplacian $\Delta_{\kappa,\theta}$ generates a sub-Markovian $C_0-$semigroup on $L^2(\Omega)$ which is not dominated by Neumann Laplacian semigroup unless the jump measure $\theta$ vanishes. Finally, the convergence of semigroups sequences $e^{-t\Delta_{\kappa_n,\theta_n}}$ is investigated in the case of vague convergence and $\gamma-$convergence of admissible pair of measures $(\kappa_n,\theta_n)$.


title: Mandating Code Disclosure is Unnecessary -- Strict Model Verification Does Not Require Accessing Original Computer Code

abstract: Mandating public availability of computer code underlying computational simulation modeling research ends up doing a disservice to the cause of model verification when inconsistencies between the specifications in the publication text and specifications in the computer code go unchallenged. Conversely, a model is verified when an independent researcher undertakes the set of mental processing tasks necessary to convert natural language specifications in a publication text into computer code instructions that produce numerical or graphical outputs identical to the outputs found in the original publication. The effort towards obtaining convergence with the numerical or graphical outputs directs intensive consideration of the publication text. The original computer code has little role to play in determining the verification status - verified/ failed verification. An insight is obtained that skillful deployment of human intelligence is feasible when effort-directing feedback processes are in place to appropriately go around the human frailty of giving up in the absence of actionable feedback. This principle can be put to use to develop better organizational configurations in business, government and society.


title: Heat and mass transfer during a sudden loss of vacuum in a liquid helium cooled tube -- Part III

abstract: A sudden loss of vacuum can be catastrophic for particle accelerators. In such an event, air leaks into the liquid-helium-cooled accelerator beamline tube and condenses on its inner surface, causing rapid boiling of the helium and dangerous pressure build-up. Understanding the coupled heat and mass transfer processes is important for the design of beamline cryogenic systems. Our past experimental study on nitrogen gas propagating in a copper tube cooled by normal liquid helium (He I) has revealed a nearly exponential slowing down of the gas front. A theoretical model that accounts for the interplay of the gas dynamics and the condensation was developed, which successfully reproduced various key observations. However, since many accelerator beamlines are actually cooled by the superfluid phase of helium (He II) in which the heat transfer is via a non-classical thermal-counterflow mode, we need to extend our work to the He II cooled tube. This paper reports our systematic measurements using He II and the numerical simulations based on a modified model that accounts for the He II heat-transfer characteristics. By tuning the He II peak heat-flux parameter in our model, we have reproduced the observed gas dynamics in all experimental runs. The fine-tuned model is then utilized to reliably evaluate the heat deposition in He II. This work not only advances our understanding of condensing gas dynamics but also has practical implications to the design codes for beamline safety.


title: The explicit formulae for the distributions of nonoverlapping words and its applications to statistical tests for pseudo random numbers

abstract: The distributions of the number of occurrences of words (the distributions of words for short) play key roles in information theory, statistics, probability theory, ergodic theory, computer science, and DNA analysis. Bassino et al. 2010 and Regnier et al. 1998 showed generating functions of the distributions of words for all sample sizes. Robin et al. 1999 presented generating functions of the distributions for the return time of words and demonstrated a recurrence formula for these distributions. These generating functions are rational functions; except for simple cases, it is difficult to expand them into power series. In this paper, we study finite-dimensional generating functions of the distributions of nonoverlapping words for each fixed sample size and demonstrate the explicit formulae for the distributions of words for the Bernoulli models. Our results are generalized to nonoverlapping partial words. We study statistical tests that depend on the number of occurrences of words and the number of block-wise occurrences of words, respectively. We demonstrate that the power of the test that depends on the number of occurrences of words is significantly large compared to the other one. Finally, we apply our results to statistical tests for pseudo random numbers.


title: U-Net-Based Surrogate Model For Evaluation of Microfluidic Channels

abstract: Microfluidics have shown great promise in multiple applications, especially in biomedical diagnostics and separations. While the flow properties of these microfluidic devices can be solved by numerical methods such as computational fluid dynamics (CFD), the process of mesh generation and setting up a numerical solver requires some domain familiarity, while more intuitive commercial programs such as Fluent and StarCCM can be expensive. Hence, in this work, we demonstrated the use of a U-Net convolutional neural network as a surrogate model for predicting the velocity and pressure fields that would result for a particular set of microfluidic filter designs. The surrogate model is fast, easy to set-up and can be used to predict and assess the flow velocity and pressure fields across the domain for new designs of interest via the input of a geometry-encoding matrix. In addition, we demonstrate that the same methodology can also be used to train a network to predict pressure based on velocity data, and propose that this can be an alternative to numerical algorithms for calculating pressure based on velocity measurements from particle-image velocimetry measurements. Critically, in both applications, we demonstrate prediction test errors of less than 1%, suggesting that this is indeed a viable method.


title: Lattice counting problem

abstract: We study the error of the number of unimodular lattice points that fall into a dilated and translated parallelogram. By using an article from Skriganov, we see that this error can be compared to an ergodic sum that involves the discrete geodesic flow over the space of unimodular lattices. With the right normalization, we show, by using tools from a previous work of Fayad and Dolgopyat, that a certain point process converges in law towards a Poisson process and deduce that the ergodic sum converges towards a Cauchy centered law when the unimodular lattice is distributed according to the normalized Haar measure. Strong from this experience, we apply the same kind of approach, with more difficulties, to the study of the asymptotic behaviour of the error and show that this error, normalized by $\log(t)$ with $t$ the factor of dilatation of the parallelogram, also converges in law towards a Cauchy centered law when the dilatation parameter tends to infinity and when the lattice and the vector of translation are random. In a next article, we will show that, in the case of a ball in dimension $d$ superior or equal to $2$, the error, normalized by $t^{\frac{d-1}{2}}$ with $t$ the factor of dilatation of the ball, converges in law when $t \rightarrow \infty$ and the limit law admits a moment of order $1$.


title: Mitigating Smart Meter Asynchrony Error Via Multi-Objective Low Rank Matrix Recovery

abstract: Smart meters (SMs) are being widely deployed by distribution utilities across the U.S. Despite their benefits in real-time monitoring. SMs suffer from certain data quality issues; specifically, unlike phasor measurement units (PMUs) that use GPS for data synchronization, SMs are not perfectly synchronized. The asynchrony error can degrade the monitoring accuracy in distribution networks. To address this challenge, we propose a principal component pursuit (PCP)-based data recovery strategy. Since asynchrony results in a loss of temporal correlation among SMs, the key idea in our solution is to leverage a PCP-based low rank matrix recovery technique to maximize the temporal correlation between multiple data streams obtained from SMs. Further, our approach has a novel multi-objective structure, which allows utilities to precisely refine and recover all SM-measured variables, including voltage and power measurements, while incorporating their inherent dependencies through power flow equations. We have performed numerical experiments using real SM data to demonstrate the effectiveness of the proposed strategy in mitigating the impact of SM asynchrony on distribution grid monitoring.


title: Renormalizability of alternative theories of gravity: differences between power counting and entropy argument

abstract: It is well known that General Relativity cannot be considered under the standard of a perturbatively renormalizable quantum field theory, but asymptotic safety is taken into account as a possibility for the formulation of gravity as a non-perturbative renormalizable theory. Recently, the entropy argument has however stepped into the discussion claiming for a "no-go" to the asymptotic safety argument. In this paper, we present simple counter-examples, considering alternative theories of gravity, to the entropy argument as further indications, among others, on the possible flows in the assumptions on which the latter is based on. We consider different theories, namely curvature based extensions of General Relativity as $f(R)$, $f(\mathcal{G})$, extensions of Teleparallel Gravity as $f(T)$, and Horava-Lifshitz gravity, working out the explicit spherically symmetric solutions in order to make a comparison between power counting and the entropy argument. Even in these cases, inconsistencies are found.


title: On Plug-and-Play Regularization using Linear Denoisers

abstract: In plug-and-play (PnP) regularization, the knowledge of the forward model is combined with a powerful denoiser to obtain state-of-the-art image reconstructions. This is typically done by taking a proximal algorithm such as FISTA or ADMM, and formally replacing the proximal map associated with a regularizer by nonlocal means, BM3D or a CNN denoiser. Each iterate of the resulting PnP algorithm involves some kind of inversion of the forward model followed by denoiser-induced regularization. A natural question in this regard is that of optimality, namely, do the PnP iterations minimize some f+g, where f is a loss function associated with the forward model and g is a regularizer? This has a straightforward solution if the denoiser can be expressed as a proximal map, as was shown to be the case for a class of linear symmetric denoisers. However, this result excludes kernel denoisers such as nonlocal means that are inherently non-symmetric. In this paper, we prove that a broader class of linear denoisers (including symmetric denoisers and kernel denoisers) can be expressed as a proximal map of some convex regularizer g. An algorithmic implication of this result for non-symmetric denoisers is that it necessitates appropriate modifications in the PnP updates to ensure convergence to a minimum of f+g. Apart from the convergence guarantee, the modified PnP algorithms are shown to produce good restorations.


title: r-Process Radioisotopes from Near-Earth Supernovae and Kilonovae

abstract: The astrophysical sites where r-process elements are synthesized remain mysterious: it is clear that neutron star mergers (kilonovae (KNe)) contribute, and some classes of core-collapse supernovae (SNe) are also likely sources of at least the lighter r-process species. The discovery of 60Fe on the Earth and Moon implies that one or more astrophysical explosions have occurred near the Earth within the last few million years, probably SNe. Intriguingly, 244Pu has now been detected, mostly overlapping with 60Fe pulse. However, the 244Pu flux may extend to before 12 Myr ago, pointing to a different origin. Motivated by these observations and difficulties for r-process nucleosynthesis in SN models, we propose that ejecta from a KN enriched the giant molecular cloud that gave rise to the Local Bubble, where the Sun resides. Accelerator mass spectrometry (AMS) measurements of 244Pu and searches for other live isotopes could probe the origins of the r-process and the history of the solar neighborhood, including triggers for mass extinctions, e.g., that at the end of the Devonian epoch, motivating the calculations of the abundances of live r-process radioisotopes produced in SNe and KNe that we present here. Given the presence of 244Pu, other r-process species such as 93Zr, 107Pd, 129I, 135Cs, 182Hf, 236U, 237Np and 247Cm should be present. Their abundances and well-resolved time histories could distinguish between the SN and KN scenarios, and we discuss prospects for their detection in deep-ocean deposits and the lunar regolith. We show that AMS 129I measurements in Fe-Mn crusts already constrain a possible nearby KN scenario.

categories: astro-ph.HE hep-ph nucl-ex nucl-th physics.geo-ph


title: The Role of Intent-Based Networking in ICT Supply Chains

abstract: The evolution towards Industry 4.0 is driving the need for innovative solutions in the area of network management, considering the complex, dynamic and heterogeneous nature of ICT supply chains. To this end, Intent-Based networking (IBN) which is already proven to evolve how network management is driven today, can be implemented as a solution to facilitate the management of large ICT supply chains. In this paper, we first present a comparison of the main architectural components of typical IBN systems and, then, we study the key engineering requirements when integrating IBN with ICT supply chain network systems while considering AI methods. We also propose a general architecture design that enables intent translation of ICT supply chain specifications into lower level policies, to finally show an example of how the access control is performed in a modeled ICT supply chain system.


title: On the Renyi Differential Privacy of the Shuffle Model

abstract: The central question studied in this paper is Renyi Differential Privacy (RDP) guarantees for general discrete local mechanisms in the shuffle privacy model. In the shuffle model, each of the $n$ clients randomizes its response using a local differentially private (LDP) mechanism and the untrusted server only receives a random permutation (shuffle) of the client responses without association to each client. The principal result in this paper is the first non-trivial RDP guarantee for general discrete local randomization mechanisms in the shuffled privacy model, and we develop new analysis techniques for deriving our results which could be of independent interest. In applications, such an RDP guarantee is most useful when we use it for composing several private interactions. We numerically demonstrate that, for important regimes, with composition our bound yields an improvement in privacy guarantee by a factor of $8\times$ over the state-of-the-art approximate Differential Privacy (DP) guarantee (with standard composition) for shuffled models. Moreover, combining with Poisson subsampling, our result leads to at least $10\times$ improvement over subsampled approximate DP with standard composition.


title: Factoring Multidimensional Data to Create a Sophisticated Bayes Classifier

abstract: In this paper we derive an explicit formula for calculating the marginal likelihood of a given factorization of a categorical dataset. Since the marginal likelihood is proportional to the posterior probability of the factorization, these likelihoods can be used to order all possible factorizations and select the "best" way to factor the overall distribution from which the dataset is drawn. The best factorization can then be used to construct a Bayes classifier which benefits from factoring out mutually independent sets of variables.


title: PTeacher: a Computer-Aided Personalized Pronunciation Training System with Exaggerated Audio-Visual Corrective Feedback

abstract: Second language (L2) English learners often find it difficult to improve their pronunciations due to the lack of expressive and personalized corrective feedback. In this paper, we present Pronunciation Teacher (PTeacher), a Computer-Aided Pronunciation Training (CAPT) system that provides personalized exaggerated audio-visual corrective feedback for mispronunciations. Though the effectiveness of exaggerated feedback has been demonstrated, it is still unclear how to define the appropriate degrees of exaggeration when interacting with individual learners. To fill in this gap, we interview 100 L2 English learners and 22 professional native teachers to understand their needs and experiences. Three critical metrics are proposed for both learners and teachers to identify the best exaggeration levels in both audio and visual modalities. Additionally, we incorporate the personalized dynamic feedback mechanism given the English proficiency of learners. Based on the obtained insights, a comprehensive interactive pronunciation training course is designed to help L2 learners rectify mispronunciations in a more perceptible, understandable, and discriminative manner. Extensive user studies demonstrate that our system significantly promotes the learners' learning efficiency.


title: Complexity Analysis of Root Clustering for a Complex Polynomial

abstract: Let $F(z)$ be an arbitrary complex polynomial. We introduce the local root clustering problem, to compute a set of natural $\varepsilon$-clusters of roots of $F(z)$ in some box region $B_0$ in the complex plane. This may be viewed as an extension of the classical root isolation problem. Our contribution is two-fold: we provide an efficient certified subdivision algorithm for this problem, and we provide a bit-complexity analysis based on the local geometry of the root clusters. Our computational model assumes that arbitrarily good approximations of the coefficients of $F$ are provided by means of an oracle at the cost of reading the coefficients. Our algorithmic techniques come from a companion paper (Becker et al., 2018) and are based on the Pellet test, Graeffe and Newton iterations, and are independent of Sch\"onhage's splitting circle method. Our algorithm is relatively simple and promises to be efficient in practice.


title: Geometric arcs and fundamental groups of rigid spaces

abstract: We develop the notion of a geometric covering of a rigid space X, which yields a much larger class of covering spaces than that studied previously by de Jong. Geometric coverings of X are closed under disjoint unions and are \'etale local on X. If X is connected, its geometric coverings form a tame infinite Galois category, and hence are classified by a topological group. The definition is based on the property of lifting of "geometric arcs," making it similar to geometric coverings of schemes studied by Bhatt and Scholze as well as semicoverings of topological spaces introduced by Brazas.


title: Peculiar-velocity cosmology with Types Ia and II supernovae

abstract: We present the Democratic Samples of Supernovae (DSS), a compilation of 775 low-redshift Type Ia and II supernovae (SNe Ia & II), of which 137 SN Ia distances are derived via the newly developed snapshot distance method. Using the objects in the DSS as tracers of the peculiar-velocity field, we compare against the corresponding reconstruction from the 2M++ galaxy redshift survey. Our analysis -- which takes special care to properly weight each DSS subcatalogue and cross-calibrate the relative distance scales between them -- results in a measurement of the cosmological parameter combination $f\sigma_8 = 0.390_{-0.022}^{+0.022}$ as well as an external bulk flow velocity of $195_{-23}^{+22}$ km s$^{-1}$ in the direction $(\ell, b) = (292_{-7}^{+7}, -6_{-4}^{+5})$ deg, which originates from beyond the 2M++ reconstruction. Similarly, we find a bulk flow of $245_{-31}^{+32}$ km s$^{-1}$ toward $(\ell, b) = (294_{-7}^{+7}, 3_{-5}^{+6})$ deg on a scale of $\sim 30 h^{-1}$ Mpc if we ignore the reconstructed peculiar-velocity field altogether. Our constraint on $f\sigma_8$ -- the tightest derived from SNe to date (considering only statistical error bars), and the only one to utilise SNe II -- is broadly consistent with other results from the literature. We intend for our data accumulation and treatment techniques to become the prototype for future studies that will exploit the unprecedented data volume from upcoming wide-field surveys.


title: The reactivation of water maser emission in the planetary nebula IRAS 18061--2505 through a born-again episode

abstract: Water maser emitting planetary nebulae (H$_2$O-PNe) are believed to be among the youngest PNe. We present new optical narrow- and broad-band images, intermediate- and high-resolution long-slit spectra, and archival optical images of the H$_2$O-PN IRAS 18061--2505. It appears a pinched-waist bipolar PN consisting of knotty lobes with some point-symmetric regions, a bow-shock near the tip of each lobe, and a very compact inner nebula where five components are identified in the spectra by their kinematic and emission properties. The water masers most probably reside in an oxygen-rich ring tracing the equatorial region of the bipolar lobes. These two structures probably result from common envelope evolution plus several bipolar and non-bipolar collimated outflows that have distorted the lobes. The bow-shocks could be related to a previous phase to that of common envelope. The inner nebula may be attributed to a late or very late thermal pulse that occurred before 1951.6 when it was not detectable in the POSSI-Blue image. Chemical abundances and other properties favour a 3--4 M$_{\odot}$ progenitor, although if the common envelope phase accelerated the evolution of the central star, masses <1.5 M$_{\odot}$ cannot be discarded. The age of the bipolar lobes is incompatible with the existence of water masers in IRAS 18061--2505, which may have been lately reactivated through shocks in the oxygen-rich ring, that are generated by the thermal pulse, implying that this PN is not extremely young. We discuss H$_2$O-PNe and possibly related objects in the light of our results for IRAS 18061--2505.


title: Measurement of the cross sections of $\Xi^0_{\rm c}$ and $\Xi^+_{\rm c}$ baryons and branching-fraction ratio BR($\Xi^0_{\rm c} \rightarrow \Xi^-{\rm e}^+\nu_{\rm e}$)/BR($\Xi^0_{\rm c} \rightarrow \Xi^-\pi^+$) in pp collisions at 13 TeV

abstract: The $p_{\rm T}$-differential cross sections of prompt charm-strange baryons $\Xi^0_{\rm c}$ and $\Xi^+_{\rm c}$ were measured at midrapidity ($|y| < 0.5$) in proton$-$proton (pp) collisions at a centre-of-mass energy $\sqrt{s}=13$ TeV with the ALICE detector at the LHC. The $\Xi^0_{\rm c}$ baryon was reconstructed via both the semileptonic decay ($\Xi^{-}{\rm e^{+}}\nu_{\rm e}$) and the hadronic decay ($\Xi^{-}{\rm \pi^{+}}$) channels. The $\Xi^+_{\rm c}$ baryon was reconstructed via the hadronic decay ($\Xi^{-}\pi^{+}\pi^{+}$) channel. The branching-fraction ratio $\rm {\rm BR}(\Xi_c^0\rightarrow \Xi^-e^+\nu_e)/\rm {\rm BR}(\Xi_c^0\rightarrow \Xi^{-}\pi^+)=$ 1.38 $\pm$ 0.14 (stat) $\pm$ 0.22 (syst) was measured with a total uncertainty reduced by a factor of about 3 with respect to the current world average reported by the Particle Data Group. The transverse momentum ($p_{\rm T}$) dependence of the $\Xi^0_{\rm c}$- and $\Xi^+_{\rm c}$-baryon production relative to the ${\rm D^0}$-meson and to the $\Sigma^{0,+,++}_{\rm c}$- and $\Lambda^+_{\rm c}$-baryon production are reported. The baryon-to-meson ratio increases towards low $p_{\rm T}$ up to a value of approximately 0.3. The measurements are compared with various models that take different hadronisation mechanisms into consideration. The results provide stringent constraints to these theoretical calculations and additional evidence that different processes are involved in charm hadronisation in electron$-$positron ($\rm e^+e^-$) and hadronic collisions.


title: Cavity driven Rabi oscillations between Rydberg states of atoms trapped on a superconducting atom chip

abstract: Hybrid quantum systems involving cold atoms and microwave resonators can enable cavity-mediated infinite-range interactions between atomic spin systems and realize atomic quantum memories and transducers for microwave to optical conversion. To achieve strong coupling of atoms to on-chip microwave resonators, it was suggested to use atomic Rydberg states with strong electric dipole transitions. Here we report on the realization of coherent coupling of a Rydberg transition of ultracold atoms trapped on an integrated superconducting atom chip to the microwave field of an on-chip coplanar waveguide resonator. We observe and characterize the cavity driven Rabi oscillations between a pair of Rydberg states of atoms in an inhomogeneous electric field near the chip surface. Our studies demonstrate the feasibility, but also reveal the challenges, of coherent state manipulation of Rydberg atoms interacting with superconducting circuits.


title: Generation of quantum states with nonlinear squeezing by Kerr nonlinearity

abstract: Quantum states with nonlinear squeezing are a necessary resource for deterministic implementation of high-order quadrature phase gates that are, in turn, sufficient for advanced quantum information processing. We demonstrate that this class of states can be deterministically prepared by employing a single Kerr gate accompanied by suitable Gaussian processing. The required Kerr coupling depends on the energy of the initial system and can be made arbitrarily small. We also employ numerical simulations to analyze the effects of imperfections and to show to which extent can they be neglected.


title: Investigating the role of strangeness in baryon$-$antibaryon annihilation at the LHC

abstract: Annihilation dynamics plays a fundamental role in the baryon$-$antibaryon interaction (B$-\rm{\overline{B}}$) at low-energy and its strength and range are crucial in the assessment of possible baryonic bound states. Experimental data on annihilation cross sections are available for the p$-\rm{\overline{p}}$ system but not in the low relative momentum region. Data regarding the B$-\rm{\overline{B}}$ interaction with strange degrees of freedom are extremely scarce, hence the modeling of the annihilation contributions is mainly based on nucleon$-$antinucleon (N$-\rm{\overline{N}}$) results, when available. In this letter we present a measurement of the p$-\rm{\overline{p}}$, p$-\overline{\Lambda}\oplus\rm{\overline{p}}-\Lambda$ and $\Lambda-\overline{\Lambda}$ interaction using correlation functions in the relative momentum space in high-multiplicity triggered pp collisions at $\sqrt{s} = 13$ TeV recorded by ALICE at the LHC. In the p$-\rm{\overline{p}}$ system the couplings to the mesonic channels in different partial waves are extracted by adopting a coupled-channel approach with recent $\chi\rm{EFT}$ potentials. The inclusion of these inelastic channels provides good agreement with the data, showing a significant presence of the annihilation term down to zero momentum. Predictions obtained using the Lednick\'y$-$Lyuboshits formula and scattering parameters obtained from heavy-ion collisions, hence mainly sensitive to elastic processes, are compared with the experimental p$-\overline{\Lambda}\oplus\rm{\overline{p}}-\Lambda$ and $\Lambda-\overline{\Lambda}$ correlations. The model describes the $\Lambda-\overline{\Lambda}$ data and underestimates the p$-\overline{\Lambda}\oplus\rm{\overline{p}}-\Lambda$ data in the region of momenta below 200 MeV/$c$. The observed deviation indicates a different contribution of annihilation channels to the two systems containing strange hadrons.


title: Analytical Gradients for Nuclear-Electronic Orbital Time-Dependent Density Functional Theory: Excited State Geometry Optimizations and Adiabatic Excitation Energies

abstract: The computational investigation of photochemical processes often entails the calculation of excited state geometries, energies, and energy gradients. The nuclear-electronic orbital (NEO) approach treats specified nuclei, typically protons, quantum mechanically on the same level as the electrons, thereby including the associated nuclear quantum effects and non-Born-Oppenheimer behavior into quantum chemistry calculations. The multicomponent density functional theory (NEO-DFT) and time-dependent DFT (NEO-TDDFT) methods allow efficient calculations of ground and excited states, respectively. Herein, the analytical gradients are derived and implemented for the NEO-TDDFT method and the associated Tamm-Dancoff approximation (NEO-TDA). The programmable equations for these analytical gradients, as well as the NEO-DFT analytical Hessian, are provided. The NEO approach includes the anharmonic zero-point energy and density delocalization associated with the quantum protons, as well as vibronic mixing, in geometry optimizations and energy calculations of ground and excited states. The harmonic zero-point energy associated with the other nuclei can be computed via the NEO Hessian. This approach is used to compute the 0-0 adiabatic excitation energies for a set of nine small molecules with all protons quantized, exhibiting slight improvement over the conventional electronic approach. Geometry optimizations of two excited state intramolecular proton transfer systems are performed with one and two quantized protons, respectively. The NEO calculations for these systems produce electronically excited state geometries with stronger intramolecular hydrogen bonds and similar relative stabilities compared to conventional electronic methods. This work provides the foundation for nonadiabatic dynamics simulations of fundamental processes such as photoinduced proton transfer and proton-coupled electron transfer.


title: Digital Building Twins and Blockchain for Performance-Based (Smart) Contracts

abstract: Performance contracts used for servitized business models enable consideration of overall life-cycle costs rather than just production costs. However, practical implementation of performance contracts has been limited due to challenges with performance evaluation, accountability, and financial concepts. As a solution, this paper proposes the connection of the digital building twin with blockchain-based smart contracts to execute performance-based digital payments. First, we conceptualize a technical architecture to connect blockchain to digital building twins. The digital building twin stores and evaluates performance data in real-time while the blockchain ensures transparency and trusted execution of automatic performance evaluation and rewards through smart contracts. Next, we demonstrate the feasibility of both the concept and technical architecture by integrating the Ethereum blockchain with digital building models and sensors via the Siemens building twin platform. The resulting prototype is the first full-stack implementation of a performance-based smart contract in the built environment.


title: GNOME and LBM Model Evaluation on Ocean Oil Spill Far-Field Impacts to Highly Sensitive Areas

abstract: In case of an ocean oil spill, there are certain areas, e.g. shrimp farms, which are highly sensitive to small amounts of oil pollution while they are geographically far from the spill. We investigate the Lattice Boltzmann Method (LBM) and GNOME, a tool developed and used by NOAA, in terms of far-field impacts to sensitive areas. We present our simulation results of both models in limited scale (a sub area of Gulf of Mexico) under the same oil spill condition using real ocean current data from the Unified Wave Interface-Coupled Model (UWIN-CM). Our study shows that the kinetic theory based LBM model outperforms the stochastic particle based GNOME model in accuracy and computation time due to their fundamental difference in representation of oil pollution advection and diffusion mechanisms. We propose LBM as a viable alternative to the Lagrangian particle calculation component of GNOME in modeling the far-field impacts to highly sensitive areas.

categories: physics.ao-ph cs.NA math.NA physics.flu-dyn


title: Peng's Maximum Principle for Stochastic Partial Differential Equations

abstract: We extend Peng's maximum principle for semilinear stochastic partial differential equations (SPDEs) in one space-dimension with non-convex control domains and control-dependent diffusion coefficients to the case of general cost functionals with Nemytskii-type coefficients. Our analysis is based on a new approach to the characterization of the second order adjoint state as the solution of a function-valued backward SPDE.


title: One property of zero set of function invertible in the sense of Ehrenpreis in the Schwartz algebra

abstract: We consider those elements of the Schwartz algebra of entire functions which are Fourier-Laplace transforms of invertible distributions with compact supports on the real line. These functions are called invertible in the sense of Ehrenpreis. The presented result concerns with the properties of zero subsets of invertible in the sense of Ehrenpreis function f. Namely, we establish some properties of the zero subset formed by zeros of f laying not far from the real axis.


title: Hypergeometric Functions at Unit Argument: Simple Derivation of Old and New Identities

abstract: The main goal of this paper is to derive a number of identities for the generalized hypergeometric function evaluated at unity and for certain terminating multivariate hypergeometric functions from the symmetries and other properties of Meijer's $G$ function. For instance, we recover two- and three-term Thomae relations for ${}_3F_2$, give two- and three-term transformations for ${}_4F_3$ with one unit shift and ${}_5F_4$ with two unit shifts in the parameters, establish multi-term identities for general ${}_{p}F_{p-1}$ and several transformations for terminating Kamp\'e de F\'eriet and Srivastava $F^{(3)}$ functions. We further present a presumably new formula for analytic continuation of ${}_pF_{p-1}(1)$ in parameters and reveal somewhat unexpected connections between the generalized hypergeometric functions and the generalized and ordinary Bernoulli polynomials. Finally, we exploit some recent duality relations for the generalized hypergeometric and $q$-hypergeometric functions to derive multi-term relations for terminating series.


title: Performance Comparison of Different Machine Learning Algorithms on the Prediction of Wind Turbine Power Generation

abstract: Over the past decade, wind energy has gained more attention in the world. However, owing to its indirectness and volatility properties, wind power penetration has increased the difficulty and complexity in dispatching and planning of electric power systems. Therefore, it is needed to make the high-precision wind power prediction in order to balance the electrical power. For this purpose, in this study, the prediction performance of linear regression, k-nearest neighbor regression and decision tree regression algorithms is compared in detail. k-nearest neighbor regression algorithm provides lower coefficient of determination values, while decision tree regression algorithm produces lower mean absolute error values. In addition, the meteorological parameters of wind speed, wind direction, barometric pressure and air temperature are evaluated in terms of their importance on the wind power parameter. The biggest importance factor is achieved by wind speed parameter. In consequence, many useful assessments are made for wind power predictions.


title: Koszul duality for operadic categories

abstract: The aim of this sequel to arXiv:1812.02935 is to set up the cornerstones of Koszul duality and Koszulity in the context of operads over a large class of operadic categories. In particular, for these operadic categories we will study concrete examples of binary quadratic operads, describe their Koszul duals and prove that they are Koszul. This includes operads whose algebras are the most important operad- and PROP-like structures such as the classical operads, their variants such as cyclic, modular or wheeled operads, and also diverse versions of PROPs such as properads, dioperads, 1/2PROPs, and still more exotic objects such as permutads and pre-permutads.


title: From (secure) w-domination in graphs to protection of lexicographic product graphs

abstract: Let $w=(w_0,w_1, \dots,w_l)$ be a vector of nonnegative integers such that $ w_0\ge 1$. Let $G$ be a graph and $N(v)$ the open neighbourhood of $v\in V(G)$. We say that a function $f: V(G)\longrightarrow \{0,1,\dots ,l\}$ is a $w$-dominating function if $f(N(v))=\sum_{u\in N(v)}f(u)\ge w_i$ for every vertex $v$ with $f(v)=i$. The weight of $f$ is defined to be $\omega(f)=\sum_{v\in V(G)} f(v)$. Given a $w$-dominating function $f$ and any pair of adjacent vertices $v, u\in V(G)$ with $f(v)=0$ and $f(u)>0$, the function $f_{u\rightarrow v}$ is defined by $f_{u\rightarrow v}(v)=1$, $f_{u\rightarrow v}(u)=f(u)-1$ and $f_{u\rightarrow v}(x)=f(x)$ for every $x\in V(G)\setminus\{u,v\}$. We say that a $w$-dominating function $f$ is a secure $w$-dominating function if for every $v$ with $f(v)=0$, there exists $u\in N(v)$ such that $f(u)>0$ and $f_{u\rightarrow v}$ is a $w$-dominating function as well. The (secure) $w$-domination number of $G$, denoted by ($\gamma_{w}^s(G)$) $\gamma_{w}(G)$, is defined as the minimum weight among all (secure) $w$-dominating functions. In this paper, we show how the secure (total) domination number and the (total) weak Roman domination number of lexicographic product graphs $G\circ H$ are related to $\gamma_w^s(G)$ or $\gamma_w(G)$. For the case of the secure domination number and the weak Roman domination number, the decision on whether $w$ takes specific components will depend on the value of $\gamma_{(1,0)}^s(H)$, while in the case of the total version of these parameters, the decision will depend on the value of $\gamma_{(1,1)}^s(H)$.


title: First-principles calculations and experimental studies on Co2FeGe Heusler alloy nanoparticles for spintronics applications

abstract: Here, we report the synthesis and physical properties of Co2FeGe (CFG) Heusler alloy (HA) nanoparticles (NPs). The NPs of size 23 nm are prepared using the co-precipitation method. X-ray and selected area electron diffraction patterns have confirmed the cubic Heusler phase of the NPs with the A2-disorder. These NPs are soft ferromagnetic, and exhibit a high saturation magnetization (Ms) along with a very high Curie temperature (Tc) of 1060 K. The observed Tc value matches closely with the theoretically calculated one following a model provided by Wurmehl et al. [1]. The high Ms and Tc make the present system a potential candidate for magnetically activated nano-devices working at high temperatures. The near-integral value 5.9 mehoB/f.u. of Ms at low temperatures indicates that the half-metallic ferromagnetism is preserved even in the particles even on the 20 nm length scale. Additionally, we have facilitated the existing HA-NP preparation method, which can be used in synthesizing other HA-NPs. The first-principles density functional theory computations complement the experimental results.


title: Blow-up groupoid of singular foliations

abstract: We introduce a blow-up construction of a smooth manifold along the singular leaves of an arbitrary singular foliation in the sense of Stefan and Sussmann, as well as a blow-up construction of the holonomy groupoid defined by Androulidakis and Skandalis. Our construction gives a locally compact locally Hausdorff groupoid, which can be regarded as a desingularisation of the singular foliation. We show that it retains some smooth structure.


title: Analysis of external and internal disorder to understand band-like transport in n-type organic semiconductors

abstract: Charge transport in organic semiconductors is notoriously extremely sensitive to the presence of disorder, both internal and external (i.e. related to the interactions with the dielectric layer), especially for n-type materials. Internal dynamic disorder stems from large thermal fluctuations both in intermolecular transfer integrals and (molecular) site energies in weakly interacting van der Waals solids and sources transient localization of the charge carriers. The molecular vibrations that drive transient localization typically operate at low-frequency (< a-few-hundred cm-1), which renders it difficult to assess them experimentally. Hitherto, this has prevented the identification of clear molecular design rules to control and reduce dynamic disorder. In addition, the disorder can also be external, being controlled by the gate insulator dielectric properties. Here we report on a comprehensive study of charge transport in two closely related n-type molecular organic semiconductors using a combination of temperature-dependent inelastic neutron scattering and photoelectron spectroscopy corroborated by electrical measurements, theory and simulations. We provide unambiguous evidence that ad hoc molecular design enables to free the electron charge carriers from both internal and external disorder to ultimately reach band-like electron transport.


title: Random acceleration process on finite intervals under stochastic restarting

abstract: The escape of the randomly accelerated undamped particle from the finite interval under action of stochastic resetting is studied. The motion of such a particle is described by the full Langevin equation and the particle is characterized by the position and velocity. We compare three resetting protocols, which restarts velocity or position (partial resetting) and the whole motion (position and velocity -- full resetting). Using the mean first passage time we assess efficiency of restarting protocols in facilitating or suppressing the escape kinetics. There are fundamental differences between partial resetting scenarios which restart velocity or position, as in the limit of very frequent resets only the position resetting (regardless of initial velocity) can trap the particle in the finite domain of motion. The velocity resetting or the simultaneous position and velocity restarting provide a possibility of facilitating the undamped escape kinetics.


title: Development of a Multi-Task Learning V-Net for Pulmonary Lobar Segmentation on Computed Tomography and Application to Diseased Lungs

abstract: Automated lobar segmentation allows regional evaluation of lung disease and is important for diagnosis and therapy planning. Advanced statistical workflows permitting such evaluation is a needed area within respiratory medicine; their adoption remains slow, with poor workflow accuracy. Diseased lung regions often produce high-density zones on CT images, limiting an algorithm's execution to specify damaged lobes due to oblique or lacking fissures. This impact motivated developing an improved machine learning method to segment lung lobes that utilises tracheobronchial tree information to enhance segmentation accuracy through the algorithm's spatial familiarity to define lobar extent more accurately. The method undertakes parallel segmentation of lobes and auxiliary tissues simultaneously by employing multi-task learning (MTL) in conjunction with V-Net-attention, a popular convolutional neural network in the imaging realm. In keeping with the model's adeptness for better generalisation, high performance was retained in an external dataset of patients with four distinct diseases: severe lung cancer, COVID-19 pneumonitis, collapsed lungs and Chronic Obstructive Pulmonary Disease (COPD), even though the training data included none of these cases. The benefit of our external validation test is specifically relevant since our choice includes those patients who have diagnosed lung disease with associated radiological abnormalities. To ensure equal rank is given to all segmentations in the main task we report the following performance (Dice score) on a per-segment basis: normal lungs 0.97, COPD 0.94, lung cancer 0.94, COVID-19 pneumonitis 0.94 and collapsed lung 0.92, all at p<0.05. Even segmenting lobes with large deformations on CT images, the model maintained high accuracy. The approach can be readily adopted in the clinical setting as a robust tool for radiologists.


title: Simplicity of right-angled Hecke C$^\ast$-algebras

abstract: By exploiting properties of boundaries associated with Coxeter groups we obtain a complete characterization of simple right-angled multi-parameter Hecke C$^{\ast}$-algebras. This extends previous results by Caspers, Larsen and the author. Based on work by Raum and Skalski, we further describe the center and the character space of right-angled Hecke C$^{\ast}$-algebras.


title: Combinatorial screening of crystal structure in Ba-Sr-Mn-Ce perovskite oxides with ABO3 stoichiometry

abstract: ABO3 oxides with the perovskite-related structures are attracting significant interest due to their promising physical and chemical properties for many applications requiring tunable chemistry, including fuel cells, catalysis, and electrochemical water splitting. Here we report on the crystal structure of the entire family of perovskite oxides with ABO3 stoichiometry, where A and B are Ba, Sr, Mn, Ce. Given the vast size of this chemically complex material system, exploration for stable perovskite-related structures with respect to its constituent elements and annealing temperature is performed by combinatorial pulsed laser deposition and spatially-resolved characterization of composition and structure. As a result of this high-throughput experimental study, we identify hexagonal perovskite-related polytypic transformation as a function of composition in the Ba1-xSrxMnO3 oxides after annealing at different temperatures. Furthermore, a hexagonal perovskite-related polytype is observed in a narrow composition-temperature range of the BaCexMn1-xO3 oxides. In contrast, a tetragonally-distorted perovskite is observed across a wider range of compositions and annealing temperatures in the Sr1-xCexMnO3 oxides. This structure stability is further enhanced along the BaCexMn1-xO3 - Sr1-xCexMnO3 pseudo-binary tie-line at x=0.25 by increasing Ba-incorporation and annealing temperature. These results indicate that the BaCexMn1-xO3 - Sr1-xCexMnO3 pseudo-binary oxide alloys (solid solutions) with tetragonal perovskite structure and broad composition-temperature range of stability are promising candidates for thermochemical water splitting applications.


title: Rethinking of Radar's Role: A Camera-Radar Dataset and Systematic Annotator via Coordinate Alignment

abstract: Radar has long been a common sensor on autonomous vehicles for obstacle ranging and speed estimation. However, as a robust sensor to all-weather conditions, radar's capability has not been well-exploited, compared with camera or LiDAR. Instead of just serving as a supplementary sensor, radar's rich information hidden in the radio frequencies can potentially provide useful clues to achieve more complicated tasks, like object classification and detection. In this paper, we propose a new dataset, named CRUW, with a systematic annotator and performance evaluation system to address the radar object detection (ROD) task, which aims to classify and localize the objects in 3D purely from radar's radio frequency (RF) images. To the best of our knowledge, CRUW is the first public large-scale dataset with a systematic annotation and evaluation system, which involves camera RGB images and radar RF images, collected in various driving scenarios.


title: Challenges for $\Lambda$CDM: An update

abstract: A number of challenges to the standard $\Lambda$CDM model have been emerging during the past few years as the accuracy of cosmological observations improves. In this review we discuss in a unified manner many existing signals in cosmological and astrophysical data that appear to be in some tension ($2\sigma$ or larger) with the standard $\Lambda$CDM model as specified by the Cosmological Principle, General Relativity and the Planck18 parameter values. In addition to the well-studied $5\sigma$ challenge of $\Lambda$CDM (the Hubble $H_0$ tension) and other well known tensions (the growth tension, and the lensing amplitude $A_L$ anomaly), we discuss a wide range of other less discussed less-standard signals which appear at a lower statistical significance level than the $H_0$ tension some of them known as 'curiosities' in the data) which may also constitute hints towards new physics. For example such signals include cosmic dipoles (the fine structure constant $\alpha$, velocity and quasar dipoles), CMB asymmetries, BAO Ly$\alpha$ tension, age of the Universe issues, the Lithium problem, small scale curiosities like the core-cusp and missing satellite problems, quasars Hubble diagram, oscillating short range gravity signals etc. The goal of this pedagogical review is to collectively present the current status (2022 update) of these signals and their level of significance, with emphasis on the Hubble tension and refer to recent resources where more details can be found for each signal. We also briefly discuss theoretical approaches that can potentially explain some of these signals.


title: Restoring Hebrew Diacritics Without a Dictionary

abstract: We demonstrate that it is feasible to diacritize Hebrew script without any human-curated resources other than plain diacritized text. We present NAKDIMON, a two-layer character level LSTM, that performs on par with much more complicated curation-dependent systems, across a diverse array of modern Hebrew sources.


title: Accelerated Forward-Backward Optimization using Deep Learning

abstract: We propose several deep-learning accelerated optimization solvers with convergence guarantees. We use ideas from the analysis of accelerated forward-backward schemes like FISTA, but instead of the classical approach of proving convergence for a choice of parameters, such as a step-size, we show convergence whenever the update is chosen in a specific set. Rather than picking a point in this set using some predefined method, we train a deep neural network to pick the best update. Finally, we show that the method is applicable to several cases of smooth and non-smooth optimization and show superior results to established accelerated solvers.


title: Does Topology Enhance Thermoelectric Efficiency? A Case Study in Bismuthene

abstract: Two-dimensional (2D) bismuth (Bi) layer, known as bismuthene, exhibits $Z2$ topological bulk states due to large spin-orbit coupling that inverts the bands. Using the tight-binding method, we calculate the band structure of buckled bismuthene to understand its topological and trivial phases. We determine the thermoelectric properties for some considered phases, incorporating the edge states contribution, by using the linearized Boltzmann transport equation (BTE) with a constant relaxation time approximation. It is shown that the thermoelectric figure of merit, $ZT$, actually drops in undoped topological bismuthene due to the edge effects. Surprisingly, the topological edge states enhance $ZT$ at large doping with the Fermi energy near the bottom of bulk bands when bismuthene is nearly metallic.


title: Two novel feature selection algorithms based on crowding distance

abstract: In this paper, two novel algorithms for features selection are proposed. The first one is a filter method while the second is wrapper method. Both the proposed algorithms use the crowding distance used in the multiobjective optimization as a metric in order to sort the features. The less crowded features have great effects on the target attribute (class). The experimental results have shown the effectiveness and the robustness of the proposed algorithms.


title: Outlier Detection for Functional Data with R Package fdaoutlier

abstract: Outlier detection is one of the standard exploratory analysis tasks in functional data analysis. We present the R package fdaoutlier which contains implementations of some of the latest techniques for detecting functional outliers. The package makes it easy to detect different types of outliers (magnitude, shape, and amplitude) in functional data, and some of the implemented methods can be applied to both univariate and multivariate functional data. We illustrate the main functionality of the R package with common functional datasets in the literature.


title: On the behavior of stringy motives under Galois quasi-\'etale covers

abstract: We investigate the behavior of stringy motives under Galois quasi-\'etale covers. We prove them to descend under such covers in a sense defined via their Poincar\'e realizations. Further, we show such descent to be strict in the presence of ramification. As a corollary, we reduce the problem regarding the finiteness of the \'etale fundamental group of KLT singularities to a DCC property for their stringy motives. We verify such DCC property for surfaces in arbitrary characteristic. As an application, we give a characteristic-free proof for the finiteness of the \'etale fundamental group of log terminal surface singularities, which was unknown in equal characteristics $2$ and $3$ and in mixed characteristics.


title: Doubly invariant subspaces of the Besicovitch space

abstract: A classical result of Norbert Wiener characterises doubly shift-invariant subspaces for square integrable functions on the unit circle with respect to a finite positive Borel measure $\mu$, as being the ranges of the multiplication maps corresponding to the characteristic functions of $\mu$-measurable subsets of the unit circle. An analogue of this result is given for the Besicovitch Hilbert space of `square integrable almost periodic functions'.


title: ReflectNet -- A Generative Adversarial Method for Single Image Reflection Suppression

abstract: Taking pictures through glass windows almost always produces undesired reflections that degrade the quality of the photo. The ill-posed nature of the reflection removal problem reached the attention of many researchers for more than decades. The main challenge of this problem is the lack of real training data and the necessity of generating realistic synthetic data. In this paper, we proposed a single image reflection removal method based on context understanding modules and adversarial training to efficiently restore the transmission layer without reflection. We also propose a complex data generation model in order to create a large training set with various type of reflections. Our proposed reflection removal method outperforms state-of-the-art methods in terms of PSNR and SSIM on the SIR benchmark dataset.


title: Representation Learning via Global Temporal Alignment and Cycle-Consistency

abstract: We introduce a weakly supervised method for representation learning based on aligning temporal sequences (e.g., videos) of the same process (e.g., human action). The main idea is to use the global temporal ordering of latent correspondences across sequence pairs as a supervisory signal. In particular, we propose a loss based on scoring the optimal sequence alignment to train an embedding network. Our loss is based on a novel probabilistic path finding view of dynamic time warping (DTW) that contains the following three key features: (i) the local path routing decisions are contrastive and differentiable, (ii) pairwise distances are cast as probabilities that are contrastive as well, and (iii) our formulation naturally admits a global cycle consistency loss that verifies correspondences. For evaluation, we consider the tasks of fine-grained action classification, few shot learning, and video synchronization. We report significant performance increases over previous methods. In addition, we report two applications of our temporal alignment framework, namely 3D pose reconstruction and fine-grained audio/visual retrieval.


title: The Amplitude for Classical Gravitational Scattering at Third Post-Minkowskian Order

abstract: We compute the scattering amplitude for classical black-hole scattering to third order in the Post-Minkowskian expansion, keeping all terms needed to derive the scattering angle to that order from the eikonal formalism. Our results confirm a conjectured relation between the real and imaginary parts of the amplitude by Di Vecchia, Heissenberg, Russo, and Veneziano, and are in agreement with a recent computation by Damour based on radiation reaction in general relativity.


title: Sharp phase transition for Gaussian percolation in all dimensions

abstract: We consider the level-sets of continuous Gaussian fields on $\mathbb{R}^d$ above a certain level $-\ell\in \mathbb{R}$, which defines a percolation model as $\ell$ varies. We assume that the covariance kernel satisfies certain regularity, symmetry and positivity conditions as well as a polynomial decay with exponent greater than $d$ (in particular, this includes the Bargmann-Fock field). Under these assumptions, we prove that the model undergoes a sharp phase transition around its critical point $\ell_c$. More precisely, we show that connection probabilities decay exponentially for $\ell<\ell_c$ and percolation occurs in sufficiently thick 2D slabs for $\ell>\ell_c$. This extends results recently obtained in dimension $d=2$ to arbitrary dimensions through completely different techniques. The result follows from a global comparison with a truncated (i.e. with finite range of dependence) and discretized (i.e. defined on the lattice $\varepsilon\mathbb{Z}^d$) version of the model, which may be of independent interest. The proof of this comparison relies on an interpolation scheme that integrates out the long-range and infinitesimal correlations of the model while compensating them with a slight change in the parameter $\ell$.


title: Retro Drug Design: From Target Properties to Molecular Structures

abstract: To generate drug molecules of desired properties with computational methods is the holy grail in pharmaceutical research. Here we describe an AI strategy, retro drug design, or RDD, to generate novel small molecule drugs from scratch to meet predefined requirements, including but not limited to biological activity against a drug target, and optimal range of physicochemical and ADMET properties. Traditional predictive models were first trained over experimental data for the target properties, using an atom typing based molecular descriptor system, ATP. Monte Carlo sampling algorithm was then utilized to find the solutions in the ATP space defined by the target properties, and the deep learning model of Seq2Seq was employed to decode molecular structures from the solutions. To test feasibility of the algorithm, we challenged RDD to generate novel drugs that can activate {\mu} opioid receptor (MOR) and penetrate blood brain barrier (BBB). Starting from vectors of random numbers, RDD generated 180,000 chemical structures, of which 78% were chemically valid. About 42,000 (31%) of the valid structures fell into the property space defined by MOR activity and BBB permeability. Out of the 42,000 structures, only 267 chemicals were commercially available, indicating a high extent of novelty of the AI-generated compounds. We purchased and assayed 96 compounds, and 25 of which were found to be MOR agonists. These compounds also have excellent BBB scores. The results presented in this paper illustrate that RDD has potential to revolutionize the current drug discovery process and create novel structures with multiple desired properties, including biological functions and ADMET properties. Availability of an AI-enabled fast track in drug discovery is essential to cope with emergent public health threat, such as pandemic of COVID-19.


title: SHREC 2021: Retrieval and classification of protein surfaces equipped with physical and chemical properties

abstract: This paper presents the methods that have participated in the SHREC 2021 contest on retrieval and classification of protein surfaces on the basis of their geometry and physicochemical properties. The goal of the contest is to assess the capability of different computational approaches to identify different conformations of the same protein, or the presence of common sub-parts, starting from a set of molecular surfaces. We addressed two problems: defining the similarity solely based on the surface geometry or with the inclusion of physicochemical information, such as electrostatic potential, amino acid hydrophobicity, and the presence of hydrogen bond donors and acceptors. Retrieval and classification performances, with respect to the single protein or the existence of common sub-sequences, are analysed according to a number of information retrieval indicators.


title: Including Signed Languages in Natural Language Processing

abstract: Signed languages are the primary means of communication for many deaf and hard of hearing individuals. Since signed languages exhibit all the fundamental linguistic properties of natural language, we believe that tools and theories of Natural Language Processing (NLP) are crucial towards its modeling. However, existing research in Sign Language Processing (SLP) seldom attempt to explore and leverage the linguistic organization of signed languages. This position paper calls on the NLP community to include signed languages as a research area with high social and scientific impact. We first discuss the linguistic properties of signed languages to consider during their modeling. Then, we review the limitations of current SLP models and identify the open challenges to extend NLP to signed languages. Finally, we urge (1) the adoption of an efficient tokenization method; (2) the development of linguistically-informed models; (3) the collection of real-world signed language data; (4) the inclusion of local signed language communities as an active and leading voice in the direction of research.


title: Bounded cohomology of classifying spaces for families of subgroups

abstract: We introduce a bounded version of Bredon cohomology for groups relative to a family of subgroups. Our theory generalizes bounded cohomology and differs from Mineyev--Yaman's relative bounded cohomology for pairs. We obtain cohomological characterizations of relative amenability and relative hyperbolicity, analogous to the results of Johnson and Mineyev for bounded cohomology.


title: Implicit and semi-implicit second-order time stepping methods for the Richards equation

abstract: This study concerns numerical methods for efficiently solving the Richards equation where different weak formulations and computational techniques are analyzed. The spatial discretizations are based on standard or mixed finite element methods. Different implicit and semi-implicit temporal discretization techniques of second-order accuracy are studied. To obtain a linear system for the semi-implicit schemes, we propose second-order techniques using extrapolation formulas and/or semi-implicit Taylor approximations for the temporal discretization of nonlinear terms. A numerical convergence study and a series of numerical tests are performed to analyze efficiency and robustness of the different schemes. The developed scheme, based on the proposed temporal extrapolation techniques and the mixed formulation involving the saturation and pressure head and using the standard linear Lagrange element, performs better than other schemes based on the saturation and the flux and using the Raviart-Thomas elements. The proposed semi-implicit scheme is a good alternative when implicit schemes meet convergence issues.


title: $\mathrm{t\bar{t}+X}$ production at ATLAS and CMS

abstract: Recent inclusive and differential cross section measurements of the associated production of top quark pairs with gauge bosons or heavy-flavor jets are reported. A search for physics beyond the standard model in the top quark sector is also presented. All measurements are based on data samples of proton-proton collisions at $\sqrt{s}=13$ TeV collected by the ATLAS and CMS experiments at the CERN LHC. No significant deviation from the standard model predictions is observed.


title: Home Action Genome: Cooperative Compositional Action Understanding

abstract: Existing research on action recognition treats activities as monolithic events occurring in videos. Recently, the benefits of formulating actions as a combination of atomic-actions have shown promise in improving action understanding with the emergence of datasets containing such annotations, allowing us to learn representations capturing this information. However, there remains a lack of studies that extend action composition and leverage multiple viewpoints and multiple modalities of data for representation learning. To promote research in this direction, we introduce Home Action Genome (HOMAGE): a multi-view action dataset with multiple modalities and view-points supplemented with hierarchical activity and atomic action labels together with dense scene composition labels. Leveraging rich multi-modal and multi-view settings, we propose Cooperative Compositional Action Understanding (CCAU), a cooperative learning framework for hierarchical action recognition that is aware of compositional action elements. CCAU shows consistent performance improvements across all modalities. Furthermore, we demonstrate the utility of co-learning compositions in few-shot action recognition by achieving 28.6% mAP with just a single sample.


title: Doing Natural Language Processing in A Natural Way: An NLP toolkit based on object-oriented knowledge base and multi-level grammar base

abstract: We introduce an NLP toolkit based on object-oriented knowledge base and multi-level grammar base. This toolkit focuses on semantic parsing, it also has abilities to discover new knowledge and grammar automatically, new discovered knowledge and grammar will be identified by human, and will be used to update the knowledge base and grammar base. This process can be iterated many times to improve the toolkit continuously.


title: Global Convergence of Three-layer Neural Networks in the Mean Field Regime

abstract: In the mean field regime, neural networks are appropriately scaled so that as the width tends to infinity, the learning dynamics tends to a nonlinear and nontrivial dynamical limit, known as the mean field limit. This lends a way to study large-width neural networks via analyzing the mean field limit. Recent works have successfully applied such analysis to two-layer networks and provided global convergence guarantees. The extension to multilayer ones however has been a highly challenging puzzle, and little is known about the optimization efficiency in the mean field regime when there are more than two layers. In this work, we prove a global convergence result for unregularized feedforward three-layer networks in the mean field regime. We first develop a rigorous framework to establish the mean field limit of three-layer networks under stochastic gradient descent training. To that end, we propose the idea of a \textit{neuronal embedding}, which comprises of a fixed probability space that encapsulates neural networks of arbitrary sizes. The identified mean field limit is then used to prove a global convergence guarantee under suitable regularity and convergence mode assumptions, which -- unlike previous works on two-layer networks -- does not rely critically on convexity. Underlying the result is a universal approximation property, natural of neural networks, which importantly is shown to hold at \textit{any} finite training time (not necessarily at convergence) via an algebraic topology argument.

categories: cs.LG cond-mat.stat-mech math.ST stat.ML stat.TH


title: On the squashed seven-sphere operator spectrum

abstract: We derive major parts of the eigenvalue spectrum of the operators on the squashed seven-sphere that appear in the compactification of eleven-dimensional supergravity. These spectra determine the mass spectrum of the fields in $AdS_4$ and are important for the corresponding ${\mathcal N} =1$ supermultiplet structure. This work is a continuation of the work in [1] where the complete spectrum of irreducible isometry representations of the fields in $AdS_4$ was derived for this compactification. Some comments are also made concerning the $G_2$ holonomy and its implications on the structure of the operator equations on the squashed seven-sphere.


title: Line bundles on perfectoid covers: case of good reduction

abstract: We study Picard groups in profinite perfectoid limits of rigid spaces in the case of good reduction. Our main result is that for sufficiently large covers, these can be described in terms of the special fibre: For example, our description implies that for a supersingular variety $X$ of good reduction $\bar{X}$ over a perfectoid field of characteristic $p$, \[\mathrm{Pic}(X^{perf})=\mathrm{Pic}(\bar{X})[1/p].\] Via Raynaud uniformisation, it moreover allows us to describe Picard groups of pro-\'etale covers of abeloid varieties, which has applications to pro-\'etale uniformisation. We use our results to answer some general questions about Picard groups and Picard functors of perfectoid spaces, e.g. we show that these are not always $p$-divisible. Along the way we construct a "multiplicative Hodge--Tate spectral sequence" for $\mathcal{O}^\times$. This is part III of a series on line bundles on diamonds.


title: Soft BIBD and Product Gradient Codes

abstract: Gradient coding is a coding theoretic framework to provide robustness against slow or unresponsive machines, known as stragglers, in distributed machine learning applications. Recently, Kadhe et al. proposed a gradient code based on a combinatorial design, called balanced incomplete block design (BIBD), which is shown to outperform many existing gradient codes in worst-case adversarial straggling scenarios. However, parameters for which such BIBD constructions exist are very limited. In this paper, we aim to overcome such limitations and construct gradient codes which exist for a wide range of system parameters while retaining the superior performance of BIBD gradient codes. Two such constructions are proposed, one based on a probabilistic construction that relax the stringent BIBD gradient code constraints, and the other based on taking the Kronecker product of existing gradient codes. The proposed gradient codes allow flexible choices of system parameters while retaining comparable error performance.


title: Benchmarking near-term quantum computers via random circuit sampling

abstract: The increasing scale of near-term quantum hardware motivates the need for efficient noise characterization methods, since qubit and gate level techniques cannot capture crosstalk and correlated noise in many qubit systems. While scalable approaches, such as cycle benchmarking, are known for special classes of quantum circuits, the characterization of noise in general circuits with non-Clifford gates has been an unreachable task. We develop an algorithm that can sample-efficiently estimate the total amount of noise induced by a layer of arbitrary non-Clifford gates, including all crosstalks, and experimentally demonstrate the method on IBM Quantum hardware. Our algorithm is inspired by Google's quantum supremacy experiment and is based on random circuit sampling. In their paper, Google observed that their experimental linear cross entropy was consistent with a simple uncorrelated noise model, and claimed this coincidence indicated that the noise in their device was uncorrelated -- a key step in hardware development towards fault tolerance. As an application, we show that our result provides formal evidence to support such a conclusion.


title: Diffusion Models Beat GANs on Image Synthesis

abstract: We show that diffusion models can achieve image sample quality superior to the current state-of-the-art generative models. We achieve this on unconditional image synthesis by finding a better architecture through a series of ablations. For conditional image synthesis, we further improve sample quality with classifier guidance: a simple, compute-efficient method for trading off diversity for fidelity using gradients from a classifier. We achieve an FID of 2.97 on ImageNet 128$\times$128, 4.59 on ImageNet 256$\times$256, and 7.72 on ImageNet 512$\times$512, and we match BigGAN-deep even with as few as 25 forward passes per sample, all while maintaining better coverage of the distribution. Finally, we find that classifier guidance combines well with upsampling diffusion models, further improving FID to 3.94 on ImageNet 256$\times$256 and 3.85 on ImageNet 512$\times$512. We release our code at https://github.com/openai/guided-diffusion


title: A Spectral Representation of Power Systems with Applications to Adaptive Grid Partitioning and Cascading Failure Localization

abstract: Transmission line failures in power systems propagate and cascade non-locally. This well-known yet counter-intuitive feature makes it even more challenging to optimally and reliably operate these complex networks. In this work we present a comprehensive framework based on spectral graph theory that fully and rigorously captures how multiple simultaneous line failures propagate, distinguishing between non-cut and cut set outages. Using this spectral representation of power systems, we identify the crucial graph sub-structure that ensures line failure localization -- the network bridge-block decomposition. Leveraging this theory, we propose an adaptive network topology reconfiguration paradigm that uses a two-stage algorithm where the first stage aims to identify optimal clusters using the notion of network modularity and the second stage refines the clusters by means of optimal line switching actions. Our proposed methodology is illustrated using extensive numerical examples on standard IEEE networks and we discussed several extensions and variants of the proposed algorithm.


title: Aberrated optical cavities

abstract: Optical cavities are an enabling technology of modern quantum science: from their essential role in the operation of lasers, to applications as fly-wheels in atomic clocks and interaction-enhancing components in quantum optics experiments, developing a quantitative understanding of the mode-shapes and energies of optical cavities has been crucial for the growth of the field. Nonetheless, the standard treatment using paraxial, quadratic optics fails to capture the influence of optical aberrations present in modern cavities with high finesse, small waist, and/or many degenerate modes. In this work, we compute the mode spectrum of optical resonators, allowing for both non-paraxial beam propagation and beyond-quadratic mirrors and lenses. Generalizing prior works [1-5], we develop a complete theory of resonator aberrations, including intracavity lenses, non-planar geometries, and arbitrary mirror forms. Harnessing these tools, we reconcile the near-absence of aberration in Ref. [6] with the strongly evident aberrations in the seemingly similar cavity of Ref. [7]. We further validate our approach by comparison to a family of non-planar lens cavities realized in the lab, finding good quantitative agreement. This work opens new prospects for cavities with smaller waists and more degenerate modes.


title: Stochastic Formulation of Causal Digital Twin: Kalman Filter Algorithm

abstract: We provide some basic and sensible definitions of different types of digital twins and recommendations on when and how to use them. Following up on our recent publication of the Learning Causal Digital Twin, this article reports on a stochastic formulation and solution of the problem. Structural Vector Autoregressive Model (SVAR) for Causal estimation is recast as a state-space model. Kalman filter (and smoother) is then employed to estimate causal factors in a system of connected machine bearings. The previous neural network algorithm and Kalman Smoother produced very similar results; however, Kalman Filter/Smoother may show better performance for noisy data from industrial IoT sources.


title: Freshness Based Cache Updating in Parallel Relay Networks

abstract: We consider a system consisting of a server, which receives updates for $N$ files according to independent Poisson processes. The goal of the server is to deliver the latest version of the files to the user through a parallel network of $K$ caches. We consider an update received by the user successful, if the user receives the same file version that is currently prevailing at the server. We derive an analytical expression for information freshness at the user. We observe that freshness for a file increases with increase in consolidation of rates across caches. To solve the multi-cache problem, we first solve the auxiliary problem of a single-cache system. We then rework this auxiliary solution to our parallel-cache network by consolidating rates to single routes as much as possible. This yields an approximate (sub-optimal) solution for the original problem. We provide an upper bound on the gap between the sub-optimal solution and the optimal solution. Numerical results show that the sub-optimal policy closely approximates the optimal policy.


title: A multimode quasi-normal spectrum from a perturbed black hole

abstract: When two black holes merge, the late stage of gravitational wave emission is a superposition of exponentially damped sinusoids. According to the black hole no-hair theorem, this ringdown spectrum depends only on the mass and angular momentum of the final black hole. An observation of more than one ringdown mode can test this fundamental prediction of general relativity. Here we provide strong observational evidence for a multimode black hole ringdown spectrum using the gravitational wave event GW190521, with a maximum Bayes factor of $56\pm1$ ($1\sigma$ uncertainty) preferring two fundamental modes over one. The dominant mode is the $\ell=m=2$ harmonic, and the sub-dominant mode corresponds to the $\ell=m=3$ harmonic. The amplitude of this mode relative to the dominant harmonic is estimated to be $A_{330}/A_{220} = 0.2^{+0.2}_{-0.1}$. We estimate the redshifted mass and dimensionless spin of the final black hole as $330_{-40}^{+30}~\mathrm{M}_{\odot}$ and $0.86_{-0.11}^{+0.06}$, respectively. We find that the final black hole is consistent with the no hair theorem and constrain the fractional deviation from general relativity of the sub-dominant mode's frequency to be $-0.01^{+0.08}_{-0.09}$.


title: ALMA and NOEMA constraints on synchrotron nebular emission from embryonic superluminous supernova remnants and radio-gamma-ray connection

abstract: Fast-rotating pulsars and magnetars have been suggested as the central engines of super-luminous supernovae (SLSNe) and fast radio bursts, and this scenario naturally predicts non-thermal synchrotron emission from their nascent pulsar wind nebulae (PWNe). We report results of high-frequency radio observations with ALMA and NOEMA for three SLSNe (SN 2015bn, SN 2016ard, and SN 2017egm), and present a detailed theoretical model to calculate non-thermal emission from PWNe with an age of about 1-3 yr. We find that the ALMA data disfavors a PWN model motivated by the Crab nebula for SN 2015bn and SN 2017egm, and argue that this tension can be resolved if the nebular magnetization is very high or very low. Such models can be tested by future MeV-GeV gamma-ray telescopes such as AMEGO.


title: The Uniform Boundedness and Dynamical Lang Conjectures for polynomials

abstract: We give a conditional proof of the Uniform Boundedness Conjecture of Morton and Silverman in the case of polynomials over number fields, assuming a standard conjecture in arithmetic geometry. Our technique simultaneously yields a dynamical analogue of Lang's conjecture on minimal canonical heights for these maps. We obtain similar results for non-isotrivial polynomials over a function field of characteristic zero. When the latter are unicritical of degree at least 5, the results hold unconditionally.


title: Addressing "Documentation Debt" in Machine Learning Research: A Retrospective Datasheet for BookCorpus

abstract: Recent literature has underscored the importance of dataset documentation work for machine learning, and part of this work involves addressing "documentation debt" for datasets that have been used widely but documented sparsely. This paper aims to help address documentation debt for BookCorpus, a popular text dataset for training large language models. Notably, researchers have used BookCorpus to train OpenAI's GPT-N models and Google's BERT models, even though little to no documentation exists about the dataset's motivation, composition, collection process, etc. We offer a preliminary datasheet that provides key context and information about BookCorpus, highlighting several notable deficiencies. In particular, we find evidence that (1) BookCorpus likely violates copyright restrictions for many books, (2) BookCorpus contains thousands of duplicated books, and (3) BookCorpus exhibits significant skews in genre representation. We also find hints of other potential deficiencies that call for future research, including problematic content, potential skews in religious representation, and lopsided author contributions. While more work remains, this initial effort to provide a datasheet for BookCorpus adds to growing literature that urges more careful and systematic documentation for machine learning datasets.