Universal Equivalence and Majority of Probabilistic Programs over Finite Fields

We study decidability problems for equivalence of probabilistic programs for a core probabilistic programming language over finite fields of fixed characteristic. The programming language supports uniform sampling, addition, multiplication, and conditionals and thus is sufficiently expressive to encode Boolean and arithmetic circuits. We consider two variants of equivalence: The first one considers an interpretation over the finite field F q , while the second one, which we call universal equivalence, verifies equivalence over all extensions F q k of F q . The universal variant typically arises in provable cryptography when one wishes to prove equivalence for any length of bitstrings, i.e., elements of F 2 k for any k . While the first problem is obviously decidable, we establish its exact complexity, which lies in the counting hierarchy. To show decidability and a doubly exponential upper bound of the universal variant, we rely on results from algorithmic number theory and the possibility to compare local zeta functions associated to given polynomials. We then devise a general way to draw links between the universal probabilistic problems and widely studied problems on linear recurrence sequences. Finally, we study several variants of the equivalence problem, including a problem we call majority, motivated by differential privacy. We also define and provide some insights about program indistinguishability, proving that it is decidable for programs always returning 0 or 1.

Local Zeta Functions and Koba–Nielsen String Amplitudes

This article is a survey of our recent work on the connections between Koba–Nielsen amplitudes and local zeta functions (in the sense of Gel’fand, Weil, Igusa, Sato, Bernstein, Denef, Loeser, etc.). Our research program is motivated by the fact that the p-adic strings seem to be related in some interesting ways with ordinary strings. p-Adic string amplitudes share desired characteristics with their Archimedean counterparts, such as crossing symmetry and invariance under Möbius transformations. A direct connection between p-adic amplitudes and the Archimedean ones is through the limit p→1. Gerasimov and Shatashvili studied the limit p→1 of the p-adic effective action introduced by Brekke, Freund, Olson and Witten. They showed that this limit gives rise to a boundary string field theory, which was previously proposed by Witten in the context of background independent string theory. Explicit computations in the cases of 4 and 5 points show that the Feynman amplitudes at the tree level of the Gerasimov–Shatashvili Lagrangian are related to the limit p→1 of the p-adic Koba–Nielsen amplitudes. At a mathematical level, this phenomenon is deeply connected with the topological zeta functions introduced by Denef and Loeser. A Koba–Nielsen amplitude is just a new type of local zeta function, which can be studied using embedded resolution of singularities. In this way, one shows the existence of a meromorphic continuations for the Koba–Nielsen amplitudes as functions of the kinematic parameters. The Koba–Nielsen local zeta functions are algebraic-geometric integrals that can be defined over arbitrary local fields (for instance R, C, Qp, Fp((T))), and it is completely natural to expect connections between these objects. The limit p tends to one of the Koba–Nielsen amplitudes give rise to new amplitudes which we have called Denef–Loeser amplitudes. Throughout the article, we have emphasized the explicit calculations in the cases of 4 and 5 points.

Meromorphic continuation of Koba-Nielsen string amplitudes

In this article, we establish in a rigorous mathematical way that Koba-Nielsen amplitudes defined on any local field of characteristic zero are bona fide integrals that admit meromorphic continuations in the kinematic parameters. Our approach allows us to study in a uniform way open and closed Koba-Nielsen amplitudes over arbitrary local fields of characteristic zero. In the regularization process we use techniques of local zeta functions and embedded resolution of singularities. As an application we present the regularization of p-adic open string amplitudes with Chan-Paton factors and constant B-field. Finally, all the local zeta functions studied here are partition functions of certain 1D log-Coulomb gases, which shows an interesting connection between Koba-Nielsen amplitudes and statistical mechanics.