Related papers: On irrationals with Lagrange value exactly 3
We show that only a rather small proportion of linear equations are solvable in elements of a fixed finitely generated subgroup of a multiplicative group of a number field. The argument is based on modular techniques combined with a…
In this note we present some results concerning the unirationality of the algebraic variety $\cal{S}_{f}$ given by the equation \begin{equation*} N_{K/k}(X_{1}+\alpha X_{2}+\alpha^2 X_{3})=f(t), \end{equation*} where $k$ is a number field,…
Let $X\subseteq \mathbb{P}^3$ be a smooth projective surface of degree $d\ge 4$ defined over a number field $K$, and let $N_{X^{\prime}}(B)$ be the number of rational points of $X$ of height at most $B$ that do not lie on lines contained in…
The computational complexity of the partition, 0-1 subset sum, unbounded subset sum, 0-1 knapsack and unbounded knapsack problems and their multiple variants were studied in numerous papers in the past where all the weights and profits were…
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…
The radical solution of polynomials with rational coefficients is a famous solved problem. This paper found that it is a $\mathbb{NP}$ problem. Furthermore, this paper found that arbitrary $ \mathscr{P} \in \mathbb{P}$ shall have a one-way…
Denote by $\sigma_k(n)$ the sum of the $k$-th powers of the divisors of $n$, and let $S_k=\sum_{n\geq 1}\frac{\sigma_k(n)}{n!}$. We prove that Schinzel's conjecture H implies that $S_k$ is irrational, and give an unconditional proof for the…
For $H \ge N^{1-\frac{1}{2c}} \ln^2 N$, where $c$ is a fixed non-integer number satisfying $$ \|c\| \ge 3c\left(2^{[c]+1}-1\right)\frac{\ln \ln N}{\ln N}, \qquad c > \frac{4}{3}\left(1 + \frac{52\ln \ln N}{\ln N}\right), $$ we obtain an…
Given any positive integer n, we prove the existence of infinitely many right triangles with area n and side lengths in certain number fields. This generalizes the famous congruent number problem. The proof allows the explicit construction…
Consider an algebraic function like $F(x) = \sqrt{x^3 - 1}$. If $p \in \mathbb{Q}$ is a rational number, how many iterates of $p$ under $F$ can also be rational? The dynamics of algebraic functions may be formalized in the language of…
We will extend the well-known Church encoding of Boolean logic into $\lambda$-calculus to an encoding of McCarthy's $3$-valued logic into a suitable infinitary extension of $\lambda$-calculus that identifies all unsolvables by $\bot$, where…
Let $p$ be a prime number and let $S=\{x^p+c_1,\dots,x^p+c_r\}$ be a finite set of unicritical polynomials for some $c_1,\dots,c_r\in\mathbb{Z}$. Moreover, assume that $S$ contains at least one irreducible polynomial over $\mathbb{Q}$. Then…
We discuss how to write down three specific natural numbers $A$, $B$, $C$ such that for any real number $r$ you've probably ever thought of, it is consistent with $\mathsf{ZFC}$ set theory that $$\def\Rb{\mathbb{R}}\def\Nb{\mathbb{N}}r =…
Let $X \subset \mathbb{P}(w_0, w_1, w_2, w_3)$ be a quasismooth well-formed weighted projective hypersurface and let $L = lcm(w_0,w_1,w_2,w_3)$. We characterize when $X$ is rational under the assumption that $L$ divides $deg(X)$ by…
We investigate the number $R_3(n)$ of representations of $n$ as the sum plus the product of three positive integers. On average, $R_3(n)$ is $\frac{1}{2}\log^2 n$. We give an upper bound for $R_3(n)$ and an upper bound for the number of $n…
We show that various analogs of Hindman's Theorem fail in a strong sense when one attempts to obtain uncountable monochromatic sets: Theorem 1: There exists a colouring $c:\mathbb R\rightarrow\mathbb Q$, such that for every…
For every prime number p and integer $n>1$, a simple, involutive, non-degenerate set-theoretic solution $(X,r$) of the Yang-Baxter equation of cardinality $|X| = p^n$ is constructed. Furthermore, for every non-(square-free) positive integer…
We prove that for any prime number $p\ge 3$, there exists a positive number $\kappa_p$ such that $\chi(\mathcal{O}_X)\ge \kappa_pc_1^2$ holds true for all algebraic surfaces $X$ of general type in characteristic $p$. In particular,…
A real X is defined to be relatively c.e. if there is a real Y such that X is c.e.(Y) and Y does not compute X. A real X is relatively simple and above if there is a real Y <_T X such that X is c.e.(Y) and there is no infinite subset Z of…
In arXiv:1812.00170, S. Morier-Genoud and V. Ovsienko introduced the notion of the $q$-rational number $[x]_q$, $x\in \Bbb Q$, a rational function specializing to $x$ at $q=1$, obtained by $q$-deforming the continued fraction expansion of…