Showing 1–13 of 13 results for author: Avino-Diaz, M A

The reverse engineering problem with probabilities and sequential behavior: Probabilistic Sequential Networks

Authors: Maria A. Avino-Diaz

Abstract: The reverse engineering problem with probabilities and sequential behavior is introducing here, using the expression of an algorithm. The solution is partially founded, because we solve the problem only if we have a Probabilistic Sequential Network. Therefore the probabilistic structure on sequential dynamical systems is introduced here, the new model will be called Probabilistic Sequential Netw… ▽ More The reverse engineering problem with probabilities and sequential behavior is introducing here, using the expression of an algorithm. The solution is partially founded, because we solve the problem only if we have a Probabilistic Sequential Network. Therefore the probabilistic structure on sequential dynamical systems is introduced here, the new model will be called Probabilistic Sequential Network, PSN. The morphisms of Probabilistic Sequential Networks are defined using two algebraic conditions, whose imply that the distribution of probabilities in the systems are close. It is proved here that two homomorphic Probabilistic Sequential Networks have the same equilibrium or steady state probabilities. Additionally, the proof of the set of PSN with its morphisms form the category PSN, having the category of sequential dynamical systems SDS, as a full subcategory is given. Several examples of morphisms, subsystems and simulations are given. △ Less

Submitted 10 August, 2007; originally announced August 2007.

Comments: Key words: simulation, homomorphism, dynamical system, sequential network, reverse engineering problem. Submitted to Elsevier

MSC Class: 05C20; 37B99; 68Q65; 93A30; 18B20; 37B19; 60G99

Introducing a Probabilistic Structure on Sequential Dynamical Systems, Simulation and Reduction of Probabilistic Sequential Networks

Authors: Maria A. Avino-Diaz

Abstract: A probabilistic structure on sequential dynamical systems is introduced here, the new model will be called Probabilistic Sequential Network, PSN. The morphisms of Probabilistic Sequential Networks are defined using two algebraic conditions. It is proved here that two homomorphic Probabilistic Sequential Networks have the same equilibrium or steady state probabilities if the morphism is either an… ▽ More A probabilistic structure on sequential dynamical systems is introduced here, the new model will be called Probabilistic Sequential Network, PSN. The morphisms of Probabilistic Sequential Networks are defined using two algebraic conditions. It is proved here that two homomorphic Probabilistic Sequential Networks have the same equilibrium or steady state probabilities if the morphism is either an epimorphism or a monomorphism. Additionally, the proof of the set of PSN with its morphisms form the category PSN, having the category of sequential dynamical systems SDS, as a full subcategory is given. Several examples of morphisms, subsystems and simulations are given. △ Less

Submitted 30 April, 2008; v1 submitted 29 June, 2007; originally announced July 2007.

Comments: 14 pages

Simulation of Probabilistic Sequential Systems

Authors: Maria A. Avino-Diaz

Abstract: In this paper we introduce the idea of probability in the definition of Sequential Dynamical Systems, thus obtaining a new concept, Probabilistic Sequential System. The introduction of a probabilistic structure on Sequential Dynamical Systems is an important and interesting problem. The notion of homomorphism of our new model, is a natural extension of homomorphism of sequential dynamical syst… ▽ More In this paper we introduce the idea of probability in the definition of Sequential Dynamical Systems, thus obtaining a new concept, Probabilistic Sequential System. The introduction of a probabilistic structure on Sequential Dynamical Systems is an important and interesting problem. The notion of homomorphism of our new model, is a natural extension of homomorphism of sequential dynamical systems introduced and developed by Laubenbacher and Paregeis in several papers. Our model, give the possibility to describe the dynamic of the systems using Markov chains and all the advantage of stochastic theory. The notion of simulation is introduced using the concept of homomorphisms, as usual. Several examples of homomorphisms, subsystems and simulations are given. △ Less

Submitted 28 February, 2007; v1 submitted 25 February, 2007; originally announced February 2007.

MSC Class: Primary: 05C20; 37B99; 68Q65; 93A30; Secondary: 18B20; 37B19

Probabilistic Regulatory Networks: Modeling Genetic Networks

Authors: Maria A. Avino-Diaz, Oscar Moreno

Abstract: We describe here the new concept of $ε$-Homomorphisms of Probabilistic Regulatory Gene Networks(PRN). The $ε$-homomorphisms are special mappings between two probabilistic networks, that consider the algebraic action of the iteration of functions and the probabilistic dynamic of the two networks. It is proved here that the class of PRN, together with the homomorphisms, form a category with produc… ▽ More We describe here the new concept of $ε$-Homomorphisms of Probabilistic Regulatory Gene Networks(PRN). The $ε$-homomorphisms are special mappings between two probabilistic networks, that consider the algebraic action of the iteration of functions and the probabilistic dynamic of the two networks. It is proved here that the class of PRN, together with the homomorphisms, form a category with products and coproducts. Projections are special homomorphisms, induced by invariant subnetworks. Here, it is proved that an $ε$-homomorphism for 0 <$ε$< 1 produces simultaneous Markov Chains in both networks, that permit to introduce the concepts of $ε$-isomorphism of Markov Chains, and similar networks. △ Less

