BZPEER

preprint2022arXiv

A Note on the Fibonacci Sequence and Schreier-type Sets

A set $A$ of positive integers is said to be Schreier if either $A = \emptyset$ or $\min A\ge |A|$ . We give a bijective map to prove the recurrence of the sequence $(|\mathcal{K}_{n, p, q}|)_{n=1}^\infty$ (for fixed $p\ge 1$ and $q\ge 2$ ), where $$\mathcal{K}_{n, p, q} \ = \ \{A\subset \{1, \ldots, n\}\,:\, \mbox{either }A = \emptyset \mbox{ or } (\max A-\max_2 A = p\mbox{ and }\min A\ge |A|\ge q)\}$$ and $\max_2 A$ is the second largest integer in $A$ , given that $|A|\ge 2$ . When $p = 1$ and $q=2$ , we have that $(|\mathcal{K}_{n, 1, 2}|)_{n=1}^\infty$ is the Fibonacci sequence. As a corollary, we obtain a new combinatorial interpretation for the sequence $(F_n + n)_{n=1}^\infty$ .

preprint2022arXiv

Additive complements for two given asymptotic densities

Let $0\le α\le β\le 1$ . For any finite set $B\subset\mathbb{N}$ , we show that there exists a set $A\subset\mathbb{N}$ such that $\underline{d}(A+B) = α$ and $\bar{d}(A+B) = β$ , where $\underline{d}(A+ B)$ and $\bar{d}(A+B)$ are the lower and upper asymptotic densities of the set $A+B$ , respectively. This partially answers a question by Faisant et al. A theorem involving the so-called highly sparse sets was proved in the previous arXiv version of this note; however, as pointed out by Sai Teja Somu, the proof of the theorem was flawed. The theorem is now an open question.

preprint2022arXiv

On a Relation between Schreier-type Sets and a Modification of Turán Graphs

Recently, a relation between Schreier-type sets and Turán graphs was discovered. In this note, we give a combinatorial proof and obtain a generalization of the relation. Specifically, for $p, q\ge 1$ , let $$\mathcal{A}_q := \{F\subset\mathbb{N}: |F| = 1 \mbox{ or }F\mbox{ is an arithmetic progression with difference } q\}$$ and $$Sr(n, p, q)\ :=\ \#\{F\subset \{1, \ldots, n\}\,:\, p\min F\ge |F|\mbox{ and }F\in \mathcal{A}_q\}.$$ We show that $Sr(n, p, q) \ =\ T(n+1, pq+1, q),$ where $T(\cdot, \cdot, \cdot)$ is the number of edges of an $n$ -vertex graph that is a modification of Turán graphs. We also prove that $Sr(n,p,q)$ is the partial sum of certain sequences.

preprint2022arXiv

On some characterizations of greedy-type bases

In 1999, S. V. Konyagin and V. N. Temlyakov introduced the so-called Thresholding Greedy Algorithm. Since then, there have been many interesting and useful characterizations of greedy-type bases in Banach spaces. In this article, we study and extend several characterizations of greedy and almost greedy bases in the literature. Along the way, we give various examples to complement our main results. Furthermore, we propose a new version of the so-called Weak Thresholding Greedy Algorithm (WTGA) and show that the convergence of this new algorithm is equivalent to the convergence of the WTGA.

preprint2022arXiv

Variations of Property (A) Constants and Lebesgue-type Inequalities for the Weak Thresholding Greedy Algorithms

Albiac and Wojtaszczyk introduced property (A) to characterize $1$ -greedy bases. Later, Dilworth et al. generalized the concept to $C$ -property (A), where the case $C = 1$ gives property (A). They (among other results) characterized greedy bases by unconditionality and $C$ -property (A). In this paper, we extend the definition of the so-called A-property constant to (A, $τ$ )-property constants and use the extension to obtain new estimates for various Lebesgue parameters. Furthermore, we study the relation among (A, $τ$ )-property constants and other well-known constants when $τ$ varies.

preprint2021arXiv

Generalized Schreier sets, linear recurrence relation, Turán graphs

We prove a linear recurrence relation for a large family of generalized Schreier sets, which generalizes the Fibonacci recurrence proved by Bird and higher order Fibonacci recurrence proved by the second author et al. Furthermore, we show a relationship between Schreier-type sets and Turán graphs.

preprint2020arXiv

A New Transcendental Number from $N^N$

We first give a summary of the history of transcendental numbers then use a nice technique by G. Dresden to prove a new transcendental number. In particular, while previous work looked at the last non-zero digit of $n^n$ , we consider the digit right before its last non-zero digit and show that the infinite decimal built from these digits is transcendental.

preprint2020arXiv

A Twist of a Ramanujan Identity

