title: A Deep Learning Approach to Denoise Optical Coherence Tomography Images of the Optic Nerve Head

abstract: Purpose: To develop a deep learning approach to de-noise optical coherence tomography (OCT) B-scans of the optic nerve head (ONH). Methods: Volume scans consisting of 97 horizontal B-scans were acquired through the center of the ONH using a commercial OCT device (Spectralis) for both eyes of 20 subjects. For each eye, single-frame (without signal averaging), and multi-frame (75x signal averaging) volume scans were obtained. A custom deep learning network was then designed and trained with 2,328 "clean B-scans" (multi-frame B-scans), and their corresponding "noisy B-scans" (clean B-scans + gaussian noise) to de-noise the single-frame B-scans. The performance of the de-noising algorithm was assessed qualitatively, and quantitatively on 1,552 B-scans using the signal to noise ratio (SNR), contrast to noise ratio (CNR), and mean structural similarity index metrics (MSSIM). Results: The proposed algorithm successfully denoised unseen single-frame OCT B-scans. The denoised B-scans were qualitatively similar to their corresponding multi-frame B-scans, with enhanced visibility of the ONH tissues. The mean SNR increased from $4.02 \pm 0.68$ dB (single-frame) to $8.14 \pm 1.03$ dB (denoised). For all the ONH tissues, the mean CNR increased from $3.50 \pm 0.56$ (single-frame) to $7.63 \pm 1.81$ (denoised). The MSSIM increased from $0.13 \pm 0.02$ (single frame) to $0.65 \pm 0.03$ (denoised) when compared with the corresponding multi-frame B-scans. Conclusions: Our deep learning algorithm can denoise a single-frame OCT B-scan of the ONH in under 20 ms, thus offering a framework to obtain superior quality OCT B-scans with reduced scanning times and minimal patient discomfort.


title: Exact linesearch limited-memory quasi-Newton methods for minimizing a quadratic function

abstract: The main focus in this paper is exact linesearch methods for minimizing a quadratic function whose Hessian is positive definite. We give a class of limited-memory quasi-Newton Hessian approximations which generate search directions parallel to those of the method of preconditioned conjugate gradients, and hence give finite termination on quadratic optimization problems in exact arithmetic. With the framework of reduced-Hessians this class provides a dynamical framework for the construction of limited-memory quasi-Newton methods. We give an indication of the performance of the methods within this framework by showing numerical simulations on sequences of related systems of linear equations, which originate from the CUTEst test collection. In addition, we give a compact representation of the Hessian approximations in the full Broyden class for the general unconstrained optimization problem. This representation consists of explicit matrices and gradients only as vector components.


title: Tracking ultrafast hot-electron diffusion in space and time by ultrafast thermo-modulation microscopy

abstract: The ultrafast response of metals to light is governed by intriguing non-equilibrium dynamics involving the interplay of excited electrons and phonons. The coupling between them gives rise to nonlinear diffusion behavior on ultrashort timescales. Here, we use scanning ultrafast thermo-modulation microscopy to image the spatio-temporal hot-electron diffusion in a thin gold film. By tracking local transient reflectivity with 20 nm and 0.25 ps resolution, we reveal two distinct diffusion regimes, consisting of an initial rapid diffusion during the first few picoseconds after optical excitation, followed by about 100-fold slower diffusion at longer times. We simulate the thermo-optical response of the gold film with a comprehensive three-dimensional model, and identify the two regimes as hot-electron and phonon-limited thermal diffusion, respectively.


title: A note on connectivity of splitting matroids

abstract: Fleischner introduced the idea of splitting a vertex of degree at least three in a connected graph and used the operation to characterize Eulerian graphs. Raghunathan et. al. extended the splitting operation from graphs to binary matroids. It has been studied that splitting operation, in general, may not preserve the connectedness of the binary matroid. Interestingly, it is true that the splitting matroid of a disconnected matroid may be connected. In this paper, we characterize the binary disconnected matroids whose splitting matroid is connected.


title: Periods and Reciprocity I

abstract: Given $\mathbf{F}$ a number field with ring of integers $\mathcal{O}_{\mathbf{F}}$ and $\mathfrak{p},\mathfrak{q}$ two squarefree and coprime ideals of $\mathcal{O}_{\mathbf{F}}$, we prove a reciprocity relation for the first moment of the triple product $L$-functions $L(\pi\otimes\pi_1\otimes\pi_2,\frac{1}{2})$ twisted by $\lambda_\pi(\mathfrak{p})$, where $\pi_1$ and $\pi_2$ are a fixed unitary automorphic representation of $\mathrm{PGL}_2(\mathbb{A}_{\mathbf{F}})$ with $\pi_1$ cuspidal and $\pi$ runs through unitary automorphic representations of conductor dividing $\mathfrak{q}$. The method uses adelic integral representations of $L$-functions and the symmetric identity is established for a particular period. Finally, the integral period is connected to the second moment via Parseval formula.


title: Hyperbolic groups with almost finitely presented subgroups

abstract: In this paper we create many examples of hyperbolic groups with subgroups satisfying interesting finiteness properties. We give the first examples of subgroups of hyperbolic groups which are of type $FP_2$ but not finitely presented. We give uncountably many groups of type $FP_2$ with similar properties to those subgroups of hyperbolic groups. Along the way we create more subgroups of hyperbolic groups which are finitely presented but not of type $FP_3$.


title: AlphaGomoku: An AlphaGo-based Gomoku Artificial Intelligence using Curriculum Learning

abstract: In this project, we combine AlphaGo algorithm with Curriculum Learning to crack the game of Gomoku. Modifications like Double Networks Mechanism and Winning Value Decay are implemented to solve the intrinsic asymmetry and short-sight of Gomoku. Our final AI AlphaGomoku, through two days' training on a single GPU, has reached humans' playing level.


title: Predicting the confirmation time of Bitcoin transactions