Submitted 22 June, 2006; originally announced June 2006.

Comments: 8 pages, 2 figures, International Congress of Matematicians, to be published in Proceedings of the Fifth International Conference on Engineering Computational Technology, 2006, Las Palmas, Gran Canaria

A new algorithm for finding the nilpotency class of a finite p-group describing the upper central series

Authors: Maeia A. Avino-Diaz

Abstract: In this paper we describe an algorithm for finding the nilpotency class, and the upper central series of the maximal normal p-subgroup N(G) of the automorphism group, Aut(G) of a bounded (or finite) abelian p-group G. This is the first part of two papers devoted to compute the nilpotency class of N(G) using formulas, and algorithms that work in almost all groups. Here, we prove that for p>2 the… ▽ More In this paper we describe an algorithm for finding the nilpotency class, and the upper central series of the maximal normal p-subgroup N(G) of the automorphism group, Aut(G) of a bounded (or finite) abelian p-group G. This is the first part of two papers devoted to compute the nilpotency class of N(G) using formulas, and algorithms that work in almost all groups. Here, we prove that for p>2 the algorithm always runs. The algorithm describes a sequence of ideals of the Jacobson radical, J, and because N(G)=J+1, this sequence induces the upper central series in N(G). △ Less

Submitted 1 August, 2007; v1 submitted 23 June, 2006; originally announced June 2006.

Comments: 15 pages, sending to a Journal

MSC Class: 20K30; 20F14; 16S50; 20K01

Finite Dynamical Systems, Linear Automata, and Finite Fields

Authors: Oscar Moreno, Dorothy Bollman, Maria A. Avino-Diaz

Abstract: We establish a connection between finite fields and finite dynamical systems. We show how this connection can be used to shed light on some problems in finite dynamical systems and in particular, in linear systems. We establish a connection between finite fields and finite dynamical systems. We show how this connection can be used to shed light on some problems in finite dynamical systems and in particular, in linear systems. △ Less

Submitted 25 April, 2006; originally announced April 2006.

Comments: 5 pages, conference

MSC Class: 11T06; 37B10; 92B05

Journal ref: 2002 WSEAS Int. Conf. on System Science, Applied Mathematics & Computer Science and Power Engineering Systems, 1481-1483, October (2002)

Splitting the Automorphism Group of an Abelian p-Group

Authors: Maria Alicia Avino-Diaz

Abstract: Let G be an abelian p-group sum of finite homocyclic groups Gi. Here, we determine in which cases the automorphism group of G splits over ker(h), where h: Aut(G)-->Xi Aut(Gi/pGi) is the natural epimorphism. Let G be an abelian p-group sum of finite homocyclic groups Gi. Here, we determine in which cases the automorphism group of G splits over ker(h), where h: Aut(G)-->Xi Aut(Gi/pGi) is the natural epimorphism. △ Less

Submitted 31 March, 2006; originally announced March 2006.

MSC Class: 20K10; 20K30;20F28

Journal ref: Bol. Soc. Mat. Mexicana (3) VOl. 6,2000

Genetic Sequential Dynamical Systems

Authors: Maria A. Avino-Diaz, Humberto Ortiz, Oscar Moreno

Abstract: The whole complex process to obtain a protein encoded by a gene is difficult to include in a mathematical model. There are many models for describing different aspects of a genetic network. Finding a better model is one of the most important and interesting questions in computational biology. Sequential dynamical systems have been developed for a theory of computer simulation, and in this paper,… ▽ More The whole complex process to obtain a protein encoded by a gene is difficult to include in a mathematical model. There are many models for describing different aspects of a genetic network. Finding a better model is one of the most important and interesting questions in computational biology. Sequential dynamical systems have been developed for a theory of computer simulation, and in this paper, a genetic sequential dynamical system is introduced. A gene is considered to be a function which can take a finite number of values. We prove that a genetic sequential dynamical system is a mathematical good description for a finite state linear model introduced by Brazma in www.ebi.ac.uk/microarray/biology-intro.html, EMBL-EBI, European Bioinformatics Institute, (2000). △ Less

Submitted 3 April, 2006; v1 submitted 15 March, 2006; originally announced March 2006.

Report number: Preprint: Proceddings of Puerto Rico Women Meetings, 2003 MSC Class: 11T99 ; 05C20

Applications of Finite Fields to Dynamical Systems and Reverse Engineering Problems

Authors: Maria A. Avino-Diaz, Edward Green, Oscar Moreno

Abstract: We present a mathematical model: dynamical systems over finite sets (DSF), and we show that Boolean and discrete genetic models are special cases of DFS. In this paper, we prove that a function defined over finite sets with different number of elements can be represented as a polynomial function over a finite field. Given the data of a function defined over different finite sets, we describe an… ▽ More We present a mathematical model: dynamical systems over finite sets (DSF), and we show that Boolean and discrete genetic models are special cases of DFS. In this paper, we prove that a function defined over finite sets with different number of elements can be represented as a polynomial function over a finite field. Given the data of a function defined over different finite sets, we describe an algorithm to obtain all the polynomial functions associated to this data. As a consequence, all the functions defined in a regulatory network can be represented as a polynomial function in one variable or in several variables over a finite field. We apply these results to study the reverse engineering problem. △ Less

