SearcharxivSearch

arXiv subjects

Cyril Furtlehner

Publications and source records attributed to Cyril Furtlehner.

At least 37 records · Page 2Linked to original sources

Spectral Dynamics of Learning Restricted Boltzmann Machines

The Restricted Boltzmann Machine (RBM), an important tool used in machine learning in particular for unsupervized learning tasks, is investigated from the perspective of its spectral properties. Starting from empirical observations, we propose a generic statistical ensemble for the weight matrix of the RBM and characterize its mean evolution. This let us show how in the linear regime, in which the RBM is found to operate at the beginning of the training, the statistical properties of the data drive the selection of the unstable modes of the weight matrix. A set of equations characterizing the non-linear regime is then derived, unveiling in some way how the selected modes interact in later stages of the learning procedure and defining a deterministic learning curve for the RBM.

cond-mat.dis-nn

Cycle-based Cluster Variational Method for Direct and Inverse Inference

We elaborate on the idea that loop corrections to belief propagation could be dealt with in a systematic way on pairwise Markov random fields, by using the elements of a cycle basis to define region in a generalized belief propagation setting. The region graph is specified in such a way as to avoid dual loops as much as possible, by discarding redundant Lagrange multipliers, in order to facilitate the convergence, while avoiding instabilities associated to minimal factor graph construction. We end up with a two-level algorithm, where a belief propagation algorithm is run alternatively at the level of each cycle and at the inter-region level. The inverse problem of finding the couplings of a Markov random field from empirical covariances can be addressed region wise. It turns out that this can be done efficiently in particular in the Ising context, where fixed point equations can be derived along with a one-parameter log likelihood function to minimize. Numerical experiments confirm the effectiveness of these considerations both for the direct and inverse MRF inference.

cond-mat.dis-nn

Using Latent Binary Variables for Online Reconstruction of Large Scale Systems

We propose a probabilistic graphical model realizing a minimal encoding of real variables dependencies based on possibly incomplete observation and an empirical cumulative distribution function per variable. The target application is a large scale partially observed system, like e.g. a traffic network, where a small proportion of real valued variables are observed, and the other variables have to be predicted. Our design objective is therefore to have good scalability in a real-time setting. Instead of attempting to encode the dependencies of the system directly in the description space, we propose a way to encode them in a latent space of binary variables, reflecting a rough perception of the observable (congested/non-congested for a traffic road). The method relies in part on message passing algorithms, i.e. belief propagation, but the core of the work concerns the definition of meaningful latent variables associated to the variables of interest and their pairwise dependencies. Numerical experiments demonstrate the applicability of the method in practice.

math.PR

Traffic data reconstruction based on Markov random field modeling

We consider the traffic data reconstruction problem. Suppose we have the traffic data of an entire city that are incomplete because some road data are unobserved. The problem is to reconstruct the unobserved parts of the data. In this paper, we propose a new method to reconstruct incomplete traffic data collected from various traffic sensors. Our approach is based on Markov random field modeling of road traffic. The reconstruction is achieved by using mean-field method and a machine learning method. We numerically verify the performance of our method using realistic simulated traffic data for the real road network of Sendai, Japan.

stat.ML

Pairwise MRF Calibration by Perturbation of the Bethe Reference Point

We investigate different ways of generating approximate solutions to the pairwise Markov random field (MRF) selection problem. We focus mainly on the inverse Ising problem, but discuss also the somewhat related inverse Gaussian problem because both types of MRF are suitable for inference tasks with the belief propagation algorithm (BP) under certain conditions. Our approach consists in to take a Bethe mean-field solution obtained with a maximum spanning tree (MST) of pairwise mutual information, referred to as the \emph{Bethe reference point}, for further perturbation procedures. We consider three different ways following this idea: in the first one, we select and calibrate iteratively the optimal links to be added starting from the Bethe reference point; the second one is based on the observation that the natural gradient can be computed analytically at the Bethe point; in the third one, assuming no local field and using low temperature expansion we develop a dual loop joint model based on a well chosen fundamental cycle basis. We indeed identify a subclass of planar models, which we refer to as \emph{Bethe-dual graph models}, having possibly many loops, but characterized by a singly connected dual factor graph, for which the partition function and the linear response can be computed exactly in respectively O(N) and $O(N^2)$ operations, thanks to a dual weight propagation (DWP) message passing procedure that we set up. When restricted to this subclass of models, the inverse Ising problem being convex, becomes tractable at any temperature. Experimental tests on various datasets with refined $L_0$ or $L_1$ regularization procedures indicate that these approaches may be competitive and useful alternatives to existing ones.

cond-mat.dis-nn

Local stability of Belief Propagation algorithm with multiple fixed points

A number of problems in statistical physics and computer science can be expressed as the computation of marginal probabilities over a Markov random field. Belief propagation, an iterative message-passing algorithm, computes exactly such marginals when the underlying graph is a tree. But it has gained its popularity as an efficient way to approximate them in the more general case, even if it can exhibits multiple fixed points and is not guaranteed to converge. In this paper, we express a new sufficient condition for local stability of a belief propagation fixed point in terms of the graph structure and the beliefs values at the fixed point. This gives credence to the usual understanding that Belief Propagation performs better on sparse graphs.