abstract: We study the probabilistic distribution of the confirmation time of Bitcoin transactions, conditional on the current memory pool (i.e., the queue of transactions awaiting confirmation). The results of this paper are particularly interesting for users that want to make a Bitcoin transaction during `heavy-traffic situations', when the transaction demand exceeds the block capacity. In such situations, Bitcoin users tend to bid up the transaction fees, in order to gain priority over other users that pay a lower fee. We argue that the time until a Bitcoin transaction is confirmed can be modelled as a particular stochastic fluid queueing process (to be precise: a Cram\'er-Lundberg process). We approximate the queueing process in two different ways. The first approach leads to a lower bound on the confirmation probability, which becomes increasingly tight as traffic decreases. The second approach relies on a diffusion approximation with a continuity correction, which becomes increasingly accurate as traffic intensifies. The accuracy of the approximations under different traffic loads are evaluated in a simulation study.


title: The oblique firehose instability in a bi-kappa magnetized plasma

abstract: In this work, we derive a dispersion equation that describes the excitation of the oblique (or Alfv\'en) firehose instability in a plasma that contains both electron and ion species modelled by bi-kappa velocity distribution functions. The equation is obtained with the assumptions of low-frequency waves and moderate to large values of the parallel (respective to the ambient magnetic field) plasma beta parameter, but it is valid for any direction of propagation and for any value of the particle gyroradius (or Larmor radius). Considering values for the physical parameters typical to those found in the solar wind, some solutions of the dispersion equation, corresponding to the unstable mode, are presented. In order to implement the dispersion solver, several new mathematical properties of the special functions occurring in a kappa plasma are derived and included. The results presented here suggest that the superthermal characteristic of the distribution functions leads to reductions to both the maximum growth rate of the instability and of the spectral range of its occurrence.


title: Trajectory Generation for Robotic Systems with Contact Force Constraints

abstract: This paper presents a trajectory generation method for contact-constrained robotic systems such as manipulators and legged robots. Contact-constrained systems are affected by the interaction forces between the robot and the environment. In turn, these forces determine and constrain state reachability of the robot parts or end effectors. Our study subdivides the trajectory generation problem and the supporting reachability analysis into tractable subproblems consisting of a sampling problem, a convex optimization problem, and a nonlinear programming problem. Our method leads to significant reduction of computational cost. The proposed approach is validated using a realistic simulated contact-constrained robotic system.


title: Chaos in Wavy-Stratified Fluid-Fluid Flow

abstract: We perform a non-linear analysis of a fluid-fluid wavy-stratified flow using a simplified two-fluid model, i.e., the fixed-flux model (FFM) which is an adaptation of shallow water theory for the two-layer problem. Linear analysis using the perturbation method illustrates the short-wave physics leading to the Kelvin-Helmholtz instability (KHI). The interface dynamics are chaotic and analysis beyond the onset of instability is required to understand the non-linear evolution of waves. The two-equation FFM solver based on a higher-order spatio-temporal finite difference discretization scheme is used in the current simulations. The solution methodology is verified and the results are compared with the measurements from a laboratory-scale experiment. The Finite-Time Lyapunov Exponent (FTLE) based on simulations is comparable and slightly higher than the Autocorrelation function (ACF) decay rate, consistent with findings from previous studies. Furthermore, the FTLE is observed to be a strong function of the angle of inclination, while the root mean square (RMS) of the interface height exhibits a square-root dependence. It is demonstrated that this simple 1-D FFM captures the essential chaotic features of the interfacial behavior.


title: A remark on a recent proof of Lehmer's Conjecture [arXiv:1709.03771]

abstract: Over one year ago, a very long preprint posted on arXiv [arXiv:1709.03771] and HAL announced a proof of Lehmer's Conjecture (and of other related results). Unfortunately, as was remarked by several specialists, this proof contains a (at least one) fatal error. The aim of this very short note is to inform the mathematical community, which could be aware of this.


title: Analytical study of static beyond-Frohlich Bose polarons in one dimension

abstract: Grusdt et al. [New J. Phys. 19, 103035 (2017)] recently made a renormalization group study of a one-dimensional Bose polaron in cold atoms. Their study went beyond the usual Frohlich description, which includes only single-phonon processes, by including two-phonon processes in which two phonons are simultaneously absorbed or emitted during impurity scattering [Shchadilova et al. Phys. Rev. Lett. 117, 113002 (2016)]. We study this same beyond-Frohlich model, but in the static impurity limit where the ground state is described by a multimode squeezed state instead of the multimode coherent state in the static Frohlich model. We solve the system exactly by applying the generalized Bogoliubov transformation, an approach that can be straightforwardly adapted to higher dimensions. Using our exact solution, we obtain a polaron energy free of infrared divergences and construct analytically the polaron phase diagram. We find that the repulsive polaron is stable on the positive side of the impurity-boson interaction but is always thermodynamically unstable on the negative side of the impurity-boson interaction, featuring a bound state, whose binding energy we obtain analytically. We find that the attractive polaron is always dynamically unstable, featuring a pair of imaginary energies which we obtain analytically. We expect the multimode squeezed state to help with studies that go not only beyond the Frohlich paradigm but also beyond Bogoliubov theory, just as the multimode coherent state has helped with the study of Frohlich polarons.


title: Symmetry Crossover Protecting Chirality in Dirac Spectra

abstract: We consider a random matrix model in the hard edge limit (local spectral statistics at the origin in the limit of large matrix size) which interpolates between the Gaussian unitary ensemble (GUE) and the chiral Gaussian unitary ensemble (chGUE). We show that this model is equivalent to the low-energy limit of certain QCD-like theories in the epsilon-regime. Moreover, we present a detailed derivation of the microscopic level density as well as the partially quenched and unquenched partition functions. Some of these results have been announced in a former letter by us. Our derivation relies on the supersymmetry method and is performed here step by step. Additionally, we compute the chiral condensate and the pion condensate for the quenched as well as unquenched settings. We also investigate the limits to GUE and chGUE and confirm our conjecture that the non-uniformity of the GUE limit would carry over to the hard edge limit.


title: The KATRIN Neutrino Mass Measurement: Experiment, Status, and Outlook

abstract: The Karlsruhe Tritium Neutrino (KATRIN) experiment will provide a measurement of the effective electron-neutrino mass, $m(\nu_e)$, based on a precision measurement of the tritium beta decay spectrum near its endpoint. The effective mass is an average of the neutrino mass eigenvalues $m_i$ weighted by the flavor-mass mixing parameters $U_{ei}$ according to the relation $m^2(\nu_e)= \sum_{i=1}^3 |U_{ei} |^2 m_i^2$. The KATRIN apparatus uses a windowless gaseous tritium source (WGTS) and a spectrometer based on the MAC-E filter concept to measure the beta energy spectrum. The KATRIN program is designed to reach a mass sensitivity of 0.2~eV (90\% C.L.). The collaboration has completed a series of commissioning measurements and is moving into the first running of tritium. The KATRIN measurement technique, early commissioning results, and the future outlook will be presented.


title: Sigma Models on Flags

abstract: We study (1+1)-dimensional non-linear sigma models whose target space is the flag manifold $U(N)\over U(N_1)\times U(N_2)\cdots U(N_m)$, with a specific focus on the special case $U(N)/U(1)^{N}$. These generalize the well-known $\mathbb{CP}^{N-1}$ model. The general flag model exhibits several new elements that are not present in the special case of the $\mathbb{CP}^{N-1}$ model. It depends on more parameters, its global symmetry can be larger, and its 't Hooft anomalies can be more subtle. Our discussion based on symmetry and anomaly suggests that for certain choices of the integers $N_I$ and for specific values of the parameters the model is gapless in the IR and is described by an $SU(N)_1$ WZW model. Some of the techniques we present can also be applied to other cases.


title: A Note on the Nonlinear Attenuation of an Ultrasound Contrast Agent Calculated by Rayleigh-Plesset Equation

abstract: The attenuation of small-amplitude acoustic waves in a suspension containing ultrasound contrast agents (UCAs, coated microbubbles) is determined by the linear oscillation of the UCAs in the medium, which can be estimated via a linear attenuation theory. Recently, several nonlinear phenomena of energy attenuation at very low-intensity of acoustic pressures have been observed experimentally, raising concerns on the validity of the linear attenuation theory. Explanations of the nonlinear phenomenon are still lacking. Particularly, the interpretation of the pressure-dependent attenuation phenomenon is still under debate. In this note, we investigated the energy dissipation of a single UCA via a nonlinear Rayleigh-Plesset equation and used a formula capable of estimating attenuation coefficient due to the nonlinear oscillation of the UCA. The simulation results show the linear oscillation of an UCA at low excitation pressures does not always guarantee the linearity in the energy attenuation. Although nonlinear oscillation of the UCA contributes to the occurrence of nonlinear attenuation phenomena, it is not the only trigger.


title: Solving Statistical Mechanics Using Variational Autoregressive Networks

abstract: We propose a general framework for solving statistical mechanics of systems with finite size. The approach extends the celebrated variational mean-field approaches using autoregressive neural networks, which support direct sampling and exact calculation of normalized probability of configurations. It computes variational free energy, estimates physical quantities such as entropy, magnetizations and correlations, and generates uncorrelated samples all at once. Training of the network employs the policy gradient approach in reinforcement learning, which unbiasedly estimates the gradient of variational parameters. We apply our approach to several classic systems, including 2D Ising models, the Hopfield model, the Sherrington-Kirkpatrick model, and the inverse Ising model, for demonstrating its advantages over existing variational mean-field methods. Our approach sheds light on solving statistical physics problems using modern deep generative neural networks.

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


title: An identity for the infinite sum $\sum_{n=0}^\infty\frac{1}{(n!)^3}$

abstract: In this short note, we give an identity for the $\alpha$ function $$\alpha(x,s)=\sum_{n=0}^\infty\frac{x^n}{(n!)^s}$$ where $s\in \mathbb{N}$, $x\in \mathbb{R}$, in the case $s=3$.


title: On Supports of Sums of Nonnegative Circuit Polynomials

abstract: In this paper, we prove that every SONC polynomial decomposes into a sum of nonnegative circuit polynomials with the same support, which reveals the advantage of SONC decompositions for certifying nonnegativity of sparse polynomials compared with the classical SOS decompositions. By virtue of this fact, we can decide $f\in$ SONC through relative entropy programming more efficiently.


title: Energy transfer from baryons to dark matter as a unified solution to small-scale structure issues of the $\Lambda$CDM model

abstract: Using a semianalytic code, we show how baryon physics in a $\Lambda$CDM cosmology could solve the discrepancy between numerical predictions of dark matter haloes and observations, ranging from dwarf galaxies to clusters, without the need of nonstandard dark matter models as advocated, for example, by [Kaplinghat et al., Phys. Rev. Lett. 116, 041302, (2016)]. Combining well established results, we show, for the first time, how accounting for baryon physics, in particular dynamical friction mechanisms, leads to flat galaxy-cluster profiles and correlations in several of their properties, solves the so-called `diversity problem' and reproduces very well the challenging, extremely low-rising rotation curve of IC2574. We therefore suggest treating baryonic physics properly before introducing new exotic features, albeit legitimate, in the standard cosmological model.


title: Counterfactual Fairness in Text Classification through Robustness

abstract: In this paper, we study counterfactual fairness in text classification, which asks the question: How would the prediction change if the sensitive attribute referenced in the example were different? Toxicity classifiers demonstrate a counterfactual fairness issue by predicting that "Some people are gay" is toxic while "Some people are straight" is nontoxic. We offer a metric, counterfactual token fairness (CTF), for measuring this particular form of fairness in text classifiers, and describe its relationship with group fairness. Further, we offer three approaches, blindness, counterfactual augmentation, and counterfactual logit pairing (CLP), for optimizing counterfactual token fairness during training, bridging the robustness and fairness literature. Empirically, we find that blindness and CLP address counterfactual token fairness. The methods do not harm classifier performance, and have varying tradeoffs with group fairness. These approaches, both for measurement and optimization, provide a new path forward for addressing fairness concerns in text classification.


title: A Successive-Elimination Approach to Adaptive Robotic Sensing

abstract: We study an adaptive source seeking problem, in which a mobile robot must identify the strongest emitter(s) of a signal in an environment with background emissions. Background signals may be highly heterogeneous and can mislead algorithms that are based on receding horizon control. We propose AdaSearch, a general algorithm for adaptive source seeking in the face of heterogeneous background noise. AdaSearch combines global trajectory planning with principled confidence intervals in order to concentrate measurements in promising regions while guaranteeing sufficient coverage of the entire area. Theoretical analysis shows that AdaSearch confers gains over a uniform sampling strategy when the distribution of background signals is highly variable. Simulation experiments demonstrate that when applied to the problem of radioactive source seeking, AdaSearch outperforms both uniform sampling and a receding time horizon information-maximization approach based on the current literature. We also demonstrate AdaSearch in hardware, providing further evidence of its potential for real-time implementation.


title: Indecomposable tilting modules for the blob algebra

abstract: The blob algebra is a finite-dimensional quotient of the Hecke algebra of type $B$ which is almost always quasi-hereditary. We construct the indecomposable tilting modules for the blob algebra over a field of characteristic $0$ in the doubly critical case. Every indecomposable tilting module of maximal highest weight is either a projective module or an extension of a simple module by a projective module. Moreover, every indecomposable tilting module is a submodule of an indecomposable tilting module of maximal highest weight. We conclude that the graded Weyl multiplicities of the indecomposable tilting modules in this case are given by inverse Kazhdan-Lusztig polynomials of type $\tilde{A}_1$.


title: Intervention Strategies for Epidemics: Does Ignoring Time Delay Lead to Incorrect Predictions?

