title: Ignition of a helium nanoplasma by x-ray multiple ionization of a heavy rare-gas core

abstract: The dynamics of an x-ray-ionized two-component core-shell nanosystem is probed using doped helium (He) nanodroplets. First, a soft x-ray pump pulse selectively inner-shell ionizes the core cluster formed of heavier rare-gas atoms, causing electron migration from the He shell to the highly charged core. This ignites a He nanoplasma which is then driven by an intense near-infrared probe pulse. The ultrafast charge redistribution, evidenced by the rise of He$^+$ and He$^{2+}$ ion yields from the nanoplasma within $<70$ fs, leads to strong damping of the core cluster expansion. Thus, He droplets act as efficient tampers that reduce the radiation damage of embedded nanostructures, a property that could be exploited for improving coherent diffraction images.


title: New Methods in Coding Theory: Error-Correcting Codes and the Shannon Capacity

abstract: In this thesis we present several results in coding theory, concerning error-correcting codes and the Shannon capacity. 1. We give a general symmetry reduction of matrices occuring in semidefinite programs in coding theory. 2. We apply the symmetry reduction to efficiently compute semidefinite programming upper bounds for nonbinary error-correcting codes equipped with the Hamming distance (joint work with Bart Litjens and Lex Schrijver), with the Lee distance and for binary constant weight codes. 3. We explore other methods to find new upper bounds for nonbinary codes with the Hamming distance, based on combinatorial divisibility arguments. 4. We study uniqueness and classification of codes, using the output of the semidefinite programming solver. Most of our classification results are related to subcodes of the binary Golay code. This is joint work with Andries Brouwer. 5. We consider the Shannon capacity of circular graphs. The circular graph $C_{d,q}$ is the graph with vertex set $\mathbb{Z}_q$ (the cyclic group of order q) in which two distinct vertices are adjacent if and only if their distance (mod $q$) is strictly less than $d$. The Shannon capacity of $C_{d,q}$ can be seen to only depend on the fraction q/d. We prove that the function which assigns to each rational number $q/d$ the Shannon capacity of $C_{d,q}$ is continuous at integer points $q/d$. Moreover, we give a new lower bound on the Shannon capacity of the $7$-cycle. This is joint work with Lex Schrijver. This thesis was written at the University of Amsterdam under supervision of Lex Schrijver.


title: Two-Stage Distributed Energy Resources Scheduling via Chance-Constrained AC Optimal Power Flow: A Second-Order Cone Programming Approach

abstract: The penetration of distributed energy resources (DERs) is increasing dramatically. Due to the uncertainty of DERs, the operation of the distribution system is facing higher risks and challenges. To overcome such challenges, a two-stage chance-constrained convex AC optimal power flow (ACOPF) model is proposed in this paper, which can increase the economic efficiency of distribution system operation and manage the intermittency of DERs. In the first stage, a convex second-order cone programming (SOCP)-based ACOPF model is proposed in which the detailed models and limitations of DER, namely, demand response (DR), energy storage units, and rooftop PV systems are modeled to obtain participation ratio of DERs. In the second stage, Monte Carlo simulation is utilized to model the uncertainties of DERs. A probability violation index is introduced to make a trade-off between scheduling more DERs and imposing a higher risk to the distribution system. In this stage, power flow analysis is conducted for each scenario to determine the probability violation index of system. Then, a modified SOCP-based ACOPF is proposed to satisfy the system probability violation criterion. Simulation results illustrate that the proposed two-stage chance-constrained model improves economic efficiency and reliability of real-time operation of the distribution system.


title: Performance and Energy Trade-Offs for Parallel Applications on Heterogeneous Multi-Processing Systems

abstract: This work proposes a methodology to find performance and energy trade-offs for parallel applications running on Heterogeneous Multi-Processing systems with a single instruction-set architecture. These offer flexibility in the form of different core types and voltage and frequency pairings, defining a vast design space to explore. Therefore, for a given application, choosing a configuration that optimizes the performance and energy consumption is not straightforward. Our method proposes novel analytical models for performance and power consumption whose parameters can be fitted using only a few strategically sampled offline measurements. These models are then used to estimate an application's performance and energy consumption for the whole configuration space. In turn, these offline predictions define the choice of estimated Pareto-optimal configurations of the model, which are used to inform the selection of the configuration that the application should be executed on. The methodology was validated on an ODROID-XU3 board for eight programs from the PARSEC Benchmark, Phoronix Test Suite and Rodinia applications. The generated Pareto-optimal configuration space represented a 99% reduction of the universe of all available configurations. Energy savings of up to 59.77%, 61.38% and 17.7% were observed when compared to the performance, ondemand and powersave Linux governors, respectively, with higher or similar performance.


title: Predation by Atractosteus tropicus on Bufo marinus and its possible affect on population in a lowland tropical wet rainforest

abstract: Fish predation can affect amphibian populations. Most examples report invasive fish species and their negative effect on specific amphibians. Here we provide an occurrence of natural fish predation by the tropical gar Atractosteus tropicus on the cane toad Bufo marinus. We observed physical damage caused by A. tropicus attacking B. marinus. When adult B. marinus were removed from the population subadult toads refilled the adults niche, resupplementing the population. Local observations of predation by fish on amphibians are important to differentiate natural population fluctuations from amphibian population declines.


title: Phase-isometries between normed spaces

abstract: Let $X$ and $Y$ be real normed spaces and $f \colon X\to Y$ a surjective mapping. Then $f$ satisfies $\{\|f(x)+f(y)\|, \|f(x)-f(y)\|\} = \{\|x+y\|, \|x-y\|\}$, $x,y\in X$, if and only if $f$ is phase equivalent to a surjective linear isometry, that is, $f=\sigma U$, where $U \colon X\to Y$ is a surjective linear isometry and $\sigma \colon X\to \{-1,1\}$. This is a Wigner's type result for real normed spaces.


title: Modality for Scenario Analysis and Maximum Likelihood Allocation

abstract: We study the variability of a risk from the statistical viewpoint of multimodality of the conditional loss distribution given that the aggregate loss equals an exogenously provided capital. This conditional distribution serves as a building block for calculating risk allocations such as the Euler capital allocation of Value-at-Risk. A superlevel set of this conditional distribution can be interpreted as a set of severe and plausible stress scenarios the given capital is supposed to cover. We show that various distributional properties of this conditional distribution, such as modality, dependence and tail behavior, are inherited from those of the underlying joint loss distribution. Among these properties, we find that modality of the conditional distribution is an important feature in risk assessment related to the variety of risky scenarios likely to occur in a stressed situation. Under unimodality, we introduce a novel risk allocation method called maximum likelihood allocation (MLA), defined as the mode of the conditional distribution given the total capital. Under multimodality, a single vector of allocations can be less sound. To overcome this issue, we investigate the so-called multimodalty adjustment to increase the soundness of risk allocations. Properties of the conditional distribution, MLA and multimodality adjustment are demonstrated in numerical experiments. In particular, we observe that negative dependence among losses typically leads to multimodality, and thus a higher multimodality adjustment can be required.


title: Distinct Distances Between a Circle and a Generic Set

abstract: Let $S$ be a set of points in $\mathbb{R}^2$ contained in a circle and $P$ an unrestricted point set in $\mathbb{R}^2$. We prove the number of distinct distances between points in $S$ and points in $P$ is at least $\min(|S||P|^{1/4-\varepsilon},|S|^{2/3}|P|^{2/3},|S|^2,|P|^2)$. This builds on work of Pach and De Zeeuw, Bruner and Sharir, McLaughlin and Omar and Mathialagan on distances between pairs of sets.


title: Exponential increase of the power of the independence and homogeneity chi-square tests with auxiliary information

abstract: This paper is an extension of the work about the exponential increase of the power of two non-parametric tests: the $ Z $-test and the chi-square goodness-of-fit test. Subject to having auxiliary information, it is possible to improve exponentially relative to the size of the sample the power of the famous chi-square tests of independence and homogeneity. Improving the power of these statistical tests by using auxiliary information makes it possible either to reduce the probability of accepting the null hypothesis under the alternative hypothesis, or to reduce the size of the sample necessary to reach a predefined power. The suggested method is computational and some simple statistical applications are presented to illustrate these results. The framework of this work is non-parametric, so it can be applied to any kind of data and any area using statistics.


title: The Pricing of Quanto Options: An empirical copula approach

abstract: The quanto option is a cross-currency derivative in which the pay-off is given in foreign currency and then converted to domestic currency, through a constant exchange rate, used for the conversion and determined at contract inception. Hence, the dependence relation between the option underlying asset price and the exchange rate plays an important role in quanto option pricing. In this work, we suggest to use empirical copulas to price quanto options. Numerical illustrations show that the flexibility provided by this approach, concerning the dependence relation of the two underlying stochastic processes, results in non-negligible pricing differences when contrasted to other models.


title: Multitask Models for Supervised Protests Detection in Texts

abstract: The CLEF 2019 ProtestNews Lab tasks participants to identify text relating to political protests within larger corpora of news data. Three tasks include article classification, sentence detection, and event extraction. I apply multitask neural networks capable of producing predictions for two and three of these tasks simultaneously. The multitask framework allows the model to learn relevant features from the training data of all three tasks. This paper demonstrates performance near or above the reported state-of-the-art for automated political event coding though noted differences in research design make direct comparisons difficult.


title: Mood of India During Covid-19 -- An Interactive Web Portal Based on Emotion Analysis of Twitter Data

