Showing 1–50 of 92 results for author: Berman, J

Canonical heights, periods and the Hurwitz zeta function

Authors: Rolf Andreasson, Robert J. Berman

Abstract: Let (X,D) be a projective log pair over the ring of integers of a number field such that the log canonical line bundle K_(X,D) or its dual -K_(X,D) is relatively ample. We introduce a canonical height of K_(X,D) (and -K(X,D)) which is finite precisely when the complexifications of K_(X,D) (and -K(X,D)) are K-semistable. When the complexifications are K-polystable, the canonical height is the heigh… ▽ More Let (X,D) be a projective log pair over the ring of integers of a number field such that the log canonical line bundle K_(X,D) or its dual -K_(X,D) is relatively ample. We introduce a canonical height of K_(X,D) (and -K(X,D)) which is finite precisely when the complexifications of K_(X,D) (and -K(X,D)) are K-semistable. When the complexifications are K-polystable, the canonical height is the height of K_(X,D) (and -K(X,D)) wrt any volume-normalized Kähler-Einstein metric on the complexifications of K_(X,D) (and -K(X,D)) The canonical height is shown to have a number of useful variational properties. Moreover, it may be expressed as a limit of periods on the N-fold products of the complexifications of X, as N tends to infinity. In particular, using this limit formula, the canonical height for the arithmetic log surfaces (P_1,D) over the integers, where D has at most three components, is computed explicitly in terms of the Hurwitz zeta function and its derivative at s=-1. Combining this explicit formula with previous height formulas for quaternionic Shimura curves yields a procedure for extracting information about the canonical integral models of some Shimura curves, such as wild ramification. Furthermore, explicit formulas for the canonical height of twisted Fermat curves are obtained, implying explicit Parshin type bounds for the Arakelov metric. △ Less

Submitted 28 June, 2024; originally announced June 2024.

Comments: 61 pages

Corners and Islands in the S-matrix Bootstrap of the Open Superstring

Authors: Justin Berman, Henriette Elvang

Abstract: We bootstrap the Veneziano superstring amplitude in 10 dimensions from the bottom-up. Starting with the most general maximally supersymmetric Yang-Mills EFT, we input information about the lowest-lying massive states, which we assume contribute via tree-level exchanges to the 4-point amplitude. We show the following: (1) if there is only a single state at the lowest mass, it must be a scalar. (2)… ▽ More We bootstrap the Veneziano superstring amplitude in 10 dimensions from the bottom-up. Starting with the most general maximally supersymmetric Yang-Mills EFT, we input information about the lowest-lying massive states, which we assume contribute via tree-level exchanges to the 4-point amplitude. We show the following: (1) if there is only a single state at the lowest mass, it must be a scalar. (2) Assuming a string-inspired gap between the mass of this scalar and any other massive states, the allowed region of Wilson coefficients has a new sharp corner where the Veneziano amplitude is located. (3) Upon fixing the next massive state to be a vector, the EFT bounds have a one-parameter family of corners; these would correspond to models with linear Regge trajectories of varying slopes, one of which is the open superstring. (4) When the ratio between the massive scalar coupling and the $\text{tr}\, F^4$ coefficient is fixed to its string value, the spin and mass of the second massive state is determined by the bootstrap and the Veneziano amplitude is isolated on a small island in parameter space. Finally, we compare with other recent bootstraps approaches, both the pion model and imposing Regge-inspired maximal spin constraints. △ Less

Submitted 5 June, 2024; originally announced June 2024.

Comments: 37 pages + appendices, 21 figures

Report number: LCTP-24-10

Inferring the time-varying coupling of dynamical systems with temporal convolutional autoencoders

Authors: Josuan Calderon, Gordon J. Berman

Abstract: Most approaches for assessing causality in complex dynamical systems fail when the interactions between variables are inherently non-linear and non-stationary. Here we introduce Temporal Autoencoders for Causal Inference (TACI), a methodology that combines a new surrogate data metric for assessing causal interactions with a novel two-headed machine learning architecture to identify and measure the… ▽ More Most approaches for assessing causality in complex dynamical systems fail when the interactions between variables are inherently non-linear and non-stationary. Here we introduce Temporal Autoencoders for Causal Inference (TACI), a methodology that combines a new surrogate data metric for assessing causal interactions with a novel two-headed machine learning architecture to identify and measure the direction and strength of time-varying causal interactions. Through tests on both synthetic and real-world datasets, we demonstrate TACI's ability to accurately quantify dynamic causal interactions across a variety of systems. Our findings display the method's effectiveness compared to existing approaches and also highlight our approach's potential to build a deeper understanding of the mechanisms that underlie time-varying interactions in physical and biological systems. △ Less

Submitted 5 June, 2024; originally announced June 2024.

An ensemble of data-driven weather prediction models for operational sub-seasonal forecasting

Authors: Jonathan A. Weyn, Divya Kumar, Jeremy Berman, Najeeb Kazmi, Sylwester Klocek, Pete Luferenko, Kit Thambiratnam

Abstract: We present an operations-ready multi-model ensemble weather forecasting system which uses hybrid data-driven weather prediction models coupled with the European Centre for Medium-range Weather Forecasts (ECMWF) ocean model to predict global weather at 1-degree resolution for 4 weeks of lead time. For predictions of 2-meter temperature, our ensemble on average outperforms the raw ECMWF extended-ran… ▽ More We present an operations-ready multi-model ensemble weather forecasting system which uses hybrid data-driven weather prediction models coupled with the European Centre for Medium-range Weather Forecasts (ECMWF) ocean model to predict global weather at 1-degree resolution for 4 weeks of lead time. For predictions of 2-meter temperature, our ensemble on average outperforms the raw ECMWF extended-range ensemble by 4-17%, depending on the lead time. However, after applying statistical bias corrections, the ECMWF ensemble is about 3% better at 4 weeks. For other surface parameters, our ensemble is also within a few percentage points of ECMWF's ensemble. We demonstrate that it is possible to achieve near-state-of-the-art subseasonal-to-seasonal forecasts using a multi-model ensembling approach with data-driven weather prediction models. △ Less

Submitted 22 March, 2024; originally announced March 2024.

CoLoRA: Continuous low-rank adaptation for reduced implicit neural modeling of parameterized partial differential equations

Authors: Jules Berman, Benjamin Peherstorfer

Abstract: This work introduces reduced models based on Continuous Low Rank Adaptation (CoLoRA) that pre-train neural networks for a given partial differential equation and then continuously adapt low-rank weights in time to rapidly predict the evolution of solution fields at new physics parameters and new initial conditions. The adaptation can be either purely data-driven or via an equation-driven variation… ▽ More This work introduces reduced models based on Continuous Low Rank Adaptation (CoLoRA) that pre-train neural networks for a given partial differential equation and then continuously adapt low-rank weights in time to rapidly predict the evolution of solution fields at new physics parameters and new initial conditions. The adaptation can be either purely data-driven or via an equation-driven variational approach that provides Galerkin-optimal approximations. Because CoLoRA approximates solution fields locally in time, the rank of the weights can be kept small, which means that only few training trajectories are required offline so that CoLoRA is well suited for data-scarce regimes. Predictions with CoLoRA are orders of magnitude faster than with classical methods and their accuracy and parameter efficiency is higher compared to other neural network approaches. △ Less

