Explicit equivalence of quadratic forms over F_q(t)

DOI10.1016/J.FFA.2018.09.003MaRDI QIDQ1633281zbMATH OpenOpenAlexFDO

Authors Gábor Ivanyos, Péter Kutas, Lajos Rónyai

Publication date 19 December 2018

Published in Finite Fields and their Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1610.08671

zbMATH Keywords

function fieldpolynomial time algorithmquadratic forms

Mathematics Subject Classification ID

Quadratic forms over global rings and fields (11E12) General ternary and quaternary quadratic forms; forms of more than two variables (11E20) Randomized algorithms (68W20)

Abstract: We propose a randomized polynomial time algorithm for computing nontrivial zeros of quadratic forms in 4 or more variables over $mathbb{F}_q(t)$, where $mathbb{F}_q$ is a finite field of odd characteristic. The algorithm is based on a suitable splitting of the form into two forms and finding a common value they both represent. We make use of an effective formula for the number of fixed degree irreducible polynomials in a given residue class. We apply our algorithms for computing a Witt decomposition of a quadratic form, for computing an explicit isometry between quadratic forms and finding zero divisors in quaternion algebras over quadratic extensions of $mathbb{F}_q(t)$.

Recommendations

• Quadratic forms on \(\mathbb{F}_ q[T]\)
• Quadratic forms on \(\mathbb F_q[T]\)
• Definite regular quadratic forms over 𝔽_{𝕢}[𝕋]
• Quadratic forms over \(C[t_ 1,t_ 2]\)
• Definite quadratic forms over \({\mathbb F}_q[x]\)
• Quadratic forms on \(\mathbb{F}_{2^ h} [T]\)
• On quadratic forms over the ring \(\mathbb F_{2^h}[T]\)
• Representations of definite binary quadratic forms over \(\mathbb F_q[t]\)
• Equivariant quadratic forms in characteristic 2
• Quadratic forms over 𝑄 and Galois extensions of commutative rings

Cites work

• A New Algorithm for Factoring Polynomials Over Finite Fields
• Arithmétique des algèbres de quaternions
• Computing explicit isomorphisms with full matrix algebras over \(\mathbb {F}_q(x)\)
• Deterministic equation solving over finite fields
• Efficient solution of rational conics
• Generators and irreducible polynomials over finite fields
• scientific article; zbMATH DE number 2132158 (Why is no real title available?)
• scientific article; zbMATH DE number 3785035 (Why is no real title available?)
• scientific article; zbMATH DE number 50938 (Why is no real title available?)
• scientific article; zbMATH DE number 3480679 (Why is no real title available?)
• scientific article; zbMATH DE number 1313469 (Why is no real title available?)
• scientific article; zbMATH DE number 5266153 (Why is no real title available?)
• scientific article; zbMATH DE number 3265895 (Why is no real title available?)
• scientific article; zbMATH DE number 3397622 (Why is no real title available?)
• Lattice basis reduction for indefinite forms and an application
• Solving conics over functions fields

Cited in

(12)

• Computing with quadratic forms over number fields
• When can a formality quasi-isomorphism over \(\mathbb{Q}\) be constructed recursively?
• The twisted forms of a semisimple group over an \(\mathbb{F}_q\)-curve
• Explicit isomorphisms of quaternion algebras over quadratic global fields
• Splitting quaternion algebras over quadratic number fields
• Algorithms for quadratic forms
• Primitive idempotents in central simple algebras over \(\mathbb{F}_q(t)\) with an application to coding theory
• Explicit descriptions of quadratic maps on P¹defined over a field K
• Algorithms for quadratic forms over real function fields
• Definite regular quadratic forms over 𝔽_{𝕢}[𝕋]
• Efficient computations in central simple algebras using Amitsur cohomology
• Isotropic vectors over global fields

This page was built for publication: Explicit equivalence of quadratic forms over \(\mathbb{F}_q(t)\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1633281)