-
A Pattern Language for Machine Learning Tasks
Authors:
Benjamin Rodatz,
Ian Fan,
Tuomas Laakkonen,
Neil John Ortega,
Thomas Hoffman,
Vincent Wang-Mascianica
Abstract:
Idealised as universal approximators, learners such as neural networks can be viewed as "variable functions" that may become one of a range of concrete functions after training. In the same way that equations constrain the possible values of variables in algebra, we may view objective functions as constraints on the behaviour of learners. We extract the equivalences perfectly optimised objective f…
▽ More
Idealised as universal approximators, learners such as neural networks can be viewed as "variable functions" that may become one of a range of concrete functions after training. In the same way that equations constrain the possible values of variables in algebra, we may view objective functions as constraints on the behaviour of learners. We extract the equivalences perfectly optimised objective functions impose, calling them "tasks". For these tasks, we develop a formal graphical language that allows us to: (1) separate the core tasks of a behaviour from its implementation details; (2) reason about and design behaviours model-agnostically; and (3) simply describe and unify approaches in machine learning across domains.
As proof-of-concept, we design a novel task that enables converting classifiers into generative models we call "manipulators", which we implement by directly translating task specifications into code. The resulting models exhibit capabilities such as style transfer and interpretable latent-space editing, without the need for custom architectures, adversarial training or random sampling. We formally relate the behaviour of manipulators to GANs, and empirically demonstrate their competitive performance with VAEs. We report on experiments across vision and language domains aiming to characterise manipulators as approximate Bayesian inversions of discriminative classifiers.
△ Less
Submitted 2 July, 2024;
originally announced July 2024.
-
Forecasting causal dynamics with universal reservoirs
Authors:
Lyudmila Grigoryeva,
James Louw,
Juan-Pablo Ortega
Abstract:
An iterated multistep forecasting scheme based on recurrent neural networks (RNN) is proposed for the time series generated by causal chains with infinite memory. This forecasting strategy contains, as a particular case, the iterative prediction strategies for dynamical systems that are customary in reservoir computing. Readily computable error bounds are obtained as a function of the forecasting…
▽ More
An iterated multistep forecasting scheme based on recurrent neural networks (RNN) is proposed for the time series generated by causal chains with infinite memory. This forecasting strategy contains, as a particular case, the iterative prediction strategies for dynamical systems that are customary in reservoir computing. Readily computable error bounds are obtained as a function of the forecasting horizon, functional and dynamical features of the specific RNN used, and the approximation error committed by it. The framework in the paper circumvents difficult-to-verify embedding hypotheses that appear in previous references in the literature and applies to new situations like the finite-dimensional observations of functional differential equations or the deterministic parts of stochastic processes to which standard embedding techniques do not necessarily apply.
△ Less
Submitted 3 May, 2024;
originally announced May 2024.
-
State-Space Systems as Dynamic Generative Models
Authors:
Juan-Pablo Ortega,
Florian Rossmannek
Abstract:
A probabilistic framework to study the dependence structure induced by deterministic discrete-time state-space systems between input and output processes is introduced. General sufficient conditions are formulated under which output processes exist and are unique once an input process has been fixed, a property that in the deterministic state-space literature is known as the echo state property. W…
▽ More
A probabilistic framework to study the dependence structure induced by deterministic discrete-time state-space systems between input and output processes is introduced. General sufficient conditions are formulated under which output processes exist and are unique once an input process has been fixed, a property that in the deterministic state-space literature is known as the echo state property. When those conditions are satisfied, the given state-space system becomes a generative model for probabilistic dependences between two sequence spaces. Moreover, those conditions guarantee that the output depends continuously on the input when using the Wasserstein metric. The output processes whose existence is proved are shown to be causal in a specific sense and to generalize those studied in purely deterministic situations. The results in this paper constitute a significant stochastic generalization of sufficient conditions for the deterministic echo state property to hold, in the sense that the stochastic echo state property can be satisfied under contractivity conditions that are strictly weaker than those in deterministic situations. This means that state-space systems can induce a purely probabilistic dependence structure between input and output sequence spaces even when there is no functional relation between those two spaces.
△ Less
Submitted 12 April, 2024;
originally announced April 2024.
-
Data-driven cold starting of good reservoirs
Authors:
Lyudmila Grigoryeva,
Boumediene Hamzi,
Felix P. Kemeth,
Yannis Kevrekidis,
G Manjunath,
Juan-Pablo Ortega,
Matthys J. Steynberg
Abstract:
Using short histories of observations from a dynamical system, a workflow for the post-training initialization of reservoir computing systems is described. This strategy is called cold-starting, and it is based on a map called the starting map, which is determined by an appropriately short history of observations that maps to a unique initial condition in the reservoir space. The time series gener…
▽ More
Using short histories of observations from a dynamical system, a workflow for the post-training initialization of reservoir computing systems is described. This strategy is called cold-starting, and it is based on a map called the starting map, which is determined by an appropriately short history of observations that maps to a unique initial condition in the reservoir space. The time series generated by the reservoir system using that initial state can be used to run the system in autonomous mode, to produce accurate forecasts of the time series under consideration immediately. By utilizing this map, the lengthy "washouts" that are necessary to initialize reservoir systems can be eliminated, enabling the generation of forecasts using any selection of appropriately short histories of the observations.
△ Less
Submitted 15 March, 2024;
originally announced March 2024.
-
A Structure-Preserving Kernel Method for Learning Hamiltonian Systems
Authors:
Jianyu Hu,
Juan-Pablo Ortega,
Daiying Yin
Abstract:
A structure-preserving kernel ridge regression method is presented that allows the recovery of potentially high-dimensional and nonlinear Hamiltonian functions out of datasets made of noisy observations of Hamiltonian vector fields. The method proposes a closed-form solution that yields excellent numerical performances that surpass other techniques proposed in the literature in this setup. From th…
▽ More
A structure-preserving kernel ridge regression method is presented that allows the recovery of potentially high-dimensional and nonlinear Hamiltonian functions out of datasets made of noisy observations of Hamiltonian vector fields. The method proposes a closed-form solution that yields excellent numerical performances that surpass other techniques proposed in the literature in this setup. From the methodological point of view, the paper extends kernel regression methods to problems in which loss functions involving linear functions of gradients are required and, in particular, a differential reproducing property and a Representer Theorem are proved in this context. The relation between the structure-preserving kernel estimator and the Gaussian posterior mean estimator is analyzed. A full error analysis is conducted that provides convergence rates using fixed and adaptive regularization parameters. The good performance of the proposed estimator is illustrated with various numerical experiments.
△ Less
Submitted 15 March, 2024;
originally announced March 2024.
-
Invariant kernels on Riemannian symmetric spaces: a harmonic-analytic approach
Authors:
Nathael Da Costa,
Cyrus Mostajeran,
Juan-Pablo Ortega,
Salem Said
Abstract:
This work aims to prove that the classical Gaussian kernel, when defined on a non-Euclidean symmetric space, is never positive-definite for any choice of parameter. To achieve this goal, the paper develops new geometric and analytical arguments. These provide a rigorous characterization of the positive-definiteness of the Gaussian kernel, which is complete but for a limited number of scenarios in…
▽ More
This work aims to prove that the classical Gaussian kernel, when defined on a non-Euclidean symmetric space, is never positive-definite for any choice of parameter. To achieve this goal, the paper develops new geometric and analytical arguments. These provide a rigorous characterization of the positive-definiteness of the Gaussian kernel, which is complete but for a limited number of scenarios in low dimensions that are treated by numerical computations. Chief among these results are the L$^{\!\scriptscriptstyle p}$-$\hspace{0.02cm}$Godement theorems (where $p = 1,2$), which provide verifiable necessary and sufficient conditions for a kernel defined on a symmetric space of non-compact type to be positive-definite. A celebrated theorem, sometimes called the Bochner-Godement theorem, already gives such conditions and is far more general in its scope, but is especially hard to apply. Beyond the connection with the Gaussian kernel, the new results in this work lay out a blueprint for the study of invariant kernels on symmetric spaces, bringing forth specific harmonic analysis tools that suggest many future applications.
△ Less
Submitted 30 October, 2023;
originally announced October 2023.
-
Geometric Learning with Positively Decomposable Kernels
Authors:
Nathael Da Costa,
Cyrus Mostajeran,
Juan-Pablo Ortega,
Salem Said
Abstract:
Kernel methods are powerful tools in machine learning. Classical kernel methods are based on positive-definite kernels, which map data spaces into reproducing kernel Hilbert spaces (RKHS). For non-Euclidean data spaces, positive-definite kernels are difficult to come by. In this case, we propose the use of reproducing kernel Krein space (RKKS) based methods, which require only kernels that admit a…
▽ More
Kernel methods are powerful tools in machine learning. Classical kernel methods are based on positive-definite kernels, which map data spaces into reproducing kernel Hilbert spaces (RKHS). For non-Euclidean data spaces, positive-definite kernels are difficult to come by. In this case, we propose the use of reproducing kernel Krein space (RKKS) based methods, which require only kernels that admit a positive decomposition. We show that one does not need to access this decomposition in order to learn in RKKS. We then investigate the conditions under which a kernel is positively decomposable. We show that invariant kernels admit a positive decomposition on homogeneous spaces under tractable regularity assumptions. This makes them much easier to construct than positive-definite kernels, providing a route for learning with kernels for non-Euclidean data. By the same token, this provides theoretical foundations for RKKS-based methods in general.
△ Less
Submitted 20 October, 2023;
originally announced October 2023.
-
Graded contractions of g2
Authors:
Cristina Draper,
Juana Sanchez Ortega,
Thomas Meyer
Abstract:
Graded contractions of the fine $\mathbb{Z}_2^3$-grading on the complex exceptional Lie algebra $\mathfrak{g}_2$ are classified up to equivalence and up to strongly equivalence. In particular, a large family of 14-dimensional Lie algebras arise, most of them solvable.
Graded contractions of the fine $\mathbb{Z}_2^3$-grading on the complex exceptional Lie algebra $\mathfrak{g}_2$ are classified up to equivalence and up to strongly equivalence. In particular, a large family of 14-dimensional Lie algebras arise, most of them solvable.
△ Less
Submitted 5 June, 2024; v1 submitted 11 July, 2023;
originally announced July 2023.
-
Infinite-dimensional reservoir computing
Authors:
Lukas Gonon,
Lyudmila Grigoryeva,
Juan-Pablo Ortega
Abstract:
Reservoir computing approximation and generalization bounds are proved for a new concept class of input/output systems that extends the so-called generalized Barron functionals to a dynamic context. This new class is characterized by the readouts with a certain integral representation built on infinite-dimensional state-space systems. It is shown that this class is very rich and possesses useful f…
▽ More
Reservoir computing approximation and generalization bounds are proved for a new concept class of input/output systems that extends the so-called generalized Barron functionals to a dynamic context. This new class is characterized by the readouts with a certain integral representation built on infinite-dimensional state-space systems. It is shown that this class is very rich and possesses useful features and universal approximation properties. The reservoir architectures used for the approximation and estimation of elements in the new class are randomly generated echo state networks with either linear or ReLU activation functions. Their readouts are built using randomly generated neural networks in which only the output layer is trained (extreme learning machines or random feature neural networks). The results in the paper yield a fully implementable recurrent neural network-based learning algorithm with provable convergence guarantees that do not suffer from the curse of dimensionality.
△ Less
Submitted 2 April, 2023;
originally announced April 2023.
-
Learnability of Linear Port-Hamiltonian Systems
Authors:
Juan-Pablo Ortega,
Daiying Yin
Abstract:
A complete structure-preserving learning scheme for single-input/single-output (SISO) linear port-Hamiltonian systems is proposed. The construction is based on the solution, when possible, of the unique identification problem for these systems, in ways that reveal fundamental relationships between classical notions in control theory and crucial properties in the machine learning context, like stru…
▽ More
A complete structure-preserving learning scheme for single-input/single-output (SISO) linear port-Hamiltonian systems is proposed. The construction is based on the solution, when possible, of the unique identification problem for these systems, in ways that reveal fundamental relationships between classical notions in control theory and crucial properties in the machine learning context, like structure-preservation and expressive power. In the canonical case, it is shown that the set of uniquely identified systems can be explicitly characterized as a smooth manifold endowed with global Euclidean coordinates, which allows concluding that the parameter complexity necessary for the replication of the dynamics is only $O(n)$ and not $O(n^2)$, as suggested by the standard parametrization of these systems. Furthermore, it is shown that linear port-Hamiltonian systems can be learned while remaining agnostic about the dimension of the underlying data-generating system. Numerical experiments show that this methodology can be used to efficiently estimate linear port-Hamiltonian systems out of input-output realizations, making the contributions in this paper the first example of a structure-preserving machine learning paradigm for linear port-Hamiltonian systems based on explicit representations of this model category.
△ Less
Submitted 28 March, 2023;
originally announced March 2023.
-
Expressiveness and Structure Preservation in Learning Port-Hamiltonian Systems
Authors:
Juan-Pablo Ortega,
Daiying Yin
Abstract:
A well-specified parametrization for single-input/single-output (SISO) linear port-Hamiltonian systems amenable to structure-preserving supervised learning is provided. The construction is based on controllable and observable normal form Hamiltonian representations for those systems, which reveal fundamental relationships between classical notions in control theory and crucial properties in the ma…
▽ More
A well-specified parametrization for single-input/single-output (SISO) linear port-Hamiltonian systems amenable to structure-preserving supervised learning is provided. The construction is based on controllable and observable normal form Hamiltonian representations for those systems, which reveal fundamental relationships between classical notions in control theory and crucial properties in the machine learning context, like structure-preservation and expressive power. The results in the paper suggest parametrizations of the estimation problem associated with these systems that amount, at least in the canonical case, to unique identification and prove that the parameter complexity necessary for the replication of the dynamics is only O(n) and not O(n^2), as suggested by the standard parametrization of these systems.
△ Less
Submitted 5 March, 2023;
originally announced March 2023.
-
The Gaussian kernel on the circle and spaces that admit isometric embeddings of the circle
Authors:
Nathaël Da Costa,
Cyrus Mostajeran,
Juan-Pablo Ortega
Abstract:
On Euclidean spaces, the Gaussian kernel is one of the most widely used kernels in applications. It has also been used on non-Euclidean spaces, where it is known that there may be (and often are) scale parameters for which it is not positive definite. Hope remains that this kernel is positive definite for many choices of parameter. However, we show that the Gaussian kernel is not positive definite…
▽ More
On Euclidean spaces, the Gaussian kernel is one of the most widely used kernels in applications. It has also been used on non-Euclidean spaces, where it is known that there may be (and often are) scale parameters for which it is not positive definite. Hope remains that this kernel is positive definite for many choices of parameter. However, we show that the Gaussian kernel is not positive definite on the circle for any choice of parameter. This implies that on metric spaces in which the circle can be isometrically embedded, such as spheres, projective spaces and Grassmannians, the Gaussian kernel is not positive definite for any parameter.
△ Less
Submitted 21 February, 2023;
originally announced February 2023.
-
A Scalable Approach to Large Scale Risk-Averse Distribution Grid Expansion Planning
Authors:
Alexandre Moreira,
Miguel Heleno,
Alan Valenzuela,
Joseph H. Eto,
Jaime Ortega,
Cristina Botero
Abstract:
Distribution grid reliability and resilience has become a major topic of concern for utilities and their regulators. In particular, with the increase in severity of extreme events, utilities are considering major investments in distribution grid assets to mitigate the damage of highly impactful outages. Communicating the overall economic and risk-mitigation benefits of these investments to regulat…
▽ More
Distribution grid reliability and resilience has become a major topic of concern for utilities and their regulators. In particular, with the increase in severity of extreme events, utilities are considering major investments in distribution grid assets to mitigate the damage of highly impactful outages. Communicating the overall economic and risk-mitigation benefits of these investments to regulators is an important element of the approval process. Today, industry reliability and resilience planning practices are based largely on methods that do not take explicit account of risk. This paper proposes a practical method for identifying optimal combinations of investments in new line segments and storage devices while considering the balance between the risk associated with high impact low probability events and the reliability related to routine failures. We show that this method can be scaled to address large scale networks and demonstrate its benefits using a Target Feeder from the Commonwealth Edison Reliability Program.
△ Less
Submitted 28 September, 2022;
originally announced September 2022.
-
Transport in reservoir computing
Authors:
G Manjunath,
Juan-Pablo Ortega
Abstract:
Reservoir computing systems are constructed using a driven dynamical system in which external inputs can alter the evolving states of a system. These paradigms are used in information processing, machine learning, and computation. A fundamental question that needs to be addressed in this framework is the statistical relationship between the input and the system states. This paper provides conditio…
▽ More
Reservoir computing systems are constructed using a driven dynamical system in which external inputs can alter the evolving states of a system. These paradigms are used in information processing, machine learning, and computation. A fundamental question that needs to be addressed in this framework is the statistical relationship between the input and the system states. This paper provides conditions that guarantee the existence and uniqueness of asymptotically invariant measures for driven systems and shows that their dependence on the input process is continuous when the set of input and output processes are endowed with the Wasserstein distance. The main tool in these developments is the characterization of those invariant measures as fixed points of naturally defined Foias operators that appear in this context and which have been profusely studied in the paper. Those fixed points are obtained by imposing a newly introduced stochastic state contractivity on the driven system that is readily verifiable in examples. Stochastic state contractivity can be satisfied by systems that are not state-contractive, which is a need typically evoked to guarantee the echo state property in reservoir computing. As a result, it may actually be satisfied even if the echo state property is not present.
△ Less
Submitted 16 September, 2022;
originally announced September 2022.
-
Harmonic Centrality and Centralization of Some Graph Products
Authors:
Jose Mari E. Ortega,
Rolito G. Eballe
Abstract:
Harmonic centrality calculates the importance of a node in a network by adding the inverse of the geodesic distances of this node to all the other nodes. Harmonic centralization, on the other hand, is the graph-level centrality score based on the node-level harmonic centrality. In this paper, we present some results on both the harmonic centrality and harmonic centralization of graphs resulting fr…
▽ More
Harmonic centrality calculates the importance of a node in a network by adding the inverse of the geodesic distances of this node to all the other nodes. Harmonic centralization, on the other hand, is the graph-level centrality score based on the node-level harmonic centrality. In this paper, we present some results on both the harmonic centrality and harmonic centralization of graphs resulting from some graph products such as Cartesian and direct products of the path $P_2$ with any of the path $P_m$, cycle $C_m$, and fan $F_m$ graphs.
△ Less
Submitted 8 May, 2022;
originally announced May 2022.
-
Technical comments on the optimal control for linear distributed time-delay
Authors:
Jorge Ortega,
Omar Santos,
Liliam Rodríguez,
Sabine Mondié
Abstract:
The solution to the infinite horizon optimal control problem for linear distributed time-delay systems is presented. The proposal is based on the use of the Cauchy solution for distributed time-delay systems. In contrast with previous results (for punctual time delay systems), the form of the functional and its properties are formally justified. An important property is demonstrated: the Bellman f…
▽ More
The solution to the infinite horizon optimal control problem for linear distributed time-delay systems is presented. The proposal is based on the use of the Cauchy solution for distributed time-delay systems. In contrast with previous results (for punctual time delay systems), the form of the functional and its properties are formally justified. An important property is demonstrated: the Bellman functional admits upper and lower bounds, thus it is proved to be positive definite. Additionally, some experimental results on a temperature process are presented.
△ Less
Submitted 14 January, 2022;
originally announced January 2022.
-
Harmonic Centrality in Some Graph Families
Authors:
Jose Mari E. Ortega,
Rolito G. Eballe
Abstract:
One of the more recent measures of centrality in social network analysis is the normalized harmonic centrality. A variant of the closeness centrality, harmonic centrality sums the inverse of the geodesic distances of each node to other nodes where it is 0 if there is no path from one node to another. It is then normalized by dividing it by m-1, where m is the number of nodes of the graph. In this…
▽ More
One of the more recent measures of centrality in social network analysis is the normalized harmonic centrality. A variant of the closeness centrality, harmonic centrality sums the inverse of the geodesic distances of each node to other nodes where it is 0 if there is no path from one node to another. It is then normalized by dividing it by m-1, where m is the number of nodes of the graph. In this paper, we present notions regarding the harmonic centrality of some important classes of graphs.
△ Less
Submitted 3 April, 2022; v1 submitted 23 November, 2021;
originally announced November 2021.
-
Learning strange attractors with reservoir systems
Authors:
Lyudmila Grigoryeva,
Allen Hart,
Juan-Pablo Ortega
Abstract:
This paper shows that the celebrated Embedding Theorem of Takens is a particular case of a much more general statement according to which, randomly generated linear state-space representations of generic observations of an invertible dynamical system carry in their wake an embedding of the phase space dynamics into the chosen Euclidean state space. This embedding coincides with a natural generaliz…
▽ More
This paper shows that the celebrated Embedding Theorem of Takens is a particular case of a much more general statement according to which, randomly generated linear state-space representations of generic observations of an invertible dynamical system carry in their wake an embedding of the phase space dynamics into the chosen Euclidean state space. This embedding coincides with a natural generalized synchronization that arises in this setup and that yields a topological conjugacy between the state-space dynamics driven by the generic observations of the dynamical system and the dynamical system itself. This result provides additional tools for the representation, learning, and analysis of chaotic attractors and sheds additional light on the reservoir computing phenomenon that appears in the context of recurrent neural networks.
△ Less
Submitted 11 August, 2021;
originally announced August 2021.
-
A fast algorithm of the shear-compression damage model for the simulation of block caving
Authors:
Sergio Gaete,
Alejandro Jofre,
Rodrigo Lecaros,
Gino Montecinos,
Jaime H. Ortega,
Javier Ramírez-Ganga,
Jorge San Martín
Abstract:
For underground mine, the current usual technique for ore extraction is block caving, which generates and induces seismic activity in the mine. To understand block caving method is one of the most challenging problems in underground mining. This method relies on gravity to break and transport large amounts of ore and waste. The state of art in damage models is not able to represent the real effect…
▽ More
For underground mine, the current usual technique for ore extraction is block caving, which generates and induces seismic activity in the mine. To understand block caving method is one of the most challenging problems in underground mining. This method relies on gravity to break and transport large amounts of ore and waste. The state of art in damage models is not able to represent the real effect of the mining in the rock mass since for example the damage appears in the bottom of the domain under consideration and with this is not possible recover the subsidence sees in the mine. In this paper we present the analysis and implementation of the shear-compression damage model applied to underground mining proposed in (Bonnetier et al. 2020). We propose a fast algorithm based in the usual alternated algorithm used in gradient damage models (Marigo et al. 2016) and show that this new algorithm is faster than the usual algorithm. We show some numerical tests in 3D and present interested simulations for different damage laws producing realistic damage behavior.
△ Less
Submitted 29 December, 2020;
originally announced December 2020.
-
A shear-compression damage model for the simulation of underground mining by block caving
Authors:
Eric Bonnetier,
Sergio Gaete,
Alejandro Jofre,
Rodrigo Lecaros,
Gino Montecinos,
Jaime H. Ortega,
Javier Ramirez-Ganga,
Jorge San Martin
Abstract:
Block caving is an ore extraction technique used in the copper mines of Chile. It uses gravity to ease the breaking of rocks, and to facilitate the extraction from the mine of the resulting mixture of ore and waste. To simulate this extraction process numerically and better understand its impact on the mine environment, we study 3 variational models for damage, based on the gradient damage model o…
▽ More
Block caving is an ore extraction technique used in the copper mines of Chile. It uses gravity to ease the breaking of rocks, and to facilitate the extraction from the mine of the resulting mixture of ore and waste. To simulate this extraction process numerically and better understand its impact on the mine environment, we study 3 variational models for damage, based on the gradient damage model of Pham and Marigo (2010). In these models, the damage criterion may exhibit an anisotropic dependence on the spherical and deviatoric parts of the stress tensor. We report simulations that satisfactorily represent the expected evolution of the stress field in a block caving operation.
△ Less
Submitted 22 December, 2020; v1 submitted 20 December, 2020;
originally announced December 2020.
-
Discrete-time signatures and randomness in reservoir computing
Authors:
Christa Cuchiero,
Lukas Gonon,
Lyudmila Grigoryeva,
Juan-Pablo Ortega,
Josef Teichmann
Abstract:
A new explanation of geometric nature of the reservoir computing phenomenon is presented. Reservoir computing is understood in the literature as the possibility of approximating input/output systems with randomly chosen recurrent neural systems and a trained linear readout layer. Light is shed on this phenomenon by constructing what is called strongly universal reservoir systems as random projecti…
▽ More
A new explanation of geometric nature of the reservoir computing phenomenon is presented. Reservoir computing is understood in the literature as the possibility of approximating input/output systems with randomly chosen recurrent neural systems and a trained linear readout layer. Light is shed on this phenomenon by constructing what is called strongly universal reservoir systems as random projections of a family of state-space systems that generate Volterra series expansions. This procedure yields a state-affine reservoir system with randomly generated coefficients in a dimension that is logarithmically reduced with respect to the original system. This reservoir system is able to approximate any element in the fading memory filters class just by training a different linear readout for each different filter. Explicit expressions for the probability distributions needed in the generation of the projected reservoir system are stated and bounds for the committed approximation error are provided.
△ Less
Submitted 17 September, 2020;
originally announced October 2020.
-
Chaos on compact manifolds: Differentiable synchronizations beyond the Takens theorem
Authors:
Lyudmila Grigoryeva,
Allen Hart,
Juan-Pablo Ortega
Abstract:
This paper shows that a large class of fading memory state-space systems driven by discrete-time observations of dynamical systems defined on compact manifolds always yields continuously differentiable synchronizations. This general result provides a powerful tool for the representation, reconstruction, and forecasting of chaotic attractors. It also improves previous statements in the literature f…
▽ More
This paper shows that a large class of fading memory state-space systems driven by discrete-time observations of dynamical systems defined on compact manifolds always yields continuously differentiable synchronizations. This general result provides a powerful tool for the representation, reconstruction, and forecasting of chaotic attractors. It also improves previous statements in the literature for differentiable generalized synchronizations, whose existence was so far guaranteed for a restricted family of systems and was detected using Hölder exponent-based criteria.
△ Less
Submitted 20 May, 2021; v1 submitted 7 October, 2020;
originally announced October 2020.
-
Dimension reduction in recurrent networks by canonicalization
Authors:
Lyudmila Grigoryeva,
Juan-Pablo Ortega
Abstract:
Many recurrent neural network machine learning paradigms can be formulated using state-space representations. The classical notion of canonical state-space realization is adapted in this paper to accommodate semi-infinite inputs so that it can be used as a dimension reduction tool in the recurrent networks setup. The so-called input forgetting property is identified as the key hypothesis that guar…
▽ More
Many recurrent neural network machine learning paradigms can be formulated using state-space representations. The classical notion of canonical state-space realization is adapted in this paper to accommodate semi-infinite inputs so that it can be used as a dimension reduction tool in the recurrent networks setup. The so-called input forgetting property is identified as the key hypothesis that guarantees the existence and uniqueness (up to system isomorphisms) of canonical realizations for causal and time-invariant input/output systems with semi-infinite inputs. Additionally, the notion of optimal reduction coming from the theory of symmetric Hamiltonian systems is implemented in our setup to construct canonical realizations out of input forgetting but not necessarily canonical ones. These two procedures are studied in detail in the framework of linear fading memory input/output systems. Finally, the notion of implicit reduction using reproducing kernel Hilbert spaces (RKHS) is introduced which allows, for systems with linear readouts, to achieve dimension reduction without the need to actually compute the reduced spaces introduced in the first part of the paper.
△ Less
Submitted 11 August, 2021; v1 submitted 23 July, 2020;
originally announced July 2020.
-
Comments on the Bellman functional for linear time-delay systems
Authors:
J. M. Ortega,
O. J. Santos,
S. Mondié
Abstract:
In this note, we present some complementary results on the infinite horizon optimal control for linear time-delay systems. We formally establish some properties of the matrices arising in the Bellman functional, and we prove that no concentrated delay term is present in the optimal control law.
In this note, we present some complementary results on the infinite horizon optimal control for linear time-delay systems. We formally establish some properties of the matrices arising in the Bellman functional, and we prove that no concentrated delay term is present in the optimal control law.
△ Less
Submitted 27 April, 2020;
originally announced April 2020.
-
Memory and forecasting capacities of nonlinear recurrent networks
Authors:
Lukas Gonon,
Lyudmila Grigoryeva,
Juan-Pablo Ortega
Abstract:
The notion of memory capacity, originally introduced for echo state and linear networks with independent inputs, is generalized to nonlinear recurrent networks with stationary but dependent inputs. The presence of dependence in the inputs makes natural the introduction of the network forecasting capacity, that measures the possibility of forecasting time series values using network states. Generic…
▽ More
The notion of memory capacity, originally introduced for echo state and linear networks with independent inputs, is generalized to nonlinear recurrent networks with stationary but dependent inputs. The presence of dependence in the inputs makes natural the introduction of the network forecasting capacity, that measures the possibility of forecasting time series values using network states. Generic bounds for memory and forecasting capacities are formulated in terms of the number of neurons of the nonlinear recurrent network and the autocovariance function or the spectral density of the input. These bounds generalize well-known estimates in the literature to a dependent inputs setup. Finally, for the particular case of linear recurrent networks with independent inputs it is proved that the memory capacity is given by the rank of the associated controllability matrix, a fact that has been for a long time assumed to be true without proof by the community.
△ Less
Submitted 2 September, 2020; v1 submitted 22 April, 2020;
originally announced April 2020.
-
The stability for an inverse problem of bottom recovering in water-waves
Authors:
R. Lecaros,
J. López-Ríos,
J. H. Ortega,
S. Zamorano
Abstract:
In this article we deal with a class of geometric inverse problem for bottom detection by one single measurement on the free surface in water--waves. We found upper and lower bounds for the size of the region enclosed between two different bottoms, in terms of Neumann and/or Dirichlet data on the free surface. Starting from the general water--waves system in bounded domains with side walls, we man…
▽ More
In this article we deal with a class of geometric inverse problem for bottom detection by one single measurement on the free surface in water--waves. We found upper and lower bounds for the size of the region enclosed between two different bottoms, in terms of Neumann and/or Dirichlet data on the free surface. Starting from the general water--waves system in bounded domains with side walls, we manage to formulate the problem in terms of the Dirichlet to Neumann operator and thus, as an elliptic problem in a bounded domain with Neumann homogeneous condition on the rigid boundary. Then we study the properties of the Dirichlet to Neumann map and analyze the called method of size estimation.
△ Less
Submitted 13 August, 2020; v1 submitted 1 March, 2020;
originally announced March 2020.
-
Approximation Bounds for Random Neural Networks and Reservoir Systems
Authors:
Lukas Gonon,
Lyudmila Grigoryeva,
Juan-Pablo Ortega
Abstract:
This work studies approximation based on single-hidden-layer feedforward and recurrent neural networks with randomly generated internal weights. These methods, in which only the last layer of weights and a few hyperparameters are optimized, have been successfully applied in a wide range of static and dynamic learning problems. Despite the popularity of this approach in empirical tasks, important t…
▽ More
This work studies approximation based on single-hidden-layer feedforward and recurrent neural networks with randomly generated internal weights. These methods, in which only the last layer of weights and a few hyperparameters are optimized, have been successfully applied in a wide range of static and dynamic learning problems. Despite the popularity of this approach in empirical tasks, important theoretical questions regarding the relation between the unknown function, the weight distribution, and the approximation rate have remained open. In this work it is proved that, as long as the unknown function, functional, or dynamical system is sufficiently regular, it is possible to draw the internal weights of the random (recurrent) neural network from a generic distribution (not depending on the unknown object) and quantify the error in terms of the number of neurons and the hyperparameters. In particular, this proves that echo state networks with randomly generated weights are capable of approximating a wide class of dynamical systems arbitrarily well and thus provides the first mathematical explanation for their empirically observed success at learning dynamical systems.
△ Less
Submitted 16 February, 2021; v1 submitted 14 February, 2020;
originally announced February 2020.
-
Reservoir Computing Universality With Stochastic Inputs
Authors:
Lukas Gonon,
Juan-Pablo Ortega
Abstract:
The universal approximation properties with respect to $L ^p $-type criteria of three important families of reservoir computers with stochastic discrete-time semi-infinite inputs is shown. First, it is proved that linear reservoir systems with either polynomial or neural network readout maps are universal. More importantly, it is proved that the same property holds for two families with linear rea…
▽ More
The universal approximation properties with respect to $L ^p $-type criteria of three important families of reservoir computers with stochastic discrete-time semi-infinite inputs is shown. First, it is proved that linear reservoir systems with either polynomial or neural network readout maps are universal. More importantly, it is proved that the same property holds for two families with linear readouts, namely, trigonometric state-affine systems and echo state networks, which are the most widely used reservoir systems in applications. The linearity in the readouts is a key feature in supervised machine learning applications. It guarantees that these systems can be used in high-dimensional situations and in the presence of large datasets. The $L ^p $ criteria used in this paper allow the formulation of universality results that do not necessarily impose almost sure uniform boundedness in the inputs or the fading memory property in the filter that needs to be approximated.
△ Less
Submitted 7 July, 2018;
originally announced July 2018.
-
Transmission-Constrained Unit Commitment
Authors:
Claudio Gambella,
Jakub Marecek,
Martin Mevissen,
Jose Maria Fernandez Ortega,
Sara Pezic Djukic,
Mustafa Pezic
Abstract:
The unit commitment with transmission constraints in the alternating-current (AC) model is a challenging mixed-integer non-linear optimisation problem. We present an approach based on decomposition of a Mixed-Integer Semidefinite Programming (MISDP) problem into a mixed-integer quadratic (MIQP) master problem and a semidefinite programming (SDP) sub-problem. Between the master problem and the sub-…
▽ More
The unit commitment with transmission constraints in the alternating-current (AC) model is a challenging mixed-integer non-linear optimisation problem. We present an approach based on decomposition of a Mixed-Integer Semidefinite Programming (MISDP) problem into a mixed-integer quadratic (MIQP) master problem and a semidefinite programming (SDP) sub-problem. Between the master problem and the sub-problem, we pass novel classes of cuts. We analyse finite convergence to the optimum of the MISDP and report promising computational results on a test case from the Canary Islands, Spain.
△ Less
Submitted 25 June, 2018;
originally announced June 2018.
-
A numerical procedure and unified formulation for the adjoint approach in hyperbolic PDE-constrained optimal control problems
Authors:
Gino I. Montecinos,
Juan Lopez-Rios,
Jaime H. Ortega,
Rodrigo Lecaros
Abstract:
The present paper aims at providing a numerical strategy to deal with PDE-constrained optimization problems solved with the adjoint method. It is done through out a unified formulation of the constraint PDE and the adjoint model. The resulting model is a non-conservative hyperbolic system and thus a finite volume scheme is proposed to solve it. In this form, the scheme sets in a single frame both…
▽ More
The present paper aims at providing a numerical strategy to deal with PDE-constrained optimization problems solved with the adjoint method. It is done through out a unified formulation of the constraint PDE and the adjoint model. The resulting model is a non-conservative hyperbolic system and thus a finite volume scheme is proposed to solve it. In this form, the scheme sets in a single frame both constraint PDE and adjoint model. The forward and backward evolutions are controlled by a single parameter $η$ and a stable time step is obtained only once at each optimization iteration. The methodology requires the complete eigenstructure of the system as well as the gradient of the cost functional. Numerical tests evidence the applicability of the present technique
△ Less
Submitted 29 November, 2017; v1 submitted 25 November, 2017;
originally announced November 2017.
-
Playing Tennis without Envy
Authors:
Josue Ortega
Abstract:
A group of friends organize their tennis games by submitting each their availability over the weekdays. They want to obtain an assignment such that: each game must be a double tennis match, i.e. requires four people, and nobody plays in a day he is unavailable. Can we construct assignments that will always produce efficient, fair, and envy-free outcomes? The answer is no, and extends to any sport…
▽ More
A group of friends organize their tennis games by submitting each their availability over the weekdays. They want to obtain an assignment such that: each game must be a double tennis match, i.e. requires four people, and nobody plays in a day he is unavailable. Can we construct assignments that will always produce efficient, fair, and envy-free outcomes? The answer is no, and extends to any sport that requires any group size.
△ Less
Submitted 25 August, 2016;
originally announced August 2016.
-
Size estimates of an obstacle in a stationary Stokes fluid
Authors:
E. Beretta,
C. Cavaterra,
J. H. Ortega,
S. Zamorano
Abstract:
In this work we are interested in estimating the size of a cavity D immersed in a bounded domain Ω, contained in R^d, d=2,3, filled with a viscous fluid governed by the Stokes system, by means of velocity and Cauchy forces on the external boundary of Ω. More precisely, we establish some lower and upper bounds in terms of the difference between the external measurements when the obstacle is present…
▽ More
In this work we are interested in estimating the size of a cavity D immersed in a bounded domain Ω, contained in R^d, d=2,3, filled with a viscous fluid governed by the Stokes system, by means of velocity and Cauchy forces on the external boundary of Ω. More precisely, we establish some lower and upper bounds in terms of the difference between the external measurements when the obstacle is present and without the object. The proof of the result is based on interior regularity results and quantitative estimates of unique continuation for the solution of the Stokes system.
△ Less
Submitted 11 January, 2016;
originally announced January 2016.
-
Quantitative evaluation of the performance of discrete-time reservoir computers in the forecasting, filtering, and reconstruction of stochastic stationary signals
Authors:
Lyudmila Grigoryeva,
Julie Henriques,
Juan-Pablo Ortega
Abstract:
This paper extends the notion of information processing capacity for non-independent input signals in the context of reservoir computing (RC). The presence of input autocorrelation makes worthwhile the treatment of forecasting and filtering problems for which we explicitly compute this generalized capacity as a function of the reservoir parameter values using a streamlined model. The reservoir mod…
▽ More
This paper extends the notion of information processing capacity for non-independent input signals in the context of reservoir computing (RC). The presence of input autocorrelation makes worthwhile the treatment of forecasting and filtering problems for which we explicitly compute this generalized capacity as a function of the reservoir parameter values using a streamlined model. The reservoir model leading to these developments is used to show that, whenever that approximation is valid, this computational paradigm satisfies the so called separation and fading memory properties that are usually associated with good information processing performances. We show that several standard memory, forecasting, and filtering problems that appear in the parametric stochastic time series context can be readily formulated and tackled via RC which, as we show, significantly outperforms standard techniques in some instances.
△ Less
Submitted 7 October, 2015; v1 submitted 1 August, 2015;
originally announced August 2015.
-
Two weight norm inequalities for vector-valued operators
Authors:
Carme Cascante,
Joaquin M. Ortega
Abstract:
We study two weight norm inequalities for a vector-valued operator from a weighted $L^p(σ)$-space to mixed norm $L^q_{l^s}(μ)$ spaces, $1<q<p$. We apply these results to the boundedness of Wolff's potentials.
We study two weight norm inequalities for a vector-valued operator from a weighted $L^p(σ)$-space to mixed norm $L^q_{l^s}(μ)$ spaces, $1<q<p$. We apply these results to the boundedness of Wolff's potentials.
△ Less
Submitted 21 December, 2015; v1 submitted 23 June, 2015;
originally announced June 2015.
-
Optimal nonlinear information processing capacity in delay-based reservoir computers
Authors:
Lyudmila Grigoryeva,
Julie Henriques,
Laurent Larger,
Juan-Pablo Ortega
Abstract:
Reservoir computing is a recently introduced brain-inspired machine learning paradigm capable of excellent performances in the processing of empirical data. We focus in a particular kind of time-delay based reservoir computers that have been physically implemented using optical and electronic systems and have shown unprecedented data processing rates. Reservoir computing is well-known for the ease…
▽ More
Reservoir computing is a recently introduced brain-inspired machine learning paradigm capable of excellent performances in the processing of empirical data. We focus in a particular kind of time-delay based reservoir computers that have been physically implemented using optical and electronic systems and have shown unprecedented data processing rates. Reservoir computing is well-known for the ease of the associated training scheme but also for the problematic sensitivity of its performance to architecture parameters. This article addresses the reservoir design problem, which remains the biggest challenge in the applicability of this information processing scheme. More specifically, we use the information available regarding the optimal reservoir working regimes to construct a functional link between the reservoir parameters and its performance. This function is used to explore various properties of the device and to choose the optimal reservoir architecture, thus replacing the tedious and time consuming parameter scannings used so far in the literature.
△ Less
Submitted 10 November, 2014;
originally announced November 2014.
-
Sharp norm estimates for the Bergman operator from weighted mixed-norm spaces to weighted Hardy spaces
Authors:
C. Cascante,
J. Fabrega,
J. M. Ortega
Abstract:
In this paper we give sharp norm estimates for the Bergman operator acting from weighted mixed-norm spaces to weighted Hardy spaces in the ball, endowed with natural norms.
In this paper we give sharp norm estimates for the Bergman operator acting from weighted mixed-norm spaces to weighted Hardy spaces in the ball, endowed with natural norms.
△ Less
Submitted 9 January, 2015; v1 submitted 28 October, 2014;
originally announced October 2014.
-
Stability of Hamiltonian relative equilibria in symmetric magnetically confined rigid bodies
Authors:
Lyudmila Grigoryeva,
Juan-Pablo Ortega,
Stanislav Zub
Abstract:
This work studies the symmetries, the associated momentum map, and relative equilibria of a mechanical system consisting of a small axisymmetric magnetic body-dipole in an also axisymmetric external magnetic field that additionally exhibits a mirror symmetry; we call this system the ``orbitron". We study the nonlinear stability of a branch of equatorial quasiorbital relative equilibria using the e…
▽ More
This work studies the symmetries, the associated momentum map, and relative equilibria of a mechanical system consisting of a small axisymmetric magnetic body-dipole in an also axisymmetric external magnetic field that additionally exhibits a mirror symmetry; we call this system the ``orbitron". We study the nonlinear stability of a branch of equatorial quasiorbital relative equilibria using the energy-momentum method and we provide sufficient conditions for their $\mathbb{T}^2$--stability that complete partial stability relations already existing in the literature. These stability prescriptions are explicitly written down in terms of the some of the field parameters, which can be used in the design of stable solutions. We propose new linear methods to determine instability regions in the context of relative equilibria that we use to conclude the sharpness of some of the nonlinear stability conditions obtained.
△ Less
Submitted 10 November, 2013;
originally announced November 2013.
-
On multipliers for Hardy-Sobolev spaces and holomorphic potentials
Authors:
Carme Cascante,
Joan Fàbrega,
Joaquín M. Ortega
Abstract:
We study the action of some generalized integral operators of Bergman type on pointwise multipliers of holomorphic Triebel-Lizorkin spaces. We construct nontrivial examples of pointwise multipliers in Hardy-Sobolev spaces and give applications of all these results.
We study the action of some generalized integral operators of Bergman type on pointwise multipliers of holomorphic Triebel-Lizorkin spaces. We construct nontrivial examples of pointwise multipliers in Hardy-Sobolev spaces and give applications of all these results.
△ Less
Submitted 31 May, 2013;
originally announced May 2013.
-
Determination of the calcium channel distribution in the olfactory system
Authors:
C. Conca,
R. Lecaros,
J. H. Ortega,
L. Rosier
Abstract:
In this paper we study a linear inverse problem with a biological interpretation, which is modeled by a Fredholm integral equation of the first kind. When the kernel in the Fredholm equation is represented by step func- tions, we obtain identifiability, stability and reconstruction results. Further- more, we provide a numerical reconstruction algorithm for the kernel, whose main feature is that a…
▽ More
In this paper we study a linear inverse problem with a biological interpretation, which is modeled by a Fredholm integral equation of the first kind. When the kernel in the Fredholm equation is represented by step func- tions, we obtain identifiability, stability and reconstruction results. Further- more, we provide a numerical reconstruction algorithm for the kernel, whose main feature is that a non-regular mesh has to be used to ensure the invert- ibility of the matrix representing the numerical discretization of the system. Finally, a second identifiability result for a polynomial approximation of degree less than nine of the kernel is also established.
△ Less
Submitted 10 April, 2013;
originally announced April 2013.
-
Martindale algebras of quotients of graded algebras
Authors:
Hannes Bierwirth,
Candido Martin Gonzalez,
Juana Sanchez Ortega,
Mercedes Siles Molina
Abstract:
The motivation for this paper has been to study the relation between the zero component of the maximal graded algebra of quotients and the maximal graded algebra of quotients of the zero component, both in the Lie case and when considering Martindale algebras of quotients in the associative setting. We apply our results to prove that the finitary complex Lie algebras are (graded) strongly nondegen…
▽ More
The motivation for this paper has been to study the relation between the zero component of the maximal graded algebra of quotients and the maximal graded algebra of quotients of the zero component, both in the Lie case and when considering Martindale algebras of quotients in the associative setting. We apply our results to prove that the finitary complex Lie algebras are (graded) strongly nondegenerate and compute their maximal algebras of quotients.
△ Less
Submitted 10 October, 2012;
originally announced October 2012.
-
Finite sample forecasting with estimated temporally aggregated linear processes
Authors:
Lyudmila Grigoryeva,
Juan-Pablo Ortega
Abstract:
We propose a finite sample based predictor for estimated linear one dimensional time series models and compute the associated total forecasting error. The expression for the error that we present takes into account the estimation error. Unlike existing solutions in the literature, our formulas require neither assumptions on the second order stationarity of the sample nor Monte Carlo simulations fo…
▽ More
We propose a finite sample based predictor for estimated linear one dimensional time series models and compute the associated total forecasting error. The expression for the error that we present takes into account the estimation error. Unlike existing solutions in the literature, our formulas require neither assumptions on the second order stationarity of the sample nor Monte Carlo simulations for their evaluation. This result is used to prove the pertinence of a new hybrid scheme that we put forward for the forecast of linear temporal aggregates. This novel strategy consists of carrying out the parameter estimation based on disaggregated data and the prediction based on the corresponding aggregated model and data. We show that in some instances this scheme has a better performance than the "all-disaggregated" approach presented as optimal in the literature.
△ Less
Submitted 19 September, 2012;
originally announced September 2012.
-
The partially alternating ternary sum in an associative dialgebra
Authors:
Murray R Bremner,
Juana Sanchez Ortega
Abstract:
The alternating ternary sum in an associative algebra, $abc - acb - bac + bca + cab - cba$, gives rise to the partially alternating ternary sum in an associative dialgebra with products $\dashv$ and $\vdash$ by making the argument $a$ the center of each term: $a \dashv b \dashv c - a \dashv c \dashv b - b \vdash a \dashv c + c \vdash a \dashv b + b \vdash c \vdash a - c \vdash b \vdash a$. We use…
▽ More
The alternating ternary sum in an associative algebra, $abc - acb - bac + bca + cab - cba$, gives rise to the partially alternating ternary sum in an associative dialgebra with products $\dashv$ and $\vdash$ by making the argument $a$ the center of each term: $a \dashv b \dashv c - a \dashv c \dashv b - b \vdash a \dashv c + c \vdash a \dashv b + b \vdash c \vdash a - c \vdash b \vdash a$. We use computer algebra to determine the polynomial identities in degree $\le 9$ satisfied by this new trilinear operation. In degrees 3 and 5 we obtain $[a,b,c] + [a,c,b] \equiv 0$ and $[a,[b,c,d],e] + [a,[c,b,d],e] \equiv 0$; these identities define a new variety of partially alternating ternary algebras. We show that there is a 49-dimensional space of multilinear identities in degree 7, and we find equivalent nonlinear identities. We use the representation theory of the symmetric group to show that there are no new identities in degree 9.
△ Less
Submitted 16 August, 2010;
originally announced August 2010.
-
The corona theorem in weighted Hardy and Morrey spaces
Authors:
Carme Cascante,
Joan Fabrega,
Joaquin M. Ortega
Abstract:
The main goal of this paper is to give an unified proof of the corona problem on weighted Hardy spaces and on Morrey spaces. We use a technique that allows to reduce the problem to the Hardy spaces $H^2(θ)$
The main goal of this paper is to give an unified proof of the corona problem on weighted Hardy spaces and on Morrey spaces. We use a technique that allows to reduce the problem to the Hardy spaces $H^2(θ)$
△ Less
Submitted 28 June, 2010;
originally announced June 2010.
-
Algebras of quotients of graded Lie algebras
Authors:
Juana Sanchez Ortega,
Mercedes Siles Molina
Abstract:
In this paper we explore graded algebras of quotients of Lie algebras with special emphasis on the 3-graded case and answer some natural questions concerning its relation to maximal Jordan systems of quotients.
In this paper we explore graded algebras of quotients of Lie algebras with special emphasis on the 3-graded case and answer some natural questions concerning its relation to maximal Jordan systems of quotients.
△ Less
Submitted 9 December, 2009;
originally announced December 2009.
-
The stochastic Hamilton-Jacobi equation
Authors:
Joan-Andreu Lázaro-Camí,
Juan-Pablo Ortega
Abstract:
We extend some aspects of the Hamilton-Jacobi theory to the category of stochastic Hamiltonian dynamical systems. More specifically, we show that the stochastic action satisfies the Hamilton-Jacobi equation when, as in the classical situation, it is written as a function of the configuration space using a regular Lagrangian submanifold. Additionally, we will use a variation of the Hamilton-Jacob…
▽ More
We extend some aspects of the Hamilton-Jacobi theory to the category of stochastic Hamiltonian dynamical systems. More specifically, we show that the stochastic action satisfies the Hamilton-Jacobi equation when, as in the classical situation, it is written as a function of the configuration space using a regular Lagrangian submanifold. Additionally, we will use a variation of the Hamilton-Jacobi equation to characterize the generating functions of one-parameter groups of symplectomorphisms that allow to rewrite a given stochastic Hamiltonian system in a form whose solutions are very easy to find; this result recovers in the stochastic context the classical solution method by reduction to the equilibrium of a Hamiltonian system.
△ Less
Submitted 5 June, 2008; v1 submitted 5 June, 2008;
originally announced June 2008.
-
Superposition rules and stochastic Lie-Scheffers systems
Authors:
Joan-Andreu Lázaro-Camí,
Juan-Pablo Ortega
Abstract:
This paper proves a version for stochastic differential equations of the Lie-Scheffers Theorem. This result characterizes the existence of nonlinear superposition rules for the general solution of those equations in terms of the involution properties of the distribution generated by the vector fields that define it. When stated in the particular case of standard deterministic systems, our main t…
▽ More
This paper proves a version for stochastic differential equations of the Lie-Scheffers Theorem. This result characterizes the existence of nonlinear superposition rules for the general solution of those equations in terms of the involution properties of the distribution generated by the vector fields that define it. When stated in the particular case of standard deterministic systems, our main theorem improves various aspects of the classical Lie-Scheffers result. We show that the stochastic analog of the classical Lie-Scheffers systems can be reduced to the study of Lie group valued stochastic Lie-Scheffers systems; those systems, as well as those taking values in homogeneous spaces are studied in detail. The developments of the paper are illustrated with several examples.
△ Less
Submitted 5 March, 2008;
originally announced March 2008.
-
Reduction, reconstruction, and skew-product decomposition of symmetric stochastic differential equations
Authors:
Joan-Andreu Lázaro-Camí,
Juan-Pablo Ortega
Abstract:
We present reduction and reconstruction procedures for the solutions of symmetric stochastic differential equations, similar to those available for ordinary differential equations. Additionally, we use the local tangent-normal decomposition, available when the symmetry group is proper, to construct local skew-product splittings in a neighborhood of any point in the open and dense principal orbit…
▽ More
We present reduction and reconstruction procedures for the solutions of symmetric stochastic differential equations, similar to those available for ordinary differential equations. Additionally, we use the local tangent-normal decomposition, available when the symmetry group is proper, to construct local skew-product splittings in a neighborhood of any point in the open and dense principal orbit type. The general methods introduced in the first part of the paper are then adapted to the Hamiltonian case, which is studied with special care and illustrated with several examples. The Hamiltonian category deserves a separate study since in that situation the presence of symmetries implies in most cases the existence of conservation laws, mathematically described via momentum maps, that should be taken into account in the analysis.
△ Less
Submitted 11 January, 2008; v1 submitted 22 May, 2007;
originally announced May 2007.
-
Symplectic Group Actions and Covering Spaces
Authors:
James Montaldi,
Juan-Pablo Ortega
Abstract:
For symplectic group actions which are not Hamiltonian there are two ways to define reduction. Firstly using the cylinder-valued momentum map and secondly lifting the action to any Hamiltonian cover (such as the universal cover), and then performing symplectic reduction in the usual way. We show that provided the action is free and proper, and the Hamiltonian holonomy associated to the action is…
▽ More
For symplectic group actions which are not Hamiltonian there are two ways to define reduction. Firstly using the cylinder-valued momentum map and secondly lifting the action to any Hamiltonian cover (such as the universal cover), and then performing symplectic reduction in the usual way. We show that provided the action is free and proper, and the Hamiltonian holonomy associated to the action is closed, the natural projection from the latter to the former is a symplectic cover. At the same time we give a classification of all Hamiltonian covers of a given symplectic group action. The main properties of the lifting of a group action to a cover are studied.
△ Less
Submitted 14 October, 2008; v1 submitted 22 May, 2007;
originally announced May 2007.
-
The momentum map in Poisson geometry
Authors:
Rui Loja Fernandes,
Juan-Pablo Ortega,
Tudor S. Ratiu
Abstract:
Every action on a Poisson manifold by Poisson diffeomorphisms lifts to a Hamiltonian action on its symplectic groupoid which has a canonically defined momentum map. We study various properties of this momentum map as well as its use in reduction.
Every action on a Poisson manifold by Poisson diffeomorphisms lifts to a Hamiltonian action on its symplectic groupoid which has a canonically defined momentum map. We study various properties of this momentum map as well as its use in reduction.
△ Less
Submitted 2 March, 2009; v1 submitted 4 May, 2007;
originally announced May 2007.
-
Carleson measures for weighted holomorphic Besov spaces in $\C^n$
Authors:
Carme Cascante,
Joaquin M. Ortega
Abstract:
We obtain characterizations of positive Borel measures $μ$ on $\B^n$ so that some weighted holomorphic Besov spaces $B_s^p(w)$ are imbedded in
$L^p(dμ)$, where $w$ is a $B_p$ weight in the unit ball of $\C^n$.
We obtain characterizations of positive Borel measures $μ$ on $\B^n$ so that some weighted holomorphic Besov spaces $B_s^p(w)$ are imbedded in
$L^p(dμ)$, where $w$ is a $B_p$ weight in the unit ball of $\C^n$.
△ Less
Submitted 27 February, 2007;
originally announced February 2007.