BZPEER

preprint2026arXiv

The Minary Primitive of Computational Autopoiesis

We introduce Minary, a computational framework designed as a candidate for the first formally provable autopoietic primitive. Minary represents interacting probabilistic events as multi-dimensional vectors and combines them via linear superposition rather than multiplicative scalar operations, thereby preserving uncertainty and enabling constructive and destructive interference in the range $[-1,1]$ . A fixed set of ``perspectives'' evaluates ``semantic dimensions'' according to hidden competencies, and their interactions drive two discrete-time stochastic processes. We model this system as an iterated random affine map and use the theory of iterated random functions to prove that it converges in distribution to a unique stationary law; we moreover obtain an explicit closed form for the limiting expectation in terms of row, column, and global averages of the competency matrix. We then derive exact formulas for the mean and variance of the normalized consensus conditioned on the activation of a given semantic dimension, revealing how consensus depends on competency structure rather than raw input signals. Finally, we argue that Minary is organizationally closed yet operationally open in the sense of Maturana and Varela, and we discuss implications for building self-maintaining, distributed, and parallelizable computational systems that house a uniquely subjective notion of identity.

preprint2022arXiv

Loops and Regions in Hitomezashi Patterns

Hitomezashi patterns, which originate from traditional Japanese embroidery, are intricate arrangements of unit-length line segments called stitches. The stitches connect to form hitomezashi strands and hitomezashi loops, which divide the plane into regions. We investigate the deeper mathematical properties of these patterns, which also feature prominently in the study of corner percolation. It was previously known that every loop in a hitomezashi pattern has odd width and odd height. We additionally prove that such a loop has length congruent to $4$ modulo $8$ and area congruent to $1$ modulo $4$ . Although these results are simple to state, their proofs require us to understand the delicate topological and combinatorial properties of slicing operations that can be applied to hitomezashi patterns. We also show that the expected number of regions in a random $m\times n$ hitomezashi pattern (chosen according to a natural random model) is asymptotically $\left(\frac{π^2-9}{12}+o(1)\right)mn$ .

preprint2022arXiv

Pop-Stack-Sorting for Coxeter Groups

Let $W$ be an irreducible Coxeter group. We define the Coxeter pop-stack-sorting operator $\mathsf{Pop}:W\to W$ to be the map that fixes the identity element and sends each nonidentity element $w$ to the meet of the elements covered by $w$ in the right weak order. When $W$ is the symmetric group $S_n$ , $\mathsf{Pop}$ coincides with the pop-stack-sorting map. Generalizing a theorem about the pop-stack-sorting map due to Ungar, we prove that $\sup\limits_{w\in W}\left|O_{\mathsf{Pop}}(w)\right|=h,$ where $h$ is the Coxeter number of $W$ (with $h=\infty$ if $W$ is infinite) and $O_f(w)$ denotes the forward orbit of $w$ under a map $f$ . When $W$ is finite, this result is equivalent to the statement that the maximum number of terms appearing in the Brieskorn normal form of an element of $W$ is $h-1$ . More generally, we define a map $f:W\to W$ to be compulsive if for every $w\in W$ , $f(w)$ is less than or equal to $\mathsf{Pop}(w)$ in the right weak order. We prove that if $f$ is compulsive, then $\sup\limits_{w\in W}|O_f(w)|\leq h$ . This result is new even for symmetric groups. We prove that $2$ -pop-stack-sortable elements in type $B$ are in bijection with $2$ -pop-stack-sortable permutations in type $A$ , which were enumerated by Pudwell and Smith. Claesson and Gudmundsson proved that for each fixed nonnegative integer $t$ , the generating function that counts $t$ -pop-stack-sortable permutations in type $A$ is rational; we establish analogous results in types $B$ and $\widetilde A$ .

preprint2022arXiv

Stack-Sorting for Coxeter Groups

