Hestenes has shown that a bispinor field on a Minkowski space-time is equivalent to an orthonormal tetrad of one-forms together with a complex scalar field. More recently, the Dirac and Einstein equations were unified in a tetrad formulation of a Kaluza-Klein model which gives precisely the usual Dirac-Einstein Lagrangian. In this model, Dirac's bispinor equation is obtained in the limit for which the radius of higher compact dimensions of the Kaluza-Klein manifold becomes vanishingly small compared with the Planck length. For a small but finite radius, the Kaluza-Klein model predicts velocity splitting of single fermion wave packets. That is, the model predicts a single fermion wave packet will split into two wave packets with slightly different group velocities. Observation of such wave packet splits would determine the size of the Kaluza-Klein radius. If wave packet splits were not observed in experiments with currently achievable accuracies, the Kaluza-Klein radius would be at least twenty five orders of magnitude smaller than the Planck length.

An important feature of Kaluza-Klein theories is their ability to relate fundamental physical constants to the radii of higher dimensions. In previous Kaluza-Klein theory, which unifies the electromagnetic field with gravity as dimensionless components of a Kaluza-Klein metric, i) all fields have the same physical dimensions, ii) the Lagrangian has no explicit dependence on any physical constants except mass, and hence iii) all physical constants in the field equations except for mass originate from geometry. While it seems natural in Kaluza-Klein theory to add fermion fields by defining higher dimensional bispinor fields on the Kaluza-Klein manifold, these Kaluza-Klein theories do not satisfy conditions (i), (ii), and (iii). In this paper, we show how conditions (i), (ii), and (iii) can be satisfied by including bispinor fields in a tetrad formulation of the Kaluza-Klein model, as well as in an equivalent teleparallel model. This demonstrates an unexpected feature of Dirac's bispinor equation, since conditions (i), (ii), (iii) imply a special relation among the terms in the Kaluza-Klein or teleparallel Lagrangian that would not be satisfied in general.