Showing 1–16 of 16 results for author: Barrios, J

Local data of elliptic curves under quadratic twist

Authors: Alexander J. Barrios, Manami Roy, Nandita Sahajpal, Darwin Tallana, Bella Tobin, Hanneke Wiersema

Abstract: Let $K$ be the field of fractions of a complete discrete valuation ring with a perfect residue field. In this article, we investigate how the Tamagawa number of $E/K$ changes under quadratic twist. To accomplish this, we introduce the notion of a normal model for $E/K$, which is a Weierstrass model satisfying certain conditions that lead one to easily infer the local data of $E/K$. Our main result… ▽ More Let $K$ be the field of fractions of a complete discrete valuation ring with a perfect residue field. In this article, we investigate how the Tamagawa number of $E/K$ changes under quadratic twist. To accomplish this, we introduce the notion of a normal model for $E/K$, which is a Weierstrass model satisfying certain conditions that lead one to easily infer the local data of $E/K$. Our main results provide necessary and sufficient conditions on the Weierstrass coefficients of a normal model of $E/K$ to determine the local data of a quadratic twist $E^{d}/K$. We note that when the residue field has characteristic $2$, we only consider the special case $K=\mathbb{Q}_{2}$. In this setting, we also determine the minimal discriminant valuation and conductor exponent of $E$ and $E^d$ from further conditions on the coefficients of a normal model for $E$. △ Less

Submitted 6 January, 2025; originally announced January 2025.

Comments: 40 pages

On Godunov-type finite volume methods for seismic wave propagation

Authors: Juan Barrios, Pedro S. Peixoto, Felipe A. G. Silva

Abstract: The computational complexity of simulating seismic waves demands continual exploration of more efficient numerical methods. While Finite Volume methods are widely acclaimed for tackling general nonlinear hyperbolic (wave) problems, their application in realistic seismic wave simulation remains uncommon, with rare investigations in the literature. Furthermore, seismic wavefields are influenced by s… ▽ More The computational complexity of simulating seismic waves demands continual exploration of more efficient numerical methods. While Finite Volume methods are widely acclaimed for tackling general nonlinear hyperbolic (wave) problems, their application in realistic seismic wave simulation remains uncommon, with rare investigations in the literature. Furthermore, seismic wavefields are influenced by sharp subsurface interfaces frequently encountered in realistic models, which could, in principle, be adequately solved with Finite Volume methods. In this study, we delved into two Finite Volume (FV) methods to assess their efficacy and competitiveness in seismic wave simulations, compared to traditional Finite Difference schemes. We investigated Gudunov-type FV methods: an upwind method called wave propagation algorithm (WPA), and a Central-Upwind type method (CUp). Our numerical analysis uncovered that these finite volume methods could provide less dispersion (albeit increased dissipation) compared to finite differences for seismic problems characterized by velocity profiles with abrupt transitions in the velocity. However, when applied to more realistic seismic models, finite volume methods yielded unfavorable outcomes compared to finite difference methods, the latter offering lower computational costs and higher accuracy. This highlights that despite the potential advantages of finite volume methods, such as their conservative nature and aptitude for accurately capturing shock waves in specific contexts, our results indicate that they are only advantageous for seismic simulations when unrealistic abrupt transitions are present in the velocity models in the velocity models. △ Less

Submitted 1 June, 2025; v1 submitted 26 July, 2024; originally announced July 2024.

Journal ref: Discov Geosci 3, 55 (2025)

Prime isogenous discriminant ideal twins

Authors: Alexander J. Barrios, Maila Brucal-Hallare, Alyson Deines, Piper Harris, Manami Roy

