title: Solutions blowing up on any given compact set for the energy subcritical wave equation

abstract: We consider the focusing energy subcritical nonlinear wave equation $\partial_{tt} u - \Delta u= |u|^{p-1} u$ in ${\mathbb R}^N$, $N\ge 1$. Given any compact set $ E \subset {\mathbb R}^N $, we construct finite energy solutions which blow up at $t=0$ exactly on $ E$. The construction is based on an appropriate ansatz. The initial ansatz is simply $U_0(t,x) = \kappa (t + A(x) )^{ -\frac {2} {p-1} }$, where $A\ge 0$ vanishes exactly on $ E$, which is a solution of the ODE $h'' = h^p$. We refine this first ansatz inductively using only ODE techniques and taking advantage of the fact that (for suitably chosen $A$), space derivatives are negligible with respect to time derivatives. We complete the proof by an energy argument and a compactness method.


title: The Role of Magnetic Flux Expulsion to Reach Q0>3x10^10 in SRF Cryomodules

abstract: When a superconducting radiofrequency cavity is cooled through its critical temperature, ambient magnetic flux can become "frozen in" to the superconductor, resulting in degradation of the quality factor. This is especially problematic in applications where quality factor is a cost driver, such as in the CW linac for LCLS-II. Previously, it had been unknown how to prevent flux from being trapped during cooldown in bulk niobium cavities, but recent R&D studies showed near-full flux expulsion can be achieved through high temperature heat treatment and cooling cavities through the superconducting transition with a spatial thermal gradient over the surface. In this paper, we describe the first accelerator implementation of these procedures, in cryomodules that are currently being produced for LCLS-II. We compare the performance of cavities under different conditions of heat treatment and thermal gradient during cooldown, showing a substantial improvement in performance when both are applied, enabling cryomodules to reach and, in many cases, exceed a Q0 of ~3x10^10.


title: Random unconditional convergence of vector-valued Dirichlet series

abstract: We study random unconditionality of Dirichlet series in vector-valued Hardy spaces $\mathcal H_p(X)$. It is shown that a Banach space $X$ has type 2 (respectively, cotype 2) if and only if for every choice $(x_n)_n\subset X$ it follows that $(x_n n^{-s})_n$ is Random unconditionally convergent (respectively, divergent) in $\mathcal H_2(X)$. The analogous question on $\mathcal H_p(X)$ spaces for $p\neq2$ is also explored. We also provide explicit examples exhibiting the differences between the unconditionality of $(x_n n^{-s})_n$ in $\mathcal H_p(X)$ and that of $(x_n z^n)_n$ in $H_p(X)$.


title: A Scalable Thermal Reservoir Simulator for Giant Models on Parallel Computers

abstract: This paper introduces the model, numerical methods, algorithms and parallel implementation of a thermal reservoir simulator that designed for numerical simulations of thermal reservoir with multiple components in three dimensional domain using distributed-memory parallel computers. Its full mathematical model is introduced with correlations for important properties and well modeling. Various well constraints, such as fixed bottom hole pressure, fixed oil, water, gas and liquid rates, constant heat transfer model, convective heat transfer model, heater model (temperature control, rate control, dual rate/temperature control), and subcool (steam trap), are introduced in details, including their mathematical models and methods. Efficient numerical methods and parallel computing technologies are presented. The simulator is designed for giant models with billions or even trillions of grid blocks using hundreds of thousands of CPUs. Numerical experiments show that our results match commercial simulators, which confirms the correctness of our methods and implementations. SAGD simulation with 15106 well pairs is also presented to study the effectiveness of our numerical methods. Scalability testings demonstrate that our simulator can handle giant models with over 200 billion grid blocks using 100,800 CPU cores and the simulator has good scalability.


title: An Intelligent Safety System for Human-Centered Semi-Autonomous Vehicles

abstract: Nowadays, automobile manufacturers make efforts to develop ways to make cars fully safe. Monitoring driver's actions by computer vision techniques to detect driving mistakes in real-time and then planning for autonomous driving to avoid vehicle collisions is one of the most important issues that has been investigated in the machine vision and Intelligent Transportation Systems (ITS). The main goal of this study is to prevent accidents caused by fatigue, drowsiness, and driver distraction. To avoid these incidents, this paper proposes an integrated safety system that continuously monitors the driver's attention and vehicle surroundings, and finally decides whether the actual steering control status is safe or not. For this purpose, we equipped an ordinary car called FARAZ with a vision system consisting of four mounted cameras along with a universal car tool for communicating with surrounding factory-installed sensors and other car systems, and sending commands to actuators. The proposed system leverages a scene understanding pipeline using deep convolutional encoder-decoder networks and a driver state detection pipeline. We have been identifying and assessing domestic capabilities for the development of technologies specifically of the ordinary vehicles in order to manufacture smart cars and eke providing an intelligent system to increase safety and to assist the driver in various conditions/situations.


title: High Energy Processes in Wolf-Rayet Stars

abstract: Wolf-Rayet (WR) stars are massive ($\geq$10 M$_{\odot}$) evolved stars undergoing advanced nuclear burning in their cores, rapidly approaching the end of their lives as supernovae. Their powerful winds enrich the interstellar medium with heavy elements, providing raw material for future generations of stars. We briefly summarize high-energy processes in WR stars, focusing mainly on their X-ray emission. We present new results from Chandra observations of the eclipsing WR+O binary CQ Cep covering a full orbit which stringently test X-ray emission models.


title: Improving Model-Based Control and Active Exploration with Reconstruction Uncertainty Optimization

abstract: Model based predictions of future trajectories of a dynamical system often suffer from inaccuracies, forcing model based control algorithms to re-plan often, thus being computationally expensive, suboptimal and not reliable. In this work, we propose a model agnostic method for estimating the uncertainty of a model?s predictions based on reconstruction error, using it in control and exploration. As our experiments show, this uncertainty estimation can be used to improve control performance on a wide variety of environments by choosing predictions of which the model is confident. It can also be used for active learning to explore more efficiently the environment by planning for trajectories with high uncertainty, allowing faster model learning.


title: X-ray reflectivity with a twist: quantitative time-resolved X-ray reflectivity using monochromatic synchrotron radiation

abstract: We have developed an improved method of time-resolved x-ray reflectivity (XRR) using monochromatic synchrotron radiation. Our method utilizes a polycapillary x-ray optic to create a range of incident angles and an area detector to collect the specular reflections. By rotating the sample normal out of the plane of the incident fan, we can separate the surface diffuse scatter from the reflectivity signal, greatly improving the quality of the XRR spectra compared to previous implementations. We demonstrate the time-resolved capabilities of this system, with temporal resolution as low as 10 ms, by measuring XRR during the annealing of Al/Ni nano-scale multilayers and use this information to extract the activation energy for interdiffusion in this system.


title: Nef cone and Seshadri constants on products of projective bundles over curves

abstract: Let $X = \mathbb{P}(E_1) \times_C \mathbb{P}(E_2)$ where $C$ is a smooth curve and let $E_1$, $E_2$ be vector bundles over $C$. In this paper, we extend the results in \cite{K-M-R} by computing the nef cone of $X$ without restriction on the rank or semistability of $E_1$ and $E_2$. We also study the Seshadri constants of ample line bundles on $X$. We calculate the Seshadri constants in some cases and give bounds in some of the remaining cases.


title: The TT-PET Data Acquisition and Trigger System

abstract: This paper describes the data acquisition and trigger system of the Thin Time-of-flight PET (TT-PET) scanner. The system is designed to read out in the order of 1000 pixel sensors used in the scanner and to provide a reference timing signal to each sensor in order to measure time differences of better than 30 ps. This clock distribution is measured to have a jitter of less than 4 ps at the sensors. Collected data is locally processed before being forwarded to storage. Data flow as well as control, configuration and monitoring aspects are are also addressed.


title: Computing the gluon Sivers function at small-$x$

abstract: We compute the gluon Sivers function $f_{1T}^{\perp g}(x,k_\perp)$ of the transversely polarized nucleon at small-$x$ by exploiting the known connection between the dipole gluon Sivers function and the Odderon. We numerically solve the evolution equation for the Odderon both in the linear and nonlinear regimes. While we find that the $x$ and $k_\perp$ dependences of the Sivers function do not factorize as a result of the quantum evolution, factorization breaking is not numerically significant, and is much milder than what one expects in the case of unpolarized TMDs. We also point out the possibility that, due to the presence of a node in the Sivers function, single spin asymmetry for open charm production in semi-inclusive deep inelastic scattering flips signs as the transverse momentum of D-mesons is varied. This can be tested at the future Electron-Ion Collider.


title: Hyperbolic intersection graphs and (quasi)-polynomial time

abstract: We study unit ball graphs (and, more generally, so-called noisy uniform ball graphs) in $d$-dimensional hyperbolic space, which we denote by $\mathbb{H}^d$. Using a new separator theorem, we show that unit ball graphs in $\mathbb{H}^d$ enjoy similar properties as their Euclidean counterparts, but in one dimension lower: many standard graph problems, such as Independent Set, Dominating Set, Steiner Tree, and Hamiltonian Cycle can be solved in $2^{O(n^{1-1/(d-1)})}$ time for any fixed $d\geq 3$, while the same problems need $2^{O(n^{1-1/d})}$ time in $\mathbb{R}^d$. We also show that these algorithms in $\mathbb{H}^d$ are optimal up to constant factors in the exponent under ETH. This drop in dimension has the largest impact in $\mathbb{H}^2$, where we introduce a new technique to bound the treewidth of noisy uniform disk graphs. The bounds yield quasi-polynomial ($n^{O(\log n)}$) algorithms for all of the studied problems, while in the case of Hamiltonian Cycle and $3$-Coloring we even get polynomial time algorithms. Furthermore, if the underlying noisy disks in $\mathbb{H}^2$ have constant maximum degree, then all studied problems can be solved in polynomial time. This contrasts with the fact that these problems require $2^{\Omega(\sqrt{n})}$ time under ETH in constant maximum degree Euclidean unit disk graphs. Finally, we complement our quasi-polynomial algorithm for Independent Set in noisy uniform disk graphs with a matching $n^{\Omega(\log n)}$ lower bound under ETH. This shows that the hyperbolic plane is a potential source of NP-intermediate problems.


