Evolution of dominance in gene expression pattern associated with phenotypic robustness

Background Mendelian inheritance is a fundamental law of genetics. When we consider two genomes in a diploid cell, a heterozygote’s phenotype is dominated by a particular homozygote according to the law of dominance. Classical Mendelian dominance is concerned with which proteins are dominant, and is usually based on simple genotype–phenotype relationship in which one gene regulates one phenotype. However, in reality, some interactions between genes can exist, resulting in deviations from Mendelian dominance. Whether and how Mendelian dominance is generalized to the phenotypes of gene expression determined by gene regulatory networks (GRNs) remains elusive. Results Here, by using the numerical evolution of diploid GRNs, we discuss whether the dominance of phenotype evolves beyond the classical Mendelian case of one-to-one genotype–phenotype relationship. We examine whether complex genotype–phenotype relationship can achieve Mendelian dominance at the expression level by a pair of haplotypes through the evolution of the GRN with interacting genes. This dominance is defined via a pair of haplotypes that differ from each other but have a common phenotype given by the expression of target genes. We numerically evolve the GRN model for a diploid case, in which two GRN matrices are added to give gene expression dynamics and simulate evolution with meiosis and recombination. Our results reveal that group Mendelian dominance evolves even under complex genotype–phenotype relationship. Calculating the degree of dominance shows that it increases through the evolution, correlating closely with the decrease in phenotypic fluctuations and the increase in robustness to initial noise. We also demonstrate that the dominance of gene expression patterns evolves concurrently. This evolution of group Mendelian dominance and pattern dominance is associated with phenotypic robustness against meiosis-induced genome mixing, whereas sexual recombination arising from the mixing of genomes from the parents further enhances dominance and robustness. Due to this dominance, the robustness to genetic differences increases, while optimal fitness is sustained to a significant difference between the two genomes. Conclusion Group Mendelian dominance and gene-expression pattern dominance are achieved associated with the increase in phenotypic robustness to noise. Supplementary Information The online version contains supplementary material available at 10.1186/s12862-021-01841-6.