abstract: Our paper investigates distributions of exposed and infectious time periods in an epidemic model and how applying a disease control strategy affects the model's accuracy. While ordinary differential equations are widely used for their simplicity, they incorporate an exponential distribution for time spent exposed or infectious. This allows for a high probability of unrealistically short exposed and infectious time periods. We propose that caution must be taken when applying intervention methods to basic models in order to avoid inaccurate predictions. Delay differential equations, which use a delta distribution for exposed and infectious periods, can provide better realism but are more difficult to use and analyze. We introduce a multi-infected compartment model to interpolate between an ODE model with exponential distributions and a DDE model with delta distributions in order to investigate the effect these distributions have on the dynamics of the system when an intervention method is also included. Using steady state stability and bifurcation analysis, this paper considers when simpler infectious disease models can be used versus when more realistic time periods must be incorporated. We find that the placement of control measures on subpopulations and the length of the time delay impacts the accuracy of the simpler models.


title: Robust minimal matching rules for quasicrystals

abstract: We propose a unified framework for dealing with matching rules of quasiperiodic patterns, relevant for both tiling models and real world quasicrystals. The approach is intended for extraction and validation of a minimal set of matching rules, directly from the phased diffraction data. The construction yields precise values for the spatial density of distinct atomic positions and tolerates the presence of defects in a robust way.


title: Some properties of the Schur multiplier and stem covers of Leibniz crossed modules

abstract: In this article we investigate the interplay between stem covers, the Schur multiplier of Leibniz crossed modules and the non-abelian exterior product of Leibniz algebras. In concrete, we obtain a six-term exact sequence associated to a central extension of Leibniz crossed modules, which is useful to characterize stem covers. We show the existence of stem covers and determine the structure of all stem covers of Leibniz crossed modules. Also, we give the connection between the stem cover of a Lie crossed module in the categories of Lie and Leibniz crossed modules respectively.


title: Universal gaps for XOR games from estimates on tensor norm ratios

abstract: We define and study XOR games in the framework of general probabilistic theories, which encompasses all physical models whose predictive power obeys minimal requirements. The bias of an XOR game under local or global strategies is shown to be given by a certain injective or projective tensor norm, respectively. The intrinsic (i.e.\ model-independent) advantage of global over local strategies is thus connected to a universal function $r(n,m)$ called 'projective-injective ratio'. This is defined as the minimal constant $\rho$ such that $\|\cdot\|_{X\otimes_\pi Y}\leq\rho\,\|\cdot\|_{X\otimes_\varepsilon Y}$ holds for all Banach spaces of dimensions $\dim X=n$ and $\dim Y=m$, where $X\otimes_\pi Y$ and $X \otimes_\varepsilon Y$ are the projective and injective tensor products. By requiring that $X=Y$, one obtains a symmetrised version of the above ratio, denoted by $r_s(n)$. We prove that $r(n,m)\geq 19/18$ for all $n,m\geq 2$, implying that injective and projective tensor products are never isometric. We then study the asymptotic behaviour of $r(n,m)$ and $r_s(n)$, showing that, up to log factors: $r_s(n)$ is of the order $\sqrt{n}$ (which is sharp); $r(n,n)$ is at least of the order $n^{1/6}$; and $r(n,m)$ grows at least as $\min\{n,m\}^{1/8}$. These results constitute our main contribution to the theory of tensor norms. In our proof, a crucial role is played by an '$\ell_1$/$\ell_2$/$\ell_{\infty}$ trichotomy theorem' based on ideas by Pisier, Rudelson, Szarek, and Tomczak-Jaegermann. The main operational consequence we draw is that there is a universal gap between local and global strategies in general XOR games, and that this grows as a power of the minimal local dimension. In the quantum case, we are able to determine this gap up to universal constants. As a corollary, we obtain an improved bound on the scaling of the maximal quantum data hiding efficiency against local measurements.


title: Enabling FAIR Research in Earth Science through Research Objects

abstract: Data-intensive science communities are progressively adopting FAIR practices that enhance the visibility of scientific breakthroughs and enable reuse. At the core of this movement, research objects contain and describe scientific information and resources in a way compliant with the FAIR principles and sustain the development of key infrastructure and tools. This paper provides an account of the challenges, experiences and solutions involved in the adoption of FAIR around research objects over several Earth Science disciplines. During this journey, our work has been comprehensive, with outcomes including: an extended research object model adapted to the needs of earth scientists; the provisioning of digital object identifiers (DOI) to enable persistent identification and to give due credit to authors; the generation of content-based, semantically rich, research object metadata through natural language processing, enhancing visibility and reuse through recommendation systems and third-party search engines; and various types of checklists that provide a compact representation of research object quality as a key enabler of scientific reuse. All these results have been integrated in ROHub, a platform that provides research object management functionality to a wealth of applications and interfaces across different scientific communities. To monitor and quantify the community uptake of research objects, we have defined indicators and obtained measures via ROHub that are also discussed herein.


title: Phosphorene as a nanoelectromechanical material

abstract: Based on density functional simulations combined with the Landauer transport theory, the mechanical strain impacts on the chemical bonds of phosphorene and their effects on the electronic properties are studied. Moreover, the effect of the tensile strain along the zigzag direction on the charge transport properties of a two-terminal phosphorene device is evaluated. Enhancement of the intraplanar interactions, in particular between the next-nearest neighbors in strained phosphorene, is found to be essential in the band-structure evolution. The charge transport analyzing shows that phosphorene has a strong piezoconductance sensitivity, which makes this material highly desirable for high-pressure nanoelectromechanical applications. The piezoconductance gauge factor increases by strain from 46 in 5% tension to 220 in 12% tension, which is comparable to state-of-the-art silicon strain sensors. The transmission pathways monitor the current flowing in terms of the chemical bonds and hopping, however, the transport mostly arises from the charge transferring through the chemical bonds. The strong anisotropy in the transport properties along zigzag and armchair directions is observed.


title: Low-temperature Atomistic Spin Relaxation and Non-equilibrium Intensive Properties Using Steepest-Entropy-Ascent Quantum-Inspired Thermodynamics Modeling

abstract: The magnetization of body-centered cubic iron at low temperatures is calculated with the steepest-entropy-ascent quantum thermodynamics (SEAQT) framework. This framework assumes that a thermodynamic property in an isolated system traces the path through state space with the greatest entropy production. Magnetization is calculated from the expected value of a thermodynamic ensemble of quantized spin waves based on the Heisenberg spin model applied to an ensemble of coupled harmonic oscillators. A realistic energy landscape is obtained from a magnon dispersion relation calculated using spin-density-functional-theory. The equilibrium magnetization as well as the evolution of magnetization from a non-equilibrium state to equilibrium are calculated from the path of steepest entropy ascent determined from the SEAQT equation of motion in state space. The framework makes it possible to model the temperature- and time-dependence of magnetization without a detailed description of magnetic damping. The approach is also used to define intensive properties (temperature and magnetic field strength) that are fundamentally, i.e., canonically or grand canonically, valid for any non-equilibrium state. Given the assumed magnon dispersion relation, the SEAQT framework is used to calculate the equilibrium magnetization at different temperatures and external magnetic fields and the results are shown to closely agree with experiment for temperatures less than 500 K. The time-dependent evolution of magnetization from different initial states and interactions with a reservoir is also predicted.


title: Operations on Partial Orders

abstract: We define analogues of Boolean operations on not necessarily complete partial orders, they often have as results sets of elements rather than single elements. It proves useful to add to such sets X if they are intended to be sup(X) or inf(X), even if sup and inf do not always exist. We then define the height of an element as the maximal length of chains going from BOTTOM to that element, and use height to define probability measures.


title: Model structures for $(\infty,n)$-categories on (pre)stratified simplicial sets and prestratified simplicial spaces

abstract: We prove the existence of a model structure on the category of stratified simplicial sets whose fibrant objects are precisely $n$-complicial sets, which are a proposed model for $(\infty,n)$-categories, based on previous work of Verity and Riehl. We then construct a Quillen equivalent model based on simplicial presheaves over a category that can facilitate the comparison with other established models.


title: Magnetization induced shape transformations in flexible ferromagnetic rings

abstract: Flexible ferromagnetic rings are spin-chain magnets, in which the magnetic and mechanical subsystems are coupled. The coupling is achieved through the tangentially oriented anisotropy axis. The possibility to operate the mechanics of the nanomagnets by controlling their magnetization is an important issue for the nanorobotics applications. A minimal model for the deformable curved anisotropic Heisenberg ferromagnetic wire is proposed. An equilibrium phase diagram is constructed for the closed loop geometry: (i) A vortex state with vanishing total magnetic moment is typical for relatively large systems; in this case the wire has the form of a regular circle. (ii) A topologically trivial onion state with the planar magnetization distribution is realized in small enough systems; magnetic loop is elliptically deformed. By varying geometrical and elastic parameters a phase transition between the vortex and onion states takes place. The detailed analytical description of the phase diagram is well confirmed by numerical simulations.


title: On Fano manifolds of Picard number one with big automorphism groups

abstract: Let $X$ be an $n$-dimensional smooth Fano complex variety of Picard number one. Assume that the VMRT at a general point of $X$ is smooth irreducible and non-degenerate (which holds if $X$ is covered by lines with index $ >(n+2)/2$). It is proven that $\dim \mathfrak{aut}(X) > n(n+1)/2$ if and only if $X$ is isomorphic to $\mathbb{P}^n, \mathbb{Q}^n$ or ${\rm Gr}(2,5)$. Furthermore, the equality $\dim \mathfrak{aut}(X) = n(n+1)/2$ holds only when $X$ is isomorphic to the 6-dimensional Lagrangian Grassmannian ${\rm Lag}(6)$ or a general hyperplane section of ${\rm Gr}(2,5)$.


title: dynamicMF: A Matrix Factorization Approach to Monitor Resource Usage in High Performance Computing Systems