Abstract: Let $E_{1}$ and $E_{2}$ be elliptic curves defined over a number field $K$. We say that $E_{1}$ and $E_{2}$ are discriminant ideal twins if they are not $K$-isomorphic and have the same minimal discriminant ideal and conductor. Such curves are said to be discriminant twins if, for each prime $\mathfrak{p}$ of $K$, there are $\mathfrak{p}$-minimal models for $E_{1}$ and $E_{2}$ whose discriminants… ▽ More Let $E_{1}$ and $E_{2}$ be elliptic curves defined over a number field $K$. We say that $E_{1}$ and $E_{2}$ are discriminant ideal twins if they are not $K$-isomorphic and have the same minimal discriminant ideal and conductor. Such curves are said to be discriminant twins if, for each prime $\mathfrak{p}$ of $K$, there are $\mathfrak{p}$-minimal models for $E_{1}$ and $E_{2}$ whose discriminants are equal. This article explicitly classifies all prime-isogenous discriminant (ideal) twins over $\mathbb{Q}$. We obtain this classification as a consequence of our main results, which constructively gives all $p$-isogenous discriminant ideal twins over number fields where $p\in\left\{ 2,3,5,7,13\right\}$, i.e., where $X_0(p)$ has genus $0$. In particular, we find that up to twist, there are finitely many $p$-isogenous discriminant ideal twins if and only if $K$ is $\mathbb{Q}$ or an imaginary quadratic field. In the latter case, we provide instructions for finding the finitely many pairs of $j$-invariants that result in $p$-isogenous discriminant ideal twins. We prove our results by considering the local data of parameterized $p$-isogenous elliptic curves. △ Less

Submitted 29 February, 2024; originally announced February 2024.

Comments: 35 pages

MSC Class: 11G05; 11G07; 14K02; 14H10; 14H52

Symmetric tensor powers of graphs

Authors: Weymar Astaiza, Alexander J. Barrios, Henry Chimal-Dzul, Stephan Ramon Garcia, Jaaziel de la Luz, Victor H. Moll, Yunied Puig, Diego Villamizar

Abstract: The symmetric tensor power of graphs is introduced and its fundamental properties are explored. A wide range of intriguing phenomena occur when one considers symmetric tensor powers of familiar graphs. A host of open questions are presented, hoping to spur future research. The symmetric tensor power of graphs is introduced and its fundamental properties are explored. A wide range of intriguing phenomena occur when one considers symmetric tensor powers of familiar graphs. A host of open questions are presented, hoping to spur future research. △ Less

Submitted 24 September, 2023; originally announced September 2023.

MSC Class: 05C76; 05C40

Reduced minimal models and torsion

Authors: Alexander J. Barrios

Abstract: Let $E/\mathbb{Q}$ be an elliptic curve. The reduced minimal model of $E$ is a global minimal model $y^{2}+a_{1}xy+a_{3}y=x^{3}+a_{2}x^{2}+a_{4}x+a_{6}$ which satisfies the additional conditions that $a_{1},a_{3}\in \{0,1\}$ and $a_{2}\in\{0,\pm1\}$. The reduced minimal model of $E$ is unique, and in this article, we explicitly classify the reduced minimal model of an elliptic curve… ▽ More Let $E/\mathbb{Q}$ be an elliptic curve. The reduced minimal model of $E$ is a global minimal model $y^{2}+a_{1}xy+a_{3}y=x^{3}+a_{2}x^{2}+a_{4}x+a_{6}$ which satisfies the additional conditions that $a_{1},a_{3}\in \{0,1\}$ and $a_{2}\in\{0,\pm1\}$. The reduced minimal model of $E$ is unique, and in this article, we explicitly classify the reduced minimal model of an elliptic curve $E/\mathbb{Q}$ with a non-trivial torsion point. We obtain this classification by first showing that the reduced minimal model of $E$ is uniquely determined by a congruence on $c_6$ modulo $24$. We then apply this result to parameterized families of elliptic curves to deduce our main result. We also show that the reduction at $2$ and $3$ of $E$ affects the reduced minimal model of $E$. △ Less

Submitted 23 January, 2023; originally announced January 2023.

Comments: 14 pages

On $abc$ triples of the form $(1,c-1,c)$

Authors: Elise Alvarez-Salazar, Alexander J. Barrios, Calvin Henaku, Summer Soller

