相关论文: Characterizing integers among rational numbers wit…

A formal computation proving a new operator identity from known ones is, in principle, restricted by domains and codomains of linear operators involved, since not any two operators can be added or composed. Algebraically, identities can be…

Quantum computational logics represent a logical abstraction from the circuit-theory in quantum computation. In these logics formulas are supposed to denote pieces of quantum information (qubits, quregisters or mixtures of quregisters),…

A positive definite integral quadratic form is said to be almost (primitively) universal if it (primitively) represents all but at most finitely many positive integers. In general, almost primitive universality is a stronger property than…

We study totally real number fields that admit a universal quadratic form whose coefficients are rational integers. We show that $\mathbb Q(\sqrt 5)$ is the only such real quadratic field, and that among fields of degrees 3, 4, 5, and 7…

We define for real $q$ a unital $*$-algebra $U_q(\mathfrak{sl}(2,\mathbb{R}))$ quantizing the universal enveloping $*$-algebra of $\mathfrak{sl}(2,\mathbb{R})$. The $*$-algebra $U_q(\mathfrak{sl}(2,\mathbb{R}))$ is realized as a…

Let $L$ be a nilpotent algebra of class two over a compact discrete valuation ring $A$ of characteristic zero or of sufficiently large positive characteristic. Let $q$ be the residue cardinality of $A$. The ideal zeta function of $L$ is a…

When $A$ and $B$ are subsets of the integers in $[1,X]$ and $[1,Y]$ respectively, with $|A| \geq \alpha X$ and $|B| \geq \beta X$, we show that the number of rational numbers expressible as $a/b$ with $(a,b)$ in $A \times B$ is $\gg (\alpha…

Automatic structures are first-order structures whose universe and relations can be represented as regular languages. It follows from the standard closure properties of regular languages that the first-order theory of an automatic structure…

We show that for infinitely many square-free integers q there exist infinitely many triples of rational numbers {a, b, c} such that a^2 + q, b^2 + q, c^2 + q, ab + q, ac + q and bc + q are squares of rational numbers.

We employ an algebraic procedure based on quantum mechanics to propose a `quantum number theory' (QNT) as a possible extension of the `classical number theory'. We built our QNT by defining pure quantum number operators ($q$-numbers) of a…

Let Fq be the finite field with q elements, and K an algebraic function field over with Fq as its field of constants. Let S be a finite nonempty set of prime divisors over K, and OS be the ring of integers of K attached to S. Let w greater…

The aim of this article is to study (additively) indecomposable algebraic integers $\mathcal O_K$ of biquadratic number fields $K$ and universal totally positive quadratic forms with coefficients in $\mathcal O_K$. There are given…

We show that infinitely many alternating groups arise as quotients of the free group of rank 2, with kernel a characteristic subgroup. We also show that such simple quotients exist of arbitrarily large Lie rank. This resolves two questions…

Let $K$ be a number field. Let $S$ be a finite set of places of $K$ containing all the archimedean ones. Let $R_S$ be the ring of $S$-integers of $K$. In the present paper we consider endomorphisms of $\pro$ of degree 2, defined over $K$,…

In this paper we prove that there exist infinitely many integers which can be expressed as a sum of four cubes of polynomials with integer coefficients. We give several identities that express the integers 1 and 2 as a sum of four cubes of…

This paper extends earlier work on quantum theory representations of natural numbers N, integers I, and rational numbers Ra to describe a space of these representations and transformations on the space. The space is parameterized by 4-tuple…

In analogy with the 290-Theorem of Bhargava-Hanke, a criterion set is a finite subset $C$ of the totally positive integers in a given totally real number field such that if a quadratic form represents all elements of $C$, then it…

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 \|,…

We show that if $K$ is a monogenic, primitive, totally real number field, that contains units of every signature, then there exists a lower bound for the rank of integer universal quadratic forms defined over $K$. In particular, we extend…

Deciding formulas mixing arithmetic and uninterpreted predicates is of practical interest, notably for applications in verification. Some decision procedures consist in building by structural induction an automaton that recognizes the set…