On the Sum of Squares of the Middle-Third Cantor Set

Zhiqiang Wang,Kan Jiang,Wenxia Li,Bing Zhao

DOI: https://doi.org/10.1016/j.jnt.2020.07.011

IF: 0.679

2021-01-01

Journal of Number Theory

Abstract:Let C be the middle-third Cantor set. In this paper, we show that for every x∈[0,4], there exist x1,x2,x3,x4∈C such that x=x12+x22+x32+x42, which was conjectured in Athreya et al. (2019) [1].

What problem does this paper attempt to address?

On the sum of squares of middle-third Cantor set

Zhiqiang Wang,Kan Jiang,Wenxia Li,Bing Zhao

DOI: https://doi.org/10.48550/arxiv.2001.04635

2020-01-01

Abstract:Let $C$ be the middle-third Cantor set. In this paper, we show that for every $x\in [0,4]$, there exist $x_1, x_2, x_3, x_4 \in C$ such that $$x= x_1^2+x_2^2+x_3^2+x_4^2,$$ which answers a question posed by Athreya, Reznick,and Tyson.
ARITHMETIC SUM OF TWO HOMOGENEOUS CANTOR SETS

Jiang Haiyi,Yin Yongcheng

DOI: https://doi.org/10.1007/s11766-003-0015-4

2003-01-01

Abstract:In this note,an example of two homogeneous Cantor sets whose arithmetic sum is a homogeneous Cantor set with a positive Lebesgue measure is given.
Proof of the Branner-Hubbard conjecture on Cantor Julia sets

WeiYuan Qiu,YongCheng Yin

DOI: https://doi.org/10.1007/s11425-008-0178-9

2008-01-01

Abstract:By means of a nested sequence of some critical pieces constructed by Kozlovski, Shen, and van Strien, and by using a covering lemma recently proved by Kahn and Lyubich, we prove that a component of the filled-in Julia set of any polynomial is a point if and only if its forward orbit contains no periodic critical components. It follows immediately that the Julia set of a polynomial is a Cantor set if and only if each critical component of the filled-in Julia set is aperiodic. This result was a conjecture raised by Branner and Hubbard in 1992.
D S ] 2 A ug 2 00 6 Proof of the Branner-Hubbard conjecture on Cantor Julia sets Weiyuan

Qiu,Yongcheng Yin

2008-01-01

Abstract:By means of a nested sequence of some critical pieces constructed by Kozlovski, Shen, and van Strien, and by using a covering lemma recently proved by Kahn and Lyubich, we prove that the Julia set of a polynomial is a Cantor set if and only if each component of the filledin Julia set containing critical points is aperiodic. This result was a conjecture raised by Branner and Hubbard in 1992.
Sums of powers, and products of elements of the middle third Cantor set

Aritro Pathak

2023-07-18

Abstract:The questions of the measure and finding open intervals in certain sets of sums and products of elements of the middle third Cantor set (or a variant of it), have generated considerable interest recently. A broad general framework that makes it possible to deal with these questions was outlined by Astels. The question of finding the measure of the product of the middle third Cantor set was considered recently in an article by Athreya, Reznick and Tyson. Astels' methods apply to product sets upon considering a generalized logarithmic Cantor set, while Athreya, Reznick and Tyson's methods become difficult in dealing with sums or products of $m$'th powers as $m$ becomes large. With a new elementary dynamical technique, we can deal with both the questions of sums and products in a satisfactory way, and the proofs are of the same level of complexity as that of an elementary proof of the fact that the sum of two copies of the middle third Cantor set is $[0,2]$. Further, some observations are made on the question of intersections of one central Cantor set with an affine image of another central Cantor set both with arbitrary parameters.

Metric Geometry,Classical Analysis and ODEs,Dynamical Systems
On the sum of two homogeneous Cantor sets

Mehdi Pourbarat

DOI: https://doi.org/10.3934/dcds.2024145

2024-11-12

Discrete and Continuous Dynamical Systems

