arXiv subjects

Donald Silberger

Publications and source records attributed to Donald Silberger.

8 recordsLinked to original sources

arXiv2025

On powers of the diophantine function $\star:x\mapsto x(x+1)$

We treat the functions $\star^k:{\mathbf N}\rightarrow{\mathbf N}$ where $\star:x\mapsto \star x := x(x+1)$. The set $\{\star^k x+1: \{x,k\}\subseteq{\mathbf N}\}$ is pairwise coprime; so, the set ${\mathbf P}$ of primes is infinite. Our Theorem 4 resorts to the mother sequence, M, that is obtained by factoring the infinite sequence $2,3,4,5,\ldots$ into prime powers. For each $x\ge1$ we define the gross $x$-sequence, $γ_\star(x) := \langle x+1; \star x+1; \star^2x+1; \star^3x+1;\ldots\rangle$, and also the star sequence, $x^\star$, obtained by factoring the terms of $γ_\star(x)$ into prime powers. It turns out that $γ_\star(1)$ is Sylvester's sequence, A00058 in the Online Encyclopedia of Integer Sequences, OEIS, and that $γ_\star(2)$ is the sequence A082732 in the OEIS. Theorem 3. For every integer $x\ge1$ there is a prime $p(x)$ that divides no member of $\{\star^kx+1: k\ge0\}$. Theorem 4. For each sequence $η$ of powers of primes there are infinitely many subsequences $c$ of M such that numerically $η=c_j$ but where the term-set family in M of those $c_j$ is formally. pairwise disjoint. Theorem 6. $1/x = \sum_{k=0}^{n-1} 1/(\star^kx+1) + 1/(\star^nx) = \sum_{k=0}^\infty 1/(\star^kx+1)$ for all $\{x,n\}\subseteq{\mathbf N}$. Theorem 7. For every $x\in{\mathbf N}$, when $x^\star := \langle x_j\rangle_{j=0}^\infty$ then $\sum_{j=0}^\infty 1/x_j = \infty$.

math.NT↗

arXiv2024

On sums of Egyptian fractions

Let $n,d$, and $k$ be positive integers where $n$ and $d$ are coprime. Our two main results are Theorem 1. There is a partition of the infinite interval $[kd,\infty)$ of positive integers into a family of finite sets $X$ for which the sum of the reciprocals of the elements in $X$ is $n/d$. Theorem 1. There is a partition of $[2kd,\infty)$ into an infinite family of infinite sets $Y$ for which the sum of the reciprocals of the elements in $Y$ is $n/d$. Our method is grounded in the Vital Identity, $1/z = 1/(z+1) + 1/z(z+1)$, which holds for every complex number $z \notin \{-1,0\}$, and which gives rise to an eponymous algorithm that serves as our tool. At the core of our Theorems 1 and 2 is the number theoretic function $\star: x\mapsto \star x := x(x+1)$ into whose properties this paper continues an investigation initiated in [7].

math.NT↗

arXiv2024

Eulerian Directed Multigraphs

For $Δ$ a finite connected nontrivial directed multigraph, we prove: 1. $Δ$ has a directed circuit using each directed edge exactly once if and only if both each pair of distinct vertices of $Δ$ occur in a common directed circuit and in-degree$({\bf x}) =$ out-degree$({\bf x})$ for every vertex ${\bf x}$. 2. $Δ$ contains a non-circuit directed path which uses every directed edge exactly once if and only if both every pair of distinct vertices of $Δ$ occur in a common directed circuit and there are vertices ${\bf b \not= e}$ such that in-degree$({\bf e}) -$ out-degree$({\bf e}) = 1 =$ out-degree$({\bf b}) -$ in-degree$({\bf b})$ but, for every vertex ${\bf x \notin \{b,e\}}$, it happens that in-degree$({\bf x}) =$ out-degree$({\bf x})$.

math.CO↗

arXiv2019

Transpositional sequences and multigraphs

When ${\bf t} := \langle t_1,t_2,\ldots,t_k\rangle$ is a sequence of transpositions on the finite set $n:=\{0,1,\ldots,n-1\}$, then $\bigcirc{\bf t}:= t_1\circ t_2\circ\cdots\circ t_k$ denotes the compositional product of the sequence. Our paper treats the set ${\rm Prod}({\bf t})$ of all $\bigcirc{\bf s}$, where ${\bf s}$ is a sequence obtained by rearranging the terms of ${\bf t}$. The paper characterizes the set of all transpositional sequences ${\bf t}$ for which ${\rm Prod}({\bf t})$ is the subset of a single congugacy class in the symmetric group ${\rm Sym}(n)$; we call such ${\bf t}$ {\it conjugacy invariant}. At the opposite extreme, the paper studies conditions under which ${\bf t}$ is {\it permutationally complete}, which is to say, those ${\bf t}$ for which either ${\rm Prod}({\bf t}) = {\rm Alt}(n)$ or ${\rm Prod}({\bf t}) = {\rm Sym}(n)\setminus{\rm Alt}(n)$.

