Searcharxiv⌕ Search

arXiv subjects

Clément Hongler

Publications and source records attributed to Clément Hongler.

32 records · Page 2Linked to original sources

Scaling description of generalization with number of parameters in deep learning

Supervised deep learning involves the training of neural networks with a large number $N$ of parameters. For large enough $N$, in the so-called over-parametrized regime, one can essentially fit the training data points. Sparsity-based arguments would suggest that the generalization error increases as $N$ grows past a certain threshold $N^{*}$. Instead, empirical studies have shown that in the over-parametrized regime, generalization error keeps decreasing with $N$. We resolve this paradox through a new framework. We rely on the so-called Neural Tangent Kernel, which connects large neural nets to kernel methods, to show that the initialization causes finite-size random fluctuations $\|f_{N}-\bar{f}_{N}\|\sim N^{-1/4}$ of the neural net output function $f_{N}$ around its expectation $\bar{f}_{N}$. These affect the generalization error $ε_{N}$ for classification: under natural assumptions, it decays to a plateau value $ε_{\infty}$ in a power-law fashion $\sim N^{-1/2}$. This description breaks down at a so-called jamming transition $N=N^{*}$. At this threshold, we argue that $\|f_{N}\|$ diverges. This result leads to a plausible explanation for the cusp in test error known to occur at $N^{*}$. Our results are confirmed by extensive empirical observations on the MNIST and CIFAR image datasets. Our analysis finally suggests that, given a computational envelope, the smallest generalization error is obtained using several networks of intermediate sizes, just beyond $N^{*}$, and averaging their outputs.

cond-mat.dis-nn↗

Conformal Field Theory at the Lattice Level: Discrete Complex Analysis and Virasoro Structure

Critical statistical mechanics and Conformal Field Theory (CFT) are conjecturally connected since the seminal work of Beliavin, Polyakov, and Zamolodchikov [BPZ84a]. Both exhibit exactly solvable structures in two dimensions. A long-standing question [ItTh87] concerns whether there is a direct link between these structures, that is, whether the Virasoro algebra representations of CFT, the distinctive feature of CFT in two dimensions, can be found within lattice models of statistical mechanics. We give a positive answer to this question for the discrete Gaussian free field and for the Ising model, by connecting the structures of discrete complex analysis in the lattice models with the Virasoro symmetry that is expected to describe their scaling limits. This allows for a tight connection of a number of objects from the lattice model world and the field theory one. In particular, our results link the CFT local fields with lattice local fields introduced in [GHP19] and the probabilistic formulation of the lattice model with the continuum correlation functions. Our construction is a decisive step towards establishing the conjectured correspondence between the correlation functions of the CFT fields and those of the lattice local fields. In particular, together with the upcoming [CHI19], our construction will complete the picture initiated in [HoSm13, Hon12, CHI15], where a number of conjectures relating specific Ising lattice fields and CFT correlations were proven.

math-ph↗

Ising Model: Local Spin Correlations and Conformal Invariance

We study the 2-dimensional Ising model at critical temperature on a simply connected subset $Ω_δ$ of the square grid $δ\mathbb{Z}^{2}$. The scaling limit of the critical Ising model is conjectured to be described by Conformal Field Theory; in particular, there is expected to be a precise correspondence between local lattice fields of the Ising model and the local fields of Conformal Field Theory. Towards the proof of this correspondence, we analyze arbitrary spin pattern probabilities (probabilities of finite spin configurations occurring at the origin), explicitly obtain their infinite-volume limits, and prove their conformal covariance at the first (non-trivial) order. We formulate these probabilities in terms of discrete fermionic observables, enabling the study of their scaling limits. This generalizes results of [Hon10,HoSm13] and [CHI15] to one-point functions of any local spin correlations. We introduce a collection of tools which allow one to exactly and explicitly translate any spin pattern probability (and hence any lattice local field correlation) in terms of discrete complex analysis quantities. The proof requires working with multipoint lattice spinors with monodromy (including construction of explicit formulae in the full plane), and refined analysis near their source points to prove convergence to the appropriate continuous conformally covariant functions.

math-ph↗

The scaling limit of critical Ising interfaces is CLE(3)

In this paper, we consider the set of interfaces between + and - spins arising for the critical planar Ising model on a domain with + boundary conditions, and show that it converges towards CLE(3). Our proof relies on the study of the coupling between the Ising model and its random cluster (FK) representation, and of the interactions between FK and Ising interfaces. The main idea is to construct an exploration process starting from the boundary of the domain, to discover the Ising loops and to establish its convergence to a conformally invariant limit. The challenge is that Ising loops do not touch the boundary; we use the fact that FK loops touch the boundary (and hence can be explored from the boundary) and that Ising loops in turn touch FK loops, to construct a recursive exploration process that visits all the macroscopic loops. A key ingredient in the proof is the convergence of Ising free arcs to the Free Arc Ensemble (FAE), established in [BDH16]. Qualitative estimates about the Ising interfaces then allow one to identify the scaling limit of Ising loops as a conformally invariant collection of simple, disjoint SLE(3)-like loops and thus by the Markovian characterization of [ShWe12] as a CLE(3). A technical point of independent interest contained in this paper is an investigation of double points of interfaces in the scaling limit of critical FK-Ising. It relies on the technology of [KeSm12].

