Physlib.Particles.FlavorPhysics.CKMMatrix.Rows
32 declarations
The -row of a CKM matrix
#uRowFor a given CKM matrix , the function returns its first row, which corresponds to the up quark . This row is represented as a vector in consisting of the elements .
-row of the CKM matrix
#u_rowFor a CKM matrix , the notation denotes its first row, which corresponds to the up quark (). This row is represented as a vector in consisting of the components .
Charm row of a CKM matrix
#cRowGiven a CKM matrix , this function represents the row associated with the charm quark. It maps the indices (corresponding to the down, strange, and bottom quarks) to the complex matrix elements .
The charm row of the CKM matrix
#c_rowFor a CKM matrix , the notation denotes its second row, which corresponds to the charm quark. This row is represented as a function from the index set to the complex numbers , representing the matrix elements .
Top quark row of the CKM matrix
#tRowGiven a CKM matrix , the function returns the third row of the matrix, which corresponds to the top quark (). This row is represented as a vector in with components .
Top quark row of the CKM matrix
#t_rowGiven a CKM matrix , the notation represents the vector in corresponding to the third row of the matrix, which is associated with the top quark ().
The up-quark row of a CKM matrix is normalized to 1
#uRow_normalizedFor any CKM matrix (represented as a unitary matrix), let denote its first row, which corresponds to the up quark. The Hermitian inner product of this row with itself is equal to 1, i.e., .
The charm-quark row of a CKM matrix is normalized to 1
#cRow_normalizedFor any CKM matrix (represented as a unitary matrix), let denote its row corresponding to the charm quark. The Hermitian inner product of this row with itself is equal to 1, i.e., .
The top-quark row of a CKM matrix is normalized to 1
#tRow_normalizedFor any CKM matrix (represented as a unitary matrix), let denote its third row, which corresponds to the top quark (). The Hermitian inner product of this row with itself is equal to 1, i.e., .
The up-quark row and charm-quark row are orthogonal
#uRow_cRow_orthogFor any CKM matrix (represented as a unitary matrix), the row corresponding to the up quark and the row corresponding to the charm quark are orthogonal. Specifically, their Hermitian inner product is zero: where is the first row of and is the second row of .
is orthogonal to
#uRow_tRow_orthogFor any CKM matrix , the up-quark row and the top-quark row are orthogonal. This is expressed as the Hermitian inner product of the two rows being zero: where is the first row of and is the third row of .
The charm-quark row and up-quark row of a CKM matrix are orthogonal
#cRow_uRow_orthogFor any CKM matrix (represented as a unitary matrix), the charm-quark row and the up-quark row are orthogonal. This means that their Hermitian inner product is zero: where is the row vector and is the row vector .
and are orthogonal
#cRow_tRow_orthogFor any CKM matrix (represented as a unitary matrix), the charm-quark row and the top-quark row are orthogonal. This is expressed as the Hermitian inner product of the two rows being zero: where is the second row of the matrix containing the elements and is the third row containing .
The -row and -row of a CKM matrix are orthogonal
#tRow_uRow_orthogFor any CKM matrix , the top-quark row and the up-quark row are orthogonal, meaning their Hermitian inner product is zero: .
and are orthogonal
#tRow_cRow_orthogFor any CKM matrix (represented as a unitary matrix), the top-quark row and the charm-quark row are orthogonal. This is expressed as the Hermitian inner product of the two rows being zero: where is the third row of the matrix containing the elements and is the second row containing the elements .
for CKM Up and Charm Rows
#uRow_cross_cRow_conjFor any CKM matrix , let be the row vector representing the up quark couplings and be the row vector representing the charm quark couplings. Then the complex conjugate of the cross product of the complex conjugated rows is equal to the cross product of the original rows: where denotes the complex conjugate of the vector and denotes the vector cross product in .
for CKM Charm and Top Rows
#cRow_cross_tRow_conjFor any CKM matrix , let be the row vector representing the charm quark couplings and be the row vector representing the top quark couplings. Then the complex conjugate of the cross product of the complex conjugated rows is equal to the cross product of the original rows: where denotes the complex conjugate of and denotes the vector cross product in .
for CKM Up and Charm Rows
#uRow_cross_cRow_normalizedFor any CKM matrix (represented as a unitary matrix), let be the row vector representing the up-quark couplings and be the row vector representing the charm-quark couplings. The vector formed by the cross product of the complex conjugated rows, , is normalized to 1. Specifically, the Hermitian inner product of this cross product with itself is equal to 1: where denotes the complex conjugate of the vector and denotes the vector cross product in .
for CKM Charm and Top Rows
#cRow_cross_tRow_normalizedFor any CKM matrix (represented as a unitary matrix), let be the row vector representing the charm-quark couplings and be the row vector representing the top-quark couplings. The vector formed by the cross product of the complex conjugated rows, , is normalized to 1. Specifically, the Hermitian inner product of this cross product with itself is equal to 1: where denotes the complex conjugate of the vector , denotes the vector cross product in , and denotes the Hermitian inner product.
The rows of a CKM matrix indexed by
#rowsFor a given CKM matrix , this function maps each index to its corresponding row in the matrix. Specifically, it maps the index to the up-quark row , the index to the charm-quark row , and the index to the top-quark row . The result is a mapping where each row is represented as a vector in .
The rows of a CKM matrix are linearly independent
#rows_linearly_independentFor any CKM matrix (represented as a unitary matrix over ), the collection of its row vectors is linearly independent over the complex numbers .
Rows of a CKM matrix as a basis for
#rowBasisFor a given CKM matrix , this definition constructs a basis for the vector space (represented as the space of functions ) consisting of the three row vectors of . Because the rows of a unitary matrix are linearly independent and the dimension of the space is 3, these vectors form a basis for over the complex numbers .
for CKM matrices
#cRow_cross_tRow_eq_uRowFor any CKM matrix (a unitary matrix), let and denote the row vectors corresponding to the up, charm, and top quarks, respectively. There exists a real phase such that the up-quark row is equal to the cross product of the complex-conjugated charm and top rows, multiplied by a phase factor : where denotes the element-wise complex conjugate of vector and denotes the standard vector cross product in .
for some
#uRow_cross_cRow_eq_tRowFor any CKM matrix (a unitary matrix), let , , and denote the row vectors corresponding to the up, charm, and top quarks, respectively. There exists a real number such that the top-quark row is equal to the phase-shifted cross product of the complex conjugates of the up-quark and charm-quark rows: where denotes the element-wise complex conjugate of the vector and denotes the vector cross product in .
Equality of rows implies
#ext_RowsFor any two CKM matrices and (represented as unitary matrices), if their up-quark rows are equal (), their charm-quark rows are equal (), and their top-quark rows are equal (), then the matrices themselves are equal ().
Cross product of conjugated and rows of a phase-shifted CKM matrix
#ucCrossGiven a CKM matrix and six real phase parameters , let be the phase-shifted matrix defined by This function calculates the cross product of the complex conjugates of the -row and the -row of . The result is a vector in given by , where and are the first and second rows of the transformed matrix, respectively.
The first component of equals under phase shift
#ucCross_fstLet be a unitary CKM matrix and let be the matrix obtained by applying the phase shift transformation for real parameters . Let be the rows of corresponding to the up and charm quarks, and be the corresponding rows of the transformed matrix . The first component (index 0) of the cross product of their complex conjugates satisfies: where is the imaginary unit.
for phase-shifted CKM matrices
#ucCross_sndFor any unitary CKM matrix and real parameters , let be the phase-shifted matrix obtained by . Let and be the first and second rows of (the and rows), and and be the corresponding rows of . The second component (index 1) of the cross product of the complex conjugates of these rows satisfies: where is the imaginary unit and denotes complex conjugation.
under phase shift transformation
#ucCross_thdLet be a unitary CKM matrix and let be real phase parameters. Let be the phase-shifted matrix defined by: The third component (at index 2) of the cross product of the complex conjugates of the -row and the -row of the transformed matrix satisfies: where is the imaginary unit, and are the first and second rows of the matrix , respectively, and denotes the 3D cross product.
under left phase shifts
#uRow_mulLet be a unitary CKM matrix and let be phase parameters. Suppose we apply a phase shift transformation to using only the left-hand diagonal matrix (setting the right-hand parameters to ): Then the -row (the first row) of the resulting matrix , denoted as , is equal to the -row of the original matrix multiplied by the phase factor : where is the imaginary unit.
under Left Phase Shift
#cRow_mulLet be a unitary CKM matrix and let be phase parameters. Let be the matrix obtained by applying the phase shift transformation with zero phases on the right-hand side: The charm row of the resulting matrix, denoted , is equal to the charm row of the original matrix, , scaled by the phase factor : where is the imaginary unit.
Transformation of the top quark row under row phase shifts:
#tRow_mulLet be a unitary CKM matrix and let be real phase parameters. Let be the matrix obtained by applying a phase shift transformation to with only row phases: Then the top quark row (the third row) of the resulting matrix, denoted , is equal to the original top quark row scaled by the phase : where is the imaginary unit.
