Showing 1–29 of 29 results for author: Tornero, J M

Further Applications of the Generalised Phase Kick-Back

Authors: Joaquín Osorio-Castillo, Ulises Pastor-Díaz, José M. Tornero

Abstract: In our previous work, we defined a quantum algorithmic technique known as the Generalised Phase Kick-Back, or $GPK$, and analysed its applications in generalising some classical quantum problems, such as the Deutsch-Jozsa problem or the Bernstein-Vazirani problem. We also proved that using this technique we can solve Simon's problem in a more efficient manner. In this paper we continue analysing t… ▽ More In our previous work, we defined a quantum algorithmic technique known as the Generalised Phase Kick-Back, or $GPK$, and analysed its applications in generalising some classical quantum problems, such as the Deutsch-Jozsa problem or the Bernstein-Vazirani problem. We also proved that using this technique we can solve Simon's problem in a more efficient manner. In this paper we continue analysing the potential of this technique, defining the concept of $\mathbf{y}$-balanced functions and solving a new problem, which further generalises the generalised Deutsch-Jozsa problem (the fully balanced image problem). This problem also underlines the relation between quantum computation and Boolean function theory, and, in particular, the Walsh and Fourier-Hadamard transforms. We finish our discussion by solving the generalised version of Simon's problem using the $GPK$ algorithm, while analysing the efficiency of this new solution. △ Less

Submitted 6 May, 2024; originally announced May 2024.

MSC Class: 68Q12; 68Q09; 81P68

Quantum algorithms for the Sylvester denumerant and the numerical semigroup membership problem

Authors: J. Ossorio-Castillo, José M. Tornero

Abstract: Two quantum algorithms are presented, which tackle well--known problems in the context of numerical semigroups: the numerical semigroup membership problem (NSMP) and the Sylvester denumerant problem (SDP). Two quantum algorithms are presented, which tackle well--known problems in the context of numerical semigroups: the numerical semigroup membership problem (NSMP) and the Sylvester denumerant problem (SDP). △ Less

Submitted 8 February, 2024; originally announced February 2024.

Journal ref: International Journal of Unconventional Computing 16 (2021) 327-341

Blurred combinatorics in resolution of singularities: (a little) beyond the characteristic polytope

Authors: Helena Cobo, M. J. Soto, José M. Tornero

Abstract: We introduce a variation of the well-known Newton-Hironaka polytope for algebroid hypersurfaces. This combinatorial object is a perturbed version of the original one, parametrized by a real number. For well-chosen values of the parameter, the objects obtained are very close to the original, while at the same time presenting more (hopefully interesting) information in a way which does not depend on… ▽ More We introduce a variation of the well-known Newton-Hironaka polytope for algebroid hypersurfaces. This combinatorial object is a perturbed version of the original one, parametrized by a real number. For well-chosen values of the parameter, the objects obtained are very close to the original, while at the same time presenting more (hopefully interesting) information in a way which does not depend on the choice of parameter. △ Less

Submitted 8 February, 2024; originally announced February 2024.

MSC Class: 14H20; 32S25

Journal ref: Kyoto Journal of Mathematics 60 (2020) 269-289

A Generalisation of the Phase Kick-Back

Authors: Joaquín Ossorio-Castillo, Ulises Pastor-Díaz, José M. Tornero

Abstract: In this paper, we present a generalisation of the Phase Kick-Back technique, which is central to some of the classical algorithms in quantum computing, such as the Deutsch--Jozsa algorithm, Simon's algorithm or Grover's algorithm. We will begin by recalling the Phase Kick-Back technique to then introduce the new generalised version and analyse it. After that, we will present a new generalised ve… ▽ More In this paper, we present a generalisation of the Phase Kick-Back technique, which is central to some of the classical algorithms in quantum computing, such as the Deutsch--Jozsa algorithm, Simon's algorithm or Grover's algorithm. We will begin by recalling the Phase Kick-Back technique to then introduce the new generalised version and analyse it. After that, we will present a new generalised version of the Deutsch--Jozsa problem and it will be solved using the previously defined technique. Finally, we will present a generalised version of the Bernstein-Vazirani problem and solve it using this technique to better understand its inner workings. △ Less

Submitted 6 July, 2022; originally announced July 2022.

MSC Class: 68Q12; 68Q09; 81P68

