Følner sequences and Hilbert’s Irreducibility Theorem over Q

Letf(X; T ₁, ...,T _n) be an irreducible polynomial overQ. LetB be the set ofb teZ ⁿ such thatf(X;b) is of lesser degree or reducible overQ. Let ?={F _j}{F _j } _j?1 ^∞ be a Følner sequence inZ ⁿ — that is, a sequence of finite nonempty subsetsF _j ?Z ⁿ such that for eachvteZ ⁿ , $\mathop {lim}\limits_{j \to \infty } \frac{{\left| {F_j \cap (F_j + \upsilon )} \right|}}{{\left| {F_j } \right|}} = 1$ Suppose ? satisfies the extra condition that forW a properQ-subvariety ofP ⁿ ?A ⁿ and ?>0, there is a neighborhoodU ofW(R) in the real topology such that $\mathop {lim sup}\limits_{j \to \infty } \frac{{\left| {F_j \cap U} \right|}}{{\left| {F_j } \right|}}< \varepsilon $ whereZ ⁿ is identified withA ⁿ (Z). We prove $\mathop {lim}\limits_{j \to \infty } \frac{{\left| {F_j \cap B} \right|}}{{\left| {F_j } \right|}} = 0$ .     

Low eigenvalues of Laplacian matrices of large random graphs

For each n?≥ 2, let A _n ?=?(ξ _ij ) be an n?× n symmetric matrix with diagonal entries equal to zero and the entries in the upper triangular part being independent with mean?μ _n and standard deviation σ _n . The Laplacian matrix is defined by ${{\bf \Delta}_n={\rm diag}(\sum_{j=1}^n\xi_{ij})_{1\leq i \leq n}-{\bf A}_n}$ . In this paper, we obtain the laws of large numbers for λ _n–k (Δ _n ), the (k?+?1)-th smallest eigenvalue of Δ _n , through the study of the order statistics of weakly dependent random variables. Under certain moment conditions on ξ _ij ’s, we prove that, as n → ∞, $$({\rm i})\quad\frac{\lambda_{n-k}({\bf \Delta}_n)-n\mu_n} {\sigma_n\sqrt{n\log n}} \to -\sqrt{2} \quad a.s. $$ for any k?≥ 1. Further, if {Δ _n ; n?≥ 2} are independent with?μ _n ?=?0 and σ _n ?=?1, then, (ii) the sequence ${\;\left\{\frac{\lambda_{n-k}({\bf \Delta}_n)}{\sqrt{n\log n}};n\geq 2\right\}}$ is dense in ${\left[-\sqrt{2+2(k+1)^{-1}}, -\sqrt{2}\,\right]\ a.s.}$ for any k ≥ 0. In particular, (i) holds for the Erd?s–Rényi random graphs. Similar results are also obtained for the largest eigenvalues of Δ _n .     

Global existence for the Cauchy problem of the parabolic–parabolic Keller–Segel system on the plane

