arXiv Science⌕ Search

arXiv subjects

Ruxi Shi

Publications and source records attributed to Ruxi Shi.

At least 19 recordsLinked to original sources
arXiv2026

A new type of deterministic Salem sets and its spectrality

For all $0< s \le 1$, we provide a new deterministic construction of Cantor sets whose Fourier dimension and Hausdorff dimension are both equal to $s$. The construction is based on a straightforward Cantor-Moran construction with contraction ratios given by reciprocals of integers. The key tool to obtain the fast Fourier decay is due to the Weil bound in analytic number theory. Furthermore, we show that the natural equal-weighted Cantor-Moran measure is the desired measure admitting the near optimal Fourier decay and the measure admits an exponential orthonormal basis $\{e^{2πi λx}: λ\in Λ\}$ for its $L^2$ space. This gives the first examples of singular Salem spectral measures in ${\mathbb R}^1$.

math.CA↗
arXiv2026

A sharp embedding theorem for topological dynamical systems

Let $(X,T)$ be a topological dynamical system, and let $\dim(X,T)$ denote Meyerovitch's dynamical dimension. We prove that, for every integer $n\geq1$, if $\dim(X,T)<n/2$, then the set of maps $f\in C(X,[0,1]^n)$ for which the orbit map $$ I_f: X\longrightarrow([0,1]^n)^{\mathbb{Z}}, \qquad I_f(x)=\bigl(f(T^k x)\bigr)_{k\in\mathbb{Z}}, $$ is a topological embedding is a dense $G_δ$ set. Consequently, $(X,T)$ embeds into $(([0,1]^n)^{\mathbb{Z}},σ)$ for some integer $n\geq1$ if and only if $\dim(X,T)<\infty$. The constant $1/2$ and the strict inequality are optimal.

math.DS↗
arXiv2026

When is the fractal uncertainty principle for discrete Cantor sets most uncertain?

We give a necessary and sufficient condition to achieve the most uncertain exponent in the fractal uncertainty principle of discrete Cantor sets. The condition will be described as distributed spectral pairs, which is a generalization of the spectral pair studied in the spectral sets literature. We investigate distributed spectral pairs in some cyclic groups and some complete classifications are given. Finally, we also discuss the most uncertain case in the continuous setting.

math.CA↗
arXiv2026

Dynamical dimension and shift embeddability without the marker property

We study the aperiodic inverse-limit system constructed in our earlier work as an example of a finite-mean-dimensional dynamical system without the marker property. We prove that its mean dimension and Meyerovitch's dynamical dimension are both equal to $N$. Despite the absence of the marker property, the system admits an equivariant topological embedding into the cubical shift with alphabet dimension $3N+2$. As an auxiliary result, we prove that the dynamical dimension of the full shift over any compact metrizable alphabet is exactly the covering dimension of the alphabet, including when this dimension is infinite.

math.DS↗
arXiv2026

Fuglede's conjecture holds for three intervals

We prove that every bounded measurable subset of the real line that is both spectral and a union of three intervals tiles the line by translations, thereby completing Fuglede's conjecture for this class. The proof develops a new cofactor-rigidity method based on the secular determinant of an associated self-adjoint derivative.

math.CA↗
arXiv2026

A variational principle for metric mean dimension via lower Brin-Katok local entropy

We prove a finite-scale comparison between lower Brin-Katok local entropy and Katok covering entropy. Let $(\mathcal{X},d,T)$ be a compact metric topological dynamical system and let $μ$ be ergodic. Then, for every $ε>0$ and every $δ\in(0,1)$, $$ h^K_μ(6ε,δ)\leq \underline h^{BK}_μ(ε). $$ Combining this estimate with the usual Katok-type variational principle for metric mean dimension gives the corresponding variational principle with lower Brin-Katok local entropy.

math.DS↗
arXiv2025

Spectra for finite unions of line segments

In this paper we study the spectrality of arc-length measures supported on the union of two line segments in the plane. We show that any such spectral measure must admit a line spectrum. Moreover, when the two segments are non-parallel, such spectral measure admits only line spectra. Thus, in this case every spectrum is one dimensional. In addition we show that this property fails for unions of three or more segments in the plane. We construct some arc-length spectral measures supported on the union of at least three line segments such that none of its spectra is contained in a line. Finally, we work in the general framework of arc-length measures supported on finite unions of curves in $\mathbb{R}^d$. We show that the size of any orthogonal set for such a measure inside a ball of radius $R$ grows at most linearly in $R$. We also give an alternative proof of this bound, and in fact obtain a more general result of growth rate of orthogonal sets for Ahlfors--David regular measures in $\mathbb{R}^d$ (not restricted to the one-dimensional setting).

math.CA↗
arXiv2024

Lowering mean topological dimension

