title: Real-Time Resource Allocation for Wireless Powered Multiuser Mobile Edge Computing With Energy and Task Causality

abstract: This paper considers a wireless powered multiuser mobile edge computing (MEC) system, in which a multi-antenna hybrid access point (AP) wirelessly charges multiple users, and each user relies on the harvested energy to execute computation tasks. We jointly optimize the energy beamforming and remote task execution at the AP, as well as the local computing and task offloading, aiming to minimize the total system energy consumption over a finite time horizon, subject to causality constraints for both energy harvesting and task arrival at the users. In particular, we consider a practical scenario with casual task state information (TSI) and channel state information (CSI), i.e., only the current and previous TSI and CSI are available, but the future TSI and CSI can only be predicted subject to certain errors. To solve this real-time resource allocation problem, we propose an offline-optimization inspired online design approach. First, we consider the offline optimization case by assuming that the TSI and CSI are perfectly known a-priori. In this case, the energy minimization problem corresponds to a convex problem, for which the semi-closed-form optimal solution is obtained via the Lagrange duality method. Next, inspired by the optimal offline solution, we propose a sliding-window based online resource allocation design in practical cases by integrating with the sequential optimization. Finally, numerical results show that the proposed joint wireless powered MEC designs significantly improve the system's energy efficiency, as compared with the benchmark schemes that consider a sliding window of size one or without such joint optimization.


title: Twisted differential operators and $q$-crystals

abstract: We discuss the notion of a q-PD-envelope considered by Bhatt and Scholze in their recent theory of q-crystalline cohomology and explain the relation with our notion of a divided polynomial twisted algebra. Together with an interpretation of crystals on the q-crystalline site, that we call q-crystals, as modules endowed with some kind of stratification, it allows us to associate a module on the ring of twisted differential operators to any q-crystal. For simplicity, we explain here only the one dimensional case.


title: Real-Time Optimal Lithium-Ion Battery Charging Based on Explicit Model Predictive Control

abstract: The rapidly growing use of lithium-ion batteries across various industries highlights the pressing issue of optimal charging control, as charging plays a crucial role in the health, safety and life of batteries. The literature increasingly adopts model predictive control (MPC) to address this issue, taking advantage of its capability of performing optimization under constraints. However, the computationally complex online constrained optimization intrinsic to MPC often hinders real-time implementation. This paper is thus proposed to develop a framework for real-time charging control based on explicit MPC (eMPC), exploiting its advantage in characterizing an explicit solution to an MPC problem, to enable real-time charging control. The study begins with the formulation of MPC charging based on a nonlinear equivalent circuit model. Then, multi-segment linearization is conducted to the original model, and applying the eMPC design to the obtained linear models leads to a charging control algorithm. The proposed algorithm shifts the constrained optimization to offline by precomputing explicit solutions to the charging problem and expressing the charging law as piecewise affine functions. This drastically reduces not only the online computational costs in the control run but also the difficulty of coding. Extensive numerical simulation and experimental results verify the effectiveness of the proposed eMPC charging control framework and algorithm. The research results can potentially meet the needs for real-time battery management running on embedded hardware.


title: Automated Retrieval of ATT&CK Tactics and Techniques for Cyber Threat Reports

abstract: Over the last years, threat intelligence sharing has steadily grown, leading cybersecurity professionals to access increasingly larger amounts of heterogeneous data. Among those, cyber attacks' Tactics, Techniques and Procedures (TTPs) have proven to be particularly valuable to characterize threat actors' behaviors and, thus, improve defensive countermeasures. Unfortunately, this information is often hidden within human-readable textual reports and must be extracted manually. In this paper, we evaluate several classification approaches to automatically retrieve TTPs from unstructured text. To implement these approaches, we take advantage of the MITRE ATT&CK framework, an open knowledge base of adversarial tactics and techniques, to train classifiers and label results. Finally, we present rcATT, a tool built on top of our findings and freely distributed to the security community to support cyber threat report automated analysis.


title: Structural relaxation and low energy properties of Twisted Bilayer Graphene

abstract: The structural and electronic properties of twisted bilayer graphene are investigated from first principles and tight binding approach as a function of the twist angle (ranging from the first "magic" angle $\theta=1.08^\circ$ to $\theta=3.89^\circ$, with the former corresponding to the largest unit cell, comprising 11164 carbon atoms). By properly taking into account the long-range van der Waals interaction, we provide the patterns for the atomic displacements (with respect to the ideal twisted bilayer). The out-of-plane relaxation shows an oscillating ("buckling") behavior, very evident for the smallest angles, with the atoms around the AA stacking regions interested by the largest displacements. The out-of-plane displacements are accompanied by a significant in-plane relaxation, showing a vortex-like pattern, where the vorticity (intended as curl of the displacement field) is reverted when moving from the top to the bottom plane and viceversa. Overall, the atomic relaxation results in the shrinking of the AA stacking regions in favor of the more energetically favorable AB/BA stacking domains. The measured flat bands emerging at the first magic angle can be accurately described only if the atomic relaxations are taken into account. Quite importantly, the experimental gaps separating the flat band manifold from the higher and lower energy bands cannot be reproduced if only in-plane or only out-of-plane relaxations are considered. The stability of the relaxed bilayer at the first magic angle is estimated to be of the order of 0.5-0.9 meV per atom (or 7-10 K). Our calculations shed light on the importance of an accurate description of the vdW interaction and of the resulting atomic relaxation to envisage the electronic structure of this really peculiar kind of vdW bilayers.


title: Remarks on parabolic De Giorgi classes

abstract: We make several remarks concerning properties of functions in parabolic De Giorgi classes of order $p$. There are new perspectives including a novel mechanism of propagating positivity in measure, the reservation of membership under convex composition, and a logarithmic type estimate. Based on them, we are able to give new proofs of known properties. In particular, we prove local boundedness and local H\"older continuity of these functions via Moser's ideas, thus avoiding De Giorgi's heavy machinery. We also seize this opportunity to give a transparent proof of a weak Harnack inequality for non-negative members of some super-class of De Giorgi, without any covering argument.


title: Don't Neglect the Obvious: On the Role of Unambiguous Words in Word Sense Disambiguation

abstract: State-of-the-art methods for Word Sense Disambiguation (WSD) combine two different features: the power of pre-trained language models and a propagation method to extend the coverage of such models. This propagation is needed as current sense-annotated corpora lack coverage of many instances in the underlying sense inventory (usually WordNet). At the same time, unambiguous words make for a large portion of all words in WordNet, while being poorly covered in existing sense-annotated corpora. In this paper, we propose a simple method to provide annotations for most unambiguous words in a large corpus. We introduce the UWA (Unambiguous Word Annotations) dataset and show how a state-of-the-art propagation-based model can use it to extend the coverage and quality of its word sense embeddings by a significant margin, improving on its original results on WSD.


title: Seeing voices and hearing voices: learning discriminative embeddings using cross-modal self-supervision

abstract: The goal of this work is to train discriminative cross-modal embeddings without access to manually annotated data. Recent advances in self-supervised learning have shown that effective representations can be learnt from natural cross-modal synchrony. We build on earlier work to train embeddings that are more discriminative for uni-modal downstream tasks. To this end, we propose a novel training strategy that not only optimises metrics across modalities, but also enforces intra-class feature separation within each of the modalities. The effectiveness of the method is demonstrated on two downstream tasks: lip reading using the features trained on audio-visual synchronisation, and speaker recognition using the features trained for cross-modal biometric matching. The proposed method outperforms state-of-the-art self-supervised baselines by a signficant margin.


title: UDapter: Language Adaptation for Truly Universal Dependency Parsing

abstract: Recent advances in multilingual dependency parsing have brought the idea of a truly universal parser closer to reality. However, cross-language interference and restrained model capacity remain major obstacles. To address this, we propose a novel multilingual task adaptation approach based on contextual parameter generation and adapter modules. This approach enables to learn adapters via language embeddings while sharing model parameters across languages. It also allows for an easy but effective integration of existing linguistic typology features into the parsing network. The resulting parser, UDapter, outperforms strong monolingual and multilingual baselines on the majority of both high-resource and low-resource (zero-shot) languages, showing the success of the proposed adaptation approach. Our in-depth analyses show that soft parameter sharing via typological features is key to this success.


title: Penalized Semidefinite Programming for Quadratically-Constrained Quadratic Optimization

abstract: In this paper, we give a new penalized semidefinite programming approach for non-convex quadratically-constrained quadratic programs (QCQPs). We incorporate penalty terms into the objective of convex relaxations in order to retrieve feasible and near-optimal solutions for non-convex QCQPs. We introduce a generalized linear independence constraint qualification (GLICQ) criterion and prove that any GLICQ regular point that is sufficiently close to the feasible set can be used to construct an appropriate penalty term and recover a feasible solution. Inspired by these results, we develop a heuristic sequential procedure that preserves feasibility and aims to improve the objective value at each iteration. Numerical experiments on large-scale system identification problems as well as benchmark instances from the library of quadratic programming (QPLIB) demonstrate the ability of the proposed penalized semidefinite programs in finding near-optimal solutions for non-convex QCQP.


title: Google Scholar, Microsoft Academic, Scopus, Dimensions, Web of Science, and OpenCitations' COCI: a multidisciplinary comparison of coverage via citations

abstract: New sources of citation data have recently become available, such as Microsoft Academic, Dimensions, and the OpenCitations Index of CrossRef open DOI-to-DOI citations (COCI). Although these have been compared to the Web of Science (WoS), Scopus, or Google Scholar, there is no systematic evidence of their differences across subject categories. In response, this paper investigates 3,073,351 citations found by these six data sources to 2,515 English-language highly-cited documents published in 2006 from 252 subject categories, expanding and updating the largest previous study. Google Scholar found 88% of all citations, many of which were not found by the other sources, and nearly all citations found by the remaining sources (89%-94%). A similar pattern held within most subject categories. Microsoft Academic is the second largest overall (60% of all citations), including 82% of Scopus citations and 86% of Web of Science citations. In most categories, Microsoft Academic found more citations than Scopus and WoS (182 and 223 subject categories, respectively), but had coverage gaps in some areas, such as Physics and some Humanities categories. After Scopus, Dimensions is fourth largest (54% of all citations), including 84% of Scopus citations and 88% of WoS citations. It found more citations than Scopus in 36 categories, more than WoS in 185, and displays some coverage gaps, especially in the Humanities. Following WoS, COCI is the smallest, with 28% of all citations. Google Scholar is still the most comprehensive source. In many subject categories Microsoft Academic and Dimensions are good alternatives to Scopus and WoS in terms of coverage.


