Showing 1–50 of 95 results for author: Berman, D

A 2-Person Game Decomposing 2-Manifolds

Authors: David R. Berman, Lee O. Leonard

Abstract: Two players play a game by alternately splitting a surface of a compact $2$-manifold along a simple closed curve that is not null-homotopic and attaching disks to the resulting boundary; the last player who can move wins. Starting from an orientable surface, the $G$-series is $01\dot{2}\dot{0}$ according to increasing genus. Starting from a nonorientable surface, the $G$-series is… ▽ More Two players play a game by alternately splitting a surface of a compact $2$-manifold along a simple closed curve that is not null-homotopic and attaching disks to the resulting boundary; the last player who can move wins. Starting from an orientable surface, the $G$-series is $01\dot{2}\dot{0}$ according to increasing genus. Starting from a nonorientable surface, the $G$-series is $012\dot{4}60\dot{3}$ according to increasing genus. Nim addition determines the $G$-values of the remaining compact $2$-manifolds. △ Less

Submitted 30 June, 2024; originally announced July 2024.

Comments: 12 pages. To be submitted to the Bulletin of The Institute for Combinatorics and its Applications

NCoder -- A Quantum Field Theory approach to encoding data

Authors: David S. Berman, Marc S. Klinger, Alexander G. Stapleton

Abstract: In this paper we present a novel approach to interpretable AI inspired by Quantum Field Theory (QFT) which we call the NCoder. The NCoder is a modified autoencoder neural network whose latent layer is prescribed to be a subset of $n$-point correlation functions. Regarding images as draws from a lattice field theory, this architecture mimics the task of perturbatively constructing the effective act… ▽ More In this paper we present a novel approach to interpretable AI inspired by Quantum Field Theory (QFT) which we call the NCoder. The NCoder is a modified autoencoder neural network whose latent layer is prescribed to be a subset of $n$-point correlation functions. Regarding images as draws from a lattice field theory, this architecture mimics the task of perturbatively constructing the effective action of the theory order by order in an expansion using Feynman diagrams. Alternatively, the NCoder may be regarded as simulating the procedure of statistical inference whereby high dimensional data is first summarized in terms of several lower dimensional summary statistics (here the $n$-point correlation functions), and subsequent out-of-sample data is generated by inferring the data generating distribution from these statistics. In this way the NCoder suggests a fascinating correspondence between perturbative renormalizability and the sufficiency of models. We demonstrate the efficacy of the NCoder by applying it to the generation of MNIST images, and find that generated images can be correctly classified using only information from the first three $n$-point functions of the image distribution. △ Less

Submitted 10 July, 2024; v1 submitted 1 February, 2024; originally announced February 2024.

Comments: 29 pages. v2 Fixed minor typos

SVNR: Spatially-variant Noise Removal with Denoising Diffusion

Authors: Naama Pearl, Yaron Brodsky, Dana Berman, Assaf Zomet, Alex Rav Acha, Daniel Cohen-Or, Dani Lischinski

Abstract: Denoising diffusion models have recently shown impressive results in generative tasks. By learning powerful priors from huge collections of training images, such models are able to gradually modify complete noise to a clean natural image via a sequence of small denoising steps, seemingly making them well-suited for single image denoising. However, effectively applying denoising diffusion models to… ▽ More Denoising diffusion models have recently shown impressive results in generative tasks. By learning powerful priors from huge collections of training images, such models are able to gradually modify complete noise to a clean natural image via a sequence of small denoising steps, seemingly making them well-suited for single image denoising. However, effectively applying denoising diffusion models to removal of realistic noise is more challenging than it may seem, since their formulation is based on additive white Gaussian noise, unlike noise in real-world images. In this work, we present SVNR, a novel formulation of denoising diffusion that assumes a more realistic, spatially-variant noise model. SVNR enables using the noisy input image as the starting point for the denoising diffusion process, in addition to conditioning the process on it. To this end, we adapt the diffusion process to allow each pixel to have its own time embedding, and propose training and inference schemes that support spatially-varying time maps. Our formulation also accounts for the correlation that exists between the condition image and the samples along the modified diffusion process. In our experiments we demonstrate the advantages of our approach over a strong diffusion model baseline, as well as over a state-of-the-art single image denoising method. △ Less

Submitted 28 June, 2023; originally announced June 2023.

Bayesian Renormalization

Authors: David S. Berman, Marc S. Klinger, Alexander G. Stapleton

Abstract: In this note we present a fully information theoretic approach to renormalization inspired by Bayesian statistical inference, which we refer to as Bayesian Renormalization. The main insight of Bayesian Renormalization is that the Fisher metric defines a correlation length that plays the role of an emergent RG scale quantifying the distinguishability between nearby points in the space of probabilit… ▽ More In this note we present a fully information theoretic approach to renormalization inspired by Bayesian statistical inference, which we refer to as Bayesian Renormalization. The main insight of Bayesian Renormalization is that the Fisher metric defines a correlation length that plays the role of an emergent RG scale quantifying the distinguishability between nearby points in the space of probability distributions. This RG scale can be interpreted as a proxy for the maximum number of unique observations that can be made about a given system during a statistical inference experiment. The role of the Bayesian Renormalization scheme is subsequently to prepare an effective model for a given system up to a precision which is bounded by the aforementioned scale. In applications of Bayesian Renormalization to physical systems, the emergent information theoretic scale is naturally identified with the maximum energy that can be probed by current experimental apparatus, and thus Bayesian Renormalization coincides with ordinary renormalization. However, Bayesian Renormalization is sufficiently general to apply even in circumstances in which an immediate physical scale is absent, and thus provides an ideal approach to renormalization in data science contexts. To this end, we provide insight into how the Bayesian Renormalization scheme relates to existing methods for data compression and data generation such as the information bottleneck and the diffusion learning paradigm. We conclude by designing an explicit form of Bayesian Renormalization inspired by Wilson's momentum shell renormalization scheme in Quantum Field Theory. We apply this Bayesian Renormalization scheme to a simple Neural Network and verify the sense in which it organizes the parameters of the model according to a hierarchy of information theoretic importance. △ Less

Submitted 9 October, 2023; v1 submitted 17 May, 2023; originally announced May 2023.

Comments: 20 pages, no figures. V2: Citation format fixed, references added. V3: Journal accepted version, new Section 4 includes fully worked implementation of Bayesian Renormalization to a Neural Network, 30 pages, 2 tables, 5 figures

PASSAGES: the wide-ranging, extreme intrinsic properties of Planck-selected, lensed dusty star-forming galaxies

Authors: Patrick S. Kamieneski, Min S. Yun, Kevin C. Harrington, James D. Lowenthal, Q. Daniel Wang, Brenda L. Frye, Eric F. Jimenez-Andrade, Amit Vishwas, Olivia Cooper, Massimo Pascale, Nicholas Foo, Derek Berman, Anthony Englert, Carlos Garcia Diaz

Abstract: The PASSAGES ($Planck$ All-Sky Survey to Analyze Gravitationally-lensed Extreme Starbursts) collaboration has recently defined a sample of 30 gravitationally-lensed dusty star-forming galaxies (DSFGs). These rare, submillimeter-selected objects enable high-resolution views of the most extreme sites of star formation in galaxies at Cosmic Noon. Here, we present the first major compilation of strong… ▽ More The PASSAGES ($Planck$ All-Sky Survey to Analyze Gravitationally-lensed Extreme Starbursts) collaboration has recently defined a sample of 30 gravitationally-lensed dusty star-forming galaxies (DSFGs). These rare, submillimeter-selected objects enable high-resolution views of the most extreme sites of star formation in galaxies at Cosmic Noon. Here, we present the first major compilation of strong lensing analyses using LENSTOOL for PASSAGES, including 15 objects spanning $z=1.1-3.3$, using complementary information from $0.6^{\prime\prime}$-resolution 1 mm Atacama Large Millimeter/submillimeter Array (ALMA) and $0.4^{\prime\prime}$ 5 cm Jansky Very Large Array continuum imaging, in tandem with 1.6$μ$m $Hubble$ and optical imaging with Gemini-S. Magnifications range from $μ= 2 - 28$ (median $μ=7$), yielding intrinsic infrared luminosities of $L_{\rm IR} = 0.2 - 5.9 \times 10^{13}~L_\odot$ (median ${1.4}\times 10^{13}~L_\odot$) and inferred star formation rates of $170-6300~M_\odot~{\rm yr}^{-1}$ (median $1500~M_\odot~{\rm yr}^{-1}$). These results suggest that the PASSAGES objects comprise some of the most extreme known starbursts, rivaling the luminosities of even the brightest unlensed objects, further amplified by lensing. The intrinsic sizes of far-infrared continuum regions are large ($R_{\rm e} = {1.7 - 4.3}$ kpc; median $3.0$ kpc) but consistent with $L_{\rm IR}-R_{\rm e}$ scaling relations for $z>1$ DSFGs, suggesting a widespread spatial distribution of star formation. With modestly-high angular resolution, we explore if these objects might be maximal starbursts. Instead of approaching Eddington-limited surface densities, above which radiation pressure will disrupt further star formation, they are safely sub-Eddington -- at least on global, galaxy-integrated scales. △ Less

Submitted 23 January, 2023; originally announced January 2023.

Comments: 48 pages, 12 figures, 6 tables. Submitted to ApJ

The Inverse of Exact Renormalization Group Flows as Statistical Inference

Authors: David S. Berman, Marc S. Klinger

Abstract: We build on the view of the Exact Renormalization Group (ERG) as an instantiation of Optimal Transport described by a functional convection-diffusion equation. We provide a new information theoretic perspective for understanding the ERG through the intermediary of Bayesian Statistical Inference. This connection is facilitated by the Dynamical Bayesian Inference scheme, which encodes Bayesian infer… ▽ More We build on the view of the Exact Renormalization Group (ERG) as an instantiation of Optimal Transport described by a functional convection-diffusion equation. We provide a new information theoretic perspective for understanding the ERG through the intermediary of Bayesian Statistical Inference. This connection is facilitated by the Dynamical Bayesian Inference scheme, which encodes Bayesian inference in the form of a one parameter family of probability distributions solving an integro-differential equation derived from Bayes' law. In this note, we demonstrate how the Dynamical Bayesian Inference equation is, itself, equivalent to a diffusion equation which we dub Bayesian Diffusion. Identifying the features that define Bayesian Diffusion, and map** them onto the features that define the ERG, we obtain a dictionary outlining how renormalization can be understood as the inverse of statistical inference. △ Less

Submitted 1 May, 2024; v1 submitted 21 December, 2022; originally announced December 2022.

Comments: 52 pages, 3 tables. V2 Minor revisions, matches the published version of the text

Journal ref: Entropy 2024, 26, 389

Twisted Self-duality

Authors: David S. Berman, Tancredi Schettini Gherardini

Abstract: We examine a generalisation of the usual self-duality equations for Yang-Mills theory when the colour space admits a non-trivial involution. This involution allows us to construct a non-trivial twist which may be combined with the Hodge star to form a twisted self-dual curvature. We will construct a simple example of twisted self-duality for $su(2) \oplus su(2)$ gauge theory along with its explici… ▽ More We examine a generalisation of the usual self-duality equations for Yang-Mills theory when the colour space admits a non-trivial involution. This involution allows us to construct a non-trivial twist which may be combined with the Hodge star to form a twisted self-dual curvature. We will construct a simple example of twisted self-duality for $su(2) \oplus su(2)$ gauge theory along with its explicit solutions and then dimensionally reduce from four dimensions to obtain families of non-trivial non-linear equations in lower dimensions. This twisted self-duality constraint will be shown to arise in E_7 exceptional field theory through a Scherk-Schwarz reduction and we will show how an Eguchi-Hanson gravitational instanton also obeys the twisted self-duality condition. △ Less

Submitted 14 September, 2022; v1 submitted 21 August, 2022; originally announced August 2022.

Comments: 27 pages, plain LaTeX, v2 minor typos corrected

PASSAGES: The Large Millimeter Telescope and ALMA Observations of Extremely Luminous High Redshift Galaxies Identified by the Planck

Authors: Derek A. Berman, Min S. Yun, K. C. Harrington, P. Kamieneski, J. Lowenthal, B. L. Frye, Q. D. Wang, G. W. Wilson, I. Aretxaga, M. Chavez, R. Cybulski, V. De la Luz, N. Erickson, D. Ferrusca, D. H. Hughes, A. Montaña, G. Narayanan, D. Sánchez-Argüelles, F. P. Schloerb, K. Souccar, E. Terlevich, R. Terlevich, A. Zavala

Abstract: The Planck All-Sky Survey to Analyze Gravitationally-lensed Extreme Starbursts (PASSAGES) project aims to identify a population of extremely luminous galaxies using the Planck All-Sky Survey and to explore the nature of their gas fuelling, induced starburst, and the resulting feedback that shape their evolution. Here, we report the identification of 22 high redshift luminous dusty star forming gal… ▽ More The Planck All-Sky Survey to Analyze Gravitationally-lensed Extreme Starbursts (PASSAGES) project aims to identify a population of extremely luminous galaxies using the Planck All-Sky Survey and to explore the nature of their gas fuelling, induced starburst, and the resulting feedback that shape their evolution. Here, we report the identification of 22 high redshift luminous dusty star forming galaxies (DSFGs) at $z=1.1-3.3$ drawn from a candidate list constructed using the Planck Catalog of Compact Sources (PCCS) and WISE All-Sky Survey. They are confirmed through follow-up dust continuum imaging and CO spectroscopy using AzTEC and the Redshift Search Receiver (RSR) on the Large Millimeter Telescope Alfonso Serrano (LMT). Their apparent IR luminosities span $(0.1-3.1)\times 10^{14} L_\odot$ (median of $1.2\times10^{14}L_\odot$), making them some of the most luminous galaxies found so far. They are also some of the rarest objects in the sky with a source density of $\lesssim0.01$ deg$^{-2}$. Our Atacama Large Millimeter/submillimeter Array (ALMA) 1.1 mm continuum observations with $θ$ $\approx$ 0.4" resolution show clear ring or arc morphologies characteristic of strong lensing. Their lensing-corrected luminosity of $L_{\rm IR}\gtrsim 10^{13}L_\odot$ ($SFR\gtrsim10^3 M_\odot$ yr$^{-1}$) indicates that they are the magnified versions of the most intrinsically luminous DSFGs found at these redshifts. Our spectral energy distribution (SED) analysis finds little detectable AGN activity despite their enormous luminosity, and any AGN activity present must be extremely heavily obscured. △ Less

Submitted 31 May, 2022; originally announced June 2022.

Comments: Page count = 28. Figure count = 15. Table count = 6. This paper has been accepted and will be published in Monthly Notices of the Royal Astronomical Society (MNRAS)

On the Dynamics of Inference and Learning

Authors: David S. Berman, Jonathan J. Heckman, Marc Klinger

Abstract: Statistical Inference is the process of determining a probability distribution over the space of parameters of a model given a data set. As more data becomes available this probability distribution becomes updated via the application of Bayes' theorem. We present a treatment of this Bayesian updating process as a continuous dynamical system. Statistical inference is then governed by a first order… ▽ More Statistical Inference is the process of determining a probability distribution over the space of parameters of a model given a data set. As more data becomes available this probability distribution becomes updated via the application of Bayes' theorem. We present a treatment of this Bayesian updating process as a continuous dynamical system. Statistical inference is then governed by a first order differential equation describing a trajectory or flow in the information geometry determined by a parametric family of models. We solve this equation for some simple models and show that when the Cramér-Rao bound is saturated the learning rate is governed by a simple $1/T$ power-law, with $T$ a time-like variable denoting the quantity of data. The presence of hidden variables can be incorporated in this setting, leading to an additional driving term in the resulting flow equation. We illustrate this with both analytic and numerical examples based on Gaussians and Gaussian Random Processes and inference of the coupling constant in the 1D Ising model. Finally we compare the qualitative behaviour exhibited by Bayesian flows to the training of various neural networks on benchmarked data sets such as MNIST and CIFAR10 and show how that for networks exhibiting small final losses the simple power-law is also satisfied. △ Less

Submitted 19 April, 2022; originally announced April 2022.

Comments: 37 pages, 6 figures

A three-stage magnetic phase transition revealed in ultrahigh-quality van der Waals magnet CrSBr

Authors: Wenhao Liu, Xiaoyu Guo, Jonathan Schwartz, Hongchao Xie, Nikhil Dhale, Suk Hyun Sung, Aswin L. N. Kondusamy, Xiqu Wang, Haonan Zhao, Diana Berman, Robert Hovden, Liuyan Zhao, Bing Lv

Abstract: van der Waals (vdW) magnets are receiving ever-growing attention nowadays due to their significance in both fundamental research on low-dimensional magnetism and potential applications in spintronic devices. High crystalline quality of vdW magnets is key for maintaining intrinsic magnetic and electronic properties, especially when exfoliated down to the 2D limit. Here, ultrahigh-quality air-stable… ▽ More van der Waals (vdW) magnets are receiving ever-growing attention nowadays due to their significance in both fundamental research on low-dimensional magnetism and potential applications in spintronic devices. High crystalline quality of vdW magnets is key for maintaining intrinsic magnetic and electronic properties, especially when exfoliated down to the 2D limit. Here, ultrahigh-quality air-stable vdW CrSBr crystals are synthesized using the direct vapor-solid synthesis method. The high single crystallinity and spatial homogeneity have been thoroughly evidenced at length scales from sub-mm to atomic resolution by X-ray diffraction, second harmonic generation, and scanning transmission electron microscopy. More importantly, specific heat measurements of these ultrahigh quality CrSBr crystals show three thermodynamic anomalies at 185K, 156K, and 132K, revealing a stage-by-stage development of the magnetic order upon cooling, which is also corroborated with the magnetization and transport results. Our ultrahigh-quality CrSBr can further be exfoliated down to monolayers and bilayers easily, paving the way to integrate them into heterostructures for spintronic and magneto-optoelectronic applications. △ Less

Submitted 17 March, 2022; originally announced March 2022.

Comments: 13 pages, 5 figures

Double copying Exceptional Field theories

