PhyslibSearch

Physlib.Particles.BeyondTheStandardModel.RHN.AnomalyCancellation.PlusU1.PlaneNonSols

36 declarations

definition

First basis vector B0B_0 of the 11-dimensional plane of charges

#B₀

The vector B0B_0 is a charge assignment in the 18-dimensional rational vector space Q18\mathbb{Q}^{18} corresponding to the 3-generation Standard Model with right-handed neutrinos. It is defined as the unit vector (1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0)(1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0), which assigns a charge of 11 to the first generation left-handed quark doublet Q0Q_0 and a charge of 00 to all other fermions. This vector serves as one of the basis elements for an 11-dimensional plane in the space of charges.

definition

Basis vector B1B_1 of the 11-dimensional plane of charges

#B₁

The vector B1B_1 is a basis element for the 11-dimensional plane of charges in the 3-generation Standard Model with right-handed neutrinos and an additional U(1)U(1) gauge symmetry. It is an element of the rational vector space Q18\mathbb{Q}^{18}, specifically defined as the vector where the charge of the first-generation right-handed up-type quark u0u_0 is 1, and all other 17 charges are 0: \[ B_1 = (0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0) \]

definition

Basis charge vector B2B_2 for the eleven-dimensional plane of the 3-generation SMRHN + U(1)U(1) system

#B₂

The charge assignment B2Q18B_2 \in \mathbb{Q}^{18} is defined as the vector (0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0)(0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0). In the context of the 3-generation Standard Model with right-handed neutrinos and an additional U(1)U(1) gauge symmetry, this vector represents a configuration where the right-handed down-type quark of the first generation (d0d_0) has charge 11, and all other 1717 fermions have charge 00. This vector serves as a basis element for an eleven-dimensional plane in the charge space.

definition

Third basis vector B3B_3 for the 11-dimensional plane of non-solutions

#B₃

The charge assignment B3B_3 is a vector in the space of charges Q18\mathbb{Q}^{18} for the 3-generation Standard Model with right-handed neutrinos and an additional U(1)U(1) gauge symmetry. It serves as one of the basis elements for an 11-dimensional plane in the charge space where no non-trivial solutions to the anomaly cancellation conditions (ACCs) exist. Specifically, B3B_3 is defined as the unit vector where the charge of the second-generation left-handed quark doublet Q1Q_1 is 11, and all other charges are 00: B3=(0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0)Q18B_3 = (0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0) \in \mathbb{Q}^{18}

definition

Fourth basis vector B4B_4 for the 11-dimensional plane of charges

#B₄

The charge assignment B4B_4 is a specific vector in the 18-dimensional vector space of charges Q18\mathbb{Q}^{18} for the 3-generation Standard Model with right-handed neutrinos and an additional U(1)U(1) gauge symmetry. It is defined as the vector B4=(0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0)Q18B_4 = (0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0) \in \mathbb{Q}^{18}, where the eighth component is 11 and all other components are 00. This vector serves as one of the basis elements for an 11-dimensional plane in the space of charges.

definition

Basis vector B5B_5 of the 11-dimensional plane of charges

#B₅

The definition B5B_5 represents a specific charge assignment vector in the space of charges Q18\mathbb{Q}^{18} for the 3-generation Standard Model with right-handed neutrinos and an additional U(1)U(1) gauge symmetry. It is defined as the coordinate vector: B5=(0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0)Q18B_5 = (0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0) \in \mathbb{Q}^{18} This vector serves as one of the basis elements used to construct an 11-dimensional plane in the charge space on which there are no non-trivial solutions to the anomaly cancellation conditions.

definition

Basis element B6B_6 for the 11-dimensional plane of charges

#B₆

The charge assignment B6Q18B_6 \in \mathbb{Q}^{18} is a basis vector used to construct an 11-dimensional plane in the charge space of the 3-generation Standard Model with right-handed neutrinos. It is defined as the vector where all charge components are zero except for the 13th component, which is 1: \[ B_6 = (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0) \] In the context of the ordered fermion charges (Q0,u0,d0,L0,e0,ν0,,Q2,u2,d2,L2,e2,ν2)(Q_0, u_0, d_0, L_0, e_0, \nu_0, \dots, Q_2, u_2, d_2, L_2, e_2, \nu_2), this vector corresponds to assigning a unit charge to the third-generation left-handed quark doublet Q2Q_2 and zero to all other fermions.