Abstract: By an $abc$ triple, we mean a triple $(a,b,c)$ of relatively prime positive integers $a,b,$ and $c$ such that $a+b=c$ and $\operatorname{rad}(abc)<c$, where $\operatorname{rad}(n)$ denotes the product of the distinct prime factors of $n$. The study of $abc$ triples is motivated by the $abc$ conjecture, which states that for each $ε>0$, there are finitely many $abc$ triples $(a,b,c)$ such that… ▽ More By an $abc$ triple, we mean a triple $(a,b,c)$ of relatively prime positive integers $a,b,$ and $c$ such that $a+b=c$ and $\operatorname{rad}(abc)<c$, where $\operatorname{rad}(n)$ denotes the product of the distinct prime factors of $n$. The study of $abc$ triples is motivated by the $abc$ conjecture, which states that for each $ε>0$, there are finitely many $abc$ triples $(a,b,c)$ such that $\operatorname{rad}(abc)^{1+ε}<c$. The necessity of the $ε$ in the $abc$ conjecture is demonstrated by the existence of infinitely many $abc$ triples. For instance, $\left( 1,9^{k}-1,9^{k}\right) $ is an $abc$ triple for each positive integer $k$. In this article, we study $abc$ triples of the form $\left(1,c-1,c\right) $ and deduce two general results that allow us to recover existing sequences of $abc$ triples having $a=1$ that are in the literature. △ Less

Submitted 16 August, 2023; v1 submitted 3 January, 2023; originally announced January 2023.

Comments: 18 pages; incorporates referee's suggestions; a small correction to the statement of Lemma 2.7; final version to appear in Integers

MSC Class: 11D75; 11J25

Journal ref: Integers 23 (2023), Paper No. A65, 22 pp

Explicit classification of isogeny graphs of rational elliptic curves

Authors: Alexander J. Barrios

Abstract: Let $n>1$ be an integer such that $X_{0}\!\left( n\right) $ has genus $0$, and let $K$ be a field of characteristic $0$ or relatively prime to $6n$. In this article, we explicitly classify the isogeny graphs of all rational elliptic curves that admit a non-trivial isogeny over $\mathbb{Q}$. We achieve this by introducing $56$ parameterized families of elliptic curves $\mathcal{C}_{n,i}(t,d)$ defin… ▽ More Let $n>1$ be an integer such that $X_{0}\!\left( n\right) $ has genus $0$, and let $K$ be a field of characteristic $0$ or relatively prime to $6n$. In this article, we explicitly classify the isogeny graphs of all rational elliptic curves that admit a non-trivial isogeny over $\mathbb{Q}$. We achieve this by introducing $56$ parameterized families of elliptic curves $\mathcal{C}_{n,i}(t,d)$ defined over $K(t,d)$, which have the following two properties for a fixed $n$: the elliptic curves $\mathcal{C}_{n,i}(t,d)$ are isogenous over $K(t,d)$, and there are integers $k_{1}$ and $k_{2}$ such that the $j$-invariants of $\mathcal{C}_{n,k_{1}}(t,d)$ and $\mathcal{C}_{n,k_{2}}(t,d)$ are given by the Fricke parameterizations. As a consequence, we show that if $E$ is an elliptic curve over a number field $K$ with isogeny class degree divisible by $n\in\left\{4,6,9\right\} $, then there is a quadratic twist of $E$ that is semistable at all primes $\mathfrak{p}$ of $K$ such that $\mathfrak{p}\nmid n$. △ Less

Submitted 10 August, 2022; originally announced August 2022.

Comments: 22 pages; incorporates referee's suggestions; final version to appear in International Journal of Number Theory

MSC Class: 11G05; 14K02; 14H10; 14H52

Representations attached to elliptic curves with a non-trivial odd torsion point

Authors: Alexander J. Barrios, Manami Roy

Abstract: We give a classification of the cuspidal automorphic representations attached to rational elliptic curves with a non-trivial torsion point of odd order. Such elliptic curves are parameterizable, and in this paper, we find the necessary and sufficient conditions on the parameters to determine when split or non-split multiplicative reduction occurs. Using this and the known results on when additive… ▽ More We give a classification of the cuspidal automorphic representations attached to rational elliptic curves with a non-trivial torsion point of odd order. Such elliptic curves are parameterizable, and in this paper, we find the necessary and sufficient conditions on the parameters to determine when split or non-split multiplicative reduction occurs. Using this and the known results on when additive reduction occurs for these parametrized curves, we classify the automorphic representations in terms of the parameters. △ Less