Submitted 22 February, 2024; originally announced February 2024.

Neuronal Temporal Filters as Normal Mode Extractors

Authors: Siavash Golkar, Jules Berman, David Lipshutz, Robert Mihai Haret, Tim Gollisch, Dmitri B. Chklovskii

Abstract: To generate actions in the face of physiological delays, the brain must predict the future. Here we explore how prediction may lie at the core of brain function by considering a neuron predicting the future of a scalar time series input. Assuming that the dynamics of the lag vector (a vector composed of several consecutive elements of the time series) are locally linear, Normal Mode Decomposition… ▽ More To generate actions in the face of physiological delays, the brain must predict the future. Here we explore how prediction may lie at the core of brain function by considering a neuron predicting the future of a scalar time series input. Assuming that the dynamics of the lag vector (a vector composed of several consecutive elements of the time series) are locally linear, Normal Mode Decomposition decomposes the dynamics into independently evolving (eigen-)modes allowing for straightforward prediction. We propose that a neuron learns the top mode and projects its input onto the associated subspace. Under this interpretation, the temporal filter of a neuron corresponds to the left eigenvector of a generalized eigenvalue problem. We mathematically analyze the operation of such an algorithm on noisy observations of synthetic data generated by a linear system. Interestingly, the shape of the temporal filter varies with the signal-to-noise ratio (SNR): a noisy input yields a monophasic filter and a growing SNR leads to multiphasic filters with progressively greater number of phases. Such variation in the temporal filter with input SNR resembles that observed experimentally in biological neurons. △ Less

Submitted 6 January, 2024; originally announced January 2024.

Sharp bounds on the height of K-semistable Fano varieties II, the log case

Authors: Rolf Andreasson, Robert J. Berman

Abstract: In our previous work we conjectured - inspired by an algebro-geometric result of Fujita - that the height of an arithmetic Fano variety X of relative dimension $n$ is maximal when X is the projective space $\mathbb{P}^n_{\mathbb{Z}}$ over the integers, endowed with the Fubini-Study metric, if the corresponding complex Fano variety is K-semistable. In this work the conjecture is settled for diagona… ▽ More In our previous work we conjectured - inspired by an algebro-geometric result of Fujita - that the height of an arithmetic Fano variety X of relative dimension $n$ is maximal when X is the projective space $\mathbb{P}^n_{\mathbb{Z}}$ over the integers, endowed with the Fubini-Study metric, if the corresponding complex Fano variety is K-semistable. In this work the conjecture is settled for diagonal hypersurfaces in $\mathbb{P}^{n+1}_{\mathbb{Z}}$. The proof is based on a logarithmic extension of our previous conjecture, of independent interest, which is established for toric log Fano varieties of relative dimension at most three, hyperplane arrangements on $\mathbb{P}^n_{\mathbb{Z}}$, as well as for general arithmetic orbifold Fano surfaces. △ Less

Submitted 4 March, 2024; v1 submitted 8 December, 2023; originally announced December 2023.

Comments: 28 pages. Main changes in version 2: Included Lemma 4.3. In Thm 1.5 we now assume that the divisor has at most three irreducible components (which is automatic in the orbifold case). This assumption is needed in Lemma 6.2

MSC Class: 14G40 (Primary); 32Q20; 53C25 (Secondary)

Flattening of the EFT-Hedron: Supersymmetric Positivity Bounds and the Search for String Theory

Authors: Justin Berman, Henriette Elvang, Aidan Herderschee

Abstract: We examine universal positivity constraints on $2 \to 2$ scattering in 4d planar $N=4$ supersymmetric Yang-Mills theory with higher-derivative corrections. We present numerical evidence that the convex region of allowed Wilson coefficients (the ``EFT-hedron'') flattens completely along about one-third of its dimensions when an increasing number of constraints on the spectral density from crossing-… ▽ More We examine universal positivity constraints on $2 \to 2$ scattering in 4d planar $N=4$ supersymmetric Yang-Mills theory with higher-derivative corrections. We present numerical evidence that the convex region of allowed Wilson coefficients (the ``EFT-hedron'') flattens completely along about one-third of its dimensions when an increasing number of constraints on the spectral density from crossing-symmetry are included. Our analysis relies on the formulation of the positivity constraints as a linear optimization problem, which we implement using two numerical solvers, SDPB and CPLEX. Motivated by the flattening, we propose a novel partially resummed low-energy expansion of the $2 \to 2$ amplitude. As part of the analysis, we provide additional evidence in favor of the conjecture [1] that the Veneziano amplitude is the only amplitude compatible with both S-matrix bootstrap constraints and string monodromy. △ Less

Submitted 16 October, 2023; originally announced October 2023.

Comments: 42 pages, 16 figures

Nonlinear embeddings for conserving Hamiltonians and other quantities with Neural Galerkin schemes

Authors: Paul Schwerdtner, Philipp Schulze, Jules Berman, Benjamin Peherstorfer

Abstract: This work focuses on the conservation of quantities such as Hamiltonians, mass, and momentum when solution fields of partial differential equations are approximated with nonlinear parametrizations such as deep networks. The proposed approach builds on Neural Galerkin schemes that are based on the Dirac--Frenkel variational principle to train nonlinear parametrizations sequentially in time. We firs… ▽ More This work focuses on the conservation of quantities such as Hamiltonians, mass, and momentum when solution fields of partial differential equations are approximated with nonlinear parametrizations such as deep networks. The proposed approach builds on Neural Galerkin schemes that are based on the Dirac--Frenkel variational principle to train nonlinear parametrizations sequentially in time. We first show that only adding constraints that aim to conserve quantities in continuous time can be insufficient because the nonlinear dependence on the parameters implies that even quantities that are linear in the solution fields become nonlinear in the parameters and thus are challenging to discretize in time. Instead, we propose Neural Galerkin schemes that compute at each time step an explicit embedding onto the manifold of nonlinearly parametrized solution fields to guarantee conservation of quantities. The embeddings can be combined with standard explicit and implicit time integration schemes. Numerical experiments demonstrate that the proposed approach conserves quantities up to machine precision. △ Less

Submitted 11 October, 2023; originally announced October 2023.

Comments: 29 pages, 8 figures

MSC Class: 65M22; 65P10; 68T07; 70H33

Randomized Sparse Neural Galerkin Schemes for Solving Evolution Equations with Deep Networks

Authors: Jules Berman, Benjamin Peherstorfer

Abstract: Training neural networks sequentially in time to approximate solution fields of time-dependent partial differential equations can be beneficial for preserving causality and other physics properties; however, the sequential-in-time training is numerically challenging because training errors quickly accumulate and amplify over time. This work introduces Neural Galerkin schemes that update randomized… ▽ More Training neural networks sequentially in time to approximate solution fields of time-dependent partial differential equations can be beneficial for preserving causality and other physics properties; however, the sequential-in-time training is numerically challenging because training errors quickly accumulate and amplify over time. This work introduces Neural Galerkin schemes that update randomized sparse subsets of network parameters at each time step. The randomization avoids overfitting locally in time and so helps prevent the error from accumulating quickly over the sequential-in-time training, which is motivated by dropout that addresses a similar issue of overfitting due to neuron co-adaptation. The sparsity of the update reduces the computational costs of training without losing expressiveness because many of the network parameters are redundant locally at each time step. In numerical experiments with a wide range of evolution equations, the proposed scheme with randomized sparse updates is up to two orders of magnitude more accurate at a fixed computational budget and up to two orders of magnitude faster at a fixed accuracy than schemes with dense updates. △ Less