definition

Basis vector B7B_7 of the 11-dimensional plane of charges

#B₇

This definition specifies a charge assignment B7B_7 within the 18-dimensional vector space of charges Q18\mathbb{Q}^{18} for the 3-generation Standard Model with right-handed neutrinos. It is defined as the vector: \[ B_7 = (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0) \] This vector serves as one of the basis elements for an 11-dimensional plane in the charge space on which no non-trivial solutions to the anomaly cancellation conditions exist.

definition

Basis vector B8B_8 of the 11-dimensional plane of charges

#B₈

The charge vector B8B_8 is an element of the 18-dimensional rational vector space Q18\mathbb{Q}^{18}, representing the charge assignments for the 3-generation Standard Model with right-handed neutrinos and an extra U(1)U(1) symmetry. This specific vector is one of the basis elements used to construct an 11-dimensional plane of charges. It is defined as the configuration where the charge of the right-handed down-type quark in the third generation (d2d_2) is 1, and all other charges are 0.

definition

The basis vector B9B_9 for the 11-dimensional plane of charges

#B₉

The charge assignment B9B_9 is a vector in the space of charges Q18\mathbb{Q}^{18} for the three-generation Standard Model with right-handed neutrinos. It is defined as the vector (0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,2,0)(0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 2, 0), where the charge of the third generation lepton doublet is L2=1L_2 = 1 and the charge of the third generation charged lepton is e2=2e_2 = 2, with all other fermion charges being zero. This vector serves as one of the basis elements for the 11-dimensional plane of charges on which no non-trivial solutions to the anomaly cancellation conditions exist.

definition

Basis vector B10B_{10} of the 11-dimensional plane of no solutions

#B₁₀

For the anomaly cancellation system of the Standard Model with three generations (n=3n=3) of fermions and right-handed neutrinos, the charge space is the vector space Q18\mathbb{Q}^{18}. The charge assignment B10B_{10} is defined as the basis vector (0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1)Q18(0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1) \in \mathbb{Q}^{18}. This corresponds to the physical state where the right-handed neutrino of the third generation, ν2\nu_2, is assigned a charge of 11, while all other fermion charges are 00. This vector is one of the eleven basis elements used to construct a specific 11-dimensional plane in the charge space.

definition

Basis vectors {Bi}i=010\{B_i\}_{i=0}^{10} for the 11-dimensional plane of charges

#B

For the anomaly cancellation system of the 3-generation Standard Model with right-handed neutrinos and an additional U(1)U(1) gauge symmetry, this function defines a sequence of eleven charge assignments BiQ18B_i \in \mathbb{Q}^{18} for i{0,1,,10}i \in \{0, 1, \dots, 10\}. These vectors {B0,B1,,B10}\{B_0, B_1, \dots, B_{10}\} serve as a basis for an 11-dimensional plane in the rational vector space of charges. This specific plane is constructed to show that no non-trivial solutions to the anomaly cancellation conditions exist within it.

theorem

B(Bi,Bj)=0B(B_i, B_j) = 0 for distinct basis vectors of the 11D plane of charges

#Bi_Bj_quad

In the context of the 3-generation Standard Model with right-handed neutrinos, let {Bk}k=010\{B_k\}_{k=0}^{10} be the basis vectors for the specific 11-dimensional plane of charges in the rational vector space Q18\mathbb{Q}^{18}. For any two distinct indices i,j{0,1,,10}i, j \in \{0, 1, \dots, 10\} where iji \neq j, the symmetric bilinear form BB associated with the quadratic anomaly cancellation conditions satisfies B(Bi,Bj)=0B(B_i, B_j) = 0.

theorem

B(Bi,kfkBk)=fiB(Bi,Bi)B(B_i, \sum_k f_k B_k) = f_i B(B_i, B_i) for the 11D plane basis

#Bi_sum_quad