independence of traits. Originally, Mendel conjectured independent segregation of genes, but later, the dependence of segregation was known to occur frequently. Traits can be independent when determined by genes that segregate independently. Such independence, however, does not always hold as will be discussed below.
Third, Mendel's law of dominance assumes a pair of alleles of a gene for the same locus, which involves a nonlinear interaction between them. A binary trait (phenotype) is given by A and a. If the two alleles at the given locus are homozygote and AA (aa), the trait is A (a). For a heterozygote, i.e., Aa, the trait is A if A is dominant. Indeed, by creating a pure line of a genotype with AA and aa, Mendel showed that F1, a hybrid of AA or aa, expresses only the dominant character A, whereas the next generation from F1 shows the character A or a according to a 3:1 ratio. In the classical Mendelian law, the phenotype of concern is which protein from different alleles exists or functions dominantly.
In reality, there are many genes at different loci. Nevertheless, their independence is assumed in the classical Mendelian inheritance. Even if there are many genes, when the expression is independent, each trait is determined by the corresponding gene according to simple genotype-phenotype relationship [3]. However, if several genes contribute to each trait as in complex and quantitative traits, it is unlikely that they will be independent. Note that correlations between traits can arise because the genetic content is correlated, as in linkage disequilibrium. Furthermore, "genetic interactions" often exist between genes because gene products work together to produce phenotypes.
In general, multiple genes at different loci often interact with each other, resulting in complex genotype-phenotype relationship. Recent studies have demonstrated that genes often constitute a gene regulatory network (GRN). Although it is possible to establish a pure line for the genes that correspond to a specific trait, other "hidden genes" at different loci may influence the trait. Consequently, the law of dominance can be violated, with the traits of F2 deviating from the Mendelian ratio of 3:1, as is measured by the interaction deviation [4,5]. Furthermore, even in the homozygous case, the phenotype can be perturbed by noise [6,7]. This can also result in a deviation from the Mendelian ratio.
In contrast, the possibility of generalizing Mendelian dominance beyond the simple single-gene case has been discussed previously. Fisher posited that Mendelian dominance could arise because of evolutionary benefits concerning robustness [8]. Alternatively, Wright argued that metabolic stability could lead to dominance [9]. However, to date, both arguments remain hypothetical, and any quantitative relationship linking the robustness in gene expression or metabolic dynamics to Mendelian dominance remains elusive.
In general, the degree of deviation and robustness depend on the nature of gene expression dynamics governed by the GRN, shaped through evolution. Indeed, in the haploid case, extensive studies have been conducted on the nature of gene expression dynamics governed by gene-gene interactions under the influence of stochasticity. The evolution of genotype-phenotype relationship has been investigated numerically using the GRN model, thus elucidating the evolution of robustness to noise and mutations [10][11][12][13].
In fact, recent studies have revealed that the regulatory interactions (promoters, transcription factor binding sites, and enhancers) change through evolution more often than each gene that codes a specific protein itself. Hence, the evolution of GRN with rewriting of the network has been extensively investigated. Now, it is essential to extend these studies of gene expression dynamics to the diploid case [14,15]. For it, we consider gene expression dynamics as a result of two GRNs in two genomes in diploid organisms, and we seek a possibility that this dominance is extended to the gene expression levels as phenotypes.
Recall that the classical Mendelian dominance concerns which proteins of two alleles are dominant, i.e., which protein from the alleles at the same locus is dominant due to protein-protein interaction or the protein's function. Here, in contrast, we are interested in gene espression levels determined by GRNs. Depending on the two GRNs as two genomes in diploid organisms, the expression levels of proteins are different. One protein is synthesized from one of the genomes, whereas it is not expressed from the other, and instead, another protein can be expressed. Then, for the protein expression level as phenotype, one may discuss the dominance similarly to in the Mendelian case, even though the two alleles do not determine the phenotype of concern at the same locus. Instead, it is determined collectively as a group of genes constituting a GRN.
There are two possibilities for considering such an extension of dominance. One straightforward way is seeking the possibility of dominance between expression patterns from two genomes in diploid organisms. Let us first compute the gene expression pattern for one group of genes, for homozygotes ÃÃ or BB with the same genome groups. Next, we compute the gene expression pattern of heterozygotes ÃB . Then, we examine whether the expression pattern of the heterozygote is biased dominantly toward one of the homozygote expression patterns. If the expression of each gene is independent, such bias would not be expected. In contrast, if genes regulate with each other properly through the GRN, such bias, i.e., the dominance of homozygote gene expression pattern, might exist.
This is a fundamental question, especially considering that quantitative traits are explained by pleiotropic expression and are the results of multiple genes. Hence, in this study, we introduce such expression-pattern dominance as a pattern of genes and numerically examine whether such dominance appears due to the evolution of GRN.
Even though the above pattern dominance could be a theoretically natural measure, it may not be easy to measure experimentally. As a natural extension of single-gene Mendelian dominance, it may be desirable to measure the dominance for the expression of a single gene within a genome. However, in this case, we need to introduce a group of population of genomes because many possible genomes produce the same expression for a given gene. In this study, we introduce group Mendelian dominance (GMD) for a group of population of genomes generated by applying the procedure to make a pure line. Here, each group can share the corresponding expression, even if their GRNs are different. This GMD is in contrast to the classical Mendelian dominance described between alleles.
First, we study both the pattern dominance and GMD, whereas we pay more attention to the latter, as it can be comparable with the Mendelian dominance. Here, by simulating the evolution of diploid GRNs, we seek to determine whether the degree of GMD evolves beyond the classical Mendelian dominance for each gene. Specifically, we examine whether complex genotype-phenotype relationship can achieve GMD through the evolution of the GRN with interacting genes. We adopt a computational model of the GRN and adapt it to the diploid case, noting that proteins can be transcribed from the two genes in the diploid case. We introduce a mode of inheritance to account for sexual recombination and meiosis in the diploid cell, where the expression dynamics result from the superposition of two GRNs through meiosis segregation, sexual recombination, and mutation. Next, the results of the evolution simulation demonstrate the evolution of GMD via groups of interacting genes in the GRN. The condition for the evolution of GMD and its possible relationship with robustness to noise and mutation is explored.
Then, we define dominance of gene expression pattern as collective behavior of genes and demonstrate that such dominance also evolves. Additionally, the importance of meiosis-based genome mixing in establishing this dominance is revealed. Finally, we discuss the possible connection of GMD to experimental observations.

