Preprint
Article

This version is not peer-reviewed.

Application of Extended Dirac Equation to Photon–Electron Interactions and Electron–Positron Collision Processes: A Quantum Theoretical Approach Using a 256 × 256 Matrix Representation

Submitted:

14 January 2026

Posted:

15 January 2026

You are already at the latest version

Abstract
We propose a novel theoretical framework for describing photon--electron interactions and electron collision processes in a unified manner within quantum electrodynamics. Specifically, we develop a method to construct the Dirac operator in curved spacetime using only matrix representations rooted in the basis structure of four-dimensional gamma matrix algebra, without introducing vierbeins (tetrads) or independent spin connections. We realize 16 gamma matrices with two indices as $256\times256$ matrices and embed the spacetime metric directly into the matrix elements. This reduces geometric operations such as covariantization, connection-like operations, and basis transformations to matrix products and trace calculations, yielding a unified and transparent computational scheme. The spacetime dimension remains four, and the number ``16'' represents the number of basis elements of four-dimensional gamma matrix algebra ($2^{4}=16$). Based on the extended QED Lagrangian, vertex rules, propagators, spin sums, and traces can be handled uniformly, making it suitable for automation. As validation of this method, we analyzed four fundamental scattering processes in atomic and particle physics: (i) Compton scattering (photon--electron scattering), (ii) muon pair production ($e^+e^-\to\mu^+\mu^-$), (iii) M{\o}ller scattering (electron--electron collision), and (iv) Bhabha scattering (electron--positron collision). In the flat spacetime limit, we confirmed exact reproduction of standard quantum electrodynamics (QED) results including the Klein--Nishina formula. Furthermore, trial calculations using a metric with off-diagonal components show systematic deviations from flat results near scattering angle $\theta\approx90^{\circ}$, suggesting that metric-induced angular dependence could in principle serve as an observable signature. The matrix representation developed in this work enables unified pipeline execution of theoretical calculations for photon interactions and charged particle collision processes, with expected applications to precision calculations in atomic and particle physics.
Keywords: 
;  ;  ;  ;  ;  ;  

1. Introduction

1.1. Background and Motivation

Photon–electron interactions and electron–electron/electron–positron collision processes constitute fundamental phenomena underlying atomic and particle physics. Compton scattering is indispensable for understanding interactions between X-rays or γ -rays and matter, and is widely used in analyzing radiation processes in astrophysical and laboratory plasmas [1,2]. Møller and Bhabha scattering serve as fundamental processes in electron beam experiments, playing important roles in accelerator physics and atomic collision experiments.
In relativistic quantum mechanics, these scattering processes are described by quantum electrodynamics (QED) based on the Dirac equation. In flat spacetime (Minkowski spacetime), an established theoretical framework exists [1,2]. However, how to extend the Dirac equation to curved spacetime in the presence of gravitational fields remains an important research topic [3,4].
The standard formulation of spinor fields in curved spacetime introduces vierbeins (tetrads) e a μ ( x ) and spin connections ω μ a b ( x ) [5,6]. While theoretically complete, practical scattering calculations often encounter the following difficulties:
  • The choice of vierbein is not unique, potentially complicating calculations.
  • The introduction of spin connections can obscure the correspondence with calculation rules in flat spacetime.
  • Automation of numerical calculations becomes difficult.

1.2. Relevance to Atomic Physics and Collision Process Research

The method developed in this work can contribute to atomic physics and collision process research in the following aspects:
1.
Precision calculations of photon interactions: Cross-section calculations for Compton scattering are directly applicable to X-ray source and γ -ray detector design, dose calculations in medical physics, and related areas. This method enables systematic correction calculations including metric effects.
2.
Theoretical foundation for electron collision data: Precise theoretical calculations of Møller and Bhabha scattering are essential for luminosity measurements and detector calibration in electron beam experiments.
3.
Extension to exotic systems: Analysis of muon pair production connects to research on μ + μ atoms (muonium), exotic atoms, and applications in high-energy cosmic ray physics.
4.
Automation of calculations: In this method, geometric operations such as covariantization, connection-like operations, and basis transformations reduce to matrix products and trace calculations, facilitating automation of numerical calculations.

1.3. Our Approach: Metric Internalization into Matrices

To avoid these difficulties, we propose a new approach in this work. The basic idea is to embed the spacetime metric g μ ν ( x ) directly into gamma matrices. This enables construction of the Dirac equation in curved spacetime without explicitly introducing vierbeins.
Specifically, we extend the conventional 4 × 4 gamma matrices γ μ (4 matrices) and introduce 16 256 × 256 matrices Γ μ ν . The key points are:
  • The spacetime dimension remains 4; no extra dimensions are introduced.
  • The number “16” corresponds to the number of basis elements of four-dimensional Dirac algebra ( 2 4 = 16 ).
  • The metric tensor is incorporated as coefficients of the matrices.

1.4. Outline of the Formulation

This formulation proceeds through the following steps.

Step 1: Introduction of Two-Index Gamma Matrices

We construct constant (position-independent) basis matrices Γ μ ν ( μ , ν = 0 , 1 , 2 , 3 ) as 256 × 256 matrices.

Step 2: Metric Internalization

Using the spacetime metric g μ ν ( x ) , we define position-dependent gamma matrices as
Γ μ ν ( x ) : = Γ μ ρ g ρ ν ( x ) .
This internalizes the metric information into the gamma matrix side.

