Approximating the maximum size of a k-regular induced subgraph by an upper bound on the co-k-plex number

Let ?? _k and $ {\hat{\alpha }_k} $ denote respectively the maximum cardinality of a k-regular induced subgraph and the co-k-plex number of a given graph. In this paper, we introduce a convex quadratic programming upper bound on $ {\hat{\alpha }_k} $ , which is also an upper bound on ?? _k . The new bound denoted by $ {\hat{\upsilon }_k} $ improves the bound ?? _k given in [3]. For regular graphs, we prove a necessary and sufficient condition under which $ {\hat{\upsilon }_k} $ equals ?? _k . We also show that the graphs for which $ {\hat{\alpha }_k} $ equals $ {\hat{\upsilon }_k} $ coincide with those such that ?? _k equals ?? _k . Next, an improvement of $ {\hat{\upsilon }_k} $ denoted by $ {\hat{\vartheta }_k} $ is proposed, which is not worse than the upper bound ? _k for ?? _k introduced in [8]. Finally, some computational experiments performed to appraise the gains brought by $ {\hat{\vartheta }_k} $ are reported.     

On the limit superior of sequences of sets

qVЕРхНИИ пРЕДЕл пОслЕД ОВАтЕльНОстИ МНОжЕс тВA _n ОпРЕДЕльЕтсь сООтНО шЕНИЕМ \(\mathop {\lim sup}\limits_{n \to \infty } A_n = \mathop \cap \limits_{k = 1}^\infty \mathop \cup \limits_{n = k}^\infty A_n . B\) стАтьЕ РАссМАтРИВА Етсь слЕДУУЩИИ ВОпРО с: ЧтО МОжНО скАжАть О ВЕРхНИх пРЕДЕлАх \(\mathop {\lim sup}\limits_{k \to \infty } A_{n_k }\) , еслИ ИжВЕстНО, ЧтО пРЕсЕЧЕНИь \(\mathop \cap \limits_{k = 1}^\infty A_{n_k }\) «МАлы» Дль кАж-ДОИ пОДпОслЕДОВАтЕльНОстИ \((A_{n_k } )\) ? ДОкАжыВАЕтсь, Ч тО

1. ЕслИ \(\mathop \cap \limits_{k = 1}^\infty A_{n_k }\) — кОНЕЧНОЕ МНО жЕстВО Дль кАжДОИ пОДпОслЕДОВАтЕльНОстИ \((A_{n_k } )\) , тО НАИДЕтсь тАкАь пОДпО слЕДОВАтЕльНОсть, Дл ь кОтОРОИ МНОжЕстВО \(\mathop {\lim sup}\limits_{k \to \infty } A_{n_k }\) сЧЕтНО;
2. ЕслИ \(2^{\aleph _0 } = \aleph _1\) , тО сУЩЕстВУЕ т тАкАь пОслЕДОВАтЕл ьНОсть (A_n), ЧтО \(\mathop \cap \limits_{k = 1}^\infty A_{n_k }\) — сЧЕтНОЕ МНОжЕстВО Дль лУБОИ п ОДпОслЕДОВАтЕльНОстИ \((A_{n_k } )\) , НО \(\mathop {\lim sup}\limits_{k \to \infty } A_{n_k }\) ИМЕЕт МОЩ-НОсть кОНтИНУУМА;
3. ЕслИA _n — БОРЕлЕ ВскИЕ МНОжЕстВА В НЕкОтОРО М пОлНОМ сЕпАРАБЕльНО М МЕтРИЧЕскОМ пРОстРАНстВЕ, И \(\mathop \cap \limits_{k = 1}^\infty A_{n_k }\) — сЧЕт НОЕ МНОжЕстВО Дль кАж ДОИ пОДпОслЕДОВАтЕльНОстИ \((A_{n_k } )\) , тО сУЩЕстВУЕт тАкАь п ОДпОслЕДОВАтЕльНОсть, ЧтО \(\mathop {\lim sup}\limits_{k \to \infty } A_{n_k }\) — сЧЕтНОЕ МНОжЕстВО. кРОМЕ тОгО, ДОкАжАНО, Ч тО В слУЧАьх А) И В) В пОслЕДОВАтЕльНОстИ (A _n ) сУЩЕстВУЕт схОДьЩА ьсь пОДпОслЕДОВАтЕльНО сть.