Authors: David S. Berman, Kwangeon Kim, Kanghoon Lee

Abstract: We examine exceptional field theory through the lens of the generalised double copy formalism. This allows us to construct classical solutions in M-theory using a generalised Kerr-Schild ansatz and along the way indicates hints towards a single copy of M-theory. Based on a talk at the Nankai Symposium given by DSB. We examine exceptional field theory through the lens of the generalised double copy formalism. This allows us to construct classical solutions in M-theory using a generalised Kerr-Schild ansatz and along the way indicates hints towards a single copy of M-theory. Based on a talk at the Nankai Symposium given by DSB. △ Less

Submitted 26 January, 2022; originally announced January 2022.

Comments: 9 pages, LaTeX. Based on a talk given by DSB at the Nankai Symposium on Mathematical Dialogues, August 2021, on the work first reported in arXiv:2010.08255 [hep-th]

Vacua of $ω$-deformed SO(8) supergravity

Authors: David Berman, Thomas Fischbacher, Gianluca Inverso, Ben Scellier

Abstract: We perform a detailed analysis of the vacua of $ω$-deformed SO(8) supergravity in four dimensions. In particular, using Tensorflow-based numerical methods, we track how the equilibria of the theory change when varying the electric-magnetic deformation parameter $ω$. Apart from describing various properties of different equilibria (390 in total), we show that as $ω$ is deformed, the SO(3), N=1 vacu… ▽ More We perform a detailed analysis of the vacua of $ω$-deformed SO(8) supergravity in four dimensions. In particular, using Tensorflow-based numerical methods, we track how the equilibria of the theory change when varying the electric-magnetic deformation parameter $ω$. Apart from describing various properties of different equilibria (390 in total), we show that as $ω$ is deformed, the SO(3), N=1 vacuum of the de Wit-Nicolai theory becomes equivalent to a critical point in $U(4)\ltimes\mathbb{R}^{12}$ gauged supergravity with a known uplift in IIB supergravity. The procedure employed here to obtain a new gauging with a guaranteed equilibrium is generic and allows one to obtain further admissible noncompact gaugings via $ω$-deformation, all of which have guaranteed critical points, and some of which may be novel upliftable solutions. △ Less

Submitted 11 January, 2022; originally announced January 2022.

Comments: 39 pages plus appendix

Geometric Quantization: Particles, Fields and Strings

Authors: David S Berman, Gabriel Cardoso

Abstract: These notes present an introduction to the method of geometric quantization. We discuss the main theorems in a style suitable for a theoretical physicist with an eye towards the physical motivation and the interpretation of the geometric construction as providing a solution to Dirac's axioms of quantization. We provide in detail the examples of free relativistic particles, their corresponding quan… ▽ More These notes present an introduction to the method of geometric quantization. We discuss the main theorems in a style suitable for a theoretical physicist with an eye towards the physical motivation and the interpretation of the geometric construction as providing a solution to Dirac's axioms of quantization. We provide in detail the examples of free relativistic particles, their corresponding quantum fields, and the bosonic string using formalism of double field theory. Based on lectures written by Gabriel Cardoso. △ Less

Submitted 2 January, 2022; originally announced January 2022.

Ramification and descent in homotopy theory and derived algebraic geometry

Authors: John D. Berman

Abstract: We introduce notions of unramified and totally ramified maps in great generality - for commutative rings, schemes, ring spectra, or derived schemes. We prove that the definition is equivalent to the classical definition in the case of rings of integers in number fields. The new definition leads directly (without computational techniques) to a calculation of topological Hochschild homology for ri… ▽ More We introduce notions of unramified and totally ramified maps in great generality - for commutative rings, schemes, ring spectra, or derived schemes. We prove that the definition is equivalent to the classical definition in the case of rings of integers in number fields. The new definition leads directly (without computational techniques) to a calculation of topological Hochschild homology for rings of integers. We show that THH(R) is the homotopy cofiber of a map $R[ΩS^3]\otimes_RΩ^1_{R/\mathbb{Z}}\to R[ΩS^3\langle 3\rangle]$, so there is a long exact sequence $\cdots\to H_\ast(ΩS^3;Ω^1_{R/\mathbb{Z}})\to H_\ast(ΩS^3\langle 3\rangle;R)\to THH_\ast(R)\to\cdots$. Any time an extension Y/X is a composite of unramified and totally ramified extensions, our results allow for the study of THH(X) in terms of THH(Y) by a kind of weak etale descent (ramified descent). △ Less

Submitted 29 December, 2021; originally announced December 2021.

Comments: 22 pages, comments welcome

Machine Learning Calabi-Yau Hypersurfaces

Authors: David S. Berman, Yang-Hui He, Edward Hirst

Abstract: We revisit the classic database of weighted-P4s which admit Calabi-Yau 3-fold hypersurfaces equipped with a diverse set of tools from the machine-learning toolbox. Unsupervised techniques identify an unanticipated almost linear dependence of the topological data on the weights. This then allows us to identify a previously unnoticed clustering in the Calabi-Yau data. Supervised techniques are succe… ▽ More We revisit the classic database of weighted-P4s which admit Calabi-Yau 3-fold hypersurfaces equipped with a diverse set of tools from the machine-learning toolbox. Unsupervised techniques identify an unanticipated almost linear dependence of the topological data on the weights. This then allows us to identify a previously unnoticed clustering in the Calabi-Yau data. Supervised techniques are successful in predicting the topological parameters of the hypersurface from its weights with an accuracy of R^2 > 95%. Supervised learning also allows us to identify weighted-P4s which admit Calabi-Yau hypersurfaces to 100% accuracy by making use of partitioning supported by the clustering behaviour. △ Less

Submitted 19 January, 2022; v1 submitted 12 December, 2021; originally announced December 2021.

Comments: 32 pages, 43 figures

New N=1 AdS$_4$ solutions of type IIB supergravity

Authors: David Berman, Thomas Fischbacher, Gianluca Inverso

Abstract: We construct analytically a new family of supersymmetric AdS$_4$ solutions of IIB supergravity, with the internal space provided by a deformed $S^5\times S^1$. The solutions preserve N=1 supersymmetry and an SO(3) subgroup of isometries of $S^5$, which is broken to U(1) along a flat direction. They are further parametrised by a winding number and a choice of SL(2) duality twist along the circle in… ▽ More We construct analytically a new family of supersymmetric AdS$_4$ solutions of IIB supergravity, with the internal space provided by a deformed $S^5\times S^1$. The solutions preserve N=1 supersymmetry and an SO(3) subgroup of isometries of $S^5$, which is broken to U(1) along a flat direction. They are further parametrised by a winding number and a choice of SL(2) duality twist along the circle in an elliptic conjugacy class, thus including both globally geometric and S-fold configurations. We identify these solutions by first constructing a new family of vacua of D=4, $U(4)\ltimes\mathbb{R}^{12}$ gauged maximal supergravity and use exceptional field theory to perform the uplift to ten dimensions. We discuss the relevance of D=5 Wilson loops associated to preserved and broken gauge symmetries in the construction of these classes of solutions. △ Less

Submitted 13 March, 2022; v1 submitted 4 November, 2021; originally announced November 2021.

Comments: 28 pages; v2: updated references and simplified expression of mass spectra, matches version to appear in JHEP

The single copy of the gravitational holonomy

Authors: Rashid Alawadhi, David S. Berman, Chris D. White, Sam Wikeley

Abstract: The double copy is a well-established relationship between gravity and gauge theories. It relates perturbative scattering amplitudes as well as classical solutions, and recently there has been mounting evidence that it also applies to non-perturbative information. In this paper, we consider the holonomy properties of manifolds in gravity and prescribe a single copy of gravitational holonomy that d… ▽ More The double copy is a well-established relationship between gravity and gauge theories. It relates perturbative scattering amplitudes as well as classical solutions, and recently there has been mounting evidence that it also applies to non-perturbative information. In this paper, we consider the holonomy properties of manifolds in gravity and prescribe a single copy of gravitational holonomy that differs from the holonomy in gauge theory. We discuss specific cases and give examples where the single copy holonomy group is reduced. Our results may prove useful in extending the classical double copy. We also clarify previous misconceptions in the literature regarding gravitational Wilson lines and holonomy. △ Less

Submitted 2 July, 2021; originally announced July 2021.

Comments: 31 pages, 2 figures

Report number: QMUL-PH-21-31

Double Field Theory and Geometric Quantisation

Authors: Luigi Alfonsi, David S. Berman

Abstract: We examine various properties of double field theory and the doubled string sigma model in the context of geometric quantisation. In particular we look at T-duality as the symplectic transformation related to an alternative choice of polarisation in the construction of the quantum bundle for the string. Following this perspective we adopt a variety of techniques from geometric quantisation to stud… ▽ More We examine various properties of double field theory and the doubled string sigma model in the context of geometric quantisation. In particular we look at T-duality as the symplectic transformation related to an alternative choice of polarisation in the construction of the quantum bundle for the string. Following this perspective we adopt a variety of techniques from geometric quantisation to study the doubled space. One application is the construction of the double coherent state that provides the shortest distance in any duality frame and a stringy deformed Fourier transform. △ Less