Step 3: Construction of Effective Gamma Matrices

By summing the above 16 matrices along columns, we define the effective gamma matrices
Γ ^ ν ( x ) : = μ = 0 3 Γ μ ν ( x ) .
These 4 effective gamma matrices become the basic building blocks for the Dirac equation in curved spacetime.

Step 4: Dirac Operator

Using the effective gamma matrices, we extend the slash notation as
p ( x ) : = Γ ^ ν ( x ) p ν
and define the Dirac operator as
D ( x ) : = Γ ^ ν ( x ) ν .
The slash notation (Equation (3)) and Dirac operator (Equation (4)) form the foundation of this extended formalism.

1.5. Consistency with Flat Spacetime

An important property of this approach is that it exactly reproduces standard results in the flat spacetime limit. When the metric approaches the Minkowski metric, g μ ν ( x ) η μ ν , we have
Γ μ ν ( x ) Γ μ ρ η ρ ν , Γ ^ ν ( x ) μ Γ μ ρ η ρ ν ,
and under appropriate normalization, the 256 × 256 representation matches the standard 4 × 4 representation.
We numerically verified this consistency for all scattering processes treated in this paper:
  • Compton scattering (photon–electron scattering) (Section 5);
  • Muon pair production (Appendix B);
  • Møller scattering (electron–electron collision) (Appendix C);
  • Bhabha scattering (electron–positron collision) (Appendix D).
In each case, we confirmed agreement with standard QED results [1,2,8] including the Klein–Nishina formula [7].

1.6. Main Contributions of This Work

The main contributions of this paper are as follows:
1.
New formulation: Construction of two-index gamma matrices directly embedding the metric, and introduction of matrix-valued Dirac operator based on effective gamma Γ ^ μ ( x ) (Equation (2)).
2.
Systematization of calculations: Feynman rules derived from the extended QED Lagrangian (Equation (5)) and procedures suitable for automation.
3.
Numerical verification: Trial calculations using a metric with off-diagonal components (toy model) showing that characteristic corrections can appear in the angular dependence of differential cross sections, while confirming exact agreement in the flat limit [9,10,11].

1.7. Comparison of Conventional and Extended Dirac Equations

To visualize the structure of the proposed method, we compare the conventional Dirac equation with the extended version in matrix form.

Conventional Dirac Equation (Flat Spacetime)

In flat spacetime, using 4 4 × 4 gamma matrices γ μ ,
i γ μ μ m ψ ( x ) = 0 .
The gamma matrices satisfy
{ γ μ , γ ν } = 2 η μ ν I 4 , η μ ν = diag ( + 1 , 1 , 1 , 1 ) .
In flat spacetime, since η μ ν is diagonal, a diagonal arrangement of gamma matrices suffices.

Extended Dirac Equation (Curved Spacetime)

In curved spacetime, the metric g μ ν ( x ) generally has off-diagonal components. To accommodate this, we use 16 256 × 256 matrices Γ μ ν and multiply directly by the metric:
i Γ μ ρ g ρ ν ( x ) ν m I 256 = i Γ μ ν ( x ) ν m I 256
where Γ μ ν ( x ) : = Γ μ ρ g ρ ν ( x ) .
The advantages of this construction are:
  • Off-diagonal components of the metric are naturally incorporated.
  • No need to explicitly introduce vierbeins.
  • Calculation rules are unified through matrix products and traces.
  • Standard results are automatically recovered in the flat limit.

1.8. Paper Organization

The remainder of this paper is organized as follows. Section 2 provides the explicit construction of the 256 × 256 matrix representation. Section 3 discusses consistency under general coordinate transformations. Section 4 introduces the extended QED Lagrangian and corresponding Feynman rules. Section 5 calculates Compton scattering as a representative example and compares with flat spacetime results. Section 6 discusses the focus, scope of applicability, advantages, and limitations of this method, and Section 7 presents conclusions. Additional processes (muon pair production, Møller scattering, Bhabha scattering) and Mathematica code are summarized in the appendices.

2. Construction of the 256 × 256 Matrix Representation

2.1. Why a 256 × 256 Representation with 16 Basis Matrices Is Needed

This section explains the construction of the 256 × 256 matrix representation and clarifies why it is needed and what mathematical background underlies it.

2.1.0.7. Number of Dirac Algebra Basis Elements

In four-dimensional spacetime, the Dirac (gamma matrix) algebra has 2 4 = 16 independent basis elements. In the conventional 4 × 4 representation, these are expressed as products of 4 γ μ matrices.

Motivation for Two-Index Representation

In this work, we multiply the metric g μ ν ( x ) directly into the gamma matrices. For this purpose, we label gamma matrices with two indices ( μ , ν ) . Since μ , ν = 0 , 1 , 2 , 3 , there are 4 × 4 = 16 combinations, corresponding to the “16 basis matrices” used in this work.

Why 256 × 256

To explicitly realize each basis matrix Γ μ ν , we use Kronecker (tensor) products of Pauli matrices. An 8-fold tensor product of 2 × 2 matrices gives
2 8 = 256 ,
hence we obtain a 256 × 256 matrix representation. This construction yields 16 mutually independent basis matrices satisfying the required anticommutation relations.

