2026/07/27 by Mackenzie A. Simper, Mackenzie Simper
Biochemistry, Genetics and Molecular Biology · Mathematics · #Genome Rearrangement Algorithms #Advanced Combinatorial Mathematics #Fractal and DNA sequence analysis
paper · pdf · doi:10.1007/s00285-026-02450-x
Abstract Permutation groups provide a natural framework for modeling genomes and their rearrangement events, which is crucial for understanding evolutionary relationships. Double cosets can be used to model objects arising from multiple symmetries, such as circular genomes with repeated genes. Suppose \varvecλ = \varvec( λ 1,\varvecλ 2, \varvec… , λ k) <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mrow> <mml:mi>λ</mml:mi> </mml:mrow> <mml:mo>=</mml:mo> <mml:mrow> <mml:mo>(</mml:mo> <mml:msub> <mml:mi>λ</mml:mi> <mml:mn>1</mml:mn> </mml:msub> <mml:mo>,</mml:mo> </mml:mrow> <mml:mrow> <mml:msub> <mml:mi>λ</mml:mi> <mml:mn>2</mml:mn> </mml:msub> <mml:mo>,</mml:mo> </mml:mrow> <mml:mrow> <mml:mo>⋯</mml:mo> <mml:mo>,</mml:mo> <mml:msub> <mml:mi>λ</mml:mi> <mml:mi>k</mml:mi> </mml:msub> <mml:mrow> <mml:mo>)</mml:mo> </mml:mrow> </mml:mrow> </mml:mrow> </mml:math> is a partition of \varvecn <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>n</mml:mi> </mml:mrow> </mml:math> which indicates the number of repeated regions or genes of different types ( \varvecλ i <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:msub> <mml:mi>λ</mml:mi> <mml:mi>i</mml:mi> </mml:msub> </mml:mrow> </mml:math> of type \varveci <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>i</mml:mi> </mml:mrow> </mml:math> with \varvecn <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>n</mml:mi> </mml:mrow> </mml:math> total regions). A circular genome with \varvecn <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>n</mml:mi> </mml:mrow> </mml:math> oriented regions determined by \varvecλ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>λ</mml:mi> </mml:mrow> </mml:math> can be identified with the double coset space \varvecS_\varvecλ \backslash \varvecB_\varvecn / \varvecD_\varvecn <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi>S</mml:mi> </mml:mrow> <mml:mrow> <mml:mi>λ</mml:mi> </mml:mrow> </mml:msub> <mml:mrow> <mml:mo></mml:mo> </mml:mrow> <mml:msub> <mml:mrow> <mml:mi>B</mml:mi> </mml:mrow> <mml:mrow> <mml:mi>n</mml:mi> </mml:mrow> </mml:msub> <mml:mo>/</mml:mo> <mml:msub> <mml:mrow> <mml:mi>D</mml:mi> </mml:mrow> <mml:mrow> <mml:mi>n</mml:mi> </mml:mrow> </mml:msub> </mml:mrow> </mml:math> , where \varvecBn <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:msub> <mml:mi>B</mml:mi> <mml:mi>n</mml:mi> </mml:msub> </mml:mrow> </mml:math> is the hyperoctahedral group, \varvecDn <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:msub> <mml:mi>D</mml:mi> <mml:mi>n</mml:mi> </mml:msub> </mml:mrow> </mml:math> the dihedral group extended to \varvecBn <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:msub> <mml:mi>B</mml:mi> <mml:mi>n</mml:mi> </mml:msub> </mml:mrow> </mml:math> , and \varvecSλ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:msub> <mml:mi>S</mml:mi> <mml:mi>λ</mml:mi> </mml:msub> </mml:mrow> </mml:math>