Submitted 7 October, 2023; originally announced October 2023.

Reverse Hölder inequalities on the space of Kähler metrics of a Fano variety and effective openness

Authors: Robert J. Berman

Abstract: A reverse Hölder inequality is established on the space of Kähler metrics in the first Chern class of a Fano manifold X endowed with Darvas L^{p}-Finsler metrics. The inequality holds under a uniform bound on a twisted Ricci potential and extends to Fano varieties with log terminal singularities. Its proof leverages a "hidden" log-concavity. An application to destabilizing geodesic rays is provide… ▽ More A reverse Hölder inequality is established on the space of Kähler metrics in the first Chern class of a Fano manifold X endowed with Darvas L^{p}-Finsler metrics. The inequality holds under a uniform bound on a twisted Ricci potential and extends to Fano varieties with log terminal singularities. Its proof leverages a "hidden" log-concavity. An application to destabilizing geodesic rays is provided, which yields a reverse Hölder inequality for the speed of the geodesic. In the case of Aubin's continuity path on a K-unstable Fano variety, the constant in the corresponding Hölder bound is shown to only depend on p and the dimension of X. This leads to some intruiging relations to Harnack bounds and the partial C^{0}-estimate. In another direction, universal effective openness results are established for the complex singularity exponents (log canonical thresholds) of ω-plurisubharmonic functions on any Fano variety. Finally, another application to K-unstable Fano varieties is given, involving Archimedean Igusa zeta functions. △ Less

Submitted 6 May, 2024; v1 submitted 28 September, 2023; originally announced September 2023.

Comments: v1: 22 pages. v2: 24 pages (the constants in Prop 7.1 have been improved and Lemmas 2.1, 5.3 and Section 7.1 have been added). v3: 31 pages (applications to effective openness have been included and the title has been changed accordingly)

Optimal Conditions for Environment-Assisted Quantum Transport on the Fully Connected Network

Authors: Sam Alterman, Justin Berman, Frederick W. Strauch

Abstract: We present a theoretical analysis of the efficiency and rate of excitation transport on a network described by a complete graph in which every site is connected to every other. The long-time transport properties are analytically calculated for networks of arbitrary size that are symmetric except for the trap** site, start with a range of initial states, and are subject to dephasing and excitatio… ▽ More We present a theoretical analysis of the efficiency and rate of excitation transport on a network described by a complete graph in which every site is connected to every other. The long-time transport properties are analytically calculated for networks of arbitrary size that are symmetric except for the trap** site, start with a range of initial states, and are subject to dephasing and excitation decay. Conditions for which dephasing increases transport are identified, and optimal conditions are found for various physical parameters. The optimal conditions demonstrate robustness and a convergence of timescales previously observed in the context of light-harvesting complexes. △ Less

Submitted 31 August, 2023; originally announced September 2023.

Comments: 10 pages, 4 figures

On K-stability, height bounds and the Manin-Peyre conjecture

Authors: Robert J. Berman

Abstract: This note discusses some intriguing connections between height bounds on complex K-semistable Fano varieties X and Peyre's conjectural formula for the density of rational points on X. Relations to an upper bound for the smallest rational point, proposed by Elsenhans-Jahnel, are also explored. These relations suggest an analog of the height inequalities, adapted to the real points, which is establi… ▽ More This note discusses some intriguing connections between height bounds on complex K-semistable Fano varieties X and Peyre's conjectural formula for the density of rational points on X. Relations to an upper bound for the smallest rational point, proposed by Elsenhans-Jahnel, are also explored. These relations suggest an analog of the height inequalities, adapted to the real points, which is established for the real projective line and related to Kähler-Einstein metrics. △ Less

Submitted 12 May, 2023; originally announced May 2023.

Comments: 30 pages

COVID-19 Activity Risk Calculator as a Gamified Public Health Intervention Tool

Authors: Shreyasvi Natraj, Malhar Bhide, Nathan Yap, Meng Liu, Agrima Seth, Jonathan Berman, Christin Glorioso

Abstract: The Coronavirus disease 2019 (COVID-19) pandemic, caused by the virus severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2), has impacted over 200 countries leading to hospitalizations and deaths of millions of people. Public health interventions, such as risk estimators, can reduce the spread of pandemics and epidemics through influencing behavior, which impacts risk of exposure and infect… ▽ More The Coronavirus disease 2019 (COVID-19) pandemic, caused by the virus severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2), has impacted over 200 countries leading to hospitalizations and deaths of millions of people. Public health interventions, such as risk estimators, can reduce the spread of pandemics and epidemics through influencing behavior, which impacts risk of exposure and infection. Current publicly available COVID-19 risk estimation tools have had variable effectiveness during the pandemic due to their dependency on rapidly evolving factors such as community transmission levels and variants. There has also been confusion surrounding certain personal protective strategies such as risk reduction by mask-wearing and vaccination. In order to create a simple easy-to-use tool for estimating different individual risks associated with carrying out daily-life activity, we developed COVID-19 Activity Risk Calculator (CovARC). CovARC is a gamified public health intervention as users can "play with" how different risks associated with COVID-19 can change depending on several different factors when carrying out routine daily activities. Empowering the public to make informed, data-driven decisions about safely engaging in activities may help to reduce COVID-19 levels in the community. In this study, we demonstrate a streamlined, scalable and accurate COVID-19 risk calculation system. Our study also demonstrates the quantitative impact of vaccination and mask-wearing during periods of high case counts. Validation of this impact could inform and support policy decisions regarding case thresholds for mask mandates, and other public health interventions. △ Less

Submitted 24 May, 2023; v1 submitted 5 December, 2022; originally announced December 2022.

Representational dissimilarity metric spaces for stochastic neural networks

Authors: Lyndon R. Duong, **gyang Zhou, Josue Nassar, Jules Berman, Jeroen Olieslagers, Alex H. Williams

Abstract: Quantifying similarity between neural representations -- e.g. hidden layer activation vectors -- is a perennial problem in deep learning and neuroscience research. Existing methods compare deterministic responses (e.g. artificial networks that lack stochastic layers) or averaged responses (e.g., trial-averaged firing rates in biological data). However, these measures of _deterministic_ representat… ▽ More Quantifying similarity between neural representations -- e.g. hidden layer activation vectors -- is a perennial problem in deep learning and neuroscience research. Existing methods compare deterministic responses (e.g. artificial networks that lack stochastic layers) or averaged responses (e.g., trial-averaged firing rates in biological data). However, these measures of _deterministic_ representational similarity ignore the scale and geometric structure of noise, both of which play important roles in neural computation. To rectify this, we generalize previously proposed shape metrics (Williams et al. 2021) to quantify differences in _stochastic_ representations. These new distances satisfy the triangle inequality, and thus can be used as a rigorous basis for many supervised and unsupervised analyses. Leveraging this novel framework, we find that the stochastic geometries of neurobiological representations of oriented visual gratings and naturalistic scenes respectively resemble untrained and trained deep network representations. Further, we are able to more accurately predict certain network attributes (e.g. training hyperparameters) from its position in stochastic (versus deterministic) shape space. △ Less