2.2. Kronecker Product Construction Using Pauli Matrices

Using the 2 × 2 identity matrix e and Pauli matrices
σ x = 0 1 1 0 , σ y = 0 i i 0 , σ z = 1 0 0 1
as building blocks, we construct the basis matrices via 8-fold Kronecker products (⊗):
Γ 0 0 = σ x σ x σ x σ x σ x σ x σ x σ x Γ 0 1 = i σ x σ x σ x σ x σ x σ x σ x σ y Γ 0 2 = i σ x σ x σ x σ x σ x σ x σ x σ z Γ 0 3 = i σ y σ z σ z σ z σ z σ z σ z σ z Γ 1 0 = i σ x σ x σ y σ z σ z σ z σ z σ z Γ 1 1 = i σ x σ x σ x σ x σ z σ z σ z σ z Γ 1 2 = i σ x σ x σ x σ x σ x σ z σ z σ z Γ 1 3 = i σ x σ x σ x σ x σ x σ x σ y σ z Γ 2 0 = i σ z σ z σ z σ z σ z σ z σ z σ z Γ 2 1 = i σ x σ x σ x σ x σ y σ z σ z σ z Γ 2 2 = i σ x σ x σ x σ y σ z σ z σ z σ z Γ 2 3 = i σ x σ x σ x σ x σ x σ y σ z σ z Γ 3 0 = i σ x σ y σ z σ z σ z σ z σ z σ z Γ 3 1 = i σ x σ z σ z σ z σ z σ z σ z σ z Γ 3 2 = i σ x σ x σ x σ z σ z σ z σ z σ z Γ 3 3 = i σ x σ x σ z σ z σ z σ z σ z σ z
This construction follows standard references on Clifford algebras and spinors [12,13,14,15].

2.3. Anticommutation Relations

The 16 basis matrices satisfy the following anticommutation relation:
{ Γ μ ν , Γ ρ σ } = 2 δ ν σ η μ ρ I 256 .
This can be interpreted as follows:
  • When right indices match ( ν = σ ): For each fixed column index, { Γ μ ν , Γ ρ ν } = 2 η μ ρ I 256 holds. Thus, μ = ρ = 0 gives + 2 I 256 , μ = ρ = i ( i = 1 , 2 , 3 ) gives 2 I 256 , and μ ρ gives 0.
  • When right indices differ ( ν σ ): { Γ μ ν , Γ ρ σ } = 0 .
Lowering indices via Γ μ ν : = Γ μ α η α ν , Equation (7) equivalently becomes
{ Γ μ ν , Γ ρ σ } = 2 η μ ρ η ν σ I 256 .
This covariant form is useful for checking index consistency.

2.4. Metric Internalization and Effective Gamma Matrices

The spacetime metric g μ ν ( x ) is internalized into the matrix side through the mixed-index basis Γ μ ν :
Γ μ ν ( x ) Γ μ ρ g ρ ν ( x ) .
Upper-index forms are defined as
Γ μ ν ( x ) g μ ρ ( x ) Γ ρ ν ( x ) , Γ μ ν ( x ) g μ ρ ( x ) g ν σ ( x ) Γ ρ σ ( x ) .
By Equation (2), the effective gamma matrices are defined as
Γ ^ ν ( x ) μ = 0 3 Γ μ ν ( x ) .
This operation combines the 16 basis matrices along columns, yielding 4 matrices that serve as the fundamental objects for the Dirac equation in curved spacetime.
The slash notation is
p ( x ) Γ ^ ν ( x ) p ν ,
and thus the matrix-valued Dirac operator
D ( x ) Γ ^ ν ( x ) ν
is naturally obtained. Calculations can be performed through matrix products and traces (see also [16,17] for related motivations in geometric algebra).

2.5. Anticommutation Relation for Effective Gamma

From Γ μ ν ( x ) = Γ μ ρ g ρ ν ( x ) and Γ ^ ν ( x ) = μ Γ μ ν ( x ) , the effective gamma satisfies
{ Γ ^ μ ( x ) , Γ ^ ν ( x ) } = 2 g μ ν ( x ) I 256 .
Importantly, metric weighting occurs only once (at the stage Γ μ ν ( x ) = Γ μ ρ g ρ ν ( x ) ). No additional weighting is applied during the column sum for Γ ^ ν ( x ) . This ensures the right-hand side is linear in g μ ν ( x ) , avoiding double counting equivalent to g 2 .
In the flat limit g μ ν η μ ν , we recover { Γ ^ μ , Γ ^ ν } 2 η μ ν I 256 , corresponding to the standard 4 gamma matrices.

2.6. Numerical Verification

Using the Mathematica program shown in Appendix E, we numerically verified Equations (7) and (9) through determinant checks (orthogonality and scale 2 256 ) and trace checks (including signs of η μ ρ ). Under appropriate phase normalization, { Γ μ ν , Γ ρ σ } = 2 δ ν σ η μ ρ I 256 is numerically confirmed.

2.7. Slash Identity and Propagator Kernel

Let p ( x ) = Γ ^ ν ( x ) p ν . Then the slash identity holds:
p ( x ) p ( x ) = 1 2 { Γ ^ μ ( x ) , Γ ^ ν ( x ) } p μ p ν = g μ ν ( x ) p μ p ν I 256 p 2 ( x ) I 256 ,
yielding ( p m ) ( p + m ) = p 2 m 2 . Thus the fermion propagator is
S F ( p ; x ) = i ( p ( x ) m + i ϵ ) 1 , p 2 ( x ) = g μ ν ( x ) p μ p ν .