Submitted 8 March, 2022; v1 submitted 29 June, 2021; originally announced June 2021.

Comments: 17 pages; incorporates referee's suggestions; a small correction to the statement of Theorem 3.3; final version to appear in Bulletin of the London Mathematical Society

MSC Class: 11G05; 11G07; 11F70

Journal ref: Bull. London Math. Soc. 2022;54:1846-1861

Lower bounds for the modified Szpiro ratio

Authors: Alexander J. Barrios

Abstract: Let $E/\mathbb{Q}$ be an elliptic curve. The modified Szpiro ratio of $E$ is the quantity $σ_{m}(E) =\log\max\left\{ \left\vert c_{4}^{3}\right\vert ,c_{6}^{2}\right\} /\log N_{E}$ where $c_{4}$ and $c_{6}$ are the invariants associated to a global minimal model of $E$, and $N_{E}$ denotes the conductor of $E$. In this article, we show that for each of the fifteen torsion subgroups $T$ allowed by… ▽ More Let $E/\mathbb{Q}$ be an elliptic curve. The modified Szpiro ratio of $E$ is the quantity $σ_{m}(E) =\log\max\left\{ \left\vert c_{4}^{3}\right\vert ,c_{6}^{2}\right\} /\log N_{E}$ where $c_{4}$ and $c_{6}$ are the invariants associated to a global minimal model of $E$, and $N_{E}$ denotes the conductor of $E$. In this article, we show that for each of the fifteen torsion subgroups $T$ allowed by Mazur's Torsion Theorem, there is a rational number $l_{T}$ such that if $T\hookrightarrow E(\mathbb{Q}) _{\text{tors}}$, then $σ_{m}(E) >l_{T}$. We also show that this bound is sharp. △ Less

Submitted 31 March, 2023; v1 submitted 21 April, 2021; originally announced April 2021.

Comments: 15 pages; incorporates referee's suggestions; sharpness of lower bounds is no longer conditional on the abc conjecture; final version to appear in Acta Arithmetica

MSC Class: 11G05; 11D75; 11J25

Local data of rational elliptic curves with non-trivial torsion

Authors: Alexander J. Barrios, Manami Roy

Abstract: By Mazur's Torsion Theorem, there are fourteen possibilities for the non-trivial torsion subgroup $T$ of a rational elliptic curve. For each $T$, such that $E$ may have additive reduction at a prime $p$, we consider a parameterized family $E_T$ of elliptic curves with the property that they parameterize all elliptic curves $E/\mathbb{Q}$ which contain $T$ in their torsion subgroup. Using these par… ▽ More By Mazur's Torsion Theorem, there are fourteen possibilities for the non-trivial torsion subgroup $T$ of a rational elliptic curve. For each $T$, such that $E$ may have additive reduction at a prime $p$, we consider a parameterized family $E_T$ of elliptic curves with the property that they parameterize all elliptic curves $E/\mathbb{Q}$ which contain $T$ in their torsion subgroup. Using these parameterized families, we explicitly classify the Kodaira-Néron type, the conductor exponent, and the local Tamagawa number at each prime $p$ where $E/\mathbb{Q}$ has additive reduction. As a consequence, we find all rational elliptic curves with a $2$-torsion or a $3$-torsion point that have global Tamagawa number $1$. △ Less

Submitted 7 March, 2022; v1 submitted 20 April, 2021; originally announced April 2021.

Comments: 36 pages; incorporates referee's suggestions; final version to appear in Pacific Journal of Mathematics

MSC Class: 11G05; 11G07; 11G40; 14H52

Journal ref: Pacific J. Math. 318 (2022) 1-42

Good elliptic curves with a specified torsion subgroup

Authors: Alexander J. Barrios

