Source author record

Guilherme França

Guilherme França appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

7works
11topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

7 published item(s)

preprint2022arXiv

Geometric Methods for Sampling, Optimisation, Inference and Adaptive Agents

In this chapter, we identify fundamental geometric structures that underlie the problems of sampling, optimisation, inference and adaptive decision-making. Based on this identification, we derive algorithms that exploit these geometric structures to solve these problems efficiently. We show that a wide range of geometric theories emerge naturally in these fields, ranging from measure-preserving processes, information divergences, Poisson geometry, and geometric integration. Specifically, we explain how (i) leveraging the symplectic geometry of Hamiltonian systems enable us to construct (accelerated) sampling and optimisation methods, (ii) the theory of Hilbertian subspaces and Stein operators provides a general methodology to obtain robust estimators, (iii) preserving the information geometry of decision-making yields adaptive agents that perform active inference. Throughout, we emphasise the rich connections between these fields; e.g., inference draws on sampling and optimisation, and adaptive decision-making assesses decisions by inferring their counterfactual consequences. Our exposition provides a conceptual overview of underlying ideas, rather than a technical discussion, which can be found in the references herein.

preprint2020arXiv

Distributed Optimization, Averaging via ADMM, and Network Topology

There has been an increasing necessity for scalable optimization methods, especially due to the explosion in the size of datasets and model complexity in modern machine learning applications. Scalable solvers often distribute the computation over a network of processing units. For simple algorithms such as gradient descent the dependency of the convergence time with the topology of this network is well-known. However, for more involved algorithms such as the Alternating Direction Methods of Multipliers (ADMM) much less is known. At the heart of many distributed optimization algorithms there exists a gossip subroutine which averages local information over the network, and whose efficiency is crucial for the overall performance of the method. In this paper we review recent research in this area and, with the goal of isolating such a communication exchange behaviour, we compare different algorithms when applied to a canonical distributed averaging consensus problem. We also show interesting connections between ADMM and lifted Markov chains besides providing an explicitly characterization of its convergence and optimal parameter tuning in terms of spectral properties of the network. Finally, we empirically study the connection between network topology and convergence rates for different algorithms on a real world problem of sensor localization.

preprint2020arXiv

Kernel k-Groups via Hartigan's Method

