title: Inferred-variance uncertainty relations in the presence of quantum entanglement

abstract: Uncertainty relations play a significant role in drawing a line between classical physics and quantum physics. Since the introduction by Heisenberg, these relations have been considerably explored. However, the effect of quantum entanglement on uncertainty relations was not probed. Berta et al. [Nature Physics 6, 659-662 (2010)] removed this gap by deriving a conditional-entropic uncertainty relation in the presence of quantum entanglement. In the same spirit, using inferred-variance, we formulate uncertainty relations in the presence of entanglement for general two-qubit systems and arbitrary observables. We derive lower bounds for the sum and product inferred-variance uncertainty relations. Strikingly, we can write the lower bounds of these inferred-variance uncertainty relations in terms of measures of entanglement of two-qubit states, as characterized by concurrence, or $G$ function. Presumably, the presence of entanglement in the lower bound of inferred-variance uncertainty relation is new and unique. We also explore the violation of local uncertainty relations in this context and an interference experiment. Furthermore, we discuss possible applications of these uncertainty relations.


title: Complex scaled relativistic configuration-interaction study of the $LL$ resonances in helium-like ions: from Boron to Argon

abstract: Energies and Auger widths of the $LL$ resonances in He-like ions from boron to argon are evaluated by means of a complex scaled configuration-interaction approach within the framework of the Dirac-Coulomb-Breit Hamiltonian. The nuclear recoil and QED corrections are also taken into account. The obtained results are compared with other calculations based on the complex scaling method as well as with the related results evaluated using the stabilization and basis balancing methods.


title: Concerning Energy

abstract: Energy has an ambiguous status in general relativity. For systems embedded in asymptotically flat space-times it is possible to construct an integral invariant that corresponds to total energy, however there is no local differential invariant that can be identified with energy density. Moreover, in cosmological 'big-bang' scenarios there is an energy gain of about 70 orders of magnitude between the initial detonation and final inflation. Nevertheless, there is a widespread belief that all physical systems, irrespective of their size or complexity, can be associated with a unique scalar measure --- their energy. This presumption suggests parallels with the mathematical concept of measure in set theory as well as with entropy. However, both analogies are limited in scope. We also discuss a wide variety of other forms of energy ranging from particle physics to information theory, and consider the implications for conservation laws. Finally, we recall several historical episodes in which energy conservation was at the center of controversy.


title: Achieving the Ultimate Scaling Limit for Nonequilibrium Green Functions Simulations

abstract: The dynamics of strongly correlated fermions following an external excitation reveals extremely rich collective quantum effects. Examples are fermionic atoms in optical lattices, electrons in correlated materials, and dense quantum plasmas. Presently, the only quantum-dynamics approach that rigorously describes these processes in two and three dimensions is nonequilibrium Green functions (NEGF). However, NEGF simulations are computationally expensive due to their $T^3$ scaling with the simulation duration $T$. Recently, $T^2$ scaling was achieved with the generalized Kadanoff--Baym ansatz (GKBA) which has substantially extended the scope of NEGF simulations. Here we present a novel approach to GKBA-NEGF simulations that is of order $T$, and demonstrate its remarkable capabilities.


title: Towards an improved understanding of molecular evolution: the relative roles of selection, drift, and everything in between

abstract: A major goal of molecular evolutionary biology is to identify loci or regions of the genome under selection versus those evolving in a neutral manner. Correct identification allows accurate inference of the evolutionary process and thus comprehension of historical and contemporary processes driving phenotypic change and adaptation. A fundamental difficulty lies in distinguishing sites targeted by selection from both sites linked to these targets and sites fully independent of selection. These three categories of sites necessitate attention in light of the debate over the relative importance of selection versus neutrality and the neutral theory. Modern genomic insights have proved that complex processes such as linkage, demography, and biased gene conversion complicate our understanding of the role of neutral versus selective processes in evolution. In this perspective, we first highlight the importance of the genomic and (a)biotic context of new mutations to identify the targets of natural selection. We then present mechanisms that may constrain the evolution of genomes and bias the inference of selection. We discuss these mechanisms within the two critical levels that they occur: the population level and the molecular level. We highlight that they should be taken into account to correctly distinguish sites across the genome subject to selective or non-selective forces and stress that a major current field-wide goal is to quantify the absolute importance of these mechanisms.


title: Why are some galaxy clusters underluminous? The very low concentration of the CL2015 mass profile

abstract: Our knowledge of the variety of galaxy clusters has been increasing in the last few years thanks to our progress in understanding the severity of selection effects on samples. To understand the reason for the observed variety, we study CL2015, a cluster easily missed in X-ray selected observational samples. Its core-excised X-ray luminosity is low for its mass M500, well below the mean relation for an X-ray selected sample, but only ~1.5 sigma below that derived for an X-ray unbiased sample. We derived thermodynamic profiles and hydrostatic masses with the acquired deep Swift X-ray data, and we used archival Einstein, Planck, and SDSS data to derive additional measurements, such as integrated Compton parameter, total mass, and stellar mass. The pressure and the electron density profiles of CL2015 are systematically outside the +/- 2 sigma range of the universal profiles; in particular the electron density profile is even lower than the one derived from Planck-selected clusters. CL2015 also turns out to be fairly different in the X-ray luminosity versus integrated pressure scaling compared to an X-ray selected sample, but it is a normal object in terms of stellar mass fraction. CL2015's hydrostatic mass profile, by itself or when is considered together with dynamical masses, shows that the cluster has an unusual low concentration and an unusual sparsity compared to clusters in X-ray selected samples. The different behavior of CL2015 is caused by its low concentration. When concentration differences are accounted for, the properties of CL2015 become consistent with comparison samples. CL2015 is perhaps the first known cluster with a remarkably low mass concentration for which high quality X-ray data exist. Objects similar to CL2015 fail to enter observational X-ray selected samples because of their low X-ray luminosity relative to their mass.


title: Mirabolic Satake equivalence and supergroups

abstract: We construct a mirabolic analogue of the geometric Satake equivalence. We also prove an equivalence that relates representations of a supergroup with the category of $GL(N-1,{\mathbb C}[\![t]\!])$-equivariant perverse sheaves on the affine Grassmannian of $GL_N$. We explain how our equivalences fit into a more general framework of conjectures due to Gaiotto and to Ben-Zvi, Sakellaridis and Venkatesh.


title: Semi-supervised Text Style Transfer: Cross Projection in Latent Space

abstract: Text style transfer task requires the model to transfer a sentence of one style to another style while retaining its original content meaning, which is a challenging problem that has long suffered from the shortage of parallel data. In this paper, we first propose a semi-supervised text style transfer model that combines the small-scale parallel data with the large-scale nonparallel data. With these two types of training data, we introduce a projection function between the latent space of different styles and design two constraints to train it. We also introduce two other simple but effective semi-supervised methods to compare with. To evaluate the performance of the proposed methods, we build and release a novel style transfer dataset that alters sentences between the style of ancient Chinese poem and the modern Chinese.


title: Determining fireball fates using the $\alpha$-$\beta$ criterion

abstract: As fireball networks grow, the number of events observed becomes unfeasible to manage by manual efforts. Reducing and analysing big data requires automated data pipelines. Triangulation of a fireball trajectory can swiftly provide information on positions and, with timing information, velocities. However, extending this pipeline to determine the terminal mass estimate of a meteoroid is a complex next step. Established methods typically require assumptions to be made of the physical meteoroid characteristics (such as shape and bulk density). To determine which meteoroids may have survived entry there are empirical criteria that use a fireball's final height and velocity - low and slow final parameters are likely the best candidates. We review the more elegant approach of the dimensionless coefficient method. Two parameters, $\alpha$ (ballistic coefficient) and $\beta$ (mass-loss), can be calculated for any event with some degree of deceleration, given only velocity and height information. $\alpha$ and $\beta$ can be used to analytically describe a trajectory with the advantage that they are not mere fitting coefficients; they also represent the physical meteoroid properties. This approach can be applied to any fireball network as an initial identification of key events and determine on which to concentrate resources for more in depth analyses. We used a set of 278 events observed by the Desert Fireball Network to show how visualisation in an $\alpha$ - $\beta$ diagram can quickly identify which fireballs are likely meteorite candidates.


title: Moment maps and cohomology of non-reductive quotients

abstract: Let $H$ be a complex linear algebraic group with internally graded unipotent radical acting on a complex projective variety $X$. Given an ample linearisation of the action and an associated Fubini-Study K\"ahler form which is invariant for a maximal compact subgroup $Q$ of $H$, we define a notion of moment map for the action of $H$, and under suitable conditions (that the linearisation is well-adapted and semistability coincides with stability) we describe the (non-reductive) GIT quotient $X/\!/H$ introduced by B\'erczi, Doran, Hawes and Kirwan in terms of this moment map. Using this description we derive formulas for the Betti numbers of $X/\!/H$ and express the rational cohomology ring of $X/\!/H$ in terms of the rational cohomology ring of the GIT quotient $X/\!/T^H$, where $T^H$ is a maximal torus in $H$. We relate intersection pairings on $X/\!/H$ to intersection pairings on $X/\!/T^H$, obtaining a residue formula for these pairings on $X/\!/H$ analogous to the residue formula of Jeffrey-Kirwan. As an application, we announce a proof of the Green-Griffiths-Lang and Kobayashi conjectures for projective hypersurfaces with polynomial degree.


title: Impact of error analysis on the composition the outer crust of a neutron star

abstract: By means of bootstrap technique, we perform a full error analysis on the Duflo-Zucker mass model. We illustrate the impact of such study on the predicted chemical composition of the outer crust of a non-accreting neutron star. We define an existence probability for each nuclear species as a function of the depth of the crust. We observe that, due to statistical uncertainties, instead of having a well defined transition between two successive layers, we have a mixture of two species.


