English
Related papers

Related papers: The Discrete Logarithm Problem over Prime Fields c…

200 papers

We propose various strategies for improving the computation of discrete logarithms in non-prime fields of medium to large characteristic using the Number Field Sieve. This includes new methods for selecting the polynomials; the use of…

Number Theory · Mathematics 2022-08-26 Razvan Barbulescu , Pierrick Gaudry , Aurore Guillevic , François Morain

Discrete polymatroids are the multi-set analogue of matroids. In this paper, we explore the connections among linear network coding, linear index coding and representable discrete polymatroids. We consider vector linear solutions of…

Information Theory · Computer Science 2016-03-22 Vijayvaradharaj T. Muralidharan , B. Sundar Rajan

It is well known that for a first order system of linear difference equations with rational function coefficients, a solution that is holomorphic in some left half plane can be analytically continued to a meromorphic solution in the whole…

Symbolic Computation · Computer Science 2018-02-06 Moulay A. Barkatou , Maximilian Jaroschek

A reduced divisor on a nonsingular variety defines the sheaf of logarithmic 1-forms. We introduce a certain coherent sheaf whose double dual coincides with this sheaf. It has some nice properties, for example, the residue exact sequence…

Algebraic Geometry · Mathematics 2007-05-23 Igor V. Dolgachev

We survey the classical results on the prime number theorem

Number Theory · Mathematics 2007-05-23 Yong-Cheol Kim

The discrete logarithm problem (DLP) generalizes to the constrained DLP, where the secret exponent $x$ belongs to a set known to the attacker. The complexity of generic algorithms for solving the constrained DLP depends on the choice of the…

Number Theory · Mathematics 2018-12-12 Ilya Mironov , Anton Mityagin , Kobbi Nissim

Given a polynomial with integral coefficients, one can inquire about the possible residues it can take in its image modulo a prime $p$. The sum over the distinct residues can sometimes be computed independent of the prime $p$; for example,…

Number Theory · Mathematics 2024-07-16 Thomas Brazelton , Joshua Harrington , Matthew Litman , Tony W. H. Wong

We examine an infinite, linear system of ordinary differential equations that models the evolution of fragmenting clusters, where each cluster is assumed to be composed of identical units. In contrast to previous investigations into such…

Functional Analysis · Mathematics 2024-06-17 Lyndsay Kerr , Wilson Lamb , Matthias Langer

In this paper, it is proved that, in a dual context, asymptotic expansions of ordinary linear time-differential equations which possess limiting equations to their limiting equations might be obtained by first discretizing them and then…

Classical Analysis and ODEs · Mathematics 2008-03-28 M. De la Sen

We present a machine learning algorithm that discovers conservation laws from differential equations, both numerically (parametrized as neural networks) and symbolically, ensuring their functional independence (a non-linear generalization…

Machine Learning · Computer Science 2022-11-01 Ziming Liu , Varun Madhavan , Max Tegmark

We present the stellar resolution, a "flexible" tile system based on Robinson's first-order resolution. After establishing formal definitions and basic properties of the stellar resolution, we show its Turing-completeness and to illustrate…

Logic in Computer Science · Computer Science 2022-07-19 Boris Eng , Thomas Seiller

The notion of singular reduction modules, i.e., of singular modules of nonclassical (conditional) symmetry, of differential equations is introduced. It is shown that the derivation of nonclassical symmetries for differential equations can…

Mathematical Physics · Physics 2017-12-05 Vaycheslav M. Boyko , Michael Kunzinger , Roman O. Popovych

Linear forms in logarithms over connected commutative algebraic groups over the algebraic numbers field have been studied widely. However, the theory of linear forms in logarithms over noncommutative algebraic groups have not been developed…

Number Theory · Mathematics 2015-12-01 Mario Huicochea

Let $\chi$ be a real non-principal character modulo a prime $q$ and $L(s,\chi)$ be the corresponding $L$-function. We prove that for any real number $s\geq 1$ there holds $$ -\frac{L'(s,\chi )}{L(s,\chi)}\leq c \log q,$$ where $c$ can be…

Number Theory · Mathematics 2025-09-10 Genheng Zhao

We prove that $\delta$-derivations of a simple finite-dimensional Lie algebra over a field of characteristic zero, with values in a finite-dimensional module, are either inner derivations, or, in the case of adjoint module, multiplications…

Rings and Algebras · Mathematics 2022-11-15 Arezoo Zohrabi , Pasha Zusmanovich

In difference algebra, summability arises as a basic problem upon which rests the effective solution of other more elaborate problems, such as creative telescoping problems and the computation of Galois groups of difference equations. In…

Symbolic Computation · Computer Science 2025-04-29 Carlos E. Arreche

We explore the possibility of using the method of classical integral transforms to solve a class of $q$-difference-differential equations. The Laplace and the Mellin transform of $q$-derivatives are derived. The results show that the Mellin…

Mathematical Physics · Physics 2009-10-31 Choon-Lin Ho

A systematic study of the discrete second order projective system is presented, complemented by the integrability analysis of the associated multilinear mapping. Moreover, we show how we can obtain third order integrable equations as the…

Exactly Solvable and Integrable Systems · Physics 2007-05-23 S. Lafortune , B. Grammaticos , A. Ramani

A classical result due to Bochner characterizes the classical orthogonal polynomial systems as solutions of a second-order eigenvalue equation. We extend Bochner's result by dropping the assumption that the first element of the orthogonal…

Mathematical Physics · Physics 2010-04-14 David Gomez-Ullate , Niky Kamran , Robert Milson

Mahler equations relate evaluations of the same function $f$ at iterated $b$th powers of the variable. They arise in particular in the study of automatic sequences and in the complexity analysis of divide-and-conquer algorithms. Recently,…

Symbolic Computation · Computer Science 2020-11-10 Frédéric Chyzak , Thomas Dreyfus , Philippe Dumas , Marc Mezzarobba