English
Related papers

Related papers: Una costruzione del sistema dei numeri reali

200 papers

A basic problem in quantizing a field in curved space is the decomposition of the classical modes in positive and negative frequency. The decomposition is equivalent to a choice of a complex structure in the space of classical solutions. In…

General Relativity and Quantum Cosmology · Physics 2009-10-07 G. W. Gibbons , H. J. Pohle

A quantum theory representations of real (R) and complex (C) numbers is given that is based on states of single, finite strings of qukits for any base k > 1. Both unary representations and the possibility that qukits with k a prime number…

Quantum Physics · Physics 2009-11-17 Paul Benioff

Quantum real numbers are proposed by performing a quantum deformation of the standard real numbers $\R$. We start with the q-deformed Heisenberg algebra $\cLLq$ which is obtained by the Moyal $\ast$-deformation of the Heisenberg algebra…

High Energy Physics - Theory · Physics 2007-05-23 Takashi Suzuki

In this note, we study non-standard models of the rational numbers with countably many elements. These are ordered fields, and so it makes sense to complete them, using non-standard Cauchy sequences. The main result of this note shows that…

Logic · Mathematics 2007-05-23 Peter Laubenheimer , Thomas Schick , Ulrich Stuhler

This work is based on a description of quantum reference frames that seems more basic than others in the literature. Here a frame is based on a set of real and of complex numbers and a space time as a 4-tuple of the real numbers. There are…

Quantum Physics · Physics 2007-05-23 Paul Benioff

In coding theory, constructing codes with good parameters is one of the most important and fundamental problems. Though a great many of good codes have been produced, most of them are defined over alphabets of sizes equal to prime powers.…

Information Theory · Computer Science 2022-09-01 Shu Liu , Liming Ma , Ting-Yi Wu , Chaoping Xing

In the present paper we construct normal numbers in base $q$ by concatenating $q$-ary expansions of pseudo polynomials evaluated at the primes. This extends a recent result by Tichy and the author.

Number Theory · Mathematics 2014-12-11 Manfred G. Madritsch

Following Cornelissen, Li, Marcolli, and Smit, this short paper proves that the field structure of a number field $K$ can be reconstructed from the pair $(DR_K, I_K)$ of the Deligne-Ribet monoid $DR_K$ and the submonoid $I_K$ of $DR_K$,…

Number Theory · Mathematics 2025-08-08 Takeo Uramoto

This paper describes a formalization of discrete real closed fields in the Coq proof assistant. This abstract structure captures for instance the theory of real algebraic numbers, a decidable subset of real numbers with good algorithmic…

Logic in Computer Science · Computer Science 2015-07-01 Assia Mahboubi , Cyril Cohen

This survey is devoted to necessary and suffcient conditions for a rational number to be representable by a Cantor series. Necessary and suffcient conditions are formulated for the case of an arbitrary sequence $(q_k)$.

Number Theory · Mathematics 2023-06-22 Symon Serbenyuk

Let $R$ be the field of real Puiseux series. It is a real closed field. We construct the first examples of smooth intersections of two quadrics in $\mathbb{P}_R^5$ and smooth cubic hypersurfaces in $\mathbb{P}_R^4$ which are not stably…

Algebraic Geometry · Mathematics 2025-06-10 Jean-Louis Colliot-Thélène , Alena Pirutka , Federico Scavia

The main purpose of this paper is to prove that the positive real numbers can be decomposed into finitely many disjoint pieces which are also closed under addition and multiplication. As a byproduct of the argument we determine all the…

Number Theory · Mathematics 2023-03-30 Gergely Kiss , Gábor Somlai , Tamás Terpai

In this paper fields of quantum reference frames based on gauge transformations of rational string states are described in a way that, hopefully, makes them more understandable than their description in an earlier paper. The approach taken…

Quantum Physics · Physics 2011-11-09 Paul Benioff

Let $\xi, \zeta$ be quadratic real numbers in distinct quadratic fields. We establish the existence of effectively computable, positive real numbers $\tau$ and $c$, such that, for every integer $q$ with $q > c$ we have $$ \max\{\|q \xi \|,…

Number Theory · Mathematics 2020-11-11 Yann Bugeaud

We show that the real line R viewed as a vector space is of uncountable (algebraic) dimension over the scalar field Q of rational numbers. We then build an operator J which maps {R, Q} onto {R, Q}, is Q-linear and whose graph is scattered…

Classical Analysis and ODEs · Mathematics 2014-06-02 Nikolas Aksamit , Don Tucker

The article is devoted to the investigation of representation of rational numbers by Cantor series. Necessary and sufficient conditions for a rational number to be representable by a positive Cantor series are formulated for the case of an…

Number Theory · Mathematics 2019-04-23 Symon Serbenyuk

A. Renyi \cite{Renyi} made a definition that gives one generalization of simple normality in the context of $Q$-Cantor series. Similarly, in this paper we give a definition which generalizes the notion of normality in the context of…

Number Theory · Mathematics 2011-08-31 Bill Mance

It is well known that the R, the set of real numbers, is an abstract set, where almost all its elements cannot be described in any finite language. We investigate possible approaches to what might be called an epi-constructionist approach…

Logic in Computer Science · Computer Science 2022-07-12 Zvi Schreiber

Let $Q=(q_n)_{n=1}^\infty$ be a sequence of bases with $q_i\ge 2$. In the case when the $q_i$ are slowly growing and satisfy some additional weak conditions, we provide a construction of a number whose $Q$-Cantor series expansion is both…

Number Theory · Mathematics 2014-09-19 Dylan Airey , Bill Mance , Joseph Vandehey

There are numerous ways to represent real numbers. We may use, e.g., Cauchy sequences, Dedekind cuts, numerical base-10 expansions, numerical base-2 expansions and continued fractions. If we work with full Turing computability, all these…

Logic · Mathematics 2020-03-30 Ivan Georgiev , Lars Kristiansen , Frank Stephan