Related papers: Computing with quadratic forms over number fields

These notes are an extension of the rough notes provided for my four lecture graduate level course on "Quadratic Forms and Automorphic Forms" at the March 2009 Arizona Winter School on Quadratic Forms. They are meant to give a survey of…

We show that any stabilizer code over a finite field is equivalent to a graphical quantum code. Furthermore we prove that a graphical quantum code over a finite field is a stabilizer code. The technique used in the proof establishes a new…

We describe all Witt invariants of anti-hermitian forms over a quaternion algebra with its canonical involution, and in particular all Witt invariants of orthogonal groups $O(A,\sigma)$ where $(A,\sigma)$ is an central simple algebra with…

This is a survey on algorithmic questions about combinatorial and geometric properties of convex polytopes. We give a list of 35 problems; for each the current state of knowledege on its theoretical complexity status is reported. The…

A multi-cube method is developed for solving systems of elliptic and hyperbolic partial differential equations numerically on manifolds with arbitrary spatial topologies. It is shown that any three-dimensional manifold can be represented as…

Let $\mathbb{F}_q$ be a finite field. Given two irreducible polynomials $f,g$ over $\mathbb{F}_q$, with $\mathrm{deg} f$ dividing $\mathrm{deg} g$, the finite field embedding problem asks to compute an explicit description of a field…

The paper expands the theory of quadratic forms on modules over a semiring R, introduced in [12]-[14], especially in the setup of tropical and supertropical algebra. Isometric linear maps induce subordination on quadratic forms, and provide…

Let $N \geq 2$ be an integer, $F$ a quadratic form in $N$ variables over $\bar{\mathbb Q}$, and $Z \subseteq \bar{\mathbb Q}^N$ an $L$-dimensional subspace, $1 \leq L \leq N$. We prove the existence of a small-height maximal totally…

We associate to every central simple algebra with involution of orthogonal type in characteristic two a totally singular quadratic form which reflects certain anisotropy properties of the involution. It is shown that this quadratic form can…

We study the computation of local approximations of invariant manifolds of parabolic fixed points and parabolic periodic orbits of periodic vector fields. If the dimension of these manifolds is two or greater, in general, it is not possible…

The goal is to obtain an asymptotic formula for the number of quadratic extensions with bounded discriminant of a some quadratic number field with odd class number. This extends an already known result for Q.

We study endomorphism rings of principally polarized abelian surfaces over finite fields from a computational viewpoint with a focus on exhaustiveness. In particular, we address the cases of non-ordinary and non-simple varieties. For each…

In this paper, we discuss the generalized Hamming weights of a class of linear codes associated with non-degenerate quadratic forms. In order to do so, we study the quadratic forms over subspaces of finite field and obtain some interesting…

Over a real field which is an extension of transcendence degree 1 of a hereditarily pythagorean base field, every quadratic form which is torsion decomposes into an orthogonal sum of 2-dimensional torsion forms. This is obtained from a more…

Let k be an imaginary quadratic number field (with class number 1). We describe a new, essentially linear-time algorithm, to list all isomorphism classes of cubic extensions L/k up to a bound X on the norm of the relative discriminant…

Hyperbolic geometry has recently found applications in social networks, machine learning and computational biology. With the increasing popularity, questions about the best representations of hyperbolic spaces arise, as each representation…

For polynomials of degree two which have no zeros, the method of accompanying variables is developed and zeros of associated vector polynomials are determined. Our flexible method uses a wide variety of possible vector-valued vector…

We present algorithms for classification of linear codes over finite fields, based on canonical augmentation and on lattice point enumeration. We apply these algorithms to obtain classification results over fields with 2, 3 and 4 elements.…

This paper is concerned with the inverse scattering problem for the three-dimensional Maxwell's equations in bi-anisotropic periodic structures. The inverse scattering problem aims to determine the shape of bi-anisotropic periodic…

Let $ n \ge 2$ be an integer. We give necessary and sufficient conditions for an integral quadratic form over dyadic local fields to be $ n $-universal by using invariants from Beli's theory of bases of norm generators. Also, we provide a…