-
Weighted Schreier-type Sets and the Fibonacci Sequence
Authors:
Hung Viet Chu,
Zachary Louis Vasseur
Abstract:
For a finite set $A\subset\mathbb{N}$ and $k\in \mathbb{N}$, let $ω_k(A) = \sum_{i\in A, i\neq k}1$. For each $n\in \mathbb{N}$, define $$a_{k, n}\ =\ |\{E\subset \mathbb{N}\,:\, E = \emptyset\mbox{ or } ω_k(E) < \min E\leqslant \max E\leqslant n\}|.$$ First, we prove that $$a_{k,k+\ell} \ =\ 2F_{k+\ell},\mbox{ for all }\ell\geqslant 0\mbox{ and }k\geqslant \ell+2,$$ where $F_n$ is the $n$th Fibon…
▽ More
For a finite set $A\subset\mathbb{N}$ and $k\in \mathbb{N}$, let $ω_k(A) = \sum_{i\in A, i\neq k}1$. For each $n\in \mathbb{N}$, define $$a_{k, n}\ =\ |\{E\subset \mathbb{N}\,:\, E = \emptyset\mbox{ or } ω_k(E) < \min E\leqslant \max E\leqslant n\}|.$$ First, we prove that $$a_{k,k+\ell} \ =\ 2F_{k+\ell},\mbox{ for all }\ell\geqslant 0\mbox{ and }k\geqslant \ell+2,$$ where $F_n$ is the $n$th Fibonacci number. Second, we show that $$|\{E\subset \mathbb{N}\,:\, \max E = n+1, \min E > ω_{2,3}(E), \mbox{ and }|E|\neq 2\}|\ =\ F_{n},$$ where $ω_{2,3}(E) = \sum_{i\in E, i\neq 2, 3}1$.
△ Less
Submitted 22 May, 2024;
originally announced May 2024.
-
Higher Order Tsirelson Spaces and their Modified Versions are Isomorphic
Authors:
Hung Viet Chu,
Thomas Schlumprecht
Abstract:
We prove that for every countable ordinal $ξ$, the Tsirelson's space $T_ξ$ of order $ξ$, is naturally, i.e., via the identity, $3$-isomorphc to its modified version. For the first step, we prove that the Schreier family $\mathcal{S}_ξ$ is the same as its modified version $ \mathcal{S}^M_ξ$, thus answering a question by Argyros and Tolias. As an application, we show that the algebra of linear bound…
▽ More
We prove that for every countable ordinal $ξ$, the Tsirelson's space $T_ξ$ of order $ξ$, is naturally, i.e., via the identity, $3$-isomorphc to its modified version. For the first step, we prove that the Schreier family $\mathcal{S}_ξ$ is the same as its modified version $ \mathcal{S}^M_ξ$, thus answering a question by Argyros and Tolias. As an application, we show that the algebra of linear bounded operators on $T_ξ$ has $2^{\mathfrak c}$ closed ideals.
△ Less
Submitted 29 January, 2024;
originally announced January 2024.
-
First Principles Prediction Unveils High-T$_c$ Superconductivity in YSc$_2$H$_{24}$ Cage Structures
Authors:
Viet-Ha Chu,
Truong-Tho Pham,
Duc-Long Nguyen
Abstract:
The quest for room-temperature superconductivity has been a long-standing aspiration in the field of materials science, driving extensive research efforts. In this work, we present a novel hydride, YSc$_2$H$_{24}$, which is stable at high pressure using a crystal structure prediction approach with a fixed composition based on known structures. The discovered material is crystalline in a hexagonal…
▽ More
The quest for room-temperature superconductivity has been a long-standing aspiration in the field of materials science, driving extensive research efforts. In this work, we present a novel hydride, YSc$_2$H$_{24}$, which is stable at high pressure using a crystal structure prediction approach with a fixed composition based on known structures. The discovered material is crystalline in a hexagonal unit cell with space group P6/mmm and has a fastinating structure consisting of two distinct cages: Sc@H$_{24}$ and Y@H$_{30}$. By conducting an extensive numerical investigation of lattice dynamics, electron-phonon coupling, and solving the isotropic Eliashberg equation, we have revealed a significant value of $λ$ = 2.96 as the underlying factor responsible for the remarkably high critical temperature (T$_c$) of 306-332 K in YSc$_2$H$_{24}$. As pressure increases, the T$_c$ remains above the ambient temperature. Our work has the potential to enhance the existing understanding of high-temperature superconductors, with implications for practical applications. The unique network of these cage-like structures holds great promise for advancing our understanding of high-temperature superconductors, potentially leading to innovative applications.
△ Less
Submitted 14 November, 2023;
originally announced November 2023.
-
On Schreier-type Sets, Partitions, and Compositions
Authors:
Kevin Beanland,
Hung Viet Chu
Abstract:
A nonempty set $A\subset\mathbb{N}$ is $\ell$-strong Schreier if $\min A\geqslant \ell|A|-\ell+1$. We define a set of positive integers to be sparse if either the set has at most two numbers or the differences between consecutive numbers in increasing order are non-decreasing. This note establishes a connection between sparse Schreier-type sets and (restricted) partition numbers. One of our result…
▽ More
A nonempty set $A\subset\mathbb{N}$ is $\ell$-strong Schreier if $\min A\geqslant \ell|A|-\ell+1$. We define a set of positive integers to be sparse if either the set has at most two numbers or the differences between consecutive numbers in increasing order are non-decreasing. This note establishes a connection between sparse Schreier-type sets and (restricted) partition numbers. One of our results states that if $\mathcal{G}_{n,\ell}$ consists of partitions of $n$ that contain no parts in $\{2, \ldots, \ell\}$, and \begin{equation*} \mathcal{A}_{n,\ell} \ :=\ \{A\subset \{1, \ldots, n\}\,:\, n\in A, A\mbox{ is sparse and }\ell\mbox{-strong Schreier}\}, \end{equation*} then $$|\mathcal{A}_{n,\ell}|\ =\ |\mathcal{G}_{n-1,\ell}|, \quad n, \ell\in \mathbb{N}.$$ The special case $\mathcal{G}_{n-1, 1}$ consists of all partitions of $n-1$. Besides partitions, integer compositions are also investigated.
△ Less
Submitted 3 November, 2023;
originally announced November 2023.
-
On sequential greedy-type bases
Authors:
Miguel Berasategui,
Pablo M. Berná,
Hùng V. Chu
Abstract:
It is known that a basis is almost greedy if and only if the thresholding greedy algorithm gives essentially the smallest error term compared to errors from projections onto intervals or in other words, consecutive terms of $\mathbb{N}$. In this paper, we fix a sequence $(a_n)_{n=1}^\infty$ and compare the TGA against projections onto consecutive terms of the sequence and its shifts. We call the c…
▽ More
It is known that a basis is almost greedy if and only if the thresholding greedy algorithm gives essentially the smallest error term compared to errors from projections onto intervals or in other words, consecutive terms of $\mathbb{N}$. In this paper, we fix a sequence $(a_n)_{n=1}^\infty$ and compare the TGA against projections onto consecutive terms of the sequence and its shifts. We call the corresponding greedy-type condition the $\mathcal{F}_{(a_n)}$-almost greedy property. Our first result shows that the $\mathcal{F}_{(a_n)}$-almost greedy property is equivalent to the classical almost greedy property if and only if $(a_n)_{n=1}^\infty$ is bounded. Then we establish an analog of the result for the strong partially greedy property. Finally, we show that under a certain projection rule and conditions on the sequence $(a_n)_{n=1}^\infty$, we obtain a greedy-type condition that lies strictly between the almost greedy and strong partially greedy properties.
△ Less
Submitted 25 October, 2023;
originally announced October 2023.
-
On a Pair of Diophantine Equations
Authors:
Sujith Uthsara Kalansuriya Arachchi,
Hung Viet Chu,
Jiasen Liu,
Qitong Luan,
Rukshan Marasinghe,
Steven J. Miller
Abstract:
For relatively prime natural numbers $a$ and $b$, we study the two equations $ax+by = (a-1)(b-1)/2$ and $ax+by+1= (a-1)(b-1)/2$, which arise from the study of cyclotomic polynomials. Previous work showed that exactly one equation has a nonnegative solution, and the solution is unique. Our first result gives criteria to determine which equation is used for a given pair $(a,b)$. We then use the crit…
▽ More
For relatively prime natural numbers $a$ and $b$, we study the two equations $ax+by = (a-1)(b-1)/2$ and $ax+by+1= (a-1)(b-1)/2$, which arise from the study of cyclotomic polynomials. Previous work showed that exactly one equation has a nonnegative solution, and the solution is unique. Our first result gives criteria to determine which equation is used for a given pair $(a,b)$. We then use the criteria to study the sequence of equations used by the pair $(a_n/\gcd{(a_n, a_{n+1})}, a_{n+1}/\gcd{(a_n, a_{n+1})})$ from several special sequences $(a_n)_{n\geq 1}$. Finally, fixing $k \in \mathbb{N}$, we investigate the periodicity of the sequence of equations used by the pair $(k/\gcd{(k, n)}, n/\gcd{(k, n)})$ as $n$ increases.
△ Less
Submitted 1 September, 2023;
originally announced September 2023.
-
A Threshold for the Best Two-term Underapproximation by Egyptian Fractions
Authors:
Hung Viet Chu
Abstract:
Let $\mathcal{G}$ be the greedy algorithm that, for each $θ\in (0,1]$, produces an infinite sequence of positive integers $(a_n)_{n=1}^\infty$ satisfying $\sum_{n=1}^\infty 1/a_n = θ$. For natural numbers $p < q$, let $Υ(p,q)$ denote the smallest positive integer $j$ such that $p$ divides $q+j$. Continuing Nathanson's study of two-term underapproximations, we show that whenever…
▽ More
Let $\mathcal{G}$ be the greedy algorithm that, for each $θ\in (0,1]$, produces an infinite sequence of positive integers $(a_n)_{n=1}^\infty$ satisfying $\sum_{n=1}^\infty 1/a_n = θ$. For natural numbers $p < q$, let $Υ(p,q)$ denote the smallest positive integer $j$ such that $p$ divides $q+j$. Continuing Nathanson's study of two-term underapproximations, we show that whenever $Υ(p,q) \leqslant 3$, $\mathcal{G}$ gives the (unique) best two-term underapproximation of $p/q$; i.e., if $1/x_1 + 1/x_2 < p/q$ for some $x_1, x_2\in \mathbb{N}$, then $1/x_1 + 1/x_2 \leqslant 1/a_1+1/a_2$. However, the same conclusion fails for every $Υ(p,q)\geqslant 4$.
Next, we study stepwise underapproximation by $\mathcal{G}$. Let $e_{m} = θ- \sum_{n=1}^{m}1/a_n$ be the $m$th error term. We compare $1/a_m$ to a superior underapproximation of $e_{m-1}$, denoted by $N/b_m$ ($N \in\mathbb{N}_{\geqslant 2}$), and characterize when $1/a_m = N/b_m$. One characterization is $a_{m+1} \geqslant N a_m^2 - a_m + 1$. Hence, for rational $θ$, we only have $1/a_m = N/b_m$ for finitely many $m$. However, there are irrational numbers such that $1/a_m = N/b_m$ for all $m$. Along the way, various auxiliary results are encountered.
△ Less
Submitted 20 January, 2024; v1 submitted 18 June, 2023;
originally announced June 2023.
-
Counterexamples in isometric theory of symmetric and greedy bases
Authors:
Fernando Albiac,
Jose L. Ansorena,
Oscar Blasco,
Hung Viet Chu,
Timur Oikhberg
Abstract:
We continue the study initiated in [F. Albiac and P. Wojtaszczyk, Characterization of $1$-greedy bases, J. Approx. Theory 138 (2006), no. 1, 65-86] of properties related to greedy bases in the case when the constants involved are sharp, i.e., in the case when they are equal to $1$. Our main goal here is to provide an example of a Banach space with a basis that satisfies Property (A) but fails to b…
▽ More
We continue the study initiated in [F. Albiac and P. Wojtaszczyk, Characterization of $1$-greedy bases, J. Approx. Theory 138 (2006), no. 1, 65-86] of properties related to greedy bases in the case when the constants involved are sharp, i.e., in the case when they are equal to $1$. Our main goal here is to provide an example of a Banach space with a basis that satisfies Property (A) but fails to be $1$-suppression unconditional, thus settling Problem 4.4 from [F. Albiac and J.L. Ansorena, Characterization of $1$-almost greedy bases, Rev. Mat. Complut. 30 (2017), no. 1, 13-24]. In particular, our construction demonstrates that bases with Property (A) need not be $1$-greedy even with the additional assumption that they are unconditional and symmetric. We also exhibit a finite-dimensional counterpart of this example and show that, at least in the finite-dimensional setting, Property (A) does not pass to the dual. As a by-product of our arguments, we prove that a symmetric basis is unconditional if and only if it is total, thus generalizing the well-known result that symmetric Schauder bases are unconditional.
△ Less
Submitted 12 April, 2023;
originally announced April 2023.
-
Schreier Multisets and the $s$-step Fibonacci Sequences
Authors:
Hung Viet Chu,
Nurettin Irmak,
Steven J. Miller,
Laszlo Szalay,
Sindy Xin Zhang
Abstract:
Inspired by the surprising relationship (due to A. Bird) between Schreier sets and the Fibonacci sequence, we introduce Schreier multisets and connect these multisets with the $s$-step Fibonacci sequences, defined, for each $s\geqslant 2$, as: $F^{(s)}_{2-s} = \cdots = F^{(s)}_0 = 0$, $F^{(s)}_1 = 1$, and $F^{(s)}_{n} = F^{(s)}_{n-1} + \cdots + F^{(s)}_{n-s}, \mbox{ for } n\geqslant 2$. Next, we u…
▽ More
Inspired by the surprising relationship (due to A. Bird) between Schreier sets and the Fibonacci sequence, we introduce Schreier multisets and connect these multisets with the $s$-step Fibonacci sequences, defined, for each $s\geqslant 2$, as: $F^{(s)}_{2-s} = \cdots = F^{(s)}_0 = 0$, $F^{(s)}_1 = 1$, and $F^{(s)}_{n} = F^{(s)}_{n-1} + \cdots + F^{(s)}_{n-s}, \mbox{ for } n\geqslant 2$. Next, we use Schreier-type conditions on multisets to retrieve a family of sequences which satisfy a recurrence of the form $a(n) = a(n-1) + a(n-u)$, with $a(n) = 1$ for $n = 1,\ldots, u$. Finally, we study nonlinear Schreier conditions and show that these conditions are related to integer decompositions, each part of which is greater than the number of parts raised to some power.
△ Less
Submitted 21 June, 2023; v1 submitted 11 April, 2023;
originally announced April 2023.
-
On consecutive greedy and other greedy-like type of bases
Authors:
Miguel Berasategui,
Pablo M. Berná,
Hung Viet Chu
Abstract:
We continue our study of the Thresholding Greedy Algorithm when we restrict the vectors involved in our approximations so that they either are supported on intervals of $\mathbb N$ or have constant coefficients. We introduce and characterize what we call consecutive greedy bases and provide new characterizations of almost greedy and squeeze symmetric Schauder bases. Moreover, we investigate some c…
▽ More
We continue our study of the Thresholding Greedy Algorithm when we restrict the vectors involved in our approximations so that they either are supported on intervals of $\mathbb N$ or have constant coefficients. We introduce and characterize what we call consecutive greedy bases and provide new characterizations of almost greedy and squeeze symmetric Schauder bases. Moreover, we investigate some cases involving greedy-like properties with constant 1 and study the related notion of Property (A,$τ$).
△ Less
Submitted 11 February, 2023;
originally announced February 2023.
-
Approximation by Egyptian Fractions and the Weak Greedy Algorithm
Authors:
Hung Viet Chu
Abstract:
Let $0 < θ\leqslant 1$. A sequence of positive integers $(b_n)_{n=1}^\infty$ is called a weak greedy approximation of $θ$ if $\sum_{n=1}^{\infty}1/b_n = θ$. We introduce the weak greedy approximation algorithm (WGAA), which, for each $θ$, produces two sequences of positive integers $(a_n)$ and $(b_n)$ such that
a) $\sum_{n=1}^\infty 1/b_n = θ$;
b)…
▽ More
Let $0 < θ\leqslant 1$. A sequence of positive integers $(b_n)_{n=1}^\infty$ is called a weak greedy approximation of $θ$ if $\sum_{n=1}^{\infty}1/b_n = θ$. We introduce the weak greedy approximation algorithm (WGAA), which, for each $θ$, produces two sequences of positive integers $(a_n)$ and $(b_n)$ such that
a) $\sum_{n=1}^\infty 1/b_n = θ$;
b) $1/a_{n+1} < θ- \sum_{i=1}^{n}1/b_i < 1/(a_{n+1}-1)$ for all $n\geqslant 1$;
c) there exists $t\geqslant 1$ such that $b_n/a_n \leqslant t$ infinitely often.
We then investigate when a given weak greedy approximation $(b_n)$ can be produced by the WGAA. Furthermore, we show that for any non-decreasing $(a_n)$ with $a_1\geqslant 2$ and $a_n\rightarrow\infty$, there exist $θ$ and $(b_n)$ such that a) and b) are satisfied; whether c) is also satisfied depends on the sequence $(a_n)$. Finally, we address the uniqueness of $θ$ and $(b_n)$ and apply our framework to specific sequences.
△ Less
Submitted 30 May, 2023; v1 submitted 1 February, 2023;
originally announced February 2023.
-
Schreier families and $\mathcal{F}$-(almost) greedy bases
Authors:
Kevin Beanland,
Hung Viet Chu
Abstract:
Let $\mathcal{F}$ be a hereditary collection of finite subsets of $\mathbb{N}$. In this paper, we introduce and characterize $\mathcal{F}$-(almost) greedy bases. Given such a family $\mathcal{F}$, a basis $(e_n)_n$ for a Banach space $X$ is called $\mathcal{F}$-greedy if there is a constant $C\geqslant 1$ such that for each $x\in X$, $m \in \mathbb{N}$, and $G_m(x)$, we have…
▽ More
Let $\mathcal{F}$ be a hereditary collection of finite subsets of $\mathbb{N}$. In this paper, we introduce and characterize $\mathcal{F}$-(almost) greedy bases. Given such a family $\mathcal{F}$, a basis $(e_n)_n$ for a Banach space $X$ is called $\mathcal{F}$-greedy if there is a constant $C\geqslant 1$ such that for each $x\in X$, $m \in \mathbb{N}$, and $G_m(x)$, we have $$\|x - G_m(x)\|\ \leqslant\ C \inf\left\{\left\|x-\sum_{n\in A}a_ne_n\right\|\,:\, |A|\leqslant m, A\in \mathcal{F}, (a_n)\subset \mathbb{K}\right\}.$$ Here $G_m(x)$ is a greedy sum of $x$ of order $m$, and $\mathbb{K}$ is the scalar field. From the definition, any $\mathcal{F}$-greedy basis is quasi-greedy and so, the notion of being $\mathcal{F}$-greedy lies between being greedy and being quasi-greedy. We characterize $\mathcal{F}$-greedy bases as being $\mathcal{F}$-unconditional, $\mathcal{F}$-disjoint democratic, and quasi-greedy, thus generalizing the well-known characterization of greedy bases by Konyagin and Temlyakov. We also prove a similar characterization for $\mathcal{F}$-almost greedy bases.
Furthermore, we provide several examples of bases that are nontrivially $\mathcal{F}$-greedy. For a countable ordinal $α$, we consider the case $\mathcal{F}=\mathcal{S}_α$, where $\mathcal{S}_α$ is the Schreier family of order $α$. We show that for each $α$, there is a basis that is $\mathcal{S}_α$-greedy but is not $\mathcal{S}_{α+1}$-greedy. In other words, we prove that none of the following implications can be reversed: for two countable ordinals $α< β$, $$\mbox{quasi-greedy}\ \Longleftarrow\ \mathcal{S}_α\mbox{-greedy}\ \Longleftarrow\ \mathcal{S}_β\mbox{-greedy}\ \Longleftarrow\ \mbox{greedy}.$$
△ Less
Submitted 21 December, 2022; v1 submitted 2 November, 2022;
originally announced November 2022.
-
Linear recurrences of order at most two in nontrivial small divisors and large divisors
Authors:
Hung Viet Chu,
Kevin Huu Le,
Steven J. Miller,
Yuan Qiu,
Liyang Shen
Abstract:
For each positive integer $N$, define $$S'_N \ =\ \{1 < d < \sqrt{N}: d|N\}\mbox{ and }L'_N \ =\ \{\sqrt{N} < d < N : d|N\}.$$ Recently, Chentouf characterized all positive integers $N$ such that the set of small divisors $\{d\le \sqrt{N}: d|N\}$ satisfies a linear recurrence of order at most two. We nontrivially extend the result by excluding the trivial divisor $1$ from consideration, which dram…
▽ More
For each positive integer $N$, define $$S'_N \ =\ \{1 < d < \sqrt{N}: d|N\}\mbox{ and }L'_N \ =\ \{\sqrt{N} < d < N : d|N\}.$$ Recently, Chentouf characterized all positive integers $N$ such that the set of small divisors $\{d\le \sqrt{N}: d|N\}$ satisfies a linear recurrence of order at most two. We nontrivially extend the result by excluding the trivial divisor $1$ from consideration, which dramatically increases the analysis complexity. Our first result characterizes all positive integers $N$ such that $S'_N$ satisfies a linear recurrence of order at most two. Moreover, our second result characterizes all positive $N$ such that $L'_N$ satisfies a linear recurrence of order at most two, thus extending considerably a recent result that characterizes $N$ with $L'_N$ being in an arithmetic progression.
△ Less
Submitted 1 October, 2022;
originally announced October 2022.
-
The Thresholding Greedy Algorithm versus Approximations with Sizes Bounded by Certain Functions $f$
Authors:
Hung Viet Chu
Abstract:
Let $X$ be a Banach space and $(e_n)_{n=1}^\infty$ be a basis. For a function $f$ in a large collection $\mathcal{F}$ (closed under composition), we define and characterize $f$-greedy and $f$-almost greedy bases. We study relations among these bases as $f$ varies and show that while a basis is not almost greedy, it can be $f$-greedy for some $f\in \mathcal{F}$. Furthermore, we prove that for all n…
▽ More
Let $X$ be a Banach space and $(e_n)_{n=1}^\infty$ be a basis. For a function $f$ in a large collection $\mathcal{F}$ (closed under composition), we define and characterize $f$-greedy and $f$-almost greedy bases. We study relations among these bases as $f$ varies and show that while a basis is not almost greedy, it can be $f$-greedy for some $f\in \mathcal{F}$. Furthermore, we prove that for all non-identity function $f\in \mathcal{F}$, we have the surprising equivalence $$f\mbox{-greedy}\ \Longleftrightarrow \ f\mbox{-almost greedy}.$$ We give various examples of Banach spaces to illustrate our results.
△ Less
Submitted 13 May, 2023; v1 submitted 20 September, 2022;
originally announced September 2022.
-
Larger Greedy Sums for Reverse Partially Greedy Bases
Authors:
Hung Viet Chu
Abstract:
An interesting result due to Dilworth et al. was that if we enlarge greedy sums by a constant factor $λ> 1$ in the condition defining the greedy property, then we obtain an equivalence of the almost greedy property, a strictly weaker property. Previously, the author of the present paper showed that enlarging greedy sums by $λ$ in the condition defining the partially greedy (PG) property also stric…
▽ More
An interesting result due to Dilworth et al. was that if we enlarge greedy sums by a constant factor $λ> 1$ in the condition defining the greedy property, then we obtain an equivalence of the almost greedy property, a strictly weaker property. Previously, the author of the present paper showed that enlarging greedy sums by $λ$ in the condition defining the partially greedy (PG) property also strictly weakens the property. However, enlarging greedy sums in the definition of reverse partially greedy (RPG) bases by Dilworth and Khurana again gives RPG bases. The companion of PG and RPG bases suggests the existence of a characterization of RPG bases which, when greedy sums are enlarged, gives an analog of a result that holds for partially greedy bases. In this paper, we show that such a characterization indeed exists, answering positively a question previously posed by the author.
△ Less
Submitted 30 August, 2023; v1 submitted 28 August, 2022;
originally announced August 2022.
-
Strong Partially Greedy Bases with respect to An Arbitrary Sequence
Authors:
Hung Viet Chu
Abstract:
For Schauder bases, Dilworth et al. introduced and characterized the partially greedy property, which is strictly weaker than the (almost) greedy property. Later, Berasategui et al. defined and studied the strong partially greedy property for general bases. Let $\mathbf n$ be any strictly increasing sequence of positive integers. In this paper, we define the strong partially greedy property with r…
▽ More
For Schauder bases, Dilworth et al. introduced and characterized the partially greedy property, which is strictly weaker than the (almost) greedy property. Later, Berasategui et al. defined and studied the strong partially greedy property for general bases. Let $\mathbf n$ be any strictly increasing sequence of positive integers. In this paper, we define the strong partially greedy property with respect to $\mathbf n$, called the ($\mathbf n$, strong partially greedy) property. We give characterizations of this new property, study relations among ($\mathbf n$, strong partially greedy) properties for different sequences $\mathbf n$, establish Lebesgue-type inequalities for the ($\mathbf n$, strong partially greedy) parameter, investigate ($\mathbf n$, strong partially greedy) bases with gaps, and weighted ($\mathbf n$, strong partially greedy) bases, to name a few. Furthermore, we introduce the ($\mathbf n$, almost greedy) property and equate the property to a strengthening of the ($\mathbf n$, strong partially greedy) property. This paper can be viewed both as a survey of recent results regarding strong partially greedy bases and as an extension of these results to an arbitrary sequence instead of $\mathbb{N}$.
△ Less
Submitted 10 May, 2024; v1 submitted 10 August, 2022;
originally announced August 2022.
-
CaminAR: Supporting Walk-and-talk Experiences for Remote Dyads using Augmented Reality on Smart Glasses
Authors:
Victor Chu,
Andrés Monroy-Hernández
Abstract:
In this paper, we propose CaminAR, an augmented reality (AR) system for remote social walking among dyads. CaminAR enables two people who are physically away from one another to synchronously see and hear each other while going on a walk. The system shows a partner's avatar superimposed onto the physical world using smart glasses while walking and talking. Using a combination of visual and auditor…
▽ More
In this paper, we propose CaminAR, an augmented reality (AR) system for remote social walking among dyads. CaminAR enables two people who are physically away from one another to synchronously see and hear each other while going on a walk. The system shows a partner's avatar superimposed onto the physical world using smart glasses while walking and talking. Using a combination of visual and auditory augments, CaminAR simulates the experience of co-located walking when dyads are apart.
△ Less
Submitted 28 July, 2022;
originally announced July 2022.
-
Extensions and new characterizations of some greedy-type bases
Authors:
Miguel Berasategui,
Pablo M. Berná,
Hung Viet Chu
Abstract:
Partially greedy bases in Banach spaces were introduced by Dilworth et al. as a strictly weaker notion than the (almost) greedy bases. In this paper, we study two natural ways to strengthen the definition of partial greediness. The first way produces what we call the consecutive almost greedy property, which turns out to be equivalent to the almost greedy property. Meanwhile, the second way reprod…
▽ More
Partially greedy bases in Banach spaces were introduced by Dilworth et al. as a strictly weaker notion than the (almost) greedy bases. In this paper, we study two natural ways to strengthen the definition of partial greediness. The first way produces what we call the consecutive almost greedy property, which turns out to be equivalent to the almost greedy property. Meanwhile, the second way reproduces the PG property for Schauder bases but a strictly stronger property for general bases.
△ Less
Submitted 5 February, 2023; v1 submitted 20 July, 2022;
originally announced July 2022.
-
On Approximation Spaces and Greedy-type Bases
Authors:
Pablo M. Berná,
Hung Viet Chu,
Eugenio Hernández
Abstract:
The purpose of this paper is to introduce $ω$-Chebyshev-greedy and $ω$-partially greedy approximation classes and to study their relation with $ω$-approximation spaces, where the latter are a generalization of the classical approximation spaces. The relation gives us sufficient conditions of when certain continuous embeddings imply different greedy-type properties. Along the way, we generalize a r…
▽ More
The purpose of this paper is to introduce $ω$-Chebyshev-greedy and $ω$-partially greedy approximation classes and to study their relation with $ω$-approximation spaces, where the latter are a generalization of the classical approximation spaces. The relation gives us sufficient conditions of when certain continuous embeddings imply different greedy-type properties. Along the way, we generalize a result by P. Wojtaszczyk as well as characterize semi-greedy Schauder bases in quasi-Banach spaces, generalizing a previous result by the first author.
△ Less
Submitted 15 March, 2023; v1 submitted 6 July, 2022;
originally announced July 2022.
-
A Note on the Fibonacci Sequence and Schreier-type Sets
Authors:
Hung Viet Chu
Abstract:
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…
▽ More
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$.
△ Less
Submitted 6 September, 2022; v1 submitted 27 May, 2022;
originally announced May 2022.
-
On a Relation between Schreier-type Sets and a Modification of Turán Graphs
Authors:
Hung Viet Chu
Abstract:
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…
▽ More
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.
△ Less
Submitted 16 May, 2022;
originally announced May 2022.
-
On Weighted Greedy-type Bases
Authors:
Hung Viet Chu
Abstract:
In this paper, we study weights for the Thresholding Greedy Algorithm (TGA). While previous work focused on sequential weights $ς= (s_n)_{n\in\mathbb{N}}$ on each positive integer, we study a more general weight $ω= (w_A)_{A\subset\mathbb{N}}$ on each set $A\subset \mathbb{N}$. We define and characterize $ω$-(almost) greedy bases. Furthermore, we leverage existing results to show that there exists…
▽ More
In this paper, we study weights for the Thresholding Greedy Algorithm (TGA). While previous work focused on sequential weights $ς= (s_n)_{n\in\mathbb{N}}$ on each positive integer, we study a more general weight $ω= (w_A)_{A\subset\mathbb{N}}$ on each set $A\subset \mathbb{N}$. We define and characterize $ω$-(almost) greedy bases. Furthermore, we leverage existing results to show that there exists an $ω$-greedy unconditional basis that is not $ς$-almost greedy for any weight sequence $ς$. Last but not least, we show the equivalence between $ω$-semi-greedy bases and $ω$-almost greedy bases when $ω$ is a so-called structured weight, thus considerably extending the equivalence previously known to hold for sequential weights.
△ Less
Submitted 9 February, 2023; v1 submitted 5 May, 2022;
originally announced May 2022.
-
Variations of Property (A) Constants and Lebesgue-type Inequalities for the Weak Thresholding Greedy Algorithms
Authors:
Hung Viet Chu
Abstract:
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 u…
▽ More
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.
△ Less
Submitted 1 May, 2022;
originally announced May 2022.
-
Performance of the Thresholding Greedy Algorithm with Larger Greedy Sums
Authors:
Hung Viet Chu
Abstract:
The goal of this paper is to study the performance of the Thresholding Greedy Algorithm (TGA) when we increase the size of greedy sums by a constant factor $λ\geqslant 1$. We introduce the so-called $λ$-almost greedy and $λ$-partially greedy bases. The case when $λ= 1$ gives us the classical definitions of almost greedy and (strong) partially greedy bases. We show that a basis is almost greedy if…
▽ More
The goal of this paper is to study the performance of the Thresholding Greedy Algorithm (TGA) when we increase the size of greedy sums by a constant factor $λ\geqslant 1$. We introduce the so-called $λ$-almost greedy and $λ$-partially greedy bases. The case when $λ= 1$ gives us the classical definitions of almost greedy and (strong) partially greedy bases. We show that a basis is almost greedy if and only if it is $λ$-almost greedy for all (some) $λ\geqslant 1$. However, for each $λ> 1$, there exists an unconditional basis that is $λ$-partially greedy but is not $1$-partially greedy. Furthermore, we investigate and give examples when a basis is
1. not almost greedy with constant $1$ but is $λ$-almost greedy with constant $1$ for some $λ> 1$, and
2. not strong partially greedy with constant $1$ but is $λ$-partially greedy with constant $1$ for some $λ> 1$.
Finally, we prove various characterizations of different greedy-type bases.
△ Less
Submitted 10 February, 2023; v1 submitted 30 April, 2022;
originally announced May 2022.
-
On some characterizations of greedy-type bases
Authors:
Pablo M. Berná,
Hung Viet Chu
Abstract:
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.…
▽ More
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.
△ Less
Submitted 29 June, 2022; v1 submitted 28 January, 2022;
originally announced January 2022.
-
Generalized Schreier sets, linear recurrence relation, Turán graphs
Authors:
Kevin Beanland,
Hung Viet Chu,
Carrie E. Finch-Smith
Abstract:
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.
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.
△ Less
Submitted 29 December, 2021;
originally announced December 2021.
-
Additive complements for two given asymptotic densities
Authors:
Hung Viet Chu
Abstract:
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…
▽ More
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.
△ Less
Submitted 2 July, 2022; v1 submitted 14 June, 2021;
originally announced June 2021.
-
Partial Sums of the Fibonacci Sequence
Authors:
Hung Viet Chu
Abstract:
Let $(F_n)_{n\ge 1}$ be the Fibonacci sequence. Define $P(F_n): = (\sum_{i=1}^n F_i)_{n\ge 1}$; that is, the function $P$ gives the sequence of partial sums of $(F_n)$. In this paper, we first give an identity involving $P^k(F_n)$, which is the resulting sequence from applying $P$ to $(F_n)$ $k$ times. Second, we provide a combinatorial interpretation of the numbers in $P^k(F_n)$.
Let $(F_n)_{n\ge 1}$ be the Fibonacci sequence. Define $P(F_n): = (\sum_{i=1}^n F_i)_{n\ge 1}$; that is, the function $P$ gives the sequence of partial sums of $(F_n)$. In this paper, we first give an identity involving $P^k(F_n)$, which is the resulting sequence from applying $P$ to $(F_n)$ $k$ times. Second, we provide a combinatorial interpretation of the numbers in $P^k(F_n)$.
△ Less
Submitted 4 June, 2021;
originally announced June 2021.
-
Difference in the Number of Summands in the Zeckendorf Partitions of Consecutive Integers
Authors:
Hung Viet Chu
Abstract:
Zeckendorf proved that every positive integer has a unique partition as a sum of non-consecutive Fibonacci numbers. We study the difference between the number of summands in the partition of two consecutive integers. In particular, let $L(n)$ be the number of summands in the partition of $n$. We characterize all positive integers such that $L(n) > L(n+1)$, $L(n) < L(n+1)$, and $L(n) = L(n+1)$. Fur…
▽ More
Zeckendorf proved that every positive integer has a unique partition as a sum of non-consecutive Fibonacci numbers. We study the difference between the number of summands in the partition of two consecutive integers. In particular, let $L(n)$ be the number of summands in the partition of $n$. We characterize all positive integers such that $L(n) > L(n+1)$, $L(n) < L(n+1)$, and $L(n) = L(n+1)$. Furthermore, we call $n+1$ a peak of $L$ if $L(n) < L(n+1) > L(n+2)$ and a divot of $L$ if $L(n) > L(n+1) < L(n+2)$. We characterize all such peaks and divots of $L$.
△ Less
Submitted 23 October, 2020;
originally announced October 2020.
-
Visualize Geometric Series
Authors:
Hung Viet Chu
Abstract:
We review some "proofs without words" for the formula for geometric series and find a common theme lurking behind them. We also answer negatively the question raised by Edgar on the existence of other proofs similar to Mabry's and his.
We review some "proofs without words" for the formula for geometric series and find a common theme lurking behind them. We also answer negatively the question raised by Edgar on the existence of other proofs similar to Mabry's and his.
△ Less
Submitted 9 June, 2020;
originally announced June 2020.
-
On Generalized Zeckendorf Decompositions and Generalized Golden Strings
Authors:
Hung Viet Chu
Abstract:
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 a…
▽ More
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.
△ Less
Submitted 29 May, 2020;
originally announced June 2020.
-
Various Sequences from Counting Subsets
Authors:
Hung Viet Chu
Abstract:
We count the number of subsets of $\{1,2,\cdots,n\}$ under different conditions and study the sequence obtained as we let $n$ increase.
We count the number of subsets of $\{1,2,\cdots,n\}$ under different conditions and study the sequence obtained as we let $n$ increase.
△ Less
Submitted 4 June, 2021; v1 submitted 19 May, 2020;
originally announced May 2020.
-
Generalizing the Distribution of Missing Sums in Sumsets
Authors:
Hung V. Chu,
Dylan King,
Noah Luntzlara,
Thomas C. Martinez,
Steven J. Miller,
Lily Shao,
Chenyang Sun,
Victor Xu
Abstract:
Given a finite set of integers $A$, its sumset is $A+A:= \{a_i+a_j \mid a_i,a_j\in A\}$. We examine $|A+A|$ as a random variable, where $A\subset I_n = [0,n-1]$, the set of integers from 0 to $n-1$, so that each element of $I_n$ is in $A$ with a fixed probability $p \in (0,1)$. Recently, Martin and O'Bryant studied the case in which $p=1/2$ and found a closed form for $\mathbb{E}[|A+A|]$. Lazarev,…
▽ More
Given a finite set of integers $A$, its sumset is $A+A:= \{a_i+a_j \mid a_i,a_j\in A\}$. We examine $|A+A|$ as a random variable, where $A\subset I_n = [0,n-1]$, the set of integers from 0 to $n-1$, so that each element of $I_n$ is in $A$ with a fixed probability $p \in (0,1)$. Recently, Martin and O'Bryant studied the case in which $p=1/2$ and found a closed form for $\mathbb{E}[|A+A|]$. Lazarev, Miller, and O'Bryant extended the result to find a numerical estimate for $\text{Var}(|A+A|)$ and bounds on the number of missing sums in $A+A$, $m_{n\,;\,p}(k) := \mathbb{P}(2n-1-|A+A|=k)$. Their primary tool was a graph-theoretic framework which we now generalize to provide a closed form for $\mathbb{E}[|A+A|]$ and $\text{Var}(|A+A|)$ for all $p\in (0,1)$ and establish good bounds for $\mathbb{E}[|A+A|]$ and $m_{n\,;\,p}(k)$.
We continue to investigate $m_{n\,;\,p}(k)$ by studying $m_p(k) = \lim_{n\to\infty}m_{n\,;\,p}(k)$, proven to exist by Zhao. Lazarev, Miller, and O'Bryant proved that, for $p=1/2$, $m_{1/2}(6)>m_{1/2}(7)<m_{1/2}(8)$. This distribution is not unimodal, and is said to have a "divot" at 7. We report results investigating this divot as $p$ varies, and through both theoretical and numerical analysis, prove that for $p\geq 0.68$ there is a divot at $1$; that is, $m_{p}(0)>m_{p}(1)<m_{p}(2)$.
Finally, we extend the graph-theoretic framework originally introduced by Lazarev, Miller, and O'Bryant to correlated sumsets $A+B$ where $B$ is correlated to $A$ by the probabilities $\mathbb{P}(i\in B \mid i\in A) = p_1$ and $\mathbb{P}(i\in B \mid i\not\in A) = p_2$. We provide some preliminary results using the extension of this framework.
△ Less
Submitted 8 August, 2021; v1 submitted 16 May, 2020;
originally announced May 2020.
-
On Zeckendorf Related Partitions Using the Lucas Sequence
Authors:
Hung V. Chu,
David C. Luo,
Steven J. Miller
Abstract:
Zeckendorf proved that every positive integer has a unique partition as a sum of non-consecutive Fibonacci numbers. Similarly, every natural number can be partitioned into a sum of non-consecutive terms of the Lucas sequence, although such partitions need not be unique. In this paper, we prove that a natural number can have at most two distinct non-consecutive partitions in the Lucas sequence, fin…
▽ More
Zeckendorf proved that every positive integer has a unique partition as a sum of non-consecutive Fibonacci numbers. Similarly, every natural number can be partitioned into a sum of non-consecutive terms of the Lucas sequence, although such partitions need not be unique. In this paper, we prove that a natural number can have at most two distinct non-consecutive partitions in the Lucas sequence, find all positive integers with a fixed term in their partition, and calculate the limiting value of the proportion of natural numbers that are not uniquely partitioned into the sum of non-consecutive terms in the Lucas sequence.
△ Less
Submitted 28 August, 2021; v1 submitted 17 April, 2020;
originally announced April 2020.
-
When the Nontrivial, Small Divisors of a Natural Number are in Arithmetic Progression
Authors:
Hung Viet Chu
Abstract:
Iannucci considered the positive divisors of a natural number $n$ that do not exceed $\sqrt{n}$ and found all forms of numbers whose such divisors are in arithmetic progression. In this paper, we generalize Iannucci's result by excluding the trivial divisors $1$ and $\sqrt{n}$ (when $n$ is a square). Surprisingly, the length of our arithmetic progression cannot exceed $5$.
Iannucci considered the positive divisors of a natural number $n$ that do not exceed $\sqrt{n}$ and found all forms of numbers whose such divisors are in arithmetic progression. In this paper, we generalize Iannucci's result by excluding the trivial divisors $1$ and $\sqrt{n}$ (when $n$ is a square). Surprisingly, the length of our arithmetic progression cannot exceed $5$.
△ Less
Submitted 4 June, 2021; v1 submitted 20 January, 2020;
originally announced January 2020.
-
On Even Perfect Numbers II
Authors:
Hung Viet Chu
Abstract:
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…
▽ More
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$.
△ Less
Submitted 17 January, 2020;
originally announced January 2020.
-
A Twist of a Ramanujan Identity
Authors:
Hung Viet Chu,
Lan Khanh Chu
Abstract:
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…
▽ More
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.
△ Less
Submitted 14 January, 2020;
originally announced January 2020.
-
Representation of $\frac{1}{2}(F_n-1)(F_{n+1}-1)$ and $\frac{1}{2}(F_n-1)(F_{n+2}-1)$
Authors:
Hung Viet Chu
Abstract:
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 u…
▽ More
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.
△ Less
Submitted 14 January, 2020;
originally announced January 2020.
-
On Arithmetic Progressions of Powers in Cyclotomic Polynomials
Authors:
Hung Viet Chu
Abstract:
We determine necessary conditions for when powers corresponding to positive/negative coefficients of $Φ_{n}$ are in arithmetic progression. When $n = pq$ for any primes $q>p>2$, our conditions are also sufficient. Finally, we generalize the result when $n = pq$ to the so-called inclusion-exclusion polynomials first introduced by Bachman.
We determine necessary conditions for when powers corresponding to positive/negative coefficients of $Φ_{n}$ are in arithmetic progression. When $n = pq$ for any primes $q>p>2$, our conditions are also sufficient. Finally, we generalize the result when $n = pq$ to the so-called inclusion-exclusion polynomials first introduced by Bachman.
△ Less
Submitted 4 June, 2021; v1 submitted 15 January, 2020;
originally announced January 2020.
-
When the Large Divisors of a Natural Number Are in Arithmetic Progression
Authors:
Hung Viet Chu
Abstract:
Iannucci considered the positive divisors of a natural number $n$ that do not exceed the square root of $n$ and found all numbers whose such divisors are in arithmetic progression. Continuing the work, we define large divisors to be divisors at least $\sqrt{n}$ and find all numbers whose large divisors are in arithmetic progression. The asymptotic formula for the count of these numbers up to a bou…
▽ More
Iannucci considered the positive divisors of a natural number $n$ that do not exceed the square root of $n$ and found all numbers whose such divisors are in arithmetic progression. Continuing the work, we define large divisors to be divisors at least $\sqrt{n}$ and find all numbers whose large divisors are in arithmetic progression. The asymptotic formula for the count of these numbers up to a bound $x$ is observed to be $\frac{x\log\log x}{\log x}$.
△ Less
Submitted 24 December, 2019;
originally announced December 2019.
-
Benchmark for Skill Learning from Demonstration: Impact of User Experience, Task Complexity, and Start Configuration on Performance
Authors:
M. Asif Rana,
Daphne Chen,
S. Reza Ahmadzadeh,
Jacob Williams,
Vivian Chu,
Sonia Chernova
Abstract:
In this work, we contribute a large-scale study benchmarking the performance of multiple motion-based learning from demonstration approaches. Given the number and diversity of existing methods, it is critical that comprehensive empirical studies be performed comparing the relative strengths of these learning techniques. In particular, we evaluate four different approaches based on properties an en…
▽ More
In this work, we contribute a large-scale study benchmarking the performance of multiple motion-based learning from demonstration approaches. Given the number and diversity of existing methods, it is critical that comprehensive empirical studies be performed comparing the relative strengths of these learning techniques. In particular, we evaluate four different approaches based on properties an end user may desire for real-world tasks. To perform this evaluation, we collected data from nine participants, across four different manipulation tasks with varying starting conditions. The resulting demonstrations were used to train 180 task models and evaluated on 720 task reproductions on a physical robot. Our results detail how i) complexity of the task, ii) the expertise of the human demonstrator, and iii) the starting configuration of the robot affect task performance. The collected dataset of demonstrations, robot executions, and evaluations are being made publicly available. Research insights and guidelines are also provided to guide future research and deployment choices about these approaches.
△ Less
Submitted 6 November, 2019;
originally announced November 2019.
-
Higher Order Fibonacci Sequences from Generalized Schreier sets
Authors:
Hung Viet Chu,
Steven J. Miller,
Zimu Xiang
Abstract:
A Schreier set $S$ is a subset of the natural numbers with $\min S\ge |S|$. It has been known that the sequence $(a_{1,n})$, where $$a_{1,n}\ :=\ |\{S\subseteq \mathbb{N}\,:\,\max S = n\mbox{ and } \min S \ge |S|\}|,$$ is the Fibonacci sequence. Generalizing this result, we prove that for all $p\in \mathbb{N}$, the sequence $(a_{p,n})$, where…
▽ More
A Schreier set $S$ is a subset of the natural numbers with $\min S\ge |S|$. It has been known that the sequence $(a_{1,n})$, where $$a_{1,n}\ :=\ |\{S\subseteq \mathbb{N}\,:\,\max S = n\mbox{ and } \min S \ge |S|\}|,$$ is the Fibonacci sequence. Generalizing this result, we prove that for all $p\in \mathbb{N}$, the sequence $(a_{p,n})$, where $$a_{p, n} \ :=\ |\{S\subseteq \mathbb{N}\,:\,\max S = n\mbox{ and } \min S\ge p|S|\}|,$$ has a linear recurrence relation of higher order. We investigate further by requiring that ${\rm min}_2 S\ge q |S|$, where $\min_2 S$ is the second smallest element of $S$. We prove a linear recurrence relation for the sequence $(a_{p, q, n})$, where $$a_{p, q, n} \ :=\ |\{S\subseteq \mathbb{N}\,:\,\max S = n, \min S \ge p|S|\mbox{ and } {\rm min}_2 S\ge q|S|\}|,$$ and discuss a curious relationship between $(a_{q, n})$ and $(a_{p, q, n})$.
△ Less
Submitted 25 November, 2020; v1 submitted 8 September, 2019;
originally announced September 2019.
-
A New Transcendental Number from $N^N$
Authors:
Hung Viet Chu
Abstract:
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.
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.
△ Less
Submitted 7 January, 2020; v1 submitted 11 August, 2019;
originally announced August 2019.
-
Square the Circle in One Minute
Authors:
Hung Viet Chu
Abstract:
Since squaring the circle was proved to be impossible, mathematicians have picked up a new hobby to square the circle 'approximately'. The most famous work is due to Ramanujan who gave a construction correct to $8$ decimal places. In his book Mathographics, Dixon gave constructions correct to $3$ decimal places and stated that his method was quite complicated. In this paper, we improve Dixon's met…
▽ More
Since squaring the circle was proved to be impossible, mathematicians have picked up a new hobby to square the circle 'approximately'. The most famous work is due to Ramanujan who gave a construction correct to $8$ decimal places. In his book Mathographics, Dixon gave constructions correct to $3$ decimal places and stated that his method was quite complicated. In this paper, we improve Dixon's method then give a new construction correct to $9$ decimal places, a new record so far.
△ Less
Submitted 3 August, 2019;
originally announced August 2019.
-
On Sets with More Products than Quotients
Authors:
Hung Viet Chu
Abstract:
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…
▽ More
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.
△ Less
Submitted 14 January, 2020; v1 submitted 31 July, 2019;
originally announced August 2019.
-
The Fibonacci Sequence and Schreier-Zeckendorf Sets
Authors:
Hung Viet Chu
Abstract:
A finite subset of the natural numbers is weak-Schreier if $\min S \ge |S|$, strong-Schreier if $\min S>|S|$, and maximal if $\min S = |S|$. Let $M_n$ be the number of weak-Schreier sets with $n$ being the largest element and $(F_n)_{n\geq -1}$ denote the Fibonacci sequence. A finite set is said to be Zeckendorf if it does not contain two consecutive natural numbers. Let $E_n$ be the number of Zec…
▽ More
A finite subset of the natural numbers is weak-Schreier if $\min S \ge |S|$, strong-Schreier if $\min S>|S|$, and maximal if $\min S = |S|$. Let $M_n$ be the number of weak-Schreier sets with $n$ being the largest element and $(F_n)_{n\geq -1}$ denote the Fibonacci sequence. A finite set is said to be Zeckendorf if it does not contain two consecutive natural numbers. Let $E_n$ be the number of Zeckendorf subsets of $\{1,2,\ldots,n\}$. It is well-known that $E_n = F_{n+2}$. In this paper, we first show four other ways to generate the Fibonacci sequence from counting Schreier sets. For example, let $C_n$ be the number of weak-Schreier subsets of $\{1,2,\ldots,n\}$. Then $C_n = F_{n+2}$. To understand why $C_n = E_n$, we provide a bijective map** to prove the equality directly. Next, we prove linear recurrence relations among the number of Schreier-Zeckendorf sets. Lastly, we discover the Fibonacci sequence by counting the number of subsets of $\{1,2,\ldots, n\}$ such that two consecutive elements in increasing order always differ by an odd number.
△ Less
Submitted 25 November, 2020; v1 submitted 26 June, 2019;
originally announced June 2019.
-
Union of Two Arithmetic Progressions with the Same Common Difference Is Not Sum-dominant
Authors:
Hung Viet Chu
Abstract:
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 pro…
▽ More
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$.
△ Less
Submitted 14 January, 2020; v1 submitted 10 June, 2019;
originally announced June 2019.
-
Sets of Cardinality 6 Are Not Sum-dominant
Authors:
Hung Viet Chu
Abstract:
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 re…
▽ More
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.
△ Less
Submitted 14 January, 2020; v1 submitted 2 June, 2019;
originally announced June 2019.
-
The Schreier Space Does Not Have the Uniform $λ$-property
Authors:
Kevin Beanland,
Hung Viet Chu
Abstract:
The $λ$-property and the uniform $λ$-property were first introduced by R. Aron and R. Lohman in 1987 as geometric properties of Banach spaces. In 1989, Th. Shura and D. Trautman showed that the Schreier space possesses the $λ$-property and asked if it has the uniform $λ$-property. In this paper, we show that Schreier space does not have the uniform $λ$-property. Furthermore, we show that the dual…
▽ More
The $λ$-property and the uniform $λ$-property were first introduced by R. Aron and R. Lohman in 1987 as geometric properties of Banach spaces. In 1989, Th. Shura and D. Trautman showed that the Schreier space possesses the $λ$-property and asked if it has the uniform $λ$-property. In this paper, we show that Schreier space does not have the uniform $λ$-property. Furthermore, we show that the dual of the Schreier space does not have the uniform $λ$-property.
△ Less
Submitted 23 April, 2019;
originally announced April 2019.
-
On a Curious Identity of Ramanujan
Authors:
Hung Viet Chu
Abstract:
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 ar…
▽ More
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.
△ Less
Submitted 5 January, 2020; v1 submitted 18 April, 2019;
originally announced April 2019.