Evolution simulation based on a diploid GRN model
First, we introduce the theoretical model of the GRN. Here, we consider the gene expression level x i ( −1 < x i < 1 ) for the genes i = 1 , ..., k. Each gene i(= 1, 2, ..., N ) has an expression level x i (t) at time step t. In the model, x i is scaled such that it takes a value between 0 (non-expression) and 1 (expression). Each gene interacts with others and itself, with the interaction of the jth gene with the ith gene described by the matrix J ij [3,11,12,16,17]. J ij can take three values: +1 , −1 , and 0, which represent the activation of gene i by gene j, the corresponding inhibition, and no interaction, respectively.
We adopt a discrete-time model [3,6,18,19], in which the expression level x i (t + 1) in the next time step determined by N j=1 J ij x j (t) represents the GRN. A small Gaussian noise, N (0, σ ) , is added to the dynamics to account for stochasticity in the gene expression. By using the sigmoid function f [x] = 1/(1 + exp[−βx]) with large β(= 100) , the expression dynamics are given by which is the discrete-time version of the continuous-time model for gene expression dynamics [10,17], where θ is the threshold for the expression level. The initial expression levels {x i (0)} take a value of 0 for i from 1 to N − 1 and 1 for i in N. These {x i (0)} are fixed for all individuals over generations. After a certain time T, x i (t) reaches a fixed point for most cases, where x i is 0 or 1 depending on the structure of the network J ij . Thus, after sufficient time steps (T), the expression pattern x i (t) determines the phenotype. Note that there are some cases in which the expression pattern x i (t) cannot reach a stable state; however, these are rare. (1) Diploid cells have two genomes that correspond to two matrices, J (1) ij and J (2) ij [14,15,19,20]. The gene expression dynamics of diploid GRN are determined by the sum of the products from two genomes such that the dynamics are given by modifying The threshold θ is set at 0.5 unless otherwise mentioned. This threshold value makes the states 0 and 1 symmetric. Here, we mainly study this case as we intend to investigate the Mendelian dominance without prior bias between the dominant and recessive states. Genetic changes take three main forms: asexual, meiosis only (i.e., without recombination), and the standard sexual mode, including meiosis and recombination. This paper defines these as asexual, meiosis only (MO), and meiosis and recombination (MR). In the asexual mode, the two genomes are not mixed, i.e., J (1) ij and J (2) ij are copied. The other two modes involve sexual reproduction. In MO, one genome from parent-1 becomes a new J (1) ij (gamete) and one genome from parent-2 becomes a new J (2) ij . In MR, two genomes from parent-1 (parent-2) are mixed by recombination to provide a gamete, that is, a new J (1) ij ( J (2) ij ). In recombination, J (1) ij and J (2) ij are mixed by a row vector in both parents to produce a gamete. Recall that mutation is included as a change in the matrix element J ij with 0 or ±1 in all three modes. A fourth mode, involving recombination only (RO), is included as a reference to elucidate whether meiosis or recombination is more critical for GMD (see "Methods" for details). MO and MR correspond to the case in which a single pair of homologous chromosomes is used in diploid cells. On the other hand, asexual and RO correspond to the case with a single chromosome.
Here, fitness is defined by how closely the expression pattern {x i } matches a prescribed target. After the above modes and mutation, those with higher fitness are selected for the next generation. (See "Methods" for details of the selection procedure.)

Evolution of fitness
The simulated evolution of the fitness is shown in Fig. 1, with the evolution of the average fitness of the population plotted for the asexual, MO, and MR modes. In each case, fitness increased beyond 90% of the maximum, within 500-1000 generations ( Fig. 1), with MR and MO exhibiting the fastest and slowest increase, respectively. Figure 2 shows the mutation rate dependence of the fitness. For each mode, as the mutation rate increases, the increase in fitness stops. A drop begins at a mutation rate of approximately 10 −3 . For MR, this decline is slightly suppressed and is initiated at a slightly higher mutation   Mutation rate dependence of the average fitness. The average fitness was computed for 100 individuals representing the last generation in the evolution of over 10,000 generations for the asexual (black circles), MR (blue triangles), and MO (green diamonds) modes. The noise amplitude σ was 0.0. For increasing mutation rates, error catastrophe occurs, which prevents the average fitness from rising through evolution over 10,000 generations. The recombination-only reference case is also plotted (orange triangles). The average over 50 samples is plotted. The error bar represents the SD over them rate. This decline is caused by the loss of information at higher fitness values owing to the accumulation of mutations in the network, as discussed in the context of error catastrophe [21]. Although the recombination process in MR slightly suppresses this error catastrophe, the effect is not significant.