abstract: The severe outbreak of Covid-19 pandemic has affected many countries across the world, and disrupted the day to day activities of many people. During such outbreaks, understanding the emotional state of citizens of a country could be of interest to various organizations to carry out tasks and to take necessary measures. Several studies have been performed on data available on various social media platforms and websites to understand the emotions of people against many events, inclusive of Covid-19, across the world. Twitter and other social media platforms have been bridging the gap between the citizens and government in various countries and are of more prominence in India. Sentiment Analysis of posts on twitter is observed to accurately reveal the sentiments. Analysing real time posts on twitter in India during Covid-19, could help in identifying the mood of the nation. However, most of the existing studies related to Covid-19, on twitter and other social media platforms are performed on data posted during a specific interval. We are not aware of any research that identifies emotional state of India on a daily basis. Hence, we present a web portal that aims to display mood of India during Covid-19, based on real time twitter data. This portal also enables users to select date range, specific date and state in India to display mood of people belonging to the specified region, on the specified date or during the specified date range. Also, the number of Covid-19 cases and mood of people at specific cities and states on specific dates is visualized on the country map. As of May 6 2020, the web portal has about 194370 tweets, and each of these tweets are classified into seven categories that include six basic emotions and a neutral category. A list of Trigger Events are also specified, to allow users to view the mood of India on specific events happening in the country during Covid-19.


title: On the preservation of coherence in the electronic wavepacket of a neutral and rigid polyatomic molecule

abstract: We present various types of reduced models including five vibrational modes and three electronic states for the pyrazine molecule in order to investigate the lifetime of electronic coherence in a rigid and neutral system. Using an ultrafast optical pumping in the ground state (1 1 A g ), we prepare a coherent superposition of two bright excited states, 1 1 B 2u and 1 1 B 1u , and reveal the effect of the nuclear motion on the preservation of the electronic coherence induced by the laser pulse. More specifically, two aspects are considered: the anharmonicity of the potential energy surfaces and the dependence of the transition dipole moments (TDMs) with respect to the nuclear coordinates. To this end, we define an ideal model by making three approximations: (i) only the five totally symmetric modes move, (ii) which correspond to uncoupled harmonic oscillators, and (iii) the TDMs from the ground electronic state to the two bright states are constant (Franck-Condon approximation). We then lift the second and third approximations by considering, first, the effect of anharmonicity, second, the effect of coordinate-dependence of the TDMs (first-order Herzberg- Teller contribution), third, both. Our detailed numerical study with quantum dynamics confirms long-term revivals of the electronic coherence even for the most realistic model.


title: Correlation induced emergent charge order in metallic vanadium dioxide