Submitted 3 February, 2023; v1 submitted 21 November, 2022; originally announced November 2022.

Comments: Published as a conference paper at ICLR 2023

Journal ref: International Conference on Learning Representations 2023

Sharp bounds on the height of K-semistable Fano varieties I, the toric case

Authors: Rolf Andreasson, Robert J. Berman

Abstract: Inspired by Fujita's algebro-geometric result that complex projective space has maximal degree among all K-semistable complex Fano varieties, we conjecture that the height of a K-semistable metrized arithmetic Fano variety X of relative dimension n is maximal when X is the projective space over the integers, endowed with the Fubini-Study metric. Our main result establishes the conjecture for the c… ▽ More Inspired by Fujita's algebro-geometric result that complex projective space has maximal degree among all K-semistable complex Fano varieties, we conjecture that the height of a K-semistable metrized arithmetic Fano variety X of relative dimension n is maximal when X is the projective space over the integers, endowed with the Fubini-Study metric. Our main result establishes the conjecture for the canonical integral model of a toric Fano variety when n is less than or equal to 6 (the extension to higher dimensions is conditioned on a conjectural "gap hypothesis" for the degree). Translated into toric Kähler geometry this result yields a sharp lower bound on a toric invariant introduced by Donaldson, defined as the minimum of the toric Mabuchi functional. We furthermore reformulate our conjecture as an optimal lower bound on Odaka's modular height. In any dimension n it is shown how to control the height of the canonical toric model X, with respect to the Kähler-Einstein metric, by the degree of X. In a sequel to this paper our height conjecture is established for any projective diagonal Fano hypersurface, by exploiting a more general logarithmic setup. △ Less

Submitted 2 May, 2024; v1 submitted 2 May, 2022; originally announced May 2022.

Comments: 39 pages. v3: Changed title. Accepted for publication in Compositio Math

MSC Class: 14G40 (primary); 32Q20; 53C25; 11G50; 14J45 (secondary)

Freeze-in Leptogenesis via Dark-Matter Oscillations

Authors: Justin Berman, Brian Shuve, David Tucker-Smith

Abstract: We study the cosmology and phenomenology of freeze-in baryogenesis via dark-matter oscillations, taking the dark matter to couple to Standard Model leptons. We investigate viable models both with and without a $Z_2$ symmetry under which all new fields are charged. Lepton flavor effects are important for leptogenesis in these models, and we identify scenarios in which the baryon asymmetry is parame… ▽ More We study the cosmology and phenomenology of freeze-in baryogenesis via dark-matter oscillations, taking the dark matter to couple to Standard Model leptons. We investigate viable models both with and without a $Z_2$ symmetry under which all new fields are charged. Lepton flavor effects are important for leptogenesis in these models, and we identify scenarios in which the baryon asymmetry is parametrically distinct from and enhanced relative to leptogenesis from sterile neutrino oscillations. The models we study predict the existence of new, electroweak-charged fields, and can be tested by a combination of collider searches, structure-formation studies, X-ray observations, and terrestrial low-energy tests. △ Less

Submitted 8 February, 2022; v1 submitted 27 January, 2022; originally announced January 2022.

Comments: 24 pages + appendices, 21 figures; added a comment on thermal corrections to dark matter masses

Measure preserving holomorphic vector fields, invariant anti-canonical divisors and Gibbs stability

Authors: Robert J. Berman

Abstract: Let X be a compact complex manifold whose anti-canonical line bundle is big. We show that X admits no non-trivial holomorphic vector fields if it is Gibbs stable (at any level). The proof is based on a vanishing result for measure preserving holomorphic vector fields on X of independent interest. As an application it shown that, in general, if the anti-canonical line bundle is big, there are no ho… ▽ More Let X be a compact complex manifold whose anti-canonical line bundle is big. We show that X admits no non-trivial holomorphic vector fields if it is Gibbs stable (at any level). The proof is based on a vanishing result for measure preserving holomorphic vector fields on X of independent interest. As an application it shown that, in general, if the anti-canonical line bundle is big, there are no holomorphic vector fields on X that are tangent to a non-singular irreducible anti-canonical divisor S on X. More generally, the result holds for varieties with log terminal singularities and log pairs. Relations to a result of Berndtsson about generalized Hamiltonians and coercivity of the quantized Ding functional are also pointed out. △ Less

Submitted 10 January, 2022; originally announced January 2022.

Comments: Dedicated to Laszlo Lempert on the occasion of his 70th anniversary. 24 pages

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

Kähler-Einstein metrics and Archimedean zeta functions

Authors: Robert J. Berman

Abstract: While the existence of a unique Kähler-Einstein metric on a canonically polarized manifold X was established by Aubin and Yau already in the 70s there are only a few explicit formulas available. In previous work a probabilistic construction of the Kähler-Einstein metric was introduced - involving canonical random point processes on X - which yields canonical approximations of the Kähler-Einstein m… ▽ More While the existence of a unique Kähler-Einstein metric on a canonically polarized manifold X was established by Aubin and Yau already in the 70s there are only a few explicit formulas available. In previous work a probabilistic construction of the Kähler-Einstein metric was introduced - involving canonical random point processes on X - which yields canonical approximations of the Kähler-Einstein metric, expressed as explicit period integrals over a large number of products of X. Here it is shown that the conjectural extension to the case when X is a Fano variety suggests a zero-free property of the Archimedean zeta functions defined by the partition functions of the probabilistic model. A weaker zero-free property is also shown to be relevant for the Calabi-Yau equation. The convergence in the case of log Fano curves is settled, exploiting relations to the complex Selberg integral in the orbifold case. Some intriguing relations to the zero-free property of the local automorphic L-functions appearing in the Langlands program and arithmetic geometry are also pointed out. These relations also suggest a natural p-adic extension of the probabilistic approach. △ Less

Submitted 15 June, 2022; v1 submitted 9 December, 2021; originally announced December 2021.

Comments: To appear in the Proceedings of the 8th European Congress of Mathematics. v1: 33 pages. v2: 39 pages; added section 1.3, discussing the connections to local zeta functions and a section on the Calabi-Yau equation (section 3)

Bridging the Gap: Point Clouds for Merging Neurons in Connectomics

Authors: Jules Berman, Dmitri B. Chklovskii, **gpeng Wu

Abstract: In the field of Connectomics, a primary problem is that of 3D neuron segmentation. Although deep learning-based methods have achieved remarkable accuracy, errors still exist, especially in regions with image defects. One common type of defect is that of consecutive missing image sections. Here, data is lost along some axis, and the resulting neuron segmentations are split across the gap. To addres… ▽ More In the field of Connectomics, a primary problem is that of 3D neuron segmentation. Although deep learning-based methods have achieved remarkable accuracy, errors still exist, especially in regions with image defects. One common type of defect is that of consecutive missing image sections. Here, data is lost along some axis, and the resulting neuron segmentations are split across the gap. To address this problem, we propose a novel method based on point cloud representations of neurons. We formulate the problem as a classification problem and train CurveNet, a state-of-the-art point cloud classification model, to identify which neurons should be merged. We show that our method not only performs strongly but also scales reasonably to gaps well beyond what other methods have attempted to address. Additionally, our point cloud representations are highly efficient in terms of data, maintaining high performance with an amount of data that would be unfeasible for other methods. We believe that this is an indicator of the viability of using point cloud representations for other proofreading tasks. △ Less