On the Walsh and Fourier-Hadamard Supports of Boolean Functions From a Quantum Viewpoint

Authors: Claude Carlet, Ulises Pastor-Díaz, José María Tornero

Abstract: In this paper, we focus on the links between Boolean function theory and quantum computing. In particular, we study the notion of what we call fully-balanced functions and analyse the Fourier--Hadamard and Walsh supports of those functions having such property. We study the Walsh and Fourier supports of other relevant classes of functions, using what we call balancing sets. This leads us to revisi… ▽ More In this paper, we focus on the links between Boolean function theory and quantum computing. In particular, we study the notion of what we call fully-balanced functions and analyse the Fourier--Hadamard and Walsh supports of those functions having such property. We study the Walsh and Fourier supports of other relevant classes of functions, using what we call balancing sets. This leads us to revisit and complete certain classic results and to propose new ones. We complete our study by extending the previous results to pseudo-Boolean functions (in relation to vectorial functions) and giving an insight on its applications in the analysis of the possibilities that a certain family of quantum algorithms can offer. △ Less

Submitted 6 May, 2024; v1 submitted 18 May, 2022; originally announced May 2022.

Comments: 23 pages

MSC Class: 15A99; 68R05; 94D10 ACM Class: F.4.1

An adiabatic quantum algorithm for the Frobenius problem

Authors: Joaquín Ossorio-Castillo, José M. Tornero

Abstract: The (Diophantine) Frobenius problem is a well-known NP-hard problem (also called the stamp problem or the chicken nugget problem) whose origins lie in the realm of combinatorial number theory. In this paper we present an adiabatic quantum algorithm which solves it, using the so-called Apéry set of a numerical semigroup, via a translation into a QUBO problem. The algorithm has been specifically des… ▽ More The (Diophantine) Frobenius problem is a well-known NP-hard problem (also called the stamp problem or the chicken nugget problem) whose origins lie in the realm of combinatorial number theory. In this paper we present an adiabatic quantum algorithm which solves it, using the so-called Apéry set of a numerical semigroup, via a translation into a QUBO problem. The algorithm has been specifically designed to run in a D-Wave 2X machine. △ Less

Submitted 3 July, 2019; originally announced July 2019.

Integral points in rational polygons: a numerical semigroup approach

Authors: Guadalupe Márquez-Campos, Jorge L. Ramírez-Alfonsín, José M. Tornero

Abstract: In this paper we use an elementary approach by using numerical semigroups (specifically, those with two generators) to give a formula for the number of integral points inside a right-angled triangle with rational vertices. This is the basic case for computing the number of integral points inside a rational (not necessarily convex) polygon. In this paper we use an elementary approach by using numerical semigroups (specifically, those with two generators) to give a formula for the number of integral points inside a right-angled triangle with rational vertices. This is the basic case for computing the number of integral points inside a rational (not necessarily convex) polygon. △ Less

Submitted 2 July, 2019; originally announced July 2019.

Journal ref: Semigroup Forum (2017) 94:123-138

On the computation of the Apéry set of numerical monoids and affine semigroups

Authors: Guadalupe Márquez-Campos, Ignacio Ojeda, José M. Tornero

Abstract: A simple way of computing the Apéry set of a numerical semigroup (or monoid) with respect to a generator, using Groebner bases, is presented, together with a generalization for affine semigroups. This computation allows us to calculate the type set and, henceforth, to check the Gorenstein condition which characterizes the symmetric numerical subgroups. A simple way of computing the Apéry set of a numerical semigroup (or monoid) with respect to a generator, using Groebner bases, is presented, together with a generalization for affine semigroups. This computation allows us to calculate the type set and, henceforth, to check the Gorenstein condition which characterizes the symmetric numerical subgroups. △ Less

Submitted 2 July, 2019; originally announced July 2019.

Journal ref: Semigroup Forum (2015) 91:139-158

Characterization of Gaps and Elements of a Numerical Semigroup Using Groebner Bases

Authors: Guadalupe Márquez-Campos, José M. Tornero

