Showing 1–50 of 83 results for author: Chu, H

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.

Comments: 14 pages

MSC Class: 11Y55; 11B37

Competition-common enemy graphs of degree-bounded digraphs

Authors: Myungho Choi, Ho** Chu, Suh-Ryung Kim

Abstract: The competition-common enemy graph (CCE graph) of a digraph $D$ is the graph with the vertex set $V(D)$ and an edge $uv$ if and only if $u$ and $v$ have a common predator and a common prey in $D$. If each vertex of a digraph $D$ has indegree at most $i$ and outdegree at most $j$, then $D$ is called an $\langle i,j \rangle$ digraph. In this paper, we fully characterize the CCE graphs of… ▽ More The competition-common enemy graph (CCE graph) of a digraph $D$ is the graph with the vertex set $V(D)$ and an edge $uv$ if and only if $u$ and $v$ have a common predator and a common prey in $D$. If each vertex of a digraph $D$ has indegree at most $i$ and outdegree at most $j$, then $D$ is called an $\langle i,j \rangle$ digraph. In this paper, we fully characterize the CCE graphs of $\langle 2,2\rangle$ digraphs. Then we investigate the CCE graphs of acyclic $\langle 2,2 \rangle$ digraphs, and prove that any CCE graph of an acyclic $\langle 2,2 \rangle$ digraph with at most seven components is interval, and the bound is sharp. While characterizing acyclic $\langle 2,2 \rangle$ digraphs that have interval graphs as their competition graphs, Hefner~{\it et al}. (1991) initiated the study of competition graphs of degree-bounded digraphs. Recently, Lee~{\em et al}. (2017) and Eoh and Kim (2021) studied phylogeny graphs of degree-bounded digraphs to extend their work. △ Less

Submitted 22 May, 2024; originally announced May 2024.

MSC Class: 05C20; 05C75

Digraphs in which every $t$ vertices share exactly $λ$ out-neighbors and exactly $λ$ in-neighbors

Authors: Ho** Chu, Suh-Ryung Kim

Abstract: In this paper, we introduce the notion of two-way $(t,λ)$-liking digraphs as a way to extend the results for generalized friendship graphs. A two-way $(t,λ)$-liking digraph is a digraph in which every $t$ vertices have exactly $λ$ common out-neighbors and $λ$ common in-neighbors. We first show that if $λ\ge 2$, then a two-way $(2,λ)$-liking digraph of order $n$ is $k$-diregular for a positive… ▽ More In this paper, we introduce the notion of two-way $(t,λ)$-liking digraphs as a way to extend the results for generalized friendship graphs. A two-way $(t,λ)$-liking digraph is a digraph in which every $t$ vertices have exactly $λ$ common out-neighbors and $λ$ common in-neighbors. We first show that if $λ\ge 2$, then a two-way $(2,λ)$-liking digraph of order $n$ is $k$-diregular for a positive integer $k$ satisfying the equation $(n-1)λ=k(k-1)$. This result is comparable to the result by Bose and Shrikhande in 1969 and actually extends it. Another main result is that if $t \ge 3$, then the complete digraph on $t+λ$ vertices is the only two-way $(t,λ)$-liking digraph. This result can stand up to the result by Carstens and Kruse in 1977 and essentially extends it. In addition, we find that two-way $(t, λ)$-liking digraphs are closely linked to symmetric block designs and extend some existing results of $(t, λ)$-liking digraphs. △ Less

Submitted 21 May, 2024; originally announced May 2024.

MSC Class: 05C20; 05C75

Digraphs in which every $t$ vertices have exactly $λ$ common out-neighbors

Authors: Myungho Choi, Ho** Chu, Suh-Ryung Kim

