Related papers: Computing with quadratic forms over number fields
Let $K$ be a field with characteristic different from 2 and let $S$ be a symbol algebra over $K$. We compute the symmetric powers of hyperbolic quadratic forms over $K$. Also, we compute the symmetric powers of the quadratic trace form of…
We discuss the relationship between quaternion algebras and quadratic forms with a focus on computational aspects. Our basic motivating problem is to determine if a given algebra of rank 4 over a commutative ring R embeds in the 2x2-matrix…
We develop a systematic procedure for constructing quantum many-body problems whose spectrum can be partially or totally computed by purely algebraic means. The exactly-solvable models include rational and hyperbolic potentials related to…
We consider infinite parametric families of high degree number fields composed of quadratic fields with pure cubic, pure quartic, pure sextic fields and with the so called simplest cubic, simplest quartic fields. We explicitly describe an…
Nondegenerate quadratic forms over $p$-adic fields are classified by their dimension, discriminant, and Hasse invariant. This paper uses these three invariants, elementary facts about $p$-adic fields and the theory of quadratic forms to…
Let $L$ be a separable quadratic extension of either $\mathbb{Q}$ or $\mathbb{F}_q(t)$. We propose efficient algorithms for finding isomorphisms between quaternion algebras over $L$. Our techniques are based on computing maximal one-sided…
Orthogonal spaces are vector spaces together with a quadratic form whose associated bilinear form is non-degenerate. Over fields of characteristic two, there are many quadratic forms associated to a given bilinear form and quadratic…
For a binary quadratic form $Q$, we consider the action of $\mathrm{SO}_Q$ on a two-dimensional vector space. This representation yields perhaps the simplest nontrivial example of a prehomogeneous vector space that is not irreducible, and…
Let $\psi$ and $F$ be positive definite forms with integral coefficients of equal degree. Using the circle method, we establish an asymptotic formula for the number of identical representations of $\psi$ by $F$, provided $\psi$ is…
A quadratic form over a Henselian-valued field of arbitrary residue characteristic is tame if it becomes hyperbolic over a tamely ramified extension. The Witt group of tame quadratic forms is shown to be canonically isomorphic to the Witt…
The quantum XY, Heisenberg, and transverse field Ising models on hyperbolic lattices are studied by means of the Tensor Product Variational Formulation algorithm. The lattices are constructed by tessellation of congruent polygons with…
The graph isomorphism problem is theoretically interesting and also has many practical applications. The best known classical algorithms for graph isomorphism all run in time super-polynomial in the size of the graph in the worst case. An…
We show that a topological quantum computer based on the evaluation of a Witten-Reshetikhin-Turaev TQFT invariant of knots can always be arranged so that the knot diagrams with which one computes are diagrams of hyperbolic knots. The…
Every real hyperbolic form in three variables can be realized as the determinant of a linear net of Hermitian matrices containing a positive definite matrix. Such representations are an algebraic certificate for the hyperbolicity of the…
The present study concerns the numerical homogenization of second order hyperbolic equations in non-divergence form, where the model problem includes a rapidly oscillating coefficient function. These small scales influence the large scale…
In this note we present techniques to compute inhomogeneous minima of norm forms; as an application, we determine all norm-Euclidean complex bicyclic quartic number fields.
We present an explicit algorithmic method for computing square roots in quaternion algebras over global fields of characteristic different from 2.
In this paper, we give algorithms for determining the existence of isomorphism between two finite-dimensional Lie algebras and compute such an isomorphism in the affirrmative case. We also provide algorithms for determining algebraic…
Given an indefinite binary quaternionic Hermitian form $f$ with coefficients in a maximal order of a definite quaternion algebra over $\mathbb Q$, we give a precise asymptotic equivalent to the number of nonequivalent representations,…
Quantum field theory provides the framework for the most fundamental physical theories to be confirmed experimentally and has enabled predictions of unprecedented precision. However, calculations of physical observables often require great…