PhyslibSearch

Physlib.Particles.FlavorPhysics.CKMMatrix.Rows

32 declarations

definition

The uu-row of a CKM matrix VV

#uRow

For a given CKM matrix VV, the function returns its first row, which corresponds to the up quark uu. This row is represented as a vector in C3\mathbb{C}^3 consisting of the elements (Vud,Vus,Vub)(V_{ud}, V_{us}, V_{ub}).

definition

uu-row of the CKM matrix VV

#u_row

For a CKM matrix VV, the notation [V]u[V]_u denotes its first row, which corresponds to the up quark (uu). This row is represented as a vector in C3\mathbb{C}^3 consisting of the components (Vud,Vus,Vub)(V_{ud}, V_{us}, V_{ub}).

definition

Charm row (Vcd,Vcs,Vcb)(V_{cd}, V_{cs}, V_{cb}) of a CKM matrix VV

#cRow

Given a CKM matrix VV, this function represents the row associated with the charm quark. It maps the indices {0,1,2}\{0, 1, 2\} (corresponding to the down, strange, and bottom quarks) to the complex matrix elements (Vcd,Vcs,Vcb)(V_{cd}, V_{cs}, V_{cb}).

definition

The charm row [V]c[V]_c of the CKM matrix VV

#c_row

For a CKM matrix VV, the notation [V]c[V]_c denotes its second row, which corresponds to the charm quark. This row is represented as a function from the index set {0,1,2}\{0, 1, 2\} to the complex numbers C\mathbb{C}, representing the matrix elements (Vcd,Vcs,Vcb)(V_{cd}, V_{cs}, V_{cb}).

definition

Top quark row [V]t[V]_t of the CKM matrix

#tRow

Given a CKM matrix VU(3)V \in U(3), the function returns the third row of the matrix, which corresponds to the top quark (tt). This row is represented as a vector in C3\mathbb{C}^3 with components (Vtd,Vts,Vtb)(V_{td}, V_{ts}, V_{tb}).

definition

Top quark row [V]t[V]_t of the CKM matrix

#t_row

Given a CKM matrix VV, the notation [V]t[V]_t represents the vector in C3\mathbb{C}^3 corresponding to the third row of the matrix, which is associated with the top quark (tt).

theorem

The up-quark row of a CKM matrix is normalized to 1

#uRow_normalized

For any CKM matrix VV (represented as a 3×33 \times 3 unitary matrix), let [V]u[V]_u 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., [V]u[V]u=1\overline{[V]_u} \cdot [V]_u = 1.

theorem

The charm-quark row of a CKM matrix is normalized to 1

#cRow_normalized

For any CKM matrix VV (represented as a 3×33 \times 3 unitary matrix), let [V]c[V]_c denote its row corresponding to the charm quark. The Hermitian inner product of this row with itself is equal to 1, i.e., [V]c[V]c=1\overline{[V]_c} \cdot [V]_c = 1.

theorem

The top-quark row of a CKM matrix is normalized to 1

#tRow_normalized

For any CKM matrix VV (represented as a 3×33 \times 3 unitary matrix), let [V]t[V]_t denote its third row, which corresponds to the top quark (tt). The Hermitian inner product of this row with itself is equal to 1, i.e., [V]t[V]t=1\overline{[V]_t} \cdot [V]_t = 1.

theorem

The up-quark row [V]u[V]_u and charm-quark row [V]c[V]_c are orthogonal

#uRow_cRow_orthog

For any CKM matrix VV (represented as a 3×33 \times 3 unitary matrix), the row corresponding to the up quark [V]u[V]_u and the row corresponding to the charm quark [V]c[V]_c are orthogonal. Specifically, their Hermitian inner product is zero: [V]u[V]c=0\overline{[V]_u} \cdot [V]_c = 0 where [V]u[V]_u is the first row of VV and [V]c[V]_c is the second row of VV.

theorem

[V]u[V]_u is orthogonal to [V]t[V]_t

#uRow_tRow_orthog

For any CKM matrix VV, the up-quark row [V]u[V]_u and the top-quark row [V]t[V]_t are orthogonal. This is expressed as the Hermitian inner product of the two rows being zero: [V]u[V]t=0\overline{[V]_u} \cdot [V]_t = 0 where [V]u[V]_u is the first row of VV and [V]t[V]_t is the third row of VV.

theorem

The charm-quark row and up-quark row of a CKM matrix are orthogonal