Abstract: An elliptic curve $E$ over $\mathbb{Q}$ is said to be good if $N_{E}^{6}<\max\!\left\{ \left\vert c_{4}^{3}\right\vert ,c_{6}^{2}\right\} $ where $N_{E}$ is the conductor of $E$ and $c_{4}$ and $c_{6}$ are the invariants associated to a global minimal model of $E$. In this article, we generalize Masser's Theorem on the existence of infinitely many good elliptic curves with full $2$-torsion. Specif… ▽ More An elliptic curve $E$ over $\mathbb{Q}$ is said to be good if $N_{E}^{6}<\max\!\left\{ \left\vert c_{4}^{3}\right\vert ,c_{6}^{2}\right\} $ where $N_{E}$ is the conductor of $E$ and $c_{4}$ and $c_{6}$ are the invariants associated to a global minimal model of $E$. In this article, we generalize Masser's Theorem on the existence of infinitely many good elliptic curves with full $2$-torsion. Specifically, we prove via constructive methods that for each of the fifteen torsion subgroups $T$ allowed by Mazur's Torsion Theorem, there are infinitely many good elliptic curves $E$ with $E\!\left(\mathbb{Q}\right) _{\text{tors}}\cong T$. △ Less

Submitted 10 August, 2022; v1 submitted 22 December, 2020; originally announced December 2020.

Comments: 19 pages; incorporates referee's suggestions; final version to appear in Journal of Number Theory

MSC Class: 11G05; 11D75; 11J25

Journal ref: Journal of Number Theory 242 (2023), 21-43

Minimal models of rational elliptic curves with non-trivial torsion

Authors: Alexander J. Barrios

Abstract: In this paper, we explicitly classify the minimal discriminants of all elliptic curves $E/\mathbb{Q}$ with a non-trivial torsion subgroup. This is done by considering various parameterized families of elliptic curves with the property that they parameterize all elliptic curves $E/\mathbb{Q}$ with a non-trivial torsion point. We follow this by giving admissible change of variables, which give a glo… ▽ More In this paper, we explicitly classify the minimal discriminants of all elliptic curves $E/\mathbb{Q}$ with a non-trivial torsion subgroup. This is done by considering various parameterized families of elliptic curves with the property that they parameterize all elliptic curves $E/\mathbb{Q}$ with a non-trivial torsion point. We follow this by giving admissible change of variables, which give a global minimal model for $E$. We also provide necessary and sufficient conditions on the parameters of these families to determine the primes at which $E$ has additive reduction. In addition, we use these parameterized families to give new proofs of results due to Frey and Flexor-Oesterlé pertaining to the primes at which an elliptic curve over a number field $K$ with a non-trivial $K$-torsion point can have additive reduction. △ Less

Submitted 6 October, 2021; v1 submitted 3 January, 2020; originally announced January 2020.

Comments: 34 pages; incorporates suggestions by referees; results in section 3 have been strengthened; final version to appear in Research in Number Theory

MSC Class: 11G05; 11G07

Journal ref: Res. Number Theory 8 (2022), no. 1, Paper No. 4, 39 pp

A Constructive Proof of Masser's Theorem

Authors: Alexander J. Barrios

Abstract: The Modified Szpiro Conjecture, equivalent to the $abc$ Conjecture, states that for each $ε>0$, there are finitely many rational elliptic curves satisfying $N_{E}^{6+ε}<\max\!\left\{ \left\vert c_{4}^{3}\right\vert,c_{6}^{2}\right\} $ where $c_{4}$ and $c_{6}$ are the invariants associated to a minimal model of $E$ and $N_{E}$ is the conductor of $E$. We say $E$ is a good elliptic curve if… ▽ More The Modified Szpiro Conjecture, equivalent to the $abc$ Conjecture, states that for each $ε>0$, there are finitely many rational elliptic curves satisfying $N_{E}^{6+ε}<\max\!\left\{ \left\vert c_{4}^{3}\right\vert,c_{6}^{2}\right\} $ where $c_{4}$ and $c_{6}$ are the invariants associated to a minimal model of $E$ and $N_{E}$ is the conductor of $E$. We say $E$ is a good elliptic curve if $N_{E}^{6}<\max\!\left\{ \left\vert c_{4}^{3}\right\vert,c_{6}^{2}\right\} $. Masser showed that there are infinitely many good Frey curves. Here we give a constructive proof of this assertion. △ Less

