The Members of Scientific Committee
A.R. Ashrafi University of Kashan, Iran M.R. Darafsheh University of Tehran, Iran M.V. Diudea Babes-Bolyai University, Romania T. Doslic University of Zagreb,Croatia M. Ghoran Nevis University Of Islamic Azad I. Gutman University of Kragujevac, Serbia A. Graovac Rugjer Boskovic Institute, Croatia A. Hoseinzade Lofty Islamic Azad University A. Iranmanesh Tarbiat Modares University, Iran M.A. Iranmanesh University of Yazd, Iran B. Ranjbar Tarbiat Modares University, Iran H. Sabzyan University of Isfahan, Iran B. Taeri Isfahan University of Tecnology, Iran A. Tehranian Islamic Azad University H. Yousefi University of Tehran, Iran K. Zare University of Shahid Beheshty, Iran
The Members of Organizing Committee
Y. Alizadeh A. Moeini V. Aram A. Mohammadpour A.R. Ashrafi S. Naghdi E. Babaei S. M. Najibi A.S. Baghsahi K. Nikzad A. Bahreininejad H. Omid S.N. Banihashemi S.Pouyandeh M.R.Eslahchi B. Ranjbar Y. Fatholahi M.Sabouri A. Giahtazeh N. Sari R. Hooshmand M.Sokhani A. Iranmanesh S. J. Tabatabaei L. Jadidoleslam F. Tavasolian K.S. Kazemi M.H. Yadegari M .Khaksar M. Zeratkar S. Mirzaei
Content Invited Talk
H. Abdollahi Calculation and Visualizing of the Ambiguities in Self‐Modeling Multivariate Curve Resolution Methods ...... 1 M. V. Diudea Nanostructures: design and topological characterization ...... 3 T. Doslic Structural and enumerative aspects of maximal matchings in nanostructures ...... 5 M. Eliasi , G. Raeisi and B. Taeri some graph operations and their topological indices ...... 6 M. Ghorbani and A. R. Ashrafi A Note on Markaracter Tables of Finite Groups ...... 7 A. Graovac On applications of the wiener index un nano sciences ...... 8 I. Gutman Introduction to the Theory of Fluoranthenes ...... 10 Contributed Talk
S. Ahmadian, S. Mah Abadi, M. Sadeghi, H. Pezeshk, C. Eslahchi Construction of Random Perfect Phylogeny Matrix ...... 13
S. Alikhani and M. A. Iranmanesh
Chromatic Polynomials of Some Nanostars ...... 16 M. Arezoomand , B. Taeri First and second Zagreb indices of generalized hierarchical product of graphs ...... 20 A. Asghari, M. Ghazaghi, M. Bagheri-roochi, M. Rajabi Application of experimental design based on Full factorial & Central Composite… ...... 23 A. Behmaram, H. Yousefi-Azari and A. R. Ashrafi MATCING IN FULLERENES ...... 24
a
A. Dolati and S. Golalizadeh The Extremal Generalized Theta Graph with Respect to the Hosoya Index ...... 25 C. Eslahchi , H. Pezeshk, M. Sadeghi, N Afzaly, A Katanforoush Haplotype block partitioning and tagSNP selection under the perfect phylogeny model ...... 26 M. Golalizadeh and S. M. Najibi On Matching in Structural Bioinformatics via Statistical Shape Analysis ...... 31 A. Heydari Some results on the Wiener and terminal Wiener index of balanced trees ...... 35
A. Ilić, M. V. Diudea,F. Gholami-Nezhaad and A. R. Ashrafi Some polynomials and topological indices in nanocones with even or odd edges in the apex ...... 37 S. Z. Imani Golafshani, A. Iranmanesh , M. V. Diudea Computing the Cluj Index of TUC4C8(S) ...... 43 A. Iranmanesh and Y. Alizadeh
Eccentric connectivity Index of HAC5C7[p,q] and HAC5C6C7[p,q] Nanotubes ...... 45 S. Lotfei, M. Mazloum-Ardakani, G.Ghasemi, S. Ghahri Saremi Application of chemometric Method and spectrophotometric tech… ...... 46 A. Madanshekaf, M. Ghaneei, M. Moradi THE 1‐ CONNECTIVITY INDEX OF DENDRIMER NANOSTARS ...... 51
K. Maleknejad, B. Sohrabi, M. Alizadeh, R. Mollapourasl A Computational Scheme for Conductor‐like Screening Model by Sinc Quadrature Technique ...... 54
A. Mohajeri and M. Alipour Cusp at the nucleus for the Dunning's correlation consistent basis sets ...... 55 S. Moradi Eccentricity, Radius and Diameter of Tensor Product of Graph ...... 59 M. Saheli, A. R. Ashrafi and M. V. Diudea The Omega Polynomial of a new type of Nanostructures ...... 63
Z. Yarahmadia, T. Došlićb, A. R. Ashrafia A Note on The Bipartite Edge Frustration ...... 66
b
Posters
M.B.AHMADI, M. SADEGHIMEHR Third‐order Connectivity Index of an Infinite Class of Dendrimers ...... 72 M.B.AHMADI, Z. SEIF Computing frustration index using a mathematical programming model ...... 75 M.B.AHMADI, M. SALAMI The Neural Network Approach for Computing the Topological Index Am1 of C4C8[p,q] Nanotours .. 79 A. Afzal Shahidi, S. Rahimi Sharebaf Proposing an Upper and a Lower Bound for the Energy of Spider Graph ...... 83 H. Aminikhah An Analytical Approximation to the Solution of Chemical Kinetics System ...... 88 M. Arezoomand , A. Zare Chavoushi Reverse Wiener Index of Cartesian Product of Graphs ...... 94 E. Babaei and A. Iranmanesh Computation of the edge‐Wiener index of the rooted product of graphs ...... 97 J. Beheshtian, F. Zanjanchi, H.Behzadi, N. L. Hadipour A computational study of ammonia adsorption on boron nitride nanotube ...... 99 R. Behjatmanesh-Ardakani, F. Dehghan-Chenari MLR modeling for non‐nucleoside HIV‐1 reverse transcriptase inhibitors ...... 103 A. Dolati1, M. Haghighat, and M. Safari The Hosoya and Merri_eld‐Simmons indices of a denderimer nanostars ...... 108 A. Dolati and S. TAROMI COMPUTING THE ZAGREB INDICES OF A TYPE OF DENDRIMER NANOSTARS ...... 111 M. Eliasi and A.Iranmanesh Harary index of Armchair polyhex nanotubes ...... 113 M. Faghani and A. R. Ashrafi Topological Symmetry of Fullerenes ...... 114 P. Farhami and A. R. Ashrafi Some Remarks on DNA Sequences ...... 116 G. H. Fath-Tabar and A. R. Ashrafi The Hyper‐Wiener Polynomial of Graphs ...... 118
c
S.Garmroudi-Sabet, B.Sohrabi, S.M.Mousavi-khoshdel, S. M. Hashemianzadeh Theoretical study of the ternary oil‐water‐asymmetric mixed surfactants systems by lattice Monte Carlo simulation ...... 122 M. Ghiasi , A. Malekzadeh Estimating kinetic parameters of the Oxidative Coupling of Methane… ...... 127 M. Ghoranneviss, M. Eshghabadi, A. Mahmoodi Different Time of sputtering Effect on the Synthesis of Cu nano particles on AISI 304 by cylindrical magnetron sputtering system ...... 131 M. Ghorbani, M. Jalali and A. R. Ashrafi Counting Numbers of Permutational Isomers of some Hetero Fullerenes ...... 132 M. Ghorbani and M. Jalali On Omega and Sadhana Polynomials of Some Fullerenes ...... 133 M. Ghorbani, A. R. Ashrafi and M. Saheli On the Geometric Arithmetic GA5 Index ...... 134 M. Ghorbani and H. Maimani A New Type of Geometric Arithmetic Index ...... 135 A. Hamzeh, S. Hossein-Zadeh and A. R. Ashrafi COUNTING THE NUMBER OF (3,6)‐FULLERENES ...... 136 F. Hassani , O. Khormali and A. Iranmanesh Computation of Co‐PI index of TUC4C8(R) nanotubes ...... 140 S. Hossein-Zadeh, A. Hamzeh and A. R. Ashrafi The Study of Splices and Links of Graphs by Topological Index ...... 140 A. Iranmanesh, S. Mirzaie
Computing Schultz and modified Schultz polynomials of C100Fullerene by GAP program ...... 143 M. Keshavarz ,A. kazemi Babaheydari, K. Tavakoli Investigation and Study of Chemical Adsorption of Biatomic Gases on the… ...... 144 E. Keshmirzadeh Activity Calculations Based on A New Theory For Binary Mixtures Of Polymer/Solve…...... 145 Z.Khalaj , M.Ghoranneviss, S.Nasiri lahegi THE GROWTH OF DIAMOND NANO STRUCTURE ON SILICON SUBSTRATE USING DIFFERENT ETCHING GASSES BY HFCVD ...... 150 O. Khormali, A. Iranmanesh and A. Ahmadi On Zagreb Polynomials and indices ...... 151
d
V. Kiarostami, M. Davallo, M. vahidpur, A. kianmehr Optimization of the NBR blends for hardness property by Mixture Design ...... 152 S. Lotfei, M. Mazloum-Ardakani, G. Ghasemi Using algorithm at potentiometeric study of binary and mixed complex formation of some … ...... 153 M. Malekzadeh , M. A. Karimi A Kinetic‐Potentiometric Method with Partial least squares (PLS) and principle … ...... 157 M. Mazloum-Ardakani, P. Pourhakak Application of factorial design in digestion of ore samples by microwave and determination of some metals by AAS ...... 161 M. Mirzargar Automorphism Group Symmetry of Nanostars ...... 163 M. J. Najafi-Arani, H. Khodashenas and A. R. Ashrafi The Relationship between Szeged and Wiener Indices of Graphs ...... 167 A. Taherpour and A. M. Hashemi Theoretical Study of Free Energy of Electrontransfer Properties of Metal Nitride Cluster… ...... 171 A. Taherpour and R. Jalajerdi Theoretical Study of Free Electrontransfer Energy Properties of… ...... 176 A. Taherpour and N. Mahdizadeh
Polarizability Study of Fullerene Nano‐structures C20 to C300 by Using Monopole‐Dipole Interactions Theorem ...... 181 S. Rahimi Sharebaf , A. Afzal Shahidi A Classification of Upper and Lower Bounds of Energy in Graphs ...... 185 A. Seyed Mirzaei, A. R. Ashrafi and G. H. Fath-Tabar Szeged Index of some Dendrimers ...... 190 H. Shabani and A. R. Ashrafi Balaban Index of Dendrimers ...... 194 Z.Yarahmadi and S. Moradi Computing Some Topological Indices of Tensor Product of Graphs ...... 196 M. Zabihi Automorphism Group and Topological Indices of the Chemical Graph of Fullerenes ...... 200
e
Invited Talk
The Third Conference and Workshop on Mathematical Chemistry (TCWMC 2010) Tarbiat Modares University, Tehran, Iran, February 22-24, 2010.
Calculation and Visualizing of the Ambiguities in Self-Modeling Multivariate Curve Resolution Methods
Hamid Abdollahi Faculty of Chemistry, Institute for Advanced Studies in Basic Sciences 45195-159, Zanjan, Iran,
Multivariate Curve Resolution (MCR) has emerged and consolidated as a powerful chemometrics tool to investigate multivariate data with the goal of resolving, describing, interpreting and quantifying the true sources of data variance present in a particular data set. In Chemistry, it is rather usual to have large data sets of measured variables and samples. This is for instance the case of spectroscopy when multiwavelength measurements are performed on a set of different samples, or when chemical or processes evolve with time, chromatography or with any other physical or chemical variable like temperature. MCR is specially suited for the resolution of unknown mixtures and for the improvement of the selectivity properties in mixture analysis problems. In many of these problems, the initial knowledge of the system is partial or even non existent. MCR methods address this type of situations.
In many factor analysis methods, like in principal component analysis, the mathematical resolution of the contributions of the different components is performed under well-defined orthogonal constraints, normalization and maximum variance explained by successive resolved components. Using these constraints, PCA solutions are unique and there is no ambiguity in their estimation. However, since orthogonal constraints are not in general fulfilled by the contributions of the true underlying components in their mixtures (since in general these contributions do overlap and they are partially correlated), the component contributions deduced by PCA are completely different to the true ones.
On the other hand, in MCR methods, although they also assume the same bilinear model as in PCA, the mathematical resolution of the components is
1
The Third Conference and Workshop on Mathematical Chemistry (TCWMC 2010) Tarbiat Modares University, Tehran, Iran, February 22-24, 2010.
performed using other type of more natural (with more physical sense) constraints like non-negativity, unimodality or mass balance-closure equations. So, MCR methods attempt to recover the true underlying contributions of the components in the mixture from the mathematical resolution of the original data system. The difficulty or trade off here is that the constraints applied in MCR do not assure a unique solution like in PCA. The mathematical properties of the MCR decomposition are not so well-defined as in PCA and the resolved contributions are more ambiguous [1,2]. In order to ascertain the quality of a particular MCR solution is then necessary to evaluate the amount of rotation ambiguity still present for this particular solution. Therefore the ambiguities in MCR solutions are very important problem in using soft-modeling methods. Visualizing the ambiguities can make sense for understanding of this problem and calculating the amount of these ambiguities is an important challenge in chemometrics area.
References:
[1] Maryam Vosough, Caroline Mason, Roma` Tauler, Mehdi Jalali-Heravi and Marcel Maeder, J. Chemometrics 2006; 20: 302–310.
[2] Hamid Abdollahi, Marcel Maeder, and Roma Tauler, Anal. Chem. 2009, 81, 2115–2122
2
The Third Conference and Workshop on Mathematical Chemistry (TCWMC 2010) Tarbiat Modares University, Tehran, Iran, February 22-24, 2010.
Nanostructures: design and topological characterization
Mircea V. Diudea Faculty of Chemistry and Chemical Engineering, “Babes-Bolyai” University, 400028 Cluj, Romania [email protected]
Abstract.
In the Nano-era, the last twenty years period, several new carbon allotropes have been discovered and studied for applications in nano-technology, in view of reducing the dimensions of devices and increasing their performance. Among the carbons structures, fullerenes (zero-dimensional), nanotubes (one dimensional), graphenes (two dimensional), spongy carbon and nano-diamond (three dimensional) represent the novelty [1,2].
Modeling the above structures is possible by using dedicated software based on cutting procedures (Torus), operations on maps (CageVersatile) or composition of networks by repeating units (Nano Studio), as developed at the TOPO Group CLUJ, ROMANIA (see Figure).
Toroidal objects tessellated by (6,,3) (left) an ((4,8)3)R (right) patterns
The attention of scientists was also directed to inorganic compounds, a realm where almost any metal atom can form clusters, tubules or crystal networks, very ordered structures at the nano-level. Recent articles in crystallography promoted the
3 The Third Conference and Workshop on Mathematical Chemistry (TCWMC 2010) Tarbiat Modares University, Tehran, Iran, February 22-24, 2010.
idea of topological description and classification of crystal structures [3]. They present data on real but also hypothetical lattices designed by computer.
In the present lecture, structures belonging to all of the Euclidean dimensions are described by their topology, particularly by Cluj [4], Omega [5,6] and related polynomials and indices. Appropriate examples will be given.
References
1. Diudea, M. V. (Ed.) Nanostructure, Novel Architecture, NOVA, N.Y., 2005. 2. Diudea, M. V.; Nagy, Cs. L. Periodic Nanostructures, SPRINGER, 2007. 3. V. A. Blatov, L. Carlucci, G. Ciani and D. Proserpio, Cryst. Eng. Comm., 2004, 6, 377. 4. Diudea, M. V. Cluj polynomials. J. Math. Chem., 2009, 45, 295 -308. 5. Diudea, M. V., Omega polynomial, Carpath. J. Math., 2006, 22, 43-47 6. John, P. E., Vizitiu, A. E., Cigher, S., Diudea, M. V., CI index in tubular nanostructures, MATCH Commun. Math. Comput. Chem., 2007, 57, 479-484.
4
The Third Conference and Workshop on Mathematical Chemistry (TCWMC 2010) Tarbiat Modares University, Tehran, Iran, February 22-24, 2010.
Structural and enumerative aspects of maximal matchings in nanostructures
Tomislav Doslic Faculty of Civil Engineering, University of Zagreb, Croatia [email protected]
Since the very beginning of the chemical graph theory various matching- related concepts and invariants have been used to study the properties of wide classes of chemically interesting compounds and structures. This line of research has been vigorously followed over the course of several decades and has lead to accumulation of a vast number of results, mostly concerned with enumerating perfect matchings in benzenoids, and, more recently, also in fullerene graphs. Much less is known about maximal matchings, i.e., the matchings are not included in any larger matching. Here we are concerned with maximal matchings in light of their potential use in modeling adsorption processes on various structured surfaces. We investigate some of their structural properties, in particular the saturation number, and present upper and lower bounds on this quantity for the fullerene graphs. We also look at the enumerative challenges presented by the study of maximal matchings. Exact formulas for the number of maximal matchings of a given size are presented for various classes of graphs of chemical interest. A number of open problems are discussed and some possible directions for future research are suggested.
5
The Third Conference and Workshop on Mathematical Chemistry (TCWMC 2010) Tarbiat Modares University, Tehran, Iran, February 22-24, 2010.
some graph operations and their topological indices
Mehdi Eliasi , Ghafar Raeisi and Bijan Taeri Faculty of Mathematical Science, Tarbiat Modares University , Tehran Department of Mathematical Sciences, Isfahan University of Technology
Abstract
A topological index is a numerical value associated with chemical constitution purporting for correlation of chemical structure with various physical properties, chemical reactivity or biological activity.
In this lecture we compute some topological indices, for example, Wiener, hyper Wiener and Zagreb indices, of some class of graphs which constructed by some operations on graphs such as Mycielski's construction, t th subdivision and generalized hierarchical products of graphs. Also we give some applications of these operations to compute topological indices of well-known graphs. In fact must results in this lecture are extensions of previous results.
6
The Third Conference and Workshop on Mathematical Chemistry (TCWMC 2010) Tarbiat Modares University, Tehran, Iran, February 22-24, 2010.
A Note on Markaracter Tables of Finite Groups
M. Ghorbani and A. R. Ashrafi Department of Mathematics,Faculty of Science, Shahid Rajaei Teacher Training University, Tehran, 16785 - 136, I R. Iran
Abstract
The concept of markaracter tables of finite groups was introduced first by a Japanese chemist Shinsaku Fujita. He applied this notion in the context of stereochemistry and enumeration of molecules. In this paper, a simple computational method is described, by means of which it is possible to calculate the markaracter tables of finite groups. A GAP program is also included which is efficient for computing markaracter table of groups of
order 10000. Using this program, the markaracter table of Ih point group symmetry is computed. This group appears as the point group symmetry of a Buckminster fullerene.
7
The Third Conference and Workshop on Mathematical Chemistry (TCWMC 2010) Tarbiat Modares University, Tehran, Iran, February 22-24, 2010.
ON APPLICATIONS OF THE WIENER INDEX IN NANOSCIENCES
Ante Graovac Institute "R. Boskovic", Zagreb, Croatia, and Faculty of Science, Split, Croatia [email protected]
Abstract
The Wiener index, W, has found many applications in chemistry and related fields and here we report on its possible applications in nanosciences.
In recent paper: O.Ori, F. Cataldo, and A. Graovac (2009) Fullerenes,
Nanotubes and Carbon Nanostructures, 17: 308-323, topological ranking of C28 fullerene reactivity is proposed and the number of 13C NMR peaks and their relative intensities are determined. The same authors (in: work in preparation), have applied a similar methodology to analyze C60H38 molecules of symmetry C1, C3 and T.
By following their earlier ideas on generalized Stone-Wales (gSW) transformations: D. Babic et al. (1995) Molecular Simulation 14:395-401, the authors have been able to derive a series of new results on the gSW in various nanostructures: F. Cataldo, O. Ori, and A. Graovac (2010) Int. J. Chem. Model., submitted.
Further, the Wiener index of infinite graphene lattice is computed and used as a sort of topological potential to determine and compare relative chemical stability of graphene layer to that of fullerene-like nanocone. It was shown that the central pentagonal ring becomes chemically reactive when the fullerene fragment reaches a certain size. Our considerations are performed both in dual and direct topological space.
In parallel with the above results related to experimental work in nanosciences, a series of mathematical studies on the Wiener index has been undertaken by the authors in collaboration with T. Doslic, especially on the eccentric connectivity in
8
The Third Conference and Workshop on Mathematical Chemistry (TCWMC 2010) Tarbiat Modares University, Tehran, Iran, February 22-24, 2010.
hexagonal chains: MATCH Commun. Math. Comput. Chem., to appear, and in 2- dimensional square and comb lattices: the same journal, to be submitted.
The talk will be closed with discussion of some novel and intriguing ideas: D.Babic et al., in preparation, on relationship between the Wiener index and dimensionality of fractal lattices.
9
The Third Conference and Workshop on Mathematical Chemistry (TCWMC 2010) Tarbiat Modares University, Tehran, Iran, February 22-24, 2010.
Introduction to the Theory of Fluoranthenes
Ivan Gutman Faculty of Science, University of Kragujevac, Kragujevac, Serbia [email protected]
Abstract
The theory of benzenoid hydrocarbons is one of the best elaborated parts of Theoretical Organic Chemistry and Mathematical Chemistry. Interestingly, however, until recently almost nothing has been done on the theory of a closely related class of polycyclic conjugated π-electron systems, referred here as fluoranthenes.
A fluoranthene F is obtained by joining two benzenoid fragments (X and Y) so as to form a new five-membered ring. Examples of fluoranthenes are 1, 2, 3, 4, and 5. The fragments X and Y are referred to as female and male, respectively.
10
The Third Conference and Workshop on Mathematical Chemistry (TCWMC 2010) Tarbiat Modares University, Tehran, Iran, February 22-24, 2010.
Systematic studies of the topological properties of fluoranthenes started only two years ago [I. Gutman, J. Đurđević, Fluoranthene and its congeners - A graph theoretical study, MATCH Commun. Math. Comput. Chem. 60 (2008) 659-670]. In the lecture the following main results obtained so far will be outlined:
1. on Kekulé structures of fluoranthenes and their classification;
2. on fluoranthenes with extremal (minimal and maximal) number of Kekulè
structures;
3. on the validity of the Hall rule;
4. on the relations between the energy of the fragments X and Y and the
energy of F.
5. on cyclic conjugation in the five-membered ring;
6. the PCP and the linear rule for cyclic conjugation;
7. male/female differences for cyclic conjugation in the five-membered ring.
11
Contributed Talks
12
The Third Conference and Workshop on Mathematical Chemistry (TCWMC 2010) Tarbiat Modares University, Tehran, Iran, February 22-24, 2010.
Construction of Random Perfect Phylogeny Matrix
S. Ahmadian 1 , S. Mah Abadi 1 , M. Sadeghi 2,3 , H. Pezeshk 4 , C. Eslahchi 5 1: Department of Computer Engineering, Sharif University of Technology, Tehran, Iran. 2: National Institute of Genetic Engineering and Biotechnology, Tehran, Iran. 3: School of Computer Science, Institute for Studies in Theoretical Physics and Mathematics (IPM), Niavaran Sq., Tehran, Iran. 4: Center of Excellence in Biomathematics, School of Mathematics, Statistics and Computer Sciences, College of Science, University of Tehran, Tehran, Iran. 5: Department of Mathematical Sciences, Shahid Beheshti University, Tehran, Iran.
Abstract
The amount of genome-wide molecular data and the interest in developing methods appropriate for such data are increasing rapidly. There is also an increasing need for methods that are able to efficiently simulate such data. In this paper we introduce a method for generating random perfect phylogeny matrix with k non identical haplotype, n Single Nucleotide Polymorphism(SNP) and population size of m for which the Minimum Allele Frequency(MAF) of each SNP is between two specific numbers a and b . We provide a graph theoretical approach for the problem to construct a tree for a perfect phylogeny matrix and find necessary and sufficient conditions for the existence of such a tree. We then provide an Omaxn((,)2 nm) algorithm for construction of the random tree which satisfies the necessary conditions and construct the desired matrix from this tree. The running time of any algorithm for solving this problem would be ()nm . We have developed a software, RAPPER, based on this algorithm. It is available at http://bioinf.cs.ipm.ir/softwares/RAPPER.http://bioinf.cs.ipm.ir/softwares/RAPPER Keywords: Perfect phylogeny, Minimum Allele Frequency(MAF), Tree, Recursive algorithm.
Introduction and Preliminaries
With the widespread availability of molecular data, computational methods for gene mapping are being developed. It is often the case that the statistical properties and the behavior of these methods need to be assessed and tested by simulation. By increasing the number of computational methods for gene mapping, there is an increasing need for tools that can simulate data appropriate for long genomic regions. SNPs are used as markers available for both linkage analysis and family-based association studies (Murray et al. (2004) and Kong et al. (2004)). Once a model for the generating polymorphism data as genotype or haplotype is in place, different studies can be done using the simulated data. One of the most popular model is based on the perfect phylogeny or coalescent property. By using the set of haplotypes which satisfy the coalescent property we can simulate a long genomic regions for which the simulated data does not depend on the data set. The simulated data can also be used as an approximation to the evolutionary processes which produced the real data. However the coalescent has been proved to be a powerful simulation tool in this context (Schaffner et al 2005). By above discussions, finding a method to construct random perfect phylogeny matrix with k non identical haplotypes, SNPs and population size of m where minimum allele
13
The Third Conference and Workshop on Mathematical Chemistry (TCWMC 2010) Tarbiat Modares University, Tehran, Iran, February 22-24, 2010. frequency (MAF) of each SNP is between two specific numbers a and b will be very useful for data simulation (We consider MAF of column c in A as the number of 1's in column c). In this paper we take a graph theory approach to the problem and show that there is a one to one correspondence between the set of perfect phylogeny matrices with certain conditions and some rooted trees and then find necessary and sufficient conditions for existing such trees with respect to input parameters. We present an Omaxn((,)2 nm) algorithm for generating a random matrix with above conditions. To find some necessary and sufficient conditions for the existence of a perfect phylogeny matrix, PPM, with m rows, k non identical rows and n columns such that in every column number of 1's are between a and b , we need some definitions. We consider the cases that k 2 .
Definition 1 . Let a and b be two integer numbers and assume ab . The matrix
B mn is called a (k,a,b)-PPM if B is a PPM, the number of 1's in each column is between a and b and B has k non identical rows.
The matrix Akn is called (m,a,b)-extendable if A is a PPM, has k non identical rows and there exists a matrix B mn which is (k,a,b)-PPM and the set of rows of A and B are identical. (In this case we say that Akn is extendable to B mn ). A matrix B is called good if it can be decomposed as follows:
1- The entries of its leftmost column are all 1's.
2- There exist good matrices BB12,,, Bd such that the rest (0 or more) of the columns of B form the block-structure.
A matrix A is canonical if it satisfies the second condition of the good matrix definition. In a good matrix B we consider the leftmost all-one-column as the root of the B.
Matrices and Trees
According to Theorem 8 of Pe'er (2004), every PPM has an ordering of its rows and columns which yields a canonical matrix. We construct a tree T ()A from canonical form of
PPM A with non identical rows. Let Akn consist of BB12,,, Bd good blocks and ci be the corresponding root of B i . We construct the tree T ()A by taking the following steps: