title: The energy spectrum of metrics on surfaces

abstract: Let $(N,\rho)$ be a Riemannian manifold, $S$ a surface of genus at least two and let $f\colon S \to N$ be a continuous map. We consider the energy spectrum of $(N,\rho)$ (and $f$) which assigns to each point $[J]\in \mathcal{T}(S)$ in the Teichm\"uller space of $S$ the infimum of the Dirichlet energies of all maps $(S,J)\to (N,\rho)$ homotopic to $f$. We study the relation between the energy spectrum and the simple length spectrum. Our main result is that if $N=S$, $f=id$ and $\rho$ is a metric of non-positive curvature, then the energy spectrum determines the simple length spectrum. Furthermore, we prove that the converse does not hold by exhibiting two metrics on $S$ with equal simple length spectrum but different energy spectrum. As corollaries to our results we obtain that the set of hyperbolic metrics and the set of singular flat metrics induced by quadratic differentials satisfy energy spectrum rigidity, i.e. a metric in these sets is determined, up to isotopy, by its energy spectrum. We prove that analogous statements also hold true for Kleinian surface groups.


title: The Explorer-Director Game on Graphs

abstract: The Explorer-Director game, first introduced by Nedev and Muthukrishnan, can be described as a game where two players -- Explorer and Director -- determine the movement of a token on the vertices of a graph. At each time step, the Explorer specifies a distance that the token must move hoping to maximize the amount of vertices ultimately visited, and the Director adversarially chooses where to move token in an effort to minimize this number. Given a graph and a starting vertex, the number of vertices that are visited under optimal play is denoted by $f_d(G,v)$. In this paper, we first reduce the study of $f_d (G,v)$ to the determination of the minimal sets of vertices that are \textit{closed} in a certain combinatorial sense, thus providing a structural understanding of each player's optimal strategies. As an application, we address the problem on lattices and trees. In the case of trees, we also provide a complete solution even in the more restrictive setting where the strategy used by the Explorer is not allowed to depend on their opponent's responses. In addition to this paper, a supplementary companion note will be posted to arXiv providing additional results about the game in a variety of specific graph families.


title: Epsilon Consistent Mixup: Structural Regularization with an Adaptive Consistency-Interpolation Tradeoff

abstract: In this paper we propose $\epsilon$-Consistent Mixup ($\epsilon$mu). $\epsilon$mu is a data-based structural regularization technique that combines Mixup's linear interpolation with consistency regularization in the Mixup direction, by compelling a simple adaptive tradeoff between the two. This learnable combination of consistency and interpolation induces a more flexible structure on the evolution of the response across the feature space and is shown to improve semi-supervised classification accuracy on the SVHN and CIFAR10 benchmark datasets, yielding the largest gains in the most challenging low label-availability scenarios. Empirical studies comparing $\epsilon$mu and Mixup are presented and provide insight into the mechanisms behind $\epsilon$mu's effectiveness. In particular, $\epsilon$mu is found to produce more accurate synthetic labels and more confident predictions than Mixup.


title: Inharmonious Region Localization

abstract: The advance of image editing techniques allows users to create artistic works, but the manipulated regions may be incompatible with the background. Localizing the inharmonious region is an appealing yet challenging task. Realizing that this task requires effective aggregation of multi-scale contextual information and suppression of redundant information, we design novel Bi-directional Feature Integration (BFI) block and Global-context Guided Decoder (GGD) block to fuse multi-scale features in the encoder and decoder respectively. We also employ Mask-guided Dual Attention (MDA) block between the encoder and decoder to suppress the redundant information. Experiments on the image harmonization dataset demonstrate that our method achieves competitive performance for inharmonious region localization. The source code is available at https://github.com/bcmi/DIRL.


title: Optimizing Continuous-Variable Quantum Key Distribution with Phase-Shift Keying Modulation and Postselection

abstract: A numerical security proof technique is used to analyse the security of continuous-variable quantum key distribution (CV-QKD) protocols with phase-shift keying modulation against collective attacks in the asymptotic limit. We argue why it is sufficient to consider protocols with a maximum number of eight signal states and analyse different postselection strategies for protocols with four (QPSK) and eight (8PSK) signal states for untrusted ideal and trusted nonideal detectors. We introduce a \emph{cross-shaped} postselection strategy, and show that both cross-shaped and radial and angular postselection clearly outperform a radial postselection scheme (and no postselection) for QPSK protocols. For all strategies studied, we provide analytical results for the operators defining the respective regions in phase space. We outline several use-cases of postselection, which can easily be introduced in the data processing of both new and existing CV-QKD systems: Motivated by the high computational effort for error-correction, we studied the case when a large fraction of the raw key is eliminated by postselection and observed that this can be achieved while increasing the secure key rate. Postselection can also be used to partially compensate the disadvantage of QPSK protocols over 8PSK protocols for high transmission distances, while being experimentally less demanding. Finally, we highlight that postselection can be used to reduce the key rate gap between scenarios with trusted and untrusted detectors while relying on less assumptions on Eve's power.


title: Arithmetic-Intensity-Guided Fault Tolerance for Neural Network Inference on GPUs

abstract: Neural networks (NNs) are increasingly employed in safety-critical domains and in environments prone to unreliability (e.g., soft errors), such as on spacecraft. Therefore, it is critical to impart fault tolerance to NN inference. Algorithm-based fault tolerance (ABFT) is emerging as an efficient approach for fault tolerance in NNs. We propose an adaptive approach to ABFT for NN inference that exploits untapped opportunities in emerging deployment scenarios. GPUs have high compute-to-memory-bandwidth ratios, while NN layers have a wide range of arithmetic intensities. This leaves some layers compute bound and others memory-bandwidth bound, but current approaches to ABFT do not consider these differences. We first investigate ABFT schemes best suited for each of these scenarios. We then propose intensity-guided ABFT, an adaptive, arithmetic-intensity-guided approach that selects the most efficient ABFT scheme for each NN layer. Intensity-guided ABFT reduces execution-time overhead by 1.09--5.3$\times$ across many NNs compared to traditional approaches to ABFT.


title: Self-supervised Representation Learning With Path Integral Clustering For Speaker Diarization

abstract: Automatic speaker diarization techniques typically involve a two-stage processing approach where audio segments of fixed duration are converted to vector representations in the first stage. This is followed by an unsupervised clustering of the representations in the second stage. In most of the prior approaches, these two stages are performed in an isolated manner with independent optimization steps. In this paper, we propose a representation learning and clustering algorithm that can be iteratively performed for improved speaker diarization. The representation learning is based on principles of self-supervised learning while the clustering algorithm is a graph structural method based on path integral clustering (PIC). The representation learning step uses the cluster targets from PIC and the clustering step is performed on embeddings learned from the self-supervised deep model. This iterative approach is referred to as self-supervised clustering (SSC). The diarization experiments are performed on CALLHOME and AMI meeting datasets. In these experiments, we show that the SSC algorithm improves significantly over the baseline system (relative improvements of 13% and 59% on CALLHOME and AMI datasets respectively in terms of diarization error rate (DER)). In addition, the DER results reported in this work improve over several other recent approaches for speaker diarization.


title: Few-Shot Model Adaptation for Customized Facial Landmark Detection, Segmentation, Stylization and Shadow Removal

abstract: Despite excellent progress has been made, the performance of deep learning based algorithms still heavily rely on specific datasets, which are difficult to extend due to labor-intensive labeling. Moreover, because of the advancement of new applications, initial definition of data annotations might not always meet the requirements of new functionalities. Thus, there is always a great demand in customized data annotations. To address the above issues, we propose the Few-Shot Model Adaptation (FSMA) framework and demonstrate its potential on several important tasks on Faces. The FSMA first acquires robust facial image embeddings by training an adversarial auto-encoder using large-scale unlabeled data. Then the model is equipped with feature adaptation and fusion layers, and adapts to the target task efficiently using a minimal amount of annotated images. The FSMA framework is prominent in its versatility across a wide range of facial image applications. The FSMA achieves state-of-the-art few-shot landmark detection performance and it offers satisfying solutions for few-shot face segmentation, stylization and facial shadow removal tasks for the first time.


title: The theoretical and practical foundations of strong earthquake predictability

abstract: This paper provides theoretical and practical arguments regarding the possibility of predicting strong and major earthquakes worldwide. Many strong and major earthquakes can be predicted at least two to five months in advance, based on identifying stressed areas that begin to behave abnormally before strong events, with the size of these areas corresponding to Dobrovolsky formula. We make predictions by combining knowledge from many different disciplines: physics, geophysics, seismology, geology, and earth science, among others. An integrated approach is used to identify anomalies and make predictions, including satellite remote sensing techniques and data from ground-based instruments. Terabytes of information are currently processed every day with many different multi-parametric prediction systems applied thereto. Alerts are issued if anomalies are confirmed by a few different systems. It has been found that geophysical patterns of earthquake preparation and stress accumulation are similar for all key seismic regions. The same earthquake prediction methodologies and systems have been successfully applied in global practice since 2013, with the technology successfully used to retrospectively test against more than 700 strong and major earthquakes since 1970.


title: A Practical Method for Constructing Equivariant Multilayer Perceptrons for Arbitrary Matrix Groups

abstract: Symmetries and equivariance are fundamental to the generalization of neural networks on domains such as images, graphs, and point clouds. Existing work has primarily focused on a small number of groups, such as the translation, rotation, and permutation groups. In this work we provide a completely general algorithm for solving for the equivariant layers of matrix groups. In addition to recovering solutions from other works as special cases, we construct multilayer perceptrons equivariant to multiple groups that have never been tackled before, including $\mathrm{O}(1,3)$, $\mathrm{O}(5)$, $\mathrm{Sp}(n)$, and the Rubik's cube group. Our approach outperforms non-equivariant baselines, with applications to particle physics and dynamical systems. We release our software library to enable researchers to construct equivariant layers for arbitrary matrix groups.


title: Bayesian Algorithm Execution: Estimating Computable Properties of Black-box Functions Using Mutual Information