Abstract: We say that a digraph is a $(t,λ)$-liking digraph if every $t$ vertices have exactly $λ$ common out-neighbors. In 1975, Plesník [Graphs with a homogeneity, 1975. {\it Glasnik Mathematicki} 10:9-23] proved that any $(t,1)$-liking digraph is the complete digraph on $t+1$ vertices for each $t\geq 3$. Choi {\it et al}. [A digraph version of the Friendship Theorem, 2023. arXiv preprint arXiv:2305.04058… ▽ More We say that a digraph is a $(t,λ)$-liking digraph if every $t$ vertices have exactly $λ$ common out-neighbors. In 1975, Plesník [Graphs with a homogeneity, 1975. {\it Glasnik Mathematicki} 10:9-23] proved that any $(t,1)$-liking digraph is the complete digraph on $t+1$ vertices for each $t\geq 3$. Choi {\it et al}. [A digraph version of the Friendship Theorem, 2023. arXiv preprint arXiv:2305.04058] (to appear in {\it Discrete mathematics}) showed that a $(2,1)$-liking digraph is a fancy wheel digraph or a $k$-diregular digraph for some positive integer $k$. In this paper, we extend these results by completely characterizing the $(t,λ)$-liking digraphs with $t \geq λ+2$ and giving some equivalent conditions for a $(t,λ)$-liking digraph being a complete digraph on $t+λ$ vertices. △ Less

Submitted 4 May, 2024; originally announced May 2024.

Constructive proofs for some semilinear PDEs on $H^2(e^{|x|^2/4},\mathbb{R}^d)$

Authors: Maxime Breden, Hugo Chu

Abstract: We develop computer-assisted tools to study semilinear equations of the form \begin{equation*} -Δu -\frac{x}{2}\cdot \nabla{u}= f(x,u,\nabla u) ,\quad x\in\mathbb{R}^d. \end{equation*} Such equations appear naturally in several contexts, and in particular when looking for self-similar solutions of parabolic PDEs. We develop a general methodology, allowing us not only to prove the existence of solu… ▽ More We develop computer-assisted tools to study semilinear equations of the form \begin{equation*} -Δu -\frac{x}{2}\cdot \nabla{u}= f(x,u,\nabla u) ,\quad x\in\mathbb{R}^d. \end{equation*} Such equations appear naturally in several contexts, and in particular when looking for self-similar solutions of parabolic PDEs. We develop a general methodology, allowing us not only to prove the existence of solutions, but also to describe them very precisely. We introduce a spectral approach based on an eigenbasis of $\mathcal{L}:= -Δ-\frac{x}{2}\cdot \nabla$ in spherical coordinates, together with a quadrature rule allowing to deal with nonlinearities, in order to get accurate approximate solutions. We then use a Newton-Kantorovich argument, in an appropriate weighted Sobolev space, to prove the existence of a nearby exact solution. We apply our approach to nonlinear heat equations, to nonlinear Schrödinger equations and to a generalised viscous Burgers equation, and obtain both radial and non-radial self-similar profiles. △ Less

Submitted 5 April, 2024; originally announced April 2024.

Wasserstein distributionally robust optimization and its tractable regularization formulations

Authors: Hong T. M. Chu, Meixia Lin, Kim-Chuan Toh

Abstract: We study a variety of Wasserstein distributionally robust optimization (WDRO) problems where the distributions in the ambiguity set are chosen by constraining their Wasserstein discrepancies to the empirical distribution. Using the notion of weak Lipschitz property, we derive lower and upper bounds of the corresponding worst-case loss quantity and propose sufficient conditions under which this qua… ▽ More We study a variety of Wasserstein distributionally robust optimization (WDRO) problems where the distributions in the ambiguity set are chosen by constraining their Wasserstein discrepancies to the empirical distribution. Using the notion of weak Lipschitz property, we derive lower and upper bounds of the corresponding worst-case loss quantity and propose sufficient conditions under which this quantity coincides with its regularization scheme counterpart. Our constructive methodology and elementary analysis also directly characterize the closed-form of the approximate worst-case distribution. Extensive applications show that our theoretical results are applicable to various problems, including regression, classification and risk measure problems. △ Less

Submitted 6 February, 2024; originally announced February 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.

MSC Class: 46B20 (primary); 46B06; 46B25 (secondary)

A Corrected Inexact Proximal Augmented Lagrangian Method with a Relative Error Criterion for a Class of Group-quadratic Regularized Optimal Transport Problems

Authors: Lei Yang, Ling Liang, Hong T. M. Chu, Kim-Chuan Toh

Abstract: The optimal transport (OT) problem and its related problems have attracted significant attention and have been extensively studied in various applications. In this paper, we focus on a class of group-quadratic regularized OT problems which aim to find solutions with specialized structures that are advantageous in practical scenarios. To solve this class of problems, we propose a corrected inexact… ▽ More The optimal transport (OT) problem and its related problems have attracted significant attention and have been extensively studied in various applications. In this paper, we focus on a class of group-quadratic regularized OT problems which aim to find solutions with specialized structures that are advantageous in practical scenarios. To solve this class of problems, we propose a corrected inexact proximal augmented Lagrangian method (ciPALM), with the subproblems being solved by the semi-smooth Newton ({\sc Ssn}) method. We establish that the proposed method exhibits appealing convergence properties under mild conditions. Moreover, our ciPALM distinguishes itself from the recently developed semismooth Newton-based inexact proximal augmented Lagrangian ({\sc Snipal}) method for linear programming. Specifically, {\sc Snipal} uses an absolute error criterion for the approximate minimization of the subproblem for which a summable sequence of tolerance parameters needs to be pre-specified for practical implementations. In contrast, our ciPALM adopts a relative error criterion with a \textit{single} tolerance parameter, which would be more friendly to tune from computational and implementation perspectives. These favorable properties position our ciPALM as a promising candidate for tackling large-scale problems. Various numerical studies validate the effectiveness of employing a relative error criterion for the inexact proximal augmented Lagrangian method, and also demonstrate that our ciPALM is competitive for solving large-scale group-quadratic regularized OT problems. △ Less

Submitted 2 April, 2024; v1 submitted 3 November, 2023; originally announced November 2023.

Comments: 37 pages, 6 figures

MSC Class: 90C05; 90C06; 90C25

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.

Comments: 10 pages

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.

MSC Class: 41A65; 46B15

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.

Comments: 21 pages, 2 figures

MSC Class: 11D04; 11B83

Enriched homotopy-coherent structures

Authors: Hongyi Chu, Rune Haugseng

Abstract: We introduce a general notion of enrichment for homotopy-coherent algebraic structures described by Segal conditions, using the framework of "algebraic patterns" developed in our previous work. This recovers several known examples of enriched structures, including enriched $\infty$-categories, enriched $\infty$-operads, and enriched $\infty$-properads. As new examples we discuss enriched modular… ▽ More We introduce a general notion of enrichment for homotopy-coherent algebraic structures described by Segal conditions, using the framework of "algebraic patterns" developed in our previous work. This recovers several known examples of enriched structures, including enriched $\infty$-categories, enriched $\infty$-operads, and enriched $\infty$-properads. As new examples we discuss enriched modular $\infty$-operads, enriched $n$-fold $\infty$-categories, and a non-iterative definition of enriched $(\infty,n)$-categories. △ Less

Submitted 21 November, 2023; v1 submitted 22 August, 2023; originally announced August 2023.

Comments: 40 pages, v2: expanded discussion of naturality

Competition graphs of degree bounded digraphs

Authors: Ho** Chu, Suh-Ryung Kim

Abstract: If each vertex of an acyclic digraph has indegree at most $i$ and outdegree at most $j$, then it is called an $(i,j)$ digraph, which was introduced by Hefner~{\it et al.}~(1991). Whereas Hefner~{\it et al.} characterized $(i,j)$ digraphs whose competition graphs are interval, characterizing the competition graphs of $(i,j)$ digraphs is not an easy task. In this paper, we introduce the concept of… ▽ More If each vertex of an acyclic digraph has indegree at most $i$ and outdegree at most $j$, then it is called an $(i,j)$ digraph, which was introduced by Hefner~{\it et al.}~(1991). Whereas Hefner~{\it et al.} characterized $(i,j)$ digraphs whose competition graphs are interval, characterizing the competition graphs of $(i,j)$ digraphs is not an easy task. In this paper, we introduce the concept of $\langle i,j \rangle$ digraphs, which relax the acyclicity condition of $(i,j)$ digraphs, and study their competition graphs. By doing so, we obtain quite meaningful results. Firstly, we give a necessary and sufficient condition for a loopless graph being an $\langle i,j \rangle$ competition graph for some positive integers $i$ and $j$. Then we study on an $\langle i,j \rangle$ competition graph being chordal and present a forbidden subdigraph characterization. Finally, we study the family of $\langle i,j \rangle$ competition graphs, denoted by $\mathcal{G}_{\langle i,j \rangle}$, and identify the set containment relation on $\{\mathcal{G}_{\langle i,j \rangle}\colon\, i,j \ge 1\}$. △ Less

Submitted 17 December, 2023; v1 submitted 21 July, 2023; originally announced July 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.

Comments: 26 pages, 2 figures

MSC Class: 11A67; 11B99

A digraph version of the Friendship Theorem

Authors: Myungho Choi, Ho** Chu, Suh-Ryung Kim

Abstract: The Friendship Theorem states that if in a party any pair of persons has precisely one common friend, then there is always a person who is everybody's friend and the theorem has been proved by Paul Erdös, Alfréd Rényi, and Vera T. Sós in 1966. This paper was written in response to the question, ``What would happen if the hypothesis stating that any pair of persons has exactly one common friend wer… ▽ More The Friendship Theorem states that if in a party any pair of persons has precisely one common friend, then there is always a person who is everybody's friend and the theorem has been proved by Paul Erdös, Alfréd Rényi, and Vera T. Sós in 1966. This paper was written in response to the question, ``What would happen if the hypothesis stating that any pair of persons has exactly one common friend were replaced with one stating that any pair of persons warms to exactly one person?". We call a digraph obtained in this way a friendship digraph. It is easy to check that a symmetric friendship digraph becomes a friendship graph if each directed cycle of length two is replaced with an edge. Based on this observation, one can say that a friendship digraph is a generalization of a friendship graph. In this paper, we provide a digraph formulation of the Friendship Theorem by defining friendship digraphs as those in which any two distinct vertices have precisely one common out-neighbor. We also establish a sufficient and necessary condition for the existence of friendship digraphs. △ Less

Submitted 6 May, 2023; originally announced May 2023.

MSC Class: 05C20; 05C75

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.

MSC Class: 41A65 (Primary) 46B15; 46B45 (Secondary)

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.

Comments: 11 pages. To appear in Proceedings of the Integers Conference 2023

MSC Class: 11B39; 11B37; 11Y55

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.

Comments: 14 pages, to appear in Indag. Math. (N.S.)

MSC Class: 11A67; 11B99

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.

MSC Class: 41A65; 46B15

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.

Comments: 21 pages. Major changes: rearranged/rewrote several parts to give better expositions; added various examples at the end to accompany general results

MSC Class: 41A65; 46B15

Planarity of generalized ladder graphs

Authors: Ho** Chu, Suh-Ryung Kim, Homoon Ryu

Abstract: The Cartesian product of P_2 and P_n is called an n-ladder graph for a positive integer n. We call two paths P_m and P_n together with some edges each of which joins a vertex on P_m and a vertex on P_n a generalized (m,n)-ladder graph. In this paper, we completely characterize the planar generalized ladder graphs and the outerplanar generalized ladder graphs. A functigraph C(P_n ,f) is a generaliz… ▽ More The Cartesian product of P_2 and P_n is called an n-ladder graph for a positive integer n. We call two paths P_m and P_n together with some edges each of which joins a vertex on P_m and a vertex on P_n a generalized (m,n)-ladder graph. In this paper, we completely characterize the planar generalized ladder graphs and the outerplanar generalized ladder graphs. A functigraph C(P_n ,f) is a generalized (n,n)-ladder graph. Consequently, our result solves the problem posed by A. Chen et al. (2011) to characterize planar functigraphs C(P_n ,f). △ Less

Submitted 29 August, 2022; originally announced August 2022.

MSC Class: 05C10; 05C62

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.

Comments: 12 pages. To appear in Anal. Math

MSC Class: 41A65; 46B15

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.

Comments: 55 pages. To appear in Rendiconti di Matematica e delle sue Applicazioni

MSC Class: 41A65; 46B15

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.

Comments: 3 pages, 0 figures. To appear in Fibonacci Quarterly

MSC Class: 11B39; 11B37; 11Y55

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.

Comments: 9 pages, 6 figures

MSC Class: 11Y55; 11B37

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.

Comments: 17 pages. Version 3. Changes: Rearrange and cut down proofs

MSC Class: 41A65; 46B15

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.

Comments: 28 pages, 0 figure. Comments are welcome

MSC Class: 41A65; 46B15

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.

Comments: 23 pages. Version 03: edited based on an anonymous referee's suggestions

MSC Class: 41A65; 46B15

The Lyapunov spectrum for conditioned random dynamical systems

Authors: Matheus M. Castro, Dennis Chemnitz, Hugo Chu, Maximilian Engel, Jeroen S. W. Lamb, Martin Rasmussen

Abstract: We establish the existence of a full spectrum of Lyapunov exponents for memoryless random dynamical systems with absorption. To this end, we crucially embed the process conditioned to never being absorbed, the Q-process, into the framework of random dynamical systems, allowing us to study multiplicative ergodic properties. We show that the finite-time Lyapunov exponents converge in conditioned pro… ▽ More We establish the existence of a full spectrum of Lyapunov exponents for memoryless random dynamical systems with absorption. To this end, we crucially embed the process conditioned to never being absorbed, the Q-process, into the framework of random dynamical systems, allowing us to study multiplicative ergodic properties. We show that the finite-time Lyapunov exponents converge in conditioned probability and apply our results to iterated function systems and stochastic differential equations. △ Less

Submitted 8 April, 2022; originally announced April 2022.

Comments: 36 pages, 0 figures

MSC Class: 37H05; 37H15; 47D07; 60J05; 60J25

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.

A two-strain reaction-diffusion malaria model with seasonality and vector-bias

Authors: Huijie Chu, Zhenguo Bai

Abstract: To investigate the combined effects of drug resistance, seasonality and vector-bias, we formulate a periodic two-strain reaction-diffusion model. It is a competitive system for resistant and sensitive strains, but the single-strain subsystem is cooperative. We derive the basic reproduction number $\mathcal {R}_i$ and the invasion reproduction number $\mathcal {\hat{R}}_i$ for strain $i~(i=1,2)$, a… ▽ More To investigate the combined effects of drug resistance, seasonality and vector-bias, we formulate a periodic two-strain reaction-diffusion model. It is a competitive system for resistant and sensitive strains, but the single-strain subsystem is cooperative. We derive the basic reproduction number $\mathcal {R}_i$ and the invasion reproduction number $\mathcal {\hat{R}}_i$ for strain $i~(i=1,2)$, and establish the transmission dynamics in terms of these four quantities. More precisely, (i) if $\mathcal {R}_1<1$ and $\mathcal{R}_2<1$, then the disease is extinct; (ii) if $\mathcal {R}_1>1>\mathcal{R}_2$ ($\mathcal {R}_2>1>\mathcal{R}_1$), then the sensitive (resistant) strains are persistent, while the resistant (sensitive) strains die out; (iii) if $\mathcal {R}_i>1$ and $\mathcal {\hat{R}}_i>1~(i=1,2)$, then two strains are coexistent and periodic oscillation phenomenon is observed. We also study the asymptotic behavior of the basic reproduction number with respect to small and large diffusion coefficients. Numerically, we demonstrate the phenomena of coexistence and competitive exclusion for two strains and explore the influences of seasonality and vector-bias on disease spreading. △ Less

Submitted 14 January, 2022; originally announced January 2022.

Comments: 28 pages, 5 figures

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.

Comments: 5 pages. To appear in the Fibonacci Quarterly

MSC Class: 11B39 (primary); 11B37 (secondary)

On Regularized Square-root Regression Problems: Distributionally Robust Interpretation and Fast Computations

Authors: Hong T. M. Chu, Kim-Chuan Toh, Yang**g Zhang

Abstract: Square-root (loss) regularized models have recently become popular in linear regression due to their nice statistical properties. Moreover, some of these models can be interpreted as the distributionally robust optimization counterparts of the traditional least-squares regularized models. In this paper, we give a unified proof to show that any square-root regularized model whose penalty function b… ▽ More Square-root (loss) regularized models have recently become popular in linear regression due to their nice statistical properties. Moreover, some of these models can be interpreted as the distributionally robust optimization counterparts of the traditional least-squares regularized models. In this paper, we give a unified proof to show that any square-root regularized model whose penalty function being the sum of a simple norm and a seminorm can be interpreted as the distributionally robust optimization (DRO) formulation of the corresponding least-squares problem. In particular, the optimal transport cost in the DRO formulation is given by a certain dual form of the penalty. To solve the resulting square-root regularized model whose loss function and penalty function are both nonsmooth, we design a proximal point dual semismooth Newton algorithm and demonstrate its efficiency when the penalty is the sparse group Lasso penalty or the fused Lasso penalty. Extensive experiments demonstrate that our algorithm is highly efficient for solving the square-root sparse group Lasso problems and the square-root fused Lasso problems. △ Less

Submitted 5 October, 2023; v1 submitted 8 September, 2021; originally announced September 2021.

Comments: 39 pages, 7 figures

Journal ref: Journal of Machine Learning Research, 23 (2022), pp 1-39

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.

Comments: 4 pages. Remove Theorem 1.5 in the previous version

MSC Class: 11B05

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.

Comments: 4 pages

MSC Class: 11B39

Journal ref: Fib. Quart., 59:2 (May 2021), 132-135

An efficient implementable inexact entropic proximal point algorithm for a class of linear programming problems

Authors: Hong T. M. Chu, Ling Liang, Kim-Chuan Toh, Lei Yang

Abstract: We introduce a class of specially structured linear programming (LP) problems, which has favorable modeling capability for important application problems in different areas such as optimal transport, discrete tomography and economics. To solve these generally large-scale LP problems efficiently, we design an implementable inexact entropic proximal point algorithm (iEPPA) combined with an easy-to-i… ▽ More We introduce a class of specially structured linear programming (LP) problems, which has favorable modeling capability for important application problems in different areas such as optimal transport, discrete tomography and economics. To solve these generally large-scale LP problems efficiently, we design an implementable inexact entropic proximal point algorithm (iEPPA) combined with an easy-to-implement dual block coordinate descent method as a subsolver. Unlike existing entropy-type proximal point algorithms, our iEPPA employs a more practically checkable stop** condition for solving the associated subproblems while achieving provable convergence. Moreover, when solving the capacity constrained multi-marginal optimal transport (CMOT) problem (a special case of our LP problem), our iEPPA is able to bypass the underlying numerical instability issues that often appear in the popular entropic regularization approach, since our algorithm does not require the proximal parameter to be very small in order to obtain an accurate approximate solution. Numerous numerical experiments show that our iEPPA is efficient and robust for solving large-scale CMOT problems. The experiments on the discrete tomography problem also highlight the potential modeling power of our model. △ Less

Submitted 23 April, 2022; v1 submitted 29 November, 2020; originally announced November 2020.

Comments: 28 pages, 6 figures

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.

Comments: 6 pages

MSC Class: 11B39

On rectification and enrichment of infinity properads

Authors: Hongyi Chu, Philip Hackney

Abstract: We develop a theory of infinity properads enriched in a general symmetric monoidal infinity category. These are defined as presheaves, satisfying a Segal condition and a Rezk completeness condition, over certain categories of graphs. In particular, we introduce a new category of level graphs which also allow us to give a framework for algebras over an enriched infinity properad. We show that one c… ▽ More We develop a theory of infinity properads enriched in a general symmetric monoidal infinity category. These are defined as presheaves, satisfying a Segal condition and a Rezk completeness condition, over certain categories of graphs. In particular, we introduce a new category of level graphs which also allow us to give a framework for algebras over an enriched infinity properad. We show that one can vary the category of graphs without changing the underlying theory. We also show that infinity properads cannot always be rectified, indicating that a conjecture of the second author and Robertson is unlikely to hold. This stands in stark contrast to the situation for infinity operads, and we further demarcate these situations by examining the cases of infinity dioperads and infinity output properads. In both cases, we provide a rectification theorem that says that each up-to-homotopy object is equivalent to a strict one. △ Less

Submitted 11 August, 2021; v1 submitted 1 July, 2020; originally announced July 2020.

Comments: 96 pages. Minor updates to Definitions 2.2.10 and 2.2.11(1), Remark 2.2.16, and diagram on p. 30. A complete account of all changes in all versions is available at https://github.com/phck/infinity-properads

Free algebras through Day convolution

Authors: Hongyi Chu, Rune Haugseng

Abstract: Building on the foundations in our previous paper, we study Segal conditions that are given by finite products, determined by structures we call cartesian patterns. We set up Day convolution on presheaves in this setting and use it to give conditions under which there is a colimit formula for free algebras and other left adjoints. This specializes to give a simple proof of Lurie's results on opera… ▽ More Building on the foundations in our previous paper, we study Segal conditions that are given by finite products, determined by structures we call cartesian patterns. We set up Day convolution on presheaves in this setting and use it to give conditions under which there is a colimit formula for free algebras and other left adjoints. This specializes to give a simple proof of Lurie's results on operadic left Kan extensions and free algebras for symmetric $\infty$-operads. △ Less

Submitted 24 June, 2021; v1 submitted 15 June, 2020; originally announced June 2020.

Comments: 37 pages, v2: Various minor corrections

Journal ref: Algebr. Geom. Topol. 22 (2022) 3401-3458

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.

Comments: 6 pages, 5 figures

MSC Class: 40A05

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.

Comments: 8 pages

MSC Class: 11B39

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.

Comments: 6 pages. Changes: 1) Include references to the sequences after Table 1; 2) Correct a miscalculation in Table 1 discovered by N. J. A. Sloane; 3) Add a remark at the end to mention the recurrence found by A. Heinz

MSC Class: 11B39

Journal ref: Fib. Quart., 59:2 (May 2021), 150-157

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.

Comments: Version 1.0, 35 pages, 14 figures

MSC Class: 52C10; 52A10

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.

Comments: 8 pages. Edited according to anonymous referees' suggestions. To appear in Quaestiones Mathematicae

MSC Class: 11B25

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.

Comments: 12 pages

MSC Class: 11A25