Given an essential semilattice congruence $\equiv$ on the left weak order of a Coxeter group $W$ , we define the Coxeter stack-sorting operator ${\bf S}_\equiv:W\to W$ by ${\bf S}_\equiv(w)=w\left(π_\downarrow^\equiv(w)\right)^{-1}$ , where $π_\downarrow^\equiv(w)$ is the unique minimal element of the congruence class of $\equiv$ containing $w$ . When $\equiv$ is the sylvester congruence on the symmetric group $S_n$ , the operator ${\bf S}_\equiv$ is West's stack-sorting map. When $\equiv$ is the descent congruence on $S_n$ , the operator ${\bf S}_\equiv$ is the pop-stack-sorting map. We establish several general results about Coxeter stack-sorting operators, especially those acting on symmetric groups. For example, we prove that if $\equiv$ is an essential lattice congruence on $S_n$ , then every permutation in the image of ${\bf S}_\equiv$ has at most $\left\lfloor\frac{2(n-1)}{3}\right\rfloor$ right descents; we also show that this bound is tight. We then introduce analogues of permutree congruences in types $B$ and $\widetilde A$ and use them to isolate Coxeter stack-sorting operators $\mathtt{s}_B$ and $\widetilde{\hspace{.05cm}\mathtt{s}}$ that serve as canonical type- $B$ and type- $\widetilde A$ counterparts of West's stack-sorting map. We prove analogues of many known results about West's stack-sorting map for the new operators $\mathtt{s}_B$ and $\widetilde{\hspace{.05cm}\mathtt{s}}$ . For example, in type $\widetilde A$ , we obtain an analogue of Zeilberger's classical formula for the number of $2$ -stack-sortable permutations in $S_n$ .

preprint2022arXiv

Troupes, Cumulants, and Stack-Sorting

Several sequences of free cumulants that count binary plane trees correspond to sequences of classical cumulants that count the decreasing versions of the same trees. Using two new operations on colored binary plane trees that we call insertion and decomposition, we prove that this surprising phenomenon holds for families of trees that we call troupes. We give a simple characterization of troupes, which provide a broad framework for generalizing several of the results known about West's stack-sorting map $s$ . Indeed, we give new proofs of some of the main techniques that have been developed for understanding $s$ ; these new proofs are far more conceptual than the original ones, explain how the objects called valid hook configurations arise naturally, and generalize to troupes. For $t\in\{2,3\}$ , we enumerate $t$ -stack-sortable alternating permutations of odd length and $t$ -stack-sortable permutations whose descents are all peaks. The unexpected connection between troupes and cumulants provides a powerful new tool for analyzing the stack-sorting map that hinges on free probability theory. We give numerous applications of this method. For example, we show that if $σ\in S_{n-1}$ is chosen uniformly at random, then the expected value of $\text{des}(s(σ))+1$ is $\left(3-\sum_{j=0}^n\frac{1}{j!}\right)n.$ Furthermore, the variance of $\text{des}(s(σ))+1$ is asymptotically $(2+2e-e^2)n$ . We obtain similar results concerning the expected number of descents of postorder readings of decreasing colored binary plane trees. We also obtain improved estimates for $|s(S_n)|$ and an improved lower bound for the degree of noninvertibility of $s$ . We give two novel formulas that convert from free to classical cumulants. The first is given by a sum over noncrossing partitions, and the second is given by a sum over $231$ -avoiding valid hook configurations. We pose several open problems.

preprint2021arXiv

Meeting Covered Elements in $ν$ -Tamari Lattices