title: A Positive Mass Theorem for Manifolds with Boundary

abstract: We derive a positive mass theorem for asymptotically flat manifolds with boundary whose mean curvature satisfies a sharp estimate involving the conformal Green's function. The theorem also holds if the conformal Green's function is replaced by the standard Green's function for the Laplacian operator. As an application, we obtain an inequality relating the mass and harmonic functions that generalizes H. Bray's mass-capacity inequality in his proof of the Riemannian Penrose conjecture.


title: Disentangled Dynamic Representations from Unordered Data

abstract: We present a deep generative model that learns disentangled static and dynamic representations of data from unordered input. Our approach exploits regularities in sequential data that exist regardless of the order in which the data is viewed. The result of our factorized graphical model is a well-organized and coherent latent space for data dynamics. We demonstrate our method on several synthetic dynamic datasets and real video data featuring various facial expressions and head poses.


title: Cloud Atlas: Hubble Space Telescope Near-Infrared Spectral Library of Brown Dwarfs, Planetary-mass companions, and hot Jupiters

abstract: Bayesian atmospheric retrieval tools can place constraints on the properties of brown dwarfs and hot Jupiters atmospheres. To fully exploit these methods, high signal-to-noise spectral libraries with well-understood uncertainties are essential. We present a high signal-to-noise spectral library (1.10-1.69 microns) of the thermal emission of 76 brown dwarfs and hot Jupiters. All our spectra have been acquired with the Hubble Space Telescope's Wide Field Camera 3 instrument and its G141 grism. The near-infrared spectral types of these objects range from L4 to Y1. Eight of our targets have estimated masses below the deuterium-burning limit. We analyze the database to identify peculiar objects and/or multiple systems, concluding that this sample includes two very-low-surface-gravity objects and five intermediate-surface-gravity objects. In addition, spectral indices designed to search for composite atmosphere brown dwarfs, indicate that eight objects in our sample are strong candidates to have such atmospheres. None of these objects are overluminous, thus their composite atmospheres are unlikely a companion-induced artifact. Five of the eight confirmed candidates have been reported as photometrically variable, suggesting that composite atmospheric indices are useful in identifying brown dwarfs with strongly heterogeneous cloud covers. We compare hot Jupiters and brown dwarfs in a near-infrared color-magnitude diagram. We confirm that the coldest hot Jupiters in our sample have spectra similar to mid-L dwarfs, and the hottest hot Jupiters have spectra similar to those of M-dwarfs. Our sample provides a uniform dataset of a broad range of ultracool atmospheres, allowing large-scale, comparative studies, and providing a HST legacy spectral library.


title: Periods of Complete Intersection Algebraic Cycles

abstract: For every even number $n$, and every $n$-dimensional smooth hypersurface of $\mathbb{P}^{n+1}$ of degree $d$, we compute the periods of all its $\frac{n}{2}$-dimensional complete intersection algebraic cycles. Furthermore, we determine the image of the given algebraic cycle under the cycle class map inside the De Rham cohomology group of the corresponding hypersurface in terms of its Griffiths basis and the polarization. As an application, we use this information to address variational Hodge conjecture for a non complete intersection algebraic cycle. We prove that the locus of general hypersurfaces containing two linear cycles whose intersection is of dimension less than $\frac{n}{2}-\frac{d}{d-2}$, corresponds to the Hodge locus of any integral combination of such linear cycles.


title: Guided Dropout

abstract: Dropout is often used in deep neural networks to prevent over-fitting. Conventionally, dropout training invokes \textit{random drop} of nodes from the hidden layers of a Neural Network. It is our hypothesis that a guided selection of nodes for intelligent dropout can lead to better generalization as compared to the traditional dropout. In this research, we propose "guided dropout" for training deep neural network which drop nodes by measuring the strength of each node. We also demonstrate that conventional dropout is a specific case of the proposed guided dropout. Experimental evaluation on multiple datasets including MNIST, CIFAR10, CIFAR100, SVHN, and Tiny ImageNet demonstrate the efficacy of the proposed guided dropout.


title: IoTC2: A Formal Method Approach for Detecting Conflicts in Large Scale IoT Systems

abstract: Internet of Things (IoT) has become a common paradigm for different domains such as health care, transportation infrastructure, smart home, smart shopping, and e-commerce. With its interoperable functionality, it is now possible to connect all domains of IoT together for providing competent services to the users. Because numerous IoT devices can connect and communicate at the same time, there can be events that trigger conflicting actions to an actuator or an environmental feature. However, there have been very few research efforts made to detect conflicting situation in IoT system using formal method. This paper provides a formal method approach, IoT Confict Checker (IoTC2), to ensure safety of controller and actuators' behavior with respect to conflicts. Any policy violation results in detection of the conflicts. We defined the safety policies for controller, actions, and triggering events and implemented the those with Prolog to prove the logical completeness and soundness. In addition to that, we have implemented the detection policies in Matlab Simulink Environment with its built-in Model Verification blocks. We created smart home environment in Simulink and showed how the conflicts affect actions and corresponding features. We have also experimented the scalability, efficiency, and accuracy of our method in the simulated environment.


title: ProIO: An Event-Based I/O Stream Format for Protobuf Messages

abstract: ProIO is a new event-oriented streaming data format which utilizes Google's Protocol Buffers (protobuf) to be flexible and highly language-neutral. The ProIO concept is described here along with its software implementations. The performance of the ProIO concept for a dataset with Monte-Carlo event records used in high-energy physics was benchmarked and compared/contrasted with ROOT I/O. Various combinations of general-purpose compression and variable-length integer encoding available in protobuf were used to investigate the relationship between I/O performance and size-on-disk in a few key scenarios.


title: Anomalous attenuation of plasmons in strange metals and holography

abstract: The plasmon is a ubiquitous collective mode in charged liquids. Due to the long-range Coulomb interaction, the massless zero sound mode of the neutral system acquires a finite plasmon frequency in the long-wavelength limit. In the zero-temperature state of conventional metals -- the Fermi liquid -- the plasmon lives infinitely long at long wavelength when the system is (effectively) translationally invariant. In contrast, we will show that in strongly entangled strange metals the protection of zero sound fails at finite frequency and plasmons are always short lived regardless of their wavelength. Computing the explicit plasmon response in holographic strange metals as an example, we show that decay into the quantum critical continuum replaces Landau damping and this happens for any wavelength.


title: Modified gravity, gravitational waves and the large-scale structure of the Universe: A brief report

abstract: The goal of this short report is to summarise some key results based on our previous works on model independent tests of gravity at large scales in the Universe, their connection with the properties of gravitational waves, and the implications of the recent measurement of the speed of tensors for the phenomenology of general families of gravity models for dark energy.


title: The Effects of Adaptation on Inference for Non-Linear Regression Models with Normal Errors

abstract: This work studies the properties of the maximum likelihood estimator (MLE) of a non-linear model with Gaussian errors and multidimensional parameter. The observations are collected in a two-stage experimental design and are dependent since the second stage design is determined by the observations at the first stage; the MLE maximizes the total likelihood. Differently from the most of the literature, the first stage sample size is small, and hence asymptotic approximation is used only in the second stage. It is proved that the MLE is consistent and that its asymptotic distribution is a specific Gaussian mixture, via stable convergence. Finally, a simulation study is provided in the case of a dose-response Emax model.


title: Alternative states in plant communities driven by a life-history tradeoff and demographic stochasticity

abstract: Life-history tradeoffs among species are major drivers of community assembly. Most studies investigate how tradeoffs promote deterministic coexistence of species. It remains unclear how tradeoffs may instead promote historically contingent exclusion of species, where species dominance is affected by initial abundances, causing alternative community states. Focusing on the establishment-longevity tradeoff, we study the transient dynamics and equilibrium outcomes of competitive interactions in a simulation model of plant community assembly. We show that, in this model, the establishment-longevity tradeoff is a necessary but not sufficient condition for alternative stable equilibria that require also low fecundity for both species. An analytical approximation of our simulation model demonstrates that alternative stable equilibria are driven by demographic stochasticity in the number of seeds arriving at each establishment site. This site-scale stochasticity is only affected by fecundity and therefore occurs even in infinitely large communities. In many cases where the establishment-longevity tradeoff does not cause alternative stable equilibria, it still decreases the rate of convergence toward the single equilibrium, resulting in decades of transient dynamics that can appear indistinguishable from alternative stable equilibria in empirical studies.


title: Fate of a recent conformal fixed point and $\beta$-function in the SU(3) BSM gauge theory with ten massless flavors

abstract: SU(3) gauge theory with $N_f$ fermions in the fundamental representation serves as a theoretical testing ground for possible infrared conformal behavior, which could play a role in BSM composite Higgs models. We use lattice simulations to study the 10-flavor model, for which it has been claimed there is an infrared fixed point in the gauge coupling $\beta$-function. Our results suggest the opposite conclusion, namely we find no $\beta$-function fixed point in the explored range, with qualitative agreement with the 5-loop $\overline{MS}$ prediction. We comment on the inconsistency between our findings and other studies.


title: Bayesian Layers: A Module for Neural Network Uncertainty

abstract: We describe Bayesian Layers, a module designed for fast experimentation with neural network uncertainty. It extends neural network libraries with drop-in replacements for common layers. This enables composition via a unified abstraction over deterministic and stochastic functions and allows for scalability via the underlying system. These layers capture uncertainty over weights (Bayesian neural nets), pre-activation units (dropout), activations ("stochastic output layers"), or the function itself (Gaussian processes). They can also be reversible to propagate uncertainty from input to output. We include code examples for common architectures such as Bayesian LSTMs, deep GPs, and flow-based models. As demonstration, we fit a 5-billion parameter "Bayesian Transformer" on 512 TPUv2 cores for uncertainty in machine translation and a Bayesian dynamics model for model-based planning. Finally, we show how Bayesian Layers can be used within the Edward2 probabilistic programming language for probabilistic programs with stochastic processes.


title: Accuracy, Uncertainty, and Adaptability of Automatic Myocardial ASL Segmentation using Deep CNN