Submitted 10 December, 2021; v1 submitted 3 December, 2021; originally announced December 2021.

Comments: 10 pages, 6 figures, MIDL 2022

The probabilistic vs the quantization approach to Kähler-Einstein geometry

Authors: Robert J. Berman

Abstract: In the probabilistic construction of Kähler-Einstein metrics on a complex projective algebraic manifold X - involving random point processes on X - a key role is played by the partition function. In this work a new quantitative bound on the partition function is obtained. It yields, in particular, a new direct analytic proof that X admits a Kähler-Einstein metrics if it is uniformly Gibbs stable.… ▽ More In the probabilistic construction of Kähler-Einstein metrics on a complex projective algebraic manifold X - involving random point processes on X - a key role is played by the partition function. In this work a new quantitative bound on the partition function is obtained. It yields, in particular, a new direct analytic proof that X admits a Kähler-Einstein metrics if it is uniformly Gibbs stable. The proof makes contact with the quantization approach to Kähler-Einstein geometry. △ Less

Submitted 14 September, 2021; originally announced September 2021.

Comments: 17 pages

Slope Gap Distribution of Saddle Connections on the 2n-gon

Authors: Jonah Berman, Taylor McAdam, Ananth Miller-Murthy, Caglar Uyanik, Hamilton Wan

Abstract: We explicitly compute the limiting slope gap distribution for saddle connections on any 2n-gon. Our calculations show that the slope gap distribution for a translation surface is not always unimodal, answering a question of Athreya. We also give linear lower and upper bounds for number of non-differentiability points as n grows. The latter result exhibits the first example of a non-trivial bound o… ▽ More We explicitly compute the limiting slope gap distribution for saddle connections on any 2n-gon. Our calculations show that the slope gap distribution for a translation surface is not always unimodal, answering a question of Athreya. We also give linear lower and upper bounds for number of non-differentiability points as n grows. The latter result exhibits the first example of a non-trivial bound on an infinite family of translation surfaces and answers a question by Kumanduri-Sanchez-Wang. △ Less

Submitted 18 June, 2022; v1 submitted 9 September, 2021; originally announced September 2021.

Comments: 51 pages, 34 figures. v2: Incorporates referee comments, improves upper bound and provides high level summaries at various points

Journal ref: Discrete and Continuous Dynamical Systems, 2023, 43(1): 1-56

Emergent complex geometry

Authors: Robert J. Berman

Abstract: This is a double exposure of the probabilistic construction of Kahler-Einstein metrics on a complex projective algebraic variety X - where the Kahler-Einstein metric emerges from a canonical random point process on X - and the variational approach to the Yau-Tian-Donaldson conjecture, highlighting their connections. The final section is a report on joint work in progress with Sébastien Boucksom an… ▽ More This is a double exposure of the probabilistic construction of Kahler-Einstein metrics on a complex projective algebraic variety X - where the Kahler-Einstein metric emerges from a canonical random point process on X - and the variational approach to the Yau-Tian-Donaldson conjecture, highlighting their connections. The final section is a report on joint work in progress with Sébastien Boucksom and Mattias Jonsson on how the non-Archimedean geometry of X (with respect to the trivial absolute value) also emerges from the probabilistic framework. △ Less

Submitted 1 September, 2021; originally announced September 2021.

Comments: To appear in the proceedings of the ICM 2022

Measuring the repertoire of age-related behavioral changes in Drosophila melanogaster

Authors: Katherine E. Overman, Daniel M. Choi, Kawai Leung, Joshua W. Shaevitz, Gordon J. Berman

Abstract: Aging affects almost all aspects of an organism -- its morphology, its physiology, its behavior. Isolating which biological mechanisms are regulating these changes, however, has proven difficult, potentially due to our inability to characterize the full repertoire of an animal's behavior across the lifespan. Using data from fruit flies (D. melanogaster) we measure the full repertoire of behaviors… ▽ More Aging affects almost all aspects of an organism -- its morphology, its physiology, its behavior. Isolating which biological mechanisms are regulating these changes, however, has proven difficult, potentially due to our inability to characterize the full repertoire of an animal's behavior across the lifespan. Using data from fruit flies (D. melanogaster) we measure the full repertoire of behaviors as a function of age. We observe a sexually dimorphic pattern of changes in the behavioral repertoire during aging. Although the stereotypy of the behaviors and the complexity of the repertoire overall remains relatively unchanged, we find evidence that the observed alterations in behavior can be explained by changing the fly's overall energy budget, suggesting potential connections between metabolism, aging, and behavior. △ Less

Submitted 15 June, 2021; v1 submitted 14 June, 2021; originally announced June 2021.

Ensemble equivalence for mean field models and plurisubharmonicity

Authors: Robert J. Berman

Abstract: We show that entropy is globally concave with respect to energy for a rich class of mean field interactions, including regularizations of the the point-vortex model in the plane, plasmas and self-gravitating matter in 2D, as well as the higher dimensional logarithmic interactions appearing in conformal geometry and power laws. The proofs are based on a corresponding "microscopic" concavity result… ▽ More We show that entropy is globally concave with respect to energy for a rich class of mean field interactions, including regularizations of the the point-vortex model in the plane, plasmas and self-gravitating matter in 2D, as well as the higher dimensional logarithmic interactions appearing in conformal geometry and power laws. The proofs are based on a corresponding "microscopic" concavity result at finite N, shown by leveraging an unexpected link to Kahler geometry and plurisubharmonic functions. Under more restrictive homogeneity assumptions strict concavity is obtained using a uniqueness result for free energy minimizers, established in a companion paper. The results imply that thermodynamic equivalence of ensembles holds for this class of mean field models. As an application it is shown that the critical inverse negative temperatures - in the macroscopic as well as the microscopic setting - coincide with the asymptotic slope of the corresponding microcanonical entropies. Along the way we also extend previous results on the thermodynamic equivalence of ensembles for continuous weakly positive definite interactions, concerning positive temperature states, to the general non-continuous case. In particular, singular situations are exhibited where, somewhat surprisingly, thermodynamic equivalence of ensembles fails at energy levels sufficiently close to the minimum energy level. △ Less

Submitted 19 April, 2021; originally announced April 2021.

Comments: 44 pages

Exploring a strongly non-Markovian animal behavior

Authors: Vasyl Alba, Gordon J. Berman, William Bialek, Joshua W. Shaevitz

Abstract: A freely walking fly visits roughly 100 stereotyped states in a strongly non-Markovian sequence. To explore these dynamics, we develop a generalization of the information bottleneck method, compressing the large number of behavioral states into a more compact description that maximally preserves the correlations between successive states. Surprisingly, preserving these short time correlations with… ▽ More A freely walking fly visits roughly 100 stereotyped states in a strongly non-Markovian sequence. To explore these dynamics, we develop a generalization of the information bottleneck method, compressing the large number of behavioral states into a more compact description that maximally preserves the correlations between successive states. Surprisingly, preserving these short time correlations with a compression into just two states captures the long ranged correlations seen in the raw data. Having reduced the behavior to a binary sequence, we describe the distribution of these sequences by an Ising model with pairwise interactions, which is the maximum entropy model that matches the two-point correlations. Matching the correlation function at longer and longer times drives the resulting model toward the Ising model with inverse square interactions and near zero magnetic field. The emergence of this statistical physics problem from the analysis real data on animal behavior is unexpected. △ Less