#cRow_uRow_orthog

For any CKM matrix VV (represented as a 3×33 \times 3 unitary matrix), the charm-quark row [V]c[V]_c and the up-quark row [V]u[V]_u are orthogonal. This means that their Hermitian inner product is zero: [V]c[V]u=0\overline{[V]_c} \cdot [V]_u = 0 where [V]c[V]_c is the row vector (Vcd,Vcs,Vcb)(V_{cd}, V_{cs}, V_{cb}) and [V]u[V]_u is the row vector (Vud,Vus,Vub)(V_{ud}, V_{us}, V_{ub}).

theorem

[V]c[V]_c and [V]t[V]_t are orthogonal

#cRow_tRow_orthog

For any CKM matrix VV (represented as a 3×33 \times 3 unitary matrix), the charm-quark row [V]c[V]_c and the top-quark row [V]t[V]_t are orthogonal. This is expressed as the Hermitian inner product of the two rows being zero: [V]c[V]t=0\overline{[V]_c} \cdot [V]_t = 0 where [V]c[V]_c is the second row of the matrix containing the elements (Vcd,Vcs,Vcb)(V_{cd}, V_{cs}, V_{cb}) and [V]t[V]_t is the third row containing (Vtd,Vts,Vtb)(V_{td}, V_{ts}, V_{tb}).

theorem

The tt-row and uu-row of a CKM matrix are orthogonal

#tRow_uRow_orthog

For any CKM matrix VV, the top-quark row [V]t[V]_t and the up-quark row [V]u[V]_u are orthogonal, meaning their Hermitian inner product is zero: [V]t[V]u=0\overline{[V]_t} \cdot [V]_u = 0.

theorem

[V]t[V]_t and [V]c[V]_c are orthogonal

#tRow_cRow_orthog

For any CKM matrix VV (represented as a 3×33 \times 3 unitary matrix), the top-quark row [V]t[V]_t and the charm-quark row [V]c[V]_c are orthogonal. This is expressed as the Hermitian inner product of the two rows being zero: [V]t[V]c=0\overline{[V]_t} \cdot [V]_c = 0 where [V]t[V]_t is the third row of the matrix containing the elements (Vtd,Vts,Vtb)(V_{td}, V_{ts}, V_{tb}) and [V]c[V]_c is the second row containing the elements (Vcd,Vcs,Vcb)(V_{cd}, V_{cs}, V_{cb}).

theorem

[V]u×[V]c=[V]u×[V]c\overline{\overline{[V]_u} \times \overline{[V]_c}} = [V]_u \times [V]_c for CKM Up and Charm Rows

#uRow_cross_cRow_conj

For any CKM matrix VV, let [V]u[V]_u be the row vector representing the up quark couplings and [V]c[V]_c 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: [V]u×[V]c=[V]u×[V]c\overline{\overline{[V]_u} \times \overline{[V]_c}} = [V]_u \times [V]_c where z\overline{\mathbf{z}} denotes the complex conjugate of the vector z\mathbf{z} and ×\times denotes the vector cross product in C3\mathbb{C}^3.

theorem

[V]c×[V]t=[V]c×[V]t\overline{\overline{[V]_c} \times \overline{[V]_t}} = [V]_c \times [V]_t for CKM Charm and Top Rows

#cRow_cross_tRow_conj

For any CKM matrix VV, let [V]c[V]_c be the row vector representing the charm quark couplings and [V]t[V]_t 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: [V]c×[V]t=[V]c×[V]t\overline{\overline{[V]_c} \times \overline{[V]_t}} = [V]_c \times [V]_t where z\overline{z} denotes the complex conjugate of zz and ×\times denotes the vector cross product in C3\mathbb{C}^3.

theorem

[V]u×[V]c2=1|\overline{[V]_u} \times \overline{[V]_c}|^2 = 1 for CKM Up and Charm Rows

#uRow_cross_cRow_normalized

For any CKM matrix VV (represented as a 3×33 \times 3 unitary matrix), let [V]u[V]_u be the row vector representing the up-quark couplings and [V]c[V]_c be the row vector representing the charm-quark couplings. The vector formed by the cross product of the complex conjugated rows, [V]u×[V]c\overline{[V]_u} \times \overline{[V]_c}, is normalized to 1. Specifically, the Hermitian inner product of this cross product with itself is equal to 1: ([V]u×[V]c)([V]u×[V]c)=1\overline{(\overline{[V]_u} \times \overline{[V]_c})} \cdot (\overline{[V]_u} \times \overline{[V]_c}) = 1 where z\overline{\mathbf{z}} denotes the complex conjugate of the vector z\mathbf{z} and ×\times denotes the vector cross product in C3\mathbb{C}^3.

