title: Weak decays of bottom-charm baryons: $\mathcal{B}_{bc}\to\mathcal{B}_bP$

abstract: After the discovery of the double-charm baryon $\Xi_{cc}^{++}$ by LHCb, one of the most important topics is to search for the bottom-charm baryons which contain a $b$ quark, a $c$ quark and a light quark. In this work, we study the two-body non-leptonic weak decays of a bottom-charm baryon into a spin-$1/2$ bottomed baryon and a light pseudoscalar meson with the short-distance contributions calculated under the factorization hypothesis and the long-distance contributions considering the final-state-interaction effects. The branching fractions of all fifty-seven decay channels are estimated. The results indicate that $\Xi_{bc}^+\to\Xi_b^0\pi^+$, $\Xi_{bc}^{0}\to\Xi_{b}^{-}\pi^+$ and $\Omega_{bc}^0\to\Omega_b^-\pi^+$ decay modes have relatively large decay rates and thus could be used to experimentally search for the bottom-charm baryons. The topological diagrams and the SU(3) symmetry of bottom-charm baryon decays are discussed.


title: A transition of shared mobility in metro cities; a challenge post Covid 19 lockdown

abstract: This chapter is written for the welfare of the society, questioning and enlightening the effects of the increment or decrement in the percentage of quality of air causing pollution due to the rise in the traffic post lockdown due to COVID 19 in metro cities, specifically in Delhi. In this chapter, we address the question about people's preference in moving in the shared taxis to their workplaces or their reluctance and denial of the idea of moving in the shared vehicle because of the fear of getting infected. The sensitivity of the situation will compel the people to move in a single occupied vehicle (SOV). The rise in the number of vehicles on the roads will result in traffic jams and different kinds of pollution where people battling with the pandemic will inevitably get exposed to other health related issues. We use a BPR (Bureau of Public Roads) model to combat this issue endangering the environment and public health. We exploit the BPR function to relate average travel time to the estimated number of commuters travelling by car. We collect mode share data from the NITI Ayog, the State Resource Centre and other authentic sources, which gives unique figures of the impact of shared mobility in India and how, in its absence, various sectors will get affected. Using the given data and the BPR, we evaluate increased vehicle volumes on the road if different portions of transit and carpool users switch to single occupancy vehicles and its effect on multiple other factors. Based on the study of densely populated city, Delhi, we predict that cities with significant transit ridership are at risk for extreme traffic and pollution unless transit systems can resume safe with effective protocols.


title: Spectrum of Random $d$-regular Graphs Up to the Edge

abstract: Consider the normalized adjacency matrices of random $d$-regular graphs on $N$ vertices with fixed degree $d\geq3$. We prove that, with probability $1-N^{-1+{\varepsilon}}$ for any ${\varepsilon} >0$, the following two properties hold as $N \to \infty$ provided that $d\geq3$: (i) The eigenvalues are close to the classical eigenvalue locations given by the Kesten-McKay distribution. In particular, the extremal eigenvalues are concentrated with polynomial error bound in $N$, i.e. $\lambda_2, |\lambda_N|\leq 2+N^{-c}$. (ii) All eigenvectors of random $d$-regular graphs are completely delocalized.


title: Classification of emergent Weyl spinors in multi-fermion systems

abstract: In the fermionic systems with topologically stable Fermi points the emergent two - component Weyl fermions appear. We propose the topological classification of these fermions based on the two invariants composed of the two - component Green function. We define these invariants using Wigner - Weyl formalism also in case of essentially non - homogeneous systems. In the case when values of these invariants are minimal ($\pm 1$) we deal with emergent relativistic symmetry. The emergent gravity appears, and our classification of Weyl fermions gives rise to the classification of vierbein. Transformations between emergent relativistic Weyl fermions of different types correspond to parity conjugation, time reversal, and charge conjugation.


title: Measurement of electric-field noise from interchangeable samples with a trapped-ion sensor

abstract: We demonstrate the use of a single trapped ion as a sensor to probe electric-field noise from interchangeable test surfaces. As proof of principle, we measure the magnitude and distance dependence of electric-field noise from two ion-trap-like samples with patterned Au electrodes. This trapped-ion sensor could be combined with other surface characterization tools to help elucidate the mechanisms that give rise to electric-field noise from ion-trap surfaces. Such noise presents a significant hurdle for performing large-scale trapped-ion quantum computations.


title: Risk Aware and Multi-Objective Decision Making with Distributional Monte Carlo Tree Search

abstract: In many risk-aware and multi-objective reinforcement learning settings, the utility of the user is derived from the single execution of a policy. In these settings, making decisions based on the average future returns is not suitable. For example, in a medical setting a patient may only have one opportunity to treat their illness. When making a decision, just the expected return -- known in reinforcement learning as the value -- cannot account for the potential range of adverse or positive outcomes a decision may have. Our key insight is that we should use the distribution over expected future returns differently to represent the critical information that the agent requires at decision time. In this paper, we propose Distributional Monte Carlo Tree Search, an algorithm that learns a posterior distribution over the utility of the different possible returns attainable from individual policy executions, resulting in good policies for both risk-aware and multi-objective settings. Moreover, our algorithm outperforms the state-of-the-art in multi-objective reinforcement learning for the expected utility of the returns.


title: Stabilizing Radial Basis Function Methods for Conservation Laws Using Weakly Enforced Boundary Conditions

abstract: It is well understood that boundary conditions (BCs) may cause global radial basis function (RBF) methods to become unstable for hyperbolic conservation laws (CLs). Here we investigate this phenomenon and identify the strong enforcement of BCs as the mechanism triggering such stability issues. Based on this observation we propose a technique to weakly enforce BCs in RBF methods. In the case of hyperbolic CLs, this is achieved by carefully building RBF methods from the weak form of the CL, rather than the typically enforced strong form. Furthermore, we demonstrate that global RBF methods may violate conservation, yielding physically unreasonable solutions when the approximation does not take into account these considerations. Numerical experiments validate our theoretical results.


title: CRPS Learning

abstract: Combination and aggregation techniques can significantly improve forecast accuracy. This also holds for probabilistic forecasting methods where predictive distributions are combined. There are several time-varying and adaptive weighting schemes such as Bayesian model averaging (BMA). However, the quality of different forecasts may vary not only over time but also within the distribution. For example, some distribution forecasts may be more accurate in the center of the distributions, while others are better at predicting the tails. Therefore, we introduce a new weighting method that considers the differences in performance over time and within the distribution. We discuss pointwise combination algorithms based on aggregation across quantiles that optimize with respect to the continuous ranked probability score (CRPS). After analyzing the theoretical properties of pointwise CRPS learning, we discuss B- and P-Spline-based estimation techniques for batch and online learning, based on quantile regression and prediction with expert advice. We prove that the proposed fully adaptive Bernstein online aggregation (BOA) method for pointwise CRPS online learning has optimal convergence properties. They are confirmed in simulations and a probabilistic forecasting study for European emission allowance (EUA) prices.

categories: stat.ML cs.LG econ.EM math.ST q-fin.ST stat.TH


title: Blockchain for Decentralized Multi-Drone to Combat COVID-19

abstract: Currently, drones represent a promising technology for combating Coronavirus disease 2019 (COVID-19) due to the transport of goods, medical supplies to a given target location in the quarantine areas experiencing an epidemic outbreak. Drone missions will increasingly rely on drone collaboration, which requires the drones to reduce communication complexity and be controlled in a decentralized fashion. Blockchain technology becomes a must in industrial applications because it provides decentralized data, accessibility, immutability, and irreversibility. Therefore, Blockchain makes data public for all drones and enables drones to log information concerning world states, time, location, resources, delivery data, and drone relation to all neighbors drones. This paper introduces decentralized independent multi-drones to accomplish the task collaboratively. Improving blockchain with a consensus algorithm can improve network partitioning and scalability in order to combat COVID-19. The multi-drones task is to combat COVID-19 via monitoring and detecting, social distancing, sanitization, data analysis, delivering goods and medical supplies, and announcement while avoiding collisions with one another. We discuss End to End (E2E) delivery application of combination blockchain and multi-drone in combating COVID-19 and beyond future pandemics. Furthermore, the challenges and opportunities of our proposed framework are highlighted.


title: Warning Propagation on random graphs

abstract: Warning Propagation is a combinatorial message passing algorithm that unifies and generalises a wide variety of recursive combinatorial procedures. Special cases include the Unit Clause Propagation and Pure Literal algorithms for satisfiability as well as the peeling process for identifying the $k$-core of a random graph. Here we analyse Warning Propagation in full generality on the binomial random graph. We prove that under a mild stability assumption Warning Propagation converges rapidly. In effect, the analysis of the fixed point of the message passing process on a random graph reduces to analysing the process on a Galton-Watson tree. This result corroborates and generalises a heuristic first put forward by Pittel, Spencer and Wormald in their seminal $k$-core paper (JCTB 1996).


title: Methodology-centered review of molecular modeling, simulation, and prediction of SARS-CoV-2

abstract: The deadly coronavirus disease 2019 (COVID-19) pandemic caused by severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2) has gone out of control globally. Despite much effort by scientists, medical experts, and society in general, the slow progress on drug discovery and antibody therapeutic development, the unknown possible side effects of the existing vaccines, and the high transmission rate of the SARS-CoV-2, remind us of the sad reality that our current understanding of the transmission, infectivity, and evolution of SARS-CoV-2 is unfortunately very limited. The major limitation is the lack of mechanistic understanding of viral-host cell interactions, the viral regulation, protein-protein interactions, including antibody-antigen binding, protein-drug binding, host immune response, etc. This limitation will likely haunt the scientific community for a long time and have a devastating consequence in combating COVID-19 and other pathogens. Notably, compared to the long-cycle, highly cost, and safety-demanding molecular-level experiments, the theoretical and computational studies are economical, speedy, and easy to perform. There exists a tsunami of the literature on molecular modeling, simulation, and prediction of SARS-CoV-2 that has become impossible to fully be covered in a review. To provide the reader a quick update about the status of molecular modeling, simulation, and prediction of SARS-CoV-2, we present a comprehensive and systematic methodology-centered narrative in the nick of time. Aspects such as molecular modeling, Monte Carlo (MC) methods, structural bioinformatics, machine learning, deep learning, and mathematical approaches are included in this review. This review will be beneficial to researchers who are looking for ways to contribute to SARS-CoV-2 studies and those who are assessing the current status in the field.