Submitted 13 August, 2019; originally announced August 2019.

Comments: 9 pages

MSC Class: 11G05

Journal ref: Contemp. Math., 759, Amer. Math. Soc., 51-61, 2020

A semi-smooth Newton method for a special piecewise linear system with application to positively constrained convex quadratic programming

Authors: J. G. Barrios, J. Y. Bello Cruz, O. P. Ferreira, S. Z. Németh

Abstract: In this paper a special piecewise linear system is studied. It is shown that, under a mild assumption, the semi-smooth Newton method applied to this system is well defined and the method generates a sequence that converges linearly to a solution. Besides, we also show that the generated sequence is bounded, for any starting point, and a formula for any accumulation point of this sequence is presen… ▽ More In this paper a special piecewise linear system is studied. It is shown that, under a mild assumption, the semi-smooth Newton method applied to this system is well defined and the method generates a sequence that converges linearly to a solution. Besides, we also show that the generated sequence is bounded, for any starting point, and a formula for any accumulation point of this sequence is presented. As an application, we study the convex quadratic programming problem under positive constraints. The numerical results suggest that the semi-smooth Newton method achieves accurate solutions to large scale problems in few iterations. △ Less

Submitted 12 November, 2015; v1 submitted 6 August, 2015; originally announced August 2015.

Comments: arXiv admin note: substantial text overlap with arXiv:1503.02753

Projection onto simplicial cones by Picard's method

Authors: Jorge Barrios, Orizon P. Ferreira, Sándor Z. Németh

Abstract: By using Moreau's decomposition theorem for projecting onto cones, the problem of projecting onto a simplicial cone is reduced to finding the unique solution of a nonsmooth system of equations. It is shown that Picard's method applied to the system of equations associated to the problem of projecting onto a simplicial cone generates a sequence that converges linearly to the solution of the system.… ▽ More By using Moreau's decomposition theorem for projecting onto cones, the problem of projecting onto a simplicial cone is reduced to finding the unique solution of a nonsmooth system of equations. It is shown that Picard's method applied to the system of equations associated to the problem of projecting onto a simplicial cone generates a sequence that converges linearly to the solution of the system. Numerical experiments are presented making the comparison between Picard's and semi-smooth Newton's methods to solve the nonsmooth system associated with the problem of projecting a point onto a simplicial cone. △ Less

Submitted 9 March, 2015; originally announced March 2015.

Comments: 22 pages. arXiv admin note: text overlap with arXiv:1404.2427

MSC Class: 90C33; 15A48; 90C20

A semi-smooth Newton method for solving convex quadratic programming problem under simplicial cone constraint

Authors: J. G. Barrios, O. P. Ferreira, S. Z. Németh

Abstract: In this paper the simplicial cone constrained convex quadratic programming problem is studied. The optimality conditions of this problem consist in a linear complementarity problem. This fact, under a suitable condition, leads to an equivalence between the simplicial cone constrained convex quadratic programming problem and the one of finding the unique solution of a nonsmooth system of equations.… ▽ More In this paper the simplicial cone constrained convex quadratic programming problem is studied. The optimality conditions of this problem consist in a linear complementarity problem. This fact, under a suitable condition, leads to an equivalence between the simplicial cone constrained convex quadratic programming problem and the one of finding the unique solution of a nonsmooth system of equations. It is shown that a semi-smooth Newton method applied to this nonsmooth system of equations is always well defined and under a mild assumption on the simplicial cone the method generates a sequence that converges linearly to its solution. Besides, we also show that the generated sequence is bounded for any starting point and a formula for any accumulation point of this sequence is presented. The presented numerical results suggest that this approach achieves accurate solutions to large problems in few iterations. △ Less

Submitted 9 March, 2015; originally announced March 2015.

Comments: 17 pages

MSC Class: 90C33; 15A48