In the context of the 3-generation Standard Model with right-handed neutrinos, let {Bk}k=010\{B_k\}_{k=0}^{10} be the basis vectors for the 11-dimensional plane in the charge space Q18\mathbb{Q}^{18}. For any index i{0,,10}i \in \{0, \dots, 10\} and any sequence of rational coefficients fkQf_k \in \mathbb{Q}, the symmetric bilinear form BB associated with the quadratic anomaly cancellation conditions satisfies: B(Bi,k=010fkBk)=fiB(Bi,Bi)B(B_i, \sum_{k=0}^{10} f_k B_k) = f_i B(B_i, B_i) where B(S,T)B(S, T) represents the symmetric bilinear map `quadBiLin`.

definition

Coefficients of the quadratic form in the 11D plane basis

#quadCoeff

This definition specifies a sequence of 11 rational coefficients qiQq_i \in \mathbb{Q} (for i{0,,10}i \in \{0, \dots, 10\}) used in a quadratic form defined over an 11-dimensional plane in the charge space. The coefficients are defined such that qi=1q_i = 1 for 0i80 \le i \le 8 and qi=0q_i = 0 for i=9i = 9 and i=10i = 10. In the context of a basis {Bi}\{B_i\}, these correspond to the values of the bilinear form quadBiLin(Bi,Bi)\text{quadBiLin}(B_i, B_i).

theorem

The quadratic coefficients qiq_i are equal to B(Bi,Bi)B(B_i, B_i) for the 11D plane basis vectors

#quadCoeff_eq_bilinear

In the context of the 11-dimensional plane in the charge space for the 3-generation Standard Model with right-handed neutrinos, for any index i{0,1,,10}i \in \{0, 1, \dots, 10\}, the predefined quadratic coefficient qiq_i is equal to the value of the symmetric bilinear form BB evaluated on the basis vector BiB_i with itself, that is, qi=B(Bi,Bi)q_i = B(B_i, B_i).

theorem

accQuad(fiBi)=qifi2accQuad(\sum f_i B_i) = \sum q_i f_i^2 for the 11D plane basis

#on_accQuad

In the context of the 3-generation Standard Model with right-handed neutrinos and an additional U(1)U(1) gauge symmetry, let {Bi}i=010\{B_i\}_{i=0}^{10} be the basis vectors of the 11-dimensional plane in the rational charge space Q18\mathbb{Q}^{18}. For any sequence of rational coefficients fiQf_i \in \mathbb{Q}, the quadratic anomaly cancellation condition accQuadaccQuad evaluated on the linear combination of these basis vectors satisfies: accQuad(i=010fiBi)=i=010qifi2accQuad\left(\sum_{i=0}^{10} f_i B_i\right) = \sum_{i=0}^{10} q_i f_i^2 where qiq_i are the predefined quadratic coefficients associated with the basis vectors BiB_i, which correspond to the values of the symmetric bilinear form B(Bi,Bi)B(B_i, B_i).

theorem

For any solution fiBi\sum f_i B_i in the 11D plane, qkfk2=0q_k f_k^2 = 0 for all kk

#isSolution_quadCoeff_f_sq_zero

In the context of the 3-generation Standard Model with right-handed neutrinos and an additional U(1)U(1) gauge symmetry, let {Bi}i=010\{B_i\}_{i=0}^{10} be the basis vectors of the 11-dimensional plane in the rational charge space Q18\mathbb{Q}^{18}. For any sequence of rational coefficients fiQf_i \in \mathbb{Q}, if the charge configuration S=i=010fiBiS = \sum_{i=0}^{10} f_i B_i is a solution to the anomaly cancellation conditions, then for every index k{0,,10}k \in \{0, \dots, 10\}, the product of the quadratic coefficient qkq_k and the square of the coordinate fkf_k is zero: qkfk2=0q_k f_k^2 = 0 where qkq_k are the predefined quadratic coefficients associated with the basis vectors BkB_k.

theorem

For any solution fiBi\sum f_i B_i in the 11D plane, f0=0f_0 = 0

#isSolution_f0

