相关论文: A negative result on algebraic specifications of t…

We propose the extension of the complex numbers to be the new domain where new concepts, like negative and imaginary probabilities, can be defined. The unit of the new space is defined as the solution of the unsolvable equation in the…

Recently Alan Sokal studied the leading root $x_0(q)$ of the partial theta function $\Theta_0(x,q)=\sum\limits_{n=0}^\infty x^nq^{\binom n2}$, considered as a formal power series. He proved that all the coefficients of…

A combination of program algebra with the theory of meadows is designed leading to a theory of computation in algebraic structures which use in addition to a zero test and copying instructions the instruction set $\{x \Leftarrow 0, x…

We consider the quantum algebra $U_q(\mathfrak{sl}_2)$ with $q$ not a root of unity. We describe the finite-dimensional irreducible $U_q(\mathfrak{sl}_2)$-modules from the point of view of the equitable presentation.

Univariate fractions can be transformed to mixed fractions in the equational theory of meadows of characteristic zero.

Inquisitive logic is a research program that extends the scope of logic to cover not only statements, but also questions. In the context of this program, a logic that plays a prominent role is inquisitive first-order logic, InqBQ, which…

A commutative order in a quaternion algebra is called selective if it is embeds into some, but not all, the maximal orders in the algebra. It is known that a given quadratic order over a number field can be selective in at most one…

Let $b \geq 2$ be an integer and $S$ be a finite non-empty set of primes not containing divisors of $b$. For any non-dense set $A \subset [0,1)$ such that $A \cap \mathbb{Q}$ is invariant under $\times b$ operation, we prove the finiteness…

Axiomatizing mathematical structures and theories is an objective of Mathematical Logic. Some axiomatic systems are nowadays mere definitions, such as the axioms of Group Theory; but some systems are much deeper, such as the axioms of…

Explicit realizations of quantum field theory (QFT) are admitted by a revision to the Wightman axioms for the vacuum expectation values (VEV) of fields. The technical development of QFT is expanded beyond positive functionals on *-algebras…

We give a classification of all irreducible completely pointed $U_q(\mathfrak{sl}_{n+1})$ modules over a characteristic zero field in which $q$ is not a root of unity. This generalizes the classification result of Benkart, Britten and…

We put forward a new method of constructing the complete ordered field of real numbers from the ordered field of rational numbers. Our method is a generalization of that of A. Knopfmacher and J. Knopfmacher. Our result implies that there…

Let $\mathbb F_q$ be the finite field with $q$ elements, where $q$ is a power of a prime. We discuss recursive methods for constructing irreducible polynomials over $\mathbb F_q$ of high degree using rational transformations. In particular,…

In this paper we mainly study sums of four rational squares with certain restrictions. Let $\mathbb Q_{\ge0}$ be the set of nonnegative rational numbers. We establish the following four-square theorem for rational numbers: For any…

Let $p/q$ ($p, q \in \mathbb{N}^*$) be a positive rational number such that $p > q^2$. We show that for any $\epsilon > 0$, there exists a set $A(\epsilon) \subset [0, 1[$, with finite border and with Lebesgue measure $< \epsilon$, for…

Let $X$ be an algebraic variety over a finite field $\bF_q$, homogeneous under a linear algebraic group. We show that the number of rational points of $X$ over $\bF_{q^n}$ is a periodic polynomial function of $q^n$ with integer…

In this paper which is the completion of [1], we construct the $A_0(q)$-algebra of $Q$-meromorphic functions on the quantum plane. This is the largest non-commutative, associative, $A_0(q)$-algebra of functions constructed on the quantum…

Let $Q$ be a finite quiver and $\Lambda$ be the radical square zero algebra of $Q$ over a field. We give a full and dense functor from the category of reduced differential projective modules over $\Lambda$ to the category of representations…

A representation of complex rational numbers in quantum mechanics is described that is not based on logical or physical qubits. It stems from noting that the zeros in a product qubit state do not contribute to the number. They serve only as…

The arithmetic of natural numbers has a natural and simple encoding within sets, and the simplest set whose structure is not that of any natural number extends this set-theoretic representation to positive and negative integers. The…