title: On the convergence complexity of Gibbs samplers for a family of simple Bayesian random effects models

abstract: The emergence of big data has led to so-called convergence complexity analysis, which is the study of how Markov chain Monte Carlo (MCMC) algorithms behave as the sample size, $n$, and/or the number of parameters, $p$, in the underlying data set increase. This type of analysis is often quite challenging, in part because existing results for fixed $n$ and $p$ are simply not sharp enough to yield good asymptotic results. One of the first convergence complexity results for an MCMC algorithm on a continuous state space is due to Yang and Rosenthal (2019), who established a mixing time result for a Gibbs sampler (for a simple Bayesian random effects model) that was introduced and studied by Rosenthal (1996). The asymptotic behavior of the spectral gap of this Gibbs sampler is, however, still unknown. We use a recently developed simulation technique (Qin et. al., 2019) to provide substantial numerical evidence that the gap is bounded away from 0 as $n \rightarrow \infty$. We also establish a pair of rigorous convergence complexity results for two different Gibbs samplers associated with a generalization of the random effects model considered by Rosenthal (1996). Our results show that, under strong regularity conditions, the spectral gaps of these Gibbs samplers converge to 1 as the sample size increases.


title: Using smartphones and wearable devices to monitor behavioural changes during COVID-19

abstract: We aimed to explore the utility of the recently developed open-source mobile health platform RADAR-base as a toolbox to rapidly test the effect and response to NPIs aimed at limiting the spread of COVID-19. We analysed data extracted from smartphone and wearable devices and managed by the RADAR-base from 1062 participants recruited in Italy, Spain, Denmark, the UK, and the Netherlands. We derived nine features on a daily basis including time spent at home, maximum distance travelled from home, maximum number of Bluetooth-enabled nearby devices (as a proxy for physical distancing), step count, average heart rate, sleep duration, bedtime, phone unlock duration, and social app use duration. We performed Kruskal-Wallis tests followed by post-hoc Dunns tests to assess differences in these features among baseline, pre-, and during-lockdown periods. We also studied behavioural differences by age, gender, body mass index (BMI), and educational background. We were able to quantify expected changes in time spent at home, distance travelled, and the number of nearby Bluetooth-enabled devices between pre- and during-lockdown periods. We saw reduced sociality as measured through mobility features, and increased virtual sociality through phone usage. People were more active on their phones, spending more time using social media apps, particularly around major news events. Furthermore, participants had lower heart rate, went to bed later, and slept more. We also found that young people had longer homestay than older people during lockdown and fewer daily steps. Although there was no significant difference between the high and low BMI groups in time spent at home, the low BMI group walked more. RADAR-base can be used to rapidly quantify and provide a holistic view of behavioural changes in response to public health interventions as a result of infectious outbreaks such as COVID-19.


title: Populations in environments with a soft carrying capacity are eventually extinct

abstract: Consider a population whose size changes stepwise by its members reproducing or dying (disappearing), but is otherwise quite general. Denote the initial (non-random) size by $Z_0$ and the size of the $n$th change by $C_n$, $n= 1, 2, \ldots$. Population sizes hence develop successively as $Z_1=Z_0+C_1,\ Z_2=Z_1+C_2$ and so on, indefinitely or until there are no further size changes, due to extinction. Extinction is thus assumed final, so that $Z_n=0$ implies that $Z_{n+1}=0$, without there being any other finite absorbing class of population sizes. We make no assumptions about the time durations between the successive changes. In the real world, or more specific models, those may be of varying length, depending upon individual life span distributions and their interdependencies, the age-distribution at hand and intervening circumstances. Changes may have quite varying distributions. The basic assumption is that there is a {\em carrying capacity}, i.e. a non-negative number $K$ such that the conditional expectation of the change, given the complete past history, is non-positive whenever the population exceeds the carrying capacity. Further, to avoid unnecessary technicalities, we assume that the change $C_n$ equals -1 (one individual dying) with a conditional (given the past) probability uniformly bounded away from 0. It is a simple and not very restrictive way to avoid parity phenomena, it is related to irreducibility in Markov settings. The straightforward, but in contents and implications far-reaching, consequence is that all such populations must die out. Mathematically, it follows by a submartingale convergence property and positive probability of reaching the absorbing extinction state.


title: A methodology to evaluate the evolution of networks using topological data analysis

abstract: Networks are important representations in computer science to communicate structural aspects of a given system of interacting components. The evolution of a network has several topological properties that can provide us information on the network itself. In this paper, we present a methodology to compare the the topological characteristics of the evolution of a network, encoded into a (persistence) diagram that tracks the lifetimes of those features. This will enable us to classify the evolution of networks based on the distance between the diagrams that represent such network evolution. In that, we also consider complex vectors that bring a complementary perspective to the distance-based classification that is closer to the computational methods, aims to enhance the computational efficiency of those comparisons, and that is by itself a source of open research questions.


title: Towards Understanding Man-on-the-Side Attacks (MotS) in SCADA Networks

abstract: We describe a new class of packet injection attacks called Man-on-the-Side Attacks (MotS), previously only seen where state actors have "compromised" a number of telecommunication companies. MotS injection attacks have not been widely investigated in scientific literature, despite having been discussed by news outlets and security blogs. MotS came to attention after the Edward Snowden revelations, which described large scale pervasive monitoring of the Internet's infrastructure. For an advanced adversary attempting to interfere with IT connected systems, the next logical step is to adapt this class of attack to a smaller scale, such as enterprise or critical infrastructure networks. MotS is a weaker form of attack compared to a Man-in-the-Middle (MitM). A MotS attack allows an adversary to read and inject packets, but not modify packets sent by other hosts. This paper presents practical experiments where we have implemented and performed MotS attacks against two testbeds: 1) on HTTP connections, by redirecting a victim to a host controlled by an adversary; and 2) on an Industrial Control network, where we inject falsified command responses to the victim. In both cases, the victims accept the injected packets without generating a suspiciously large number of unusual packets on the network. We then perform an analysis of three leading Network IDS to determine whether the attacks are detected, and discuss mitigation methods.


title: Raman spectroscopy of ion irradiated SiC: chemical defects, strain, annealing, and oxidation

abstract: Raman spectroscopy has been used to identify defective bonding in neon and silicon ion irradiated single crystals of 6H-SiC. Observable differences exist in the C-C bonding region corresponding to different defect structures for neon and silicon ion implantations. Raman spectra of ion irradiated SiC show less tensile strain than neutron irradiations, explained by a residual compressive stress caused by the swelling constrained by the undamaged substrate. Evidence of oxidation during high temperature ion implantation is observed as C-O and Si-O Raman signals. Annealing irradiated SiC while acquiring Raman spectra shows rapid recovery of Si-C bonding, but not a complete recovery of the unirradiated structure. Annealing irradiated SiC causes surface oxidation where unirradiated SiC does not oxidise. Comparisons are made to the apparent radiation resistance of diamond and silicon which have similar crystal structures, but are monatomic, leading to the suggestion that chemical defects are responsible for increased radiation damage in SiC.


title: Labyrinth walks: An elegant chaotic conservative non-Hamiltonian system

abstract: In this paper, we show that "Labyrinth walks", the conservative version of "Labyrinth chaos" and member of the Thomas-R\"ossler class of systems, does not admit an autonomous Hamiltonian as a constant function in time, and as a consequence, does not admit a symplectic structure. However, it is conservative, and thus admits a vector potential, being at the same time chaotic. This exceptional set of properties makes "Labyrinth walks" an elegant example of a chaotic, conservative, non-Hamiltonian system, with only unstable stationary points in its phase space, arranged in a 3-dimensional grid. As a consequence, "Labyrinth walks", even though is a deterministic system, it exhibits motion reminiscent of fractional Brownian motion in stochastic systems!


title: Performance satisfaction in Harpy, a thruster-assisted bipedal robot

abstract: We will report our efforts in designing feedback for the thruster-assisted walking of a bipedal robot. We will assume for well-tuned supervisory controllers and will focus on fine-tuning the desired joint trajectories to satisfy the performance being sought. In doing this, we will devise an intermediary filter based on the emerging idea of reference governors. Since these modifications and impact events lead to deviations from the desired periodic orbits, we will guarantee hybrid invariance in a robust fashion by applying predictive schemes within a short time envelope during the double support phase of a gait cycle. To achieve the hybrid invariance, we will leverage the unique features in our robot, i.e., the thruster.


title: Beyond Instructional Videos: Probing for More Diverse Visual-Textual Grounding on YouTube

abstract: Pretraining from unlabelled web videos has quickly become the de-facto means of achieving high performance on many video understanding tasks. Features are learned via prediction of grounded relationships between visual content and automatic speech recognition (ASR) tokens. However, prior pretraining work has been limited to only instructional videos; a priori, we expect this domain to be relatively "easy:" speakers in instructional videos will often reference the literal objects/actions being depicted. We ask: can similar models be trained on more diverse video corpora? And, if so, what types of videos are "grounded" and what types are not? We fit a representative pretraining model to the diverse YouTube8M dataset, and study its success and failure cases. We find that visual-textual grounding is indeed possible across previously unexplored video categories, and that pretraining on a more diverse set results in representations that generalize to both non-instructional and instructional domains.


title: Classical Communications with Indefinite Causal Order for $N$ completely depolarizing channels

abstract: If two identical copies of a completely depolarizing channel are put into a superposition of their possible causal orders, they can transmit non-zero classical information. Here, we study how well we can transmit classical information with $N$ depolarizing channels put in superposition of $M$ causal orders via quantum SWITCH. We calculate Holevo quantity if the superposition uses only cyclic permutations of channels and find that it increases with $M$ and it is independent of $N$. For a qubit it never reaches $1$ if we are increasing $M$. On the other hand, the classical capacity decreases with the dimension $d$ of the message system. Further, for $N=3$ and $N=4$ we studied superposition of all causal orders and uniformly superposed causal orders belonging to different cosets created by cyclic permutation subgroup.


title: WoodFisher: Efficient Second-Order Approximation for Neural Network Compression

abstract: Second-order information, in the form of Hessian- or Inverse-Hessian-vector products, is a fundamental tool for solving optimization problems. Recently, there has been significant interest in utilizing this information in the context of deep neural networks; however, relatively little is known about the quality of existing approximations in this context. Our work examines this question, identifies issues with existing approaches, and proposes a method called WoodFisher to compute a faithful and efficient estimate of the inverse Hessian. Our main application is to neural network compression, where we build on the classic Optimal Brain Damage/Surgeon framework. We demonstrate that WoodFisher significantly outperforms popular state-of-the-art methods for one-shot pruning. Further, even when iterative, gradual pruning is considered, our method results in a gain in test accuracy over the state-of-the-art approaches, for pruning popular neural networks (like ResNet-50, MobileNetV1) trained on standard image classification datasets such as ImageNet ILSVRC. We examine how our method can be extended to take into account first-order information, as well as illustrate its ability to automatically set layer-wise pruning thresholds and perform compression in the limited-data regime. The code is available at the following link, https://github.com/IST-DASLab/WoodFisher.


title: Extending machine learning classification capabilities with histogram reweighting

abstract: We propose the use of Monte Carlo histogram reweighting to extrapolate predictions of machine learning methods. In our approach, we treat the output from a convolutional neural network as an observable in a statistical system, enabling its extrapolation over continuous ranges in parameter space. We demonstrate our proposal using the phase transition in the two-dimensional Ising model. By interpreting the output of the neural network as an order parameter, we explore connections with known observables in the system and investigate its scaling behaviour. A finite size scaling analysis is conducted based on quantities derived from the neural network that yields accurate estimates for the critical exponents and the critical temperature. The method improves the prospects of acquiring precision measurements from machine learning in physical systems without an order parameter and those where direct sampling in regions of parameter space might not be possible.

categories: cond-mat.stat-mech cond-mat.dis-nn cs.LG hep-lat physics.comp-ph


title: Solving Nonsmooth Nonconvex Compound Stochastic Programs with Applications to Risk Measure Minimization

abstract: This paper studies a structured compound stochastic program (SP) involving multiple expectations coupled by nonconvex and nonsmooth functions. We present a successive convex-programming based sampling algorithm and establish its subsequential convergence. We describe stationarity properties of the limit points for several classes of the compound SP. We further discuss probabilistic stopping rules based on the computable error-bound for the algorithm. We present several risk measure minimization problems that can be formulated as such a compound stochastic program; these include generalized deviation optimization problems based on optimized certainty equivalent and buffered probability of exceedance (bPOE), a distributionally robust bPOE optimization problem, and a multiclass classification problem employing the cost-sensitive error criteria with bPOE risk measure.


title: Homotopy Coherent Mapping Class Group Actions and Excision for Hochschild Complexes of Modular Categories

abstract: Given any modular category $\mathcal{C}$ over an algebraically closed field $k$, we extract a sequence $(M_g)_{g\geq 0}$ of $\mathcal{C}$-bimodules. We show that the Hochschild chain complex $CH(\mathcal{C};M_g)$ of $\mathcal{C}$ with coefficients in $M_g$ carries a canonical homotopy coherent projective action of the mapping class group of the surface of genus $g+1$. The ordinary Hochschild complex of $\mathcal{C}$ corresponds to $CH(\mathcal{C};M_0)$. This result is obtained as part of the following more comprehensive topological structure: We construct a symmetric monoidal functor $\mathfrak{F}_{\mathcal{C}}:\mathcal{C}\text{-}\mathsf{Surf}^{\mathsf{c}}\to\mathsf{Ch}_k$ with values in chain complexes over $k$ defined on a symmetric monoidal category of surfaces whose boundary components are labeled with projective objects in $\mathcal{C}$. The functor $\mathfrak{F}_{\mathcal{C}}$ satisfies an excision property which is formulated in terms of homotopy coends. In this sense, any modular category gives naturally rise to a modular functor with values in chain complexes. In zeroth homology, it recovers Lyubashenko's mapping class group representations. The chain complexes in our construction are explicitly computable by choosing a marking on the surface, i.e. a cut system and a certain embedded graph. For our proof, we replace the connected and simply connected groupoid of cut systems that appears in the Lego-Teichm\"uller game by a contractible Kan complex.


title: Advancing computerized cognitive training for early Alzheimer's disease in a Covid-19 pandemic and post-pandemic world

abstract: The COVID-19 pandemic has transformed mobile health applications and telemedicine from nice to have tools into essential healthcare infrastructure. This need is particularly great for the elderly who, due to their greater risk for infection, may avoid medical facilities or be required to self-isolate. These are also the very groups at highest risk for cognitive decline. For example, during the COVID-19 pandemic artificially intelligent conversational agents were employed by hospitals and government agencies (such as the CDC) to field queries from patients about symptoms and treatments. Digital health tools also proved invaluable to provide neuropsychiatric and psychological self-help to people isolated at home or in retirement centers and nursing homes.


title: Complete NLO QCD study of single- and double-quarkonium hadroproduction in the colour-evaporation model at the Tevatron and the LHC

abstract: We study the Single-Parton-Scattering (SPS) production of double quarkonia (J/psi+J/psi, J/psi+Upsilon, and Upsilon+Upsilon) in pp and pp(bar) collisions at the LHC and the Tevatron as measured by the CMS, ATLAS, LHCb, and D0 experiments in the Colour-Evaporation Model (CEM), based on the quark-hadron-duality, including Next-to-Leading Order (NLO) QCD corrections up to alpha_s^5. To do so, we also perform the first true NLO --up to alpha_s^4-- study of the p_T-differential cross section for single-quarkonium production. This allows us to fix the non-perturbative CEM parameters at NLO accuracy in the region where quarkonium-pair data are measured. Our results show that the CEM at NLO in general significantly undershoots these experimental data and, in view of the other existing SPS studies, confirm the need for Double Parton Scattering (DPS) to account for the data. Our NLO study of single-quarkonium production at mid and large p_T also confirms the difficulty of the approach to account for the measured p_T spectra; this is reminiscent of the impossibility to fit single-quarkonium data with the sole 3S18 NRQCD contribution from gluon fragmentation. We stress that the discrepancy occurs in a kinematical region where the new features of the improved CEM are not relevant.


title: Extended backward stochastic Volterra integral equations and their applications to time-inconsistent stochastic recursive control problems

abstract: In this paper, we study extended backward stochastic Volterra integral equations (EBSVIEs, for short). We establish the well-posedness under weaker assumptions than the literature, and prove a new kind of regularity property for the solutions. As an application, we investigate, in the open-loop framework, a time-inconsistent stochastic recursive control problem where the cost functional is defined by the solution to a backward stochastic Volterra integral equation (BSVIE, for short). We show that the corresponding adjoint equations become EBSVIEs, and provide a necessary and sufficient condition for an open-loop equilibrium control via variational methods.


title: A Machine Learning Classifier for Microlensing in Wide-Field Surveys

abstract: While microlensing is very rare, occurring on average once per million stars observed, current and near-future surveys are coming online with the capability of providing photometry of almost the entire visible sky to depths up to R ~ 22 mag or fainter every few days, which will contribute to the detection of black holes and exoplanets through follow-up observations of microlensing events. Based on galactic models, we can expect microlensing events across a vastly wider region of the galaxy, although the cadence of these surveys (2-3 per day ) is lower than traditional microlensing surveys, making efficient detection a challenge. Rapid advances are being made in the utility of time-series data to detect and classify transient events in real-time using very high data-rate surveys, but limited work has been published regarding the detection of microlensing events, particularly for when the data streams are of relatively low-cadence. In this research, we explore the utility of a Random Forest algorithm for identifying microlensing signals using time-series data, with the goal of creating an efficient machine learning classifier that can be applied to search for microlensing in wide-field surveys even with low-cadence data. We have applied and optimized our classifier using the OGLE-II microlensing dataset, in addition to testing with PTF/iPTF survey data and the currently operating ZTF, which applies the same data handling infrastructure that is envisioned for the upcoming LSST.

categories: astro-ph.IM astro-ph.EP astro-ph.GA astro-ph.SR


title: Injectivity of the Heisenberg X-ray Transform

abstract: We initiate the study of X-ray tomography on sub-Riemannian manifolds, for which the Heisenberg group exhibits the simplest nontrivial example. With the language of the group Fourier Transform, we prove an operator-valued incarnation of the Fourier Slice Theorem, and apply this new tool to show that a sufficiently regular function on the Heisenberg group is determined by its line integrals over sub-Riemannian geodesics. We also consider the family of taming metrics $g_\epsilon$ approximating the sub-Riemannian metric, and show that the associated X-ray transform is injective for all $\epsilon>0$. This result gives a concrete example of an injective X-ray transform in a geometry with an abundance of conjugate points.


title: Scalar-tensor theories of gravity, neutrino physics, and the $H_0$ tension

