SearcharxivSearch

arXiv subjects

Martin Roelfs

Publications and source records attributed to Martin Roelfs.

At least 19 recordsLinked to original sources

CAD-feature enhanced machine learning for manufacturing effort estimation on sheet metal bending parts

Graph-based machine learning has emerged as a promising approach for manufacturability analysis by learning directly from CAD models represented as Boundary Representations (B-reps), exploiting both surface geometry and topological connectivity. However, purely geometric representations often lack the process-specific semantics required for accurate manufacturability prediction: many manufacturing factors, such as surface roles or bend intent, are not explicitly encoded in shape alone and are difficult for data-driven models to infer reliably. We propose a hybrid approach that addresses this challenge by enriching B-rep attributed adjacency graphs with manufacturing features recognized through a rule-based module. Applied to sheet metal bending, recognized features, such as bend characteristics, flange lengths, and surface roles are integrated as node attributes, concentrating the learning signal on process-relevant geometric patterns. Experiments on both a large-scale synthetic manufacturability benchmark and a real-world industrial dataset with measured bending times, one of the first such validations on genuine production data, demonstrate that combining domain knowledge with graph-based learning improves prediction accuracy across both tasks. The results demonstrate that hybrid modeling offers a feasible and effective path toward deployable tools for manufacturability assessment and effort estimation in industrial CAD environments.

cs.CV

Clean up your Mesh! Part 1: Plane and simplex

We revisit the geometric foundations of mesh representation through the lens of Plane-based Geometric Algebra (PGA), questioning its efficiency and expressiveness for discrete geometry. We find how $k$-simplices (vertices, edges, faces, ...) and $k$-complexes (point clouds, line complexes, meshes, ...) can be written compactly as joins of vertices and their sums, respectively. We show how a single formula for their $k$-magnitudes (amount, length, area, ...) follows naturally from PGA's Euclidean and Ideal norms. This idea is then extended to produce unified coordinate-free formulas for classical results such as volume, centre of mass, and moments of inertia for simplices and complexes of arbitrary dimensionality. Finally we demonstrate the practical use of these ideas on some real-world examples.

cs.CG

Lepton Triptych I: Geometric Foundations of Electroweak Symmetry in the Real Clifford Algebra $\text{Cl}_4(\mathbb{R})$

This paper investigates how the spinor space of the electroweak gauge group $\text{SU}_{I}(2) \times \text{U}_{Y}(1)$ can be derived using recent geometric techniques within the real Clifford Algebra $\mathbb{R}_4 = \text{Cl}_4(\mathbb{R})$. Central to this approach is a novel procedure for constructing the spinor space of $\mathbb{R}_4$ directly, without complexification or matrix representation. In fact, the defining projector of the spinor space corresponds to the zero matrix in the defining representation of $\text{SU}(2)$, and hence this construction has no $2 \times 2$ complex matrix counterpart. We subsequently show that the spinor space of $\mathbb{R}_4$ naturally accommodates irreducible representations (irreps) for a single generation of chiral Standard Model leptons, including a sterile right-chiral neutrino. Left- and right-chiral particles arise due to the grade-parity of the irreps, explaining geometrically why weak isospin acts exclusively on left-chiral states. This manuscript shows how the real Clifford algebra $\mathbb{R}_4$ is the smallest algebra to house irreps for both the $\text{SU}_{I}(2) \times \text{U}_{Y}(1)$ gauge bosons and the Standard Model leptons. Simultaneously the geometric approach presents a way to compute interactions that does not depend on irreps, but which instead allows computations on the higher level of bosons and leptons. The emergence of the correct interactions directly from first principles highlights the promise of this framework not only for the geometric foundations of Electroweak Theory, but also for the Standard Model and Grand Unified Theories more broadly. This paper is the first panel of the Lepton Triptych, which will ultimately present the full Yang-Mills theory of the electroweak model based on these principles.

physics.gen-ph

The Willing Kingdon Clifford Algebra Library