abstract: High performance computing (HPC) facilities consist of a large number of interconnected computing units (or nodes) that execute highly complex scientific simulations to support scientific research. Monitoring such facilities, in real-time, is essential to ensure that the system operates at peak efficiency. Such systems are typically monitored using a variety of measurement and log data which capture the state of the various components within the system at regular intervals of time. As modern HPC systems grow in capacity and complexity, the data produced by current resource monitoring tools is at a scale that it is no longer feasible to be visually monitored by analysts. We propose a method that transforms the multi-dimensional output of resource monitoring tools to a low dimensional representation that facilitates the understanding of the behavior of a High Performance Computing (HPC) system. The proposed method automatically extracts the low-dimensional signal in the data which can be used to track the system efficiency and identify performance anomalies. The method models the resource usage data as a three dimensional tensor (capturing resource usage of all compute nodes for difference resources over time). A dynamic matrix factorization algorithm, called dynamicMF, is proposed to extract a low-dimensional temporal signal for each node, which is subsequently fed into an anomaly detector. Results on resource usage data collected from the Lonestar 4 system at the Texas Advanced Computing Center show that the identified anomalies are correlated with actual anomalous events reported in the system log messages.


title: Note on the non-preservation of depth

abstract: Let $K$ be a local field of characteristic $p$. We consider the local Langlands correspondence for tori, and construct examples for which depth is not preserved.


title: Contamination Source Detection in Water Distribution Networks using Belief Propagation

abstract: We present a Bayesian approach for the Contamination Source Detection problem in Water Distribution Networks. Given an observation of contaminants in one or more nodes in the network, we try to give probable explanation for it assuming that contamination is a rare event. We introduce extra variables to characterize the place and pattern of the first contamination event. Then we write down the posterior distribution for these extra variables given the observation obtained by the sensors. Our method relies on Belief Propagation for the evaluation of the marginals of this posterior distribution and the determination of the most likely origin. The method is implemented on a simplified binary forward-in-time dynamics. Simulations on data coming from the realistic simulation software EPANET on two networks show that the simplified model is nevertheless flexible enough to capture crucial information about contaminant sources.


title: Kinetic Pathways of Phase Decomposition Using Steepest-Entropy-Ascent Quantum Thermodynamics Modeling. Part I: Continuous and Discontinuous Transformations

abstract: The decomposition kinetics of a solid-solution into separate phases are analyzed with an equation of motion initially developed to account for dissipative processes in quantum systems. This equation and the steepest-entropy-ascent quantum thermodynamic framework of which it is a part make it possible to track kinetic processes in systems in non-equilibrium, while retaining the framework of classical equilibrium thermodynamics. The general equation of motion is particularized for the case of the decomposition of a binary alloy, and a solution model is used to build an approximate energy eigenstructure, or pseudo-eigenstructure, for the alloy system. This equation is then solved with the pseudo-eigenstructure to obtain a unique reaction path and the decomposition kinetics of the alloy. For a hypothetical solid-solution with a miscibility gap at low temperatures, the conditions under which this framework predicts a continuous transformation path (spinodal decomposition) or a discontinuous one (nucleation and growth) are demonstrated.


title: Derived categories of singular surfaces

abstract: We develop an approach that allows to construct semiorthogonal decompositions of derived categories of surfaces with cyclic quotient singularities whose components are equivalent to derived categories of local finite dimensional algebras. We first explain how to induce a semiorthogonal decomposition of a surface $X$ with rational singularities from a semiorthogonal decomposition of its resolution. In the case when $X$ has cyclic quotient singularities, we introduce the condition of adherence for the components of the semiorthogonal decomposition of the resolution that allows to identify the components of the induced decomposition with derived categories of local finite dimensional algebras. Further, we present an obstruction in the Brauer group of $X$ to the existence of such semiorthogonal decomposition, and show that in the presence of the obstruction a suitable modification of the adherence condition gives a semiorthogonal decomposition of the twisted derived category of $X$. We illustrate the theory by exhibiting a semiorthogonal decomposition for the untwisted or twisted derived category of any normal projective toric surface depending on whether its Weil divisor class group is torsion-free or not. For weighted projective planes we compute the generators of the components explicitly and relate our results to the results of Kawamata based on iterated extensions of reflexive sheaves of rank 1.


title: Continuous Force and Displacement Measurement Below the Standard Quantum Limit

abstract: Quantum mechanics dictates that the precision of physical measurements must be subject to certain constraints. In the case of inteferometric displacement measurements, these restrictions impose a 'standard quantum limit' (SQL), which optimally balances the precision of a measurement with its unwanted backaction. To go beyond this limit, one must devise more sophisticated measurement techniques, which either 'evade' the backaction of the measurement, or achieve clever cancellation of the unwanted noise at the detector. In the half-century since the SQL was established, systems ranging from LIGO to ultracold atoms and nanomechanical devices have pushed displacement measurements towards this limit, and a variety of sub-SQL techniques have been tested in proof-of-principle experiments. However, to-date, no experimental system has successfully demonstrated an interferometric displacement measurement with sensitivity (including all relevant noise sources: thermal, backaction, and imprecision) below the SQL. Here, we exploit strong quantum correlations in an ultracoherent optomechanical system to demonstrate off-resonant force and displacement sensitivity reaching 1.5dB below the SQL. This achieves an outstanding goal in mechanical quantum sensing, and further enhances the prospects of using such devices for state-of-the-art force sensing applications.


title: A posteriori error estimates and adaptive mesh refinement for the Stokes-Brinkman problem

abstract: The Stokes-Brinkman equations model flow in heterogeneous porous media by combining the Stokes and Darcy models of flow into a single system of equations. With suitable parameters, the equations can model either flow without detailed knowledge of the interface between the two regions. Thus, the Stokes-Brinkman equations provide an alternative to coupled Darcy-Stokes models. After a brief review of the Stokes-Brinkman problem and its discretization using Taylor-Hood finite elements, we present a residual-based a posteriori error estimate and use it to drive an adaptive mesh refinement process. We compare several strategies for the mesh refinement, and demonstrate its effectiveness by numerical experiments in both 2D and 3D.


title: Leading-logarithmic threshold resummation of the Drell-Yan process at next-to-leading power

abstract: We resum the leading logarithms $\alpha_s^n \ln^{2 n-1}(1-z)$, $n=1,2,\ldots$ near the kinematic threshold $z=Q^2/\hat{s}\to 1$ of the Drell-Yan process at next-to-leading power in the expansion in $(1-z)$. The derivation of this result employs soft-collinear effective theory in position space and the anomalous dimensions of subleading-power soft functions, which are computed. Expansion of the resummed result leads to the leading logarithms at fixed loop order, in agreement with exact results at NLO and NNLO and predictions from the physical evolution kernel at N$^3$LO and N$^4$LO, and to new results at the five-loop order and beyond.


title: Scalable visualisation methods for modern Generalized Additive Models

abstract: In the last two decades the growth of computational resources has made it possible to handle Generalized Additive Models (GAMs) that formerly were too costly for serious applications. However, the growth in model complexity has not been matched by improved visualisations for model development and results presentation. Motivated by an industrial application in electricity load forecasting, we identify the areas where the lack of modern visualisation tools for GAMs is particularly severe, and we address the shortcomings of existing methods by proposing a set of visual tools that a) are fast enough for interactive use, b) exploit the additive structure of GAMs, c) scale to large data sets and d) can be used in conjunction with a wide range of response distributions. All the new visual methods proposed in this work are implemented by the mgcViz R package, which can be found on the Comprehensive R Archive Network.


title: Kinetic Pathways of Phase Decomposition Using Steepest-Entropy-Ascent Quantum Thermodynamics Modeling. Part II: Phase Separation and Ordering

abstract: The kinetics of ordering and concurrent ordering and clustering is analyzed with an equation of motion initially developed to account for dissipative processes in quantum systems. A simplified energy eigenstructure, or pseudo-eigenstructure, is constructed from a static concentration wave method to describe the configuration-dependent energy for atomic ordering and clustering in a binary alloy. This pseudo-eigenstructure is used in conjunction with an equation of motion that follows steepest entropy ascent to calculate the kinetic path that leads to ordering and clustering in a series of hypothetical alloys. By adjusting the thermodynamic solution parameters, it is demonstrated that the model can predict the stable equilibrium state as well as the unique thermodynamic path and kinetics of continuous/discontinuous ordering and concurrent processes of simultaneous ordering and phase separation.


title: Stabilizing arrays of photonic cat states via spontaneous symmetry breaking

abstract: The controlled generation and the protection of entanglement is key to quantum simulation and quantum computation. At the single-mode level, protocols based on photonic cat states hold strong promise as they present unprecedentedly long-lived coherence and may be combined with powerful error correction schemes. Here, we demonstrate that robust ensembles of "many-body photonic cat states" can be generated in a Bose-Hubbard model with pair hopping via a spontaneous U(1) symmetry breaking mechanism. We identify a parameter region where the ground state is a massively degenerate manifold consisting of local cat states which are factorized throughout the lattice and whose conserved individual parities can be used to make a register of qubits. This phenomenology occurs for arbitrary system sizes or geometries, as soon as long-range order is established, and it extends to driven-dissipative conditions. In the thermodynamic limit, it is related to a Mott insulator to pair-superfluid phase transition.


title: Generative replay with feedback connections as a general strategy for continual learning

abstract: A major obstacle to developing artificial intelligence applications capable of true lifelong learning is that artificial neural networks quickly or catastrophically forget previously learned tasks when trained on a new one. Numerous methods for alleviating catastrophic forgetting are currently being proposed, but differences in evaluation protocols make it difficult to directly compare their performance. To enable more meaningful comparisons, here we identified three distinct scenarios for continual learning based on whether task identity is known and, if it is not, whether it needs to be inferred. Performing the split and permuted MNIST task protocols according to each of these scenarios, we found that regularization-based approaches (e.g., elastic weight consolidation) failed when task identity needed to be inferred. In contrast, generative replay combined with distillation (i.e., using class probabilities as "soft targets") achieved superior performance in all three scenarios. Addressing the issue of efficiency, we reduced the computational cost of generative replay by integrating the generative model into the main model by equipping it with generative feedback or backward connections. This Replay-through-Feedback approach substantially shortened training time with no or negligible loss in performance. We believe this to be an important first step towards making the powerful technique of generative replay scalable to real-world continual learning applications.


