Showing 1–50 of 60 results for author: Dahmen, R

Certifying rings of integers in number fields

Authors: Anne Baanen, Alain Chavarri Villarello, Sander R. Dahmen

Abstract: Number fields and their rings of integers, which generalize the rational numbers and the integers, are foundational objects in number theory. There are several computer algebra systems and databases concerned with the computational aspects of these. In particular, computing the ring of integers of a given number field is one of the main tasks of computational algebraic number theory. In this paper… ▽ More Number fields and their rings of integers, which generalize the rational numbers and the integers, are foundational objects in number theory. There are several computer algebra systems and databases concerned with the computational aspects of these. In particular, computing the ring of integers of a given number field is one of the main tasks of computational algebraic number theory. In this paper, we describe a formalization in Lean 4 for certifying such computations. In order to accomplish this, we developed several data types amenable to computation. Moreover, many other underlying mathematical concepts and results had to be formalized, most of which are also of independent interest. These include resultants and discriminants, as well as methods for proving irreducibility of univariate polynomials over finite fields and over the rational numbers. To illustrate the feasibility of our strategy, we formally verified entries from the $\textit{Number fields}$ section of the $\textit{L-functions and modular forms database}$ (LMFDB). These concern, for several number fields, the explicitly given $\textit{integral basis}$ of the ring of integers and the $\textit{discriminant}$. To accomplish this, we wrote SageMath code that computes the corresponding certificates and outputs a Lean proof of the statement to be verified. △ Less

Submitted 16 January, 2025; v1 submitted 26 September, 2024; originally announced September 2024.

Comments: 14 pages. Source code available at https://github.com/alainchmt/RingOfIntegersProject

MSC Class: 68V20; 11Y40; 11R09; 11R04; 11R29 ACM Class: F.4.1

Journal ref: CPP 2025: Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs, pp. 50-66

On the singularities of the exponential function of a semidirect product

Authors: Alexandru Chirvasitu, Rafael Dahmen, Karl-Hermann Neeb, Alexander Schmeding

Abstract: We show that the Fréchet--Lie groups of the form $C^{\infty}(M)\rtimes \mathbb{R}$ resulting from smooth flows on compact manifolds $M$ fail to be locally exponential in several cases: when at least one non-periodic orbit is locally closed, or when the flow restricts to a linear one on an orbit closure diffeomorphic to a torus. As an application, we prove that the Bondi--Metzner--Sachs group of sy… ▽ More We show that the Fréchet--Lie groups of the form $C^{\infty}(M)\rtimes \mathbb{R}$ resulting from smooth flows on compact manifolds $M$ fail to be locally exponential in several cases: when at least one non-periodic orbit is locally closed, or when the flow restricts to a linear one on an orbit closure diffeomorphic to a torus. As an application, we prove that the Bondi--Metzner--Sachs group of symmetries of an asymptotically flat spacetime is not locally exponential. △ Less

Submitted 3 May, 2025; v1 submitted 27 August, 2024; originally announced August 2024.

Comments: 26 pages + references; v4: accepted version, to appear in Classical and Quantum Gravity

MSC Class: 22E65 (primary); 22E66; 58B25; 58D05; 37C05 (secondary)

Journal ref: Classical and Quantum Gravity, Vol. 42, No. 11 2025

Explicitly bounding perfect powers in elliptic divisibility sequences

Authors: Sander R. Dahmen, Joey M. van Langen

Abstract: In this paper we consider elliptic divisibility sequences generated by a point on an elliptic curve over $\mathbb{Q}$ with $j$-invariant $1728$ given by an integral short Weierstrass equation. For several different such elliptic divisibility sequences, we determine explicitly a finite set of primes such that for all primes $l$ outside this set, the elliptic divisibility sequence contains no $l$-th… ▽ More In this paper we consider elliptic divisibility sequences generated by a point on an elliptic curve over $\mathbb{Q}$ with $j$-invariant $1728$ given by an integral short Weierstrass equation. For several different such elliptic divisibility sequences, we determine explicitly a finite set of primes such that for all primes $l$ outside this set, the elliptic divisibility sequence contains no $l$-th powers. Our approach uses, amongst other ingredients, the modular method for $\mathbb{Q}$-curves. The corresponding explicit computations fit into a general computational framework for $\mathbb{Q}$-curves, for which they provide illustrative examples. △ Less

Submitted 19 October, 2023; originally announced October 2023.

Comments: 23 pages

MSC Class: 11D41; 11F11; 11F80; 11G18

Formalized Class Group Computations and Integral Points on Mordell Elliptic Curves

Authors: Anne Baanen, Alex J. Best, Nirvana Coppola, Sander R. Dahmen

Abstract: Diophantine equations are a popular and active area of research in number theory. In this paper we consider Mordell equations, which are of the form $y^2=x^3+d$, where $d$ is a (given) nonzero integer number and all solutions in integers $x$ and $y$ have to be determined. One non-elementary approach for this problem is the resolution via descent and class groups. Along these lines we formalized in… ▽ More Diophantine equations are a popular and active area of research in number theory. In this paper we consider Mordell equations, which are of the form $y^2=x^3+d$, where $d$ is a (given) nonzero integer number and all solutions in integers $x$ and $y$ have to be determined. One non-elementary approach for this problem is the resolution via descent and class groups. Along these lines we formalized in Lean 3 the resolution of Mordell equations for several instances of $d<0$. In order to achieve this, we needed to formalize several other theories from number theory that are interesting on their own as well, such as ideal norms, quadratic fields and rings, and explicit computations of the class number. Moreover we introduced new computational tactics in order to carry out efficiently computations in quadratic rings and beyond. △ Less

Submitted 23 December, 2022; v1 submitted 30 September, 2022; originally announced September 2022.

Comments: 14 pages. Accepted for CPP '23. Source code available at https://github.com/lean-forward/class-group-and-mordell-equation

MSC Class: 68V20; 11D25; 11R11; 11R29 ACM Class: F.4.1

A topological splitting of the space of meromorphic germs in several variables and continuous evaluators

Authors: Rafael Dahmen, Sylvie Paycha, Alexander Schmeding

Abstract: We prove a topological decomposition of the space of meromorphic germs at zero in several variables with prescribed linear poles as a sum of spaces of holomorphic and polar germs. Evaluating the resulting holomorphic projection at zero gives rise to a continuous evaluator (at zero) on the space of meromorphic germs in several variables. Our constructions are carried out in the framework of Silva s… ▽ More We prove a topological decomposition of the space of meromorphic germs at zero in several variables with prescribed linear poles as a sum of spaces of holomorphic and polar germs. Evaluating the resulting holomorphic projection at zero gives rise to a continuous evaluator (at zero) on the space of meromorphic germs in several variables. Our constructions are carried out in the framework of Silva spaces and use an inner product on the underlying space of variables. They generalise to several variables, the topological direct decomposition of meromorphic germs at zero as sums of holomorphic and polar germs previously derived by the first and third author and provide a topological refinement of a known algebraic decomposition of such spaces previously derived by the second author and collaborators. △ Less

Submitted 17 November, 2023; v1 submitted 28 June, 2022; originally announced June 2022.

Comments: 33 pages, uses TikZ, v3: corrected small errors, added results on locally convex algebra structure, main results remain unchanged

MSC Class: 32A70 (primary); 32A20; 46E50; 81T15 (Secondary)

Journal ref: Complex Analysis and its Synergies 10, 4 2024

Long colimits of topological groups IV: Spaces with socks

Authors: Rafael Dahmen, Gábor Lukács

Abstract: The group of compactly supported homeomorphisms on a Tychonoff space can be topologized in a number of ways, including as a colimit of homeomorphism groups with a given compact support, or as a subgroup of the homeomorphism group of its Stone-Čech compactification. A space is said to have the Compactly Supported Homeomorphism Property (CSHP) if these two topologies coincide. The authors develop te… ▽ More The group of compactly supported homeomorphisms on a Tychonoff space can be topologized in a number of ways, including as a colimit of homeomorphism groups with a given compact support, or as a subgroup of the homeomorphism group of its Stone-Čech compactification. A space is said to have the Compactly Supported Homeomorphism Property (CSHP) if these two topologies coincide. The authors develop techniques for showing that products of certain spaces with CSHP, such as the Closed Long Ray and the Long Line, have CSHP again. △ Less