2.8. Note on Normalization

When comparing with the standard 4 × 4 formalism, one must track normalization factors arising from the difference between tr 256 ( I 256 ) = 256 and tr 4 ( I 4 ) = 4 . In the flat limit, fixing trace normalization yields a unique correspondence between 256 × 256 results and standard 4 × 4 formulas.

3. Consistency Under General Coordinate Transformations

The metric tensor appearing in Equation (5)
g μ ν ( x ) = g 00 ( x ) g 01 ( x ) g 02 ( x ) g 03 ( x ) g 10 ( x ) g 11 ( x ) g 12 ( x ) g 13 ( x ) g 20 ( x ) g 21 ( x ) g 22 ( x ) g 23 ( x ) g 30 ( x ) g 31 ( x ) g 32 ( x ) g 33 ( x )
transforms under general coordinate transformations
x μ x μ = x μ ( x )
as a rank-2 covariant tensor:
g α β ( x ) = x μ x α x ν x β g μ ν ( x ) .
The inverse metric transforms as
g α β ( x ) = x α x μ x β x ν g μ ν ( x ) , g μ ν g ν ρ = δ μ ρ .
Under these transformation rules, physical scalars (inner products, actions, d s 2 = g μ ν d x μ d x ν ) are invariant, and the 4 × 4 matrix representation constructed from metric components behaves covariantly according to tensor transformation rules.
The effective gamma matrices transform as covariant vectors:
Γ ^ α ( x ) = x ν x α Γ ^ ν ( x ) .
Here the basis matrices Γ μ ν themselves are fixed, and their coefficients change. Equation (9) preserves its form under this transformation, and p = Γ ^ ν p ν remains a scalar.

4. Extended QED Lagrangian and Feynman Rules

In this section, we use the matrix-valued Dirac operator defined in the previous section
D ( x ) = Γ ^ ν ( x ) ν , Γ ^ ν ( x ) = μ = 0 3 Γ μ ν ( x ) , Γ μ ν ( x ) = Γ μ ρ g ρ ν ( x )
and adopt QED-type minimal coupling to the electromagnetic field. Gravitational (metric) effects are internalized into the matrix side through Γ μ ν ( x ) and Γ ^ ν ( x ) .

4.1. Extended QED Lagrangian

The Lagrangian density is
L = Ψ ¯ i Γ ^ ν ( x ) ν + i e A ν ( x ) m Ψ 1 4 F μ ν F μ ν ,
where F μ ν = μ A ν ν A μ , and index raising/lowering is done with g μ ν ( x ) and its inverse g μ ν ( x ) . In the flat limit g μ ν ( x ) η μ ν , Γ ^ ν ( x ) reduces to the flat reference γ ^ ν , and standard QED is recovered.

4.2. Feynman Rules

The Feynman rules are derived from the extended QED Lagrangian (Equation (12)). The rules used in this paper’s calculations (processing external line spin sums via traces) are:
  • Vertex: i e Γ ^ ν ( x ) . Here ν is the Lorentz index of the external photon. The effective gamma Γ ^ ν ( x ) is used directly as the vertex operator.
  • Fermion propagator: S F ( p ) = i ( p m + i ϵ ) 1 , where p ( x ) Γ ^ ν ( x ) p ν . Kinematic invariants are evaluated with g μ ν ( x ) (e.g., p · q = g μ ν ( x ) p μ q ν ).
  • Photon propagator (Feynman gauge):
    D μ ν ( k ) = i g μ ν ( x ) k 2 + i ϵ , k 2 : = g α β ( x ) k α k β .

4.3. Calculation Procedure

Actual scattering calculations can be implemented roughly in 3 steps:
1.
Convert spinor sums to traces.
2.
Reduce amplitudes to matrix products and trace evaluations.
3.
Construct kinematic invariants using g μ ν ( x ) .
In the flat limit, standard formulas are exactly reproduced. For metrics with off-diagonal components, parameter substitution allows efficient scanning of angular dependence.
In the numerical examples of this paper, we used a toy model with numerical values for metric components and evaluated scattering formulas with Mathematica (see Appendix E).

5. Scattering Calculation Methods and Comparison of Results

5.1. Overview of Calculation Methods

To calculate quantum electromagnetic processes for Compton scattering, we compare the following 3 methods:
1.
Conventional method (A): Scattering calculation using 4 × 4 γ matrices in Minkowski spacetime.
2.
Extended matrix method (B): Scattering calculation using 16 256 × 256 Γ matrices in Minkowski spacetime.
3.
Present method (C): Scattering calculation using 16 256 × 256 effective matrices Γ ^ in curved background.
All follow the corresponding Feynman rules and were calculated using Mathematica.

5.2. Compton Scattering ( γ + e γ + e )

5.2.1. Conventional Method (A)