abstract: PURPOSE: To apply deep CNN to the segmentation task in myocardial arterial spin labeled (ASL) perfusion imaging and to develop methods that measure uncertainty and that adapt the CNN model to a specific false positive vs. false negative tradeoff. METHODS: The Monte Carlo dropout (MCD) U-Net was trained on data from 22 subjects and tested on data from 6 heart transplant recipients. Manual segmentation and regional myocardial blood flow (MBF) were available for comparison. We consider two global uncertainty measures, named Dice Uncertainty and MCD Uncertainty, which were calculated with and without the use of manual segmentation, respectively. Tversky loss function with a hyperparameter $\beta$ was used to adapt the model to a specific false positive vs. false negative tradeoff. RESULTS: The MCD U-Net achieved Dice coefficient of mean(std) = 0.91(0.04) on the test set. MBF measured using automatic segmentations was highly correlated to that measured using the manual segmentation ($R^2$ = 0.96). Dice Uncertainty and MCD Uncertainty were in good agreement ($R^2$ = 0.64). As $\beta$ increased, the false positive rate systematically decreased and false negative rate systematically increased. CONCLUSION: We demonstrate the feasibility of deep CNN for automatic segmentation of myocardial ASL, with good accuracy. We also introduce two simple methods for assessing model uncertainty. Finally, we demonstrate the ability to adapt the CNN model to a specific false positive vs. false negative tradeoff. These findings are directly relevant to automatic segmentation in quantitative cardiac MRI and are broadly applicable to automatic segmentation problems in diagnostic imaging.


title: Scaling-Up In-Memory Datalog Processing: Observations and Techniques

abstract: Recursive query processing has experienced a recent resurgence, as a result of its use in many modern application domains, including data integration, graph analytics, security, program analysis, networking and decision making. Due to the large volumes of data being processed, several research efforts, across multiple communities, have explored how to scale up recursive queries, typically expressed in Datalog. Our experience with these tools indicated that their performance does not translate across domains (e.g., a tool design for large-scale graph analytics does not exhibit the same performance on program-analysis tasks, and vice versa). As a result, we designed and implemented a general-purpose Datalog engine, called RecStep, on top of a parallel single-node relational system. In this paper, we outline the different techniques we use in RecStep, and the contribution of each technique to overall performance. We also present results from a detailed set of experiments comparing RecStep with a number of other Datalog systems using both graph analytics and program-analysis tasks, summarizing pros and cons of existing techniques based on the analysis of our observations. We show that RecStep generally outperforms the state-of-the-art parallel Datalog engines on complex and large-scale Datalog program evaluation, by a 4-6X margin. An additional insight from our work is that we show that it is possible to build a high-performance Datalog system on top of a relational engine, an idea that has been dismissed in past work in this area.


title: Some remarks on the coincidence set for the Signorini problem

abstract: We study some properties of the coincidence set for the boundary Signorini problem, improving some results from previous works by the second author and collaborators. Among other new results, we show here that the convexity assumption on the domain made previously in the literature on the location of the coincidence set can be avoided under suitable alternative conditions on the data.


title: Signal Recovery From 1-Bit Quantized Noisy Samples via Adaptive Thresholding

abstract: In this paper, we consider the problem of signal recovery from 1-bit noisy measurements. We present an efficient method to obtain an estimation of the signal of interest when the measurements are corrupted by white or colored noise. To the best of our knowledge, the proposed framework is the pioneer effort in the area of 1-bit sampling and signal recovery in providing a unified framework to deal with the presence of noise with an arbitrary covariance matrix including that of the colored noise. The proposed method is based on a constrained quadratic program (CQP) formulation utilizing an adaptive quantization thresholding approach, that further enables us to accurately recover the signal of interest from its 1-bit noisy measurements. In addition, due to the adaptive nature of the proposed method, it can recover both fixed and time-varying parameters from their quantized 1-bit samples.


title: A Holographic Derivation of the Weak Gravity Conjecture

abstract: The Weak Gravity Conjecture (WGC) demands the existence of superextremal particles in any consistent quantum theory of gravity. The standard lore is that these particles are introduced to ensure that extremal black holes are either unstable or marginally stable, but it is not clear what is wrong if this doesn't happen. This note shows that, for a generic Einstein quantum theory of gravity in AdS, exactly stability of extremal black branes is in tension with rigorously proven quantum information theorems about entanglement entropy. Avoiding the contradiction leads to a nonperturbative version of the WGC, which reduces to the usual statement at weak coupling. The argument is general, and it does not rely on either supersymmetry or a particular UV completion, assuming only the validity of Einsteinian gravity, effective field theory, and holography. The pathology is related to the development of an infinite throat in the near-horizon region of the extremal solutions, which suggests a connection to the ER=EPR proposal.


title: Gravitational collapse in SYK models and Choptuik-like phenomenon