Submitted 5 September, 2021; originally announced September 2021.

MSC Class: 22A05 (Primary) 22F50; 54C15 (Secondary)

On the Topology of J-Groups

Authors: Rafael Dahmen

Abstract: We introduce the concept of a topological J-group and determine for many important examples of topological groups if they are topological J-groups or not. Besides other results, we show that the underlying topological space of a pathwise connected topological J-group is weakly contractible which is a strong and unexpected obstruction that depends only on the homotopy type of the space. We introduce the concept of a topological J-group and determine for many important examples of topological groups if they are topological J-groups or not. Besides other results, we show that the underlying topological space of a pathwise connected topological J-group is weakly contractible which is a strong and unexpected obstruction that depends only on the homotopy type of the space. △ Less

Submitted 14 September, 2022; v1 submitted 22 August, 2021; originally announced August 2021.

Comments: 30 pages. Compared to v1 and v2, there have been some major changes; Theorem 3.13 and Corollary 3.14 are new, some of the old Open Questions are solved and some new Open Questions are added. The numbering of some theorems and questions changed. All the results in v1 and v2 still remain true

MSC Class: 2020: 22A05 (primary); 57T20; 22C05 (Secondary)

An entropy-based, scale-dependent centrality

Authors: L. R. Schwengber, S. D. Prado, S. R. Dahmen

Abstract: In this article we introduce an entropy-based, scale-dependent centrality that is evaluated as the Shannon entropy of the distribution at time t of a continuous-time random walk. It ranks nodes as a function of the time t, which acts as a parameter and defines the scale of the network. It is able capture well-known centralities such as degree, eigenvector and closeness depending on the range of t.… ▽ More In this article we introduce an entropy-based, scale-dependent centrality that is evaluated as the Shannon entropy of the distribution at time t of a continuous-time random walk. It ranks nodes as a function of the time t, which acts as a parameter and defines the scale of the network. It is able capture well-known centralities such as degree, eigenvector and closeness depending on the range of t. We compare it with the broad class of total $f$-communicability centralities, of which both Katz centrality and total communicability are particular cases. △ Less

Submitted 20 August, 2021; originally announced August 2021.

Comments: 10 pages, 10 figures

Long colimits of topological groups III: Homeomorphisms of products and coproducts

Authors: Rafael Dahmen, Gábor Lukács

Abstract: The group of compactly supported homeomorphisms on a Tychonoff space can be topologized in a number of ways, including as a colimit of homeomorphism groups with a given compact support, or as a subgroup of the homeomorphism group of its Stone-Čech compactification. A space is said to have the Compactly Supported Homeomorphism Property (CSHP) if these two topologies coincide. The authors provide ne… ▽ More The group of compactly supported homeomorphisms on a Tychonoff space can be topologized in a number of ways, including as a colimit of homeomorphism groups with a given compact support, or as a subgroup of the homeomorphism group of its Stone-Čech compactification. A space is said to have the Compactly Supported Homeomorphism Property (CSHP) if these two topologies coincide. The authors provide necessary and sufficient conditions for finite products of ordinals equipped with the order topology to have CSHP. In addition, necessary conditions are presented for finite products and coproducts of spaces to have CSHP. △ Less

Submitted 22 July, 2021; v1 submitted 11 March, 2021; originally announced March 2021.

MSC Class: 22A05 (Primary) 22F50; 03E10 (Secondary)

Journal ref: Axioms 2021, 10(3), 155

A formalization of Dedekind domains and class groups of global fields

Authors: Anne Baanen, Sander R. Dahmen, Ashvni Narayanan, Filippo A. E. Nuccio

Abstract: Dedekind domains and their class groups are notions in commutative algebra that are essential in algebraic number theory. We formalized these structures and several fundamental properties, including number theoretic finiteness results for class groups, in the Lean prover as part of the mathlib mathematical library. This paper describes the formalization process, noting the idioms we found useful i… ▽ More Dedekind domains and their class groups are notions in commutative algebra that are essential in algebraic number theory. We formalized these structures and several fundamental properties, including number theoretic finiteness results for class groups, in the Lean prover as part of the mathlib mathematical library. This paper describes the formalization process, noting the idioms we found useful in our development and mathlib's decentralized collaboration processes involved in this project. △ Less

Submitted 30 August, 2022; v1 submitted 4 February, 2021; originally announced February 2021.

Comments: Expanded version of https://drops.dagstuhl.de/opus/volltexte/2021/13900/ (appeared ar in the Leibniz International Proceedings in Informatics - Conference Interactive Theorem Proving 2021 (Rome, Italy)). To appear in the Journal of Automated Reasoning

MSC Class: 68V20; 68V15; 11R29

Transfer matrix in counting problems made easy

Authors: Roberto da Silva, Silvio R. Dahmen, J. R. Drugowich de Felício

Abstract: The transfer matrix is a powerful technique that can be applied to statistical mechanics systems as, for example, in the calculus of the entropy of the ice model. One interesting way to study such systems is to map it onto a 3-color problem. In this paper, we explicitly build the transfer matrix for the 3-color problem in order to calculate the number of possible configurations for finite systems… ▽ More The transfer matrix is a powerful technique that can be applied to statistical mechanics systems as, for example, in the calculus of the entropy of the ice model. One interesting way to study such systems is to map it onto a 3-color problem. In this paper, we explicitly build the transfer matrix for the 3-color problem in order to calculate the number of possible configurations for finite systems with free, periodic in one direction and toroidal boundary conditions (periodic in both directions) △ Less

Submitted 20 October, 2022; v1 submitted 30 January, 2021; originally announced February 2021.

Comments: 18 pages, 7 figures, 6 tables

Journal ref: International Journal of Modern Physics C Vol. 33, No. 3 (2022) 2250032

Exploring Scientific Exchange in Agricultural Meteorology with Network Analysis

Authors: Giuditta Parolini, Silvio R. Dahmen

Abstract: Network analysis is becoming increasingly relevant in the historical investigation of scientific communities and their knowledge circulation process, because it offers the opportunity to explore and visualize connections amog scientific actors on a scale qualitatively different from traditional historical methods. Temporal networks are especially suitable for this task, as they allow to investigat… ▽ More Network analysis is becoming increasingly relevant in the historical investigation of scientific communities and their knowledge circulation process, because it offers the opportunity to explore and visualize connections amog scientific actors on a scale qualitatively different from traditional historical methods. Temporal networks are especially suitable for this task, as they allow to investigate the evolution of scientific communities over time. In this paper we will rely on the analytical tools provided by temporal networks to examine the technical comission on agriculture (1913 - 1947) established by the International Meteorological Organization (IMO). By using the membership data available on this commission, we will investigate how this scientific community evolved over the decades, who were its key members, which national groups were represented, and how historical events, such as the two world wars, impacted on the work of this organization. This will give us an insight into the knowledge circulation process of this scientific body, as the IMO was an international organization based on voluntary cooperation and its work was first and foremost the immediate consequence of the interaction amog its members. In our paper we will rely on centrality measures (eigenvector, joint, and conditional centrality) to understand the structure of the comission's network, and we will constantly point out the strengths and weaknesses of temporal networks in the analysis of historical data. △ Less

Submitted 31 August, 2020; originally announced September 2020.

Comments: 49 pages, 13 figures, 4 tables

Continuity of Chen-Fliess Series for Applications in System Identification and Machine Learning

Authors: Rafael Dahmen, W. Steven Gray, Alexander Schmeding

