Multiple recurrence and convergence for hardy sequences of polynomial growth

We study the limiting behavior of multiple ergodic averages involving sequences of integers that satisfy some regularity conditions and have polynomial growth. We show that for “typical” choices of Hardy field functions a(t) with polynomial growth, the averages

${1 \over N}\sum\nolimits_{n = 1}^N {{f_1}({T^{[a(n)]}}x) \cdots {f_\ell }({T^{\ell [a(n)]}}x)} $

converge in mean and we determine their limit. For example, this is the case if a(t) = t ^3/2, t log t, or t ² + (log t)². Furthermore, if {a ₁(t), …, a _? (t)} is a “typical” family of logarithmico-exponential functions of polynomial growth, then for every ergodic system, the averages

${1 \over N}\sum\nolimits_{n = 1}^N {{f_1}({T^{[{a_1}(n)]}}x) \cdots {f_\ell }({T^{[{a_\ell }(n)]}}x)} $

converge in mean to the product of the integrals of the corresponding functions. For example, this is the case if the functions a _i (t) are given by different positive fractional powers of t. We deduce several results in combinatorics. We show that if a(t) is a non-polynomial Hardy field function with polynomial growth, then every set of integers with positive upper density contains arithmetic progressions of the form {m,m + [a(n)], …, m + ?[a(n)]}. Under suitable assumptions, we get a related result concerning patterns of the form {m,m + [a ₁(n)], …,m + [a _? (n)]}.

     

Judicious bisection of hypergraphs