title: Aggregate capacity of TCLs with cycling constraints

abstract: Thermostatically Controlled Loads (TCLs) such as air conditioners and water heaters typically maintain their temperature within a preset range using on/off actuation. These types of loads are inherently flexible: many different power consumption trajectories exist that can keep the temperature within range. Decades of research has shown that flexible loads can provide valuable grid services. Quantifying the power and energy capacities of a collection of TCLs is a well-studied problem. However, most works focus on temperature constraints. In this work, we present a characterization of the capacity of a collection of TCLs that considers not only temperature, but also cycling and energy constraints. The characterization leads to a set of convex constraints. A grid operator can use this characterization to compute a feasible power consumption trajectory for an ensemble of TCLs that comes closest to what the operator needs to maintain demand-supply balance. Unlike prior attempts at capacity characterizations incorporating cycling constraints, our results are independent of the algorithm used to coordinate the TCLs.


title: Non-imaging single-pixel sensing with optimized binary modulation

abstract: The conventional high-level sensing techniques require high-fidelity images as input to extract target features, which are produced by either complex imaging hardware or high-complexity reconstruction algorithms. In this letter, we propose single-pixel sensing (SPS) that performs high-level sensing directly from coupled measurements of a single-pixel detector, without the conventional image acquisition and reconstruction process. The technique consists of three steps including binary light modulation that can be physically implemented at $\sim$22kHz, single-pixel coupled detection owning wide working spectrum and high signal-to-noise ratio, and end-to-end deep-learning based sensing that reduces both hardware and software complexity. Besides, the binary modulation is trained and optimized together with the sensing network, which ensures least required measurements and optimal sensing accuracy. The effectiveness of SPS is demonstrated on the classification task of handwritten MNIST dataset, and 96.68% classification accuracy at $\sim$1kHz is achieved. The reported single-pixel sensing technique is a novel framework for highly efficient machine intelligence.


title: Conformal foliations, K\"ahler twists and the Weinstein construction

abstract: We classify both local and global K\"ahler structures admitting totally geodesic homothetic foliations with complex leaves. The main building blocks are related to Swann's twists and are obtained by applying Weinstein's method of constructing symplectic bundles to K\"ahler data. As a byproduct we obtain new classes of: holomorphic harmonic morphisms with fibres of arbitrary dimension from compact K\"ahler manifolds; non-K\"ahler balanced metrics conformal to K\"ahler ones (but compatible with different complex structures). Some classes of non-Einstein constant scalar curvature K\"ahler metrics are also obtained in this way.


title: Modelling the influence of data structure on learning in neural networks: the hidden manifold model

abstract: Understanding the reasons for the success of deep neural networks trained using stochastic gradient-based methods is a key open problem for the nascent theory of deep learning. The types of data where these networks are most successful, such as images or sequences of speech, are characterised by intricate correlations. Yet, most theoretical work on neural networks does not explicitly model training data, or assumes that elements of each data sample are drawn independently from some factorised probability distribution. These approaches are thus by construction blind to the correlation structure of real-world data sets and their impact on learning in neural networks. Here, we introduce a generative model for structured data sets that we call the hidden manifold model (HMM). The idea is to construct high-dimensional inputs that lie on a lower-dimensional manifold, with labels that depend only on their position within this manifold, akin to a single layer decoder or generator in a generative adversarial network. We demonstrate that learning of the hidden manifold model is amenable to an analytical treatment by proving a "Gaussian Equivalence Property" (GEP), and we use the GEP to show how the dynamics of two-layer neural networks trained using one-pass stochastic gradient descent is captured by a set of integro-differential equations that track the performance of the network at all times. This permits us to analyse in detail how a neural network learns functions of increasing complexity during training, how its performance depends on its size and how it is impacted by parameters such as the learning rate or the dimension of the hidden manifold.

categories: stat.ML cond-mat.dis-nn cond-mat.stat-mech cs.LG


title: Disentangling to Cluster: Gaussian Mixture Variational Ladder Autoencoders

abstract: In clustering we normally output one cluster variable for each datapoint. However it is not necessarily the case that there is only one way to partition a given dataset into cluster components. For example, one could cluster objects by their colour, or by their type. Different attributes form a hierarchy, and we could wish to cluster in any of them. By disentangling the learnt latent representations of some dataset into different layers for different attributes we can then cluster in those latent spaces. We call this "disentangled clustering". Extending Variational Ladder Autoencoders (Zhao et al., 2017), we propose a clustering algorithm, VLAC, that outperforms a Gaussian Mixture DGM in cluster accuracy over digit identity on the test set of SVHN. We also demonstrate learning clusters jointly over numerous layers of the hierarchy of latent variables for the data, and show component-wise generation from this hierarchical model.


title: Gravastar model in Randall-Sundrum braneworld

abstract: In this work we derive a gravastar model in Randall-Sundrum II braneworld scenario. Gravastars (or gravitationally vacuum stars) were proposed by Mazur and Mottola as systems of gravitational collapse alternative to black holes. The external region of the gravastar is described by a Schwarzschild space-time, while its internal region is filled by dark energy. In between there is a thin shell surface with ultrarelativistic matter (sometimes referred to as stiff matter). We obtain solutions for some physical quantities of the braneworld gravastars. Those are compared to original Mazur-Mottola results as well as with some gravastar solutions in alternative gravity theories. The consequences of the braneworld setup in gravastar physics is deeply discussed.


title: Improve Language Modelling for Code Completion through Statement Level Language Model based on Statement Embedding Generated by BiLSTM

abstract: Language models such as RNN, LSTM or other variants have been widely used as generative models in natural language processing. In last few years, taking source code as natural languages, parsing source code into a token sequence and using a language model such as LSTM to train that sequence are state-of-art methods to get a generative model for solving the problem of code completion. However, for source code with hundreds of statements, traditional LSTM model or attention-based LSTM model failed to capture the long term dependency of source code. In this paper, we propose a novel statement-level language model (SLM) which uses BiLSTM to generate the embedding for each statement. The standard LSTM is adopted in SLM to iterate and accumulate the embedding of each statement in context to help predict next code. The statement level attention mechanism is also adopted in the model. The proposed model SLM is aimed at token level code completion. The experiments on inner-project and cross-project data sets indicate that the newly proposed statement-level language model with attention mechanism (SLM) outperforms all other state-of-art models in token level code completion task.


title: mustGAN: Multi-Stream Generative Adversarial Networks for MR Image Synthesis

abstract: Multi-contrast MRI protocols increase the level of morphological information available for diagnosis. Yet, the number and quality of contrasts is limited in practice by various factors including scan time and patient motion. Synthesis of missing or corrupted contrasts can alleviate this limitation to improve clinical utility. Common approaches for multi-contrast MRI involve either one-to-one and many-to-one synthesis methods. One-to-one methods take as input a single source contrast, and they learn a latent representation sensitive to unique features of the source. Meanwhile, many-to-one methods receive multiple distinct sources, and they learn a shared latent representation more sensitive to common features across sources. For enhanced image synthesis, here we propose a multi-stream approach that aggregates information across multiple source images via a mixture of multiple one-to-one streams and a joint many-to-one stream. The shared feature maps generated in the many-to-one stream and the complementary feature maps generated in the one-to-one streams are combined with a fusion block. The location of the fusion block is adaptively modified to maximize task-specific performance. Qualitative and quantitative assessments on T1-, T2-, PD-weighted and FLAIR images clearly demonstrate the superior performance of the proposed method compared to previous state-of-the-art one-to-one and many-to-one methods.


title: Existence of parameterized BV-solutions for rate-independent systems with discontinuous loads

abstract: We study a rate-independent system with non-convex energy and in the case of a time-discontinuous loading. We prove existence of the rate-dependent viscous regularization by time-incremental problems, while the existence of the so called parameterized $BV$-solutions is obtained via vanishing viscosity in a suitable parameterized setting. In addition, we prove that the solution set is compact.


title: Contact geometry and thermodynamics of black holes in AdS spacetimes

abstract: In this paper we discuss a formulation of extended phase space thermodynamics of black holes in Anti de Sitter (AdS) spacetimes from the contact geometry point of view. Thermodynamics of black holes can be understood within the framework of contact geometry as flows of vector fields generated by Hamiltonian functions on equilibrium submanifolds in the extended phase space that naturally incorporates the structure of a contact manifold. Deformations induced by the contact vector fields are used to construct various maps among thermodynamic quantities. Thermodynamic variables and equations of state of Schwarzschild black holes are mapped to that of Reissner-Nordstr\"{o}m black holes in AdS, with charge as the deformation parameter. In addition, the equations of state of general black holes in AdS are shown to emerge from the high-temperature ideal gas limit equations via suitable deformations induced by contact vector fields. The Hamilton-Jacobi formalism analogous to mechanics is set up, and the corresponding characteristic curves of contact vector fields are explicitly obtained to model thermodynamic processes of black holes. Extension to thermodynamic cycles in this framework is also discussed.


title: Regularising Deep Networks with Deep Generative Models

abstract: We develop a new method for regularising neural networks. We learn a probability distribution over the activations of all layers of the model and then insert imputed values into the network during training. We obtain a posterior for an arbitrary subset of activations conditioned on the remainder. This is a generalisation of data augmentation to the hidden layers of a network, and a form of data-aware dropout. We demonstrate that our training method leads to higher test accuracy and lower test-set cross-entropy for neural networks trained on CIFAR-10 and SVHN compared to standard regularisation baselines: our approach leads to networks with better calibrated uncertainty over the class posteriors all the while delivering greater test-set accuracy.


title: The Good, the Bad and the Ugly: Evaluating Convolutional Neural Networks for Prohibited Item Detection Using Real and Synthetically Composited X-ray Imagery

