-
Iwasawa Theory of graphs and their duals
Authors:
Debanjana Kundu,
Katharina Müller
Abstract:
In this article, we study questions pertaining to ramified $\mathbb{Z}_p^d$-extensions of a finite connected graph $X$. We also study the Iwasawa theory of dual graphs.
In this article, we study questions pertaining to ramified $\mathbb{Z}_p^d$-extensions of a finite connected graph $X$. We also study the Iwasawa theory of dual graphs.
△ Less
Submitted 15 October, 2024;
originally announced October 2024.
-
A Heuristic approach to the Iwasawa theory of elliptic curves
Authors:
Katharina Müller,
Anwesh Ray
Abstract:
Let $E_{/\mathbb{Q}}$ be an elliptic curve and $p$ an odd prime such that $E$ has good ordinary reduction at $p$ and the Galois representation on $E[p]$ is irreducible. Then Greenberg's $μ=0$ conjecture predicts that the Selmer group of $E$ over the cyclotomic $\mathbb{Z}_p$-extension of $\mathbb{Q}$ is cofinitely generated as a $\mathbb{Z}_p$-module. In this article we study this conjecture from…
▽ More
Let $E_{/\mathbb{Q}}$ be an elliptic curve and $p$ an odd prime such that $E$ has good ordinary reduction at $p$ and the Galois representation on $E[p]$ is irreducible. Then Greenberg's $μ=0$ conjecture predicts that the Selmer group of $E$ over the cyclotomic $\mathbb{Z}_p$-extension of $\mathbb{Q}$ is cofinitely generated as a $\mathbb{Z}_p$-module. In this article we study this conjecture from a statistical perspective. We extend the heuristics of Poonen and Rains to obtain further evidence for Greenberg's conjecture. The key idea is that the vanishing of the $μ$-invariant can be detected by the intersection $M_1\cap M_2$ of two Iwasawa modules $M_1, M_2$ with additional properties in a given inner product space. The heuristic is based on showing that there is a probability measure on the space of pairs $(M_1, M_2)$ respect to which the event that $M_1\cap M_2$ is finite happens with probability $1$.
△ Less
Submitted 23 September, 2024;
originally announced September 2024.
-
On the cohomology of plus/minus Selmer groups of supersingular elliptic curves in weakly ramified base fields
Authors:
Ben Forrás,
Katharina Müller
Abstract:
Let $E/\mathbb{Q}$ be an elliptic curve and let $p\ge 5$ be a prime of good supersingular reduction. We generalize results due to Meng Fai Lim proving Kida's formula and integrality results for characteristic elements of signed Selmer groups along the cyclotomic $\mathbb{Z}_p$-extension of weakly ramified base fields $K/\mathbb{Q}_p$.
Let $E/\mathbb{Q}$ be an elliptic curve and let $p\ge 5$ be a prime of good supersingular reduction. We generalize results due to Meng Fai Lim proving Kida's formula and integrality results for characteristic elements of signed Selmer groups along the cyclotomic $\mathbb{Z}_p$-extension of weakly ramified base fields $K/\mathbb{Q}_p$.
△ Less
Submitted 11 July, 2024;
originally announced July 2024.
-
The basis problem for modular forms for the Weil representation
Authors:
Manuel K. -H. Müller
Abstract:
The vector valued theta series of a positive-definite even lattice is a modular form for the Weil representation of $\mathrm{SL}_2(\mathbb{Z})$. We show that the space of cusp forms for the Weil representation is generated by such functions. This gives a positive answer to Eichler's basis problem in this case. As applications we derive Waldspurger's result on the basis problem for scalar valued mo…
▽ More
The vector valued theta series of a positive-definite even lattice is a modular form for the Weil representation of $\mathrm{SL}_2(\mathbb{Z})$. We show that the space of cusp forms for the Weil representation is generated by such functions. This gives a positive answer to Eichler's basis problem in this case. As applications we derive Waldspurger's result on the basis problem for scalar valued modular forms and give a new proof of the surjectivity of the Borcherds lift based on the analysis of local Picard groups.
△ Less
Submitted 21 October, 2024; v1 submitted 1 July, 2024;
originally announced July 2024.
-
Hilbert's tenth problem for families of $ \mathbb{Z}_p $-extensions of imaginary quadratic fields
Authors:
Katharina Müller,
Anwesh Ray
Abstract:
Via a novel application of Iwasawa theory, we study Hilbert's tenth problem for number fields occurring in $\mathbb{Z}_p$-towers of imaginary quadratic fields $K$. For a odd prime $p$, the lines $(a,b) \in \mathbb{P}^1(\mathbb{Z}_p)$ are identified with $\mathbb{Z}_p$-extensions $ K_{a,b}/K $. Under certain conditions on $ K $ that involve explicit elliptic curves, we identify a line…
▽ More
Via a novel application of Iwasawa theory, we study Hilbert's tenth problem for number fields occurring in $\mathbb{Z}_p$-towers of imaginary quadratic fields $K$. For a odd prime $p$, the lines $(a,b) \in \mathbb{P}^1(\mathbb{Z}_p)$ are identified with $\mathbb{Z}_p$-extensions $ K_{a,b}/K $. Under certain conditions on $ K $ that involve explicit elliptic curves, we identify a line $(a_0,b_0) \in \mathbb{P}^1(\mathbb{Z}/p\mathbb{Z})$ such that for all $(a,b) \in \mathbb{P}^1(\mathbb{Z}_p)$ with $(a, b)\not\equiv (a_0, b_0)\pmod{p}$, Hilbert's tenth problem has a negative answer in all finite layers of $ K_{a,b} $. Using results of Kriz--Li and Bhargava et al., we demonstrate that for primes $ p = 3, 11, 13, 31, 37 $, a positive proportion of imaginary quadratic fields meet our criteria.
△ Less
Submitted 3 June, 2024;
originally announced June 2024.
-
Characteristic function of M. S. Livšic and triangular models of bounded linear operators
Authors:
Vladimir K. Dubovoy,
Bernd Kirstein,
Conrad Mädler,
Karsten Müller
Abstract:
This paper is dedicated to the introduction in a circle of ideas and methods, which are connected with the notion of characteristic function of a non-selfadjoint operator. We start with the consideration of closed and open systems (Subsections 2.1.1-2.1.2). In Subsections 2.1.2-2.1.3 we introduce the notion of operator colligation and define the characteristic function of the operator colligation…
▽ More
This paper is dedicated to the introduction in a circle of ideas and methods, which are connected with the notion of characteristic function of a non-selfadjoint operator. We start with the consideration of closed and open systems (Subsections 2.1.1-2.1.2). In Subsections 2.1.2-2.1.3 we introduce the notion of operator colligation and define the characteristic function of the operator colligation as transfer function of the corresponding open system.
In Section 3 we state three basic properties of the c.o.f.. First (Subsection 3.1), we note that the c.o.f. is the full unitary invariant of the operator colligation. Second (see Theorem 3.4), it turns out that the invariant subspaces of the corresponding operator are associated with left divisors of the c.o.f.. Third, the $J$-property of the c.o.f. (see (3.6)-(3.8)) is a basic property which determines the class of c. o. f. (see Section 4). In Chapter 4 we describe the classes of characteristic functions which play an important role in our considerations. In Chapter 5 we state necessary facts on multiplicative integral. Chapter 6 is devoted to the factorization theorem (Theorem 6.7) for matrix-valued characteristic function. In Chapter 7 we construct a triangular Livšic model of bounded linear operator and as application we obtain some known results on dissipative operators.
△ Less
Submitted 28 December, 2023;
originally announced December 2023.
-
Characteristic Function, Schur Parameters and Pseudocontinuation of Schur functions
Authors:
Vladimir K. Dubovoy,
Bernd Fritzsche,
Bernd Kirstein,
Conrad Mädler,
Karsten Müller
Abstract:
In [19] there is an approach to the investigation of the pseudocontinuability of Schur functions in terms of Schur parameters. In particular, there was obtained a criterion for the pseudocontinuability of Schur functions and the Schur parameters of rational Schur functions were described. This approach is based on the description in terms of the Schur parameters of the relative position of the lar…
▽ More
In [19] there is an approach to the investigation of the pseudocontinuability of Schur functions in terms of Schur parameters. In particular, there was obtained a criterion for the pseudocontinuability of Schur functions and the Schur parameters of rational Schur functions were described. This approach is based on the description in terms of the Schur parameters of the relative position of the largest shift and the largest coshift in a completely nonunitary contraction. It should be mentioned that these results received a further development in [8, 21-24].
This paper is aimed to give a survey about essential results on this direction. The main object in the approach is based on considering a Schur function as characteristic function of a contraction (see Section 1.2). This enables us outgoing from Schur parameters to construct a model of the corresponding contraction (see Section 2). In this model, the relative position of the largest shift and the largest coshift in a completely nonunitary contraction is described in Section 3 and then, based on this model, to find characteristics which are responsible for the pseudocontinuability of Schur functions (see Sections 4 and 5). The further parts of this paper (see Sections 6-8) admit applications of the above results to the study of properties of Schur functions and questions related with them.
△ Less
Submitted 28 December, 2023;
originally announced December 2023.
-
Characteristic Function, Schur Interpolation Problem and Darlington Synthesis
Authors:
Sergey S. Boiko,
Vladimir K. Dubovoy,
Bernd Fritzsche,
Bernd Kirstein,
Conrad Mädler,
Karsten Müller
Abstract:
In this paper we would like to show the interrelation between the different mathematical theories concerning the Schur interpolation problem, contractions in Hilbert spaces, pseudocontinuation and Darlington synthesis. The main objects of this article are contractive functions holomorphic in the unit disc (Schur functions). Here they are considered, on the one hand, as characteristic functions of…
▽ More
In this paper we would like to show the interrelation between the different mathematical theories concerning the Schur interpolation problem, contractions in Hilbert spaces, pseudocontinuation and Darlington synthesis. The main objects of this article are contractive functions holomorphic in the unit disc (Schur functions). Here they are considered, on the one hand, as characteristic functions of contractions in Hilbert spaces and, on the other hand, as transfer functions of open systems.
△ Less
Submitted 28 December, 2023;
originally announced December 2023.
-
Modular forms for the Weil representation induced from isotropic subgroups
Authors:
Manuel K. -H. Müller
Abstract:
For an isotropic subgroup $H$ of a discriminant form $D$ there exists a lift from modular forms for the Weil representation of the discriminant form $H^\bot/H$ to modular forms for the Weil representation of $D$. We determine a set of discriminant forms such that all modular forms for any discriminant form are induced from the discriminant forms in this set. Furthermore for any discriminant form i…
▽ More
For an isotropic subgroup $H$ of a discriminant form $D$ there exists a lift from modular forms for the Weil representation of the discriminant form $H^\bot/H$ to modular forms for the Weil representation of $D$. We determine a set of discriminant forms such that all modular forms for any discriminant form are induced from the discriminant forms in this set. Furthermore for any discriminant form in this set there exist modular forms that are not induced from smaller discriminant forms.
△ Less
Submitted 1 July, 2024; v1 submitted 3 December, 2023;
originally announced December 2023.
-
On towers of Isogeny graphs with full level structure
Authors:
Antonio Lei,
Katharina Müller
Abstract:
Let $p,q,l$ be three distinct prime numbers and let $N$ be a positive integer coprime to $pql$. For an integer $n\ge 0$, we define the directed graph $X_l^q(p^nN)$ whose vertices are given by isomorphism classes of elliptic curves over a finite field of characteristic $q$ equipped with a level $p^nN$ structure. The edges of $X_l^q(p^nN)$ are given by $l$-isogenies. We are interested in when the co…
▽ More
Let $p,q,l$ be three distinct prime numbers and let $N$ be a positive integer coprime to $pql$. For an integer $n\ge 0$, we define the directed graph $X_l^q(p^nN)$ whose vertices are given by isomorphism classes of elliptic curves over a finite field of characteristic $q$ equipped with a level $p^nN$ structure. The edges of $X_l^q(p^nN)$ are given by $l$-isogenies. We are interested in when the connected components of $X_l^q(p^nN)$ give rise to a tower of Galois covers as $n$ varies. We show that only in the supersingular case we do get a tower of Galois covers. We also study similar towers of isogeny graphs given by oriented supersingular curves, as introduced by Colò-Kohel, enhanced with a level structure.
△ Less
Submitted 9 September, 2024; v1 submitted 1 September, 2023;
originally announced September 2023.
-
On the non-commutative Iwasawa main conjecture for voltage covers of graphs
Authors:
Sören Kleine,
Katharina Müller
Abstract:
Let $p$ be a rational prime, and let $X$ be a connected finite graph. In this article we study voltage covers $X_\infty$ of $X$ attached to a voltage assignment $α$ which takes values in some uniform $p$-adic Lie group $G$. We formulate and prove an Iwasawa main conjecture for the projective limit of the Picard groups $\text{Pic}(X_n)$ of the intermediate voltage covers $X_n$,…
▽ More
Let $p$ be a rational prime, and let $X$ be a connected finite graph. In this article we study voltage covers $X_\infty$ of $X$ attached to a voltage assignment $α$ which takes values in some uniform $p$-adic Lie group $G$. We formulate and prove an Iwasawa main conjecture for the projective limit of the Picard groups $\text{Pic}(X_n)$ of the intermediate voltage covers $X_n$, ${n \in \mathbb{N}}$, and we prove one inclusion of a main conjecture for the projective limit of the Jacobians $J(X_n)$.
Moreover, we study the $\mathfrak{M}_H(G)$-property of $\mathbb{Z}_p[[G]]$-modules and prove a necessary condition for this property which involves the $μ$-invariants of $\mathbb{Z}_p$-subcovers ${Y \subseteq X_\infty}$ of $X$. If the dimension of $G$ is equal to 2, then this condition is also sufficient.
△ Less
Submitted 26 September, 2023; v1 submitted 28 July, 2023;
originally announced July 2023.
-
On the Zeta functions of supersingular isogeny graphs and modular curves
Authors:
Antonio Lei,
Katharina Müller
Abstract:
Let $p$ and $q$ be distinct prime numbers, with $q\equiv 1\pmod{12}$. Let $N$ be a positive integer that is coprime to $pq$. We prove a formula relating the Hasse--Weil zeta function of the modular curve $X_0(qN)_{\mathbb{F}_q}$ to the Ihara zeta function of the $p$-isogeny graphs of supersingular elliptic curves defined over $\overline{\mathbb{F}_q}$ equipped with a $Γ_0(N)$-level structure. When…
▽ More
Let $p$ and $q$ be distinct prime numbers, with $q\equiv 1\pmod{12}$. Let $N$ be a positive integer that is coprime to $pq$. We prove a formula relating the Hasse--Weil zeta function of the modular curve $X_0(qN)_{\mathbb{F}_q}$ to the Ihara zeta function of the $p$-isogeny graphs of supersingular elliptic curves defined over $\overline{\mathbb{F}_q}$ equipped with a $Γ_0(N)$-level structure. When $N=1$, this recovers a result of Sugiyama.
△ Less
Submitted 23 October, 2023; v1 submitted 3 July, 2023;
originally announced July 2023.
-
On ordinary isogeny graphs with level structure
Authors:
Antonio Lei,
Katharina Müller
Abstract:
Let $l$ and $p$ be two distinct prime numbers. We study $l$-isogeny graphs of ordinary elliptic curves defined over a finite field of characteristic $p$, together with a level structure. Firstly, we show that as the level varies over all $p$-powers, the graphs form an Iwasawa-theoretic abelian $p$-tower, which can be regarded as a graph-theoretical analogue of the Igusa tower of modular curves. Se…
▽ More
Let $l$ and $p$ be two distinct prime numbers. We study $l$-isogeny graphs of ordinary elliptic curves defined over a finite field of characteristic $p$, together with a level structure. Firstly, we show that as the level varies over all $p$-powers, the graphs form an Iwasawa-theoretic abelian $p$-tower, which can be regarded as a graph-theoretical analogue of the Igusa tower of modular curves. Secondly, we study the structure of the crater of these graphs, generalizing previous results on volcano graphs. Finally, we solve an inverse problem of graphs arising from the crater of $l$-isogeny graphs with level structures, partially generalizing a recent result of Bambury, Campagna and Pazuki.
△ Less
Submitted 11 July, 2024; v1 submitted 19 June, 2023;
originally announced June 2023.
-
On the Iwasawa invariants of BDP Selmer groups and BDP P-adic L-fucntions
Authors:
Antonio Lei,
Katharina Müller,
Jiacheng Xia
Abstract:
Let $p$ be an odd prime. Let $f_1$ and $f_2$ be weight-two Hecke eigen-cuspforms with isomorphic residual Galois representations at $p$. Greenberg--Vatsal and Emerton--Pollack--Weston showed that if $p$ is a good ordinary prime for the two forms, the Iwasawa invariants of their $p$-primary Selmer groups and $p$-adic $L$-functions over the cyclotomic $\mathbb{Z}_p$-extension of $\mathbb{Q}$ are clo…
▽ More
Let $p$ be an odd prime. Let $f_1$ and $f_2$ be weight-two Hecke eigen-cuspforms with isomorphic residual Galois representations at $p$. Greenberg--Vatsal and Emerton--Pollack--Weston showed that if $p$ is a good ordinary prime for the two forms, the Iwasawa invariants of their $p$-primary Selmer groups and $p$-adic $L$-functions over the cyclotomic $\mathbb{Z}_p$-extension of $\mathbb{Q}$ are closely related. The goal of this article is to generalize these results to the anticyclotomic setting. More precisely, let $K$ be an imaginary quadratic field where $p$ splits. Suppose that the generalized Heegner hypothesis holds with respect to both $(f_1,K)$ and $(f_2,K)$. We study relations between the Iwasawa invariants of the BDP Selmer groups and the BDP $p$-adic $L$-functions of $f_1$ and $f_2$.
△ Less
Submitted 23 August, 2023; v1 submitted 13 February, 2023;
originally announced February 2023.
-
On the growth of the Jacobian in $Z_p^l$-voltage covers of graphs
Authors:
Sören Kleine,
Katharina Müller
Abstract:
We investigate the growth of the $p$-part of the Jacobians in voltage covers of finite connected multigraphs, where the voltage group is isomorphic to $\mathbb{Z}_p^l$ for some ${l \ge 2}$, and we study analogues of a conjecture of Greenberg on the growth of class numbers in multiple $\mathbb{Z}_p$-extensions of number fields. Moreover we prove an Iwasawa main conjecture in this setting, and we st…
▽ More
We investigate the growth of the $p$-part of the Jacobians in voltage covers of finite connected multigraphs, where the voltage group is isomorphic to $\mathbb{Z}_p^l$ for some ${l \ge 2}$, and we study analogues of a conjecture of Greenberg on the growth of class numbers in multiple $\mathbb{Z}_p$-extensions of number fields. Moreover we prove an Iwasawa main conjecture in this setting, and we study the variation of (generalised) Iwasawa invariants as one runs over the $\mathbb{Z}_p^l$-covers of a fixed finite graph $X$. We discuss many examples; in particular, we construct examples with non-trivial Iwasawa invariants.
△ Less
Submitted 17 November, 2022;
originally announced November 2022.
-
Do algebraic numbers follow Khinchin's Law?
Authors:
Philipp Sibbertsen,
Timm Lampert,
Karsten Müller,
Michael Taktikos
Abstract:
The coefficients of the regular continued fraction for random numbers are distributed by the Gauss-Kuzmin distribution according to Khinchin's law. Their geometric mean converges to Khinchin's constant and their rational approximation speed is Khinchin's speed. It is an open question whether these theorems also apply to algebraic numbers of degree $>2$. Since they apply to almost all numbers it is…
▽ More
The coefficients of the regular continued fraction for random numbers are distributed by the Gauss-Kuzmin distribution according to Khinchin's law. Their geometric mean converges to Khinchin's constant and their rational approximation speed is Khinchin's speed. It is an open question whether these theorems also apply to algebraic numbers of degree $>2$. Since they apply to almost all numbers it is, however, commonly inferred that it is most likely that non quadratic algebraic numbers also do so. We argue that this inference is not well grounded. There is strong numerical evidence that Khinchin's speed is too fast. For Khinchin's law and Khinchin's constant the numerical evidence is unclear. We apply the Kullback Leibler Divergence (KLD) to show that the Gauss-Kuzmin distribution does not fit well for algebraic numbers of degree $>2$. Our suggestion to truncate the Gauss-Kuzmin distribution for finite parts fits slightly better but its KLD is still much larger than the KLD of a random number. So, if it converges the convergence is non uniform and each algebraic number has its own bound. We conclude that there is no evidence to apply the theorems that hold for random numbers to algebraic numbers.
△ Less
Submitted 30 August, 2022;
originally announced August 2022.
-
Roth's Theorem implies a Weakened Version of the ABC Conjecture for Special Cases
Authors:
Philipp Sibbertsen,
Timm Lampert,
Karsten Müller,
Michael Taktikos
Abstract:
Enrico Bombieri proved that the ABC Conjecture implies Roth's theorem in 1994. This paper concerns the other direction. In making use of Bombieri's and Van der Poorten's explicit formula for the coefficients of the regular continued fractions of algebraic numbers, we prove that Roth's theorem implies a weakened non-effective version of the ABC Conjecture in certain cases relating to roots.
Enrico Bombieri proved that the ABC Conjecture implies Roth's theorem in 1994. This paper concerns the other direction. In making use of Bombieri's and Van der Poorten's explicit formula for the coefficients of the regular continued fractions of algebraic numbers, we prove that Roth's theorem implies a weakened non-effective version of the ABC Conjecture in certain cases relating to roots.
△ Less
Submitted 30 August, 2022;
originally announced August 2022.
-
The invariants of the Weil representation of $\mathrm{SL}_2(\mathbb{Z})$
Authors:
Manuel K. -H. Müller,
Nils R. Scheithauer
Abstract:
The transformation behaviour of the vector valued theta function of a positive-definite even lattice under the metaplectic group $\mathrm{Mp}_2(\mathbb{Z})$ is described by the Weil representation. We show that the invariants of this representation are induced from $5$ fundamental invariants.
The transformation behaviour of the vector valued theta function of a positive-definite even lattice under the metaplectic group $\mathrm{Mp}_2(\mathbb{Z})$ is described by the Weil representation. We show that the invariants of this representation are induced from $5$ fundamental invariants.
△ Less
Submitted 12 July, 2023; v1 submitted 3 August, 2022;
originally announced August 2022.
-
Fine Selmer groups of modular forms
Authors:
Sören Kleine,
Katharina Müller
Abstract:
We compare the Iwasawa invariants of fine Selmer groups of $p$-adic Galois representations over admissible $p$-adic Lie extensions of a number field $K$ to the Iwasawa invariants of ideal class groups along these Lie extensions.
More precisely, let $K$ be a number field, let $V$ be a $p$-adic representation of the absolute Galois group $G_K$ of $K$, and choose a $G_K$-invariant lattice…
▽ More
We compare the Iwasawa invariants of fine Selmer groups of $p$-adic Galois representations over admissible $p$-adic Lie extensions of a number field $K$ to the Iwasawa invariants of ideal class groups along these Lie extensions.
More precisely, let $K$ be a number field, let $V$ be a $p$-adic representation of the absolute Galois group $G_K$ of $K$, and choose a $G_K$-invariant lattice ${T \subseteq V}$. We study the fine Selmer groups of ${A = V/T}$ over suitable $p$-adic Lie extensions $K_\infty/K$, comparing their corank and $μ$-invariant to the corank and the $μ$-invariant of the Iwasawa module of ideal class groups in $K_\infty/K$.
In the second part of the article, we compare the Iwasawa $μ$- and $l_0$-invariants of the fine Selmer groups of CM modular forms on the one hand and the Iwasawa invariants of ideal class groups on the other hand over trivialising multiple $\mathbb{Z}_p$-extensions of $K$.
△ Less
Submitted 13 May, 2022;
originally announced May 2022.
-
Asymptotic formula for Tate-Shafarevich groups of $p$-supersingular elliptic curves over anticyclotomic extensions
Authors:
Antonio Lei,
Meng Fai Lim,
Katharina Müller
Abstract:
Let $p\ge 5$ be a prime number and $E/\mathbf{Q}$ an elliptic curve with good supersingular reduction at $p$. Under the generalized Heegner hypothesis, we investigate the $p$-primary subgroups of the Tate--Shafarevich groups of $E$ over number fields contained inside the anticyclotomic $\mathbf{Z}_p$-extension of an imaginary quadratic field where $p$ splits.
Let $p\ge 5$ be a prime number and $E/\mathbf{Q}$ an elliptic curve with good supersingular reduction at $p$. Under the generalized Heegner hypothesis, we investigate the $p$-primary subgroups of the Tate--Shafarevich groups of $E$ over number fields contained inside the anticyclotomic $\mathbf{Z}_p$-extension of an imaginary quadratic field where $p$ splits.
△ Less
Submitted 18 September, 2023; v1 submitted 26 March, 2022;
originally announced March 2022.
-
Fine Selmer groups and ideal class groups
Authors:
Sören Kleine,
Katharina Müller
Abstract:
Let $K_\infty/K$ be a uniform $p$-adic Lie extension. We compare several arithmetic invariants of Iwasawa modules of ideal class groups on the one side and fine Selmer groups of abelian varieties on the other side.
If $K_\infty$ contains sufficiently many $p$-power torsion points of $A$, then we can compare the ranks and the Iwasawa $μ$-invariants of these modules over the Iwasawa algebra. In se…
▽ More
Let $K_\infty/K$ be a uniform $p$-adic Lie extension. We compare several arithmetic invariants of Iwasawa modules of ideal class groups on the one side and fine Selmer groups of abelian varieties on the other side.
If $K_\infty$ contains sufficiently many $p$-power torsion points of $A$, then we can compare the ranks and the Iwasawa $μ$-invariants of these modules over the Iwasawa algebra. In several special cases (e.g. multiple $\mathbb{Z}_p$-extensions), we can also prove relations between suitable generalisations of the Iwasawa $λ$-invariant of the two types of Iwasawa modules.
In the literature, different kinds of Iwasawa $λ$-invariants have been introduced for ideal class groups and Selmer groups. We define analogues of both concepts for fine Selmer groups and compare the resulting invariants.
In order to obtain some of our main results, we prove new asymptotic formulas for the growth of ideal class groups and fine Selmer groups in multiple $\mathbb{Z}_p$-extensions.
△ Less
Submitted 14 January, 2022; v1 submitted 14 October, 2021;
originally announced October 2021.
-
Fine Selmer groups of congruent $p$-adic Galois representations
Authors:
Sören Kleine,
Katharina Müller
Abstract:
We compare the Pontryagin duals of fine Selmer groups of two congruent $p$-adic Galois representations over admissible pro-$p$, $p$-adic Lie extensions $K_\infty$ of number fields $K$. We prove that in several natural settings the $π$-primary submodules of the Pontryagin duals are pseudo-isomorphic over the Iwasawa algebra; if the coranks of the fine Selmer groups are not equal, then we can still…
▽ More
We compare the Pontryagin duals of fine Selmer groups of two congruent $p$-adic Galois representations over admissible pro-$p$, $p$-adic Lie extensions $K_\infty$ of number fields $K$. We prove that in several natural settings the $π$-primary submodules of the Pontryagin duals are pseudo-isomorphic over the Iwasawa algebra; if the coranks of the fine Selmer groups are not equal, then we can still prove inequalities between the $μ$-invariants. In the special case of a $\mathbb{Z}_p$-extension $K_\infty/K$, we also compare the Iwasawa $λ$-invariants of the fine Selmer groups, even in situations where the $μ$-invariants are non-zero. Finally, we prove similar results for certain abelian non-$p$-extensions.
△ Less
Submitted 14 May, 2021;
originally announced May 2021.
-
A More Robust t-Test
Authors:
Ulrich K. Mueller
Abstract:
Standard inference about a scalar parameter estimated via GMM amounts to applying a t-test to a particular set of observations. If the number of observations is not very large, then moderately heavy tails can lead to poor behavior of the t-test. This is a particular problem under clustering, since the number of observations then corresponds to the number of clusters, and heterogeneity in cluster s…
▽ More
Standard inference about a scalar parameter estimated via GMM amounts to applying a t-test to a particular set of observations. If the number of observations is not very large, then moderately heavy tails can lead to poor behavior of the t-test. This is a particular problem under clustering, since the number of observations then corresponds to the number of clusters, and heterogeneity in cluster sizes induces a form of heavy tails. This paper combines extreme value theory for the smallest and largest observations with a normal approximation for the average of the remaining observations to construct a more robust alternative to the t-test. The new test is found to control size much more successfully in small samples compared to existing methods. Analytical results in the canonical inference for the mean problem demonstrate that the new test provides a refinement over the full sample t-test under more than two but less than three moments, while the bootstrapped t-test does not.
△ Less
Submitted 14 July, 2020;
originally announced July 2020.
-
U.S. Test System with High Spatial and Temporal Resolution for Renewable Integration Studies
Authors:
Yixing Xu,
Nathan Myhrvold,
Dhileep Sivam,
Kaspar Mueller,
Daniel J. Olsen,
Bainan Xia,
Daniel Livengood,
Victoria Hunt,
Benjamin Rouillé d'Orfeuil,
Daniel Muldrew,
Merrielle Ondreicka,
Megan Bettilyon
Abstract:
Planning for power systems with high penetrations of variable renewable energy requires higher spatial and temporal granularity. However, most publicly available test systems are of insufficient fidelity for developing methods and tools for high-resolution planning. This paper presents methods to construct open-access test systems of high spatial resolution to more accurately represent infrastruct…
▽ More
Planning for power systems with high penetrations of variable renewable energy requires higher spatial and temporal granularity. However, most publicly available test systems are of insufficient fidelity for developing methods and tools for high-resolution planning. This paper presents methods to construct open-access test systems of high spatial resolution to more accurately represent infrastructure and high temporal resolution to represent dynamics of demand and variable resources.
To demonstrate, a high-resolution test system representing the United States is created using only publicly available data. This test system is validated by running it in a production cost model, with results compared against historical generation to ensure that they are representative. The resulting open source test system can support power system transition planning and aid in development of tools to answer questions around how best to reach decarbonization goals, using the most effective combinations of transmission expansion, renewable generation, and energy storage.
△ Less
Submitted 14 February, 2020;
originally announced February 2020.
-
The Main Conjecture for Imaginary quadratic fields for the split prime $p=2$
Authors:
Katharina Müller
Abstract:
Let $\mathbb{K}$ be an imaginary quadratic field such that $2$ splits into two primes $\mathfrak{p}$ and $\bar{\mathfrak{p}}$. Let $\mathbb{K}_{\infty}$ be the unique $\mathbb{Z}_2$-extension of $\mathbb{K}$ unramified outside $\mathfrak{p}$. Let $\mathfrak{f}$ be an ideal coprime to $\mathfrak{p}$ and $\mathbb{L}$ be an arbitrary extension of $\mathbb{K}$ contained in the ray class field…
▽ More
Let $\mathbb{K}$ be an imaginary quadratic field such that $2$ splits into two primes $\mathfrak{p}$ and $\bar{\mathfrak{p}}$. Let $\mathbb{K}_{\infty}$ be the unique $\mathbb{Z}_2$-extension of $\mathbb{K}$ unramified outside $\mathfrak{p}$. Let $\mathfrak{f}$ be an ideal coprime to $\mathfrak{p}$ and $\mathbb{L}$ be an arbitrary extension of $\mathbb{K}$ contained in the ray class field $\mathbb{K}(\mathfrak{p}^2\mathfrak{f})$. Let $\mathbb{L}_{\infty}=\mathbb{K}_{\infty}\mathbb{L}$ and let $\mathbb{M}$ be the maximal $p$-abelian, $\mathfrak{p}$-ramified extension of $\mathbb{L}_{\infty}$. We set $X=Gal(\mathbb{M}/\mathbb{L}_{\infty})$. In this paper we prove the Iwasawa main conjecture for the module $X$.
△ Less
Submitted 29 March, 2021; v1 submitted 13 February, 2020;
originally announced February 2020.
-
$2$-class groups of cyclotomic towers of imaginary biquadratic fields and applications
Authors:
Mohamed Mahmoud Chems-Eddin,
Katharina Müller
Abstract:
Let $d$ be a positive square-free integer. In this paper we shall investigate the structure of the $2$-class group of the cyclotomic $\mathbb{Z}_2$-extension of the imaginary biquadratic number field $\mathbb{Q}(\sqrt{d},\sqrt{-1})$. Furthermore, we deduce the structure of the $2$-class group of cyclotomic $\mathbb{Z}_2$-extension of $\mathbb{Q}(\sqrt{-d})$.
Let $d$ be a positive square-free integer. In this paper we shall investigate the structure of the $2$-class group of the cyclotomic $\mathbb{Z}_2$-extension of the imaginary biquadratic number field $\mathbb{Q}(\sqrt{d},\sqrt{-1})$. Furthermore, we deduce the structure of the $2$-class group of cyclotomic $\mathbb{Z}_2$-extension of $\mathbb{Q}(\sqrt{-d})$.
△ Less
Submitted 7 January, 2021; v1 submitted 10 February, 2020;
originally announced February 2020.
-
Local Function Complexity for Active Learning via Mixture of Gaussian Processes
Authors:
Danny Panknin,
Stefan Chmiela,
Klaus-Robert Müller,
Shinichi Nakajima
Abstract:
Inhomogeneities in real-world data, e.g., due to changes in the observation noise level or variations in the structural complexity of the source function, pose a unique set of challenges for statistical inference. Accounting for them can greatly improve predictive power when physical resources or computation time is limited. In this paper, we draw on recent theoretical results on the estimation of…
▽ More
Inhomogeneities in real-world data, e.g., due to changes in the observation noise level or variations in the structural complexity of the source function, pose a unique set of challenges for statistical inference. Accounting for them can greatly improve predictive power when physical resources or computation time is limited. In this paper, we draw on recent theoretical results on the estimation of local function complexity (LFC), derived from the domain of local polynomial smoothing (LPS), to establish a notion of local structural complexity, which is used to develop a model-agnostic active learning (AL) framework. Due to its reliance on pointwise estimates, the LPS model class is not robust and scalable concerning large input space dimensions that typically come along with real-world problems. Here, we derive and estimate the Gaussian process regression (GPR)-based analog of the LPS-based LFC and use it as a substitute in the above framework to make it robust and scalable. We assess the effectiveness of our LFC estimate in an AL application on a prototypical low-dimensional synthetic dataset, before taking on the challenging real-world task of reconstructing a quantum chemical force field for a small organic molecule and demonstrating state-of-the-art performance with a significantly reduced training demand.
△ Less
Submitted 12 December, 2023; v1 submitted 27 February, 2019;
originally announced February 2019.
-
Refining the Central Limit Theorem Approximation via Extreme Value Theory
Authors:
Ulrich K. Mueller
Abstract:
We suggest approximating the distribution of the sum of independent and identically distributed random variables with a Pareto-like tail by combining extreme value approximations for the largest summands with a normal approximation for the sum of the smaller summands. If the tail is well approximated by a Pareto density, then this new approximation has substantially smaller error rates compared to…
▽ More
We suggest approximating the distribution of the sum of independent and identically distributed random variables with a Pareto-like tail by combining extreme value approximations for the largest summands with a normal approximation for the sum of the smaller summands. If the tail is well approximated by a Pareto density, then this new approximation has substantially smaller error rates compared to the usual normal approximation for underlying distributions with finite variance and less than three moments. It can also provide an accurate approximation for some infinite variance distributions.
△ Less
Submitted 2 February, 2018;
originally announced February 2018.
-
Validity of time reversal for testing Granger causality
Authors:
Irene Winkler,
Danny Panknin,
Daniel Bartz,
Klaus-Robert Müller,
Stefan Haufe
Abstract:
Inferring causal interactions from observed data is a challenging problem, especially in the presence of measurement noise. To alleviate the problem of spurious causality, Haufe et al. (2013) proposed to contrast measures of information flow obtained on the original data against the same measures obtained on time-reversed data. They show that this procedure, time-reversed Granger causality (TRGC),…
▽ More
Inferring causal interactions from observed data is a challenging problem, especially in the presence of measurement noise. To alleviate the problem of spurious causality, Haufe et al. (2013) proposed to contrast measures of information flow obtained on the original data against the same measures obtained on time-reversed data. They show that this procedure, time-reversed Granger causality (TRGC), robustly rejects causal interpretations on mixtures of independent signals. While promising results have been achieved in simulations, it was so far unknown whether time reversal leads to valid measures of information flow in the presence of true interaction. Here we prove that, for linear finite-order autoregressive processes with unidirectional information flow, the application of time reversal for testing Granger causality indeed leads to correct estimates of information flow and its directionality. Using simulations, we further show that TRGC is able to infer correct directionality with similar statistical power as the net Granger causality between two variables, while being much more robust to the presence of measurement noise.
△ Less
Submitted 11 February, 2016; v1 submitted 25 September, 2015;
originally announced September 2015.
-
Learning with Algebraic Invariances, and the Invariant Kernel Trick
Authors:
Franz J. Király,
Andreas Ziehe,
Klaus-Robert Müller
Abstract:
When solving data analysis problems it is important to integrate prior knowledge and/or structural invariances. This paper contributes by a novel framework for incorporating algebraic invariance structure into kernels. In particular, we show that algebraic properties such as sign symmetries in data, phase independence, scaling etc. can be included easily by essentially performing the kernel trick…
▽ More
When solving data analysis problems it is important to integrate prior knowledge and/or structural invariances. This paper contributes by a novel framework for incorporating algebraic invariance structure into kernels. In particular, we show that algebraic properties such as sign symmetries in data, phase independence, scaling etc. can be included easily by essentially performing the kernel trick twice. We demonstrate the usefulness of our theory in simulations on selected applications such as sign-invariant spectral clustering and underdetermined ICA.
△ Less
Submitted 28 November, 2014;
originally announced November 2014.
-
On probabilities for separating sets of order statistics
Authors:
Deborah H. Glueck,
Anis Karimpour-Fard,
Jan Mandel,
Keith E. Muller
Abstract:
Consider a set of order statistics that arise from sorting samples from two different populations, each with their own, possibly different distribution function. The probability that these order statistics fall in disjoint, ordered intervals, and that of the smallest statistics, a certain number come from the first populations, are given in terms of the two distribution functions. The result is…
▽ More
Consider a set of order statistics that arise from sorting samples from two different populations, each with their own, possibly different distribution function. The probability that these order statistics fall in disjoint, ordered intervals, and that of the smallest statistics, a certain number come from the first populations, are given in terms of the two distribution functions. The result is applied to computing the joint probability of the number of rejections and the number of false rejections for the Benjamini-Hochberg false discovery rate procedure.
△ Less
Submitted 24 June, 2007;
originally announced June 2007.
-
Fast computation by block permanents of cumulative distribution functions of order statistics from several populations
Authors:
Deborah H. Glueck,
Anis Karimpour-Fard,
Jan Mandel,
Larry Hunter,
Keith E. Muller
Abstract:
The joint cumulative distribution function for order statistics arising from several different populations is given in terms of the distribution function of the populations. The computational cost of the formula in the case of two populations is still exponential in the worst case, but it is a dramatic improvement compared to the general formula by Bapat and Beg. In the case when only the joint…
▽ More
The joint cumulative distribution function for order statistics arising from several different populations is given in terms of the distribution function of the populations. The computational cost of the formula in the case of two populations is still exponential in the worst case, but it is a dramatic improvement compared to the general formula by Bapat and Beg. In the case when only the joint distribution function of a subset of the order statistics of fixed size is needed, the complexity is polynomial, for the case of two populations.
△ Less
Submitted 25 May, 2007;
originally announced May 2007.