This paper is concerned with the Cauchy problem for the Keller–Segel system $$\left\{\begin{array}{l@{\quad}l}u_t = \nabla \cdot (\nabla u - u \nabla v) & \hbox{in } {\bf R}^{2} \times(0,\infty),\\v_t = \Delta v - \lambda v + u & \hbox{ in } {\bf R}^2 \times(0,\infty),\\u(x,0) = u_0 (x) \geq 0, \; v(x,0) = v_0 (x) \geq 0 & \hbox{ in} {\bf R}^2\end{array}\right.$$ with a constant λ ≥ 0, where ${(u_0, v_0) \in (L^1 ({\bf R}^2) \cap L^\infty ({\bf R}^2) ) \times (L^1 ({\bf R}^2) \cap H^1 ({\bf R}^2))}$ . Let $$m (u_0;{\bf R}^2) = \int\limits_{{\bf R}^2} u_0 (x) dx$$ . The same method as in [9] yields the existence of a blowup solution with m (u ₀; R ²) > 8π. On the other hand, it was recently shown in [7] that under additional hypotheses ${u_0 \log (1 + |x|^2) \in L^1 ({\bf R}^2)}$ and ${u_0 \log u_0 \in L^1 ({\bf R}^2)}$ , any solution with m(u ₀; R ²) < 8π exists globally in time. In[18], the extra assumptions were taken off, but the condition on mass was restricted to m (u ₀; R ²) < 4π. In this paper, we prove that any solution with m (u ₀; R ²) < 8π exists globally in time under no extra conditions. Furthermore the global existence of solutions is obtained under some condition on u ₀ also in the critical case m (u ₀; R ²) = 8π.     

A method of convergence acceleration of some continued fractions II

Most of the methods for convergence acceleration of continued fractions K(a _m /b _m ) are based on the use of modified approximants S _m (ω _m ) in place of the classical ones S _m (0), where ω _m are close to the tails f ^(m) of the continued fraction. Recently (Nowak, Numer Algorithms 41(3):297–317, 2006), the author proposed an iterative method producing tail approximations whose asymptotic expansion accuracies are being improved in each step. This method can be successfully applied to a convergent continued fraction K(a _m /b _m ), where $a_m = \alpha_{-2} m^2 + \alpha_{-1} m + \ldots$ , b _m ?=?β _???1 m?+?β ₀?+?... (α _???2?≠?0, $|\beta_{-1}|^2+|\beta_{0}|^2\neq 0$ , i.e. $\deg a_m=2$ , $\deg b_m\in\{0,1\}$ ). The purpose of this paper is to extend this idea to the class of two-variant continued fractions K (a _n /b _n ?+?a _n ′/b _n ′) with a _n , a _n ′, b _n , b _n ′ being rational in n and $\deg a_n=\deg a_n'$ , $\deg b_n=\deg b_n'$ . We give examples involving continued fraction expansions of some elementary and special mathematical functions.     

On the functions counting walks with small steps in the quarter plane

Models of spatially homogeneous walks in the quarter plane $\mathbf{ Z}_{+}^{2}$ with steps taken from a subset $\mathcal{S}$ of the set of jumps to the eight nearest neighbors are considered. The generating function (x,y,z)?Q(x,y;z) of the numbers q(i,j;n) of such walks starting at the origin and ending at $(i,j) \in\mathbf{ Z}_{+}^{2}$ after n steps is studied. For all non-singular models of walks, the functions x?Q(x,0;z) and y?Q(0,y;z) are continued as multi-valued functions on C having infinitely many meromorphic branches, of which the set of poles is identified. The nature of these functions is derived from this result: namely, for all the 51 walks which admit a certain infinite group of birational transformations of C ², the interval $]0,1/|\mathcal{S}|[$ of variation of z splits into two dense subsets such that the functions x?Q(x,0;z) and y?Q(0,y;z) are shown to be holonomic for any z from the one of them and non-holonomic for any z from the other. This entails the non-holonomy of (x,y,z)?Q(x,y;z), and therefore proves a conjecture of Bousquet-Mélou and Mishna in Contemp. Math. 520:1?C40 (2010).     

Classification of hypersurfaces with constant M?bius curvature in {\mathbb{S}^{m+1}}

Let ${x: M^{m} \rightarrow \mathbb{S}^{m+1}}$ be an m-dimensional umbilic-free hypersurface in an (m?+?1)-dimensional unit sphere ${\mathbb{S}^{m+1}}$ , with standard metric I?= dx · dx. Let II be the second fundamental form of isometric immersion x. Define the positive function ${\rho=\sqrt{\frac{m}{m-1}}\|II-\frac{1}{m}tr(II)I\|}$ . Then positive definite (0,2) tensor ${\mathbf{g}=\rho^{2}I}$ is invariant under conformal transformations of ${\mathbb{S}^{m+1}}$ and is called M?bius metric. The curvature induced by the metric g is called M?bius curvature. The purpose of this paper is to classify the hypersurfaces with constant M?bius curvature.     

An Erdös-Ko-Rado theorem for the subcubes of a cube

LetP be that partially ordered set whose elements are vectors x=(x ₁, ...,x _n ) withx _i ε {0, ...,k} (i=1, ...,n) and in which the order is given byx≦y iffx _i =y _i orx _i =0 for alli. LetN _i (P)={x εP : |{j:x _j ≠ 0}|=i}. A subsetF ofP is called an Erdös-Ko-Rado family, if for allx, y εF it holdsx ≮y, x ≯ y, and there exists az εN ₁(P) such thatz≦x andz≦y. Let ? be the set of all vectorsf=(f ₀, ...,f _n ) for which there is an Erdös-Ko-Rado familyF inP such that |N _i (P) ∩F|=f _i (i=0, ...,n) and let 〈?〉 be its convex closure in the (n+1)-dimensional Euclidean space. It is proved that fork≧2 (0, ..., 0) and \(\left( {0,...,0,\overbrace {i - component}^{\left( {\begin{array}{*{20}c} {n - 1} \\ {i - 1} \\ \end{array} } \right)}k^{i - 1} ,0,...,0} \right)\) (i=1, ...,n) are the vertices of 〈?〉.     

Two remarks on normality preserving Borel automorphisms of \boldsymbol{\mathbb{R}{\kern-8.3pt}\mathbb{R}}^{{\bf \textit{n}}}

Let T be a bijective map on ? ⁿ such that both T and T ^???1 are Borel measurable. For any θ?∈?? ⁿ and any real n ×n positive definite matrix Σ, let N (θ, Σ) denote the n-variate normal (Gaussian) probability measure on ? ⁿ with mean vector θ and covariance matrix Σ. Here we prove the following two results: (1) Suppose $N(\boldsymbol{\theta}_j, I)T^{-1}$ is gaussian for 0?≤?j?≤?n, where I is the identity matrix and {θ _j ???θ ₀, 1?≤?j?≤?n } is a basis for ? ⁿ . Then T is an affine linear transformation; (2) Let $\Sigma_j = I + \varepsilon_j \mathbf{u}_j \mathbf{u}_j^{\prime},$ 1?≤?j?≤?n where ε _j ?>???1 for every j and {u _j , 1?≤?j?≤?n } is a basis of unit vectors in ? ⁿ with $\mathbf{u}_j^{\prime}$ denoting the transpose of the column vector u _j . Suppose N(0, I)T ^???1 and $N (\mathbf{0}, \Sigma_j)T^{-1},$ 1?≤?j?≤?n are gaussian. Then $T(\mathbf{x}) = \sum\nolimits_{\mathbf{s}} 1_{E_{\mathbf{s}}}(\mathbf{x}) V \mathbf{s} U \mathbf{x}$ a.e. x, where s runs over the set of 2 ⁿ diagonal matrices of order n with diagonal entries ±1, U, V are n ×n orthogonal matrices and { E _s } is a collection of 2 ⁿ Borel subsets of ? ⁿ such that { E _s } and {V s U (E _s )} are partitions of ? ⁿ modulo Lebesgue-null sets and for every j, $V \mathbf{s} U \Sigma_j (V \mathbf{s} U)^{-1}$ is independent of all s for which the Lebesgue measure of E _s is positive. The converse of this result also holds. Our results constitute a sharpening of the results of Nabeya and Kariya (J. Multivariate Anal. 20 (1986) 251–264) and part of Khatri (Sankhyā Ser. A 49 (1987) 395–404).     

The cancellation of Fourier coefficients of cusp forms over different sparse sequences

Let λ f(n) be the n-th normalized Fourier coefficient of a holomorphic Hecke eigenform f(z)∈Sk(Γ).In this paper,we established nontrivial estimates for ∑n≤xλf(ni)λf(nj),where 1 ≤ i j ≤ 4.     

Searching for a Best Least Absolute Deviations Solution of an Overdetermined System of Linear Equations Motivated by Searching for a Best Least Absolute Deviations Hyperplane on the Basis of Given Data

We consider the problem of searching for a best LAD-solution of an overdetermined system of linear equations Xa=z, X∈?^m×n, m≥n, \(\mathbf{a}\in \mathbb{R}^{n}, \mathbf {z}\in\mathbb{R}^{m}\). This problem is equivalent to the problem of determining a best LAD-hyperplane x?a ^T x, x∈? ⁿ on the basis of given data \((\mathbf{x}_{i},z_{i}), \mathbf{x}_{i}= (x_{1}^{(i)},\ldots,x_{n}^{(i)})^{T}\in \mathbb{R}^{n}, z_{i}\in\mathbb{R}, i=1,\ldots,m\), whereby the minimizing functional is of the form

$F(\mathbf{a})=\|\mathbf{z}-\mathbf{Xa}\|_1=\sum_{i=1}^m|z_i-\mathbf {a}^T\mathbf{x}_i|.$

An iterative procedure is constructed as a sequence of weighted median problems, which gives the solution in finitely many steps. A criterion of optimality follows from the fact that the minimizing functional F is convex, and therefore the point a ^?∈? ⁿ is the point of a global minimum of the functional F if and only if 0∈?F(a ^?).

Motivation for the construction of the algorithm was found in a geometrically visible algorithm for determining a best LAD-plane (x,y)?αx+βy, passing through the origin of the coordinate system, on the basis of the data (x _i ,y _i ,z _i ),i=1,…,m.     

On a vectorized version of a generalized Richardson extrapolation process

Let {x _m } be a vector sequence that satisfies

$$\boldsymbol{x}_{m}\sim \boldsymbol{s}+\sum\limits^{\infty}_{i=1}\alpha_{i} \boldsymbol{g}_{i}(m)\quad\text{as \(m\to\infty\)}, $$

s being the limit or antilimit of {x _m } and \(\{\boldsymbol {g}_{i}(m)\}^{\infty }_{i=1}\) being an asymptotic scale as m → ∞, in the sense that

$$\lim\limits_{m\to\infty}\frac{\|\boldsymbol{g}_{i+1}(m)\|}{\|\boldsymbol{g}_{i}(m)\|}=0,\quad i=1,2,\ldots. $$

The vector sequences \(\{\boldsymbol {g}_{i}(m)\}^{\infty }_{m=0}\), i = 1, 2,…, are known, as well as {x _m }. In this work, we analyze the convergence and convergence acceleration properties of a vectorized version of the generalized Richardson extrapolation process that is defined via the equations

$$\sum\limits^{k}_{i=1}\langle\boldsymbol{y},{\Delta}\boldsymbol{g}_{i}(m)\rangle\widetilde{\alpha}_{i}=\langle\boldsymbol{y},{\Delta}\boldsymbol{x}_{m}\rangle,\quad n\leq m\leq n+k-1;\quad \boldsymbol{s}_{n,k}=\boldsymbol{x}_{n}+\sum\limits^{k}_{i=1}\widetilde{\alpha}_{i}\boldsymbol{g}_{i}(n), $$

s _{n, k} being the approximation to s. Here, y is some nonzero vector, 〈? ,?〉 is an inner product, such that \(\langle \alpha \boldsymbol {a},\beta \boldsymbol {b}\rangle =\overline {\alpha }\beta \langle \boldsymbol {a},\boldsymbol {b}\rangle \), and Δx _m = x _{m + 1}? x _m and Δg _i (m) = g _i (m + 1)?g _i (m). By imposing a minimal number of reasonable additional conditions on the g _i (m), we show that the error s _{n, k} ? s has a full asymptotic expansion as n→∞. We also show that actual convergence acceleration takes place, and we provide a complete classification of it.

     

Sections of the Taylor expansion of exp(g(z)) whereg(z) is entire and admissible in the sense of Hayman

The author considers $$f(z) = \exp (g(z)) = \sum\limits_{j = 0}^\infty {a_j z^j ,}$$ , whereg(z) is a real, entire, transcendental function admissible in the sense of W. K. Hayman [(1956): Reine Angew. Math.,196:67-95]. The aim of the paper is to study, asm→+∞, the distribution of the zeros of the partial sums $$s_m (z) = \sum\limits_{j = 0}^m {a_j z^j .}$$ The results are stated in terms of Hayman's auxiliary functions Ifr>0 is large enough, botha(r) andb(r) are positive,a(r) is strictly increasing, and $$a(r) \to + \infty ,b(r) \to + \infty (r \to + \infty ).$$ Define the sequence (R _m ) (m>m ₀) by the relationsa(R _m )=m. From the following proposition, typical of those stated in the paper, it is easy to deduce accurate information regarding those zeros ofs _m (z) that lie near the positive axis: Letζ be an auxiliary complex variable; then asm→+∞, and forR=R _m , the functions $$\left\{ {1 + \zeta \left( {\frac{2}{{b(R)}}} \right)^{1/2} } \right\}^{ - m} \{ f(R)\} ^{ - 1} s_m \left( {R\left( {1 + \zeta \left( {\frac{2}{{b(R)}}} \right)^{1/2} } \right)} \right)$$ tend to $$\frac{1}{2}e^{\zeta ^2 } \left( {1 - \frac{2}{{\sqrt \pi }}\int_0^\zeta {e^{ - \sigma ^2 } d\sigma } } \right)$$ uniformly on every compact subset of theζ-plane. There are similar, equally precise, results covering those zeros ofs _m (z) that lie near any rayte ^i?(0<t<+∞,?≠0).     

On the Fourth Moment of Coefficients of Symmetric Square L-Function

Let f(z) be a holomorphic Hecke eigencuspform of weight k for the full modular group. Let ?? _f (n) be the nth normalized Fourier coefficient of f(z). Suppose that L(sym² f, s) is the symmetric square L-function associated with f(z), and $ \lambda _{sym^2 f} (n) $ (n) denotes the nth coefficient L(sym² f, s). In this paper, it is proved that $$ \sum\limits_{n \leqslant x} {\lambda _{sym^2 f}^4 (n)} = xP2(\log x) + O(x^{\frac{{79}} {{81}} + \varepsilon } ), $$ , where P ₂(t) is a polynomial in t of degree 2. Similarly, it is obtained that $$ \sum\limits_{n \leqslant x} {\lambda _f^4 (n^2 )} = x\tilde P2(\log x) + O(x^{\frac{{79}} {{81}} + \varepsilon } ), $$ , where $ \tilde P_2 (t) $ is a polynomial in t of degree 2.     

Approximation of classes of convolutions by linear operators of special form

A parametric family of operators G _ρ is constructed for the class of convolutions W _p,m (K) whose kernel K was generated by the moment sequence. We obtain a formula for evaluating $E(W_{p,m} (K);G_\rho )_p : = \mathop {\sup }\limits_{f \in W_{p,m} (K)} \left\| {f - G_\rho (f)} \right\|_p .$ . For the case in which W _p,m (K)=W _r,β ^p,m , we obtain an expansion in powers of the parameter ?=?ln ρ for E(W _p,m ^r,β ; G _ρ,r ) _p , where β ∈ ?, γ > 0, and m ∈ ?, while p = 1 or p = ∞.     

Freud's conjecture and approximation of reciprocals of weights by polynomials

LetW(x) be a function that is nonnegative inR, positive on a set of positive measure, and such that all power moments ofW ² (x) are finite. Let {p _n (W ²;x)} ₀ ^∞ denote the sequence of orthonormal polynomials with respect to the weightW ², and let {α _n } ₁ ^∞ and {β _n } ₁ ^∞ denote the coefficients in the recurrence relation $$xp_n (W^2 ,x) = \alpha _{n + 1} p_{n + 1} (W^2 ,x) + \beta _n p_n (W^2 ,x) + \alpha _n p_{n - 1} (W^2 ,x).$$ We obtain a sufficient condition, involving mean approximation ofW ^?1 by reciprocals of polynomials, for $$\mathop {\lim }\limits_{n \to \infty } {{\alpha _n } \mathord{\left/ {\vphantom {{\alpha _n } {c_n }}} \right. \kern-\nulldelimiterspace} {c_n }} = \tfrac{1}{2}and\mathop {\lim }\limits_{n \to \infty } {{\beta _n } \mathord{\left/ {\vphantom {{\beta _n } {c_{n + 1} }}} \right. \kern-\nulldelimiterspace} {c_{n + 1} }} = 0,$$ wherec _{n 1} ^∞ is a certain increasing sequence of positive numbers. In particular, we obtain a sufficient condition for Freud's conjecture associated with weights onR.     

Rows and diagonals of the Walsh array for entire functions with smooth Maclaurin series coefficients

Let \(f(z): = \sum\nolimits_{j = 0}^\infty {a_j z^J } \) be entire, witha _j≠0,j large enough, \(\lim _{J \to \infty } a_{j + 1} /a_J = 0\) , and, for someq∈C, \(q_j : = a_{j - 1} a_{j + 1} /a_j^2 \to q\) asj→∞. LetE _mn(f; r) denote the error in best rational approximation off in the uniform norm on |z‖≤r, by rational functions of type (m, n). We study the behavior ofE _mn(f; r) asm and/orn→∞. For example, whenq above is not a root of unity, or whenq is a root of unity, butq _m has a certain asymptotic expansion asm→∞, then we show that, for each fixed positive integern, ,m→∞. In particular, this applies to the Mittag-Leffler functions \(f(z): = \sum\nolimits_{j = 0}^\infty {z^j /\Gamma (1 + j/\lambda )} \) and to \(f(z): = \sum\nolimits_{j = 0}^\infty {z^j /(j!)^{I/\lambda } } \) , λ>0. When |q‖<1, we also handle the diagonal case, showing, for example, that ,n→∞. Under mild additional conditions, we show that we can replace 1+0(1) ⁿ by 1+0(1). In all cases we show that the poles of the best approximants approach ∞ asm→∞.     

A decomposition of the universal embedding space for the near polygon {{\mathbb H}_n}

Let ${{\mathbb H}_n, n \geq 1}$ , be the near 2n-gon defined on the 1-factors of the complete graph on 2n?+?2 vertices, and let e denote the absolutely universal embedding of ${{\mathbb H}_n}$ into PG(W), where W is a ${\frac{1}{n+2} \left(\begin{array}{c}2n+2 \\ n+1\end{array}\right)}$ -dimensional vector space over the field ${{\mathbb F}_2}$ with two elements. For every point z of ${{\mathbb H}_n}$ and every ${i \in {\mathbb N}}$ , let Δ _i (z) denote the set of points of ${{\mathbb H}_n}$ at distance i from z. We show that for every pair {x, y} of mutually opposite points of ${{\mathbb H}_n, W}$ can be written as a direct sum ${W_0 \oplus W_1 \oplus \cdots \oplus W_n}$ such that the following four properties hold for every ${i \in \{0,\ldots,n \}}$ : (1) ${\langle e(\Delta_i(x) \cap \Delta_{n-i}(y)) \rangle = {\rm PG}(W_i)}$ ; (2) ${\left\langle e \left( \bigcup_{j \leq i} \Delta_j(x) \right) \right\rangle = {\rm PG}(W_0 \oplus W_1 \oplus \cdots \oplus W_i)}$ ; (3) ${\left\langle e \left( \bigcup_{j \leq i} \Delta_j(y) \right) \right\rangle = {\rm PG}(W_{n-i}\oplus W_{n-i+1} \oplus \cdots \oplus W_n)}$ ; (4) ${\dim(W_i) = |\Delta_i(x) \cap \Delta_{n-i}(y)| = \left(\begin{array}{c}n \\ i\end{array}\right)^2 - \left(\begin{array}{c}n \\ i-1\end{array}\right) \cdot \left(\begin{array}{c}n \\ i+1\end{array}\right)}$ .     

Pair correlation of roots of rational functions with rational generating functions and quadratic denominators

For any rational functions with complex coefficients A(z),B(z), and C(z), where A(z), C(z) are not identically zero, we consider the sequence of rational functions H _m (z) with generating function ∑H _m (z)t ^m =1/(A(z)t ²+B(z)t+C(z)). We provide an explicit formula for the limiting pair correlation function of the roots of $\prod_{m=0}^{n}H_{m}(z)$ , as n→∞, counting multiplicities, on certain closed subarcs J of a curve $\mathcal{C}$ where the roots lie. We give an example where the limiting pair correlation function does not exist if J contains the endpoints of $\mathcal{C}$ .     

On the inverse spectral problem for the quasi-periodic Schrödinger equation

We study the quasi-periodic Schrödinger equation $$-\psi''(x) + V(x) \psi(x) = E \psi(x), \quad x \in{ \mathbf {R}} $$ in the regime of “small” V. Let $(E_{m}',E''_{m})$ , m∈Z ^ν , be the standard labeled gaps in the spectrum. Our main result says that if $E''_{m} - E'_{m} \le\varepsilon\exp(-\kappa_{0} |m|)$ for all m∈Z ^ν , with ε being small enough, depending on κ ₀>0 and the frequency vector involved, then the Fourier coefficients of V obey $|c(m)| \le \varepsilon^{1/2} \exp(-\frac{\kappa_{0}}{2} |m|)$ for all m∈Z ^ν . On the other hand we prove that if |c(m)|≤εexp(?κ ₀|m|) with ε being small enough, depending on κ ₀>0 and the frequency vector involved, then $E''_{m} - E'_{m} \le2 \varepsilon\exp(-\frac {\kappa_{0}}{2} |m|)$ .     

Dichotomies for C0(X) and C b (X) spaces

Jachymski showed that the set $$\left\{ {(x,y) \in {{\rm{c}}_0} \times {{\rm{c}}_0}:\left( {\sum\limits_{i = 1}^n {\alpha (i)x(i)y(i)} } \right)_{n = 1}^\infty {\rm{ is bounded}}} \right\}$$ is either a meager subset of c ₀ × c ₀ or is equal to c ₀ × c ₀. In the paper we generalize this result by considering more general spaces than c ₀, namely C ₀(X), the space of all continuous functions which vanish at infinity, and C _b (X), the space of all continuous bounded functions. Moreover, we replace the meagerness by σ-porosity.