Abstract: Model continuity plays an important role in applications like system identification, adaptive control, and machine learning. This paper provides sufficient conditions under which input-output systems represented by locally convergent Chen-Fliess series are jointly continuous with respect to their generating series and as operators mapping a ball in an $L_p$-space to a ball in an $L_q$-space, where… ▽ More Model continuity plays an important role in applications like system identification, adaptive control, and machine learning. This paper provides sufficient conditions under which input-output systems represented by locally convergent Chen-Fliess series are jointly continuous with respect to their generating series and as operators mapping a ball in an $L_p$-space to a ball in an $L_q$-space, where $p$ and $q$ are conjugate exponents. The starting point is to introduce a class of topological vector spaces known as Silva spaces to frame the problem and then to employ the concept of a direct limit to describe convergence. The proof of the main continuity result combines elements of proofs for other forms of continuity appearing in the literature to produce the desired conclusion. △ Less

Submitted 24 February, 2020; originally announced February 2020.

Comments: 17 pages, 1 figure, 24th International Symposium on Mathematical Theory of Networks and Systems, (MTNS 2020)

MSC Class: 93C10 (primary); 46A04; 46A13; 47N70; 68T07; 46N99

Gendered Networks and Communicability in Medieval Historical Narratives

Authors: S. D. Prado, S. R. Dahmen, A. L. C. Bazzan, M. MacCarron, J. Hillner

Abstract: One of the defining representations of women from medieval times is in the role of peace-weaver, that is, a woman was expected to 'weave' peace between warring men. The underlying assumption in scholarship on this topic is that female mediation lessens male violence. This stance can however be questioned since it may be the result of gender-based peace and diplomacy models that relegate women's ro… ▽ More One of the defining representations of women from medieval times is in the role of peace-weaver, that is, a woman was expected to 'weave' peace between warring men. The underlying assumption in scholarship on this topic is that female mediation lessens male violence. This stance can however be questioned since it may be the result of gender-based peace and diplomacy models that relegate women's roles to that of conduits between men. By analyzing the concept of communicability and relevance of certain nodes in complex networks we show how our sources afford women more complex and nuanced social roles. As a case study we consider a historical narrative, namely Bede's "Ecclesiastical History of the English People", which is a history of Britain from the first to eighth centuries AD and was immensely popular all over Europe in the Middle Ages. △ Less

Submitted 4 February, 2020; originally announced February 2020.

Comments: 14 pages, 5 figures, 2 tables

Journal ref: Advances in Complex Systems vol.23, no. 3, 2050006 (2020)

Long colimits of topological groups II: Free groups and vector spaces

Authors: Rafael Dahmen, Gábor Lukács

Abstract: Topological properties of the free topological group and the free abelian topological group on a space have been thoroughly studied since the 1940s. In this paper, we study the free topological $\mathbb{R}$-vector space $V(X)$ on $X$. We show that $V(X)$ is a quotient of the free abelian topological group on $[-1,1]\times X$, and use this to prove topological vector space analogues of existing res… ▽ More Topological properties of the free topological group and the free abelian topological group on a space have been thoroughly studied since the 1940s. In this paper, we study the free topological $\mathbb{R}$-vector space $V(X)$ on $X$. We show that $V(X)$ is a quotient of the free abelian topological group on $[-1,1]\times X$, and use this to prove topological vector space analogues of existing results for free topological groups on pseudocompact spaces. As an application, we show that certain families of subspaces of $V(X)$ satisfy the so-called $\textit{algebraic colimit property}$ defined in the authors' previous work. △ Less

Submitted 19 May, 2020; v1 submitted 24 September, 2019; originally announced September 2019.

MSC Class: 46A16; 46M40 (Primary) 46A99; 54D50; 54D55 (Secondary)

Journal ref: Topology and its Applications, 279:107266, 2020

Formalizing the Solution to the Cap Set Problem

Authors: Sander R. Dahmen, Johannes Hölzl, Robert Y. Lewis

Abstract: In 2016, Ellenberg and Gijswijt established a new upper bound on the size of subsets of $\mathbb{F}^n_q$ with no three-term arithmetic progression. This problem has received much mathematical attention, particularly in the case $q = 3$, where it is commonly known as the \emph{cap set problem}. Ellenberg and Gijswijt's proof was published in the \emph{Annals of Mathematics} and is noteworthy for it… ▽ More In 2016, Ellenberg and Gijswijt established a new upper bound on the size of subsets of $\mathbb{F}^n_q$ with no three-term arithmetic progression. This problem has received much mathematical attention, particularly in the case $q = 3$, where it is commonly known as the \emph{cap set problem}. Ellenberg and Gijswijt's proof was published in the \emph{Annals of Mathematics} and is noteworthy for its clever use of elementary methods. This paper describes a formalization of this proof in the Lean proof assistant, including both the general result in $\mathbb{F}^n_q$ and concrete values for the case $q = 3$. We faithfully follow the pen and paper argument to construct the bound. Our work shows that (some) modern mathematics is within the range of proof assistants. △ Less

Submitted 2 July, 2019; originally announced July 2019.

Comments: To appear in proceedings of Interactive Theorem Proving (ITP) 2019

Long colimits of topological groups I: Continuous maps and homeomorphisms

Authors: Rafael Dahmen, Gábor Lukács

Abstract: The union of a directed family of topological groups can be equipped with two noteworthy topologies: the finest topology making each injection continuous, and the finest group topology making each injection continuous. This begs the question of whether the two topologies coincide. If the family is countable, the answer is well known in many cases. We study this question in the context of so-called… ▽ More The union of a directed family of topological groups can be equipped with two noteworthy topologies: the finest topology making each injection continuous, and the finest group topology making each injection continuous. This begs the question of whether the two topologies coincide. If the family is countable, the answer is well known in many cases. We study this question in the context of so-called long families, which are as far as possible from countable ones. As a first step, we present answers to the question for families of group-valued continuous maps and homeomorphism groups, and provide additional examples. △ Less

Submitted 26 November, 2019; v1 submitted 18 February, 2019; originally announced February 2019.

MSC Class: 22A05; 46M40 (Primary) 22F50; 46E40; 54C35 (Secondary)

Journal ref: Topology and its Applications, 270:106938, 2020

The Pro-Lie Group Aspect of Weakly Complete Algebras and Weakly Complete Group Hopf Algebras

Authors: Rafael Dahmen, Karl Heinrich Hofmann

Abstract: A weakly complete vector space over $\mathbb{K}=\mathbb{R}$ or $\mathbb{K}=\mathbb{C}$ is isomorphic to $\mathbb{K}^X$ for some set $X$ algebraically and topologically. The significance of this type of topological vector spaces is illustrated by the fact that the underlying vector space of the Lie algebra of any pro-Lie group is weakly complete. In this study, weakly complete real or complex assoc… ▽ More A weakly complete vector space over $\mathbb{K}=\mathbb{R}$ or $\mathbb{K}=\mathbb{C}$ is isomorphic to $\mathbb{K}^X$ for some set $X$ algebraically and topologically. The significance of this type of topological vector spaces is illustrated by the fact that the underlying vector space of the Lie algebra of any pro-Lie group is weakly complete. In this study, weakly complete real or complex associative algebras are studied because they are necessarily projective limits of finite dimensional algebras. The group of units $A^{-1}$ of a weakly complete algebra $A$ is a pro-Lie group with the associated topological Lie algebra $A_{\rm Lie}$ of $A$ as Lie algebra and the globally defined exponential function $\exp\colon A\to A^{-1}$ as the exponential function of $A^{-1}$. With each topological group, a weakly complete group algebra $\mathbb{K}[G]$ is associated functorially so that the functor $G\mapsto \mathbb{K}[G]$ is left adjoint to $A\mapsto A^{-1}$. The group algebra $\mathbb{K}[G]$ is a weakly complete Hopf algebra. If $G$ is compact, the $\mathbb{R}[G]$ contains $G$ as the set of grouplike elements. The category of all real Hopf algebras $A$ with a compact group of grouplike elements whose linear span is dense in $A$ is shown to be equivalent to the category of compact groups. The group algebra $A=\mathbb{R}[G]$ of a compact group $G$ contains a copy of the Lie algebra $\mathcal{L}(G)$ in $A_{\rm Lie}$; it also contains a copy of the Radon measure algebra $M(G,\mathbb{R})$. The dual of the group algebra $\mathbb{R}[G]$ is the Hopf algebra ${\mathcal R}(G,\mathbb{R})$ of representative functions of $G$. The rather straightforward duality between vector spaces and weakly complete vector spaces thus becomes the basis of a duality ${\mathcal R}(G,\mathbb{R})\leftrightarrow \mathbb{R}[G]$ and thus yields a new aspect of Tannaka duality. △ Less

