Tail homogeneity of invariant measures of multidimensional stochastic recursions in a critical case

We consider the stochastic recursion ${X_{n+1} = M_{n+1}X_{n} + Q_{n+1}, (n \in \mathbb{N})}$ , where ${Q_n, X_n \in \mathbb{R}^d }$ , M _n are similarities of the Euclidean space ${ \mathbb{R}^d }$ and (Q _n , M _n ) are i.i.d. We study asymptotic properties at infinity of the invariant measure for the Markov chain X _n under assumption ${\mathbb{E}{[\log|M|]}=0}$ i.e. in the so called critical case.     

Sensitivity of best recovery in the Sobolev spaces W_\infty ^{r,d} , \widetilde W_\infty ^{r,d}for perturbed sampling

Let $I^d $ be the d‐dimensional cube, $I^d = [0,1]^d $ , and let $F \ni f \mapsto Sf \in L_\infty (I^d ) $ be a linear operator acting on the Sobolev space F, where Fis either $$$$ or $$$$ where $$\left\| f \right\|_F = \sum\limits_{\left| m \right| = r} {\mathop {{\text{esssup}}}\limits_{x \in I^d } \left| {\frac{{\partial f^{\left| m \right|} }} {{\partial x_1^{m_1 } \partial x_2^{m_2 } \cdot \cdot \cdot \partial x_d^{m_d } }}(x)} \right|.} $$ We assume that the problem elements fsatisfy the condition $\sum\nolimits_{\left| m \right| = r} {{\text{esssup}}} _{x \in I^d } \left| {f^{(m)} (x)} \right| \leqslant 1 $ and that Sis continuous with respect to the supremum norm. We study sensitivity of optimal recovery of Sfrom inexact samples of ftaken at npoints forming a uniform grid on $I^d $ . We assume that the inaccuracy in reading the sample vector is measured in the pth norm and bounded by a nonnegative number δ. The sensitivity is defined by the difference between the optimal errors corresponding to the exact and perturbed readings, respectively. Our main result is that this difference is bounded by $\mathcal{A}\delta $ , where $\mathcal{A} $ is a positive constant independent of the number of samples. This indicates that the curse of dimension, which badly affects the optimal errors, does not extend to sensitivity.     

On the cohomology of the orthosymplectic superalgebra

Let $\mathfrak{F}_{\lambda}^{n}$ be the $\mathop {\mathfrak {osp}}\nolimits \,(n|2)$ -module of weighted densities on ?^1|n of weight ??. We compute the cohomology spaces $\mathrm{H}^{k}_{\mathrm{diff}}\left(\mathop {\mathfrak {osp}}\nolimits \,(n|2),\mathfrak{F}_{\lambda}^{n}\right)$ , where k=1 and n=0,1,2 or k=2 and n=0,1. We explicitly give cocycles spanning these cohomology spaces.     

Some estimates of the normal approximation for ��-mixing random variables

Let ?? _n be a ??-mixing sequence of real random variables such that $ \mathbb{E}{\xi_n} = 0 $ , and let Y be a standard normal random variable. Write S _n = ?? ₁ + · · · + ?? _n and consider the normalized sums Z _n = S _n /B _n , where $ B_n^2 = \mathbb{E}S_n^2 $ . Assume that a thrice differentiable function $ h:\mathbb{R} \to \mathbb{R} $ satisfies $ {\sup_{x \in \mathbb{R}}}\left| {{h^s}(x)} \right| < \infty $ . We obtain upper bounds for $ {\Delta_n} = \left| {\mathbb{E}h\left( {{Z_n}} \right) - \mathbb{E}h(Y)} \right| $ in terms of Lyapunov fractions with explicit constants (see Theorem 1). In a particular case, the obtained upper bound of ?? _n is of order O(n ^?1/2). We note that the ??-mixing coefficients ??(r) are defined between the ??past?? and ??future.?? To prove the results, we apply the Bentkus approach.     

On the Schröder equation and iterative sequences of C r diffeomorphisms in {\mathbb{R}^{N}} space

