Related papers: Optimal spinor selectivity for quaternion Bass ord…
We give details of a formerly known relation between ternary quadratic forms and quaternion orders through the even Clifford algebra. Based on this and classifications of ternary quadratic forms we give a completely explicit classification…
We present an efficient algorithm to solve semirandom planted instances of any Boolean constraint satisfaction problem (CSP). The semirandom model is a hybrid between worst-case and average-case input models, where the input is generated by…
Let $B$ be a totally-definite quaternion algebra over a totally real field $F$, let $\mathfrak{p}$ be a prime ideal of $F$, and let $\Gamma$ be the group of reduced norm-$1$ elements of an Eichler $\mathcal{O}_F[1/\mathfrak{p}]$-order $R$…
The static kink, sphaleron and kink chain solutions for a single scalar field $\phi$ in one spatial dimension are reconsidered. By integration of the Euler--Lagrange equation, or through the Bogomolny argument, one finds that each of these…
We prove, using the subspace embedding guarantee in a black box way, that one can achieve the spectral norm guarantee for approximate matrix multiplication with a dimensionality-reducing map having $m = O(\tilde{r}/\varepsilon^2)$ rows.…
Let $A$ be a real quadratic order of discriminant $p$ or $4p$ with a prime $p$. In this paper we classify all proper totally imaginary quadratic $A$-orders $B$ with index $w(B)=[B^\times: A^\times]>1$. We also calculate numerical invariants…
We study a ranking and selection (R&S) problem when all solutions share common parametric Bayesian input models updated with the data collected from multiple independent data-generating sources. Our objective is to identify the best system…
Let $L$ be the language of rings. We provide an axiomatization of the $L$-theories of quaternions and octonions and characterize their models: they coincide, up to isomorphism, with quaternion and octonion algebras over a real closed field,…
We discuss $\mathcal{N}=1$ Klein and Klein-Conformal superspaces in $D=(2,2)$ space-time dimensions, realizing them in terms of their functor of points over the split composition algebra $\mathbb{C}_{s}$. We exploit the observation that…
Let $\mathcal{O}$ be an order in a central simple algebra $A$ over a number field. The elasticitity $\rho(\mathcal{O})$ is the supremum of all fractions $k/l$ such that there exists an non-zero-divisor $a \in \mathcal{O}$ that has…
We relate proper isometry classes of maximal lattices in a totally definite quaternary quadratic space (V,q) with trivial discriminant to certain equivalence classes of ideals in the quaternion algebra representing the Clifford invariant of…
In the first paper (part I) of this series of two, we introduce four novel definitions of the ODT problems: three for size-constrained trees and one for depth-constrained trees. These definitions are stated unambiguously through executable…
Consider the free group algebra $K\left[F\right]$, where $F$ is a free group and $K$ a field. A well-order $\prec$ on $F$ is called an exposure order if words are greater than their proper prefixes. We show that every one-sided ideal $I$ in…
This paper introduces a Moment-Quaternion-Sum-of-Squares (QSOS) hierarchy for solving a class of quaternion polynomial optimization problems. This hierarchy is formulated directly in the quaternion domain and consists of a sequence of…
We focus on formulae $\exists X.\, \varphi(\vec{Y}, X)$ of monadic second-order logic over the full binary tree, such that the witness $X$ is a well-founded set. The ordinal rank $\mathrm{rank}(X) < \omega_1$ of such a set $X$ measures its…
This paper treats certain integral lattices with respect to ternary quadratic forms, which are obtained from the data of a non-zero element and a maximal lattice in a quaternary quadratic space. Such a lattice can be described by means of…
A major current goal of noncommutative geometry is the classification of noncommutative projective surfaces. The generic case is to understand algebras birational to the Sklyanin algebra. In this thesis we complete a considerable component…
Let $D$ be an indefinite quaternion division algebra over $\mathbb{Q}$. We approach the problem of bounding the sup-norms of automorphic forms $\phi$ on $D^\times(\mathbb{A})$ that belong to irreducible automorphic representations and…
We study parity decision trees for Boolean functions. The motivation of our study is the log-rank conjecture for XOR functions and its connection to Fourier analysis and parity decision tree complexity. Let f be a Boolean function with…
The interior structure of arbitrary sets of quaternion units is analyzed using general methods of the theory of matrices. It is shown that the units are composed of quadratic combinations of fundamental objects having a dual mathematical…