title: Stability study of a model for the Klein-Gordon equation in Kerr space-time II

abstract: The present paper is a follow-up of our previous paper that derives a slightly simplified model equation for the Klein-Gordon equation, describing the propagation of a scalar field of mass $\mu$ in the background of a rotating black hole and, among others, supports the instability of the field down to $a/M \approx 0.97$. The latter result was derived numerically. This paper gives corresponding rigorous results, supporting instability of the field down to $a/M \approx 0.979796$.


title: The Longest-Chain Protocol Under Random Delays

abstract: In the field of distributed consensus and blockchains, the synchronous communication model assumes that all messages between honest parties are delayed at most by a known constant $\Delta$. Recent literature establishes that the longest-chain blockchain protocol is secure under the synchronous model. However, for a fixed mining rate, the security guarantees degrade with $\Delta$. We analyze the performance of the longest-chain protocol under the assumption that the communication delays are random, independent, and identically distributed. This communication model allows for distributions with unbounded support and is a strict generalization of the synchronous model. We provide safety and liveness guarantees with simple, explicit bounds on the failure probabilities. These bounds hold for infinite-horizon executions and decay exponentially with the security parameter. In particular, we show that the longest-chain protocol has good security guarantees when delays are sporadically large and possibly unbounded, which is reflective of real-world network conditions.


title: Solar Irradiance Variability Due To Solar Flares Observed in Lyman-alpha Emission

abstract: As the Lyman-alpha (Lya) line of neutral hydrogen is the brightest emission line in the solar spectrum, detecting increases in irradiance due to solar flares at this wavelength can be challenging due to the very high background. Previous studies that have focused on the largest flares have shown that even these extreme cases generate enhancements in Lya of only a few percent above the background. In this study, a superposed-epoch analysis was performed on ~8500 flares greater than B1 class to determine the contribution that flares make to changes in the solar EUV irradiance. Using the peak of the 1-8A X-ray emission as a fiducial time, the corresponding time series of 3123 B- and 4972 C-class flares observed in Lya emission by the EUV Sensor on GOES-15 were averaged to reduce background fluctuations and improve the flare signal. The summation of these weaker events showed that they produced a 0.1-0.3% enhancement to the solar Lya irradiance. For comparison on average, the same technique was applied to 453 M- and 31 X-class flares, which resulted in a 1-4% increase in Lya emission. Flares were also averaged with respect to their heliographic angle to investigate any potential center-to-limb variation. For each GOES class, the relative enhancement in Lya at the flare peak was found to diminish for flares that occurred closer to the solar limb due to the opacity of the line, and/or foreshortening of the footpoints. One modest event included in the study, a C6.6 flare, exhibited an unusually high increase in Lya of 7% that may have been attributed to a failed filament eruption. Increases of this magnitude have hitherto only been associated with a small number of X-class flares.


title: Constraining reionization with the first measurement of the cross-correlation between the CMB optical-depth fluctuations and the Compton y-map

abstract: We propose a new reionization probe that uses cosmic microwave background (CMB) observations; the cross-correlation between fluctuations in the CMB optical depth which probes the integrated electron density, $\delta\tau$, and the Compton $y$-map which probes the integrated electron pressure. This cross-correlation is much less contaminated than the $y$-map power spectrum by late-time cluster contributions. In addition, this cross-correlation can constrain the temperature of ionized bubbles while the optical-depth fluctuations and kinetic SZ effect can not. We measure this new observable using a Planck $y$-map as well as a map of optical-depth fluctuations that we reconstruct from Planck CMB temperature data. We use our measurements to derive a first CMB-only upper limit on the temperature inside ionized bubbles, $T_{\rm b}\lesssim 7.0\times10^5\,$K ($2\,\sigma$). We also present future forecasts, assuming a fiducial model with characteristic reionization bubble size $R_{\rm b}=5\,$Mpc and $T_{\rm b}=5\times10^4\,$K. The signal-to-noise ratio of the fiducial cross-correlation using a signal dominated PICO-like $y$-map becomes $\simeq7$ with CMB-S4 $\delta\tau$ and $\simeq13$ with CMB-HD $\delta\tau$. For the fiducial model, we predict that the CMB-HD $-$ PICO cross-correlation should achieve an accurate measurement of the reionization parameters; $T_{\rm b}\simeq 49800^{+4500}_{-5100}\,$K and $R_{\rm b}\simeq 5.09^{+0.66}_{-0.79}\,$Mpc. Since the power spectrum of the electron density fluctuations is constrained by the $\delta\tau$ auto spectrum, the temperature constraints should be only weakly model-dependent on the details of the electron distributions and should be statistically representative of the temperature in ionized bubbles during reionization. This cross-correlation could, therefore, become an important observable for future CMB experiments.


title: Can Predominant Credible Information Suppress Misinformation in Crises? Empirical Studies of Tweets Related to Prevention Measures during COVID-19

abstract: During COVID-19, misinformation on social media affects the adoption of appropriate prevention behaviors. It is urgent to suppress the misinformation to prevent negative public health consequences. Although an array of studies has proposed misinformation suppression strategies, few have investigated the role of predominant credible information during crises. None has examined its effect quantitatively using longitudinal social media data. Therefore, this research investigates the temporal correlations between credible information and misinformation, and whether predominant credible information can suppress misinformation for two prevention measures (i.e. topics), i.e. wearing masks and social distancing using tweets collected from February 15 to June 30, 2020. We trained Support Vector Machine classifiers to retrieve relevant tweets and classify tweets containing credible information and misinformation for each topic. Based on cross-correlation analyses of credible and misinformation time series for both topics, we find that the previously predominant credible information can lead to the decrease of misinformation (i.e. suppression) with a time lag. The research findings provide empirical evidence for suppressing misinformation with credible information in complex online environments and suggest practical strategies for future information management during crises and emergencies.


title: An $N/D$ study of the $S_{11}$ channel $\pi N$ scattering amplitude

abstract: Extensive dynamical $N/D$ calculations are made in the study of $S_{11}$ channel low energy $\pi$N scatterings, based on various phenomenological model inputs of left cuts at tree level. The subtleties of the singular behavior of the partial wave amplitude at the origin of the complex $s$ plane are carefully analysed. Furthermore, { it is found that the dispersion representation for the phase shift, $\delta$, has to be modified in the case of $\pi $N scatterings. An additional contribution from the dispersion integral exists, which is, however, almost exactly cancelled the contribution from two virtual poles located near the end points of the segment cut induced by $u$ channel nucleon exchanges.} Relying very little on the details of the dynamical inputs, the subthreshold resonance $N^*(890)$ survives.


title: On factorizations into coprime parts

abstract: Let $f(n)$ and $g(n)$ be the number of unordered and ordered factorizations of $n$ into integers larger than one. Let $F(n)$ and $G(n)$ have the additional restriction that the factors are coprime. We establish the asymptotic bounds for the sums of $F(n)^{\beta}$ and $G(n)^{\beta}$ up to $x$ for all real $\beta$ and the asymptotic bounds for $f(n)^{\beta}$ and $g(n)^{\beta}$ for all negative $\beta$.


title: Irreducible tensor product modules over the affine-Virasoro algebra of type $A_1$

abstract: In this paper, we construct a class of non-weight modules over the affine-Virasoro algebra of type $A_1$ by taking tensor products of irreducibles defined in [Q. Chen, J. Han, Non-weight modules over the affine-Virasoro algebra of type $A_1$, J. Math. Phys. 60, 071707 (2019)] with irreducible highest weight modules. The irreducibility and the isomorphism classes of these modules are determined. Moreover, we show that these tensor product modules are different from the known non-weight modules. Finally, we realize some tensor product modules as induced modules from modules over certain subalgebras of the affine-Virasoro algebra of type $A_1$, and give sufficient and necessary conditions for these induced modules to be reducible.


title: A Common Semantic Model of the GDPR Register of Processing Activities

abstract: The creation and maintenance of a Register of Processing Activities (ROPA) is an essential process for the demonstration of GDPR compliance. We analyse ROPA templates from six EU Data Protection Regulators and show that template scope and granularity vary widely between jurisdictions. We then propose a flexible, consolidated data model for consistent processing of ROPAs (CSM-ROPA). We analyse the extent that the Data Privacy Vocabulary (DPV) can be used to express CSM-ROPA. We find that it does not directly address modelling ROPAs, and so needs additional concept definitions. We provide a mapping of our CSM-ROPA to an extension of the Data Privacy Vocabulary.


title: Cloud Computing Concept and Roots

abstract: Cloud computing is a particular implementation of distributed computing. It inherited many properties of distributed computing such as scalability, reliability and distribution transparency. The transparency middle layer abstracts the underlying platform away from the end user. Virtualization technology is the foundation of Cloud computing. Virtual machine provides abstraction of the physical server resources and securely isolates different users in multi-tenant environment. To the Cloud services consumer, all the computing power and resources are accessed through high speed internet access by client platforms. This eliminates the cost to build and maintain local data center. Resource pooling and rapid elasticity are the main characters of Cloud computing. The scalability of Cloud computing comes from resources which can span multiple data centers and geographic regions. There is virtually no limitation on the amount of resources available from Cloud. New processing and storage resources can be added into the Cloud resource pool seamlessly.


title: Stellar X-rays and magnetic activity in 3D MHD coronal models