In the conventional method, the Compton scattering cross section in Mandelstam variables is [2]:
d σ = d t π e 4 ( s m 2 ) 2 [ f ( s , u ) + g ( s , u ) + f ( u , s ) + g ( u , s ) ] .
Each term is defined by trace expressions:
f ( s , u ) = 1 4 ( s m 2 ) 2 · Tr ( ¬ p + m ) γ μ ( ¬ p + ¬ k + m ) γ ν ( ¬ p + m ) γ ν ( ¬ p + ¬ k + m ) γ μ ,
g ( s , u ) = 1 4 ( s m 2 ) ( u m 2 ) · Tr ( ¬ p + m ) γ μ ( ¬ p + ¬ k + m ) γ ν ( ¬ p + m ) γ μ ( ¬ p ¬ k + m ) γ ν .
Evaluating these traces:
f ( s , u ) = 8 ( m 4 + m 2 ( 3 s + u ) s u ) ,
g ( s , u ) = 8 ( m 4 + m 2 ( s + 3 u ) s u ) ,
f ( u , s ) = 8 m 2 ( 2 m 2 + s + u ) ,
g ( u , s ) = 8 m 2 ( 2 m 2 + s + u ) .
From this, the Klein–Nishina formula [2,7] is obtained:
d σ = r e 2 2 ω ω 2 ω ω + ω ω sin 2 θ d θ .
The Klein–Nishina formula serves as the benchmark for validating the extended formalism.

5.2.2. Extended Matrix Method (B)

Using the 256 × 256 Γ matrices, the trace results are:
f ( s , u ) = 512 ( m 4 + m 2 ( 3 s + u ) s u )
g ( s , u ) = 512 ( m 4 + m 2 ( s + 3 u ) s u )
f ( u , s ) = 512 m 2 ( 2 m 2 + s + u )
g ( u , s ) = 512 m 2 ( 2 m 2 + s + u ) .
These are 64 times larger ( 256 / 4 = 64 ), corresponding to the difference in trace normalization. With appropriate normalization, they match the conventional method.

5.2.3. Present Method (C)

As a trial calculation for curved background, we assume a toy metric with off-diagonal components:
g μ ν = 1 1 20 1 10 0 1 20 10 9 0 0 1 10 0 10 9 0 0 0 0 10 9 .
This toy metric intentionally includes off-diagonal components to demonstrate that the scattering cross section is sensitive to coordinate geometry. Since the resulting expression is lengthy, we performed concrete numerical evaluation for γ c = 0.173 and derived the laboratory-frame differential cross section.

5.2.4. Comparison of Results

For γ c = 0.173 , methods A ( 4 × 4 ) and B ( 256 × 256 in flat spacetime) exactly agree algebraically, confirming that the proposed matrix representation is strictly consistent with the flat reference.
Method C ( 256 × 256 representation in curved background) is shown as a toy model result under the local-constant-metric (LCM) approximation, using oblique coordinates with constant coefficients (including off-diagonal components). As shown in Figure 1, when visualizing directly with coordinate angle θ , a small deviation appears near θ 90 . This is because off-diagonal metric components change the geometric meaning of coordinate angles, showing that geometric information associated with the chosen coordinate system is reflected in angular dependence.
For methods A and B (flat reference), the differential cross section is:
d σ d Ω = 0.125 1.45043 cos θ 2.40586 3 + cos 2 θ + 0.173 cos 3 θ 1.173 + 0.173 cos θ 3 .
On the other hand, method C gives
d σ d Ω = 5.73001 × 10 20 1.51376 × 10 20 3.44859 × 10 20 1.173 0.173 cos θ + 2.06309 × 10 20 ( 1.173 0.173 cos θ ) 2 + 4.62567 × 10 18 ( 1.173 0.173 cos θ ) 3 .
The difference between flat and curved background results demonstrates that this framework has sensitivity to metric geometry.

6. Discussion and Limitations

6.1. Focus of This Work

The main purpose of this paper is to internalize the metric g μ ν ( x ) into matrices and present the extended Dirac operator
D ( x ) = i Γ ^ ν ( x ) ν m
and matrix/trace-based calculation rules. Here
Γ ^ ν ( x ) : = μ = 0 3 Γ μ ν ( x ) , Γ μ ν ( x ) : = Γ μ ρ g ρ ν ( x ) ,
and the basis matrices Γ μ ν are constant 256 × 256 matrices. This paper focuses on the definition and operational rules of this construction; fully curved treatment including connection coefficients and complete position dependence is left for future work.
Note that the indices μ , ν of Γ μ ν are basis labels, not tensor indices, and Γ μ ν itself is a fixed, position-independent matrix (Equation (6)).

6.2. Scope of Applicability

1.
Consistency in flat limit: For g μ ν η μ ν , D ( x ) matches the standard 4 × 4 formalism under unique correspondence via trace normalization. We numerically confirmed exact agreement for tree-level processes including Compton scattering [1,7].
2.
Local-constant-metric (LCM) approximation: When g μ ν ( x ) varies slowly, approximating g μ ν as roughly constant in small regions is possible. Under this approximation, D ( x ) is operationally useful, and results from each region can be appropriately weighted to estimate position-dependent effects (the toy model in this paper adopts this stance).

6.3. Computational Advantages

1.
Rules are unified through matrix products and traces, suitable for automation. Implementations can be shared across processes (effective gamma and spin sums → traces).
2.
With trace normalization fixed, direct comparison with flat reference formulas is possible.
3.
Parameter scanning over metric components is easy, enabling reproducible numerical verification.

6.4. Limitations and Future Work