Group Mendelian dominance
Next, we investigated whether and how GMD evolves. As mentioned in the Background, the inter-gene interactions result in deviation from the 3:1 ratio of Mendelian dominance [4,5]. Here, we rename the phenotypes +1 and 0 with p and m with normal font. The corresponding genomes are written in italics, i.e., p 1 and m 1 .
We create a pure line for a homozygous case in which two genomes have the same J ij [22]. There are a variety of matrices (genes) that produce p (m) for a specific x i , which are given by p 1 p 1 , p 2 p 2 , p 3 p 3 , ..., p n p p n p ( m 1 m 1 , m 2 m 2 , m 3 m 3 , ..., m n m m n m ). From the p ( p 1 , p 2 , ..., p n p ) and m ( m 1 , m 2 , ..., m n m ) sets, we generate N sample homozygotes, pp and mm, and 2N sample heterozygotes, pm, the phenotypes of which can be examined. Then, we count the number of each case, denoted by N However, in general, the genes are not independent: within the groups p and m chosen as a group of genomes that produce each trait, each fraction can deviate from a ratio of 1:2:1. Therefore, we define the group Mendelian ratio (GMR) as the fraction The deviation of the GMR from unity corresponds to the interaction deviation in quantitative genetics [4,5] (see "Methods" for the detailed algorithm).

Evolution of group Mendelian ratio
This GMR increased through evolution. Here, the GMR depends on each gene, and hence, we computed the frequency distribution of GMR over all genes. In Fig. 3, this frequency distribution is plotted for the three generations. In the 0th generation, the peak of GMR frequency is approximately 0.5 because for the random GRN chosen at the 0th generation genes the expression levels are distributed symmetrically for [0,1]. The average and maximum GMRs increase with the evolution. At the 1499th generation, the peak around 0.75 means that their expression levels are always 0 or 1, whereas there is another peak at 1, which implies complete GMD, as will be explained later.

Condition for the increase of the group Mendelian ratio
We studied the dependence of the GMR on the mutation rate (Fig. 4). In the MO and MR modes, the average value of the GMR almost exceeds 0.75 for mutation rates less than 10 −3 (note that this is an average for all genes i: for x i of some gene GMRs reaching 1). For mutation rates exceeding 10 −3 , the average GMR decreased, and the value for MR was higher than that for MO. In contrast, for the asexual case, the GMR remained at a much lower level ( ∼0.7). Note that, in the   Recall that GMR is 0.5 if all the GRNs are random (see "Methods" for details). If the GMR is sufficiently high, GMD at a group level occurs . Specifically, we regard GMD to be achieved when the average GMR in the population is over 0.75. Therefore, GMD is realized for the MO and MR modes, i.e., when meiosis is considered.

Correlation between group Mendelian ratio and robustness to noise
According to Wright, Mendelian dominance might have some correlation to the robustness of the phenotype shaped by the dynamics. As the present GRN model contains the change in phenotype by noise, we investigated the robustness of the phenotype against noise. Note that as the robustness of the fitness, i.e., its insensitivity, increases, the fitness variance decreases. Hence, we computed the SD of fitness.

Phenotypic fluctuation and group Mendelian ratio
We have shown that the mutation-rate dependence of the GMR for the MR and MO cases is highly correlated with that of the fitness, as is evident upon comparing Fig. 2 with Fig. 4. Therefore, we plotted the correlation between the GMR and the fitness in Fig. 5a. As shown, the two exhibit a strong correlation. Nevertheless, the plot in Fig. 5 Correlation between the GMR, average fitness, and SD of the fitness. Each variable was computed as the value of the 10 4 -th generation for the MR case. The points were obtained across different mutation rates from 2 × 10 −4 to 2 × 10 −2 , as indicated by the color of the data, while the noise level satisfied 0.0 ≤ σ ≤ 0.1 . a GMR as a function of the average fitness, b GMR as a function of the SD of the fitness, c SD of the fitness as a function of the average fitness. Note that aand ceach have three branches corresponding to different noise levels, whereas (b) does not, implying that the GMR is dominantly correlated with the fluctuation of the fitness rather than its average. The average over 50 samples is plotted. The error bar represents the SD over them. Correlation coefficient is (a) 0.952, b −0.973 , c −0.926 Fig. 5a (and Fig. 5c) shows slight deviations depending on the three different noise levels adopted here.
As the noise level varies, the variances of the phenotype and fitness also vary. Therefore, to examine the relationship between the GMR and noise-induced phenotypic variances, we plotted the GMR against the SD of the fitness. In this case, the correlation is more prominent (correlation coefficient = 0.97), with the data not exhibiting noise-level-related branches. All data from different mutation rates and noise levels were well fitted by a single curve, as shown in Fig. 5b. Indeed, the difference between Fig. 5a and b is further explained by the plot of the fitness variance against the average fitness (Fig. 5c), which, again, shows three branches. Together, these three plots indicate that the GMR shows a better correlation with the fitness variance than the fitness itself.