abstract: SYK model is a quantum mechanical model of fermions which is solvable at strong coupling and plays an important role as perhaps the simplest holographic model of quantum gravity and black holes. The present work considers a deformed SYK model and a sudden quantum quench in the deformation parameter. The system, as in the undeformed case, permits a low energy description in terms of pseudo Nambu Goldstone modes. The bulk dual of such a system represents a gravitational collapse, which is characterized by a bulk matter stress tensor whose value near the boundary shows a sudden jump at the time of the quench. The resulting gravitational collapse forms a black hole only if the deformation parameter $\Delta\epsilon$ exceeds a certain critical value $\Delta\epsilon_c$ and forms a horizonless geometry otherwise. In case a black hole does form, the resulting Hawking temperature is given by a fractional power $T_{bh} \propto (\Delta\epsilon - \Delta\epsilon_c)^{1/2}$, which is reminiscent of the `Choptuik phenomenon' of critical gravitational collapse.


title: Building Ethically Bounded AI

abstract: The more AI agents are deployed in scenarios with possibly unexpected situations, the more they need to be flexible, adaptive, and creative in achieving the goal we have given them. Thus, a certain level of freedom to choose the best path to the goal is inherent in making AI robust and flexible enough. At the same time, however, the pervasive deployment of AI in our life, whether AI is autonomous or collaborating with humans, raises several ethical challenges. AI agents should be aware and follow appropriate ethical principles and should thus exhibit properties such as fairness or other virtues. These ethical principles should define the boundaries of AI's freedom and creativity. However, it is still a challenge to understand how to specify and reason with ethical boundaries in AI agents and how to combine them appropriately with subjective preferences and goal specifications. Some initial attempts employ either a data-driven example-based approach for both, or a symbolic rule-based approach for both. We envision a modular approach where any AI technique can be used for any of these essential ingredients in decision making or decision support systems, paired with a contextual approach to define their combination and relative weight. In a world where neither humans nor AI systems work in isolation, but are tightly interconnected, e.g., the Internet of Things, we also envision a compositional approach to building ethically bounded AI, where the ethical properties of each component can be fruitfully exploited to derive those of the overall system. In this paper we define and motivate the notion of ethically-bounded AI, we describe two concrete examples, and we outline some outstanding challenges.


title: Theoretical Analysis of Auto Rate-Tuning by Batch Normalization

abstract: Batch Normalization (BN) has become a cornerstone of deep learning across diverse architectures, appearing to help optimization as well as generalization. While the idea makes intuitive sense, theoretical analysis of its effectiveness has been lacking. Here theoretical support is provided for one of its conjectured properties, namely, the ability to allow gradient descent to succeed with less tuning of learning rates. It is shown that even if we fix the learning rate of scale-invariant parameters (e.g., weights of each layer with BN) to a constant (say, $0.3$), gradient descent still approaches a stationary point (i.e., a solution where gradient is zero) in the rate of $T^{-1/2}$ in $T$ iterations, asymptotically matching the best bound for gradient descent with well-tuned learning rates. A similar result with convergence rate $T^{-1/4}$ is also shown for stochastic gradient descent.


title: SlowFast Networks for Video Recognition

abstract: We present SlowFast networks for video recognition. Our model involves (i) a Slow pathway, operating at low frame rate, to capture spatial semantics, and (ii) a Fast pathway, operating at high frame rate, to capture motion at fine temporal resolution. The Fast pathway can be made very lightweight by reducing its channel capacity, yet can learn useful temporal information for video recognition. Our models achieve strong performance for both action classification and detection in video, and large improvements are pin-pointed as contributions by our SlowFast concept. We report state-of-the-art accuracy on major video recognition benchmarks, Kinetics, Charades and AVA. Code has been made available at: https://github.com/facebookresearch/SlowFast


title: Towards emulating cosmic shear data: Revisiting the calibration of the shear measurements for the Kilo-Degree Survey

abstract: Exploiting the full statistical power of future cosmic shear surveys will necessitate improvements to the accuracy with which the gravitational lensing signal is measured. We present a framework for calibrating shear with image simulations that demonstrates the importance of including realistic correlations between galaxy morphology, size and more importantly, photometric redshifts. This realism is essential so that selection and shape measurement biases can be calibrated accurately for a tomographic cosmic shear analysis. We emulate Kilo-Degree Survey (KiDS) observations of the COSMOS field using morphological information from {\it Hubble} Space Telescope imaging, faithfully reproducing the measured galaxy properties from KiDS observations of the same field. We calibrate our shear measurements from lensfit, and find through a range of sensitivity tests that lensfit is robust and unbiased within the allowed 2 per cent tolerance of our study. Our results show that the calibration has to be performed by selecting the tomographic samples in the simulations, consistent with the actual cosmic shear analysis, because the joint distributions of galaxy properties are found to vary with redshift. Ignoring this redshift variation could result in misestimating the shear bias by an amount that exceeds the allowed tolerance. To improve the calibration for future cosmic shear analyses, it will be essential to also correctly account for the measurement of photometric redshifts, which requires simulating multi-band observations.


title: Isotope Harvesting at FRIB: Additional opportunities for scientific discovery

abstract: The Facility for Rare Isotope Beams (FRIB) at Michigan State University provides a unique opportunity to access some of the nation's most specialized scientific resources: radioisotopes. An excess of useful radioisotopes will be formed as FRIB fulfills its basic science mission of providing rare isotope beams. In order for the FRIB beams to reach high-purity, many of the isotopes are discarded and go unused. If harvested, the unused isotopes could enable cutting-edge research for diverse applications ranging from medical therapy and diagnosis to nuclear security. Given that FRIB will have the capability to create about 80 percent of all possible atomic nuclei, harvesting at FRIB will provide a fast path for access to a vast array of isotopes of interest in basic and applied science investigations. To fully realize this opportunity, infrastructure investment is required to enable harvesting and purification of otherwise unused isotopes. An investment in isotope harvesting at FRIB will provide the nation with a powerful resource for development of crucial isotope applications.


title: Rayleigh fading suppression in one-dimension optical scatters

abstract: Highly coherent wave is favorable for applications in which phase retrieval is necessary, yet a high coherent wave is prone to encounter Rayleigh fading phenomenon as it passes through a medium of random scatters. As an exemplary case, phase-sensitive optical time-domain reflectometry (\Phi-OTDR) utilizes coherent interference of backscattering light along a fiber to achieve ultra-sensitive acoustic sensing, but sensing locations with fading won't be functional. Apart from the sensing domain, fading is also ubiquitous in optical imaging and wireless telecommunication, therefore it is of great interest. In this paper, we theoretically describe and experimentally verify how the fading phenomena in one-dimension optical scatters will be suppressed with arbitrary number of independent probing channels. We initially theoretically explained why fading would cause severe noise in the demodulated phase of \Phi-OTDR; then M-degree summation of incoherent scattered light-waves is studied for the purpose of eliminating fading. Finally, the gain of the retrieved phase signal-to-noise-ratio and its fluctuations were analytically derived and experimentally verified. This work provides a guideline for fading elimination in one-dimension optical scatters, and it also provides insight for optical imaging and wireless telecommunication.


title: Novel Concept for a Neutron Electric Charge Measurement using a Talbot-Lau Interferometer at a Pulsed Source

abstract: A concept to measure the neutron electric charge is presented which employs a precision Talbot-Lau interferometer in a high-intensity pulsed neutron beam. It is demonstrated that the sensitivity for a neutron charge measurement can be improved by up to two orders of magnitude compared to the current best direct experimental limit.


title: The Pulsed Neutron Beam EDM Experiment

abstract: We report on the Beam EDM experiment, which aims to employ a pulsed cold neutron beam to search for an electric dipole moment instead of the established use of storable ultracold neutrons. We present a brief overview of the basic measurement concept and the current status of our proof-of-principle Ramsey apparatus.


title: Classical Injective Solutions in the Large in Incompressible Nonlinear Elasticity

abstract: We consider a general class of parametrized displacement boundary value problems in incompressible nonlinear elasticity. We prove the existence of an unbounded solution branch of classical injective solutions emanating from the unforced stress-free reference configuration, which constitutes a sharp global implicit function theorem. The ramifications of this are: There exists at least one solution for any given applied loading, and or there exists solutions of arbitrarily large norm for some finite loading. We refer to this as solutions in the large. The nonlinear constraint equation enforcing incompressibility obviates the direct use of either the Leray-Schauder degree or an oriented degree previously developed for compressible problems. Instead we employ the nonlinear Fredholm degree for proper maps developed by Fitzpatrick, et. al. We establish the requisite admissibility properties in the presence of the constraint equation before proving the main results.


title: PIMBALL: Binary Neural Networks in Spintronic Memory

abstract: Neural networks span a wide range of applications of industrial and commercial significance. Binary neural networks (BNN) are particularly effective in trading accuracy for performance, energy efficiency or hardware/software complexity. Here, we introduce a spintronic, re-configurable in-memory BNN accelerator, PIMBALL: Processing In Memory BNN AcceL(L)erator, which allows for massively parallel and energy efficient computation. PIMBALL is capable of being used as a standard spintronic memory (STT-MRAM) array and a computational substrate simultaneously. We evaluate PIMBALL using multiple image classifiers and a genomics kernel. Our simulation results show that PIMBALL is more energy efficient than alternative CPU, GPU, and FPGA based implementations while delivering higher throughput.


title: Modeling and removal of optical ghosts in the PROBA-3/ASPIICS externally occulted solar coronagraph

abstract: Context: ASPIICS is a novel externally occulted solar coronagraph, which will be launched onboard the PROBA-3 mission of the European Space Agency. The external occulter will be placed on the first satellite approximately 150 m ahead of the second satellite that will carry an optical instrument. During 6 hours per orbit, the satellites will fly in a precise formation, constituting a giant externally occulted coronagraph. Large distance between the external occulter and the primary objective will allow observations of the white-light solar corona starting from extremely low heights 1.1RSun. Aims: To analyze influence of optical ghost images formed inside the telescope and develop an algorithm for their removal. Methods: We implement the optical layout of ASPIICS in Zemax and study the ghost behaviour in sequential and non-sequential regimes. We identify sources of the ghost contributions and analyze their geometrical behaviour. Finally we develop a mathematical model and software to calculate ghost images for any given input image. Results: We show that ghost light can be important in the outer part of the field of view, where the coronal signal is weak, since the energy of bright inner corona is redistributed to the outer corona. However the model allows to remove the ghost contribution. Due to a large distance between the external occulter and the primary objective, the primary objective does not produce a significant ghost. The use of the Lyot spot in ASPIICS is not necessary.


title: Real-time Closed Loop Neural Decoding on a Neuromorphic Chip

abstract: This paper presents for the first time a real-time closed loop neuromorphic decoder chip-driven intra-cortical brain machine interface (iBMI) in a non-human primate (NHP) based experimental setup. Decoded results show trial success rates and mean times to target comparable to those obtained by hand-controlled joystick. Neural control trial success rates of approximately 96% of those obtained by hand-controlled joystick have been demonstrated. Also, neural control has shown mean target reach speeds of approximately 85% of those obtained by hand-controlled joystick . These results pave the way for fast and accurate, fully implantable neuromorphic neural decoders in iBMIs.


title: Optimizing Frameworks Performance Using C++ Modules Aware ROOT

abstract: ROOT is a data analysis framework broadly used in and outside of High Energy Physics (HEP). Since HEP software frameworks always strive for performance improvements, ROOT was extended with experimental support of runtime C++ Modules. C++ Modules are designed to improve the performance of C++ code parsing. C++ Modules offers a promising way to improve ROOT's runtime performance by saving the C++ header parsing time which happens during ROOT runtime. This paper presents the results and challenges of integrating C++ Modules into ROOT.


title: Non-local imprints of gravity on quantum theory

abstract: During the last two decades or so much effort has been devoted to the discussion of quantum mechanics (QM) that in some way incorporates the notion of a minimum length. This upsurge of research has been prompted by the modified uncertainty relation brought about in the framework of string theory. In general, the implementation of minimum length in QM can be done either by modification of position and momentum operators or by restriction of their domains. In the former case we have the so called soccer-ball problem when the naive classical limit appears to be drastically different from the usual one. Starting with the latter possibility, an alternative approach was suggested in the form of a band-limited QM. However, applying momentum cutoff to the wave-function, one faces the problem of incompatibility with the Schr\"{o}dinger equation. One can overcome this problem in a natural fashion by appropriately modifying Schr\"{o}dinger equation. But incompatibility takes place for boundary conditions as well. Such wave-function cannot have any more a finite support in the coordinate space as it simply follows from the Paley-Wiener theorem. Treating, for instance, the simplest quantum-mechanical problem of a particle in an infinite potential well, one can no longer impose box boundary conditions. In such cases, further modification of the theory is in order. We propose a non-local modification of QM, which has close ties to the band-limited QM, but does not require a hard momentum cutoff. In the framework of this model, one can easily work out the corrections to various processes and discuss further the semi-classical limit of the theory.


title: Establishing a common data base of ice experiments and using machine learning to understand and predict ice behavior

abstract: Machine learning and statistical tools are applied to identify how parameters, such as temperature, influence peak stress and ice behavior. To enable the analysis, a common and small scale experimental data base is established.


title: Comments on arXiv:1811.00154 [astro-ph.IM] "AGN Variability Analysis Handbook"

abstract: Why do we write this note? It is erroneous to pretend to extract physical information from the experimental light curves (time series) of astrophysical systems by means of linear stochastic differential equations (LSDE). In general, the time evolution of these systems is governed by a set of nonlinear differential equations. Hence, the LSDEs are not suitable to model their dynamics. In spite of this, recently the LSDEs have been proposed as tools for the analysis of AGN light curves. Their use in this context seems to be dictated by their simplicity rather than by a real physical argument. We stress in this note that the correct approach to the analysis of signals coming from systems with nonlinear dynamics is to tackle the problem using methodologies in well defined physical contexts.


title: First-order Approximation to the Boltzmann-Curtiss Equations for Flows with Local Spin

abstract: The first-order approximation to the solution of the Boltzmann--Curtiss transport equation is derived. The resulting distribution function treats the rotation or gyration of spherical particles as an independent classical variable, deviating from the quantum mechanical treatment of molecular rotation found in the Wang Chang-Uhlenbeck equation. The Boltzmann-Curtiss equation, therefore, does not treat different rotational motions as separate molecular species. The first-order distribution function yields momentum equations for the translational velocity and gyration that match the form of the governing equations of morphing continuum theory (MCT), a theory derived from the approach of rational continuum thermomechanics. The contribution of the local rotation to the Cauchy stress and the viscous diffusion are found to be proportional to an identical expression based off the relaxation time, number density, and equilibrium temperature of the fluid. When gyration is equated to the macroscopic angular velocity, the kinetic description reduces to the first-order approximation for a classical monatomic gas, and the governing equations match the form of the Navier--Stokes equations. The relaxation time used for this approximation is shown to be more complex due to the additional variable of local rotation. The approach of De Groot and Mazur is invoked to give an initial approximation for the relaxation of the gyration. The incorporation of this relaxation time, and other physical parameters, into the coefficients of the governing equations provides a more in-depth physical treatment of the new terms in the MCT equations, allowing experimenters to test these expressions and get a better understanding of new coefficients in MCT.


title: Cosmic Rays or Turbulence can Suppress Cooling Flows (Where Thermal Heating or Momentum Injection Fail)

abstract: The quenching `maintenance' and `cooling flow' problems are important from the Milky Way through massive cluster elliptical galaxies. Previous work has shown that some source of energy beyond that from stars and pure magnetohydrodynamic processes is required, perhaps from AGN, but even the qualitative form of this energetic input remains uncertain. Different scenarios include thermal `heating,' direct wind or momentum injection, cosmic ray heating or pressure support, or turbulent `stirring' of the intra-cluster medium (ICM). We investigate these in $10^{12}-10^{14}\,{\rm M}_{\odot}$ halos using high-resolution non-cosmological simulations with the FIRE-2 (Feedback In Realistic Environments) stellar feedback model, including simplified toy energy-injection models, where we arbitrarily vary the strength, injection scale, and physical form of the energy. We explore which scenarios can quench without violating observational constraints on energetics or ICM gas. We show that turbulent stirring in the central $\sim100\,$kpc, or cosmic-ray injection, can both maintain a stable low-SFR halo for $>$Gyr timescales with modest energy input, by providing a non-thermal pressure which stably lowers the core density and cooling rates. In both cases, associated thermal-heating processes are negligible. Turbulent stirring preserves cool-core features while mixing condensed core gas into the hotter halo and is by far the most energy efficient model. Pure thermal heating or nuclear isotropic momentum injection require vastly larger energy, are less efficient in lower-mass halos, easily over-heat cores, and require fine-tuning to avoid driving unphysical temperature gradients or gas expulsion from the halo center.