title: Conditional WaveGAN

abstract: Generative models are successfully used for image synthesis in the recent years. But when it comes to other modalities like audio, text etc little progress has been made. Recent works focus on generating audio from a generative model in an unsupervised setting. We explore the possibility of using generative models conditioned on class labels. Concatenation based conditioning and conditional scaling were explored in this work with various hyper-parameter tuning methods. In this paper we introduce Conditional WaveGANs (cWaveGAN). Find our implementation at https://github.com/acheketa/cwavegan


title: Sharing Information with Competitors

abstract: We study the mechanism design problem in the setting where agents are rewarded using information only. This problem is motivated by the increasing interest in secure multiparty computation techniques. More specifically, we consider the setting of a joint computation where different agents have inputs of different quality and each agent is interested in learning as much as possible while maintaining exclusivity for information. Our high level question is to design mechanisms that motivate all agents (even those with high-quality input) to participate in the computation and we formally study problems such as set union, intersection, and average.


title: Nucleon charges and quark momentum fraction with $N_f=2+1$ Wilson fermions

abstract: We present a nucleon structure analysis including local isovector charges as well as twist-2 operator insertions. Computations are performed on CLS ensembles with $N_f=2+1$ Wilson fermions, covering four values of the lattice spacing and pion masses down to $M_\pi \approx 200\,\mathrm{MeV}$. Several source-sink separations (typically $\sim 1.0\,\mathrm{fm}$ to $\sim 1.5\,\mathrm{fm}$) allow us to assess excited-state contaminations. Results on each ensemble are obtained from simultaneous two-state fits including all observables and all available source-sink separations with the mass gap as a free fit parameter. Finally, the chiral, continuum and finite size extrapolation is performed to extract physical results.


title: Regularity of limit sets of AdS quasi-Fuchsian groups

abstract: Limit sets of $\mathrm{AdS}$-quasi-Fuchsian groups of $\mathrm{PO}(n,2)$ are always Lipschitz submanifolds. The aim of this article is to show that they are never $\mathcal{C}^1$, except for the case of Fuchsian groups. As a byproduct we show that $\mathrm{AdS}$-quasi-Fuchsian groups that are not Fuchsian are Zariski dense in $\mathrm{PO}(n,2)$.


title: Heat current rectification and mobility edges

abstract: We investigate how the presence of a single-particle mobility edge in a system can generate strong heat current rectification. Specifically, we study a quadratic bosonic chain subject to a quasi-periodic potential and coupled at its boundaries to spin baths of differing temperature. We find that rectification increases by orders of magnitude depending on the spatial position in the chain of localized eigenstates above the mobility edge. The largest enhancements occur when the coupling of one bath to the system is dominated by a localized eigenstate, while the other bath couples to numerous delocalized eigenstates. By tuning the parameters of the quasi-periodic potential it is thus possible to vary the amplitude, and even invert the direction, of the rectification.


title: Crystalline anisotropy induces a second antiferromagnetic phase in the absence of SDW in the heavily hydrogen-doped LaFeAsO$_{1-x}$H$_x$ $(x\sim0.5 )$

abstract: Electronic and magnetic properties of the heavily H-doped LaFeAsO$_{1-x}$H$_x$ $(x\sim0.5 )$ were studied in the framework of the density functional theory combined with the dynamical mean field theory (DFT+DMFT). We found a stripe-like-ordered structure of hydrogen and oxygen atoms, as a ground state, with the same configuration as the antiferromagnetic (AF) order. The new configuration could explain the existing experimental results related to the heavily H-doped LaFeAsO$_{1-x}$H$_x$, such as an in-plane electronic anisotropy and a non-uniform magnetic behavior. A significant anisotropy was observed between Fe- 3d$_{xz}$ (xz) and Fe-3d$_{yz}$ (yz) orbitals in the ground state in the absence of the pseudogap resulting from the spin density wave phase, which was found to originate from the crystalline anisotropy. Magnetic moments were not spatially uniform and were sensitive to the crystal configuration. We found that a non-uniform magnetic behavior is associated with the As-Fe-As bond angle in the structure. Our findings would clarify the importance of crystal details and orbital degrees of freedom in iron-based superconductors.


title: Privacy in Blockchain Systems

abstract: In this literature review, we first briefly provide an introduction on the privacy aspect of blockchain systems and why it is a difficult quality to achieve, especially using traditional methods. Next, we go over a wide range of different strategies and techniques, along with their respective empirical implementations. Starting with approaches that attempted to provide privacy on Bitcoin/existing blockchain systems, then going into more advanced techniques, such as secure multi-party computations, ring signatures, and zero knowledge proofs, that construct a more advanced blockchain system from scratch with the objective of preserving privacy. Finally, we conclude that the current state of privacy on blockchains still needs work for it to be reliable. Nevertheless, the field of privacy in this domain is developing and advancing at a rapid rate.


title: Non-Atkinson perturbations of nonautonomous linear hamiltonian systems: exponential dichotomy and nonoscillation

abstract: We analyze the presence of exponential dichotomy (ED) and of global existence of Weyl functions $M^\pm$ for one-parametric families of finite-dimensional nonautonomous linear Hamiltonian systems defined along the orbits of a compact metric space, which are perturbed from an initial one in a direction which does not satisfy the classical Atkinson condition: either they do not have ED for any value of the parameter; or they have it for at least all the nonreal values, in which case the Weyl functions exist and are Herglotz. When the parameter varies in the real line, and if the unperturbed family satisfies the properties of exponential dichotomy and global existence of $M^+$, then these two properties persist in a neighborhood of 0 which agrees either with the whole real line or with an open negative half-line; and in this last case, the ED fails at the right end value. The properties of ED and of global existence of $M^+$ are fundamental to guarantee the solvability of classical minimization problems given by linear-quadratic control processes.


title: Predictive Embeddings for Hate Speech Detection on Twitter

abstract: We present a neural-network based approach to classifying online hate speech in general, as well as racist and sexist speech in particular. Using pre-trained word embeddings and max/mean pooling from simple, fully-connected transformations of these embeddings, we are able to predict the occurrence of hate speech on three commonly used publicly available datasets. Our models match or outperform state of the art F1 performance on all three datasets using significantly fewer parameters and minimal feature preprocessing compared to previous methods.


title: On the existence and uniqueness of the solution of a parabolic optimal control problem with uncertain inputs

abstract: In this note, we consider the existence and uniqueness of the solution of a time-dependent optimal control problem constrained by a partial differential equation with uncertain inputs. Relying on the Lions' Lemma for deterministic problems, we furthermore characterize the optimal control of the stochastic problem.


title: Granular aluminum: A superconducting material for high impedance quantum circuits

abstract: Superconducting quantum information processing machines are predominantly based on microwave circuits with relatively low characteristic impedance, of about 100 Ohm, and small anharmonicity, which can limit their coherence and logic gate fidelity. A promising alternative are circuits based on so-called superinductors, with characteristic impedances exceeding the resistance quantum $R_Q = 6.4$ k$\Omega$. However, previous implementations of superinductors, consisting of mesoscopic Josephson junction arrays, can introduce unintended nonlinearity or parasitic resonant modes in the qubit vicinity, degrading its coherence. Here we present a fluxonium qubit design using a granular aluminum (grAl) superinductor strip. Granular aluminum is a particularly attractive material, as it self-assembles into an effective junction array with a remarkably high kinetic inductance, and its fabrication can be in-situ integrated with standard aluminum circuit processing. The measured qubit coherence time $T_2^R$ up to 30 $\mu$s illustrates the potential of grAl for applications ranging from protected qubit designs to quantum limited amplifiers and detectors.


title: Introductory Lectures on Extended Supergravities and Gaugings

abstract: In an ungauged supergravity theory, the presence of a \emph{scalar potential} is allowed only for the minimal $\N=1$ case. In extended supergravities, a non-trivial scalar potential can be introduced without explicitly breaking supersymmetry only through the so-called \emph{gauging procedure}. The latter consists in promoting a suitable global symmetry group to local symmetry to be gauged by the vector fields of the theory. Gauged supergravities provide a valuable approach to the study of superstring flux-compactifications and the construction of phenomenologically viable, string-inspired models. The aim of these lectures is to give a pedagogical introduction to the subject of gauged supergravities, covering just selected issues and discussing some of their applications.


title: Measurements of Fourier harmonics of azimuthal anisotropy in Pb+Pb and Xe+Xe collisions

abstract: The high-statistics data sets collected by the LHC experiments during the heavy-ion runs allow for a detailed study of the azimuthal anisotropy of charged particles. This report presents the selected results of $v_{n}$ measured in Pb+Pb collisions at $\sqrt{s_{\mathrm{NN}}} = 5.02$ TeV and Xe+Xe collisions at $\sqrt{s_\mathrm{NN}} = 5.44$ TeV, with emphasis on the higher order Fourier coefficients, $v_{n}$, sensitive to initial state fluctuations of the medium created in ultra-relativistic heavy-ion collisions.


title: Plane-wave analysis of a hyperbolic system of equations with relaxation in $\mathbb{R}^{d}$

abstract: We consider a multi-dimensional scalar wave equation with memory corresponding to the viscoelastic material described by a generalized Zener model. We deduce that this relaxation system is an example of a non-strictly hyperbolic system satisfying Majda's block structure condition. Well-posedness of the associated Cauchy problem is established by showing that the symbol of the spatial derivatives is uniformly diagonalizable with real eigenvalues. A long-time stability result is obtained by plane-wave analysis when the memory term allows for dissipation of energy.


title: Accurate simulation of W, Z and Higgs boson decays in Sherpa