For each complete meet-semilattice $M$ , we define an operator $\mathsf{Pop}_M:M\to M$ by $\mathsf{Pop}_M(x)=\bigwedge(\{y\in M:y\lessdot x\}\cup\{x\}).$ When $M$ is the right weak order on a symmetric group, $\mathsf{Pop}_M$ is the pop-stack-sorting map. We prove some general properties of these operators, including a theorem that describes how they interact with certain lattice congruences. We then specialize our attention to the dynamics of $\mathsf{Pop}_{\text{Tam}(ν)}$ , where $\text{Tam}(ν)$ is the $ν$ -Tamari lattice. We determine the maximum size of a forward orbit of $\mathsf{Pop}_{\text{Tam}(ν)}$ . When $\text{Tam}(ν)$ is the $n^\text{th}$ $m$ -Tamari lattice, this maximum forward orbit size is $m+n-1$ ; in this case, we prove that the number of forward orbits of size $m+n-1$ is $\frac{1}{n-1}\binom{(m+1)(n-2)+m-1}{n-2}.$ Motivated by the recent investigation of the pop-stack-sorting map, we define a lattice path $μ\in\text{Tam}(ν)$ to be $t$ - $\mathsf{Pop}$ -sortable if $\mathsf{Pop}_{\text{Tam}(ν)}^t(μ)=ν$ . We enumerate $1$ - $\mathsf{Pop}$ -sortable lattice paths in $\text{Tam}(ν)$ for arbitrary $ν$ . We also give a recursive method to generate $2$ - $\mathsf{Pop}$ -sortable lattice paths in $\text{Tam}(ν)$ for arbitrary $ν$ ; this allows us to enumerate $2$ - $\mathsf{Pop}$ -sortable lattice paths in a large variety of $ν$ -Tamari lattices that includes the $m$ -Tamari lattices.

preprint2020arXiv

Catalan Intervals and Uniquely Sorted Permutations

For each positive integer $k$ , we consider five well-studied posets defined on the set of Dyck paths of semilength $k$ . We prove that uniquely sorted permutations avoiding various patterns are equinumerous with intervals in these posets. While most of our proofs are bijective, some use generating trees and generating functions. We end with several conjectures.

preprint2020arXiv

Counting 3-Stack-Sortable Permutations

We prove a "decomposition lemma" that allows us to count preimages of certain sets of permutations under West's stack-sorting map $s$ . As a first application, we give a new proof of Zeilberger's formula for the number of 2-stack-sortable permutations in $S_n$ . Our proof generalizes, allowing us to find an algebraic equation satisfied by the generating function that counts 2-stack-sortable permutations according to length, number of descents, and number of peaks. The same method yields a recurrence relation for $W_3(n)$ , the number of 3-stack-sortable permutations in $S_n$ . We compute $W_3(n)$ for $n\le 174$ , extending the 13 terms of this sequence that were known before. We also prove the first nontrivial lower bound for $\lim\limits_{n\to\infty}W_3(n)^{1/n}$ . Invoking a result of Kremer, we also prove that $\lim\limits_{n\to\infty}W_t(n)^{1/n}\geq(\sqrt{t}+1)^2$ for all $t\geq 1$ , which we use to improve a result of Smith. Our computations allow us to disprove a conjecture of Bóna, although we do not yet know for sure which one. We can refine our methods to obtain a recurrence for the number of 3-stack-sortable permutations in $S_n$ with $k$ descents and $p$ peaks. This produces a large amount of evidence supporting a real-rootedness conjecture of Bóna. Using part of the theory of valid hook configurations, we give a new proof of a $γ$ -nonnegativity result of Brändén, which in turn implies an older result of Bóna. We then answer a question of the current author by producing a set $A\subseteq S_{11}$ such that $\sum_{σ\in s^{-1}(A)}x^{\text{des}(σ)}$ has nonreal roots. We interpret this as partial evidence against the same real-rootedness conjecture of Bóna that we found evidence supporting. Examining the parities of the numbers $W_3(n)$ , we obtain strong evidence against yet another conjecture of Bóna. We end with some conjectures of our own.

preprint2020arXiv

Fertility, Strong Fertility, and Postorder Wilf Equivalence

