title: Supersolidity of the $\alpha$ cluster structure in the nucleus $^{12}$C

abstract: For more than half a century, the structure of $^{12}$C, such as the ground band, has been understood to be well described by the three $\alpha$ cluster model based on a geometrical crystalline picture. On the contrary, recently it has been claimed that the ground state of $^{12}$C is also well described by a nonlocalized cluster model without any of the geometrical configurations originally proposed to explain the dilute gas-like Hoyle state, which is now considered to be a Bose-Einstein condensate of $\alpha$ clusters. The challenging unsolved problem is how we can reconcile the two exclusive $\alpha$ cluster pictures of $^{12}$C, crystalline vs nonlocalized structure. We show that the crystalline cluster picture and the nonlocalized cluster picture can be reconciled by noticing that they are a manifestation of supersolidity with properties of both crystallinity and superfluidity. This is achieved through a superfluid $\alpha$ cluster model based on effective field theory, which treats the Nambu-Goldstone zero mode rigorously. For several decades, scientists have been searching for a supersolid in nature.Nuclear $\alpha$ cluster structure is considered to be the first confirmed example of a stable supersolid.

categories: nucl-th cond-mat.other cond-mat.quant-gas nucl-ex


title: Analytic solutions of the modified Langevin equation in a mean-field model

abstract: Approximate analytical solutions of the modified Langevin equation are obtained. These solutions are relatively simple and enough accurate. They are illustrated by considering a mean-field model of a system with interacting superparamagnetic particles. Within the framework of this model system we derived analytical approximate formulas for the temperature dependencies of the saturation and remnant magnetization, coercive force, initial magnetic susceptibility as well as for the law of approach to saturation. We obtained also some exact analytical relationships for the coercive force. We found remarkable similarity between the approximate cubic equation, which is resulted from the modified Langevin equation, and the exact equation resulting from the divergence condition of a solution derivative. The analytical formulas obtained in this work can be used in various models (not only magnetic ones), where the modified Langevin equation is applied.


title: Two-scale micropolar plate model for web-core sandwich panels

abstract: A 2-D micropolar equivalent single-layer (ESL), first-order shear deformation (FSDT) plate model for 3-D web-core sandwich panels is developed. First, a 3-D web-core unit cell is modeled by classical shell finite elements. A discrete-to-continuum transformation is applied to the microscale unit cell and its strain and kinetic energy densities are expressed in terms of the macroscale 2-D plate kinematics. The hyperelastic constitutive relations and the equations of motion (via Hamilton's principle) for the plate are derived by assuming energy equivalence between the 3-D unit cell and the 2-D plate. The Navier solution is developed for the 2-D micropolar ESL-FSDT plate model to study the bending, buckling, and free vibration of simply-supported web-core sandwich panels. In a line load bending problem, a 2-D classical ESL-FSDT plate model yields displacement errors of 34-175% for face sheet thicknesses of 2-10 mm compared to a 3-D FE solution, whereas the 2-D micropolar model gives only small errors of 2.7-3.4% as it can emulate the 3-D deformations better through non-classical antisymmetric shear behavior and local bending and twisting.


title: On the Physical Meaning of Time-Domain Constitutive Models with Complex Parameters

abstract: This paper revisits the physical meaning of linear, time-domain constitutive models with complex parameters that have been presented in the literature and concludes that such models are not physically realizable. While complex-parameter phenomenological models (including those with complex-order time derivatives) may be efficient in capturing in the frequency domain the frequency-dependent behavior of viscoelastic materials over a finite frequency band, they do not possess physically acceptable time-response functions. The paper first reviews the intimate relation between the causality of a physically realizable constitutive model and the analyticity of its frequency-response function and explains that in theory it is sufficient to conduct a nonlinear regression analysis for estimating the model parameters either on only the real part or on only the imaginary part of its frequency-response function, given that they are related with the Hilbert transform. Consequently, the resulting model-parameters are real-valued; therefore, there is no theoretical justification to conduct the nonlinear regression analysis for estimating the model parameters in the complex space. The paper concludes with an example by showing that the relaxation modulus of the complex-coefficient Maxwell model is a divergent function at all positive times; therefore it is not a physically realizable constitutive model.


title: A Practical Approach to expressing digitally signed documents

abstract: Initially developed and considered for providing authentication and integrity functions, digital signatures are studied nowadays in relation to electronic documents (edocs) so that they can be considered equivalent to handwritten signatures applied on paper documents. Nevertheless, a standardized format to be used specifically for e-doc representation was not yet specified. Each document management system is free to choose whatever e-doc format is suitable for its requirements (e.g. ASCII, Word, PDF, binary). So far, some solutions for document management systems were found but none of them was designed to consider security an important requirement and to enable digital signing and easy management of e-docs. A possible solution to this problem is our secure document management system named AIDA. This paper focuses on the use of XML and XML Signature for the representation of e-docs in AIDA.


title: Development of ATLAS Primary Vertex Reconstruction for LHC Run 3

abstract: Increasing luminosity at the Large Hadron Collider (LHC) poses a challenge for primary vertex reconstruction in the ATLAS experiment. A rate of 70 or more inelastic proton-proton collisions per beam crossing was observed during the recently-completed Run 2 and even higher vertex density, or pile-up, is expected in Run 3. To meet this challenge, ATLAS has developed new tools: a Gaussian track density seed finder and an adaptive multi-vertex finder. The former constructs a simple but powerful analytic model of the track density along the beam axis to locate candidate vertices, and the latter applies a global approach to vertex finding and fitting, allowing vertices to compete for nearby tracks. These proceedings document the strategy, optimization and preliminary performance of this new vertex reconstruction software, highlighting improvements in vertex finding efficiency, purity and spatial resolution under Run 3 pile-up conditions.


title: Fully Parallel Hyperparameter Search: Reshaped Space-Filling

abstract: Space-filling designs such as scrambled-Hammersley, Latin Hypercube Sampling and Jittered Sampling have been proposed for fully parallel hyperparameter search, and were shown to be more effective than random or grid search. In this paper, we show that these designs only improve over random search by a constant factor. In contrast, we introduce a new approach based on reshaping the search distribution, which leads to substantial gains over random search, both theoretically and empirically. We propose two flavors of reshaping. First, when the distribution of the optimum is some known $P_0$, we propose Recentering, which uses as search distribution a modified version of $P_0$ tightened closer to the center of the domain, in a dimension-dependent and budget-dependent manner. Second, we show that in a wide range of experiments with $P_0$ unknown, using a proposed Cauchy transformation, which simultaneously has a heavier tail (for unbounded hyperparameters) and is closer to the boundaries (for bounded hyperparameters), leads to improved performances. Besides artificial experiments and simple real world tests on clustering or Salmon mappings, we check our proposed methods on expensive artificial intelligence tasks such as attend/infer/repeat, video next frame segmentation forecasting and progressive generative adversarial networks.


title: Model Dirac and Dirac-Hestenes equations as covariantly equipped systems of equations

abstract: We define a new class of partial differential equations of first order (complex covariantly equipped systems of equations), which are invariant with respect to (pseudo)orthogonal changes of cartesian coordinates of (pseudo)euclidian space. It is shown that for pseudoeuclidian spaces of signature (1,n-1) covariantly equipped systems of equation can be written in the form of Friedrichs symmetric hyperbolic systems of equations of first order. We prove that Dirac and Dirac-Hestenes model equations belong to the class of covariantly equipped systems of equations.


title: Identification of Model Uncertainty via Optimal Design of Experiments Applied to a Mechanical Press

abstract: In engineering applications almost all processes are described with the help of models. Especially forming machines heavily rely on mathematical models for control and condition monitoring. Inaccuracies during the modeling, manufacturing and assembly of these machines induce model uncertainty which impairs the controller's performance. In this paper we propose an approach to identify model uncertainty using parameter identification, optimal design of experiments and hypothesis testing. The experimental setup is characterized by optimal sensor positions such that specific model parameters can be determined with minimal variance. This allows for the computation of confidence regions in which the real parameters or the parameter estimates from different test sets have to lie. We claim that inconsistencies in the estimated parameter values, considering their approximated confidence ellipsoids as well, cannot be explained by data uncertainty but are indicators of model uncertainty. The proposed method is demonstrated using a component of the 3D Servo Press, a multi-technology forming machine that combines spindles with eccentric servo drives.


title: Inverse modeling of hydrologic parameters in CLM4 via generalized polynomial chaos in the Bayesian framework

abstract: In this study, the applicability of generalized polynomial chaos (gPC) expansion for land surface model parameter estimation is evaluated. We compute the (posterior) distribution of the critical hydrological parameters that are subject to great uncertainty in the community land model (CLM). The unknown parameters include those that have been identified as the most influential factors on the simulations of surface and subsurface runoff, latent and sensible heat fluxes, and soil moisture in CLM4.0. We setup the inversion problem this problem in the Bayesian framework in two steps: (i) build a surrogate model expressing the input-output mapping, and (ii) compute the posterior distributions of the input parameters. Development of the surrogate model is done with a Bayesian procedure, based on the variable selection methods that use gPC expansions. Our approach accounts for bases selection uncertainty and quantifies the importance of the gPC terms, and hence all the input parameters, via the associated posterior probabilities.


title: Using Sparse Gaussian Processes for Predicting Robust Inertial Confinement Fusion Implosion Yields

abstract: Here we present the application of an advanced Sparse Gaussian Process based machine learning algorithm to the challenge of predicting the yields of inertial confinement fusion (ICF) experiments. The algorithm is used to investigate the parameter space of an extremely robust ICF design for the National Ignition Facility, the `Simplest Design'; deuterium-tritium gas in a plastic ablator with a Gaussian, Planckian drive. In particular we show that i) GPz has the potential to decompose uncertainty on predictions into uncertainty from lack of data and shot-to-shot variation, ii) permits the incorporation of science-goal specific cost-sensitive learning e.g. focussing on the high-yield parts of parameter space and iii) is very fast and effective in high dimensions.


title: Optimal-rate Lagrange and Hermite finite elements for Dirichlet problems in curved domains with straight-edged triangles

abstract: One of the reasons for the success of the finite element method is its versatility to deal with different types of geometries. This is particularly true of problems posed in curved domains of arbitrary shape. In the case of second order boundary-value problems with Dirichlet conditions prescribed on curvilinear boundaries, method's isoparametric version for meshes consisting of curved triangles or tetrahedra has been mostly employed to recover the optimal approximation properties known to hold for methods of order greater than one based on standard straight-edged elements, in the case of polygonal or polyhedral domains. However, besides algebraic and geometric inconveniences, the isoparametric technique is limited in scope, since its extension to degrees of freedom other than function values is not straightforward. The purpose of this paper is to study a simple alternative that bypasses the above drawbacks, without eroding qualitative approximation properties. Among other advantages, this technique can do without curved elements and is based only on polynomial algebra. It is first illustrated in the case of the convection-diffusion equation solved with standard Lagrange elements. Then it is applied to the solution with Hermite elements of the biharmonic equation with Dirichlet boundary conditions.


title: On the Sample Complexity of Actor-Critic Method for Reinforcement Learning with Function Approximation

abstract: Reinforcement learning, mathematically described by Markov Decision Problems, may be approached either through dynamic programming or policy search. Actor-critic algorithms combine the merits of both approaches by alternating between steps to estimate the value function and policy gradient updates. Due to the fact that the updates exhibit correlated noise and biased gradient updates, only the asymptotic behavior of actor-critic is known by connecting its behavior to dynamical systems. This work puts forth a new variant of actor-critic that employs Monte Carlo rollouts during the policy search updates, which results in controllable bias that depends on the number of critic evaluations. As a result, we are able to provide for the first time the convergence rate of actor-critic algorithms when the policy search step employs policy gradient, agnostic to the choice of policy evaluation technique. In particular, we establish conditions under which the sample complexity is comparable to stochastic gradient method for non-convex problems or slower as a result of the critic estimation error, which is the main complexity bottleneck. These results hold in continuous state and action spaces with linear function approximation for the value function. We then specialize these conceptual results to the case where the critic is estimated by Temporal Difference, Gradient Temporal Difference, and Accelerated Gradient Temporal Difference. These learning rates are then corroborated on a navigation problem involving an obstacle and the pendulum problem which provide insight into the interplay between optimization and generalization in reinforcement learning.


title: Efficient Computation of Probabilistic Dominance in Robust Multi-Objective Optimization

abstract: Real-world problems typically require the simultaneous optimization of several, often conflicting objectives. Many of these multi-objective optimization problems are characterized by wide ranges of uncertainties in their decision variables or objective functions, which further increases the complexity of optimization. To cope with such uncertainties, robust optimization is widely studied aiming to distinguish candidate solutions with uncertain objectives specified by confidence intervals, probability distributions or sampled data. However, existing techniques mostly either fail to consider the actual distributions or assume uncertainty as instances of uniform or Gaussian distributions. This paper introduces an empirical approach that enables an efficient comparison of candidate solutions with uncertain objectives that can follow arbitrary distributions. Given two candidate solutions under comparison, this operator calculates the probability that one solution dominates the other in terms of each uncertain objective. It can substitute for the standard comparison operator of existing optimization techniques such as evolutionary algorithms to enable discovering robust solutions to problems with multiple uncertain objectives. This paper also proposes to incorporate various uncertainties in well-known multi-objective problems to provide a benchmark for evaluating uncertainty-aware optimization techniques. The proposed comparison operator and benchmark suite are integrated into an existing optimization tool that features a selection of multi-objective optimization problems and algorithms. Experiments show that in comparison with existing techniques, the proposed approach achieves higher optimization quality at lower overheads.


title: Thermal transport of helium-3 in a strongly confining channel

abstract: In a neutral system such as liquid helium-3, transport of mass, heat, and spin provide information analogous to electrical counterparts in metals, superconductors and topological materials. Of particular interest is transport in strongly confining channels of height approaching the superfluid coherence length, where new quantum states are found and excitations bound to surfaces and edges should be present. Here we report on the thermal conduction of helium-3 in a 1.1~$\mu$m high microfabricated channel. In the normal state we observe a diffusive thermal conductivity that is approximately temperature independent, consistent with recent work on the interference of bulk and boundary scattering. In the superfluid state we measure diffusive thermal transport in the absence of thermal counterflow. An anomalous thermal response is also detected in the superfluid which we suggest may arise from a flux of surface excitations.


title: Anatomically informed Bayesian spatial priors for fMRI analysis

abstract: Existing Bayesian spatial priors for functional magnetic resonance imaging (fMRI) data correspond to stationary isotropic smoothing filters that may oversmooth at anatomical boundaries. We propose two anatomically informed Bayesian spatial models for fMRI data with local smoothing in each voxel based on a tensor field estimated from a T1-weighted anatomical image. We show that our anatomically informed Bayesian spatial models results in posterior probability maps that follow the anatomical structure.


title: Programming and Symbolic Computation in Maude

abstract: Rewriting logic is both a flexible semantic framework within which widely different concurrent systems can be naturally specified and a logical framework in which widely different logics can be specified. Maude programs are exactly rewrite theories. Maude has also a formal environment of verification tools. Symbolic computation is a powerful technique for reasoning about the correctness of concurrent systems and for increasing the power of formal tools. We present several new symbolic features of Maude that enhance formal reasoning about Maude programs and the effectiveness of formal tools. They include: (i) very general unification modulo user-definable equational theories, and (ii) symbolic reachability analysis of concurrent systems using narrowing. The paper does not focus just on symbolic features: it also describes several other new Maude features, including: (iii) Maude's strategy language for controlling rewriting, and (iv) external objects that allow flexible interaction of Maude object-based concurrent systems with the external world. In particular, meta-interpreters are external objects encapsulating Maude interpreters that can interact with many other objects. To make the paper self-contained and give a reasonably complete language overview, we also review the basic Maude features for equational rewriting and rewriting with rules, Maude programming of concurrent object systems, and reflection. Furthermore, we include many examples illustrating all the Maude notions and features described in the paper.


title: Predicting fully self-consistent satellite richness, galaxy growth and starformation rates from the STastical sEmi-Empirical modeL STEEL

abstract: Observational systematics complicate comparisons with theoretical models limiting understanding of galaxy evolution. In particular, different empirical determinations of the stellar mass function imply distinct mappings between the galaxy and halo masses, leading to diverse galaxy evolutionary tracks. Using our state-of-the-art STatistical sEmi-Empirical modeL, STEEL, we show fully self-consistent models capable of generating galaxy growth histories that simultaneously and closely agree with the latest data on satellite richness and star-formation rates at multiple redshifts and environments. Central galaxy histories are generated using the central halo mass tracks from state-of-the-art statistical dark matter accretion histories coupled to abundance matching routines. We show that too flat high-mass slopes in the input stellar-mass-halo-mass relations as predicted by previous works, imply non-physical stellar mass growth histories weaker than those implied by satellite accretion alone. Our best-fit models reproduce the satellite distributions at the largest masses and highest redshifts probed, the latest data on star formation rates and its bi-modality in the local Universe, and the correct fraction of ellipticals. Our results are important to predict robust and self-consistent stellar-mass-halo-mass relations and to generate reliable galaxy mock catalogues for the next generations of extra-galactic surveys such as Euclid and LSST.


title: Controlling Utterance Length in NMT-based Word Segmentation with Attention

abstract: One of the basic tasks of computational language documentation (CLD) is to identify word boundaries in an unsegmented phonemic stream. While several unsupervised monolingual word segmentation algorithms exist in the literature, they are challenged in real-world CLD settings by the small amount of available data. A possible remedy is to take advantage of glosses or translation in a foreign, well-resourced, language, which often exist for such data. In this paper, we explore and compare ways to exploit neural machine translation models to perform unsupervised boundary detection with bilingual information, notably introducing a new loss function for jointly learning alignment and segmentation. We experiment with an actual under-resourced language, Mboshi, and show that these techniques can effectively control the output segmentation length.


title: Markov Decision Processes For Multi-Objective Satellite Task Planning

abstract: This paper presents a semi-Markov decision process (SMDP) formulation of the satellite task scheduling problem. This formulation can consider multiple operational objectives simultaneously and plan transitions between distinct functional modes. We consider the problem of scheduling image collections, ground contacts, sun-pointed periods for battery recharging, and data recorder management for an agile, resource-constrained Earth-observing spacecraft. By considering multiple mission objectives simultaneously, the algorithm is able to find optimized task schedule that satisfies all operational constraints in a single planning step, thus reducing the operational complexity and number of steps involved in mission planning. We present two solution approaches based on forward search and Monte Carlo Tree search. We baseline against rule-based, graph search, and mixed-integer-linear programming approaches. The SMDP formulation is evaluated in both single-objective and multi-objective scenarios. The SMDP solution is found to perform comparably with the baseline methods at greatly increased speed in single-objective scenarios and greater schedule reward in multi-objective.


title: Time scales for charge-transfer based operations on Majorana systems

abstract: In this article we analyze the efficiency of operations based on transferring charge from a quantum dot (QD) to two coupled topological superconductors, which can be used for performing nonabelian operations on Majorana bound states (MBSs). We develop a method which allows us to describe the full time-evolution of the system as the QD energy is manipulated. Using a full counting statistics analysis, we set bounds to the operation time scales. The lower bound depends on the superconducting phase difference due to a partial decoupling of the different MBSs parity sectors, while the upper bound is set by the tunneling of quasiparticles to the MBSs. Using realistic parameters, we find the existence of a regime where the operation can be carried out with a fidelity close to unity. Finally, we propose the use of a two operations protocol to quantify the effect of the dephasing and accumulated dynamical phases, demonstrating their absence for certain superconducting phase differences.


title: Generalised Voltage Graphs

abstract: A graph with a semiregular group of automorphisms can be thought of as the derived cover arising from a voltage graph. Since its inception, the theory of voltage graphs and their derived covers has been a powerful tool used in the study of graphs with a significant degree of symmetry. We generalise this theory to graphs with a group of automorphisms that is not necessarily semiregular, and we generalise several well-known results of the classical theory of voltage graphs to this broader setting.


title: Phenomenology of scotogenic scalar dark matter

abstract: We reexamine the minimal Singlet + Triplet Scotogenic Model, where dark matter is the mediator of neutrino mass generation. We assume it to be a scalar WIMP, whose stability follows from the same $\mathbb{Z} _{2}$ symmetry that leads to the radiative origin of neutrino masses. The scheme is the minimal one that allows for solar and atmospheric mass scales to be generated. We perform a full numerical analysis of the signatures expected at dark matter as well as collider experiments. We identify parameter regions where dark matter predictions agree with theoretical and experimental constraints, such as neutrino oscillations, Higgs data, dark matter relic abundance and direct detection searches. We also present forecasts for near future direct and indirect detection experiments. These will further probe the parameter space. Finally, we explore collider signatures associated with the mono-jet channel at the LHC, highlighting the existence of a viable light dark matter mass range.


title: Quantum effects in the brain: A review

abstract: In the mid-1990s it was proposed that quantum effects in proteins known as microtubules play a role in the nature of consciousness. The theory was largely dismissed due to the fact that quantum effects were thought unlikely to occur in biological systems, which are warm and wet and subject to decoherence. However, the development of quantum biology now suggests otherwise. Quantum effects have been implicated in photosynthesis, a process fundamental to life on earth. They are also possibly at play in other biological processes such as avian migration and olfaction. The microtubule mechanism of quantum consciousness has been joined by other theories of quantum cognition. It has been proposed that general anaesthetic, which switches off consciousness, does this through quantum means, measured by changes in electron spin. The tunnelling hypothesis developed in the context of olfaction has been applied to the action of neurotransmitters. A recent theory outlines how quantum entanglement between phosphorus nuclei might influence the firing of neurons. These, and other theories, have contributed to a growing field of research that investigates whether quantum effects might contribute to neural processing. This review aims to investigate the current state of this research and how fully the theory is supported by convincing experimental evidence. It also aims to clarify the biological sites of these proposed quantum effects and how progress made in the wider field of quantum biology might be relevant to the specific case of the brain.


title: Efficient and Scalable Approach to Equilibrium Conditional Simulation of Gibbs Markov Random Fields

abstract: We study the performance of an automated hybrid Monte Carlo (HMC) approach for conditional simulation of a recently proposed, single-parameter Gibbs Markov random field (Gibbs MRF). The MRF is based on a modified version of the planar rotator (MPR) model and is used for efficient gap filling in gridded data. HMC combines the deterministic over-relaxation method and the stochastic Metropolis update with dynamically adjusted restriction and performs automatic detection of the crossover to the targeted equilibrium state. We focus on the ability of the algorithm to efficiently drive the system to equilibrium at very low temperatures even with sparse conditioning data. These conditions are the most challenging computationally, requiring extremely long relaxation times if simulated by means of the standard Metropolis algorithm. We demonstrate that HMC has considerable benefits in terms of both computational efficiency and prediction performance of the MPR method.


title: The linearly damped nonlinear Schr\"odinger equation with localized driving: spatiotemporal decay estimates and the emergence of extreme wave events

abstract: We prove spatiotemporal algebraically decaying estimates for the density of the solutions of the linearly damped nonlinear Schr\"odinger equation with localized driving, when supplemented with vanishing boundary conditions. Their derivation is made via a scheme, which incorporates suitable weighted Sobolev spaces and a time-weighted energy method. Numerical simulations examining the dynamics (in the presence of physically relevant examples of driver types and driving amplitude/linear loss regimes), showcase that the suggested decaying rates, are proved relevant in describing the transient dynamics of the solutions, prior their decay: they support the emergence of waveforms possessing an algebraic space-time localization (reminiscent of the Peregrine soliton) as first events of the dynamics, but also effectively capture the space-time asymptotics of the numerical solutions.


title: A Pulse Width Modulation based Power-elastic and Robust Mixed-signal Perceptron Design

abstract: Neural networks are exerting burgeoning influence in emerging artificial intelligence applications at the micro-edge, such as sensing systems and image processing. As many of these systems are typically self-powered, their circuits are expected to be resilient and efficient in the presence of continuous power variations caused by the harvesters. In this paper, we propose a novel mixed-signal (i.e. analogue/digital) approach of designing a power-elastic perceptron using the principle of pulse width modulation (PWM). Fundamental to the design are a number of parallel inverters that transcode the input-weight pairs based on the principle of PWM duty cycle. Since PWM-based inverters are typically agnostic to amplitude and frequency variations, the perceptron shows a high degree of power elasticity and robustness under these variations. We show extensive design analysis in Cadence Analog Design Environment tool using a 3x3 perceptron circuit as a case study to demonstrate the resilience in the presence of parameric variations.


title: The mirror of the cubic surface

abstract: This paper expands on a remark in the paper "Mirror Symmetry for Log Calabi-Yau Surfaces I" of the first three authors of this paper, explaining fully how various constructions of the authors apply to give the mirror to the cubic surface. We give a full description of the scattering diagram associated to the cubic surface: this is a particularly nice diagram in which rays of every rational slope occur, but they may all be described. The equation of the mirror cubic family is then derived in two ways, first by using broken lines and then by using more recent constructions involving a direct calculation of Gromov-Witten invariants.


title: Efficient Schmidt number scaling in dissipative particle dynamics

abstract: Dissipative particle dynamics is a widely used mesoscale technique for the simulation of hydrodynamics (as well as immersed particles) utilizing coarse-grained molecular dynamics. While the method is capable of describing any fluid, the typical choice of the friction coefficient $\gamma$ and dissipative force cutoff $r_c$ yields an unacceptably low Schmidt number $Sc$ for the simulation of liquid water at standard temperature and pressure. There are a variety of ways to raise $Sc$, such as increasing $\gamma$ and $r_c$, but the relative cost of modifying each parameter (and the concomitant impact on numerical accuracy) has heretofore remained undetermined. We perform a detailed search over the parameter space, identifying the optimal strategy for the efficient and accuracy-preserving scaling of $Sc$, using both numerical simulations and theoretical predictions. The composite results recommend a parameter choice that leads to a speed improvement of a factor of three versus previously utilized strategies.


title: Exact Topological Flat Bands from Continuum Landau Levels

abstract: We construct and characterize tight binding Hamiltonians which contain a completely flat topological band made of continuum lowest Landau level wavefunctions sampled on a lattice. We find an infinite family of such Hamiltonians, with simple analytic descriptions. These provide a valuable tool for constructing exactly solvable models. We also implement a numerical algorithm for finding the most local Hamiltonian with a flat Landau level. We find intriguing structures in the spatial dependence of the matrix elements for this optimized model. The models we construct serve as foundations for numerical and experimental studies of topological systems, both non-interacting and interacting.


title: Spectral and spatial shaping of laser-driven proton beams using a pulsed high-field magnet beamline

abstract: Intense laser-driven proton pulses, inherently broadband and highly divergent, pose a challenge to established beamline concepts on the path to application-adapted irradiation field formation, particularly for 3D. Here we experimentally show the successful implementation of a highly efficient (50% transmission) and tuneable dual pulsed solenoid setup to generate a homogeneous (8.5% uniformity laterally and in depth) volumetric dose distribution (cylindrical volume of 5 mm diameter and depth) at a single pulse dose of 0.7 Gy via multi-energy slice selection from the broad input spectrum. The experiments have been conducted at the Petawatt beam of the Dresden Laser Acceleration Source Draco and were aided by a predictive simulation model verified by proton transport studies. With the characterised beamline we investigated manipulation and matching of lateral and depth dose profiles to various desired applications and targets. Using a specifically adapted dose profile, we successfully performed first proof-of-concept laser-driven proton irradiation studies of volumetric in-vivo normal tissue (zebrafish embryos) and in-vitro tumour tissue (SAS spheroids) samples.


title: Monte-Carlo simulations of relativistic radiation mediated shocks: II. photon starved regime

abstract: Radiation mediated shocks (RMS) play a key role in shaping the early emission observed in many transients. In most cases, e.g., shock breakout in supernovae, llGRBs and neutron star mergers, the upstream plasma is devoid of radiation, and the photons that ultimately reach the observer are generated predominantly inside and downstream of the shock. Predicting the observed spectrum requires detailed calculations of the shock structure and thermodynamic state that account properly for the shock microphysics. We present results of self-consistent Monte-Carlo simulations of photon-starved RMS, that yield the shock structure and emission for a broad range of shock velocities, from sub-relativistic ($\beta_{sh} = 0.1$) to highly relativistic ($\Gamma_{sh} = 20$). Our simulations confirm that in relativistic RMS the immediate downstream temperature is regulated by exponential pair creation, ranging from $50$ keV at $\beta_{sh}=0.5$ to $200$ keV at $\Gamma_{sh}=20$. At lower velocities the temperature becomes sensitive to the shock velocity, with $kT\sim 0.5$ keV at $\beta_{sh}=0.1$. We also confirm that in relativistic shocks the opacity is completely dominated by newly created pairs, which has important implications for the breakout physics. We find the transition to pair dominance to occur at $\beta_{sh}=0.5$ roughly. In all cases examined, the spectrum below the $\nu F_\nu$ peak has been found to be substantially softer than the Planck distribution. This has important implications for the optical emission in fast and relativistic breakouts, and their detection. The applications to GRB 060218 and GRB 170817A are discussed.


title: Projected Newton Method for noise constrained Tikhonov regularization

abstract: Tikhonov regularization is a popular approach to obtain a meaningful solution for ill-conditioned linear least squares problems. A relatively simple way of choosing a good regularization parameter is given by Morozov's discrepancy principle. However, most approaches require the solution of the Tikhonov problem for many different values of the regularization parameter, which is computationally demanding for large scale problems. We propose a new and efficient algorithm which simultaneously solves the Tikhonov problem and finds the corresponding regularization parameter such that the discrepancy principle is satisfied. We achieve this by formulating the problem as a nonlinear system of equations and solving this system using a line search method. We obtain a good search direction by projecting the problem onto a low dimensional Krylov subspace and computing the Newton direction for the projected problem. This projected Newton direction, which is significantly less computationally expensive to calculate than the true Newton direction, is then combined with a backtracking line search to obtain a globally convergent algorithm, which we refer to as the Projected Newton method. We prove convergence of the algorithm and illustrate the improved performance over current state-of-the-art solvers with some numerical experiments.


title: Topological data analysis of zebrafish patterns

abstract: Self-organized pattern behavior is ubiquitous throughout nature, from fish schooling to collective cell dynamics during organism development. Qualitatively these patterns display impressive consistency, yet variability inevitably exists within pattern-forming systems on both microscopic and macroscopic scales. Quantifying variability and measuring pattern features can inform the underlying agent interactions and allow for predictive analyses. Nevertheless, current methods for analyzing patterns that arise from collective behavior only capture macroscopic features, or rely on either manual inspection or smoothing algorithms that lose the underlying agent-based nature of the data. Here we introduce methods based on topological data analysis and interpretable machine learning for quantifying both agent-level features and global pattern attributes on a large scale. Because the zebrafish is a model organism for skin pattern formation, we focus specifically on analyzing its skin patterns as a means of illustrating our approach. Using a recent agent-based model, we simulate thousands of wild-type and mutant zebrafish patterns and apply our methodology to better understand pattern variability in zebrafish. Our methodology is able to quantify the differential impact of stochasticity in cell interactions on wild-type and mutant patterns, and we use our methods to predict stripe and spot statistics as a function of varying cellular communication. Our work provides a new approach to automatically quantifying biological patterns and analyzing agent-based dynamics so that we can now answer critical questions in pattern formation at a much larger scale.


title: Bound-state spectrum of an impurity in a quantum vortex

abstract: We consider the problem of finding the bound-state spectrum of an impurity immersed in a weakly interacting two-dimensional Bose-Einstein condensate supporting a single vortex. We obtain approximate expressions for the energy levels and show that, due to the finite size of the condensate, the impurity can access only a finite number of physical bound states. By virtue of the topological quantization of the vorticity and of the emergence of the Tkachenko lattice, this system is promising as a robust and scalable platform for the realization of qubits. Moreover, it provides a potentially new paradigm for polaron physics in Bose-Einstein condensates and a glimpse towards the study of quantum turbulence in low-dimensionality systems.


title: Using Local Knowledge Graph Construction to Scale Seq2Seq Models to Multi-Document Inputs

abstract: Query-based open-domain NLP tasks require information synthesis from long and diverse web results. Current approaches extractively select portions of web text as input to Sequence-to-Sequence models using methods such as TF-IDF ranking. We propose constructing a local graph structured knowledge base for each query, which compresses the web search information and reduces redundancy. We show that by linearizing the graph into a structured input sequence, models can encode the graph representations within a standard Sequence-to-Sequence setting. For two generative tasks with very long text input, long-form question answering and multi-document summarization, feeding graph representations as input can achieve better performance than using retrieved text portions.


title: Poisson-Lie plurals of Bianchi cosmologies and Generalized Supergravity Equations

abstract: Poisson-Lie T-duality and plurality are important solution generating techniques in string theory and (generalized) supergravity. Since duality/plurality does not preserve conformal invariance, the usual beta function equations are replaced by Generalized Supergravity Equations containing vector $\mathcal{J}$. In this paper we apply Poisson-Lie T-plurality on Bianchi cosmologies. We present a formula for the vector $\mathcal{J}$ as well as transformation rule for dilaton, and show that plural backgrounds together with this dilaton and $\mathcal{J}$ satisfy the Generalized Supergravity Equations. The procedure is valid also for non-local dilaton and non-constant $\mathcal{J}$. We also show that $Div\,\Theta$ of the non-commutative structure $\Theta$ used for non-Abelian T-duality or integrable deformations does not give correct $\mathcal{J}$ for Poisson-Lie T-plurality.


title: Exciton Interferometry

abstract: An exciton beam splitter is designed and computationally implemented, offering the prospect of excitonic interferometry. Exciton interaction between propagation conduits is modeled using a coupling parameter that varies with position. In practice, this variation can be realized by a change in the distance separating conduits as would occur if they crossed at oblique angles. Two such excitonic beam splitters can be combined to comprise an excitonic analog to a Mach-Zehnder interferometer, allowing the relative phase shift between two signals to be used to tailor the output populations on each channel. In contrast to optical splitters, an excitonic signal can be coherently split among more than two channels. These ideas are computationally demonstrated within an idealized setting in which each site is idealized as a two-level system. Physical implementations include molecular and coupled cavity settings as well as combinations of these. This adds to the developing inventory of excitonic analogs to optical elements.


title: Implicit Context-aware Learning and Discovery for Streaming Data Analytics

abstract: The performance of machine learning model can be further improved if contextual cues are provided as input along with base features that are directly related to an inference task. In offline learning, one can inspect historical training data to identify contextual clusters either through feature clustering, or hand-crafting additional features to describe a context. While offline training enjoys the privilege of learning reliable models based on already-defined contextual features, online training for streaming data may be more challenging -- the data is streamed through time, and the underlying context during a data generation process may change. Furthermore, the problem is exacerbated when the number of possible context is not known. In this study, we propose an online-learning algorithm involving the use of a neural network-based autoencoder to identify contextual changes during training, then compares the currently-inferred context to a knowledge base of learned contexts as training advances. Results show that classifier-training benefits from the automatically discovered contexts which demonstrates quicker learning convergence during contextual changes compared to current methods.


title: A novel centroid update approach for clustering-based superpixel methods and superpixel-based edge detection

abstract: Superpixel is widely used in image processing. And among the methods for superpixel generation, clustering-based methods have a high speed and a good performance at the same time. However, most clustering-based superpixel methods are sensitive to noise. To solve these problems, in this paper, we first analyze the features of noise. Then according to the statistical features of noise, we propose a novel centroid update approach to enhance the robustness of clustering-based superpixel methods. Besides, we propose a novel superpixel-based edge detection method. The experiments on BSD500 dataset show that our approach can significantly enhance the performance of clustering-based superpixel methods in noisy environment. Moreover, we also show that our proposed edge detection method outperforms other classical methods.


title: A Framework for the Robust Evaluation of Sound Event Detection

abstract: This work defines a new framework for performance evaluation of polyphonic sound event detection (SED) systems, which overcomes the limitations of the conventional collar-based event decisions, event F-scores and event error rates. The proposed framework introduces a definition of event detection that is more robust against labelling subjectivity. It also resorts to polyphonic receiver operating characteristic (ROC) curves to deliver more global insight into system performance than F1-scores, and proposes a reduction of these curves into a single polyphonic sound detection score (PSDS), which allows system comparison independently from operating points (OPs). The presented method also delivers better insight into data biases and classification stability across sound classes. Furthermore, it can be tuned to varying applications in order to match a variety of user experience requirements. The benefits of the proposed approach are demonstrated by re-evaluating the baseline and two of the top-performing systems from DCASE 2019 Task 4.


title: Noether Symmetries of Two-Field Cosmological Models

abstract: We summarize our work on "hidden" Noether symmetries of multifield cosmological models and the classification of those two-field cosmological models which admit such symmetries.


title: Center-Outward R-Estimation for Semiparametric VARMA Models

abstract: We propose a new class of R-estimators for semiparametric VARMA models in which the innovation density plays the role of the nuisance parameter. Our estimators are based on the novel concepts of multivariate center-outward ranks and signs. We show that these concepts, combined with Le Cam's asymptotic theory of statistical experiments, yield a class of semiparametric estimation procedures, which are efficient (at a given reference density), root-$n$ consistent, and asymptotically normal under a broad class of (possibly non elliptical) actual innovation densities. No kernel density estimation is required to implement our procedures. A Monte Carlo comparative study of our R-estimators and other routinely-applied competitors demonstrates the benefits of the novel methodology, in large and small sample. Proofs, computational aspects, and further numerical results are available in the supplementary material.


title: Exciton-driven giant non-linear overtone signals from buckled hexagonal monolayer GaAs

abstract: We report here a giant $\left|\chi_{baa}^{2}\right|=$780 pm/V second harmonic and $\left|\chi_{aaaa}^{3}\right|=$1.4$\times$10$^{-17}$ m$^{2}$/V$^{2}$ third harmonic signal from single atomic sheet of buckled hexagonal GaAs. We demonstrate this through the solution of an ab-initio real-time Bethe-Salpeter equation by including the electron-hole screened-exchange self-energy. The coupling between time-dependent external electric field and correlated electrons is treated within the modern theory of polarization. The result of our calculation envisage monolayer GaAs to be a prominent member in the material library of non-linear signal generations.


title: Inhomogeneous distribution of particles in co-flow and counterflow quantum turbulence

abstract: Particles are today the main tool to study superfluid turbulence and visualize quantum vortices. In this work, we study the dynamics and the spatial distribution of particles in co-flow and counterflow superfluid helium turbulence in the framework of the two-fluid Hall-Vinen-Bekarevich-Khalatnikov (HVBK) model. We perform three-dimensional numerical simulations of the HVBK equations along with the particle dynamics that depends on the motion of both fluid components. We find that, at low temperatures, where the superfluid mass fraction dominates, particles strongly cluster in vortex filaments regardless of their physical properties. At higher temperatures, as viscous drag becomes important and the two components become tightly coupled, the clustering dynamics in the coflowing case approach those found in classical turbulence, while under strong counterflow, the particle distribution is dominated by the quasi-two-dimensionalization of the flow.


title: Amplification and cross-Kerr nonlinearity in waveguide quantum electrodynamics

abstract: We explore amplification and cross-Kerr nonlinearity by a three-level emitter (3LE) embedded in a waveguide and driven by two light beams. The coherent amplification and cross-Kerr nonlinearity were demonstrated in recent experiments, respectively, with a V and a ladder-type 3LE coupled to an open superconducting transmission line carrying two microwave fields. Here, we consider $\Lambda$, V, and ladder-type 3LE, and compare the efficiency of coherent and incoherent amplification as well as the magnitude of the cross-Kerr phase shift in all three emitters. We apply the Heisenberg-Langevin equations approach to investigate the scattering of a probe and a drive beams both initially in a coherent state. We particularly calculate the regime of the probe and drive powers when the 3LE acts most efficiently as a coherent amplifier, and derive the second-order coherence of amplified probe photons. Finally, we apply the Kramers-Kronig relations to correlate the amplitude and phase response of the probe beam, which are used in finding the coherent amplification and the cross-Kerr phase shift in these systems.


title: Autonomous exploration for navigating in non-stationary CMPs

abstract: We consider a setting in which the objective is to learn to navigate in a controlled Markov process (CMP) where transition probabilities may abruptly change. For this setting, we propose a performance measure called exploration steps which counts the time steps at which the learner lacks sufficient knowledge to navigate its environment efficiently. We devise a learning meta-algorithm, MNM and prove an upper bound on the exploration steps in terms of the number of changes.


title: Search for new resonances in mass distributions of jet pairs using 139 fb$^{-1}$ of $pp$ collisions at $\sqrt{s}=13$ TeV with the ATLAS detector

abstract: A search for new resonances decaying into a pair of jets is reported using the dataset of proton-proton collisions recorded at $\sqrt{s}=13$ TeV with the ATLAS detector at the Large Hadron Collider between 2015 and 2018, corresponding to an integrated luminosity of 139 fb$^{-1}$. The distribution of the invariant mass of the two leading jets is examined for local excesses above a data-derived estimate of the Standard Model background. In addition to an inclusive dijet search, events with jets identified as containing $b$-hadrons are examined specifically. No significant excess of events above the smoothly falling background spectra is observed. The results are used to set cross-section upper limits at 95% confidence level on a range of new physics scenarios. Model-independent limits on Gaussian-shaped signals are also reported. The analysis looking at jets containing $b$-hadrons benefits from improvements in the jet flavour identification at high transverse momentum, which increases its sensitivity relative to the previous analysis beyond that expected from the higher integrated luminosity.


title: Numerical Precision Effects on GPU Simulation of Massive Spatial Data, Based on the Modified Planar Rotator Model

abstract: The present research builds on a recently proposed spatial prediction method for discretized two-dimensional data, based on a suitably modified planar rotator (MPR) spin model from statistical physics. This approach maps the measured data onto interacting spins and, exploiting spatial correlations between them, which are similar to those present in geostatistical data, predicts the data at unmeasured locations. Due to the short-range nature of the spin pair interactions in the MPR model, parallel implementation of the prediction algorithm on graphical processing units (GPUs) is a natural way of increasing its efficiency. In this work we study the effects of reduced computing precision as well as GPU-based hardware intrinsic functions on the speedup and accuracy of the MPR-based prediction and explore which aspects of the simulation can potentially benefit the most from the reduced precision. It is found that, particularly for massive data sets, a thoughtful precision setting of the GPU implementation can significantly increase the computational efficiency, while incurring little to no degradation in the prediction accuracy.


title: Heterogeneously parameterized tube model predictive control for LPV systems

abstract: This paper presents a heterogeneously parameterized tube-based model predictive control (MPC) design applicable to linear parameter-varying (LPV) systems. In a heterogeneous tube, the parameterizations of the tube cross sections and the associated control laws are allowed to vary along the prediction horizon. Two extreme cases that can be described in this framework are scenario MPC (high complexity, larger domain of attraction) and homothetic tube MPC with a simple time-invariant control parameterization (low complexity, smaller domain of attraction). In the proposed framework, these extreme parameterizations, as well as other parameterizations of intermediate complexity, can be combined within a single tube. By allowing for more flexibility in the parameterization design, one can influence the trade-off between computational cost and the size of the domain of attraction. Sufficient conditions on the parameterization structure are developed under which recursive feasibility and closed-loop stability are guaranteed. A specific parameterization that combines the principles of scenario and homothetic tube MPC is proposed and it is shown to satisfy the required conditions. The properties of the approach, including its capability of achieving improved complexity/performance trade-offs, are demonstrated using two numerical examples.


title: On predefined-time consensus protocols for dynamic networks

abstract: This paper presents new classes of consensus protocols with fixed-time convergence, which enable the definition of an upper bound for consensus state as a parameter of the consensus protocol, ensuring its independence from the initial condition of the nodes. We demonstrate that our methodology subsumes current classes of fixed-time consensus protocols that are based on homogeneous in the bi-limit vector fields. Moreover, the proposed framework enables for the development of independent consensus protocols that are not needed to be homogeneous in the bi-limit. This proposal offers extra degrees of freedom to implement consensus algorithms with enhanced convergence features, such as reducing the gap between the real convergence moment and the upper bound chosen by the user. We present two classes of fixed-time consensus protocols for dynamic networks, consisting of nodes with first-order dynamics, and provide sufficient conditions to set the upper bound for convergence a priori as a consensus protocol parameter. The first protocol converges to the average value of the initial condition of the nodes, even when switching among dynamic networks. Unlike the first protocol, which requires, at each instant, an evaluation of the non-linear predefined time-consensus function, hereinafter introduced, per neighbor, the second protocol requires only a single evaluation and ensures a predefined time-consensus for static topologies and fixed-time convergence for dynamic networks. Predefined-time convergence is proved using Lyapunov analysis, and simulations are carried out to illustrate the performance of the suggested techniques. The exposed results have been applied to the design of predefined time-convergence formation control protocols to exemplify their main features.


title: Hairy rotating black holes in cubic Galileon theory

abstract: Numerical solutions for asymptotically flat rotating black holes in the cubic Galileon theory are presented. These black holes are endowed with a nontrivial scalar field and exhibit a non-Schwarzschild behaviour: faster than $1/r$ convergence to Minkowski spacetime at spatial infinity and hence vanishing of the Komar mass. The metrics are compared with the Kerr metric for various couplings and angular velocities. Their physical properties are extracted and show significant deviations from the Kerr case.


title: On two conjectures of Sierpi\'nski concerning the arithmetic functions $\sigma$ and $\phi$

abstract: Let $\sigma(n)$ denote the sum of the positive divisors of $n$. We prove that for any positive integer $k$, there is a number $m$ for which the equation $\sigma(x)=m$ has exactly $k$ solutions, settling a conjecture of Sierpi\'nski from 1955. Additionally, it is shown that for every positive even $k$, there is a number $m$ for which the equation $\phi(x)=m$ has exactly $k$ solutions, where $\phi$ is Euler's function, making progress toward another conjecture of Sierpi\'nski from 1955.


title: Mechanosensitive Self-Assembly of Myosin II Minifilaments

abstract: Self-assembly and force generation are two central processes in biological systems that usually are considered in separation. However, the signals that activate non-muscle myosin II molecular motors simultaneously lead to self-assembly into myosin II minifilaments as well as progression of the motor heads through the crossbridge cycle. Here we investigate theoretically the possible effects of coupling these two processes. Our assembly model, which builds upon a consensus architecture of the minifilament, predicts a critical aggregation concentration at which the assembly kinetics slows down dramatically. The combined model predicts that increasing actin filament concentration and force both lead to a decrease in the critical aggregation concentration. We suggest that due to these effects, myosin II minifilaments in a filamentous context might be in a critical state that reacts faster to varying conditions than in solution. We finally compare our model to experiments by simulating fluorescence recovery after photobleaching.


title: Convex graphon parameters and graph norms

abstract: Sidorenko's conjecture states that the number of copies of a bipartite graph $H$ in a graph $G$ is asymptotically minimised when $G$ is a quasirandom graph. A notorious example where this conjecture remains open is when $H=K_{5,5}\setminus C_{10}$. It was even unknown whether this graph possesses the strictly stronger, weakly norming property. We take a step towards understanding the graph $K_{5,5}\setminus C_{10}$ by proving that it is not weakly norming. More generally, we show that 'twisted' blow-ups of cycles, which include $K_{5,5}\setminus C_{10}$ and $C_6\square K_2$, are not weakly norming. This answers two questions of Hatami. The method relies on the analysis of Hessian matrices defined by graph homomorphisms, by using the equivalence between the (weakly) norming property and convexity of graph homomorphism densities. We also prove that $K_{t,t}$ minus a perfect matching, proven to be weakly norming by Lov\'asz, is not norming for every $t>3$.


title: Adams' cobar construction revisited

abstract: We give a short and streamlined proof of the following statement recently proven by the author and M. Zeinalian: the cobar construction of the dg coassociative coalgebra of normalized singular chains on a path-connected pointed space is naturally quasi-isomorphic as a dg associative algebra to the singular chains on the based loop space. This extends a classical theorem of F. Adams originally proven for simply connected spaces. Our proof is based on relating the cobar functor to the left adjoint of the homotopy coherent nerve functor.


title: A linear combination of atomic orbitals (LCAO) model for deterministically placed acceptor arrays in silicon

abstract: We develop a tight-binding model based on linear combination of atomic orbitals (LCAO) methods to describe the electronic structure of arrays of acceptors, where the underlying basis states are derived from an effective-mass-theory solution for a single acceptor in either the spherical approximation or the cubic model. Our model allows for arbitrarily strong spin-orbit coupling in the valence band of the semiconductor. We have studied pairs and dimerised linear chains of acceptors in silicon in the `independent-hole' approximation, and investigated the conditions for the existence of topological edge states in the chains. For the finite chain we find a complex interplay between electrostatic effects and the dimerisation, with the long-range Coulomb attraction of the hole to the acceptors splitting off states localised at the end acceptors from the rest of the chain. A further pair of states then splits off from each band, to form a pair localised on the next-to-end acceptors, for one sense of the bond alternation and merges into the bulk bands for the other sense of the alternation. We confirm the topologically non-trivial nature of these next-to-end localised states by calculating the Zak phase. We argue that for the more physically accessible case of one hole per acceptor these long-range electrostatic effects will be screened out; we show this by treating a simple phenomenologically screened model in which electrostatic contributions from beyond the nearest neighbours of acceptor each pair are removed. Topological states are now found on the end acceptors of the chains. In some cases the termination of the chain required to produce topological states is not the one expected on the basis of simple geometry (short versus long bonds); we argue this is because of a non-monotonic relationship between the bond length and the effective Hamiltonian matrix elements between the acceptors.


title: Almost equivalence of algebraic Anosov flowsf

abstract: Two flows on two compact manifolds are almost equivalent if there is a homeomorphism from the complement of a finite number of periodic orbits of the first flow to the complement of the same number of periodic orbits of the second flow that sends orbits onto orbits. We prove that every geodesic flow on the unit tangent bundle of a negatively curved 2-dimensional orbifold is almost equivalent to the suspension of some automorphism of the torus. Together with a result of Minikawa, this implies that all algebraic Anosov flows are pairwise almost equivalent. We initiate the study of the Ghys graph ---an analogue of the Gordian graph in this context-by giving explicit upper bounds on the distances between these flows.


title: A blueprint of state-of-the-art techniques for detecting quasi-periodic pulsations in solar and stellar flares

abstract: Quasi-periodic pulsations (QPPs) appear to be a common feature observed in the light curves of both solar and stellar flares. However, their quasi-periodic nature, along with the fact that they can be small in amplitude and short-lived, makes QPPs difficult to unequivocally detect. In this paper, we test the strengths and limitations of state-of-the-art methods for detecting QPPs using a series of hare-and-hounds exercises. The hare simulated a set of flares, both with and without QPPs of a variety of forms, while the hounds attempted to detect QPPs in blind tests. We use the results of these exercises to create a blueprint for anyone who wishes to detect QPPs in real solar and stellar data. We present eight clear recommendations to be kept in mind for future QPP detections, with the plethora of solar and stellar flare data from new and future satellites. These recommendations address the key pitfalls in QPP detection, including detrending, trimming data, accounting for colored noise, detecting stationary-period QPPs, detecting QPPs with nonstationary periods, and ensuring that detections are robust and false detections are minimized. We find that QPPs can be detected reliably and robustly by a variety of methods, which are clearly identified and described, if the appropriate care and due diligence are taken.


title: Symmetry resolved entanglement: Exact results in 1D and beyond

abstract: In a quantum many-body system that possesses an additive conserved quantity, the entanglement entropy of a subsystem can be resolved into a sum of contributions from different sectors of the subsystem's reduced density matrix, each sector corresponding to a possible value of the conserved quantity. Recent studies have discussed the basic properties of these symmetry-resolved contributions, and calculated them using conformal field theory and numerical methods. In this work we employ the generalized Fisher-Hartwig conjecture to obtain exact results for the characteristic function of the symmetry-resolved entanglement ("flux-resolved entanglement") for certain 1D spin chains, or, equivalently, the 1D fermionic tight binding and the Kitaev chain models. These results are true up to corrections of order $o(L^{-1})$ where $L$ is the subsystem size. We confirm that this calculation is in good agreement with numerical results. For the gapless tight binding chain we report an intriguing periodic structure of the characteristic functions, which nicely extends the structure predicted by conformal field theory. For the Kitaev chain in the topological phase we demonstrate the degeneracy between the even and odd fermion parity sectors of the entanglement spectrum due to virtual Majoranas at the entanglement cut. We also employ the Widom conjecture to obtain the leading behavior of the symmetry-resolved entanglement entropy in higher dimensions for an ungapped free Fermi gas in its ground state.

categories: cond-mat.stat-mech cond-mat.quant-gas hep-th quant-ph


title: On the perturbation series for eigenvalues and eigenprojections

abstract: A standard perturbation result states that perturbed eigenvalues and eigenprojections admit a perturbation series provided that the operator norm of the perturbation is smaller than a constant times the corresponding eigenvalue isolation distance. In this paper, we show that the same holds true under a weighted condition, where the perturbation is symmetrically normalized by the square-root of the reduced resolvent. This weighted condition originates in random perturbations where it leads to significant improvements.


title: First-Order Preconditioning via Hypergradient Descent

abstract: Standard gradient descent methods are susceptible to a range of issues that can impede training, such as high correlations and different scaling in parameter space.These difficulties can be addressed by second-order approaches that apply a pre-conditioning matrix to the gradient to improve convergence. Unfortunately, such algorithms typically struggle to scale to high-dimensional problems, in part because the calculation of specific preconditioners such as the inverse Hessian or Fisher information matrix is highly expensive. We introduce first-order preconditioning (FOP), a fast, scalable approach that generalizes previous work on hypergradient descent (Almeida et al., 1998; Maclaurin et al., 2015; Baydin et al.,2017) to learn a preconditioning matrix that only makes use of first-order information. Experiments show that FOP is able to improve the performance of standard deep learning optimizers on visual classification and reinforcement learning tasks with minimal computational overhead. We also investigate the properties of the learned preconditioning matrices and perform a preliminary theoretical analysis of the algorithm.


title: Animation Synthesis Triggered by Vocal Mimics

abstract: We propose a method leveraging the naturally time-related expressivity of our voice to control an animation composed of a set of short events. The user records itself mimicking onomatopoeia sounds such as "Tick", "Pop", or "Chhh" which are associated with specific animation events. The recorded soundtrack is automatically analyzed to extract every instant and types of sounds. We finally synthesize an animation where each event type and timing correspond with the soundtrack. In addition to being a natural way to control animation timing, we demonstrate that multiple stories can be efficiently generated by recording different voice sequences. Also, the use of more than one soundtrack allows us to control different characters with overlapping actions.


title: Exponential Filter Stability via Dobrushin's Coefficient

abstract: Filter stability is a classical problem in the study of partially observed Markov processes (POMP), also known as hidden Markov models (HMM). For a POMP, an incorrectly initialized non-linear filter is said to be (asymptotically) stable if the filter eventually corrects itself as more measurements are collected. Filter stability results in the literature that provide rates of convergence typically rely on very restrictive mixing conditions on the transition kernel and measurement kernel pair, and do not consider their effects independently. In this paper, we introduce an alternative approach using the Dobrushin coefficients associated with both the transition kernel as well as the measurement channel. Such a joint study, which seems to have been unexplored, leads to a concise analysis that can be applied to more general system models under relaxed conditions: in particular, we show that if $(1 - \delta(T))(2-\delta(Q)) < 1$, where $\delta(T)$ and $\delta(Q)$ are the Dobrushin coefficients for the transition and the measurement kernels, then the filter is exponentially stable. Our findings are also applicable for controlled models.


title: On Tarski's problem for virtually free groups

abstract: We give a complete classification of finitely generated virtually free groups up to $\forall\exists$-elementary equivalence. As a corollary, we give an algorithm that takes as input two finite presentations of virtually free groups, and decides whether these groups have the same $\forall\exists$-theory or not.


title: PySAP: Python Sparse Data Analysis Package for Multidisciplinary Image Processing

abstract: We present the open-source image processing software package PySAP (Python Sparse data Analysis Package) developed for the COmpressed Sensing for Magnetic resonance Imaging and Cosmology (COSMIC) project. This package provides a set of flexible tools that can be applied to a variety of compressed sensing and image reconstruction problems in various research domains. In particular, PySAP offers fast wavelet transforms and a range of integrated optimisation algorithms. In this paper we present the features available in PySAP and provide practical demonstrations on astrophysical and magnetic resonance imaging data.


title: Analytic Estimates of the Effect of Plasma Density Fluctuations on HII Region Density Diagnostics

abstract: An analytic calculation is made of the effect of plasma density fluctuations on some spectroscopic diagnostics commonly used in the study of HII regions and planetary nebulae. To permit an analytic treatment, attention is restricted to the case of density fluctuations possessing an exponential probability distribution function (pdf). The present investigation is made in support of a completely numerical and more extensive study of nebular diagnostics by Bergerud et al (2019). Results from this paper are presented in terms of graphs of the observed quantity (spectroscopic line ratio) versus mean nebular density. Our results yield a higher density estimate, given the same observed line ratio, for the case of a nebula with density fluctuations than for the case of a nebula with uniform density. This is qualitatively consistent with the typically observed case, in which the observations lead to the inference of a filling factor < 1. Our results are in quantitative agreement with those of Bergerud et al (2019), and thus corroborate those calculations for the case of an exponential pdf.


title: Vortex Nerves and their Proximities. Nerve Betti Numbers and Descriptive Proximity

abstract: This article introduces vortex nerve complexes in CW (Closure finite Weak) topological spaces, which first appeared in works by P. Alexandroff, H. Hopf and J.H.C. Whitehead during the 1930s. A vortex nerve is a CW complex containing one or more intersecting path-connected cycles. Each vortex nerve has its own distinctive shape. Both vortex nerve shapes (bounded planar surfaces with nonempty interior) and holes (bounded planar surfaces with empty interior that live inside and define shapes) have boundaries that are path-connected cycles. In the context of CW complexes, the usual Betti numbers $\mathcal{B}_0$ (cell count), $\mathcal{B}_1$ (cycle count) and $\mathcal{B}_2$ (hole count) provide a basis for the introduction of several new Betti numbers, namely, vortex $\mathcal{B}_{vtex}$, vortex nerve $\mathcal{B}_{vNrv}$ and shape $\mathcal{B}_{sh}$ introduced in this paper. In addition, results are given for CW complexes equipped with a descriptive proximity as well as for the homotopy types of vortex nerves and the complexes and cycles contained in the nerves.


title: Sampling strategy and statistical analysis for radioactive waste characterization

abstract: This paper describes the methodology we have developed to define a sampling strategy adapted to operational constraints in order to characterize the dihydrogen flow rate of 2714 nuclear waste drums produced by radiolysis reaction of organic mixed with \α-emitters. The objective was to perform few but relevant measurements. Thus, a sample of only 38 drums has been selected to be measured. Statistical analysis of drum measurement data of dihydrogen rate provided an estimation of the mean and the upper bound of the physical quantity of interest which gave a good convergence with global measurements from the ventilation system of the facility. Thereafter, performing a factorial data analysis has demonstrated the representativeness of the measurement data set and the sampling strategy assumption validity. Moreover, it provided information that has been used for a regression analysis to develop a linear prediction model of dihydrogen flow rate production for the waste drum characterization.


title: A Landscape of Hamiltonian Phase Spaces: on the foundations and generalizations of one of the most powerful ideas of modern science

abstract: In this thesis we revise the concept of phase space in modern physics and devise a way to explicitly incorporate physical dimension into geometric mechanics. A historical account of metrology and phase space is given to illustrate the disconnect between the theoretical physical models in use today and the formal treatment of units of measurement. Self-contained presentations of local Lie algebras, Lie algebroids, Poisson manifolds, line bundles and Jacobi manifolds are given. A unit-free manifold is defined as a generic line bundle over a smooth manifold that we interpret as a manifold whose ring of functions no longer has a preferred choice of a unit. This point of view allows us to implement physical dimension into geometric mechanics. Unit-free manifolds are shown to share many of the core structure of the category of ordinary smooth manifolds: Cartesian products, derivations as tangent vectors, jets as cotangent vectors, submanifolds and quotients. This allows to reinterpret the notion of Jacobi manifold as the unit-free analogue of Poisson manifolds. With this new language we rediscover known results about Jacobi maps, coisotropic submanifolds, Jacobi products and Jacobi reduction. We give a categorical formulation of the loose term 'canonical Hamiltonian mechanics' by defining the notions of theory of phase spaces and Hamiltonian functor. Conventional configuration spaces are then replaced by line bundles, called unit-free configuration spaces, and, they are shown to fit into a theory of phase spaces with a Hamiltonian functor given by the jet functor. Motivated by the algebraic structure of physical quantities in dimensional analysis, we define dimensioned groups, rings, modules and algebras by implementing an addition operation that is partially defined. Jacobi manfolds are shown to have associated dimensioned Poisson algebras and dimensioned coisotropic calculus.


title: Illumination-Based Data Augmentation for Robust Background Subtraction

abstract: A core challenge in background subtraction (BGS) is handling videos with sudden illumination changes in consecutive frames. In this paper, we tackle the problem from a data point-of-view using data augmentation. Our method performs data augmentation that not only creates endless data on the fly, but also features semantic transformations of illumination which enhance the generalisation of the model. It successfully simulates flashes and shadows by applying the Euclidean distance transform over a binary mask that is randomly generated. Such data allows us to effectively train an illumination-invariant deep learning model for BGS. Experimental results demonstrate the contribution of the synthetics in the ability of the models to perform BGS even when significant illumination changes take place. The source code of the project is made publicly available at https://github.com/dksakkos/illumination_augmentation.


title: Teleparallel theory as a gauge theory of translations: comments and issues

abstract: The Teleparallel Equivalent to General Relativity (TEGR) is often presented as a gauge theory of translations, i.e., that uses \emph{only} the translation group $T_4 = (\setR^4, +)$ as its gauge group. In a previous work we argued against this \emph{translation-only} formalism on the basis of its mathematical shortcomings. We then provided an alternative proposal using a Cartan connection. Recently, a reply by some of the authors defending TEGR as a \emph{translation-only} gauge theory discussed our objections. Here, we first clarify our arguments, and give new proofs of some statements, to answer to these discussions, maintaining our first claim. We then amend one of the argument that originally led us to propose the Cartan connection in this context. This broadens the \emph{a priori} possible choices for a TEGR connection.


title: Optimal approximate quantum error correction for quantum metrology

abstract: For a generic set of Markovian noise models, the estimation precision of a parameter associated with the Hamiltonian is limited by the $1/\sqrt{t}$ scaling where $t$ is the total probing time, in which case the maximal possible quantum improvement in the asymptotic limit of large $t$ is restricted to a constant factor. However, situations arise where the constant factor improvement could be significant, yet no effective quantum strategies are known. Here we propose an optimal approximate quantum error correction (AQEC) strategy asymptotically saturating the precision lower bound in the most general adaptive parameter estimation scheme where arbitrary and frequent quantum controls are allowed. We also provide an efficient numerical algorithm finding the optimal code. Finally, we consider highly-biased noise and show that using the optimal AQEC strategy, strong noises are fully corrected, while the estimation precision depends only on the strength of weak noises in the limiting case.


title: An exact correspondence between the quantum Fisher information and the Bures metric

abstract: The quantum information and the Bures metric are equivalent to each other, except at points where the rank of the density matrix changes. Here we show that by slightly modifying the definition of the Bures metric, the quantum information will be fully equivalent to the Bures metric without exception.


title: Wiman-Valiron discs and the dimension of Julia sets

abstract: We show that the Hausdorff dimension of the set of points of bounded orbit in the Julia set of a meromorphic map with a simply connected direct tract and a certain restriction on the singular values is strictly greater than one. This result is obtained by proving new results related to Wiman-Valiron theory.


title: On Warm-Starting Neural Network Training

abstract: In many real-world deployments of machine learning systems, data arrive piecemeal. These learning scenarios may be passive, where data arrive incrementally due to structural properties of the problem (e.g., daily financial data) or active, where samples are selected according to a measure of their quality (e.g., experimental design). In both of these cases, we are building a sequence of models that incorporate an increasing amount of data. We would like each of these models in the sequence to be performant and take advantage of all the data that are available to that point. Conventional intuition suggests that when solving a sequence of related optimization problems of this form, it should be possible to initialize using the solution of the previous iterate -- to "warm start" the optimization rather than initialize from scratch -- and see reductions in wall-clock time. However, in practice this warm-starting seems to yield poorer generalization performance than models that have fresh random initializations, even though the final training losses are similar. While it appears that some hyperparameter settings allow a practitioner to close this generalization gap, they seem to only do so in regimes that damage the wall-clock gains of the warm start. Nevertheless, it is highly desirable to be able to warm-start neural network training, as it would dramatically reduce the resource usage associated with the construction of performant deep learning systems. In this work, we take a closer look at this empirical phenomenon and try to understand when and how it occurs. We also provide a surprisingly simple trick that overcomes this pathology in several important situations, and present experiments that elucidate some of its properties.


title: On Connections between Constrained Optimization and Reinforcement Learning

abstract: Dynamic Programming (DP) provides standard algorithms to solve Markov Decision Processes. However, these algorithms generally do not optimize a scalar objective function. In this paper, we draw connections between DP and (constrained) convex optimization. Specifically, we show clear links in the algorithmic structure between three DP schemes and optimization algorithms. We link Conservative Policy Iteration to Frank-Wolfe, Mirror-Descent Modified Policy Iteration to Mirror Descent, and Politex (Policy Iteration Using Expert Prediction) to Dual Averaging. These abstract DP schemes are representative of a number of (deep) Reinforcement Learning (RL) algorithms. By highlighting these connections (most of which have been noticed earlier, but in a scattered way), we would like to encourage further studies linking RL and convex optimization, that could lead to the design of new, more efficient, and better understood RL algorithms.


title: Density estimation on an unknown submanifold

abstract: We investigate density estimation from a $n$-sample in the Euclidean space $\mathbb R^D$, when the data is supported by an unknown submanifold $M$ of possibly unknown dimension $d < D$ under a reach condition. We study nonparametric kernel methods for pointwise loss, with data-driven bandwidths that incorporate some learning of the geometry via a local dimension estimator. When $f$ has H\"older smoothness $\beta$ and $M$ has regularity $\alpha$, our estimator achieves the rate $n^{-\alpha \wedge \beta/(2\alpha \wedge \beta+d)}$ and does not depend on the ambient dimension $D$ and is asymptotically minimax for $\alpha \geq \beta$. Following Lepski's principle, a bandwidth selection rule is shown to achieve smoothness adaptation. We also investigate the case $\alpha \leq \beta$: by estimating in some sense the underlying geometry of $M$, we establish in dimension $d=1$ that the minimax rate is $n^{-\beta/(2\beta+1)}$ proving in particular that it does not depend on the regularity of $M$. Finally, a numerical implementation is conducted on some case studies in order to confirm the practical feasibility of our estimators.


title: Complexity of gauge bounded Cartier algebras

abstract: We show that a gauge bounded Cartier algebra has finite complexity. We also give an example showing that the converse does not hold in general.


title: Quasinormal modes in extremal Reissner-Nordstr\"om spacetimes

abstract: We present a new framework for characterizing quasinormal modes (QNMs) or resonant states for the wave equation on asymptotically flat spacetimes, applied to the setting of extremal Reissner-Nordstr\"om black holes. We show that QNMs can be interpreted as honest eigenfunctions of generators of time translations acting on Hilbert spaces of initial data, corresponding to a suitable time slicing. The main difficulty that is present in the asymptotically flat setting, but is absent in the previously studied cases of asymptotically de Sitter or anti de Sitter sub-extremal black hole spacetimes, is that $L^2$-based Sobolev spaces are not suitable Hilbert space choices. Instead, we consider Hilbert spaces of functions that are additionally Gevrey regular at infinity and at the event horizon. We introduce $L^2$-based Gevrey estimates for the wave equation that are intimately connected to the existence of conserved quantities along null infinity and the event horizon. We relate this new framework to the traditional interpretation of quasinormal frequencies as poles of the meromorphic continuation of a resolvent operator and obtain new quantitative results in this setting.


title: Gradual Typing for Extensibility by Rows

abstract: This work studies gradual typing for row types and row polymorphism. Key ingredients in this work are the dynamic row type, which represents a statically unknown part of a row, and consistency for row types, which allows injecting static row types into the dynamic row type and, conversely, projecting the dynamic row type to any static row type. While consistency captures the behavior of the dynamic row type statically, it makes the semantics of a gradually typed language incoherent when combined with row equivalence which identifies row types up to field reordering. To solve this problem, we develop consistent equivalence, which characterizes composition of consistency and row equivalence. Using consistent equivalence, we propose a polymorphic blame calculus for row types and row polymorphism. In our blame calculus, casts perform not only run-time checking with the dynamic row type but also field reordering in row types. To simplify our technical development for row polymorphism, we adopt scoped labels, which are employed by the language Koka and are also emerging in the context of effect systems. We give the formal definition of our blame calculus with these technical developments and prove its type soundness. We also sketch the gradually typed surface language and type-preserving translation from the surface language to the blame calculus and discuss conservativity of the surface language over typing of a statically typed language with row types and row polymorphism.


title: A model problem for quasinormal ringdown on asymptotically flat or extremal black holes

abstract: We consider a wave equation with a potential on the half-line as a model problem for wave propagation close to an extremal horizon, or the asymptotically flat end of a black hole spacetime. We propose a definition of quasinormal frequencies (QNFs) as eigenvalues of the generator of time translations for a null foliation, acting on an appropriate (Gevrey based) Hilbert space. We show that this QNF spectrum is discrete in a subset of $\mathbb{C}$ which includes the region $\{$Re$(s) >-b$, $|$Im $(s)|> K\}$ for any $b>0$ and some $K=K(b) \gg 1$. As a corollary we establish the meromorphicity of the scattering resolvent in a sector $|$arg$(s)| <\varphi_0$ for some $\varphi_0 > \frac{2\pi}{3}$, and show that the poles occur only at quasinormal frequencies according to our definition. This result applies in situations where the method of complex scaling cannot be directly applied, as our potentials need not be analytic. Finally, we show that QNFs computed by the continued fraction method of Leaver are necessarily QNFs according to our new definition. This paper is a companion to [D. Gajic and C. Warnick, Quasinormal modes in extremal Reissner-Nordstr\"om spacetimes, preprint (2019)], which deals with the QNFs of the wave equation on the extremal Reissner-Nordstr\"om black hole.


title: Electron-impact single ionisation of W$^{q+}$ ions: Experiment and theory for $\mathbf{11\leq q \leq 18}$

abstract: Absolute cross sections for electron-impact single ionisation (EISI) of multiply charged tungsten ions (W$^{q+}$) with charge states in the range $ 11 \leq q \leq 18$ in the electron-ion collision energy ranges from below the respective ionisation thresholds up to 1000~eV were measured employing the electron-ion crossed-beams method. In order to extend the results to higher energies, cross section calculations were performed using the subconfiguration-averaged distorted-wave (SCADW) method for electron-ion collision energies up to 150~keV. From the combined experimental and scaled theoretical cross sections rate coefficients were derived which are compared with the ones contained in the ADAS database and which are based on the configuration-averaged distorted wave (CADW) calculations of Loch et al. [Phys. Rev. A 72, 052716 (2005)]. Significant discrepancies were found at the temperatures where the ions investigated here are expected to form in collisionally ionised plasmas. These discrepancies are attributed to the limitations of the CADW approach and also the more detailed SCADW treatment which do not allow for a sufficiently accurate description of the EISI cross sections particularly at the ionisation thresholds.


title: Personalized Treatment for Coronary Artery Disease Patients: A Machine Learning Approach

abstract: Current clinical practice guidelines for managing Coronary Artery Disease (CAD) account for general cardiovascular risk factors. However, they do not present a framework that considers personalized patient-specific characteristics. Using the electronic health records of 21,460 patients, we created data-driven models for personalized CAD management that significantly improve health outcomes relative to the standard of care. We develop binary classifiers to detect whether a patient will experience an adverse event due to CAD within a 10-year time frame. Combining the patients' medical history and clinical examination results, we achieve 81.5% AUC. For each treatment, we also create a series of regression models that are based on different supervised machine learning algorithms. We are able to estimate with average R squared = 0.801 the time from diagnosis to a potential adverse event (TAE) and gain accurate approximations of the counterfactual treatment effects. Leveraging combinations of these models, we present ML4CAD, a novel personalized prescriptive algorithm. Considering the recommendations of multiple predictive models at once, ML4CAD identifies for every patient the therapy with the best expected outcome using a voting mechanism. We evaluate its performance by measuring the prescription effectiveness and robustness under alternative ground truths. We show that our methodology improves the expected TAE upon the current baseline by 24.11%, increasing it from 4.56 to 5.66 years. The algorithm performs particularly well for the male (24.3% improvement) and Hispanic (58.41% improvement) subpopulations. Finally, we create an interactive interface, providing physicians with an intuitive, accurate, readily implementable, and effective tool.


title: Nonadditive Enhancement of Nonequilibrium Atom-Surface Interactions

abstract: The motion-induced drag force acting on a particle moving parallel to an arrangement of $N$ objects is analyzed. Particular focus is placed on the nonequilibrium statistics of the interaction and on the interplay between the system's geometry and the different dissipative processes occurring in realistic setups. We show that the drag force can exhibit a markedly nonadditive enhancement with respect to the corresponding additive approximation. The specific case of a planar cavity -- a relevant configuration for many experiments -- is calculated, showing an enhancement of about one order of magnitude. This and similar configurations are of significant potential interest for future measurements that aim to detect the drag force.


title: Understanding Deep Networks via Extremal Perturbations and Smooth Masks

abstract: The problem of attribution is concerned with identifying the parts of an input that are responsible for a model's output. An important family of attribution methods is based on measuring the effect of perturbations applied to the input. In this paper, we discuss some of the shortcomings of existing approaches to perturbation analysis and address them by introducing the concept of extremal perturbations, which are theoretically grounded and interpretable. We also introduce a number of technical innovations to compute extremal perturbations, including a new area constraint and a parametric family of smooth perturbations, which allow us to remove all tunable hyper-parameters from the optimization problem. We analyze the effect of perturbations as a function of their area, demonstrating excellent sensitivity to the spatial properties of the deep neural network under stimulation. We also extend perturbation analysis to the intermediate layers of a network. This application allows us to identify the salient channels necessary for classification, which, when visualized using feature inversion, can be used to elucidate model behavior. Lastly, we introduce TorchRay, an interpretability library built on PyTorch.


title: Concept Pointer Network for Abstractive Summarization

abstract: A quality abstractive summary should not only copy salient source texts as summaries but should also tend to generate new conceptual words to express concrete details. Inspired by the popular pointer generator sequence-to-sequence model, this paper presents a concept pointer network for improving these aspects of abstractive summarization. The network leverages knowledge-based, context-aware conceptualizations to derive an extended set of candidate concepts. The model then points to the most appropriate choice using both the concept set and original source text. This joint approach generates abstractive summaries with higher-level semantic concepts. The training model is also optimized in a way that adapts to different data, which is based on a novel method of distantly-supervised learning guided by reference summaries and testing set. Overall, the proposed approach provides statistically significant improvements over several state-of-the-art models on both the DUC-2004 and Gigaword datasets. A human evaluation of the model's abstractive abilities also supports the quality of the summaries produced within this framework.


title: $\Delta\mathcal{N}$ and the stochastic conveyor belt of Ultra Slow-Roll

abstract: We analyse field fluctuations during an Ultra Slow-Roll phase in the stochastic picture of inflation and the resulting non-Gaussian curvature perturbation, fully including the gravitational backreaction of the field's velocity. By working to leading order in a gradient expansion, we first demonstrate that consistency with the momentum constraint of General Relativity prevents the field velocity from having a stochastic source, reflecting the existence of a single scalar dynamical degree of freedom on long wavelengths. We then focus on a completely level potential surface, $V=V_0$, extending from a specified exit point $\phi_{\rm e}$, where slow roll resumes or inflation ends, to $\phi\rightarrow +\infty$. We compute the probability distribution in the number of e-folds $\mathcal{N}$ required to reach $\phi_{\rm e}$ which allows for the computation of the curvature perturbation. We find that, if the field's initial velocity is high enough, all points eventually exit through $\phi_{\rm e}$ and a finite curvature perturbation is generated. On the contrary, if the initial velocity is low, some points enter an eternally inflating regime despite the existence of $\phi_{\rm e}$. In that case the probability distribution for $\mathcal{N}$, although normalizable, does not possess finite moments, leading to a divergent curvature perturbation.