theorem

[V]c×[V]t2=1|\overline{[V]_c} \times \overline{[V]_t}|^2 = 1 for CKM Charm and Top Rows

#cRow_cross_tRow_normalized

For any CKM matrix VV (represented as a 3×33 \times 3 unitary matrix), let [V]c[V]_c be the row vector representing the charm-quark couplings and [V]t[V]_t be the row vector representing the top-quark couplings. The vector formed by the cross product of the complex conjugated rows, [V]c×[V]t\overline{[V]_c} \times \overline{[V]_t}, is normalized to 1. Specifically, the Hermitian inner product of this cross product with itself is equal to 1: ([V]c×[V]t)([V]c×[V]t)=1\overline{(\overline{[V]_c} \times \overline{[V]_t})} \cdot (\overline{[V]_c} \times \overline{[V]_t}) = 1 where z\overline{\mathbf{z}} denotes the complex conjugate of the vector z\mathbf{z}, ×\times denotes the vector cross product in C3\mathbb{C}^3, and \cdot denotes the Hermitian inner product.

definition

The rows of a CKM matrix VV indexed by i{0,1,2}i \in \{0, 1, 2\}

#rows

For a given CKM matrix VU(3)V \in U(3), this function maps each index i{0,1,2}i \in \{0, 1, 2\} to its corresponding row in the matrix. Specifically, it maps the index 00 to the up-quark row [V]u=(Vud,Vus,Vub)[V]_u = (V_{ud}, V_{us}, V_{ub}), the index 11 to the charm-quark row [V]c=(Vcd,Vcs,Vcb)[V]_c = (V_{cd}, V_{cs}, V_{cb}), and the index 22 to the top-quark row [V]t=(Vtd,Vts,Vtb)[V]_t = (V_{td}, V_{ts}, V_{tb}). The result is a mapping where each row is represented as a vector in C3\mathbb{C}^3.

theorem

The rows of a CKM matrix are linearly independent

#rows_linearly_independent

For any CKM matrix VV (represented as a 3×33 \times 3 unitary matrix over C\mathbb{C}), the collection of its row vectors {[V]u,[V]c,[V]t}\{[V]_u, [V]_c, [V]_t\} is linearly independent over the complex numbers C\mathbb{C}.

definition

Rows of a CKM matrix VV as a basis for C3\mathbb{C}^3

#rowBasis

For a given CKM matrix VU(3)V \in U(3), this definition constructs a basis for the vector space C3\mathbb{C}^3 (represented as the space of functions Fin 3C\text{Fin } 3 \to \mathbb{C}) consisting of the three row vectors of VV. Because the rows of a unitary matrix are linearly independent and the dimension of the space is 3, these vectors {[V]u,[V]c,[V]t}\{[V]_u, [V]_c, [V]_t\} form a basis for C3\mathbb{C}^3 over the complex numbers C\mathbb{C}.

theorem

[V]u=eiκ([V]c×[V]t)[V]_u = e^{i\kappa} (\overline{[V]_c} \times \overline{[V]_t}) for CKM matrices

#cRow_cross_tRow_eq_uRow

For any CKM matrix VV (a 3×33 \times 3 unitary matrix), let [V]u,[V]c,[V]_u, [V]_c, and [V]t[V]_t denote the row vectors corresponding to the up, charm, and top quarks, respectively. There exists a real phase κR\kappa \in \mathbb{R} 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 eiκe^{i\kappa}: [V]u=eiκ([V]c×[V]t)[V]_u = e^{i\kappa} (\overline{[V]_c} \times \overline{[V]_t}) where z\overline{\mathbf{z}} denotes the element-wise complex conjugate of vector z\mathbf{z} and ×\times denotes the standard vector cross product in C3\mathbb{C}^3.

theorem

[V]t=eiτ([V]u×[V]c)[V]_t = e^{i\tau} (\overline{[V]_u} \times \overline{[V]_c}) for some τR\tau \in \mathbb{R}

#uRow_cross_cRow_eq_tRow