Kingdon is an open-source Python package designed to seamlessly integrate Geometric Algebra (GA) into existing workflows. Unlike previous GA libraries, kingdon is input-type-agnostic, and hence supports GA's over e.g. PyTorch tensors, NumPy arrays, or SymPy symbolic expressions, to name but a few. Despite this refusal to specialize, it delivers high performance by symbolically optimizing operators and leveraging input sparsity for Just-In-Time compiled expressions. Additionally, its visualization capabilities in Jupyter notebooks using ganja align with the rapid prototyping workflow common to scientific research.

cs.MS

Outer and Eigen: Tangent Concepts

In this paper we use the power of the outer exponential $\Lambda^B$ of a bivector $B$ to see the so-called invariant decomposition from a different perspective. This is deeply connected with the eigenvalues for the adjoint action of $B$, a fact that allows a version of the Cayley-Hamilton theorem which factorises the classical theorem (both the matrix version and the geometric algebra version).

math-ph

From Invariant Decomposition to Spinors

Plane-based Geometric Algebra (PGA) has revealed points in a $d$-dimensional pseudo-Euclidean space $\mathbb{R}_{p,q,1}$ to be represented by $d$-blades rather than vectors. This discovery allows points to be factored into $d$ orthogonal hyperplanes, establishing points as pseudoscalars of a local geometric algebra $\mathbb{R}_{pq}$. Astonishingly, the non-uniqueness of this factorization reveals the existence of a local $\text{Spin}(p,q)$ geometric gauge group at each point. Moreover, a point can alternatively be factored into a product of the elements of the Cartan subalgebra of $\mathfrak{spin}(p,q)$, which are traditionally used to label spinor representations. Therefore, points reveal previously hidden geometric foundations for some of quantum field theory's mysteries. This work outlines the impact of PGA on the study of spinor representations in any number of dimensions, and is the first in a research programme exploring the consequences of this insight.

math-ph

Novel algorithm for the computation of group and energy velocities of Lamb waves

A new solution strategy for quadratic eigenvalue problems, and the derivatives of the eigenvalues, is proposed, by combining the generalized reduction method with dual numbers. To demonstrate the method, we use the quadratic eigenvalue problem encountered in the semi-analytical finite element method (SAFE) as a guiding example. The SAFE method is designed to calculate the spectrum of Lamb wave phase, group and energy velocities in (visco)elastic orthotropic media, over a wide frequency range. It was found that the new approach essentially doubles the computational speed and efficiency, without sacrificing accuracy.

physics.app-ph

Normalization, Square Roots, and the Exponential and Logarithmic Maps in Geometric Algebras of Less than 6D

Geometric algebras of dimension $n < 6$ are becoming increasingly popular for the modeling of 3D and 3+1D geometry. With this increased popularity comes the need for efficient algorithms for common operations such as normalization, square roots, and exponential and logarithmic maps. The current work presents a signature agnostic analysis of these common operations in all geometric algebras of dimension $n < 6$, and gives efficient numerical implementations in the most popular algebras $\mathbb{R}_{4}$, $\mathbb{R}_{3,1}$, $\mathbb{R}_{3,0,1}$ and $\mathbb{R}_{4,1}$, in the hopes of lowering the threshold for adoption of geometric algebra solutions by code maintainers.

cs.CG

Mass estimates of the SU(2) $0^{++}$ glueball from spectral methods

The estimation of the K\"all\'en-Lehmann spectral density from gauge invariant lattice QCD two point correlation functions is proposed, and explored via an inversion strategy based on Tikhonov regularisation. We test the method on a mesonic toy model, showing that our methodology is competitive with the traditional Maximum Entropy Method. As proof of concept the SU(2) glueball spectrum for the quantum numbers $J^{PC}=0^{++}$ is investigated, for various values of the lattice spacing, using the published data of arXiv:1910.07756. Our estimates for the ground state mass are in good agreement with the traditional approach, which is based on the large time exponential behaviour of the correlation functions. Furthermore, the spectral density also contains hints of excites states in the spectrum. Spectroscopic analysis of glueball two-point functions therefore provides a straightforward and insightful alternative to the traditional method based on the large time exponential behaviour of the correlation functions.

hep-lat

Graded Symmetry Groups: Plane and Simple