math.PR↗

Conformal invariance of crossing probabilities for the Ising model with free boundary conditions

We prove that crossing probabilities for the critical planar Ising model with free boundary conditions are conformally invariant in the scaling limit, a phenomenon first investigated numerically by Langlands, Lewis and Saint-Aubin. We do so by establishing the convergence of certain exploration processes towards SLE$(3,\frac{-3}2,\frac{-3}2)$. We also construct an exploration tree for free boundary conditions, analogous to the one introduced by Sheffield.

math.PR↗

Conformal Invariance of Spin Correlations in the Planar Ising Model

We rigorously prove the existence and the conformal invariance of scaling limits of the magnetization and multi-point spin correlations in the critical Ising model on arbitrary simply connected planar domains. This solves a number of conjectures coming from the physical and the mathematical literature. The proof relies on convergence results for discrete holomorphic spinor observables and probabilistic techniques.

math-ph↗

Convergence of Ising interfaces to Schramm's SLE curves

We show how to combine our earlier results to deduce strong convergence of the interfaces in the planar critical Ising model and its random-cluster representation to Schramm's SLE curves with parameter $κ=3$ and $κ=16/3$ respectively.

math-ph↗

Crossing probabilities in topological rectangles for the critical planar FK-Ising model

We consider the FK-Ising model in two dimensions at criticality. We obtain bounds on crossing probabilities of arbitrary topological rectangles, uniform with respect to the boundary conditions, generalizing results of [DCHN11] and [CS12]. Our result relies on new discrete complex analysis techniques, introduced in [Che12]. We detail some applications, in particular the computation of so-called universal exponents, the proof of quasi-multiplicativity properties of arm probabilities, and bounds on crossing probabilities for the classical Ising model.

math.PR↗

Discrete holomorphicity and Ising model operator formalism

We explore the connection between the transfer matrix formalism and discrete complex analysis approach to the two dimensional Ising model. We construct a discrete analytic continuation matrix, analyze its spectrum and establish a direct connection with the critical Ising transfer matrix. We show that the lattice fermion operators of the transfer matrix formalism satisfy, as operators, discrete holomorphicity, and we show that their correlation functions are Ising parafermionic observables. We extend these correspondences also to outside the critical point. We show that critical Ising correlations can be computed with operators on discrete Cauchy data spaces, which encode the geometry and operator insertions in a manner analogous to the quantum states in the transfer matrix formalism.

math-ph↗

Hardy Spaces and Boundary Conditions from the Ising Model

Functions in Hardy spaces on multiply-connected domains in the plane are given an explicit characterization in terms of a boundary condition inspired by the two-dimensional Ising model. The key underlying property is the positivity of a certain operator constructed inductively on the number of components of the boundary.

math.CV↗

Ising Interfaces and Free Boundary Conditions

We study the interfaces arising in the two-dimensional Ising model at critical temperature, without magnetic field. We show that in the presence of free boundary conditions between plus and minus spins, the scaling limit of these interfaces can be described by a variant of SLE, called dipolar SLE(3). This generalizes a celebrated result of Chelkak and Smirnov and proves a conjecture of Bauer, Bernard and Houdayer. We mention two possible applications of our result.

math.PR↗

The energy density in the planar Ising model

We study the critical Ising model on the square lattice in bounded simply connected domains with + and free boundary conditions. We relate the energy density of the model to a fermionic observable and compute its scaling limit by discrete complex analysis methods. As a consequence, we obtain a simple exact formula for the scaling limit of the energy field one-point function in terms of hyperbolic metric. This confirms the predictions originating in physics, but also provides a higher precision.

math-ph↗

Connection probabilities and RSW-type bounds for the FK Ising model

We prove Russo-Seymour-Welsh-type uniform bounds on crossing probabilities for the FK Ising model at criticality, independent of the boundary conditions. Our proof relies mainly on Smirnov's fermionic observable for the FK Ising model, which allows us to get precise estimates on boundary connection probabilities. It remains purely discrete, in particular we do not make use of any continuum limit, and it can be used to derive directly several noteworthy results - some new and some not - among which the fact that there is no spontaneous magnetization at criticality, tightness properties for the interfaces, and the existence of several critical exponents, in particular the half-plane one-arm exponent.

math.PR↗

Critical percolation: the expected number of clusters in a rectangle

We show that for critical site percolation on the triangular lattice two new observables have conformally invariant scaling limits. In particular the expected number of clusters separating two pairs of points converges to an explicit conformal invariant. Our proof is independent of earlier results and $SLE$ techniques, and in principle should provide a new approach to establishing conformal invariance of percolation.

math.PR↗