Energy statistics was proposed by Sz\' ekely in the 80's inspired by Newton's gravitational potential in classical mechanics and it provides a model-free hypothesis test for equality of distributions. In its original form, energy statistics was formulated in Euclidean spaces. More recently, it was generalized to metric spaces of negative type. In this paper, we consider a formulation for the clustering problem using a weighted version of energy statistics in spaces of negative type. We show that this approach leads to a quadratically constrained quadratic program in the associated kernel space, establishing connections with graph partitioning problems and kernel methods in machine learning. To find local solutions of such an optimization problem, we propose kernel k-groups, which is an extension of Hartigan's method to kernel spaces. Kernel k-groups is cheaper than spectral clustering and has the same computational cost as kernel k-means (which is based on Lloyd's heuristic) but our numerical results show an improved performance, especially in higher dimensions. Moreover, we verify the efficiency of kernel k-groups in community detection in sparse stochastic block models which has fascinating applications in several areas of science.

preprint2015arXiv

On the validity of the Euler product inside the critical strip

The Euler product formula relates Dirichlet $L(s,χ)$ functions to an infinite product over primes, and is known to be valid for $\Re (s) >1$, where it converges absolutely. We provide arguments that the formula is actually valid for $\Re (s) > 1/2$ in a specific sense. Namely, the logarithm of the Euler product, although formally divergent, is meaningful because it is Cesàro summable, and its Cesàro average converges to $\log L (s,χ)$. Our argument relies on the prime number theorem, an Abel transform, and a central limit theorem for the Random Walk of the Primes, the series $\sum_{n=1}^N \cos\left(t\log p_n\right)$, and its generalization to other Dirichlet $L$-functions. The significance of ${\Re(s) > 1/2}$ arises from the $\sqrt{N}$ growth of this series, since it satisfies a central limit theorem. $L$-functions based on principal Dirichlet characters, such as the Riemann $ζ$-function, are exceptional due to the pole at $s=1$, and require $\Im (s) \neq 0$ and a truncation of the Euler product. Compelling numerical evidence of this surprising result is presented, and some of its consequences are discussed.

preprint2015arXiv

Transcendental equations satisfied by the individual zeros of Riemann $ζ$, Dirichlet and modular $L$-functions

We consider the non-trivial zeros of the Riemann $ζ$-function and two classes of $L$-functions; Dirichlet $L$-functions and those based on level one modular forms. We show that there are an infinite number of zeros on the critical line in one-to-one correspondence with the zeros of the cosine function, and thus enumerated by an integer $n$. From this it follows that the ordinate of the $n$-th zero satisfies a transcendental equation that depends only on $n$. Under weak assumptions, we show that the number of solutions of this equation already saturates the counting formula on the entire critical strip. We compute numerical solutions of these transcendental equations and also its asymptotic limit of large ordinate. The starting point is an explicit formula, yielding an approximate solution for the ordinates of the zeros in terms of the Lambert $W$-function. Our approach is a novel and simple method, that takes into account $\arg L$, to numerically compute non-trivial zeros of $L$-functions. The method is surprisingly accurate, fast and easy to implement. Employing these numerical solutions, in particular for the $ζ$-function, we verify that the leading order asymptotic expansion is accurate enough to numerically support Montgomery's and Odlyzko's pair correlation conjectures, and also to reconstruct the prime number counting function. Furthermore, the numerical solutions of the exact transcendental equation can determine the ordinates of the zeros to any desired accuracy. We also study in detail Dirichlet $L$-functions and the $L$-function for the modular form based on the Ramanujan $τ$-function, which is closely related to the bosonic string partition function.

preprint2014arXiv

On the zeros of L-functions

We generalize our recent construction of the zeros of the Riemann $ζ$-function to two infinite classes of $L$-functions, Dirichlet $L$-functions and those based on level one modular forms. More specifically, we show that there are an infinite number of zeros on the critical line which are in one-to-one correspondence with the zeros of the cosine function, and thus enumerated by an integer $n$. We obtain an exact equation on the critical line that determines the $n$-th zero of these $L$-functions. We show that the counting formula on the critical line derived from such an equation agrees with the known counting formula on the entire critical strip. We provide numerical evidence supporting our statements, by computing numerical solutions of this equation, yielding $L$-zeros to high accuracy. We study in detail the $L$-function for the modular form based on the Ramanujan $τ$-function, which is closely related to the bosonic string partition function. The same analysis for a more general class of $L$-functions is also considered.

preprint2014arXiv

Statistical and other properties of Riemann zeros based on an explicit equation for the $n$-th zero on the critical line

We show that there are an infinite number of Riemann zeros on the critical line, enumerated by the positive integers $n=1,2,\dotsc$, whose ordinates can be obtained as the solution of a new transcendental equation that depends only on $n$. Under weak assumptions, we show that the number of such zeros already saturates the counting formula for the numbers of zeros on the entire critical strip. These results thus constitute a concrete proposal toward verifying the Riemann hypothesis. We perform numerical analyses of the exact equation, and its asymptotic limit of large ordinate. The starting point is an explicit analytical formula for an approximate solution to the exact equation in terms of the Lambert $W$ function. In this way, we neither have to use Gram points or deal with violations of Gram's law. Our numerical approach thus constitutes a novel method to compute the zeros. Employing these numerical solutions, we verify that solutions of the asymptotic version are accurate enough to confirm Montgomery's and Odlyzko's pair correlation conjectures and also to reconstruct the prime number counting function.