math.CO↗

arXiv2019

Sums of finitely many distinct rationals

${\cal E}$ denotes the family of all finite nonempty $S\subseteq{\mathbb N}:=\{1,2,\ldots\}$, and ${\cal E}(X):={\cal E}\cap\{S:S\subseteq X\}$ when $X\subseteq{\mathbb N}$. Similarly, ${\cal F}$ denotes the family of all finite nonempty $T\subseteq{\mathbb Q}^+$, and ${\cal F}(Y) := {\cal F}\cap\{T:T\subseteq Y\}$ where ${\mathbb Q}^+$ is the set of all positive rationals and $Y\subseteq{\mathbb Q}^+$. This paper treats the functions $σ:{\cal E}\rightarrow{\mathbb Q}^+$ given by $σ:S\mapstoσS :=\sum\{1/x:x\in S\}$, the function $δ:{\cal E}\rightarrow{\mathbb N}$ defined by $σS = νS/δS$ where the integers $νS$ and $δS$ are coprime, and the more general function $Σ:{\cal F}\rightarrow{\mathbb Q}^+$ where $ΣT$ denotes the sum of the elements in $T$ for $T\in{\cal F}$. Theorem 1.1. For each $r\in{\mathbb Q}^+$, there exists an infinite pairwise disjoint subfamily ${\cal H}_r\subseteq{\cal E}$ such that $r=σS$ for all $S\in{\cal H}_r$. Theorem 1.2. Let $X$ be a pairwise coprime set of positive integers. Then $σ$ restricted to ${\cal E}(X)$ and $δ$ restricted to ${\cal E}(X)$ are injective. Also, $σC\in{\mathbb N}$ for $C\in{\cal E}(X)$ only if $C=\{1\}$. Theorem 6.5. There is a set $X$ of positive rational numbers for which $Σ:{\cal F}(X)\rightarrow{\mathbb Q}^+$ is a surjection, but for which $1\in X$ and the only $S\in{\cal F}(X)$ with $ΣS = 1$ is $S = \{1\}$.

math.NT↗

arXiv2018

Rotation Groups

A query, about the orbit $P{\cal W}$ in real 3-space of a point $P$ under an isometry group ${\cal W}$ generated by edge rotations of a tetrahedron, leads to contrasting notions, ${\cal W}$ versus ${\cal S}$, of "rotation group". The set R $=\{r_{{\sf A}_1},r_{{\sf A}_2}\}$ of rotations $r_{{\sf A} _i}$ about axes ${\sf A}_i$ generates two manifestations of an isometry group on $\Re^3$: (1). In the {\em stationary} group ${\cal S:=S}$(R), all axes {\sf B} are fixed under a rotation $r_{\sf A}$ about {\sf A}. (2). In the {\em peripatetic} group ${\cal W:=W}$(R), each $r_{\sf A}$ transforms every rotational axis ${\sf B\not=A}$. {\bf Theorem.} \ If the line ${\sf A}_1$ is skew to ${\sf A}_2$, if each $r_{{\sf A}_i}$ is of infinite order, and if $P\in\Re^3$, then both of the orbits $P{\cal S}$ and $P{\cal W}$ are dense in $\Re^3$.

math.MG↗

arXiv2014

Antiassociative Groupoids

Given a groupoid $< G, \star >$, and $k \geq 3$, we say that $G$ is antiassociative iff for all $x_1, x_2, x_3 \in G$, $(x_1 \star x_2) \star x_3$ and $x_1 \star (x_2 \star x_3)$ are never equal. Generalizing this, $< G, \star >$ is $k$-antiassociative iff for all $x_1, x_2, ... x_k \in G$, any two distinct expressions made by putting parentheses in $x_1 \star x_2 \star x_3 \star ...x_k$ are never equal. We prove that for every $k \geq 3$, there exist finite groupoids that are $k$-antiassociative. We then generalize this, investigating when other pairs of groupoid terms can be made never equal.

math.RA↗

arXiv2011

Completely dissociative groupoids

Consider arbitrarily parenthesized expressions on the $k$ variables $x_0, x_1, ..., x_{k-1}$, where each $x_i$ appears exactly once and in the order of their indices. We call these expressions {\em formal $k$--products}. $F^σ(k)$ denotes the set of formal $k$--products. For ${{\bf u},{\bf v}}\subseteq F^σ(k)$, the claim, that ${\bf u}$ and ${\bf v}$ produce equal elements in a groupoid $G$ for all values assumed in $G$ by the variables $x_i$, attributes to $G$ a {\em generalized associative law}. Many groupoids are {\em completely dissociative}; i.e., no generalized associative law holds for them; two examples are the groupoids on ${0,1}$ whose binary operations are implication and NAND. We prove a variety of results of that flavor.

math.GR↗