title: Proton Fixed-Target Scintillation Experiment to Search for Minicharged Particles

abstract: We propose a low-cost and movable setup to probe minicharged particles (or milli-charged particles) using high-intensity proton fixed-target facilities. This proposal, FerMINI, consists of a milliQan-type detector, requiring multi-coincident (nominally, triple-coincident) scintillation signatures within a small time window, located downstream of the proton target of a neutrino experiment. During the collisions of a large number of protons on the target, intense minicharged particle beams may be produced via meson photo-decays and Drell-Yan production. We take advantage of the high statistics, shielding, and potential neutrino-detector-related background reduction to search for minicharged particles in two potential sites: the MINOS near detector hall and the proposed DUNE near detector hall, both at Fermilab. We also explore several alternative designs, including the modifications of the nominal detector to increase signal yield, and combining this detector technology with existing and planned neutrino detectors to better search for minicharged particles. The CERN SPS beam and associated experimental structure also provide a similar alternative. FerMINI can achieve unprecedented sensitivity for minicharged particles in the MeV to few GeV regime with fractional charge $\varepsilon=Q_{\chi}/e $ between $10^{-4}$ (potentially saturating the detector limitation) and $10^{-1}$.


title: Thraxions: Ultralight Throat Axions

abstract: We argue that a new type of extremely light axion is generically present in the type IIB part of the string theory landscape. Its mass is suppressed by the third power of the warp factor of a strongly warped region (Klebanov-Strassler throat), suggesting the name thraxion. Our observation is based on the generic presence of several throats sharing the same 2-cycle. This cycle shrinks to zero volume at the end of each throat. It is hence trivial in homology and the corresponding $C_2$ axion is massive. However, the mass is warping-suppressed since, if one were to cut off the strongly warped regions, a proper 2-cycle would re-emerge. Since the kinetic term of the axion is dominated in the UV, an even stronger, quadratic mass suppression results. Moreover, if the axion is excited, the angular modes of the throats backreact. This gives our effective $C_2$ axion a finite monodromy and flattens its potential even further. Eventually, the mass turns out to scale as the third power of the warp factor. We briefly discuss possible implications for phenomenology and potential violations of the Weak Gravity Conjecture for axions. Moreover we identify a mechanism for generating super-Planckian axionic field ranges which we call drifting monodromies. However, in the examples we consider, the potential oscillates on sub-Planckian distances in field space, preventing us from building a natural inflation model on the basis of this idea.


title: Geometric response of quantum Hall states to electric fields

abstract: Exploiting novel aspects of the quantum geometry of charged particles in a magnetic field via gauge-invariant variables, we provide tangible connections between the response of quantum Hall fluids to non-uniform electric fields and the characteristic geometry of electronic motion in the presence of magnetic and electric fields. The geometric picture we provide motivates the following conjecture: non-uniform electric fields mimic the presence of spatial curvature. Consequently, the gravitational coupling constant also appears in the charge response to non-uniform electric fields.

categories: cond-mat.mes-hall math-ph math.MP quant-ph


title: A supersolid-based gravimeter in a ring cavity

abstract: We propose a novel type of composite light-matter interferometer based on a supersolid-like phase of a driven Bose-Einstein condensate coupled to a pair of degenerate counterpropagating electromagnetic modes of an optical ring cavity. The supersolid-like condensate under the influence of the gravity drags the cavity optical potential with itself, thereby changing the relative phase of the two {cavity electromagnetic fields}. Monitoring the phase evolution of the cavity output fields thus allows for a nondestructive measurement of the gravitational acceleration. We show that the sensitivity of the proposed gravimeter exhibits Heisenberg-like scaling with respect to the atom number. As the relative phase of the cavity fields is insensitive to photon losses, the gravimeter is robust against these deleterious effects. For state-of-the-art experimental parameters, the relative sensitivity $\Delta g/g$ of such a gravimeter could be of the order of $10^{-10}$--$10^{-8}$ for a condensate of a half a million atoms and interrogation time of the order of a few seconds.


title: Generalised model-independent characterisation of strong gravitational lenses V: reconstructing the lensing distance ratio by supernovae for a general Friedmann universe

abstract: We determine the cosmic expansion rate from supernovae of type Ia to set up a data-based distance measure that does not make assumptions about the constituents of the universe, i.e. about a specific parametrisation of a Friedmann cosmological model. The scale, determined by the Hubble constant $H_0$, is the only free cosmological parameter left in the gravitational lensing formalism. We investigate to which accuracy and precision the lensing distance ratio $D$ is determined from the Pantheon sample. Inserting $D$ and its uncertainty into the lensing equations for given $H_0$, esp. the time-delay equation between a pair of multiple images, allows to determine lens properties, esp. differences in the lensing potential ($\Delta \phi$), without specifying a cosmological model. We expand the luminosity distances into an analytic orthonormal basis, determine the maximum-likelihood weights for the basis functions by a globally optimal $\chi^2$-parameter estimation, and derive confidence bounds by Monte-Carlo simulations. For typical strong lensing configurations between $z=0.5$ and $z=1.0$, $\Delta \phi$ can be determined with a relative imprecision of 1.7%, assuming imprecisions of the time delay and the redshift of the lens on the order of 1%. With only a small, tolerable loss in precision, the model-independent lens characterisation developed in this paper series can be generalised by dropping the specific Friedmann model to determine $D$ in favour of a data-based distance ratio. Moreover, for any astrophysical application, the approach presented here, provides distance measures for $z\le2.3$ that are valid in any homogeneous, isotropic universe with general relativity as theory of gravity.


title: Non-local String Order Parameter in the $S = 1/2$ Kitaev-Heisenberg Ladder

abstract: We study the spin-$\frac{1}{2}$ Kitaev-Heisenberg (KJ) model in a two-leg ladder. Without a Heisenberg interaction, the Kitaev phase in the ladder model has Majorana fermions with local Z$_2$ gauge fields, and is usually described as a disordered phase without any order parameter. Here we prove the existence of a non-local string order parameter (SOP) in the Kitaev phase which survives with a finite Heisenberg interaction. The SOP is obtained by relating the Kitaev ladder, through a non-local unitary transformation, to a one-dimensional $XY$ chain with an Ising coupling to a dangling spin at every site. This differentiates the Kitaev phases from other nearby phases including a rung singlet. Two phases with non-zero SOP corresponding to ferromagnetic and antiferromagnetic Kitaev interactions are identified. The full phase diagram of the KJ ladder is determined using exact diagonalization and density matrix renormalization group methods, which shows a striking similarity to the KJ model on a two-dimensional honeycomb lattice.


title: Dark Energy Survey Year 1 results: Detection of Intra-cluster Light at Redshift $\sim$ 0.25

abstract: Using data collected by the Dark Energy Survey (DES), we report the detection of intracluster light (ICL) with $\sim300$ galaxy clusters in the redshift range of 0.2-0.3. We design methods to mask detected galaxies and stars in the images and stack the cluster light profiles, while accounting for several systematic effects (sky subtraction, instrumental point-spread function, cluster selection effects and residual light in the ICL raw detection from background and cluster galaxies). The methods allow us to acquire high signal-to-noise measurements of the ICL and central galaxies (CGs), which we separate with radial cuts. The ICL appears as faint and diffuse light extending to at least 1 Mpc from the cluster center, reaching a surface brightness level of 30 mag arcsec$^{-2}$. The ICL and the cluster CG contribute to $44\%\pm17$\% of the total cluster stellar luminosity within 1 Mpc. The ICL color is overall consistent with that of the cluster red sequence galaxies, but displays the trend of becoming bluer with increasing radius. The ICL demonstrates an interesting self-similarity feature -- for clusters in different richness ranges, their ICL radial profiles are similar after scaling with cluster $R_\mathrm{200m}$, and the ICL brightness appears to be a good tracer of the cluster radial mass distribution. These analyses are based on the DES redMaPPer cluster sample identified in the first year of observations.


title: Towards a fundamental safe theory of composite Higgs and Dark Matter

abstract: We present a novel paradigm that allows to define a composite theory at the electroweak scale that is well defined all the way up to any energy by means of safety in the UV. The theory flows from a complete UV fixed point to an IR fixed point for the strong dynamics (which gives the desired walking) before generating a mass gap at the TeV scale. We discuss two models featuring a composite Higgs, Dark Matter and partial compositeness for all SM fermions. The UV theories can also be embedded in a Pati-Salam partial unification, thus removing the instability generated by the $\mbox{U}(1)$ running. Finally, we find a Dark Matter candidate still allowed at masses of $260$ GeV, or $1.5 \sim 2$ TeV, where the latter mass range will be covered by next generation direct detection experiments.


title: Stable anisotropic heat conduction in smoothed particle hydrodynamics