Submitted 2 June, 2021; v1 submitted 28 January, 2021; originally announced January 2021.

Comments: 50 pages, LaTex, v2 refrences added, v3 published version

Turbulent Gas in Lensed Planck-selected Starbursts at redshifts 1-3.5

Authors: Kevin C. Harrington, Axel Weiss, Min S. Yun, Benjamin Magnelli, C. E. Sharon, T. K. D. Leung, A. Vishwas, Q. D. Wang, E. F. Jimenez-Andrade, D. T. Frayer, D. Liu, P. Garcia, E. Romano-Diaz, B. L. Frye, S. Jarugula, T. Badescu, D. Berman, H. Dannerbauer, A. Diaz-Sanchez, L. Grassitelli, P. Kamieneski, W. J. Kim, A. Kirkpatrick, J. D. Lowenthal, H. Messias , et al. (4 additional authors not shown)

Abstract: Dusty star-forming galaxies at high redshift (1 < z < 3) represent the most intense star-forming regions in the Universe. Key aspects to these processes are the gas heating and cooling mechanisms. Although it is well known that these galaxies are gas-rich, little is known about the gas excitation conditions. Here we examine these processes in a sample of 24 strongly lensed star-forming galaxies id… ▽ More Dusty star-forming galaxies at high redshift (1 < z < 3) represent the most intense star-forming regions in the Universe. Key aspects to these processes are the gas heating and cooling mechanisms. Although it is well known that these galaxies are gas-rich, little is known about the gas excitation conditions. Here we examine these processes in a sample of 24 strongly lensed star-forming galaxies identified by the \textit{Planck} satellite (LPs) at z ~ 1.1 - 3.5. We analyze 162 CO rotational transitions (ranging from Jupper = 1 - 12) and 37 atomic carbon fine-structure lines ([CI]) in order to characterize the physical conditions of the gas in sample of LPs. We simultaneously fit the CO and [CI] lines, and the dust continuum emission, using two different non-LTE, radiative transfer models. The first model represents a two component gas density, while the second assumes a turbulence driven log-normal gas density distribution. These LPs are among the most gas-rich, infrared (IR) luminous galaxies ever observed ($μ_{\rm L}$L$_{\rm IR(8-1000μm) } \sim 10^{13-14.6} $\Lsun; $< μ_{\rm L}$M$_{\rm ISM}> = 2.7 \pm 1.2 \times 10^{12}$ \Msun, with $μ_{\rm L} \sim 10-30$ the average lens magnification factor). Our results suggest that the turbulent ISM present in the LPs can be well-characterized by a high turbulent velocity dispersion ($<ΔV_{\rm turb}> \sim 100 $ \kms) and gas kinetic temperature to dust temperature ratios $<T_{\rm kin}$/$T_{\rm d}> \sim 2.5$, sustained on scales larger than a few kpc. We speculate that the average surface density of the molecular gas mass and IR luminosity $Σ_{\rm M_{\rm ISM}}$ $\sim 10^{3 - 4}$ \Msun pc$^{-2}$ and $Σ_{\rm L_{\rm IR}}$ $\sim 10^{11 - 12}$ \Lsun kpc$^{-2}$, arise from both stellar mechanical feedback and a steady momentum injection from the accretion of intergalactic gas. △ Less

Submitted 30 October, 2020; originally announced October 2020.

Comments: 54 pages, 18 figures. Accepted for publication in The Astrophysical Journal (as of Oct. 30, 2020). Please feel free to view the supplementary figures here (which can later be found online in the ApJ after the full publication procedure): https://drive.google.com/drive/folders/1CN3rqlUDcNi5JSDH2GhFk_SLSlo10han?usp=sharing

The Classical Double Copy for M-theory from a Kerr-Schild Ansatz for Exceptional Field Theory

Authors: David S. Berman, Kwangeon Kim, Kanghoon Lee

Abstract: We construct the classical double copy formalism for M-theory. This extends the current state of the art by including the three form potential of eleven dimensional supergravity along with the metric. The key for this extension is to construct a Kerr-Schild type Ansatz for exceptional field theory. This Kerr-Schild Ansatz then allows us to find the solutions of charged objects such as the membrane… ▽ More We construct the classical double copy formalism for M-theory. This extends the current state of the art by including the three form potential of eleven dimensional supergravity along with the metric. The key for this extension is to construct a Kerr-Schild type Ansatz for exceptional field theory. This Kerr-Schild Ansatz then allows us to find the solutions of charged objects such as the membrane from a set of single copy fields. The exceptional field theory formalism then automatically produces the IIB Kerr-Schild ansatz allowing the construction of the single copy for the fields of IIB supergravity (with manifest $SL(2)$ symmetry). △ Less

Submitted 16 September, 2021; v1 submitted 16 October, 2020; originally announced October 2020.

Comments: 34 pages; v2: minor changes, references added; v3: JHEP published version

MutaGAN: A Seq2seq GAN Framework to Predict Mutations of Evolving Protein Populations

Authors: Daniel S. Berman, Craig Howser, Thomas Mehoke, Jared D. Evans

Abstract: The ability to predict the evolution of a pathogen would significantly improve the ability to control, prevent, and treat disease. Despite significant progress in other problem spaces, deep learning has yet to contribute to the issue of predicting mutations of evolving populations. To address this gap, we developed a novel machine learning framework using generative adversarial networks (GANs) wit… ▽ More The ability to predict the evolution of a pathogen would significantly improve the ability to control, prevent, and treat disease. Despite significant progress in other problem spaces, deep learning has yet to contribute to the issue of predicting mutations of evolving populations. To address this gap, we developed a novel machine learning framework using generative adversarial networks (GANs) with recurrent neural networks (RNNs) to accurately predict genetic mutations and evolution of future biological populations. Using a generalized time-reversible phylogenetic model of protein evolution with bootstrapped maximum likelihood tree estimation, we trained a sequence-to-sequence generator within an adversarial framework, named MutaGAN, to generate complete protein sequences augmented with possible mutations of future virus populations. Influenza virus sequences were identified as an ideal test case for this deep learning framework because it is a significant human pathogen with new strains emerging annually and global surveillance efforts have generated a large amount of publicly available data from the National Center for Biotechnology Information's (NCBI) Influenza Virus Resource (IVR). MutaGAN generated "child" sequences from a given "parent" protein sequence with a median Levenshtein distance of 2.00 amino acids. Additionally, the generator was able to augment the majority of parent proteins with at least one mutation identified within the global influenza virus population. These results demonstrate the power of the MutaGAN framework to aid in pathogen forecasting with implications for broad utility in evolutionary prediction for any protein population. △ Less

Submitted 26 August, 2020; originally announced August 2020.

Comments: 28 pages, 9 figures, 2 tables, Daniel S. Berman and Craig Howser contributed equally to this work. This paper was submitted to Artificial Intelligence

Enriched infinity categories I: enriched presheaves

Authors: John D. Berman

Abstract: This is the first of a series of papers on enriched infinity categories, seeking to reduce enriched higher category theory to the higher algebra of presentable infinity categories, which is better understood and can be approached via universal properties. In this paper, we introduce enriched presheaves on an enriched infinity category. We prove analogues of most familiar properties of presheaves… ▽ More This is the first of a series of papers on enriched infinity categories, seeking to reduce enriched higher category theory to the higher algebra of presentable infinity categories, which is better understood and can be approached via universal properties. In this paper, we introduce enriched presheaves on an enriched infinity category. We prove analogues of most familiar properties of presheaves. For example, we compute limits and colimits of presheaves, prove that all presheaves are colimits of representable presheaves, and prove a version of the Yoneda lemma. △ Less

Submitted 25 August, 2020; originally announced August 2020.

Comments: 68 pages, comments welcome

Canted Antiferromagnetism in the Quasi-1D Iron Chalcogenide BaFe$_{2}$Se$_{4}$

Authors: Xiaoyuan Liu, Keith M. Taddei, Sheng Li, Wenhao Liu, Nikhil Dhale, Rashad Kadado, Diana Berman, Clarina Dela Cruz, Bing Lv

Abstract: We report the synthesis and physical properties studies of quais-1D iron chalcogenide $\rm BaFe_2Se_4$ which shares the $\rm FeSe_4$ tetrahedra building motif commonly seen in the iron chalcogenide superconductors. A high-quality polycrystalline sample was achieved by solid-state reaction method and characterized by X-ray diffraction, electrical resistivity, magnetic susceptibility and neutron dif… ▽ More We report the synthesis and physical properties studies of quais-1D iron chalcogenide $\rm BaFe_2Se_4$ which shares the $\rm FeSe_4$ tetrahedra building motif commonly seen in the iron chalcogenide superconductors. A high-quality polycrystalline sample was achieved by solid-state reaction method and characterized by X-ray diffraction, electrical resistivity, magnetic susceptibility and neutron diffraction measurements. $\rm BaFe_2Se_4$ is a narrow gap semiconductor that magnetically orders at $\sim$ 310 K. Both neutron powder diffraction results and isothermal M-H loops suggest a canted antiferromagnetic structure where Fe sublattice are antiferromagnetically ordered along the c-axis quasi-1D chain direction, resulting in a net ferromagnetic moment in the perpendicular direction along the a-axis with tilted angle of 18.7$^\circ$ towards the b-axis. △ Less

