arXiv Science⌕ Search

arXiv subjects

Alp Bassa

Publications and source records attributed to Alp Bassa.

16 recordsLinked to original sources
arXiv2025

Integer Reasoning Modulo Different Constants in SMT

This paper presents a new refutation procedure for multimodular systems of integer constraints that commonly arise when verifying cryptographic protocols. These systems, involving polynomial equalities and disequalities modulo different constants, are challenging for existing solvers due to their inability to exploit multimodular structure. To address this issue, our method partitions constraints by modulus and uses lifting and lowering techniques to share information across subsystems, supported by algebraic tools like weighted Gr\"obner bases. Our experiments show that the proposed method outperforms existing state-of-the-art solvers in verifying cryptographic implementations related to Montgomery arithmetic and zero-knowledge proofs.

cs.LO↗
arXiv2023

Iterative constructions of irreducible polynomials from isogenies

Let $S$ be a rational fraction and let $f$ be a polynomial over a finite field. Consider the transform $T(f)=\operatorname{numerator}(f(S))$. In certain cases, the polynomials $f$, $T(f)$, $T(T(f))\dots$ are all irreducible. For instance, in odd characteristic, this is the case for the rational fraction $S=(x^2+1)/(2x)$, known as the $R$-transform, and for a positive density of all irreducible polynomials $f$. We interpret these transforms in terms of isogenies of elliptic curves. Using complex multiplication theory, we devise algorithms to generate a large number of other rational fractions $S$, each of which yields infinite families of irreducible polynomials for a positive density of starting irreducible polynomials $f$.

math.NT↗
arXiv2019

The R-transform as a power map and its generalisations to higher degree

We give iterative constructions for irreducible polynomials over F_q of degree nt^r for all nonnegative integers r, starting from irreducible polynomials of degree n. The iterative constructions correspond modulo fractional linear transformations to compositions with power functions x^t. The R-transform introduced by Cohen is recovered as a particular case corresponding to x^2, hence we obtain a generalization of Cohen's R-transform (t=2) to arbitrary degrees t bigger that two. Important properties like self-reciprocity and invariance of roots under certain automorphisms are deduced from invariance under multiplication by appropriate roots of unity. Extending to quadratic extensions of F_q we recover and generalize a recently obtained recursive construction of Panario, Reis and Wang.

math.NT↗
arXiv2019

Enumeration of a special class of irreducible polynomials in characteristic 2

A-polynomials were introduced by Meyn and play an important role in the iterative construction of high degree self-reciprocal irreducible polynomials over the field F_2, since they constitute the starting point of the iteration. The exact number of A-polynomials of each degree was given by Niederreiter. Kyuregyan extended the construction of Meyn to arbitrary even finite fields. We relate the A-polynomials in this more general setting to inert places in a certain extension of elliptic function fields and obtain an explicit counting formula for their number. In particular, we are able to show that, except for an isolated exception, there exist A-polynomials of every degree.

math.NT↗
arXiv2018

On the Deuring Polynomial for Drinfeld Modules in Legendre Form

We study a family $ψ^λ$ of $\mathbb F_q[T]$-Drinfeld modules, which is a natural analog of Legendre elliptic curves. We then find a surprising recurrence giving the corresponding Deuring polynomial $H_{p(T)}(λ)$ characterising supersingular Legendre Drinfeld modules $ψ^λ$ in characteristic $p(T)$.

math.NT↗
arXiv2017

Self-Dual Codes better than the Gilbert--Varshamov bound

We show that every self-orthogonal code over $\mathbb F_q$ of length $n$ can be extended to a self-dual code, if there exists self-dual codes of length $n$. Using a family of Galois towers of algebraic function fields we show that over any nonprime field $\mathbb F_q$, with $q\geq 64$, except possibly $q=125$, there are self-dual codes better than the asymptotic Gilbert--Varshamov bound.

cs.IT↗
arXiv2016

Good families of Drinfeld modular curves

In this paper we investigate examples of good and optimal Drinfeld modular towers of function fields. Surprisingly, the optimality of these towers has not been investigated in full detail in the literature. We also give an algorithmic approach on how to obtain explicit defining equations for some of these towers and in particular give a new explicit example of an optimal tower over a quadratic finite field.

math.NT↗
arXiv2013

Galois Towers over Non-prime Finite Fields

In this paper we construct Galois towers with good asymptotic properties over any non-prime finite field $\mathbb F_{\ell}$; i.e., we construct sequences of function fields $\mathcal{N}=(N_1 \subset N_2 \subset \cdots)$ over $\mathbb F_{\ell}$ of increasing genus, such that all the extensions $N_i/N_1$ are Galois extensions and the number of rational places of these function fields grows linearly with the genus. The limits of the towers satisfy the same lower bounds as the best currently known lower bounds for the Ihara constant for non-prime finite fields. Towers with these properties are important for applications in various fields including coding theory and cryptography.

math.AG↗
arXiv2013

Good Towers of Function Fields

In this paper, we will give an overview of known and new techniques on how one can obtain explicit equations for candidates of good towers of function fields. The techniques are founded in modular theory (both the classical modular theory and the Drinfeld modular theory). In the classical modular setup, optimal towers can be obtained, while in the Drinfeld modular setup, good towers over any non-prime field may be found. We illustrate the theory with several examples, thus explaining some known towers as well as giving new examples of good explicitly defined towers of function fields.

math.NT↗
arXiv2013

Towers of Function Fields over Non-prime Finite Fields

Over all non-prime finite fields, we construct some recursive towers of function fields with many rational places. Thus we obtain a substantial improvement on all known lower bounds for Ihara's quantity $A(\ell)$, for $\ell = p^n$ with $p$ prime and $n>3$ odd. We relate the explicit equations to Drinfeld modular varieties.

math.AG↗
arXiv2011

Explicit equations for Drinfeld modular towers

Elaborating on ideas of Elkies, we show how recursive equations for towers of Drinfeld modular curves $(X_0(P^n))_{n\ge 0}$ for $P\in \mathbb F_q[T]$ can be read of directly from the modular polynomial $Φ_P(X,Y)$ and how this naturally leads to recursions of depth two. Although the modular polynomial $Φ_T(X,Y)$ is not known in general, using generators and relations given by Schweizer, we find unreduced recursive equations over $\mathbb F_q(T)$ for the tower $(X_0(T^n))_{n\ge 2}$ and of a small variation of it (its partial Galois closure). Reducing at various primes, one obtains towers over finite fields, which are optimal, i.e., reach the Drinfeld--Vladut bound, over a quadratic extension of the finite field. We give a proof of the optimality of these towers, which is elementary and does not rely on their modular interpretation except at one point. We employ the modular interpretation to determine the splitting field of certain polynomials, which are analogues of the Deuring polynomial. For these towers, the particular case of reduction at the prime $T-1$ corresponds to towers introduced by Elkies and Garcia--Stichtenoth.

math.NT↗