abstract: Detecting prohibited items in X-ray security imagery is pivotal in maintaining border and transport security against a wide range of threat profiles. Convolutional Neural Networks (CNN) with the support of a significant volume of data have brought advancement in such automated prohibited object detection and classification. However, collating such large volumes of X-ray security imagery remains a significant challenge. This work opens up the possibility of using synthetically composed imagery, avoiding the need to collate such large volumes of hand-annotated real-world imagery. Here we investigate the difference in detection performance achieved using real and synthetic X-ray training imagery for CNN architecture detecting three exemplar prohibited items, {Firearm, Firearm Parts, Knives}, within cluttered and complex X-ray security baggage imagery. We achieve 0.88 of mean average precision (mAP) with a Faster R-CNN and ResNet-101 CNN architecture for this 3-class object detection using real X-ray imagery. While the performance is comparable with synthetically composited X-ray imagery (0.78 mAP), our extended evaluation demonstrates both challenge and promise of using synthetically composed images to diversify the X-ray security training imagery for automated detection algorithm training.


title: Machine Learning Surrogate Models for Landau Fluid Closure

abstract: The first result of applying the machine/deep learning technique to the fluid closure problem is presented in this paper. As a start, three different types of neural networks (multilayer perceptron (MLP), convolutional neural network (CNN) and two-layer discrete Fourier transform (DFT) network) were constructed and trained to learn the well-known Hammett-Perkins Landau fluid closure in configuration space. We find that in order to train a well-preformed network, a minimum size of the training data set is needed; MLP also requires a minimum number of neurons in the hidden layers that equals the degrees of freedom in Fourier space despite the fact that training data is fed in configuration space. Out of the three models, DFT performs the best for the clean data, most likely due to the existence of the simple Fourier expression for Hammett-Perkins closure, but it is the least robust with respect to input noise. Overall, with appropriate tuning and optimization, all three neural networks are able to accurately predict the Hammett-Perkins closure and reproduce the intrinsic \textit{nonlocal} feature, suggesting a promising path to calculating more sophisticated closures with the machine/deep learning technique.


title: On the work of Peter Scholze

abstract: This is a survey article about some of the work of Peter Scholze for the Jahresbericht der DMV. No originality is claimed. It is hoped that it can serve as a guideline to an exciting and increasingly large edifice of theory.


title: Higher-order topological solitonic insulators

abstract: Pursuing topological phase and matter in a variety of systems is one central issue in current physical sciences and engineering. Motivated by the recent experimental observation of corner states in acoustic and photonic structures, we theoretically study the dipolar-coupled gyration motion of magnetic solitons on the two-dimensional breathing kagome lattice. We calculate the phase diagram and predict both the Tamm-Shockley edge modes and the second-order corner states when the ratio between alternate lattice constants is greater than a critical value. We show that the emerging corner states are topologically robust against both structure defects and moderate disorders. Micromagnetic simulations are implemented to verify the theoretical predictions with an excellent agreement. Our results pave the way for investigating higher-order topological insulators based on magnetic solitons.


title: Synthetic Data for Deep Learning

abstract: Synthetic data is an increasingly popular tool for training deep learning models, especially in computer vision but also in other areas. In this work, we attempt to provide a comprehensive survey of the various directions in the development and application of synthetic data. First, we discuss synthetic datasets for basic computer vision problems, both low-level (e.g., optical flow estimation) and high-level (e.g., semantic segmentation), synthetic environments and datasets for outdoor and urban scenes (autonomous driving), indoor scenes (indoor navigation), aerial navigation, simulation environments for robotics, applications of synthetic data outside computer vision (in neural programming, bioinformatics, NLP, and more); we also survey the work on improving synthetic data development and alternative ways to produce it such as GANs. Second, we discuss in detail the synthetic-to-real domain adaptation problem that inevitably arises in applications of synthetic data, including synthetic-to-real refinement with GAN-based models and domain adaptation at the feature/model level without explicit data transformations. Third, we turn to privacy-related applications of synthetic data and review the work on generating synthetic datasets with differential privacy guarantees. We conclude by highlighting the most promising directions for further work in synthetic data studies.


title: Lattice investigation of the phase diagram of the 1+1 dimensional Gross-Neveu model at finite number of fermion flavors

abstract: We explore the phase structure of the 1+1 dimensional Gross-Neveu model at finite number of fermion flavors using lattice field theory. Besides a chirally symmetric phase and a homogeneously broken phase we find evidence for the existence of an inhomogeneous phase, where the condensate is a spatially oscillating function. Our numerical results include a crude $\mu$-$T$ phase diagram.


title: Chiral kinetic theory from Landau level basis

abstract: We derive a chiral kinetic theory with Landau level basis, which is valid for slow-varying magnetic field with arbitrary magnitude. We apply the new chiral kinetic theory to calculate the electric conductivity transverse to the magnetic field in a magnetized QED and QCD plasma. Under the lowest Landau level approximation and relaxation time approximation, we find the transverse conductivity approaches a constant in the large magnetic field limit and is inversely proportional to the relaxation time. We also obtain a frequency-dependent transverse conductivity in response to a time-dependent electric field. We find a high frequency enhancement in this conductivity.


title: Mixup Inference: Better Exploiting Mixup to Defend Adversarial Attacks

abstract: It has been widely recognized that adversarial examples can be easily crafted to fool deep networks, which mainly root from the locally non-linear behavior nearby input examples. Applying mixup in training provides an effective mechanism to improve generalization performance and model robustness against adversarial perturbations, which introduces the globally linear behavior in-between training examples. However, in previous work, the mixup-trained models only passively defend adversarial attacks in inference by directly classifying the inputs, where the induced global linearity is not well exploited. Namely, since the locality of the adversarial perturbations, it would be more efficient to actively break the locality via the globality of the model predictions. Inspired by simple geometric intuition, we develop an inference principle, named mixup inference (MI), for mixup-trained models. MI mixups the input with other random clean samples, which can shrink and transfer the equivalent perturbation if the input is adversarial. Our experiments on CIFAR-10 and CIFAR-100 demonstrate that MI can further improve the adversarial robustness for the models trained by mixup and its variants.


title: Chain-Stretch Relaxation from Low Frequency Fourier Transform Rheology

abstract: Medium or large amplitude oscillatory shear (M/LAOS) is sensitive to polymer chain structure, yet poses unsolved challenges for 'a priori' structural characterisation. In this letter, we present a MAOS protocol applied to near-monodisperse linear polymer melts, from which chain-stretch relaxation, a key structural feature, is clearly discernible. The third harmonics of MAOS frequency sweeps are decomposed into real and imaginary components and found to obey time-temperature superposition. The GLaMM molecular tube-based model of linear entangled melt rheology and structure, which has no free parameters, closely follows the form of our experimental results for the third harmonics and contains discriminatory features which depend only on the polymer's chain stretch relaxation time. Significantly, these third harmonic features occur at low frequency and are readily accessible with standard rheometers. For materials where phase transitions restrict the use of time temperature superposition, this method greatly increases the scope of rotational rheometry for structural analysis of polymers. Although the theory shows good qualitative agreement with experimental data, we find fundamental differences in magnitude and the frequency dependence of the third harmonics which must be resolved in order to fully understand the molecular basis of the stress response.


title: The fourth moment of individual Dirichlet L-functions on the critical line

abstract: We prove an asymptotic formula for the second moment of a product of two Dirichlet L-functions on the critical line, which has a power saving in the error term and which is uniform with respect to the involved Dirichlet characters. As special cases we give uniform asymptotic formulae for the fourth moment of individual Dirichlet L-functions and for the second moment of Dedekind zeta functions of quadratic number fields on the critical line.


title: Distances between distributions via Stein's method

abstract: We build on the formalism developed in [arXiv:1906.08372v1] to propose new representations of solutions to Stein equations. We provide new uniform and non uniform bounds on these solutions (a.k.a.\ Stein factors). We use these representations to obtain representations for differences between expectations in terms of solutions to the Stein equations. We apply these to compute abstract Stein-type bounds on Kolmogorov, Total Variation and Wasserstein distances between arbitrary distributions. We apply our results to several illustrative examples, and compare our results with current literature on the same topic, whenever possible. In all occurrences our results are competitive.


title: Gated Channel Transformation for Visual Recognition

abstract: In this work, we propose a generally applicable transformation unit for visual recognition with deep convolutional neural networks. This transformation explicitly models channel relationships with explainable control variables. These variables determine the neuron behaviors of competition or cooperation, and they are jointly optimized with the convolutional weight towards more accurate recognition. In Squeeze-and-Excitation (SE) Networks, the channel relationships are implicitly learned by fully connected layers, and the SE block is integrated at the block-level. We instead introduce a channel normalization layer to reduce the number of parameters and computational complexity. This lightweight layer incorporates a simple l2 normalization, enabling our transformation unit applicable to operator-level without much increase of additional parameters. Extensive experiments demonstrate the effectiveness of our unit with clear margins on many vision tasks, i.e., image classification on ImageNet, object detection and instance segmentation on COCO, video classification on Kinetics.


title: Second-order topological corner states with ultracold atoms carrying orbital angular momentum in optical lattices

abstract: We propose a realization of a two-dimensional higher-order topological insulator with ultracold atoms loaded into orbital angular momentum (OAM) states of an optical lattice. The symmetries of the OAM states induce relative phases in the tunneling amplitudes that allow to describe the system in terms of two decoupled lattice models. Each of these models displays one-dimensional edge states and zero-dimensional corner states that are correlated with the topological properties of the bulk. We show that the topologically non-trivial regime can be explored in a wide range of experimentally feasible values of the parameters of the physical system. Furthermore, we propose an alternative way to characterize the second-order topological corner states based on the computation of the Zak's phases of the bands of first-order edge states.