stat.ML

About Hydrodynamic Limit of Some Exclusion Processes via Functional Integration

This article considers some classes of models dealing with the dynamics of discrete curves subjected to stochastic deformations. It turns out that the problems of interest can be set in terms of interacting exclusion processes, the ultimate goal being to derive hydrodynamic limits after proper scalings. A seemingly new method is proposed, which relies on the analysis of specific partial differential operators, involving variational calculus and functional integration: indeed, the variables are the values of some functions at given points, the number of which tends to become infinite, which requires the construction of \emph{generalized measures}. Starting from a detailed analysis of the \textsc{asep} system on the torus Z/N/Z, we claim that the arguments a priori work in higher dimensions (ABC, multi-type exclusion processes, etc), leading to sytems of coupled partial differential equations of Burgers' type.

math.PR

A queueing theory approach for a multi-speed exclusion process

We consider a one-dimensional stochastic reaction-diffusion generalizing the totally asymmetric simple exclusion process, and aiming at describing single lane roads with vehicles that can change speed. To each particle is associated a jump rate, and the particular dynamics that we choose (based on 3-sites patterns) ensures that clusters of occupied sites are of uniform jump rate. When this model is set on a circle or an infinite line, classical arguments allow to map it to a linear network of queues (a zero-range process in theoretical physics parlance) with exponential service times, but with a twist: the service rate remains constant during a busy period, but can change at renewal events. We use the tools of queueing theory to compute the fundamental diagram of the traffic, and show the effects of a condensation mechanism.

cond-mat.stat-mech

One-dimensional Particle Processes with Acceleration/Braking Asymmetry

The slow-to-start mechanism is known to play an important role in the particular shape of the Fundamental diagram of traffic and to be associated to hysteresis effects of traffic flow.We study this question in the context of exclusion and queueing processes,by including an asymmetry between deceleration and acceleration in the formulation of these processes. For exclusions processes, this corresponds to a multi-class process with transition asymmetry between different speed levels, while for queueing processes we consider non-reversible stochastic dependency of the service rate w.r.t the number of clients. The relationship between these 2 families of models is analyzed on the ring geometry, along with their steady state properties. Spatial condensation phenomena and metastability is observed, depending on the level of the aforementioned asymmetry. In addition we provide a large deviation formulation of the fundamental diagram (FD) which includes the level of fluctuations, in the canonical ensemble when the stationary state is expressed as a product form of such generalized queues.

cond-mat.stat-mech

The Role of Normalization in the Belief Propagation Algorithm

An important part of problems in statistical physics and computer science can be expressed as the computation of marginal probabilities over a Markov Random Field. The belief propagation algorithm, which is an exact procedure to compute these marginals when the underlying graph is a tree, has gained its popularity as an efficient way to approximate them in the more general case. In this paper, we focus on an aspect of the algorithm that did not get that much attention in the literature, which is the effect of the normalization of the messages. We show in particular that, for a large class of normalization strategies, it is possible to focus only on belief convergence. Following this, we express the necessary and sufficient conditions for local stability of a fixed point in terms of the graph structure and the beliefs values at the fixed point. We also explicit some connexion between the normalization constants and the underlying Bethe Free Energy.

cs.LG

Scaling Analysis of Affinity Propagation

We analyze and exploit some scaling properties of the Affinity Propagation (AP) clustering algorithm proposed by Frey and Dueck (2007). First we observe that a divide and conquer strategy, used on a large data set hierarchically reduces the complexity ${\cal O}(N^2)$ to ${\cal O}(N^{(h+2)/(h+1)})$, for a data-set of size $N$ and a depth $h$ of the hierarchical strategy. For a data-set embedded in a $d$-dimensional space, we show that this is obtained without notably damaging the precision except in dimension $d=2$. In fact, for $d$ larger than 2 the relative loss in precision scales like $N^{(2-d)/(h+1)d}$. Finally, under some conditions we observe that there is a value $s^*$ of the penalty coefficient, a free parameter used to fix the number of clusters, which separates a fragmentation phase (for $s s^*$) of the underlying hidden cluster structure. At this precise point holds a self-similarity property which can be exploited by the hierarchical strategy to actually locate its position. From this observation, a strategy based on \AP can be defined to find out how many clusters are present in a given dataset.

cs.AI

Learning Multiple Belief Propagation Fixed Points for Real Time Inference

