-
A novel framework for systematic propositional formula simplification based on existential graphs
Authors:
Jordina Francès de Mas,
Juliana Bowles
Abstract:
This paper presents a novel simplification calculus for propositional logic derived from Peirce's existential graphs' rules of inference and implication graphs. Our rules can be applied to propositional logic formulae in nested form, are equivalence-preserving, guarantee a monotonically decreasing number of variables, clauses and literals, and maximise the preservation of structural problem inform…
▽ More
This paper presents a novel simplification calculus for propositional logic derived from Peirce's existential graphs' rules of inference and implication graphs. Our rules can be applied to propositional logic formulae in nested form, are equivalence-preserving, guarantee a monotonically decreasing number of variables, clauses and literals, and maximise the preservation of structural problem information. Our techniques can also be seen as higher-level SAT preprocessing, and we show how one of our rules (TWSR) generalises and streamlines most of the known equivalence-preserving SAT preprocessing methods. In addition, we propose a simplification procedure based on the systematic application of two of our rules (EPR and TWSR) which is solver-agnostic and can be used to simplify large Boolean satisfiability problems and propositional formulae in arbitrary form, and we provide a formal analysis of its algorithmic complexity in terms of space and time. Finally, we show how our rules can be further extended with a novel n-ary implication graph to capture all known equivalence-preserving preprocessing procedures.
△ Less
Submitted 27 May, 2024;
originally announced May 2024.
-
$L^\infty$-optimal transport of anisotropic log-concave measures and exponential convergence in Fisher's infinitesimal model
Authors:
Ksenia A. Khudiakova,
Jan Maas,
Francesco Pedrotti
Abstract:
We prove upper bounds on the $L^\infty$-Wasserstein distance from optimal transport between strongly log-concave probability densities and log-Lipschitz perturbations. In the simplest setting, such a bound amounts to a transport-information inequality involving the $L^\infty$-Wasserstein metric and the relative $L^\infty$-Fisher information. We show that this inequality can be sharpened significan…
▽ More
We prove upper bounds on the $L^\infty$-Wasserstein distance from optimal transport between strongly log-concave probability densities and log-Lipschitz perturbations. In the simplest setting, such a bound amounts to a transport-information inequality involving the $L^\infty$-Wasserstein metric and the relative $L^\infty$-Fisher information. We show that this inequality can be sharpened significantly in situations where the involved densities are anisotropic. Our proof is based on probabilistic techniques using Langevin dynamics. As an application of these results, we obtain sharp exponential rates of convergence in Fisher's infinitesimal model from quantitative genetics, generalising recent results by Calvez, Poyato, and Santambrogio in dimension 1 to arbitrary dimensions.
△ Less
Submitted 6 February, 2024;
originally announced February 2024.
-
Improved Convergence of Score-Based Diffusion Models via Prediction-Correction
Authors:
Francesco Pedrotti,
Jan Maas,
Marco Mondelli
Abstract:
Score-based generative models (SGMs) are powerful tools to sample from complex data distributions. Their underlying idea is to (i) run a forward process for time $T_1$ by adding noise to the data, (ii) estimate its score function, and (iii) use such estimate to run a reverse process. As the reverse process is initialized with the stationary distribution of the forward one, the existing analysis pa…
▽ More
Score-based generative models (SGMs) are powerful tools to sample from complex data distributions. Their underlying idea is to (i) run a forward process for time $T_1$ by adding noise to the data, (ii) estimate its score function, and (iii) use such estimate to run a reverse process. As the reverse process is initialized with the stationary distribution of the forward one, the existing analysis paradigm requires $T_1\to\infty$. This is however problematic: from a theoretical viewpoint, for a given precision of the score approximation, the convergence guarantee fails as $T_1$ diverges; from a practical viewpoint, a large $T_1$ increases computational costs and leads to error propagation. This paper addresses the issue by considering a version of the popular predictor-corrector scheme: after running the forward process, we first estimate the final distribution via an inexact Langevin dynamics and then revert the process. Our key technical contribution is to provide convergence guarantees which require to run the forward process only for a fixed finite time $T_1$. Our bounds exhibit a mild logarithmic dependence on the input dimension and the subgaussian norm of the target distribution, have minimal assumptions on the data, and require only to control the $L^2$ loss on the score approximation, which is the quantity minimized in practice.
△ Less
Submitted 4 June, 2024; v1 submitted 23 May, 2023;
originally announced May 2023.
-
Local Conditions for Global Convergence of Gradient Flows and Proximal Point Sequences in Metric Spaces
Authors:
Lorenzo Dello Schiavo,
Jan Maas,
Francesco Pedrotti
Abstract:
This paper deals with local criteria for the convergence to a global minimiser for gradient flow trajectories and their discretisations. To obtain quantitative estimates on the speed of convergence, we consider variations on the classical Kurdyka--Łojasiewicz inequality for a large class of parameter functions. Our assumptions are given in terms of the initial data, without any reference to an equ…
▽ More
This paper deals with local criteria for the convergence to a global minimiser for gradient flow trajectories and their discretisations. To obtain quantitative estimates on the speed of convergence, we consider variations on the classical Kurdyka--Łojasiewicz inequality for a large class of parameter functions. Our assumptions are given in terms of the initial data, without any reference to an equilibrium point. The main results are convergence statements for gradient flow curves and proximal point sequences to a global minimiser, together with sharp quantitative estimates on the speed of convergence. These convergence results apply in the general setting of lower semicontinuous functionals on complete metric spaces, generalising recent results for smooth functionals on $\mathbb{R}^n$. While the non-smooth setting covers very general spaces, it is also useful for (non)-smooth functionals on $\mathbb{R}^n$.
△ Less
Submitted 11 April, 2023;
originally announced April 2023.
-
Characterisation of gradient flows for a given functional
Authors:
Morris Brooks,
Jan Maas
Abstract:
Let $X$ be a vector field and $Y$ be a co-vector field on a smooth manifold $M$. Does there exist a smooth Riemannian metric $g_{αβ}$ on $M$ such that $Y_β= g_{αβ} X^α$? The main result of this note gives necessary and sufficient conditions for this to be true. As an application of this result we show that a finite-dimensional ergodic Lindblad equation admits a gradient flow structure for the von…
▽ More
Let $X$ be a vector field and $Y$ be a co-vector field on a smooth manifold $M$. Does there exist a smooth Riemannian metric $g_{αβ}$ on $M$ such that $Y_β= g_{αβ} X^α$? The main result of this note gives necessary and sufficient conditions for this to be true. As an application of this result we show that a finite-dimensional ergodic Lindblad equation admits a gradient flow structure for the von Neumann relative entropy if and only if the condition of BKM-detailed balance holds.
△ Less
Submitted 22 September, 2022;
originally announced September 2022.
-
Homogenisation of dynamical optimal transport on periodic graphs
Authors:
Peter Gladbach,
Eva Kopfer,
Jan Maas,
Lorenzo Portinale
Abstract:
This paper deals with the large-scale behaviour of dynamical optimal transport on $\mathbb{Z}^d$-periodic graphs with general lower semicontinuous and convex energy densities. Our main contribution is a homogenisation result that describes the effective behaviour of the discrete problems in terms of a continuous optimal transport problem. The effective energy density can be explicitly expressed in…
▽ More
This paper deals with the large-scale behaviour of dynamical optimal transport on $\mathbb{Z}^d$-periodic graphs with general lower semicontinuous and convex energy densities. Our main contribution is a homogenisation result that describes the effective behaviour of the discrete problems in terms of a continuous optimal transport problem. The effective energy density can be explicitly expressed in terms of a cell formula, which is a finite-dimensional convex programming problem that depends non-trivially on the local geometry of the discrete graph and the discrete energy density.
Our homogenisation result is derived from a $Γ$-convergence result for action functionals on curves of measures, which we prove under very mild growth conditions on the energy density. We investigate the cell formula in several cases of interest, including finite-volume discretisations of the Wasserstein distance, where non-trivial limiting behaviour occurs.
△ Less
Submitted 28 October, 2021;
originally announced October 2021.
-
Derived homotopy algebras
Authors:
Jeroen Maes,
Fernando Muro
Abstract:
We develop a theory of minimal models for algebras over an operad defined over a commutative ring, not necessarily a field, extending and supplementing the work of Sagave in the associative case.
We develop a theory of minimal models for algebras over an operad defined over a commutative ring, not necessarily a field, extending and supplementing the work of Sagave in the associative case.
△ Less
Submitted 28 June, 2021;
originally announced June 2021.
-
Gradient flow formulation of diffusion equations in the Wasserstein space over a metric graph
Authors:
Matthias Erbar,
Dominik Forkert,
Jan Maas,
Delio Mugnolo
Abstract:
This paper contains two contributions in the study of optimal transport on metric graphs. Firstly, we prove a Benamou-Brenier formula for the Wasserstein distance, which establishes the equivalence of static and dynamical optimal transport. Secondly, in the spirit of Jordan-Kinderlehrer-Otto, we show that McKean-Vlasov equations can be formulated as gradient flow of the free energy in the Wasserst…
▽ More
This paper contains two contributions in the study of optimal transport on metric graphs. Firstly, we prove a Benamou-Brenier formula for the Wasserstein distance, which establishes the equivalence of static and dynamical optimal transport. Secondly, in the spirit of Jordan-Kinderlehrer-Otto, we show that McKean-Vlasov equations can be formulated as gradient flow of the free energy in the Wasserstein space of probability measures. The proofs of these results are based on careful regularisation arguments to circumvent some of the difficulties arising in metric graphs, namely, branching of geodesics and the failure of semi-convexity of entropy functionals in the Wasserstein space.
△ Less
Submitted 29 April, 2022; v1 submitted 12 May, 2021;
originally announced May 2021.
-
Evolutionary $Γ$-convergence of entropic gradient flow structures for Fokker-Planck equations in multiple dimensions
Authors:
Dominik Forkert,
Jan Maas,
Lorenzo Portinale
Abstract:
We consider finite-volume approximations of Fokker-Planck equations on bounded convex domains in $\mathbb{R}^d$ and study the corresponding gradient flow structures. We reprove the convergence of the discrete to continuous Fokker-Planck equation via the method of Evolutionary $Γ$-convergence, i.e., we pass to the limit at the level of the gradient flow structures, generalising the one-dimensional…
▽ More
We consider finite-volume approximations of Fokker-Planck equations on bounded convex domains in $\mathbb{R}^d$ and study the corresponding gradient flow structures. We reprove the convergence of the discrete to continuous Fokker-Planck equation via the method of Evolutionary $Γ$-convergence, i.e., we pass to the limit at the level of the gradient flow structures, generalising the one-dimensional result obtained by Disser and Liero. The proof is of variational nature and relies on a Mosco convergence result for functionals in the discrete-to-continuum limit that is of independent interest. Our results apply to arbitrary regular meshes, even though the associated discrete transport distances may fail to converge to the Wasserstein distance in this generality.
△ Less
Submitted 25 August, 2020;
originally announced August 2020.
-
Trajectorial dissipation and gradient flow for the relative entropy in Markov chains
Authors:
Ioannis Karatzas,
Jan Maas,
Walter Schachermayer
Abstract:
We study the temporal dissipation of variance and relative entropy for ergodic Markov Chains in continuous time, and compute explicitly the corresponding dissipation rates. These are identified, as is well known, in the case of the variance in terms of an appropriate Hilbertian norm; and in the case of the relative entropy, in terms of a Dirichlet form which morphs into a version of the familiar F…
▽ More
We study the temporal dissipation of variance and relative entropy for ergodic Markov Chains in continuous time, and compute explicitly the corresponding dissipation rates. These are identified, as is well known, in the case of the variance in terms of an appropriate Hilbertian norm; and in the case of the relative entropy, in terms of a Dirichlet form which morphs into a version of the familiar Fisher information under conditions of detailed balance. Here we obtain trajectorial versions of these results, valid along almost every path of the random motion and most transparent in the backwards direction of time. Martingale arguments and time reversal play crucial roles, as in the recent work of Karatzas, Schachermayer and Tschiderer for conservative diffusions. Extension are developed to general "convex divergences" and to countable state-spaces. The steepest descent and gradient flow properties for the variance, the relative entropy, and appropriate generalizations, are studied along with their respective geometries under conditions of detailed balance, leading to a very direct proof for the HWI inequality of Otto and Villani in the present context.
△ Less
Submitted 18 May, 2022; v1 submitted 28 May, 2020;
originally announced May 2020.
-
Modeling of chemical reaction systems with detailed balance using gradient structures
Authors:
Jan Maas,
Alexander Mielke
Abstract:
We consider various modeling levels for spatially homogeneous chemical reaction systems, namely the chemical master equation, the chemical Langevin dynamics, and the reaction-rate equation. Throughout we restrict our study to the case where the microscopic system satisfies the detailed-balance condition. The latter allows us to enrich the systems with a gradient structure, i.e. the evolution is gi…
▽ More
We consider various modeling levels for spatially homogeneous chemical reaction systems, namely the chemical master equation, the chemical Langevin dynamics, and the reaction-rate equation. Throughout we restrict our study to the case where the microscopic system satisfies the detailed-balance condition. The latter allows us to enrich the systems with a gradient structure, i.e. the evolution is given by a gradient-flow equation. We present the arising links between the associated gradient structures that are driven by the relative entropy of the detailed-balance steady state. The limit of large volumes is studied in the sense of evolutionary $Γ$-convergence of gradient flows. Moreover, we use the gradient structures to derive hybrid models for coupling different modeling levels.
△ Less
Submitted 6 April, 2020;
originally announced April 2020.
-
Homogenisation of one-dimensional discrete optimal transport
Authors:
Peter Gladbach,
Eva Kopfer,
Jan Maas,
Lorenzo Portinale
Abstract:
This paper deals with dynamical optimal transport metrics defined by spatial discretisation of the Benamou--Benamou formula for the Kantorovich metric $W_2$. Such metrics appear naturally in discretisations of $W_2$-gradient flow formulations for dissipative PDE. However, it has recently been shown that these metrics do not in general converge to $W_2$, unless strong geometric constraints are impo…
▽ More
This paper deals with dynamical optimal transport metrics defined by spatial discretisation of the Benamou--Benamou formula for the Kantorovich metric $W_2$. Such metrics appear naturally in discretisations of $W_2$-gradient flow formulations for dissipative PDE. However, it has recently been shown that these metrics do not in general converge to $W_2$, unless strong geometric constraints are imposed on the discrete mesh. In this paper we prove that, in a $1$-dimensional periodic setting, discrete transport metrics converge to a limiting transport metric with a non-trivial effective mobility. This mobility depends sensitively on the geometry of the mesh and on the non-local mobility at the discrete level. Our result quantifies to what extent discrete transport can make use of microstructure in the mesh to reduce the cost of transport.
△ Less
Submitted 23 January, 2020; v1 submitted 13 May, 2019;
originally announced May 2019.
-
Non-commutative calculus, optimal transport and functional inequalities in dissipative quantum systems
Authors:
Eric A. Carlen,
Jan Maas
Abstract:
We study dynamical optimal transport metrics between density matrices associated to symmetric Dirichlet forms on finite-dimensional $C^*$-algebras. Our setting covers arbitrary skew-derivations and it provides a unified framework that simultaneously generalizes recently constructed transport metrics for Markov chains, Lindblad equations, and the Fermi Ornstein--Uhlenbeck semigroup. We develop a no…
▽ More
We study dynamical optimal transport metrics between density matrices associated to symmetric Dirichlet forms on finite-dimensional $C^*$-algebras. Our setting covers arbitrary skew-derivations and it provides a unified framework that simultaneously generalizes recently constructed transport metrics for Markov chains, Lindblad equations, and the Fermi Ornstein--Uhlenbeck semigroup. We develop a non-nommutative differential calculus that allows us to obtain non-commutative Ricci curvature bounds, logarithmic Sobolev inequalities, transport-entropy inequalities, and spectral gap estimates.
△ Less
Submitted 28 October, 2020; v1 submitted 12 November, 2018;
originally announced November 2018.
-
Scaling limits of discrete optimal transport
Authors:
Peter Gladbach,
Eva Kopfer,
Jan Maas
Abstract:
We consider dynamical transport metrics for probability measures on discretisations of a bounded convex domain in $\mathbb{R}^d$. These metrics are natural discrete counterparts to the Kantorovich metric $\mathbb{W}_2$, defined using a Benamou-Brenier type formula. Under mild assumptions we prove an asymptotic upper bound for the discrete transport metric $\mathcal{W}_{\mathcal{T}}$ in terms of…
▽ More
We consider dynamical transport metrics for probability measures on discretisations of a bounded convex domain in $\mathbb{R}^d$. These metrics are natural discrete counterparts to the Kantorovich metric $\mathbb{W}_2$, defined using a Benamou-Brenier type formula. Under mild assumptions we prove an asymptotic upper bound for the discrete transport metric $\mathcal{W}_{\mathcal{T}}$ in terms of $\mathbb{W}_2$, as the size of the mesh $\mathcal{T}$ tends to $0$. However, we show that the corresponding lower bound may fail in general, even on certain one-dimensional and symmetric two-dimensional meshes. In addition, we show that the asymptotic lower bound holds under an isotropy assumption on the mesh, which turns out to be essentially necessary. This assumption is satisfied, e.g., for tilings by convex regular polygons, and it implies Gromov-Hausdorff convergence of the transport metric.
△ Less
Submitted 28 January, 2020; v1 submitted 4 September, 2018;
originally announced September 2018.
-
On the geometry of geodesics in discrete optimal transport
Authors:
Matthias Erbar,
Jan Maas,
Melchior Wirth
Abstract:
We consider the space of probability measures on a discrete set $X$, endowed with a dynamical optimal transport metric. Given two probability measures supported in a subset $Y \subseteq X$, it is natural to ask whether they can be connected by a constant speed geodesic with support in $Y$ at all times. Our main result answers this question affirmatively, under a suitable geometric condition on…
▽ More
We consider the space of probability measures on a discrete set $X$, endowed with a dynamical optimal transport metric. Given two probability measures supported in a subset $Y \subseteq X$, it is natural to ask whether they can be connected by a constant speed geodesic with support in $Y$ at all times. Our main result answers this question affirmatively, under a suitable geometric condition on $Y$ introduced in this paper. The proof relies on an extension result for subsolutions to discrete Hamilton-Jacobi equations, which is of independent interest.
△ Less
Submitted 31 May, 2018; v1 submitted 15 May, 2018;
originally announced May 2018.
-
Gradient flow and entropy inequalities for quantum Markov semigroups with detailed balance
Authors:
Eric A. Carlen,
Jan Maas
Abstract:
We study a class of ergodic quantum Markov semigroups on finite-dimensional unital $C^*$-algebras. These semigroups have a unique stationary state $σ$, and we are concerned with those that satisfy a quantum detailed balance condition with respect to $σ$. We show that the evolution on the set of states that is given by such a quantum Markov semigroup is gradient flow for the relative entropy with r…
▽ More
We study a class of ergodic quantum Markov semigroups on finite-dimensional unital $C^*$-algebras. These semigroups have a unique stationary state $σ$, and we are concerned with those that satisfy a quantum detailed balance condition with respect to $σ$. We show that the evolution on the set of states that is given by such a quantum Markov semigroup is gradient flow for the relative entropy with respect to $σ$ in a particular Riemannian metric on the set of states. This metric is a non-commutative analog of the $2$-Wasserstein metric, and in several interesting cases we are able to show, in analogy with work of Otto on gradient flows with respect to the classical $2$-Wasserstein metric, that the relative entropy is strictly and uniformly convex with respect to the Riemannian metric introduced here. As a consequence, we obtain a number of new inequalities for the decay of relative entropy for ergodic quantum Markov semigroups with detailed balance.
△ Less
Submitted 25 April, 2017; v1 submitted 5 September, 2016;
originally announced September 2016.
-
Generalized optimal transport with singular sources
Authors:
Jan Maas,
Martin Rumpf,
Stefan Simon
Abstract:
We present a generalized optimal transport model in which the mass-preserving constraint for the $L^2$-Wasserstein distance is relaxed by introducing a source term in the continuity equation. The source term is also incorporated in the path energy by means of its squared $L^2$-norm in time of a functional with linear growth in space. This extension of the original transport model enables local den…
▽ More
We present a generalized optimal transport model in which the mass-preserving constraint for the $L^2$-Wasserstein distance is relaxed by introducing a source term in the continuity equation. The source term is also incorporated in the path energy by means of its squared $L^2$-norm in time of a functional with linear growth in space. This extension of the original transport model enables local density modulation, which is a desirable feature in applications such as image war** and blending. A key advantage of the use of a functional with linear growth in space is that it allows for singular sources and sinks, which can be supported on points or lines. On a technical level, the $L^2$-norm in time ensures a disintegration of the source in time, which we use to obtain the well-posedness of the model and the existence of geodesic paths. Furthermore, a numerical scheme based on the proximal splitting approach (Papadakis et al., 2014) is presented. We compare our model with the corresponding model involving the $L^2(L^2)$-norm of the source, which merges the metamorphosis approach and the optimal transport approaches in imaging. Selected numerical test cases show strikingly different behaviour.
△ Less
Submitted 5 July, 2016;
originally announced July 2016.
-
Exponential decay of correlations for a real-valued dynamical system generated by a k dimensional system
Authors:
Lisette Jager,
Jules Maes,
Alain Ninet
Abstract:
We study the real, bounded-variables process (X_n) defined by a k-term recurrence relation X_{n+k} =φ(X_n, ... , X_{n+k-1}). We prove the decay of correlations, mainly under purely analytic hypotheses concerning the function φ and its partial derivatives.
We study the real, bounded-variables process (X_n) defined by a k-term recurrence relation X_{n+k} =φ(X_n, ... , X_{n+k-1}). We prove the decay of correlations, mainly under purely analytic hypotheses concerning the function φ and its partial derivatives.
△ Less
Submitted 6 June, 2016;
originally announced June 2016.
-
From large deviations to Wasserstein gradient flows in multiple dimensions
Authors:
Matthias Erbar,
Jan Maas,
Michiel Renger
Abstract:
We study the large deviation rate functional for the empirical distribution of independent Brownian particles with drift. In one dimension, it has been shown by Adams, Dirr, Peletier and Zimmer that this functional is asymptotically equivalent (in the sense of $Γ$-convergence) to the Jordan--Kinderlehrer--Otto functional arising in the Wasserstein gradient flow structure of the Fokker--Planck equa…
▽ More
We study the large deviation rate functional for the empirical distribution of independent Brownian particles with drift. In one dimension, it has been shown by Adams, Dirr, Peletier and Zimmer that this functional is asymptotically equivalent (in the sense of $Γ$-convergence) to the Jordan--Kinderlehrer--Otto functional arising in the Wasserstein gradient flow structure of the Fokker--Planck equation. In higher dimensions, part of this statement (the lower bound) has been recently proved by Duong, Laschos and Renger, but the upper bound remained open, since the proof in \cite{DLR2013} relies on regularity properties of optimal transport maps that are restricted to one dimension. In this note we present a new proof of the upper bound, thereby generalising the result of \cite{ADPZ2011} to arbitrary dimensions.
△ Less
Submitted 8 January, 2016; v1 submitted 21 May, 2015;
originally announced May 2015.
-
Long-time behavior of a finite volume discretization for a fourth order diffusion equation
Authors:
Jan Maas,
Daniel Matthes
Abstract:
We consider a non-standard finite-volume discretization of a strongly non-linear fourth order diffusion equation on the $d$-dimensional cube, for arbitrary $d \geq 1$. The scheme preserves two important structural properties of the equation: the first is the interpretation as a gradient flow in a mass transportation metric, and the second is an intimate relation to a linear Fokker-Planck equation.…
▽ More
We consider a non-standard finite-volume discretization of a strongly non-linear fourth order diffusion equation on the $d$-dimensional cube, for arbitrary $d \geq 1$. The scheme preserves two important structural properties of the equation: the first is the interpretation as a gradient flow in a mass transportation metric, and the second is an intimate relation to a linear Fokker-Planck equation. Thanks to these structural properties, the scheme possesses two discrete Lyapunov functionals. These functionals approximate the entropy and the Fisher information, respectively, and their dissipation rates converge to the optimal ones in the discrete-to-continuous limit. Using the dissipation, we derive estimates on the long-time asymptotics of the discrete solutions. Finally, we present results from numerical experiments which indicate that our discretization is able to capture significant features of the complex original dynamics, even with a rather coarse spatial resolution.
△ Less
Submitted 20 May, 2015; v1 submitted 12 May, 2015;
originally announced May 2015.
-
A generalized model for optimal transport of images including dissipation and density modulation
Authors:
Jan Maas,
Martin Rumpf,
Carola Schönlieb,
Stefan Simon
Abstract:
In this paper the optimal transport and the metamorphosis perspectives are combined. For a pair of given input images geodesic paths in the space of images are defined as minimizers of a resulting path energy. To this end, the underlying Riemannian metric measures the rate of transport cost and the rate of viscous dissipation. Furthermore, the model is capable to deal with strongly varying image c…
▽ More
In this paper the optimal transport and the metamorphosis perspectives are combined. For a pair of given input images geodesic paths in the space of images are defined as minimizers of a resulting path energy. To this end, the underlying Riemannian metric measures the rate of transport cost and the rate of viscous dissipation. Furthermore, the model is capable to deal with strongly varying image contrast and explicitly allows for sources and sinks in the transport equations which are incorporated in the metric related to the metamorphosis approach by Trouvé and Younes. In the non-viscous case with source term existence of geodesic paths is proven in the space of measures. The proposed model is explored on the range from merely optimal transport to strongly dissipative dynamics. For this model a robust and effective variational time discretization of geodesic paths is proposed. This requires to minimize a discrete path energy consisting of a sum of consecutive image matching functionals. These functionals are defined on corresponding pairs of intensity functions and on associated pairwise matching deformations. Existence of time discrete geodesics is demonstrated. Furthermore, a finite element implementation is proposed and applied to instructive test cases and to real images. In the non-viscous case this is compared to the algorithm proposed by Benamou and Brenier including a discretization of the source term. Finally, the model is generalized to define discrete weighted barycentres with applications to textures and objects.
△ Less
Submitted 8 April, 2015;
originally announced April 2015.
-
Entropic Ricci curvature bounds for discrete interacting systems
Authors:
Max Fathi,
Jan Maas
Abstract:
We develop a new and systematic method for proving entropic Ricci curvature lower bounds for Markov chains on discrete sets. Using different methods, such bounds have recently been obtained in several examples (e.g., 1-dimensional birth and death chains, product chains, Bernoulli-Laplace models, and random transposition models). However, a general method to obtain discrete Ricci bounds had been la…
▽ More
We develop a new and systematic method for proving entropic Ricci curvature lower bounds for Markov chains on discrete sets. Using different methods, such bounds have recently been obtained in several examples (e.g., 1-dimensional birth and death chains, product chains, Bernoulli-Laplace models, and random transposition models). However, a general method to obtain discrete Ricci bounds had been lacking. Our method covers all of the examples above. In addition, we obtain new Ricci curvature bounds for zero-range processes on the complete graph. The method is inspired by recent work of Caputo, Dai Pra and Posta on discrete functional inequalities.
△ Less
Submitted 27 June, 2016; v1 submitted 3 January, 2015;
originally announced January 2015.
-
Exponential decay of correlations for a real valued dynamical system embedded in $\mathbb R^2$
Authors:
Lisette Jager,
Jules Maes,
Alain Ninet
Abstract:
We study the real valued process $ \{X_t, t\in {\mathbb N}\} $ defined by $X_{t+2} = \varphi(X_t,X_{t+1})$, where the $X_t$ are bounded. We aim at proving the decay of correlations for this model, under regularity assumptions on the transformation $\varphi$.
We study the real valued process $ \{X_t, t\in {\mathbb N}\} $ defined by $X_{t+2} = \varphi(X_t,X_{t+1})$, where the $X_t$ are bounded. We aim at proving the decay of correlations for this model, under regularity assumptions on the transformation $\varphi$.
△ Less
Submitted 8 December, 2014;
originally announced December 2014.
-
Décroissance exponentielle des corrélations pour un système dynamique réel induit d'un système en dimension 2
Authors:
Lisette Jager,
Jules Maes,
Alain Ninet
Abstract:
We study the discrete-time, real valued bounded process $\{X_n, n\in {\mathbb N} \}$ defined by a second order recurrence relation $X_{n+2} = \varphi(X_n,X_{n+1})$. We obtain the decay of correlations under analytical hypotheses on $\varphi $ (regularity, bounds on derivatives ...)
We study the discrete-time, real valued bounded process $\{X_n, n\in {\mathbb N} \}$ defined by a second order recurrence relation $X_{n+2} = \varphi(X_n,X_{n+1})$. We obtain the decay of correlations under analytical hypotheses on $\varphi $ (regularity, bounds on derivatives ...)
△ Less
Submitted 3 November, 2014;
originally announced November 2014.
-
Discrete Ricci curvature bounds for Bernoulli-Laplace and random transposition models
Authors:
Matthias Erbar,
Jan Maas,
Prasad Tetali
Abstract:
We calculate a Ricci curvature lower bound for some classical examples of random walks, namely, a chain on a slice of the n-dimensional discrete cube (the so-called Bernoulli-Laplace model) and the random transposition shuffle of the symmetric group of permutations on n letters.
We calculate a Ricci curvature lower bound for some classical examples of random walks, namely, a chain on a slice of the n-dimensional discrete cube (the so-called Bernoulli-Laplace model) and the random transposition shuffle of the symmetric group of permutations on n letters.
△ Less
Submitted 30 September, 2014;
originally announced September 2014.
-
Poisson stochastic integration in Banach spaces
Authors:
Sjoerd Dirksen,
Jan Maas,
Jan van Neerven
Abstract:
We prove new upper and lower bounds for Banach space-valued stochastic integrals with respect to a compensated Poisson random measure. Our estimates apply to Banach spaces with non-trivial martingale (co)type and extend various results in the literature. We also develop a Malliavin framework to interpret Poisson stochastic integrals as vector-valued Skorohod integrals, and prove a Clark-Ocone repr…
▽ More
We prove new upper and lower bounds for Banach space-valued stochastic integrals with respect to a compensated Poisson random measure. Our estimates apply to Banach spaces with non-trivial martingale (co)type and extend various results in the literature. We also develop a Malliavin framework to interpret Poisson stochastic integrals as vector-valued Skorohod integrals, and prove a Clark-Ocone representation formula.
△ Less
Submitted 30 July, 2013;
originally announced July 2013.
-
Gradient flow structures for discrete porous medium equations
Authors:
Matthias Erbar,
Jan Maas
Abstract:
We consider discrete porous medium equations of the form \partial_t ρ_t = Δφ(ρ_t), where Δis the generator of a reversible continuous time Markov chain on a finite set X, and φis an increasing function. We show that these equations arise as gradient flows of certain entropy functionals with respect to suitable non-local transportation metrics. This may be seen as a discrete analogue of the Wassers…
▽ More
We consider discrete porous medium equations of the form \partial_t ρ_t = Δφ(ρ_t), where Δis the generator of a reversible continuous time Markov chain on a finite set X, and φis an increasing function. We show that these equations arise as gradient flows of certain entropy functionals with respect to suitable non-local transportation metrics. This may be seen as a discrete analogue of the Wasserstein gradient flow structure for porous medium equations in R^n discovered by Otto. We present a one-dimensional counterexample to geodesic convexity and discuss Gromov-Hausdorff convergence to the Wasserstein metric.
△ Less
Submitted 5 December, 2012;
originally announced December 2012.
-
Gromov-Hausdorff convergence of discrete transportation metrics
Authors:
Nicola Gigli,
Jan Maas
Abstract:
This paper continues the investigation of `Wasserstein-like' transportation distances for probability measures on discrete sets. We prove that the discrete transportation metrics on the d-dimensional discrete torus with mesh size 1/N converge, when $N\to\infty$, to the standard 2-Wasserstein distance W_2 on the continuous torus in the sense of Gromov-Hausdorff. This is the first convergence result…
▽ More
This paper continues the investigation of `Wasserstein-like' transportation distances for probability measures on discrete sets. We prove that the discrete transportation metrics on the d-dimensional discrete torus with mesh size 1/N converge, when $N\to\infty$, to the standard 2-Wasserstein distance W_2 on the continuous torus in the sense of Gromov-Hausdorff. This is the first convergence result for the recently developed discrete transportation metrics. The result shows the compatibility between these metrics and the well-established 2-Wasserstein metric.
△ Less
Submitted 14 February, 2013; v1 submitted 27 July, 2012;
originally announced July 2012.
-
An Analog of the 2-Wasserstein Metric in Non-commutative Probability under which the Fermionic Fokker-Planck Equation is Gradient Flow for the Entropy
Authors:
Eric A. Carlen,
Jan Maas
Abstract:
Let $\Cl$ denote the Clifford algebra over $\R^n$, which is the von Neumann algebra generated by $n$ self-adjoint operators $Q_j$, $j=1,...,n$ satisfying the canonical anticommutation relations, $Q_iQ_j+Q_jQ_i = 2δ_{ij}I$, and let $τ$ denote the normalized trace on $\Cl$. This algebra arises in quantum mechanics as the algebra of observables generated by $n$ Fermionic degrees of freedom. Let…
▽ More
Let $\Cl$ denote the Clifford algebra over $\R^n$, which is the von Neumann algebra generated by $n$ self-adjoint operators $Q_j$, $j=1,...,n$ satisfying the canonical anticommutation relations, $Q_iQ_j+Q_jQ_i = 2δ_{ij}I$, and let $τ$ denote the normalized trace on $\Cl$. This algebra arises in quantum mechanics as the algebra of observables generated by $n$ Fermionic degrees of freedom. Let $\Dens$ denote the set of all positive operators $ρ\in\Cl$ such that $τ(ρ) =1$; these are the non-commutative analogs of probability densities in the non-commutative probability space $(\Cl,τ)$. The Fermionic Fokker-Planck equation is a quantum-mechanical analog of the classical Fokker-Planck equation with which it has much in common, such as the same optimal hypercontractivity properties. In this paper we construct a Riemannian metric on $\Dens$ that we show to be a natural analog of the classical 2-Wasserstein metric, and we show that, in analogy with the classical case, the Fermionic Fokker-Planck equation is gradient flow in this metric for the relative entropy with respect to the ground state. We derive a number of consequences of this, such as a sharp Talagrand inequality for this metric, and we prove a number of results pertaining to this metric. Several open problems are raised.
△ Less
Submitted 23 March, 2012;
originally announced March 2012.
-
Approximating rough stochastic PDEs
Authors:
Martin Hairer,
Jan Maas,
Hendrik Weber
Abstract:
We study approximations to a class of vector-valued equations of Burgers type driven by a multiplicative space-time white noise. A solution theory for this class of equations has been developed recently in [Hairer, Weber, Probab. Theory Related Fields, to appear]. The key idea was to use the theory of controlled rough paths to give definitions of weak / mild solutions and to set up a Picard iterat…
▽ More
We study approximations to a class of vector-valued equations of Burgers type driven by a multiplicative space-time white noise. A solution theory for this class of equations has been developed recently in [Hairer, Weber, Probab. Theory Related Fields, to appear]. The key idea was to use the theory of controlled rough paths to give definitions of weak / mild solutions and to set up a Picard iteration argument.
In this article the limiting behaviour of a rather large class of (spatial) approximations to these equations is studied. These approximations are shown to converge and convergence rates are given, but the limit may depend on the particular choice of approximation. This effect is a spatial analogue to the Itô-Stratonovich correction in the theory of stochastic ordinary differential equations, where it is well known that different approximation schemes may converge to different solutions.
△ Less
Submitted 25 February, 2013; v1 submitted 14 February, 2012;
originally announced February 2012.
-
Ricci curvature of finite Markov chains via convexity of the entropy
Authors:
Matthias Erbar,
Jan Maas
Abstract:
We study a new notion of Ricci curvature that applies to Markov chains on discrete spaces. This notion relies on geodesic convexity of the entropy and is analogous to the one introduced by Lott, Sturm, and Villani for geodesic measure spaces. In order to apply to the discrete setting, the role of the Wasserstein metric is taken over by a different metric, having the property that continuous time M…
▽ More
We study a new notion of Ricci curvature that applies to Markov chains on discrete spaces. This notion relies on geodesic convexity of the entropy and is analogous to the one introduced by Lott, Sturm, and Villani for geodesic measure spaces. In order to apply to the discrete setting, the role of the Wasserstein metric is taken over by a different metric, having the property that continuous time Markov chains are gradient flows of the entropy.
Using this notion of Ricci curvature we prove discrete analogues of fundamental results by Bakry--Emery and Otto--Villani. Furthermore we show that Ricci curvature bounds are preserved under tensorisation. As a special case we obtain the sharp Ricci curvature lower bound for the discrete hypercube.
△ Less
Submitted 22 June, 2012; v1 submitted 11 November, 2011;
originally announced November 2011.
-
Gradient flows of the entropy for finite Markov chains
Authors:
Jan Maas
Abstract:
Let K be an irreducible and reversible Markov kernel on a finite set X. We construct a metric W on the set of probability measures on X and show that with respect to this metric, the law of the continuous time Markov chain evolves as the gradient flow of the entropy. This result is a discrete counterpart of the Wasserstein gradient flow interpretation of the heat flow in R^n by Jordan, Kinderlehre…
▽ More
Let K be an irreducible and reversible Markov kernel on a finite set X. We construct a metric W on the set of probability measures on X and show that with respect to this metric, the law of the continuous time Markov chain evolves as the gradient flow of the entropy. This result is a discrete counterpart of the Wasserstein gradient flow interpretation of the heat flow in R^n by Jordan, Kinderlehrer, and Otto (1998). The metric W is similar to, but different from, the L^2-Wasserstein metric, and is defined via a discrete variant of the Benamou-Brenier formula.
△ Less
Submitted 16 June, 2011; v1 submitted 25 February, 2011;
originally announced February 2011.
-
A spatial version of the Itô-Stratonovich correction
Authors:
Martin Hairer,
Jan Maas
Abstract:
We consider a class of stochastic PDEs of Burgers type in spatial dimension 1, driven by space-time white noise. Even though it is well known that these equations are well posed, it turns out that if one performs a spatial discretization of the nonlinearity in the "wrong" way, then the sequence of approximate equations does converge to a limit, but this limit exhibits an additional correction term…
▽ More
We consider a class of stochastic PDEs of Burgers type in spatial dimension 1, driven by space-time white noise. Even though it is well known that these equations are well posed, it turns out that if one performs a spatial discretization of the nonlinearity in the "wrong" way, then the sequence of approximate equations does converge to a limit, but this limit exhibits an additional correction term. This correction term is proportional to the local quadratic cross-variation (in space) of the gradient of the conserved quantity with the solution itself. This can be understood as a consequence of the fact that for any fixed time, the law of the solution is locally equivalent to Wiener measure, where space plays the role of time. In this sense, the correction term is similar to the usual Itô-Stratonovich correction term that arises when one considers different temporal discretizations of stochastic ODEs.
△ Less
Submitted 30 July, 2012; v1 submitted 3 November, 2010;
originally announced November 2010.
-
A Trotter product formula for gradient flows in metric spaces
Authors:
Philippe Clément,
Jan Maas
Abstract:
We prove a Trotter product formula for gradient flows in metric spaces. This result is applied to establish convergence in the L^2-Wasserstein metric of the splitting method for some Fokker-Planck equations and porous medium type equations perturbed by a potential.
We prove a Trotter product formula for gradient flows in metric spaces. This result is applied to establish convergence in the L^2-Wasserstein metric of the splitting method for some Fokker-Planck equations and porous medium type equations perturbed by a potential.
△ Less
Submitted 6 May, 2010;
originally announced May 2010.
-
Non-tangential maximal functions and conical square functions with respect to the Gaussian measure
Authors:
Jan Maas,
Jan van Neerven,
Pierre Portal
Abstract:
We study, in $L^{1}(\R^n;γ)$ with respect to the gaussian measure, non-tangential maximal functions and conical square functions associated with the Ornstein-Uhlenbeck operator by develo** a set of techniques which allow us, to some extent, to compensate for the non-doubling character of the gaussian measure. The main result asserts that conical square functions can be controlled in $L^1$-norm b…
▽ More
We study, in $L^{1}(\R^n;γ)$ with respect to the gaussian measure, non-tangential maximal functions and conical square functions associated with the Ornstein-Uhlenbeck operator by develo** a set of techniques which allow us, to some extent, to compensate for the non-doubling character of the gaussian measure. The main result asserts that conical square functions can be controlled in $L^1$-norm by non-tangential maximal functions. Along the way we prove a change of aperture result for the latter. This complements recent results on gaussian Hardy spaces due to Mauceri and Meda.
△ Less
Submitted 25 November, 2010; v1 submitted 22 March, 2010;
originally announced March 2010.
-
Whitney coverings and the tent spaces $T^{1,q}(γ)$ for the Gaussian measure
Authors:
Jan Maas,
Jan van Neerven,
Pierre Portal
Abstract:
We introduce a technique for handling Whitney decompositions in Gaussian harmonic analysis and apply it to the study of Gaussian analogues of the classical tent spaces $T^{1,q}$ of Coifman, Meyer and Stein.
We introduce a technique for handling Whitney decompositions in Gaussian harmonic analysis and apply it to the study of Gaussian analogues of the classical tent spaces $T^{1,q}$ of Coifman, Meyer and Stein.
△ Less
Submitted 29 September, 2010; v1 submitted 25 February, 2010;
originally announced February 2010.
-
Gradient estimates and domain identification for analytic Ornstein-Uhlenbeck operators
Authors:
Jan Maas,
Jan van Neerven
Abstract:
Let (P(t)) be the Ornstein-Uhlenbeck semigroup associated with the stochastic Cauchy problem dU(t) = AU(t)dt + dW_H(t), where A is the generator of a C_0-semigroup (S(t)) on a Banach space E, H is a Hilbert subspace of E, and (W_H(t)) is an H-cylindrical Brownian motion. Assuming that (S(t)) restricts to a C_0-semigroup on H, we obtain L^p-bounds for the gradient D_H P(t). We show that if (P(t)) i…
▽ More
Let (P(t)) be the Ornstein-Uhlenbeck semigroup associated with the stochastic Cauchy problem dU(t) = AU(t)dt + dW_H(t), where A is the generator of a C_0-semigroup (S(t)) on a Banach space E, H is a Hilbert subspace of E, and (W_H(t)) is an H-cylindrical Brownian motion. Assuming that (S(t)) restricts to a C_0-semigroup on H, we obtain L^p-bounds for the gradient D_H P(t). We show that if (P(t)) is analytic, then the invariance assumption is fulfilled. As an application we determine the L^p-domain of the generator of (P(t)) explicitly in the case where (S(t)) restricts to a C_0-semigroup on H which is similar to an analytic contraction semigroup. The results are applied to the 1D stochastic heat equation driven by additive space-time white noise.
△ Less
Submitted 4 February, 2011; v1 submitted 23 November, 2009;
originally announced November 2009.
-
Boundedness of Riesz transforms for elliptic operators on abstract Wiener spaces
Authors:
Jan Maas,
Jan van Neerven
Abstract:
Let (E,H,mu) be an abstract Wiener space and let D_V := VD, where D denotes the Malliavin derivative and V is a closed and densely defined operator from H into another Hilbert space G. Given a bounded operator B on G, coercive on the closure of the range of V, we consider the realisation of the operator D_V* B D_V in L^p(E,mu) for 1<p<\infty. Our main result states that the following assertions…
▽ More
Let (E,H,mu) be an abstract Wiener space and let D_V := VD, where D denotes the Malliavin derivative and V is a closed and densely defined operator from H into another Hilbert space G. Given a bounded operator B on G, coercive on the closure of the range of V, we consider the realisation of the operator D_V* B D_V in L^p(E,mu) for 1<p<\infty. Our main result states that the following assertions are equivalent:
(1) dom((sqrt(D_V* B D_V)) = dom(D_V) and Meyer's inequalities hold for D_V* B D_V;
(2) D_V D_V* B admits a bounded H-infinity calculus on the closure of the range of D_V;
(3) dom(sqrt(V*BV)) = dom(V) and Meyer's inequalities hold for V*BV;
(4) VV*B admits a bounded H-infinity calculus on the closure of the range of V.
Moreover, if these conditions are satisfied, then dom(L) = dom(D_V^2) \cap dom(D_A). The equivalence of (1)-(4) is a non-symmetric generalisation of the classical Meyer inequalities (which correspond to the case G=H, V=I, B=I). A one-sided version of the main result, giving L^p-boundedness of the associated Riesz transforms in terms of a square function estimate, is also obtained.
As an application let -A generate an analytic C_0-contraction semigroup on a Hilbert space H and let -L be the L^p-realisation of the generator of its second quantisation. Our results imply that two-sided bounds for the Riesz transform of L are equivalent with the Kato square root property for A.
△ Less
Submitted 12 November, 2008; v1 submitted 9 April, 2008;
originally announced April 2008.
-
Malliavin calculus and decoupling inequalities in Banach spaces
Authors:
Jan Maas
Abstract:
We develop a theory of Malliavin calculus for Banach space valued random variables. Using radonifying operators instead of symmetric tensor products we extend the Wiener-Ito isometry to Banach spaces. In the white noise case we obtain two sided L^p-estimates for multiple stochastic integrals in arbitrary Banach spaces. It is shown that the Malliavin derivative is bounded on vector-valued Wiener-…
▽ More
We develop a theory of Malliavin calculus for Banach space valued random variables. Using radonifying operators instead of symmetric tensor products we extend the Wiener-Ito isometry to Banach spaces. In the white noise case we obtain two sided L^p-estimates for multiple stochastic integrals in arbitrary Banach spaces. It is shown that the Malliavin derivative is bounded on vector-valued Wiener-Ito chaoses. Our main tools are decoupling inequalities for vector-valued random variables. In the opposite direction we use Meyer's inequalities to give a new proof of a decoupling result for Gaussian chaoses in UMD Banach spaces.
△ Less
Submitted 14 February, 2008; v1 submitted 18 January, 2008;
originally announced January 2008.
-
A Clark-Ocone formula in UMD Banach spaces
Authors:
Jan Maas,
Jan van Neerven
Abstract:
Let H be a separable real Hilbert space and let F = (F_t)_{t\in [0,T]} be the augmented filtration generated by an H-cylindrical Brownian motion W_H on [0,T]. We prove that if E is a UMD Banach space, 1\leq p<\infty, and f\in D^{1,p}(E) is F_T-measurable, then f = \E f + \int_0^T P_F(Df) dW_H where D is the Malliavin derivative and P_F is the projection onto the F-adapted elements in a suitable…
▽ More
Let H be a separable real Hilbert space and let F = (F_t)_{t\in [0,T]} be the augmented filtration generated by an H-cylindrical Brownian motion W_H on [0,T]. We prove that if E is a UMD Banach space, 1\leq p<\infty, and f\in D^{1,p}(E) is F_T-measurable, then f = \E f + \int_0^T P_F(Df) dW_H where D is the Malliavin derivative and P_F is the projection onto the F-adapted elements in a suitable Banach space of L^p-stochastically integrable L(H,E)-valued processes.
△ Less
Submitted 4 March, 2008; v1 submitted 13 September, 2007;
originally announced September 2007.
-
The algebra of q-pseudodifferential symbols and the q-W_{KP}^n algebra
Authors:
Javier Mas,
Marcos Seco
Abstract:
In this paper we continue with the program to explore the topography of the space of W-type algebras. In the present case, the starting point is the work of Khesin, Lyubashenko and Roger on the algebra of q-deformed pseudodifferential symbols and their associated integrable hierarchies. The analysis goes on by studying the associated hamiltonian structures for which compact expressions are found…
▽ More
In this paper we continue with the program to explore the topography of the space of W-type algebras. In the present case, the starting point is the work of Khesin, Lyubashenko and Roger on the algebra of q-deformed pseudodifferential symbols and their associated integrable hierarchies. The analysis goes on by studying the associated hamiltonian structures for which compact expressions are found. The fundamental Poisson brackets yield q-deformations of W_{KP} and related W-type algebras which, in specific cases, coincide with the ones constructed by Frenkel and Reshetikhin. The construction underlies a continuous correspondence between the hamiltonian structures of the Toda lattice and the KP hierarchies.
△ Less
Submitted 20 February, 1996; v1 submitted 22 December, 1995;
originally announced December 1995.
-
The Constrained KP Hierarchy and the Generalised Miura Transformation
Authors:
Javier Mas,
Eduardo Ramos
Abstract:
Recently much attention has been paid to the restriction of KP to the submanifold of operators which can be represented as a ratio of two purely differential operators L=AB^{-1}. Whereas most of the aspects concerning this reduced hierarchy, like the Lax flows and the Hamiltonians, are by now well understood, there still lacks a clear and conclusive statement about the associated Poisson structu…
▽ More
Recently much attention has been paid to the restriction of KP to the submanifold of operators which can be represented as a ratio of two purely differential operators L=AB^{-1}. Whereas most of the aspects concerning this reduced hierarchy, like the Lax flows and the Hamiltonians, are by now well understood, there still lacks a clear and conclusive statement about the associated Poisson structure. We fill this gap by placing the problem in a more general framework and then showing how the required result follows from an interesting property of the second Gelfand-Dickey brackets under multiplication and inversion of Lax operators. As a byproduct we give an elegant and simple proof of the generalised Kupershmidt-Wilson theorem.
△ Less
Submitted 31 January, 1995; v1 submitted 12 January, 1995;
originally announced January 1995.
-
Diffeomorphisms from higher dimensional W-algebras
Authors:
Fernando Martinez Moras,
Javier Mas,
Eduardo Ramos
Abstract:
Classical W-algebras in higher dimensions have been recently constructed. In this letter we show that there is a finitely generated subalgebra which is isomorphic to the algebra of local diffeomorphisms in D dimensions. Moreover, there is a tower of infinitely many fields transforming under this subalgebra as symmetric tensorial one-densities. We also unravel a structure isomorphic to the Schout…
▽ More
Classical W-algebras in higher dimensions have been recently constructed. In this letter we show that there is a finitely generated subalgebra which is isomorphic to the algebra of local diffeomorphisms in D dimensions. Moreover, there is a tower of infinitely many fields transforming under this subalgebra as symmetric tensorial one-densities. We also unravel a structure isomorphic to the Schouten symmetric bracket, providing a natural generalization of w_\infty in higher dimensions.
△ Less
Submitted 5 March, 1993;
originally announced March 1993.