abstract: Observations suggest a power-law relation between the coronal emission in X-rays, $L_{\rm{X}}$, and the total (unsigned) magnetic flux at the stellar surface, $\Phi$. The physics basis for this relation is poorly understood. We use three-dimensional (3D) magnetohydrodynamics (MHD) numerical models of the coronae above active regions, that is, strong concentrations of magnetic field, to investigate the $L_{\rm{X}}$ versus $\Phi$ relation and illustrate this relation with an analytical model based on simple well-established scaling relations. In the 3D MHD model horizontal (convective) motions near the surface induce currents in the coronal magnetic field that are dissipated and heat the plasma. This self-consistently creates a corona with a temperature of 1 MK. We run a series of models that differ in terms of the (unsigned) magnetic flux at the surface by changing the (peak) magnetic field strength while keeping all other parameters fixed. In the 3D MHD models we find that the energy input into the corona, characterized by either the Poynting flux or the total volumetric heating, scales roughly quadratically with the unsigned surface flux $\Phi$. This is expected from heating through field-line braiding. Our central result is the nonlinear scaling of the X-ray emission as $L_{\rm{X}}\propto \Phi^{3.44}$. This scaling is slightly steeper than found in recent observations that give power-law indices of up to only 2 or 3. Assuming that on a real star, not only the peak magnetic field strength in the active regions changes but also their number (or surface filling factor), our results are consistent with observations. Our model provides indications of what causes the steep increase in X-ray luminosity by four orders of magnitude from solar-type activity to fast rotating active stars.


title: Mosaics of combinatorial designs for information-theoretic security

abstract: We study security functions which can serve to establish semantic security for the two central problems of information-theoretic security: the wiretap channel, and privacy amplification for secret key generation. The security functions are functional forms of mosaics of combinatorial designs, more precisely, of group divisible designs and balanced incomplete block designs. Every member of a mosaic is associated with a unique color, and each color corresponds to a unique message or key value. Every block index of the mosaic corresponds to a public seed shared between the two trusted communicating parties. The seed set should be as small as possible. We give explicit examples which have an optimal or nearly optimal trade-off of seed length versus color (i.e., message or key) rate. We also derive bounds for the security performance of security functions given by functional forms of mosaics of designs.


title: Faulty picture-hanging improved

abstract: A picture-hanging puzzle is the task of hanging a framed picture with a wire around a set of nails in such a way that it can remain hanging on certain specified sets of nails, but will fall if any more are removed. The classical brain teaser asks us to hang a picture on two nails in such a way that it falls when any one is detached. Demaine et al (2012) proved that all reasonable puzzles of this kind are solvable, and that for the $k$-out-of-$n$ problem, the size of a solution can be bounded by a polynomial in $n$. We give simplified proofs of these facts, for the latter leading to a reasonable exponent in the polynomial bound.


title: Pair invariant mass spectrum and polarization asymmetry in the event generation of gamma-ray conversions

abstract: We examine the dielectron invariant mass spectrum and the variation of the polarization asymmetry as a function of that mass in the event generator of the five-dimensional Bethe-Heitler differential cross section of the conversion of linearly polarized photons that we have implemented recently as a Geant4 Physics Model. We compare the results obtained with simulated samples to analytical expressions. Studies of $b \to s \gamma$ decays at LHC and Belle II experiments could provide hints of physics beyond the standard model in flavor-changing neutral current processes; issues have been reported in the simulation of the properties of the background induced by genuine $\gamma$-ray conversions in their detectors. Our results demonstrate that using the five-dimensional model would help solve these issues.


title: Reduced-Order Modeling of Large-Scale Network Systems

abstract: Large-scale network systems describe a wide class of complex dynamical systems composed of many interacting subsystems. A large number of subsystems and their high-dimensional dynamics often result in highly complex topology and dynamics, which pose challenges to network management and operation. This chapter provides an overview of reduced-order modeling techniques that are developed recently for simplifying complex dynamical networks. In the first part, clustering-based approaches are reviewed, which aim to reduce the network scale, i.e., find a simplified network with a fewer number of nodes. The second part presents structure-preserving methods based on generalized balanced truncation, which can reduce the dynamics of each subsystem.


title: Anti-crossings and spectral gap during quantum adiabatic evolution

abstract: We aim to give more insights on adiabatic evolution concerning the occurrence of anti-crossings and their link to the spectral minimum gap $\Delta_{min}$. We study in detail adiabatic quantum computation applied to a specific combinatorial problem called weighted max $k$-clique. A clear intuition of the parametrization introduced by V. Choi is given which explains why the characterization isn't general enough. We show that the instantaneous vectors involved in the anti-crossing vary brutally through it making the instantaneous ground-state hard to follow during the evolution. This result leads to a relaxation of the parametrization to be more general.


title: Maximum mass of compact stars from gravitational wave events with finite-temperature equations of state

abstract: We conjecture and verify a set of universal relations between global parameters of hot and fast-rotating compact stars, including a relation connecting the masses of the mass-shedding (Kepler) and static configurations. We apply these relations to the GW170817 event by adopting the scenario in which a hypermassive compact star remnant formed in a merger evolves into a supramassive compact star that collapses into a black hole once the stability line for such stars is crossed. We deduce an upper limit on the maximum mass of static, cold neutron stars $ 2.15^{+0.10}_{-0.07}\le M^\star_{\mathrm{TOV}} \le 2.24^{+0.12}_{-0.10} $ for the typical range of entropy per baryon $2 \le S/A \le 3$ and electron fraction $Y_e = 0.1$ characterizing the hot hypermassive star. Our result implies that accounting for the finite temperature of the merger remnant relaxes previously derived constraints on the value of the maximum mass of a cold, static compact star.


title: Binary Control and Digital-to-Analog Conversion Using Composite NUV Priors and Iterative Gaussian Message Passing

abstract: The paper proposes a new method to determine a binary control signal for an analog linear system such that the state, or some output, of the system follows a given target trajectory. The method can also be used for digital-to-analog conversion. The heart of the proposed method is a new binary-enforcing NUV prior (normal with unknown variance). The resulting computations, for each planning period, amount to iterating forward-backward Gaussian message passing recursions (similar to Kalman smoothing), with a complexity (per iteration) that is linear in the planning horizon. In consequence, the proposed method is not limited to a short planning horizon.


title: mmWall: A Reconfigurable Metamaterial Surface for mmWave Networks

abstract: To support faster and more efficient networks, mobile operators and service providers are bringing 5G millimeter wave (mmWave) networks indoors. However, due to their high directionality, mmWave links are extremely vulnerable to blockage by walls and human mobility. To address these challenges, we exploit advances in artificially engineered metamaterials, introducing a wall-mounted smart metasurface, called mmWall, that enables a fast mmWave beam relay through the wall and redirects the beam power to another direction when a human body blocks a line-of-sight path. Moreover, our mmWall supports multiple users and fast beam alignment by generating multi-armed beams. We sketch the design of a real-time system by considering (1) how to design a programmable, metamaterial-based surface that refracts the incoming signal to one or more arbitrary directions, and (2) how to split an incoming mmWave beam into multiple outgoing beams and arbitrarily control the beam energy between these beams. Preliminary results show the mmWall metasurface steers the outgoing beam in a full 360-degrees, with an 89.8% single-beam efficiency and 74.5% double-beam efficiency.


title: Multi-loop atomic Sagnac interferometry

abstract: The sensitivity of light and matter-wave interferometers to rotations is based on the Sagnac effect and increases with the area enclosed by the interferometer. In the case of light, the latter can be enlarged by forming multiple fibre loops, whereas the equivalent for matter-wave interferometers remains an experimental challenge. We present a concept for a multi-loop atom interferometer with a scalable area formed by light pulses. Our method will offer sensitivities as high as $2\cdot10^{-11}$ rad/s at 1 s in combination with the respective long-term stability as required for Earth rotation monitoring.


title: Quantum rotations of nanoparticles

abstract: Rotations of microscale rigid bodies exhibit pronounced quantum phenomena that do not exist for their center-of-mass motion. By levitating nanoparticles in ultra-high vacuum, researchers are developing a promising platform for observing and exploiting these quantum effects in an unexplored mass and size regime. Recent experimental and theoretical breakthroughs demonstrate exquisite control of nanoscale rotations, setting the stage for the first table-top tests of rotational superpositions and for the next generation of ultra-precise torque sensors. Here, we review the experimental state of the art and discuss promising routes towards macroscopic quantum rotations.


title: Games and Scott sentences for positive distances between metric structures

abstract: We develop various Ehrenfeucht-Fra\"{\i}ss\'{e} games for distances between metric structures. We study two forms of distances: pseudometrics stemming from mapping spaces onto each other with some form of approximate isomorphism, and metrics stemming from measuring the distances between two spaces isometrically embedded into a third space. Using an infinitary version of Henson's positive bounded logic with approximations, we form Scott sentences capturing fixed distances to a given space. The Scott sentences of separable spaces are in $\mathcal{L}_{\omega_1\omega}$ for 0-distances and in $\mathcal{L}_{\omega_2\omega}$ for positive distances.


title: Magnetoelectric spectroscopy of spin excitations in LiCoPO4

abstract: We have studied spin excitations in a single-domain crystal of antiferromagnetic LiCoPO4 by THz absorption spectroscopy. By analyzing the selection rules and comparing the strengths of the absorption peaks in the different antiferromagnetic domains, we found electromagnons and magnetoelectric spin resonances besides conventional magnetic-dipole active spin-wave excitations. Using the sum rule for the magnetoelectric susceptibility we determined the contribution of the spin excitations to all the different off-diagonal elements of the static magnetoelectric susceptibility tensor in zero as well as in finite magnetic fields. We conclude that the magnetoelectric spin resonances are responsible for the static magnetoelectric response of the bulk when the magnetic field is along the x-axis, and the symmetric part of the magnetoelectric tensor with zero diagonal elements dominates over the antisymmetric components.


title: Optimal robust mean and location estimation via convex programs with respect to any pseudo-norms