abstract: In many real-world problems, we want to infer some property of an expensive black-box function $f$, given a budget of $T$ function evaluations. One example is budget constrained global optimization of $f$, for which Bayesian optimization is a popular method. Other properties of interest include local optima, level sets, integrals, or graph-structured information induced by $f$. Often, we can find an algorithm $\mathcal{A}$ to compute the desired property, but it may require far more than $T$ queries to execute. Given such an $\mathcal{A}$, and a prior distribution over $f$, we refer to the problem of inferring the output of $\mathcal{A}$ using $T$ evaluations as Bayesian Algorithm Execution (BAX). To tackle this problem, we present a procedure, InfoBAX, that sequentially chooses queries that maximize mutual information with respect to the algorithm's output. Applying this to Dijkstra's algorithm, for instance, we infer shortest paths in synthetic and real-world graphs with black-box edge costs. Using evolution strategies, we yield variants of Bayesian optimization that target local, rather than global, optima. On these problems, InfoBAX uses up to 500 times fewer queries to $f$ than required by the original algorithm. Our method is closely connected to other Bayesian optimal experimental design procedures such as entropy search methods and optimal sensor placement using Gaussian processes.


title: Entropy-based Optimization via A* Algorithm for Parking Space Recommendation

abstract: This paper addresses the path planning problems for recommending parking spaces, given the difficulties of identifying the most optimal route to vacant parking spaces and the shortest time to leave the parking space. Our optimization approach is based on the entropy method and realized by the A* algorithm. Experiments have shown that the combination of A* and the entropy value induces the optimal parking solution with the shortest route while being robust to environmental factors.


title: Heads in the Clouds: Measuring the Implications of Universities Migrating to Public Clouds

abstract: With the emergence of remote education and work in universities due to COVID-19, the `zoomification' of higher education, i.e., the migration of universities to the clouds, reached the public discourse. Ongoing discussions reason about how this shift will take control over students' data away from universities, and may ultimately harm the privacy of researchers and students alike. However, there has been no comprehensive measurement of universities' use of public clouds and reliance on Software-as-a-Service offerings to assess how far this migration has already progressed. We perform a longitudinal study of the migration to public clouds among universities in the U.S. and Europe, as well as institutions listed in the Times Higher Education (THE) Top100 between January 2015 and October. We find that cloud adoption differs between countries, with one cluster (Germany, France, Austria, Switzerland) showing a limited move to clouds, while the other (U.S., U.K, the Netherlands, THE Top100) frequently outsources universities' core functions and services -- starting long before the COVID-19 pandemic. We attribute this clustering to several socio-economic factors in the respective countries, including the general culture of higher education and the administrative paradigm taken towards running universities. We then analyze and interpret our results, finding that the implications reach beyond individuals' privacy towards questions of academic independence and integrity.


title: Magnetic field noise analyses generated by the interactions between a nitrogen vacancy center diamond and surface and bulk impurities

abstract: We investigated the mechanism of magnetic noise due to both surface and bulk impurities. For surface noise, we apply the Langevin method to spin fluctuation theory to calculate the noise for paramagnetic surface impurities absorbed in a thin layer of water. We find that the mechanisms generating noise are spin flip and spin precession which depend on impurity spin relaxation and spin precession time. For the bulk noise, we consider carbon-13 and nitrogen as impurities and employ the correlated-cluster expansion to calculate noise. Carbon-13 noise is a few orders of magnitude larger than nitrogen due to the higher impurity density in the typical NV center diamond system. We also find that the noise in the secular approximation underestimates noise under low applied magnetic field. Overall, the major source of magnetic field noise is spin precession noise, which is more than five orders of magnitude larger than the spin flip noise.


title: Discrete two-countour system with one-directional motion

abstract: This paper studies a dynamical system, which contains two contours. There is a cluster on each contour. The cluster contains particles, located in adjacent cells. The clusters move under prescribed rules. The delays of clusters are due to that the clusters cannot pass through the node simultaneously. The dynamical system belongs to the class of contour networks introduced by A. P. Buslaev.


title: Droplet epitaxy symmetric InAs/InP quantum dots for quantum emission in the third telecom window: morphology, optical and electronic properties

abstract: The rapidly developing quantum communication technology requires deterministic quantum emitters that can generate single photons and entangled photon pairs in the third telecom window, in order to be compatible with existing optical fiber networks and on-chip silicon photonic processors. InAs/InP quantum dots (QDs) are among the leading candidates for this purpose, due to their high emission efficiency in the required spectral range. However, fabricating versatile InAs/InP QD-based quantum emitters is challenging, especially as these QDs typically have asymmetric profiles in the growth plane, resulting in a substantial bright-exciton fine structure splitting (FSS). This hinders the generation of entangled photon pairs and thus, compromises the versatility of InAs/InP QDs. We overcome this by implementing droplet epitaxy (DE) synthesis of low surface density (2.8$\times$10$^8$ cm$^{-2}$) InAs QDs on an (001)-oriented InP substrate. The resulting QDs are located in etched pits, have concave bases, and most importantly, have symmetric in-plane profiles. We provide an analytical model to explain the kinetics of pit formation and QD base shape modification. Our theoretical calculations of electronic states reveal the properties of neutral and charged excitons and biexcitons confined in such QDs, which agree with the optical investigations of individual QDs. The optical response of QD ensembles suggests that FSS may indeed be negligible, as reflected in the vanishing degree of linear polarization. However, single QD spectrum gathered from an etched mesa shows moderate FSS of (50$\pm$5) $\mu$eV that we link to destructive changes made in the QD environment during the post-growth processing. Finally, we show that the studied DE QDs provide a close-to-ideal single-photon emission purity of (92.5$\pm$7.5) $\%$ in the third telecom window.


title: On the topological complexity of manifolds with abelian fundamental group

abstract: We find conditions which ensure that the topological complexity of a closed manifold $M$ with abelian fundamental group is nonmaximal, and see through examples that our conditions are sharp. This generalizes results of Costa and Farber on the topological complexity of spaces with small fundamental group. Relaxing the commutativity condition on the fundamental group, we also generalize results of Dranishnikov on the Lusternik-Schnirelmann category of the cofibre of the diagonal map $\Delta: M \to M \times M$ for nonorientable surfaces by establishing the nonmaximality of this invariant for a large class of manifolds.


title: Few-shot learning via tensor hallucination

abstract: Few-shot classification addresses the challenge of classifying examples given only limited labeled data. A powerful approach is to go beyond data augmentation, towards data synthesis. However, most of data augmentation/synthesis methods for few-shot classification are overly complex and sophisticated, e.g. training a wGAN with multiple regularizers or training a network to transfer latent diversities from known to novel classes. We make two contributions, namely we show that: (1) using a simple loss function is more than enough for training a feature generator in the few-shot setting; and (2) learning to generate tensor features instead of vector features is superior. Extensive experiments on miniImagenet, CUB and CIFAR-FS datasets show that our method sets a new state of the art, outperforming more sophisticated few-shot data augmentation methods.


title: A non-perturbative no-go theorem for photon condensation in approximate models

abstract: Equilibrium phase transitions between a normal and a photon condensate state (also known as superradiant phase transitions) are a highly debated research topic, where proposals for their occurrence and no-go theorems have chased each other for the past four decades. Recent no-go theorems have demonstrated that gauge invariance forbids second-order phase transitions to a photon condensate state when the cavity-photon mode is assumed to be {\it spatially uniform}. However, it has been theoretically predicted that a collection of three-level systems coupled to light can display a first-order phase transition to a photon condensate state. %{It has also been recently shown that truncation of the Hilbert space of the matter system can affect the gauge invariance of the theory. However, it is always possible to obtain approximate Hamiltonians obeying the gauge principle in the truncated Hilbert space.} Here, we demonstrate a general no-go theorem valid also for truncated, gauge-invariant models which forbid first-order as well as second-order superradiant phase transitions in the absence of a coupling with a magnetic field. In particular, we explicitly consider the cases of interacting electrons in a lattice and $M$-level systems.


title: Training Value-Aligned Reinforcement Learning Agents Using a Normative Prior

abstract: As more machine learning agents interact with humans, it is increasingly a prospect that an agent trained to perform a task optimally, using only a measure of task performance as feedback, can violate societal norms for acceptable behavior or cause harm. Value alignment is a property of intelligent agents wherein they solely pursue non-harmful behaviors or human-beneficial goals. We introduce an approach to value-aligned reinforcement learning, in which we train an agent with two reward signals: a standard task performance reward, plus a normative behavior reward. The normative behavior reward is derived from a value-aligned prior model previously shown to classify text as normative or non-normative. We show how variations on a policy shaping technique can balance these two sources of reward and produce policies that are both effective and perceived as being more normative. We test our value-alignment technique on three interactive text-based worlds; each world is designed specifically to challenge agents with a task as well as provide opportunities to deviate from the task to engage in normative and/or altruistic behavior.


title: Geodesic bi-angles and Fourier coefficients of restrictions of eigenfunctions

abstract: This article concerns joint asymptotics of Fourier coefficients of restrictions of Laplace eigenfunctions $\phi_j$ of a compact Riemannian manifold to a submanifold $H \subset M$. We fix a number $c \in (0,1)$ and study the asymptotics of the thin sums, $$ N^{c} _{\epsilon, H }(\lambda): = \sum_{j, \lambda_j \leq \lambda} \sum_{k: |\mu_k - c \lambda_j | < \epsilon} \left| \int_{H} \phi_j \overline{\psi_k}dV_H \right|^2 $$ where $\{\lambda_j\}$ are the eigenvalues of $\sqrt{-\Delta}_M,$ and $\{(\mu_k, \psi_k)\}$ are the eigenvalues, resp. eigenfunctions, of $\sqrt{-\Delta}_H$. The inner sums represent the `jumps' of $ N^{c} _{\epsilon, H }(\lambda)$ and reflect the geometry of geodesic c-bi-angles with one leg on $H$ and a second leg on $M$ with the same endpoints and compatible initial tangent vectors $\xi \in S^c_H M, \pi_H \xi \in B^* H$, where $\pi_H \xi$ is the orthogonal projection of $\xi$ to $H$. A c-bi-angle occurs when $\frac{|\pi_H \xi|}{|\xi|} = c$. Smoothed sums in $\mu_k$ are also studied, and give sharp estimates on the jumps. The jumps themselves may jump as $\epsilon$ varies, at certain values of $\epsilon$ related to periodicities in the c-bi-angle geometry. Subspheres of spheres and certain subtori of tori illustrate these jumps. The results refine those of the previous article (arXiv:2011.11571) where the inner sums run over $k: | \frac{\mu_k}{\lambda_j} - c| \leq \epsilon$ and where geodesic bi-angles do not play a role.