abstract: We use $Planck$ 2018 data to constrain the simplest models of scalar-tensor theories characterized by a coupling to the Ricci scalar of the type $F(\sigma) R$ with $F(\sigma) = N_{pl}^2 + \xi \sigma^2$. We update our results with previous $Planck$ and BAO data releases obtaining the tightest constraints to date on the coupling parameters, that is $\xi < 5.5 \times 10^{-4}$ for $N_{pl}=0$ (induced gravity or equivalently extended Jordan-Brans-Dicke) and $(N_{pl} \sqrt{8 \pi G})-1 < 1.8 \times 10^{-5}$ for $\xi = -1/6$ (conformal coupling), both at 95% CL. Because of a modified expansion history after radiation-matter equality compared to the $\Lambda$CDM model, all these dynamical models accommodate a higher value for $H_0$ and therefore alleviate the tension between $Planck$/BAO and distance-ladder measurement from SNe Ia data from $4.4\sigma$ at best to $2.3\sigma$. We show that all these results are robust to changes in the neutrino physics. In comparison to the $\Lambda$CDM model, partial degeneracies between neutrino physics and the coupling to the Ricci scalar allow for smaller values $N_{\rm eff} \sim 2.8$, $1\sigma$ lower compared to the standard $N_{\rm eff} = 3.046$, and relax the upper limit on the neutrino mass up to 40%.


title: A Larger Extent for the Ophiuchus Stream

abstract: We present new kinematic data for the Ophiuchus stellar stream. Spectra have been taken of member candidates at the MMT telescope using Hectospec, Hectochelle and Binospec, which provide more than 1800 new velocities. Combined with proper motion measurements of stars in the field by the Gaia - DR2 catalog, we have derived stream membership probabilities, resulting in the detection of more than 200 likely members. These data show the stream extends to more than three times the length shown in the discovery data. A spur to the main stream is also detected. The high resolution spectra allow us to resolve the stellar velocity dispersion, found to be $1.6 \pm 0.3 $ km/sec.


title: An Almost Exact Linear Complexity Algorithm of the Shortest Transformation of Chain-Cycle Graphs

abstract: A "genome structure" is a labeled directed graph with vertices of degree 1 or 2. A set of operations over such graphs is fixed, and each of the operations has a certain cost, a strictly positive number. The transformation problem consists in the following: for given structures a and b and given costs, find a minimum total cost sequence of operations transforming a into b ("the shortest transformation of a into b"). Each operation corresponds to an "event", the latter being a change in the graph caused by executing one of the operations over it. The possibility of assigning different costs is important in applications, since it allows to distinguish between frequent and rare events. Apparently, arbitrary costs make the problem NP-hard, which results in nontriviality of passing from one restriction on costs to another, if the problem is solved by a linear or at least polynomial algorithm (assuming that P is not equal NP). We propose a novel linear time and space algorithm which constructs a sequence of operations transforming a to b with total cost close or equal to the absolute minimum. Namely, if all the so-called DCJ operations have the same cost w and if deletions and insertions have costs either both larger or both less than w, then the algorithm outputs a transformation of a into b with the total cost differing from the absolute minimum by at most 2w (in the former case) or equal to it (in the latter case). In some cases, the algorithm outputs an exact solution, e.g., in the case of circular genome structures. The condition on the costs of deletions and insertions can be omitted (although the proof described below does not include this general case).


title: Two level branching model for virus population under cell division

abstract: In this paper we study a two-level branching model for virus populations under cell division. We assume that the cells are carrying virus populations which evolve as a branching particle system with competition, while the cells split according to a Yule process thereby dividing their virus populations into two independently evolving sub-populations. We then assume that sizes of the virus populations are huge and characterize the fast branching rate and huge population density limit as the solution of a well-posed martingale problem. While verifying tightness is quite standard, we provide a Feynman-Kac duality relation to conclude uniqueness. Moreover, the duality relation allows for a further study of the long term behavior of the model.


title: End-to-End Slot Alignment and Recognition for Cross-Lingual NLU

abstract: Natural language understanding (NLU) in the context of goal-oriented dialog systems typically includes intent classification and slot labeling tasks. Existing methods to expand an NLU system to new languages use machine translation with slot label projection from source to the translated utterances, and thus are sensitive to projection errors. In this work, we propose a novel end-to-end model that learns to align and predict target slot labels jointly for cross-lingual transfer. We introduce MultiATIS++, a new multilingual NLU corpus that extends the Multilingual ATIS corpus to nine languages across four language families, and evaluate our method using the corpus. Results show that our method outperforms a simple label projection method using fast-align on most languages, and achieves competitive performance to the more complex, state-of-the-art projection method with only half of the training time. We release our MultiATIS++ corpus to the community to continue future research on cross-lingual NLU.


title: Unveiling complex vector dark matter by magnetic field

abstract: We discuss the possibility that dark matter is made of a new complex massive vector field with a global $U(1)$-symmetry. The field interacts with the Standard Model via coupling to the gauge field of the hypercharge group. We study classical homogeneous configurations arising in the theory. Some of these configurations include magnetic components of the Standard Model electromagnetic field tensor. This opens a possibility to relate the origin of possible primordial magnetic fields to the cosmological evolution of vector dark matter condensates composed of magnetic bosons.


title: Learning to Learn to Disambiguate: Meta-Learning for Few-Shot Word Sense Disambiguation

abstract: The success of deep learning methods hinges on the availability of large training datasets annotated for the task of interest. In contrast to human intelligence, these methods lack versatility and struggle to learn and adapt quickly to new tasks, where labeled data is scarce. Meta-learning aims to solve this problem by training a model on a large number of few-shot tasks, with an objective to learn new tasks quickly from a small number of examples. In this paper, we propose a meta-learning framework for few-shot word sense disambiguation (WSD), where the goal is to learn to disambiguate unseen words from only a few labeled instances. Meta-learning approaches have so far been typically tested in an $N$-way, $K$-shot classification setting where each task has $N$ classes with $K$ examples per class. Owing to its nature, WSD deviates from this controlled setup and requires the models to handle a large number of highly unbalanced classes. We extend several popular meta-learning approaches to this scenario, and analyze their strengths and weaknesses in this new challenging setting.


title: AxCell: Automatic Extraction of Results from Machine Learning Papers

abstract: Tracking progress in machine learning has become increasingly difficult with the recent explosion in the number of papers. In this paper, we present AxCell, an automatic machine learning pipeline for extracting results from papers. AxCell uses several novel components, including a table segmentation subtask, to learn relevant structural knowledge that aids extraction. When compared with existing methods, our approach significantly improves the state of the art for results extraction. We also release a structured, annotated dataset for training models for results extraction, and a dataset for evaluating the performance of models on this task. Lastly, we show the viability of our approach enables it to be used for semi-automated results extraction in production, suggesting our improvements make this task practically viable for the first time. Code is available on GitHub.


title: Detecting Domain Polarity-Changes of Words in a Sentiment Lexicon

abstract: Sentiment lexicons are instrumental for sentiment analysis. One can use a set of sentiment words provided in a sentiment lexicon and a lexicon-based classifier to perform sentiment classification. One major issue with this approach is that many sentiment words are domain dependent. That is, they may be positive in some domains but negative in some others. We refer to this problem as domain polarity-changes of words. Detecting such words and correcting their sentiment for an application domain is very important. In this paper, we propose a graph-based technique to tackle this problem. Experimental results show its effectiveness on multiple real-world datasets.


title: Critical point fluctuations: Finite size and global charge conservation effects

abstract: We investigate simultaneous effects of finite system size and global charge conservation on thermal fluctuations in the vicinity of a critical point. For that we consider a finite interacting system which exchanges particles with a finite reservoir (thermostat), comprising a statistical ensemble that is distinct from the common canonical and grand canonical ensembles. As a particular example the van der Waals model is used. The global charge conservation effects strongly influence the cumulants of particle number distribution when the system size is comparable to that of the reservoir. If the system size is large enough to capture all the physics associated with the interactions, the global charge conservation effects can be accurately described and corrected for analytically, within a recently developed subensemble acceptance method. The finite size effects start to play a significant role when the correlation length grows large due to proximity of the critical point or when the system is small enough to be comparable to an eigenvolume of an individual particle. We discuss our results in the context of fluctuation measurements in heavy-ion collisions.


title: Steady Euler flows on the 3-sphere and other Sasakian 3-manifolds

abstract: We present new steady Euler solutions on the (round) 3-sphere, that bifurcate from an ansatz proposed by Khesin, Kuksin and Peralta-Salas, showing that these previously known solutions are not isolated. We also extend this ansatz to any Sasakian 3-manifold, such as the Heisenberg group and $SL(2, \mathbb{R})$.


title: Big Fish, Little Fish, Critical Infrastructure: An Analysis of Phineas Fisher and the 'Hacktivist' Threat to Critical Infrastructure

abstract: The hacktivist threat actor is listed in many risk decision documents. Yet their tactics and techniques often remain a mystery. We create a MITRE ATT&CK (ATT&CK) model of a well known hacktivist who goes under the pseudonym of Phineas Fisher, and map that threat to critical infrastructure. The analysis is derived from hacker manifestos, journalist reporting, and official government documentation. This analysis fills a gap in current threat models, to better define what skills and methods a determined hacker might employ. This paper also identifies seven essential mitigations which can be deployed by critical infrastructure operations and asset owners, to prevent such intrusions by hacktivists. We are in the process of contributing this threat actor into the ATT&CK knowledge base.


title: Confluence of algebraic rewriting systems

abstract: Convergent rewriting systems on algebraic structures give methods to solve decision problems, to prove coherence results, and to compute homological invariants. These methods are based on higher-dimensional extensions of the critical branching lemma that proves local confluence from confluence of the critical branchings. The analysis of local confluence of rewriting systems on algebraic structures, such as groups or linear algebras, is complicated because of the underlying algebraic axioms. This article introduces the structure of algebraic polygraph modulo that formalizes the interaction between the rules of an algebraic rewriting system and the inherent algebraic axioms, and we show a critical branching lemma for algebraic polygraphs. We deduce a critical branching lemma for rewriting systems on algebraic models whose axioms are specified by convergent modulo rewriting systems. We illustrate our constructions for string, linear, and group rewriting systems.


title: TS-MPC for Autonomous Vehicle using a Learning Approach