In this paper, we prove that for a topological dynamical system with positive mean topological dimension and marker property, it has factors of arbitrary small mean topological dimension and zero relative mean topological dimension which separate points.

math.DS↗
arXiv2024

Multiplicity of topological systems

We define the topological multiplicity of an invertible topological system $(X,T)$ as the minimal number $k$ of real continuous functions $f_1,\cdots, f_k$ such that the functions $f_i\circ T^n$, $n\in\mathbb Z$, $1\leq i\leq k,$ span a dense linear vector space in the space of real continuous functions on $X$ endowed with the supremum norm. We study some properties of topological systems with finite multiplicity. After giving some examples, we investigate the multiplicity of subshifts with linear growth complexity.

math.DS↗
arXiv2024

Strongly isomorphic symbolic extensions for expansive topological flows

In this paper, we prove that finite-dimensional topological flows without fixed points and having a countable number of periodic orbits, have the small flow boundary property. This enables us to answer positively a question of Bowen and Walters from 1972: Any expansive topological flow has a strongly isomorphic symbolic flow extension, i.e. an extension by a suspension flow over a subshift. Previously Burguet had shown this is true if the flow is assumed to be $C^2$-smooth.

math.DS↗
arXiv2023

Mean dimension of natural extension of algebraic systems

Mean dimension may decrease after taking the natural extension. In this paper we show that mean dimension is preserved by natural extension for an endomorphism on a compact metrizable abelian group. As an application, we obtain that the mean dimension of an algebraic cellular automaton coincides withthe mean dimension of its natural extension, which strengthens a result of Burguet and Shi \cite{BS21} with a different proof.

math.DS↗
arXiv2022

Application of waist inequality to entropy and mean dimension

Waist inequality is a fundamental inequality in geometry and topology. We apply it to the study of entropy and mean dimension of dynamical systems. We consider equivariant continuous maps between dynamical systems and assume that the mean dimension of the domain is larger than the mean dimension of the target. We exhibit several situations for which the maps necessarily have positive conditional metric mean dimension. This study has interesting consequences to the theory of topological conditional entropy. In particular it sheds new light on a celebrated result of Lindenstrauss and Weiss about minimal dynamical systems non-embeddable in the shift on the Hilbert cube.

math.DS↗
arXiv2022

Topological mean dimension of induced systems

For a topological system with positive topological entropy, we show that the induced transformation on the set of probability measures endowed with the weak-$*$ topology has infinite topological mean dimension. We also estimate the rate of divergence of the entropy with respect to the Wasserstein distance when the scale goes to zero.

math.DS↗
arXiv2022

Spectrum of weighted Birkhoff average

Let $\{s_n\}_{n\in\N}$ be a decreasing nonsummable sequence of positive reals. In this paper, we investigate the weighted Birkhoff average $\frac{1}{S_n}\sum_{k=0}^{n-1}s_kϕ(T^kx)$ on aperiodic irreducible subshift of finite type $Σ_{\bf A}$ where $ϕ: Σ_{\bf A}\mapsto \R$ is a continuous potential. Firstly, we show the entropy spectrum of the weighed Birkhoff averages remains the same as that of the Birkhoff averages. Then we calculate the packing spectrum of the weighed Birkhoff averages. It turns out that we can have two cases, either the packing dimension of every level set equals to its Hausdorff dimension or for every nonempty level set it is equal to the packing dimension of the whole space.

math.DS↗
arXiv2021

On the multifractal spectrum of weighted Birkhoff averages

In this paper, we study the topological spectrum of weighted Birkhoff averages over aperiodic and irreducible subshifts of finite type. We show that for a uniformly continuous family of potentials, the spectrum is continuous and concave over its domain. In case of typical weights with respect to some ergodic quasi-Bernoulli measure, we determine the spectrum. Moreover, in case of full shift and under the assumption that the potentials depend only on the first coordinate, we show that our result is applicable for regular weights, like Möbius sequence.

math.DS↗
arXiv2021

A counter-example for polynomial version of Sarnak's conjecture

We construct the counter-example for polynomial version of Sarnak's conjecture for minimal systems, which assets that the Möbius function is linearly disjoint from subsequences along polynomials of deterministic sequences realized in minimal systems. Our example is in the class of Toeplitz systems, which are minimal.

math.DS↗
arXiv2021

Mean dimension of continuous cellular automata

We investigate the mean dimension of a cellular automaton (CA for short) with a compact non-discrete space of states. A formula for the mean dimension is established for (near) strongly permutative, permutative algebraic and unit one-dimensional automata. In higher dimensions, a CA permutative algebraic or having a spaceship has infinite mean dimension. However, building on Meyerovitch's example, we give an example of algebraic surjective cellular automaton with positive finite mean dimension.

math.DS↗