-
Revisiting Shao and Sokal's $B_2$ index of phylogenetic balance
Authors:
François Bienvenu,
Gabriel Cardona,
Celine Scornavacca
Abstract:
Measures of phylogenetic balance, such as the Colless and Sackin indices, play an important role in phylogenetics. Unfortunately, these indices are specifically designed for phylogenetic trees, and do not extend naturally to phylogenetic networks (which are increasingly used to describe reticulate evolution). This led us to consider a lesser-known balance index, whose definition is based on a prob…
▽ More
Measures of phylogenetic balance, such as the Colless and Sackin indices, play an important role in phylogenetics. Unfortunately, these indices are specifically designed for phylogenetic trees, and do not extend naturally to phylogenetic networks (which are increasingly used to describe reticulate evolution). This led us to consider a lesser-known balance index, whose definition is based on a probabilistic interpretation that is equally applicable to trees and to networks. This index, known as the $B_2$ index, was first proposed by Shao and Sokal in 1990. Surprisingly, it does not seem to have been studied mathematically since. Likewise, it is used only sporadically in the biological literature, where it tends to be viewed as arcane. In this paper, we study mathematical properties of $B_2$ such as its expectation and variance under the most common models of random trees and its extremal values over various classes of phylogenetic networks. We also assess its relevance in biological applications, and find it to be comparable to that of the Colless and Sackin indices. Altogether, our results call for a reevaluation of the status of this somewhat forgotten measure of phylogenetic balance.
△ Less
Submitted 8 September, 2021; v1 submitted 15 October, 2020;
originally announced October 2020.
-
Continuous-time Quantum Error Correction with Noise-assisted Quantum Feedback
Authors:
Gerardo Cardona,
Alain Sarlette,
Pierre Rouchon
Abstract:
We address the standard quantum error correction using the three-qubit bit-flip code, yet in continuous-time. This entails rendering a target manifold of quantum states globally attractive. Previous feedback designs could feature spurious equilibria, or resort to discrete kicks pushing the system away from these equilibria to ensure global asymptotic stability. We present a new approach that consi…
▽ More
We address the standard quantum error correction using the three-qubit bit-flip code, yet in continuous-time. This entails rendering a target manifold of quantum states globally attractive. Previous feedback designs could feature spurious equilibria, or resort to discrete kicks pushing the system away from these equilibria to ensure global asymptotic stability. We present a new approach that consists of introducing controls driven by Brownian motions. Unlike the previous methods, the resulting closed-loop dynamics can be shown to stabilize the target manifold exponentially. We further present a reduced-order filter formulation with classical probabilities. The exponential property is important to quantify the protection induced by the closed-loop error-correction dynamics against disturbances. We study numerically the performance of this control law and of the reduced filter.
△ Less
Submitted 17 June, 2019; v1 submitted 31 January, 2019;
originally announced February 2019.
-
The expected value of the squared euclidean cophenetic metric under the Yule and the uniform models
Authors:
Gabriel Cardona,
Arnau Mir,
Francesc Rossello
Abstract:
The cophenetic metrics $d_{\varphi,p}$, for $p\in {0}\cup[1,\infty[$, are a recent addition to the kit of available distances for the comparison of phylogenetic trees. Based on a fifty years old idea of Sokal and Rohlf, these metrics compare phylogenetic trees on a same set of taxa by encoding them by means of their vectors of cophenetic values of pairs of taxa and depths of single taxa, and then…
▽ More
The cophenetic metrics $d_{\varphi,p}$, for $p\in {0}\cup[1,\infty[$, are a recent addition to the kit of available distances for the comparison of phylogenetic trees. Based on a fifty years old idea of Sokal and Rohlf, these metrics compare phylogenetic trees on a same set of taxa by encoding them by means of their vectors of cophenetic values of pairs of taxa and depths of single taxa, and then computing the $L^p$ norm of the difference of the corresponding vectors. In this paper we compute the expected value of the square of $d_{\varphi,2}$ on the space of fully resolved rooted phylogenetic trees with $n$ leaves, under the Yule and the uniform probability distributions.
△ Less
Submitted 22 January, 2013;
originally announced January 2013.
-
The expected value under the Yule model of the squared path-difference distance
Authors:
Gabriel Cardona,
Arnau Mir,
Francesc Rossello
Abstract:
The path-difference metric is one of the oldest and most popular distances for the comparison of phylogenetic trees, but its statistical properties are still quite unknown. In this paper we compute the expected value under the Yule model of evolution of its square on the space of fully resolved rooted phylogenetic trees with n leaves. This complements previous work by Steel-Penny and Mir-Rosselló,…
▽ More
The path-difference metric is one of the oldest and most popular distances for the comparison of phylogenetic trees, but its statistical properties are still quite unknown. In this paper we compute the expected value under the Yule model of evolution of its square on the space of fully resolved rooted phylogenetic trees with n leaves. This complements previous work by Steel-Penny and Mir-Rosselló, who computed this mean value for fully resolved unrooted and rooted phylogenetic trees, respectively, under the uniform distribution.
△ Less
Submitted 12 March, 2012;
originally announced March 2012.
-
Exact formulas for the variance of several balance indices under the Yule model
Authors:
Gabriel Cardona,
Arnau Mir,
Francesc Rossello
Abstract:
One of the main applications of balance indices is in tests of null models of evolutionary processes. The knowledge of an exact formula for a statistic of a balance index, holding for any number n of leaves, is necessary in order to use this statistic in tests of this kind involving trees of any size. In this paper we obtain exact formulas for the variance under the Yule model of the Sackin index,…
▽ More
One of the main applications of balance indices is in tests of null models of evolutionary processes. The knowledge of an exact formula for a statistic of a balance index, holding for any number n of leaves, is necessary in order to use this statistic in tests of this kind involving trees of any size. In this paper we obtain exact formulas for the variance under the Yule model of the Sackin index, the Colless index and the total cophenetic index of binary rooted phylogenetic trees with n leaves. We also obtain the covariance of the Sackin and the total cophenetic index.
△ Less
Submitted 19 October, 2012; v1 submitted 29 February, 2012;
originally announced February 2012.
-
Zeta function and cryptographic exponent of supersingular curves of genus 2
Authors:
Gabriel Cardona,
Enric Nart
Abstract:
We compute in a direct (not algorithmic) way the zeta function of all supersingular curves of genus 2 over a finite field k, with many geometric automorphisms. We display these computations in an appendix where we select a family of representatives of all these curves up to geometric isomorphism and we exhibit equations and the zeta function of all their twists. As an application we obtain a dir…
▽ More
We compute in a direct (not algorithmic) way the zeta function of all supersingular curves of genus 2 over a finite field k, with many geometric automorphisms. We display these computations in an appendix where we select a family of representatives of all these curves up to geometric isomorphism and we exhibit equations and the zeta function of all their twists. As an application we obtain a direct computation of the cryptographic exponent of the Jacobians of these curves.
△ Less
Submitted 16 April, 2007;
originally announced April 2007.
-
Curves of genus two over fields of even characteristic
Authors:
Gabriel Cardona,
Enric Nart,
Jordi Pujolas
Abstract:
In this paper we classify curves of genus two over a perfect field k of characteristic two. We find rational models of curves with a given arithmetic structure for the ramification divisor and we give necessary and sufficient conditions for two models of the same type to be k-isomorphic. As a consequence, we obtain an explicit formula for the number of k-isomorphism classes of curves of genus tw…
▽ More
In this paper we classify curves of genus two over a perfect field k of characteristic two. We find rational models of curves with a given arithmetic structure for the ramification divisor and we give necessary and sufficient conditions for two models of the same type to be k-isomorphic. As a consequence, we obtain an explicit formula for the number of k-isomorphism classes of curves of genus two over a finite field. Moreover, we prove that the field of moduli of any curve coincides with its field of definition, by exhibiting rational models of curves with any prescribed value of their Igusa invariants. Finally, we use cohomological methods to find, for each rational model, an explicit description of its twists. In this way, we obtain a parameterization of all k-isomorphism classes of curves of genus two in terms of geometric and arithmetic invariants.
△ Less
Submitted 7 October, 2002;
originally announced October 2002.
-
Field of moduli and field of definition for curves of genus 2
Authors:
Gabriel Cardona,
Jordi Quer
Abstract:
Let M_2 be the moduli space that classifies genus 2 curves. If a curve C is defined over a field k, the corresponding moduli point P=[C] is defined over k. Mestre solved the converse problem for curves with Aut(C) isomorphic to C_2. Given a moduli point defined over k, Mestre finds an obstruction to the existence of a corresponding curve defined over k, that is an element in Br_2(k) not always t…
▽ More
Let M_2 be the moduli space that classifies genus 2 curves. If a curve C is defined over a field k, the corresponding moduli point P=[C] is defined over k. Mestre solved the converse problem for curves with Aut(C) isomorphic to C_2. Given a moduli point defined over k, Mestre finds an obstruction to the existence of a corresponding curve defined over k, that is an element in Br_2(k) not always trivial. In this paper we prove that for all the other possibilities of Aut(C), every moduli point defined over k is represented by a curve defined over k. We also give an explicit construction of such a curve in terms of the coordinates of the moduli point.
△ Less
Submitted 2 July, 2002;
originally announced July 2002.
-
Curves of genus 2 with group of automorphisms isomorphic to D_8 or D_12
Authors:
Gabriel Cardona,
Jordi Quer
Abstract:
In this paper we classify curves of genus 2 with group of automorphisms isomorphic to D_8 or D_12 over an arbitrary field k (of characteristic different from 2 in the D_8 case and from 2 and 3 in the D_{12} case) up to k-isomorphism.
As an application of the classification of curves of genus 2 obtained, we get precise arithmetic information on their elliptic quotients and on their jacobians. O…
▽ More
In this paper we classify curves of genus 2 with group of automorphisms isomorphic to D_8 or D_12 over an arbitrary field k (of characteristic different from 2 in the D_8 case and from 2 and 3 in the D_{12} case) up to k-isomorphism.
As an application of the classification of curves of genus 2 obtained, we get precise arithmetic information on their elliptic quotients and on their jacobians. Over the field k=Q, we show that the elliptic quotients of the curves with automorphisms D_8 and D_{12} are precisely the Q-curves of degrees 2 and 3, respectively, and we determine which curves have jacobians of GL_2-type.
△ Less
Submitted 17 March, 2002;
originally announced March 2002.