Abstract: This article is partly a survey and partly a research paper. It tackles the use of Groebner bases for addressing problems of numerical semigroups, which is a topic that has been around for some years, but it does it in a systematic way which enables us to prove some results and a hopefully interesting characterization of the elements of a semigroup in terms of Groebner bases. This article is partly a survey and partly a research paper. It tackles the use of Groebner bases for addressing problems of numerical semigroups, which is a topic that has been around for some years, but it does it in a systematic way which enables us to prove some results and a hopefully interesting characterization of the elements of a semigroup in terms of Groebner bases. △ Less

Submitted 2 July, 2019; originally announced July 2019.

Journal ref: Contemporary Mathematics Volume 649, 2015

Combinatorics and their evolution in resolution of embedded algebroid surfaces

Authors: Helena Cobo, M. J. Soto, José M. Tornero

Abstract: The seminal concept of characteristic polygon of an embedded algebroid surface, first developed by Hironaka, seems well suited for combinatorially (perhaps even effectively) tracking of a resolution process. However, the way this object evolves through the resolution of singularities was not really well understood, as some references had pointed out. The aim of this paper is to explain, in a clear… ▽ More The seminal concept of characteristic polygon of an embedded algebroid surface, first developed by Hironaka, seems well suited for combinatorially (perhaps even effectively) tracking of a resolution process. However, the way this object evolves through the resolution of singularities was not really well understood, as some references had pointed out. The aim of this paper is to explain, in a clear way, how this object changes as the surface gets resolved. In order to get a precise description of the phenomena involved, we need to use different techniques and ideas. Eventually, some effective results regarding the number of blow-ups needed to decrease the multiplicity are obtained as a side product. △ Less

Submitted 30 May, 2019; v1 submitted 29 May, 2019; originally announced May 2019.

Comments: This is the definitive complete version; the previous one was an incomplete draft, uploaded by mistake

Quantum computing from a mathematical perspective: a description of the quantum circuit model

Authors: J. Ossorio-Castillo, José M. Tornero

Abstract: This paper is an essentially self-contained and rigorous description of the fundamental principles of quantum computing from a mathematical perspective. It is intended to help mathematicians who want to get a grasp of this quickly growing discipline and find themselves taken aback by the language gap between mathematics and the pioneering fields on the matter: computer science and quantum physics. This paper is an essentially self-contained and rigorous description of the fundamental principles of quantum computing from a mathematical perspective. It is intended to help mathematicians who want to get a grasp of this quickly growing discipline and find themselves taken aback by the language gap between mathematics and the pioneering fields on the matter: computer science and quantum physics. △ Less

Submitted 16 October, 2018; originally announced October 2018.

Torsion of rational elliptic curves over quadratic fields

Authors: Enrique Gonzalez-Jimenez, Jose M. Tornero

Abstract: Let E be an elliptic curve defined over Q. We study the relationship between the torsion subgroup E(Q)_tors and the torsion subgroup E(K)_tors, where K is a quadratic number field. Let E be an elliptic curve defined over Q. We study the relationship between the torsion subgroup E(Q)_tors and the torsion subgroup E(K)_tors, where K is a quadratic number field. △ Less

Submitted 13 November, 2014; originally announced November 2014.

Journal ref: Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales. Serie A. Matematicas. 108 (2) (2014), 923-934

Torsion of rational elliptic curves over quadratic fields II

Authors: Enrique Gonzalez-Jimenez, Jose M. Tornero

Abstract: Let E be an elliptic curve defined over Q and let G=E(Q)_tors be the associated torsion group. In a previous paper, the authors studied, for a given G, which possible groups G\leq H could appear such that H=E(K)_tors, for [K:Q]=2. In the present paper, we go further in this study and compute, under this assumption and for every such G, all the possible situations where G\neq H. The result is optim… ▽ More Let E be an elliptic curve defined over Q and let G=E(Q)_tors be the associated torsion group. In a previous paper, the authors studied, for a given G, which possible groups G\leq H could appear such that H=E(K)_tors, for [K:Q]=2. In the present paper, we go further in this study and compute, under this assumption and for every such G, all the possible situations where G\neq H. The result is optimal, as we also display examples for every situation we state as possible. As a consequence, the maximum number of quadratic number fields K such that E(Q)_tors\neq E(K)_tors is easily obtained. △ Less

Submitted 7 April, 2015; v1 submitted 13 November, 2014; originally announced November 2014.

Comments: To appear in Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A. Matemática RACSAM

Journal ref: Serie A. Matemática RACSAM, 110 (1) (2016), 121-143