abstract: We consider the problem of robust mean and location estimation w.r.t. any pseudo-norm of the form $x\in\mathbb{R}^d\to ||x||_S = \sup_{v\in S}<v,x>$ where $S$ is any symmetric subset of $\mathbb{R}^d$. We show that the deviation-optimal minimax subgaussian rate for confidence $1-\delta$ is $$ \max\left(\frac{l^*(\Sigma^{1/2}S)}{\sqrt{N}}, \sup_{v\in S}||\Sigma^{1/2}v||_2\sqrt{\frac{\log(1/\delta)}{N}}\right) $$where $l^*(\Sigma^{1/2}S)$ is the Gaussian mean width of $\Sigma^{1/2}S$ and $\Sigma$ the covariance of the data (in the benchmark i.i.d. Gaussian case). This improves the entropic minimax lower bound from [Lugosi and Mendelson, 2019] and closes the gap characterized by Sudakov's inequality between the entropy and the Gaussian mean width for this problem. This shows that the right statistical complexity measure for the mean estimation problem is the Gaussian mean width. We also show that this rate can be achieved by a solution to a convex optimization problem in the adversarial and $L_2$ heavy-tailed setup by considering minimum of some Fenchel-Legendre transforms constructed using the Median-of-means principle. We finally show that this rate may also be achieved in situations where there is not even a first moment but a location parameter exists.


title: Compositions that are palindromic modulo $m$

abstract: In recent work, G. E. Andrews and G. Simay prove a surprising relation involving parity palindromic compositions, and ask whether a combinatorial proof can be found. We extend their results to a more general class of compositions that are palindromic modulo $m$, that includes the parity palindromic case when $m=2$. We then provide combinatorial proofs for the cases $m=2$ and $m=3$.


title: Inferring spatial relations from textual descriptions of images

abstract: Generating an image from its textual description requires both a certain level of language understanding and common sense knowledge about the spatial relations of the physical entities being described. In this work, we focus on inferring the spatial relation between entities, a key step in the process of composing scenes based on text. More specifically, given a caption containing a mention to a subject and the location and size of the bounding box of that subject, our goal is to predict the location and size of an object mentioned in the caption. Previous work did not use the caption text information, but a manually provided relation holding between the subject and the object. In fact, the used evaluation datasets contain manually annotated ontological triplets but no captions, making the exercise unrealistic: a manual step was required; and systems did not leverage the richer information in captions. Here we present a system that uses the full caption, and Relations in Captions (REC-COCO), a dataset derived from MS-COCO which allows to evaluate spatial relation inference from captions directly. Our experiments show that: (1) it is possible to infer the size and location of an object with respect to a given subject directly from the caption; (2) the use of full text allows to place the object better than using a manually annotated relation. Our work paves the way for systems that, given a caption, decide which entities need to be depicted and their respective location and sizes, in order to then generate the final image.


title: A Resolvent Approach to Metastability

abstract: We provide a necessary and sufficient condition for the metastability of a Markov chain, expressed in terms of a property of the solutions of the resolvent equation. As an application of this result, we prove the metastability of reversible, critical zero-range processes starting from a configuration.


title: Stabilization and costabilization with respect to an action of a monoidal category

abstract: We study actions of monoidal categories on objects in a suitably enriched $2$-category, and applications in stable homotopy theory. Given a monoidal category $\mathcal{I}$ and an $\mathcal{I}$-object $\mathcal{A}$, the (co)stabilization of $\mathcal{A}$ is obtained by universally forcing the $\mathcal{I}$-action to be reversible so that every object of $\mathcal{I}$ acts on $\mathcal{A}$ by auto-equivalences. We introduce a notion of $\mathcal{I}$-equivariance for morphisms between $\mathcal{I}$-objects and give constructions of stabilization and costabilization in terms of weak ends and coends in an enriched $2$-category of $\mathcal{I}$-objects and $\mathcal{I}$-equivariant morphisms. We observe that the stabilization of a relative category with respect to an action coincides with the usual notion of stabilization in stable homotopy theory when the action is defined by loop space functors. We show that several examples that exist in the literature, including various categories of spectra, fit into our setting after fixing $\mathcal{A}$ and the $\mathcal{I}$-action on it. In particular, categories of sequential spectra, coordinate free spectra, genuine equivariant spectra, parameterized spectra indexed by vector bundles are obtained in terms of weak ends in the $2$-category of relative categories. On the other hand, the costabilization of a relative category with respect to an action gives a stable relative category akin to a version Spanier-Whitehead category. In particular, we establish a form of duality between constructions of stable homotopy categories by spectra and by Spanier-Whitehead like categories.


title: Finite dimensional systems of free Fermions and diffusion processes on Spin groups

abstract: In this article we are concerned with finite dimensional Fermions, by which we mean vectors in a finite dimensional complex space embedded in the exterior algebra over itself. These Fermions are spinless but possess the characterizing anticommutativity property. We associate invariant complex vector fields on the Lie group $\mathrm{Spin}(2n+1)$ to the Fermionic creation and annihilation operators. These vector fields are elements of the complexification of the regular representation of the Lie algebra $\mathfrak{so}(2n+1)$. As such, they do not satisfy the canonical anticommutation relations, however, once they have been projected onto an appropriate subspace of $L^2(\mathrm{Spin}(2n+1))$, these relations are satisfied. We define a free time evolution of this system of Fermions in terms of a symmetric positive-definite quadratic form in the creation-annihilation operators. The realization of Fermionic creation and annihilation operators brought by the (invariant) vector fields allows us to interpret this time evolution in terms of a positive selfadjoint operator which is the sum of a second order operator, which generates a stochastic diffusion process, and a first order complex operator, which strongly commutes with the second order operator. A probabilistic interpretation is given in terms of a Feynman-Kac like formula with respect to the diffusion process associated with the second order operator.


title: Optimized Energy Efficient Virtualization and Content Caching in 5G Networks

abstract: Network function virtualization (NFV) and content caching are two promising technologies that hold great potential for network operators and designers. This paper optimizes the deployment of NFV and content caching in 5G networks and focuses on the associated power consumption savings. In addition, it introduces an approach to combine content caching with NFV in one integrated architecture for energy aware 5G networks. A mixed integer linear programming (MILP) model has been developed to minimize the total power consumption by jointly optimizing the cache size, virtual machine (VM) workload, and the locations of both cache nodes and VMs. The results were investigated under the impact of core network virtual machines (CNVMs) inter-traffic. The result show that the optical line terminal (OLT) access network nodes are the optimum location for content caching and for hosting VMs during busy times of the day whilst IP over WDM core network nodes are the optimum locations for caching and VM placement during off-peak time. Furthermore, the results reveal that a virtualization-only approach is better than a caching-only approach for video streaming services where the virtualization-only approach compared to caching-only approach, achieves a maximum power saving of 7% (average 5%) when no CNVMs inter-traffic is considered and 6% (average 4%) with CNVMs inter-traffic at 10% of the total backhaul traffic. On the other hand, the integrated approach has a maximum power saving of 15% (average 9%) with and without CNVMs inter-traffic compared to the virtualization-only approach, and it achieves a maximum power saving of 21% (average 13%) without CNVMs inter-traffic and 20% (average 12%) when CNVMs inter-traffic is considered compared with the caching-only approach. In order to validate the MILP models and achieve real-time operation in our approaches, a heuristic was developed.


title: On Well-Structured Convex-Concave Saddle Point Problems and Variational Inequalities with Monotone Operators