Robustness to initial noise and the GMR
To further confirm the correlation between the GMR and noise robustness, we computed the variance of fitness against the distribution of initial conditions by imposing the noise on x i (0) (Fig. 6). We computed the SD of fitness against the perturbed initial condition {x i (0) × (1 − η(0, 0.1))} for a given GRN selected after the evolution, the GMR of which was computed already. The GMR clearly shows a negative correlation with the SD, implying that GMR is positively correlated with the robustness to noise.

Group Mendelian ratio and distance between two genomes
As the phenotype is shaped according to genotype-phenotype relationship by the GRN, it is also essential to study the correlation of the GRN with genetic variance. In diploid cells, the distance between two genomes can provide a measure of genetic variation. Figure 7 shows the relationship between the GMR and the genetic distance between two genomes in a diploid cell. As shown, the GMR begins declining at a certain distance, with the fitness also dropping. Additionally, if the genetic difference between the two genomes is too high, the GMD is not sustained.
In Fig. 7, the GMR can exceed 0.75 when the distance is under 150. Note that the total number of matrix elements (genes) is 20 × 20, which ensures that the fitness or GMR is maintained, even if over half the elements are different between two genomes. Furthermore, high robustness is achieved to maintain fitness against meiosis. This implies that the fitness of the diploid cell (with meiosis) is remarkably robust against genetic differences between the two genomes. Recall that meiosis mixes genomes in the diploid cells. However, the fitness should be robust to such mixing, which explains the insensitivity of the fitness to meiosis. We added a file of the diploid distance for comparison among the genetic modes (Additional file 1: Fig. S1).  6 GMR plotted against the isogenetic SD of fitness due to initial noise, i.e., perturbation to the initial conditions. The GMR was computed following the same procedure as in Fig. 5, for the MR case, whereas the fitness variance was computed by distributing the initial condition for x i with the variance σ , which is either 10 −2 or 10 −1 . The data correspond to the equivalent mutation rates as used in ij and J (2) ij . All data were obtained from the evolved GRNs for the MR case shown in Fig. 5. We simulated GRNs with 20 genes, such that the number of matrix elements, that is, the maximal Hamming distance (i.e., the number of different elements), is 20 × 20 = 400 . Consequently, the GMR (and the fitness) maintains a high value until half the elements have been changed. The average over 50 samples is plotted. The error bar represents the SD over them

