Related papers: Extending Sicherman Dice to 100-cell Calculation T…
Problems in additive number theory related to sum and difference sets, more general binary linear forms, and representation functions of additive bases for the integers and nonnegative integers.
Let $b \geq 3$ be a positive integer. A natural number is said to be a base-$b$ Zuckerman number if it is divisible by the product of its base-$b$ digits. Let $\mathcal{Z}_b(x)$ be the set of base-$b$ Zuckerman numbers that do not exceed…
In this paper we consider $N$, the number of solutions $(x,y,u,v)$ to the equation $ (-1)^u r a^x + (-1)^v s b^y = c$ in nonnegative integers $x, y$ and integers $u, v \in \{0,1\}$, for given integers $a>1$, $b>1$, $c>0$, $r>0$ and $s>0$.…
For a numerical semigroup $S \subseteq \mathbb{N}$, let $m,e,c,g$ denote its multiplicity, embedding dimension, conductor and genus, respectively. Wilf's conjecture (1978) states that $e(c-g) \ge c$. As of 2023, Wilf's conjecture has been…
We propose a calculus of string diagrams to reason about satisfiability of Boolean formulas, and prove it to be sound and complete. We then showcase our calculus in a few case studies. First, we consider SAT-solving. Second, we consider…
Erd\H{o}s and Graham define $g(n) = n + \phi(n)$ and the iterated application $g_k(n) = g(g_{k-1}(n))$. They ask for solutions of $g_{k+r}(n) = 2 g_{k}(n)$ and observe $g_{k+2}(10) = 2 g_{k}(10)$ and $g_{k+2}(94) = 2 g_{k}(94)$. We show…
This paper contains a suite of results concerning the problem of adding $m$ distinct new points to a configuration of $n$ distinct points on the Riemann sphere, such that the new points depend continuously on the old. Altogether, the…
Using an adaptation of Qin Jiushao's method from the 13th century, it is possible to prove that a system of linear modular equations a(i,1) x(i) + ... + a(i,n) x(n) = b(i) mod m(i), i=1, ..., n has integer solutions if m(i)>1 are pairwise…
In a $n$-dimensional Lie algebra, random numerical values are assigned by computer to $n(n-1)$ especially selected structure constants. An algorithm is then created, which calculates without ambiguity the remaining constants, obeying the…
The lattice cell in the ${i+1}^{st}$ row and ${j+1}^{st}$ column of the positive quadrant of the plane is denoted $(i,j)$. If $\mu$ is a partition of $n+1$, we denote by $\mu/ij$ the diagram obtained by removing the cell $(i,j)$ from the…
We use recurrence equations (alias difference equations) to enumerate the number of formula-representations of positive integers using only addition and multiplication, and using addition, multiplication, and exponentiation, where all the…
Ab initio multi-reference configuration interaction calculations are performed for the Si(100) surface using a cluster approach. The convergence with respect to the cluster size is checked and the final results are taken from a $Si_{32}…
Recently, Bill Chen, together with his disciples Alvin Dai and Robin Zhou, discovered, and very elegantly proved, an algebraic equation satisfied by the generating function enumerating 123-avoiding words with two occurrences of each of 1,…
In 1935, P. Tur\'an proved that $$ S_{n,a}(x)= \sum_{j=1}^n{n+a-j\choose n-j} \sin(jx)>0 \quad{(n,a\in\mathbf{N}; 0<x<\pi).} $$ We present various related inequalities. Among others, we show that the refinements $$ S_{2n-1,a}(x)\geq \sin(x)…
An augmented happy function, $S_{[c,b]}$ maps a positive integer to the sum of the squares of its base-$b$ digits and a non-negative integer $c$. A positive integer $u$ is in a cycle of $S_{[c,b]}$ if, for some positive integer $k$,…
We study Smarandache sequences of numbers, and related problems, via a Computer Algebra System. Solutions are discovered, and some conjectures presented.
Video games can be used as an excellent test bed for Artificial Intelligence (AI) techniques. They are challenging and non-deterministic, this makes it very difficult to write strong AI players. An example of such a video game is Ms.…
Shnirel'man's inequality and Shnirel'man's basis theorem are fundamental results about sums of sets of positive integers in additive number theory. It is proved that these results are inherently order-theoretic and extend to partially…
For fixed positive integers $n$, we study the solution of the equation $n = k + p_k$, where $p_k$ denotes the $k$th prime number, by means of the iterative method \[ k_{j+1} = \pi(n-k_j), \qquad k_0 = \pi(n), \] which converges to the…
In this paper we demonstrate a method for counting the number of solutions to various logic puzzles. Specifically, we remove all of the "clues" from the puzzle which help the solver to a unique solution, and instead start from an empty…