Submitted 31 January, 2019; v1 submitted 21 January, 2019; originally announced January 2019.

Comments: This is version 2. Only spelling mistakes and formal flaws have been corrected. Some explanations have been added. The content of the mathematical results has not been changed

MSC Class: 22e15; 22e65; 22e99

On the Component Factor Group G/G_0 of a Pro-Lie Group G

Authors: Rafael Dahmen, Karl-Heinrich Hofmann

Abstract: A pro-Lie group $G$ is a topological group such that $G$ is isomorphic to the projective limit of all quotient groups $G/N$ (modulo closed normal subgroups $N$) such that $G/N$ is a finite dimensional real Lie group. A topological group is almost connected if the totally disconnected factor group $G_t:= G/G_0$ of $G$ modulo the identity component $G_0$ is compact. In this case it is straightforwar… ▽ More A pro-Lie group $G$ is a topological group such that $G$ is isomorphic to the projective limit of all quotient groups $G/N$ (modulo closed normal subgroups $N$) such that $G/N$ is a finite dimensional real Lie group. A topological group is almost connected if the totally disconnected factor group $G_t:= G/G_0$ of $G$ modulo the identity component $G_0$ is compact. In this case it is straightforward that each Lie group quotient $G/N$ of $G$ has finitely many components. However, in spite of a comprehensive literature on pro-Lie groups, the following theorem, proved here, was not available until now: A pro-Lie group $G$ is almost connected if each of its Lie group quotients $G/N$ has finitely many connected components. The difficulty of the proof is the verification of the completeness of $G_t$. △ Less

Submitted 12 December, 2018; originally announced December 2018.

MSC Class: 22A05; 22E15; 22E65; 22E99

Overview of (pro-)Lie group structures on Hopf algebra character groups

Authors: Geir Bogfjellmo, Rafael Dahmen, Alexander Schmeding

Abstract: Character groups of Hopf algebras appear in a variety of mathematical and physical contexts. To name just a few, they arise in non-commutative geometry, renormalisation of quantum field theory, and numerical analysis. In the present article we review recent results on the structure of character groups of Hopf algebras as infinite-dimensional (pro-)Lie groups. It turns out that under mild assumptio… ▽ More Character groups of Hopf algebras appear in a variety of mathematical and physical contexts. To name just a few, they arise in non-commutative geometry, renormalisation of quantum field theory, and numerical analysis. In the present article we review recent results on the structure of character groups of Hopf algebras as infinite-dimensional (pro-)Lie groups. It turns out that under mild assumptions on the Hopf algebra or the target algebra the character groups possess strong structural properties. Moreover, these properties are of interest in applications of these groups outside of Lie theory. We emphasise this point in the context of two main examples: The Butcher group from numerical analysis and character groups which arise from the Connes--Kreimer theory of renormalisation of quantum field theories. △ Less

Submitted 16 November, 2017; originally announced November 2017.

Comments: 31 pages, precursor and companion to arXiv:1704.01099, Workshop on "New Developments in Discrete Mechanics, Geometric Integration and Lie-Butcher Series", May 25-28, 2015, ICMAT, Madrid, Spain

MSC Class: 22E65 (primary); 16T05; 43A40; 58B25; 46H30; 22A05 (Secondary)

Journal ref: In Ebrahimi-Fard K., Barbero Linan M. (eds) Discrete Mechanics, Geometric Integration and Lie-Butcher Series. Springer Proceedings in Mathematics & Statistics, vol 267. Springer, Cham (2018), pp. 287-314

Community Detection in the Network of German Princes in 1225: a Case Study

Authors: Silvio R. Dahmen, A. L. C. Bazzan, R. Gramsch

Abstract: Many social networks exhibit some underlying community structure. In particular, in the context of historical research, clustering of different groups into warring or friendly factions can lead to a better understanding of how conflicts may arise, and whether they could be avoided or not. In this work we study the crisis that started in 1225 when the Emperor of the Holy Roman Empire, Frederick II… ▽ More Many social networks exhibit some underlying community structure. In particular, in the context of historical research, clustering of different groups into warring or friendly factions can lead to a better understanding of how conflicts may arise, and whether they could be avoided or not. In this work we study the crisis that started in 1225 when the Emperor of the Holy Roman Empire, Frederick II and his son Henry VII got into a conflict which almost led to the rupture and dissolution of the Empire. We use a spin-glass-based community detection algorithm to see how good this method is in detecting this rift and compare the results with an analysis performed by one of the authors (Gramsch) using standard social balance theory applied to History. △ Less

Submitted 5 January, 2017; originally announced January 2017.

Comments: 13 pages, 5 figures

Lie groups of controlled characters of combinatorial Hopf algebras

Authors: Rafael Dahmen, Alexander Schmeding

Abstract: In this article groups of controlled characters of a combinatorial Hopf algebra are considered from the perspective of infinite-dimensional Lie theory. A character is controlled in our sense if it satisfies certain growth bounds, e.g.\ exponential growth. We study these characters for combinatorial Hopf algebras. Following Loday and Ronco, a combinatorial Hopf algebra is a graded and connected Hop… ▽ More In this article groups of controlled characters of a combinatorial Hopf algebra are considered from the perspective of infinite-dimensional Lie theory. A character is controlled in our sense if it satisfies certain growth bounds, e.g.\ exponential growth. We study these characters for combinatorial Hopf algebras. Following Loday and Ronco, a combinatorial Hopf algebra is a graded and connected Hopf algebra which is a polynomial algebra with an explicit choice of basis (usually identified with combinatorial objects such as trees, graphs, etc.). If the growth bounds and the Hopf algebra are compatible we prove that the controlled characters form infinite-dimensional Lie groups. Further, we identify the Lie algebra and establish regularity results (in the sense of Milnor) for these Lie groups. The general construction principle exhibited here enables to treat a broad class of examples from physics, numerical analysis and control theory. Groups of controlled characters appear in renormalisation of quantum field theories, numerical analysis and control theory in the guise of groups of locally convergent power series. The results presented here, generalise the construction of the (tame) Butcher group, aka the controlled character group of the Butcher-Connes-Kreimer Hopf algebra. △ Less

Submitted 25 October, 2018; v1 submitted 6 September, 2016; originally announced September 2016.

Comments: 52 pages, uses TikZ, v5: minor rewrite as per referee's suggestions, corrected typos, added section on category of combinatorial Hopf algebras, main results remain unchanged

MSC Class: 22E65 (primary); 16T05; 16T30; 43A40; 46N40; 46B45 (Secondary)

Journal ref: Ann. Inst. Henri Poincaré D 7 (2020), no. 3, 395-456

Temporal Network Analysis of Literary Texts

Authors: Sandra D. Prado, Silvio R. Dahmen, Ana L. C. Bazzan, Padraig Mac Carron, Ralph Kenna

Abstract: We study temporal networks of characters in literature focusing on "Alice's Adventures in Wonderland" (1865) by Lewis Carroll and the anonymous "La Chanson de Roland" (around 1100). The former, one of the most influential pieces of nonsense literature ever written, describes the adventures of Alice in a fantasy world with logic plays interspersed along the narrative. The latter, a song of heroic d… ▽ More We study temporal networks of characters in literature focusing on "Alice's Adventures in Wonderland" (1865) by Lewis Carroll and the anonymous "La Chanson de Roland" (around 1100). The former, one of the most influential pieces of nonsense literature ever written, describes the adventures of Alice in a fantasy world with logic plays interspersed along the narrative. The latter, a song of heroic deeds, depicts the Battle of Roncevaux in 778 A.D. during Charlemagne's campaign on the Iberian Peninsula. We apply methods recently developed by Taylor and coworkers \cite{Taylor+2015} to find time-averaged eigenvector centralities, Freeman indices and vitalities of characters. We show that temporal networks are more appropriate than static ones for studying stories, as they capture features that the time-independent approaches fail to yield. △ Less