title: Dissension or consensus? Management and Business Research in Latin America and the Caribbean

abstract: This study presents longitudinal evidence on the dissension of Management and Business Research (MBR) in Latin America and the Caribbean (LAC). It looks after intellectual bridges linking clusters among such dissension. It was implemented a coword network analysis to a sample of 12,000+ articles published by authors from LAC during 1998-2017. Structural network scores showed an increasing number of keywords and mean degree but decreasing modularity and density. The intellectual bridges were those of the cluster formed by disciplines/fields that tend toward consensus (e.g., mathematical models) and not by core MBR subjects (e.g., strategic planning).


title: Duality for double iterated outer $L^p$ spaces

abstract: We study the double iterated outer $L^p$ spaces, namely the outer $L^p$ spaces associated with three exponents and defined on sets endowed with a measure and two outer measures. We prove that in the case of finite sets, under certain conditions between the outer measures, the double iterated outer $L^p$ spaces are isomorphic to Banach spaces uniformly in the cardinality of the set. We achieve this by showing the expected duality properties between them. We also provide counterexamples demonstrating that the uniformity does not hold in any arbitrary setting on finite sets, at least in a certain range of exponents. We prove the isomorphism to Banach spaces and the duality properties between the double iterated outer $L^p$ spaces also in the upper half $3$-space infinite setting described by Uraltsev, going beyond the case of finite sets.


title: DepMiner: A Pipelineable Tool for Mining of Intra-Project Dependencies

abstract: Dependency analysis is recognized as an important field of software engineering due to a variety of reasons. There exists a large pool of tools providing assistance to software developers and architects. Analysis of inter- and intra-project dependencies can help provide various insights about the entire development process. There is, however, currently a lack of tools that would support researchers by extracting intra-project dependencies data in a format most suited for further analysis. In this paper we introduce DepMiner - an open source, language-agnostic tool for mining detailed dependencies data from source code, based on extensive static analysis capabilities of an industry standard IDE. DepMiner can be easily integrated into arbitrary mining pipelines to conduct large-scale source code processing jobs involving intra-project dependencies. It is easily extensible to support other languages of source code, different granularities of analysis, and other use-specific needs.


title: Exact Confidence Intervals for Linear Combinations of Multinomial Probabilities

abstract: Linear combinations of multinomial probabilities, such as those resulting from contingency tables, are of use when evaluating classification system performance. While large sample inference methods for these combinations exist, small sample methods exist only for regions on the multinomial parameter space instead of the linear combinations. However, in medical classification problems it is common to have small samples necessitating a small sample confidence interval on linear combinations of multinomial probabilities. Therefore, in this paper we derive an exact confidence interval, through the use of fiducial inference, for linear combinations of multinomial probabilities. Simulation demonstrates the presented interval's adherence to exact coverage. Additionally, an adjustment to the exact interval is provided, giving shorter lengths while still achieving better coverage than large sample methods. Computational efficiencies in estimation of the exact interval are achieved through the application of a fast Fourier transform and combining a numerical solver and stochastic optimizer to find solutions. The exact confidence interval presented in this paper allows for comparisons between diagnostic methods previously unavailable, demonstrated through an example of diagnosing chronic allograph nephropathy in post kidney transplant patients.


title: Hensel minimality II: Mixed characteristic and a diophantine application

abstract: In this paper together with the preceding Part I \cite{CHR}, we develop a framework for tame geometry on Henselian valued fields of characteristic zero, called Hensel minimality. It adds to \cite{CHR} the treatment of the mixed characteristic case. Hensel minimality is inspired by o-minimality and its role in real geometry and diophantine applications. We develop geometric results and applications for Hensel minimal structures that were previously known only under stronger or less axiomatic assumptions, and which often have counterparts in o-minimal structures. We prove a Jacobian property, a strong form of Taylor approximations of definable functions, resplendency results and cell decomposition, all under Hensel minimality, more precisely, $1$-h-minimality. We obtain a diophantine application of counting rational points of bounded height on Hensel minimal curves.


title: Interpretability in deep learning for finance: a case study for the Heston model

abstract: Deep learning is a powerful tool whose applications in quantitative finance are growing every day. Yet, artificial neural networks behave as black boxes and this hinders validation and accountability processes. Being able to interpret the inner functioning and the input-output relationship of these networks has become key for the acceptance of such tools. In this paper we focus on the calibration process of a stochastic volatility model, a subject recently tackled by deep learning algorithms. We analyze the Heston model in particular, as this model's properties are well known, resulting in an ideal benchmark case. We investigate the capability of local strategies and global strategies coming from cooperative game theory to explain the trained neural networks, and we find that global strategies such as Shapley values can be effectively used in practice. Our analysis also highlights that Shapley values may help choose the network architecture, as we find that fully-connected neural networks perform better than convolutional neural networks in predicting and interpreting the Heston model prices to parameters relationship.


title: Integrability of SLE via conformal welding of random surfaces

abstract: We demonstrate how to obtain integrable results for the Schramm-Loewner evolution (SLE) from Liouville conformal field theory (LCFT) and the mating-of-trees framework for Liouville quantum gravity (LQG). In particular, we prove an exact formula for the law of a conformal derivative of a classical variant of SLE called $\mathrm{SLE}_\kappa(\rho_-;\rho_+)$. Our proof is built on two connections between SLE, LCFT, and mating-of-trees. Firstly, LCFT and mating-of-trees provide equivalent but complementary methods to describe natural random surfaces in LQG. Using a novel tool that we call the uniform embedding of an LQG surface, we extend earlier equivalence results by allowing fewer marked points and more generic singularities. Secondly, the conformal welding of these random surfaces produces SLE curves as their interfaces. In particular, we rely on the conformal welding results proved in our companion paper [AHS20]. Our paper is an essential part of a program proving integrability results for SLE, LCFT, and mating-of-trees based on these two connections.


title: FZZ formula of boundary Liouville CFT via conformal welding

abstract: Liouville Conformal Field Theory (LCFT) on the disk describes the conformal factor of the quantum disk, which is the natural random surface in Liouville quantum gravity with disk topology. Fateev, Zamolodchikov and Zamolodchikov (2000) proposed an explicit expression, the so-called the FZZ formula, for the one-point bulk structure constant for LCFT on the disk. In this paper we give a proof of the FZZ formula in the probabilistic framework of LCFT, which represents the first step towards rigorously solving boundary LCFT using conformal bootstrap. In contrast to previous works, our proof is based on conformal welding of quantum disks and the mating-of-trees theory for Liouville quantum gravity. As a byproduct of our proof, we also obtain the exact value of the variance for the Brownian motion in the mating-of-trees theory. Our paper is an essential part of an ongoing program proving integrability results for Schramm-Loewner evolutions, LCFT, and in the mating-of-trees theory.


title: Bayesian learning of thermodynamic integration and numerical convergence for accurate phase diagrams

abstract: Accurate phase diagram calculation from molecular dynamics requires systematic treatment and convergence of statistical averages. In this work we propose a Gaussian process regression based framework for reconstructing the free energy functions using data of various origin. Our framework allows for propagating statistical uncertainty from finite molecular dynamics trajectories to the phase diagram and automatically performing convergence with respect to simulation parameters. Furthermore, our approach provides a way for automatic optimal sampling in the simulation parameter space based on Bayesian optimization approach. We validate our methodology by constructing phase diagrams of two model systems, the Lennard-Jones and soft-core potential, and compare the results with existing works studies and our coexistence simulations. Finally, we construct the phase diagram of lithium at temperatures above 300 K and pressures below 30 GPa from a machine-learning potential trained on ab initio data. Our approach performs well when compared to coexistence simulations and experimental results.


title: FPGA Implementations of Layered MinSum LDPC Decoders Using RCQ Message Passing

abstract: Non-uniform message quantization techniques such as reconstruction-computation-quantization (RCQ) improve error-correction performance and decrease hardware complexity of low-density parity-check (LDPC) decoders that use a flooding schedule. Layered MinSum RCQ (L-msRCQ) enables message quantization to be utilized for layered decoders and irregular LDPC codes. We investigate field-programmable gate array (FPGA) implementations of L-msRCQ decoders. Three design methods for message quantization are presented, which we name the Lookup, Broadcast, and Dribble methods. The decoding performance and hardware complexity of these schemes are compared to a layered offset MinSum (OMS) decoder. Simulation results on a (16384, 8192) protograph-based raptor-like (PBRL) LDPC code show that a 4-bit L-msRCQ decoder using the Broadcast method can achieve a 0.03 dB improvement in error-correction performance while using 12% fewer registers than the OMS decoder. A Broadcast-based 3-bit L-msRCQ decoder uses 15% fewer lookup tables, 18% fewer registers, and 13% fewer routed nets than the OMS decoder, but results in a 0.09 dB loss in performance.


title: Hilbert $C^*$-module independence