For any CKM matrix VV (a 3×33 \times 3 unitary matrix), let [V]u[V]_u, [V]c[V]_c, and [V]t[V]_t denote the row vectors corresponding to the up, charm, and top quarks, respectively. There exists a real number τ\tau 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: [V]t=eiτ([V]u×[V]c)[V]_t = e^{i\tau} (\overline{[V]_u} \times \overline{[V]_c}) where v\overline{\mathbf{v}} denotes the element-wise complex conjugate of the vector v\mathbf{v} and ×\times denotes the vector cross product in C3\mathbb{C}^3.

theorem

Equality of [U]u,[U]c,[U]t[U]_u, [U]_c, [U]_t rows implies U=VU = V

#ext_Rows

For any two CKM matrices UU and VV (represented as 3×33 \times 3 unitary matrices), if their up-quark rows are equal ([U]u=[V]u[U]_u = [V]_u), their charm-quark rows are equal ([U]c=[V]c[U]_c = [V]_c), and their top-quark rows are equal ([U]t=[V]t[U]_t = [V]_t), then the matrices themselves are equal (U=VU = V).

definition

Cross product of conjugated uu and cc rows of a phase-shifted CKM matrix (Vu)×(Vc)(\vec{V'}_u)^* \times (\vec{V'}_c)^*

#ucCross