Abstract:Suppose that and are two homogeneous Cantor sets. We show that the sum set has equal box and Hausdorff dimensions and in this number named , . With this aim, the pairs have been introduced such that . In the context of middle Cantor sets, conditions are provided for the functions and middle Cantor sets to ensure that contains an interval. Meanwhile, protype examples of middle Cantor sets and are introduced such that and contain an interval, while the product of their thickness is smaller than one.

mathematics, applied
On a Conjecture of Cusick on a sum of Cantor sets

Nikita Shulga

2024-11-26

Abstract:In 1971 Cusick proved that every real number $x\in[0,1]$ can be expressed as a sum of two continued fractions with no partial quotients equal to $1$. In other words, if we define a set $$ S(k):= \{ x\in[0,1] : a_n(x) \geq k \text{ for all } n\in\mathbb{N} \}, $$ then $$ S(2)+S(2) = [0,1]. $$ He also conjectured that this result is unique in the sense that if you exclude partial quotients from $1$ to $k-1$ with $k\geq3$, then the Lebesgue measure $\lambda$ of the set of numbers which can be expressed as a sum of two continued fractions with no partial quotients from $\{1,\ldots,k-1\}$ is equal to $0$, that is $$\lambda\Bigl( S(k)+S(k) \Bigl)= 0 \text{ for }k\geq 3.$$ In this paper, we disprove the conjecture of Cusick by showing that $$ S(k)+S(k) \supseteq \left[0,\frac{1}{k-1}\right]. $$ The proof is constructive and does not rely on ideas from previous works on the topic. We also show the existence of countably many 'gaps' in $S(k)+S(k)$, that is intervals, for which the endpoints lie in $S(k)+S(k)$, while none of the elements in the interior do so. Finally, we prove several results on the sums $$ S(m)+S(n) $$ for $m\neq n$.

Number Theory
On the sum of two affine Cantor sets

Mehdi Pourbarat

2024-11-22

Abstract:Suppose that $K$ and $ K'$ are two affine Cantor sets. It is shown that the sum set $K+K'$ has equal box and Hausdorff dimensions and in this number named $s$, $H^s(K+K')<\infty$. Moreover, for almost every pair $(K,K')$ satisfying $HD(K)+HD(K')\leq 1$, there is a dense subset $D\subset \mathbb R$ such that $H^s(K+\lambda K')=0$, for all $\lambda\in D$. It also is shown that in the context of affine Cantor sets with two increasing maps, there are generically (topological and almost everywhere) five possible structures for their sum: a Cantor set, an L, R, M-Cantorval or a finite union of closed intervals.

Dynamical Systems
A Better Upper Bound of Hausdorff Measure of the Cartesian Product of the Middle Third Cantor Set with Itself Compare to Others'

Yuchen Fan

DOI: https://doi.org/10.48550/arXiv.1909.12998

2019-09-28

Abstract:After the correction of an inaccurate result in the reference, the author uses five different methods, and gets five different inequalities on the Hausdorff measure of the Cartesian product of the middle third Cantor set with itself: $$H^s (C\times C)\leq 1.548563$$ $$H^s (C\times C)\leq 1.504975$$ $$H^s (C\times C)\leq 1.502878$$ $$H^s (C\times C)\leq 1.503263$$ $$H^s (C\times C)\leq 1.502483.$$ The main theory of this paper is the best among them, which is $$H^s (C\times C)\leq 1.502483.$$

Dynamical Systems
Approximating elements of the middle third Cantor set with dyadic rationals

Simon Baker

DOI: https://doi.org/10.1007/s11856-024-2686-x

2024-11-08

Israel Journal of Mathematics

Abstract:Let C be the middle third Cantor set and μ be the -dimensional Hausdorff measure restricted to C . In this paper we study approximations of elements of C by dyadic rationals. Our main result implies that for μ almost every x ∈ C we have

mathematics
On arithmetic sums of Cantor-type sequences of integers

Norbert Hegyvári

2023-07-14

Abstract:We are looking for integer sets that resemble classical Cantor set and investigate the structure of their sum sets. Especially we investigate $FS(B)$ the subset sum of sequence type $B=\{\lfloor p^n\alpha\rfloor\}^\infty_{n=0}$. When $p=2$, then we prove $FS(B)+FS(B)=\N$ by analogy with the Cantor set, and some structure theorem for $p>2$