Submitted 31 December, 2020; originally announced December 2020.

Emergent Sasaki-Einstein geometry and AdS/CFT

Authors: Robert J. Berman, Tristan C. Collins, Daniel Persson

Abstract: We consider supergravity in five-dimensional Anti-De Sitter space $AdS_{5}$ with minimal supersymmetry, encoded by a Sasaki-Einstein metric on a five-dimensional compact manifold $M$. Our main result reveals how the Sasaki-Einstein metric emerges from a canonical state in the dual CFT, defined by a superconformal gauge theory in four dimensional Minkowski space $\mathbb{R}^{3,1}$in the t'Hooft lim… ▽ More We consider supergravity in five-dimensional Anti-De Sitter space $AdS_{5}$ with minimal supersymmetry, encoded by a Sasaki-Einstein metric on a five-dimensional compact manifold $M$. Our main result reveals how the Sasaki-Einstein metric emerges from a canonical state in the dual CFT, defined by a superconformal gauge theory in four dimensional Minkowski space $\mathbb{R}^{3,1}$in the t'Hooft limit where the rank $N$ tends to infinity. We obtain explicit finite $N-$approximations to the Sasaki-Einstein metric, expressed in terms of a canonical (i.e. background free) BPS-state on the gauge theory side. We also provide a string theory interpretation of the BPS-state in question, which sheds new light on the previously noted intriguing duality of giant gravitons. △ Less

Submitted 27 August, 2020; originally announced August 2020.

Comments: 9 pages

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

A framework for studying behavioral evolution by reconstructing ancestral repertoires

Authors: Damián G. Hernández, Catalina Rivera, Jessica Cande, Baohua Zhou, David L. Stern, Gordon J. Berman

Abstract: Although extensive behavioral changes often exist between closely related animal species, our understanding of the genetic basis underlying the evolution of behavior has remained limited. Here, we propose a new framework to study behavioral evolution by computational estimation of ancestral behavioral repertoires. We measured the behaviors of individuals from six species of fruit flies using unsup… ▽ More Although extensive behavioral changes often exist between closely related animal species, our understanding of the genetic basis underlying the evolution of behavior has remained limited. Here, we propose a new framework to study behavioral evolution by computational estimation of ancestral behavioral repertoires. We measured the behaviors of individuals from six species of fruit flies using unsupervised techniques and identified suites of stereotyped movements exhibited by each species. We then fit a Generalized Linear Mixed Model to estimate the suites of behaviors exhibited by ancestral species, as well as the intra- and inter-species behavioral covariances. We found that much of intraspecific behavioral variation is explained by differences between individuals in the status of their behavioral hidden states, what might be called their "mood." Lastly, we propose a method to identify groups of behaviors that appear to have evolved together, illustrating how sets of behaviors, rather than individual behaviors, likely evolved. Our approach provides a new framework for identifying co-evolving behaviors and may provide new opportunities to study the genetic basis of behavioral evolution. △ Less

Submitted 19 July, 2020; originally announced July 2020.

Application of the hierarchical bootstrap to multi-level data in neuroscience

Authors: Varun Saravanan, Gordon J Berman, Samuel J Sober

Abstract: A common feature in many neuroscience datasets is the presence of hierarchical data structures, most commonly recording the activity of multiple neurons in multiple animals across multiple trials. Accordingly, the measurements constituting the dataset are not independent, even though the traditional statistical analyses often applied in such cases (e.g., Students t-test) treat them as such. The hi… ▽ More A common feature in many neuroscience datasets is the presence of hierarchical data structures, most commonly recording the activity of multiple neurons in multiple animals across multiple trials. Accordingly, the measurements constituting the dataset are not independent, even though the traditional statistical analyses often applied in such cases (e.g., Students t-test) treat them as such. The hierarchical bootstrap has been shown to be an effective tool to accurately analyze such data and while it has been used extensively in the statistical literature, its use is not widespread in neuroscience - despite the ubiquity of hierarchical datasets. In this paper, we illustrate the intuitiveness and utility of this approach to analyze hierarchically nested datasets. We use simulated neural data to show that traditional statistical tests can result in a false positive rate of over 45%, even if the Type-I error rate is set at 5%. While summarizing data across non-independent points (or lower levels) can potentially fix this problem, this approach greatly reduces the statistical power of the analysis. The hierarchical bootstrap, when applied sequentially over the levels of the hierarchical structure, keeps the Type-I error rate within the intended bound and retains more statistical power than summarizing methods. We conclude by demonstrating the effectiveness of the method in two real-world examples, first analyzing singing data in male Bengalese finches (Lonchura striata var. domestica) and second quantifying changes in behavior under optogenetic control in flies (Drosophila melanogaster). △ Less

Submitted 16 July, 2020; v1 submitted 15 July, 2020; originally announced July 2020.

Ultra-high spatial resolution BOLD fMRI in humans using combined segmented-accelerated VFA-FLEET with a recursive RF pulse design

Authors: Avery J. L. Berman, William A. Grissom, Thomas Witzel, Shahin Nasr, Daniel J. Park, Kawin Setsompop, Jonathan R. Polimeni

Abstract: Purpose To alleviate the spatial encoding limitations of single-shot EPI by develo** multi-shot segmented EPI for ultra-high-resolution fMRI with reduced ghosting artifacts from subject motion and respiration. Methods Segmented EPI can reduce readout duration and reduce acceleration factors, however, the time elapsed between segment acquisitions (on the order of seconds) can result in inte… ▽ More Purpose To alleviate the spatial encoding limitations of single-shot EPI by develo** multi-shot segmented EPI for ultra-high-resolution fMRI with reduced ghosting artifacts from subject motion and respiration. Methods Segmented EPI can reduce readout duration and reduce acceleration factors, however, the time elapsed between segment acquisitions (on the order of seconds) can result in intermittent ghosting, limiting its use for fMRI. Here, "FLEET" segment ordering--where segments are looped over before slices--was combined with a variable flip angle progression (VFA-FLEET) to improve inter-segment fidelity and maximize signal for fMRI. Scaling a sinc pulse's flip angle for each segment (VFA-FLEET-Sinc) produced inconsistent slice profiles and ghosting, therefore, a recursive Shinnar-Le Roux (SLR) RF pulse design was developed (VFA-FLEET-SLR) to generate unique pulses for every segment that together produce consistent slice profiles and signals. Results The temporal stability of VFA-FLEET-SLR was compared against conventional-segmented EPI and VFA-FLEET-Sinc at 3 T and 7 T. VFA-FLEET-SLR showed reductions in both intermittent and stable ghosting compared to conventional-segmented and VFA-FLEET-Sinc, resulting in improved image quality with a minor trade-off in temporal SNR. Combining VFA-FLEET-SLR with acceleration, we achieved a 0.6-mm isotropic acquisition at 7 T--without zoomed imaging or partial Fourier--demonstrating reliable detection of BOLD responses to a visual stimulus. To counteract the increased repetition time from segmentation, simultaneous multi-slice VFA-FLEET-SLR was demonstrated using RF-encoded controlled aliasing. Conclusions VFA-FLEET with a recursive RF pulse design supports acquisitions with low levels of artifact and spatial blur, enabling fMRI at previously inaccessible spatial resolutions with a "full-brain" field of view. △ Less