Given a CKM matrix VU(3)V \in U(3) and six real phase parameters a,b,c,d,e,fRa, b, c, d, e, f \in \mathbb{R}, let VV' be the phase-shifted matrix defined by V=diag(eia,eib,eic)Vdiag(eid,eie,eif)V' = \text{diag}(e^{ia}, e^{ib}, e^{ic}) \cdot V \cdot \text{diag}(e^{id}, e^{ie}, e^{if}) This function calculates the cross product of the complex conjugates of the uu-row and the cc-row of VV'. The result is a vector in C3\mathbb{C}^3 given by (Vu)×(Vc)(\vec{V'}_u)^* \times (\vec{V'}_c)^*, where Vu\vec{V'}_u and Vc\vec{V'}_c are the first and second rows of the transformed matrix, respectively.

theorem

The first component of (Vu)×(Vc)(\vec{V'}_u)^* \times (\vec{V'}_c)^* equals ei(a+b+e+f)((Vu)×(Vc))0e^{-i(a+b+e+f)} ((\vec{V}_u)^* \times (\vec{V}_c)^*)_0 under phase shift

#ucCross_fst

Let VV be a 3×33 \times 3 unitary CKM matrix and let VV' be the matrix obtained by applying the phase shift transformation V=diag(eia,eib,eic)Vdiag(eid,eie,eif)V' = \text{diag}(e^{ia}, e^{ib}, e^{ic}) \cdot V \cdot \text{diag}(e^{id}, e^{ie}, e^{if}) for real parameters a,b,c,d,e,fRa, b, c, d, e, f \in \mathbb{R}. Let Vu,VcC3\vec{V}_u, \vec{V}_c \in \mathbb{C}^3 be the rows of VV corresponding to the up and charm quarks, and Vu,VcC3\vec{V'}_u, \vec{V'}_c \in \mathbb{C}^3 be the corresponding rows of the transformed matrix VV'. The first component (index 0) of the cross product of their complex conjugates satisfies: ((Vu)×(Vc))0=ei(a+b+e+f)((Vu)×(Vc))0((\vec{V'}_u)^* \times (\vec{V'}_c)^*)_0 = e^{-i(a + b + e + f)} ((\vec{V}_u)^* \times (\vec{V}_c)^*)_0 where ii is the imaginary unit.

theorem

[(Vu)×(Vc)]1=ei(a+b+d+f)[(Vu)×(Vc)]1[(\vec{V'}_u)^* \times (\vec{V'}_c)^*]_1 = e^{-i(a + b + d + f)} [(\vec{V}_u)^* \times (\vec{V}_c)^*]_1 for phase-shifted CKM matrices

#ucCross_snd

For any 3×33 \times 3 unitary CKM matrix VV and real parameters a,b,c,d,e,fRa, b, c, d, e, f \in \mathbb{R}, let VV' be the phase-shifted matrix obtained by V=diag(eia,eib,eic)Vdiag(eid,eie,eif)V' = \text{diag}(e^{ia}, e^{ib}, e^{ic}) \cdot V \cdot \text{diag}(e^{id}, e^{ie}, e^{if}). Let Vu\vec{V}_u and Vc\vec{V}_c be the first and second rows of VV (the uu and cc rows), and Vu\vec{V'}_u and Vc\vec{V'}_c be the corresponding rows of VV'. The second component (index 1) of the cross product of the complex conjugates of these rows satisfies: [(Vu)×(Vc)]1=ei(a+b+d+f)[(Vu)×(Vc)]1 [(\vec{V'}_u)^* \times (\vec{V'}_c)^*]_1 = e^{-i(a + b + d + f)} [(\vec{V}_u)^* \times (\vec{V}_c)^*]_1 where ii is the imaginary unit and ()(\cdot)^* denotes complex conjugation.

theorem

[(Vu)×(Vc)]2=ei(a+b+d+e)[(Vu)×(Vc)]2[(\vec{V'}_u)^* \times (\vec{V'}_c)^*]_2 = e^{-i(a+b+d+e)} [(\vec{V}_u)^* \times (\vec{V}_c)^*]_2 under phase shift transformation

#ucCross_thd

Let VV be a 3×33 \times 3 unitary CKM matrix and let a,b,c,d,e,fRa, b, c, d, e, f \in \mathbb{R} be real phase parameters. Let VV' be the phase-shifted matrix defined by: V=diag(eia,eib,eic)Vdiag(eid,eie,eif) V' = \text{diag}(e^{ia}, e^{ib}, e^{ic}) \cdot V \cdot \text{diag}(e^{id}, e^{ie}, e^{if}) The third component (at index 2) of the cross product of the complex conjugates of the uu-row and the cc-row of the transformed matrix VV' satisfies: [(Vu)×(Vc)]2=ei(abde)[(Vu)×(Vc)]2 [(\vec{V'}_u)^* \times (\vec{V'}_c)^*]_2 = e^{i(-a-b-d-e)} [(\vec{V}_u)^* \times (\vec{V}_c)^*]_2 where ii is the imaginary unit, Vu\vec{V}_u and Vc\vec{V}_c are the first and second rows of the matrix VV, respectively, and ×\times denotes the 3D cross product.

theorem

[V]u=eia[V]u[V']_u = e^{ia} [V]_u under left phase shifts

#uRow_mul

Let VV be a 3×33 \times 3 unitary CKM matrix and let a,b,cRa, b, c \in \mathbb{R} be phase parameters. Suppose we apply a phase shift transformation to VV using only the left-hand diagonal matrix (setting the right-hand parameters d,e,fd, e, f to 00): V=diag(eia,eib,eic)V V' = \text{diag}(e^{ia}, e^{ib}, e^{ic}) \cdot V Then the uu-row (the first row) of the resulting matrix VV', denoted as [V]u[V']_u, is equal to the uu-row of the original matrix VV multiplied by the phase factor eiae^{ia}: [V]u=eia[V]u [V']_u = e^{ia} [V]_u where ii is the imaginary unit.

theorem

[V]c=eib[V]c[V']_c = e^{ib} [V]_c under Left Phase Shift

#cRow_mul

Let VV be a 3×33 \times 3 unitary CKM matrix and let a,b,cRa, b, c \in \mathbb{R} be phase parameters. Let VV' be the matrix obtained by applying the phase shift transformation with zero phases on the right-hand side: V=diag(eia,eib,eic)V V' = \text{diag}(e^{ia}, e^{ib}, e^{ic}) \cdot V The charm row of the resulting matrix, denoted [V]c[V']_c, is equal to the charm row of the original matrix, [V]c[V]_c, scaled by the phase factor eibe^{ib}: [V]c=eib[V]c [V']_c = e^{ib} [V]_c where ii is the imaginary unit.

theorem

Transformation of the top quark row under row phase shifts: [V]t=eic[V]t[V']_t = e^{ic} [V]_t

#tRow_mul

Let VV be a 3×33 \times 3 unitary CKM matrix and let a,b,cRa, b, c \in \mathbb{R} be real phase parameters. Let VV' be the matrix obtained by applying a phase shift transformation to VV with only row phases: V=diag(eia,eib,eic)V V' = \text{diag}(e^{ia}, e^{ib}, e^{ic}) \cdot V Then the top quark row (the third row) of the resulting matrix, denoted [V]t[V']_t, is equal to the original top quark row [V]t[V]_t scaled by the phase eice^{ic}: [V]t=eic[V]t [V']_t = e^{ic} [V]_t where ii is the imaginary unit.