In the context of the anomaly cancellation system for the 3-generation Standard Model with right-handed neutrinos and an additional U(1)U(1) gauge symmetry, let {Bi}i=010\{B_i\}_{i=0}^{10} be the basis vectors of the 11-dimensional plane in the rational charge space Q18\mathbb{Q}^{18}. If a linear combination S=i=010fiBiS = \sum_{i=0}^{10} f_i B_i of these basis vectors with rational coefficients fiQf_i \in \mathbb{Q} is a solution to the anomaly cancellation conditions, then the first coefficient f0f_0 must be zero.

theorem

For any solution fiBi\sum f_i B_i in the 11D plane, f1=0f_1 = 0

#isSolution_f1

In the anomaly cancellation system for the 3-generation Standard Model with right-handed neutrinos and an additional U(1)U(1) gauge symmetry, let {Bi}i=010\{B_i\}_{i=0}^{10} be the basis vectors of a specific 11-dimensional plane in the rational charge space. For any sequence of rational coefficients fiQf_i \in \mathbb{Q}, if the charge configuration S=i=010fiBiS = \sum_{i=0}^{10} f_i B_i is a solution to the anomaly cancellation conditions, then the coefficient f1f_1 must be zero: f1=0f_1 = 0

theorem

For any solution fiBi\sum f_i B_i in the 11D Plane, f2=0f_2 = 0

#isSolution_f2

In the anomaly cancellation system of the 3-generation Standard Model with right-handed neutrinos and an additional U(1)U(1) gauge symmetry, let {Bi}i=010\{B_i\}_{i=0}^{10} be the basis vectors of the 11-dimensional plane. For any sequence of rational coefficients fiQf_i \in \mathbb{Q}, if the linear combination i=010fiBi\sum_{i=0}^{10} f_i B_i is a solution to the anomaly cancellation conditions, then the coefficient f2f_2 must be equal to zero, i.e., f2=0f_2 = 0.

theorem

For any solution fiBi\sum f_i B_i in the 11D plane, f3=0f_3 = 0

#isSolution_f3

In the anomaly cancellation system of the 3-generation Standard Model with right-handed neutrinos and an additional U(1)U(1) gauge symmetry, let {B0,B1,,B10}\{B_0, B_1, \dots, B_{10}\} be the basis vectors for the 11-dimensional plane in the rational charge space Q18\mathbb{Q}^{18}. For any set of rational coefficients fiQf_i \in \mathbb{Q}, if the linear combination S=i=010fiBiS = \sum_{i=0}^{10} f_i B_i is a solution to the anomaly cancellation conditions, then the coefficient f3f_3 must be zero.

theorem

For any solution fiBi\sum f_i B_i in the 11D plane, f4=0f_4 = 0

#isSolution_f4

In the anomaly cancellation system for the 3-generation Standard Model with right-handed neutrinos and an additional U(1)U(1) gauge symmetry, let {Bi}i=010\{B_i\}_{i=0}^{10} be the basis vectors of the 11-dimensional plane in the rational charge space Q18\mathbb{Q}^{18}. For any sequence of rational coefficients fiQf_i \in \mathbb{Q}, if the linear combination i=010fiBi\sum_{i=0}^{10} f_i B_i satisfies the anomaly cancellation conditions, then the coefficient f4f_4 must be equal to zero, i.e., f4=0f_4 = 0.

theorem

For any solution fiBi\sum f_i B_i in the 11D plane, f5=0f_5 = 0

#isSolution_f5

Consider the anomaly cancellation system for the 3-generation Standard Model with right-handed neutrinos and an additional U(1)U(1) gauge symmetry. Let {Bi}i=010\{B_i\}_{i=0}^{10} be the basis vectors of the 11-dimensional plane in the rational charge space Q18\mathbb{Q}^{18}. If a charge configuration S=i=010fiBiS = \sum_{i=0}^{10} f_i B_i, where fiQf_i \in \mathbb{Q}, is a solution to the anomaly cancellation conditions, then the coefficient f5f_5 must be zero.

theorem

For any solution fiBi\sum f_i B_i in the 11D plane, f6=0f_6 = 0

#isSolution_f6

