BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Adam Chapman contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
A division ring $D$ is Amitsur-Small if for every $n$ and every maximal left ideal $I$ in $D[x_1,\dots,x_n]$, $I \cap D[x_1,\dots,x_{n-1}]$ is maximal in $D[x_1,\dots,x_{n-1}]$. The goal of this note is to prove that cyclic division algebras of odd prime degree over their center are never Amitsur-Small.
We present a logic programming framework that orchestrates multiple variants of an optimization problem and reasons about their results to support high-stakes medical decision-making. The logic programming layer coordinates the construction and evaluation of multiple optimization formulations, translating solutions into logical facts that support further symbolic reasoning and ensure efficient resource allocation -- specifically targeting the "right patient, right platform, right escort, right time, right destination" principle. This capability is integrated into GuardianTwin, a decision support system for Forward Medical Evacuation (MEDEVAC), where rapid and explainable resource allocation is critical. Through a series of experiments, our framework demonstrates an average reduction in casualties by 35.75% compared to standard baselines. Additionally, we explore how users engage with the system via an intuitive interface that delivers explainable insights, ultimately enhancing decision-making in critical situations. This work demonstrates how logic programming can serve as a foundation for modular, interpretable, and operationally effective optimization in mission-critical domains.
We study the common splitting fields of symbol algebras of degree $p^m$ over fields $F$ of $\operatorname{char}(F)=p$. We first show that if any finite number of such algebras share a degree $p^m$ simple purely inseparable splitting field, then they share a cyclic splitting field of the same degree. As a consequence, we conclude that every finite number of symbol algebras of degrees $p^{m_0},\dots,p^{m_t}$ share a cyclic splitting field of degree $p^{m_0+\dots+m_t}$. This generalization recovers the known fact that every tensor product of symbol algebras is a symbol algebra. We apply a result of Tignol's to bound the symbol length of classes in $\operatorname{Br}_{p^m}(F)$ whose symbol length when embedded into $\operatorname{Br}_{p^{m+1}}(F)$ is 2 for $p\in \{2,3\}$. We also study similar situations in other Kato-Milne cohomology groups, where the necessary norm conditions for splitting exist.
The goal of this note is to reduce the existing upper bound for the essential dimension of central simple algebras of degree 8 and exponent 2 over fields of characteristic 2 from 10 to 9.
We study the roots of polynomials over Cayley--Dickson algebras over an arbitrary field and of arbitrary dimension. For this purpose we generalize the concept of spherical roots from quaternion and octonion polynomials to this setting, and demonstrate their basic properties. We show that the spherical roots (but not all roots) of a polynomial $f(x)$ are also roots of its companion polynomial $C_f(x)$ (defined to be the norm of $f(x)$). For locally-complex Cayley--Dickson algebras, we show that the spherical roots of $f'(x)$ (defined formally) belong to the convex hull of the roots of $C_f(x)$, and we also prove that all roots of $f'(x)$ are contained in the snail of $f(x)$, as defined by Ghiloni and Perotti for quaternions. The latter two results generalize the classical Gauss--Lucas theorem to the locally-complex Cayley--Dickson algebras, and we also generalize Jensen's classical theorem on real polynomials to this setting.
Given a field $F$, a positive integer $m$ and an integer $n\geq 2$, we prove that the symbol length of classes in Milnor's $K$-groups $K_n F/2^m K_n F$ that are equivalent to single symbols under the embedding into $K_n F/2^{m+1} K_n F$ is at most $2^{n-1}$ under the assumption that $F \supseteq μ_{2^{m+1}}$. Since for $n=2$, $K_2 F/2^m K_2 F \cong {_{2^m}Br(F)}$, this coincides with the upper bound of $2$ for the symbol length of central simple algebras of exponent $2^m$ that are Brauer equivalent to a single symbol algebra of degree $2^{m+1}$ proved by Tignol in 1983. We also consider the cases where the embedding into $K_n F/2^{m+1} K_n F$ is of symbol length 2, 3 and 4 (the latter when $n=2$). We finish with studying the symbol length of classes in $K_3/3^m K_3 F$ whose embedding into $K_3 F/3^{m+1} K_3 F$ is one symbol when $F \supseteq μ_{3^{m+1}}$.
This note contains two new observations on the linkage properties of quaternion algebras over fields of characteristic 2: first, that a 3-linked field need not be 4-linked (a case which was left open in previous papers) and that three inseparably linked quaternion algebras are also cyclically linked when the base-field is odd-closed.
We provide an analogue of Wedderburn's factorization method for central polynomials with coefficients in an octonion division algebra, and present an algorithm for fully factoring polynomials of degree $n$ with $n$ conjugacy classes of roots, counting multiplicities.
The symbol length of ${_pBr}(k(\!(α_1)\!)\dots(\!(α_n)\!))$ for an algebraically closed field $k$ of $\operatorname{char}(k) \neq p$ is known to be $\lfloor \frac{n}{2} \rfloor$. We prove that the symbol length for the case of $\operatorname{char}(k) = p$ is rather $n-1$. We also show that pairs of anisotropic quadratic or bilinear $n$-fold Pfister forms over this field need not share an $(n-1)$-fold factor.