Torsion of rational elliptic curves over cubic fields

Authors: Enrique Gonzalez-Jimenez, Filip Najman, Jose M. Tornero

Abstract: Let E be an elliptic curve defined over Q. We study the relationship between the torsion subgroup E(Q)_tors and the torsion subgroup E(K)_tors, where K is a cubic number field. In particular, We study the number of cubic number fields K such that E(Q)_tors\neq E(K)_tors. Let E be an elliptic curve defined over Q. We study the relationship between the torsion subgroup E(Q)_tors and the torsion subgroup E(K)_tors, where K is a cubic number field. In particular, We study the number of cubic number fields K such that E(Q)_tors\neq E(K)_tors. △ Less

Submitted 7 April, 2015; v1 submitted 13 November, 2014; originally announced November 2014.

Comments: Rocky Mountain Journal of Mathematica, to appear

Journal ref: Rocky Mountain J. Math. 46 (2016), no. 6, 1899-1917

Markoff-Rosenberger triples in arithmetic progression

Authors: Enrique González-Jiménez, José M. Tornero

Abstract: We study the solutions of the Rosenberg--Markoff equation ax^2+by^2+cz^2 = dxyz (a generalization of the well--known Markoff equation). We specifically focus on looking for solutions in arithmetic progression that lie in the ring of integers of a number field. With the help of previous work by Alvanos and Poulakis, we give a complete decision algorithm, which allows us to prove finiteness results… ▽ More We study the solutions of the Rosenberg--Markoff equation ax^2+by^2+cz^2 = dxyz (a generalization of the well--known Markoff equation). We specifically focus on looking for solutions in arithmetic progression that lie in the ring of integers of a number field. With the help of previous work by Alvanos and Poulakis, we give a complete decision algorithm, which allows us to prove finiteness results concerning these particular solutions. Finally, some extensive computations are presented regarding two particular cases: the generalized Markoff equation x^2+y^2+z^2 = dxyz over quadratic fields and the classic Markoff equation x^2+y^2+z^2 = 3xyz over an arbitrary number field. △ Less

Submitted 21 January, 2013; originally announced January 2013.

Comments: To appear in Journal of Symbolic Computation

Journal ref: J. Symbolic Comput. 53 (2013), 53-63

On the ubiquity of trivial torsion on elliptic curves

Authors: Enrique Gonzalez-Jimenez, Jose M. Tornero

Abstract: The purpose of this paper is to give a "down--to--earth" proof of the well--known fact that a randomly chosen elliptic curve over the rationals is most likely to have trivial torsion. The purpose of this paper is to give a "down--to--earth" proof of the well--known fact that a randomly chosen elliptic curve over the rationals is most likely to have trivial torsion. △ Less

Submitted 3 February, 2010; originally announced February 2010.

MSC Class: 11G05; 14H52

Journal ref: Archiv der Mathematik Vol. 95, no. 2, 135-141 (2010)

Galois Theory, discriminants and torsion subgroups of elliptic curves

Authors: Irene Garcia-Selfa, Enrique Gonzalez-Jimenez, Jose M. Tornero

Abstract: We find a tight relationship between the torsion subgroup and the image of the mod 2 Galois representation associated to an elliptic curve defined over the rationals. This is shown using some characterizations for the squareness of the discriminant of the elliptic curve. We find a tight relationship between the torsion subgroup and the image of the mod 2 Galois representation associated to an elliptic curve defined over the rationals. This is shown using some characterizations for the squareness of the discriminant of the elliptic curve. △ Less

Submitted 30 June, 2009; v1 submitted 10 November, 2008; originally announced November 2008.

Comments: New version, some typos fixed and the proof of the lemma in the Appendix has been expanded

MSC Class: 11R32; 11G05

Journal ref: Journal of Pure and Applied Algebra 214, 1340-1346 (2010)

On the discriminant of elliptic curves with non-trivial torsion

Authors: I. Garcia-Selfa, Jose M. Tornero

Abstract: For those elliptic curves defined over the rational with non--trivial torsion subgroup, we find a tight relationship between the torsion subgroup itself and a Galois group naturally arising from the curve. For those elliptic curves defined over the rational with non--trivial torsion subgroup, we find a tight relationship between the torsion subgroup itself and a Galois group naturally arising from the curve. △ Less