Submitted 20 August, 2020; originally announced August 2020.

Comments: 8 pages, 4 figures

Journal ref: Phys. Rev. B 102, 180403 (2020)

Weyl doubling

Authors: Rashid Alawadhi, David S. Berman, Bill Spence

Abstract: We study a host of spacetimes where the Weyl curvature may be expressed algebraically in terms of an Abelian field strength. These include Type D spacetimes in four and higher dimensions which obey a simple quadratic relation between the field strength and the Weyl tensor, following the Weyl spinor double copy relation. However, we diverge from the usual double copy paradigm by taking the gauge fi… ▽ More We study a host of spacetimes where the Weyl curvature may be expressed algebraically in terms of an Abelian field strength. These include Type D spacetimes in four and higher dimensions which obey a simple quadratic relation between the field strength and the Weyl tensor, following the Weyl spinor double copy relation. However, we diverge from the usual double copy paradigm by taking the gauge fields to be in the curved spacetime as opposed to an auxiliary flat space. We show how for Gibbons-Hawking spacetimes with more than two centres a generalisation of the Weyl doubling formula is needed by including a derivative-dependent expression which is linear in the Abelian field strength. We also find a type of twisted doubling formula in a case of a manifold with Spin(7) holonomy in eight dimensions. For Einstein Maxwell theories where there is an independent gauge field defined on spacetime, we investigate how the gauge fields determine the Weyl spacetime curvature via a doubling formula. We first show that this occurs for the Reissner-Nordstrom metric in any dimension, and that this generalises to the electrically-charged Born-Infeld solutions. Finally, we consider brane systems in supergravity, showing that a similar doubling formula applies. This Weyl formula is based on the field strength of the p-form potential that minimally couples to the brane and the brane world volume Killing vectors. △ Less

Submitted 18 August, 2020; v1 submitted 7 July, 2020; originally announced July 2020.

Comments: 28 pages. Minor changes. Version to appear in JHEP

Report number: QMUL-PH-20-18

On lax limits in infinity categories

Authors: John D. Berman

Abstract: We introduce partially lax limits of infinity-categories, which interpolate between ordinary limits and lax limits. Most naturally occurring examples of lax limits are only partially lax; we give examples arising from enriched categories and operads. Our main result is a formula for partially lax limits and colimits in terms of the Grothendieck construction. This generalizes a formula of Lurie for… ▽ More We introduce partially lax limits of infinity-categories, which interpolate between ordinary limits and lax limits. Most naturally occurring examples of lax limits are only partially lax; we give examples arising from enriched categories and operads. Our main result is a formula for partially lax limits and colimits in terms of the Grothendieck construction. This generalizes a formula of Lurie for ordinary limits and of Gepner-Haugseng-Nikolaus for fully lax limits. △ Less

Submitted 18 June, 2020; originally announced June 2020.

Comments: 13 pages, comments welcome

The Geometry, Branes and Applications of Exceptional Field Theory

Authors: David S. Berman, Chris D. A. Blair

Abstract: This is a review of exceptional field theory: a generalisation of Kaluza-Klein theory that unifies the metric and $p$-form gauge field degrees of freedom of supergravity into a generalised or extended geometry, whose additional coordinates may be viewed as conjugate to brane winding modes. This unifies the maximal supergravities, treating their previously-hidden exceptional Lie symmetries as a fun… ▽ More This is a review of exceptional field theory: a generalisation of Kaluza-Klein theory that unifies the metric and $p$-form gauge field degrees of freedom of supergravity into a generalised or extended geometry, whose additional coordinates may be viewed as conjugate to brane winding modes. This unifies the maximal supergravities, treating their previously-hidden exceptional Lie symmetries as a fundamental geometric symmetry. Duality orbits of solutions simplify into single objects, that in many cases have simple geometric interpretations, for instance as wave or monopole-type solutions. It also provides a route to explore exotic or non-geometric aspects of M-theory, such as exotic branes, U-folds, and more novel sorts of non-Riemannian spaces. △ Less

Submitted 14 October, 2020; v1 submitted 17 June, 2020; originally announced June 2020.

Comments: 157 pages (including refs), invited review for International Journal of Modern Physics A, v2: refs added + typos fixed, v3: to match published version

Report number: QMUL-PH-20-13

S-duality and the Double Copy

Authors: Rashid Alawadhi, David S. Berman, Bill Spence, David Peinador Veiga

Abstract: The double copy formalism provides an intriguing connection between gauge theories and gravity. It was first demonstrated in the perturbative context of scattering amplitudes but recently the formalism has been applied to exact classical solutions in gauge theories such as the monopole and instanton. In this paper we will investigate how duality symmetries in the gauge theory double copy to grav… ▽ More The double copy formalism provides an intriguing connection between gauge theories and gravity. It was first demonstrated in the perturbative context of scattering amplitudes but recently the formalism has been applied to exact classical solutions in gauge theories such as the monopole and instanton. In this paper we will investigate how duality symmetries in the gauge theory double copy to gravity and relate these to solution generating transformations and the action of $Sl(2,R)$ in general relativity. △ Less

Submitted 26 February, 2020; v1 submitted 15 November, 2019; originally announced November 2019.

Comments: plain latex, 27 pages, v2 Typos corrected and enhanced discussion in parts

Reductions of Exceptional Field Theories

Authors: David S. Berman, Ray Otsuki

Abstract: Double Field Theory (DFT) and Exceptional Field Theory (EFT), collectively called ExFTs, have proven to be a remarkably powerful new framework for string and M-theory. Exceptional field theories were constructed on a case by case basis as often each EFT has its own idiosyncrasies. Intuitively though, an $E_{n-1(n-1)}$ EFT must be contained in an $E_{n(n)}$ ExFT. In this paper we propose a generali… ▽ More Double Field Theory (DFT) and Exceptional Field Theory (EFT), collectively called ExFTs, have proven to be a remarkably powerful new framework for string and M-theory. Exceptional field theories were constructed on a case by case basis as often each EFT has its own idiosyncrasies. Intuitively though, an $E_{n-1(n-1)}$ EFT must be contained in an $E_{n(n)}$ ExFT. In this paper we propose a generalised Kaluza-Klein ansatz to relate different ExFTs. We then discuss in more detail the different aspects of the relationship between various ExFTs including the coordinates, section condition and (pseudo)-Lagrangian densities. For the $E_{8(8)}$ EFT we describe a generalisation of the Mukhi-Papageorgakis mechanism to relate the d = 3 topological term in the $E_{8(8)}$ EFT to a Yang-Mills action in the $E_{7(7)}$ EFT. △ Less

Submitted 26 February, 2020; v1 submitted 14 November, 2019; originally announced November 2019.

Comments: plain latex, 32 pages, v2 typos fixed, v3 some additional discussion, published version

THH and traces of enriched categories

Authors: John D. Berman

Abstract: We prove that topological Hochschild homology (THH) arises from a presheaf of circles on a certain combinatorial category, which gives a universal construction of THH for any enriched infinity category. Our results rely crucially on an elementary, model-independent framework for enriched higher category theory, which may be of independent interest. We prove that topological Hochschild homology (THH) arises from a presheaf of circles on a certain combinatorial category, which gives a universal construction of THH for any enriched infinity category. Our results rely crucially on an elementary, model-independent framework for enriched higher category theory, which may be of independent interest. △ Less

Submitted 4 November, 2019; originally announced November 2019.

Comments: 29 pages, comments welcome

Exotic Branes in M-Theory

Authors: Ray Otsuki, David S. Berman, Edvard T. Musaev

Abstract: We revisit curious objects in string and M-theory called exotic brane---objects that are highly non-perturbative, possessing a tension that scales less than $g_s^{-2}$ and are generically of low-codimension. They are non-geometric in the sense that they are only well-defined locally as supergravity solutions and require duality transformations to patch correctly, in addition to the usual diffeomor… ▽ More We revisit curious objects in string and M-theory called exotic brane---objects that are highly non-perturbative, possessing a tension that scales less than $g_s^{-2}$ and are generically of low-codimension. They are non-geometric in the sense that they are only well-defined locally as supergravity solutions and require duality transformations to patch correctly, in addition to the usual diffeomorphisms and gauge transformations. We argue that Double Field Theory (DFT) and Exceptional Field Theory (EFT) are the prime setting in which to examine such objects. To emphasise this, we construct an explicit solution in $E_{7(7)} \times \mathbb{R}^+$ EFT that unifies many of the codimension-2 exotic branes into a single well-behaved solution on an extended spacetime. We further argue that there are in fact an infinite number of exotic branes in string- and M-theory, many of which fall into a more general class of exotic branes that do not afford even a local description in terms of conventional supergravity. △ Less

Submitted 25 March, 2019; originally announced March 2019.

Comments: Contribution to the proceedings of the workshop "Dualities and Generalized Geometries", Corfu Summer Institute 2018. 23 pages, 1 figure

Higher Lawvere theories

Authors: John D. Berman