Pattern dominance
So far, we have studied GMD between a pair of groups of genomes by focusing on the expression of a single gene. As discussed in the Background, another measure for dominance will be between expression patterns over a group of genes that constitute a GRN.
First, from each of the N individuals in the evolutionary simulation we extract 2N genomes J (n) ij (n = 1...2N ) . For each of the 2N genomes, we make a complete copy and create a population of 2N complete homozygotes. Then, we compute the expression dynamics in each of the 2N complete homozygotes and obtain the expression pattern xññ i . Next, from the 2N genomes, we randomly select two J ij , to make a diploid cell consisting of the two heterozygous genomes. Then, we compute the expression dynamics of the heterozygous genomes to obtain the expression pattern of the heterozygote x˜lm i .
From the homozygotes ll , mm and the heterozygote lm , we compute the dominance of the expression pattern from x˜l˜l i , xmm i and x˜lm i . Here, we compare the expression of such genes that are expressed differently between the two homozygotes: We compute x˜l˜l i and xmm i , and choose such genes i in which x˜l˜l i � = xmm i . Let the number of i that is x˜l˜l i � = xmm i be N llmm dif . Among these i, we examine whether the |x˜l˜l i − x˜lm i | > |xmm i − x˜lm i | , i.e., the expression of the heterozygote is close to that of the homozygote of m, and count the number of such genes, N lm m . Because l and m are arbitrarily chosen numbers, we define the degree of dominance by max(N lm m /N llmm dif , N lm ℓ /N llmm dif ) . If the pattern dominance is complete (i.e., x˜lm i agrees either x˜l˜l i or xmm i in the genes whose expression levels are different between x˜l˜l i and xmm i ), this degree is closer to 1, whereas if the heterozygote expression pattern matches one parent with half the probability, it takes 1/2. The pattern dominance is larger as this degree approaches 1.
Note that, in the present model, the expression level of each gene x i is mostly 0 or 1. Then, when there is only a single gene that expresses differently between two homozygotes, the dominance that is computed is always 1, whereas, if the number of differently expressing genes is only 2, the probability of having dominance 1 is 50%, even if the two expressions are totally uncorrelated. To remove such bias, we computed pattern dominance only for pairs of homozygotes x˜l˜l i and xmm i , in which more than three genes show different expressions.
The change in frequency of the pattern dominance computed in this way through evolution is shown in Fig. 8. In generation 0, before evolution, pattern dominance is uniformly distributed between 0.5 and 1. This is because the interaction between the two genomes in GRN heterozygotes is random.
At the 9999th generation, complete dominance is observed for more than 40% of heterozygotes, and approximately 80% of heterozygotes show a dominance value beyond 0.8. This indicates that pattern dominance is evolved.   9 Increase in GMR and the evolution in the case with distinct protein synthesis from each gene. Frequency of GMR in the 0th, 100th, and 1499th generation. This frequency is calculated by each focused gene in 30 samples. GMR is increased along with the evolution, and over 10% of them reached complete GMD. This also supports our results above. The mutation rate per edge = 10 −4 and the strength of noise = 10 −4 . This frequency is measured in the MR mode. The bin is 0.05 Okubo and Kaneko BMC Ecol Evo (2021) 21:110 Case with distinct protein synthesis from each gene In this model, x i (t) is the protein expression (concentration) in a given cell. Once proteins are expressed from either each or both of the genes, one cannot distinguish which of the genes each protein comes from. In contrast, in the classical Mendelian dominance, distinct proteins are synthesized from each gene. Even though the motivation of our study is different, it may also be possible to combine the present study with the classical one. We consider the case in which a certain protein is expressed only from one gene but not from the other. Indeed, such a situation can be included in this model by sorting that J (1) ij = 0 from ∀j . As an example, we carried out the simulation by setting J (1) 9j = 0 for ∀j in genome 1 and J (2) 10j = 0 for ∀j . The increase in GMR was observed again (Fig. 9).

Case with asymmetric model
The model with θ = 0.5 is symmetric with respect to 0 and 1. In reality, it is not always symmetric. Hence, we have employed the present model by changing the threshold θ from 0.5 to 0.3. Our main result (achievement of high GMR and fitness) is not changed by these modifications (Additional file 2: Fig. S2). In the asymmetric model, however, GMR in the 0th generation is already larger than 0.5, so that the degree of increase in GMR is smaller than in the symmetric model because the asymmetry of dynamics causes dominance in the heterozygote and increases GMR.