Submitted 3 July, 2020; originally announced July 2020.

Comments: 51 pages (including supplement), 8 main figures, 6 supporting figures. For supporting videos (8), please visit https://github.com/aveberman/vfa-fleet. Note: this work has been accepted for publication at Magnetic Resonance in Medicine

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

Conical Calabi-Yau metrics on toric affine varieties and convex cones

Authors: Robert J. Berman

Abstract: It is shown that any affine toric variety Y, which is Q-Gorenstein, admits a conical Ricci flat Kahler metric, which is smooth on the regular locus of Y. The corresponding Reeb vector is the unique minimizer of the volume functional on the Reeb cone of Y. The case when the vertex point of Y is an isolated singularity was previously shown by Futaki-Ono-Wang. The proof is based on an existence resul… ▽ More It is shown that any affine toric variety Y, which is Q-Gorenstein, admits a conical Ricci flat Kahler metric, which is smooth on the regular locus of Y. The corresponding Reeb vector is the unique minimizer of the volume functional on the Reeb cone of Y. The case when the vertex point of Y is an isolated singularity was previously shown by Futaki-Ono-Wang. The proof is based on an existence result for the inhomogeneous Monge-Ampere equation in real Euclidean space with exponential right hand side and prescribed target given by a proper convex convex, combined with transversal a priori estimates on Y. △ Less

Submitted 14 May, 2020; originally announced May 2020.

Comments: 26 pages

An invitation to Kähler-Einstein metrics and random point processes

Authors: Robert J. Berman

Abstract: This is an invitation to the probabilistic approach for constructing Kähler-Einstein metrics on complex projective algebraic manifolds X. The metrics in question emerge in the large N-limit from a canonical way of sampling N points on X, i.e. from random point processes on X, defined in terms of algebro-geometric data. The proof of the convergence towards Kähler-Einstein metrics with negative Ricc… ▽ More This is an invitation to the probabilistic approach for constructing Kähler-Einstein metrics on complex projective algebraic manifolds X. The metrics in question emerge in the large N-limit from a canonical way of sampling N points on X, i.e. from random point processes on X, defined in terms of algebro-geometric data. The proof of the convergence towards Kähler-Einstein metrics with negative Ricci curvature is explained. In the case of positive Ricci curvature a variational approach is introduced to prove the conjectural convergence, which can be viewed as a probabilistic constructive analog of the Yau-Tian-Donaldson conjecture. The variational approach reveals, in particular, that the convergence holds under the hypothesis that there is no phase transition, which - from the algebro-geometric point of view - amounts to an analytic property of a certain Archimedean zeta function. △ Less

Submitted 25 March, 2020; originally announced March 2020.

Comments: 45 pages. To appear in the upcoming volume of Surveys in Differential Geometry, on the occasion of Shing-Tung Yau's 70th birthday

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

The spherical ensemble and quasi-Monte-Carlo designs

Authors: Robert J. Berman

Abstract: The spherical ensemble is a well-known ensemble of N repulsive points on the two-dimensional sphere, which can realized in various ways (as a random matrix ensemble, a determinantal point process, a Coulomb gas, a Quantum Hall state...). Here we show that the spherical ensemble enjoys nearly optimal convergence properties from the point of view of numerical integration. More precisely, it is shown… ▽ More The spherical ensemble is a well-known ensemble of N repulsive points on the two-dimensional sphere, which can realized in various ways (as a random matrix ensemble, a determinantal point process, a Coulomb gas, a Quantum Hall state...). Here we show that the spherical ensemble enjoys nearly optimal convergence properties from the point of view of numerical integration. More precisely, it is shown that the numerical integration rule corresponding to N nodes on the two-dimensional sphere sampled in the spherical ensemble is, with overwhelming probability, nearly a quasi-Monte-Carlo design in the sense of Brauchart-Saff-Sloan-Womersley (for any smoothness parameter s less than or equal to two). The key ingredient is a new explicit concentration of measure inequality for the spherical ensemble. △ Less

Submitted 27 October, 2021; v1 submitted 20 June, 2019; originally announced June 2019.

Comments: v1: 19 pages. v2: The explicit form of the main result (formula 1.8) has been improved, by improving Lemma 2.6. 19 pages (submitted version)

Sharp deviation inequalities for the 2D Coulomb gas and Quantum hall states, I

Authors: Robert J. Berman

Abstract: We establish sharp deviation inequalities for the linear statistics of the 2D Coulomb gas. These imply sub-Gaussian inequalities, where the variance is given by the Dirichlet norm. The proofs use complex geometry and potential theory on Riemann surfaces and apply more generally to beta-ensembles, which also include integer Quantum Hall states on Riemann surfaces. In a sequel of the paper we give a… ▽ More We establish sharp deviation inequalities for the linear statistics of the 2D Coulomb gas. These imply sub-Gaussian inequalities, where the variance is given by the Dirichlet norm. The proofs use complex geometry and potential theory on Riemann surfaces and apply more generally to beta-ensembles, which also include integer Quantum Hall states on Riemann surfaces. In a sequel of the paper we give applications to large and moderate deviation principles, local laws at mesoscopic scales, quantitative Bergman kernel asymptotics. In a series of companion papers applications to concentration of measure, Monte-Carlo methods for numerical integration and random matrices are given and relations to Kahler geometry are explored. △ Less

Submitted 20 June, 2019; originally announced June 2019.

Comments: 57 pages

Interpolation over ZZ and torsion in class groups

Authors: John Berman, Daniel Erman

Abstract: We prove an interpolation result for homogeneous polynomials over the integers, or more generally for PIDs with finite residue fields. Previous proofs of this result use the well-known but nontrivial fact that class groups of rings of integers are torsion. In this short note, we provide an independent proof using elementary techniques. We prove an interpolation result for homogeneous polynomials over the integers, or more generally for PIDs with finite residue fields. Previous proofs of this result use the well-known but nontrivial fact that class groups of rings of integers are torsion. In this short note, we provide an independent proof using elementary techniques. △ Less

Submitted 22 September, 2020; v1 submitted 28 May, 2019; originally announced May 2019.

Comments: 6 pages. In the previous version, the proof of Theorem 0.4 suffered from a significant error. We thank Aurel Page for pointing this out to us

MSC Class: 13A02; 11R29

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

Priors leading to well-behaved Coulomb and Riesz gases versus zeroth-order phase transitions -- a potential-theoretic characterization

Authors: Robert J. Berman

Abstract: We give a potential-theoretic characterization of priors which have the property that the corresponding Coulomb gas is "well-behaved" and similarly for more general Riesz gases. This means that the laws of the empirical measures of the corresponding random point process satisfy a Large Deviation Principle with a rate functional which depends continuously on the temperature, in the sense of Gamma-c… ▽ More We give a potential-theoretic characterization of priors which have the property that the corresponding Coulomb gas is "well-behaved" and similarly for more general Riesz gases. This means that the laws of the empirical measures of the corresponding random point process satisfy a Large Deviation Principle with a rate functional which depends continuously on the temperature, in the sense of Gamma-convergence. Equivalently, there is no zeroth-order phase transition at zero temperature, in the mean field regime. This is shown to be the case for the Hausdorff measure on a compact Lipschitz hypersurface, as well as Lesbesgue measure on a bounded Lipschitz domain. We also provide constructions of priors, absolutely continuous with respect to Lebesgue measure on a smoothly bounded domain, such that the corresponding 2d Coulomb exhibits a zeroth-order phase transition. This is based on relations to Ullman's criterion in the theory of orthogonal polynomials and Bernstein-Markov inequalities. △ Less