abstract: In this paper, the Model Predictive Control (MPC) and Moving Horizon Estimator (MHE) strategies using a data-driven approach to learn a Takagi-Sugeno (TS) representation of the vehicle dynamics are proposed to solve autonomous driving control problems in real-time. To address the TS modeling, we use the Adaptive Neuro-Fuzzy Inference System (ANFIS) approach to obtain a set of polytopic-based linear representations as well as a set of membership functions relating in a non-linear way the different linear subsystems. The proposed control approach is provided by racing-based references of an external planner and estimations from the MHE offering a high driving performance in racing mode. The control-estimation scheme is tested in a simulated racing environment to show the potential of the presented approaches.


title: Quantum Gravity and Riemannian Geometry on the Fuzzy Sphere

abstract: We study the quantum geometry of the fuzzy sphere defined as the angular momentum algebra $[x_i,x_j]=2\imath\lambda_p \epsilon_{ijk}x_k$ modulo setting $\sum_i x_i^2$ to a constant, using a recently introduced 3D rotationally invariant differential structure. Metrics are given by symmetric $3 \times 3$ matrices $g$ and we show that for each metric there is a unique quantum Levi-Civita connection with constant coefficients, with scalar curvature $ \frac{1}{2}({\rm Tr}(g^2)-\frac{1}{2}{\rm Tr}(g)^2)/\det(g)$. As an application, we construct Euclidean quantum gravity on the fuzzy unit sphere. We also calculate the charge 1 monopole for the 3D differential structure.


title: Informed Sampling for Diversity in Concept-to-Text NLG

abstract: Deep-learning models for language generation tasks tend to produce repetitive output. Various methods have been proposed to encourage lexical diversity during decoding, but this often comes at a cost to the perceived fluency and adequacy of the output. In this work, we propose to ameliorate this cost by using an Imitation Learning approach to explore the level of diversity that a language generation model can reliably produce. Specifically, we augment the decoding process with a meta-classifier trained to distinguish which words at any given timestep will lead to high-quality output. We focus our experiments on concept-to-text generation where models are sensitive to the inclusion of irrelevant words due to the strict relation between input and output. Our analysis shows that previous methods for diversity underperform in this setting, while human evaluation suggests that our proposed method achieves a high level of diversity with minimal effect to the output's fluency and adequacy.


title: Orthoprojectors on perturbations of splines spaces

abstract: We show that $L^\infty$-norms of orthoprojectors on certain types of perturbations of spline spaces are bounded independently of the knot sequence. Explicit applications of this result are given, one of them being orthoprojectors onto Chebyshevian spline spaces.


title: Elastic weight consolidation for better bias inoculation

abstract: The biases present in training datasets have been shown to affect models for sentence pair classification tasks such as natural language inference (NLI) and fact verification. While fine-tuning models on additional data has been used to mitigate them, a common issue is that of catastrophic forgetting of the original training dataset. In this paper, we show that elastic weight consolidation (EWC) allows fine-tuning of models to mitigate biases while being less susceptible to catastrophic forgetting. In our evaluation on fact verification and NLI stress tests, we show that fine-tuning with EWC dominates standard fine-tuning, yielding models with lower levels of forgetting on the original (biased) dataset for equivalent gains in accuracy on the fine-tuning (unbiased) dataset.


title: Editing in Style: Uncovering the Local Semantics of GANs

abstract: While the quality of GAN image synthesis has improved tremendously in recent years, our ability to control and condition the output is still limited. Focusing on StyleGAN, we introduce a simple and effective method for making local, semantically-aware edits to a target output image. This is accomplished by borrowing elements from a source image, also a GAN output, via a novel manipulation of style vectors. Our method requires neither supervision from an external model, nor involves complex spatial morphing operations. Instead, it relies on the emergent disentanglement of semantic objects that is learned by StyleGAN during its training. Semantic editing is demonstrated on GANs producing human faces, indoor scenes, cats, and cars. We measure the locality and photorealism of the edits produced by our method, and find that it accomplishes both.


title: VGGSound: A Large-scale Audio-Visual Dataset

abstract: Our goal is to collect a large-scale audio-visual dataset with low label noise from videos in the wild using computer vision techniques. The resulting dataset can be used for training and evaluating audio recognition models. We make three contributions. First, we propose a scalable pipeline based on computer vision techniques to create an audio dataset from open-source media. Our pipeline involves obtaining videos from YouTube; using image classification algorithms to localize audio-visual correspondence; and filtering out ambient noise using audio verification. Second, we use this pipeline to curate the VGGSound dataset consisting of more than 210k videos for 310 audio classes. Third, we investigate various Convolutional Neural Network~(CNN) architectures and aggregation approaches to establish audio recognition baselines for our new dataset. Compared to existing audio datasets, VGGSound ensures audio-visual correspondence and is collected under unconstrained conditions. Code and the dataset are available at http://www.robots.ox.ac.uk/~vgg/data/vggsound/


title: Representation of Uncertainty in Electric Energy Market Models: Pricing Implication and Formulation

abstract: Modern market management systems continue to evolve due to the intentions to improve system security and reliability. This evolvement has been leading to a transition of market auction models from a deterministic structure with approximations on the reliability criteria (e.g., acquirement of contingency reserve through proxy reserve policies) to explicit representation of contingencies (e.g., estimation of post-contingency states via participation factors and stochastic programming). This paper proposes a comprehensive framework to establish various procedures for evaluating: (i) transparency and incentive compatibility of different contingency modeling approaches, and (ii) efficiency of two possible stochastic market designs. First, the concept of securitized LMP is presented to solve the issue of how market participants should be compensated for providing N-1 reliability services. Then, pricing implications and settlements of three market models are compared: (i) a deterministic market model with proxy serve policies, (ii) state-of-the-art market models with estimated post-contingency states, and (iii) a two-stage stochastic market model. Second, this paper evaluates two stochastic market models while accounting for potential adjustments from day-ahead scheduling to real-time operation: (i) minimizing expected operating cost of all N-1 scenarios, and (ii) minimizing the base-case (or no contingency) cost. These analyses are conducted on IEEE 118-bus test system.


title: Entanglement Hamiltonian of the 1+1-dimensional free, compactified boson conformal field theory

abstract: Entanglement or modular Hamiltonians play a crucial role in the investigation of correlations in quantum field theories. In particular, in 1+1 space-time dimensions, the spectra of entanglement Hamiltonians of conformal field theories (CFTs) for certain geometries are related to the spectra of the physical Hamiltonians of corresponding boundary CFTs. As a result, conformal invariance allows exact computation of the spectra of the entanglement Hamiltonians for these models. In this work, we perform this computation of the spectrum of the entanglement Hamiltonian for the free compactified boson CFT over a finite spatial interval. We compare the analytical results obtained for the continuum theory with numerical simulations of a lattice-regularized model for the CFT using density matrix renormalization group technique. To that end, we use a lattice regularization provided by superconducting quantum electronic circuits, built out of Josephson junctions and capacitors. Up to non-universal effects arising due to the lattice regularization, the numerical results are compatible with the predictions of the exact computations.


title: Probing quantum gravity effects with quantum mechanical oscillators

abstract: Phenomenological models aiming to join gravity and quantum mechanics often predict effects that are potentially measurable in refined low-energy experiments. For instance, modified commutation relations between position and momentum, that accounts for a minimal scale length, yield a dynamics that can be codified in additional Hamiltonian terms. When applied to the paradigmatic case of a mechanical oscillator, such terms, at the lowest order in the deformation parameter, introduce a weak intrinsic nonlinearity and, consequently, deviations from the classical trajectory. This point of view has stimulated several experimental proposals and realizations, leading to meaningful upper limits to the deformation parameter. All such experiments are based on classical mechanical oscillators, i.e., excited from a thermal state. We remark indeed that decoherence, that plays a major role in distinguishing the classical from the quantum behavior of (macroscopic) systems, is not usually included in phenomenological quantum gravity models. However, it would not be surprising if peculiar features that are predicted by considering the joined roles of gravity and quantum physics should manifest themselves just on purely quantum objects. On the base of this consideration, we propose experiments aiming to observe possible quantum gravity effects on macroscopic mechanical oscillators that are preliminary prepared in a high purity state, and we report on the status of their realization.


title: Putting the Air Transportation System to sleep: a passenger perspective measured by passenger-generated data

abstract: This paper aims at analyzing the effect on the US air transportation system of the travel restriction measures implemented during the COVID-19 pandemic from a passenger perspective. Flight centric data are not already publicly and widely available therefore the traditional metrics used to measure the state of this system are not yet available. Seven metrics based on three different passenger-generated datasets are proposed here. They aim to measure in close to real-time how the travel restriction measures impacted the relation between major stakeholders of the US air transportation system, namely passengers, airports and airlines.


title: ToTTo: A Controlled Table-To-Text Generation Dataset

abstract: We present ToTTo, an open-domain English table-to-text dataset with over 120,000 training examples that proposes a controlled generation task: given a Wikipedia table and a set of highlighted table cells, produce a one-sentence description. To obtain generated targets that are natural but also faithful to the source table, we introduce a dataset construction process where annotators directly revise existing candidate sentences from Wikipedia. We present systematic analyses of our dataset and annotation process as well as results achieved by several state-of-the-art baselines. While usually fluent, existing methods often hallucinate phrases that are not supported by the table, suggesting that this dataset can serve as a useful research benchmark for high-precision conditional text generation.


title: Surmounting potential barriers: hydrodynamic memory hedges against thermal fluctuations in particle transport

abstract: Recently, trapped-particle experiments have probed the instantaneous velocity of Brownian motion revealing that, at early times, hydrodynamic history forces dominate Stokes damping. In these experiments, nonuniform particle motion is well described by the Basset-Boussinesq-Oseen (BBO) equation, which captures the unsteady Basset history force at low Reynolds number. Building off of these results, earlier we showed that, at low temperature, BBO particles could exploit fluid inertia in order to overcome potential barriers (generically modeled as a tilted washboard) while its Langevin counter-part could not. Here, we explore the behavior of BBO particles at finite temperature. Remarkably, we find that the transport of particles injected into a bumpy potential with sufficiently high barriers can be completely quenched at intermediate temperatures, whereas itinerancy may be possible above and below that temperature window. This effect is present for both Langevin and BBO dynamics, though these occur over drastically different temperature ranges. Furthermore, hydrodynamic memory mitigates these effects by sustaining initial particle momentum, even in the difficult intermediate temperature regime.

