-
Synchrony patterns in Laplacian networks
Authors:
Tiago Amorim,
Miriam Manoel
Abstract:
A network of coupled dynamical systems is represented by a graph whose vertices represent individual cells and whose edges represent couplings between cells. Motivated by the impact of synchronization results of the Kuramoto networks, we introduce the generalized class of Laplacian networks, governed by mappings whose Jacobian at any point is a symmetric matrix with row entries summing to zero. By…
▽ More
A network of coupled dynamical systems is represented by a graph whose vertices represent individual cells and whose edges represent couplings between cells. Motivated by the impact of synchronization results of the Kuramoto networks, we introduce the generalized class of Laplacian networks, governed by mappings whose Jacobian at any point is a symmetric matrix with row entries summing to zero. By recognizing this matrix with a weighted Laplacian of the associated graph, we derive the optimal estimates of its positive, null and negative eigenvalues directly from the graph topology. Furthermore, we provide a characterization of the mappings that define Laplacian networks. Lastly, we discuss stability of equilibria inside synchrony subspaces for two types of Laplacian network on a ring with some extra couplings.
△ Less
Submitted 6 October, 2023; v1 submitted 17 August, 2023;
originally announced August 2023.
-
The realization of admissible graphs for coupled vector fields
Authors:
Tiago Amorim,
Miriam Manoel
Abstract:
In a coupled network cells can interact in several ways. There is a vast literature from the last twenty years that investigates this interacting dynamics under a graph theory formalism, namely as a graph endowed with an input-equivalence relation on the set of vertices that enables a characterization of the admissible vector fields that rules the network dynamics. The present work goes in the dir…
▽ More
In a coupled network cells can interact in several ways. There is a vast literature from the last twenty years that investigates this interacting dynamics under a graph theory formalism, namely as a graph endowed with an input-equivalence relation on the set of vertices that enables a characterization of the admissible vector fields that rules the network dynamics. The present work goes in the direction of answering an inverse problem: for $n \geq 2$, any mapping on $\mathbb{R}^n$ can be realized as an admissible vector field for some graph with the number of vertices depending on (but not necessarily equal to) $n$. Given a mapping, we present a procedure to construct all non-equivalent admissible graphs, up to the appropriate equivalence relation. We also give an upper bound for the number of such graphs. As a consequence, invariant subspaces under the vector field can be investigated as the locus of synchrony states supported by an admissible graph, in the sense that a suitable graph can be chosen to realize couplings with more (or less) synchrony than another graph admissible to the same vector field. The approach provides in particular a systematic investigation of occurrence of chimera states in a network of van der Pol identical oscillators.
△ Less
Submitted 9 October, 2023; v1 submitted 14 December, 2022;
originally announced December 2022.
-
Equivariant mappings and invariant sets on Minkowski space
Authors:
Miram Manoel,
Leandro Nery de Oliveira
Abstract:
In this paper we introduce the systematic study of invariant functions and equivariant mappings defined on Minkowski space under the action of the Lorentz group. We adapt some known results from the orthogonal group acting on the Euclidean space to the Lorentz group acting on the Minkowski space. In addition, an algorithm is given to compute generators of the ring of functions that are invariant u…
▽ More
In this paper we introduce the systematic study of invariant functions and equivariant mappings defined on Minkowski space under the action of the Lorentz group. We adapt some known results from the orthogonal group acting on the Euclidean space to the Lorentz group acting on the Minkowski space. In addition, an algorithm is given to compute generators of the ring of functions that are invariant under an important class of Lorentz subgroups, namely when these are generated by involutions, which is also useful to compute equivariants. Furthermore, general results on invariant subspaces of the Minkowski space are presented, with a characterization of invariant lines and planes in the two lowest dimensions.
△ Less
Submitted 2 May, 2019; v1 submitted 18 April, 2019;
originally announced April 2019.
-
Recognition of symmetries in reversible maps
Authors:
Patrícia H. Baptistelli,
Isabel S. Labouriau,
Miriam Manoel
Abstract:
We deal with germs of diffeomorphisms that are reversible under an involution. We establish that this condition implies that, in general, both the family of reversing symmetries and the group of symmetries are not finite, in contrast with continuous-time dynamics, where typically there are finitely many reversing symmetries. From this we obtain two chains of fixed-points subspaces of involutory re…
▽ More
We deal with germs of diffeomorphisms that are reversible under an involution. We establish that this condition implies that, in general, both the family of reversing symmetries and the group of symmetries are not finite, in contrast with continuous-time dynamics, where typically there are finitely many reversing symmetries. From this we obtain two chains of fixed-points subspaces of involutory reversing symmetries that we use to obtain geometric information on the discrete dynamics generated by a given diffeomorphism. The results are illustrated by the generic case in arbitrary dimension, when the diffeomorphism is the composition of transversal linear involutions.
△ Less
Submitted 11 July, 2020; v1 submitted 20 December, 2018;
originally announced December 2018.
-
Quotients and lifts of symmetric directed graphs
Authors:
Manuela Aguiar,
Ana Dias,
Miriam Manoel
Abstract:
Given a directed graph, an equivalence relation on the graph vertex set is said to be balanced if, for every two vertices in the same equivalence class, the number of directed edges from vertices of each equivalence class directed to each of the two vertices is the same. In this paper we describe the quotient and lift graphs of symmetric directed graphs associated with balanced equivalence relatio…
▽ More
Given a directed graph, an equivalence relation on the graph vertex set is said to be balanced if, for every two vertices in the same equivalence class, the number of directed edges from vertices of each equivalence class directed to each of the two vertices is the same. In this paper we describe the quotient and lift graphs of symmetric directed graphs associated with balanced equivalence relations on the associated vertex sets. In particular, we characterize the quotients and lifts which are also symmetric. We end with an application of these results to gradient and Hamiltonian coupled cell systems, in the context of the coupled cell network formalism of Golubitsky, Stewart and Torok(Patterns of synchrony in coupled cell networks with multiple arrows. {SIAM Journal of Applied Dynamical Systems, 4 (1) (2005) 78-100).
△ Less
Submitted 28 March, 2018;
originally announced March 2018.
-
Normal forms of bireversible vector fields
Authors:
P. H. Baptistelli,
M. Manoel,
I. O. Zeli
Abstract:
In this paper we adapt the method of [P. H. Baptistelli, M. Manoel and I. O. Zeli. Normal form theory for reversible equivariant vector fields. Bull. Braz. Math. Soc., New Series 47 (2016), no. 3, 935-954] to obtain normal forms of a class of smooth bireversible vector fields. These are vector fields reversible under the action of two linear involution and whose linearization has a nilpotent part…
▽ More
In this paper we adapt the method of [P. H. Baptistelli, M. Manoel and I. O. Zeli. Normal form theory for reversible equivariant vector fields. Bull. Braz. Math. Soc., New Series 47 (2016), no. 3, 935-954] to obtain normal forms of a class of smooth bireversible vector fields. These are vector fields reversible under the action of two linear involution and whose linearization has a nilpotent part and a semisimple part with purely imaginary eigenvalues. We show that these can be put formally in normal form preserving the reversing symmetries and their linearization. The approach we use is based on an algebraic structure of the set of this type of vector fields. Although this can lead to extensive calculations in some cases, it is in general a simple and algorithmic way to compute the normal forms. We present some examples, which are Hamiltonian systems without resonance for one case and other cases with certain resonances.
△ Less
Submitted 15 February, 2017;
originally announced February 2017.
-
On equivariant binary differential equations
Authors:
Miriam Manoel,
Patrícia Tempesta
Abstract:
This paper introduces the study of occurrence of symmetries in binary differential equations (BDEs). These are implicit differential equations given by the zeros of a quadratic 1-form, $a(x,y)dy^2 + b(x,y)dxdy + c(x,y)dx^2 = 0,$ for $a, b, c$ smooth real functions defined on an open set of $\mathbb{R}^2$. Generically, solutions of a BDE are given as leaves of a pair of foliations, and the appropri…
▽ More
This paper introduces the study of occurrence of symmetries in binary differential equations (BDEs). These are implicit differential equations given by the zeros of a quadratic 1-form, $a(x,y)dy^2 + b(x,y)dxdy + c(x,y)dx^2 = 0,$ for $a, b, c$ smooth real functions defined on an open set of $\mathbb{R}^2$. Generically, solutions of a BDE are given as leaves of a pair of foliations, and the appropriate way to define the action of a symmetry must depend not only whether it preserves or inverts the plane orientation, but also whether it preserves or interchanges the foliations. The first main result reveals this dependence, which is given algebraically by a formula relating three group homomorphisms defined on the symmetry group of the BDE. The second main result adapts algebraic methods from invariant theory for representations of compact Lie groups on the space of quadratic forms on $\mathbb{R}^n$, $n \geq 2$. With that we obtain an algorithm to compute general expressions of quadratic forms. Now, symmetric quadratic 1-forms are in one-to-one corrspondence with equivariant quadratic forms on the plane, so these are treated here as a particular case. We then apply the result to obtain the general forms of equivariant quadratic 1-forms under each compact subgroup of the orthogonal group $\mathbf{O}(2)$.
△ Less
Submitted 9 September, 2016; v1 submitted 19 August, 2016;
originally announced August 2016.
-
Gradient systems on coupled cell networks
Authors:
Miriam Manoel,
Mark Roberts
Abstract:
For networks of coupled dynamical systems we characterize admissible functions, that is, functions whose gradient is an admissible vector field. The schematic representation of a gradient network dynamical system is of an undirected cell graph, and we use tools from graph theory to deduce the general form of such functions, relating it to the topological structure of the graph defining the network…
▽ More
For networks of coupled dynamical systems we characterize admissible functions, that is, functions whose gradient is an admissible vector field. The schematic representation of a gradient network dynamical system is of an undirected cell graph, and we use tools from graph theory to deduce the general form of such functions, relating it to the topological structure of the graph defining the network. The coupling of pairs of dynamical systems cells is represented by edges of the graph, and from spectral graph theory we detect the existence and nature of equilibria of the gradient system from the critical points of the coupling function. In particular, we study fully synchronous and 2-state patterns of equilibria on regular graphs.These are two special types of equilibrium configurations for gradient networks. We also investigate equilibrium configurations of S1-invariant admissible functions on a ring of cells.
△ Less
Submitted 4 February, 2015;
originally announced February 2015.
-
Relative equivariants under compact Lie groups
Authors:
Patricia Hernandes Baptistelli,
Miriam Manoel
Abstract:
In this work we obtain the general form of polynomial mappings that commute with a linear action of a relative symmetry group. The aim is to give results for relative equivariant polynomials that correspond to the results for relative invariants obtained in a previous paper [P.H. Baptistelli, M. Manoel (2013) Invariants and relative invariants under compact Lie groups, J. Pure Appl. Algebra 217, 2…
▽ More
In this work we obtain the general form of polynomial mappings that commute with a linear action of a relative symmetry group. The aim is to give results for relative equivariant polynomials that correspond to the results for relative invariants obtained in a previous paper [P.H. Baptistelli, M. Manoel (2013) Invariants and relative invariants under compact Lie groups, J. Pure Appl. Algebra 217, 2213{2220]. We present an algorithm to compute generators for relative equivariant submodules from the invariant theory applied to the subgroup formed only by the symmetries. The same method provides, as a particular case, generators for equivariants under the whole group from the knowledge of equivariant generators by a smaller subgroup, which is normal of finite index.
△ Less
Submitted 24 November, 2014;
originally announced November 2014.
-
Complete transversals of reversible equivariant singularities of vector fields
Authors:
Miriam Manoel,
Iris de Oliveira Zeli
Abstract:
We use group representation theory to give algebraic formulae to compute complete transversals of singularities of vector fields, either in the nonsymmetric or in the reversible equivariant contexts. This computation produces normal forms directly, which are used sistematically in the local analysis of symmetric dynamics.
We use group representation theory to give algebraic formulae to compute complete transversals of singularities of vector fields, either in the nonsymmetric or in the reversible equivariant contexts. This computation produces normal forms directly, which are used sistematically in the local analysis of symmetric dynamics.
△ Less
Submitted 7 September, 2013;
originally announced September 2013.
-
Normal form theory for reversible equivariant vector fields
Authors:
Patricia Hernandes Baptistelli,
Miriam Garcia Manoel,
Iris de Oliveira Zeli
Abstract:
We give an alternative method to obtain normal forms of reversible equivariant vector fields. We adapt the classical method using tools from invariant theory to establish formulae that take symmetries into account as a starting point. Normal forms of two classes of non-resonant and resonant cases are presented, both under a Z_2-action with linearization having a 2-dimensional nilpotent part and a…
▽ More
We give an alternative method to obtain normal forms of reversible equivariant vector fields. We adapt the classical method using tools from invariant theory to establish formulae that take symmetries into account as a starting point. Normal forms of two classes of non-resonant and resonant cases are presented, both under a Z_2-action with linearization having a 2-dimensional nilpotent part and a semisimple part with purely imaginary eigenvalues.
△ Less
Submitted 25 February, 2015; v1 submitted 3 September, 2013;
originally announced September 2013.
-
Invariants and relative invariants under compact Lie groups
Authors:
Patricia H. Baptistelli,
Miriam Manoel
Abstract:
This paper presents algebraic methods for the study of polynomial relative invariants, when the group G formed by the symmetries and relative symmetries is a compact Lie group. We deal with the case when the subgroup H of symmetries is normal in G with index m, m greater or equal to 2. For this, we develop the invariant theory of compact Lie groups acting on complex vector spaces. This is the star…
▽ More
This paper presents algebraic methods for the study of polynomial relative invariants, when the group G formed by the symmetries and relative symmetries is a compact Lie group. We deal with the case when the subgroup H of symmetries is normal in G with index m, m greater or equal to 2. For this, we develop the invariant theory of compact Lie groups acting on complex vector spaces. This is the starting point for the study of relative invariants and the computation of their generators. We first obtain the space of the invariants under the subgroup $H$ of $Γ$ as a direct sum of $m$ submodules over the ring of invariants under the whole group. Then, based on this decomposition, we construct a Hilbert basis of the ring of G-invariants from a Hilbert basis of the ring of H-invariants. In both results the knowledge of the relative Reynolds operators defined on H-invariants is shown to be an essential tool to obtain the invariants under the whole group. The theory is illustrated with some examples.
△ Less
Submitted 6 July, 2012;
originally announced July 2012.
-
The Wigner caustic on shell and singularities of odd functions
Authors:
Wojciech Domitrz,
Miriam Manoel,
Pedro de M. Rios
Abstract:
We study the Wigner caustic on shell of a Lagrangian submanifold L of affine symplectic space. We present the physical motivation for studying singularities of the Wigner caustic on shell and present its mathematical definition in terms of a generating family. Because such a generating family is an odd deformation of an odd function, we study simple singularities in the category of odd functions a…
▽ More
We study the Wigner caustic on shell of a Lagrangian submanifold L of affine symplectic space. We present the physical motivation for studying singularities of the Wigner caustic on shell and present its mathematical definition in terms of a generating family. Because such a generating family is an odd deformation of an odd function, we study simple singularities in the category of odd functions and their odd versal deformations, applying these results to classify the singularities of the Wigner caustic on shell, interpreting these singularities in terms of the local geometry of L.
△ Less
Submitted 26 July, 2012; v1 submitted 4 July, 2012;
originally announced July 2012.