1.
Loop calculations and renormalization: Whether transparency comparable to conventional methods can be maintained while keeping background treatment consistent is a future consideration [3,4].
2.
Position-dependent backgrounds: Beyond the LCM approximation, we plan to implement first-order corrections in perturbative situations like weak gravity or gravitational waves, systematically identifying processes and scales where deviations can appear.
3.
Fully covariant derivatives: Extension to general covariant form including connection coefficients { ν ρ σ } ( x ) is needed.
Overall, this method is a practical alternative focusing on presenting the operator and calculation rules. It enables rapid, reproducible calculations based on matrix algebra while maintaining consistency with flat reference formulas.

7. Conclusions

In this work, we defined the extended Dirac operator
D ( x ) = i Γ ^ ν ( x ) ν m
using 256 × 256 two-index gamma matrix representation with metric components internalized into the matrix side. The spacetime dimension remains 4, and geometric information is encoded as matrix coefficients. We also presented calculation rules reducing scattering calculations to matrix products and traces.
In the flat limit, standard results are reproduced under unique correspondence determined by trace normalization. As representative examples, we performed trial numerical verification for Compton scattering in the main text, and for Møller scattering, Bhabha scattering, and muon pair production in the appendices. In the toy model under LCM approximation, we showed that off-diagonal metric components can induce characteristic corrections in the angular dependence of scattering cross sections.
Fully curved treatment, namely general covariant form including connection coefficients { ν ρ σ } ( x )
D cov ( x ) = i Γ ^ ν ( x ) ν + { ν ρ σ } ( x ) m
is left for future work.
The advantages of this framework are: (i) automation and reproducibility, (ii) direct comparability with flat reference formulas, and (iii) ease of parameter scanning over metric components. Future directions include: systematization under action density including g , refinement of anticommutation properties of effective gamma Γ ^ ν ( x ) , introduction of first-order corrections in position-dependent backgrounds (weak gravity, gravitational waves), and examination of loop calculations and renormalization.

Supplementary Materials

The Mathematica codes and calculation outputs used in this research are available from the following repository: Zenodo archive: https://zenodo.org/records/17389028

Acknowledgments

The editing and English translation of this paper utilized Claude Opus 4.5, a large language model by Anthropic. We express our gratitude here.

Appendix A. Overview of Additional Scattering Processes

In this appendix, we compare how the framework based on 16 effective gamma matrices Γ ^ operates in specific scattering processes, alongside results from conventional 4 × 4 gamma matrices. For metric components, we adopt a toy model with explicitly given numerical values, particularly using Equation (A8).
Below, we treat muon pair production in e + e collisions, presenting analytical expressions for differential and total cross sections. We also perform similar comparisons for Møller and Bhabha scattering, visualizing angular-dependent differences.
Notation and conventions (metric signature, normalization, momentum assignments, spinor phase conventions, etc.) follow the main text. When showing high-energy limits, those approximations are used; otherwise, general formulas expressed in invariants are given. The trial results presented suggest that dependence on the specific toy metric is small, and verification would be difficult without high-precision experiments. Details of derivations and numerical implementations are provided in the Mathematica repository in Appendix E.

Appendix B. Muon Pair Production in e+ e Collisions (e+ + e μ+ + μ)

As with the Compton scattering example, we compare muon pair production leading-order results between (i) calculation using 4 × 4 gamma matrices in four-dimensional Minkowski spacetime and (ii) results using 16 256 × 256 effective matrices Γ ^ in curved background, visualizing any differences.

Appendix B.1. Minkowski Spacetime Calculation with 4×4 γ Matrices

The unpolarized squared scattering amplitude is given by:
| M | 2 = 1 4 e 4 q 4 Tr ( p m ) γ μ ( p + m ) · Tr ( κ + M ) γ μ ( * * κ * * M ) γ ν ,
which in Mandelstam variables becomes:
| M | 2 = 1 8 m 2 M 2 e 2 s 2 t 2 + u 2 + 4 ( m 2 + M 2 ) s 2 ( m 2 + M 2 ) 2 ,
where m and M are the electron and muon masses, respectively. In the high-energy regime of the center-of-mass system ( s m 2 , M 2 ), masses can be neglected, and the unpolarized amplitude becomes:
| M | 2 = 1 2 e 2 s 2 ( t 2 + u 2 ) .
Using kinematic relations:
t = 1 2 s ( 1 cos θ ) , u = 1 2 s ( 1 + cos θ ) ,
and the differential cross section formula:
d σ ¯ d Ω = 1 64 π s | M | 2 ,
the final result is:
d σ ¯ d Ω = 1 4 α 2 s ( 1 + cos 2 θ ) ,
where α = e 2 / 4 π .
Integrating over scattering angle, the total cross section is [1]:
σ ¯ ( e + e + μ + μ + ) = 4 π α 2 3 s = 1.33333 π α 2 s .

Appendix B.2. Trial Calculation Using 16 256×256 Effective Matrices Γ ^ in Curved Background