categories: physics.chem-ph cond-mat.mes-hall cond-mat.stat-mech physics.comp-ph physics.flu-dyn


title: TOFU: Target-Oriented FUzzer

abstract: Program fuzzing---providing randomly constructed inputs to a computer program---has proved to be a powerful way to uncover bugs, find security vulnerabilities, and generate test inputs that increase code coverage. In many applications, however, one is interested in a target-oriented approach-one wants to find an input that causes the program to reach a specific target point in the program. We have created TOFU (for Target-Oriented FUzzer) to address the directed fuzzing problem. TOFU's search is biased according to a distance metric that scores each input according to how close the input's execution trace gets to the target locations. TOFU is also input-structure aware (i.e., the search makes use of a specification of a superset of the program's allowed inputs). Our experiments on xmllint show that TOFU is 28% faster than AFLGo, while reaching 45% more targets. Moreover, both distance-guided search and exploitation of knowledge of the input structure contribute significantly to TOFU's performance.


title: Thermalization in different phases of charged SYK model

abstract: We study thermalization of charged SYK model in two different phases. We show that both the highly chaotic liquid phase and the dilute gas phase thermalize. Surprisingly the dilute gas state thermalizes instantaneously. We argue that this phenomenon arises because the system in this phase consists of only long-lived quasi-particles at very low density. The liquid state thermalizes exponentially fast. We also show that the additional introduction of random mass deformation (q=2 SYK term) slows down thermalization but the system thermalizes exponentially fast. This is observed despite the fact that the addition of large q=2 SYK interaction forces spectral statistics to obey Poisson statistics. An interesting new observation is that the effective temperature is non-monotonic during thermalization in the liquid state. It has a bump at relatively long time before settling down to the final value. With non-zero chemical potential, the effective temperature oscillates noticeably before settling down to the final value.


title: Mixed phase transition from hypernuclear matter to deconfined quark matter fulfilling mass-radius constraints of neutron stars

abstract: A recent solution of the hyperon puzzle by a first order phase transition to color superconducting quark matter is revisited in order to replace the Maxwell construction by an interpolation method which describes a mixed phase. To do this, we apply for the first time the finite-range polynomial interpolation method for constructing a transition between hadronic and quark matter phases to the situation that is characterized in the literature as the reconfinement problem. For the description of the hadronic phase the lowest order constrained variational method is used while for the quark phase the nonlocal Nambu-Jona-Lasinio model with constant (model nlNJLA) and with density-dependent (model nlNJLB) parameters is employed. Applying the replacement interpolation method to both quark matter models results in a hybrid equation of state that allows a coexistence of nuclear matter, hypernuclear matter and quark matter in a mixed phase between the pure hadronic and quark phases which can also be realized in the structure of the corresponding hybrid star sequences. The predicted hybrid stars fulfill the constraints on the mass-radius relation for neutron stars obtained from recent observations.


title: Towards Faster Reasoners By Using Transparent Huge Pages

abstract: Various state-of-the-art automated reasoning (AR) tools are widely used as backend tools in research of knowledge representation and reasoning as well as in industrial applications. In testing and verification, those tools often run continuously or nightly. In this work, we present an approach to reduce the runtime of AR tools by 10% on average and up to 20% for long running tasks. Our improvement addresses the high memory usage that comes with the data structures used in AR tools, which are based on conflict driven no-good learning. We establish a general way to enable faster memory access by using the memory cache line of modern hardware more effectively. Therefore, we extend the standard C library (glibc) by dynamically allowing to use a memory management feature called huge pages. Huge pages allow to reduce the overhead that is required to translate memory addresses between the virtual memory of the operating system and the physical memory of the hardware. In that way, we can reduce runtime, costs, and energy consumption of AR tools and applications with similar memory access patterns simply by linking the tool against this new glibc library when compiling it. In every day industrial applications this easily allows to be more eco-friendly in computation. To back up the claimed speed-up, we present experimental results for tools that are commonly used in the AR community, including the domains ASP, BMC, MaxSAT, SAT, and SMT.


title: On a nonlocal Cahn-Hilliard model permitting sharp interfaces

abstract: A nonlocal Cahn-Hilliard model with a nonsmooth potential of double-well obstacle type that promotes sharp interfaces in the solution is presented. To capture long-range interactions between particles, a nonlocal Ginzburg-Landau energy functional is defined which recovers the classical (local) model for vanishing nonlocal interactions. In contrast to the local Cahn-Hilliard problem that always leads to diffuse interfaces, the proposed nonlocal model can lead to a strict separation into pure phases of the substance. Here, the lack of smoothness of the potential is essential to guarantee the aforementioned sharp-interface property. Mathematically, this introduces additional inequality constraints that, in a weak form, lead to a coupled system of variational inequalities which at each time instance can be restated as a constrained optimization problem. We prove the well-posedness and regularity of the semi-discrete and continuous in time weak solutions, and derive the conditions under which pure phases are admitted. Moreover, we develop discretizations of the problem based on finite elements and implicit-explicit time stepping methods that can be realized efficiently. Finally, we illustrate our theoretical findings through several numerical experiments in one and two spatial dimensions that highlight the differences in features of local and nonlocal solutions and also the sharp interface properties of the nonlocal model.


title: Dynamics of Colombo's Top: Generating Exoplanet Obliquities from Planet-Disk Interactions

abstract: Large planetary spin-orbit misalignments (obliquities) may strongly influence atmospheric circulation and tidal heating in the planet. A promising avenue to generate obliquities is via spin-orbit resonances, where the spin and orbital precession frequencies of the planet cross each other as the system evolves in time. One such mechanism involves a dissipating (mass-losing) protoplanetary disk that drives orbital precession of an interior planet. We study this scenario analytically in this paper, and obtain the mapping between the general initial spin orientation and the final obliquity. We show that (i) under adiabatic evolution (i.e. the disk dissipates at a sufficiently slow rate), the final planetary obliquity as a function of the initial spin orientation bifurcates into distinct tracks governed by interactions with the resonance; (ii) under nonadiabatic evolution, a broad range of obliquities can be excited. We obtain analytical expressions for the final obliquities for various regimes of parameter space. The dynamical system studied in this paper is an example of "Colombo's top", and our analysis and results can be adapted to other applications.


title: Visualization of Unsteady Flow Using Heat Kernel Signatures

abstract: We introduce a new technique to visualize complex flowing phenomena by using concepts from shape analysis. Our approach uses techniques that examine the intrinsic geometry of manifolds through their heat kernel, to obtain representations of such manifolds that are isometry-invariant and multi-scale. These representations permit us to compute heat kernel signatures of each point on that manifold, and we can use these signatures as features for classification and segmentation that identify points that have similar structural properties. Our approach adapts heat kernel signatures to unsteady flows by formulating a notion of shape where pathlines are observations of a manifold living in a high-dimensional space. We use this space to compute and visualize heat kernel signatures associated with each pathline. Besides being able to capture the structural features of a pathline, heat kernel signatures allow the comparison of pathlines from different flow datasets through a shape matching pipeline. We demonstrate the analytic power of heat kernel signatures by comparing both (1) different timesteps from the same unsteady flow as well as (2) flow datasets taken from ensemble simulations with varying simulation parameters. Our analysis only requires the pathlines themselves, and thus it does not utilize the underlying vector field directly. We make minimal assumptions on the pathlines: while we assume they are sampled from a continuous, unsteady flow, our computations can tolerate pathlines that have varying density and potential unknown boundaries. We evaluate our approach through visualizations of a variety of two-dimensional unsteady flows.


title: Transfer Learning for Thermal Comfort Prediction in Multiple Cities

abstract: HVAC (Heating, Ventilation and Air Conditioning) system is an important part of a building, which constitutes up to 40% of building energy usage. The main purpose of HVAC, maintaining appropriate thermal comfort, is crucial for the best utilisation of energy usage. Besides, thermal comfort is also crucial for well-being, health, and work productivity. Recently, data-driven thermal comfort models have got better performance than traditional knowledge-based methods (e.g. Predicted Mean Vote Model). An accurate thermal comfort model requires a large amount of self-reported thermal comfort data from indoor occupants which undoubtedly remains a challenge for researchers. In this research, we aim to tackle this data-shortage problem and boost the performance of thermal comfort prediction. We utilise sensor data from multiple cities in the same climate zone to learn thermal comfort patterns. We present a transfer learning based multilayer perceptron model from the same climate zone (TL-MLP-C*) for accurate thermal comfort prediction. Extensive experimental results on ASHRAE RP-884, the Scales Project and Medium US Office datasets show that the performance of the proposed TL-MLP-C* exceeds the state-of-the-art methods in accuracy, precision and F1-score.


title: CHANG-ES XXII: Coherent Magnetic Fields in the Halos of Spiral Galaxies

abstract: Context. The magnetic field in spiral galaxies is known to have a large-scale spiral structure along the galactic disk and is observed as X-shaped in the halo of some galaxies. While the disk field can be well explained by dynamo action, the 3-dimensional structure of the halo field and its physical nature is still unclear. Aims. As first steps towards understanding the halo fields, we want to clarify whether the observed X-shaped field is a wide-spread pattern in the halos of spiral galaxies and whether these halo fields are just turbulent fields ordered by compression or shear (anisotropic turbulent fields), or have a large-scale regular structure. Methods. The analysis of the Faraday rotation in the halo is the tool to discern anisotropic turbulent fields from large-scale magnetic fields. This, however, has been challenging until recently because of the faint halo emission in linear polarization. Our sensitive VLA broadband observations C-band and L-band of 35 spiral galaxies seen edge-on (called CHANG-ES) allowed us to perform RM-synthesis in their halos and to analyze the results. We further accomplished a stacking of the observed polarization maps of 28 CHANG-ES galaxies at C-band. Results. Though the stacked edge-on galaxies were of different Hubble types, star formation and interaction activities, the stacked image clearly reveals an X-shaped structure of the apparent magnetic field. We detected a large-scale (coherent) halo field in all 16 galaxies that have extended polarized intensity in their halos. We detected large-scale field reversals in all of their halos. In six galaxies they are along lines about vertical to the galactic midplane (vertical RMTL) with about 2 kpc separation. Only in NGC 3044 and possibly in NGC 3448 we observed vertical giant magnetic ropes (GMRs) similar to those detected recently in NGC 4631.


title: A Formally Verified HOL4 Algebra for Event Trees

abstract: Event Tree (ET) analysis is widely used as a forward deductive safety analysis technique for decision-making at the critical-system design stage. ET is a schematic diagram representing all possible operating states and external events in a system so that one of these possible scenarios can occur. In this report, we propose to use the HOL4 theorem prover for the formal modeling and step-analysis of ET diagrams. To this end, we developed a formalization of ETs in higher-order logic, which is based on a generic list datatype that can: (i) construct an arbitrary level of ET diagrams; (ii) reduce the irrelevant ET branches; (iii) partition ET paths; and (iv) perform the probabilistic analysis based on the occurrence of certain events. For illustration purposes, we conduct the formal ET stepwise analysis of an electrical power grid and also determine its System Average Interruption Frequency Index (SAIFI), which is an important indicator for system reliability.


title: Spin-up of a superfluid vortex lattice driven by rough boundaries

abstract: We study numerically the formation of a vortex lattice inside a rotating bucket containing superfluid helium, paying attention to an important feature which is practically unavoidable in all experiments: the microscopic roughness of the bucket's surface. We model this using the Gross-Pitaevskii for a weakly-interacting Bose gas, a model which is idealised when applied to superfluid helium but captures the key physics of the vortex dynamics which we are interested in. We find that the vortex lattice arises from the interaction and reconnections of nucleated U-shaped vortex lines, which merge and align along the axis of rotation. We quantify the effects which the surface roughness and remanent vortex lines play in this process.


title: Exploiting Social Networks. Technological Trends (Habilitation Thesis)

abstract: The habilitation thesis presents two main directions: 1. Exploiting data from social networks (Twitter, Facebook, Flickr, etc.) - creating resources for text and image processing (classification, retrieval, credibility, diversification, etc.); 2. Creating applications with new technologies : augmented reality (eLearning, games, smart museums, gastronomy, etc.), virtual reality (eLearning and games), speech processing with Amazon Alexa (eLearning, entertainment, IoT, etc.). The work was validated with good results in evaluation campaigns like CLEF (Question Answering, Image CLEF, LifeCLEF, etc.), SemEval (Sentiment and Emotion in text, Anorexia, etc.).


title: Duality and Mock Modularity

abstract: We derive a holomorphic anomaly equation for the Vafa-Witten partition function for twisted four-dimensional $\mathcal{N} =4$ super Yang-Mills theory on $\mathbb{CP}^{2}$ for the gauge group $SO(3)$ from the path integral of the effective theory on the Coulomb branch. The holomorphic kernel of this equation, which receives contributions only from the instantons, is not modular but `mock modular'. The partition function has correct modular properties expected from $S$-duality only after including the anomalous nonholomorphic boundary contributions from anti-instantons. Using M-theory duality, we relate this phenomenon to the holomorphic anomaly of the elliptic genus of a two-dimensional noncompact sigma model and compute it independently in two dimensions. The anomaly both in four and in two dimensions can be traced to a topological term in the effective action of six-dimensional (2,0) theory on the tensor branch. We consider generalizations to other manifolds and other gauge groups to show that mock modularity is generic and essential for exhibiting duality when the relevant field space is noncompact.


title: Analytic and Numerical Bootstrap of CFTs with $O(m)\times O(n)$ Global Symmetry in 3D

abstract: Motivated by applications to critical phenomena and open theoretical questions, we study conformal field theories with $O(m)\times O(n)$ global symmetry in $d=3$ spacetime dimensions. We use both analytic and numerical bootstrap techniques. Using the analytic bootstrap, we calculate anomalous dimensions and OPE coefficients as power series in $\varepsilon=4-d$ and in $1/n$, with a method that generalizes to arbitrary global symmetry. Whenever comparison is possible, our results agree with earlier results obtained with diagrammatic methods in the literature. Using the numerical bootstrap, we obtain a wide variety of operator dimension bounds, and we find several islands (isolated allowed regions) in parameter space for $O(2)\times O(n)$ theories for various values of $n$. Some of these islands can be attributed to fixed points predicted by perturbative methods like the $\varepsilon$ and large-$n$ expansions, while others appear to arise due to fixed points that have been claimed to exist in resummations of perturbative beta functions.


title: Primordial mass segregation of star clusters with primordial binaries

abstract: Observations of young star-forming regions suggest that star clusters are born completely mass segregated. These initial conditions are, however, gradually lost as the star cluster evolves dynamically. For star clusters with single stars only and a canonical initial mass function, it has been suggested that traces of these initial conditions vanish at a time $\tau_\mathrm{v}$ between 3 and $3.5\,t_\mathrm{rh}$ (initial half-mass relaxation times). Since a significant fraction of stars are observed in binary systems and it is widely accepted that most stars are born in binary systems, we aim to investigate what role a primordial binary population (even up to $100\,\%$ binaries) plays in the loss of primordial mass segregation of young star clusters. We used numerical $N$-body models similar in size to the Orion Nebula Cluster (ONC) -- a representative of young open clusters -- integrated over several relaxation times to draw conclusions on the evolution of its mass segregation. We also compared our models to the observed ONC. We found that $\tau_\mathrm{v}$ depends on the binary star fraction and the distribution of initial binary parameters that include a semi-major axis, eccentricity, and mass ratio. For instance, in the models with $50\,\%$ binaries, we find $\tau_\mathrm{v} = (2.7 \pm 0.8)\,t_\mathrm{rh}$, while for $100\,\%$ binary fraction, we find a lower value $\tau_\mathrm{v} = (2.1 \pm 0.6)\,t_\mathrm{rh}$. We also conclude that the initially completely mass segregated clusters, even with binaries, are more compatible with the present-day ONC than the non-segregated ones.


title: Comparing galaxy formation in the L-GALAXIES semi-analytical model and the IllustrisTNG simulations

abstract: We perform a comparison, object-by-object and statistically, between the Munich semi-analytical model, L-Galaxies, and the IllustrisTNG hydrodynamical simulations. By running L-Galaxies on the IllustrisTNG dark matter-only merger trees, we identify the same galaxies in the two models. This allows us to compare the stellar mass, star formation rate and gas content of galaxies, as well as the baryonic content of subhaloes and haloes in the two models. We find that both the stellar mass functions and the stellar masses of individual galaxies agree to better than $\sim0.2\,$dex. On the other hand, specific star formation rates and gas contents can differ more substantially. At $z=0$ the transition between low-mass star-forming galaxies and high-mass, quenched galaxies occurs at a stellar mass scale $\sim0.5\,$dex lower in IllustrisTNG than in L-Galaxies. IllustrisTNG also produces substantially more quenched galaxies at higher redshifts. Both models predict a halo baryon fraction close to the cosmic value for clusters, but IllustrisTNG predicts lower baryon fractions in group environments. These differences are due primarily to differences in modelling feedback from stars and supermassive black holes. The gas content and star formation rates of galaxies in and around clusters and groups differ substantially, with IllustrisTNG satellites less star-forming and less gas-rich. We show that environmental processes such as ram-pressure stripping are stronger and operate to larger distances and for a broader host mass range in IllustrisTNG. We suggest that the treatment of galaxy evolution in the semi-analytic model needs to be improved by prescriptions which capture local environmental effects more accurately.


title: Deconfined Metal-Insulator Transitions in Quantum Hall Bilayers

abstract: We propose that quantum Hall bilayers in the presence of a periodic potential at the scale of the magnetic length can host examples of a Deconfined Metal-Insulator Transition (DMIT), where a Fermi liquid (FL) metal with a generic electronic Fermi surface evolves into a gapped insulator (or, an insulator with Goldstone modes) through a continuous quantum phase transition. The transition can be accessed by tuning a single parameter, and its universal critical properties can be understood using a controlled framework. At the transition, the two layers are effectively decoupled, where each layer undergoes a continuous transition from a FL to a generalized composite Fermi liquid (gCFL). The thermodynamic and transport properties of the gCFL are similar to the usual CFL, while its spectral properties are qualitatively different. The FL-gCFL quantum critical point hosts a sharply defined Fermi surface without long-lived electronic quasiparticles. Immediately across the transition, the two layers of gCFL are unstable to forming an insulating phase. We discuss the topological properties of the insulator and various observable signatures associated with the DMIT.

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


title: Robust HI kinematics of gas-rich ultra-diffuse galaxies: hints of a weak-feedback formation scenario

abstract: We study the gas kinematics of a sample of six isolated gas-rich low surface brightness galaxies, of the class called ultra-diffuse galaxies (UDGs). These galaxies have recently been shown to be outliers from the baryonic Tully-Fisher relation (BTFR), as they rotate much slower than expected given their baryonic mass, and to have baryon fractions similar to the cosmological mean. By means of a 3D kinematic modelling fitting technique, we show that the HI in our UDGs is distributed in "thin" regularly rotating discs and we determine their rotation velocity and gas velocity dispersion. We revisit the BTFR adding galaxies from other studies. We find a previously unknown trend between the deviation from the BTFR and the disc scale length valid for dwarf galaxies with circular speeds < 45 km/s, with our UDGs being at the extreme end. Based on our findings, we suggest that the high baryon fractions of our UDGs may originate due to the fact that they have experienced weak stellar feedback, likely due to their low star formation rate surface densities, and as a result they did not eject significant amounts of gas out of their discs. At the same time, we find indications that our UDGs may have higher-than-average stellar specific angular momentum, which can explain their large optical scale lengths.


title: Odd Fracton Theories, Proximate Orders, and Parton Constructions

abstract: The Lieb-Schultz-Mattis (LSM) theorem implies that gapped phases of matter must satisfy non-trivial conditions on their low-energy properties when a combination of lattice translation and $U(1)$ symmetry are imposed. We describe a framework to characterize the action of symmetry on fractons and other sub-dimensional fractional excitations, and use this together with the LSM theorem to establish that X-cube fracton order can occur only at integer or half-odd-integer filling. Using explicit parton constructions, we demonstrate that "odd" versions of X-cube fracton order can occur in systems at half-odd-integer filling, generalizing the notion of odd $Z_2$ gauge theory to the fracton setting. At half-odd-integer filling, exiting the X-cube phase by condensing fractional quasiparticles leads to symmetry-breaking, thereby allowing us to identify a class of conventional ordered phases proximate to phases with fracton order. We leverage a dual description of one of these ordered phases to show that its topological defects naturally have restricted mobility. Condensing pairs of these defects then leads to a fracton phase, whose excitations inherit these mobility restrictions.


title: Figuring Out Gas & Galaxies In Enzo (FOGGIE). IV. The Stochasticity of Ram Pressure Stripping in Galactic Halos

abstract: We study ram pressure stripping in simulated Milky Way-like halos at z>=2 from the Figuring Out Gas & Galaxies In Enzo (FOGGIE) project. These simulations reach exquisite resolution in their circumgalactic medium (CGM) gas owing to FOGGIE's novel refinement scheme. The CGM of each halo spans a wide dynamic range in density and velocity over its volume---roughly 6 dex and 1000 km/s, respectively---translating into a 5 dex range in ram pressure imparted to interacting satellites. The ram pressure profiles of the simulated CGM are highly stochastic, owing to kpc-scale variations of the density and velocity fields of the CGM gas. As a result, the efficacy of ram pressure stripping depends strongly on the specific path a satellite takes through the CGM. The ram-pressure history of a single satellite is generally unpredictable and not well correlated with its approach vector with respect to the host galaxy. The cumulative impact of ram pressure on the simulated satellites is dominated by only a few short strong impulses---on average, 90% of the total surface momentum gained through ram pressure is imparted in 20% or less of the total orbital time. These results reveal an erratic mode of ram pressure stripping in Milky-Way like halos at high redshift---one that is not captured by a smooth spherically-averaged model of the circumgalactic medium.


title: Black Hole Scalarization in Gauss-Bonnet Extended Starobinsky Gravity

abstract: We propose a class of higher-derivative gravities that can be viewed as the Gauss-Bonnet extension of the Starobinsky model. The theory admits the Minkowski spacetime vacuum whose linear spectrum consists of the graviton and a massive scalar mode. In addition to the usual Schwarzschild black hole, we use numerical analysis to establish that in some suitable mass range, new black holes carrying the massive scalar hair can emerge. The new black hole serves as a "wall" separating the naked spacetime singularity and wormholes in the parameter space of the scalar hair. Our numerical results also indicate that although the new hairy black hole and the Schwarzschild have different spacetime geometry, their entropy and temperature are same for the same mass.


title: Toward Complete Characterization: Prospects for Directly Imaging Transiting Exoplanets

abstract: High contrast direct imaging of exoplanets can provide many important observables, including measurements of the orbit, spectra that probe the lower layers of the atmosphere, and phase variations of the planet, but cannot directly measure planet radius or mass. Our future understanding of directly imaged exoplanets will therefore rely on extrapolated models of planetary atmospheres and bulk composition, which need robust calibration. We estimate the population of extrasolar planets that could serve as calibrators for these models. Critically, this population of "standard planets" must be accessible to both direct imaging and the transit method, allowing for radius measurement. We show that the search volume of a direct imaging mission eventually overcomes the transit probability falloff with semi-major axis, so that as long as cold planets are not exceedingly rare, the population of transiting planets and directly imageable planets overlaps. Using current extrapolations of Kepler occurrence rates, we estimate that ~8 standard planets could be characterized shortward of 800 nm with an ambitious future direct imaging mission like LUVOIR-A and several dozen could be detected at V band. We show the design space that would expand the sample size and discuss the extent to which ground- and space-based surveys could detect this small but crucial population of planets.


title: Theory of Ergodic Quantum Processes

abstract: The generic behavior of quantum systems has long been of theoretical and practical interest. Any quantum process is represented by a sequence of quantum channels. We consider general ergodic sequences of stochastic channels with arbitrary correlations and non-negligible decoherence. Ergodicity includes and vastly generalizes random independence. We obtain a theorem which shows that the composition of such a sequence of channels converges exponentially fast to a replacement (rank-one) channel. Using this theorem, we derive the limiting behavior of translation-invariant channels and stochastically independent random channels. We then use our formalism to describe the thermodynamic limit of ergodic matrix product states. We derive formulas for the expectation value of a local observable and prove that the two-point correlations of local observables decay exponentially. We then analytically compute the entanglement spectrum across any cut, by which the bipartite entanglement entropy (i.e., R\'enyi or von Neumann) across an arbitrary cut can be computed exactly. Other physical implications of our results are that most Floquet phases of matter are metastable and that noisy random circuits in the large depth limit will be trivial as far as their quantum entanglement is concerned. To obtain these results, we bridge quantum information theory to dynamical systems and random matrix theory.

categories: quant-ph cond-mat.str-el math-ph math.MP


title: Dimensional Regularization and Breitenlohner-Maison / 't Hooft-Veltman Scheme for $\gamma_5$ applied to Chiral YM Theories: Full One-Loop Counterterm and RGE Structure

abstract: We study the application of the Breitenlohner-Maison-'t Hooft-Veltman (BMHV) scheme of Dimensional Regularization to the renormalization of chiral gauge theories, focusing on the specific counterterm structure required by the non-anticommuting Dirac $\gamma_5$ matrix and the breaking of the BRST invariance. Calculations are performed at the one-loop level in a massless chiral Yang-Mills theory with chiral fermions and real scalar fields. We discuss the setup and properties of the regularized theory in detail. Our central results are the full counterterm structures needed for the correct renormalization: the singular UV-divergent counterterms, including evanescent counterterms that have to be kept for consistency of higher-loop calculations. We find that the required singular, evanescent counterterms associated with vector and scalar fields are uniquely determined but are not gauge invariant. Furthermore, using the framework of algebraic renormalization, we determine the symmetry-restoring finite counterterms, that are required to restore the BRST invariance, central to the consistency of the theory. These are the necessary building blocks in one-loop and higher-order calculations. Finally, renormalization group equations are derived within this framework, and the derivation is compared with the more customary calculation in the context of symmetry-invariant regularizations. We explain why, at one-loop level, the extra BMHV-specific counterterms do not change the results for the RGE. The results we find complete those that have been obtained previously in the literature in the absence of scalar fields.


title: Defeating stochasticity: coalescence timescales of massive black holes in galaxy mergers

abstract: The coalescence of massive black hole binaries (BHBs) in galactic mergers is the primary source of gravitational waves (GWs) at low frequencies. Current estimates of GW detection rates for the Laser Interferometer Space Antenna and the Pulsar Timing Array vary by three orders of magnitude. To understand this variation, we simulate the merger of equal-mass, eccentric, galaxy pairs with central massive black holes and shallow inner density cusps. We model the formation and hardening of a central BHB using the Fast Multiple Method as a force solver, which features a $O(N)$ scaling with the number $N$ of particles and obtains results equivalent to direct-summation simulations. At $N \sim 5\times 10^5$, typical for contemporary studies, the eccentricity of the BHBs can vary significantly for different random realisations of the same initial condition, resulting in a substantial variation of the merger timescale. This scatter owes to the stochasticity of stellar encounters with the BHB and decreases with increasing $N$. We estimate that $N \sim 10^7$ within the stellar half-light radius suffices to reduce the scatter in the merger timescale to $\sim 10$\%. Our results suggest that at least some of the uncertainty in low-frequency GW rates owes to insufficient numerical resolution.


title: Asymptotic structure of Einstein-Gauss-Bonnet theory in lower dimensions

abstract: Recently, an action principle for the $D\rightarrow4$ limit of the Einstein-Gauss-Bonnet gravity has been proposed. It is a special scalar-tensor theory that belongs to the family of Horndeski gravity. It also has a well defined $D\rightarrow3$ and $D\rightarrow2$ limit. In this work, we examine this theory in three and four dimensions in Bondi-Sachs framework. In both three and four dimensions, we find that there is no news function associated to the scalar field, which means that there is no scalar propagating degree of freedom in the theory. In four dimensions, the mass-loss formula is not affected by the Gauss-Bonnet term. This is consistent with the fact that there is no scalar radiation. However, the effects of the Gauss-Bonnet term are quite significant in the sense that they arise just one order after the integration constants and also arise in the quadrupole of the gravitational source.


title: Swampland Constraints on 5d $\mathcal{N}=1$ Supergravity

abstract: We propose Swampland constraints on consistent 5-dimensional ${\cal N}=1$ supergravity theories. We focus on a special class of BPS magnetic monopole strings which arise in gravitational theories. The central charges and the levels of current algebras of 2d CFTs on these strings can be calculated by anomaly inflow mechanism and used to provide constraints on the low-energy particle spectrum and the effective action of the 5d supergravity based on unitarity of the worldsheet CFT. In M-theory, where these theories are realized by compactification on Calabi-Yau 3-folds, the special monopole strings arise from wrapped M5-branes on special ("semi-ample") 4-cycles in the threefold. We identify various necessary geometric conditions for such cycles to lead to requisite BPS strings and translate these into constraints on the low-energy theories of gravity. These and other geometric conditions, some of which can be related to unitarity constraints on the monopole worldsheet, are additional candidates for Swampland constraints on 5-dimensional ${\cal N}=1$ supergravity theories.