Ramanujan wrote the following identity \begin{align*} \sqrt{2 \left(1 - \frac{1}{3^2}\right) \left(1 - \frac{1}{7^2}\right) \left(1 - \frac{1}{11^2}\right) \left(1 - \frac{1}{19^2}\right)} \ = \ \left(1 + \frac{1}{7}\right) \left(1 + \frac{1}{11}\right) \left(1 + \frac{1}{19}\right), \end{align*} on which Berndt asked "Is this an isolated result, or are there other identities of this type?". Rebák provided formulas that generate many similar identities and believed that the curious identity is related to the reciprocal of the Landau-Ramanujan constant. In a previous work, Chu examined necessary and sufficient conditions for the integers in the identity and proved that there are only finitely many such identities. In this note, we twist the identity to have infinitely many Ramanujan-type identities.

preprint2020arXiv

On a Curious Identity of Ramanujan

Ramanujan wrote the following identity \begin{align*} \sqrt{2 \left(1 - \frac{1}{3^2}\right) \left(1 - \frac{1}{7^2}\right) \left(1 - \frac{1}{11^2}\right) \left(1 - \frac{1}{19^2}\right)} \ = \ \left(1 + \frac{1}{7}\right) \left(1 + \frac{1}{11}\right) \left(1 + \frac{1}{19}\right). \end{align*} We find necessary and sufficient conditions for the integers in the identity and prove that there are only finitely many such identities, and provide a method to generate many interesting variations.

preprint2020arXiv

On Even Perfect Numbers II

Let $k>2$ be a prime such that $2^k-1$ is a Mersenne prime. Let $n = 2^{α-1}p$ , where $α>1$ and $p<3\cdot 2^{α-1}-1$ is an odd prime. Continuing the work of Cai et al. and Jiang, we prove that $n\ |\ σ_k(n)$ if and only if $n$ is an even perfect number $\neq 2^{k-1}(2^k-1)$ . Furthermore, if $n = 2^{α-1}p^{β-1}$ for some $β>1$ , then $n\ |\ σ_5(n)$ if and only if $n$ is an even perfect number $\neq 496$ .

preprint2020arXiv

On Generalized Zeckendorf Decompositions and Generalized Golden Strings

Zeckendorf proved that every positive integer has a unique representation as a sum of non-consecutive Fibonacci numbers. A natural generalization of this theorem is to look at the sequence defined as follows: for $n\ge 2$ , let $F_{n,1} = F_{n,2} = \cdots = F_{n,n} = 1$ and $F_{n, m+1} = F_{n, m} + F_{n, m+1-n}$ for all $m\ge n$ . It is known that every positive integer has a unique representation as a sum of $F_{n,m}$ 's where the indexes of summands are at least $n$ apart. We call this the $n$ -decomposition. Griffiths showed an interesting relationship between the Zeckendorf decomposition and the golden string. In this paper, we continue the work to show a relationship between the $n$ -decomposition and the generalized golden string.

preprint2020arXiv

On Sets with More Products than Quotients

Given a finite set $A\subset \mathbb{R}\backslash \{0\}$ , define \begin{align*}&A\cdot A \ =\ \{a_i\cdot a_j\,|\, a_i,a_j\in A\},\\ &A/A \ =\ \{a_i/a_j\,|\,a_i,a_j\in A\},\\ &A + A \ =\ \{a_i + a_j\,|\, a_i,a_j\in A\},\\ &A - A \ =\ \{a_i - a_j\,|\,a_i,a_j\in A\}.\end{align*} The set $A$ is said to be MPTQ (more product than quotient) if $|A\cdot A|>|A/A|$ and MSTD (more sum than difference) if $|A + A|>|A - A|$ . Since multiplication and addition are commutative while division and subtraction are not, it is natural to think that MPTQ and MSTD sets are very rare. However, they do exist. This paper first shows an efficient search for MPTQ subsets of $\{1,2,\ldots,n\}$ and proves that as $n\rightarrow \infty$ , the proportion of MPTQ subsets approaches $0$ . Next, we prove that MPTQ sets of positive numbers must have at least $8$ elements, while MPTQ sets of both negative and positive numbers must have at least $5$ elements. Finally, we investigate several sequences that do not have MPTQ subsets.

preprint2020arXiv

Representation of $\frac{1}{2}(F_n-1)(F_{n+1}-1)$ and $\frac{1}{2}(F_n-1)(F_{n+2}-1)$

Let $a, b\in \mathbb{N}$ be relatively prime. We consider $(a-1)(b-1)/2$ , which arises in the study of the $pq$ -th cyclotomic polynomial, where $p,q$ are distinct primes. We prove two possible representations of $(a-1)(b-1)/2$ as nonnegative, integral linear combinations of $a$ and $b$ . Surprisingly, for each pair $(a,b)$ , only one of the two representations exists and the representation is also unique. We then investigate the representations of $(F_n-1)(F_{n+1}-1)/2$ and $(F_n-1)(F_{n+2}-1)/2$ , where $F_i$ is the $i^{th}$ Fibonacci number, and observe several nice patterns.

preprint2020arXiv

Sets of Cardinality 6 Are Not Sum-dominant

