-
Poisson commutator-anticommutator brackets for ray tracing and longitudinal imaging via geometric algebra
Authors:
Quirino M. Sugon Jr.,
Daniel J. McNamara
Abstract:
We use the vector wedge product in geometric algebra to show that Poisson commutator brackets measure preservation of phase space areas. We also use the vector dot product to define the Poisson anticommutator bracket that measures the preservation of phase space angles. We apply these brackets to the paraxial meridional complex height-angle ray vectors that transform via a 2x2 matrix, and we sho…
▽ More
We use the vector wedge product in geometric algebra to show that Poisson commutator brackets measure preservation of phase space areas. We also use the vector dot product to define the Poisson anticommutator bracket that measures the preservation of phase space angles. We apply these brackets to the paraxial meridional complex height-angle ray vectors that transform via a 2x2 matrix, and we show that this transformation preserves areas but not angles in phase space. The Poisson brackets here are expressed in terms of the coefficients of the ABCD matrix. We also apply these brackets to the distance-height ray vectors measured from the input and output sides of the optical system. We show that these vectors obey a partial Moebius transformation, and that this transformation preserves neither areas nor angles. The Poisson brackets here are expressed in terms of the transverse and longitudinal magnifications.
△ Less
Submitted 16 December, 2008;
originally announced December 2008.
-
A geometric algebra reformulation of 2x2 matrices: the dihedral group D_4 in bra-ket notation
Authors:
Quirino M. Sugon Jr.,
Carlo B. Fernandez,
Daniel J. McNamara
Abstract:
We represent vector rotation operators in terms of bras or kets of half-angle exponentials in Clifford (geometric) algebra Cl_{3,0}. We show that SO_3 is a rotation group and we define the dihedral group D_4 as its finite subgroup. We use the Euler-Rodrigues formulas to compute the multiplication table of D_4 and derive its group algebra identities. We take the linear combination of rotation ope…
▽ More
We represent vector rotation operators in terms of bras or kets of half-angle exponentials in Clifford (geometric) algebra Cl_{3,0}. We show that SO_3 is a rotation group and we define the dihedral group D_4 as its finite subgroup. We use the Euler-Rodrigues formulas to compute the multiplication table of D_4 and derive its group algebra identities. We take the linear combination of rotation operators in D_4 to represent the four Fermion matrices in Sakurai, which in turn we use to decompose any 2x2 matrix. We show that bra and ket operators generate left- and right-acting matrices, respectively. We also show that the Pauli spin matrices are not vectors but vector rotation operators, except for σ_2 which requires a subsequent multiplication by the imaginary number i geometrically interpreted as the unit oriented volume.
△ Less
Submitted 23 November, 2008;
originally announced November 2008.
-
Taxonomy of Clifford Cl_{3,0} subgroups: Choir and band groups
Authors:
Quirino M. Sugon Jr.,
Daniel J. McNamara
Abstract:
We list the subgroups of the basis set of Cl_{3,0} and classify them according to three criteria for construction of universal Clifford algebras: (1) each generator squares to +1 or -1, (2) the generators within the group anticommute, and (3) the order of the resulting group is 2^{n+1}, where n is the number of nontrivial generators. Obedient groups we call choirs; disobedient groups, bands. We…
▽ More
We list the subgroups of the basis set of Cl_{3,0} and classify them according to three criteria for construction of universal Clifford algebras: (1) each generator squares to +1 or -1, (2) the generators within the group anticommute, and (3) the order of the resulting group is 2^{n+1}, where n is the number of nontrivial generators. Obedient groups we call choirs; disobedient groups, bands. We classify choirs by modes and bands by rhythms, based on canonical equality. Each band generator has a transposition (number of other generators it commutes with). The band's transposition signature is the band's chord. The sum of transpositions divided by twice the number of generator pair combinations is the band's beat. The band's order deviation is the band's disorder. For n less than or equal 3, we show that the Cl_{3,0} basis set has 21 non-isomorphic subgroups consisting of 9 choirs and 12 bands.
△ Less
Submitted 2 September, 2008;
originally announced September 2008.