abstract: We introduce the notion of Hilbert $C^*$-module independence: Let $\mathscr{A}$ be a unital $C^*$-algebra and let $\mathscr{E}_i\subseteq \mathscr{E},\,\,i=1, 2$, be ternary subspaces of a Hilbert $\mathscr{A}$-module $\mathscr{E}$. Then $\mathscr{E}_1$ and $\mathscr{E}_2$ are said to be Hilbert $C^*$-module independent if there are positive constants $m$ and $M$ such that for every state $\varphi_i$ on $\langle \mathscr{E}_i,\mathscr{E}_i\rangle,\,\,i=1, 2$, there exists a state $\varphi$ on $\mathscr{A}$ such that \begin{align*} m\varphi_i(|x|)\leq \varphi(|x|) \leq M\varphi_i(|x|^2)^{\frac{1}{2}},\qquad \mbox{for all~}x\in \mathscr{E}_i, i=1, 2. \end{align*} We show that it is a natural generalization of the notion of $C^*$-independence of $C^*$-algebras. Moreover, we demonstrate that even in case of $C^*$-algebras this concept of independence is new and has a nice characterization in terms of extensions. This enriches the theory of independence of $C^*$-algebras. We show that if $\langle \mathscr{E}_1,\mathscr{E}_1\rangle $ has the quasi extension property and $z\in \mathscr{E}_1\cap \mathscr{E}_2$ with $\|z\|=1$, then $|z|=1$. Several characterizations of Hilbert $C^*$-module independence and a new characterization of $C^*$-independence are given. One of characterizations states that if $z_0\in \mathscr{E}_1\cap \mathscr{E}_2$ is such that $\langle z_0,z_0\rangle=1$, then $\mathscr{E}_1$ and $\mathscr{E}_2$ are Hilbert $C^*$-module independent if and only if $\|\langle x,z_0\rangle\langle y,z_0\rangle\|=\|\langle x,z_0\rangle\|\,\|\langle y,z_0\rangle\|$ for all $x\in \mathscr{E}_1$ and $y\in \mathscr{E}_2$. We also provide some technical examples and counterexamples to illustrate our results.


title: Fusing information streams in end-to-end audio-visual speech recognition

abstract: End-to-end acoustic speech recognition has quickly gained widespread popularity and shows promising results in many studies. Specifically the joint transformer/CTC model provides very good performance in many tasks. However, under noisy and distorted conditions, the performance still degrades notably. While audio-visual speech recognition can significantly improve the recognition rate of end-to-end models in such poor conditions, it is not obvious how to best utilize any available information on acoustic and visual signal quality and reliability in these models. We thus consider the question of how to optimally inform the transformer/CTC model of any time-variant reliability of the acoustic and visual information streams. We propose a new fusion strategy, incorporating reliability information in a decision fusion net that considers the temporal effects of the attention mechanism. This approach yields significant improvements compared to a state-of-the-art baseline model on the Lip Reading Sentences 2 and 3 (LRS2 and LRS3) corpus. On average, the new system achieves a relative word error rate reduction of 43% compared to the audio-only setup and 31% compared to the audiovisual end-to-end baseline.


title: Matrix multinomial distribution

abstract: In this article, we define a matrix multinomial distribution. We prove some properties of the matrix multinomial distribution. We prove that the matrix Poisson distribution can be used as an approximation to the matrix multinomial distribution under certain conditions. We prove that the matrix normal distribution can be used as an approximation to the matrix multinomial distribution under certain conditions.


title: Science Mapping to study academic knowledge circulation

abstract: The application of mathematics and statistical methods to scholarly communication: scientometrics, has facilitated the systematic analysis of the modern digital tide of literature. This chapter reviews three of such applications: coauthorship, bibliographic coupling, and coword networks. It also presents an exploratory case of study for the knowledge circulation literature. It was found a diverse geographical production, mainly in the Global North and Asian institutions with significant intermediation of universities from USA, Colombia, and Japan. The research fronts identified were related to science and medicine's history and philosophy; education, health, policy studies; and a set of interdisciplinary topics. Finally, the knowledge pillars were comprised of urban planning policy, economic geography, and historical and theoretical perspectives in the Netherlands and Central Europe; globalization and science, technology, and innovation and historical and institutional frameworks in the UK; and cultural and learning studies in the XXI century.


title: Asymptotic equivalence for nonparametric regression with dependent errors: Gauss-Markov processes

abstract: For the class of Gauss-Markov processes we study the problem of asymptotic equivalence of the nonparametric regression model with errors given by the increments of the process and the continuous time model, where a whole path of a sum of a deterministic signal and the Gauss-Markov process can be observed. In particular we provide sufficient conditions such that asymptotic equivalence of the two models holds for functions from a given class, and we verify these for the special cases of Sobolev ellipsoids and H\"older classes with smoothness index $> 1/2$ under mild assumptions on the Gauss-Markov process at hand. To derive these results, we develop an explicit characterization of the reproducing kernel Hilbert space associated with the Gauss-Markov process, that hinges on a characterization of such processes by a property of the corresponding covariance kernel introduced by Doob. In order to demonstrate that the given assumptions on the Gauss-Markov process are in some sense sharp we also show that asymptotic equivalence fails to hold for the special case of Brownian bridge. Our findings demonstrate that the well-known asymptotic equivalence of the Gaussian white noise model and the nonparametric regression model with i.i.d. standard normal errors can be extended to a result treating general Gauss-Markov noises in a unified manner.


title: Convolutional codes over finite chain rings, MDP codes and their characterization

abstract: In this paper, we develop the theory of convolutional codes over finite commutative chain rings. In particular, we focus on maximum distance profile (MDP) convolutional codes and we provide a characterization of these codes, generalizing the one known for fields. Moreover, we relate (reverse) MDP convolutional codes over a finite chain ring with (reverse) MDP convolutional codes over its residue field. Finally, we provide a construction of (reverse) MDP convolutional codes over finite chain rings generalizing the notion of (reverse) superregular matrices.


title: Android OS CASE STUDY

abstract: Android is a mobile operating system based on a modified version of the Linux kernel and other open source software, designed primarily for touchscreen mobile devices such as smartphones and tablets. It is an operating system for low powered devices that run on battery and are full of hardware like Global Positioning System (GPS) receivers, cameras, light and orientation sensors, Wi-Fi and LTE (4G telephony) connectivity and a touch screen. Like all operating systems, Android enables applications to make use of the hardware features through abstraction and provide a defined environment for applications. The study includes following topic: Background And History Android Architecture Kernel And StartUp Process Process Management Deadlock CPU Scheduling Memory Management Storage Management I/O Battery Optimization


title: Monge solutions and uniqueness in multi-marginal optimal transport via graph theory

abstract: We study a multi-marginal optimal transport problem with surplus $b(x_{1}, \ldots, x_{m})=\sum_{\{i,j\}\in P} x_{i}\cdot x_{j}$, where $P\subseteq Q:=\{\{i,j\}: i, j \in \{1,2,...m\}, i \neq j\}$. We reformulate this problem by associating each surplus of this type with a graph with $m$ vertices whose set of edges is indexed by $P$. We then establish uniqueness and Monge solution results for two general classes of surplus functions. Among many other examples, these classes encapsulate the Gangbo and \'{S}wi\c{e}ch surplus [12] and the surplus $\sum_{i=1}^{m-1}x_{i}\cdot x_{i+1} + x_{m}\cdot x_{1}$ studied in an earlier work by the present authors [23].


title: Interpreting intermediate convolutional layers of generative CNNs trained on waveforms

abstract: This paper presents a technique to interpret and visualize intermediate layers in generative CNNs trained on raw speech data in an unsupervised manner. We argue that averaging over feature maps after ReLU activation in each transpose convolutional layer yields interpretable time-series data. This technique allows for acoustic analysis of intermediate layers that parallels the acoustic analysis of human speech data: we can extract F0, intensity, duration, formants, and other acoustic properties from intermediate layers in order to test where and how CNNs encode various types of information. We further combine this technique with linear interpolation of a model's latent space to show a causal relationship between individual variables in the latent space and activations in a model's intermediate convolutional layers. In particular, observing the causal effect between linear interpolation and the resulting changes in intermediate layers can reveal how individual latent variables get transformed into spikes in activation in intermediate layers. We train and probe internal representations of two models -- a bare WaveGAN architecture and a ciwGAN extension which forces the Generator to output informative data and results in the emergence of linguistically meaningful representations. Interpretation and visualization is performed for three basic acoustic properties of speech: periodic vibration (corresponding to vowels), aperiodic noise vibration (corresponding to fricatives), and silence (corresponding to stops). The proposal also allows testing of higher-level morphophonological alternations such as reduplication (copying). In short, using the proposed technique, we can analyze how linguistically meaningful units in speech get encoded in each convolutional layer of a generative neural network.


title: Oracle-based economic predictive control

abstract: This paper presents an economic model predictive controller, under the assumption that the only measurable signal of the plant is the economic cost to be minimized. In order to forecast the evolution of this economic cost for a given input trajectory, a prediction model with a NARX structure, the so-called oracle, is proposed. Sufficient conditions to ensure the existence of such oracle are studied, proving that it can be derived for a general nonlinear system if the economic cost function is a Morse function. Based on this oracle, economic model predictive controllers are proposed, and their stability is demonstrated in nominal conditions under a standard dissipativity assumption. The viability of these controllers in practical settings (where the oracle may provide imperfect predictions for generic inputs) is proven by means of input-to-state stability. These properties have been illustrated in a case study based on a continuously stirred tank reactor.


title: Multi-messenger Implications of Sub-PeV Diffuse Galactic Gamma-Ray Emission

abstract: The diffuse Galactic gamma-ray flux between 0.1 and 1 PeV has recently been measured by the Tibet AS$\gamma$ Collaboration. The flux and spectrum are consistent with the decay of neutral pions from hadronuclear interactions between Galactic cosmic rays and the interstellar medium (ISM). We derive the flux of the Galactic diffuse neutrino emission from the same interaction process that produces the gamma rays. Our calculation accounts for the effect of gamma-ray attenuation inside the Milky Way and uncertainties due to the spectrum and distribution of cosmic rays, gas density, and infrared emission of the ISM. We find that the contribution from the Galactic plane to the all-sky neutrino flux is $\lesssim5-10\%$ around 100 TeV. The Galactic and extragalactic neutrino intensities are comparable in the Galactic plane region. Our results are consistent with the upper limit reported by the IceCube and ANTARES Collaborations, and predict that next-generation neutrino experiments may observe the Galactic component. We also show that the Tibet AS$\gamma$ data imply either an additional component in the cosmic-ray nucleon spectrum or contribution from discrete sources, including Pevatrons such as superbubbles and hypernova remnants, and PeV electron accelerators. Future multi-messenger observations between 1 TeV and 1 PeV are crucial to decomposing the origin of sub-PeV gamma rays.