Combinatorics,Number Theory
Multiplication on uniform $λ$-Cantor sets

Jiangwen Gu,Kan Jiang,Lifeng Xi,Bing Zhao

DOI: https://doi.org/10.48550/arXiv.1910.08303

2019-10-18

Abstract:Let $C$ be the middle-third Cantor set. Define $C*C=\{x*y:x,y\in C\}$, where $*=+,-,\cdot,÷$ (when $*=÷$, we assume $y\neq0$). Steinhaus \cite{HS} proved in 1917 that \[ C-C=[-1,1], C+C=[0,2]. \] In 2019, Athreya, Reznick and Tyson \cite{Tyson} proved that \[ C÷C=\bigcup_{n=-\infty}^{\infty}\left[ 3^{-n}\dfrac{2}{3},3^{-n}\dfrac {3}{2}\right] . \] In this paper, we give a description of the topological structure and Lebesgue measure of $C\cdot C$. We indeed obtain corresponding results on the uniform $\lambda$-Cantor sets.

Dynamical Systems,Metric Geometry,Number Theory
On Box Dimension of a Kind of General Cantor Set

QIN Xuan-yun,GUAN Ji-hong

DOI: https://doi.org/10.3969/j.issn.1009-1734.2007.02.001

2007-01-01

Abstract:The general 3-part Cantor set is generated in this paper.In order to get its Box dimension,we use a new method of δ and N(F,δ) in the formula indirectly,and then we obtain the Box dimension s of the general Cantor set only determined by αs+γs=1.And this method can also be used for the Cantor-(2n-1)(n∈N) sets.
On sums of a prime and four prime squares in short intervals

Guang Shi Lü,Xian Meng Meng

DOI: https://doi.org/10.1007/s10114-008-6089-4

2008-07-05

Abstract:In this paper, we prove that each sufficiently large integer N ≢ 1 (mod 3) can be written as \documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$N = p + p_1^2 + p_2^2 + p_3^2 + p_4^2 ,$$\end{document}, with \documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$\left| {p - \frac{N}{5}} \right| \leqslant U,\left| {p_j - \sqrt {\frac{N}{5}} } \right| \leqslant U,j = 1,2,3,4,$$\end{document} where U = N9/20 + ɛ and p, pj are primes.

mathematics, applied
Open intervals in sums and products of Cantor sets

Aritro Pathak

2024-08-11

Abstract:We give new arguments for sums and products of sufficient numbers of arbitrary central Cantor sets to produce large open intervals. We further discuss the same question for $C^1$ images of such central Cantor sets. This gives another perspective on the results obtained by Astels through a different formulation on the thickness of these Cantor sets. There has been recent interest in the question of products and sums of powers of Cantor sets, and these are addressed by our methods.

Metric Geometry,Classical Analysis and ODEs,Dynamical Systems
A variety of Euler’s sum of powers conjecture

Tianxin Cai,Yong Zhang

DOI: https://doi.org/10.21136/CMJ.2021.0210-20

2021-01-01

Czechoslovak Mathematical Journal

