Graph-based Approximate Message Passing Iterations
- URL: http://arxiv.org/abs/2109.11905v1
- Date: Fri, 24 Sep 2021 11:56:59 GMT
- Title: Graph-based Approximate Message Passing Iterations
- Authors: C\'edric Gerbelot and Rapha\"el Berthier
- Abstract summary: Approximate-message passing (AMP) algorithms have become an important element of high-dimensional statistical inference.
We show that AMP instances can be generically indexed by an oriented graph.
This enables to give a unified interpretation of these iterations, independent from the problem they solve, and a way of composing them arbitrarily.
- Score: 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Approximate-message passing (AMP) algorithms have become an important element
of high-dimensional statistical inference, mostly due to their adaptability and
concentration properties, the state evolution (SE) equations. This is
demonstrated by the growing number of new iterations proposed for increasingly
complex problems, ranging from multi-layer inference to low-rank matrix
estimation with elaborate priors. In this paper, we address the following
questions: is there a structure underlying all AMP iterations that unifies them
in a common framework? Can we use such a structure to give a modular proof of
state evolution equations, adaptable to new AMP iterations without reproducing
each time the full argument ? We propose an answer to both questions, showing
that AMP instances can be generically indexed by an oriented graph. This
enables to give a unified interpretation of these iterations, independent from
the problem they solve, and a way of composing them arbitrarily. We then show
that all AMP iterations indexed by such a graph admit rigorous SE equations,
extending the reach of previous proofs, and proving a number of recent
heuristic derivations of those equations. Our proof naturally includes
non-separable functions and we show how existing refinements, such as spatial
coupling or matrix-valued variables, can be combined with our framework.
Related papers
- Unveiling the Statistical Foundations of Chain-of-Thought Prompting Methods [59.779795063072655]
Chain-of-Thought (CoT) prompting and its variants have gained popularity as effective methods for solving multi-step reasoning problems.
We analyze CoT prompting from a statistical estimation perspective, providing a comprehensive characterization of its sample complexity.
arXiv Detail & Related papers (2024-08-25T04:07:18Z) - Ito Diffusion Approximation of Universal Ito Chains for Sampling, Optimization and Boosting [64.0722630873758]
We consider rather general and broad class of Markov chains, Ito chains, that look like Euler-Maryama discretization of some Differential Equation.
We prove the bound in $W_2$-distance between the laws of our Ito chain and differential equation.
arXiv Detail & Related papers (2023-10-09T18:38:56Z) - Approximate Message Passing for the Matrix Tensor Product Model [8.206394018475708]
We propose and analyze an approximate message passing (AMP) algorithm for the matrix tensor product model.
Building upon an convergence theorem for non-separable functions, we prove a state evolution for non-separable functions.
We leverage this state evolution result to provide necessary and sufficient conditions for recovery of the signal of interest.
arXiv Detail & Related papers (2023-06-27T16:03:56Z) - DIFFormer: Scalable (Graph) Transformers Induced by Energy Constrained
Diffusion [66.21290235237808]
We introduce an energy constrained diffusion model which encodes a batch of instances from a dataset into evolutionary states.
We provide rigorous theory that implies closed-form optimal estimates for the pairwise diffusion strength among arbitrary instance pairs.
Experiments highlight the wide applicability of our model as a general-purpose encoder backbone with superior performance in various tasks.
arXiv Detail & Related papers (2023-01-23T15:18:54Z) - Mutual Exclusivity Training and Primitive Augmentation to Induce
Compositionality [84.94877848357896]
Recent datasets expose the lack of the systematic generalization ability in standard sequence-to-sequence models.
We analyze this behavior of seq2seq models and identify two contributing factors: a lack of mutual exclusivity bias and the tendency to memorize whole examples.
We show substantial empirical improvements using standard sequence-to-sequence models on two widely-used compositionality datasets.
arXiv Detail & Related papers (2022-11-28T17:36:41Z) - A Non-Asymptotic Framework for Approximate Message Passing in Spiked
Models [24.786030482013437]
Approximate message passing (AMP) emerges as an effective iterative paradigm for solving high-dimensional statistical problems.
Prior AMP theory fell short of predicting the AMP dynamics when the number of iterations surpasses $obig(fraclog nloglog nbig)$.
This paper develops a non-asymptotic framework for understanding AMP in spiked matrix estimation.
arXiv Detail & Related papers (2022-08-05T17:59:06Z) - Sufficient Statistic Memory Approximate Message Passing [5.708490209087275]
A key feature of the AMP-type algorithms is that their dynamics can be correctly described by state evolution.
This paper proposes a memory AMP (MAMP) under a sufficient statistic condition, named sufficient statistic MAMP (SS-MAMP)
arXiv Detail & Related papers (2022-06-23T13:06:00Z) - Estimation in Rotationally Invariant Generalized Linear Models via
Approximate Message Passing [21.871513580418604]
We propose a novel family of approximate message passing (AMP) algorithms for signal estimation.
We rigorously characterize their performance in the high-dimensional limit via a state evolution recursion.
arXiv Detail & Related papers (2021-12-08T15:20:04Z) - multiPRover: Generating Multiple Proofs for Improved Interpretability in
Rule Reasoning [73.09791959325204]
We focus on a type of linguistic formal reasoning where the goal is to reason over explicit knowledge in the form of natural language facts and rules.
A recent work, named PRover, performs such reasoning by answering a question and also generating a proof graph that explains the answer.
In our work, we address a new and challenging problem of generating multiple proof graphs for reasoning over natural language rule-bases.
arXiv Detail & Related papers (2021-06-02T17:58:35Z) - Removing Bias in Multi-modal Classifiers: Regularization by Maximizing
Functional Entropies [88.0813215220342]
Some modalities can more easily contribute to the classification results than others.
We develop a method based on the log-Sobolev inequality, which bounds the functional entropy with the functional-Fisher-information.
On the two challenging multi-modal datasets VQA-CPv2 and SocialIQ, we obtain state-of-the-art results while more uniformly exploiting the modalities.
arXiv Detail & Related papers (2020-10-21T07:40:33Z) - Rigorous State Evolution Analysis for Approximate Message Passing with
Side Information [15.90775344965397]
A novel framework that incorporates side information into Approximate Message Passing with Side Information (AMP-SI) has been introduced.
We provide rigorous performance guarantees for AMP-SI when there are statistical dependencies between the signal and SI pairs.
We show that the AMP-SI can predict the AMP-SI mean square error accurately.
arXiv Detail & Related papers (2020-03-25T16:11:18Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.