First-order definability of Darmon points in number fields
Authors:
Juan Pablo De Rasis,
Hunter Handley
Abstract:
For a given number field $K$, we give a $\forall\exists\forall$-first order description of affine Darmon points over $\mathbb{P}^1_K$, and show that this can be improved to a $\forall\exists$-definition in a remarkable particular case. Darmon points, which are a geometric generalization of perfect powers, constitute a non-linear set-theoretical filtration between $K$ and its ring of $S$-integers,…
▽ More
For a given number field $K$, we give a $\forall\exists\forall$-first order description of affine Darmon points over $\mathbb{P}^1_K$, and show that this can be improved to a $\forall\exists$-definition in a remarkable particular case. Darmon points, which are a geometric generalization of perfect powers, constitute a non-linear set-theoretical filtration between $K$ and its ring of $S$-integers, the latter of which can be defined with universal formulas, as has been progressively proven by Koenigsmann, Park, and Eisenträger & Morrison. We also show that our formulas are uniform with respect to all possible $S$, with a parameter-free uniformity, and we compute the number of quantifiers and a bound for the degree of the defining polynomial.
△ Less
Submitted 3 October, 2024;
originally announced October 2024.
Discrete m-functions with Doubly Palindromic Continued Fraction Coefficients
Authors:
Hunter Handley,
Brian Simanek
Abstract:
We demonstrate that discrete m-functions with eventually periodic continued fraction coefficients have an algebraic relationship to their second solution if and only if the periodic part of the sequence of continued fraction coefficients is doubly palindromic. In this setting, doubly palindromic means that each sequence is a repeated concatenation of two palindromes and a compatibility condition b…
▽ More
We demonstrate that discrete m-functions with eventually periodic continued fraction coefficients have an algebraic relationship to their second solution if and only if the periodic part of the sequence of continued fraction coefficients is doubly palindromic. In this setting, doubly palindromic means that each sequence is a repeated concatenation of two palindromes and a compatibility condition between the lengths of these palindromes is satisfied.
△ Less
Submitted 13 May, 2022;
originally announced May 2022.
Towards Digital Engineering -- The Advent of Digital Systems Engineering
Authors:
Jingwei Huang,
Adrian Gheorghe,
Holly Handley,
Pilar Pazos,
Ariel Pinto,
Samuel Kovacic,
Andy Collins,
Charles Keating,
Andres Sousa-Poza,
Ghaith Rabadi,
Resit Unal,
Teddy Cotter,
Rafael Landaeta,
Charles Daniels
Abstract:
Digital Engineering, the digital transformation of engineering to leverage digital technologies, is coming globally. This paper explores digital systems engineering, which aims at developing theory, methods, models, and tools to support the emerging digital engineering. A critical task is to digitalize engineering artifacts, thus enabling information sharing across platform, across life cycle, and…
▽ More
Digital Engineering, the digital transformation of engineering to leverage digital technologies, is coming globally. This paper explores digital systems engineering, which aims at developing theory, methods, models, and tools to support the emerging digital engineering. A critical task is to digitalize engineering artifacts, thus enabling information sharing across platform, across life cycle, and across domains. We identify significant challenges and enabling digital technologies; analyze the transition from traditional engineering to digital engineering; define core concepts, including "digitalization", "unique identification", "digitalized artifacts", "digital augmentation", and others; present a big picture of digital systems engineering in four levels: vision, strategy, action, and foundation; briefly discuss each of main areas of research issues. Digitalization enables fast infusing and leveraging novel digital technologies; unique identification enables information traceability and accountability in engineering lifecycle; provenance enables tracing dependency relations among engineering artifacts; supporting model reproducibility and replicability; helping with trustworthiness evaluation of digital engineering artifacts.
△ Less
Submitted 30 August, 2020; v1 submitted 20 February, 2020;
originally announced February 2020.