title: Automatic glissade determination through a mathematical model in electrooculographic records

abstract: The glissadic overshoot is characterized by an unwanted type of movement known as glissades. The glissades are a short ocular movement that describe the failure of the neural programming of saccades to move the eyes in order to reach a specific target. In this paper we develop a procedure to determine if a specific saccade have a glissade appended to the end of it. The use of the third partial sum of the Gauss series as mathematical model, a comparison between some specific parameters and the RMSE error are the steps made to reach this goal. Finally a machine learning algorithm is trained, returning expected responses of the presence or not of this kind of ocular movement.


title: Bayesian Uncertainty and Expected Gradient Length -- Regression: Two Sides Of The Same Coin?

abstract: Active learning algorithms select a subset of data for annotation to maximize the model performance on a budget. One such algorithm is Expected Gradient Length, which as the name suggests uses the approximate gradient induced per example in the sampling process. While Expected Gradient Length has been successfully used for classification and regression, the formulation for regression remains intuitively driven. Hence, our theoretical contribution involves deriving this formulation, thereby supporting the experimental evidence. Subsequently, we show that expected gradient length in regression is equivalent to Bayesian uncertainty. If certain assumptions are infeasible, our algorithmic contribution (EGL++) approximates the effect of ensembles with a single deterministic network. Instead of computing multiple possible inferences per input, we leverage previously annotated samples to quantify the probability of previous labels being the true label. Such an approach allows us to extend expected gradient length to a new task: human pose estimation. We perform experimental validation on two human pose datasets (MPII and LSP/LSPET), highlighting the interpretability and competitiveness of EGL++ with different active learning algorithms for human pose estimation.


title: NISQA: A Deep CNN-Self-Attention Model for Multidimensional Speech Quality Prediction with Crowdsourced Datasets

abstract: In this paper, we present an update to the NISQA speech quality prediction model that is focused on distortions that occur in communication networks. In contrast to the previous version, the model is trained end-to-end and the time-dependency modelling and time-pooling is achieved through a Self-Attention mechanism. Besides overall speech quality, the model also predicts the four speech quality dimensions Noisiness, Coloration, Discontinuity, and Loudness, and in this way gives more insight into the cause of a quality degradation. Furthermore, new datasets with over 13,000 speech files were created for training and validation of the model. The model was finally tested on a new, live-talking test dataset that contains recordings of real telephone calls. Overall, NISQA was trained and evaluated on 81 datasets from different sources and showed to provide reliable predictions also for unknown speech samples. The code, model weights, and datasets are open-sourced.


title: Kinematics and Star Formation of High-Redshift Hot Dust-Obscured Quasars as Seen by ALMA

abstract: Hot, dust-obscured galaxies (Hot DOGs) are a population of hyper-luminous obscured quasars identified by WISE. We present ALMA observations of the [CII] fine-structure line and underlying dust continuum emission in a sample of seven of the most extremely luminous (EL; L$_{\rm bol}$ $\ge$ 10$^{14}$ L$_\odot$) Hot DOGs, at redshifts z ~ 3.0-4.6. The [CII] line is robustly detected in four objects, tentatively in one, and likely red-shifted out of the spectral window in the remaining two based on additional data. On average, [CII] is red-shifted by ~ 780 km/s from rest-frame ultraviolet emission lines. EL Hot DOGs exhibit consistently very high ionized gas surface densities, with $\Sigma_{\rm [CII]}$ ~ 1-2 x 10$^{9}$ L$_\odot$ kpc$^{-2}$; as high as the most extreme cases seen in other high-redshift quasars. As a population, EL Hot DOG hosts seem to be roughly centered on the main-sequence of star forming galaxies, but the uncertainties are substantial and individual sources can fall above and below. The average, intrinsic [CII] and dust continuum sizes (FWHMs) are ~ 2.1 kpc and ~ 1.6 kpc, respectively, with a very narrow range of line-to-continuum size ratios, 1.61 $\pm$ 0.10, suggesting they could be linearly proportional. The [CII] velocity fields of EL Hot DOGs are diverse: from barely rotating structures, to resolved hosts with ordered, circular motions, to complex, disturbed systems that are likely the result of ongoing mergers. In contrast, all sources display large line-velocity dispersions, FWHM $\gtrsim$ 500 km/s, which on average are larger than optically and IR-selected quasars at similar or higher redshifts. We argue that one possible hypothesis for the lack of a common velocity structure, the systematically large dispersion of the ionized gas, and the presence of nearby companion galaxies may be that, rather than a single event, the EL Hot DOG phase could be recurrent.


title: Temporal Query Networks for Fine-grained Video Understanding

abstract: Our objective in this work is fine-grained classification of actions in untrimmed videos, where the actions may be temporally extended or may span only a few frames of the video. We cast this into a query-response mechanism, where each query addresses a particular question, and has its own response label set. We make the following four contributions: (I) We propose a new model - a Temporal Query Network - which enables the query-response functionality, and a structural understanding of fine-grained actions. It attends to relevant segments for each query with a temporal attention mechanism, and can be trained using only the labels for each query. (ii) We propose a new way - stochastic feature bank update - to train a network on videos of various lengths with the dense sampling required to respond to fine-grained queries. (iii) We compare the TQN to other architectures and text supervision methods, and analyze their pros and cons. Finally, (iv) we evaluate the method extensively on the FineGym and Diving48 benchmarks for fine-grained action classification and surpass the state-of-the-art using only RGB features.


title: Attention in Attention Network for Image Super-Resolution

abstract: Convolutional neural networks have allowed remarkable advances in single image super-resolution (SISR) over the last decade. Among recent advances in SISR, attention mechanisms are crucial for high-performance SR models. However, the attention mechanism remains unclear on why and how it works in SISR. In this work, we attempt to quantify and visualize attention mechanisms in SISR and show that not all attention modules are equally beneficial. We then propose attention in attention network (A$^2$N) for more efficient and accurate SISR. Specifically, A$^2$N consists of a non-attention branch and a coupling attention branch. A dynamic attention module is proposed to generate weights for these two branches to suppress unwanted attention adjustments dynamically, where the weights change adaptively according to the input features. This allows attention modules to specialize to beneficial examples without otherwise penalties and thus greatly improve the capacity of the attention network with few parameters overhead. Experimental results demonstrate that our final model A$^2$N could achieve superior trade-off performances comparing with state-of-the-art networks of similar sizes. Codes are available at https://github.com/haoyuc/A2N.


title: Comparing Correspondences: Video Prediction with Correspondence-wise Losses

abstract: Image prediction methods often struggle on tasks that require changing the positions of objects, such as video prediction, producing blurry images that average over the many positions that objects might occupy. In this paper, we propose a simple change to existing image similarity metrics that makes them more robust to positional errors: we match the images using optical flow, then measure the visual similarity of corresponding pixels. This change leads to crisper and more perceptually accurate predictions, and does not require modifications to the image prediction network. We apply our method to a variety of video prediction tasks, where it obtains strong performance with simple network architectures, and to the closely related task of video interpolation. Code and results are available at our webpage: https://dangeng.github.io/CorrWiseLosses


title: Machine learning-assisted surrogate construction for full-core fuel performance analysis

abstract: Accurately predicting the behavior of a nuclear reactor requires multiphysics simulation of coupled neutronics, thermal-hydraulics and fuel thermo-mechanics. The fuel thermo-mechanical response provides essential information for operational limits and safety analysis. Traditionally, fuel performance analysis is performed standalone, using calculated spatial-temporal power distribution and thermal boundary conditions from the coupled neutronics-thermal-hydraulics simulation as input. Such one-way coupling is result of the high cost induced by the full-core fuel performance analysis, which provides more realistic and accurate prediction of the core-wide response than the "peak rod" analysis. It is therefore desirable to improve the computational efficiency of full-core fuel performance modeling by constructing fast-running surrogate, such that fuel performance modeling can be utilized in the core reload design optimization. This work presents methodologies for full-core surrogate construction based on several realistic equilibrium PWR core designs. As a fast and conventional approach, look-up tables are only effective for certain fuel performance quantities of interest (QoIs). Several representative machine-learning algorithms are introduced to capture the complicated physics for other fuel performance QoIs. Rule-based model is useful as a feature extraction technique to account for the spatial-temporal complexity of operating conditions. Constructed surrogates achieve at least ten thousand time acceleration with satisfying prediction accuracy. Current work lays foundation for tighter coupling of fuel performance modeling into the core design optimization framework. It also sets stage for full-core fuel performance analysis with BISON where the computational cost becomes more burdensome.


title: Transductive Learning for Abstractive News Summarization

abstract: Pre-trained and fine-tuned news summarizers are expected to generalize to news articles unseen in the fine-tuning (training) phase. However, these articles often contain specifics, such as new events and people, a summarizer could not learn about in training. This applies to scenarios such as a news publisher training a summarizer on dated news and summarizing incoming recent news. In this work, we explore the first application of transductive learning to summarization where we further fine-tune models on test set inputs. Specifically, we construct pseudo summaries from salient article sentences and input randomly masked articles. Moreover, this approach is also beneficial in the fine-tuning phase, where we jointly predict extractive pseudo references and abstractive gold summaries in the training set. We show that our approach yields state-of-the-art results on CNN/DM and NYT datasets, improving ROUGE-L by 1.05 and 0.74, respectively. Importantly, our approach does not require any changes of the original architecture. Moreover, we show the benefits of transduction from dated to more recent CNN news. Finally, through human and automatic evaluation, we demonstrate improvements in summary abstractiveness and coherence.


title: Signatures of causality and determinism in a quantum theory of events

abstract: By representing an event as the joint state of a detector-timer couple that interact with a system, we recover the familiar tensor product structure, used to describe spatially separated systems, in the context of timelike events. Furthermore, with this approach, we extend the superposition principle to the moment of occurrence of events. We then outline quantum signatures of causality that manifest through coherence in the detector state and correlation functions of time operators. Finally, we expand the scope of quantum information theoretic measures of state discrimination and information content, commonly used to characterize spatially separated systems, to events in spacetime. For causally connected events, we illustrate a deterministic relationship between events (akin to spatially entangled physical systems) where observing a previous event (one subsystem), enables us to delineate a later event (the other subsystem).