Abstract: We survey Lawvere theories at the level of infinity categories, as an alternative framework for higher algebra (rather than infinity operads). From a pedagogical perspective, they make many key definitions and constructions less technical. They are also better-suited than operads for equivariant homotopy theory and its relatives. Our main result establishes a universal property for the infinity… ▽ More We survey Lawvere theories at the level of infinity categories, as an alternative framework for higher algebra (rather than infinity operads). From a pedagogical perspective, they make many key definitions and constructions less technical. They are also better-suited than operads for equivariant homotopy theory and its relatives. Our main result establishes a universal property for the infinity category of Lawvere theories, which completely characterizes the relationship between a Lawvere theory and its infinity category of models. Many familiar properties of Lawvere theories follow directly. As a consequence, we prove that the Burnside category is a classifying object for additive categories, as promised in an earlier paper, and as part of a more general correspondence between enriched Lawvere theories and module Lawvere theories. △ Less

Submitted 7 March, 2019; originally announced March 2019.

Comments: 19 pages, comments welcome

A Kaluza-Klein Approach to Double and Exceptional Field Theory

Authors: David S. Berman

Abstract: We examine the challenge of viewing all the fields in supergravity as arising from a Kaluza-Klein like dimensional reduction of some higher-dimensional theory. This gives rise to what is known as exceptional field theory or double field theory. A particular emphasis is placed on following the Kaluza-Klein intuition leading to the identification of charged states and a reinterpretation of the centr… ▽ More We examine the challenge of viewing all the fields in supergravity as arising from a Kaluza-Klein like dimensional reduction of some higher-dimensional theory. This gives rise to what is known as exceptional field theory or double field theory. A particular emphasis is placed on following the Kaluza-Klein intuition leading to the identification of charged states and a reinterpretation of the central charges. We further give a description of the novel extended geometry as a generalised phase space and the relationship to string and M-theory theory and the notion of quantization △ Less

Submitted 7 March, 2019; originally announced March 2019.

Comments: 19 pages, Contribution to Proceedings of LMS/EPSRC Durham Symposium Higher Structures in M-Theory, August 2018

Non-Riemannian geometry of M-theory

Authors: David S. Berman, Chris D. A. Blair, Ray Otsuki

Abstract: We construct a background for M-theory that is moduli free. This background is then shown to be related to a topological phase of the $\mathrm{E}_{8(8)}$ exceptional field theory (ExFT). The key ingredient in the construction is the embedding of non-Riemannian geometry in ExFT. This allows one to describe non-relativistic geometries, such as Newton-Cartan or Gomis-Ooguri-type limits, using the ExF… ▽ More We construct a background for M-theory that is moduli free. This background is then shown to be related to a topological phase of the $\mathrm{E}_{8(8)}$ exceptional field theory (ExFT). The key ingredient in the construction is the embedding of non-Riemannian geometry in ExFT. This allows one to describe non-relativistic geometries, such as Newton-Cartan or Gomis-Ooguri-type limits, using the ExFT framework originally developed to describe maximal supergravity. This generalises previous work by Morand and Park in the context of double field theory. △ Less

Submitted 1 August, 2019; v1 submitted 5 February, 2019; originally announced February 2019.

Comments: 46 pages + appendices, v2: refs added, v3: matches published version

Report number: QMUL-PH-19-04

Euler characteristic and homotopy cardinality

Authors: John D. Berman

Abstract: Baez asks whether the Euler characteristic (defined for spaces with finite homology) can be reconciled with the homotopy cardinality (defined for spaces with finite homotopy). We consider the smallest infinity category $\text{Top}^\text{rx}$ containing both these classes of spaces and closed under homotopy pushout squares. In our main result, we compute the K-theory $K_0(\text{Top}^\text{rx})$, wh… ▽ More Baez asks whether the Euler characteristic (defined for spaces with finite homology) can be reconciled with the homotopy cardinality (defined for spaces with finite homotopy). We consider the smallest infinity category $\text{Top}^\text{rx}$ containing both these classes of spaces and closed under homotopy pushout squares. In our main result, we compute the K-theory $K_0(\text{Top}^\text{rx})$, which is freely generated by equivalence classes of connected p-finite spaces, as p ranges over all primes. This provides a negative answer to Baez's question globally, but a positive answer when we restrict attention to a prime. △ Less

Submitted 28 June, 2019; v1 submitted 18 November, 2018; originally announced November 2018.

Comments: 15 pages, added citations since last update, comments welcome

Euler Characteristics of Finite Homotopy Colimits

Authors: John D. Berman

Abstract: In this short note, we provide a calculation of the Euler characteristic of a finite homotopy colimit of finite cell complexes, which depends only on the Euler characteristics of each space and resembles Mobius inversion. Versions of the result are known when the colimit is indexed by a finite category, but the behavior is more uniform when we index by finite quasicategories instead. The formula s… ▽ More In this short note, we provide a calculation of the Euler characteristic of a finite homotopy colimit of finite cell complexes, which depends only on the Euler characteristics of each space and resembles Mobius inversion. Versions of the result are known when the colimit is indexed by a finite category, but the behavior is more uniform when we index by finite quasicategories instead. The formula simultaneously generalizes the additive formula for Euler characteristic of a homotopy pushout and the multiplicative formula for Euler characteristic of a fiber bundle. △ Less

Submitted 6 November, 2018; originally announced November 2018.

Comments: 5 pages, comments welcome

Underwater Single Image Color Restoration Using Haze-Lines and a New Quantitative Dataset

Authors: Dana Berman, Deborah Levy, Shai Avidan, Tali Treibitz

Abstract: Underwater images suffer from color distortion and low contrast, because light is attenuated while it propagates through water. Attenuation under water varies with wavelength, unlike terrestrial images where attenuation is assumed to be spectrally uniform. The attenuation depends both on the water body and the 3D structure of the scene, making color restoration difficult. Unlike existing single… ▽ More Underwater images suffer from color distortion and low contrast, because light is attenuated while it propagates through water. Attenuation under water varies with wavelength, unlike terrestrial images where attenuation is assumed to be spectrally uniform. The attenuation depends both on the water body and the 3D structure of the scene, making color restoration difficult. Unlike existing single underwater image enhancement techniques, our method takes into account multiple spectral profiles of different water types. By estimating just two additional global parameters: the attenuation ratios of the blue-red and blue-green color channels, the problem is reduced to single image dehazing, where all color channels have the same attenuation coefficients. Since the water type is unknown, we evaluate different parameters out of an existing library of water types. Each type leads to a different restored image and the best result is automatically chosen based on color distribution. We collected a dataset of images taken in different locations with varying water properties, showing color charts in the scenes. Moreover, to obtain ground truth, the 3D structure of the scene was calculated based on stereo imaging. This dataset enables a quantitative evaluation of restoration algorithms on natural images and shows the advantage of our method. △ Less

Submitted 24 March, 2019; v1 submitted 4 November, 2018; originally announced November 2018.

Singular dynamics in the failure of soft adhesive contacts

Authors: Justin D. Berman, Manjari Randeria, Robert W. Style, Qin Xu, James R. Nichols, Aidan J. Duncan, Michael Loewenberg, Eric R. Dufresne, Katharine E. Jensen

Abstract: We characterize the mechanical recovery of compliant silicone gels following adhesive contact failure. We establish broad, stable adhesive contacts between rigid microspheres and soft gels, then stretch the gels to large deformations by pulling quasi-statically on the contact. Eventually, the adhesive contact begins to fail, and ultimately slides to a final contact point on the bottom of the spher… ▽ More We characterize the mechanical recovery of compliant silicone gels following adhesive contact failure. We establish broad, stable adhesive contacts between rigid microspheres and soft gels, then stretch the gels to large deformations by pulling quasi-statically on the contact. Eventually, the adhesive contact begins to fail, and ultimately slides to a final contact point on the bottom of the sphere. Immediately after detachment, the gel recoils quickly with a self-similar surface profile that evolves as a power law in time, suggesting that the adhesive detachment point is singular. The singular dynamics we observe are consistent with a relaxation process driven by surface stress and slowed by viscous flow through the porous, elastic network of the gel. Our results emphasize the importance of accounting for both the liquid and solid phases of gels in understanding their mechanics, especially under extreme deformation. △ Less

Submitted 11 October, 2018; originally announced October 2018.

Comments: 8 pages, 4 figures

The self-dual classical double copy, and the Eguchi-Hanson instanton

Authors: David S. Berman, Erick Chacón, Andrés Luna, Chris D. White

Abstract: The double copy is a map from non-abelian gauge theories to gravity, that has been demonstrated both for scattering amplitudes and exact classical solutions. In this study, we reconsider the double copy for exact solutions that are self-dual in either the gauge or gravity theory. In this case, one may formulate a general double copy in terms of a certain differential operator, which generates the… ▽ More The double copy is a map from non-abelian gauge theories to gravity, that has been demonstrated both for scattering amplitudes and exact classical solutions. In this study, we reconsider the double copy for exact solutions that are self-dual in either the gauge or gravity theory. In this case, one may formulate a general double copy in terms of a certain differential operator, which generates the gauge and gravity solutions from a harmonic function residing in a biadjoint scalar theory. As an illustration, we examine the single copy of the well-known Eguchi-Hanson instanton in gravity. The gauge field thus obtained represents an abelian-like object whose field is dipole-like at large distances, and which has no magnetic or electric charge. △ Less