Discussion
In this study, we have investigated a diploid GRN model by extending the model described by Omholt et al. [14]. In our model, two GRNs work concurrently to yield the phenotype as a group of gene expressions. By evolving the GRN with mutations, meiosis, and recombination, we have shown that GMD evolves. This dominance is achieved via a pair of groups of various genomes that share a common phenotype determined by the expression of target genes. The degree of dominance increases (corresponding to the decrease of interaction deviation [4,5]) through evolution, exhibiting a strong correlation with the decrease in phenotypic fluctuations. This evolution of GMD is prominent in the presence of meiosis, which mixes two genomes, whereas, under sexual recombination, the mixing of genomes from the parents further enhances this dominance and robustness. GMD increases the robustness to genetic differences, and the fitness is maintained against significant differences between two genomes.
Indeed, a possible connection between Mendelian dominance and robustness has been posited previously.
Fisher discussed the advantages of dominance for the evolutionary robustness of phenotypes [8], while Wright emphasized the relationship between dominance and stability in metabolic networks [9]. However, these discussions were primarily qualitative. Our study has the possibility of extending these qualitative arguments to a quantitative dimension by using gene expression dynamics and a quantitative definition of the GMR. The GMD at the GRN level in the present study is different from the classical mechanism of Mendelian dominance. In the classical framework, Mendelian dominance is explained by protein-protein interactions and the magnitude of the influence of proteins on the phenotype. However, as shown in this study, the dominance of one phenotype at the expression level can exist at the GRN level. In this case, it is not necessary to consider protein behavior to explain the dominance. Hence, the Mendelian dominance at an individual molecule level can be extended to the pattern level of expressions of many genes that interact with each other through a GRN.
For Mendelian dominance in individuals, the heterozygote advantage has been argued by Goldstein [23] and Poter et al. [24]. Moreover, the relationship between Mendelian dominance and mutational robustness has been investigated by Bagheri, and Wagner [25], whereas the influence of ploidy or recombination on robustness has also been discussed [15,19,20].
The degree of group dominance introduced in our model follows the classical method of establishing pure lines and can be measured by proper experiments. For example, Hou et al. [26] tested the degree to which Mendel's dominance law holds in yeast while also measuring the phenotypic variation. Accordingly, the validity of the negative correlation between Mendelian dominance and the phenotypic fluctuation revealed in our theoretical models can be verified by measuring the degree of dominance in phenotypes and the fluctuations across genes or between different strains, and examining the negative correlation between the two.
We also computed pattern dominance, which is the dominance of the expression patterns of genes that mutually interact through GRN, and found that the pattern dominance is achieved through evolution. If the expression of genes were independent, this would not be expected. The pattern dominance is achieved as a result of interacting genes that evolved to have high fitness. Note that quantitative and complex traits are often formed by the complex interaction of transcribed and translated proteins. The present study suggests that complex quantitative traits may show dominance akin to Mendel's. In the future, it will be important to explore this possibility beyond the scope of the present study on the evolution of abstract GRN.
For the simulation presented herein, we compared the outcomes of different modes of inheritance, namely asexual, MO, and MR. Our analysis in Fig. 4 concludes that the existence of meiosis is essential to realize GMD. Although the fitness is only slightly changed from in the MR case, the GMR (and genome distance in Additional file 1: Fig. S1) is reduced drastically relative to the MR and MO cases. Therefore, meiosis-induced genome mixing is essential for GMD. Genome mixing between two genomes in the diploid cell requires the GRN to ensure that high fitness is sustained following gene alterations in the other gene. This suggests that the phenotype between two genes in the heterozygote case is identical to that in the "homozygote" case, leading to GMD and pattern dominance as well. From a contemporary viewpoint [2], meiosis is often regarded as consistent with segregation in Mendel's law. Based on our study, one can conclude that Mendelian dominance stems from Mendelian segregation.
Mendelian dominance in plants has been studied by Huber et al. [27] and Govindaraju [28]. Note that polyploidy is more common in plants. Extending our model to consider ploidy is straightforward, enabling the relationship between dominance and phenotypic fluctuations to be examined and testable predictions to be made. Even though these experimental data have been discussed in the classical Mendelian context, in the future, it may also be essential to look at these and other experimental data from this "extended" Mendelian viewpoint.

Conclusion
To conclude, we have demonstrated that, through evolution, group Mendelian dominance in a diploid gene regulatory network is achieved at a group level and pattern dominance for the expression over multiple genes interacting with the gene regulatory network. These dominances are evolved to achieve robustness of the fitted state to genetic changes by meiosis and are associated with the increase in phenotypic robustness to noise.

Reasoning of the model
Let us define y m i (t) as a concentration of mRNA i from each homologous chromosome ( m = 1, 2 ) and x i (t) as the concentration of protein in a cell. Note that the proteins are synthesized from both of the homologous chromosomes, so that superfix in x i (t) is not needed. Now the transcription is regulated through GRN, with activation or inhibition from the protein. By replicating the regulation in the diploid cell by J (m) ij (m = 1, 2) for each gene, is a sigmoid-type function that approaches 1 as x is increased and 0 as x is decreased, and θ is the threshold level for the expression. Here, we choose the function f [x] = 1/(1 + exp[−βx]) specifically. As protein i is synthesized from the corresponding mRNA, we obtain We assume that genes refer to those for which mRNA contributes the construction of the same type of protein even if their mRNA is different. The case in which one of the genes m lacks the transcription of mRNA i is described by J (m) ij = 0 for ∀j.

Case with a null allele
For further investigation of J (m) ij = 0 for the ∀j case above, we have conducted the simulation on the case with a null allele in each gene. In this simulation, one (the other) gene lacks the 9th (10th) gene and is represented by J (1) 9j = 0 ( J (1) 10j = 0 ), respectively.

Asymmetric dynamics case
When the threshold level is set to θ = 0.5 , a symmetry exists between the expressed ( x i = 1 ) and non-expressed ( x i = 0 ) states. We have also investigated the asymmetric type of dynamics, by setting θ < 0.5 . Specifically, we presented the case with θ = 0.3.