abstract: We discuss the inclusion of next-to-next-to leading order electromagnetic and of next-to leading order electroweak corrections to the leptonic decays of weak gauge and Higgs bosons in the SHERPA event generator. To this end, we modify the Yennie-Frautschi-Suura scheme for the resummation of soft photon corrections and its systematic improvement with fixed-order calculations, to also include the effect of virtual corrections due to the ex- change of weak gauge bosons. We detail relevant technical aspects of our implementation and present numerical results for observables relevant for high-precision Drell-Yan and Higgs boson production and decay simula- tions at the LHC.


title: Fused Angles and the Deficiencies of Euler Angles

abstract: Just like the well-established Euler angles representation, fused angles are a convenient parameterisation for rotations in three-dimensional Euclidean space. They were developed in the context of balancing bodies, most specifically walking bipedal robots, but have since found wider application due to their useful properties. A comparative analysis between fused angles and Euler angles is presented in this paper, delineating the specific differences between the two representations that make fused angles more suitable for representing orientations in balance-related scenarios. Aspects of comparison include the locations of the singularities, the associated parameter sensitivities, the level of mutual independence of the parameters, and the axisymmetry of the parameters.


title: Inference for Individual Mediation Effects and Interventional Effects in Sparse High-Dimensional Causal Graphical Models

abstract: We consider the problem of identifying intermediate variables (or mediators) that regulate the effect of a treatment on a response variable. While there has been significant research on this classical topic, little work has been done when the set of potential mediators is high-dimensional (HD). A further complication arises when these mediators are interrelated (with unknown dependencies). In particular, we assume that the causal structure of the treatment, the confounders, the potential mediators and the response is a (possibly unknown) directed acyclic graph (DAG). HD DAG models have previously been used for the estimation of causal effects from observational data. In particular, methods called IDA and joint-IDA have been developed for estimating the effects of single and multiple simultaneous interventions, respectively. In this paper, we propose an IDA-type method called MIDA for estimating so-called individual mediation effects from HD observational data. Although IDA and joint-IDA estimators have been shown to be consistent in certain sparse HD settings, their asymptotic properties such as convergence in distribution and inferential tools in such settings have remained unknown. In this paper, we prove HD consistency of MIDA for linear structural equation models with sub-Gaussian errors. More importantly, we derive distributional convergence results for MIDA in similar HD settings, which are applicable to IDA and joint-IDA estimators as well. To our knowledge, these are the first such distributional convergence results facilitating inference for IDA-type estimators. These are built on our novel theoretical results regarding uniform bounds for linear regression estimators over varying subsets of HD covariates which may be of independent interest. Finally, we empirically validate our asymptotic theory for MIDA and demonstrate its usefulness via simulations and a real data application.


title: Bohemian Upper Hessenberg Matrices

abstract: We look at Bohemian matrices, specifically those with entries from $\{-1, 0, {+1}\}$. More, we specialize the matrices to be upper Hessenberg, with subdiagonal entries $\pm1$. Many properties remain after these specializations, some of which surprised us. We find two recursive formulae for the characteristic polynomials of upper Hessenberg matrices. Focusing on only those matrices whose characteristic polynomials have maximal height allows us to explicitly identify these polynomials and give a lower bound on their height. This bound is exponential in the order of the matrix. We count stable matrices, normal matrices, and neutral matrices, and tabulate the results of our experiments. We prove a theorem about the only possible kinds of normal matrices amongst a specific family of Bohemian upper Hessenberg matrices.


title: New Direct Numerical Methods for Some Multidimensional Problems of the Calculus of Variations

abstract: In this paper we develop a new approach to the design of direct numerical methods for multidimensional problems of the calculus of variations. The approach is based on a transformation of the problem with the use of a new class of Sobolev-like spaces that is studied in the article. This transformation allows one to analytically compute the direction of steepest descent of the main functional of the calculus of variations with respect to a certain inner product, and, in turn, to construct new direct numerical methods for multidimensional problems of the calculus of variations. In the end of the paper we point out how the approach developed in the article can be extended to the case of problems with more general boundary conditions, problems for functionals depending on higher order derivatives, and problems with isoperimetric and/or pointwise constraints.


title: Multi-Scale Verification of Distributed Synchronisation

abstract: Algorithms for the synchronisation of clocks across networks are both common and important within distributed systems. We here address not only the formal modelling of these algorithms, but also the formal verification of their behaviour. Of particular importance is the strong link between the very different levels of abstraction at which the algorithms may be verified. Our contribution is primarily the formalisation of this connection between individual models and population-based models, and the subsequent verification that is then possible. While the technique is applicable across a range of synchronisation algorithms, we particularly focus on the synchronisation of (biologically-inspired) pulse-coupled oscillators, a widely used approach in practical distributed systems. For this application domain, different levels of abstraction are crucial: models based on the behaviour of an individual process are able to capture the details of distinguished nodes in possibly heterogenous networks, where each node may exhibit different behaviour. On the other hand, collective models assume homogeneous sets of processes, and allow the behaviour of the network to be analysed at the global level. System-wide parameters may be easily adjusted, for example environmental factors inhibiting the reliability of the shared communication medium. This work provides a formal bridge across the abstraction gap separating the individual models and the population-based models for this important class of synchronisation algorithms.


title: Non-Gaussian noise without memory in active matter

abstract: Modeling the dynamics of an individual active particle invariably involves an isotropic noisy self-propulsion component, in the form of run-and-tumble motion or variations around it. This nonequilibrium source of noise is neither white---there is persistence---nor Gaussian. While emerging collective behavior in active matter has hitherto been attributed to the persistent ingredient, we focus on the non-Gaussian ingredient of self-propulsion. We show that by itself, that is without invoking any memory effect, it is able to generate particle accumulation close to boundaries and effective attraction between otherwise repulsive particles, a mechanism which generically leads to motility-induced phase separation in active matter.


title: Enumerating 3-generated axial algebras of Monster type

abstract: An axial algebra is a commutative non-associative algebra generated by axes, that is, primitive, semisimple idempotents whose eigenvectors multiply according to a certain fusion law. The Griess algebra, whose automorphism group is the Monster, is an example of an axial algebra. We say an axial algebra is of Monster type if it has the same fusion law as the Griess algebra. The $2$-generated axial algebras of Monster type, called Norton-Sakuma algebras, have been fully classified and are one of nine isomorphism types. In this paper, we enumerate a subclass of $3$-generated axial algebras of Monster type in terms of their groups and shapes. It turns out that the vast majority of the possible shapes for such algebras collapse; that is they do not lead to non-trivial examples. This is in sharp contrast to previous thinking. Accordingly, we develop a method of minimal forbidden configurations, to allow us to efficiently recognise and eliminate collapsing shapes.


title: Learning to Coordinate Multiple Reinforcement Learning Agents for Diverse Query Reformulation

abstract: We propose a method to efficiently learn diverse strategies in reinforcement learning for query reformulation in the tasks of document retrieval and question answering. In the proposed framework an agent consists of multiple specialized sub-agents and a meta-agent that learns to aggregate the answers from sub-agents to produce a final answer. Sub-agents are trained on disjoint partitions of the training data, while the meta-agent is trained on the full training set. Our method makes learning faster, because it is highly parallelizable, and has better generalization performance than strong baselines, such as an ensemble of agents trained on the full data. We show that the improved performance is due to the increased diversity of reformulation strategies.


title: Tropical Mirror Symmetry in Dimension One

