English
Related papers

Related papers: On the complexity of class group computations for …

200 papers

The aim of this paper is to show that there exists a deterministic algorithm that can be applied to compute the factors of a polynomial of degree 2, defined over a finite field, given certain conditions.

Number Theory · Mathematics 2017-09-19 Amalaswintha Wolfsdorf

The true complexity of a polynomial progression in finite fields corresponds to the smallest-degree Gowers norm that controls the counting operator of the progression over finite fields of large characteristic. We give a conjecture that…

Combinatorics · Mathematics 2021-07-01 Borys Kuca

We propose an algorithm for quickly evaluating polynomials. It pre-conditions a complex polynomial $P$ of degree $d$ in time $O(d\log d)$, with a low multiplicative constant independent of the precision. Subsequent evaluations of $P$…

Numerical Analysis · Mathematics 2022-11-15 Ramona Anton , Nicolae Mihalache , François Vigneron

We give a survey of recent results related to the problem of characterizing finite-dimensional division algebras by the set of isomorphism classes of their maximal subfields. We also discuss various generalizations of this problem and some…

Rings and Algebras · Mathematics 2015-06-11 Vladimir I. Chernousov , Andrei S. Rapinchuk , Igor A. Rapinchuk

In this work we relate the deterministic complexity of factoring polynomials (over finite fields) to certain combinatorial objects we call m-schemes. We extend the known conditional deterministic subexponential time polynomial factoring…

Computational Complexity · Computer Science 2008-04-15 Gábor Ivanyos , Marek Karpinski , Nitin Saxena

Complex real-world networks commonly reveal characteristic groups of nodes like communities and modules. These are of value in various applications, especially in the case of large social and information networks. However, while numerous…

Social and Information Networks · Computer Science 2013-12-30 Lovro Šubelj , Marko Bajec

For a finite group $G$, we introduce a generalization of norm relations in the group algebra $\mathbb Q[G]$. We give necessary and sufficient criteria for the existence of such relations and apply them to obtain relations between the…

Number Theory · Mathematics 2025-04-07 Jean-François Biasse , Claus Fieker , Tommy Hofmann , Aurel Page

This paper contributes to the theory of orders of number fields. This paper defines a notion of "ray class group" associated to an arbitrary order in a number field together with an arbitrary ray class modulus for that order (including…

Number Theory · Mathematics 2025-02-12 Gene S. Kopp , Jeffrey C. Lagarias

There are well known algorithms to compute the class group of the maximal order $\mathcal{O}_K$ of a number field $K$ and the group of invertible ideal classes of a non-maximal order $R$. In this paper we explain how to compute also the…

Number Theory · Mathematics 2020-08-18 Stefano Marseglia

Given a number field, it is an important question in algorithmic number theory to determine all its subfields. If the search is restricted to abelian subfields, one can try to determine them by using class field theory. For this, it is…

Number Theory · Mathematics 2019-08-01 Andreas-Stephan Elsenhans , Jürgen Klüners

We analyse the complexity of computing class polynomials, that are an important ingredient for CM constructions of elliptic curves, via complex floating point approximations of their roots. The heart of the algorithm is the evaluation of…

Numerical Analysis · Mathematics 2025-10-20 Andreas Enge

A characterization of a class of optimal three-weight cyclic codes of dimension 3 over any finite field was recently presented in [10]. Shortly after this, a generalization for the sufficient numerical conditions of such characterization…

Information Theory · Computer Science 2016-09-26 Gerardo Vega

This paper studies the expressive and computational power of discrete Ordinary Differential Equations (ODEs), a.k.a. (Ordinary) Difference Equations. It presents a new framework using these equations as a central tool for computation and…

Logic in Computer Science · Computer Science 2022-09-27 Olivier Bournez , Arnaud Durand

We present a uniform methodology for computing with finitely generated matrix groups over any infinite field. As one application, we completely solve the problem of deciding finiteness in this class of groups. We also present an algorithm…

Group Theory · Mathematics 2019-05-14 A. S. Detinko , D. L. Flannery , E. A. O'Brien

We construct small models of number fields and deduce a better bound for the number of number fields of given degree and bounded discriminant.

Number Theory · Mathematics 2019-08-30 Jean-Marc Couveignes

Deep convolutional neural networks have shown high efficiency in computer visions and other applications. However, with the increase in the depth of the networks, the computational complexity is growing exponentially. In this paper, we…

Machine Learning · Computer Science 2021-01-08 Ali Mirzaeian , Sai Manoj , Ashkan Vakil , Houman Homayoun , Avesta Sasan

Context: The huge and still rapidly growing amount of galaxies in modern sky surveys raises the need of an automated and objective classification method. Unsupervised learning algorithms are of particular interest, since they discover…

Cosmology and Nongalactic Astrophysics · Physics 2015-05-18 Rene Andrae , Peter Melchior , Matthias Bartelmann

Let $K$ be a local field with finite residue field, we define a normal form for Eisenstein polynomials depending on the choice of a uniformizer $\pi_K$ and of residue representatives. The isomorphism classes of extensions generated by the…

Number Theory · Mathematics 2011-10-25 Maurizio Monge

We present an algorithm for computing discriminants and prime ideal decomposition in number fields. The algorithm is a refinement of a p-adic factorization method based on Newton polygons of higher order. The running-time and memory…

Number Theory · Mathematics 2008-11-03 Jordi Guardia , Jesus Montes , Enric Nart

In a recent paper, Girard proposes to use his recent construction of a geometry of interaction in the hyperfinite factor in an innovative way to characterize complexity classes. We begin by giving a detailed explanation of both the choices…

Logic in Computer Science · Computer Science 2015-01-23 Clément Aubert , Thomas Seiller