title: Cayley structures and common knowledge

abstract: We investigate multi-agent epistemic modal logic with common knowledge modalities for groups of agents and obtain van Benthem style model-theoretic characterisations, in terms of bisimulation invariance of classical first-order logic over the non-elementary classes of (finite or arbitrary) common knowledge Kripke frames. The technical challenges posed by the reachability and transitive closure features of the derived accessibility relations are dealt with through passage to (finite) bisimilar coverings of epistemic frames by Cayley graphs of permutation groups whose generators are associated with the agents. Epistemic frame structure is here induced by an algebraic coset structure. Cayley structures with specific acyclicity properties support a locality analysis at different levels of granularity as induced by distance measures w.r.t. various coalitions of agents.


title: Neural networks are a priori biased towards Boolean functions with low entropy

abstract: Understanding the inductive bias of neural networks is critical to explaining their ability to generalise. Here, for one of the simplest neural networks -- a single-layer perceptron with n input neurons, one output neuron, and no threshold bias term -- we prove that upon random initialisation of weights, the a priori probability $P(t)$ that it represents a Boolean function that classifies t points in ${0,1}^n$ as 1 has a remarkably simple form: $P(t) = 2^{-n}$ for $0\leq t < 2^n$. Since a perceptron can express far fewer Boolean functions with small or large values of t (low entropy) than with intermediate values of t (high entropy) there is, on average, a strong intrinsic a-priori bias towards individual functions with low entropy. Furthermore, within a class of functions with fixed t, we often observe a further intrinsic bias towards functions of lower complexity. Finally, we prove that, regardless of the distribution of inputs, the bias towards low entropy becomes monotonically stronger upon adding ReLU layers, and empirically show that increasing the variance of the bias term has a similar effect.


title: Ideal right-angled polyhedra in Lobachevsky space

abstract: In this paper we consider a class of right-angled polyhedra in three-dimensional Lobachevsky space, all vertices of which lie on the absolute. New upper bounds on volumes in terms the number of faces of the polyhedron are obtained. Volumes of polyhedra with at most 23 faces are computed. It is shown that the minimum volumes are realized on antiprisms and twisted antiprisms. The first 248 values of volumes of ideal right-angled polyhedra are presented. Moreover, the class of polyhedra with isolated triangles is introduces and there are obtained combinatorial bounds on their existence as well as minimal examples of such polyhedra are given.


title: Dual Adaptive Pyramid Network for Cross-Stain Histopathology Image Segmentation

abstract: Supervised semantic segmentation normally assumes the test data being in a similar data domain as the training data. However, in practice, the domain mismatch between the training and unseen data could lead to a significant performance drop. Obtaining accurate pixel-wise label for images in different domains is tedious and labor intensive, especially for histopathology images. In this paper, we propose a dual adaptive pyramid network (DAPNet) for histopathological gland segmentation adapting from one stain domain to another. We tackle the domain adaptation problem on two levels: 1) the image-level considers the differences of image color and style; 2) the feature-level addresses the spatial inconsistency between two domains. The two components are implemented as domain classifiers with adversarial training. We evaluate our new approach using two gland segmentation datasets with H&E and DAB-H stains respectively. The extensive experiments and ablation study demonstrate the effectiveness of our approach on the domain adaptive segmentation task. We show that the proposed approach performs favorably against other state-of-the-art methods.


title: Kinetic plasma turbulence: recent insights and open questions from 3D3V simulations

abstract: Turbulence and kinetic processes in magnetized space plasmas have been extensively investigated over the past decades via \emph{in-situ} spacecraft measurements, theoretical models and numerical simulations. In particular, multi-point high-resolution measurements from the \emph{Cluster} and \emph{MMS} space missions brought to light an entire new world of processes, taking place at the plasma kinetic scales, and exposed new challenges for their theoretical interpretation. A long-lasting debate concerns the nature of ion and electron scale fluctuations in solar-wind turbulence and their dissipation via collisionless plasma mechanisms. Alongside observations, numerical simulations have always played a central role in providing a test ground for existing theories and models. In this Perspective, we discuss the advances achieved with our 3D3V (reduced and fully) kinetic simulations, as well as the main questions left open (or raised) by these studies. To this end, we combine data from our recent kinetic simulations of both freely decaying and continuously driven fluctuations to assess the similarities and/or differences in the properties of plasma turbulence in the sub-ion range. Finally, we discuss possible future directions in the field and highlight the need to combine different types of numerical and observational approaches to improve the understanding of turbulent space plasmas.


title: Axisymmetric solutions in the geomagnetic direction problem