Submitted 6 December, 2021; v1 submitted 26 November, 2018; originally announced November 2018.

Comments: v1: 40 pages. v2: 44 pages (improved exposition and sections 3.3, 3.4 added) v3: New title, improved exposition, 49 pages (published version)

Journal ref: Electronic Journal of Probability 2021, Vol. 26, paper no. 145, 1-49

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

Statistical Mechanics of Interpolation Nodes, Pluripotential theory and Complex Geometry

Authors: Robert J. Berman

Abstract: This is mainly a survey, explaining how the probabilistic (statistical mechanical) construction of Kahler-Einstein metrics on compact complex manifolds, introduced in a series of works by the author, naturally arises from classical approximation and interpolation problems in complex n-space. A fair amount of background material is included. Along the way, the results are generalized to the non-com… ▽ More This is mainly a survey, explaining how the probabilistic (statistical mechanical) construction of Kahler-Einstein metrics on compact complex manifolds, introduced in a series of works by the author, naturally arises from classical approximation and interpolation problems in complex n-space. A fair amount of background material is included. Along the way, the results are generalized to the non-compact setting of complex n-space. This yields a probabilistic construction of Kahler solutions to Einstein's equations in complex n-space, with cosmological constant -beta, from a gas of interpolation nodes in equilibrium at positive inverse temperature -beta. In the infinite temperature limit, solutions to the Calabi-Yau equation are obtained. In the opposite zero-temperature the results may be interpreted as "transcendental" analogs of classical asymptotics for orthogonal polynomials, with the inverse temperature playing the role of the degree of a polynomial. △ Less

Submitted 16 October, 2018; originally announced October 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

Spherical Harmonic Residual Network for Diffusion Signal Harmonization

Authors: Simon Koppers, Luke Bloy, Jeffrey I. Berman, Chantal M. W. Tax, J. Christopher Edgar, Dorit Merhof

Abstract: Diffusion imaging is an important method in the field of neuroscience, as it is sensitive to changes within the tissue microstructure of the human brain. However, a major challenge when using MRI to derive quantitative measures is that the use of different scanners, as used in multi-site group studies, introduces measurement variability. This can lead to an increased variance in quantitative metri… ▽ More Diffusion imaging is an important method in the field of neuroscience, as it is sensitive to changes within the tissue microstructure of the human brain. However, a major challenge when using MRI to derive quantitative measures is that the use of different scanners, as used in multi-site group studies, introduces measurement variability. This can lead to an increased variance in quantitative metrics, even if the same brain is scanned. Contrary to the assumption that these characteristics are comparable and similar, small changes in these values are observed in many clinical studies, hence harmonization of the signals is essential. In this paper, we present a method that does not require additional preprocessing, such as segmentation or registration, and harmonizes the signal based on a deep learning residual network. For this purpose, a training database is required, which consist of the same subjects, scanned on different scanners. The results show that harmonized signals are significantly more similar to the ground truth signal compared to no harmonization, but also improve in comparison to another deep learning method. The same effect is also demonstrated in commonly used metrics derived from the diffusion MRI signal. △ Less

Submitted 5 August, 2018; originally announced August 2018.

Comments: 10 pages

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

Convergence rates for discretized Monge-Ampère equations and quantitative stability of optimal transport

Authors: Robert J. Berman

Abstract: In recent works - both experimental and theoretical - it has been shown how to use computational geometry to efficently construct approximations to the optimal transport map between two given probability measures on Euclidean space, by discretizing one of the measures. Here we provide a quantative convergence analysis for the solutions of the corresponding discretized Monge-Ampère equations. This… ▽ More In recent works - both experimental and theoretical - it has been shown how to use computational geometry to efficently construct approximations to the optimal transport map between two given probability measures on Euclidean space, by discretizing one of the measures. Here we provide a quantative convergence analysis for the solutions of the corresponding discretized Monge-Ampère equations. This yields L^{2}-converge rates, in terms of the corresponding spatial resolution h, of the discrete approximations of the optimal transport map, when the source measure is discretized and the target measure has bounded convex support. Periodic variants of the results are also established. The proofs are based on quantitative stability results for optimal transport maps, shown using complex geometry. △ Less

Submitted 11 September, 2020; v1 submitted 2 March, 2018; originally announced March 2018.

Comments: v1: 25 pages. v2: Improved exposition (32 pages); this version will appear in Foundations of Computational Mathematics

Measuring behavior across scales

Authors: Gordon J. Berman

Abstract: The need for high-throughput, precise, and meaningful methods for measuring behavior has been amplified by our recent successes in measuring and manipulating neural circuitry. The largest challenges associated with moving in this direction, however, are not technical but are instead conceptual: what numbers should one put on the movements an animal is performing (or not performing)? In this review… ▽ More The need for high-throughput, precise, and meaningful methods for measuring behavior has been amplified by our recent successes in measuring and manipulating neural circuitry. The largest challenges associated with moving in this direction, however, are not technical but are instead conceptual: what numbers should one put on the movements an animal is performing (or not performing)? In this review, I will describe how theoretical and data analytical ideas are interfacing with recently-developed computational and experimental methodologies to answer these questions across a variety of contexts, length scales, and time scales. I will attempt to highlight commonalities between approaches and areas where further advances are necessary to place behavior on the same quantitative footing as other scientific fields. △ Less

Submitted 15 December, 2017; originally announced December 2017.

The Sinkhorn algorithm, parabolic optimal transport and geometric Monge-Ampère equations

Authors: Robert J. Berman

Abstract: We show that the discrete Sinkhorn algorithm - as applied in the setting of Optimal Transport on a compact manifold - converges to the solution of a fully non-linear parabolic PDE of Monge-Ampere type, in a large-scale limit. The latter evolution equation has previously appeared in different contexts (e.g. on the torus it can be be identified with the Ricci flow). This leads to algorithmic approxi… ▽ More We show that the discrete Sinkhorn algorithm - as applied in the setting of Optimal Transport on a compact manifold - converges to the solution of a fully non-linear parabolic PDE of Monge-Ampere type, in a large-scale limit. The latter evolution equation has previously appeared in different contexts (e.g. on the torus it can be be identified with the Ricci flow). This leads to algorithmic approximations of the potential of the Optimal Transport map, as well as the Optimal Transport distance, with explicit bounds on the arithmetic complexity of the construction and the approximation errors. As applications we obtain explicit schemes of nearly linear complexity, at each iteration, for optimal transport on the torus and the two-sphere, as well as the far-field antenna problem. Connections to Quasi-Monte Carlo methods are exploited. △ Less

Submitted 26 June, 2020; v1 submitted 8 December, 2017; originally announced December 2017.

Comments: v3: Major revision; the general exposition has been improved and the main results have been improved for smooth data (Section 5.4). 52 pages v4: This is essentially the version that will appear in Numerische Mathematik