Let ${U \subset \mathbb{R}^{N}}$ be a neighbourhood of the origin and a function ${F:U\rightarrow U}$ be of class C ^r , r ≥ 2, F(0) = 0. Denote by F ⁿ the n-th iterate of F and let ${0<|s_1|\leq \cdots \leq|s_N| <1 }$ , where ${s_1, \ldots , s_N}$ are the eigenvalues of dF(0). Assume that the Schröder equation ${\varphi(F(x))=S\varphi(x)}$ , where S: = dF(0) has a C ² solution φ such that dφ(0) = id. If ${\frac{log|s_1|}{log|s_N|} <2 }$ then the sequence {S ^?n F ⁿ (x)} converges for every point x from the basin of attraction of F to a C ² solution φ of (1). If ${2\leq\frac{log|s_1|}{log|s_N|} }$ then this sequence can be diverging. In this case we give some sufficient conditions for the convergence and divergence of the sequence {S ^?n F ⁿ (x)}. Moreover, we show that if F is of class C ^r and ${r>\big[\frac{log|s_1|}{log|s_N|} \big ]:=p \geq 2}$ then every C ^r solution of the Schröder equation such that dφ(0) = id is given by the formula $$\begin{array}{ll}\varphi (x)={\lim\limits_{n \rightarrow \infty}} (S^{-n}F^n(x) + {\sum\limits _{k=2}^{p}} S^{-n}L_k (F^n(x))),\end{array}$$ where ${L_k:\mathbb{R}^{N} \rightarrow \mathbb{R}^{N}}$ are some homogeneous polynomials of degree k, which are determined by the differentials d ^(j) F(0) for 1 < j ≤  p.     

The limitations of the Poincaré inequality for Grušin type operators