Abstract:We consider a variety of Euler’s sum of powers conjecture, i.e., whether the Diophantine system $$\left\{{\matrix{{n = {a_1} + {a_2} + \ldots + {a_{s - 1}},} \hfill \cr {{a_1}{a_2} \ldots {a_{s - 1}}({a_1} + {a_2} + \ldots + {a_{s - 1}}) = {b^s}} \hfill \cr}} \right.$$ has positive integer or rational solutions n, b, aj, i = 1, 2, …, s − 1, s ⩾ 3. Using the theory of elliptic curves, we prove that it has no positive integer solution for s = 3, but there are infinitely many positive integers n such that it has a positive integer solution for s ⩾ 4. As a corollary, for s ⩾ 4 and any positive integer n, the above Diophantine system has a positive rational solution. Meanwhile, we give conditions such that it has infinitely many positive rational solutions for s ⩾ 4 and a fixed positive integer n.
Sums of four rational squares with certain restrictions

Zhi-Wei Sun

2020-01-01

Abstract:In this paper we mainly study sums of four rational squares with certain restrictions. Let Q≥0 be the set of nonnegative rational numbers. We establish the following four-square theorem for rational numbers: For any a, b, c, d ∈ Q≥0, each r ∈ Q≥0 can be written as x 2 + y+z+w with x, y, z, w ∈ Q≥0 such that ax+by+cz+dw is a rational square (or a rational cube). This paper also contains many conjectures; for example, for any positive integers a and b with gcd(a, b) = 1, we conjecture that each r ∈ Q≥0 can be written as aw + bx +y+ z with w, x, y, z ∈ Q.
The Pointwise Densities of Non-Symmetric Cantor Sets

Wenxia Li,Yuanyuan Yao

DOI: https://doi.org/10.1142/s0129167x08005035

2008-01-01

International Journal of Mathematics

Abstract:We consider a class of non-symmetric Cantor sets C determined by C = a0C ∪ (a1C + 1 - a1), a0, a1 ∈ (0, 1). Under certain conditions on a0 and a1, the upper and lower densities are obtained explicitly for each x ∈ C. It extends the results for symmetric Cantor sets obtained by Feng, Hua and Wen (The pointwise densities of the Cantor measure, J. Math. Anal. Appl.250 (2000) 692–705).
Cantor Sets Determined by Partial Quotients of Continued Fractions of Laurent Series

Xue-Hai Hu,Bao-Wei Wang,Jun Wu,Yue-Li Yu

DOI: https://doi.org/10.1016/j.ffa.2007.04.002

IF: 1.655

2008-01-01

Finite Fields and Their Applications

Abstract:In this paper, two types of general sets determined by partial quotients of continued fractions over the field of formal Laurent series with coefficients from a given finite field are studied. The Hausdorff dimensions of {x:degAn(x)⩾ϕ(n),for infinitely many n} and {x:degAn(x)⩾ϕ(n),∀n⩾1} are determined completely, where An(x) denotes the partial quotients in the continued fraction expansion (in case of Laurent series) of x and ϕ(n) is a positive valued function defined on natural numbers N.
Some Remarks on the Hausdorff Measure of the Cantor Set

Minghua Wang

DOI: https://doi.org/10.1051/shsconf/20162401015

2016-01-01

Abstract:In this paper, the author further reveals some intrinsic properties of the Cantor set. By erties, the author gives a new method for calculating the exact value of the Hausdorff measure of the C and shows the facts that each covering which consists of basic intervals, in which any basic interval can pletely contain the other, is the best covering of the Cantor set, and the Hausdorff measure of the Cant be determined by coverings which only consist of basic intervals.

On the Sum of Squares of the Middle-Third Cantor Set

On the sum of squares of middle-third Cantor set

ARITHMETIC SUM OF TWO HOMOGENEOUS CANTOR SETS

Proof of the Branner-Hubbard conjecture on Cantor Julia sets

D S ] 2 A ug 2 00 6 Proof of the Branner-Hubbard conjecture on Cantor Julia sets Weiyuan

Sums of powers, and products of elements of the middle third Cantor set

On the sum of two homogeneous Cantor sets

On a Conjecture of Cusick on a sum of Cantor sets

On the sum of two affine Cantor sets

A Better Upper Bound of Hausdorff Measure of the Cartesian Product of the Middle Third Cantor Set with Itself Compare to Others'

Approximating elements of the middle third Cantor set with dyadic rationals

On arithmetic sums of Cantor-type sequences of integers

Multiplication on uniform $λ$-Cantor sets

On Box Dimension of a Kind of General Cantor Set

On sums of a prime and four prime squares in short intervals

Open intervals in sums and products of Cantor sets

A variety of Euler’s sum of powers conjecture

Sums of four rational squares with certain restrictions

The Pointwise Densities of Non-Symmetric Cantor Sets

Cantor Sets Determined by Partial Quotients of Continued Fractions of Laurent Series

Some Remarks on the Hausdorff Measure of the Cantor Set