abstract: Recent progress in growth and characterization of thin-film VO$_2$ has shown its electronic properties can be significantly modulated by epitaxial matching. To throw new light on the concept of `Mott engineering', we develop a symmetry-consistent approach to treat structural distortions and electronic correlations in epitaxial VO$_2$ films under strain, and compare our design with direct experimental probes. We find strong evidence for the emergence of correlation-driven charge order deep in the metallic phase, and our results indicate that exotic phases of VO$_2$ can be controlled with epitaxial stabilization.


title: Attentive Semantic Exploring for Manipulated Face Detection

abstract: Face manipulation methods develop rapidly in recent years, whose potential risk to society accounts for the emerging of researches on detection methods. However, due to the diversity of manipulation methods and the high quality of fake images, detection methods suffer from a lack of generalization ability. To solve the problem, we find that segmenting images into semantic fragments could be effective, as discriminative defects and distortions are closely related to such fragments. Besides, to highlight discriminative regions in fragments and to measure contribution to the final prediction of each fragment is efficient for the improvement of generalization ability. Therefore, we propose a novel manipulated face detection method based on Multilevel Facial Semantic Segmentation and Cascade Attention Mechanism. To evaluate our method, we reconstruct two datasets: GGFI and FFMI, and also collect two open-source datasets. Experiments on four datasets verify the advantages of our approach against other state-of-the-arts, especially its generalization ability.


title: Topological electronic structure and Weyl points in nonsymmorphic hexagonal materials

abstract: Using topological band theory analysis we show that the nonsymmorphic symmetry operations in hexagonal lattices enforce Weyl points at the screw-invariant high-symmetry lines of the band structure. The corepresentation theory and connectivity group theory show that Weyl points are generated by band crossings in accordion-like and hourglass-like dispersion relations. These Weyl points are stable against weak perturbations and are protected by the screw rotation symmetry. Based on first-principles calculations we found a complete agreement between the topological predicted energy dispersion relations and real hexagonal materials. Topological charge (chirality) and Berry curvature calculations show the simultaneous formation of Weyl points and nodal-lines in 4d transition-metal trifluorides such as AgF3 and AuF3. Furthermore, a large intrinsic spin-Hall conductivity was found due to the combined strong spin-orbit coupling and multiple Weyl-point crossings in the electronic structure. These materials could be used to the spin/charge conversion in more energy-efficient spintronic devices.


title: Exploring the Loss Landscape in Neural Architecture Search

abstract: Neural architecture search (NAS) has seen a steep rise in interest over the last few years. Many algorithms for NAS consist of searching through a space of architectures by iteratively choosing an architecture, evaluating its performance by training it, and using all prior evaluations to come up with the next choice. The evaluation step is noisy - the final accuracy varies based on the random initialization of the weights. Prior work has focused on devising new search algorithms to handle this noise, rather than quantifying or understanding the level of noise in architecture evaluations. In this work, we show that (1) the simplest hill-climbing algorithm is a powerful baseline for NAS, and (2), when the noise in popular NAS benchmark datasets is reduced to a minimum, hill-climbing to outperforms many popular state-of-the-art algorithms. We further back up this observation by showing that the number of local minima is substantially reduced as the noise decreases, and by giving a theoretical characterization of the performance of local search in NAS. Based on our findings, for NAS research we suggest (1) using local search as a baseline, and (2) denoising the training pipeline when possible.


title: Causality in Static Models as an Initial Constraint on the Chronology of Events in System Behavior

abstract: This paper analyzes the notion of causality in a conceptual model, mainly as applied in software engineering. Conceptual system modeling can be considered a three-level process that begins with building a static structural description to develop a dynamic model that will identify events used to specify the chronology of events. In this context, the model involves a representation of a portion of reality, based on ontology of different kinds of things and their basic relations to each other. Relations are defined in terms of their participating entities. This paper concerns relations between events, specifically causal relations among events in modeling. We examine causality in many fields of study to understand its role in modeling. The problem is that, according to many researchers, causation is so inextricably bound up in misleading associations that it is hard to define and is shrouded in mystery, controversy, and caution. We study and clarify the notion of causality through several examples, utilizing an event definition as a time thing/machine in a new conceptual modeling methodology. In conclusion, we claim that the purpose of causal relations in a system s static description is to constrain the system s behavior and thus exclude some possible chronologies of events.


title: A Rotating-Grid Upwind Fast Sweeping Scheme for a Class of Hamilton-Jacobi Equations

abstract: We present a fast sweeping method for a class of Hamilton-Jacobi equations that arise from time-independent problems in optimal control theory. The basic method in two dimensions uses a four point stencil and is extremely simple to implement. We test our basic method against Eikonal equations in different norms, and then suggest a general method for rotating the grid and using additional approximations to the derivatives in different directions in order to more accurately capture characteristic flow. We display the utility of our method by applying it to relevant problems from engineering.


title: Towards the Role of Theory of Mind in Explanation

abstract: Theory of Mind is commonly defined as the ability to attribute mental states (e.g., beliefs, goals) to oneself, and to others. A large body of previous work - from the social sciences to artificial intelligence - has observed that Theory of Mind capabilities are central to providing an explanation to another agent or when explaining that agent's behaviour. In this paper, we build and expand upon previous work by providing an account of explanation in terms of the beliefs of agents and the mechanism by which agents revise their beliefs given possible explanations. We further identify a set of desiderata for explanations that utilize Theory of Mind. These desiderata inform our belief-based account of explanation.


title: Binary neutron star mergers after GW170817

abstract: The first combined detection of gravitational waves and electromagnetic signals from a binary neutron star (BNS) merger in August 2017 (event named GW170817) represents a major landmark for the ongoing investigation on these extraordinary systems. In this short review, we introduce BNS mergers as events of the utmost importance for astrophysics and fundamental physics and discuss the main discoveries enabled by this first multimessenger observation, which include compelling evidence that such mergers produce a copious amount of heavy r-process elements and can power short gamma-ray bursts. We further discuss key open questions left behind on this event and BNS mergers in general, focussing the attention on the current status and limitations of theoretical models and numerical simulations.


title: Support for integrable Hopf algebras via noncommutative hypersurfaces

abstract: We consider finite-dimensional Hopf algebras $u$ which admit a smooth deformation $U\to u$ by a Noetherian Hopf algebra $U$ of finite global dimension. Examples of such Hopf algebras include small quantum groups over the complex numbers, restricted enveloping algebras in finite characteristic, and Drinfeld doubles of height $1$ group schemes. We provide a means of analyzing (cohomological) support for representations over such $u$, via the singularity categories of the hypersurfaces $U/(f)$ associated to functions $f$ on the corresponding parametrization space. We use this hypersurface approach to establish the tensor product property for cohomological support, for the following examples: functions on a finite group scheme, Drinfeld doubles of certain height 1 solvable finite group schemes, bosonized quantum complete intersections, and the small quantum Borel in type $A$.


title: Seeing the Forest and the Trees: Detection and Cross-Document Coreference Resolution of Militarized Interstate Disputes

abstract: Previous efforts to automate the detection of social and political events in text have primarily focused on identifying events described within single sentences or documents. Within a corpus of documents, these automated systems are unable to link event references -- recognize singular events across multiple sentences or documents. A separate literature in computational linguistics on event coreference resolution attempts to link known events to one another within (and across) documents. I provide a data set for evaluating methods to identify certain political events in text and to link related texts to one another based on shared events. The data set, Headlines of War, is built on the Militarized Interstate Disputes data set and offers headlines classified by dispute status and headline pairs labeled with coreference indicators. Additionally, I introduce a model capable of accomplishing both tasks. The multi-task convolutional neural network is shown to be capable of recognizing events and event coreferences given the headlines' texts and publication dates.


title: The quantum disk is not a quantum group

abstract: We show that the quantum disk, i.e. the quantum space corresponding to the Toeplitz C*-algebra does not admit any compact quantum group structure. We prove that if such a structure existed the resulting compact quantum group would simultaneously be of Kac type and not of Kac type. The main tools used in the solution come from the theory of type I locally compact quantum groups, but also from the theory of operators on Hilbert spaces.


title: Closed-Loop Control of a Piezo-Fluidic Amplifier

abstract: Fluidic valves based on the Coand\u{a} effect are increasingly being considered for use in aerodynamic flow control applications. A limiting factor is their variation in switching time, which often precludes their use. The purpose of this paper is to demonstrate the closed-loop control of a recently developed, novel piezo-fluidic valve that reduces response time uncertainty at the expense of operating bandwidth. Use is made of the fact that a fluidic jet responds to a piezo tone by deflecting away from its steady state position. A control signal used to vary this deflection is amplitude modulated onto the piezo tone. Using only a pressure measurement from one of the device output channels, an output-based LQG regulator was designed to follow a desired reference deflection, achieving control of a 90 m/s jet. Finally, the controller's performance in terms of disturbance rejection and response time predictability is demonstrated.


title: Generating Memorable Images Based on Human Visual Memory Schemas

abstract: This research study proposes using Generative Adversarial Networks (GAN) that incorporate a two-dimensional measure of human memorability to generate memorable or non-memorable images of scenes. The memorability of the generated images is evaluated by modelling Visual Memory Schemas (VMS), which correspond to mental representations that human observers use to encode an image into memory. The VMS model is based upon the results of memory experiments conducted on human observers, and provides a 2D map of memorability. We impose a memorability constraint upon the latent space of a GAN by employing a VMS map prediction model as an auxiliary loss. We assess the difference in memorability between images generated to be memorable or non-memorable through an independent computational measure of memorability, and additionally assess the effect of memorability on the realness of the generated images.


title: Outlier-Robust Clustering of Non-Spherical Mixtures

abstract: We give the first outlier-robust efficient algorithm for clustering a mixture of $k$ statistically separated d-dimensional Gaussians (k-GMMs). Concretely, our algorithm takes input an $\epsilon$-corrupted sample from a $k$-GMM and whp in $d^{\text{poly}(k/\eta)}$ time, outputs an approximate clustering that misclassifies at most $k^{O(k)}(\epsilon+\eta)$ fraction of the points whenever every pair of mixture components are separated by $1-\exp(-\text{poly}(k/\eta)^k)$ in total variation (TV) distance. Such a result was not previously known even for $k=2$. TV separation is the statistically weakest possible notion of separation and captures important special cases such as mixed linear regression and subspace clustering. Our main conceptual contribution is to distill simple analytic properties - (certifiable) hypercontractivity and bounded variance of degree 2 polynomials and anti-concentration of linear projections - that are necessary and sufficient for mixture models to be (efficiently) clusterable. As a consequence, our results extend to clustering mixtures of arbitrary affine transforms of the uniform distribution on the $d$-dimensional unit sphere. Even the information-theoretic clusterability of separated distributions satisfying these two analytic assumptions was not known prior to our work and is likely to be of independent interest. Our algorithms build on the recent sequence of works relying on certifiable anti-concentration first introduced in the works of Karmarkar, Klivans, and Kothari and Raghavendra, and Yau in 2019. Our techniques expand the sum-of-squares toolkit to show robust certifiability of TV-separated Gaussian clusters in data. This involves giving a low-degree sum-of-squares proof of statements that relate parameter (i.e. mean and covariances) distance to total variation distance by relying only on hypercontractivity and anti-concentration.


title: Mathematical foundations of stable RKHSs

abstract: Reproducing kernel Hilbert spaces (RKHSs) are key spaces for machine learning that are becoming popular also for linear system identification. In particular, the so-called stable RKHSs can be used to model absolutely summable impulse responses. In combination e.g. with regularized least squares they can then be used to reconstruct dynamic systems from input-output data. In this paper we provide new structural properties of stable RKHSs. The relation between stable kernels and other fundamental classes, like those containing absolutely summable or finite-trace kernels, is elucidated. These insights are then brought into the feature space context. First, it is proved that any stable kernel admits feature maps induced by a basis of orthogonal eigenvectors in l2. The exact connection with classical system identification approaches that exploit such kind of functions to model impulse responses is also provided. Then, the necessary and sufficient stability condition for RKHSs designed by formulating kernel eigenvectors and eigenvalues is obtained. Overall, our new results provide novel mathematical foundations of stable RKHSs with impact on stability tests, impulse responses modeling and computational efficiency of regularized schemes for linear system identification.


title: Integrating Prior Knowledge in Mixed Initiative Social Network Clustering

abstract: We propose a new approach -- called PK-clustering -- to help social scientists create meaningful clusters in social networks. Many clustering algorithms exist but most social scientists find them difficult to understand, and tools do not provide any guidance to choose algorithms, or to evaluate results taking into account the prior knowledge of the scientists. Our work introduces a new clustering approach and a visual analytics user interface that address this issue. It is based on a process that 1) captures the prior knowledge of the scientists as a set of incomplete clusters, 2) runs multiple clustering algorithms (similarly to clustering ensemble methods), 3) visualizes the results of all the algorithms ranked and summarized by how well each algorithm matches the prior knowledge, 4) evaluates the consensus between user-selected algorithms, and 5) allows users to review details and iteratively update the acquired knowledge. We describe our approach using an initial functional prototype, then provide two examples of use and early feedback from social scientists. We believe our clustering approach offers a novel constructive method to iteratively build knowledge while avoiding being overly influenced by the results of often randomly selected black-box clustering algorithms.


title: Enhanced Intra Prediction for Video Coding by Using Multiple Neural Networks

abstract: This paper enhances the intra prediction by using multiple neural network modes (NM). Each NM serves as an end-to-end mapping from the neighboring reference blocks to the current coding block. For the provided NMs, we present two schemes (appending and substitution) to integrate the NMs with the traditional modes (TM) defined in high efficiency video coding (HEVC). For the appending scheme, each NM is corresponding to a certain range of TMs. The categorization of TMs is based on the expected prediction errors. After determining the relevant TMs for each NM, we present a probability-aware mode signaling scheme. The NMs with higher probabilities to be the best mode are signaled with fewer bits. For the substitution scheme, we propose to replace the highest and lowest probable TMs. New most probable mode (MPM) generation method is also employed when substituting the lowest probable TMs. Experimental results demonstrate that using multiple NMs will improve the coding efficiency apparently compared with the single NM. Specifically, proposed appending scheme with seven NMs can save 2.6%, 3.8%, 3.1% BD-rate for Y, U, V components compared with using single NM in the state-of-the-art works.


title: Further results on weighted core-EP inverse of matrices

abstract: In this paper, we introduce the notation of $E$-weighted core-EP and $F$-weighted dual core-EP inverse of matrices. We then obtain a few explicit expressions for the weighted core-EP inverse of matrices through other generalized inverses. Further, we discuss the existence of generalized weighted Moore-Penrose inverse and additive properties of the weighted core-EP inverse of matrices. In addition to these, we propose the star weighted core-EP and weighted core-EP star class of matrices for solving the system of matrix equations. We further elaborate on this theory by producing a few representation and characterization of star weighted core-EP and weighted core-EP star classes of matrices.


title: DisCoPy: Monoidal Categories in Python

abstract: We introduce DisCoPy, an open source toolbox for computing with monoidal categories. The library provides an intuitive syntax for defining string diagrams and monoidal functors. Its modularity allows the efficient implementation of computational experiments in the various applications of category theory where diagrams have become a lingua franca. As an example, we used DisCoPy to perform natural language processing on quantum hardware for the first time.


title: A comparative study of system size dependence of the effect of non-unitary channels on different classes of quantum states

abstract: We investigate the effect of different types of non-unitary quantum channels on multi-qubit quantum systems. For an $n$-qubit system and a particular channel, in order to draw unbiased conclusions about the system as a whole as opposed to specific states, we evolve a large number of randomly generated states under the given channel. We increase the number of qubits and study the effect of system size on the decoherence processes. The entire scheme is repeated for various types of environments which include dephasing channel, depolarising channel, collective dephasing channel and zero temperature bath. Non-unitary channels representing the environments are modeled via their Karus operator decomposition or master equation approach. Further, for a given $n$ we restrict ourselves to the study of particular subclasses of entangled states, namely the GHZ-type and W-type states. We generate random states within these classes and study the class behaviors under different quantum channels for various values of $n$.


title: Regularized Estimation of Information via High Dimensional Canonical Correlation Analysis

abstract: In recent years, there has been an upswing of interest in estimating information from data emerging in a lot of areas beyond communications. This paper aims at estimating the information between two random phenomena by using consolidated second-order statistics tools. The squared-loss mutual information is chosen for that purpose as a natural surrogate of Shannon mutual information. The rationale for doing so is developed for i.i.d. discrete sources -mapping data onto the simplex space-, and for analog sources -mapping data onto the characteristic space-, highlighting the links with other well-known related concepts in the literature based on local approximations of information-theoretic measures. The proposed approach gains in interpretability and scalability for its use on large datasets, providing physical interpretation to the free regularization parameters. Moreover, the structure of the proposed mapping allows resorting to Szeg\"o's theorem to reduce the complexity for high dimensional mappings, exhibiting strong dualities with spectral analysis. The performance of the proposed estimators is analyzed using Gaussian mixtures.


title: City limits in the age of smartphones and urban scaling

abstract: Urban planning still lacks appropriate standards to define city boundaries across urban systems. This issue has historically been left to administrative criteria, which can vary significantly across countries and political systems, hindering a comparative analysis across urban systems. However, the wide use of Information and Communication Technologies (ICT) has now allowed the development of new quantitative approaches to unveil how social dynamics relates to urban infrastructure. In fact, ICT provide the potential to portray more accurate descriptions of the urban systems based on the empirical analysis of millions of traces left by urbanites across the city. In this work, we apply computational techniques over a large volume of mobile phone records to define urban boundaries, through the analysis of travel patterns and the trajectory of urban dwellers in conurbations with more than 100,000 inhabitants in Chile. We created and analyzed the network of interconnected places inferred from individual travel trajectories. We then ranked each place using a spectral centrality method. This allowed to identify places of higher concurrency and functional importance for each urban environment. Urban scaling analysis is finally used as a diagnostic tool that allowed to distinguish urban from non-urban spaces. The geographic assessment of our method shows a high congruence with the current and administrative definitions of urban agglomerations in Chile. Our results can potentially be considered as a functional definition of the urban boundary. They also provide a practical implementation of urban scaling and data-driven approaches on cities as complex systems using increasingly larger non-conventional datasets.


title: A Survey of Algorithms for Black-Box Safety Validation of Cyber-Physical Systems

abstract: Autonomous cyber-physical systems (CPS) can improve safety and efficiency for safety-critical applications, but require rigorous testing before deployment. The complexity of these systems often precludes the use of formal verification and real-world testing can be too dangerous during development. Therefore, simulation-based techniques have been developed that treat the system under test as a black box operating in a simulated environment. Safety validation tasks include finding disturbances in the environment that cause the system to fail (falsification), finding the most-likely failure, and estimating the probability that the system fails. Motivated by the prevalence of safety-critical artificial intelligence, this work provides a survey of state-of-the-art safety validation techniques for CPS with a focus on applied algorithms and their modifications for the safety validation problem. We present and discuss algorithms in the domains of optimization, path planning, reinforcement learning, and importance sampling. Problem decomposition techniques are presented to help scale algorithms to large state spaces, which are common for CPS. A brief overview of safety-critical applications is given, including autonomous vehicles and aircraft collision avoidance systems. Finally, we present a survey of existing academic and commercially available safety validation tools.


title: MGD-decoupled black holes, anisotropic fluids and holographic entanglement entropy

abstract: The holographic entanglement entropy (HEE) is investigated for a black hole under the minimal geometric deformation (MGD) procedure, created by gravitational decoupling via an anisotropic fluid, in an AdS/CFT on the brane setup. The respective HEE corrections are computed and confronted to the corresponding corrections for both the standard MGD black holes and the Schwarzschild ones.


title: Perturbing an axisymmetric magnetic equilibrium to obtain a quasi-axisymmetric stellarator

abstract: It is demonstrated that finite-pressure, approximately quasi-axisymmetric stellarator equilibria can be directly constructed (without numerical optimization) via perturbations of given axisymmetric equilibria. The size of such perturbations is measured in two ways, via the fractional external rotation and, alternatively, via the relative magnetic field strength, i.e. the average size of the perturbed magnetic field, divided by the unperturbed field strength. It is found that significant fractional external rotational transform can be generated by quasi-axisymmetric perturbations, with a similar value of the relative field strength, despite the fact that the former scales more weakly with the perturbation size. High mode number perturbations are identified as a candidate for generating such transform with local current distributions. Implications for the development of a general non-perturbative solver for optimal stellarator equilibria is discussed.


title: What are the Goals of Distributional Semantics?

abstract: Distributional semantic models have become a mainstay in NLP, providing useful features for downstream tasks. However, assessing long-term progress requires explicit long-term goals. In this paper, I take a broad linguistic perspective, looking at how well current models can deal with various semantic challenges. Given stark differences between models proposed in different subfields, a broad perspective is needed to see how we could integrate them. I conclude that, while linguistic insights can guide the design of model architectures, future progress will require balancing the often conflicting demands of linguistic expressiveness and computational tractability.


title: Dijet resonance search with weak supervision using $\sqrt{s}=13$ TeV $pp$ collisions in the ATLAS detector

abstract: This Letter describes a search for narrowly resonant new physics using a machine-learning anomaly detection procedure that does not rely on a signal simulations for developing the analysis selection. Weakly supervised learning is used to train classifiers directly on data to enhance potential signals. The targeted topology is dijet events and the features used for machine learning are the masses of the two jets. The resulting analysis is essentially a three-dimensional search $A\rightarrow BC$, for $m_A\sim\mathcal{O}(\text{TeV})$, $m_B,m_C\sim\mathcal{O}(100\text{ GeV})$ and $B,C$ are reconstructed as large-radius jets, without paying a penalty associated with a large trials factor in the scan of the masses of the two jets. The full Run 2 $\sqrt{s}=13$ TeV $pp$ collision data set of 139 fb$^{-1}$ recorded by the ATLAS detector at the Large Hadron Collider is used for the search. There is no significant evidence of a localized excess in the dijet invariant mass spectrum between 1.8 and 8.2 TeV. Cross-section limits for narrow-width $A$, $B$, and $C$ particles vary with $m_A$, $m_B$, and $m_C$. For example, when $m_A=3$ TeV and $m_B\gtrsim 200$ GeV, a production cross section between 1 and 5 fb is excluded at 95% confidence level, depending on $m_C$. For certain masses, these limits are up to 10 times more sensitive than those obtained by the inclusive dijet search. These results are complementary to the dedicated searches for the case that $B$ and $C$ are Standard Model bosons.


title: Renormalization group theory of percolation on pseudo-fractal simplicial and cell complexes

abstract: Simplicial complexes are gaining increasing scientific attention as they are generalized network structures that can represent the many-body interactions existing in complex systems raging from the brain to high-order social networks. Simplicial complexes are formed by simplicies, such as nodes, links, triangles and so on. Cell complexes further extend these generalized network structures as they are formed by regular polytopes such as squares, pentagons etc. Pseudo-fractal simplicial and cell complexes are a major example of generalized network structures and they can be obtained by gluing $2$-dimensional $m$-polygons ($m=2$ triangles, $m=4$ squares, $m=5$ pentagons, etc.) along their links according to a simple iterative rule. Here we investigate the interplay between the topology of pseudo-fractal simplicial and cell complexes and their dynamics by characterizing the critical properties of link percolation defined on these structures. By using the renormalization group we show that the pseudo-fractal simplicial and cell complexes have a continuous percolation threshold at $p_c=0$. When the pseudo-fractal structure is formed by polygons of the same size $m$, the transition is characterized by an exponential suppression of the order parameter $P_{\infty}$ that depends on the number of sides $m$ of the polygons forming the pseudo-fractal cell complex, i.e., $P_{\infty}\propto p\exp(-\alpha/p^{m-2})$. Here these results are also generalized to random pseudo-fractal cell-complexes formed by polygons of different number of sides $m$.

categories: cond-mat.dis-nn cond-mat.stat-mech cs.SI physics.soc-ph


title: Advancing computational reproducibility in the Dataverse data repository platform

abstract: Recent reproducibility case studies have raised concerns showing that much of the deposited research has not been reproducible. One of their conclusions was that the way data repositories store research data and code cannot fully facilitate reproducibility due to the absence of a runtime environment needed for the code execution. New specialized reproducibility tools provide cloud-based computational environments for code encapsulation, thus enabling research portability and reproducibility. However, they do not often enable research discoverability, standardized data citation, or long-term archival like data repositories do. This paper addresses the shortcomings of data repositories and reproducibility tools and how they could be overcome to improve the current lack of computational reproducibility in published and archived research outputs.


title: The More the Merrier?! Evaluating the Effect of Landmark Extraction Algorithms on Landmark-Based Goal Recognition

abstract: Recent approaches to goal and plan recognition using classical planning domains have achieved state of the art results in terms of both recognition time and accuracy by using heuristics based on planning landmarks. To achieve such fast recognition time these approaches use efficient, but incomplete, algorithms to extract only a subset of landmarks for planning domains and problems, at the cost of some accuracy. In this paper, we investigate the impact and effect of using various landmark extraction algorithms capable of extracting a larger proportion of the landmarks for each given planning problem, up to exhaustive landmark extraction. We perform an extensive empirical evaluation of various landmark-based heuristics when using different percentages of the full set of landmarks. Results show that having more landmarks does not necessarily mean achieving higher accuracy and lower spread, as the additional extracted landmarks may not necessarily increase be helpful towards the goal recognition task.


title: DenoiSeg: Joint Denoising and Segmentation

abstract: Microscopy image analysis often requires the segmentation of objects, but training data for this task is typically scarce and hard to obtain. Here we propose DenoiSeg, a new method that can be trained end-to-end on only a few annotated ground truth segmentations. We achieve this by extending Noise2Void, a self-supervised denoising scheme that can be trained on noisy images alone, to also predict dense 3-class segmentations. The reason for the success of our method is that segmentation can profit from denoising, especially when performed jointly within the same network. The network becomes a denoising expert by seeing all available raw data, while co-learning to segment, even if only a few segmentation labels are available. This hypothesis is additionally fueled by our observation that the best segmentation results on high quality (very low noise) raw data are obtained when moderate amounts of synthetic noise are added. This renders the denoising-task non-trivial and unleashes the desired co-learning effect. We believe that DenoiSeg offers a viable way to circumvent the tremendous hunger for high quality training data and effectively enables few-shot learning of dense segmentations.


title: Localizable quantum coherence

abstract: Coherence is a fundamental notion in quantum mechanics, defined relative to a reference basis. As such, it does not necessarily reveal the locality of interactions nor takes into account the accessible operations in a composite quantum system. In this paper, we put forward a notion of localizable coherence as the coherence that can be stored in a particular subsystem, either by measuring or just by disregarding the rest. We examine its spreading, its average properties in the Hilbert space and show that it can be applied to reveal the real-space structure of states of interest in quantum many-body theory, for example, localized or topological states.


title: Counting Zeros of Dirichlet $L$-Functions

abstract: We give explicit upper and lower bounds for $N(T,\chi)$, the number of zeros of a Dirichlet $L$-function with character $\chi$ and height at most $T$. Suppose that $\chi$ has conductor $q>1$, and that $T\geq 5/7$. If $\ell=\log\frac{q(T+2)}{2\pi}> 1.567$, then \begin{equation*} \left| N(T,\chi) - \left( \frac{T}{\pi} \log\frac{qT}{2\pi e} -\frac{\chi(-1)}{4}\right) \right| \le 0.22737 \ell + 2 \log(1+\ell) - 0.5. \end{equation*} We give slightly stronger results for small $q$ and $T$. Along the way, we prove a new bound on $|L(s,\chi)|$ for $\sigma<-1/2$.


title: PeTra: A Sparsely Supervised Memory Model for People Tracking

abstract: We propose PeTra, a memory-augmented neural network designed to track entities in its memory slots. PeTra is trained using sparse annotation from the GAP pronoun resolution dataset and outperforms a prior memory model on the task while using a simpler architecture. We empirically compare key modeling choices, finding that we can simplify several aspects of the design of the memory module while retaining strong performance. To measure the people tracking capability of memory models, we (a) propose a new diagnostic evaluation based on counting the number of unique entities in text, and (b) conduct a small scale human evaluation to compare evidence of people tracking in the memory logs of PeTra relative to a previous approach. PeTra is highly effective in both evaluations, demonstrating its ability to track people in its memory despite being trained with limited annotation.


title: Autoencoding Pixies: Amortised Variational Inference with Graph Convolutions for Functional Distributional Semantics

abstract: Functional Distributional Semantics provides a linguistically interpretable framework for distributional semantics, by representing the meaning of a word as a function (a binary classifier), instead of a vector. However, the large number of latent variables means that inference is computationally expensive, and training a model is therefore slow to converge. In this paper, I introduce the Pixie Autoencoder, which augments the generative model of Functional Distributional Semantics with a graph-convolutional neural network to perform amortised variational inference. This allows the model to be trained more effectively, achieving better results on two tasks (semantic similarity in context and semantic composition), and outperforming BERT, a large pre-trained language model.


title: Calcium-rich Transient SN 2019ehk in A Star-Forming Environment: Yet Another Candidate for An Ultra-Stripped Envelope Supernova

abstract: We present optical and near-infrared observations of SN~Ib~2019ehk. We show that it evolved to a Ca-rich transient according to its spectral properties and evolution in late phases. It, however, shows a few distinguishable properties from the canonical Ca-rich transients: a short-duration first peak in the light curve, high peak luminosity, and association with a star-forming environment. Indeed, some of these features are shared with iPTF14gqr and iPTF16hgs, which are candidates for a special class of core-collapse SNe (CCSNe): the so-called ultra-stripped envelope SNe, i.e., a relatively low-mass He (or C+O) star explosion in a binary as a precursor of double neutron star binaries. The estimated ejecta mass ($0.43 M_\odot$) and explosion energy ($1.7 \times 10^{50} $~erg) are consistent with this scenario. The analysis of the first peak suggests existence of dense circumstellar material in the vicinity of the progenitor, implying a CCSN origin. Based on these analyses, we suggest SN 2019ehk is another candidate for an ultra-stripped envelope SN. These ultra-stripped envelope SN candidates seem to form a subpopulation among Ca-rich transients, associated with young population. We propose that the key to distinguishing this population is the early first peak in their light curves.


title: Page Curve and the Information Paradox in Flat Space

abstract: Asymptotic Causal Diamonds (ACDs) are a natural flat space analogue of AdS causal wedges, and it has been argued previously that they may be useful for understanding bulk locality in flat space holography. In this paper, we use ACD-inspired ideas to argue that there exist natural candidates for Quantum Extremal Surfaces (QES) and entanglement wedges in flat space, anchored to the conformal boundary. When there is a holographic screen at finite radius, we can also associate entanglement wedges and entropies to screen sub-regions, with the system naturally coupled to a sink. The screen and the boundary provide two complementary ways of formulating the information paradox. We explain how they are related and show that in both formulations, the flat space entanglement wedge undergoes a phase transition at the Page time in the background of an evaporating Schwarzschild black hole. Our results closely parallel recent observations in AdS, and reproduce the Page curve. That there is a variation of the argument that can be phrased directly in flat space without reliance on AdS, is a strong indication that entanglement wedge phase transitions may be key to the information paradox in flat space as well. Along the way, we give evidence that the entanglement entropy of an ACD is a well-defined, and likely instructive, quantity. We further note that the picture of the sink we present here may have an understanding in terms of sub-matrix deconfinement in a large-$N$ setting.


title: A Framework for Quasi Time-Optimal Nonlinear Model Predictive Control with Soft Constraints

abstract: In many mechatronic applications, controller input costs are negligible and time optimality is of great importance to maximize the productivity by executing fast positioning maneuvers. As a result, the obtained control input has mostly a bang-bang nature, which excite undesired mechanical vibrations, especially in systems with flexible structures. This paper tackles the time-optimal control problem and proposes a novel approach, which explicitly addresses the vibrational behavior in the context of the receding horizon technique. Such technique is a key feature, especially for systems with a time-varying vibrational behavior. In the context of model predictive control (MPC), vibrational behavior is predicted and coped in a soft-constrained formulation, which penalize any violation of undesired vibrations. This formulation enlarges the feasibility on a wide operating range in comparison with a hard-constrained formulation. The closed-loop performance of this approach is demonstrated on a numerical example of stacker crane with high degree of flexibility.


title: Experimental observations of bright dissipative Kerr cavity solitons and their collapsed snaking in a driven resonator with normal dispersion

abstract: Driven Kerr nonlinear optical resonators can sustain localized structures known as dissipative Kerr cavity solitons, which have recently attracted significant attention as the temporal counterparts of microresonator optical frequency combs. Whilst conventional wisdom asserts that bright cavity solitons can only exist in the region of anomalous dispersion, recent theoretical studies have predicted that higher-order dispersion can fundamentally alter the situation, enabling bright localized structures even under conditions of normal dispersion driving. Here we demonstrate a flexible optical fibre ring resonator platform that offers unprecedented control over dispersion conditions, and we report on the first experimental observations of bright localized structures that are fundamentally enabled by higher-order dispersion. In broad agreement with past theoretical predictions, we find that several distinct bright structures can co-exist for the same parameters, and we observe experimental evidence of their collapsed snaking bifurcation structure. In addition to enabling direct experimental verifications of a number of theoretical predictions, we show that the ability to judiciously control the dispersion conditions offers a novel route for ultrashort pulse generation: the bright structures observed in our work correspond to pulses of light as short as 220~fs -- the record for a passive all-fibre ring resonator. We envisage that our work will stimulate further fundamental studies on the impact of higher-order dispersion on Kerr cavity dynamics, as well as guide the development of novel ultrashort pulse sources and dispersion-engineered microresonator frequency combs.


title: Fourier interpolation with zeros of zeta and $L$-functions

abstract: We construct a large family of Fourier interpolation bases for functions analytic in a strip symmetric about the real line. Interesting examples involve the nontrivial zeros of the Riemann zeta function and other $L$-functions. We establish a duality principle for Fourier interpolation bases in terms of certain kernels of general Dirichlet series with variable coefficients. Such kernels admit meromorphic continuation, with poles at a sequence dual to the sequence of frequencies of the Dirichlet series, and they satisfy a functional equation. Our construction of concrete bases relies on a strengthening of Knopp's abundance principle for Dirichlet series with functional equations and a careful analysis of the associated Dirichlet series kernel, with coefficients arising from certain modular integrals for the theta group.


title: Regularity for the Boltzmann equation conditional to macroscopic bounds

abstract: The Boltzmann equation is a nonlinear partial differential equation that plays a central role in statistical mechanics. From the mathematical point of view, the existence of global smooth solutions for arbitrary initial data is an outstanding open problem. In the present article, we review a program focused on the type of particle interactions known as non-cutoff. It is dedicated to the derivation of a priori estimates in $C^\infty$, depending only on physically meaningful conditions. We prove that the solution will stay uniformly smooth provided that its mass, energy and entropy densities remain bounded, and away from vacuum.


title: Schinzel Hypothesis on average and rational points

abstract: We resolve Schinzel's Hypothesis (H) for $100\%$ of polynomials of arbitrary degree. We deduce that a positive proportion of diagonal conic bundles over $\mathbb{Q}$ with any given number of degenerate fibres have a rational point, and obtain similar results for generalised Ch\^atelet equations.


title: Stability of mobility edges in disordered interacting systems

abstract: Many-body localization provides a mechanism to avoid thermalization in isolated interacting quantum systems. The breakdown of thermalization may be complete, when all eigenstates in the many-body spectrum become localized, or partial, when the so-called many-body mobility edge separates localized and delocalized parts of the spectrum. Previously, De Roeck \textit{et al.}[arXiv:1506.01505] suggested a possible instability of the many-body mobility edge in energy density. The local ergodic regions -- so called "bubbles" -- resonantly spread throughout the system, leading to delocalization. In order to study such instability mechanism, in this work we design a model featuring many-body mobility edge in \emph{particle density}: the states at small particle density are localized, while increasing the density of particles leads to delocalization. Using numerical simulations with matrix product states we demonstrate the stability of MBL with respect to small bubbles in large dilute systems for experimentally relevant timescales. In addition, we demonstrate that processes where the bubble spreads are favored over processes that lead to resonant tunneling, suggesting a possible mechanism behind the observed stability of many-body mobility edge. We conclude by proposing experiments to probe particle density mobility edge in Bose-Hubbard model.

categories: cond-mat.dis-nn cond-mat.quant-gas cond-mat.stat-mech quant-ph


title: Information Design in Non-atomic Routing Games with Partial Participation: Computation and Properties

abstract: We consider a routing game among non-atomic agents where link latency functions are conditional on an uncertain state of the network. The agents have the same prior belief about the state, but only a fixed fraction receive private route recommendations or a common message, which are generated by a known randomization, referred to as private or public signaling policy respectively. The remaining agents choose route according to Bayes Nash flow with respect to the prior. We develop a computational approach to solve the optimal information design problem, i.e., to minimize expected social latency over all public or obedient private signaling policies. For a fixed flow induced by non-participating agents, design of an optimal private signaling policy is shown to be a generalized problem of moments for polynomial link latency functions, and to admit an atomic solution with a provable upper bound on the number of atoms. This implies that, for polynomial link latency functions, information design can be equivalently cast as a polynomial optimization problem. This in turn can be arbitrarily lower bounded by a known hierarchy of semidefinite relaxations. The first level of this hierarchy is shown to be exact for the basic two link case with affine latency functions. We also identify a class of private signaling policies over which the optimal social cost is non-increasing with increasing fraction of participating agents for parallel networks. This is in contrast to existing results where the cost of participating agents under a fixed signaling policy may increase with their increasing fraction.


title: The $N_\ell$ of gravitational wave background experiments

abstract: We construct a model for the angular power spectrum of the instrumental noise in interferometer networks mapping gravitational wave backgrounds (GWBs) as a function of detector noise properties, network configuration and scan strategy. We use the model to calculate the noise power spectrum for current and future ground-based experiments, as well as for planned space missions. We present our results in a language similar to that used in cosmic microwave background and intensity mapping experiments, and connect the formalism with the sensitivity curves that are common lore in GWB analyses. Our formalism is implemented in a lightweight python module that we make publicly available at https://github.com/damonge/schNell.


title: Computing-in-Memory for Performance and Energy Efficient Homomorphic Encryption

abstract: Homomorphic encryption (HE) allows direct computations on encrypted data. Despite numerous research efforts, the practicality of HE schemes remains to be demonstrated. In this regard, the enormous size of ciphertexts involved in HE computations degrades computational efficiency. Near-memory Processing (NMP) and Computing-in-memory (CiM) - paradigms where computation is done within the memory boundaries - represent architectural solutions for reducing latency and energy associated with data transfers in data-intensive applications such as HE. This paper introduces CiM-HE, a Computing-in-memory (CiM) architecture that can support operations for the B/FV scheme, a somewhat homomorphic encryption scheme for general computation. CiM-HE hardware consists of customized peripherals such as sense amplifiers, adders, bit-shifters, and sequencing circuits. The peripherals are based on CMOS technology, and could support computations with memory cells of different technologies. Circuit-level simulations are used to evaluate our CiM-HE framework assuming a 6T-SRAM memory. We compare our CiM-HE implementation against (i) two optimized CPU HE implementations, and (ii) an FPGA-based HE accelerator implementation. When compared to a CPU solution, CiM-HE obtains speedups between 4.6x and 9.1x, and energy savings between 266.4x and 532.8x for homomorphic multiplications (the most expensive HE operation). Also, a set of four end-to-end tasks, i.e., mean, variance, linear regression, and inference are up to 1.1x, 7.7x, 7.1x, and 7.5x faster (and 301.1x, 404.6x, 532.3x, and 532.8x more energy efficient). Compared to CPU-based HE in a previous work, CiM-HE obtain 14.3x speed-up and >2600x energy savings. Finally, our design offers 2.2x speed-up with 88.1x energy savings compared to a state-of-the-art FPGA-based accelerator.


title: Fault Tree Analysis: Identifying Maximum Probability Minimal Cut Sets with MaxSAT

abstract: In this paper, we present a novel MaxSAT-based technique to compute Maximum Probability Minimal Cut Sets (MPMCSs) in fault trees. We model the MPMCS problem as a Weighted Partial MaxSAT problem and solve it using a parallel SAT-solving architecture. The results obtained with our open source tool indicate that the approach is effective and efficient.

categories: cs.AI cs.CR cs.DM cs.LO cs.NI cs.SY eess.SY


title: Adaptive Invariance for Molecule Property Prediction

abstract: Effective property prediction methods can help accelerate the search for COVID-19 antivirals either through accurate in-silico screens or by effectively guiding on-going at-scale experimental efforts. However, existing prediction tools have limited ability to accommodate scarce or fragmented training data currently available. In this paper, we introduce a novel approach to learn predictors that can generalize or extrapolate beyond the heterogeneous data. Our method builds on and extends recently proposed invariant risk minimization, adaptively forcing the predictor to avoid nuisance variation. We achieve this by continually exercising and manipulating latent representations of molecules to highlight undesirable variation to the predictor. To test the method we use a combination of three data sources: SARS-CoV-2 antiviral screening data, molecular fragments that bind to SARS-CoV-2 main protease and large screening data for SARS-CoV-1. Our predictor outperforms state-of-the-art transfer learning methods by significant margin. We also report the top 20 predictions of our model on Broad drug repurposing hub.


title: Scattering of a Klein-Gordon particle by a smooth barrier

abstract: We present the study of the one-dimensional Klein-Gordon equation by a smooth barrier. The scattering solutions are given in terms of the Whittaker $M_{\kappa,\mu}(x)$ function. The reflection and transmission coefficients are calculated in terms of the energy, the height and the smoothness of the potential barrier. For any value of the smoothness parameter we observed transmission resonances.


title: Intensities of the $\gamma$-ray emissions following the $^{111}Sn$ decay determined via photonuclear reaction yield measurements

abstract: The intensities of the ten strongest $\gamma$-ray transitions following the $^{111}Sn$ ($T_{1/2}$=35.3 m) decay have been determined via comparison of the two sets of the experimental photonucleon reaction yields driven using the traditional activation equation and the activation equation for the genetically coupled radioactive nuclei. The found absolute intensities of the $\gamma$-ray transitions in question were happened to be noticeably different from the currently recommended values.


title: Instrumentation for high-resolution laser spectroscopy at the ALTO radioactive-beam facility

abstract: Collinear laser spectroscopy is one of the essential tools for nuclear-structure studies. It allows nuclear electromagnetic properties of ground and isomeric states to be extracted with high experimental precision. Radioactive-beam facilities worldwide strive to introduce such capabilities or to improve existing ones. Here we present the implementation of collinear laser spectroscopy at the ALTO research laboratory, along with data from successful off-line commissioning using sodium beam. The instrumental constituents are discussed with emphasis on simple technical solutions and maximized use of standard equipment. Potential future applications are outlined.


title: Evaluating text coherence based on the graph of the consistency of phrases to identify symptoms of schizophrenia

abstract: Different state-of-the-art methods of the detection of schizophrenia symptoms based on the estimation of text coherence have been analyzed. The analysis of a text at the level of phrases has been suggested. The method based on the graph of the consistency of phrases has been proposed to evaluate the semantic coherence and the cohesion of a text. The semantic coherence, cohesion, and other linguistic features (lexical diversity, lexical density) have been taken into account to form feature vectors for the training of a model-classifier. The training of the classifier has been performed on the set of English-language interviews. According to the retrieved results, the impact of each feature on the output of the model has been analyzed. The results obtained can indicate that the proposed method based on the graph of the consistency of phrases may be used in the different tasks of the detection of mental illness.


title: General Asymptotic Regional Gradient Observer

abstract: The main purpose of this paper is to study and characterize the existing of general asymptotic regional gradient observer which observe the current gradient state of the original system in connection with gradient strategic sensors. Thus, we give an approach based to Luenberger observer theory of linear distributed parameter systems which is enabled to determinate asymptotically regional gradient estimator of current gradient system state. More precisely, under which condition the notion of asymptotic regional gradient observability can be achieved. Furthermore, we show that the measurement structures allows the existence of general asymptotic regional gradient observer and we give a sufficient condition for such asymptotic regional gradient observer in general case. We also show that, there exists a dynamical system for the considered system is not general asymptotic gradient observer in the usual sense, but it may be general asymptotic regional gradient observer. Then, for this purpose we present various results related to different types of sensor structures, domains and boundary conditions in two dimensional distributed diffusion systems


title: Quantifying the Economic Impact of COVID-19 in Mainland China Using Human Mobility Data

abstract: To contain the pandemic of coronavirus (COVID-19) in Mainland China, the authorities have put in place a series of measures, including quarantines, social distancing, and travel restrictions. While these strategies have effectively dealt with the critical situations of outbreaks, the combination of the pandemic and mobility controls has slowed China's economic growth, resulting in the first quarterly decline of Gross Domestic Product (GDP) since GDP began to be calculated, in 1992. To characterize the potential shrinkage of the domestic economy, from the perspective of mobility, we propose two new economic indicators: the New Venues Created (NVC) and the Volumes of Visits to Venue (V^3), as the complementary measures to domestic investments and consumption activities, using the data of Baidu Maps. The historical records of these two indicators demonstrated strong correlations with the past figures of Chinese GDP, while the status quo has dramatically changed this year, due to the pandemic. We hereby presented a quantitative analysis to project the impact of the pandemic on economies, using the recent trends of NVC and V^3. We found that the most affected sectors would be travel-dependent businesses, such as hotels, educational institutes, and public transportation, while the sectors that are mandatory to human life, such as workplaces, residential areas, restaurants, and shopping sites, have been recovering rapidly. Analysis at the provincial level showed that the self-sufficient and self-sustainable economic regions, with internal supplies, production, and consumption, have recovered faster than those regions relying on global supply chains.


title: Overview of Surgical Simulation

abstract: Motivated by the current demand of clinical governance, surgical simulation is now a well-established modality for basic skills training and assessment. The practical deployment of the technique is a multi-disciplinary venture encompassing areas in engineering, medicine and psychology. This paper provides an overview of the key topics involved in surgical simulation and associated technical challenges. The paper discusses the clinical motivation for surgical simulation, the use of virtual environments for surgical training, model acquisition and simplification, deformable models, collision detection, tissue property measurement, haptic rendering and image synthesis. Additional topics include surgical skill training and assessment metrics as well as challenges facing the incorporation of surgical simulation into medical education curricula.


title: SDSS-IV MaNGA: Excavating the fossil record of stellar populations in spiral galaxies

abstract: We perform a "fossil record" analysis for ~800 low-redshift spiral galaxies, using STARLIGHT applied to integral field spectroscopic observations from the SDSS-IV MaNGA survey to obtain fully spatially-resolved high-resolution star formation histories (SFHs). From the SFHs, we are able to build maps indicating the present-day distribution of stellar populations of different ages in each galaxy. We find small negative mean age gradients in most spiral galaxies, especially at high stellar mass, which reflects the formation times of stellar populations at different galactocentric radii. We show that the youngest (<10^{8.5} years) populations exhibit significantly more extended distributions than the oldest (>10^{9.5} years), again with a strong dependence on stellar mass. By interpreting the radial profiles of "time slices" as indicative of the size of the galaxy at the time those populations had formed, we are able to trace the simultaneous growth in mass and size of the spiral galaxies over the last 10 Gyr. Despite finding that the evolution of the measured light-weighted radius is consistent with inside-out growth in the majority of spiral galaxies, the evolution of an equivalent mass-weighted radius has changed little over the same time period. Since radial migration effects are likely to be small, we conclude that the growth of disks in spiral galaxies has occurred predominantly through an inside-out mode (with the effect greatest in high-mass galaxies), but this has not had anywhere near as much impact on the distribution of mass within spiral galaxies.


title: Renormalization and Scale Evolution of the Soft-Quark Soft Function

abstract: Soft functions defined in terms of matrix elements of soft fields dressed by Wilson lines are central components of factorization theorems for cross sections and decay rates in collider and heavy-quark physics. While in many cases the relevant soft functions are defined in terms of gluon operators, at subleading order in power counting soft functions containing quark fields appear. We present a detailed discussion of the properties of the soft-quark soft function consisting of a quark propagator dressed by two finite-length Wilson lines connecting at one point. This function enters in the factorization theorem for the Higgs-boson decay amplitude of the $h\to\gamma\gamma$ process mediated by light-quark loops. We perform the renormalization of this soft function at one-loop order, derive its two-loop anomalous dimension and discuss solutions to its renormalization-group evolution equation in momentum space, in Laplace space and in the "diagonal space", where the evolution is strictly multiplicative.


title: Efficient Learning of a One-dimensional Density Functional Theory

abstract: Density functional theory underlies the most successful and widely used numerical methods for electronic structure prediction of solids. However, it has the fundamental shortcoming that the universal density functional is unknown. In addition, the computational result---energy and charge density distribution of the ground state---is useful for electronic properties of solids mostly when reduced to a band structure interpretation based on the Kohn-Sham approach. Here, we demonstrate how machine learning algorithms can help to free density functional theory from these limitations. We study a theory of spinless fermions on a one-dimensional lattice. The density functional is implicitly represented by a neural network, which predicts, besides the ground-state energy and density distribution, density-density correlation functions. At no point do we require a band structure interpretation. The training data, obtained via exact diagonalization, feeds into a learning scheme inspired by active learning, which minimizes the computational costs for data generation. We show that the network results are of high quantitative accuracy and, despite learning on random potentials, capture both symmetry-breaking and topological phase transitions correctly.


title: Vortices and Fractons

abstract: We discuss a simple and experimentally available realization of fracton physics. We note that superfluid vortices form a Hamiltonian system that conserves total dipole moment and trace of the quadrupole moment of vorticity; thereby establishing a relation to a traceless scalar charge theory in two spatial dimensions. Next we consider the limit where the number of vortices is large and show that emergent vortex hydrodynamics also conserves these moments. Finally, we show the motion of vortices and of fractons on curved surfaces agree, thereby opening a route to experimental study of the interplay between fracton physics and curved space. Our conclusions also apply to charged particles in strong magnetic field.

categories: cond-mat.str-el cond-mat.mes-hall cond-mat.quant-gas hep-th


title: Predictions for $\mathrm{Z}$-boson production in association with a $\mathrm{b}$-jet at $\mathcal{O}(\alpha_s^3)$

abstract: Precise predictions are provided for the production of a $\mathrm{Z}$-boson and a $\mathrm{b}$-jet in hadron-hadron collisions within the framework of perturbative QCD, at $\mathcal{O}(\alpha_s^3)$. To obtain these predictions we perform the first calculation of a hadronic scattering process involving the direct production of a flavoured-jet at next-to-next-to-leading order accuracy in massless QCD, and extend techniques to also account for the impact of finite heavy-quark mass effects. The predictions are compared to CMS data obtained in $\mathrm{pp}$ collisions at a centre-of-mass energy of $8~\mathrm{TeV}$, which are the most precise data from Run I of the LHC for this process, where a good description of the data is achieved. To allow this comparison we have performed an unfolding of the data, which overcomes the long-standing issue that the experimental and theoretical definitions of jet flavour are incompatible.


title: Circumgalactic Mg II Emission from an Isotropic Starburst Galaxy Outflow Mapped by KCWI

abstract: We present spatially-resolved spectroscopy from the Keck Cosmic Web Imager (KCWI) of a star-forming galaxy at z=0.6942, which shows emission from the Mg II 2796, 2803 Angstrom doublet in the circumgalactic medium (CGM) extending ~37 kpc at 3-sigma significance in individual spaxels (1-sigma detection limit 4.8 x 10^{-19} erg s^-1 cm^-2 arcsec^-2). After deconvolution with the seeing, we obtain 5-sigma detections extending for ~31 kpc measured in 7-spaxel (1.1 arcsec^2) apertures. Spaxels covering the galaxy stellar regions show clear P-Cygni-like emission/absorption profiles with the blueshifted absorption extending to relative velocities of v = -800 km/s; however, the P-Cygni profiles give way to pure emission at large radii from the central galaxy. We have performed three-dimensional radiative transfer modeling to infer the geometry and velocity and density profiles of the outflowing gas. Our observations are most consistent with an isotropic outflow rather than biconical wind models with half-opening angles phi <= 80 deg. Furthermore, our modeling suggests that a wind velocity profile that decreases with radius is necessary to reproduce the velocity widths and strengths of Mg II line emission profiles at large circumgalactic radii. The extent of the Mg II emission we measure directly is further corroborated by our modeling, where we rule out outflow models with extent <30 kpc.


title: Finding Direct-Collapse Black Holes at Birth

abstract: Direct-collapse black holes (DCBHs) are currently one of the leading contenders for the origins of the first quasars in the universe, over 300 of which have now been found at $z >$ 6. But the birth of a DCBH in an atomically-cooling halo does not by itself guarantee it will become a quasar by $z \sim$ 7, the halo must also be located in cold accretion flows or later merge with a series of other gas-rich halos capable of fueling the BH's rapid growth. Here, we present near infrared luminosities for DCBHs born in cold accretion flows in which they are destined to grow to 10$^9$ M$_{\odot}$ by $z \sim$ 7. Our observables, which are derived from cosmological simulations with radiation hydrodynamics with Enzo, reveal that DCBHs could be found by the James Webb Space Telescope at $z \lesssim$ 20 and strongly-lensed DCBHs might be found in future wide-field surveys by Euclid and the Wide-Field Infrared Space Telescope at $z \lesssim$ 15.


title: A large amount of diffuse molecular gases in the bar of the strongly barred galaxy NGC1300: Cause of the low star formation efficiency

abstract: In many barred galaxies, star formation efficiency (SFE) in the bar is lower than those in the arm and bar-end, and its cause has still not been clear. Focusing on the strongly barred galaxy NGC 1300, we investigate the possibility that the presence of a large amount of diffuse molecular gas, which would not contribute to the SF, makes the SFE low in appearance. We examine the relation between the SFE and the diffuse molecular gas fraction ($f_{\rm dif}$), which is derived using the $^{12}$CO($1-0$) flux obtained from the interferometer of ALMA 12-m array, which has no sensitivity on diffuse (extended; FWHM $\gtrapprox 700$ pc) molecular gases due to the lack of ACA, and the total $^{12}$CO($1-0$) flux obtained from Nobeyama 45-m single-dish telescope. We find that the SFE decreases with increasing $f_{\rm dif}$. The $f_{\rm dif}$ and ${\rm SFE}$ are $0.74 - 0.91$ and $(0.06 - 0.16) ~\rm Gyr^{-1}$ in the bar regions, and $0.28 - 0.65$ and $(0.23 - 0.96) ~\rm Gyr^{-1}$ in the arm and bar-end regions. This result supports the idea that the presence of a large amount of diffuse molecular gas makes the SFE low. The suppression of the SFE in the bar has also been seen even when we exclude the diffuse molecular gas components. This suggests that the low SFE appears to be caused not only by a large amount of diffuse molecular gases but also by other mechanisms such as fast cloud-cloud collisions.


title: Simulating the Multi-Epoch Direct Detection Technique to Isolate the Thermal Emission of the Non-Transiting Hot Jupiter HD187123B

abstract: We report the 6.5$\sigma$ detection of water from the hot Jupiter HD187123b with a Keplerian orbital velocity $K_p$ of 53 $\pm$ 13 km/s. This high confidence detection is made using a multi-epoch, high resolution, cross correlation technique, and corresponds to a planetary mass of 1.4$^{+0.5}_{-0.3}$ $M_J$ and an orbital inclination of 21 $\pm$ 5$^{\circ}$. The technique works by treating the planet/star system as a spectroscopic binary and obtaining high signal-to-noise, high resolution observations at multiple points across the planet's orbit to constrain the system's binary dynamical motion. All together, seven epochs of Keck/NIRSPEC $L$-band observations were obtained, with five before the instrument upgrade and two after. Using high resolution SCARLET planetary and PHOENIX stellar spectral models, along with a line-by-line telluric absorption model, we were able to drastically increase the confidence of the detection by running simulations that could reproduce, and thus remove, the non-random structured noise in the final likelihood space well. The ability to predict multi-epoch results will be extremely useful for furthering the technique. Here, we use these simulations to compare three different approaches to combining the cross correlations of high resolution spectra and find that the Zucker 2003 log(L) approach is least affected by unwanted planet/star correlation for our HD187123 data set. Furthermore, we find that the same total S/N spread across an orbit in many, lower S/N epochs rather than fewer, higher S/N epochs could provide a more efficient detection. This work provides a necessary validation of multi-epoch simulations which can be used to guide future observations and will be key to studying the atmospheres of further separated, non-transiting exoplanets.


title: S-duality and correlation functions at large R-charge

abstract: We study the ratio of pairs of adjacent correlators of Coulomb-branch operators in $SU(2)$ $\mathcal{N}=2$ SQCD with four flavors within the framework of the Large Quantum Number Expansion. Capitalizing on the order-by-order S-duality invariance of the large-R-charge expansion we compute ab initio the dependence of the leading large-$\mathcal{J}$ behavior on the marginal coupling $\tau$ and we find excellent agreement with numerical estimates from localization.


title: Probing neutrino quantum decoherence at reactor experiments

abstract: We explore how well reactor antineutrino experiments can constrain or measure the loss of quantum coherence in neutrino oscillations. We assume that decoherence effects are encoded in the size of the neutrino wave-packet, $\sigma$. We find that the current experiments Daya Bay and the Reactor Experiment for Neutrino Oscillation (RENO) already constrain $\sigma>1.0\times 10^{-4}$ nm and estimate that future data from the Jiangmen Underground Neutrino Observatory (JUNO) would be sensitive to $\sigma<2.1\times 10^{-3}$ nm. If the effects of loss of coherence are within the sensitivity of JUNO, we expect $\sigma$ to be measured with good precision. The discovery of nontrivial decoherence effects in JUNO would indicate that our understanding of the coherence of neutrino sources is, at least, incomplete.


title: Holographic quantum algorithms for simulating correlated spin systems

abstract: We present a suite of "holographic" quantum algorithms for efficient ground-state preparation and dynamical evolution of correlated spin-systems, which require far-fewer qubits than the number of spins being simulated. The algorithms exploit the equivalence between matrix-product states (MPS) and quantum channels, along with partial measurement and qubit re-use, in order to simulate a $D$-dimensional spin system using only a ($D$-1)-dimensional subset of qubits along with an ancillary qubit register whose size scales logarithmically in the amount of entanglement present in the simulated state. Ground states can either be directly prepared from a known MPS representation, or obtained via a holographic variational quantum eigensolver (holoVQE). Dynamics of MPS under local Hamiltonians for time $t$ can also be simulated with an additional (multiplicative) ${\rm poly}(t)$ overhead in qubit resources. These techniques open the door to efficient quantum simulation of MPS with exponentially large bond-dimension, including ground-states of 2D and 3D systems, or thermalizing dynamics with rapid entanglement growth. As a demonstration of the potential resource savings, we implement a holoVQE simulation of the antiferromagnetic Heisenberg chain on a trapped-ion quantum computer, achieving within $10(3)\%$ of the exact ground-state energy of an infinite chain using only a pair of qubits.


title: A detailed look at the stellar populations in green valley galaxies

abstract: $\require{mediawiki-texvc}$The green valley (GV) represents an important transitional state from actively star-forming galaxies to passively evolving systems. Its traditional definition, based on colour, rests on a number of assumptions that can be subject to non-trivial systematics. In Angthopo et al. (2019), we proposed a new definition of the GV based on the 4000$\AA$ break strength. In this paper, we explore in detail the properties of the underlying stellar populations by use of ~230 thousand high-quality spectra from the Sloan Digital Sky Survey (SDSS), contrasting our results with a traditional approach via dust-corrected colours. We explore high quality stacked SDSS spectra, and find a population trend that suggests a substantial difference between low- and high-mass galaxies, with the former featuring younger populations with star formation quenching, and the latter showing older (post-quenching) populations that include rejuvenation events. Subtle but measurable differences are found between a colour-based approach and our definition, especially as our selection of GV galaxies produces a cleaner "stratification" of the GV, with more homogeneous population properties within sections of the GV. Our definition based on 4000$\AA$ break strength gives a clean representation of the transition to quiescence, easily measurable in the upcoming and future spectroscopic surveys.


title: The twisted dark matter halo of the Milky Way

abstract: We analyse systems analogous to the Milky Way (MW) in the EAGLE cosmological hydrodynamics simulation in order to deduce the likely structure of the MW's dark matter halo. We identify MW-mass haloes in the simulation whose satellite galaxies have similar kinematics and spatial distribution to those of the bright satellites of the MW, specifically systems in which the majority of the satellites (8 out of 11) have nearly co-planar orbits that are also perpendicular to the central stellar disc. We find that the normal to the common orbital plane of the co-planar satellites is well aligned with the minor axis of the host dark matter halo, with a median misalignment angle of only $17.3^\circ$. Based on this result, we infer that the minor axis of the Galactic dark matter halo points towards $(l,b)=(182^\circ,-2^\circ)$, with an angular uncertainty at the 68 and 95 percentile confidence levels of 22$^\circ$ and 43$^\circ$ respectively. Thus, the inferred minor axis of the MW halo lies in the plane of the stellar disc. The halo, however, is not homologous and its flattening and orientation vary with radius. The inner parts of the halo are rounder than the outer parts and well-aligned with the stellar disc (that is the minor axis of the halo is perpendicular to the disc). Further out, the halo twists and the minor axis changes direction by $90^\circ$. This twist occurs over a very narrow radial range and reflects variations in the filamentary network along which mass was accreted into the MW.


title: Multiple-Scales Approach to The Averaging Problem in Cosmology

abstract: The Universe is homogeneous and isotropic on large scales, so on those scales it is usually modelled as a Friedmann-Lema\^{i}tre-Robertson-Walker (FLRW) space-time. The non-linearity of the Einstein field equations raises concern over averaging over small-scale deviations form homogeneity and isotropy, with possible implications on the applicability of the FLRW metric to the Universe, even on large scales. Here I present a technique, based on the multiple-scales method of singular perturbation theory, to handle the small-scale inhomogeneities consistently. I obtain a leading order effective Einstein equation for the large-scale space-time metric, which contains a back-reaction term. The derivation relies on a series of consistency conditions, that ensure that the growth of deviations from the large-scale space-time metric do not grow unboundedly; criteria for their satisfiability are discussed, and it is shown that they are indeed satisfied if matter is non-relativistic on small scales. The analysis is performed in harmonic gauge, and conversion to other gauges is discussed. I estimate the magnitude of the back-reaction term relative to the critical density of the Universe in the example of an NFW halo, and find it to be of the order of a few percent. In this example, the back-reaction term is interpreted as a contribution of the energy-density of gravitational potential energy, averaged over the small-scale, to the total energy-momentum tensor.


title: A wide angle view of the Sagittarius dwarf spheroidal galaxy -- II. A CEMP-r/s star in the Sagittarius dwarf Spheroidal Galaxy

abstract: We report on the discovery and chemical abundance analysis of the first CEMP-r/s star detected in the Sagittarius dwarf Spheroidal Galaxy, by means of UVES high resolution spectra. The star, found in the outskirts of Sgr dSph, along the main body major axis, is a moderately metal poor giant (T$_{eff}$=4753 K, log g=1.75, [Fe/H]=-1.55), with [C/Fe]=1.13 placing it in the so-called "high-carbon band", and strong s-process and r-process enrichment ([Ba/Fe]=1.4, [Eu/Fe]=1.01). Abundances of 29 elements from C to Dy were obtained. The chemical pattern appears to be best fitted by a scenario where an r-process pollution event pre-enriched the material out of which the star was born as secondary in a binary system whose primary evolved through the AGB phase, providing C and s-process enrichment.


title: Accelerating black holes: quasinormal modes and late-time tails

abstract: Black holes found in binaries move at very high velocities relative to our own reference frame and can accelerate due to the emission of gravitational radiation. Here, we investigate the numerical stability and late-time behavior of linear scalar perturbations in accelerating black holes described by the $C-$metric. We identify a family of quasinormal modes associated with the photon surface and a brand new family of purely imaginary modes associated with the boost parameter of the accelerating black hole spacetime. When the accelerating black hole is charged, we find a third family of modes which dominates the ringdown waveform near extremality. Our frequency and time domain analysis indicate that such spacetimes are stable under scalar fluctuations, while the late-time behavior follows an exponential decay law, dominated by quasinormal modes. This result is in contrast with the common belief that such perturbations, for black holes without a cosmological constant, always have a power-law cutoff. In this sense, our results suggest that the asymptotic structure of black hole backgrounds does not always dictate how radiative fields behave at late times.


title: Random-bond disorder in two-dimensional non-collinear XY antiferromagnets: From quasi-long-range order to spin glass

abstract: We study effects of quenched bond disorder in frustrated easy-plane antiferromagnets in two space dimensions, using a combination of analytical and numerical techniques. We consider local-moment systems which display non-collinear long-range order at zero temperature, with the antiferromagnetic triangular-lattice XY model as a prime example. We show that (i) weak bond disorder transforms the clean ground state into a state with quasi-long-range order, and (ii) strong bond disorder results in a short-range-ordered glassy ground state. Using extensive Monte Carlo simulations, we also track the fate of the quasi-long-range-ordered phase at finite temperature and the associated Kosterlitz-Thouless-like transition. Making contact with previous studies of disordered XY models, we discuss similarities and differences concerning the interplay of disorder and frustration. Our results are also of relevance to non-collinear Heisenberg magnets in an external magnetic field.


title: Observability of Dark Matter Substructure with Pulsar Timing Correlations

abstract: Dark matter substructure on small scales is currently weakly constrained, and its study may shed light on the nature of the dark matter. In this work we study the gravitational effects of dark matter substructure on measured pulsar phases in pulsar timing arrays (PTAs). Due to the stability of pulse phases observed over several years, dark matter substructure around the Earth-pulsar system can imprint discernible signatures in gravitational Doppler and Shapiro delays. We compute pulsar phase correlations induced by general dark matter substructure, and project constraints for a few models such as monochromatic primordial black holes (PBHs), and Cold Dark Matter (CDM)-like NFW subhalos. This work extends our previous analysis, which focused on static or single transiting events, to a stochastic analysis of multiple transiting events. We find that stochastic correlations, in a PTA similar to the Square Kilometer Array (SKA), are uniquely powerful to constrain subhalos as light as $\sim 10^{-13}~M_\odot$, with concentrations as low as that predicted by standard CDM.