title: CodeAPeel: An Integrated and Layered Learning Technology For Computer Architecture Courses

abstract: This paper introduces a versatile, multi-layered technology to help support teaching and learning core computer architecture concepts. This technology, called CodeAPeel is already implemented in one particular form to describe instruction processing in compiler, assembly, and machine layers of a generic instruction set architecture by a comprehensive simulation of its fetch-decode-execute cycle as well as animation of the behavior of its CPU registers, RAM, VRAM, STACK memories, various control registers, and graphics screen. Unlike most educational CPU simulators that simulate a real processor such as MIPS or RISC-V, CodeAPeel is designed and implemented as a generic RISC instruction set architecture simulator with both scalar and vector instructions to provide a dual-mode processor simulator as described by Flynn's classification of SISD and SIMD processors. Vectorization of operations is built into the instruction repertoire of CodeAPeel, making it straightforward to simulate such processors with powerful vector instructions.


title: Graph Partitioning into Hamiltonian Subgraphs on a Quantum Annealer

abstract: We demonstrate that a quantum annealer can be used to solve the NP-complete problem of graph partitioning into subgraphs containing Hamiltonian cycles of constrained length. We present a method to find a partition of a given directed graph into Hamiltonian subgraphs with three or more vertices, called vertex 3-cycle cover. We formulate the problem as a quadratic unconstrained binary optimisation and run it on a D-Wave Advantage quantum annealer. We test our method on synthetic graphs constructed by adding a number of random edges to a set of disjoint cycles. We show that the probability of solution is independent of the cycle length, and a solution is found for graphs up to 4000 vertices and 5200 edges, close to the number of physical working qubits available on the quantum annealer.


title: Constant-roll warm inflation and the $\beta$-function approach

abstract: We propose a new approach to constant-roll warm inflation as a generalization of constant-roll inflation. Based on the $\beta$-function formalism, it is shown that constant-roll warm inflation models with a natural end fall into universality classes defined by three different types of $\beta$-functions, under the assumption that radiation energy density is quasi-stable. Given that warm inflation is completely specified by the $\beta$-function and dissipation coefficient ratio, we investigate whether or not the inflation can physically be realized for enough number of e-foldings at the background level for some combinations of the $\beta$-functions and non-trivial dissipation coefficient ratios.


title: The continuous wavelet derived by smoothing function and its application in cosmology

abstract: The wavelet analysis technique is a powerful tool and is widely used in broad disciplines of engineering, technology, and sciences. In this work, we present a novel scheme of constructing continuous wavelet functions, in which the wavelet functions are obtained by taking the first derivative of smoothing functions with respect to the scale parameter. Due to this wavelet constructing scheme, the inverse transforms are only one-dimensional integrations with respect to the scale parameter, and hence the continuous wavelet transforms constructed in this way are more ready to use than the usual scheme. We then apply the Gaussian-derived wavelet constructed by our scheme to computations of the density power spectrum for dark matter, the velocity power spectrum and the kinetic energy spectrum for baryonic fluid. These computations exhibit the convenience and strength of the continuous wavelet transforms. The transforms are very easy to perform, and we believe that the simplicity of our wavelet scheme will make continuous wavelet transforms very useful in practice.


title: Combined Airborne Wind and Photovoltaic Energy System for Martian Habitats

abstract: Generating renewable energy on Mars is technologically challenging. Firstly, because compared to Earth, key energy resources such as solar and wind are weak as a result of very low atmospheric pressure and low solar irradiation. Secondly, because of the harsh environmental conditions, the required high degree of automation and the exceptional effort and costs to transport material to the planet. Like on Earth, it is crucial to combine complementary resources for an effective renewable energy solution. In this work, we present the result of a design synthesis exercise, a 10 kW microgrid solution, based on a pumping kite power system and photovoltaic solar modules to power the construction as well as the subsequent use of a Mars habitat. To buffer unavoidable energy fluctuations and balance seasonal and diurnal resource variations, the two energy systems are combined with a compressed gas storage system and lithium-sulfur batteries. The airborne wind energy solution was selected because of its low weight-to-wing-surface-area ratio, compact packing volume and high capacity factor which enables it to endure strong dust storms in an airborne parking mode. The surface area of the membrane wing is 50 m2 and the mass of the entire system, including the kite control unit and ground station, is 290 kg. The performance of the microgrid is assessed by computational simulation using available resource data for a chosen deployment location on Mars. The projected costs of the system are 8.95 million Euro, excluding transportation to Mars.


title: Spin-polarization and resonant states in electronic conduction through a correlated magnetic layer

abstract: The transmission through a magnetic layer of correlated electrons sandwiched between non-interacting normal-metal leads is studied within model calculations. We consider the linear regime in the framework of the Meir-Wingreen formalism, according to which the transmission can be interpreted as the overlap of the spectral function of the surface layer of the leads with that of the central region. By analyzing these spectral functions, we show that a change of the coupling parameter between the leads and the central region significantly and non-trivially affects the conductance. The role of band structure effects for the transmission is clarified. For a strong coupling between the leads and the central layer, high-intensity localized states are formed outside the overlapping bands, while for weaker coupling this high-intensity spectral weight is formed within the leads' continuum band around the Fermi energy. A local Coulomb interaction in the central region modifies the high-intensity states, and hence the transmission. For the present setup, the major effect of the local interaction consists in shifts of the band structure, since any sharp features are weakened due to the macroscopic extension of the configuration in the directions perpendicular to the transport direction.


title: A Thesaurus for Common Priors in Gravitational-Wave Astronomy

abstract: In gravitational-wave data analysis, we regularly work with a host of non-trivial prior probabilities on compact binary masses, redshifts, and spins. We must regularly manipulate these priors, computing the implied priors on a transformed basis of parameters or reweighting posterior samples from one prior to another. Here, I detail some common manipulations, presenting a table of Jacobians with which to transform priors between mass parametrizations, describing the conversion between source- and detector-frame priors, and deriving analytic expressions for priors on the "effective spin" parameters regularly invoked in gravitational-wave astronomy.


title: Local Similarity Search on Geolocated Time Series Using Hybrid Indexing

abstract: Geolocated time series, i.e., time series associated with certain locations, abound in many modern applications. In this paper, we consider hybrid queries for retrieving geolocated time series based on filters that combine spatial distance and time series similarity. For the latter, unlike existing work, we allow filtering based on local similarity, which is computed based on subsequences rather than the entire length of each series, thus allowing the discovery of more fine-grained trends and patterns. To efficiently support such queries, we first leverage the state-of-the-art BTSR-tree index, which utilizes bounds over both the locations and the shapes of time series to prune the search space. Moreover, we propose optimizations that check at specific timestamps to identify candidate time series that may exceed the required local similarity threshold. To further increase pruning power, we introduce the SBTSR-tree index, an extension to BTSR-tree, which additionally segments the time series temporally, allowing the construction of tighter bounds. Our experimental results on several real-world datasets demonstrate that SBTSR-tree can provide answers much faster for all examined query types. This paper has been published in the 27th International Conference on Advances in Geographic Information Systems (ACM SIGSPATIAL 2019).


title: Signatures of Hierarchical Mergers in Black Hole Spin and Mass distribution

abstract: Recent gravitational wave (GW) observations by LIGO/Virgo show evidence for hierarchical mergers, where the merging BHs are the remnants of previous BH merger events. These events may carry important clues about the astrophysical host environments of the GW sources. In this paper, we present the distributions of the effective spin parameter ($\chi_\mathrm{eff}$), the precession spin parameter ($\chi_\mathrm{p}$), and the chirp mass ($m_\mathrm{chirp}$) expected in hierarchical mergers. Under a wide range of assumptions, hierarchical mergers produce (i) a monotonic increase of the average of the typical total spin for merging binaries, which we characterize with ${\bar \chi}_\mathrm{typ}\equiv \overline{(\chi_\mathrm{eff}^2+\chi_\mathrm{p}^2)^{1/2}}$, up to roughly the maximum $m_\mathrm{chirp}$ among first-generation (1g) BHs, and (ii) a plateau at ${\bar \chi}_\mathrm{typ}\sim 0.6$ at higher $m_\mathrm{chirp}$. We suggest that the maximum mass and typical spin magnitudes for 1g BHs can be estimated from ${\bar \chi}_\mathrm{typ}$ as a function of $m_\mathrm{chirp}$. The GW data observed in LIGO/Virgo O1--O3a prefers an increase in ${\bar \chi}_\mathrm{typ}$ at low $m_\mathrm{chirp}$, which is consistent with the growth of the BH spin magnitude by hierarchical mergers, at $\sim 2 \sigma$ confidence. A Bayesian analysis suggests that 1g BHs have the maximum mass of $\sim 15$--$30\,M_\odot$ if the majority of mergers are of high-generation BHs (not among 1g-1g BHs), which is consistent with mergers in active galactic nucleus disks and/or nuclear star clusters, while if mergers mainly originate from globular clusters, 1g BHs are favored to have non-zero spin magnitudes of $\sim 0.3$. We also forecast that signatures for hierarchical mergers in the ${\bar \chi}_\mathrm{typ}$ distribution can be confidently recovered once the number of GW events increases to $\gtrsim O(100)$.


title: The Simons Observatory: the Large Aperture Telescope (LAT)

abstract: The Simons Observatory (SO) is a Cosmic Microwave Background (CMB) experiment to observe the microwave sky in six frequency bands from 30GHz to 290GHz. The Observatory -- at $\sim$5200m altitude -- comprises three Small Aperture Telescopes (SATs) and one Large Aperture Telescope (LAT) at the Atacama Desert, Chile. This research note describes the design and current status of the LAT along with its future timeline.


title: Top-philic heavy resonances in four-top final states and their EFT interpretation