The symmetries described by Pin groups are the result of combining a finite number of discrete reflections in (hyper)planes. The current work shows how an analysis using geometric algebra provides a picture complementary to that of the classic matrix Lie algebra approach, while retaining information about the number of reflections in a given transformation. This imposes a graded structure on Lie groups, which is not evident in their matrix representation. By embracing this graded structure, the invariant decomposition theorem was proven: any composition of $k$ linearly independent reflections can be decomposed into $\lceil k/2 \rceil$ commuting factors, each of which is the product of at most two reflections. This generalizes a conjecture by M. Riesz, and has e.g. the Mozzi-Chasles' theorem as its 3D Euclidean special case. To demonstrate its utility, we briefly discuss various examples such as Lorentz transformations, Wigner rotations, and screw transformations. The invariant decomposition also directly leads to closed form formulas for the exponential and logarithmic function for all Spin groups, and identifies element of geometry such as planes, lines, points, as the invariants of $k$-reflections. We conclude by presenting novel matrix/vector representations for geometric algebras $\mathbb{R}_{pqr}$, and use this in E(3) to illustrate the relationship with the classic covariant, contravariant and adjoint representations for the transformation of points, planes and lines.

math-ph

Quaternionic Step Derivative: Machine Precision Differentiation of Holomorphic Functions using Complex Quaternions

The known Complex Step Derivative (CSD) method allows easy and accurate differentiation up to machine precision of real analytic functions by evaluating them a small imaginary step next to the real number line. The current paper proposes that derivatives of holomorphic functions can be calculated in a similar fashion by taking a small step in a quaternionic direction instead. It is demonstrated that in so doing the CSD properties of high accuracy and convergence are carried over to derivatives of holomorphic functions. To demonstrate the ease of implementation, numerical experiments were performed using complex quaternions, the geometric algebra of space, and a $2 \times 2$ matrix representation thereof.

math.NA

K\"all\'en-Lehmann Spectral Representation of the Scalar SU(2) Glueball

The estimation of the K\"all\'en-Lehmann spectral density from gauge invariant lattice QCD two point correlation functions is proposed, and explored via an appropriate inversion method. As proof of concept the SU(2) glueball spectrum for the quantum numbers $J^{PC} = 0^{++}$ is investigated for various values of the lattice spacing. The spectral density and the glueball spectrum are estimated using the published data of arXiv:1910.07756. Our estimates for the ground state mass are in good agreement with the traditional approach published therein, which is based on the large time exponential behaviour of the correlation functions. Furthermore, the spectral density also contains hints of excites states in the spectrum.

hep-lat

Geometric invariant decomposition of SU(3)

A novel invariant decomposition of diagonalizable $n \times n$ matrices into $n$ commuting matrices is presented. This decomposition is subsequently used to split the fundamental representation of $\mathfrak{su}(3)$ Lie algebra elements into at most three commuting elements of $\mathfrak{u}(3)$. As a result, the exponential of an $\mathfrak{su}(3)$ Lie algebra element can be split into three commuting generalized Euler's formulas, or conversely, a Lie group element can be factorized into at most three generalized Euler's formulas. After the factorization has been performed, the logarithm follows immediately.

math-ph

Spectral representation of lattice gluon and ghost propagators at zero temperature

We consider the analytic continuation of Euclidean propagator data obtained from 4D simulations to Minkowski space. In order to perform this continuation, the common approach is to first extract the Källén-Lehmann spectral density of the field. Once this is known, it can be extended to Minkowski space to yield the Minkowski propagator. However, obtaining the Källén-Lehmann spectral density from propagator data is a well known ill-posed numerical problem. To regularize this problem we implement an appropriate version of Tikhonov regularization supplemented with the Morozov discrepancy principle. We will then apply this to various toy model data to demonstrate the conditions of validity for this method, and finally to zero temperature gluon and ghost lattice QCD data. We carefully explain how to deal with the IR singularity of the massless ghost propagator. We also uncover the numerically different performance when using two ---mathematically equivalent--- versions of the Källén-Lehmann spectral integral.

hep-lat

Faddeev-Popov Matrix in Linear Covariant Gauge: First Results

We discuss a possible definition of the Faddeev-Popov matrix for the minimal linear covariant gauge on the lattice and present first results for the ghost propagator. We consider Yang-Mills theory in four space-time dimensions, for SU(2) and SU(3) gauge groups.

hep-lat