We introduce "fertility Wilf equivalence," "strong fertility Wilf equivalence," and "postorder Wilf equivalence," three variants of Wilf equivalence for permutation classes that formalize some phenomena that have appeared in the study of West's stack-sorting map. We introduce "sliding operators" and show that they induce useful bijections among sets of valid hook configurations. Combining these maps with natural decompositions of valid hook configurations, we give infinitely many examples of fertility, strong fertility, and postorder Wilf equivalences. As a consequence, we obtain infinitely many joint equidistribution results concerning many permutation statistics. In one very special case, we reprove and extensively generalize a result of Bouvel and Guibert. Another case reproves and generalizes a result of the current author. A separate very special case proves and generalizes a conjecture of the current author concerning stack-sorting preimages and the Boolean-Catalan numbers. We end with two open questions.

preprint2020arXiv

Pattern-Avoiding Permutation Powers

Recently, Bóna and Smith defined strong pattern avoidance, saying that a permutation $π$ strongly avoids a pattern $τ$ if $π$ and $π^2$ both avoid $τ$ . They conjectured that for every positive integer $k$ , there is a permutation in $S_{k^3}$ that strongly avoids $123\cdots (k+1)$ . We use the Robinson--Schensted--Knuth correspondence to settle this conjecture, showing that the number of such permutations is at least $k^{k^3/2+O(k^3/\log k)}$ and at most $k^{2k^3+O(k^3/\log k)}$ . We enumerate $231$ -avoiding permutations of order $3$ , and we give two further enumerative results concerning strong pattern avoidance. We also consider permutations whose powers all avoid a pattern $τ$ . Finally, we study subgroups of symmetric groups whose elements all avoid certain patterns. This leads to several new open problems connecting the group structures of symmetric groups with pattern avoidance.

preprint2020arXiv

Promotion Sorting

Schützenberger's promotion operator is an extensively-studied bijection that permutes the linear extensions of a finite poset. We introduce a natural extension $\partial$ of this operator that acts on all labelings of a poset. We prove several properties of $\partial$ ; in particular, we show that for every labeling $L$ of an $n$ -element poset $P$ , the labeling $\partial^{n-1}(L)$ is a linear extension of $P$ . Thus, we can view the dynamical system defined by $\partial$ as a sorting procedure that sorts labelings into linear extensions. For all $0\leq k\leq n-1$ , we characterize the $n$ -element posets $P$ that admit labelings that require at least $n-k-1$ iterations of $\partial$ in order to become linear extensions. The case in which $k=0$ concerns labelings that require the maximum possible number of iterations in order to be sorted; we call these labelings tangled. We explicitly enumerate tangled labelings for a large class of posets that we call inflated rooted forest posets. For an arbitrary finite poset, we show how to enumerate the sortable labelings, which are the labelings $L$ such that $\partial(L)$ is a linear extension.

preprint2020arXiv

Stack-Sorting with Consecutive-Pattern-Avoiding Stacks

We introduce consecutive-pattern-avoiding stack-sorting maps $\text{SC}_σ$ , which are natural generalizations of West's stack-sorting map $s$ and natural analogues of the classical-pattern-avoiding stack-sorting maps $s_σ$ recently introduced by Cerbai, Claesson, and Ferrari. We characterize the patterns $σ$ such that $\text{Sort}(\text{SC}_σ)$ , the set of permutations that are sortable via the map $s\circ\text{SC}_σ$ , is a permutation class, and we enumerate the sets $\text{Sort}(\text{SC}_σ)$ for $σ\in\{123,132,321\}$ . We also study the maps $\text{SC}_σ$ from a dynamical point of view, characterizing the periodic points of $\text{SC}_σ$ for all $σ\in S_3$ and computing $\max_{π\in S_n}|\text{SC}_σ^{-1}(π)|$ for all $σ\in\{132,213,231,312\}$ . In addition, we characterize the periodic points of the classical-pattern-avoiding stack-sorting map $s_{132}$ , and we show that the maximum number of iterations of $s_{132}$ needed to send a permutation in $S_n$ to a periodic point is $n-1$ . The paper ends with numerous open problems and conjectures.

preprint2020arXiv

Stack-Sorting, Set Partitions, and Lassalle's Sequence