abstract: With an expected rate of about one event per 100,000 top-quark pairs, four top-quark final states very rarely arise at the LHC. Though scarce, they offer a unique window onto top-quark compositeness, self-interactions and more generically, onto any top-philic new physics. By employing simplified models featuring heavy resonances, we study the range of validity of effective theory interpretations of current four top-quark analyses at the LHC and establish their future reach at the HL-LHC. We find that for the class of models under consideration, the effective field theory interpretations are not applicable. We therefore present the most up-to-date limits obtained from public CMS analyses using simplified models. Finally, we put forward a novel recasting strategy for the experimental results based on the production of top quarks with large transverse momentum.


title: Ab Initio Coupling of Jets to Collective Flow in the Opacity Expansion Approach

abstract: We calculate the leading corrections to jet momentum broadening and medium-induced branching that arise from the velocity of the moving medium at first order in opacity. These results advance our knowledge of jet quenching and demonstrate how it couples to collective flow of the quark-gluon plasma in heavy-ion collisions and to the orbital motion of partons in cold nuclear matter in deep inelastic scattering at the electron-ion collider. We also compute the leading corrections to jet momentum broadening due to transverse gradients of temperature and density. We find that these effects lead to both anisotropic transverse momentum diffusion proportional to the medium velocity and anisotropic medium-induced radiation emitted preferentially in the direction of the flow. We isolate the relevant sub-eikonal corrections by working with jets composed of scalar particles with arbitrary color factors interacting with the medium by scalar QCD. Appropriate substitution of the color factors and light-front wave functions allow us to immediately apply the results to a range of processes including $q \rightarrow q g$ branching in real QCD. The resulting general expressions can be directly coupled to hydrodynamic simulations on an event-by-event basis to study the correlations between jet quenching and the dynamics of various forms of nuclear matter.


title: Krylov complexity in conformal field theory

abstract: Krylov complexity, or K-complexity for short, has recently emerged as a new probe of chaos in quantum systems. It is a measure of operator growth in Krylov space, which conjecturally bounds the operator growth measured by the out of time ordered correlator (OTOC). We study Krylov complexity in conformal field theories by considering arbitrary 2d CFTs, free field, and holographic models. We find that the bound on OTOC provided by Krylov complexity reduces to bound on chaos of Maldacena, Shenker, and Stanford. In all considered examples including free and rational CFTs Krylov complexity grows exponentially, in stark violation of the expectation that exponential growth signifies chaos.


title: All-Sky Dynamical Response of the Galactic Halo to the Large Magellanic Cloud

abstract: Gravitational interactions between the Large Magellanic Cloud (LMC) and the stellar and dark matter halo of the Milky Way are expected to give rise to disequilibrium phenomena in the outer Milky Way. A local wake is predicted to trail the orbit of the LMC, while a large-scale over-density is predicted to exist across a large area of the northern Galactic hemisphere. Here we present the detection of both the local wake and Northern over-density (hereafter the "collective response") in an all-sky star map of the Galaxy based on 1301 stars at 60<R_gal<100 kpc. The location of the wake is in good agreement with an N-body simulation that includes the dynamical effect of the LMC on the Milky Way halo. The density contrast of the wake and collective response are both stronger in the data than in the simulation. The detection of a strong local wake is independent evidence that the Magellanic Clouds are on their first orbit around the Milky Way. The wake traces the path of the LMC, which will provide insight into the orbit of the LMC, which in turn is a sensitive probe of the mass of the LMC and the Milky Way. These data demonstrate that the outer halo is not in dynamical equilibrium, as is often assumed. The morphology and strength of the wake could be used to test the nature of dark matter and gravity.


title: Reducing the complexity of chemical networks via interpretable autoencoders

abstract: In many astrophysical applications, the cost of solving a chemical network represented by a system of ordinary differential equations (ODEs) grows significantly with the size of the network, and can often represent a significant computational bottleneck, particularly in coupled chemo-dynamical models. Although standard numerical techniques and complex solutions tailored to thermochemistry can somewhat reduce the cost, more recently, machine learning algorithms have begun to attack this challenge via data-driven dimensional reduction techniques. In this work, we present a new class of methods that take advantage of machine learning techniques to reduce complex data sets (autoencoders), the optimization of multi-parameter systems (standard backpropagation), and the robustness of well-established ODE solvers to to explicitly incorporate time-dependence. This new method allows us to find a compressed and simplified version of a large chemical network in a semi-automated fashion that can be solved with a standard ODE solver, while also enabling interpretability of the compressed, latent network. As a proof of concept, we tested the method on an astrophysically-relevant chemical network with 29 species and 224 reactions, obtaining a reduced but representative network with only 5 species and 12 reactions, and a x65 speed-up.


title: Pushing the frontier of WIMPy inelastic dark matter: journey to the end of the periodic table

abstract: We explore the reach of low-background experiments made of small quantities of heavy nuclear isotopes in probing the parameter space of inelastic dark matter that is kinematically inaccessible to classic direct detection experiments. Through inelastic scattering with target nuclei, dark matter can yield a signal either via nuclear recoil or nuclear excitation. We present new results based on this approach, using data from low-energy gamma quanta searches in low-background experiments with Hf and Os metal samples, and measurements with CaWO$_4$ and PbWO$_4$ crystals as scintillating bolometers. We place novel bounds on WIMPy inelastic dark matter up to mass splittings of about 640 keV, and provide forecasts for the reach of future experiments.


title: Navigator Function for the Conformal Bootstrap

abstract: Current numerical conformal bootstrap techniques carve out islands in theory space by repeatedly checking whether points are allowed or excluded. We propose a new method for searching theory space that replaces the binary information "allowed"/"excluded" with a continuous "navigator" function that is negative in the allowed region and positive in the excluded region. Such a navigator function allows one to efficiently explore high-dimensional parameter spaces and smoothly sail towards any islands they may contain. The specific functions we introduce have several attractive features: they are everywhere well-defined, can be computed with standard methods, and evaluation of their gradient is immediate due to an SDP gradient formula that we provide. The latter property allows for the use of efficient quasi-Newton optimization methods, which we illustrate by navigating towards the 3d Ising island.


title: Discovery of an Extremely Short Duration Flare from Proxima Centauri Using Millimeter through FUV Observations

abstract: We present the discovery of an extreme flaring event from Proxima Cen by ASKAP, ALMA, HST, TESS, and the du Pont Telescope that occurred on 2019 May 1. In the millimeter and FUV, this flare is the brightest ever detected, brightening by a factor of >1000 and >14000 as seen by ALMA and HST, respectively. The millimeter and FUV continuum emission trace each other closely during the flare, suggesting that millimeter emission could serve as a proxy for FUV emission from stellar flares and become a powerful new tool to constrain the high-energy radiation environment of exoplanets. Surprisingly, optical emission associated with the event peaks at a much lower level with a time delay. The initial burst has an extremely short duration, lasting for <10 sec. Taken together with the growing sample of millimeter M dwarf flares, this event suggests that millimeter emission is actually common during stellar flares and often originates from short burst-like events.


title: Quantum Learnability is Arbitrarily Distillable

abstract: Quantum learning (in metrology and machine learning) involves estimating unknown parameters from measurements of quantum states. The quantum Fisher information matrix can bound the average amount of information learnt about the unknown parameters per experimental trial. In several scenarios, it is advantageous to concentrate information in as few states as possible. Here, we present two "go-go" theorems proving that negativity, a narrower nonclassicality concept than noncommutation, enables unbounded and lossless distillation of Fisher information about multiple parameters in quantum learning.


title: Searching for New Physics with $\overline{\mathcal{B}}(B_{s,d}\to\mu\bar\mu)/\Delta M_{s,d}$

abstract: We reemphasize that the ratio $R_{s\mu} \equiv \overline{\mathcal{B}}(B_s\to\mu\bar\mu)/\Delta M_s$ is a measure of the tension of the Standard Model (SM) with latest measurements of $\overline{\mathcal{B}}(B_s\to\mu\bar\mu)$ that does not suffer from the persistent puzzle on the $|V_{cb}|$ determinations from inclusive versus exclusive $b\to c\ell\bar\nu$ decays and which affects the value of the CKM element $|V_{ts}|$ that is crucial for the SM predictions of both $\overline{\mathcal{B}}(B_s\to\mu\bar\mu)$ and $\Delta M_s$, but cancels out in the ratio $R_{s\mu}$. In our analysis we include higher order electroweak and QED corrections und adapt the latest hadronic input to find a tension of about $2\sigma$ for $R_{s\mu}$ measurements with the SM independently of $|V_{ts}|$. We also discuss the ratio $R_{d\mu}$ which could turn out, in particular in correlation with $R_{s\mu}$, to be useful for the search for New Physics, when the data on both ratios improves. Also $R_{d\mu}$ is independent of $|V_{cb}|$ or more precisely $|V_{td}|$.


title: Gravitational lensing formalism in a curved arc basis: A continuous description of observables and degeneracies from the weak to the strong lensing regime

abstract: Gravitationally lensed curved arcs provide a wealth of information about the underlying lensing distortions. Extracting precise lensing information from extended sources is a key component in many studies aiming to answer fundamental questions about the Universe. To maintain accuracy with increased precision, it is of vital importance to characterize and understand the impact of degeneracies inherent in lensing observables. In this work, we present a formalism to describe the gravitational lensing distortion effects resulting in curved extended arcs based on the eigenvectors and eigenvalues of the local lensing Jacobian and their directional differentials. We identify a non-local and non-linear extended deflector basis that inherits these local properties. Our parameterization is tightly linked to observable features in extended sources and allows one to accurately extract the lensing information of extended images without imposing an explicit global deflector model. We quantify what degeneracies can be broken based on specific assumptions on the local lensing nature and assumed intrinsic source shape. Our formalism is applicable from the weak linear regime, the semi-linear regime all the way up to the highly non-linear regime of highly magnified arcs of multiple images. The methodology and implementation presented in this work provides a framework to assessing systematics, to guide inference efforts in the right choices in complexity based on the data at hand, and to quantify the lensing information extracted in a model-independent way.


title: Evidence of a dwarf galaxy stream populating the inner Milky Way Halo