Submitted 22 February, 2016; originally announced February 2016.

Comments: 17 pages, 11 figures

Smooth embeddings of the Long Line and other non-paracompact manifolds into locally convex spaces

Authors: Rafael Dahmen

Abstract: We show that every finite dimensional Hausdorff (not necessarily paracompact, not necessarily second countable) $C^r$-manifold can be embedded into a weakly complete vector space, i.e. a locally convex topological vector space of the form ${\mathbb R}^I$ for an uncountable index set $I$ and determine the minimal cardinality of $I$ for which such an embedding is possible. We show that every finite dimensional Hausdorff (not necessarily paracompact, not necessarily second countable) $C^r$-manifold can be embedded into a weakly complete vector space, i.e. a locally convex topological vector space of the form ${\mathbb R}^I$ for an uncountable index set $I$ and determine the minimal cardinality of $I$ for which such an embedding is possible. △ Less

Submitted 26 March, 2015; v1 submitted 19 March, 2015; originally announced March 2015.

MSC Class: 57R40 (primary); 46T05; 46A99 (secondary)

Character groups of Hopf algebras as infinite-dimensional Lie groups

Authors: Geir Bogfjellmo, Rafael Dahmen, Alexander Schmeding

Abstract: In this article character groups of Hopf algebras are studied from the perspective of infinite-dimensional Lie theory. For a graded and connected Hopf algebra we construct an infinite-dimensional Lie group structure on the character group with values in a locally convex algebra. This structure turns the character group into a Baker--Campbell--Hausdorff--Lie group which is regular in the sense of M… ▽ More In this article character groups of Hopf algebras are studied from the perspective of infinite-dimensional Lie theory. For a graded and connected Hopf algebra we construct an infinite-dimensional Lie group structure on the character group with values in a locally convex algebra. This structure turns the character group into a Baker--Campbell--Hausdorff--Lie group which is regular in the sense of Milnor. Furthermore, we show that certain subgroups associated to Hopf ideals become closed Lie subgroups of the character group. If the Hopf algebra is not graded, its character group will in general not be a Lie group. However, we show that for any Hopf algebra the character group with values in a weakly complete algebra is a pro-Lie group in the sense of Hofmann and Morris. △ Less

Submitted 9 April, 2015; v1 submitted 21 January, 2015; originally announced January 2015.

Comments: 47 pages, 1 figure uses TIKZ. v3: corrected several typos, improved one of the main results, the rest of the results remains unchanged

MSC Class: 22E65 (primary); 16T05; 43A40; 58B25; 46H30; 22A05 (Secondary)

Journal ref: Ann. Inst. Fourier (Grenoble), 66 no. 5 (2016), p. 2101-2155

The Lie group of real analytic diffeomorphisms is not real analytic

Authors: Rafael Dahmen, Alexander Schmeding

Abstract: We construct an infinite dimensional real analytic manifold structure for the space of real analytic mappings from a compact manifold to a locally convex manifold. Here a map is real analytic if it extends to a holomorphic map on some neighbourhood of the complexification of its domain. As is well known the construction turns the group of real analytic diffeomorphisms into a smooth locally convex… ▽ More We construct an infinite dimensional real analytic manifold structure for the space of real analytic mappings from a compact manifold to a locally convex manifold. Here a map is real analytic if it extends to a holomorphic map on some neighbourhood of the complexification of its domain. As is well known the construction turns the group of real analytic diffeomorphisms into a smooth locally convex Lie group. We prove then that the diffeomorphism group is regular in the sense of Milnor. In the inequivalent "convenient setting of calculus" the real analytic diffeomorphisms even form a real analytic Lie group. However, we prove that the Lie group structure on the group of real analytic diffeomorphisms is in general not real analytic in our sense. △ Less

Submitted 10 February, 2015; v1 submitted 24 October, 2014; originally announced October 2014.

Comments: 33 pages, LaTex, v2: now includes a proof for the regularity of the real analytic diffeomorphism group

MSC Class: 58D15 (primary); 58D05; 22E65; 58B10; 26E05 (secondary)

Journal ref: Studia Mathematica 229 (2015) , 141-172

Complexifications of infinite-dimensional manifolds and new constructions of infinite-dimensional Lie groups

Authors: Rafael Dahmen, Helge Glockner, Alexander Schmeding

Abstract: Let M be a real analytic manifold modeled on a locally convex space and K be a non-empty compact subset of M. We show that if an open neighborhood of K in M admits a complexification which is a regular topological space, then the germ of the latter (as a complex manifold) is uniquely determined. If M is regular and the complexified modeling space of M is normal, then a regular complexification exi… ▽ More Let M be a real analytic manifold modeled on a locally convex space and K be a non-empty compact subset of M. We show that if an open neighborhood of K in M admits a complexification which is a regular topological space, then the germ of the latter (as a complex manifold) is uniquely determined. If M is regular and the complexified modeling space of M is normal, then a regular complexification exists for some neighborhood of K. For each (real or complex) analytic regular manifold M modeled on a metrizable locally convex space and Banach-Lie group H, this allows the group Germ(K,H) of germs of H-valued analytic maps around K in M to be turned into an analytic Lie group which is regular in Milnor's sense. A special case is a regular real analytic Lie group structure on the group of real analytic H-valued maps on a compact real analytic manifold M (which, previously, had only been treated in the convenient setting of analysis). Combining our results concerning groups of germs with an idea by Neeb and Wagemann, one can also obtain a regular Lie group structure on the group of all real analytic H-valued mappings on the real line. △ Less

Submitted 5 January, 2016; v1 submitted 23 October, 2014; originally announced October 2014.

Comments: 32 pages

The Mathematics and Physics of Diderot. I. On Pendulums and Air Resistance

Authors: Silvio R. Dahmen

Abstract: In this article Denis Diderot's Fifth Memoir of 1748 on the problem of a pendulum damped by air resistance is discussed. Diderot wrote the Memoir in order to clarify an assumption Newton made without further justification in the first pages of the Principia in connection with an experiment to verify the Third Law of Motion using colliding pendulums. To explain the differences between experimental… ▽ More In this article Denis Diderot's Fifth Memoir of 1748 on the problem of a pendulum damped by air resistance is discussed. Diderot wrote the Memoir in order to clarify an assumption Newton made without further justification in the first pages of the Principia in connection with an experiment to verify the Third Law of Motion using colliding pendulums. To explain the differences between experimental and theoretical values of momentum in the collision experiments he conducted Newton assumed that the bob was retarded by an air resistance $F_R$ proportional to the velocity $v$. By giving Newton's arguments a mathematical scaffolding and recasting his geometrical reasoning in the language of differential calculus, Diderot provides a step-by-step solution guide to the problem and proposes experiments to settle the question about the appropriate form of $F_R$, which for Diderot quadratic in $v$, that is $F_R \sim v^2$. The solution of Diderot is presented in full detail and his results are compared to those obtained from a Lindstedt-Poincare approximation for an oscillator with quadratic damping. It is shown that, up to a prefactor, both coincide. Some results that one can derive from his approach are presented and discussed for the first time. Experimental evidence to support Diderot's or Newton's claims is discussed together with the limitations of their solutions. Some misprints in the original memoir are pointed out. △ Less

Submitted 25 September, 2014; originally announced September 2014.

Comments: 31 pages, 8 figures. Submitted to European Physical Journal H

Journal ref: European Physical Journal H 40 (2015)

Fifth Memoir or Letter on the Resistance of Air to the Movement of Pendulums

Authors: Denis Diderot