We exhibit a bijection between recently-introduced combinatorial objects known as valid hook configurations and certain weighted set partitions. When restricting our attention to set partitions that are matchings, we obtain three new combinatorial interpretations of Lassalle's sequence. One of these interpretations involves permutations that have exactly one preimage under the (West) stack-sorting map. We prove that the sequences obtained by counting these permutations according to their first entries are symmetric, and we conjecture that they are log-concave. We also obtain new recurrence relations involving Lassalle's sequence and the sequence that enumerates valid hook configurations. We end with several suggestions for future work.

preprint2020arXiv

Supertrees

A $k$ -universal permutation, or $k$ -superpermutation, is a permutation that contains all permutations of length $k$ as patterns. The problem of finding the minimum length of a $k$ -superpermutation has recently received significant attention in the field of permutation patterns. One can ask analogous questions for other classes of objects. In this paper, we study $k$ -supertrees. For each $d\geq 2$ , we focus on two types of rooted plane trees called $d$ -ary plane trees and $[d]$ -trees. Motivated by recent developments in the literature, we consider "contiguous" and "noncontiguous" notions of pattern containment for each type of tree. We obtain both upper and lower bounds on the minimum possible size of a $k$ -supertree in three cases; in the fourth, we determine the minimum size exactly. One of our lower bounds makes use of a recent result of Albert, Engen, Pantone, and Vatter on $k$ -universal layered permutations.

preprint2016arXiv

Anti-Power Prefixes of the Thue-Morse Word

Recently, Fici, Restivo, Silva, and Zamboni defined a $k$ -anti-power to be a word of the form $w_1w_2\cdots w_k$ , where $w_1,w_2,\ldots,w_k$ are distinct words of the same length. They defined $AP(x,k)$ to be the set of all positive integers $m$ such that the prefix of length $km$ of the word $x$ is a $k$ -anti-power. Let ${\bf t}$ denote the Thue-Morse word, and let $\mathcal F(k)=AP({\bf t},k)\cap(2\mathbb Z^+-1)$ . For $k\geq 3$ , $γ(k)=\min(\mathcal F(k))$ and $Γ(k)=\max((2\mathbb Z^+-1)\setminus\mathcal F(k))$ are well-defined odd positive integers. Fici et al. speculated that $γ(k)$ grows linearly in $k$ . We prove that this is indeed the case by showing that $1/2\leq\displaystyle{\liminf_{k\to\infty}}(γ(k)/k)\leq 9/10$ and $1\leq\displaystyle{\limsup_{k\to\infty}}(γ(k)/k)\leq 3/2$ . In addition, we prove that $\displaystyle{\liminf_{k\to\infty}}(Γ(k)/k)=3/2$ and $\displaystyle{\limsup_{k\to\infty}}(Γ(k)/k)=3$ .

preprint2015arXiv

A Note about Iterated Arithmetic Functions

Let $f\colon\mathbb{N}\rightarrow\mathbb{N}_0$ be a multiplicative arithmetic function such that for all primes $p$ and positive integers $α$ , $f(p^α)<p^α$ and $f(p)\vert f(p^α)$ . Suppose also that any prime that divides $f(p^α)$ also divides $pf(p)$ . Define $f(0)=0$ , and let $H(n)=\displaystyle{\lim_{m\rightarrow\infty}f^m(n)}$ , where $f^m$ denotes the $m^{th}$ iterate of $f$ . We prove that the function $H$ is completely multiplicative.

preprint2015arXiv

An Anti-Ramsey Problem Concerning Complete Bipartite Graphs

We consider quadruples of positive integers $(a,b,m,n)$ with $a\leq b$ and $m\leq n$ such that any proper edge-coloring of the complete bipartite graph $K_{m,n}$ contains a rainbow $K_{a,b}$ subgraph. We show that any such quadruple with $a\leq m$ and $n>(a^2-a+1)(b-1)$ satisfies this property. We also show that the quadruple $(2,3,3,6)$ satisfies this property. We end with a conjecture.

