Logarithmic Picard groups, chip firing, and the combinatorial rank

Illusie has suggested that one should think of the classifying group of M_X^{gp}-torsors on a logarithmically smooth curve $X$ over a standard logarithmic point as a logarithmic analogue of the Picard group of $X$. This logarithmic Picard group arises naturally as a quotient of the algebraic Picard group by lifts of the chip firing relations of the associated dual graph. We connect this perspective to Baker and Norine’s theory of ranks of divisors on a finite graph, and to Amini and Baker’s metrized complexes of curves. Moreover, we propose a definition of a combinatorial rank for line bundles on $X$ and prove that an analogue of the Riemann–Roch formula holds for our combinatorial rank. Our proof proceeds by carefully describing the relationship between the logarithmic Picard group on a logarithmic curve and the Picard group of the associated metrized complex. This approach suggests a natural categorical framework for metrized complexes, namely the category of logarithmic curves

Lifting harmonic morphisms II: tropical curves and metrized complexes

In this paper we prove several lifting theorems for morphisms of tropical curves. We interpret the obstruction to lifting a finite harmonic morphism of augmented metric graphs to a morphism of algebraic curves as the non-vanishing of certain Hurwitz numbers, and we give various conditions under which this obstruction does vanish. In particular we show that any finite harmonic morphism of (non-augmented) metric graphs lifts. We also give various applications of these results. For example, we show that linear equivalence of divisors on a tropical curve C coincides with the equivalence relation generated by declaring that the fibers of every finite harmonic morphism from C to the tropical projective line are equivalent. We study liftability of metrized complexes equipped with a finite group action, and use this to classify all augmented metric graphs arising as the tropicalization of a hyperelliptic curve. We prove that there exists a d-gonal tropical curve that does not lift to a d-gonal algebraic curve. This article is the second in a series of two.Comment: 35 pages, 18 figures. This article used to be the second half of arXiv:1303.4812, and is now its seque

Qualitative Robustness in Bayesian Inference

The practical implementation of Bayesian inference requires numerical approximation when closed-form expressions are not available. What types of accuracy (convergence) of the numerical approximations guarantee robustness and what types do not? In particular, is the recursive application of Bayes' rule robust when subsequent data or posteriors are approximated? When the prior is the push forward of a distribution by the map induced by the solution of a PDE, in which norm should that solution be approximated? Motivated by such questions, we investigate the sensitivity of the distribution of posterior distributions (i.e. posterior distribution-valued random variables, randomized through the data) with respect to perturbations of the prior and data generating distributions in the limit when the number of data points grows towards infinity

Machine-learning of atomic-scale properties based on physical principles

We briefly summarize the kernel regression approach, as used recently in materials modelling, to fitting functions, particularly potential energy surfaces, and highlight how the linear algebra framework can be used to both predict and train from linear functionals of the potential energy, such as the total energy and atomic forces. We then give a detailed account of the Smooth Overlap of Atomic Positions (SOAP) representation and kernel, showing how it arises from an abstract representation of smooth atomic densities, and how it is related to several popular density-based representations of atomic structure. We also discuss recent generalisations that allow fine control of correlations between different atomic species, prediction and fitting of tensorial properties, and also how to construct structural kernels---applicable to comparing entire molecules or periodic systems---that go beyond an additive combination of local environments