abstract: We investigate how to simulate anisotropic heat conduction in a stable manner in Smoothed Particle Hydrodynamics. We show that the requirement for stability is that entropy must increase. From this, we deduce that methods involving direct second derivatives in SPH are unstable, as found by previous authors. We show that the only stable method is to use two first derivatives with alternating differenced and symmetric SPH derivative operators, with the caveat, that one may need to apply smoothing or use an artificial conductivity term if the initial temperature jump is discontinuous. Furthermore, we find that with two first derivatives the stable timestep can be 3--8 times larger even for isotropic diffusion.


title: The $\phi^4$ model with the BPS preserving defect

abstract: The $\phi^4$ model is coupled to an impurity in a way that preserves one-half of the BPS property. This means that the antikink-impurity bound state is still a BPS solution, i.e., a zero-pressure solution saturating the topological energy bound. The kink-impurity bound state, on the other hand, does not saturate the bound, in general. We found that, although the impurity breaks translational invariance, it is, in some sense, restored in the BPS sector where the energy of the antikink-impurity solution does not depend on their mutual distance. This is reflected in the existence of a generalised translational symmetry and a zero mode. We also investigate scattering processes. In particular, we compare the antikink-impurity interaction close to the BPS regime, which presents a rather smooth, elastic like nature, with other scattering processes. However, even in this case, after exciting a sufficiently large linear mode on the incoming antikink, we can depart from the close-to-BPS regime. This results, for example, in a backward scattering.


title: Counting Associatives in Compact $G_2$ Orbifolds

abstract: We describe a class of compact $G_2$ orbifolds constructed from non-symplectic involutions of K3 surfaces. Within this class, we identify a model for which there are infinitely many associative submanifolds contributing to the effective superpotential of M-theory compactifications. Under a chain of dualities, these can be mapped to F-theory on a Calabi-Yau fourfold, and we find that they are dual to an example studied by Donagi, Grassi and Witten. Finally, we give two different descriptions of our main example and the associative submanifolds as a twisted connected sum.


title: The Three Hundred Project: The evolution of galaxy cluster density profiles

abstract: Recent numerical studies of the dark matter density profiles of massive galaxy clusters ($M_{\rm halo} > 10^{15}$M$_{\odot}$) show that their median radial mass density profile remains unchanged up to $z > 1$, displaying a highly self-similar evolution. We verify this by using the data set of the THE THREE HUNDRED project, i.e. 324 cluster-sized haloes as found in full physics hydrodynamical simulations. We track the progenitors of the mass-complete sample of clusters at $z=0$, and find that their median shape is already in place by $z=2.5$. However, selecting a dynamically relaxed subsample ($\sim16$ per cent of the clusters), we observe a shift of the scale radius $r_s$ towards larger values at earlier times. Classifying the whole sample by formation time, this evolution is understood as a result of a two-phase halo mass accretion process. Early-forming clusters -- identified as relaxed today -- have already entered their slow accretion phase, hence their mass growth occurs mostly at the outskirts. Late-forming clusters -- which are still unrelaxed today -- are in their fast accretion phase, thus the central region of the clusters is still growing. We conclude that the density profile of galaxy clusters shows a profound self-similarity out to redshifts $z\sim2.5$. This result holds for both gas and total density profiles when including baryonic physics, as reported here for two rather distinct sub-grid models.


title: Predicting Granulation "Flicker" and Radial Velocity "Jitter" from Spectroscopic Observables

abstract: Surface granulation can be predicted with the mass, metallicity, and frequency of maximum power of a star. Using the orders-of-magnitude larger APOGEE-Kepler sample, we recalibrate the relationship fit by Corsaro et al. (2017) for "flicker", an easier-to-compute diagnostic of this granulation. We find that the relationship between the stellar parameters and flicker is significantly different for dwarf and subgiant stars than it is for red giants. We also confirm a dependence of flicker amplitude on metallicity as seen originally by Corsaro et al. (2017), although the dependence found here is somewhat weaker. Using the same APOGEE-Kepler sample, we demonstrate that spectroscopic measurements alone provide sufficient information to estimate the flicker amplitude to 7 percent for giants, and 20 percent for dwarfs and subgiants. We provide a relationship that depends on effective temperature, surface gravity, and metallicity, and calculate predicted flicker values for 129,000 stars with APOGEE spectra. Finally, we use published relationships between flicker and radial velocity jitter to estimate minimum jitter values for these same 129,000 stars, and we identify stars whose total jitter is likely to be even larger than the granulation-driven jitter by virtue of large-amplitude photometric variability.


title: Tensor networks for complex quantum systems

abstract: Tensor network states and methods have erupted in recent years. Originally developed in the context of condensed matter physics and based on renormalization group ideas, tensor networks lived a revival thanks to quantum information theory and the understanding of entanglement in quantum many-body systems. Moreover, it has been not-so-long realized that tensor network states play a key role in other scientific disciplines, such as quantum gravity and artificial intelligence. In this context, here we provide an overview of basic concepts and key developments in the field. In particular, we briefly discuss the most important tensor network structures and algorithms, together with a sketch on advances related to global and gauge symmetries, fermions, topological order, classification of phases, entanglement Hamiltonians, AdS/CFT, artificial intelligence, the 2d Hubbard model, 2d quantum antiferromagnets, conformal field theory, quantum chemistry, disordered systems, and many-body localization.


title: Eccentricity distributions of eccentric binary black holes in galactic nuclei

abstract: Galactic nuclei are expected to be one of the main sites for formations of eccentric binary black holes (EBBHs), with an estimated detection rate of $\mathcal{O}(1-100$ yr$^{-1})$ with Advanced LIGO (aLIGO) detectors operating at design sensitivity. The two main formation channels of these binaries are gravitational capture and the secular Kozai-Lidov mechanism, with expectedly commensurable formation rates. We used Monte Carlo simulations to construct the eccentricity distributions of EBBHs formed through these channels in galactic nuclei, at the time their gravitational-wave signals enter the aLIGO band at $10$ Hz. We have found that the proportion of binary black holes entering the aLIGO band with eccentricities larger than $0.1$ is $\sim 10$ percent for the secular Kozai-Lidov mechanism, and $\sim 75$ percent for gravitational capture. We show that if future EBBH detection rates with aLIGO will be dominated by EBBHs formed in galactic nuclei, then the proportions of EBBHs formed through the two main channels can be constrained to a $\Delta \mathcal{F}= 0.2$ wide one-sigma confidence interval with a few tens of observations, even if parameter estimation errors are taken into account at realistic levels.


title: L\'{e}vy Flights of the Collective Imagination

abstract: We present a structured random-walk model that captures key aspects of how people communicate in groups. Our model takes the form of a correlated L\'{e}vy flight that quantifies the balance between focused discussion of an idea and long-distance leaps in semantic space. We apply our model to three cases of increasing structural complexity: philosophical texts by Aristotle, Hume, and Kant; four days of parliamentary debate during the French Revolution; and branching comment trees on the discussion website Reddit. In the philosophical and parliamentary cases, the model parameters that describe this balance converge under coarse-graining to limit regions that demonstrate the emergence of large-scale structure, a result which is robust to translation between languages. Meanwhile, we find that the political forum we consider on Reddit exhibits a debate-like pattern, while communities dedicated to the discussion of science and news show much less temporal order, and may make use of the emergent, tree-like topology of comment replies to structure their epistemic explorations. Our model allows us to quantify the ways in which social technologies such as parliamentary procedures and online commenting systems shape the joint exploration of ideas.


title: Sparse Bayesian mass-mapping with uncertainties: hypothesis testing of structure

abstract: A crucial aspect of mass-mapping, via weak lensing, is quantification of the uncertainty introduced during the reconstruction process. Properly accounting for these errors has been largely ignored to date. We present a new method to reconstruct maximum a posteriori (MAP) convergence maps by formulating an unconstrained Bayesian inference problem with Laplace-type l1-norm sparsity-promoting priors, which we solve via convex optimization. Approaching mass-mapping in this manner allows us to exploit recent developments in probability concentration theory to infer theoretically conservative uncertainties for our MAP reconstructions, without relying on assumptions of Gaussianity. For the first time these methods allow us to perform hypothesis testing of structure, from which it is possible to distinguish between physical objects and artifacts of the reconstruction. Here we present this new formalism, demonstrate the method on simulations, before applying the developed formalism to two observational datasets of the Abel-520 cluster. Initial reconstructions of the Abel-520 catalogs reported the detection of an anomalous 'dark core' -- an over dense region with no optical counterpart -- which was taken to be evidence for self-interacting dark-matter. In our Bayesian framework it is found that neither Abel-520 dataset can conclusively determine the physicality of such dark cores at 99% confidence. However, in both cases the recovered MAP estimators are consistent with both sets of data.


title: Focusing on the extended X-ray emission in 3C 459 with a Chandra follow-up observation

abstract: We investigated the X-ray emission properties of the powerful radio galaxy 3C 459 revealed by a recent Chandra follow-up observation carried out in October 2014 with a 62 ks exposure. We performed an X-ray spectral analysis from a few selected regions on an image obtained from this observation and also compared the X-ray image with a 4.9 GHz VLA radio map available in the literature. The dominant contribution comes from the radio core but significant X-ray emission is detected at larger angular separations from it, surrounding both radio jets and lobes. According to a scenario in which the extended X-ray emission is due to a plasma collisionally heated by jet-driven shocks and not magnetically dominated, we estimated its temperature to be ~0.8 keV. This hot gas cocoon could be responsible for the radio depolarization observed in 3C 459, as recently proposed also for 3C 171 and 3C 305. On the other hand, our spectral analysis and the presence of an oxygen K edge, blueshifted at 1.23 keV, cannot exclude the possibility that the X-ray radiation originating from the inner regions of the radio galaxy could be intercepted by some outflow of absorbing material intervening along the line of sight, as already found in some BAL quasars.


title: Class $\mathcal{S}$ Anomalies from M-theory Inflow

abstract: We present a first principles derivation of the anomaly polynomials of 4d $\mathcal{N} = 2$ class $\mathcal{S}$ theories of type $A_{N-1}$ with arbitrary regular punctures, using anomaly inflow in the corresponding M-theory setup with $N$ M5-branes wrapping a punctured Riemann surface. The labeling of punctures in our approach follows entirely from the analysis of the 11d geometry and $G_4$ flux. We highlight the applications of the inflow method to the AdS/CFT correspondence.