In the context of inference with expectation constraints, we propose an approach based on the "loopy belief propagation" algorithm LBP, as a surrogate to an exact Markov Random Field MRF modelling. A prior information composed of correlations among a large set of N variables, is encoded into a graphical model; this encoding is optimized with respect to an approximate decoding procedure LBP, which is used to infer hidden variables from an observed subset. We focus on the situation where the underlying data have many different statistical components, representing a variety of independent patterns. Considering a single parameter family of models we show how LBP may be used to encode and decode efficiently such information, without solving the NP hard inverse problem yielding the optimal MRF. Contrary to usual practice, we work in the non-convex Bethe free energy minimization framework, and manage to associate a belief propagation fixed point to each component of the underlying probabilistic mixture. The mean field limit is considered and yields an exact connection with the Hopfield model at finite temperature and steady state, when the number of mixture components is proportional to the number of variables. In addition, we provide an enhanced learning procedure, based on a straightforward multi-parameter extension of the model in conjunction with an effective continuous optimization procedure. This is performed using the stochastic search heuristic CMAES and yields a significant improvement with respect to the single parameter basic model.

cs.LG

Belief Propagation and Bethe approximation for Traffic Prediction

We define and study an inference algorithm based on "belief propagation" (BP) and the Bethe approximation. The idea is to encode into a graph an a priori information composed of correlations or marginal probabilities of variables, and to use a message passing procedure to estimate the actual state from some extra real-time information. This method is originally designed for traffic prediction and is particularly suitable in settings where the only information available is floating car data. We propose a discretized traffic description, based on the Ising model of statistical physics, in order to both reconstruct and predict the traffic in real time. General properties of BP are addressed in this context. In particular, a detailed study of stability is proposed with respect to the a priori data and the graph topology. The behavior of the algorithm is illustrated by numerical studies on a simple traffic toy model. How this approach can be generalized to encode superposition of many traffic patterns is discussed.

physics.soc-ph

Statistical Physics Algorithms for Traffic Reconstruction

Concepts and techniques from statistical physics inspired a new method for traffic prediction. This method is particularly suitable in settings where the only information available is floating car data. We propose a system, based on the Ising model of statistical physics, which both reconstructs and predicts the traffic in real time using a message-passing algorithm.

math.PR

Stochastic Dynamics of Discrete Curves and Multi-type Exclusion Processes

This study deals with continuous limits of interacting one-dimensional diffusive systems, arising from stochastic distortions of discrete curves with various kinds of coding representations. These systems are essentially of a reaction-diffusion nature. In the non-reversible case, the invariant measure has generally a non Gibbs form. The corresponding steady-state regime is analyzed in detail with the help of a tagged particle and a state-graph cycle expansion of the probability currents. As a consequence, the constants appearing in Lotka-Volterraequations --which describe the fluid limits of stationary states-- can be traced back directly at the discrete level to tagged particles cycles coefficients. Current fluctuations are also studied and the Lagrangian is obtained by an iterative scheme. The related Hamilton-Jacobi equation, which leads to the large deviation functional, is analyzed and solved in the reversible case for the sake of checking.

cond-mat.stat-mech

Stochastic Deformations of Sample Paths of Random Walks and Exclusion Models

This study in centered on models accounting for stochastic deformations of sample paths of random walks, embedded either in $\mathbb{Z}^2$ or in $\mathbb{Z}^3$. These models are immersed in multi-type particle systems with exclusion. Starting from examples, we give necessary and sufficient conditions for the underlying Markov processes to be reversible, in which case their invariant measure has a Gibbs form. Letting the size of the sample path increase, we find the convenient scalings bringing to light phase transition phenomena. Stable and metastable configurations are bound to time-periods of limiting deterministic trajectories which are solution of nonlinear differential systems: in the example of the ABC model, a system of Lotka-Volterra class is obtained, and the periods involve elliptic, hyper-elliptic or more general functions. Lastly, we discuss briefly the contour of a general approach allowing to tackle the transient regime via differential equations of Burgers' type.

cond-mat.stat-mech

Stochastic Dynamics of Discrete Curves and Exclusion Processes. Part 1: Hydrodynamic Limit of the ASEP System

This report is the foreword of a series dedicated to stochastic deformations of curves. Problems are set in terms of exclusion processes, the ultimate goal being to derive hydrodynamic limits for these systems after proper scalings. In this study, solely the basic \textsc{asep} system on the torus is analyzed. The usual sequence of empirical measures, converges in probability to a deterministic measure, which is the unique weak solution of a Cauchy problem. The method presents some new features, letting hope for extensions to higher dimension. It relies on the analysis of a family of parabolic differential operators, involving variational calculus. Namely, the variables are the values of functions at given points, their number being possibly infinite.

math.PR

Survey-propagation decimation through distributed local computations

We discuss the implementation of two distributed solvers of the random K-SAT problem, based on some development of the recently introduced survey-propagation (SP) algorithm. The first solver, called the "SP diffusion algorithm", diffuses as dynamical information the maximum bias over the system, so that variable nodes can decide to freeze in a self-organized way, each variable making its decision on the basis of purely local information. The second solver, called the "SP reinforcement algorithm", makes use of time-dependent external forcing messages on each variable, which let the variables get completely polarized in the direction of a solution at the end of a single convergence. Both methods allow us to find a solution of the random 3-SAT problem in a range of parameters comparable with the best previously described serialized solvers. The simulated time of convergence towards a solution (if these solvers were implemented on a distributed device) grows as log(N).

cond-mat.dis-nn