Consider the anomaly cancellation system for the 3-generation Standard Model with right-handed neutrinos and an additional U(1)U(1) gauge symmetry. Let {Bi}i=010\{B_i\}_{i=0}^{10} be the basis vectors of the 11-dimensional plane in the rational charge space Q18\mathbb{Q}^{18}. For any sequence of rational coefficients fiQf_i \in \mathbb{Q}, if the charge assignment S=i=010fiBiS = \sum_{i=0}^{10} f_i B_i is a solution to the anomaly cancellation conditions, then the coefficient f6f_6 must be zero.

theorem

For any solution fiBi\sum f_i B_i in the 11D plane, f7=0f_7 = 0

#isSolution_f7

Consider the anomaly cancellation system for the 3-generation Standard Model with right-handed neutrinos and an additional U(1)U(1) gauge symmetry. Let {Bi}i=010\{B_i\}_{i=0}^{10} be the basis vectors of the 11-dimensional plane in the rational charge space Q18\mathbb{Q}^{18}. If a charge assignment S=i=010fiBiS = \sum_{i=0}^{10} f_i B_i, where fiQf_i \in \mathbb{Q}, is a solution to the anomaly cancellation conditions, then the coefficient f7f_7 must be zero.

theorem

For any solution i=010fiBi\sum_{i=0}^{10} f_i B_i in the 11D plane, f8=0f_8 = 0

#isSolution_f8

Consider the anomaly cancellation system for the 3-generation Standard Model with right-handed neutrinos and an additional U(1)U(1) gauge symmetry. Let {Bi}i=010\{B_i\}_{i=0}^{10} be the basis vectors of the 11-dimensional plane in the rational charge space Q18\mathbb{Q}^{18}. If a charge assignment S=i=010fiBiS = \sum_{i=0}^{10} f_i B_i, where fiQf_i \in \mathbb{Q}, is a solution to the anomaly cancellation conditions, then the coefficient f8f_8 must be zero.

theorem

Solutions in the 11D plane satisfy S=f9B9+f10B10S = f_9 B_9 + f_{10} B_{10}

#isSolution_sum_part

In the anomaly cancellation system for the 3-generation Standard Model with right-handed neutrinos and an additional U(1)U(1) gauge symmetry, let {Bi}i=010\{B_i\}_{i=0}^{10} be the basis vectors of the 11-dimensional plane in the rational charge space Q18\mathbb{Q}^{18}. For any sequence of rational coefficients fiQf_i \in \mathbb{Q}, if the charge assignment S=i=010fiBiS = \sum_{i=0}^{10} f_i B_i is a solution to the anomaly cancellation conditions, then the sum reduces to the last two components: i=010fiBi=f9B9+f10B10 \sum_{i=0}^{10} f_i B_i = f_9 B_9 + f_{10} B_{10}

theorem

For any solution i=010fiBi\sum_{i=0}^{10} f_i B_i in the 11D plane, f10=3f9f_{10} = -3 f_9.

#isSolution_grav

In the anomaly cancellation system for the 3-generation Standard Model with right-handed neutrinos and an additional U(1)U(1) gauge symmetry, let {Bi}i=010\{B_i\}_{i=0}^{10} be the basis vectors of the 11-dimensional plane in the rational charge space Q18\mathbb{Q}^{18}. For any rational coefficients fiQf_i \in \mathbb{Q}, if the charge assignment S=i=010fiBiS = \sum_{i=0}^{10} f_i B_i is a solution to the anomaly cancellation conditions, then the coefficients of the last two basis vectors must satisfy the linear relation f10=3f9f_{10} = -3 f_9.

theorem

Solutions in the 11D plane satisfy S=f9B93f9B10S = f_9 B_9 - 3 f_9 B_{10}

#isSolution_sum_part'