Submitted 15 March, 2006; originally announced March 2006.

MSC Class: 11T99 ; 05C20

Journal ref: 2004 ACM Symposium on Applied Computing, SAC04, Nicosia, Chipre

Computing the additive structure of indecomposable modules over Dedekind-like rings using Groebner bases

Authors: Maria A. Avino-Diaz, Luis D. Garcia-Puente

Abstract: We introduce a general constructive method to find a p-basis (and the Ulm invariants) of a finite Abelian p-group M. This algorithm is based on Groebner bases theory. We apply this method to determine the additive structure of indecomposable modules over the following Dedeking-like rings: ZCp, where Cp is the cyclic group of order a prime p, and the p-pullback Z --> Zp <-- Z of Z+Z. We introduce a general constructive method to find a p-basis (and the Ulm invariants) of a finite Abelian p-group M. This algorithm is based on Groebner bases theory. We apply this method to determine the additive structure of indecomposable modules over the following Dedeking-like rings: ZCp, where Cp is the cyclic group of order a prime p, and the p-pullback Z --> Zp <-- Z of Z+Z. △ Less

Submitted 7 June, 2006; v1 submitted 13 March, 2006; originally announced March 2006.

Comments: To appear in Journal of Algebra and its Applications, 12 pages

MSC Class: 13C05;06D05

Probabilistic Gene Regulatory Networks, isomorphisms of Markov Chains

Authors: Maria A. Avino-Diaz

Abstract: In this paper we study homomorphisms of Probabilistic Regulatory Gene Networks(PRN) introduced in arXiv:math.DS/0603289 v1 13 Mar 2006. The model PRN is a natural generalization of the Probabilistic Boolean Networks (PBN), introduced by I. Shmulevich, E. Dougherty, and W. Zhang in 2001, that has been using to describe genetic networks and has therapeutic applications. In this paper, our main obj… ▽ More In this paper we study homomorphisms of Probabilistic Regulatory Gene Networks(PRN) introduced in arXiv:math.DS/0603289 v1 13 Mar 2006. The model PRN is a natural generalization of the Probabilistic Boolean Networks (PBN), introduced by I. Shmulevich, E. Dougherty, and W. Zhang in 2001, that has been using to describe genetic networks and has therapeutic applications. In this paper, our main objectives are to apply the concept of homomorphism and $ε$-homomorphism of probabilistic regulatory networks to the dynamic of the networks. The meaning of $ε$ is that these homomorphic networks have similar distributions and the distance between the distributions is upper bounded by $ε$. Additionally, we prove that the class of PRN together with the homomorphisms form a category with products and coproducts. Projections are special homomorphisms, and they always induce invariant subnetworks that contain all the cycles and steady states in the network. Here, it is proved that the $ε$-homomorphism for $0<ε<1$ produce simultaneous Markov Chains in both networks, that permit to introduce the concept of $ε$-isomorphism of Markov Chains, and similar networks. △ Less

Submitted 13 March, 2006; originally announced March 2006.

MSC Class: 03C60;00A71;05C20;68Q01

Special homomorphisms between Probabilistic Gene Regulatory Networks

Authors: Maria A. Avino-Diaz

Abstract: In this paper we study finite dynamical systems with $n$ functions acting on the same set $X$, and probabilities assigned to these functions, that it is called Probabilistic Regulatory Gene Networks (PRN. his concept is the same or a natural generalization of the concept Probabilistic Boolean Networks (PBN), introduced by I. Shmulevich, E. Dougherty, and W. Zhang, particularly the model PBN has… ▽ More In this paper we study finite dynamical systems with $n$ functions acting on the same set $X$, and probabilities assigned to these functions, that it is called Probabilistic Regulatory Gene Networks (PRN. his concept is the same or a natural generalization of the concept Probabilistic Boolean Networks (PBN), introduced by I. Shmulevich, E. Dougherty, and W. Zhang, particularly the model PBN has been using to describe genetic networks and has therapeutic applications. In PRNs the most important question is to describe the steady states of the systems, so in this paper we pay attention to the idea of transforming a network to another without lost all the properties, in particular the probability distribution. Following this objective we develop the concepts of homomorphism and $ε$-homomorphism of probabilistic regulatory networks, since these concepts bring the properties from one networks to another. Projections are special homomorphisms, and they always induce invariant subnetworks that contain all cycles and steady states in the network. △ Less

Submitted 13 March, 2006; originally announced March 2006.

MSC Class: 03C60 ; 00A71

Simulation of Discrete Systems using Probabilistic Sequential Systems

Authors: Maria A. Avino-Diaz, Gabriela Bulancea

Abstract: This paper has been withdrawn by the author due to a crucial error in the definition of homomorphism. This paper has been withdrawn by the author due to a crucial error in the definition of homomorphism. △ Less

Submitted 27 February, 2007; v1 submitted 13 March, 2006; originally announced March 2006.

Comments: This paper has been withdrawn