title: Sparse Bayesian mass-mapping with uncertainties: local credible intervals

abstract: Until recently mass-mapping techniques for weak gravitational lensing convergence reconstruction have lacked a principled statistical framework upon which to quantify reconstruction uncertainties, without making strong assumptions of Gaussianity. In previous work we presented a sparse hierarchical Bayesian formalism for convergence reconstruction that addresses this shortcoming. Here, we draw on the concept of local credible intervals (cf. Bayesian error bars) as an extension of the uncertainty quantification techniques previously detailed. These uncertainty quantification techniques are benchmarked against those recovered via Px-MALA - a state of the art proximal Markov Chain Monte Carlo (MCMC) algorithm. We find that typically our recovered uncertainties are everywhere conservative, of similar magnitude and highly correlated (Pearson correlation coefficient $\geq 0.85$) with those recovered via Px-MALA. Moreover, we demonstrate an increase in computational efficiency of $\mathcal{O}(10^6)$ when using our sparse Bayesian approach over MCMC techniques. This computational saving is critical for the application of Bayesian uncertainty quantification to large-scale stage IV surveys such as LSST and Euclid.


title: Sparse Bayesian mass-mapping with uncertainties: peak statistics and feature locations

abstract: Weak lensing convergence maps - upon which higher order statistics can be calculated - can be recovered from observations of the shear field by solving the lensing inverse problem. For typical surveys this inverse problem is ill-posed (often seriously) leading to substantial uncertainty on the recovered convergence maps. In this paper we propose novel methods for quantifying the Bayesian uncertainty in the location of recovered features and the uncertainty in the cumulative peak statistic - the peak count as a function of signal to noise ratio (SNR). We adopt the sparse hierarchical Bayesian mass-mapping framework developed in previous work, which provides robust reconstructions and principled statistical interpretation of reconstructed convergence maps without the need to assume or impose Gaussianity. We demonstrate our uncertainty quantification techniques on both Bolshoi N-body (cluster scale) and Buzzard V-1.6 (large scale structure) N-body simulations. For the first time, this methodology allows one to recover approximate Bayesian upper and lower limits on the cumulative peak statistic at well defined confidence levels.


title: Two-dimensional fluids and their holographic duals

abstract: We describe the dynamics of two-dimensional relativistic and Carrollian fluids. These are mapped holographically to three-dimensional locally anti-de Sitter and locally Minkowski spacetimes, respectively. To this end, we use Eddington-Finkelstein coordinates, and grant general curved two-dimensional geometries as hosts for hydrodynamics. This requires to handle the conformal anomaly, and the expressions obtained for the reconstructed bulk metrics incorporate non-conformal-fluid data. We also analyze the freedom of choosing arbitrarily the hydrodynamic frame for the description of relativistic fluids, and propose an invariant entropy current compatible with classical and extended irreversible thermodynamics. This local freedom breaks down in the dual gravitational picture, and fluid/gravity correspondence turns out to be sensitive to dissipation processes: the fluid heat current is a necessary ingredient for reconstructing all Banados asymptotically anti-de Sitter solutions. The same feature emerges for Carrollian fluids, which enjoy a residual frame invariance, and their Barnich-Troessaert locally Minkowski duals. These statements are proven by computing the algebra of surface conserved charges in the fluid-reconstructed bulk three-dimensional spacetimes.


title: The enhanced X-ray Timing and Polarimetry mission - eXTP

abstract: In this paper we present the enhanced X-ray Timing and Polarimetry mission - eXTP. eXTP is a space science mission designed to study fundamental physics under extreme conditions of density, gravity and magnetism. The mission aims at determining the equation of state of matter at supra-nuclear density, measuring effects of QED, and understanding the dynamics of matter in strong-field gravity. In addition to investigating fundamental physics, eXTP will be a very powerful observatory for astrophysics that will provide observations of unprecedented quality on a variety of galactic and extragalactic objects. In particular, its wide field monitoring capabilities will be highly instrumental to detect the electro-magnetic counterparts of gravitational wave sources. The paper provides a detailed description of: (1) the technological and technical aspects, and the expected performance of the instruments of the scientific payload; (2) the elements and functions of the mission, from the spacecraft to the ground segment.


title: Dense matter with eXTP

abstract: In this White Paper we present the potential of the Enhanced X-ray Timing and Polarimetry (eXTP) mission for determining the nature of dense matter; neutron star cores host an extreme density regime which cannot be replicated in a terrestrial laboratory. The tightest statistical constraints on the dense matter equation of state will come from pulse profile modelling of accretion-powered pulsars, burst oscillation sources, and rotation-powered pulsars. Additional constraints will derive from spin measurements, burst spectra, and properties of the accretion flows in the vicinity of the neutron star. Under development by an international Consortium led by the Institute of High Energy Physics of the Chinese Academy of Science, the eXTP mission is expected to be launched in the mid 2020s.


title: Accretion in Strong Field Gravity with eXTP

abstract: In this paper we describe the potential of the enhanced X-ray Timing and Polarimetry (eXTP) mission for studies related to accretion flows in the strong field gravity regime around both stellar-mass and supermassive black-holes. eXTP has the unique capability of using advanced 'spectral-timing-polarimetry' techniques to analyze the rapid variations with three orthogonal diagnostics of the flow and its geometry, yielding unprecedented insight into the inner accreting regions, the effects of strong field gravity on the material within them and the powerful outflows which are driven by the accretion process.


title: Observatory science with eXTP

abstract: In this White Paper we present the potential of the enhanced X-ray Timing and Polarimetry (eXTP) mission for studies related to Observatory Science targets. These include flaring stars, supernova remnants, accreting white dwarfs, low and high mass X-ray binaries, radio quiet and radio loud active galactic nuclei, tidal disruption events, and gamma-ray bursts. eXTP will be excellently suited to study one common aspect of these objects: their often transient nature. Developed by an international Consortium led by the Institute of High Energy Physics of the Chinese Academy of Science, the eXTP mission is expected to be launched in the mid 2020s.


title: Constraint of Void Bias on Primordial non-Gaussianity

abstract: We study the large-scale bias parameter of cosmic voids with primordial non-Gaussian (PNG) initial conditions of the local type. In this scenario, the dark matter halo bias exhibits a characteristic scale dependence on large scales, which has been recognized as one of the most promising probes of the local PNG. Using a suite of $N$-body simulations with Gaussian and non-Gaussian initial conditions, we find that the void bias features scale-dependent corrections on large scales, similar to its halo counterpart. We find excellent agreement between the numerical measurement of the PNG void bias and the general peak-background split prediction. Contrary to halos, large voids anti-correlate with the dark matter density field, and the large-scale Gaussian void bias ranges from positive to negative values depending on void size and redshift. Thus, the information in the clustering of voids can be complementary to that of the halos. Using the Fisher matrix formalism for multiple tracers, we demonstrate that including the scale-dependent bias information from voids, constraints on the PNG parameter $f_{\rm NL}$ can be tightened by a factor of two compared to the accessible information from halos alone, when the sampling density of tracers reaches $4 \times 10^{-3} \, h^3 \mathrm{Mpc}^{-3} $.


title: Exploring the halo occupation of AGN using dark-matter cosmological simulations

abstract: A semi-empirical model is presented that describes the distribution of Active Galactic Nuclei (AGN) on the cosmic web. It populates dark-matter halos in N-body simulations (MultiDark) with galaxy stellar masses using empirical relations based on abundance matching techniques, and then paints accretion events on these galaxies using state-of-the-art measurements of the AGN occupation of galaxies. The explicit assumption is that the large-scale distribution of AGN is independent of the physics of black-hole fueling. The model is shown to be consistent with current measurements of the two-point correlation function of AGN samples. It is then used to make inferences on the halo occupation of the AGN population. Mock AGN are found in halos with a broad distribution of masses with a mode of $\approx 10^{12}\,h^{-1} \, M_{\odot}$ and a tail extending to cluster-size halos. The clustering properties of the model AGN depend only weakly on accretion luminosity and redshift. The fraction of satellite AGN in the model increases steeply toward more massive halos, in contrast with some recent observational results. This discrepancy, if confirmed, could point to a dependence of the halo occupation of AGN on the physics of black-hole fueling.


title: A scenario for the Galactic cosmic rays between the knee and the second-knee

abstract: We perform a fit to measurements of the cosmic ray spectrum and of the depth of shower maximum in the energy range between $10^{15}$~eV and $10^{18}$~eV. We consider a Galactic component that is a mixture of five representative nuclear species (H, He, N, Si and Fe), for which we adopt rigidity dependent broken power-law spectra, and we allow for an extragalactic component which becomes strongly suppressed for decreasing energies. The relative abundances of the Galactic components at $10^{15}$~eV are taken to be comparable to those determined by direct measurements at $10^{13}$~eV. The main features of the spectrum and of the composition are reproduced in these scenarios. The spectral knee results from the break of the H spectrum at $E_{\rm k}\simeq 3\times 10^{15}$~eV, although it is broaden by the comparable contribution from He which has a break at about $6\times 10^{15}$~eV. The low-energy ankle at $E_{\rm la}\simeq 2\times 10^{16}$~eV is associated to the strong suppression of the H and He Galactic components and the increasing relative contribution of the heavier ones, but the observed hardening of the spectrum at this energy turns out to result from the growing contribution of the extragalactic component. The second-knee at $E_{\rm sk}\simeq 26 E_{\rm k}\simeq 8\times 10^{16}$~eV is associated with the steepening of the Galactic Fe component. The transition to the regime in which the total cosmic ray flux is dominated by the extragalactic component takes place at an energy of about $10^{17}$~eV. The parameters of the fit depend on the hadronic model that is used to interpret the $X_{\rm max}$ measurements as well as on the specific $X_{\rm max}$ dataset that is considered in the fit. The impact of the possible existence of a maximum rigidity cutoff in the Galactic components is also discussed.


title: Proposal for a Direct Measurement of the von Neumann Entropy and the Relative Entropy of Coherence