abstract: The magnetic field outside the earth is in good approximation a harmonic vector field determined by its values at the earth's surface. The direction problem seeks to determine harmonic vector fields vanishing at infinity and with prescribed direction of the field vector at the surface. In general this type of data does neither guarantee existence nor uniqueness of solutions of the corresponding nonlinear boundary value problem. To determine conditions for existence, to specify the non-uniqueness, and to identify cases of uniqueness is of particular interest when modeling the earth's (or any other celestial body's) magnetic field from these data. Here we consider the case of {\em axisymmetric} harmonic fields $\BB$ outside the sphere $S^2 \subset \real^3$. We introduce a rotation number $\ro \in \ints$ along a meridian of $S^2$ for any axisymmetric H\"older continuous direction field $\DD \neq 0$ on $S^2$ and, moreover, the (exact) decay order $3 \leq \de \in \ints$ of any axisymmetric harmonic field $\BB$ at infinity. Fixing a meridional plane and in this plane $\ro - \de +1 \geq 0$ points $z_n$ (symmetric with respect to the symmetry axis and with $|z_n| > 1$, $n = 1,\ldots,\rho-\de +1$), we prove the existence of an (up to a positive constant factor) unique harmonic field $\BB$ vanishing at $z_n$ and nowhere else, with decay order $\de$ at infinity, and with direction $\DD$ at $S^2$. The proof is based on the global solution of a nonlinear elliptic boundary value problem, which arises from a complex analytic ansatz for the axisymmetric harmonic field in the meridional plane. The coefficients of the elliptic equation are discontinuous and singular at the symmetry axis, which requires solution techniques that are adapted to this special situation.


title: A Self-consistent-field Iteration for Orthogonal Canonical Correlation Analysis

abstract: We propose an efficient algorithm for solving orthogonal canonical correlation analysis (OCCA) in the form of trace-fractional structure and orthogonal linear projections. Even though orthogonality has been widely used and proved to be a useful criterion for pattern recognition and feature extraction, existing methods for solving OCCA problem are either numerical unstable by relying on a deflation scheme, or less efficient by directly using generic optimization methods. In this paper, we propose an alternating numerical scheme whose core is the sub-maximization problem in the trace-fractional form with an orthogonal constraint. A customized self-consistent-field (SCF) iteration for this sub-maximization problem is devised. It is proved that the SCF iteration is globally convergent to a KKT point and that the alternating numerical scheme always converges. We further formulate a new trace-fractional maximization problem for orthogonal multiset CCA (OMCCA) and then propose an efficient algorithm with an either Jacobi-style or Gauss-Seidel-style updating scheme based on the same SCF iteration. Extensive experiments are conducted to evaluate the proposed algorithms against existing methods including two real world applications: multi-label classification and multi-view feature extraction. Experimental results show that our methods not only perform competitively to or better than baselines but also are more efficient.


title: Context-Aware Decentralized Invariant Signaling for Opportunistic Communications

abstract: A novel scenario-adapted distributed signaling technique in the context of opportunistic communications is presented in this work. Each opportunistic user acquires locally sampled observations from the wireless environment to determine the occupied and available degrees-of-freedom (DoF). Due to sensing errors and locality of observations, a performance loss and inter-system interference arise from subspace uncertainties. Yet, we show that addressing the problem as a total least-squares (TLS) optimization, signaling patterns robust to subspace uncertainties can be designed. Furthermore, given the equivalence of minimum norm and TLS, the latter exhibits the interesting properties of linear predictors. Specifically, the rotationally invariance property is of paramount importance to guarantee the detectability by neighboring nodes. Albeit these advantages, end-to-end subspace uncertainties yield a performance loss that compromises both detectability and wireless environment's performance. To combat the latter, we tackle the distributed identification of the active subspace with and without side information about neighboring nodes' subspaces. An extensive simulation analysis highlights the performance of distributed concurrency schemes to achieve subspace agreement.


title: On Thermodynamics and Statistical Entropy of Bardeen Black Hole

abstract: We discuss the first law of thermodynamics of Bardeen black hole. The presence of magnetic monopole charge modifies the energy and we define the temperature of the system accordingly. We introduce a lower cut-off to the space time by introducing a spherical surface, which can be identified with the event horizon. The corresponding temperature is identified with Hawking temperature. The entropy is assumed to obey the area law and we confirm this by calculating the statistical entropy by using brick wall model.


title: Functions of bounded variation on complete and connected one-dimensional metric spaces

abstract: In this paper, we study functions of bounded variation on a complete and connected metric space with finite one-dimensional Hausdorff measure. The definition of BV functions on a compact interval based on pointwise variation is extended to this general setting. We show this definition of BV functions is equivalent to the BV functions introduced by Miranda. Furthermore, we study the necessity of conditions on the underlying space in Federer's characterization of sets of finite perimeter on metric measure spaces. In particular, our examples show that the doubling and Poincar\'e inequality conditions are essential in showing that a set has finite perimeter if the codimension one Hausdorff measure of the measure-theoretic boundary is finite.


title: Chaotic transport of navigation satellites

abstract: Navigation satellites are known from numerical studies to reside in a dynamically sensitive environment, which may be of profound importance for their long-term sustainability. We derive the fundamental Hamiltonian of GNSS dynamics and show analytically that near-circular trajectories lie in the neighborhood of a Normally Hyperbolic Invariant Manifold (NHIM), which is the primary source of hyperbolicity. Quasi-circular orbits escape through chaotic transport, regulated by the NHIM's stable and unstable manifolds, following a power-law escape time distribution $P(t) \sim t^{-\alpha}$, with $\alpha \sim 0.8 - 1.5$. Our study is highly relevant for the design of satellite disposal trajectories, using manifold dynamics.

categories: astro-ph.EP math.DS nlin.CD physics.space-ph


title: Deep Neural Network Framework Based on Backward Stochastic Differential Equations for Pricing and Hedging American Options in High Dimensions

abstract: We propose a deep neural network framework for computing prices and deltas of American options in high dimensions. The architecture of the framework is a sequence of neural networks, where each network learns the difference of the price functions between adjacent timesteps. We introduce the least squares residual of the associated backward stochastic differential equation as the loss function. Our proposed framework yields prices and deltas on the entire spacetime, not only at a given point. The computational cost of the proposed approach is quadratic in dimension, which addresses the curse of dimensionality issue that state-of-the-art approaches suffer. Our numerical simulations demonstrate these contributions, and show that the proposed neural network framework outperforms state-of-the-art approaches in high dimensions.


title: Local minimizers in absence of ground states for the critical NLS energy on metric graphs

abstract: We consider the mass-critical nonlinear Schr\"odinger equation on non-compact metric graphs. A quite complete description of the structure of the ground states, which correspond to global minimizers of the energy functional under a mass constraint, is provided by Adami, Serra and Tilli in arXiv:1605.07666, where it is proved that existence and properties of ground states depend in a crucial way on both the value of the mass, and the topological properties of the underlying graph. In this paper we address cases when ground states do not exist and show that, under suitable assumptions, constrained local minimizers of the energy do exist. This result paves the way to the existence of stable solutions in the time-dependent equation in cases where the ground state energy level is not achieved.


title: A search for pulsars in subdwarf B binary systems and discovery of giant-pulse emitting PSR J0533-4524

abstract: Binary millisecond pulsars (MSPs) provide several opportunities for research of fundamental physics. However, finding them can be challenging. Several subdwarf B (sdB) binary systems with possible neutron star companions have been identified, allowing us to perform a targeted search for MSPs within these systems. Six sdBs with companions in the neutron star mass range, as determined from their optical light curves, were observed with the Green Bank and Westerbork radio telescopes. The data were searched for periodic signals as well as single pulses. No radio pulsations from sdB systems were detected, down to an average sensitivity limit of 0.11 mJy. We did, however, discover a pulsar in the field of sdB HE0532-4503. Follow-up observations with the Giant Metrewave Radio Telescope showed that this pulsar, J0533-4524, is not spatially coincident with the sdB system. The pulsar has a relatively low magnetic field but still emits giant pulses. We place an upper limit of three to the number of radio pulsars in the six sdB systems. The non-detections may be explained by a combination of the MSP beaming fraction, luminosity, and a recycling fraction <0.5. Alternatively, the assumption of co-rotation between the MSP and sdB may break down, which implies the systems are more edge-on than previously thought. This would shift the predicted companion masses into the white dwarf range. It would also explain the relative lack of edge-on sdB systems with massive companions.


title: Learning A Unified Named Entity Tagger From Multiple Partially Annotated Corpora For Efficient Adaptation

abstract: Named entity recognition (NER) identifies typed entity mentions in raw text. While the task is well-established, there is no universally used tagset: often, datasets are annotated for use in downstream applications and accordingly only cover a small set of entity types relevant to a particular task. For instance, in the biomedical domain, one corpus might annotate genes, another chemicals, and another diseases---despite the texts in each corpus containing references to all three types of entities. In this paper, we propose a deep structured model to integrate these "partially annotated" datasets to jointly identify all entity types appearing in the training corpora. By leveraging multiple datasets, the model can learn robust input representations; by building a joint structured model, it avoids potential conflicts caused by combining several models' predictions at test time. Experiments show that the proposed model significantly outperforms strong multi-task learning baselines when training on multiple, partially annotated datasets and testing on datasets that contain tags from more than one of the training corpora.


title: Extrapolated full waveform inversion with deep learning

abstract: The lack of low frequency information and a good initial model can seriously affect the success of full waveform inversion (FWI), due to the inherent cycle skipping problem. Computational low frequency extrapolation is in principle the most direct way to address this issue. By considering bandwidth extension as a regression problem in machine learning, we propose an architecture of convolutional neural network (CNN) to automatically extrapolate the missing low frequencies without preprocessing and post-processing steps. The bandlimited recordings are the inputs of the CNN and, in our numerical experiments, a neural network trained from enough samples can predict a reasonable approximation to the seismograms in the unobserved low frequency band, both in phase and in amplitude. The numerical experiments considered are set up on simulated P-wave data. In extrapolated FWI (EFWI), the low-wavenumber components of the model are determined from the extrapolated low frequencies, before proceeding with a frequency sweep of the bandlimited data. The proposed deep-learning method of low-frequency extrapolation shows adequate generalizability for the initialization step of EFWI. Numerical examples show that the neural network trained on several submodels of the Marmousi model is able to predict the low frequencies for the BP 2004 benchmark model. Additionally, the neural network can robustly process seismic data with uncertainties due to the existence of noise, poorly-known source wavelet, and different finite-difference scheme in the forward modeling operator. Finally, this approach is not subject to the structural limitations of other methods for bandwidth extension, and seems to offer a tantalizing solution to the problem of properly initializing FWI.


title: The Phase Transition of Square Lattice Antiferromagnets at Finite Temperature

abstract: The magnetic properties of the two-dimensional $J_{1}-J_{2}$ model with both exchanges $J_{1}$ and $J_{2}$ being antiferromagnetic and a single-ion anisotropy at nonzero temperature are investigated. As $J_{2}/J_{1}<1/2$ ($>1/2$), only the N\'{e}el (collinear) state exists. When $J_{2}/J_{1}=1/2$, both the N\'{e}el and collinear states can exist and have the same N\'{e}el temperature. The calculated free energies show that there can occur a phase transition between the two states below the N\'{e}el point when the single-ion anisotropy is strong enough. It is a first-order transition at nonzero temperature. It is possible that the doping in real materials can modify the ratio of $J_{2}/J_{1}$ to reach $1/2$ so as to implement the phase transition.


title: Automated Lane Change Decision Making using Deep Reinforcement Learning in Dynamic and Uncertain Highway Environment

abstract: Autonomous lane changing is a critical feature for advanced autonomous driving systems, that involves several challenges such as uncertainty in other driver's behaviors and the trade-off between safety and agility. In this work, we develop a novel simulation environment that emulates these challenges and train a deep reinforcement learning agent that yields consistent performance in a variety of dynamic and uncertain traffic scenarios. Results show that the proposed data-driven approach performs significantly better in noisy environments compared to methods that rely solely on heuristics.


title: Lusztig's strata are locally closed

abstract: Let G be a connected reductive algebraic group over an algebraically closed field k. We consider the strata in G defined by Lusztig as fibers of a map given in terms truncated induction of Springer representations. We extend to arbitrary characteristic the following two results: Lusztig's strata are locally closed and the irreducible components of a stratum X are those sheets for the G-action on itself that are contained in X.


title: Comment on `Fluctuation-dominated phase ordering at a mixed order transition'

abstract: Renewal processes generated by a power-law distribution of intervals with tail index less than unity are genuinely non-stationary. This issue is illustrated by a critical review of the recent paper by Barma, Majumdar and Mukamel 2019 \textit{J.~Phys.~A} {\bf 52} 254001, devoted to the investigation of the properties of a specific one-dimensional equilibrium spin system with long-range interactions. We explain why discarding the non-stationarity of the process underlying the model leads to an incorrect expression of the critical spin-spin correlation function, even when the system, subjected to periodic boundary conditions, is translation invariant.


title: Equivalence of reflection paths of light and Feynman paths in stacked metasurfaces

abstract: We show the existence of virtual polarization states during the interaction of modes in metasurface stacks. In support of our findings we experimentally realize a metasurface stack, consisting of an isotropic layer of nano-patches and an anisotropic layer of nano-wires. Utilizing an analogy to the interaction of electrons at junctions in mesoscopic electron transport via Feynman paths, we present a semi-analytical description of the modal interaction inside this stack. We then derive a series of all possible reflection paths light can take inside the metasurface stack.


title: CLN2INV: Learning Loop Invariants with Continuous Logic Networks

abstract: Program verification offers a framework for ensuring program correctness and therefore systematically eliminating different classes of bugs. Inferring loop invariants is one of the main challenges behind automated verification of real-world programs which often contain many loops. In this paper, we present Continuous Logic Network (CLN), a novel neural architecture for automatically learning loop invariants directly from program execution traces. Unlike existing neural networks, CLNs can learn precise and explicit representations of formulas in Satisfiability Modulo Theories (SMT) for loop invariants from program execution traces. We develop a new sound and complete semantic mapping for assigning SMT formulas to continuous truth values that allows CLNs to be trained efficiently. We use CLNs to implement a new inference system for loop invariants, CLN2INV, that significantly outperforms existing approaches on the popular Code2Inv dataset. CLN2INV is the first tool to solve all 124 theoretically solvable problems in the Code2Inv dataset. Moreover, CLN2INV takes only 1.1 seconds on average for each problem, which is 40 times faster than existing approaches. We further demonstrate that CLN2INV can even learn 12 significantly more complex loop invariants than the ones required for the Code2Inv dataset.


title: Lower Semi-Continuity for $\mathcal A$-Quasiconvex Functionals under Convex Restrictions

abstract: We show weak lower semi-continuity of functionals assuming the new notion of a "convexly constrained" $\mathcal A$-quasiconvex integrand. We assume $\mathcal A$-quasiconvexity only for functions defined on a set $K$ which is convex. Assuming this and sufficient integrability of the sequence we show that the functional is still (sequentially) weakly lower semi-continuous along weakly convergent "convexly constrained" $\mathcal A$-free sequences. In a motivating example, the integrand is $-\det^{\frac{1}{d-1}}$ and the convex constraint is positive semi-definiteness of a matrix field.


title: PyDEns: a Python Framework for Solving Differential Equations with Neural Networks

abstract: Recently, a lot of papers proposed to use neural networks to approximately solve partial differential equations (PDEs). Yet, there has been a lack of flexible framework for convenient experimentation. In an attempt to fill the gap, we introduce a PyDEns-module open-sourced on GitHub. Coupled with capabilities of BatchFlow, open-source framework for convenient and reproducible deep learning, PyDEns-module allows to 1) solve partial differential equations from a large family, including heat equation and wave equation 2) easily search for the best neural-network architecture among the zoo, that includes ResNet and DenseNet 3) fully control the process of model-training by testing different point-sampling schemes. With that in mind, our main contribution goes as follows: implementation of a ready-to-use and open-source numerical solver of PDEs of a novel format, based on neural networks.


title: Dark Fermions and Spontaneous $CP$ violation in $SU(2)$-axion Inflation

abstract: Remarkably, if $CP$ was spontaneously broken in the physics of inflation, fermions would notice and remember it. Based on that, we present a new (non-thermal) mechanism for generating self-interacting dark Dirac fermions prior to the Hot Big Bang. The non-Abelian gauge fields and axions are well-motivated matter contents for the particle physics of inflation. In this background, we analytical study Dirac fermion doublets charged under the $SU(2)$ gauge field and use point-splitting technique to regularize the currents. We show that the non-trivial $CP$-violating vacuum structure of $SU(2)$-axion models naturally leads to an efficient mechanism for generating massive fermions during inflation. The size of the fermionic backreaction and the density fraction of dark fermions put upper bounds on the fermion's mass. For a GUT scale inflation, the generated dark fermions, only gravitationally coupled to the visible sector, can be as heavy as $m\lesssim 10 TeV$.


title: A Multi-Computational Exploration of Some Games of Pure Chance

abstract: In the spirit of "multi-culturalism", we use four kinds of computations: simulation, numeric, symbolic, and "conceptual" to explore some "games of pure chance" inspired by children board games like "Snakes and Ladders" (aka as "Chutes and Ladders") and "gambler's ruin with unlimited credit". Even more interesting than the many computer-generated actual results described in this paper and its web-site extension, is our broad-minded, ecunemical approach, not favoring, a priori, any one of the above four kinds of computation, but showing that, a posteriori, symbolic computation is the most important one, since (except for simulation, that is very inaccurate) numerics can be made more efficient with the help of symbolics (in the "downward" direction), and, (in the "upward" direction) the mere existence of certain symbolic-computational algorithms imply interesting "qualitative" results, that certain numbers are always rational, or always algebraic, and certain sequences are always polynomial, or C-recursive, or algebraic, or holonomic. This article is accompanied by four Maple packages, and numerous input and output files, that readers can use as templates for their own investigations.


title: Diffusion coefficient with displacement variance of energetic particles with adiabatic focusing

abstract: The equation $\kappa_{zz}=d\sigma^2/(2dt)$ (hereafter DCDV) is a well-known formula of energetic particles describing the relation of parallel diffusion coefficient $\kappa_{zz}$ with the parallel displacement variance $\sigma^2$. In this study, we find that DCDV is only applicable to two kinds of transport equations of isotropic distribution function, one is without cross terms, the other is without convection term. Here, by employing the more general transport equation, i.e., the variable coefficient differential equation derived from the Fokker-Planck equation, a new equation of $\kappa_{zz}$ as a function of $\sigma^2$ is obtained. We find that DCDV is the special case of the new equation. In addition, another equation of $\kappa_{zz}$ as a function of $\sigma^2$ corresponding to the telegraph equation is also investigated preliminarily.


title: Thermodynamic formalism of $GL_2(\mathbb{R})$-cocycles with canonical holonomies

abstract: We study singular value potentials of H\"older continuous $GL_2(\mathbb{R})$-cocycles over hyperbolic systems whose canonical holonomies converge and are H\"older continuous. Such cocycles include locally constant $GL_2(\mathbb{R})$-cocycles as well as fiber-bunched $GL_2(\mathbb{R})$-cocycles. We show that singular value potentials of irreducible such cocycles have unique equilibrium states. Among the reducible cocycles, we provide a characterization for cocycles whose singular value potentials have more than one equilibrium states.


title: MPEG-H Audio for Improving Accessibility in Broadcasting and Streaming

abstract: Broadcasting and streaming services still suffer from various levels of accessibility barriers for a significant portion of the population, limiting the access to information and culture, and in the most severe cases limiting the empowerment of people. This paper provides a brief overview of some of the most common accessibility barriers encountered. It then gives a short introduction to object-based audio (OBA) production and transport, focusing on the aspects relevant for lowering accessibility barriers. MPEG-H Audio is used as a concrete example of an OBA system already deployed. Two example cases (dialog enhancement and audio description) are used to demonstrate in detail the simplicity of producing MPEG-H Audio content providing improved accessibility. Several other possibilities are outlined briefly. We show that using OBA for broadcasting and streaming content allows offering several accessibility features in a flexible manner, requiring only small changes to the existing production workflow, assuming the receiver supports the functionality.


title: Dimerization-induced topological superconductivity in a Rashba nanowire

abstract: We analyze influence of a dimerization on the topological phases of the Rashba nanowire proximitized to a superconducting substrate. We find that periodic alternations of the hopping integral and spin-orbit coupling can lead to band inversion, inducing transition to topologically nontrivial superconducting phase that hosts the Majorana zero-energy modes. This "dimerization-induced topological superconductivity" completely repels the topological phase of the uniform nanowire, whenever they happen to overlap. We provide an analytical justification for this puzzling behavior based on the symmetry/parity considerations and discuss feasible spectroscopic methods for its empirical observation. We also test stability of the topological superconducting phases against electrostatic disorder.


title: Realizing the Teichm\"uller space as a symplectic quotient

abstract: Given a closed surface endowed with a volume form, we equip the space of compatible Riemannian structures with the structure of an infinite-dimensional symplectic manifold. We show that the natural action of the group of volume-preserving diffeomorphisms by push-forward has a group-valued momentum map that assigns to a Riemannian metric the canonical bundle. We then deduce that the Teichm\"uller space and the moduli space of Riemann surfaces can be realized as symplectic orbit reduced spaces.


title: Comparison of the Shakhov and ellipsoidal models for the Boltzmann equation and DSMC for ab initio-based particle interactions

abstract: In this paper, we consider the capabilities of the Boltzmann equation with the Shakhov and ellipsoidal models for the collision term to capture the characteristics of rarefied gas flows. The benchmark is performed by comparing the results obtained using these kinetic model equations with direct simulation Monte Carlo (DSMC) results for particles interacting via ab initio potentials. The analysis is restricted to channel flows between parallel plates and we consider three flow problems, namely: the heat transfer between stationary plates, the Couette flow and the heat transfer under shear. The simulations are performed in the non-linear regime for the 3He, 4He, and Ne gases. The reference temperature ranges between 1 K and 3000 K for 3He and 4He and between 20 K and 5000 K for Ne. While good agreement is seen up to the transition regime for the direct phenomena (shear stress, heat flux driven by temperature gradient), the relative errors in the cross phenomena (heat flux perpendicular to the temperature gradient) exceed 10% even in the slip-flow regime. The kinetic model equations are solved using the finite difference lattice Boltzmann algorithm based on half-range Gauss-Hermite quadratures with the third order upwind method used for the implementation of the advection.


title: PCMC-Net: Feature-based Pairwise Choice Markov Chains

abstract: Pairwise Choice Markov Chains (PCMC) have been recently introduced to overcome limitations of choice models based on traditional axioms unable to express empirical observations from modern behavior economics like context effects occurring when a choice between two options is altered by adding a third alternative. The inference approach that estimates the transition rates between each possible pair of alternatives via maximum likelihood suffers when the examples of each alternative are scarce and is inappropriate when new alternatives can be observed at test time. In this work, we propose an amortized inference approach for PCMC by embedding its definition into a neural network that represents transition rates as a function of the alternatives' and individual's features. We apply our construction to the complex case of airline itinerary booking where singletons are common (due to varying prices and individual-specific itineraries), and context effects and behaviors strongly dependent on market segments are observed. Experiments show our network significantly outperforming, in terms of prediction accuracy and logarithmic loss, feature engineered standard and latent class Multinomial Logit models as well as recent machine learning approaches.


title: Data-Driven 3D Placement of UAV Base Stations for Arbitrarily Distributed Crowds

abstract: In this paper, we consider an Unmanned Aerial Vehicle (UAV)-assisted cellular system which consists of multiple UAV base stations (BSs) cooperating the terrestrial BSs. In such a heterogeneous network, for cellular operators, the problem is how to determine the appropriate number, locations, and altitudes of UAV-BSs to improve the system sumrate as well as satisfy the demands of arbitrarily flash crowds on data rates. We propose a data-driven 3D placement of UAV-BSs for providing an effective placement result with a feasible computational cost. The proposed algorithm searches for the appropriate number, location, coverage, and altitude of each UAV-BS in the serving area with the maximized system sumrate in polynomial time so as to guarantee the minimum data rate requirement of UE. The simulation results show that the proposed approach can improve system sumrate in comparison with the case without UAV-BSs.


title: Optimally Compressed Nonparametric Online Learning

abstract: Batch training of machine learning models based on neural networks is now well established, whereas to date streaming methods are largely based on linear models. To go beyond linear in the online setting, nonparametric methods are of interest due to their universality and ability to stably incorporate new information via convexity or Bayes' Rule. Unfortunately, when used online, nonparametric methods suffer a "curse of dimensionality" which precludes their use: their complexity scales at least with the time index. We survey online compression tools which bring their memory under control and attain approximate convergence. The asymptotic bias depends on a compression parameter that trades off memory and accuracy. Further, the applications to robotics, communications, economics, and power are discussed, as well as extensions to multi-agent systems.


title: Reducing Transformer Depth on Demand with Structured Dropout

abstract: Overparameterized transformer networks have obtained state of the art results in various natural language processing tasks, such as machine translation, language modeling, and question answering. These models contain hundreds of millions of parameters, necessitating a large amount of computation and making them prone to overfitting. In this work, we explore LayerDrop, a form of structured dropout, which has a regularization effect during training and allows for efficient pruning at inference time. In particular, we show that it is possible to select sub-networks of any depth from one large network without having to finetune them and with limited impact on performance. We demonstrate the effectiveness of our approach by improving the state of the art on machine translation, language modeling, summarization, question answering, and language understanding benchmarks. Moreover, we show that our approach leads to small BERT-like models of higher quality compared to training from scratch or using distillation.


title: Stochastic growth in time dependent environments

abstract: We study the Kardar-Parisi-Zhang (KPZ) growth equation in one dimension with a noise variance $c(t)$ depending on time. We find that for $c(t)\propto t^{-\alpha}$ there is a transition at $\alpha=1/2$. When $\alpha>1/2$, the solution saturates at large times towards a non-universal limiting distribution. When $\alpha<1/2$ the fluctuation field is governed by scaling exponents depending on $\alpha$ and the limiting statistics are similar to the case when $c(t)$ is constant. We investigate this problem using different methods: (1) Elementary changes of variables mapping the time dependent case to variants of the KPZ equation with constant variance of the noise but in a deformed potential (2) An exactly solvable discretization, the log-gamma polymer model (3) Numerical simulations.

categories: cond-mat.stat-mech cond-mat.dis-nn math-ph math.MP math.PR nlin.SI


title: Hotelling Games with Random Tolerance Intervals

abstract: The classical Hotelling game is played on a line segment whose points represent uniformly distributed clients. The $n$ players of the game are servers who need to place themselves on the line segment, and once this is done, each client gets served by the player closest to it. The goal of each player is to choose its location so as to maximize the number of clients it attracts. In this paper we study a variant of the Hotelling game where each client $v$ has a tolerance interval, randomly distributed according to some density function $f$, and $v$ gets served by the nearest among the players eligible for it, namely, those that fall within its interval. (If no such player exists, then $v$ abstains.) It turns out that this modification significantly changes the behavior of the game and its states of equilibria. In particular, it may serve to explain why players sometimes prefer to "spread out", rather than to cluster together as dictated by the classical Hotelling game. We consider two variants of the game: symmetric games, where clients have the same tolerance range to their left and right, and asymmetric games, where the left and right ranges of each client are determined independently of each other. We fully characterize the Nash equilibria of the 2-player game. For at least 3 players, we characterize a specific class of strategy profiles, referred to as canonical profiles, and show that these profiles are the only ones that may yield Nash equilibria in our game. Moreover, the canonical profile, if exists, is uniquely defined for every $n$ and $f$. In both the symmetric and asymmetric setting, we give necessary and sufficient conditions for the canonical profile to be a Nash equilibrium, and demonstrate their application for several distributions.


title: Detection of Exoplanet as a Binary Source of Microlensing Events in WFIRST Survey

abstract: We investigate the possibility of exoplanet detection orbiting source stars in microlensing events through WFIRST observations. We perform a Monto Carlo simulation on the detection rate of exoplanets via microlensing, assuming that each source star has at least one exoplanet. The exoplanet can reflect part of the light from the parent star or emit internal thermal radiation. In this new detection channel, we use microlensing as an amplifier to magnify the reflection light from the planet. In the literature, this mode of detecting exoplanets has been investigated much less than the usual mode in which the exoplanets are considered as one companion in binary lens events. Assuming $72$ days of observation per season with the cadence of $15$ minutes, we find the probability of rocky planet detection with this method to be virtually zero. However, there is non-zero probability, for the detection of Jovian planets. We estimate the detection rates of the exoplanets by this method, using WFIRST observation to be $0.012\%$ in single lens events and $0.9\%$ in the binary lens events.


title: Real time analysis of epidemic data

abstract: Infectious diseases have severe health and economic consequences for society. It is important in controlling the spread of an emerging infectious disease to be able to both estimate the parameters of the underlying model and identify those individuals most at risk of infection in a timely manner. This requires having a mechanism to update inference on the model parameters and the progression of the disease as new data becomes available. However, Markov chain Monte Carlo (MCMC), the gold standard for statistical inference for infectious disease models, is not equipped to deal with this important problem. Motivated by the need to develop effective statistical tools for emerging diseases and using the 2001 UK Foot-and-Mouth disease outbreak as an exemplar, we introduce a Sequential Monte Carlo (SMC) algorithm to enable real-time analysis of epidemic outbreaks. Naive application of SMC methods leads to significant particle degeneracy which are successfully overcome by particle perturbation and incorporating MCMC-within-SMC updates.


title: Three Dimensional Sums of Character Gabor Systems

abstract: In deterministic compressive sensing, one constructs sampling matrices that recover sparse signals from highly incomplete measurements. However, the so-called square-root bottleneck limits the usefulness of such matrices, as they are only able to recover exceedingly sparse signals with respect to the matrix dimension. In view of the flat restricted isometry property (flat RIP) proposed by Bourgain et al., we provide a partial solution to the bottleneck problem with the Gabor system of Legendre symbols. When summing over consecutive vectors, the estimate gives a nontrivial upper bound required for the bottleneck problem.


title: 20 Years of Evolution from Cognitive to Intelligent Communications

abstract: It has been 20 years since the concept of cognitive radio (CR) was proposed, which is an efficient approach to provide more access opportunities to connect massive wireless devices. To improve the spectrum efficiency, CR enables unlicensed usage of licensed spectrum resources. It has been regarded as the key enabler for intelligent communications. In this article, we will provide an overview on the intelligent communication in the past two decades to illustrate the revolution of its capability from cognition to artificial intelligence (AI). Particularly, this article starts from a comprehensive review of typical spectrum sensing and sharing, followed by the recent achievements on the AI-enabled intelligent radio. Moreover, research challenges in the future intelligent communications will be discussed to show a path to the real deployment of intelligent radio. After witnessing the glorious developments of CR in the past 20 years, we try to provide readers a clear picture on how intelligent radio could be further developed to smartly utilize the limited spectrum resources as well as to optimally configure wireless devices in the future communication systems.


title: Poincare-Friedrichs Type Constants for Operators Involving grad, curl, and div: Theory and Numerical Experiments

abstract: We give some theoretical as well as computational results on Laplace and Maxwell constants. Besides the classical de Rham complex we investigate the complex of elasticity and the complex related to the biharmonic equation and general relativity as well using the general functional analytical concept of Hilbert complexes. We consider mixed boundary conditions and bounded Lipschitz domains of arbitrary topology. Our numerical aspects are presented by examples for the de Rham complex in 2D and 3D which not only confirm our theoretical findings but also indicate some interesting conjectures.


title: Analytical confidence intervals for the number of different objects in data streams

abstract: This paper develops a new mathematical-statistical approach to analyze a class of Flajolet-Martin algorithms (FMa), and provides analytical confidence intervals for the number F0 of distinct elements in a stream, based on Chernoff bounds. The class of FMa has reached a significant popularity in bigdata stream learning, and the attention of the literature has mainly been based on algorithmic aspects, basically complexity optimality, while the statistical analysis of these class of algorithms has been often faced heuristically. The analysis provided here shows deep connections with mathematical special functions and with extreme value theory. The latter connection may help in explaining heuristic considerations, while the first opens many numerical issues, faced at the end of the present paper. Finally, the algorithms are tested on an anonymized real data stream and MonteCarlo simulations are provided to support our analytical choice in this context.

categories: math.ST cs.DS cs.LG stat.CO stat.ML stat.TH


title: Curvatures, graph products and Ricci flatness

abstract: In this paper, we compare Ollivier Ricci curvature and Bakry-\'Emery curvature notions on combinatorial graphs and discuss connections to various types of Ricci flatness. We show that non-negativity of Ollivier Ricci curvature implies non-negativity of Bakry-\'Emery curvature under triangle-freeness and an additional in-degree condition. We also provide examples that both conditions of this result are necessary. We investigate relations to graph products and show that Ricci flatness is preserved under all natural products. While non-negativity of both curvatures are preserved under Cartesian products, we show that in the case of strong products, non-negativity of Ollivier Ricci curvature is only preserved for horizontal and vertical edges. We also prove that all distance-regular graphs of girth $4$ attain their maximal possible curvature values.


title: A Note on a Simple and Practical Randomized Response Framework for Eliciting Sensitive Dichotomous & Quantitative Information

abstract: Many issues of interest to social scientists and policymakers are of a sensitive nature in the sense that they are intrusive, stigmatizing or incriminating to the respondent. This results in refusals to cooperate or evasive cooperation in studies using self-reports. In a seminal article Warner proposed to curb this problem by generating an artificial variability in responses to inoculate the individual meaning of answers to sensitive questions. This procedure was further developed and extended, and came to be known as the randomized response (RR) technique. Here, we propose a unified treatment for eliciting sensitive binary as well as quantitative information with RR based on a model where the inoculating elements are provided for by the randomization device. The procedure is simple and we will argue that its implementation in a computer-assisted setting may have superior practical capabilities.


title: Discovering Process Models from Uncertain Event Data

abstract: Modern information systems are able to collect event data in the form of event logs. Process mining techniques allow to discover a model from event data, to check the conformance of an event log against a reference model, and to perform further process-centric analyses. In this paper, we consider uncertain event logs, where data is recorded together with explicit uncertainty information. We describe a technique to discover a directly-follows graph from such event data which retains information about the uncertainty in the process. We then present experimental results of performing inductive mining over the directly-follows graph to obtain models representing the certain and uncertain part of the process.


title: Local Hadamard well-posedness results for the Navier-Stokes equations

abstract: In this paper we consider classes of initial data that ensure local-in-time Hadamard well-posedness of the associated weak Leray-Hopf solutions of the three-dimensional Navier-Stokes equations. In particular, for any solenodial $L_{2}$ initial data $u_{0}$ belonging to certain subsets of $VMO^{-1}(\mathbb{R}^3)$, we show that weak Leray-Hopf solutions depend continuously with respect to small divergence-free $L_{2}$ perturbations of the initial data $u_{0}$ (on some finite-time interval). Our main result is inspired and improves upon previous work of the author \cite{barker2018} and work of Jean-Yves Chemin \cite{chemin}. Our method builds upon \cite{barker2018} and \cite{chemin}. In particular our method hinges on decomposition results for the initial data inspired by Calder\'{o}n \cite{Calderon90} together with use of persistence of regularity results. The persistence of regularity statement presented may be of independent interest, since it does not rely upon the solution or the initial data being in the perturbative regime.


title: Demonstration of 220/280 GHz Multichroic Feedhorn-Coupled TES Polarimeter

abstract: We describe the design and measurement of feedhorn-coupled, transition-edge sensor (TES) polarimeters with two passbands centered at 220 GHz and 280 GHz, intended for observations of the cosmic microwave background. Each pixel couples polarized light in two linear polarizations by use of a planar orthomode transducer and senses power via four TES bolometers, one for each band in each linear polarization. Previous designs of this detector architecture incorporated passbands from 27 GHz to 220 GHz; we now demonstrate this technology at frequencies up to 315 GHz. Observational passbands are defined with an on-chip diplexer, and Fourier-transform-spectrometer measurements are in excellent agreement with simulations. We find coupling from feedhorn to TES bolometer using a cryogenic, temperature-controlled thermal source. We determine the optical efficiency of our device is $\eta$ = 77%$\pm$6% (75%$\pm$5%) for 220 (280) GHz, relative to the designed passband shapes. Lastly, we compare two power-termination schemes commonly used in wide-bandwidth millimeter-wave polarimeters and find equal performance in terms of optical efficiency and passband shape.


title: Data driven regularization by projection

abstract: We study linear inverse problems under the premise that the forward operator is not at hand but given indirectly through some input-output training pairs. We demonstrate that regularization by projection and variational regularization can be formulated by using the training data only and without making use of the forward operator. We study convergence and stability of the regularized solutions in view of T. I. Seidman. "Nonconvergence Results for the Application of Least-Squares Estimation to Ill-Posed Problems". Journal of Optimization Theory and Applications 30.4 (1980), pp. 535-547, who showed that regularization by projection is not convergent in general, by giving some insight on the generality of Seidman's nonconvergence example. Moreover, we show, analytically and numerically, that regularization by projection is indeed capable of learning linear operators, such as the Radon transform.


title: Quantum entanglement in the t-J chain: From charge-spin separation to recombination

abstract: In contrast to the conventional von Neumann bipartite entanglement entropy (bEE), we show that a more appropriate description of the one-dimensional doped Mott insulator is a new kind of mutual entanglement entropy (mEE) between the charge and spin degrees of freedom. Such a charge-spin mEE can clearly distinguish the important and distinct features between the $t$-$J$ model and the so-called $\sigma\cdot{t}$-$J$ model. In the latter, the phase string sign structure is switched off such that a single doped hole always behaves like a Bloch wave in the whole regime of $J/t$, whereas in the former it exhibits a series of level crossing with the total momentum jumps in the single-hole ground state from spin-charge separation at $J/t\rightarrow{0}$ to spin-charge recombination at large $J/t$, which are failed to be detected by bEE. We further show that the distinctions between the two models persist to finite energy density, which can be similarly well characterized by mEE but not by bEE. By studying the dynamic time evolution of the states set out of equilibrium at the beginning, we show that mEE indeed always increases with the time, satisfying the common characteristic of entropy.


title: Wider Networks Learn Better Features

abstract: Transferability of learned features between tasks can massively reduce the cost of training a neural network on a novel task. We investigate the effect of network width on learned features using activation atlases --- a visualization technique that captures features the entire hidden state responds to, as opposed to individual neurons alone. We find that, while individual neurons do not learn interpretable features in wide networks, groups of neurons do. In addition, the hidden state of a wide network contains more information about the inputs than that of a narrow network trained to the same test accuracy. Inspired by this observation, we show that when fine-tuning the last layer of a network on a new task, performance improves significantly as the width of the network is increased, even though test accuracy on the original task is independent of width.


title: Deep Learning for Deepfakes Creation and Detection: A Survey

abstract: Deep learning has been successfully applied to solve various complex problems ranging from big data analytics to computer vision and human-level control. Deep learning advances however have also been employed to create software that can cause threats to privacy, democracy and national security. One of those deep learning-powered applications recently emerged is deepfake. Deepfake algorithms can create fake images and videos that humans cannot distinguish them from authentic ones. The proposal of technologies that can automatically detect and assess the integrity of digital visual media is therefore indispensable. This paper presents a survey of algorithms used to create deepfakes and, more importantly, methods proposed to detect deepfakes in the literature to date. We present extensive discussions on challenges, research trends and directions related to deepfake technologies. By reviewing the background of deepfakes and state-of-the-art deepfake detection methods, this study provides a comprehensive overview of deepfake techniques and facilitates the development of new and more robust methods to deal with the increasingly challenging deepfakes.


title: MIC: Mining Interclass Characteristics for Improved Metric Learning

abstract: Metric learning seeks to embed images of objects suchthat class-defined relations are captured by the embeddingspace. However, variability in images is not just due to different depicted object classes, but also depends on other latent characteristics such as viewpoint or illumination. In addition to these structured properties, random noise further obstructs the visual relations of interest. The common approach to metric learning is to enforce a representation that is invariant under all factors but the ones of interest. In contrast, we propose to explicitly learn the latent characteristics that are shared by and go across object classes. We can then directly explain away structured visual variability, rather than assuming it to be unknown random noise. We propose a novel surrogate task to learn visual characteristics shared across classes with a separate encoder. This encoder is trained jointly with the encoder for class information by reducing their mutual information. On five standard image retrieval benchmarks the approach significantly improves upon the state-of-the-art.


title: A Closer Look at Domain Shift for Deep Learning in Histopathology

abstract: Domain shift is a significant problem in histopathology. There can be large differences in data characteristics of whole-slide images between medical centers and scanners, making generalization of deep learning to unseen data difficult. To gain a better understanding of the problem, we present a study on convolutional neural networks trained for tumor classification of H&E stained whole-slide images. We analyze how augmentation and normalization strategies affect performance and learned representations, and what features a trained model respond to. Most centrally, we present a novel measure for evaluating the distance between domains in the context of the learned representation of a particular model. This measure can reveal how sensitive a model is to domain variations, and can be used to detect new data that a model will have problems generalizing to. The results show how learning is heavily influenced by the preparation of training data, and that the latent representation used to do classification is sensitive to changes in data distribution, especially when training without augmentation or normalization.


title: QCD Corrections in SMEFT Fits to $WZ$ and $WW$ Production

abstract: We investigate the role of anomalous gauge boson and fermion couplings on the production of $WZ$ and $W^+W^-$ pairs at the LHC to NLO QCD in the Standard Model effective field theory, including dimension-6 operators. Our results are implemented in a publicly available version of the POWHEG-BOX. We combine our $WZ$ results in the leptonic final state $e\nu \mu^+\mu^-$ with previous $W^+W^-$ results to demonstrate the numerical effects of NLO QCD corrections on the limits on effective couplings derived from ATLAS and CMS 8 and 13 TeV differential measurements. Our study demonstrates the importance of including NLO QCD SMEFT corrections in the $WZ$ analysis, while the effects on $WW$ production are smaller. We also show that the $\mathcal{O}(1/\Lambda^4)$ contributions dominate the analysis, where $\Lambda$ is the high energy scale associated with the SMEFT.


title: Internal Dictionary Matching

abstract: We introduce data structures answering queries concerning the occurrences of patterns from a given dictionary $\mathcal{D}$ in fragments of a given string $T$ of length $n$. The dictionary is internal in the sense that each pattern in $\mathcal{D}$ is given as a fragment of $T$. This way, $\mathcal{D}$ takes space proportional to the number of patterns $d=|\mathcal{D}|$ rather than their total length, which could be $\Theta(n\cdot d)$. In particular, we consider the following types of queries: reporting and counting all occurrences of patterns from $\mathcal{D}$ in a fragment $T[i..j]$ and reporting distinct patterns from $\mathcal{D}$ that occur in $T[i..j]$. We show how to construct, in $\mathcal{O}((n+d) \log^{\mathcal{O}(1)} n)$ time, a data structure that answers each of these queries in time $\mathcal{O}(\log^{\mathcal{O}(1)} n+|output|)$. The case of counting patterns is much more involved and needs a combination of a locally consistent parsing with orthogonal range searching. Reporting distinct patterns, on the other hand, uses the structure of maximal repetitions in strings. Finally, we provide tight---up to subpolynomial factors---upper and lower bounds for the case of a dynamic dictionary.