SearcharxivSearch

arXiv subjects

Thomas Hagedorn

Publications and source records attributed to Thomas Hagedorn.

3 recordsLinked to original sources

The Galois Group of $x^{2p}+bx^p+c^p$ over $\mathbb{Q}$

We prove an irreducibility criterion for polynomials of the form $h(x)=x^{2m} + bx^m + c_1 \in F[x]$ relating to the Dickson polynomials of the first kind $D_p$. In the case when $F = \mathbb{Q}$, $m$ is a prime $p>3$, and $c_1=c^p$, for $c\in\mathbb{Q}$, we explicitly determine the Galois group of $d_h= D_p(x, c) + b$, which is $\mathrm{Aff}(\mathbb{F}_p)$ or $C_p \rtimes C_{(p - 1)/2} \vartriangleleft \mathrm{Aff}(\mathbb{F}_p)$, and the Galois group of $h$, which is $C_2 \times \mathrm{Aff}(\mathbb{F}_p), \mathrm{Aff}(\mathbb{F}_p)$, or $C_2 \times (C_p \rtimes C_{(p - 1)/2}) \vartriangleleft C_2 \times \mathrm{Aff}(\mathbb{F}_p)$.

math.NT

$\mathbb{A}^1$-Brouwer degrees in Macaulay2

We describe the Macaulay2 package "A1BrouwerDegrees" for computing local and global $\mathbb{A}^1$-Brouwer degrees and studying symmetric bilinear forms over the complex numbers, the real numbers, the rational numbers, and finite fields of characteristic not equal to 2.

math.AG

Driving Digital Engineering Integration and Interoperability Through Semantic Integration of Models with Ontologies

Engineered solutions are becoming more complex and multi-disciplinary in nature. This evolution requires new techniques to enhance design and analysis tasks that incorporate data integration and interoperability across various engineering tool suites spanning multiple domains at different abstraction levels. Semantic Web Technologies (SWT) offer data integration and interoperability benefits as well as other opportunities to enhance reasoning across knowledge represented in multiple disparate models. This paper introduces the Digital Engineering Framework for Integration and Interoperability (DEFII) for incorporating SWT into engineering design and analysis tasks. The framework includes three notional interfaces for interacting with ontology-aligned data. It also introduces a novel Model Interface Specification Diagram (MISD) that provides a tool-agnostic model representation enabled by SWT that exposes data stored for use by external users through standards-based interfaces. Use of the framework results in a tool-agnostic authoritative source of truth spanning the entire project, system, or mission.

cs.AI