Submitted 27 September, 2018; v1 submitted 11 September, 2018; originally announced September 2018.

Comments: 20 pages, 4 figures. Version 2 has additional references added

Report number: QMUL-PH-18-20, UCLA-18-TEP-107

Exotic Branes in Exceptional Field Theory: $E_{7(7)}$ and Beyond

Authors: David S. Berman, Edvard T. Musaev, Ray Otsuki

Abstract: In recent years, it has been widely argued that the duality transformations of string and M-theory naturally imply the existence of so-called `exotic branes'---low codimension objects with highly non-perturbative tensions, scaling as $g_s^α$ for $α\leq -3$. We argue that their intimate link with these duality transformations make them an ideal object of study using the general framework of Double… ▽ More In recent years, it has been widely argued that the duality transformations of string and M-theory naturally imply the existence of so-called `exotic branes'---low codimension objects with highly non-perturbative tensions, scaling as $g_s^α$ for $α\leq -3$. We argue that their intimate link with these duality transformations make them an ideal object of study using the general framework of Double Field Theory (DFT) and Exceptional Field Theory (EFT)---collectively referred to as ExFT. Parallel to the theme of dualities, we also stress that these theories unify known solutions in string- and M-theory into a single solution under ExFT. We argue that not only is there a natural unifying description of the lowest codimension objects, many of these exotic states require this formalism as a consistent supergravity description does not exist. △ Less

Submitted 24 July, 2018; v1 submitted 1 June, 2018; originally announced June 2018.

Comments: 73 pages Latex, v2: citations added, some orbits corrected

Categorified algebra and equivariant homotopy theory

Authors: John D. Berman

Abstract: This dissertation comprises three collections of results, all united by a common theme. The theme is the study of categories via algebraic techniques, considering categories themselves as algebraic objects. This algebraic approach to category theory is central to noncommutative algebraic geometry, as realized by recent advances in the study of noncommutative motives. We have success proving alge… ▽ More This dissertation comprises three collections of results, all united by a common theme. The theme is the study of categories via algebraic techniques, considering categories themselves as algebraic objects. This algebraic approach to category theory is central to noncommutative algebraic geometry, as realized by recent advances in the study of noncommutative motives. We have success proving algebraic results in the general setting of symmetric monoidal and semiring $\infty$-categories, which categorify abelian groups and rings, respectively. For example, we prove that modules over the semiring category Fin of finite sets are cocartesian monoidal $\infty$-categories, and modules over Burn (the Burnside $\infty$-category) are additive $\infty$-categories. As a consequence, we can regard Lawvere theories as cyclic $\text{Fin}^\text{op}$-modules, leading to algebraic foundations for the higher categorical study of Lawvere theories. We prove that Lawvere theories function as a home for an algebraic Yoneda lemma. Finally, we provide evidence for a formal duality between naive and genuine equivariant homotopy theory, in the form of a group-theoretic Eilenberg-Watts Theorem. This sets up a parallel between equivariant homotopy theory and motivic homotopy theory, where Burnside constructions are analogous to Morita theory. We conjecture that this relationship could be made precise within the context of noncommutative motives over the field with one element. △ Less

Submitted 22 May, 2018; originally announced May 2018.

Comments: This is the author's PhD thesis. 124 pages; comments welcome

Total Molecular Gas Masses of Planck - Herschel Selected Strongly Lensed Hyper Luminous Infrared Galaxies

Authors: K. C. Harrington, M. S. Yun, B. Magnelli, D. T. Frayer, A. Karim, A. Wei, D. Riechers, E. F. Jiménez-Andrade, D. Berman, J. Lowenthal, F. Bertoldi

Abstract: We report the detection of CO(1 - 0) line emission from seven Planck and Herschel selected hyper luminous (LIR(8-1000um) > 10^13Lsun) infrared galaxies with the Green Bank Telescope (GBT). CO(1 - 0) measurements are a vital tool to trace the bulk molecular gas mass across all redshifts. Our results place tight constraints on the total gas content of these most apparently luminous high-z star-formi… ▽ More We report the detection of CO(1 - 0) line emission from seven Planck and Herschel selected hyper luminous (LIR(8-1000um) > 10^13Lsun) infrared galaxies with the Green Bank Telescope (GBT). CO(1 - 0) measurements are a vital tool to trace the bulk molecular gas mass across all redshifts. Our results place tight constraints on the total gas content of these most apparently luminous high-z star-forming galaxies (apparent IR luminosities of LIR > 10^(13-14) Lsun), while we confirm their predetermined redshifts measured using the Large Millimeter Telescope, LMT (zCO = 1.33 - 3.26). The CO(1 - 0) lines show similar profiles as compared to Jup = 2 -4 transitions previously observed with the LMT. We report enhanced infrared to CO line luminosity ratios of <LIR/L'CO(1-0)> = 110 (pm 22) Lsun(K km s^-1 pc^-2)^-1 compared to normal star-forming galaxies, yet similar to those of well-studied IR-luminous galaxies at high-z. We find average brightness temperature ratios of <r21> = 0.93 (2 sources), <r31> = 0.34 (5 sources), and <r41> = 0.18 (1 source). The r31 and r41 values are roughly half the average values for SMGs. We estimate the total gas mass content as uMH2 = (0.9 - 27.2) x 10^11(alphaCO/0.8)Msun, where u is the magnification factor and alphaCO is the CO line luminosity to molecular hydrogen gas mass conversion factor. The rapid gas depletion times are, on average, tau = 80 Myr, which reveal vigorous starburst activity, and contrast the Gyr depletion timescales observed in local, normal star-forming galaxies. △ Less

Submitted 29 November, 2017; originally announced November 2017.

Comments: published in MNRAS, 9pages, 5figs

Exotic branes in Exceptional Field Theory: the SL(5) duality group

Authors: Ilya Bakhmatov, David Berman, Axel Kleinschmidt, Edvard Musaev, Ray Otsuki

Abstract: We study how exotic branes, i.e. branes whose tensions are proportional to $g_s^{-α}$, with $α>2$, are realised in Exceptional Field Theory (EFT). The generalised torsion of the Weitzenböck connection of the $\operatorname{SL}(5)$ EFT which, in the language of gauged supergravity describes the embedding tensor, is shown to classify the exotic branes whose magnetic fluxes can fit into four internal… ▽ More We study how exotic branes, i.e. branes whose tensions are proportional to $g_s^{-α}$, with $α>2$, are realised in Exceptional Field Theory (EFT). The generalised torsion of the Weitzenböck connection of the $\operatorname{SL}(5)$ EFT which, in the language of gauged supergravity describes the embedding tensor, is shown to classify the exotic branes whose magnetic fluxes can fit into four internal dimensions. By analysing the weight diagrams of the corresponding representations of $\operatorname{SL}(5)$ we determine the U-duality orbits relating geometric and non-geometric fluxes. As a further application of the formalism we consider the Kaluza-Klein monopole of 11D supergravity and rotate it into the exotic $6^{(3,1)}$-brane. △ Less

Submitted 11 August, 2018; v1 submitted 26 October, 2017; originally announced October 2017.

Comments: 38 pages + Appendix

Journal ref: J. High Energ. Phys. (2018) 2018: 21

On the Commutative Algebra of Categories

Authors: John D. Berman

Abstract: We discuss what it means for a symmetric monoidal category to be a module over a commutative semiring category. Each of the categories of (1) cartesian monoidal categories, (2) semiadditive categories, and (3) connective spectra can be recovered in this way as categories of modules over a commutative semiring category (or $\infty$-category in the last case). This language provides a simultaneous g… ▽ More We discuss what it means for a symmetric monoidal category to be a module over a commutative semiring category. Each of the categories of (1) cartesian monoidal categories, (2) semiadditive categories, and (3) connective spectra can be recovered in this way as categories of modules over a commutative semiring category (or $\infty$-category in the last case). This language provides a simultaneous generalization of the formalism of algebraic theories (operads, PROPs, Lawvere theories) and stable homotopy theory, with essentially a variant of algebraic K-theory bridging between the two. △ Less

Submitted 22 May, 2018; v1 submitted 17 June, 2016; originally announced June 2016.

Comments: 51 pages; some proofs and notation clarified; this is the final version to appear in Algebraic and Geometric Topology

Journal ref: Algebr. Geom. Topol. 18 (2018) 2963-3012

An Action for F-theory: $\mathrm{SL}(2) \times \mathbb{R}^+$ Exceptional Field Theory

Authors: David S. Berman, Chris D. A. Blair, Emanuel Malek, Felix J. Rudolph

Abstract: We construct the 12-dimensional exceptional field theory associated to the group $\mathrm{SL}(2) \times \mathbb{R}^+$ . Demanding the closure of the algebra of local symmetries leads to a constraint, known as the section condition, that must be imposed on all fields. This constraint has two inequivalent solutions, one giving rise to 11-dimensional supergravity and the other leading to F-theory. Th… ▽ More We construct the 12-dimensional exceptional field theory associated to the group $\mathrm{SL}(2) \times \mathbb{R}^+$ . Demanding the closure of the algebra of local symmetries leads to a constraint, known as the section condition, that must be imposed on all fields. This constraint has two inequivalent solutions, one giving rise to 11-dimensional supergravity and the other leading to F-theory. Thus $\mathrm{SL}(2) \times \mathbb{R}^+$ exceptional field theory contains both F-theory and M-theory in a single 12-dimensional formalism. △ Less