Submitted 19 July, 2007; v1 submitted 12 July, 2007; originally announced July 2007.

Comments: Temporarily withdrawn

MSC Class: 11G05; 11R16

Thue equations and torsion groups of elliptic curves

Authors: Irene Garcia-Selfa, Jose M. Tornero

Abstract: A new characterization of rational torsion subgroups of elliptic curves is found, for points of order greater than 4, through the existence of solution for systems of Thue equations. A new characterization of rational torsion subgroups of elliptic curves is found, for points of order greater than 4, through the existence of solution for systems of Thue equations. △ Less

Submitted 20 June, 2007; originally announced June 2007.

Comments: 18 pages. Submitted

MSC Class: 11G05 (Primary); 11D41 (Secondary)

Journal ref: Journal of Number Theory 129 (2009) 367-380

Searching for simultaneous arithmetic progressions on elliptic curves

Authors: Irene Garcia-Selfa, Jose M. Tornero

Abstract: We look for elliptic curves featuring rational points whose coordinates form two arithmetic progressions, one for each coordinate. A constructive method for creating such curves is shown, for lengths up to 5. We look for elliptic curves featuring rational points whose coordinates form two arithmetic progressions, one for each coordinate. A constructive method for creating such curves is shown, for lengths up to 5. △ Less

Submitted 21 March, 2007; originally announced March 2007.

Comments: Preliminary version (November 2004). Final version already published (2005)

MSC Class: 11G05; 11B25

Journal ref: Bulletin of the Australian Mathematical Society 71 (2005) 417-424

Some geometric aspects of Puiseux surfaces

Authors: Jose M. Tornero

Abstract: The following problem is treated: Characterizing the tangent cone and the equimultiple locus of a Puiseux surface (that is, an algebroid embedded surface admitting an equation whose roots are Puiseux power series), using a set of exponents appearing in a root of an equation. The aim is knowing to which extent the well--known results for the quasi--ordinary case can be extended to this much wider… ▽ More The following problem is treated: Characterizing the tangent cone and the equimultiple locus of a Puiseux surface (that is, an algebroid embedded surface admitting an equation whose roots are Puiseux power series), using a set of exponents appearing in a root of an equation. The aim is knowing to which extent the well--known results for the quasi--ordinary case can be extended to this much wider family. △ Less

Submitted 21 March, 2007; originally announced March 2007.

Comments: Preliminary version (October 2002). Final version already published (2003)

MSC Class: 14B05; 32S22

Journal ref: Revista Matemática Iberoamericana 19 (2003) 731-744

Equimultiple locus of embedded algebroid surfaces and blowing--up in arbitrary characteristic

Authors: R. Piedra, Jose M. Tornero

Abstract: This paper extends previous results of the authors, concerning the behaviour of the equimultiple locus of algebroid surfaces under blowing--up, to arbitrary characteristic. This paper extends previous results of the authors, concerning the behaviour of the equimultiple locus of algebroid surfaces under blowing--up, to arbitrary characteristic. △ Less

Submitted 20 March, 2007; originally announced March 2007.

Comments: Submitted. Superseeds our previous paper math.AG/0703579

MSC Class: 14B05; 32S25

Journal ref: Algebra Colloquium 16 (2009) 575-586

Equimultiple locus of embedded algebroid surfaces and blowing--up in characteristic zero

Authors: R. Piedra, Jose M. Tornero

Abstract: The smooth equimultiple locus of embedded algebroid surfaces appears naturally in many resolution process, both classical and modern. In this paper we explore how it changes by blowing--up. The smooth equimultiple locus of embedded algebroid surfaces appears naturally in many resolution process, both classical and modern. In this paper we explore how it changes by blowing--up. △ Less

Submitted 20 March, 2007; originally announced March 2007.

Comments: Preliminary version (20/11/2002). A final version has already been published (2003)

MSC Class: 14B05; 32S25

Journal ref: Serdica Mathematical Journal 30 (2004) 195-206

A complete diophantine characterization of the rational torsion of an elliptic curve

Authors: Irene Garcia-Selfa, Jose M. Tornero

Abstract: We give a complete characterization for the rational torsion of an elliptic curve in terms of the (non-)existence of integral solutions of a system of diophantine equations. We give a complete characterization for the rational torsion of an elliptic curve in terms of the (non-)existence of integral solutions of a system of diophantine equations. △ Less

