NON-SPECTRALITY OF THE PLANAR SELF-AFFINE MEASURES WITH FOUR-ELEMENT DIGIT SETS

Fractals ◽  
2019 ◽  
Vol 27 (07) ◽  
pp. 1950115 ◽  
Author(s):  
JUAN SU ◽  
YAO LIU ◽  
JING-CHENG LIU

In this paper, we consider the non-spectrality of the planar self-affine measures [Formula: see text] generated by an expanding integer matrix [Formula: see text] and a four-element digit set [Formula: see text] We show that [Formula: see text] contains an infinite orthogonal set of exponential functions if and only if [Formula: see text]. Moreover, if [Formula: see text], then there exist at most [Formula: see text] mutually orthogonal exponential functions in [Formula: see text], and the number [Formula: see text] is the best.

Fractals ◽  
2020 ◽  
Vol 28 (01) ◽  
pp. 2050016
Author(s):  
JUAN SU ◽  
ZHI-YONG WANG ◽  
MING-LIANG CHEN

For the self-affine measure [Formula: see text] generated by an expanding matrix [Formula: see text] and an integer digit set [Formula: see text] with [Formula: see text], Su et al. proved that if [Formula: see text], then [Formula: see text] contains an infinite orthogonal set of exponential functions if and only if [Formula: see text] [J. Su, Y. Liu and J. C. Liu, Non-spectrality of the planar self-affine measures with four-element digit sets, Fractals (2019), https://doi.org/10.1142/S0218348X19501159 ]. In this paper, we show that the above conclusion also holds for [Formula: see text]. So, a complete characterization of [Formula: see text] containing an infinite orthogonal set of exponential functions is given.


Fractals ◽  
2019 ◽  
Vol 27 (03) ◽  
pp. 1950029 ◽  
Author(s):  
ZHI-MIN WANG ◽  
XIN-HAN DONG ◽  
ZHI-YONG WANG

For a positive integer [Formula: see text], let [Formula: see text]. Let the self-affine measure [Formula: see text] be generated by an expanding real matrix [Formula: see text] and a finite digit set [Formula: see text], where [Formula: see text] with [Formula: see text] and [Formula: see text] is the [Formula: see text]th column of the [Formula: see text] identical matrix [Formula: see text], [Formula: see text]. In this paper, we prove that [Formula: see text] contains an infinite orthogonal set of exponential functions if and only if there exists [Formula: see text] such that [Formula: see text] for some [Formula: see text] with [Formula: see text] and [Formula: see text].


Fractals ◽  
2020 ◽  
Vol 28 (05) ◽  
pp. 2050091
Author(s):  
YANG-YANG XU ◽  
JING-CHENG LIU

Let the self-similar measure [Formula: see text] be generated by an expanding real matrix [Formula: see text] and a digit set [Formula: see text] in space [Formula: see text]. In this paper, we only consider [Formula: see text] and the case [Formula: see text] is similar. We show that there exists an infinite orthogonal set of exponential functions in [Formula: see text] if and only if [Formula: see text] for some [Formula: see text] with [Formula: see text]. Furthermore, for the cases that [Formula: see text] does not admit any infinite orthogonal set of exponential functions, the exact cardinality of orthogonal exponential functions in [Formula: see text] is given.


2020 ◽  
Vol 31 (08) ◽  
pp. 2050063
Author(s):  
Juan Su ◽  
Ming-Liang Chen

Let the self-affine measure [Formula: see text] be generated by an expanding matrix [Formula: see text] and a finite integer digit set [Formula: see text], where [Formula: see text] with [Formula: see text] and [Formula: see text]. In this paper, we show that if [Formula: see text] for an integer [Formula: see text], then [Formula: see text] admits an infinite orthogonal set of exponential functions if and only if there exists [Formula: see text] such that [Formula: see text] for some [Formula: see text] with [Formula: see text] and [Formula: see text].


2021 ◽  
pp. 2150004
Author(s):  
Ming-Liang Chen ◽  
Zhi-Hui Yan

In this paper, we study the spectral property of the self-affine measure [Formula: see text] generated by an expanding real matrix [Formula: see text] and the four-element digit set [Formula: see text]. We show that [Formula: see text] is a spectral measure, i.e. there exists a discrete set [Formula: see text] such that the collection of exponential functions [Formula: see text] forms an orthonormal basis for [Formula: see text], if and only if [Formula: see text] for some [Formula: see text]. A similar characterization for Bernoulli convolution is provided by Dai [X.-R. Dai, When does a Bernoulli convolution admit a spectrum? Adv. Math. 231(3) (2012) 1681–1693], over which [Formula: see text]. Furthermore, we provide an equivalent characterization for the maximal bi-zero set of [Formula: see text] by extending the concept of tree-mapping in [X.-R. Dai, X.-G. He and C. K. Lai, Spectral property of Cantor measures with consecutive digits, Adv. Math. 242 (2013) 187–208]. We also extend these results to the more general self-affine measures.


2020 ◽  
Vol 32 (3) ◽  
pp. 673-681
Author(s):  
Ming-Liang Chen ◽  
Jing-Cheng Liu ◽  
Juan Su

AbstractLet the self-affine measure {\mu_{M,D}} be generated by an expanding real matrix {M=\operatorname{diag}(\rho_{1}^{-1},\rho_{2}^{-1})} and an integer digit set {D=\{(0,0)^{t},(\alpha_{1},\alpha_{2})^{t},(\beta_{1},\beta_{2})^{t}\}} with {\alpha_{1}\beta_{2}-\alpha_{2}\beta_{1}\neq 0}. In this paper, the sufficient and necessary conditions for {L^{2}(\mu_{M,D})} to contain an infinite orthogonal set of exponential functions are given.


Fractals ◽  
2019 ◽  
Vol 27 (04) ◽  
pp. 1950056 ◽  
Author(s):  
JIA ZHENG ◽  
JING-CHENG LIU ◽  
MING-LIANG CHEN

For the self-affine measures [Formula: see text] generated by a diagonal matrix [Formula: see text] with entries [Formula: see text] and the digit set [Formula: see text], Li showed that there exists an infinite orthogonal exponential functions set in [Formula: see text] if and only if at least two of the three numbers [Formula: see text] are even, and conjectured that there exist at most four mutually orthogonal exponential functions in [Formula: see text] for other cases [J.-L. Li, Non-spectrality of self-affine measures on the spatial Sierpinski gasket, J. Math. Anal. Appl. 432 (2015) 1005–1017]. This conjecture was disproved by Wang and Li through constructing a class of the eight-element orthogonal exponential functions [Q. Wang and J.-L. Li, There are eight-element orthogonal exponentials on the spatial Sierpinski gasket, Math. Nachr. 292 (2019) 211–226]. In this paper, we will show that there are any number of orthogonal exponential functions in [Formula: see text] if two of the three numbers [Formula: see text] are different odd and the other is even.


2019 ◽  
Vol 31 (6) ◽  
pp. 1447-1455 ◽  
Author(s):  
Zheng-Yi Lu ◽  
Xin-Han Dong ◽  
Peng-Fei Zhang

AbstractLet {\mu_{M,D}} be a self-affine measure generated by an expanding diagonal matrix {M\in M_{3}(\mathbb{R})} with entries {\rho_{1},\rho_{2},\rho_{3}} and the digit set {D=\{(0,0,0)^{t},(1,0,0)^{t},(0,1,0)^{t},(0,0,1)^{t}\}}. In this paper, we prove that for any {\rho_{1},\rho_{2},\rho_{3}\in(1,\infty)}, if {\rho_{1},\rho_{2},\rho_{3}\in\{\pm x^{\frac{1}{r}}:x\in\mathbb{Q}^{+},r\in% \mathbb{Z}^{+}\}}, then {L^{2}(\mu_{M,D})} contains an infinite orthogonal set of exponential functions if and only if there exist two numbers of {\rho_{1},\rho_{2},\rho_{3}} that are in the set {\{\pm(\frac{p}{q})^{\frac{1}{r}}:p\in 2\mathbb{Z}^{+},q\in 2\mathbb{Z}^{+}-1% \text{ and }r\in\mathbb{Z}^{+}\}}. In particular, if {\rho_{1},\rho_{2},\rho_{3}\in\{\frac{p}{q}:p,q\in 2\mathbb{Z}+1\}}, then there exist at most 4 mutually orthogonal exponential functions in {L^{2}(\mu_{M,D})}, and the number 4 is the best possible.


2019 ◽  
Vol 18 (05) ◽  
pp. 1950095
Author(s):  
Martin Helmer ◽  
Bernt Ivar Utstøl Nødland

Suppose that [Formula: see text] is a toric variety of codimension two defined by an [Formula: see text] integer matrix [Formula: see text], and let [Formula: see text] be a Gale dual of [Formula: see text]. In this paper, we compute the Euclidean distance degree and polar degrees of [Formula: see text] (along with other associated invariants) combinatorially working from the matrix [Formula: see text]. Our approach allows for the consideration of examples that would be impractical using algebraic or geometric methods. It also yields considerably simpler computational formulas for these invariants, allowing much larger examples to be computed much more quickly than the analogous combinatorial methods using the matrix [Formula: see text] in the codimension two case.


2020 ◽  
Vol 25 (4) ◽  
pp. 10-15
Author(s):  
Alexander Nikolaevich Rybalov

Generic-case approach to algorithmic problems was suggested by A. Miasnikov, I. Kapovich, P. Schupp and V. Shpilrain in 2003. This approach studies behavior of an algo-rithm on typical (almost all) inputs and ignores the rest of inputs. In this paper, we prove that the subset sum problems for the monoid of integer positive unimodular matrices of the second order, the special linear group of the second order, and the modular group are generically solvable in polynomial time.


Sign in / Sign up

Export Citation Format

Share Document