Submitted 26 January, 2016; v1 submitted 18 December, 2015; originally announced December 2015.

Comments: 50 pages, plain Latex; v2 references updated and minor typos fixed

Report number: QMUL-PH-15-26, LMU-ASC 79/15

Journal ref: Class.Quant.Grav. 33 (2016) no.19, 195009

Bit Patterned Magnetic Recording: Theory, Media Fabrication, and Recording Performance

Authors: Thomas R. Albrecht, Hitesh Arora, Vipin Ayanoor-Vitikkate, Jean-Marc Beaujour, Daniel Bedau, David Berman, Alexei L. Bogdanov, Yves-Andre Chapuis, Julia Cushen, Elizabeth E. Dobisz, Gregory Doerk, He Gao, Michael Grobis, Bruce Gurney, Weldon Hanson, Olav Hellwig, Toshiki Hirano, Pierre-Olivier Jubert, Dan Kercher, Jeffrey Lille, Zuwei Liu, C. Mathew Mate, Yuri Obukhov, Kanaiyalal C. Patel, Kurt Rubin , et al. (6 additional authors not shown)

Abstract: Bit Patterned Media (BPM) for magnetic recording provide a route to densities $>1 Tb/in^2$ and circumvents many of the challenges associated with conventional granular media technology. Instead of recording a bit on an ensemble of random grains, BPM uses an array of lithographically defined isolated magnetic islands, each of which stores one bit. Fabrication of BPM is viewed as the greatest challe… ▽ More Bit Patterned Media (BPM) for magnetic recording provide a route to densities $>1 Tb/in^2$ and circumvents many of the challenges associated with conventional granular media technology. Instead of recording a bit on an ensemble of random grains, BPM uses an array of lithographically defined isolated magnetic islands, each of which stores one bit. Fabrication of BPM is viewed as the greatest challenge for its commercialization. In this article we describe a BPM fabrication method which combines e-beam lithography, directed self-assembly of block copolymers, self-aligned double patterning, nanoimprint lithography, and ion milling to generate BPM based on CoCrPt alloys. This combination of fabrication technologies achieves feature sizes of $<10 nm$, significantly smaller than what conventional semiconductor nanofabrication methods can achieve. In contrast to earlier work which used hexagonal close-packed arrays of round islands, our latest approach creates BPM with rectangular bitcells, which are advantageous for integration with existing hard disk drive technology. The advantages of rectangular bits are analyzed from a theoretical and modeling point of view, and system integration requirements such as servo patterns, implementation of write synchronization, and providing for a stable head-disk interface are addressed in the context of experimental results. Optimization of magnetic alloy materials for thermal stability, writeability, and switching field distribution is discussed, and a new method for growing BPM islands on a patterned template is presented. New recording results at $1.6 Td/in^2$ (teradot/inch${}^2$, roughly equivalent to $1.3 Tb/in^2$) demonstrate a raw error rate $<10^{-2}$, which is consistent with the recording system requirements of modern hard drives. Extendibility of BPM to higher densities, and its eventual combination with energy assisted recording are explored. △ Less

Submitted 19 March, 2015; originally announced March 2015.

Comments: 44 pages

ACM Class: B.3.2; B.4.2

Strings, Branes and the Self-dual Solutions of Exceptional Field Theory

Authors: David S. Berman, Felix J. Rudolph

Abstract: It has been shown that membranes and fivebranes are wave-like or monopole-like solutions in some higher dimensional theory. Here the picture is completed by combining the wave and monopole solutions into a single solution of Exceptional Field Theory. This solution solves the twisted self-duality constraint. The 1/2 BPS brane spectrum, consisting of fundamental, solitonic and Dirichlet branes, in t… ▽ More It has been shown that membranes and fivebranes are wave-like or monopole-like solutions in some higher dimensional theory. Here the picture is completed by combining the wave and monopole solutions into a single solution of Exceptional Field Theory. This solution solves the twisted self-duality constraint. The 1/2 BPS brane spectrum, consisting of fundamental, solitonic and Dirichlet branes, in ten- and eleven-dimensional supergravity may all be extracted from this single solution of Exceptional Field Theory. The solution's properties such as the singularity structure and its asymptotic behaviour near the core and at infinity are investigated. △ Less

Submitted 27 October, 2015; v1 submitted 8 December, 2014; originally announced December 2014.

Comments: 34 pages LaTeX, v2 inclusion of brane bound states, typos corrected, some clarifications

Branes are Waves and Monopoles

Authors: David S. Berman, Felix J. Rudolph

Abstract: In a recent paper it was shown that fundamental strings are null waves in Double Field Theory. Similarly, membranes are waves in exceptional extended geometry. Here the story is continued by showing how various branes are Kaluza-Klein monopoles of these higher dimensional theories. Examining the specific case of the E7 exceptional extended geometry, we see that all branes are both waves and monopo… ▽ More In a recent paper it was shown that fundamental strings are null waves in Double Field Theory. Similarly, membranes are waves in exceptional extended geometry. Here the story is continued by showing how various branes are Kaluza-Klein monopoles of these higher dimensional theories. Examining the specific case of the E7 exceptional extended geometry, we see that all branes are both waves and monopoles. Along the way we discuss the O(d; d) transformation of localized brane solutions not associated to an isometry and how true T-duality emerges in Double Field Theory when the background possesses isometries. △ Less

Submitted 27 October, 2015; v1 submitted 22 September, 2014; originally announced September 2014.

Comments: 32 pages, Latex, v2, typos corrected

Strings and Branes are Waves

Authors: Joel Berkeley, David S. Berman, Felix J. Rudolph

Abstract: We examine the equations of motion of double field theory and the duality manifest form of M-theory. We show the solutions of the equations of motion corresponding to null pp-waves correspond to strings or membranes from the usual spacetime perspective. A Goldstone mode analysis of the null wave solution in double field theory produces the equations of motion of the duality manifest string. We examine the equations of motion of double field theory and the duality manifest form of M-theory. We show the solutions of the equations of motion corresponding to null pp-waves correspond to strings or membranes from the usual spacetime perspective. A Goldstone mode analysis of the null wave solution in double field theory produces the equations of motion of the duality manifest string. △ Less

Submitted 9 December, 2014; v1 submitted 27 March, 2014; originally announced March 2014.

Comments: 31 pages, LaTex, v2 some typos corrected and refs added

Report number: QMUL-PH-14-04

Global aspects of double geometry

Authors: David S. Berman, Martin Cederwall, Malcolm J. Perry

Abstract: We consider the concept of a generalised manifold in the O(d,d) setting, i.e., in double geometry. The conjecture by Hohm and Zwiebach for the form of finite generalised diffeomorphisms is shown to hold. Transition functions on overlaps are defined. Triple overlaps are trivial concerning their action on coordinates, but non-trivial on fields, including the generalised metric. A generalised manifol… ▽ More We consider the concept of a generalised manifold in the O(d,d) setting, i.e., in double geometry. The conjecture by Hohm and Zwiebach for the form of finite generalised diffeomorphisms is shown to hold. Transition functions on overlaps are defined. Triple overlaps are trivial concerning their action on coordinates, but non-trivial on fields, including the generalised metric. A generalised manifold is an ordinary manifold, but the generalised metric on the manifold carries a gerbe structure. We show how the abelian behaviour of the gerbe is embedded in the non-abelian T-duality group. We also comment on possibilities and difficulties in the U-duality setting. △ Less

Submitted 5 August, 2014; v1 submitted 7 January, 2014; originally announced January 2014.

Comments: 20 pp. v3: refs. added, discussion added on limitations of formalism

Report number: QMUL-PH-13-14

Complete Mixed Doubles Round Robin Tournaments

Authors: David R. Berman, Ian N. Wakeling

Abstract: We present a new type of tournament design that we call a complete mixed doubles round robin tournament, CMDRR(n,k), that generalizes spouse-avoiding mixed doubles round robin tournaments and strict Mitchell mixed doubles round robin tournaments. We show that CMDRR(n,k) exist for all allowed values of n and k apart from 4 exceptions and 31 possible exceptions. We show that a fully resolvable CMDRR… ▽ More We present a new type of tournament design that we call a complete mixed doubles round robin tournament, CMDRR(n,k), that generalizes spouse-avoiding mixed doubles round robin tournaments and strict Mitchell mixed doubles round robin tournaments. We show that CMDRR(n,k) exist for all allowed values of n and k apart from 4 exceptions and 31 possible exceptions. We show that a fully resolvable CMDRR(2n,0) exists for all n $\ge$ 5 and a fully resolvable CMDRR(3n,n) exists for all n $\ge$ 5 and n odd. We prove a product theorem for constructing CMDRR(n,k). △ Less

Submitted 19 October, 2013; originally announced October 2013.

Comments: 22 pages; Accepted October 2013 for publication in J. Combin. Math. Combin. Comput

MSC Class: 05B30; 05B15