Submitted 20 March, 2007; originally announced March 2007.

Comments: 17 pages. Submitted

MSC Class: 11G05; 11Dxx

On simultaneous arithmetic progressions on elliptic curves

Authors: I. Garcia-Selfa, J. M. Tornero

Abstract: In this paper we study elliptic curves which have a number of points whose coordinates are in arithmetic progression. We first motivate this diophantine problem, prove some results, provide a number of interesting examples and, finally point out open questions which focus on the most interesting aspects of the problem for us. In this paper we study elliptic curves which have a number of points whose coordinates are in arithmetic progression. We first motivate this diophantine problem, prove some results, provide a number of interesting examples and, finally point out open questions which focus on the most interesting aspects of the problem for us. △ Less

Submitted 18 April, 2006; originally announced April 2006.

Comments: 22 pages

MSC Class: 11G05; 14H52; 11B25

Journal ref: Experimental Mathematics 15 (2006) 471-478

Hironaka's characteristic polygon and effective resolution of surfaces

Authors: R. Piedra, J. M. Tornero

Abstract: Hironaka's concept of characteristic polyhedron of a singularity has been one of the most powerful and fruitful ideas of the last decades in singularity theory. In fact, since then combinatorics have become a major tool in many important results. However, this seminal concept is still not enough to cope with some effective problems: for instance, giving a bound on the maximum number of blowing--… ▽ More Hironaka's concept of characteristic polyhedron of a singularity has been one of the most powerful and fruitful ideas of the last decades in singularity theory. In fact, since then combinatorics have become a major tool in many important results. However, this seminal concept is still not enough to cope with some effective problems: for instance, giving a bound on the maximum number of blowing--ups to be performed on a surface before its multiplicity decreases. This short note shows why such a bounding is not possible, at least with the original definitions. △ Less

Submitted 18 April, 2006; originally announced April 2006.

Comments: 7 pages, 1 figure

MSC Class: 14H20; 32S25

Journal ref: Comptes Rendus Mathématiques 344 (2007) 309-312

On the singular braid monoid of an orientable surface

Authors: Jeronimo Diaz-Cantos, Juan Gonzalez-Meneses, Jose M. Tornero

Abstract: In this paper we show that the singular braid monoid of an orientable surface can be embedded in a group. The proof is purely topological, making no use of the monoid presentation. In this paper we show that the singular braid monoid of an orientable surface can be embedded in a group. The proof is purely topological, making no use of the monoid presentation. △ Less

Submitted 3 September, 2002; originally announced September 2002.

Comments: 8 pages, 10 figures

MSC Class: 20F36; 20F38

On Kummer extensions of the power series field

Authors: J. M. Tornero

Abstract: In this paper we study the Kummer extensions of the power series field $K=k((X_1,...,X_n)$, where $k$ is an algebraically closed field of arbitrary characteristic. In this paper we study the Kummer extensions of the power series field $K=k((X_1,...,X_n)$, where $k$ is an algebraically closed field of arbitrary characteristic. △ Less

Submitted 27 November, 2002; v1 submitted 26 September, 2001; originally announced September 2001.

Comments: 10 pages, no figures

Report number: formerly math.RA/0109207 MSC Class: 13F25; 13J05

Computing the rational torsion of an elliptic curve using Tate normal form

Authors: I. García, M. A. Olalla Acosta, J. M. Tornero

Abstract: It is a classical result (apparently due to Tate) that all elliptic curves with a torsion point of order n ($4 \leq n \leq 10$, or n = 12) lie in a one-parameter family. However, this fact does not appear to have been used ever for computing the torsion of an elliptic curve. We present here a extremely down-to-earth algorithm using the existence of such a family. It is a classical result (apparently due to Tate) that all elliptic curves with a torsion point of order n ($4 \leq n \leq 10$, or n = 12) lie in a one-parameter family. However, this fact does not appear to have been used ever for computing the torsion of an elliptic curve. We present here a extremely down-to-earth algorithm using the existence of such a family. △ Less

Submitted 10 November, 2000; originally announced November 2000.

Comments: 14 pages

MSC Class: 11G05

Journal ref: J. Number Theory 96, 76-88 (2002)