-
Derivation of the Thermal Conductivity in a Latent Thermal Energy Storage Unit for Use in Simplified System Models
Authors:
Lauritz Zendel,
Chiara Springer,
Frank Dammel,
Peter Stephan
Abstract:
Latent Thermal Energy Storages (LTES) can store thermal energy in a narrow temperature range. Therefore, they are favorable for integration into Rankine-based Carnot Batteries. For the design of such systems, simulations based on accurate models are desirable. However, physical phenomena such as natural convection in LTES units cannot be modeled directly in transient system models. Simplified mode…
▽ More
Latent Thermal Energy Storages (LTES) can store thermal energy in a narrow temperature range. Therefore, they are favorable for integration into Rankine-based Carnot Batteries. For the design of such systems, simulations based on accurate models are desirable. However, physical phenomena such as natural convection in LTES units cannot be modeled directly in transient system models. Simplified models are required. Therefore, the objective of this work is to derive simplified LTES unit models for use in system models. In transient simulations the state of charge of the LTES influences its temperature profile. The temperature profile depends on the geometry of the LTES unit. Therefore, the geometry must be considered to model the transient behavior of an LTES unit. The LTES unit under investigation has a shell and tube heat exchanger structure. The phase change material (PCM) is located between the hexagonal fins and in the space between the finned tubes. Aluminum fins are used. They have a high thermal conductivity and thus compensate for the low thermal conductivity of the sodium nitrate used as PCM. The interaction between fins and PCM is complex. Therefore, a numerical approach can be used to gain insight into the behavior of the LTES unit. To transfer the results of a complex model to a simplified model where fins and PCM are not considered individually, the effective thermal conductivity of a single finned tube can be used to approximate the performance of the LTES unit. In this study, a model of a section with a single finned tube is developed using the COMSOL software. The effective thermal conductivity of the system is determined by varying the effective thermal conductivity in a simplified model and comparing the results with reference cases based on a complex modeling approach. The results can serve as model input for simplified system models of Carnot Batteries, among others.
△ Less
Submitted 7 January, 2026;
originally announced January 2026.
-
Isogeny graphs of abelian varieties and singular ideals in orders
Authors:
Sarah Arpin,
Stefano Marseglia,
Caleb Springer
Abstract:
Famously, Kohel proved that isogeny graphs of ordinary elliptic curves are beautifully structured objects, now called volcanos. We prove graph structural theorems for abelian varieties of any dimension with commutative endomorphism ring and containing a fixed locally Bass order, leveraging an ideal-theoretic perspective on isogeny graphs. This generalizes previous results, which relied on restrict…
▽ More
Famously, Kohel proved that isogeny graphs of ordinary elliptic curves are beautifully structured objects, now called volcanos. We prove graph structural theorems for abelian varieties of any dimension with commutative endomorphism ring and containing a fixed locally Bass order, leveraging an ideal-theoretic perspective on isogeny graphs. This generalizes previous results, which relied on restrictive additional assumptions, such as maximal real multiplication, ordinary, and absolutely simple (Brooks, Jetchev, Wesolowski 2017). In particular, our work also applies to non-simple and non-ordinary isogeny classes. To obtain our results, we first prove a structure theorem for the lattice of inclusion of the overorders of a locally Bass order in an étale algebra which is of independent interest. This analysis builds on a careful study of local singularities of the orders. We include several examples of volcanoes and isogeny graphs exhibiting unexpected properties ultimately due to our more general setting.
△ Less
Submitted 5 August, 2025;
originally announced August 2025.
-
First-order definitions of rings of integral functions over algebraic extensions of function fields and undecidability
Authors:
Alexandra Shlapentokh,
Caleb Springer
Abstract:
In this paper, we study questions of definability and decidability for infinite algebraic extensions ${\bf K}$ of $\mathbb{F}_p(t)$ and their subrings of $\mathcal{S}$-integral functions. We focus on fields ${\bf K}$ satisfying a local property which we call $q$-boundedness. This can be considered a function field analogue of prior work of the first author which considered algebraic extensions of…
▽ More
In this paper, we study questions of definability and decidability for infinite algebraic extensions ${\bf K}$ of $\mathbb{F}_p(t)$ and their subrings of $\mathcal{S}$-integral functions. We focus on fields ${\bf K}$ satisfying a local property which we call $q$-boundedness. This can be considered a function field analogue of prior work of the first author which considered algebraic extensions of $\mathbb{Q}$. One simple consequence of our work states that if ${\bf K}$ is a $q$-bounded Galois extension of $\mathbb{F}_p(t)$, then for infinitely many non-constant $u$ the integral closure $\mathcal{O}_{\bf K}$ of $\mathbb{F}_p[u]$ inside ${\bf K}$ is first-order definable in ${\bf K}$. Under the additional assumption that the constant subfield of ${\bf K}$ is infinite, it follows that both $\mathcal{O}_{\bf K}$ and ${\bf K}$ have undecidable first-order theories, and that $\mathbb{F}_p[w]$ is definable in ${\bf K}$ for every non-constant $w$ in ${\bf K}$. Our primary tools are norm equations and the Hasse Norm Principle, in the spirit of Rumely. Our paper has an intersection with a recent arXiv preprint by Martínez-Ranero, Salcedo, and Utreras, although our definability results are more extensive and undecidability results are much stronger.
△ Less
Submitted 15 January, 2025; v1 submitted 22 November, 2024;
originally announced November 2024.
-
Abelian varieties over finite fields and their groups of rational points
Authors:
Stefano Marseglia,
Caleb Springer
Abstract:
We study the groups of rational points of abelian varieties defined over a finite field $ \mathbb{F}_q$ whose endomorphism rings are commutative, or, equivalently, whose isogeny classes are determined by squarefree characteristic polynomials. When $\mathrm{End}(A)$ is locally Gorenstein, we show that the group structure of $A(\mathbb{F}_q)$ is determined by $\mathrm{End}(A)$. Moreover, we prove th…
▽ More
We study the groups of rational points of abelian varieties defined over a finite field $ \mathbb{F}_q$ whose endomorphism rings are commutative, or, equivalently, whose isogeny classes are determined by squarefree characteristic polynomials. When $\mathrm{End}(A)$ is locally Gorenstein, we show that the group structure of $A(\mathbb{F}_q)$ is determined by $\mathrm{End}(A)$. Moreover, we prove that the same conclusion is attained if $\mathrm{End}(A)$ has local Cohen-Macaulay type at most $ 2$, under the additional assumption that $A$ is ordinary or $q$ is prime. The result in the Gorenstein case is used to characterize squarefree cyclic isogeny classes in terms of conductor ideals. Going in the opposite direction, we characterize squarefree isogeny classes of abelian varieties with $N$ rational points in which every abelian group of order $N$ is realized as a group of rational points. Finally, we study when an abelian variety $A$ over $\mathbb{F}_q$ and its dual $A^\vee$ succeed or fail to satisfy several interrelated properties, namely $A\cong A^\vee$, $A(\mathbb{F}_q)\cong A^\vee(\mathbb{F}_q)$, and $\mathrm{End}(A)=\mathrm{End}(A^\vee)$. In the process, we exhibit a sufficient condition for $A\not\cong A^\vee$ involving the local Cohen-Macaulay type of $\mathrm{End}(A)$. In particular, such an abelian variety $A$ is not a Jacobian, or even principally polarizable.
△ Less
Submitted 28 November, 2022;
originally announced November 2022.
-
Definability and decidability for rings of integers in totally imaginary fields
Authors:
Caleb Springer
Abstract:
We show that the ring of integers of $\mathbb{Q}^{\text{tr}}$ is existentially definable in the ring of integers of $\mathbb{Q}^{\text{tr}}(i)$, where $\mathbb{Q}^{\text{tr}}$ denotes the field of all totally real numbers. This implies that the ring of integers of $\mathbb{Q}^{\text{tr}}(i)$ is undecidable and first-order non-definable in $\mathbb{Q}^{\text{tr}}(i)$. More generally, when $L$ is a…
▽ More
We show that the ring of integers of $\mathbb{Q}^{\text{tr}}$ is existentially definable in the ring of integers of $\mathbb{Q}^{\text{tr}}(i)$, where $\mathbb{Q}^{\text{tr}}$ denotes the field of all totally real numbers. This implies that the ring of integers of $\mathbb{Q}^{\text{tr}}(i)$ is undecidable and first-order non-definable in $\mathbb{Q}^{\text{tr}}(i)$. More generally, when $L$ is a totally imaginary quadratic extension of a totally real field $K$, we use the unit groups $R^\times$ of orders $R\subseteq \mathcal{O}_L$ to produce existentially definable totally real subsets $X\subseteq \mathcal{O}_L$. Under certain conditions on $K$, including the so-called JR-number of $\mathcal{O}_K$ being the minimal value $\text{JR}(\mathcal{O}_K) = 4$, we deduce the undecidability of $\mathcal{O}_L$. This extends previous work which proved an analogous result in the opposite case $\text{JR}(\mathcal{O}_K) = \infty$. In particular, unlike prior work, we do not require that $L$ contains only finitely many roots of unity.
△ Less
Submitted 28 July, 2023; v1 submitted 30 June, 2022;
originally announced July 2022.
-
Every finite abelian group is the group of rational points of an ordinary abelian variety over $\mathbb{F}_2$, $\mathbb{F}_3$ and $\mathbb{F}_5$
Authors:
Stefano Marseglia,
Caleb Springer
Abstract:
We show that every finite abelian group $G$ occurs as the group of rational points of an ordinary abelian variety over $\mathbb{F}_2$, $\mathbb{F}_3$ and $\mathbb{F}_5$. We produce partial results for abelian varieties over a general finite field $\mathbb{F}_q$. In particular, we show that certain abelian groups cannot occur as groups of rational points of abelian varieties over $\mathbb{F}_q$ whe…
▽ More
We show that every finite abelian group $G$ occurs as the group of rational points of an ordinary abelian variety over $\mathbb{F}_2$, $\mathbb{F}_3$ and $\mathbb{F}_5$. We produce partial results for abelian varieties over a general finite field $\mathbb{F}_q$. In particular, we show that certain abelian groups cannot occur as groups of rational points of abelian varieties over $\mathbb{F}_q$ when $q$ is large. Finally, we show that every finite cyclic group arises as the group of rational points of infinitely many simple abelian varieties over $\mathbb{F}_2$.
△ Less
Submitted 6 May, 2022; v1 submitted 17 May, 2021;
originally announced May 2021.
-
Doubly isogenous genus-2 curves with $D_4$-action
Authors:
Vishal Arul,
Jeremy Booher,
Steven R. Groen,
Everett W. Howe,
Wanlin Li,
Vlad Matei,
Rachel Pries,
Caleb Springer
Abstract:
We study the extent to which curves over finite fields are characterized by their zeta functions and the zeta functions of certain of their covers. Suppose C and C' are curves over a finite field K, with K-rational base points P and P', and let D and D' be the pullbacks (via the Abel-Jacobi map) of the multiplication-by-2 maps on their Jacobians. We say that (C,P) and (C',P') are *doubly isogenous…
▽ More
We study the extent to which curves over finite fields are characterized by their zeta functions and the zeta functions of certain of their covers. Suppose C and C' are curves over a finite field K, with K-rational base points P and P', and let D and D' be the pullbacks (via the Abel-Jacobi map) of the multiplication-by-2 maps on their Jacobians. We say that (C,P) and (C',P') are *doubly isogenous* if Jac(C) and Jac(C') are isogenous over K and Jac(D) and Jac(D') are isogenous over K. For curves of genus 2 whose automorphism groups contain the dihedral group of order eight, we show that the number of pairs of doubly isogenous curves is larger than naive heuristics predict, and we provide an explanation for this phenomenon.
△ Less
Submitted 26 January, 2023; v1 submitted 22 February, 2021;
originally announced February 2021.
-
A topological approach to undefinability in algebraic extensions of $\mathbb{Q}$
Authors:
Kirsten Eisentraeger,
Russell Miller,
Caleb Springer,
Linda Westrick
Abstract:
For any subset $Z \subseteq \mathbb{Q}$, consider the set $S_Z$ of subfields $L\subseteq \overline{\mathbb{Q}}$ which contain a co-infinite subset $C \subseteq L$ that is universally definable in $L$ such that $C \cap \mathbb{Q}=Z$. Placing a natural topology on the set $\text{Sub}(\overline{\mathbb{Q}})$ of subfields of $\overline{\mathbb{Q}}$, we show that if $Z$ is not thin in $\mathbb{Q}$, the…
▽ More
For any subset $Z \subseteq \mathbb{Q}$, consider the set $S_Z$ of subfields $L\subseteq \overline{\mathbb{Q}}$ which contain a co-infinite subset $C \subseteq L$ that is universally definable in $L$ such that $C \cap \mathbb{Q}=Z$. Placing a natural topology on the set $\text{Sub}(\overline{\mathbb{Q}})$ of subfields of $\overline{\mathbb{Q}}$, we show that if $Z$ is not thin in $\mathbb{Q}$, then $S_Z$ is meager in $\text{Sub}(\overline{\mathbb{Q}})$. Here, thin and meager both mean "small", in terms of arithmetic geometry and topology, respectively. For example, this implies that only a meager set of fields $L$ have the property that the ring of algebraic integers $\mathcal{O}_L$ is universally definable in $L$. The main tools are Hilbert's Irreducibility Theorem and a new normal form theorem for existential definitions. The normal form theorem, which may be of independent interest, says roughly that every $\exists$-definable subset of an algebraic extension of $\mathbb Q$ is a finite union of single points and projections of hypersurfaces defined by absolutely irreducible polynomials.
△ Less
Submitted 27 October, 2023; v1 submitted 19 October, 2020;
originally announced October 2020.
-
The Structure of the Group of Rational Points of an Abelian Variety over a Finite Field
Authors:
Caleb Springer
Abstract:
Let $A$ be a simple abelian variety of dimension $g$ defined over a finite field $\mathbb{F}_q$ with Frobenius endomorphism $π$. This paper describes the structure of the group of rational points $A(\mathbb{F}_{q^n})$, for all $n \geq 1$, as a module over the ring $R$ of endomorphisms which are defined over $\mathbb{F}_q$, under certain technical conditions. If $[\mathbb{Q}(π) : \mathbb{Q}]=2g$ an…
▽ More
Let $A$ be a simple abelian variety of dimension $g$ defined over a finite field $\mathbb{F}_q$ with Frobenius endomorphism $π$. This paper describes the structure of the group of rational points $A(\mathbb{F}_{q^n})$, for all $n \geq 1$, as a module over the ring $R$ of endomorphisms which are defined over $\mathbb{F}_q$, under certain technical conditions. If $[\mathbb{Q}(π) : \mathbb{Q}]=2g$ and $R$ is a Gorenstein ring, then ${A(\mathbb{F}_{q^n}) \cong R/R(π^n-1)}$. This includes the case when $A$ is ordinary and has maximal real multiplication. Otherwise, if $Z$ is the center of $R$ and $(π^n - 1)Z$ is the product of invertible prime ideals in $Z$, then $A(\mathbb{F}_{q^n})^d \cong R/R(π^n - 1)$ where $d = 2g/[\mathbb{Q}(π):\mathbb{Q}]$. Finally, we deduce the structure of $A(\overline{\mathbb{F}}_q)$ as a module over $R$ under similar conditions. These results generalize results of Lenstra for elliptic curves.
△ Less
Submitted 11 May, 2021; v1 submitted 31 May, 2020;
originally announced June 2020.
-
Restrictions on Weil polynomials of Jacobians of hyperelliptic curves
Authors:
Edgar Costa,
Ravi Donepudi,
Ravi Fernando,
Valentijn Karemaker,
Caleb Springer,
Mckenzie West
Abstract:
Inspired by experimental data, this paper investigates which isogeny classes of abelian varieties defined over a finite field of odd characteristic contain the Jacobian of a hyperelliptic curve. We provide a necessary condition by demonstrating that the Weil polynomial of a hyperelliptic Jacobian must have a particular form modulo 2. For fixed ${g\geq1}$, the proportion of isogeny classes of $g$ d…
▽ More
Inspired by experimental data, this paper investigates which isogeny classes of abelian varieties defined over a finite field of odd characteristic contain the Jacobian of a hyperelliptic curve. We provide a necessary condition by demonstrating that the Weil polynomial of a hyperelliptic Jacobian must have a particular form modulo 2. For fixed ${g\geq1}$, the proportion of isogeny classes of $g$ dimensional abelian varieties defined over $\mathbb{F}_q$ which fail this condition is $1 - Q(2g + 2)/2^g$ as $q\to\infty$ ranges over odd prime powers, where $Q(n)$ denotes the number of partitions of $n$ into odd parts.
△ Less
Submitted 25 November, 2020; v1 submitted 5 February, 2020;
originally announced February 2020.
-
Undecidability, unit groups, and some totally imaginary infinite extensions of $\mathbb{Q}$
Authors:
Caleb Springer
Abstract:
We produce new examples of totally imaginary infinite extensions of $\mathbb{Q}$ which have undecidable first-order theory by generalizing the methods used by Martinez-Ranero, Utreras and Videla for $\mathbb{Q}^{(2)}$. In particular, we use parametrized families of polynomials whose roots are totally real units to apply methods originally developed to prove the undecidability of totally real field…
▽ More
We produce new examples of totally imaginary infinite extensions of $\mathbb{Q}$ which have undecidable first-order theory by generalizing the methods used by Martinez-Ranero, Utreras and Videla for $\mathbb{Q}^{(2)}$. In particular, we use parametrized families of polynomials whose roots are totally real units to apply methods originally developed to prove the undecidability of totally real fields. This proves the undecidability of $\mathbb{Q}^{(d)}_{ab}$ for all $d \geq 2$.
△ Less
Submitted 31 May, 2020; v1 submitted 2 October, 2019;
originally announced October 2019.
-
Computing the endomorphism ring of an ordinary abelian surface over a finite field
Authors:
Caleb Springer
Abstract:
We present a new algorithm for computing the endomorphism ring of an ordinary abelian surface over a finite field which is subexponential and generalizes an algorithm of Bisson and Sutherland for elliptic curves. The correctness of this algorithm only requires the heuristic assumptions required by the algorithm of Biasse and Fieker which computes the class group of an order in a number field in su…
▽ More
We present a new algorithm for computing the endomorphism ring of an ordinary abelian surface over a finite field which is subexponential and generalizes an algorithm of Bisson and Sutherland for elliptic curves. The correctness of this algorithm only requires the heuristic assumptions required by the algorithm of Biasse and Fieker which computes the class group of an order in a number field in subexponential time. Thus we avoid the multiple heuristic assumptions on isogeny graphs and polarized class groups which were previously required. The output of the algorithm is an ideal in the maximal totally real subfield of the endomorphism algebra, generalizing the elliptic curve case.
△ Less
Submitted 15 January, 2019; v1 submitted 29 October, 2018;
originally announced October 2018.
-
Conditions for Factorizable Output From a Beam splitter
Authors:
S. C. Springer,
Jinhyoung Lee,
M. Bellini,
M. S. Kim
Abstract:
A beam splitter is one of the most important devices in an optics laboratory because of its handiness and versatility; equivalent devices are found in various quantum systems to couple two subsystems or to interfere them. While it is normal that two independent input fields are superposed at the beam splitter to give correlated outputs, identical Gaussian states interfere there to produce totall…
▽ More
A beam splitter is one of the most important devices in an optics laboratory because of its handiness and versatility; equivalent devices are found in various quantum systems to couple two subsystems or to interfere them. While it is normal that two independent input fields are superposed at the beam splitter to give correlated outputs, identical Gaussian states interfere there to produce totally independent output fields. We prove that Gaussian states with same the variance are the only states which bring about factorizable output fields.
△ Less
Submitted 10 June, 2009;
originally announced June 2009.