In the anomaly cancellation system for the 3-generation Standard Model with right-handed neutrinos and an additional U(1)U(1) gauge symmetry, let {Bi}i=010\{B_i\}_{i=0}^{10} be the basis vectors of the 11-dimensional plane in the rational charge space Q18\mathbb{Q}^{18}. For any sequence of rational coefficients fiQf_i \in \mathbb{Q}, if the charge assignment S=i=010fiBiS = \sum_{i=0}^{10} f_i B_i is a solution to the anomaly cancellation conditions, then the sum reduces to a linear combination of the last two basis vectors involving only the coefficient f9f_9: i=010fiBi=f9B9+(3f9)B10 \sum_{i=0}^{10} f_i B_i = f_9 B_9 + (-3 f_9) B_{10}

theorem

Solutions in the 11D plane must have f9=0f_9 = 0

#isSolution_f9

In the anomaly cancellation system for the 3-generation Standard Model with right-handed neutrinos and an additional U(1)U(1) gauge symmetry, let {Bi}i=010\{B_i\}_{i=0}^{10} be the basis vectors of the 11-dimensional plane in the rational charge space Q18\mathbb{Q}^{18}. If a charge assignment S=i=010fiBiS = \sum_{i=0}^{10} f_i B_i is a solution to the anomaly cancellation conditions for some rational coefficients fiQf_i \in \mathbb{Q}, then the coefficient f9f_9 must be zero.

theorem

Solutions in the 11D plane must have f10=0f_{10} = 0

#isSolution_f10

In the anomaly cancellation system for the 3-generation Standard Model with right-handed neutrinos and an additional U(1)U(1) gauge symmetry, let {Bi}i=010\{B_i\}_{i=0}^{10} be the basis vectors of the 11-dimensional plane in the rational charge space Q18\mathbb{Q}^{18}. If a charge assignment S=i=010fiBiS = \sum_{i=0}^{10} f_i B_i is a solution to the anomaly cancellation conditions for some rational coefficients fiQf_i \in \mathbb{Q}, then the coefficient f10f_{10} must be zero.

theorem

All coefficients fkf_k of a solution in the 11D plane are zero

#isSolution_f_zero

In the anomaly cancellation system for the 3-generation Standard Model with right-handed neutrinos and an additional U(1)U(1) gauge symmetry, let {Bi}i=010\{B_i\}_{i=0}^{10} be the basis vectors of the 11-dimensional plane in the rational charge space Q18\mathbb{Q}^{18}. If a charge assignment S=i=010fiBiS = \sum_{i=0}^{10} f_i B_i (where fiQf_i \in \mathbb{Q}) is a solution to the anomaly cancellation conditions, then for every k{0,1,,10}k \in \{0, 1, \dots, 10\}, the coefficient fkf_k must be zero.

theorem

Any solution SS in the 11D plane must be 00

#isSolution_only_if_zero

In the anomaly cancellation system for the 3-generation Standard Model with right-handed neutrinos and an additional U(1)U(1) gauge symmetry, let {Bi}i=010\{B_i\}_{i=0}^{10} be the basis vectors of the 11-dimensional plane in the rational charge space Q18\mathbb{Q}^{18}. For any rational coefficients fiQf_i \in \mathbb{Q}, if the linear combination S=i=010fiBiS = \sum_{i=0}^{10} f_i B_i is a solution to the anomaly cancellation conditions, then SS must be the zero vector.

theorem

Linear Independence of the 11D Plane Basis {Bi}\{B_i\}

#basis_linear_independent

The set of eleven basis vectors {Bi}i=010\{B_i\}_{i=0}^{10} in the charge space of the 3-generation Standard Model with right-handed neutrinos (and an additional U(1)U(1) gauge symmetry) is linearly independent over the rational numbers Q\mathbb{Q}.

theorem

An 11D plane of charges exists where the only solution to the ACC system is the origin

#eleven_dim_plane_of_no_sols_exists

In the anomaly cancellation system for the 3-generation Standard Model with right-handed neutrinos and an additional U(1)U(1) gauge symmetry, there exists a set of eleven basis vectors {Bi}i=010\{B_i\}_{i=0}^{10} in the rational charge space Q18\mathbb{Q}^{18} that are linearly independent over Q\mathbb{Q}, such that for any rational coefficients fiQf_i \in \mathbb{Q}, if the linear combination S=i=010fiBiS = \sum_{i=0}^{10} f_i B_i is a solution to the anomaly cancellation conditions, then SS must be the zero vector.