abstract: Stellar streams produced from dwarf galaxies provide direct evidence of the hierarchical formation of the Milky Way. Here, we present the first comprehensive study of the "LMS-1" stellar stream, that we detect by searching for wide streams in the Gaia EDR3 dataset using the STREAMFINDER algorithm. This stream was recently discovered by Yuan et al. (2020). We detect LMS-1 as a $60\deg$ long stream to the north of the Galactic bulge, at a distance of $\sim 20$ kpc from the Sun, together with additional components that suggest that the overall stream is completely wrapped around the inner Galaxy. Using spectroscopic measurements from LAMOST, SDSS and APOGEE, we infer that the stream is very metal poor (${\rm \langle [Fe/H]\rangle =-2.1}$) with a significant metallicity dispersion ($\sigma_{\rm [Fe/H]}=0.4$), and it possesses a large radial velocity dispersion (${\rm \sigma_v=20 \pm 4\,km\,s^{-1}}$). These estimates together imply that LMS-1 is a dwarf galaxy stream. The orbit of LMS-1 is close to polar, with an inclination of $75\deg$ to the Galactic plane. Both the orbit and metallicity of LMS-1 are remarkably similar to the globular clusters NGC 5053, NGC 5024 and the stellar stream "Indus". These findings make LMS-1 an important contributor to the stellar population of the inner Milky Way halo.


title: Revisiting axion-electron bremsstrahlung emission rates in astrophysical environments

abstract: The axion-electron coupling $g_{ae}$ is a generic feature of non-hadronic axion models. This coupling may induce a variety of observable signatures, particularly in astrophysical environments. Here, we revisit the calculation of the axion-electron bremsstrahlung and provide a general formulation valid for a non-relativistic plasma with any level of degeneracy and for any axion mass. We apply our result to the Sun, red giant stars and white dwarfs. In particular, we prove that the approximations used to evaluate the axion emissivity in red giants agree with the exact result within $10\%$, comparable with other uncertainties in these studies. In addition, this prescription allows the red giant and white dwarf bounds to be extended to massive axions.


title: Twistor Space Origins of the Newman-Penrose Map

abstract: Recently, we introduced the "Newman-Penrose map," a novel correspondence between a certain class of solutions of Einstein's equations and self-dual solutions of the vacuum Maxwell equations, which we showed was closely related to the classical double copy. Here, we give an alternative definition of this correspondence in terms of quantities that are defined naturally on twistor space, and a shear-free null geodesic congruence on Minkowski space whose twistorial character is articulated by the Kerr theorem. The advantage of this reformulation is that it is purely geometrical in nature, being manifestly invariant under both spacetime diffeomorphisms and projective transformations on twistor space. While the original formulation of the map may be more convenient for most explicit calculations, the twistorial formulation we present here may be of greater theoretical utility.


title: Age distribution of stars in boxy/peanut/X-shaped bulges formed without bar buckling

abstract: Some barred galaxies, including the Milky Way, host a boxy/peanut/X-shaped bulge (BPX-shaped bulge). Previous studies suggested that the BPX-shaped bulge can either be developed by bar buckling or by vertical inner Lindblad resonance (vILR) heating without buckling. In this paper, we study the observable consequence of an BPX-shaped bulge built up quickly after bar formation via vILR heating without buckling, using an N-body/hydrodynamics simulation of an isolated Milky Way-like galaxy. We found that the BPX-shaped bulge is dominated by stars born prior to bar formation. This is because the bar suppresses star formation, except for the nuclear stellar disc (NSD) region and its tips. The stars formed near the bar ends have higher Jacobi energy, and when these stars lose their angular momentum, their non-circular energy increases to conserve Jacobi energy. This prevents them from reaching the vILR to be heated to the BPX region. By contrast, the NSD forms after the bar formation. From this simulation and general considerations, we expect that the age distributions of the NSD and BPX-shaped bulge formed without bar buckling do not overlap each other. Then, the transition age between these components betrays the formation time of the bar, and is testable in future observations of the Milky Way and extra-galactic barred galaxies.


title: Kinematics of MgII Absorbers from the Redshift-space Distortion Around Massive Quiescent Galaxies

abstract: The kinematics of MgII absorbers is the key to understanding the origin of cool, metal-enriched gas clouds in the circumgalactic medium of massive quiescent galaxies. Exploiting the fact that the cloud line-of-sight velocity distribution is the only unknown for predicting the redshift-space distortion~(RSD) of MgII absorbers from their 3D real-space distribution around galaxies, we develop a novel method to infer the cool cloud kinematics from the redshift-space galaxy-cloud cross-correlation $\xi^{s}$. We measure $\xi^{s}$ for ${\sim}10^4$ MgII absorbers around ${\sim}8{\times}10^5$ CMASS galaxies at $0.4{<}z{<}0.8$. We discover that $\xi^{s}$ does not exhibit a strong Fingers-of-God effect, but is heavily truncated at velocity ${\sim}300\,km/s$. We reconstruct both the redshift and real-space cloud number density distributions inside haloes, $\xi^{s}_{1h}$ and $\xi_{1h}$, respectively. Thus, for any model of cloud kinematics, we can predict $\xi^{s}_{1h}$ from the reconstructed $\xi_{1h}$, and self-consistently compare to the observed $\xi^{s}_{1h}$. We consider four types of cloud kinematics, including an isothermal model with a single velocity dispersion, a satellite infall model in which cool clouds reside in the subhaloes, a cloud accretion model in which clouds follow the cosmic gas accretion, and a tired wind model in which clouds originate from the galactic wind-driven bubbles. All the four models provide statistically good fits to the RSD data, but only the tired wind model can reproduce the observed truncation by propagating ancient wind bubbles at ${\sim}250\,km/s$ on scales ${\sim}400\,kpc/h$. Our method provides an exciting path to decoding the dynamical origin of metal absorbers from the RSD measurements with upcoming spectroscopic surveys.


title: Gapping fragile topological bands by interactions

abstract: We consider the stability of fragile topological bands protected by space-time inversion symmetry in the presence of strong electron-electron interactions. At the single-particle level, the topological nature of the bands prevents the opening of a gap between them. In contrast, we show that when the fragile bands are half filled, interactions can open a gap in the many-body spectrum without breaking any symmetry or mixing degrees of freedom from remote bands. Furthermore, the resulting ground state is not topologically ordered. Thus, a fragile topological band structure does not present an obstruction to forming a "featureless insulator" ground state. Our construction relies on the formation of fermionic bound states of two electrons and one hole, known as "trions". The trions form a band whose coupling to the electronic band enables the gap opening. This result may be relevant to the gapped state indicated by recent experiments in magic angle twisted bilayer graphene at charge neutrality.


title: $T\bar T$-deformed Fermionic Theories Revisited

abstract: We revisit $T\bar T$ deformations of $d=2$ theories with fermions with a view toward the quantization. As a simple illustration, we compute the deformed Dirac bracket for a Majorana doublet and confirm the known eigenvalue flows perturbatively. We mostly consider those $T\bar T$ theories that can be reconstructed from string-like theories upon integrating out the worldsheet metric. After a quick overview of how this works when we add NSR-like or GS-like fermions, we obtain a known non-supersymmetric $T\bar T$ deformation of a $\cN=(1,1)$ theory from the latter, based on the Noether energy-momentum. This worldsheet reconstruction implies that the latter is actually a supersymmetric subsector of a $d=3$ GS-like model, implying hidden supercharges, which we do construct explicitly. This brings us to ask about different $T\bar T$ deformations, such as manifestly supersymmetric $T\bar T$ and also more generally via the symmetric energy-momentum. We show that, for theories with fermions, such choices often lead us to doubling of degrees of freedom, with potential unitarity issues. We show that the extra sector develops a divergent gap in the "small deformation" limit and decouples in the infrared, although it remains uncertain in what sense these can be considered a deformation.


title: A dynamical measurement of the disk mass in Elias 2-27

abstract: Recent multi-wavelength ALMA observations of the protoplanetary disk orbiting around Elias 2-27 revealed a two armed spiral structure. The observed morphology together with the young age of the star and the disk-to-star mass ratio estimated from dust continuum emission make this system a perfect laboratory to investigate the role of self-gravity in the early phases of star formation. This is particularly interesting if we consider that gravitational instabilities could be a fundamental first step for the formation of planetesimals and planets. In this Letter, we model the rotation curve obtained by CO data of Elias 2-27 with a theoretical rotation curve including both the disk self-gravity and the star contribution to the gravitational potential. We compare this model with a purely Keplerian one and with a simple power-law function. We find that (especially for the $^{13}$CO isotopologue) the rotation curve is better described by considering not only the star, but also the disk self-gravity. We are thus able to obtain for the first time a dynamical estimate of the disk mass of $0.08\pm0.04\,M_{\odot}$ and the star mass of $0.46\pm0.03\,M_{\odot}$ (in the more general case), the latter being comparable with previous estimates. From these values, we derive that the disk is 17$\%$ of the star mass, meaning that it could be prone to gravitational instabilities. This result would strongly support the hypothesis that the two spiral arms are generated by gravitational instabilities.


title: The THESEUS space mission: science goals, requirements and mission concept

abstract: THESEUS, one of the two space mission concepts being studied by ESA as candidates for next M5 mission within its Comsic Vision programme, aims at fully exploiting Gamma-Ray Bursts (GRB) to solve key questions about the early Universe, as well as becoming a cornerstone of multi-messenger and time-domain astrophysics. By investigating the first billion years of the Universe through high-redshift GRBs, THESEUS will shed light on the main open issues in modern cosmology, such as the population of primordial low mass and luminosity galaxies, sources and evolution of cosmic re-ionization, SFR and metallicity evolution up to the "cosmic dawn" and across Pop-III stars. At the same time, the mission will provide a substantial advancement of multi-messenger and time-domain astrophysics by enabling the identification, accurate localisation and study of electromagnetic counterparts to sources of gravitational waves and neutrinos, which will be routinely detected in the late '20s and early '30s by the second and third generation Gravitational Wave (GW) interferometers and future neutrino detectors, as well as of all kinds of GRBs and most classes of other X/gamma-ray transient sources. In all these cases, THESEUS will provide great synergies with future large observing facilities in the multi-messenger domain. A Guest Observer programme, comprising Target of Opportunity (ToO) observations, will expand the science return of the mission, to include, e.g., solar system minor bodies, exoplanets, and AGN.