abstract: For those acquainted with CVX (aka disciplined convex programming) of M. Grant and S. Boyd, the motivation of this work is the desire to extend the scope of CVX beyond convex minimization -- to convex-concave saddle point problems and variational inequalities with monotone operators. To attain this goal, given a family K of cones (e.g., Lorentz, semidefinite{, geometric, etc.), we introduce the notions of K-conic representation of a convex-concave saddle point problem and of variational inequality with monotone operator. We demonstrate that given such a representation of the problem of interest, the latter can be reduced straightforwardly to a conic problem on a cone from K and thus can be solved by (any) solver capable to handle conic problems on cones from K (e.g., Mosek or SDPT3 in the case of semidefinite cones). We also show that K-representations of convex-concave functions and monotone vector fields admit a fully algorithmic calculus which helps to recognize the cases when a saddle point problem or variational inequality can be converted into a conic problem on a cone from K and to carry out such conversion.


title: How many phases nucleate in the bidimensional Potts model?

abstract: We study the kinetics of the two-dimensional q > 4-state Potts model after a shallow quench slightly below the critical temperature and above the pseudo spinodal. We use numerical methods and we focus on intermediate values of q, 4 < q < 100. We show that, initially, the system evolves as if it were quenched to the critical temperature. The further decay from the metastable state occurs by nucleation of k out of the q possible phases. For a given quench temperature, k is a logarithmically increasing function of the system size. This unusual finite size dependence is a consequence of a scaling symmetry underlying the nucleation phenomenon for these parameters.


title: Hybrid Information-driven Multi-agent Reinforcement Learning

abstract: Information theoretic sensor management approaches are an ideal solution to state estimation problems when considering the optimal control of multi-agent systems, however they are too computationally intensive for large state spaces, especially when considering the limited computational resources typical of large-scale distributed multi-agent systems. Reinforcement learning (RL) is a promising alternative which can find approximate solutions to distributed optimal control problems that take into account the resource constraints inherent in many systems of distributed agents. However, the RL training can be prohibitively inefficient, especially in low-information environments where agents receive little to no feedback in large portions of the state space. We propose a hybrid information-driven multi-agent reinforcement learning (MARL) approach that utilizes information theoretic models as heuristics to help the agents navigate large sparse state spaces, coupled with information based rewards in an RL framework to learn higher-level policies. This paper presents our ongoing work towards this objective. Our preliminary findings show that such an approach can result in a system of agents that are approximately three orders of magnitude more efficient at exploring a sparse state space than naive baseline metrics. While the work is still in its early stages, it provides a promising direction for future research.


title: Resource Allocation for Mixed Numerology NOMA

abstract: 6G wireless networks will require the flexibility to accommodate an extremely diverse set of service types. This necessitates the use of mixed numerologies to accommodate different quality of service (QoS) requirements. Non-orthogonal multiple access (NOMA) techniques can potentially be used to accommodate users with different numerologies while also gaining the performance benefits associated with NOMA. To achieve the full performance benefits of a mixed numerology NOMA (MN-NOMA) system, resource allocation among the users is paramount. However, the coexistence of mixed numerologies changes the nature of the interference that each user experiences. This means that techniques used in single-numerology NOMA (SN-NOMA) are no longer sufficient. In light of this, we approach the problem of optimizing subcarrier and power allocation for maximizing the spectral efficiency of MN-NOMA while considering a minimum rate constraint for each user. In this letter, we propose a two-stage sub-optimal approach to solve the problem. We present numerical results which show the superiority of our proposed method over existing benchmark schemes in both spectral efficiency and fairness.


title: Dosimetric impact of physician style variations in contouring CTV for post-operative prostate cancer: A deep learning-based simulation study

abstract: Inter-observer variation is a significant problem in clinical target volume(CTV) segmentation in postoperative settings, where there is no gross tumor present. In this scenario, the CTV is not an anatomically established structure, but one determined by the physician based on the clinical guideline used, the preferred tradeoff between tumor control and toxicity, their experience and training background, and other factors. This results in high inter-observer variability between physicians. This variability has been considered an issue, but the absence of multiple physician CTV contours for each patient and the significant amount of time required for dose planning have made it impractical to study its dosimetric consequences. In this study, we analyze the impact that variations in physician style have on dose to organs-at-risk(OAR) by simulating the clinical workflow via deep learning. For a given patient previously treated by one physician, we use deep learning-based tools to simulate how other physicians would contour the CTV and how the corresponding dose distributions would look for this patient. To simulate multiple physician styles, we use a previously developed in-house CTV segmentation model that can produce physician style-aware segmentations. The corresponding dose distribution is predicted using another in-house deep learning tool, which, can predict dose within 3% of the prescription dose, on average, on the test data. For every test patient, four different physician style CTVs are considered, and four different dose distributions are analyzed. OAR dose metrics are compared, showing that even though physician style variations result in organs getting different doses, all the important dose metrics except Maximum Dose point are within the clinically acceptable limit.


title: Structured Variational Inference for Simulating Populations of Radio Galaxies

abstract: We present a model for generating postage stamp images of synthetic Fanaroff-Riley Class I and Class II radio galaxies suitable for use in simulations of future radio surveys such as those being developed for the Square Kilometre Array. This model uses a fully-connected neural network to implement structured variational inference through a variational auto-encoder and decoder architecture. In order to optimise the dimensionality of the latent space for the auto-encoder we introduce the radio morphology inception score (RAMIS), a quantitative method for assessing the quality of generated images, and discuss in detail how data pre-processing choices can affect the value of this measure. We examine the 2-dimensional latent space of the VAEs and discuss how this can be used to control the generation of synthetic populations, whilst also cautioning how it may lead to biases when used for data augmentation.


title: Quantum scrambling with classical shadows

abstract: Quantum dynamics is of fundamental interest and has implications in quantum information processing. The four-point out-of-time-ordered correlator (OTOC) is traditionally used to quantify quantum information scrambling under many-body dynamics. Due to the OTOC's unusual time ordering, its measurement is challenging. We propose higher-point OTOCs to reveal early-time scrambling behavior, and present protocols to measure any higher-point OTOC using the shadow estimation method. The protocols circumvent the need for time-reversal evolution and ancillary control. They can be implemented in near-term quantum devices with single-qubit readout.


title: Infrastructure Resilience Curves: Performance Measures and Summary Metrics

abstract: Resilience curves are used to communicate quantitative and qualitative aspects of system behavior and resilience to stakeholders of critical infrastructure. Generally, these curves illustrate the evolution of system performance before, during, and after a disruption. As simple as these curves may appear, the literature contains underexplored nuance when defining "performance" and comparing curves with summary metrics. Through a critical review of 273 publications, this manuscript aims to define a common vocabulary for practitioners and researchers that will improve the use of resilience curves as a tool for assessing and designing resilient infrastructure. This vocabulary includes a taxonomy of resilience curve performance measures as well as a taxonomy of summary metrics. In addition, this review synthesizes a framework for examining assumptions of resilience analysis that are often implicit or unexamined in the practice and literature. From this vocabulary and framework comes recommendations including broader adoption of productivity measures; additional research on endogenous performance targets and thresholds; deliberate consideration of curve milestones when defining summary metrics; and cautionary fundamental flaws that may arise when condensing an ensemble of resilience curves into an "expected" trajectory.


title: Machine learning accelerated computational fluid dynamics

abstract: Numerical simulation of fluids plays an essential role in modeling many physical phenomena, such as weather, climate, aerodynamics and plasma physics. Fluids are well described by the Navier-Stokes equations, but solving these equations at scale remains daunting, limited by the computational cost of resolving the smallest spatiotemporal features. This leads to unfavorable trade-offs between accuracy and tractability. Here we use end-to-end deep learning to improve approximations inside computational fluid dynamics for modeling two-dimensional turbulent flows. For both direct numerical simulation of turbulence and large eddy simulation, our results are as accurate as baseline solvers with 8-10x finer resolution in each spatial dimension, resulting in 40-80x fold computational speedups. Our method remains stable during long simulations, and generalizes to forcing functions and Reynolds numbers outside of the flows where it is trained, in contrast to black box machine learning approaches. Our approach exemplifies how scientific computing can leverage machine learning and hardware accelerators to improve simulations without sacrificing accuracy or generalization.


title: Deep Evolutionary Learning for Molecular Design

abstract: In this paper, we propose a deep evolutionary learning (DEL) process that integrates fragment-based deep generative model and multi-objective evolutionary computation for molecular design. Our approach enables (1) evolutionary operations in the latent space of the generative model, rather than the structural space, to generate novel promising molecular structures for the next evolutionary generation, and (2) generative model fine-tuning using newly generated high-quality samples. Thus, DEL implements a data-model co-evolution concept which improves both sample population and generative model learning. Experiments on two public datasets indicate that sample population obtained by DEL exhibits improved property distributions, and dominates samples generated by multi-objective Bayesian optimization algorithms.


title: Evolutionary Algorithms for Fuzzy Cognitive Maps

abstract: Fuzzy Cognitive Maps (FCMs) is a complex systems modeling technique which, due to its unique advantages, has lately risen in popularity. They are based on graphs that represent the causal relationships among the parameters of the system to be modeled, and they stand out for their interpretability and flexibility. With the late popularity of FCMs, a plethora of research efforts have taken place to develop and optimize the model. One of the most important elements of FCMs is the learning algorithm they use, and their effectiveness is largely determined by it. The learning algorithms learn the node weights of an FCM, with the goal of converging towards the desired behavior. The present study reviews the genetic algorithms used for training FCMs, as well as gives a general overview of the FCM learning algorithms, putting evolutionary computing into the wider context.


title: End2End Acoustic to Semantic Transduction

abstract: In this paper, we propose a novel end-to-end sequence-to-sequence spoken language understanding model using an attention mechanism. It reliably selects contextual acoustic features in order to hypothesize semantic contents. An initial architecture capable of extracting all pronounced words and concepts from acoustic spans is designed and tested. With a shallow fusion language model, this system reaches a 13.6 concept error rate (CER) and an 18.5 concept value error rate (CVER) on the French MEDIA corpus, achieving an absolute 2.8 points reduction compared to the state-of-the-art. Then, an original model is proposed for hypothesizing concepts and their values. This transduction reaches a 15.4 CER and a 21.6 CVER without any new type of context.


title: Finite $\Sigma$-Rickart modules

abstract: In this article, we study the notion of a finite $\Sigma$-Rickart module, as a module theoretic analogue of a right semi-hereditary ring. A module $M$ is called \emph{finite $\Sigma$-Rickart} if every finite direct sum of copies of $M$ is a Rickart module. It is shown that any direct summand and any direct sum of copies of a finite $\Sigma$-Rickart module are finite $\Sigma$-Rickart modules. We also provide generalizations in a module theoretic setting of the most common results of semi-hereditary rings. Also, we have a characterization of a finite $\Sigma$-Rickart module in terms of its endomorphism ring. In addition, we introduce $M$-coherent modules and provide a characterization of finite $\Sigma$-Rickart modules in terms of $M$-coherent modules. At the end, we study when $\Sigma$-Rickart modules and finite $\Sigma$-Rickart modules coincide. Examples which delineate the concepts and results are provided.


title: Energy Dependent Calculations of Fission Product, Prompt, and Delayed Neutron Yields for Neutron Induced Fission on $^{235}$U, $^{238}$U, and $^{239}$Pu

abstract: We perform energy dependent calculations of independent and cumulative fission product yields for $^{235}$U, $^{238}$U, and $^{239}$Pu in the first chance fission region. Starting with the primary fission fragment distributions taken from available experimental data and analytical functions based on assumptions for the excitation energy and spin-parity distributions, the Hauser-Feshbach statistical decay treatment for fission fragment de-excitation is applied to more than 1,000 fission fragments for the incident neutron energies up to 5 MeV. The calculated independent fission product yields are then used as an input of $\beta$-decay to produce the cumulative yield, and summation calculations are performed. Model parameters in these procedures are adjusted by applying the Bayesian technique at the thermal energy for $^{235}$U and $^{239}$Pu and in the fast energy range for $^{238}$U. The calculated fission observable quantities, such as the energy-dependent fission yields, and prompt and delayed neutron yields, are compared with available experimental data. We also study a possible impact of the second chance fission opening on the energy dependence of the delayed neutron yield by extrapolating the calculation.


title: Atomistic calculations of charged point defects at grain boundaries in SrTiO$_3$

abstract: Oxygen vacancies have been identified to play an important role in accelerating grain growth in polycrystalline perovskite-oxide ceramics. In order to advance the fundamental understanding of growth mechanisms at the atomic scale, classical atomistic simulations were carried out to investigate the atomistic structures and oxygen vacancy formation energies at grain boundaries in the prototypical perovskite-oxide material SrTiO$_3$. In this work, we focus on two symmetric tilt grain boundaries, namely $\Sigma$5(310)[001] and $\Sigma$5(210)[001]. A one-dimensional continuum model is adapted to determine the electrostatic potential induced by charged lattice planes in atomistic structure models containing grain boundaries and point defects. By means of this model, electrostatic artifacts, which are inherent to supercell models with periodic or open boundary conditions, can be taken into account and corrected properly. We report calculated formation energies of oxygen vacancies on all the oxygen sites across boundaries between two misoriented grains, and we analyze and discuss the formation-energy values with respect to local charge densities at the vacant sites.


title: Measuring and Improving Consistency in Pretrained Language Models

abstract: Consistency of a model -- that is, the invariance of its behavior under meaning-preserving alternations in its input -- is a highly desirable property in natural language processing. In this paper we study the question: Are Pretrained Language Models (PLMs) consistent with respect to factual knowledge? To this end, we create ParaRel, a high-quality resource of cloze-style query English paraphrases. It contains a total of 328 paraphrases for 38 relations. Using ParaRel, we show that the consistency of all PLMs we experiment with is poor -- though with high variance between relations. Our analysis of the representational spaces of PLMs suggests that they have a poor structure and are currently not suitable for representing knowledge robustly. Finally, we propose a method for improving model consistency and experimentally demonstrate its effectiveness.


title: Gaps in the Thue--Morse word

abstract: The Thue--Morse sequence is a prototypical automatic sequence found in diverse areas of mathematics, and in computer science. We study occurrences of factors $w$ within this sequence, more precisely, the sequence of gaps between consecutive occurrences. This gap sequence is morphic; we prove that it is not automatic as soon as the length of $w$ is at least two, thereby answering a question by J.~Shallit in the affirmative. We give an explicit method to compute the \emph{discrepancy} of the number of occurrences of the block $\mathtt{01}$ in the Thue--Morse sequence. We prove that the sequence of discrepancies is the sequence of output sums of a certain base-$2$ transducer.


title: A Brief Account of Klein's Icosahedral Extensions

abstract: We present an alternative relatively easy way to understand and determine the zeros of a quintic whose Galois group is isomorphic to the group of rotational symmetries of a regular icosahedron. The extensive algebraic procedures of Klein in his famous \textit{Vorlesungen \"uber das Ikosaeder und die Aufl\"osung der Gleichungen vom f\"unften Grade} are here shortened via Heymann's theory of transformations. Also, we give a complete explanation of the so-called icosahedral equation and its solution in terms of Gaussian hypergeometric functions. As an innovative element, we construct this solution by using algebraic transformations of hypergeometric series. Within this framework, we develop a practical algorithm to compute the zeros of the quintic.


title: Relational Consensus-Based Cooperative Task Allocation Management for IIoT-Health Networks

abstract: IIoT services focused on industry-oriented services often require objects run more than one task. IIoT objects poses the challenge of distributing and managing task allocation among them. The fairness of task allocation brings flexible network reconfiguration and maximizes the tasks to be performed. Although existing approaches optimize and manage the dynamics of objects, not all them consider both co-relationship between tasks and object capabilities and the distributed allocation over the cluster service. This paper introduces the ACADIA mechanism for task allocation in IIoT networks in order to distribute task among objects. It relies on relational consensus strategies to allocate tasks and similarity capabilities to determine which objects can play in accomplishing those tasks. Evaluation on NS-3 showed that ACADIA achieved 98% of allocated tasks in an IIoT-Health considering all scenarios, average more than 95% of clusters apt to performed tasks in a low response time, and achieved 50% more effectiveness in task allocation compared to the literature solution CONTASKI.


title: Consistent Recurrent Neural Networks for 3D Neuron Segmentation

abstract: We present a recurrent network for the 3D reconstruction of neurons that sequentially generates binary masks for every object in an image with spatio-temporal consistency. Our network models consistency in two parts: (i) local, which allows exploring non-occluding and temporally-adjacent object relationships with bi-directional recurrence. (ii) non-local, which allows exploring long-range object relationships in the temporal domain with skip connections. Our proposed network is end-to-end trainable from an input image to a sequence of object masks, and, compared to methods relying on object boundaries, its output does not require post-processing. We evaluate our method on three benchmarks for neuron segmentation and achieved state-of-the-art performance on the SNEMI3D challenge.


title: Optimal teleportation fidelity and its deviation in noisy scenarios

abstract: In this work, we study the combined effects of noisy resource state and noisy classical communication on teleportation fidelity and its deviation. Basically, we consider a teleportation protocol, where a general two-qubit state in canonical form is used as resource, which of course, can be a noisy entangled state. Thereafter, to teleport an unknown qubit, Alice measures her qubits in Bell basis and convey the measurement outcome to Bob via noisy classical channel(s). In particular, we derive the exact formulae of optimal teleportation fidelity and corresponding fidelity deviation where the resource state and the classical communication, both of them can be noisy. We further find conditions for non-classical fidelity and dispersion-free teleportation within the present protocol. In this way, we identify the noisy environments where it is possible to achieve the dispersion-free teleportation without compromising the non-classical fidelity. We also exhibit scenarios where the increase of entanglement in the resource state, may degrade the quality of teleportation. Finally, we discuss on minimum classical communication cost required to achieve non-classical fidelity in our protocol.


title: MRSaiFE: Tissue Heating Prediction for MRI: a Feasibility Study

abstract: A to-date unsolved and highly limiting safety concern for Ultra High-Field (UHF) magnetic resonance imaging (MRI) is the deposition of radiofrequency (RF) power in the body, quantified by the specific absorption rate (SAR), leading to dangerous tissue heating/damage in the form of local SAR hotspots that cannot currently be measured/monitored, thereby severely limiting the applicability of the technology for clinical practice and in regulatory approval. The goal of this study has been to show proof of concept of an artificial intelligence (AI) based exam-integrated real-time MRI safety prediction software (MRSaiFE) facilitating the safe generation of 3T and 7T images by means of accurate local SAR-monitoring at sub-W/kg levels. We trained the software with a small database of image as a feasibility study and achieved successful proof of concept for both field strengths. SAR patterns were predicted with a residual root mean squared error (RSME) of <11% along with a structural similarity (SSIM) level of >84% for both field strengths (3T and 7T).


title: Falx: Synthesis-Powered Visualization Authoring

abstract: Modern visualization tools aim to allow data analysts to easily create exploratory visualizations. When the input data layout conforms to the visualization design, users can easily specify visualizations by mapping data columns to visual channels of the design. However, when there is a mismatch between data layout and the design, users need to spend significant effort on data transformation. We propose Falx, a synthesis-powered visualization tool that allows users to specify visualizations in a similarly simple way but without needing to worry about data layout. In Falx, users specify visualizations using examples of how concrete values in the input are mapped to visual channels, and Falx automatically infers the visualization specification and transforms the data to match the design. In a study with 33 data analysts on four visualization tasks involving data transformation, we found that users can effectively adopt Falx to create visualizations they otherwise cannot implement.


title: Nuclear spin features relevant to ab initio nucleon-nucleus elastic scattering

abstract: Background: Effective interactions for elastic nucleon-nucleus scattering from first principles require the use of the same nucleon-nucleon interaction in the structure and reaction calculations, as well as a consistent treatment of the relevant operators at each order. Purpose: Previous work using these interactions has shown good agreement with available data. Here, we study the physical relevance of one of these operators, which involves the spin of the struck nucleon, and examine the interpretation of this quantity in a nuclear structure context. Methods: Using the framework of the spectator expansion and the underlying framework of the no-core shell model, we calculate and examine spin-projected, one-body momentum distributions required for effective nucleon-nucleus interactions in $J=0$ nuclear states. Results: The calculated spin-projected, one-body momentum distributions for $^4$He, $^6$He, and $^8$He display characteristic behavior based on the occupation of protons and neutrons in single particle levels, with more nucleons of one type yielding momentum distributions with larger values. Additionally, we find this quantity is strongly correlated to the magnetic moment of the $2^+$ excited state in the ground state rotational band for each nucleus considered. Conclusions: We find that spin-projected, one-body momentum distributions can probe the spin content of a $J=0$ wave function. This feature may allow future \textit{ab initio} nucleon-nucleus scattering studies to inform spin properties of the underlying nucleon-nucleon interactions. The observed correlation to the magnetic moment of excited states illustrates a previously unknown connection between reaction observables such as the analyzing power and structure observables like the magnetic moment.


title: Non-uniform Blur Kernel Estimation via Adaptive Basis Decomposition

abstract: Motion blur estimation remains an important task for scene analysis and image restoration. In recent years, the removal of motion blur in photographs has seen impressive progress in the hands of deep learning-based methods, trained to map directly from blurry to sharp images. Characterization of the motion blur, on the other hand, has received less attention, and progress in model-based methods for deblurring lags behind that of data-driven end-to-end approaches. In this work we revisit the problem of characterizing dense, non-uniform motion blur in a single image and propose a general non-parametric model for this task. Given a blurry image, a neural network is trained to estimate a set of image-adaptive basis motion kernels as well as the mixing coefficients at the pixel level, producing a per-pixel motion blur field. We show that our approach overcomes the limitations of existing non-uniform motion blur estimation methods and leads to extremely accurate motion blur kernels. When applied to real motion-blurred images, a variational non-uniform blur removal method fed with the estimated blur kernels produces high-quality restored images. Qualitative and quantitative evaluation shows that these results are competitive or superior to results obtained with existing end-to-end deep learning (DL) based methods, thus bridging the gap between model-based and data-driven approaches.


title: Numbers which are only orders of abelian or nilpotent groups

abstract: Refining a result of Erdos and Mays, we give asymptotic series expansions for the functions $A(x)-C(x)$, the count of $n\leq x$ for which every group of order $n$ is abelian (but not all cyclic), and $N(x)-A(x)$, the count of $n\leq x$ for which every group of order $n$ is nilpotent (but not all abelian).


title: Local commutants and ultrainvariant subspaces

abstract: For an operator $A$ on a complex Banach space $X$ and a closed subspace $M\subseteq X$, the local commutant of $A$ at $M$ is the set $C(A;M)$ of all operators $T$ on $X$ such that $TAx=ATx$ for every $x\in M$. It is clear that $ C(A;M)$ is a closed linear space of operators, however it is not an algebra, in general. For a given $A$, we show that $C(A;M)$ is an algebra if and only if the largest subspace $M_A$ such that $C(A;M)=C(A;M_A)$ is invariant for every operator in $C(A;M)$. We say that these are ultrainvariant subspaces of $A$. For several types of operators we prove that there exist non-trivial ultrainvariant subspaces. For a normal operator on a Hilbert space, every hyperinvariant subspace is ultrainvariant. On the other hand, the lattice of all ultrainvariant subspaces of a non-zero nilpotent operator can be strictly smaller than the lattice of all hyperinvariant subspaces.


title: PAVEL: Decorative Patterns with Packed Volumetric Elements

abstract: Many real-world hand-crafted objects are decorated with elements that are packed onto the object's surface and deformed to cover it as much as possible. Examples are artisanal ceramics and metal jewelry. Inspired by these objects, we present a method to enrich surfaces with packed volumetric decorations. Our algorithm works by first determining the locations in which to add the decorative elements and then removing the non-physical overlap between them while preserving the decoration volume. For the placement, we support several strategies depending on the desired overall motif. To remove the overlap, we use an approach based on implicit deformable models creating the qualitative effect of plastic warping while avoiding expensive and hard-to-control physical simulations. Our decorative elements can be used to enhance virtual surfaces, as well as 3D-printed pieces, by assembling the decorations onto real-surfaces to obtain tangible reproductions.


title: Inflation: a quantum laboratory on cosmological scales

abstract: This thesis is dedicated to studying cosmological inflation, which is a period of accelerated expansion in the very early Universe that is required to explain the observed anisotropies in the cosmic microwave background. Inflation, when combined with quantum mechanics, also provides the over-densities that grow into the structure of the modern Universe. Understanding perturbations during this period of inflation is important, and we study these perturbations in detail in this work. We will assume that inflation is driven by a single scalar field, called the inflaton. When the shape of the potential energy is flat, the inflaton can enter a phase of "ultra-slow-roll inflation". We study the stability of such a period of inflation, and find that it can be stable and long-lived, although it has a dependence on the initial velocity of the inflaton field. This is different to the slow-roll regime of inflation, which is always stable, but has no dependence on the initial velocity. In the second part of this thesis, we use the stochastic formalism for inflation in order to take account of the non-perturbative backreaction of quantum fluctuations during inflation. We use this formalism to study curvature fluctuations during inflation, and we derive full probability distributions of these fluctuations. This allows us to study the statistics of large fluctuations that can lead to the formation of rare objects, such as primordial black holes. In general, we find that when the quantum effects modelled by the stochastic formalism are correctly accounted for, many more primordial black holes can be formed than one would expect if these quantum effects were not taken into account.


title: CosmoLattice

abstract: This is the user manual for CosmoLattice, a modern package for lattice simulations of the dynamics of interacting scalar and gauge fields in an expanding universe. CosmoLattice incorporates a series of features that makes it very versatile and powerful: $i)$ it is written in C++ fully exploiting the object oriented programming paradigm, with a modular structure and a clear separation between the physics and the technical details, $ii)$ it is MPI-based and uses a discrete Fourier transform parallelized in multiple spatial dimensions, which makes it specially appropriate for probing scenarios with well-separated scales, running very high resolution simulations, or simply very long ones, $iii)$ it introduces its own symbolic language, defining field variables and operations over them, so that one can introduce differential equations and operators in a manner as close as possible to the continuum, $iv)$ it includes a library of numerical algorithms, ranging from $O(\delta t^2)$ to $O(\delta t^{10})$ methods, suitable for simulating global and gauge theories in an expanding grid, including the case of `self-consistent' expansion sourced by the fields themselves. Relevant observables are provided for each algorithm (e.g.~energy densities, field spectra, lattice snapshots) and we note that remarkably all our algorithms for gauge theories always respect the Gauss constraint to machine precision. In this manual we explain how to obtain and run CosmoLattice in a computer (let it be your laptop, desktop or a cluster). We introduce the general structure of the code and describe in detail the basic files that any user needs to handle. We explain how to implement any model characterized by a scalar potential and a set of scalar fields, either singlets or interacting with $U(1)$ and/or $SU(2)$ gauge fields. CosmoLattice is publicly available at www.cosmolattice.net.


title: Superposition of two-mode squeezed states for quantum information processing and quantum sensing

abstract: We investigate superpositions of two-mode squeezed states (TMSSs), which have potential applications to quantum information processing and quantum sensing. Firstly we study some properties of these nonclassical states such as the statistics of each mode and the degree of entanglement between the two modes, which can be higher than that of a TMSS with the same degree of squeezing. The states we consider can be prepared by inducing two-mode Jaynes-Cummings and anti-Jaynes-Cummings interactions in a system of two modes and a spin-$\tfrac{1}{2}$ particle, for instance in the trapped ion domain, as described here. We show that when two harmonic oscillators are prepared in a superposition of two TMSSs, each reduced single-mode state can be advantageously employed to sense arbitrary displacements of the mode in phase space. The Wigner function of this reduced state exhibits a symmetrical peak centered at the phase-space origin, which has the convenient peculiarity of getting narrower in both quadratures simultaneously as the average photon number increases. This narrow peakcan be used as the pointer of our quantum sensor, with its position in phase space indicating the displacement undergone by the oscillator.


title: Scalable, End-to-End, Deep-Learning-Based Data Reconstruction Chain for Particle Imaging Detectors

abstract: Recent inroads in Computer Vision (CV) and Machine Learning (ML) have motivated a new approach to the analysis of particle imaging detector data. Unlike previous efforts which tackled isolated CV tasks, this paper introduces an end-to-end, ML-based data reconstruction chain for Liquid Argon Time Projection Chambers (LArTPCs), the state-of-the-art in precision imaging at the intensity frontier of neutrino physics. The chain is a multi-task network cascade which combines voxel-level feature extraction using Sparse Convolutional Neural Networks and particle superstructure formation using Graph Neural Networks. Each algorithm incorporates physics-informed inductive biases, while their collective hierarchy is used to enforce a causal structure. The output is a comprehensive description of an event that may be used for high-level physics inference. The chain is end-to-end optimizable, eliminating the need for time-intensive manual software adjustments. It is also the first implementation to handle the unprecedented pile-up of dozens of high energy neutrino interactions, expected in the 3D-imaging LArTPC of the Deep Underground Neutrino Experiment. The chain is trained as a whole and its performance is assessed at each step using an open simulated data set.


title: On the dichromatic number of surfaces

abstract: In this paper, we give bounds on the dichromatic number $\vec{\chi}(\Sigma)$ of a surface $\Sigma$, which is the maximum dichromatic number of an oriented graph embeddable on $\Sigma$. We determine the asymptotic behaviour of $\vec{\chi}(\Sigma)$ by showing that there exist constants $a_1$ and $a_2$ such that, $a_1\frac{\sqrt{-c}}{\log(-c)} \leq \vec{\chi}(\Sigma) \leq a_2 \frac{\sqrt{-c}}{\log(-c)} $ for every surface $\Sigma$ with Euler characteristic $c\leq -2$. We then give more explicit bounds for some surfaces with high Euler characteristic. In particular, we show that the dichromatic numbers of the projective plane $\mathbb{N}_1$, the Klein bottle $\mathbb{N}_2$, the torus $\mathbb{S}_1$, and Dyck's surface $\mathbb{N}_3$ are all equal to $3$, and that the dichromatic numbers of the $5$-torus $\mathbb{S}_5$ and the $10$-cross surface $\mathbb{N}_{10}$ are equal to $4$. We also consider the complexity of deciding whether a given digraph or oriented graph embeddable on a fixed surface is $k$-dicolourable. In particular, we show that for any fixed surface, deciding whether a digraph embeddable on this surface is $2$-dicolourable is NP-complete, and that deciding whether a planar oriented graph is $2$-dicolourable is NP-complete unless all planar oriented graphs are $2$-dicolourable (which was conjectured by Neumann-Lara).


title: Low-temperature universal dynamics of the bidimensional Potts model in the large q limit

abstract: We study the low temperature quench dynamics of the two-dimensional Potts model in the limit of large number of states, q >> 1. We identify a q-independent crossover temperature (the pseudo spinodal) below which no high-temperature metastability stops the curvature driven coarsening process. At short length scales, the latter is decorated by freezing for some lattice geometries, notably the square one. With simple analytic arguments we evaluate the relevant time-scale in the coarsening regime, which turns out to be of Arrhenius form and independent of q for large q. Once taken into account dynamic scaling is universal.


title: Hyperbolic mass via horospheres

abstract: We derive geometric formulas for the mass of asymptotically hyperbolic manifolds using coordinate horospheres. As an application, we obtain a new rigidity result of hyperbolic space: if a complete asymptotically hyperbolic manifold has scalar curvature lower bound -n(n-1) and is isometric to hyperbolic space outside a coordinate horosphere, then the manifold is isometric to hyperbolic space. In addition, we apply our formula to investigate regions near infinity that do not contribute to the mass quantity, which leads to improved rigidity results of hyperbolic space.


title: Data-driven aggregation in circular deconvolution

abstract: In a circular deconvolution model we consider the fully data driven density estimation of a circular random variable where the density of the additive independent measurement error is unknown. We have at hand two independent iid samples, one of the contaminated version of the variable of interest, and the other of the additive noise. We show optimality,in an oracle and minimax sense, of a fully data-driven weighted sum of orthogonal series density estimators. Two shapes of random weights are considered, one motivated by a Bayesian approach and the other by a well known model selection method. We derive non-asymptotic upper bounds for the quadratic risk and the maximal quadratic risk over Sobolev-like ellipsoids of the fully data-driven estimator. We compute rates which can be obtained in different configurations for the smoothness of the density of interest and the error density. The rates (strictly) match the optimal oracle or minimax rates for a large variety of cases, and feature otherwise at most a deterioration by a logarithmic factor. We illustrate the performance of the fully data-driven weighted sum of orthogonal series estimators by a simulation study.


title: On the Application of Stable Generalized Finite Element Method for Quasilinear Elliptic Two-Point BVP

abstract: In this paper, we discuss the application of the Generalized Finite Element Method (GFEM) to approximate the solutions of quasilinear elliptic equations with multiple interfaces in one dimensional space. The problem is characterized by spatial discontinuity of the elliptic coefficient that depends on the unknown solution. It is known that unless the partition of the domain matches the discontinuity configuration, accuracy of standard finite element techniques significantly deteriorates and standard refinement of the partition may not suffice. The GFEM is a viable alternative to overcome this predicament. It is based on the construction of certain enrichment functions supplied to the standard space that capture effects of the discontinuity. This approach is called stable (SGFEM) if it maintains an optimal rate of convergence and the conditioning of GFEM is not worse than that of the standard FEM. A convergence analysis is derived and performance of the method is illustrated by several numerical examples. Furthermore, it is known that typical global formulations such as FEMs do not enjoy the numerical local conservation property that is crucial in many conservation law-based applications. To remedy this issue, a Lagrange multiplier technique is adopted to enforce the local conservation. A numerical example is given to demonstrate the performance of proposed technique.


title: Bulk acoustofluidic devices driven by thin-film transducers and whole-system resonance modes

abstract: In acoustofluidics, acoustic resonance modes for fluid and microparticle handling are traditionally excited by bulk piezoelectric transducers. In this work, we demonstrate by numerical simulation in three dimensions (3D) that integrated piezoelectric thin-film transducers constituting less than 0.1% of the device work equally well. The simulations are done using a well-tested and experimentally validated numerical model. Our proof-of-concept example is a water-filled straight channel embedded in a mm-sized glass chip with a 1-um thick thin-film transducer made of (Al,Sc)N. We compute the acoustic energy, streaming, and radiation force, and show that it is comparable to that of a conventional silicon-glass device actuated by a bulk PZT transducer. The ability of the thin-film transducer to create the desired acoustofluidic effects in bulk acoustofluidic devices rely on three physical aspects: The in-plane-expansion of the thin-film transducer under the orthogonal applied electric field, the acoustic whole-system resonance of the device, and the high Q-factor of the elastic solid constituting the bulk part of the device. Consequently, the thin-film device is surprisingly insensitive to the Q-factor and resonance properties of the thin-film transducer.


title: Thermodynamic properties of {\epsilon}-Fe with thermal electronic excitation effects on vibrational spectra

abstract: The thermodynamic properties of hcp-iron ({\epsilon}-Fe) are essential for investigating planetary cores' internal structure and dynamic properties. Despite their importance to planetary sciences, experimental investigations of {\epsilon}-Fe at relevant conditions are still challenging. Therefore, ab initio calculations are crucial to elucidating the thermodynamic properties of this system. Here we use a free energy calculation scheme based on the phonon gas model compatible with temperature-dependent phonon frequencies. We investigate the effects of electronic thermal excitations, which introduces a temperature dependence on phonon frequencies, and the implication for the thermodynamic properties of {\epsilon}-Fe at extreme pressure (P) and temperature (T) conditions. We disregard phonon-phonon interactions, i.e., anharmonicity and their effect on phonon frequencies. Nevertheless, the current scheme is also applicable to T-dependent anharmonic frequencies. We conclude that the impact of thermal electronic excitations on vibrational properties is not significant up to ~ 4,000 K at 200 GPa but should not be ignored at higher temperatures or pressures. However, the static free energy, Fst, must always include the effect of thermal excitation fully in a continuum of Ts. Our results for isentropic equations of state show good agreement with data from recent ramp compression experiments up to 1,400 GPa conducted at the National Ignition Facility (NIF).


title: Simple Trust Metric in a Low-Power Sensor Network

abstract: Distributed systems become more and more important to our life. Especially in areas like Smart Home and the Internet of Things (IoT) reliable low-power sensor networks become increasingly important. For ensuring this there are a lot of trust metrics. In this paper we compare a model of a distributed low-power sensor network including one root node and the corresponding Simple Trust Metric to the requirements from "Representation of Trust and Reputation in Self-Managed Computing Systems" [1], the Weighted Trust Metric and the Weighted Simple Exponential Smoothing


title: Second quantization of time and energy in Relativistic Quantum Mechanics

abstract: Based on Lorentz invariance and Born reciprocity invariance, the canonical quantization of Special Relativity (SR) has been shown to provide a unified origin for the existence of Dirac's Hamiltonian and a self adjoint time operator that circumvents Pauli's objection. As such, this approach restores to Quantum Mechanics (QM) the treatment of space and time on an equivalent footing as that of momentum and energy. Second quantization of the time operator field follows step by step that of the Dirac Hamiltonian field. It introduces the concept of time quanta, in a similar way to the energy quanta in Quantum Field Theory (QFT). An early connection is found allready in Feshbach's unified theory of nuclear reactions. Its possible relevance in current developments such as Feshbach resonances in the fields of cold atom systems, of Bose-Einstein condensates and in the problem of time in Quantum Gravity is noted. .


title: Branched covering simply-connected 4-manifolds

abstract: We prove that any closed simply-connected smooth 4-manifold is 16-fold branched covered by a product of an orientable surface with the 2-torus, where the construction is natural with respect to spin structures. In particular this solves Problem 4.113(C) in Kirby's list. We also discuss analogous results for other families of 4-manifolds with infinite fundamental groups.


title: Jiffy: A Lock-free Skip List with Batch Updates and Snapshots

abstract: In this paper we introduce Jiffy, the first lock-free, linearizable ordered key-value index that offers both (1) batch updates, which are put and remove operations that are executed atomically, and (2) consistent snapshots used by, e.g., range scan operations. Jiffy is built as a multiversioned lock-free skip list and relies on CPU's Time Stamp Counter register to generate version numbers at minimal cost. For faster skip list traversals and better utilization of the CPU caches, key-value entries are grouped into immutable objects called revisions. Moreover, by changing the size of revisions and thus modifying the synchronization granularity, our index can adapt to varying contentions levels (smaller revisions are more suited for write-heavy workloads whereas large revisions benefit read-dominated workloads, especially when they feature many range scan operations). Structure modifications to the index, which result in changing the size of revisions, happen through (lock-free) skip list node split and merge operations that are carefully coordinated with the update operations. Despite rich semantics, Jiffy offers highly scalable performance, which is comparable or exceeds the performance of the state-of-the-art lock-free ordered indices that feature linearizable range scan operations. Compared to its (lock-based) rivals that also support batch updates, Jiffy can execute large batch updates up to 7.4x more efficiently.


title: Delensing the CMB with the cosmic infrared background: the impact of foregrounds

abstract: The most promising avenue for detecting primordial gravitational waves from cosmic inflation is through measurements of degree-scale CMB $B$-mode polarisation. This approach must face the challenge posed by gravitational lensing of the CMB, which obscures the signal of interest. Fortunately, the lensing effects can be partially removed by combining high-resolution $E$-mode measurements with an estimate of the projected matter distribution. For near-future experiments, the best estimate of the latter will arise from co-adding internal reconstructions (derived from the CMB itself) with external tracers such as the cosmic infrared background (CIB). In this work, we characterise how foregrounds impact the delensing procedure when CIB intensity, $I$, is used as the matter tracer. We find that higher-point functions of the CIB and Galactic dust such as $\langle BEI \rangle_{c}$ and $\langle EIEI \rangle_{c}$ can, in principle, bias the power spectrum of delensed $B$-modes. To quantify these, we first estimate the dust residuals in currently-available CIB maps and upcoming, foreground-cleaned Simons Observatory CMB data. Then, using non-Gaussian simulations of Galactic dust -- extrapolated to the relevant frequencies, assuming the spectral index of polarised dust emission to be fixed at the value determined by Planck -- we show that the bias to any primordial signal is small compared to statistical errors for ground-based experiments, but might be significant for space-based experiments probing very large angular scales. However, mitigation techniques based on multi-frequency cleaning appear to be very effective. We also show, by means of an analytic model, that the bias arising from the higher-point functions of the CIB itself ought to be negligible.


title: Impossible Tuning Made Possible: A New Expert Algorithm and Its Applications

abstract: We resolve the long-standing "impossible tuning" issue for the classic expert problem and show that, it is in fact possible to achieve regret $O\left(\sqrt{(\ln d)\sum_t \ell_{t,i}^2}\right)$ simultaneously for all expert $i$ in a $T$-round $d$-expert problem where $\ell_{t,i}$ is the loss for expert $i$ in round $t$. Our algorithm is based on the Mirror Descent framework with a correction term and a weighted entropy regularizer. While natural, the algorithm has not been studied before and requires a careful analysis. We also generalize the bound to $O\left(\sqrt{(\ln d)\sum_t (\ell_{t,i}-m_{t,i})^2}\right)$ for any prediction vector $m_t$ that the learner receives, and recover or improve many existing results by choosing different $m_t$. Furthermore, we use the same framework to create a master algorithm that combines a set of base algorithms and learns the best one with little overhead. The new guarantee of our master allows us to derive many new results for both the expert problem and more generally Online Linear Optimization.


title: Invariance principles and Log-distance of F-KPP fronts in a random medium

abstract: We study the front of the solution to the F-KPP equation with randomized non-linearity. Under suitable assumptions on the randomness involving spatial mixing behavior and boundedness, we show that the front of the solution lags at most logarithmically in time behind the front of the solution of the corresponding linearized equation, i.e. the parabolic Anderson model. This can be interpreted as a partial generalization of Bramson's findings for the homogeneous setting. Building on this result, we establish functional central limit theorems for the fronts of the solutions to both equations.