We examine the validity of the Poincaré inequality for degenerate, second-order, elliptic operators H in divergence form on \({L_2(\mathbf{R}^{n}\times \mathbf{R}^{m})}\) . We assume the coefficients are real symmetric and \({a_1H_\delta\geq H\geq a_2H_\delta}\) for some \({a_1,a_2>0}\) where H _δ is a generalized Gru?in operator, $$H_\delta=-\nabla_{x_1}\,|x_1|^{\left(2\delta_1,2\delta_1'\right)} \,\nabla_{x_1}-|x_1|^{\left(2\delta_2,2\delta_2'\right)} \,\nabla_{x_2}^2.$$ Here \({x_1 \in \mathbf{R}^n,\; x_2 \in \mathbf{R}^m,\;\delta_1,\delta_1'\in[0,1\rangle,\;\delta_2,\delta_2'\geq0}\) and \({|x_1|^{\left(2\delta,2\delta'\right)}=|x_1|^{2\delta}}\) if \({|x_1|\leq 1}\) and \({|x_1|^{\left(2\delta,2\delta'\right)}=|x_1|^{2\delta'}}\) if \({|x_1|\geq 1}\) . We prove that the Poincaré inequality, formulated in terms of the geometry corresponding to the control distance of H, is valid if n ≥ 2, or if n = 1 and \({\delta_1\vee\delta_1'\in[0,1/2\rangle}\) but it fails if n = 1 and \({\delta_1\vee\delta_1'\in[1/2,1\rangle}\) . The failure is caused by the leading term. If \({\delta_1\in[1/2, 1\rangle}\) , it is an effect of the local degeneracy \({|x_1|^{2\delta_1}}\) , but if \({\delta_1\in[0, 1/2\rangle}\) and \({\delta_1'\in [1/2,1\rangle}\) , it is an effect of the growth at infinity of \({|x_1|^{2\delta_1'}}\) . If n = 1 and \({\delta_1\in[1/2, 1\rangle}\) , then the semigroup S generated by the Friedrichs’ extension of H is not ergodic. The subspaces \({x_1\geq 0}\) and \({x_1\leq 0}\) are S-invariant, and the Poincaré inequality is valid on each of these subspaces. If, however, \({n=1,\; \delta_1\in[0, 1/2\rangle}\) and \({\delta_1'\in [1/2,1\rangle}\) , then the semigroup S is ergodic, but the Poincaré inequality is only valid locally. Finally, we discuss the implication of these results for the Gaussian and non-Gaussian behaviour of the semigroup S.     

Subsets of PG(n,2) and Maximal Partial Spreads in PG(4,2)

Put θ _n = # {points in PG(n,2)} and φ _n = #{lines in PG(n,2)}. Let ψ be anypoint-subset of PG(n,2). It is shown thatthe sum of L = #{internal lines of ψ} and L′= #{external lines of ψ} is the same for all ψ having the same cardinality:[6pt] Theorem A If k is defined by k = |ψ| ? θ _{n ? 1}, then $$L + L' = \phi _{n - 1} + k(k - 1)/2.$$ (The generalization of this to subsets of PG(n,3) is also obtained.) Let $\mathcal{S}$ be a partial spreadof lines in PG(4,2) and let N denote the number of reguli contained in $\mathcal{S}$ .Use of Theorem A gives rise to a simple proof of:[6pt] Theorem B If $\mathcal{S}$ is maximal then one of the followingholds: (i) $\left| \mathcal{S} \right| = 5,{\text{ }}N = 10;{\text{ }}$ (ii) $\left| \mathcal{S} \right| = 7,{\text{ }}N = 4;{\text{ }}$ (iii) $\left| \mathcal{S} \right| = 9,{\text{ }}N = 4.$ If (i) holds then $\mathcal{S}$ is spread in a hyperplane.It is shown that possibility (ii) is realized by precisely threeprojectively distinct types of partial spread. Explicit examplesare also given of four projectively distinct types of partialspreads which realize possibility (iii). For one of these types,type X, the four reguli have a common line. It isshown that those partial spreads in PG(4,2) of size 9 which arise, by a simple construction, from a spreadin PG(5,2), are all of type X.     

Convergence of polyharmonic splines on semi-regular grids \mathbb{Z}{{\boldsymbol{\times}} \boldsymbol{a}} {\mathbb{Z}^{\it\boldsymbol{n}}} for {\boldsymbol{a}\rightarrow\mathbf {0}}

Let p, n ∈ ? with 2p ≥ n + 2, and let I _a be a polyharmonic spline of order p on the grid ? × a? ⁿ which satisfies the interpolating conditions $I_{a}\left( j,am\right) =d_{j}\left( am\right) $ for j ∈ ?, m ∈ ? ⁿ where the functions d _j : ? ⁿ → ? and the parameter a > 0 are given. Let $B_{s}\left( \mathbb{R}^{n}\right) $ be the set of all integrable functions f : ? ⁿ → ? such that the integral $$ \left\| f\right\| _{s}:=\int_{\mathbb{R}^{n}}\left| \widehat{f}\left( \xi\right) \right| \left( 1+\left| \xi\right| ^{s}\right) d\xi $$ is finite. The main result states that for given $\mathbb{\sigma}\geq0$ there exists a constant c>0 such that whenever $d_{j}\in B_{2p}\left( \mathbb{R}^{n}\right) \cap C\left( \mathbb{R}^{n}\right) ,$ j ∈ ?, satisfy $\left\| d_{j}\right\| _{2p}\leq D\cdot\left( 1+\left| j\right| ^{\mathbb{\sigma}}\right) $ for all j ∈ ? there exists a polyspline S : ? ⁿ⁺¹ → ? of order p on strips such that $$ \left| S\left( t,y\right) -I_{a}\left( t,y\right) \right| \leq a^{2p-1}c\cdot D\cdot\left( 1+\left| t\right| ^{\mathbb{\sigma}}\right) $$ for all y ∈ ? ⁿ , t ∈ ? and all 0 < a ≤ 1.     

Commutators of Marcinkiewicz integral with rough kernels on Sobolev spaces

In this paper, the authors give the boundedness of the commutator [b, ??_??,?? ] from the homogeneous Sobolev space $\dot L_\gamma ^p \left( {\mathbb{R}^n } \right)$ to the Lebesgue space L ^p (? ⁿ ) for 1 < p < ??, where ??_??,?? denotes the Marcinkiewicz integral with rough hypersingular kernel defined by $\mu _{\Omega ,\gamma } f\left( x \right) = \left( {\int_0^\infty {\left| {\int_{\left| {x - y} \right| \leqslant t} {\frac{{\Omega \left( {x - y} \right)}} {{\left| {x - y} \right|^{n - 1} }}f\left( y \right)dy} } \right|^2 \frac{{dt}} {{t^{3 + 2\gamma } }}} } \right)^{\frac{1} {2}} ,$ , with ?? ?? L ¹(S ^n?1) for $0 < \gamma < min\left\{ {\frac{n} {2},\frac{n} {p}} \right\}$ or ?? ?? L(log⁺ L) ^?? (S ^n?1) for $\left| {1 - \frac{2} {p}} \right| < \beta < 1\left( {0 < \gamma < \frac{n} {2}} \right)$ , respectively.     

Restrictions of generalized Verma modules to symmetric pairs

We initiate a new line of investigation on branching problems for generalized Verma modules with respect to reductive symmetric pairs $ \left( {\mathfrak{g},\mathfrak{g}'} \right) $ . In general, Verma modules may not contain any simple module when restricted to a reductive subalgebra. In this article we give a necessary and sufficient condition on the triple $ \left( {\mathfrak{g},\mathfrak{g}',\mathfrak{p}} \right) $ such that the restriction $ {\left. X \right|_{\mathfrak{g}'}} $ always contains simple $ \mathfrak{g}' $ -modules for any $ \mathfrak{g} $ -module X lying in the parabolic BGG category $ {\mathcal{O}^\mathfrak{p}} $ attached to a parabolic subalgebra $ \mathfrak{p} $ of $ \mathfrak{g} $ . Formulas are derived for the Gelfand?CKirillov dimension of any simple module occurring in a simple generalized Verma module. We then prove that the restriction $ {\left. X \right|_{\mathfrak{g}'}} $ is generically multiplicity-free for any $ \mathfrak{p} $ and any $ X \in {\mathcal{O}^\mathfrak{p}} $ if and only if $ \left( {\mathfrak{g},\mathfrak{g}'} \right) $ is isomorphic to (A _n , A _n-1), (B _n , D _n ), or (D _n+1, B _n ). Explicit branching laws are also presented.     

On oscillatory integral Hilbert transformation with trigonometric polynomial phase

Let $ \mathcal{P}_n $ denote the set of algebraic polynomials of degree n with the real coefficients. Stein and Wpainger [1] proved that $$ \mathop {\sup }\limits_{p( \cdot ) \in \mathcal{P}_n } \left| {p.v.\int_\mathbb{R} {\frac{{e^{ip(x)} }} {x}dx} } \right| \leqslant C_n , $$ where C _n depends only on n. Later A. Carbery, S. Wainger and J. Wright (according to a communication obtained from I. R. Parissis), and Parissis [3] obtained the following sharp order estimate $$ \mathop {\sup }\limits_{p( \cdot ) \in \mathcal{P}_n } \left| {p.v.\int_\mathbb{R} {\frac{{e^{ip(x)} }} {x}dx} } \right| \sim \ln n. $$ . Now let $ \mathcal{T}_n $ denote the set of trigonometric polynomials $$ t(x) = \frac{{a_0 }} {2} + \sum\limits_{k = 1}^n {(a_k coskx + b_k sinkx)} $$ with real coefficients a _k , b _k . The main result of the paper is that $$ \mathop {\sup }\limits_{t( \cdot ) \in \mathcal{T}_n } \left| {p.v.\int_\mathbb{R} {\frac{{e^{it(x)} }} {x}dx} } \right| \leqslant C_n , $$ with an effective bound on C _n . Besides, an analog of a lemma, due to I. M. Vinogradov, is established, concerning the estimate of the measure of the set, where a polynomial is small, via the coefficients of the polynomial.     

A Congruence Connecting Latin Rectangles and Partial Orthomorphisms

A partial orthomorphism of ${\mathbb{Z}_{n}}$ is an injective map ${\sigma : S \rightarrow \mathbb{Z}_{n}}$ such that ${S \subseteq \mathbb{Z}_{n}}$ and ??(i)?Ci ? ??(j)? j (mod n) for distinct ${i, j \in S}$ . We say ?? has deficit d if ${|S| = n - d}$ . Let ??(n, d) be the number of partial orthomorphisms of ${\mathbb{Z}_{n}}$ of deficit d. Let ??(n, d) be the number of partial orthomorphisms ?? of ${\mathbb{Z}_n}$ of deficit d such that ??(i) ? {0, i} for all ${i \in S}$ . Then ??(n, d) =???(n, d)n ²/d ² when ${1\,\leqslant\,d < n}$ . Let R _{k, n} be the number of reduced k ×?n Latin rectangles. We show that $$R_{k, n} \equiv \chi (p, n - p)\frac{(n - p)!(n - p - 1)!^{2}}{(n - k)!}R_{k-p,\,n-p}\,\,\,\,(\rm {mod}\,p)$$ when p is a prime and ${n\,\geqslant\,k\,\geqslant\,p + 1}$ . In particular, this enables us to calculate some previously unknown congruences for R _{n, n} . We also develop techniques for computing ??(n, d) exactly. We show that for each a there exists??? _a such that, on each congruence class modulo??? _a , ??(n, n-a) is determined by a polynomial of degree 2a in n. We give these polynomials for ${1\,\leqslant\,a\,\leqslant 6}$ , and find an asymptotic formula for ??(n, n-a) as n ?? ??, for arbitrary fixed a.     

A sharp weightedL 2-estimate for the solution to the time-dependent Schrödinger equation

For Ξ∈R ⁿ ,t∈R andf∈S(R ⁿ ) define $\left( {S^2 f} \right)\left( t \right)\left( \xi \right) = \exp \left( {it\left| \xi \right|^2 } \right)\hat f\left( \xi \right)$ . We determine the optimal regularitys ₀ such that $\int_{R^n } {\left\| {(S^2 f)[x]} \right\|_{L^2 (R)}^2 \frac{{dx}}{{(1 + |x|)^b }} \leqslant C\left\| f \right\|_{H^s (R^n )}^2 ,s > s_0 } ,$ holds whereC is independent off∈S(R ⁿ ) or we show that such optimal regularity does not exist. This problem has been treated earlier, e.g. by Ben-Artzi and Klainerman [2], Kato and Yajima [4], Simon [6], Vega [9] and Wang [11]. Our theorems can be generalized to the case where the exp(it|ξ|²) is replaced by exp(it|ξ|^a),a≠2. The proof uses Parseval's formula onR, orthogonality arguments arising from decomposingL ²(R ⁿ ) using spherical harmonics and a uniform estimate for Bessel functions. Homogeneity arguments are used to show that results are sharp with respect to regularity.     

Asymptotic uniformity of the quantization error of self-similar measures

Let??? be a self-similar measure on ${\mathbb{R}^d}$ associated with a family of contractive similitudes {S ₁, . . . , S _N } and a probability vector {p ₁, . . . , p _N }. Let ${(\alpha_n)_{n=1}^\infty}$ be a sequence of n-optimal sets for??? of order r. For each n, we denote by ${\{P_a(\alpha_n) : a \in \alpha_n\}}$ a Voronoi partition of ${\mathbb{R}^d}$ with respect to ?? _n . Under the strong separation condition for {S ₁, . . . , S _N }, we show that the nth quantization error of??? of order ${r \in [1, \infty)}$ satisfies the following asymptotic uniformity property: $$\int \limits _{P_a(\alpha_n)}{\rm d}(x, a)^rd\mu(x) \asymp \frac{1}{n}V_{n,r}(\mu),\quad {\rm for\,all}\,a \in \alpha_n.$$      

Zeros of analytic functions and norms of inverse matrices

Letk _n be the smallest constant such that for anyn-dimensional normed spaceX and any invertible linear operatorT ∈L(X) we have $|\det (T)| \cdot ||T^{ - 1} || \le k_n |||T|^{n - 1} $ . LetA ₊ be the Banach space of all analytic functionsf(z)=Σ _k≥0 a _kz^k on the unit diskD with absolutely convergent Taylor series, and let ‖f‖A ₊=σ _k≥0 |ακ|; define ? _n on $\overline D ^n $ by $ \begin{array}{l} \varphi _n \left( {\lambda _1 ,...,\lambda _n } \right) \\ = inf\left\{ {\left\| f \right\|_{A + } - \left| {f\left( 0 \right)} \right|; f\left( z \right) = g\left( z \right)\prod\limits_{i = 1}^n {\left( {\lambda _1 - z} \right), } g \in A_ + , g\left( 0 \right) = 1 } \right\} \\ \end{array} $ . We show thatk _n=sup {? _n(λ₁,…, λ _n ); (λ₁,…, λ _n )∈ $\overline D ^n $ }. Moreover, ifS is the left shift operator on the space ?∞:S(x ₀,x ₁, …,x _p, …)=(x ₁,…,x _p,…) and if J_n(S) denotes the set of allS-invariantn-dimensional subspaces of ?∞ on whichS is invertible, we have $k_n = \sup \{ |\det (S|_E )|||(S|_E )^{ - 1} ||E \in J_n (S)\} $ . J. J. Schäffer (1970) proved thatk _n≤√en and conjectured thatk _n=2, forn≥2. In factk ₃>2 and using the preceding results, we show that, up to a logarithmic factor,k _n is of the order of √n whenn→+∞.     

On the representation theory of Möbius groups inR n*

We will solve several fundamental problems of Möbius groupsM(R ⁿ) which have been matters of interest such as the conjugate classification, the establishment of a standard form without finding the fixed points and a simple discrimination method. Let \(g = \left[ {\begin{array}{*{20}c} a &; b \\ c &; d \\ \end{array} } \right]\) be a Clifford matrix of dimensionn, c ≠ 0. We give a complete conjugate classification and prove the following necessary and sufficient conditions:g is f.p.f. (fixed points free) iff \(g \sim \left[ {\begin{array}{*{20}c} \alpha &; 0 \\ c &; {\alpha '} \\ \end{array} } \right]\) , |α|<1 and |E?AE ¹| ≠ 0;g is elliptic iff \(g \sim \left[ {\begin{array}{*{20}c} \alpha &; \beta \\ c &; {\alpha '} \\ \end{array} } \right]\) , |α| <1 and |E?AE ¹|=0;g is parabolic iff \(g \sim \left[ {\begin{array}{*{20}c} \alpha &; 0 \\ c &; {\alpha '} \\ \end{array} } \right]\) , |α|=1; andg is loxodromic iff \(g \sim \left[ {\begin{array}{*{20}c} \alpha &; \beta \\ c &; {\alpha '} \\ \end{array} } \right]\) , |α| >1 or rank (E?AE ¹) ≠ rank (E?AE ¹,ac ^?1+c ^?1 d), where α is represented by the solutions of certain linear algebraic equations and satisfies $\left| {c^{ - 1} \alpha '} \right| = \left| {\left( {E - AE^1 } \right)^{ - 1} \left( {\alpha c^{ - 1} + c^{ - 1} \alpha '} \right)} \right|.$      

Asymptotic porosity of planar harmonic measure

We study the distribution of harmonic measure on connected Julia sets of unicritical polynomials. Harmonic measure on a full compact set in ? is always concentrated on a set which is porous for a positive density of scales. We prove that there is a topologically generic set $\mathcal{A}$ in the boundary of the Mandelbrot set such that for every $c\in \mathcal{A}$ , β>0, and λ∈(0,1), the corresponding Julia set is a full compact set with harmonic measure concentrated on a set which is not β-porous in scale λ ⁿ for n from a set with positive density amongst natural numbers.     

Fractional Type Integral Operators on Variable Hardy Spaces

Given certain n × n invertible matrices A ₁, . . . , A _m and 0 ≦ α < n, we obtain the \({H^{p(.)}(\mathbb{R}^n) \to L^{q(.)}(\mathbb{R}^n)}\) boundedness of the integral operator with kernel \({k(x, y) = |x - A_1y|^{-\alpha_1} . . . |x - A_my|^{-\alpha_m}}\) , where α ₁ +  . . . + α _m = n ? α and p(.), q(.) are exponent functions satisfying log-Hölder continuity conditions locally and at infinity related by \({\frac{1}{q(.)} = \frac{1}{p(.)} - \frac{\alpha}{n}}\) . We also obtain the \({H^{p(.)}(\mathbb{R}^n) \to H^{q(.)}(\mathbb{R}^n)}\) boundedness of the Riesz potential operator.     

A weak generalized localization criterion for multiple Walsh-Fourier series with J k -lacunary sequence of rectangular partial sums

We obtain a criterion for the validity of weak generalized localization almost everywhere on an arbitrary set of positive measure \(\mathfrak{A}\) , \(\mathfrak{A} \subset \mathbb{I}^N = \{ x \in \mathbb{R}^N :0 \leqslant x_j < 1,j = 1,2, \ldots ,N\}\) , N ≥ 3 (in terms of the structure and geometry of the set \(\mathfrak{A}\) ), for multiple Walsh-Fourier series (summed over rectangles) of functions f in the classes \(L_p (\mathbb{I}^N )\) , p > 1 (i.e., necessary and sufficient conditions for the convergence almost everywhere of the Fourier series on some subset of positive measure \(\mathfrak{A}_1\) of the set \(\mathfrak{A}\) , when the function expanded in a series equals zero on \(\mathfrak{A}\) ), in the case when the rectangular partial sums S _n (x; f) of this series have indices n = (n ₁, …, n _N ) ∈ ? ^N in which some components are elements of (single) lacunary sequences.