abstract: We prove a tropical mirror symmetry theorem for descendant Gromov-Witten invariants of the elliptic curve, generalizing the tropical mirror symmetry theorem for Hurwitz numbers of the elliptic curve, Theorem 2.20 in [B\"ohm J., Bringmann K., Buchholz A., Markwig H., J. Reine Angew. Math. 732 (2017), 211-246, arXiv:1309.5893]. For the case of the elliptic curve, the tropical version of mirror symmetry holds on a fine level and easily implies the equality of the generating series of descendant Gromov-Witten invariants of the elliptic curve to Feynman integrals. To prove tropical mirror symmetry for elliptic curves, we investigate the bijection between graph covers and sets of monomials contributing to a coefficient in a Feynman integral. We also soup up the traditional approach in mathematical physics to mirror symmetry for the elliptic curve, involving operators on a Fock space, to give a proof of tropical mirror symmetry for Hurwitz numbers of the elliptic curve. In this way, we shed light on the intimate relation between the operator approach on a bosonic Fock space and the tropical approach.


title: High-Temperature QCD: theory overview

abstract: We review the recent progress achieved in the theoretical investigation of Quantum Chromodynamics in the high temperature regime, with a focus on results achieved by lattice QCD simulations. The discussion covers the structure of the phase diagram and the properties of the strongly interacting medium at finite T and small baryon chemical potential.


title: An investigation of the interrelationship between pressure and correlation in LaFeAsO under pressure

abstract: Here, we investigated the interrelationship between pressure and correlation in the LaFeAsO compound by the density functional theory method combined with the dynamical mean field theory (DFT+DMFT) method. The spectral function and the occupation number (ON) of Fe-3d orbitals at different pressures were extracted from the calculations, and the importance of the role of correlation in superconductivity in iron-based compounds was indicated. The measured ON of Fe-3d orbitals demonstrated charge transfer between them and also the crucial role of the Fe-3dxy (xy) orbital in superconductivity in these materials. A switching behavior between high and low TC through decreasing the correlation was observed in our calculations, originating from the orbital switching. This shows the significant role of the orbital degrees of freedom in iron-based superconductors.


title: A framework for torsion theory computations on elliptic threefolds

abstract: We give a list of statements on the geometry of elliptic threefolds phrased only in the language of topology and homological algebra. Using only notions from topology and homological algebra, we recover existing results and prove new results on torsion pairs in the category of coherent sheaves on an elliptic threefold.


title: Is Your Load Generator Launching Web Requests in Bunches?

abstract: One problem with load test quality, almost always overlooked, is the potential for the load generator's user thread pool to sync up and dispatch queries in bunches rather than independently from each other like real users initiate their requests. A spiky launch pattern misrepresents workload flow as well as yields erroneous application response time statistics. This paper describes what a real user request timing pattern looks like, illustrates how to identify it in the load generation environment, and exercises a free downloadable tool which measures how well the load generator is mimicking the timing pattern of real web user requests.


title: Bohemian Upper Hessenberg Toeplitz Matrices

abstract: We look at Bohemian matrices, specifically those with entries from $\{-1, 0, {+1}\}$. More, we specialize the matrices to be upper Hessenberg, with subdiagonal entries $1$. Even more, we consider Toeplitz matrices of this kind. Many properties remain after these specializations, some of which surprised us. Focusing on only those matrices whose characteristic polynomials have maximal height allows us to explicitly identify these polynomials and give a lower bound on their height. This bound is exponential in the order of the matrix.


title: Higher angular momentum band inversions in two dimensions

abstract: We study a special class of topological phase transitions in two dimensions described by the inversion of bands with relative angular momentum higher than 1. A band inversion of this kind, which is protected by rotation symmetry, separates the trivial insulator from a Chern insulating phase with higher Chern number, and thus generalizes the quantum Hall transition described by a Dirac fermion. Higher angular momentum band inversions are of special interest, as the non-vanishing density of states at the transition can give rise to interesting many-body effects. Here we introduce a series of minimal lattice models which realize higher angular momentum band inversions. We then consider the effect of interactions, focusing on the possibility of electron-hole exciton condensation, which breaks rotational symmetry. An analysis of the excitonic insulator mean field theory further reveals that the ground state of the Chern insulating phase with higher Chern number has the structure of a multicomponent integer quantum Hall state. We conclude by generalizing the notion of higher angular momentum band inversions to the class time-reversal invariant systems, following the scheme of Bernevig-Hughes-Zhang (BHZ). Such band inversions can be viewed as transitions to a topological insulator protected by rotation and inversion symmetry, and provide a promising venue for realizing correlated topological phases such as fractional topological insulators.


title: Framed transfers and motivic fundamental classes

abstract: We relate the recognition principle for infinite $\mathbf P^1$-loop spaces to the theory of motivic fundamental classes of D\'eglise, Jin, and Khan. We first compare two kinds of transfers that are naturally defined on cohomology theories represented by motivic spectra: the framed transfers given by the recognition principle, which arise from Voevodsky's computation of the Nisnevish sheaf associated with $\mathbf A^n/(\mathbf A^n-0)$, and the Gysin transfers defined via Verdier's deformation to the normal cone. We then introduce the category of finite E-correspondences for E a motivic ring spectrum, generalizing Voevodsky's category of finite correspondences and Calm\`es and Fasel's category of finite Milnor-Witt correspondences. Using the formalism of fundamental classes, we show that the natural functor from the category of framed correspondences to the category of E-module spectra factors through the category of finite E-correspondences.


title: Unitarizing non-Minimal Inflation via a Linear Contribution to the Frame Function

abstract: We show that non-minimal inflation, based on the phi^4 potential, may be rendered unitarity conserving and compatible with the Planck results for 4.6x10^(-3)<~r21=c2R/c1R^2<~1, if we introduce a linear contribution (c1R phi) to the frame function which takes the form fR=1+c1R phi+c2R phi^2. Supersymmetrization of this model can be achieved by considering two gauge singlet superfields and combining a linear-quadratic superpotential term, with a class of logarithmic or semi-logarithmic Kaehler potentials with prefactor for the logarithms including the inflaton field -(2n+3) or -2(n+1) where -0.01<~ n<~0.013.


title: Pullbacks of universal Brill-Noether classes via Abel-Jacobi morphisms

abstract: Following Mumford and Chiodo, we compute the Chern character of the derived pushforward $\textrm{ch} (R^\bullet\pi_\ast\mathscr{O}(\mathsf{D}))$, for $\mathsf D$ an arbitrary element of the Picard group of the universal curve over the moduli stack of stable marked curves. This allows us to express the pullback of universal Brill-Noether classes via Abel-Jacobi sections to the compactified universal Jacobians, for all compactifications such that the section is a well-defined morphism.


title: Robust Sensor Fusion for Robot Attitude Estimation

abstract: Knowledge of how a body is oriented relative to the world is frequently invaluable information in the field of robotics. An attitude estimator that fuses 3-axis gyroscope, accelerometer and magnetometer data into a quaternion orientation estimate is presented in this paper. The concept of fused yaw, used by the estimator, is also introduced. The estimator, a nonlinear complementary filter at heart, is designed to be uniformly robust and stable---independent of the absolute orientation of the body---and has been implemented and released as a cross-platform open source C++ library. Extensions to the estimator, such as quick learning and the ability to deal dynamically with cases of reduced sensory information, are also presented.


title: Genus-One String Amplitudes from Conformal Field Theory

abstract: We explore and exploit the relation between non-planar correlators in ${\cal N}=4$ super-Yang-Mills, and higher-genus closed string amplitudes in type IIB string theory. By conformal field theory techniques we construct the genus-one, four-point string amplitude in AdS$_5\times S^5$ in the low-energy expansion, dual to an ${\cal N}=4$ super-Yang-Mills correlator in the 't Hooft limit at order $1/c^2$ in a strong coupling expansion. In the flat space limit, this maps onto the genus-one, four-point scattering amplitude for type II closed strings in ten dimensions. Using this approach we reproduce several results obtained via string perturbation theory. We also demonstrate a novel mechanism to fix subleading terms in the flat space limit of AdS amplitudes by using string/M-theory.


title: Properties of an accretion disc with a power-law stress-pressure relationship

abstract: Recent numerical simulations of magnetized accretion discs show that the radial-azimuthal component of the stress tensor due to the magnetorotational instability (MRI) is well represented by a power-law function of the gas pressure rather than a linear relation which has been used in most of the accretion disc studies. The exponent of this power-law function which depends on the net flux of the imposed magnetic field is reported in the range between zero and unity. However, the physical consequences of this power-law stress-pressure relation within the framework of the standard disc model have not been explored so far. In this study, the structure of an accretion disc with a power-law stress-pressure relation is studied using analytical solutions in the steady-state and time-dependent cases. The derived solutions are applicable to different accreting systems, and as an illustrative example, we explore structure of protoplanetary discs using these solutions. We show that the slopes of the radial surface density and temperature distributions become steeper with decreasing the stress exponent. However, if the disc opacity is dominated by icy grains and value of the stress exponent is less than about $0.5$, the surface density and temperature profiles become so steep that make them unreliable. We also obtain analytical solutions for the protoplanetary discs which are irradiated by the host star. Using these solutions, we find that the effect of the irradiation becomes more significant with decreasing the stress exponent.


title: Black Hole Entropy and the Pseudo Goldstone Bosons of Conformal Symmetry

abstract: The very near horizon regions of nonextremal black holes have a conformal symmetry which is anomalous and spontaneously broken by the Rindler vacuum. Therefore, these black holes can effectively be described by the pseudo Goldstone bosons of conformal symmetry and their Schwarzian action which is determined by the breakdown of the conformal symmetry to $SL(2)$. In Euclidean gravity, the Schwarzian action leads to the Wald entropy of nonextremal black holes. These results are consistent with the neutral limit of near extremal charged black holes described by near $AdS_2$ space--times.


title: Quantum decay law: Critical times and the Equivalence of approaches

abstract: Methods based on the use of Green's functions or the Jost functions and the Fock-Krylov method are apparently very different approaches to understand the time evolution of unstable states. We show that the two former methods are equivalent up to some constants and as an outcome find an analytic expression for the energy density of states in the Fock-Krylov amplitude in terms of the coefficients introduced in the Green's functions and the Jost functions methods. This model-independent density is further used to obtain an analytical expression for the survival amplitude and study its behaviour at large times. Using these expressions, we investigate the origin of the oscillatory behaviour of the decay law in the region of the transition from the exponential to the non-exponential at large times. With the objective to understand the failure of nuclear and particle physics experiments in observing the non-exponential decay law predicted by quantum mechanics for large times, we derive analytical formulae for the critical transition time, $t_c$, from the exponential to the inverse power law behaviour at large times. Evaluating $\tau_c = \Gamma t_c$ for some particle resonances and narrow nuclear states which have been tested experimentally to verify the exponential decay law, we conclude that the large time power law in particle and nuclear decay is hard to find experimentally.


title: Simulating the Hyper-Kamiokande Detectors

abstract: The Hyper-Kamiokande Water-Cherenkov Neutrino Detectors are simulated using Monte-Carlo and analytical methods. A few simple events are also simulated and these preliminary results are presented.


title: Invariance in a class of operations related to weighted quasi-geometric means

abstract: Let $I\subset (0,\infty )$ be an interval that is closed with respect to the multiplication. The operations $C_{f,g}\colon I^{2}\rightarrow I$ of the form \begin{equation*} C_{f,g}\left( x,y\right) =\left( f\circ g\right) ^{-1}\left( f\left( x\right) \cdot g\left( y\right) \right) \text{,} \end{equation*} where $f,g$ are bijections of $I$ are considered. Their connections with generalized weighted quasi-geometric means is presented. It is shown that invariance question within the class of this operations leads to means of iterative type and to a problem on a composite functional equation. An application of the invariance identity to determine effectively the limit of the sequence of iterates of some generalized quasi-geometric mean-type mapping, and the form of all continuous functions which are invariant with respect to this mapping are given. The equality of two considered operations is also discussed.


title: On mixed-mode fracture mechanics models for contact area reduction under shear load in soft materials

abstract: The fundamental problem of friction in the presence of macroscopic adhesion, as in soft bodies, is receiving interest from many experimentalists. Since the first fracture mechanics `purely brittle' model of Savkoor and Briggs, models have been proposed where the mixed mode toughness is interpreted with phenomenological fitting coefficients introducing weaker coupling between modes than expected by the "purely brittle" model. We compare here two such previously proposed models and introduce a third one to show that the transition to sliding is very sensitive to the form of the mixed-mode model. In particular, after a quadratic decay of the contact area with load for modest tangential loads, there could be an inflexion point and an asymptotic limit, or a jump to the Hertzian contact area. We find also that the unstable points are different under load or displacement control. The idea that the mixed mode function and parameter should be an interface property may be erroneous.


title: Optimal Multicast of Tiled 360 VR Video in OFDMA Systems

abstract: In this letter, we study optimal multicast of tiled 360 virtual reality (VR) video from one server (base station or access point) to multiple users in an orthogonal frequency division multiple access (OFDMA) system. For given video quality, we optimize the subcarrier, transmission power and transmission rate allocation to minimize the total transmission power. For given transmission power budget, we optimize the subcarrier, transmission power and transmission rate allocation to maximize the received video quality. These two optimization problems are non-convex problems. We obtain a globally optimal closed-form solution and a near optimal solution of the two problems, separately, both revealing important design insights for multicast of tiled 360 VR video in OFDMA systems.


title: Introducing Noise in Decentralized Training of Neural Networks

abstract: It has been shown that injecting noise into the neural network weights during the training process leads to a better generalization of the resulting model. Noise injection in the distributed setup is a straightforward technique and it represents a promising approach to improve the locally trained models. We investigate the effects of noise injection into the neural networks during a decentralized training process. We show both theoretically and empirically that noise injection has no positive effect in expectation on linear models, though. However for non-linear neural networks we empirically show that noise injection substantially improves model quality helping to reach a generalization ability of a local model close to the serial baseline.


title: Definition and evaluation of model-free coordination of electrical vehicle charging with reinforcement learning

abstract: Initial DR studies mainly adopt model predictive control and thus require accurate models of the control problem (e.g., a customer behavior model), which are to a large extent uncertain for the EV scenario. Hence, model-free approaches, especially based on reinforcement learning (RL) are an attractive alternative. In this paper, we propose a new Markov decision process (MDP) formulation in the RL framework, to jointly coordinate a set of EV charging stations. State-of-the-art algorithms either focus on a single EV, or perform the control of an aggregate of EVs in multiple steps (e.g., aggregate load decisions in one step, then a step translating the aggregate decision to individual connected EVs). On the contrary, we propose an RL approach to jointly control the whole set of EVs at once. We contribute a new MDP formulation, with a scalable state representation that is independent of the number of EV charging stations. Further, we use a batch reinforcement learning algorithm, i.e., an instance of fitted Q-iteration, to learn the optimal charging policy. We analyze its performance using simulation experiments based on a real-world EV charging data. More specifically, we (i) explore the various settings in training the RL policy (e.g., duration of the period with training data), (ii) compare its performance to an oracle all-knowing benchmark (which provides an upper bound for performance, relying on information that is not available or at least imperfect in practice), (iii) analyze performance over time, over the course of a full year to evaluate possible performance fluctuations (e.g, across different seasons), and (iv) demonstrate the generalization capacity of a learned control policy to larger sets of charging stations.


title: Supervised Nonnegative Matrix Factorization to Predict ICU Mortality Risk

abstract: ICU mortality risk prediction is a tough yet important task. On one hand, due to the complex temporal data collected, it is difficult to identify the effective features and interpret them easily; on the other hand, good prediction can help clinicians take timely actions to prevent the mortality. These correspond to the interpretability and accuracy problems. Most existing methods lack of the interpretability, but recently Subgraph Augmented Nonnegative Matrix Factorization (SANMF) has been successfully applied to time series data to provide a path to interpret the features well. Therefore, we adopted this approach as the backbone to analyze the patient data. One limitation of the raw SANMF method is its poor prediction ability due to its unsupervised nature. To deal with this problem, we proposed a supervised SANMF algorithm by integrating the logistic regression loss function into the NMF framework and solved it with an alternating optimization procedure. We used the simulation data to verify the effectiveness of this method, and then we applied it to ICU mortality risk prediction and demonstrated its superiority over other conventional supervised NMF methods.


title: Cancer classification and pathway discovery using non-negative matrix factorization

abstract: Extracting genetic information from a full range of sequencing data is important for understanding diseases. We propose a novel method to effectively explore the landscape of genetic mutations and aggregate them to predict cancer type. We used multinomial logistic regression, nonsmooth non-negative matrix factorization (nsNMF), and support vector machine (SVM) to utilize the full range of sequencing data, aiming at better aggregating genetic mutations and improving their power in predicting cancer types. Specifically, we introduced a classifier to distinguish cancer types using somatic mutations obtained from whole-exome sequencing data. Mutations were identified from multiple cancers and scored using SIFT, PP2, and CADD, and grouped at the individual gene level. The nsNMF was then applied to reduce dimensionality and to obtain coefficient and basis matrices. A feature matrix was derived from the obtained matrices to train a classifier for cancer type classification with the SVM model. We have demonstrated that the classifier was able to distinguish the cancer types with reasonable accuracy. In five-fold cross-validations using mutation counts as features, the average prediction accuracy was 77.1% (SEM=0.1%), significantly outperforming baselines and outperforming models using mutation scores as features. Using the factor matrices derived from the nsNMF, we identified multiple genes and pathways that are significantly associated with each cancer type. This study presents a generic and complete pipeline to study the associations between somatic mutations and cancers. The discovered genes and pathways associated with each cancer type can lead to biological insights. The proposed method can be adapted to other studies for disease classification and pathway discovery.


title: A New Class of Monotone/Convex Rational Fractal Function

abstract: This paper presents a description and analysis of a rational cubic spline FIF (RCSFIF) that has two shape parameters in each subinterval when it is defined implicitly. To be precise, we consider the iterated function system (IFS) with $q_n=\frac{P_n}{Q_n}$, $n \in \mathbb{N}_{N-1}$, where $P_n(x)$ are cubic polynomials to be determined through interpolatory conditions of the corresponding FIF and $Q_n(x)$ are preassigned quadratic polynomials each containing two free shape/rationality parameters. We establish the convergence of the proposed RCSFIF $g$ to the original function $\Phi \in \mathcal{C}^3(I)$ with respect to the uniform norm. We also provide the sufficient conditions for an automatic selection of the rational IFS parameters to preserve monotonicity and convexity of a prescribed set of data points. We consider some examples to illustrate the developed fractal interpolation scheme and its shape preserving aspects.


title: Simultaneous Spectral and Spatial Modelling of Young Pulsar Wind Nebulae

abstract: We model the morphology and spectrum of a pulsar wind nebula using a leptonic emission code. This code is a time-dependent, multi-zone model that investigates the changes in the particle spectrum as they traverse the nebula. We calculate the synchrotron and inverse Compton emissivities at different positions in the nebula, obtaining the surface brightness versus the radius, and also the size of the nebula as a function of energy. We incorporate a time and spatially-dependent $B$-field, spatially-dependent bulk particle speed implying convection and adiabatic losses, diffusion, as well as radiative losses. We calibrate our new model using two independent models. We then apply the model to PWN G0.9+0.1 and show that simultaneously fitting the spectral energy distribution and the energy-dependent source size may lead to constraints on several model parameters pertaining to the spatial properties of the PWN.


title: Gibbs phenomenon and the emergence of the steady-state in quantum transport

abstract: Simulations are increasingly employing explicit reservoirs - internal, finite regions - to drive electronic or particle transport. This naturally occurs in simulations of transport via ultracold atomic gases. Whether the simulation is numerical or physical, these approaches rely on the rapid development of the steady state. We demonstrate that steady state formation is a manifestation of the Gibbs phenomenon well-known in signal processing and in truncated discrete Fourier expansions. Each particle separately develops into an individual steady state due to the spreading of its wave packet in energy. The rise to the steady state for an individual particle depends on the particle energy - and thus can be slow - and ringing oscillations appear due to filtering of the response through the electronic bandwidth. However, the rise to the total steady state - the one from all particles - is rapid, with timescale $\pi/W$, where $W$ is the bandwidth. Ringing oscillations are now also filtered through the bias window, and they decay with a higher power. The Gibbs constant - the overshoot of the first ring - can appear in the simulation error. These results shed light on the formation of the steady state and support the practical use of explicit reservoirs to simulate transport at the nanoscale or using ultracold atomic lattices.


title: 6D attractors and black hole microstates

abstract: We find a family of AdS$_2\times \mathcal{M}_4$ supersymmetric solutions of the six-dimensional $\mathrm{F}(4)$ gauged supergravity coupled to one vector multiplet that arises as a low energy description of massive type IIA supergravity on (warped) AdS$_6\times S^4$. $\mathcal{M}_4$ is either a K\"ahler-Einstein manifold or a product of two Riemann surfaces with a constant curvature metric. These solutions correspond to the near-horizon region of a family of static magnetically charged black holes. In the case where $\mathcal{M}_4$ is a product of Riemann surfaces, we successfully compare their entropy to a microscopic counting based on the recently computed topologically twisted index of the five-dimensional $\mathcal{N}=1$ $\mathrm{USp}(2 N)$ theory with $N_f$ fundamental flavors and an antisymmetric matter field. Furthermore, our results suggest that the near-horizon regions exhibit an attractor mechanism for the scalars in the matter coupled $\mathrm{F}(4)$ gauged supergravity, and we give a proposal for it.


title: Quantum criticality preempted by nematicity

abstract: Exotic physics often emerges around quantum criticality in metallic systems. Here we explore the nature of topological phase transitions between 3D double-Weyl semimetals and insulators (through annihilating double-Weyl nodes with opposite chiralities) in the presence of Coulomb interactions. From renormalization-group (RG) analysis, we find a non-Fermi-liquid quantum critical point (QCP) between the double-Weyl semimetals and insulators when artificially neglecting short-range interactions. However, it is shown that this non-Fermi-liquid QCP is actually unstable against nematic ordering when short-range interactions are correctly included in the RG analysis. In other words, the putative QCP between the semimetals and insulators is preempted by emergence of nematic phases when Coulomb interactions are present. We further discuss possible experimental relevance of the nematicity-preempted QCP to double-Weyl candidate materials HgCr2Se4 and SrSi2.