preprint2015arXiv

An Arithmetic Function Arising from the Dedekind $ψ$ Function

We define $\overlineψ$ to be the multiplicative arithemtic function that satisfies \[\overlineψ(p^α)=\begin{cases} p^{α-1}(p+1), & \mbox{if } p\neq 2; \\ p^{α-1}, & \mbox{if } p=2 \end{cases}\] for all primes $p$ and positive integers $α$ . Let $λ(n)$ be the number of iterations of the function $\overlineψ$ needed for $n$ to reach $2$ . It follows from a theorem due to White that $λ$ is additive. Following Shapiro's work on the iterated $φ$ function, we determine bounds for $λ$ . We also use the function $λ$ to partition the set of positive integers into three sets $S_1,S_2,S_3$ and determine some properties of these sets.

preprint2015arXiv

An Extension of the Abundancy Index to Certain Quadratic Rings

We begin by introducing an extension of the traditional abundancy index to imaginary quadratic rings with unique factorization. After showing that many of the properties of the traditional abundancy index continue to hold in our extended form, we investigate what we call $n$ -powerfully solitary numbers in these rings. This definition serves to extend the concept of solitary numbers, which have been defined and studied in the integers. We end with some open questions and a conjecture.

preprint2015arXiv

Multiperfect Numbers in Certain Quadratic Rings

Using an extension of the abundancy index to imaginary quadratic rings that are unique factorization domains, we investigate what we call $n$ -powerfully $t$ -perfect numbers in these rings. This definition serves to extend the concept of multiperfect numbers that have been defined and studied in the integers. At the end of the paper, as well as at various points throughout the paper, we point to some potential areas for further research.

preprint2015arXiv

On Arithmetic Functions Related to Iterates of the Schemmel Totient Functions

We begin by introducing an interesting class of functions, known as the Schemmel totient functions, that generalizes the Euler totient function. For each Schemmel totient function $L_m$ , we define two new functions, denoted $R_m$ and $H_m$ , that arise from iterating $L_m$ . Roughly speaking, $R_m$ counts the number of iterations of $L_m$ needed to reach either $0$ or $1$ , and $H_m$ takes the value (either $0$ or $1$ ) that the iteration trajectory eventually reaches. Our first major result is a proof that, for any positive integer $m$ , the function $H_m$ is completely multiplicative. We then introduce an iterate summatory function, denoted $D_m$ , and define the terms $D_m$ -deficient, $D_m$ -perfect, and $D_m$ -abundant. We proceed to prove several results related to these definitions, culminating in a proof that, for all positive even integers $m$ , there are infinitely many $D_m$ -abundant numbers. Many open problems arise from the introduction of these functions and terms, and we mention a few of them, as well as some numerical results.

preprint2015arXiv

On Ranges of Variants of the Divisor Functions that are Dense

For a real number $t$ , let $s_t$ be the multiplicative arithmetic function defined by $\displaystyle{s_t(p^α)=\sum_{j=0}^α(-p^t)^j}$ for all primes $p$ and positive integers $α$ . We show that the range of a function $s_{-r}$ is dense in the interval $(0,1]$ whenever $r\in(0,1]$ . We then find a constant $η_A\approx1.9011618$ and show that if $r>1$ , then the range of the function $s_{-r}$ is a dense subset of the interval $\displaystyle{\left(\frac{1}{ζ(r)},1\right]}$ if and only if $r\leq η_A$ . We end with an open problem.

preprint2015arXiv

On the Density of Ranges of Generalized Divisor Functions

The range of the divisor function $σ_{-1}$ is dense in the interval $[1,\infty)$ . However, the range of the function $σ_{-2}$ is not dense in the interval $\displaystyle{\left[1,\frac{π^2}{6}\right)}$ . We begin by generalizing the divisor functions to a class of functions $σ_{t}$ for all real $t$ . We then define a constant $η\approx 1.8877909$ and show that if $r\in(1,\infty)$ , then the range of the function $σ_{-r}$ is dense in the interval $[1,ζ(r))$ if and only if $r\leqη$ . We end with an open problem.