As with the Compton scattering calculation, we adopt the toy metric:
g μ ν = 1 1 20 1 10 0 1 20 10 9 0 0 1 10 0 10 9 0 0 0 0 10 9 .
A representative example obtained with this choice is:
d σ ¯ d Ω = 8103617490588876123937 α 2 30083573867060726457376 s 371011893098098217579 α 2 cos θ 15041786933530363228688 s + 6196145656745290669593 α 2 cos 2 θ 30083573867060726457376 s .
Integrating over θ , the total cross section is:
σ ¯ ( e + e + μ + μ + ) = 22403380637923042917467 π α 2 16922010300221658632274 s 1.32400 π α 2 s .
For comparison visualization, both are plotted in Figure A1.
Figure A1 shows that the conventional formula and trial results of this method nearly overlap. This suggests that this process is relatively insensitive to the adopted toy metric. Therefore, even with e + e collision experiments available at accelerators, significant improvement in experimental precision would likely be needed to verify this framework through this process.
Figure A1. Trial example of muon pair production in e + e collisions.
Figure A1. Trial example of muon pair production in e + e collisions.
Preprints 194257 g0a1

Appendix C. Møller Scattering (e - +e - →e - +e - )

For Møller scattering, we present and compare (i) leading-order results obtained with conventional 4 × 4 gamma matrices in Minkowski spacetime and (ii) results obtained with 16 256 × 256 effective matrices Γ ^ in curved background.

Appendix C.1. Møller Scattering in Minkowski Spacetime with 4×4 γ Matrices

At leading order, the Møller scattering cross section in Mandelstam variables is
d σ = d t 4 π e 4 ( s 4 m 2 ) 2 [ f ( t , u ) + g ( t , u ) + f ( u , t ) + g ( u , t ) ] .
Following [2], the trace expressions are defined as
f ( t , u ) = 1 16 t 2 · Tr ( * * κ * * + m ) γ μ ( κ + m ) γ ν · Tr ( * * p * * + m ) γ μ ( p + m ) γ ν , g ( t , u ) = 1 16 t u · Tr ( * * κ * * + m ) γ μ ( κ + m ) γ ν ( * * p * * + m ) γ μ ( p + m ) γ ν .
Substituting into Equation (A11):
f ( t , u ) = 1 t 2 s 2 + u 2 2 + 4 m 2 ( t m 2 ) , g ( t , u ) = g ( u , t ) = 2 t u s 2 m 2 s 2 3 m 2 .
In the ultra-relativistic limit ( p 2 ϵ 2 ), the differential cross section is [2]
d σ = r e 2 m 2 ϵ 2 1 4 ( 3 + cos 2 θ ) 2 sin 4 θ d Ω = r e 2 m 2 ϵ 2 1 16 ( 7 + cos 2 θ ) 2 csc 4 θ d Ω .

Appendix C.2. Trial Calculation in Curved Background Using 16 256×256 Effective Matrices Γ ^

Here we show only ultra-relativistic results ( p 2 ϵ 2 ). Details of derivation are given in Appendix E:
d σ = α 2 71 233 134 002 380 800 000 000 × ( 76 886 835 850 472 311 816 421 + 21 309 289 762 800 530 919 472 cos 2 θ + 942 204 894 651 807 977 595 cos 4 θ ) × csc 4 θ d Ω .
To facilitate comparison of Equations (A14) and (A15), both are plotted in Figure A2.
Figure A2. Trial example of Møller scattering differential cross section.
Figure A2. Trial example of Møller scattering differential cross section.
Preprints 194257 g0a2
Figure A2 shows that conventional results (solid line) and trial results of this method (dashed line) differ depending on scattering angle, with more pronounced differences in the backward region ( cos θ 1 ). This suggests that the metric can influence angular dependence. Experimental verification requires high-precision measurements, but is in principle possible.

Appendix D. Bhabha Scattering (e + +e - →e + +e - )

For Bhabha scattering, we present and compare (i) leading-order results obtained with conventional 4 × 4 gamma matrices in Minkowski spacetime and (ii) results obtained with 16 256 × 256 effective matrices Γ ^ in curved background.

Appendix D.1. Bhabha Scattering in Minkowski Spacetime with 4×4 γ Matrices

At leading order for Bhabha scattering, the cross section is obtained by making the substitution s u in the denominator of the Møller scattering formula (Equation (A13)).
In the ultra-relativistic limit ( p 2 ϵ 2 ), the differential cross section is:
d σ = r e 2 m 2 ϵ 2 1 4 ( 3 + cos 2 θ ) 2 sin 4 θ cos 4 θ 2 d Ω = α 2 256 ϵ 2 ( 7 + cos 2 θ ) 2 csc 4 θ 2 d Ω .

Appendix D.2. Trial Calculation in Curved Background Using 16 256×256 Effective Matrices Γ ^

We show only ultra-relativistic results ( p 2 ϵ 2 ). Details are given in Appendix E:
d σ = α 2 569 865 072 019 046 400 000 000 × ( 678 984 214 898 010 488 151 643 85 268 530 601 173 881 371 728 cos θ + 193 781 867 538 668 508 561 356 cos 2 θ 587 053 428 853 200 302 960 cos 3 θ + 6 196 145 656 745 290 669 593 cos 4 θ ) × csc 4 θ 2 d Ω .
To facilitate comparison, both are plotted in Figure A3.
Figure A3. Trial example of Bhabha scattering differential cross section.
Figure A3. Trial example of Bhabha scattering differential cross section.
Preprints 194257 g0a3
Figure A3 shows angular-dependent differences between conventional results (solid line) and trial results of this method (dashed line), particularly pronounced in the backward region ( cos θ 1 ). This suggests that the metric can influence angular dependence. Experimental confirmation requires high precision, but is in principle possible.