Fitness for evolution
After the expression pattern x i (t) reaches the stable state x i (T ) , the fitness is determined by the distance between the gene expression of the individual and the prescribed target pattern. This target pattern P i is defined for a part of the genes, namely the "target genes" i = 1, ..., M(< N ) and each value of P i is 1 (there is only a single target). P i is fixed throughout the evolution for all four modes. Here, the phenotype is defined as the time average of x i (t) for the last ten steps, x i . Setting the maximum fitness for x i − P i = 0 (i = 1, ..., < M) , the fitness is defined as M i=1 |x i − P i |/2 . According to this fitness landscape, a stable expression pattern x i = P i can (3) be more advantageous than an oscillatory state. Then, the selection pressure is set as S, such that the probability of obtaining the phenotype x i is proportional to

Modes of inheritance
Using fitness, a diploid GRN can be produced in the next generation. To introduce genetic variation, we adopted four modes of inheritance: asexual, MO, MR, and RO. In the asexual mode, offspring are generated as a copy of a parent. One individual, k, is chosen as a parent with probability w k /W , where W = L k=1 w k . The matrices [J (1) ij ] k and [J (2) ij ] k of this parent are copied for the next generation.
In MO, two individuals, k 1 and k 2 , become parents with probabilities w k 1 /W and w k 2 /W , respectively; k 1 and k 2 must be different. Next, a gamete, G (1) ij , is produced from the genome of one parent, k 1 . One of the two genomes in k 1 becomes G (1) ij here. The other gamete, G (2) ij , is produced from k 2 following the same procedure. These two gametes, G (1) ij and G (2) ij , become J (1) ij and J (2) ij for an individual in the next generation.
In MR, the genome mixing process is same as in MO but gametes are generated by a different mode including recombination. Forming a single gamete, G (1) ij ( G (2) ij ), [J (1) ij ] k 1 ( [J (1) ij ] k 2 ), and [J (2) ij ] k 1 ( [J (2) ij ] k 2 ) are mixed via row vectors with equal probabilities from k 1 ( k 2 ). In RO, which was investigated as a comparison, there are two parents (parent-1 and parent-2). The ith rows of both the J (1) ij and J (2) ij matrices in the next generation are generated from the ith row of those from one of the parents. In contrast to MO or MR, this mode does not mix genomes. The RO case would be biologically unrealistic and was added purely to examine the importance of meiosis.
In all four cases, the mutation is added after the offspring are produced. Mutations are implemented by renewing one connection of network J (1) ij or J (2) ij by +1 , −1 , or 0 according to the probability µ per edge (mutation rate). The evolutionary simulation was conducted using a mutation rate ( µ ) of [2 × 10 −4 , 2 × 10 −2 ] , with the SD of noise ( σ ) being [10 −4 , 10 −1 ] . The number of genes (N) was set at 20, the ratio of non-zero elements in J ij was not less than 0, the selection pressure S was set at 1, and the number of target genes (M) was 5. The relaxation time to test the fitness (T) was 30.

Group Mendelian ratio
The GMR was computed by adopting the following procedure. Here, the expression level itself is regarded as phenotype because we consider the situation in which a phenotype is given by the expression of proteins x i . Here, we call a single genome from a diploid cell as a haplotype.

Making homozygous
After evolution, the individuals are usually heterozygotes (e.g., J ij (1, 1)J ij (1, 2) , J ij (2, 1)J ij (2, 2) , ..., where J ij (n, m) = J (m) ij for the nth individual) because it is rare that two genomes are completely identical. Homozygotes are made using the complete copies (e.g., J ij (1, 1)J ij (1, 1) and J ij (2, 1)J ij (2, 1) , ...). 2 Rename haplotypes (Fig. 10) The phenotypes x i (T ) in one gene i of the homozygote are computed to check whether x i ≈ 1 or x i ≈ 0 . Accordingly, the phenotypes are divided into p or m (e.g., J ij (1, 1)J ij (1, 1) expresses the p phenotype). Note that these signs do not indicate dominance or recessiveness. Haplotypes are renamed according to which phenotype is expressed in the homozygote, p or m (e.g., J ij (1, 1) is renamed p 1 ) . 3 Forming a pair of groups of genomes to test the "homozygote" and heterozygote cases (Fig. 11) Genome groups are defined as a group of genomes that express the same phenotype (e.g., p 1 , p 2 , ...). To