preprint2015arXiv

Upper Bounds for Stern's Diatomic Sequence and Related Sequences

Let $(s_2(n))_{n=0}^\infty$ denote Stern's diatomic sequence. For $n\geq 2$ , we may view $s_2(n)$ as the number of partitions of $n-1$ into powers of $2$ with each part occurring at most twice. More generally, for integers $b,n\geq 2$ , let $s_b(n)$ denote the number of partitions of $n-1$ into powers of $b$ with each part occurring at most $b$ times. Using this combinatorial interpretation of the sequences $s_b(n)$ , we use the transfer-matrix method to develop a means of calculating $s_b(n)$ for certain values of $n$ . This then allows us to derive upper bounds for $s_b(n)$ for certain values of $n$ . In the special case $b=2$ , our bounds improve upon the current upper bounds for the Stern sequence. In addition, we are able to prove that $\displaystyle{\limsup_{n\rightarrow\infty}\frac{s_b(n)}{n^{\log_bϕ}}=\frac{(b^2-1)^{\log_bϕ}}{\sqrt 5}}$ .

preprint2014arXiv

On 2-powerfully Perfect Numbers in Three Quadratic Rings

Using an extension of the abundancy index to imaginary quadratic rings with unique factorization, we define what we call $n$ -powerfully perfect numbers in these rings. This definition serves to extend the concept of perfect numbers that have been defined and studied in the integers. We investigate the properties of $2$ -powerfully perfect numbers in the rings $\mathcal O_{\mathbb{Q}(\sqrt{-1})}$ , $\mathcal O_{\mathbb{Q}(\sqrt{-2})}$ , and $\mathcal O_{\mathbb{Q}(\sqrt{-7})}$ , the three imaginary quadratic rings with unique factorization in which $2$ is not a prime.

preprint2014arXiv

On Schemmel Nontotient Numbers

For each positive integer $r$ , let $S_r$ denote the $r^{th}$ Schemmel totient function, a multiplicative arithmetic function defined by \[S_r(p^α)=\begin{cases} 0, & \mbox{if } p\leq r; \\ p^{α-1}(p-r), & \mbox{if } p>r \end{cases}\] for all primes $p$ and positive integers $α$ . The function $S_1$ is simply Euler's totient function $ϕ$ . We define a Schemmel nontotient number of order $r$ to be a positive integer that is not in the range of the function $S_r$ . In this paper, we modify several proofs due to Zhang in order to illustrate how many of the results currently known about nontotient numbers generalize to results concerning Schemmel nontotient numbers. We also invoke Zsigmondy's Theorem in order to generalize a result due to Mendelsohn.

preprint2014arXiv

On Sparsely Schemmel Totient Numbers

For each positive integer $r$ , let $S_r$ denote the $r^{th}$ Schemmel totient function, a multiplicative arithmetic function defined by \[S_r(p^α)=\begin{cases} 0, & \mbox{if } p\leq r; \\ p^{α-1}(p-r), & \mbox{if } p>r \end{cases}\] for all primes $p$ and positive integers $α$ . The function $S_1$ is simply Euler's totient function $ϕ$ . Masser and Shiu have established several fascinating results concerning sparsely totient numbers, positive integers $n$ satisfying $ϕ(n)<ϕ(m)$ for all integers $m>n$ . We define a sparsely Schemmel totient number of order $r$ to be a positive integer $n$ such that $S_r(n)>0$ and $S_r(n)<S_r(m)$ for all $m>n$ with $S_r(m)>0$ . We then generalize some of the results of Masser and Shiu.

preprint2014arXiv

Unitary Multiperfect Numbers in Certain Quadratic Rings