Appendix E. Mathematica Programs

The Mathematica codes and calculation outputs used in this research are available from the following repository:
These programs were created to support scattering calculations and theoretical checks based on the extended QED Lagrangian of Equation (5). They confirm that the proposed framework is applicable to concrete physical processes and demonstrate the possibility for future numerical simulations.

References

  1. Peskin, M.E.; Schroeder, D.V. An Introduction to Quantum Field Theory; Addison–Wesley: Reading, MA, USA; CRC Press eBook, 1995. [Google Scholar] [CrossRef]
  2. Berestetskii, V.B.; Lifshitz, E.M.; Pitaevskii, L.P. Quantum Electrodynamics, 2nd ed.; Pergamon (Elsevier): Oxford, UK, 1982. [Google Scholar]
  3. Parker, L.; Toms, D.J. Quantum Field Theory in Curved Spacetime: Quantized Fields and Gravity; Cambridge University Press: Cambridge, UK, 2009. [Google Scholar] [CrossRef]
  4. Fulling, S.A. Aspects of Quantum Field Theory in Curved Spacetime; Cambridge University Press: Cambridge, UK, 1989. [Google Scholar] [CrossRef]
  5. Weinberg, S. Gravitation and Cosmology: Principles and Applications of the General Theory of Relativity; Wiley: New York, NY, USA, 1972. [Google Scholar]
  6. Wald, R.M. General Relativity; University of Chicago Press: Chicago, IL, USA, 1984. [Google Scholar] [CrossRef]
  7. Klein, O.; Nishina, Y. Über die Streuung von Strahlung durch freie Elektronen nach der neuen relativistischen Quantendynamik von Dirac. Z. Phys. 1929, 52, 853–868. [Google Scholar] [CrossRef]
  8. Heitler, W. The Quantum Theory of Radiation, 3rd ed.; Oxford University Press: Oxford, UK, 1954. [Google Scholar]
  9. Bagchi, B.; Ghosh, R.; Gallerati, A. Dirac Equation in Curved Spacetime: The Role of Local Fermi Velocity. Eur. Phys. J. Plus 2023, 138, 1037. [Google Scholar] [CrossRef]
  10. Arminjon, M.; Reifler, F. Equivalent forms of Dirac equations in curved spacetimes and generalized de Broglie relations. Braz. J. Phys. 2013, 43, 64–77. [Google Scholar] [CrossRef]
  11. Pollock, M.D. On the Dirac Equation in Curved Space-Time. Acta Phys. Pol. B 2010, 41, 1827–1855. [Google Scholar]
  12. Sato, H. Groups and Physics; (In Japanese). Maruzen: Tokyo, Japan, 1993. [Google Scholar]
  13. Lounesto, P. Clifford Algebras and Spinors, 2nd ed.; Cambridge University Press: Cambridge, UK, 2001. [Google Scholar]
  14. Lawson, H.B., Jr.; Michelsohn, M.-L. Spin Geometry; Princeton University Press: Princeton, NJ, USA, 1989. [Google Scholar]
  15. Porteous, I.R. Clifford Algebras and the Classical Groups; Cambridge University Press: Cambridge, UK, 1995. [Google Scholar]
  16. Hestenes, D. Clifford Algebra to Geometric Calculus: A Unified Language for Mathematics and Physics; Reidel (Kluwer): Dordrecht, The Netherlands, 1984. [Google Scholar]
  17. Doran, C.; Lasenby, A. Geometric Algebra for Physicists; Cambridge University Press: Cambridge, UK, 2003. [Google Scholar]
  18. Shapiro, I.L. Covariant Derivative of Fermions and All That. Universe 2022, 8, 586. [Google Scholar] [CrossRef]
Figure 1. Comparison of calculation methods for Compton scattering ( γ c = 0.173 ). Methods A and B (flat spacetime; 4 × 4 and 256 × 256 ) exactly agree, serving as the validation benchmark. Method C is a toy model result under the local-constant-metric (LCM) approximation using oblique coordinates with constant coefficients including off-diagonal components. This figure is intended to show (i) the proposed matrix-based calculation rules work correctly, and (ii) sensitivity to coordinate choice can arise; it does not claim direct physical curvature effects.
Figure 1. Comparison of calculation methods for Compton scattering ( γ c = 0.173 ). Methods A and B (flat spacetime; 4 × 4 and 256 × 256 ) exactly agree, serving as the validation benchmark. Method C is a toy model result under the local-constant-metric (LCM) approximation using oblique coordinates with constant coefficients including off-diagonal components. This figure is intended to show (i) the proposed matrix-based calculation rules work correctly, and (ii) sensitivity to coordinate choice can arise; it does not claim direct physical curvature effects.
Preprints 194257 g001
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.
Copyright: This open access article is published under a Creative Commons CC BY 4.0 license, which permit the free download, distribution, and reuse, provided that the author and preprint are cited in any reuse.
Prerpints.org logo

Preprints.org is a free preprint server supported by MDPI in Basel, Switzerland.

Subscribe

Disclaimer

Terms of Use

Privacy Policy

Privacy Settings

© 2026 MDPI (Basel, Switzerland) unless otherwise stated