Search results for "Non-trivial"
showing 2 items of 2 documents
Discrete Abelian gauge symmetries and axions
2015
We combine two popular extensions of beyond the Standard Model physics within the framework of intersecting D6-brane models: discrete Zn symmetries and Peccei-Quinn axions. The underlying natural connection between both extensions is formed by the presence of massive U(1) gauge symmetries in D-brane model building. Global intersecting D6-brane models on toroidal orbifolds of the type T6/Z2N and T6/Z2xZ2M with discrete torsion offer excellent playgrounds for realizing these extensions. A generation-dependent Z2 symmetry is identified in a global Pati-Salam model, while global left-right symmetric models give rise to supersymmetric realizations of the DFSZ axion model. In one class of the lat…
Automated Checking of Flexible Mathematical Reasoning in the Case of Systems of (In)Equations and the Absolute Value Operator
2021
We present an approach and a tool for automatically providing feedback on solutions that involve complicated reasoning patterns. Currently the tool supports linear systems of equations and inequations that may also contain the absolute value operator and a restricted form of rational functions. This suffices for designing problems that are laborious to solve with standard mechanical procedures, but much easier using short-cuts that students may find by creative thinking. Earlier research has found that struggling with important mathematics promotes conceptual development. Our goal is to encourage students to such struggling. A crucial feature is to give them great freedom to choose the path…