A unitary divisor $c$ of a positive integer $n$ is a positive divisor of $n$ that is relatively prime to $\displaystyle{\frac{n}{c}}$ . For any integer $k$ , the function $σ_k^*$ is a multiplicative arithmetic function defined so that $σ_k^*(n)$ is the sum of the $k^{th}$ powers of the unitary divisors of $n$ . We provide analogues of the functions $σ_k^*$ in imaginary quadratic rings that are unique factorization domains. We then explore properties of what we call $n$ -powerfully unitarily $t$ -perfect numbers, analogues of the unitary multiperfect numbers that have been defined and studied in the integers. We end with a list of several opportunities for further research.

Colin Defant

Research overview

Is this your work?

28 publications

The Minary Primitive of Computational Autopoiesis

Loops and Regions in Hitomezashi Patterns

Pop-Stack-Sorting for Coxeter Groups

Stack-Sorting for Coxeter Groups

Troupes, Cumulants, and Stack-Sorting

Meeting Covered Elements in $ν$ -Tamari Lattices

Catalan Intervals and Uniquely Sorted Permutations

Counting 3-Stack-Sortable Permutations

Fertility, Strong Fertility, and Postorder Wilf Equivalence

Pattern-Avoiding Permutation Powers

Promotion Sorting

Stack-Sorting with Consecutive-Pattern-Avoiding Stacks

Stack-Sorting, Set Partitions, and Lassalle's Sequence

Supertrees

Anti-Power Prefixes of the Thue-Morse Word

A Note about Iterated Arithmetic Functions

An Anti-Ramsey Problem Concerning Complete Bipartite Graphs

An Arithmetic Function Arising from the Dedekind $ψ$ Function

An Extension of the Abundancy Index to Certain Quadratic Rings

Multiperfect Numbers in Certain Quadratic Rings

On Arithmetic Functions Related to Iterates of the Schemmel Totient Functions

On Ranges of Variants of the Divisor Functions that are Dense

On the Density of Ranges of Generalized Divisor Functions

Upper Bounds for Stern's Diatomic Sequence and Related Sequences

On 2-powerfully Perfect Numbers in Three Quadratic Rings

On Schemmel Nontotient Numbers

On Sparsely Schemmel Totient Numbers

Unitary Multiperfect Numbers in Certain Quadratic Rings

See the researcher in context

Building this map preview

Colin Defant

Research overview

Is this your work?

28 publications

The Minary Primitive of Computational Autopoiesis

Loops and Regions in Hitomezashi Patterns

Pop-Stack-Sorting for Coxeter Groups

Stack-Sorting for Coxeter Groups

Troupes, Cumulants, and Stack-Sorting

Meeting Covered Elements in ννν-Tamari Lattices

Catalan Intervals and Uniquely Sorted Permutations

Counting 3-Stack-Sortable Permutations

Fertility, Strong Fertility, and Postorder Wilf Equivalence

Pattern-Avoiding Permutation Powers

Promotion Sorting

Stack-Sorting with Consecutive-Pattern-Avoiding Stacks

Stack-Sorting, Set Partitions, and Lassalle's Sequence

Supertrees

Anti-Power Prefixes of the Thue-Morse Word

A Note about Iterated Arithmetic Functions

An Anti-Ramsey Problem Concerning Complete Bipartite Graphs

An Arithmetic Function Arising from the Dedekind ψψψ Function

An Extension of the Abundancy Index to Certain Quadratic Rings

Multiperfect Numbers in Certain Quadratic Rings

On Arithmetic Functions Related to Iterates of the Schemmel Totient Functions

On Ranges of Variants of the Divisor Functions that are Dense

On the Density of Ranges of Generalized Divisor Functions

Upper Bounds for Stern's Diatomic Sequence and Related Sequences

On 2-powerfully Perfect Numbers in Three Quadratic Rings

On Schemmel Nontotient Numbers

On Sparsely Schemmel Totient Numbers

Unitary Multiperfect Numbers in Certain Quadratic Rings

See the researcher in context

Building this map preview

Meeting Covered Elements in $ν$ -Tamari Lattices

An Arithmetic Function Arising from the Dedekind $ψ$ Function