кРОМЕ тОгО, ДОкАжАНО, Ч тО В слУЧАьх А) И В) В пОслЕДОВАтЕльНОстИ (А _n ) сУЩЕстВУЕт схОДьЩ Аьсь пОДпОслЕДОВАтЕльНО сть.     

Extreme points of the set of Banach limits

Let ${\mathbb{N}}$ be the set of all natural numbers and ${\ell_\infty=\ell_\infty (\mathbb{N})}$ be the Banach space of all bounded sequences x = (x ₁, x ₂ . . .) with the norm $$\|x\|_{\infty}=\sup_{n\in\mathbb{N}}|x_n|,$$ and let ${\ell_\infty^*}$ be its Banach dual. Let ${\mathfrak{B} \subset \ell_\infty^*}$ be the set of all normalised positive translation invariant functionals (Banach limits) on ? _∞ and let ${ext(\mathfrak{B})}$ be the set of all extreme points of ${\mathfrak{B}}$ . We prove that an arbitrary sequence (B _j ) _{j ≥ 1}, of distinct points from the set ${ext(\mathfrak{B})}$ is 1-equivalent to the unit vector basis of the space ? ₁ of all summable sequences. We also study Cesáro-invariant Banach limits. In particular, we prove that the norm closed convex hull of ${ext(\mathfrak{B})}$ does not contain a Cesáro-invariant Banach limit.     

Analytische Fortsetzbarkeit von zufälligen Potenzreihen bezüglich abhängiger Zufallsvariabler

Рассматриваются слу чайная величина \(\mathfrak{X} = (X_n (\omega ))\) , удовлетворяющая усл овиюE(X _n ⁴ )≦M, и соответствующ ий случайный степенн ой ряд \(f_x (z;\omega ) = \mathop \sum \limits_{n = 0}^\infty a_n X_n (\omega )z^n\) . Устанавливаются тео ремы непродолжимост и почти наверное:

1. дляf _x при условиях с лабой мультипликати вности на \(\mathfrak{X}\) ,
2. для \(f_{\tilde x}\) , где \(\mathop \mathfrak{X}\limits^ \sim = (\mathop X\limits^ \sim _n )\) есть подп оследовательность в \(\mathfrak{X}\) ,
3. для по крайней мере од ного из рядовf _x′ илиf _x″ , где \(\mathfrak{X}'\) и \(\mathfrak{X}''\) — некоторые п ерестановки \(\mathfrak{X}\) , выбираемые универс ально, т. е. независимо от коэффициентовa _n .

     

Recovery of a function from the coefficients of its Dirichlet series

Let L(λ) be an entire function of exponential type, letγ(t) be the function associated with L(λ) in the sense of Borel, let \(\bar D\) be the smallest closed convex set containing all the singular points ofγ(t), let λ₀, λ₁, ..., λ_n, ... be the simple zeros of L(λ), and let A \(\bar D\) be the space of functions analytic on \(\bar D\) with the topology of the inductive limit. With an arbitraryf (z) ∈ A( \(\bar D\) ) we can associate the series whereC is a closed contour containing \(\bar D\) , on and inside of whichf (z) is analytic. We give a method of recoveringf (z) from the Dirichlet coefficientsa _n.     

Power Majorization and Majorization of Sequences

Let \(\bar x\) , \(\bar y\ \in\ R_n\) be vectors which satisfy x₁ ≥ x₂ ≥ … ≥ x_n and y₁ ≥ y₂ >- … ≥ y_n and Σx_i = Σy_i. We say that \(\bar x\) is power majorized by \(\bar y\) if Σx_i ^p ≤ Σy_i ^p for all real p ? [0, 1] and Σx_i ^p ≥ Σy_i ^p for p ∈ [0, 1]. In this paper we give a classification of functions ? (which includes all possible positive polynomials) for which \(\bar\phi(\bar x) \leq \bar\phi(\bar y)\) (see definition below) when \(\bar x\) is power majorized \(\bar y\) . We also answer a question posed by Clausing by showing that there are vectors \(\bar x\) , \(\bar y\ \in\ R^n\) of any dimension n ≥ 4 for which there is a convex function ? such that \(\bar x\) is power majorized by \(\bar y\) and \(\bar\phi(\bar x)\ >\ \bar\phi(\bar y)\) .     

Sur un problème de capitulation du corps ℚ\sqrt {p_1 p_2 } , i dont le 2-groupe de classes est élémentaire

Let p ₁ ≡ p ₂ ≡ 1 (mod 8) be primes such that \(\left( {\tfrac{{p_1 }} {{p_2 }}} \right) = - 1\) and \(\left( {\tfrac{2} {{a + b}}} \right) = - 1\) , where p ₁ p ₂ = a ²+b ². Let \(i = \sqrt { - 1} \) , d = p ₁ p ₂, \(\Bbbk = \mathbb{Q}(\sqrt {d,} i),\Bbbk _2^{(1)} \) be the Hilbert 2-class field and \(\Bbbk ^{(*)} = \mathbb{Q}(\sqrt {p_1 } ,\sqrt {p_2 } ,i)\) be the genus field of \(\Bbbk \) . The 2-part \(C_{\Bbbk ,2} \) of the class group of \(\Bbbk \) is of type (2, 2, 2), so \(\Bbbk _2^{(1)} \) contains seven unramified quadratic extensions \(\mathbb{K}_j /\Bbbk \) and seven unramified biquadratic extensions \(\mathbb{L}_j /\Bbbk \) . Our goal is to determine the fourteen extensions, the group \(C_{\Bbbk ,2} \) and to study the capitulation problem of the 2-classes of \(\Bbbk \) .     

Endpoint Bounds for the Quartile Operator

It is a result by Lacey and Thiele (Ann. of Math. (2) 146(3):693–724, 1997; ibid. 149(2):475–496, 1999) that the bilinear Hilbert transform maps $L^{p_{1}}(\mathbb{R}) \times L^{p_{2}}(\mathbb{R}) $ into $L^{p_{3}}(\mathbb{R})$ whenever (p ₁,p ₂,p ₃) is a Hölder tuple with p ₁,p ₂>1 and $p_{3}>\frac{2}{3}$ . We study the behavior of the quartile operator, which is the Walsh model for the bilinear Hilbert transform, when $p_{3}=\frac{2}{3}$ . We show that the quartile operator maps $L^{p_{1}}(\mathbb{R}) \times L^{p_{2}}(\mathbb{R}) $ into $L^{\frac{2}{3},\infty}(\mathbb{R})$ when p ₁,p ₂>1 and one component is restricted to subindicator functions. As a corollary, we derive that the quartile operator maps $L^{p_{1}}(\mathbb{R}) \times L^{p_{2},\frac{2}{3}}(\mathbb{R}) $ into $L^{\frac{2}{3},\infty}(\mathbb{R})$ . We also provide weak type estimates and boundedness on Orlicz-Lorentz spaces near p ₁=1,p ₂=2 which improve, in the Walsh case, the results of Bilyk and Grafakos (J. Geom. Anal. 16 (4):563–584, 2006) and Carro et al. (J. Math. Anal. Appl. 357(2):479–497, 2009). Our main tool is the multi-frequency Calderón-Zygmund decomposition from (Nazarov et al. in Math. Res. Lett. 17(3):529–545, 2010).     

Extinction profile of the logarithmic diffusion equation

Let ${N \geq 3}$ and u be the solution of u _t = Δ log u in ${\mathbb{R}^N \times (0, T)}$ with initial value u ₀ satisfying ${B_{k_1}(x, 0) \leq u_{0} \leq B_{k_2}(x, 0)}$ for some constants k ₁ > k ₂ > 0 where ${B_k(x, t) = 2(N - 2)(T - t)_{+}^{N/(N - 2)}/(k + (T - t)_{+}^{2/(N - 2)}|x|^{2})}$ is the Barenblatt solution for the equation and ${u_0 - B_{k_0} \in L^{1}(\mathbb{R}^{N})}$ for some constant k ₀ > 0 if ${N \geq 4}$ . We give a new different proof on the uniform convergence and ${L^1(\mathbb{R}^N)}$ convergence of the rescaled function ${\tilde{u}(x, s) = (T - t)^{-N/(N - 2)}u(x/(T - t)^{-1/(N - 2)}, t), s = -{\rm log}(T - t)}$ , on ${\mathbb{R}^N}$ to the rescaled Barenblatt solution ${\tilde{B}_{k_0}(x) = 2(N - 2)/(k_0 + |x|^{2})}$ for some k ₀ > 0 as ${s \rightarrow \infty}$ . When ${N \geq 4, 0 \leq u_0(x) \leq B_{k_0}(x, 0)}$ in ${\mathbb{R}^N}$ , and ${|u_0(x) - B_{k_0}(x, 0)| \leq f \in L^{1}(\mathbb{R}^{N})}$ for some constant k ₀ > 0 and some radially symmetric function f, we also prove uniform convergence and convergence in some weighted L ¹ space in ${\mathbb{R}^N}$ of the rescaled solution ${\tilde{u}(x, s)}$ to ${\tilde{B}_{k_0}(x)}$ as ${s \rightarrow \infty}$ .     

Solutions of the Allen-Cahn equation which are invariant under screw-motion

Let ${\phi(x)}$ be a rational function of degree >?1 defined over a number field K and let ${\Phi_{n}(x,t) = \phi^{(n)}(x)-t \in K(x,t)}$ where ${\phi^{(n)}(x)}$ is the nth iterate of ${\phi(x)}$ . We give a formula for the discriminant of the numerator of Φ _n (x, t) and show that, if ${\phi(x)}$ is postcritically finite, for each specialization t ₀ of t to K, there exists a finite set ${S_{t_0}}$ of primes of K such that for all n, the primes dividing the discriminant are contained in ${S_{t_0}}$ .     

Geometric ergodicity and the spectral gap of non-reversible Markov chains

We argue that the spectral theory of non-reversible Markov chains may often be more effectively cast within the framework of the naturally associated weighted-L _∞ space ${L_\infty^V}$ , instead of the usual Hilbert space L ₂?=?L ₂(π), where π is the invariant measure of the chain. This observation is, in part, based on the following results. A discrete-time Markov chain with values in a general state space is geometrically ergodic if and only if its transition kernel admits a spectral gap in ${L_\infty^V}$ . If the chain is reversible, the same equivalence holds with L ₂ in place of ${L_\infty^V}$ . In the absence of reversibility it fails: There are (necessarily non-reversible, geometrically ergodic) chains that admit a spectral gap in ${L_\infty^V}$ but not in L ₂. Moreover, if a chain admits a spectral gap in L ₂, then for any ${h\in L_2}$ there exists a Lyapunov function ${V_h\in L_1}$ such that V _h dominates h and the chain admits a spectral gap in ${L_\infty^{V_h}}$ . The relationship between the size of the spectral gap in ${L_\infty^V}$ or L ₂, and the rate at which the chain converges to equilibrium is also briefly discussed.     

Generalized Lax-Milgram theorem in Banach spaces and its application to the elliptic system of boundary value problems

We generalize the well-known Lax-Milgram theorem on the Hilbert space to that on the Banach space. Suppose that ${a(\cdot, \cdot)}$ is a continuous bilinear form on the product ${X\times Y}$ of Banach spaces X and Y, where Y is reflexive. If null spaces N _X and N _Y associated with ${a(\cdot, \cdot)}$ have complements in X and in Y, respectively, and if ${a(\cdot, \cdot)}$ satisfies certain variational inequalities both in X and in Y, then for every ${F \in N_Y^{\perp}}$ , i.e., ${F \in Y^{\ast}}$ with ${F(\phi) = 0}$ for all ${\phi \in N_Y}$ , there exists at least one ${u \in X}$ such that ${a(u, \varphi) = F(\varphi)}$ holds for all ${\varphi \in Y}$ with ${\|u\|_X \le C\|F\|_{Y^{\ast}}}$ . We apply our result to several existence theorems of L ^r -solutions to the elliptic system of boundary value problems appearing in the fluid mechanics.     

A generalization of the katona theorem for crosst-intersecting families

LetX be ann-element set and letA and? be families of subsets ofX. We say thatA and? are crosst-intersecting if |A ∩ B| ≥ t holds for all A ∈A and for allB ∈ ?. Suppose thatA and ? are crosst-intersecting. This paper first proves a crosst-intersecting version of Harper's Theorem:

1. There are two crosst-intersecting Hamming spheresA ₀,? ₀ with centerX such that |A| ≤ |A ₀| and|?| ≤ |? ₀| hold.
2. Suppose thatt ≥ 2 and that the pair of integers (|A) is maximal with respect to direct product ordering among pairs of crosst-intersecting families. Then,A and? are Hamming spheres with centerX.

Using these claims, the following conjecture of Frankl is proven:

1. Ifn + t = 2k ? 1 then |A| |?| ≤ max \(\left\{ {\left( {K_k^n + \left( {_{k - 1}^{n - 1} } \right)} \right)^2 ,K_k^n K_{k - 1}^n } \right\}\) holds, whereK _l ⁿ is defined as \(\left( {_n^n } \right)\left( {_{n - 1}^n } \right) + \cdots + \left( {_l^n } \right).\)
2. Ifn + t = 2k then |A| |? ≤ (K _k ⁿ )² holds.

The extremal configurations are also determined.     

Nikodym Maximal Functions Associated with Variable Planes in {\mathbb{R}^{3}}

Given a vector field ${\mathfrak{a}}$ on ${\mathbb{R}^3}$ , we consider a mapping ${x\mapsto \Pi_{\mathfrak{a}}(x)}$ that assigns to each ${x\in\mathbb{R}^3}$ , a plane ${\Pi_{\mathfrak{a}}(x)}$ containing x, whose normal vector is ${\mathfrak{a}(x)}$ . Associated with this mapping, we define a maximal operator ${\mathcal{M}^{\mathfrak{a}}_N}$ on ${L^1_{loc}(\mathbb{R}^3)}$ for each ${N\gg 1}$ by $$\mathcal{M}^{\mathfrak{a}}_Nf(x)=\sup_{x\in\tau} \frac{1}{|\tau|} \int_{\tau}|f(y)|\,dy$$ where the supremum is taken over all 1/N ×? 1/N?× 1 tubes τ whose axis is embedded in the plane ${\Pi_\mathfrak{a}(x)}$ . We study the behavior of ${\mathcal{M}^{\mathfrak{a}}_N}$ according to various vector fields ${\mathfrak{a}}$ . In particular, we classify the operator norms of ${\mathcal{M}^{\mathfrak{a}}_N}$ on ${L^2(\mathbb{R}^3)}$ when ${\mathfrak{a}(x)}$ is the linear function of the form (a ₁₁ x ₁?+?a ₂₁ x ₂, a ₁₂ x ₁?+?a ₂₂ x ₂, 1). The operator norm of ${\mathcal{M}^\mathfrak{a}_N}$ on ${L^2(\mathbb{R}^3)}$ is related with the number given by $$D=(a_{12}+a_{21})^2-4a_{11}a_{22}.$$      

Compact Hankel Operators on Generalized Bergman Spaces of the Polydisc

Let ${\vartheta}$ be a measure on the polydisc ${\mathbb{D}^n}$ which is the product of n regular Borel probability measures so that ${\vartheta([r,1)^n\times\mathbb{T}^n) >0 }$ for all 0 < r < 1. The Bergman space ${A^2_{\vartheta}}$ consists of all holomorphic functions that are square integrable with respect to ${\vartheta}$ . In one dimension, it is well known that if f is continuous on the closed disc ${\overline{\mathbb{D}}}$ , then the Hankel operator H _f is compact on ${A^2_\vartheta}$ . In this paper we show that for n ≥ 2 and f a continuous function on ${{\overline{\mathbb{D}}}^n}$ , H _f is compact on ${A^2_\vartheta}$ if and only if there is a decomposition f = h + g, where h belongs to ${A^2_\vartheta}$ and ${\lim_{z\to\partial\mathbb{D}^n}g(z)=0}$ .     

A lower bound on the barrier parameter of barriers for convex cones

Let ${K \subset \mathbb R^n}$ be a regular convex cone, let ${e_1,\ldots,e_n \in \partial K}$ be linearly independent points on the boundary of a compact affine section of the cone, and let ${x^* \in K^{0}}$ be a point in the relative interior of this section. For k =  1, . . . , n, let l _k be the line through the points e _k and x ^*, let y _k be the intersection point of l _k with ${\partial K}$ opposite to e _k , and let z _k be the intersection point of l _k with the linear subspace spanned by all points e _l , l =  1, . . . , n except e _k . We give a lower bound on the barrier parameter ν of logarithmically homogeneous self-concordant barriers ${F: K^{0}\to \mathbb R}$ on K in terms of the projective cross-ratios ${q_k = (e_k,x^*;y_k,z_k)}$ . Previously known lower bounds by Nesterov and Nemirovski can be obtained from our result as a special case. As an application, we construct an optimal barrier for the epigraph of the ${||\cdot||_{\infty}}$ -norm in ${\mathbb R^n}$ and compute lower bounds on the barrier parameter for the power cone and the epigraph of the ${||\cdot||_p}$ -norm in ${\mathbb R^2}$ .     

Comparison of topologies on ⁎-algebras of locally measurable operators

We consider the local measure topology ${t(\mathcal{M})}$ on the ?-algebra ${LS(\mathcal{M})}$ of all locally measurable operators and on the ?-algebra ${S(\mathcal{M},\tau)}$ of all τ-measurable operators affiliated with a von Neumann algebra ${\mathcal{M}}$ . If τ is a semifinite but not a finite trace on ${\mathcal{M},}$ then one can consider the τ-local measure topology t _τ l and the weak τ-local measure topology t _{w τ l} . We study relationships between the topology ${t(\mathcal{M})}$ and the topologies t _τ l , t _{w τ l} , and the (o)-topology ${t_o(\mathcal{M})}$ on ${LS_h(\mathcal{M})=\{T\in LS(\mathcal{M}): T^\ast=T\}}$ . We find that the topologies ${t(\mathcal{M})}$ and t _τ l (resp. ${t(\mathcal{M})}$ and t _{w τ l} ) coincide on ${S(\mathcal{M},\tau)}$ if and only if ${\mathcal{M}}$ is finite, and ${t(\mathcal{M})=t_o(\mathcal{M})}$ on ${LS_h(\mathcal{M})}$ holds if and only if ${\mathcal{M}}$ is a σ-finite and finite. Moreover, it turns out that the topology t _{τ l} (resp. t _{w τ l} ) coincides with the (o)-topology on ${S_h(\mathcal{M},\tau)}$ only for finite traces. We give necessary and sufficient conditions for the topology ${t(\mathcal{M})}$ to be locally convex (resp., normable). We show that (o)-convergence of sequences in ${LS_h(\mathcal{M})}$ and convergence in the topology ${t(\mathcal{M})}$ coincide if and only if the algebra ${\mathcal{M}}$ is an atomic and finite algebra.     

On Estimating the Asymptotic Variance of Stationary Point Processes

We investigate a class of kernel estimators $\widehat{\sigma}^2_n$ of the asymptotic variance σ ² of a d-dimensional stationary point process $\Psi = \sum_{i\ge 1}\delta_{X_i}$ which can be observed in a cubic sampling window $W_n = [-n,n]^d\,$ . σ ² is defined by the asymptotic relation $Var(\Psi(W_n)) \sim \sigma^2 \,(2n)^d$ (as n →? ∞) and its existence is guaranteed whenever the corresponding reduced covariance measure $\gamma^{(2)}_{red}(\cdot)$ has finite total variation. Depending on the rate of decay (polynomially or exponentially) of the total variation of $\gamma^{(2)}_{red}(\cdot)$ outside of an expanding ball centered at the origin, we determine optimal bandwidths b _n (up to a constant) minimizing the mean squared error of $\widehat{\sigma}^2_n$ . The case when $\gamma^{(2)}_{red}(\cdot)$ has bounded support is of particular interest. Further we suggest an isotropised estimator $\widetilde{\sigma}^2_n$ suitable for motion-invariant point processes and compare its properties with $\widehat{\sigma}^2_n$ . Our theoretical results are illustrated and supported by a simulation study which compares the (relative) mean squared errors of $\widehat{\sigma}^2_n$ for planar Poisson, Poisson cluster, and hard-core point processes and for various values of n b _n .