abstract: Quantum coherence is the most distinguished signature of quantum mechanics, also recognized to be an essential resource for many promising quantum technologies, playing a central role in phenomena related to quantum information science, quantum thermodynamics and quantum biology, just to mention few examples. However, the resource theory of coherence is in the preliminary stage of its development, being still limited to the study of the manipulation and quantification of coherence, mostly from a theoretical viewpoint. Here, we propose an experimental method to directly measure the relative entropy of coherence, which according to the resource theory is one of the main quantifiers of coherence. To achieve this aim, we show how to measure the von Neumann entropy of a generic quantum state directly in terms of the Shannon entropy of the probability distribution of outcomes in a defined measurement basis. In both cases, by direct we mean that tomographic methods are not required. Two quantum-optical applications of our method are discussed in order to give support to our predictions.


title: Tight-binding terahertz plasmons in chemical vapor deposited graphene

abstract: Transistor structures comprising graphene and sub-wavelength metal gratings hold a great promise for plasmon-enhanced terahertz detection. Despite considerable theoretical effort, little experimental evidence for terahertz plasmons in such structures was found so far. Here, we report an experimental study of plasmons in graphene-insulator-grating structures using Fourier transform spectroscopy in 5-10 THz range. The plasmon resonance is clearly visible above the Drude absorption background even in chemical vapor deposited (CVD) graphene with low carrier mobility $\sim 10^3$ cm$^2$/(V s). We argue that plasmon lifetime is weakly sensistive to scattering by grain boundaries and macoscopic defects which limits the mobility of CVD samples. Upon placing the grating in close proximity to graphene, the plasmon field becomes tightly bound below the metal stripes, while the resonant frequency is determined by the stripe width but not by grating period. Our results open the prospects of large-area commercially available graphene for resonant terahertz detectors.


title: Order topology on orthocomplemented posets of linear subspaces of a pre-Hilbert space

abstract: Motivated by the Hilbert-space model for quantum mechanics, we define a pre-Hilbert space logic to be a pair $(S,\el)$, where $S$ is a pre-Hilbert space and $\el$ is an orthocomplemented poset of orthogonally closed linear subspaces of $S$, closed w.r.t. finite dimensional perturbations, (i.e. if $M\in\el$ and $F$ is a finite dimensional linear subspace of $S$, then $M+F\in \el$). We study the order topology $\tau_o(\el)$ on $\el$ and show that completeness of $S$ can by characterized by the separation properties of the topological space $(\el,\tau_o(\el))$. It will be seen that the remarkable lack of a proper probability-theory on pre-Hilbert space logics -- for an incomplete $S$ -- comes out elementarily from this topological characterization.


title: On the Positive Effect of Delay on the Rate of Convergence of a Class of Linear Time-Delayed Systems

abstract: This paper is a comprehensive study of a long observed phenomenon of increase in the stability margin and so the rate of convergence of a class of linear systems due to time delay. We use Lambert W function to determine (a) in what systems the delay can lead to increase in the rate of convergence, (b) the exact range of time delay for which the rate of convergence is greater than that of the delay free system, and (c) an estimate on the value of the delay that leads to the maximum rate of convergence. For the special case when the system matrix eigenvalues are all negative real numbers, we expand our results to show that the rate of convergence in the presence of delay depends only on the eigenvalues with minimum and maximum real parts. Moreover, we determine the exact value of the maximum rate of convergence and the corresponding maximizing time delay. We demonstrate our results through a numerical example on the practical application in accelerating an agreement algorithm for networked~systems by use of a delayed feedback.


title: Exactly Solvable Connections in Metric-Affine Gravity

abstract: This article presents a systematic way to solve for the Affine Connection in Metric-Affine Geometry. We start by adding to the Einstein-Hilbert action, a general action that is linear in the connection and its partial derivatives and respects projective invariance. We then generalize the result for Metric-Affine f(R) Theories. Finally, we generalize even further and add an action (to the Einstein-Hilbert) that has an arbitrary dependence on the connection and its partial derivatives. We wrap up our results as three consecutive Theorems. We then apply our Theorems to some simple examples in order to illustrate how the procedure works and also discuss the cases of dynamical/non-dynamical connections.


title: Unexpected hypersurfaces with multiple fat points

abstract: Starting with the ground-breaking work of Cook II, Harbourne, Migliore and Nagel, there has been a lot of interest in unexpected hypersurfaces. In the last couple of months a considerable number of new examples and new phenomena has been observed and reported on. All examples studied so far had just one fat point. In this note we introduce a new series of examples, which establishes for the first time the existence of unexpected hypersurfaces with multiple fat points. The key underlying idea is to study Fermat-type configurations of points in projective spaces.


title: The most general $\lambda$-deformation of CFTs and integrability

abstract: We show that the CFT with symmetry group $G_{k_1}\times G_{k_2}\times \cdots \times G_{k_n}$ consisting of WZW models based on the same group $G$, but at arbitrary integer levels, admits an integrable deformation depending on $2(n-1)$ continuous parameters. We derive the all-loop effective action of the deformed theory and prove integrability. We also calculate the exact in the deformation parameters RG flow equations which can be put in a particularly simple compact form. This allows a full determination and classification of the fixed points of the RG flow, in particular those that are IR stable. The models under consideration provide concrete realizations of integrable flows between CFTs. We also consider non-Abelian T-duality type limits.


title: The Functional Bootstrap for Boundary CFT

abstract: We introduce a new approach to the study of the crossing equation for CFTs in the presence of a boundary. We argue that there is a basis for this equation related to the generalized free field solution. The dual basis is a set of linear functionals which act on the crossing equation to give a set of sum rules on the boundary CFT data: the functional bootstrap equations. We show these equations are essentially equivalent to a Polyakov-type approach to the bootstrap of BCFTs, and show how to fix the so-called contact term ambiguity in that context. Finally, the functional bootstrap equations diagonalize perturbation theory around generalized free fields, which we use to recover the Wilson-Fisher BCFT data in the $\epsilon$-expansion to order $\epsilon^2$.


title: The order topology on duals of C$^\ast$-algebras and von Neumann algebras

abstract: For a von Neumann algebra $\mathcal M$ we study the order topology associated with the hermitian part $\mathcal M_*^s$ and to intervals of the predual $\mathcal M_*$. It is shown that the order topology on $\mathcal M_*^s$ coincides with the topology induced by the norm. In contrast to this, it is proved that the condition of having the order topology associated to the interval $[0,\varphi]$ equal to that induced by the norm for every $\varphi\in \mathcal M_*^+$, is necessary and sufficient for the commutativity of $\mathcal M$. It is also proved that if $\varphi$ is a positive bounded linear functional on a C$^\ast$-algebra $\mathcal A$, then the norm-null sequences in $[0,\varphi]$ coincide with the null sequences with respect to the order topology on $[0,\varphi]$ if and only if the von Neumann algebra $\pi_{\varphi}(\mathcal A)'$ is of finite type (where $\pi_{\varphi}$ denotes the corresponding GNS representation). This fact allows us to give a new topological characterization of finite von Neumann algebras. Moreover, we demonstrate that convergence to zero for norm and order topology on order-bounded parts of dual spaces are nonequivalent for all C$^\ast$-algebras that are not of Type $I$.


title: A multiplicative comparison of Waldhausen and Segal K-theory

abstract: In this paper, we establish a multiplicative equivalence between two multiplicative algebraic $K$-theory constructions, Elmendorf and Mandell's version of Segal's $K$-theory and Blumberg and Mandell's version of Waldhausen's $S_\bullet$ construction. This equivalence implies that the ring spectra, algebra spectra, and module spectra constructed via these two classical algebraic $K$-theory functors are equivalent as ring, algebra or module spectra, respectively. It also allows for comparisions of spectrally enriched categories constructed via these definitions of $K$-theory. As both the Elmendorf--Mandell and Blumberg--Mandell multiplicative versions of $K$-theory encode their multiplicativity in the language of multicategories, our main theorem is that there is multinatural transformation relating these two symmetric multifunctors that lifts the classical functor from Segal's to Waldhausen's construction. Along the way, we provide a slight generalization of the Elmendorf--Mandell construction to symmetric monoidal categories.


title: Non-singular and ghost-free infinite derivative gravity with torsion

abstract: We present the most general quadratic curvature action with torsion including infinite covariant derivatives and study its implications around the Minkowski background via the Palatini approach. Provided the torsion is solely given by the background axial field, the metric and torsion are shown to decouple, and both of them can be made ghost and singularity free for a fermionic source.


title: The UTMOST pulsar timing programme I: overview and first results

abstract: We present an overview and the first results from a large-scale pulsar timing programme that is part of the UTMOST project at the refurbished Molonglo Observatory Synthesis Radio Telescope (MOST) near Canberra, Australia. We currently observe more than 400 mainly bright southern radio pulsars with up to daily cadences. For 205 (8 in binaries, 4 millisecond pulsars) we publish updated timing models, together with their flux densities, flux density variability, and pulse widths at 843 MHz, derived from observations spanning between 1.4 and 3 yr. In comparison with the ATNF pulsar catalogue, we improve the precision of the rotational and astrometric parameters for 123 pulsars, for 47 by at least an order of magnitude. The time spans between our measurements and those in the literature are up to 48 yr, which allows us to investigate their long-term spin-down history and to estimate proper motions for 60 pulsars, of which 24 are newly determined and most are major improvements. The results are consistent with interferometric measurements from the literature. A model with two Gaussian components centred at 139 and $463~\text{km} \: \text{s}^{-1}$ fits the transverse velocity distribution best. The pulse duty cycle distributions at 50 and 10 per cent maximum are best described by log-normal distributions with medians of 2.3 and 4.4 per cent, respectively. We discuss two pulsars that exhibit spin-down rate changes and drifting subpulses. Finally, we describe the autonomous observing system and the dynamic scheduler that has increased the observing efficiency by a factor of 2-3 in comparison with static scheduling.


title: Polar decomposition of the Wiener measure: Schwarzian theory versus conformal quantum mechanics

abstract: We derive the explicit form of the polar decomposition of the Wiener measure, and obtain the equation connecting functional integrals in conformal quantum mechanics to those in the Schwarzian theory. Using this connection we evaluate some nontrivial functional integrals in the Schwarzian theory and also find the fundamental solution of the Schroedinger equation in imaginary time in the model of conformal quantum mechanics.