-
Layer dynamics for the Allen-Cahn equation with nonlinear phase-dependent diffusion
Authors:
José Alejandro Butanda Mejía,
Daniel Castañon Quiroz,
Raffaele Folino,
Luis Fernando Lopez Ríos
Abstract:
The goal of this paper is to describe the metastable dynamics of the solutions to the reaction-diffusion equation with nonlinear phase-dependent diffusion $u_t=\varepsilon^2(D(u)u_x)_x-f(u)$, where $D$ is a strictly positive function and $f$ is a bistable reaction term. We derive a system of ordinary differential equations describing the slow evolution of the metastable states, whose existence has…
▽ More
The goal of this paper is to describe the metastable dynamics of the solutions to the reaction-diffusion equation with nonlinear phase-dependent diffusion $u_t=\varepsilon^2(D(u)u_x)_x-f(u)$, where $D$ is a strictly positive function and $f$ is a bistable reaction term. We derive a system of ordinary differential equations describing the slow evolution of the metastable states, whose existence has been proved by Folino et al. (Z. Angew. Math. Phys., 2020). Such a system generalizes the one derived in the pioneering work of Carr and Pego (Comm. Pure Appl. Math., 1989) to describe the metastable dynamics for the classical Allen-Cahn equation, which corresponds to the particular case $D\equiv1$.
△ Less
Submitted 19 March, 2025;
originally announced March 2025.
-
Exact discovery is polynomial for certain sparse causal Bayesian networks
Authors:
Felix L. Rios,
Giusi Moffa,
Jack Kuipers
Abstract:
Causal Bayesian networks are widely used tools for summarising the dependencies between variables and elucidating their putative causal relationships. By restricting the search to trees, for example, learning the optimum from data is polynomial, but this does not guarantee finding the optimal network overall. Without similar restrictions, exact discovery of the optimum is computationally hard in g…
▽ More
Causal Bayesian networks are widely used tools for summarising the dependencies between variables and elucidating their putative causal relationships. By restricting the search to trees, for example, learning the optimum from data is polynomial, but this does not guarantee finding the optimal network overall. Without similar restrictions, exact discovery of the optimum is computationally hard in general and no polynomial results are known. The current state-of-the-art approaches are integer linear programming over the underlying space of directed acyclic graphs, dynamic programming and shortest-path searches over the space of topological orders, and constraint programming combining both. For dynamic programming over orders, the computational complexity is known to be exponential base 2 in the number of variables in the network. We demonstrate how to use properties of Bayesian networks to prune the search space and lower the computational cost, while still guaranteeing exact discovery of the provably optimal network. We also include new path-search and divide-and-conquer criteria. Without a priori constraining the search to certain types of networks, the algorithm completes in quadratic time when the optimum is a matching, and in polynomial time when the optimum belongs to any network class with logarithmically-bound largest connected components. In simulation studies we observe the polynomial dependence for sparse networks and that, beyond some critical value, the logarithm of the base grows with the network density. Our approach then out-competes the state-of-the-art at lower densities. These results therefore pave the way for faster exact causal discovery in larger and sparser networks.
△ Less
Submitted 7 March, 2025; v1 submitted 21 June, 2024;
originally announced June 2024.
-
Scalable Structure Learning for Sparse Context-Specific Systems
Authors:
Felix Leopoldo Rios,
Alex Markham,
Liam Solus
Abstract:
Several approaches to graphically representing context-specific relations among jointly distributed categorical variables have been proposed, along with structure learning algorithms. While existing optimization-based methods have limited scalability due to the large number of context-specific models, the constraint-based methods are more prone to error than even constraint-based directed acyclic…
▽ More
Several approaches to graphically representing context-specific relations among jointly distributed categorical variables have been proposed, along with structure learning algorithms. While existing optimization-based methods have limited scalability due to the large number of context-specific models, the constraint-based methods are more prone to error than even constraint-based directed acyclic graph learning algorithms since more relations must be tested. We present an algorithm for learning context-specific models that scales to hundreds of variables. Scalable learning is achieved through a combination of an order-based Markov chain Monte-Carlo search and a novel, context-specific sparsity assumption that is analogous to those typically invoked for directed acyclic graphical models. Unlike previous Markov chain Monte-Carlo search methods, our Markov chain is guaranteed to have the true posterior of the variable orderings as the stationary distribution. To implement the method, we solve a first case of an open problem recently posed by Alon and Balogh. Future work solving increasingly general instances of this problem would allow our methods to learn increasingly dense models. The method is shown to perform well on synthetic data and real world examples, in terms of both accuracy and scalability.
△ Less
Submitted 16 October, 2024; v1 submitted 12 February, 2024;
originally announced February 2024.
-
Optimal boundary regularity and a Hopf-type lemma for Dirichlet problems involving the logarithmic Laplacian
Authors:
Víctor Hernández-Santamaría,
Luis Fernando López Ríos,
Alberto Saldaña
Abstract:
We study the optimal boundary regularity of solutions to Dirichlet problems involving the logarithmic Laplacian. Our proofs are based on the construction of suitable barriers via the Kelvin transform and direct computations. As applications of our results, we show a Hopf-type Lemma for nonnegative weak solutions and the uniqueness of solutions to some nonlinear problems.
We study the optimal boundary regularity of solutions to Dirichlet problems involving the logarithmic Laplacian. Our proofs are based on the construction of suitable barriers via the Kelvin transform and direct computations. As applications of our results, we show a Hopf-type Lemma for nonnegative weak solutions and the uniqueness of solutions to some nonlinear problems.
△ Less
Submitted 3 July, 2024; v1 submitted 31 January, 2024;
originally announced January 2024.
-
On a generalized Cahn-Hilliard model with p-Laplacian
Authors:
Raffaele Folino,
Luis Fernando Lopez Rios,
Marta Strani
Abstract:
A generalized Cahn-Hilliard model in a bounded interval of the real line with no-flux boundary conditions is considered. The label "generalized" refers to the fact that we consider a concentration dependent mobility, the $p$-Laplace operator with $p>1$ and a double well potential of the form $F(u)=\frac{1}{2θ}|1-u^2|^θ$, with $θ>1$; these terms replace, respectively, the constant mobility, the lin…
▽ More
A generalized Cahn-Hilliard model in a bounded interval of the real line with no-flux boundary conditions is considered. The label "generalized" refers to the fact that we consider a concentration dependent mobility, the $p$-Laplace operator with $p>1$ and a double well potential of the form $F(u)=\frac{1}{2θ}|1-u^2|^θ$, with $θ>1$; these terms replace, respectively, the constant mobility, the linear Laplace operator and the $C^2$ potential satisfying $F"(\pm1)>0$, which are typical of the standard Cahn-Hilliard model. After investigating the associated stationary problem and highlighting the differences with the standard results, we focus the attention on the long time dynamics of solutions when $θ\geq p>1$. In the $critical$ $θ=p>1$, we prove $exponentially$ $slow$ $motion$ of profiles with a transition layer structure, thus extending the well know results of the standard model, where $θ=p=2$; conversely, in the $supercritical$ case $θ>p>1$, we prove $algebraic$ $slow$ $motion$ of layered profiles.
△ Less
Submitted 22 February, 2022;
originally announced February 2022.
-
Variational formulation for fractional hyperbolic problems in the theory of viscoelasticity
Authors:
Luis Fernando López Ríos,
Julián Bravo-Castillero
Abstract:
In this article a theoretical framework for problems involving fractional equations of hyperbolic type arising in the theory of viscoelasticity is presented. Based on the Galerkin method, a variational problem of the fractionary viscoelasticity is studied. An appropriate functional setting is introduced in order to establish the existence, uniqueness and a priori estimates for weak solutions. This…
▽ More
In this article a theoretical framework for problems involving fractional equations of hyperbolic type arising in the theory of viscoelasticity is presented. Based on the Galerkin method, a variational problem of the fractionary viscoelasticity is studied. An appropriate functional setting is introduced in order to establish the existence, uniqueness and a priori estimates for weak solutions. This framework is developed in close concordance with important physical quantities of the theory of viscoelasticity
△ Less
Submitted 19 August, 2021;
originally announced August 2021.
-
Benchpress: A Scalable and Versatile Workflow for Benchmarking Structure Learning Algorithms
Authors:
Felix L. Rios,
Giusi Moffa,
Jack Kuipers
Abstract:
Describing the relationship between the variables in a study domain and modelling the data generating mechanism is a fundamental problem in many empirical sciences. Probabilistic graphical models are one common approach to tackle the problem. Learning the graphical structure for such models is computationally challenging and a fervent area of current research with a plethora of algorithms being de…
▽ More
Describing the relationship between the variables in a study domain and modelling the data generating mechanism is a fundamental problem in many empirical sciences. Probabilistic graphical models are one common approach to tackle the problem. Learning the graphical structure for such models is computationally challenging and a fervent area of current research with a plethora of algorithms being developed. To facilitate the benchmarking of different methods, we present a novel Snakemake workflow, called Benchpress for producing scalable, reproducible, and platform-independent benchmarks of structure learning algorithms for probabilistic graphical models. Benchpress is interfaced via a simple JSON-file, which makes it accessible for all users, while the code is designed in a fully modular fashion to enable researchers to contribute additional methodologies. Benchpress currently provides an interface to a large number of state-of-the-art algorithms from libraries such as BDgraph, BiDAG, bnlearn, causal-learn, gCastle, GOBNILP, pcalg, r.blip, scikit-learn, TETRAD, and trilearn as well as a variety of methods for data generating models and performance evaluation. Alongside user-defined models and randomly generated datasets, the workflow also includes a number of standard datasets and graphical models from the literature, which may be included in a benchmarking study. We demonstrate the applicability of this workflow for learning Bayesian networks in five typical data scenarios. The source code and documentation is publicly available from http://benchpressdocs.readthedocs.io.
△ Less
Submitted 4 December, 2023; v1 submitted 8 July, 2021;
originally announced July 2021.
-
Long-time behavior of solutions to the generalized Allen-Cahn model with degenerate diffusivity
Authors:
Raffaele Folino,
Luis F. López Ríos,
Ramón G. Plaza
Abstract:
The generalized Allen-Cahn equation,
\[
u_t=\varepsilon^2(D(u)u_x)_x-\frac{\varepsilon^2}2D'(u)u_x^2-F'(u),
\]
with nonlinear diffusion, $D = D(u)$, and potential, $F = F(u)$, of the form
\[
D(u) = |1-u^2|^{m}, \quad \text{or} \quad D(u) = |1-u|^{m}, \quad m >1,
\]
and
\[
F(u)=\frac{1}{2n}|1-u^2|^{n}, \qquad n\geq2,
\]
respectively, is studied. These choices correspond to a…
▽ More
The generalized Allen-Cahn equation,
\[
u_t=\varepsilon^2(D(u)u_x)_x-\frac{\varepsilon^2}2D'(u)u_x^2-F'(u),
\]
with nonlinear diffusion, $D = D(u)$, and potential, $F = F(u)$, of the form
\[
D(u) = |1-u^2|^{m}, \quad \text{or} \quad D(u) = |1-u|^{m}, \quad m >1,
\]
and
\[
F(u)=\frac{1}{2n}|1-u^2|^{n}, \qquad n\geq2,
\]
respectively, is studied. These choices correspond to a reaction function that can be derived from a double well potential, and to a generalized degenerate diffusivity coefficient depending on the density $u$ that vanishes at one or at the two wells, $u = \pm 1$. It is shown that interface layer solutions that are equal to $\pm 1$ except at a finite number of thin transitions of width $\varepsilon$ persist for an either exponentially or algebraically long time, depending upon the interplay between the exponents $n$ and $m$. For that purpose, energy bounds for a renormalized effective energy potential of Ginzburg-Landau type are derived.
△ Less
Submitted 10 December, 2020;
originally announced December 2020.
-
Spectral stability of monotone traveling fronts for reaction diffusion-degenerate Nagumo equations
Authors:
J. Francisco Leyva,
Luis F. López Ríos,
Ramón G. Plaza
Abstract:
This paper establishes the spectral stability of monotone traveling front solutions for reaction-diffusion equations where the reaction function is of Nagumo (or bistable) type and with diffusivities which are density dependent and degenerate at zero (one of the equilibrium points of the reaction). Spectral stability is understood as the property that the spectrum of the linearized operator around…
▽ More
This paper establishes the spectral stability of monotone traveling front solutions for reaction-diffusion equations where the reaction function is of Nagumo (or bistable) type and with diffusivities which are density dependent and degenerate at zero (one of the equilibrium points of the reaction). Spectral stability is understood as the property that the spectrum of the linearized operator around the wave, acting on an exponentially weighted space, is contained in the complex half plane with non-positive real part. Three different types of monotone waves are studied: (i) stationary diffusion-degenerate fronts, connecting the two stable equilibria of the reaction; (ii) traveling diffusion-degenerate fronts connecting zero with the unstable equilibrium; and, (iii) non-degenerate fronts. In the first two cases, the degeneracy is responsible of the loss of hyperbolicity of the asymptotic coefficient matrices of the spectral problem at one of the end points, precluding the application of standard techniques to locate the essential spectrum. This difficulty is overcome with a suitable partition of the spectrum, a generalized convergence of operators technique, the analysis of singular (or Weyl) sequences and the use of energy estimates. The monotonicity of the fronts, as well as detailed descriptions of the decay structure of eigenfunctions on a case by case basis, are key ingredients to show that all traveling fronts under consideration are spectrally stable in a suitably chosen exponentially weighted $L^2$ energy space.
△ Less
Submitted 7 December, 2022; v1 submitted 16 September, 2019;
originally announced September 2019.
-
Sequential sampling of junction trees for decomposable graphs
Authors:
Jimmy Olsson,
Tetyana Pavlenko,
Felix L. Rios
Abstract:
The junction-tree representation provides an attractive structural property for organizing a decomposable graph. In this study, we present two novel stochastic algorithms, which we call the junction-tree expander and junction-tree collapser for sequential sampling of junction trees for decomposable graphs. We show that recursive application of the junction-tree expander, expanding incrementally th…
▽ More
The junction-tree representation provides an attractive structural property for organizing a decomposable graph. In this study, we present two novel stochastic algorithms, which we call the junction-tree expander and junction-tree collapser for sequential sampling of junction trees for decomposable graphs. We show that recursive application of the junction-tree expander, expanding incrementally the underlying graph with one vertex at a time, has full support on the space of junction trees with any given number of underlying vertices. On the other hand, the junction-tree collapser provides a complementary operation for removing vertices in the underlying decomposable graph of a junction tree, while maintaining the junction tree property. A direct application of our suggested algorithms is demonstrated in a sequential-Monte-Carlo setting designed for sampling from distributions on spaces of decomposable graphs. Numerical studies illustrate the utility of the proposed algorithms for combinatorial computations on decomposable graphs and junction trees. All the methods proposed in the paper are implemented in the Python library trilearn.
△ Less
Submitted 15 February, 2021; v1 submitted 2 June, 2018;
originally announced June 2018.
-
Bayesian learning of weakly structural Markov graph laws using sequential Monte Carlo methods
Authors:
Jimmy Olsson,
Tetyana Pavlenko,
Felix L. Rios
Abstract:
We present a sequential sampling methodology for weakly structural Markov laws, arising naturally in a Bayesian structure learning context for decomposable graphical models. As a key component of our suggested approach, we show that the problem of graph estimation, which in general lacks natural sequential interpretation, can be recast into a sequential setting by proposing a recursive Feynman-Kac…
▽ More
We present a sequential sampling methodology for weakly structural Markov laws, arising naturally in a Bayesian structure learning context for decomposable graphical models. As a key component of our suggested approach, we show that the problem of graph estimation, which in general lacks natural sequential interpretation, can be recast into a sequential setting by proposing a recursive Feynman-Kac model that generates a flow of junction tree distributions over a space of increasing dimensions. We focus on particle McMC methods to provide samples on this space, in particular on particle Gibbs (PG), as it allows for generating McMC chains with global moves on an underlying space of decomposable graphs. To further improve the PG mixing properties, we incorporate a systematic refreshment step implemented through direct sampling from a backward kernel. The theoretical properties of the algorithm are investigated, showing that the proposed refreshment step improves the performance in terms of asymptotic variance of the estimated distribution. The suggested sampling methodology is illustrated through a collection of numerical examples demonstrating high accuracy in Bayesian graph structure learning in both discrete and continuous graphical models.
△ Less
Submitted 23 July, 2019; v1 submitted 31 May, 2018;
originally announced May 2018.
-
Graphical posterior predictive classifier: Bayesian model averaging with particle Gibbs
Authors:
Tatjana Pavlenko,
Felix Leopoldo Rios
Abstract:
In this study, we present a multi-class graphical Bayesian predictive classifier that incorporates the uncertainty in the model selection into the standard Bayesian formalism. For each class, the dependence structure underlying the observed features is represented by a set of decomposable Gaussian graphical models. Emphasis is then placed on the Bayesian model averaging which takes full account of…
▽ More
In this study, we present a multi-class graphical Bayesian predictive classifier that incorporates the uncertainty in the model selection into the standard Bayesian formalism. For each class, the dependence structure underlying the observed features is represented by a set of decomposable Gaussian graphical models. Emphasis is then placed on the Bayesian model averaging which takes full account of the class-specific model uncertainty by averaging over the posterior graph model probabilities. An explicit evaluation of the model probabilities is well known to be infeasible. To address this issue, we consider the particle Gibbs strategy of Olsson et al. (2018b) for posterior sampling from decomposable graphical models which utilizes the Christmas tree algorithm of Olsson et al. (2018a) as proposal kernel. We also derive a strong hyper Markov law which we call the hyper normal Wishart law that allow to perform the resultant Bayesian calculations locally. The proposed predictive graphical classifier reveals superior performance compared to the ordinary Bayesian predictive rule that does not account for the model uncertainty, as well as to a number of out-of-the-box classifiers.
△ Less
Submitted 6 June, 2018; v1 submitted 21 July, 2017;
originally announced July 2017.
-
A Prior Distribution over Directed Acyclic Graphs for Sparse Bayesian Networks
Authors:
Felix L. Rios,
John M. Noble,
Timo J. T. Koski
Abstract:
The main contribution of this article is a new prior distribution over directed acyclic graphs, which gives larger weight to sparse graphs. This distribution is intended for structured Bayesian networks, where the structure is given by an ordered block model. That is, the nodes of the graph are objects which fall into categories (or blocks); the blocks have a natural ordering. The presence of a re…
▽ More
The main contribution of this article is a new prior distribution over directed acyclic graphs, which gives larger weight to sparse graphs. This distribution is intended for structured Bayesian networks, where the structure is given by an ordered block model. That is, the nodes of the graph are objects which fall into categories (or blocks); the blocks have a natural ordering. The presence of a relationship between two objects is denoted by an arrow, from the object of lower category to the object of higher category. The models considered here were introduced in Kemp et al. (2004) for relational data and extended to multivariate data in Mansinghka et al. (2006). The prior over graph structures presented here has an explicit formula. The number of nodes in each layer of the graph follow a Hoppe Ewens urn model.
We consider the situation where the nodes of the graph represent random variables, whose joint probability distribution factorises along the DAG. We describe Monte Carlo schemes for finding the optimal aposteriori structure given a data matrix and compare the performance with Mansinghka et al. (2006) and also with the uniform prior.
△ Less
Submitted 25 April, 2015;
originally announced April 2015.