Given a finite set $A\subseteq \mathbb{N}$ , define the sum set $A+A = \{a_i+a_j\mid a_i,a_j\in A\}$ and the difference set $A-A = \{a_i-a_j\mid a_i,a_j\in A\}.$ The set $A$ is said to be sum-dominant if $|A+A|>|A-A|$ . Hegarty used a nontrivial algorithm to find that $8$ is the smallest cardinality of a sum-dominant set. Since then, Nathanson has asked for a human-understandable proof of the result. However, due to the complexity of the interactions among numbers, it is still questionable whether such a proof can be written down in full without computers' help. In this paper, we present a computer-free proof that a sum-dominant set must have at least $7$ elements. We also answer the question raised by the author of the current paper et al about the smallest sum-dominant set of primes, in terms of its largest element. Using computers, we find that the smallest sum-dominant set of primes has $73$ as its maximum, smaller than the value found before.

preprint2020arXiv

Union of Two Arithmetic Progressions with the Same Common Difference Is Not Sum-dominant

Given a finite set $A\subseteq \mathbb{N}$ , define the sum set $A+A = \{a_i+a_j\mid a_i,a_j\in A\}$ and the difference set $A-A = \{a_i-a_j\mid a_i,a_j\in A\}.$ The set $A$ is said to be sum-dominant if $|A+A|>|A-A|$ . We prove the following results. 1) The union of two arithmetic progressions (with the same common difference) is not sum-dominant. This result partially proves a conjecture proposed by the author in a previous paper; that is, the union of any two arbitrary arithmetic progressions is not sum-dominant. 2) Hegarty proved that a sum-dominant set must have at least $8$ elements with computers' help. The author of the current paper provided a human-verifiable proof that a sum-dominant set must have at least $7$ elements. A natural question is about the largest cardinality of sum-dominant subsets of an arithmetic progression. Fix $n\ge 16$ . Let $N$ be the cardinality of the largest sum-dominant subset(s) of $\{0,1,\ldots,n-1\}$ that contain(s) $0$ and $n-1$ . Then $n-7\le N\le n-4$ ; that is, from an arithmetic progression of length $n\ge 16$ , we need to discard at least $4$ and at most $7$ elements (in a clever way) to have the largest sum-dominant set(s). 3) Let $R\in \mathbb{N}$ have the property that for all $r\ge R$ , $\{1,2,\ldots,r\}$ can be partitioned into $3$ sum-dominant subsets, while $\{1,2,\ldots,R-1\}$ cannot. Then $24\le R\le 145$ . This result answers a question by the author et al. in another paper on whether we can find a stricter upper bound for $R$ .

Hung Viet Chu

Research overview

Is this your work?

15 publications

A Note on the Fibonacci Sequence and Schreier-type Sets

Additive complements for two given asymptotic densities

On a Relation between Schreier-type Sets and a Modification of Turán Graphs

On some characterizations of greedy-type bases

Variations of Property (A) Constants and Lebesgue-type Inequalities for the Weak Thresholding Greedy Algorithms

Generalized Schreier sets, linear recurrence relation, Turán graphs

A New Transcendental Number from $N^N$

A Twist of a Ramanujan Identity

On a Curious Identity of Ramanujan

On Even Perfect Numbers II

On Generalized Zeckendorf Decompositions and Generalized Golden Strings

On Sets with More Products than Quotients

Representation of $\frac{1}{2}(F_n-1)(F_{n+1}-1)$ and $\frac{1}{2}(F_n-1)(F_{n+2}-1)$

Sets of Cardinality 6 Are Not Sum-dominant

Union of Two Arithmetic Progressions with the Same Common Difference Is Not Sum-dominant

See the researcher in context

Building this map preview

Hung Viet Chu

Research overview

Is this your work?

15 publications

A Note on the Fibonacci Sequence and Schreier-type Sets

Additive complements for two given asymptotic densities

On a Relation between Schreier-type Sets and a Modification of Turán Graphs

On some characterizations of greedy-type bases

Variations of Property (A) Constants and Lebesgue-type Inequalities for the Weak Thresholding Greedy Algorithms

Generalized Schreier sets, linear recurrence relation, Turán graphs

A New Transcendental Number from NNN^NNN

A Twist of a Ramanujan Identity

On a Curious Identity of Ramanujan

On Even Perfect Numbers II

On Generalized Zeckendorf Decompositions and Generalized Golden Strings

On Sets with More Products than Quotients

Representation of 12(Fn−1)(Fn+1−1)\frac{1}{2}(F_n-1)(F_{n+1}-1)21​(Fn​−1)(Fn+1​−1) and 12(Fn−1)(Fn+2−1)\frac{1}{2}(F_n-1)(F_{n+2}-1)21​(Fn​−1)(Fn+2​−1)

Sets of Cardinality 6 Are Not Sum-dominant

Union of Two Arithmetic Progressions with the Same Common Difference Is Not Sum-dominant

See the researcher in context

Building this map preview

A New Transcendental Number from $N^N$

Representation of $\frac{1}{2}(F_n-1)(F_{n+1}-1)$ and $\frac{1}{2}(F_n-1)(F_{n+2}-1)$