Abstract: Translation of Denis Diderot's `Cinquième Mémoire ou Lettre sur la Résitance de L'Air ou Mouvement des Pendules.' Translation of Denis Diderot's `Cinquième Mémoire ou Lettre sur la Résitance de L'Air ou Mouvement des Pendules.' △ Less

Submitted 25 September, 2014; originally announced September 2014.

Comments: 9 pages, 1 figure. Submitted to the European Physical Journal H

Shifted powers in binary recurrence sequences

Authors: Michael A. Bennett, Sander R. Dahmen, Maurice Mignotte, Samir Siksek

Abstract: Let $u_k$ be a Lucas sequence. A standard technique for determining the perfect powers in the sequence $u_k$ combines bounds coming from linear forms in logarithms with local information obtained via Frey curves and modularity. The key to this approach is the fact that the equation $u_k=x^n$ can be translated into a ternary equation of the form $a y^2=b x^{2n}+c$ (with $a$, $b$,… ▽ More Let $u_k$ be a Lucas sequence. A standard technique for determining the perfect powers in the sequence $u_k$ combines bounds coming from linear forms in logarithms with local information obtained via Frey curves and modularity. The key to this approach is the fact that the equation $u_k=x^n$ can be translated into a ternary equation of the form $a y^2=b x^{2n}+c$ (with $a$, $b$, $c \in \mathbb{Z}$) for which Frey curves are available. In this paper we consider shifted powers in Lucas sequences, and consequently equations of the form $u_k=x^n+c$ which do not typically correspond to ternary equations with rational unknowns. However, they do, under certain hypotheses, lead to ternary equations with unknowns in totally real fields, allowing us to employ Frey curves over those fields instead of Frey curves defined over $\mathbb{Q}$. We illustrate this approach by showing that the quaternary Diophantine equation $x^{2n} \pm 6 x^n+1=8 y^2$ has no solutions in positive integers $x$, $y$, $n$ with $x$, $n>1$. △ Less

Submitted 7 August, 2014; originally announced August 2014.

Comments: 24 pages

MSC Class: 11D61 (Primary); 11D41 (Secondary); 11F80; 11F41

Journal ref: Math. Proc. Camb. Phil. Soc. 158 (2015) 305-329

Bounded solutions of finite lifetime to differential equations in Banach spaces

Authors: Rafael Dahmen, Helge Glockner

Abstract: Consider a smooth vector field $f\colon \mathbb{R}^n\to\mathbb{R}^n$ and a maximal solution $γ\colon \,]a,b[\,\to \mathbb{R}^n$ to the ordinary differential equation $x'=f(x)$. It is a well-known fact that, if $γ$ is bounded, then $γ$ is a global solution, i.e., $\,]a,b[\,=\mathbb{R}$. We show by example that this conclusion becomes invalid if $\mathbb{R}^n$ is replaced with an infinite-dimensiona… ▽ More Consider a smooth vector field $f\colon \mathbb{R}^n\to\mathbb{R}^n$ and a maximal solution $γ\colon \,]a,b[\,\to \mathbb{R}^n$ to the ordinary differential equation $x'=f(x)$. It is a well-known fact that, if $γ$ is bounded, then $γ$ is a global solution, i.e., $\,]a,b[\,=\mathbb{R}$. We show by example that this conclusion becomes invalid if $\mathbb{R}^n$ is replaced with an infinite-dimensional Banach space. △ Less

Submitted 26 March, 2014; v1 submitted 7 February, 2014; originally announced February 2014.

Comments: v3: 13 pages, additional references

MSC Class: Primary 34C11; secondary 26E20; 34A12; 34G20; 37C10; 34--01

Perfect powers expressible as sums of two fifth or seventh powers

Authors: Sander R. Dahmen, Samir Siksek

Abstract: We show that the generalized Fermat equations with signatures (5,5,7), (5,5,19), and (7,7,5) (and unit coefficients) have no non-trivial primitive integer solutions. Assuming GRH, we also prove the nonexistence of non-trivial primitive integer solutions for the signatures (5,5,11), (5,5,13), and (7,7,11). The main ingredients for obtaining our results are descent techniques, the method of Chabauty… ▽ More We show that the generalized Fermat equations with signatures (5,5,7), (5,5,19), and (7,7,5) (and unit coefficients) have no non-trivial primitive integer solutions. Assuming GRH, we also prove the nonexistence of non-trivial primitive integer solutions for the signatures (5,5,11), (5,5,13), and (7,7,11). The main ingredients for obtaining our results are descent techniques, the method of Chabauty-Coleman, and the modular approach to Diophantine equations. △ Less

Submitted 26 January, 2014; v1 submitted 16 September, 2013; originally announced September 2013.

Comments: The current version incorporates minor comments of the referee

MSC Class: 11D41

Magnetic vortices induced by a moving tip

Authors: Martin P. Magiera, Alfred Hucht, Haye Hinrichsen, Silvio R. Dahmen, Dietrich E. Wolf

Abstract: A two-dimensional easy-plane ferromagnetic substrate, interacting with a dipolar tip which is magnetised perpendicular with respect to the easy plane is studied numerically by solving the Landau-Lifshitz Gilbert equation. Due to the symmetry of the dipolar field of the tip, in addition to the collinear structure a magnetic vortex structure becomes stable. It is robust against excitations caused by… ▽ More A two-dimensional easy-plane ferromagnetic substrate, interacting with a dipolar tip which is magnetised perpendicular with respect to the easy plane is studied numerically by solving the Landau-Lifshitz Gilbert equation. Due to the symmetry of the dipolar field of the tip, in addition to the collinear structure a magnetic vortex structure becomes stable. It is robust against excitations caused by the motion of the tip. We show that for high excitations the system may perform a transition between the two states. The influence of domain walls, which may also induce this transition, is examined. △ Less

Submitted 22 January, 2013; v1 submitted 13 July, 2012; originally announced July 2012.

Comments: 6 pages, 7 figures

Journal ref: EPL (Europhysics Letters) 100, 27004 (2012)

Explosive Ising

Authors: Sebastian Angst, Silvio R. Dahmen, Haye Hinrichsen, Alfred Hucht, Martin P. Magiera

Abstract: We study a two-dimensional kinetic Ising model with Swendsen-Wang dynamics, replacing the usual percolation on top of Ising clusters by explosive percolation. The model exhibits a reversible first-order phase transition with hysteresis. Surprisingly, at the transition flanks the global bond density seems to be equal to the percolation thresholds. We study a two-dimensional kinetic Ising model with Swendsen-Wang dynamics, replacing the usual percolation on top of Ising clusters by explosive percolation. The model exhibits a reversible first-order phase transition with hysteresis. Surprisingly, at the transition flanks the global bond density seems to be equal to the percolation thresholds. △ Less

Submitted 23 June, 2012; v1 submitted 23 April, 2012; originally announced April 2012.

Comments: 7 pages, 5 figures

Journal ref: J. Stat. Mech. (2012) L06002

Level lowering modulo prime powers and twisted Fermat equations

Authors: Sander R. Dahmen, Soroosh Yazdani

Abstract: We discuss a clean level lowering theorem modulo prime powers for weight $2$ cusp forms. Furthermore, we illustrate how this can be used to completely solve certain twisted Fermat equations $ax^n+by^n+cz^n=0$. We discuss a clean level lowering theorem modulo prime powers for weight $2$ cusp forms. Furthermore, we illustrate how this can be used to completely solve certain twisted Fermat equations $ax^n+by^n+cz^n=0$. △ Less

Submitted 1 September, 2010; originally announced September 2010.

MSC Class: Primary 11D41; 11F33; Secondary 11F11; 11F80; 11G05

Journal ref: Can. J. Math.-J. Can. Math. 64 (2012) 282-300

Quantum phase transitions in an interacting atom-molecule boson model

Authors: Gilberto Santos, Angela Foerster, Jon Links, Eduardo Mattei, Silvio R. Dahmen

Abstract: We study the quantum phase transitions of a model that describes the interconversion of interacting bosonic atoms and molecules. Using a classical analysis, we identify a threshold coupling line separating a molecular phase and a mixed phase. Through studies of the energy gap, von Neumann entanglement entropy, and fidelity, we give evidence that this line is associated to a boundary line in the gr… ▽ More We study the quantum phase transitions of a model that describes the interconversion of interacting bosonic atoms and molecules. Using a classical analysis, we identify a threshold coupling line separating a molecular phase and a mixed phase. Through studies of the energy gap, von Neumann entanglement entropy, and fidelity, we give evidence that this line is associated to a boundary line in the ground-state phase diagram of the quantum system. △ Less

Submitted 6 July, 2010; originally announced July 2010.

Comments: 6 pages, 10 figures

Journal ref: Physical Review A, 81, 063621 (2010)

A refined modular approach to the Diophantine equation $x^2+y^{2n}=z^3$

Authors: Sander R. Dahmen

Abstract: Let $n$ be a positive integer and consider the Diophantine equation of generalized Fermat type $x^2+y^{2n}=z^3$ in nonzero coprime integer unknowns $x,y,z$. Using methods of modular forms and Galois representations for approaching Diophantine equations, we show that for $n \in \{5, 31\}$ there are no solutions to this equation. Combining this with previously known results, this allows a complete… ▽ More Let $n$ be a positive integer and consider the Diophantine equation of generalized Fermat type $x^2+y^{2n}=z^3$ in nonzero coprime integer unknowns $x,y,z$. Using methods of modular forms and Galois representations for approaching Diophantine equations, we show that for $n \in \{5, 31\}$ there are no solutions to this equation. Combining this with previously known results, this allows a complete description of all solutions to the Diophantine equation above for $n \leq 10^7$. Finally, we show that there are also no solutions for $n\equiv -1 \pmod{6}$. △ Less

Submitted 29 January, 2010; originally announced February 2010.

Comments: 12 pages

MSC Class: 11D41; 11F11; 11F80; 11G05

Visualizing elements of Sha[3] in genus 2 jacobians

Authors: Nils Bruin, Sander R. Dahmen

Abstract: Mazur proved that any element xi of order three in the Shafarevich-Tate group of an elliptic curve E over a number field k can be made visible in an abelian surface A in the sense that xi lies in the kernel of the natural homomorphism between the cohomology groups H^1(k,E) -> H^1(k,A). However, the abelian surface in Mazur's construction is almost never a jacobian of a genus 2 curve. In this pap… ▽ More Mazur proved that any element xi of order three in the Shafarevich-Tate group of an elliptic curve E over a number field k can be made visible in an abelian surface A in the sense that xi lies in the kernel of the natural homomorphism between the cohomology groups H^1(k,E) -> H^1(k,A). However, the abelian surface in Mazur's construction is almost never a jacobian of a genus 2 curve. In this paper we show that any element of order three in the Shafarevich-Tate group of an elliptic curve over a number field can be visualized in the jacobians of a genus 2 curve. Moreover, we describe how to get explicit models of the genus 2 curves involved. △ Less

Submitted 28 January, 2010; originally announced January 2010.

Comments: 12 pages

MSC Class: 11G30; 14H40

Journal ref: Algorithmic Number Theory Lecture Notes in Computer Science, 2010, Volume 6197/2010, 110-125

Lie Groups Associated to H"older-Continuous Functions

Authors: Rafael Dahmen

Abstract: We proof some basic tools about spaces of H"older-continuous functions between (in general infinite dimensional) Banach spaces and use them to construct new examples of infinite dimensional (LB)-Lie groups. We proof some basic tools about spaces of H"older-continuous functions between (in general infinite dimensional) Banach spaces and use them to construct new examples of infinite dimensional (LB)-Lie groups. △ Less

Submitted 27 August, 2009; v1 submitted 26 August, 2009; originally announced August 2009.

On the residue class distribution of the number of prime divisors of an integer

Authors: Michael Coons, Sander R. Dahmen

Abstract: The {\em Liouville function} is defined by $\gl(n):=(-1)^{Ω(n)}$ where $Ω(n)$ is the number of prime divisors of $n$ counting multiplicity. Let $\z_m:=e^{2πi/m}$ be a primitive $m$--th root of unity. As a generalization of Liouville's function, we study the functions $\gl_{m,k}(n):=\z_m^{kΩ(n)}$. Using properties of these functions, we give a weak equidistribution result for $Ω(n)$ among residue… ▽ More The {\em Liouville function} is defined by $\gl(n):=(-1)^{Ω(n)}$ where $Ω(n)$ is the number of prime divisors of $n$ counting multiplicity. Let $\z_m:=e^{2πi/m}$ be a primitive $m$--th root of unity. As a generalization of Liouville's function, we study the functions $\gl_{m,k}(n):=\z_m^{kΩ(n)}$. Using properties of these functions, we give a weak equidistribution result for $Ω(n)$ among residue classes. More formally, we show that for any positive integer $m$, there exists an $A>0$ such that for all $j=0,1,...,m-1,$ we have $$#\{n\leq x:Ω(n)\equiv j (\bmod m)\}=\frac{x}{m}+O(\frac{x}{\log^A x}).$$ Best possible error terms are also discussed. In particular, we show that for $m>2$ the error term is not $o(x^\ga)$ for any $\ga<1$. △ Less

Submitted 4 June, 2009; originally announced June 2009.

Comments: 7 pages

MSC Class: 11N37; 11N60

Hopping Transport in Hostile Reaction-Diffusion Systems

Authors: Andrew R. Missel Karin A. Dahmen

Abstract: We investigate transport in a disordered reaction-diffusion (RD) model consisting of particles which are allowed to diffuse, compete with one another (2A->A), give birth in small areas called "oases" (A->2A), and die in the "desert" outside the oases (A->0). This model has previously been used to study bacterial populations in the lab and is related to a model of plankton populations in the ocea… ▽ More We investigate transport in a disordered reaction-diffusion (RD) model consisting of particles which are allowed to diffuse, compete with one another (2A->A), give birth in small areas called "oases" (A->2A), and die in the "desert" outside the oases (A->0). This model has previously been used to study bacterial populations in the lab and is related to a model of plankton populations in the oceans. We first consider the nature of transport between two oases: in the limit of high growth rate, this is effectively a first passage process, and we are able to determine the first passage time probability density function in the limit of large oasis separation. This result is then used along with the theory of hopping conduction in doped semiconductors to estimate the time taken by a population to cross a large system. △ Less

Submitted 24 August, 2008; originally announced August 2008.

Comments: 16 pages, 5 figures

Analytic Mappings Between LB-spaces and Applications in Infinite-Dimensional Lie Theory

Authors: Rafael Dahmen

Abstract: We give a sufficient criterion for complex analyticity of nonlinear maps defined on direct limits of normed spaces. This tool is then used to construct new classes of (real and complex) infinite dimensional Lie groups: (a) groups of germs of analytic diffeomorphisms around a compact set in a Banach space and (b) unions of ascending sequences of Banach Lie groups. We give a sufficient criterion for complex analyticity of nonlinear maps defined on direct limits of normed spaces. This tool is then used to construct new classes of (real and complex) infinite dimensional Lie groups: (a) groups of germs of analytic diffeomorphisms around a compact set in a Banach space and (b) unions of ascending sequences of Banach Lie groups. △ Less

Submitted 28 July, 2008; v1 submitted 23 July, 2008; originally announced July 2008.

Long-range epidemic spreading with immunization

Authors: Florian Linder, Johannes Tran-Gia, Silvio R. Dahmen, Haye Hinrichsen

Abstract: We study the phase transition between survival and extinction in an epidemic process with long-range interactions and immunization. This model can be viewed as the well-known general epidemic process (GEP) in which nearest-neighbor interactions are replaced by Levy flights over distances r which are distributed as P(r) ~ r^(-d-sigma). By extensive numerical simulations we confirm previous field-… ▽ More We study the phase transition between survival and extinction in an epidemic process with long-range interactions and immunization. This model can be viewed as the well-known general epidemic process (GEP) in which nearest-neighbor interactions are replaced by Levy flights over distances r which are distributed as P(r) ~ r^(-d-sigma). By extensive numerical simulations we confirm previous field-theoretical results obtained by Janssen et al. [Eur. Phys. J. B7, 137 (1999)]. △ Less

Submitted 7 February, 2008; originally announced February 2008.

Comments: LaTeX, 14 pages, 4 eps figures

Journal ref: J. Phys. A: Math. Theor. 41 (2008) 185005

Boltzmann and the art of flying

Authors: Silvio R. Dahmen

Abstract: One of the less known facets of Ludwig Boltzmann was that of an advocate of Aviation, one of the most challenging technological problems of his times. Boltzmann followed closely the studies of pioneers like Otto Lilienthal in Berlin, and during a lecture on a prestigious conference he vehemently defended further investments in the area. In this article I discuss his involvement with Aviation, hi… ▽ More One of the less known facets of Ludwig Boltzmann was that of an advocate of Aviation, one of the most challenging technological problems of his times. Boltzmann followed closely the studies of pioneers like Otto Lilienthal in Berlin, and during a lecture on a prestigious conference he vehemently defended further investments in the area. In this article I discuss his involvement with Aviation, his role in its development and his correspondence with two flight pioneers, Otto Lilienthal e Wilhelm Kress. △ Less

Submitted 31 May, 2007; originally announced June 2007.

Comments: 15 pages, no figures

Journal ref: Physics in Perspective 11 (3) (2009)

Space Representation of Stochastic Processes with Delay

Authors: Silvio R. Dahmen, Haye Hinrichsen, Wolfgang Kinzel

Abstract: We show that a time series $x_t$ evolving by a non-local update rule $x_t = f (x_{t-n},x_{t-k})$ with two different delays $k<n$ can be mapped onto a local process in two dimensions with special time-delayed boundary conditions provided that $n$ and $k$ are coprime. For certain stochastic update rules exhibiting a non-equilibrium phase transition this mapping implies that the critical behavior d… ▽ More We show that a time series $x_t$ evolving by a non-local update rule $x_t = f (x_{t-n},x_{t-k})$ with two different delays $k<n$ can be mapped onto a local process in two dimensions with special time-delayed boundary conditions provided that $n$ and $k$ are coprime. For certain stochastic update rules exhibiting a non-equilibrium phase transition this mapping implies that the critical behavior does not depend on the short delay $k$. In these cases, the autocorrelation function of the time series is related to the critical properties of directed percolation. △ Less

Submitted 22 March, 2007; originally announced March 2007.

Comments: 6 pages, 8 figures

Journal ref: Physical Review E 77, 031106 (2008)

Stochastic differential equations with time-delayed feedback and multiplicative noise

Authors: Silvio R. Dahmen, Haye Hinrichsen

Abstract: The stochastic differential equation $\dot{x}(t) = ax(t) + bx(t-τ) + c x(t) ξ(t)$ with a time-delayed feedback and a multiplicative Gaussian noise is shown to be related to Kardar-Parisi-Zhang universality class of growing surfaces. The stochastic differential equation $\dot{x}(t) = ax(t) + bx(t-τ) + c x(t) ξ(t)$ with a time-delayed feedback and a multiplicative Gaussian noise is shown to be related to Kardar-Parisi-Zhang universality class of growing surfaces. △ Less

Submitted 12 March, 2007; originally announced March 2007.

Comments: 11 pages, 4 figures

Multicritical behavior of the diluted contact process

Authors: Silvio R. Dahmen, L. Sittler, H. Hinrichsen

Abstract: We study a contact process on a two-dimensional square lattice which is diluted by randomly removing bonds with probability p. For p<1/2 and varying birth rate $λ$ the model was shown to exhibit a continuous phase transition which belongs to the universality class of strongly disordered directed percolation. The phase transition line terminates in a multicritical point at p=1/2 and… ▽ More We study a contact process on a two-dimensional square lattice which is diluted by randomly removing bonds with probability p. For p<1/2 and varying birth rate $λ$ the model was shown to exhibit a continuous phase transition which belongs to the universality class of strongly disordered directed percolation. The phase transition line terminates in a multicritical point at p=1/2 and $λ=λ*=3.55(1)$, where the model can be interpreted as a critical directed percolation process running on a critical isotropic percolation cluster. In the present work we study the multicritical point and its neighboorhood by numerical simulations, discussing possible scaling forms which could describe the critical behavior at the transition. △ Less

Submitted 18 October, 2006; originally announced October 2006.

Comments: 18 pages, 11 figures, submitted to Journal of Statistical Mechanics: Theor. Exp

Journal ref: Journal of Statistical Mechanics: Theory and Experiment (2007), P01011

Modelling investment in artificial stock markets: Analytical and Numerical Results

Authors: Roberto da Silva, Alexandre Tavares Baraviera, Silvio R. Dahmen

Abstract: In this article we study the behavior of a group of economic agents in the context of cooperative game theory, interacting according to rules based on the Potts Model with suitable modifications. Each agent can be thought of as belonging to a chain, where agents can only interact with their nearest neighbors (periodic boundary conditions are imposed). Each agent can invest an amount &#963;_{i}=0… ▽ More In this article we study the behavior of a group of economic agents in the context of cooperative game theory, interacting according to rules based on the Potts Model with suitable modifications. Each agent can be thought of as belonging to a chain, where agents can only interact with their nearest neighbors (periodic boundary conditions are imposed). Each agent can invest an amount &#963;_{i}=0,...,q-1. Using the transfer matrix method we study analytically, among other things, the behavior of the investment as a function of a control parameter (denoted &#946;) for the cases q=2 and 3. For q>3 numerical evaluation of eigenvalues and high precision numerical derivatives are used in order to assess this information. △ Less

Submitted 29 April, 2005; originally announced May 2005.

Comments: 19 pages 10 figures

Static Versus Dynamic Friction: The Role of Coherence

Authors: Z. Farkas, S. R. Dahmen, D. E. Wolf

Abstract: A simple model for solid friction is analyzed. It is based on tangential springs representing interlocked asperities of the surfaces in contact. Each spring is given a maximal strain according to a probability distribution. At their maximal strain the springs break irreversibly. Initially all springs are assumed to have zero strain, because at static contact local elastic stresses are expected t… ▽ More A simple model for solid friction is analyzed. It is based on tangential springs representing interlocked asperities of the surfaces in contact. Each spring is given a maximal strain according to a probability distribution. At their maximal strain the springs break irreversibly. Initially all springs are assumed to have zero strain, because at static contact local elastic stresses are expected to relax. Relative tangential motion of the two solids leads to a loss of coherence of the initial state: The springs get out of phase due to differences in their sizes. This mechanism alone is shown to lead to a difference between static and dynamic friction forces already. We find that in this case the ratio of the static and dynamic coefficients decreases with increasing relative width of the probability distribution, and has a lower bound of 1 and an upper bound of 2. △ Less

Submitted 27 February, 2005; originally announced February 2005.

Comments: 10 pages, 2 figures, revtex4

Journal ref: J. Stat. Mech.: Theor. Exp. (2005) P06015

Coupling between static friction force and torque

Authors: Silvio R. Dahmen, Zeno Farkas, Haye Hinrichsen, Dietrich E. Wolf

Abstract: We show that the static friction force which must be overcome to render a sticking contact sliding is reduced if an external torque is also exerted. As a test system we study a planar disk lying on horizontal flat surface. We perform experiments and compare with analytical results to find that the coupling between static friction force and torque is nontrivial: It is not determined by the Coulom… ▽ More We show that the static friction force which must be overcome to render a sticking contact sliding is reduced if an external torque is also exerted. As a test system we study a planar disk lying on horizontal flat surface. We perform experiments and compare with analytical results to find that the coupling between static friction force and torque is nontrivial: It is not determined by the Coulomb friction laws alone, instead it depends on the microscopic details of friction. Hence, we conclude that the macroscopic experiment presented here reveals details about the microscopic processes lying behind friction. △ Less

Submitted 15 February, 2005; originally announced February 2005.

Comments: 6 pages, 4 figures, revtex

Journal ref: Phys. Rev. E 71, 066602 (2005)