Judicious bisection of hypergraphs asks for a balanced bipartition of the vertex set that optimizes several quantities simultaneously.In this paper,we prove that if G is a hypergraph with n vertices and m_i edges of size i for i=1,2,...,k,then G admits a bisection in which each vertex class spans at most(m_1)/2+1/4m_2+…+(1/(2~k)+m_k+o(m_1+…+m_k) edges,where G is dense enough or △(G)= o(n) but has no isolated vertex,which turns out to be a bisection version of a conjecture proposed by Bollobas and Scott.     

Neighbor sum distinguishing chromatic index of sparse graphs via the combinatorial Nullstellensatz

Let ?: E(G) → {1, 2, · · ·, k} be an edge coloring of a graph G. A proper edge-k-coloring of G is called neighbor sum distinguishing if \(\sum\limits_{e \mathrel\backepsilon u} {\phi \left( e \right)} \ne \sum\limits_{e \mathrel\backepsilon v} {\phi \left( e \right)} \) for each edge uv ∈ E(G). The smallest value k for which G has such a coloring is denoted by χ′_Σ(G), which makes sense for graphs containing no isolated edge (we call such graphs normal). It was conjectured by Flandrin et al. that χ′_Σ(G) ≤ Δ(G) + 2 for all normal graphs, except for C₅. Let mad(G) = \(\max \left\{ {\frac{{2\left| {E\left( h \right)} \right|}}{{\left| {V\left( H \right)} \right|}}|H \subseteq G} \right\}\) be the maximum average degree of G. In this paper, we prove that if G is a normal graph with Δ(G) ≥ 5 and mad(G) < 3 ? \(\frac{2}{{\Delta \left( G \right)}}\), then χ′_Σ(G) ≤ Δ(G) + 1. This improves the previous results and the bound Δ(G) + 1 is sharp.     

On the phase transitions of (<Emphasis Type="Italic">k</Emphasis>, <Emphasis Type="Italic">q</Emphasis>)-SAT

Call a sequence of k Boolean variables or their negations a k-tuple. For a set V of n Boolean variables, let T _k (V) denote the set of all 2 ^k n ^k possible k-tuples on V. Randomly generate a set C of k-tuples by including every k-tuple in T _k (V) independently with probability p, and let Q be a given set of q “bad” tuple assignments. An instance I = (C,Q) is called satisfiable if there exists an assignment that does not set any of the k-tuples in C to a bad tuple assignment in Q. Suppose that θ, q > 0 are fixed and ε = ε(n) > 0 be such that εlnn/lnlnn→∞. Let k ≥ (1 + θ) log₂ n and let \({p_0} = \frac{{\ln 2}}{{q{n^{k - 1}}}}\). We prove that

$$\mathop {\lim }\limits_{n \to \infty } P\left[ {I is satisfiable} \right] = \left\{ {\begin{array}{*{20}c} {1,} & {p \leqslant (1 - \varepsilon )p_0 ,} \\ {0,} & {p \geqslant (1 + \varepsilon )p_0 .} \\ \end{array} } \right.$$

     

On the density of integer points on generalised Markoff–Hurwitz and Dwork hypersurfaces

We use bounds of mixed character sums modulo a square-free integer q of a special structure to estimate the density of integer points on the hypersurface

$$\begin{aligned} f_1(x_1) + \cdots + f_n(x_n) =a x_1^{k_1} \ldots x_n^{k_n} \end{aligned}$$

for some polynomials \(f_i \in {\mathbb {Z}}[X]\) and nonzero integers a and \(k_i\), \(i=1, \ldots , n\). In the case of

$$\begin{aligned} f_1(X) = \cdots = f_n(X) = X^2\quad \text{ and }\quad k_1 = \cdots = k_n =1 \end{aligned}$$

the above hypersurface is known as the Markoff–Hurwitz hypersurface, while for

$$\begin{aligned} f_1(X) = \cdots = f_n(X) = X^n\quad \text{ and }\quad k_1 = \cdots = k_n =1 \end{aligned}$$

it is known as the Dwork hypersurface. Our results are substantially stronger than those known for general hypersurfaces.

     

LIFTING DIFFERENTIABLE CURVES FROM ORBIT SPACES

Let ρ: G → O(V) be a real finite dimensional orthogonal representation of a compact Lie group, let σ = (σ ₁, ?, σn): V → ? ⁿ , where σ ₁, ?, σn n form a minimal system of homogeneous generators of the G-invariant polynomials on V, and set d = max_i deg σ _i . We prove that for each C ^d?1,1-curve c in σ(V) ?? ⁿ there exits a locally Lipschitz lift over σ, i.e., a locally Lipschitz curve \( \overline{c} \) in V so that c = σ ° \( \overline{c} \), and we obtain explicit bounds for the Lipschitz constant of \( \overline{c} \) in terms of c. Moreover, we show that each C ^d -curve in σ(V) admits a C ¹-lift. For finite groups G we deduce a multivariable version and some further results.     

A relation between the Laplacian and signless Laplacian eigenvalues of a graph

Let G be a graph of order n such that \(\sum_{i=0}^{n}(-1)^{i}a_{i}\lambda^{n-i}\) and \(\sum_{i=0}^{n}(-1)^{i}b_{i}\lambda^{n-i}\) are the characteristic polynomials of the signless Laplacian and the Laplacian matrices of G, respectively. We show that a _i ≥b _i for i=0,1,…,n. As a consequence, we prove that for any α, 0<α≤1, if q ₁,…,q _n and μ ₁,…,μ _n are the signless Laplacian and the Laplacian eigenvalues of G, respectively, then \(q_{1}^{\alpha}+\cdots+q_{n}^{\alpha}\geq\mu_{1}^{\alpha}+\cdots+\mu _{n}^{\alpha}\).     

On convex hull of Gaussian samples

Let X _i = {X _i (t), t ∈ T} be i.i.d. copies of a centered Gaussian process X = {X(t), t ∈ T} with values in\( {\mathbb{R}^d} \) defined on a separable metric space T. It is supposed that X is bounded. We consider the asymptotic behavior of convex hulls

$ {W_n} = {\text{conv}}\left\{ {{X_1}(t), \ldots, {X_n}(t),\,\,t \in T} \right\} $

and show that, with probability 1,

$ \mathop {{\lim }}\limits_{n \to \infty } \frac{1}{{\sqrt {{2\ln n}} }}{W_n} = W $

(in the sense of Hausdorff distance), where the limit shape W is defined by the covariance structure of X: W = conv{K _t , t ∈ T}, Kt being the concentration ellipsoid of X(t). We also study the asymptotic behavior of the mathematical expectations E f(W _n ), where f is an homogeneous functional.

     

A class of finite resistant <Emphasis Type="Italic">p</Emphasis>-groups

A finite p-group P is called resistant if, for any finite group G having P as a Sylow p-group, the normalizer N _G (P) controls p-fusion in G. Let P be a central extension as

$$1 \to {\mathbb{Z}_{{p^m}}} \to P \to {\mathbb{Z}_p} \times \cdots {\mathbb{Z}_p} \to 1,$$

and |P′| ≤ p, m ≥ 2. The purpose of this paper is to prove that P is resistant.

     

A construction for modified generalized Hadamard matrices using QGH matrices

Let G be a group of order mu and U a normal subgroup of G of order u. Let G/U = {U ₁,U ₂, . . . ,U _m } be the set of cosets of U in G. We say a matrix H = [h _ij ] of order k with entries from G is a quasi-generalized Hadamard matrix with respect to the cosets G/U if \({\sum_{1\le t \le k} h_{it}h_{jt}^{-1} = \lambda_{ij1}U_1+\cdots+\lambda_{ijm}U_m (\exists\lambda_{ij1},\ldots, \exists \lambda_{ijm} \in \mathbb{Z})}\) for any i ≠ j. On the other hand, in our previous article we defined a modified generalized Hadamard matrix GH(s, u, λ) over a group G, from which a TD _λ (uλ, u) admitting G as a semiregular automorphism group is obtained. In this article, we present a method for combining quasi-generalized Hadamard matrices and semiregular relative difference sets to produce modified generalized Hadamard matrices.     

Stability of uncertain discrete systems

The uncertain system

$x_{n + 1} = A_n x_n , n = 0,1,2, \ldots ,$

is considered, where the coefficients a _ij (n) of the m×m matrix A _n are functionals of any nature subject to the constraints

$\begin{array}{*{20}c} {\left| {a_{i,i} (n)} \right| \leqslant \alpha _ * < 1,} \\ {\left| {a_{i,j} (n)} \right| \leqslant \alpha _0 for j \geqslant i + 1,} \\ {\left| {a_{i,j} (n)} \right| \leqslant \delta for j < i.} \\ \end{array} $

Such systems include, in particular, switched-type systems, whose matrix A can take values in a given finite set.By using a special Lyapunov function, a bound δ ≤ δ(α₀,α_*) ensuring the global asymptotic stability of the system is found. In particular, the system is stable if the last inequality is replaced by a _i,j (n) = 0 for j < i.It is shown that pulse-width modulated systems reduce to the uncertain systems under consideration; moreover, in the case of a pulse-width modulation of the first kind, the coefficients of the matrix A are functions of x(n), and in the case of a modulation of the second kind, they are functionals.     

Diameter-Preserving Spanning Trees in Sparse Weighted Graphs

We give a simple sufficient condition for a weighted graph to have a diameter-preserving spanning tree. More precisely, let G = (V, E, f _E ) be a connected edge weighted graph with f _E being the edge weight function. Let f _V be the vertex weight function of G induced by f _E as follows: f _V (v) = max{f _E (e) : e is incident with v} for all \({v \in V}\) . We show that G contains a diameter-preserving spanning tree if \({d(G)\ge \frac{2}{3} \sum_{v\in V} f_V(v)}\) where d(G) is the diameter of G. The condition is sharp in the sense that for any \({\epsilon >0 }\) , there exist weighted graphs G satisfying \({d(G) > (\frac{2}{3}-\epsilon)\sum_{v\in V} f_V(v)}\) and not containing a diameter-preserving spanning tree.     

The limit case of a domination property

The domination number γ(G) of a connected graph G of order n is bounded below by(n+2-e(G))/ 3 , where (G) denotes the maximum number of leaves in any spanning tree of G. We show that (n+2-e(G))/ 3 = γ(G) if and only if there exists a tree T ∈ T ( G) ∩ R such that n1(T ) = e(G), where n1(T ) denotes the number of leaves of T1, R denotes the family of all trees in which the distance between any two distinct leaves is congruent to 2 modulo 3, and T (G) denotes the set composed by the spanning trees of G. As a consequence of the study, we show that if (n+2-e(G))/ 3 = γ(G), then there exists a minimum dominating set in G whose induced subgraph is an independent set. Finally, we characterize all unicyclic graphs G for which equality (n+2-e(G))/ 3= γ(G) holds and we show that the length of the unique cycle of any unicyclic graph G with (n+2-e(G))/ 3= γ(G) belongs to {4} ∪ {3 , 6, 9, . . . }.     

A Rolle Type Theorem for Cyclicity of Zeros of Families of Analytic Functions

Let \({\{ {f_{\lambda ;j}}\} _{\lambda \in V;1 \leqslant j \leqslant k}}\) be families of holomorphic functions in the open unit disk \({\text{D}} \subset {\Bbb C}\) ? ? depending holomorphically on a parameter λ ∈ V ? ? ⁿ . We establish a Rolle type theorem for the generalized multiplicity (called cyclicity) of zeros of the family of univariate holomorphic functions \({\left\{ {\sum\nolimits_{j = 1}^k {{f_{\lambda ;j}}} } \right\}_{\lambda \in V}}\) at 0 ∈ D. As a corollary, we estimate the cyclicity of the family of generalized exponential polynomials, that is, the family of entire functions of the form \(\sum\nolimits_{k = 1}^m {{P_k}(z){e^{{Q_k}(z)}}} \), z ∈ ?, where P _k and Q _k are holomorphic polynomials of degrees p and q, respectively, parameterized by vectors of coefficients of P _k and Q _k .     

Exact asymptotic bias for estimators of the Ornstein–Uhlenbeck process

We study the bias and the bias derivative for a family \({\mathcal{F}}\) of asymptotically efficient estimators of the Ornstein–Uhlenbeck process. That family contains the maximum likelihood, the conditional maximum likelihood and the empirical estimators. We show that, if g(θ _T ) is an estimator of g(θ), where θ is the parameter and \({\theta_{T} \in \mathcal{F}}\), then, under mild conditions,

$T\,E\left[g(\theta_{T})-g(\theta)\right]\xrightarrow[T\rightarrow\infty]{}c_{\theta}g^{\prime}(\theta)+\theta{g}^{\prime\prime}(\theta),$

where c _θ is an explicit constant that only depends on the choice of θ _T . In particular, if θ _T is one of the three previous estimators, one has

$T\,E_{\theta}(\theta_{T}-\theta)\xrightarrow[T\rightarrow\infty]\,2.$

     

Carleson measures,BMO spaces and balayages associated to Schrdinger operators

Let L be a Schrdinger operator of the form L =-? + V acting on L~2(R~n), n≥3, where the nonnegative potential V belongs to the reverse Hlder class B_q for some q≥n. Let BMO_L(R~n) denote the BMO space associated to the Schrdinger operator L on R~n. In this article, we show that for every f ∈ BMO_L(R~n) with compact support, then there exist g ∈ L~∞(R~n) and a finite Carleson measure μ such that f(x) = g(x) + S_(μ,P)(x) with ∥g∥∞ + |||μ|||c≤ C∥f∥BMO_L(R~n), where S_(μ,P)=∫(R_+~(n+1))Pt(x,y)dμ(y, t),and Pt(x, y) is the kernel of the Poisson semigroup {e-~(t(L)~(1/2))}t0 on L~2(R~n). Conversely, if μ is a Carleson measure, then S_(μ,P) belongs to the space BMO_L(R~n). This extends the result for the classical John-Nirenberg BMO space by Carleson(1976)(see also Garnett and Jones(1982), Uchiyama(1980) and Wilson(1988)) to the BMO setting associated to Schrdinger operators.     

Multiple solutions to a magnetic nonlinear Choquard equation

We consider the stationary nonlinear magnetic Choquard equation

$(- {\rm i}\nabla+ A(x))^{2}u + V (x)u = \left(\frac{1}{|x|^{\alpha}}\ast |u|^{p}\right) |u|^{p-2}u,\quad x\in\mathbb{R}^{N}$

where A is a real-valued vector potential, V is a real-valued scalar potential, N ≥ 3, \({\alpha \in (0, N)}\) and 2 ? (α/N) < p < (2N ? α)/(N?2). We assume that both A and V are compatible with the action of some group G of linear isometries of \({\mathbb{R}^{N}}\) . We establish the existence of multiple complex valued solutions to this equation which satisfy the symmetry condition

$u(gx) = \tau(g)u(x)\quad{\rm for\, all }\ g \in G,\;x \in \mathbb{R}^{N},$

where \({\tau : G \rightarrow \mathbb{S}^{1}}\) is a given group homomorphism into the unit complex numbers.

     

Hyperbolic prime number theorem

We count the number S(x) of quadruples \( {\left( {x_{1} ,x_{2} ,x_{3} ,x_{4} } \right)} \in \mathbb{Z}^{4} \) for which

$ p = x^{2}_{1} + x^{2}_{2} + x^{2}_{3} + x^{2}_{4} \leqslant x $

is a prime number and satisfying the determinant condition: x ₁ x ₄???x ₂ x ₃?=?1. By means of the sieve, one shows easily the upper bound S(x)???x/log x. Under a hypothesis about prime numbers, which is stronger than the Bombieri–Vinogradov theorem but is weaker than the Elliott–Halberstam conjecture, we prove that this order is correct, that is S(x)???x/log x.

     

Bimodule and twisted representation of vertex operator algebras

In this paper, for a vertex operator algebra V with an automorphism g of order T, an admissible V-module M and a fixed nonnegative rational number n ∈1/T Z_+, we construct an A_(g,n)(V)-bimodule Ag,n(M) and study its properties, discuss the connections between bimodule A_(g,n)(M) and intertwining operators. Especially, bimodule A _(g,n)-1T(M) is a natural quotient of A_(g,n)(M) and there is a linear isomorphism between the space IM~k M Mjof intertwining operators and the space of homomorphisms HomA_(g,n)(V)(A_(g,n)(M)  A_(g,n)(V)M~j(s), M~k(t)) for s, t ≤ n, M~j, M~k are g-twisted V modules, if V is g-rational.     

A positive solution of a nonlinear Schrdinger system with nonconstant potentials

In this paper, we study the existence of positive solutions to the following Schr¨odinger system:{-?u + V_1(x)u = μ_1(x)u~3+ β(x)v~2u, x ∈R~N,-?v + V_2(x)v = μ_2(x)v~3+ β(x)u~2v, x ∈R~N,u, v ∈H~1(R~N),where N = 1, 2, 3; V_1(x) and V_2(x) are positive and continuous, but may not be well-shaped; and μ_1(x), μ_2(x)and β(x) are continuous, but may not be positive or anti-well-shaped. We prove that the system has a positive solution when the coefficients Vi(x), μ_i(x)(i = 1, 2) and β(x) satisfy some additional conditions.