The maximum and minimum degree of the random <Emphasis Type="Italic">r</Emphasis>-uniform <Emphasis Type="Italic">r</Emphasis>-partite hypergraphs

In this paper we consider the random r-uniform r-partite hypergraph model H(n ₁, n ₂, ···, n _r; n, p) which consists of all the r-uniform r-partite hypergraphs with vertex partition {V ₁, V ₂, ···, V _r} where |V _i| = n _i = n _i(n) (1 ≤ i ≤ r) are positive integer-valued functions on n with n ₁ +n ₂ +···+n _r = n, and each r-subset containing exactly one element in V _i (1 ≤ i ≤ r) is chosen to be a hyperedge of H _p ∈ H (n ₁, n ₂, ···, n _r; n, p) with probability p = p(n), all choices being independent. Let

$${\Delta _{{V_1}}} = {\Delta _{{V_1}}}\left( H \right)$$

and

$${\delta _{{V_1}}} = {\delta _{{V_1}}}\left( H \right)$$

be the maximum and minimum degree of vertices in V ₁ of H, respectively;

$${X_{d,{V_1}}} = {X_{d,{V_1}}}\left( H \right),{Y_{d,{V_1}}} = {Y_{d,{V_1}}}\left( H \right)$$

,

$${Z_{d,{V_1}}} = {Z_{d,{V_1}}}\left( H \right)and{Z_{c,d,{V_1}}} = {Z_{c,d,{V_1}}}\left( H \right)$$

be the number of vertices in V ₁ of H with degree d, at least d, at most d, and between c and d, respectively. In this paper we obtain that in the space H(n ₁, n ₂, ···, n _r; n, p),

$${X_{d,{V_1}}},{Y_{d,{V_1}}},{Z_{d,{V_1}}}and{Z_{c,d,{V_1}}}$$

all have asymptotically Poisson distributions. We also answer the following two questions. What is the range of p that there exists a function D(n) such that in the space H(n ₁, n ₂, ···, n _r; n, p),

$$\mathop {\lim }\limits_{n \to \infty } P\left( {{\Delta _{{V_1}}} = D\left( n \right)} \right) = 1$$

? What is the range of p such that a.e., H _p ∈ H (n ₁, n ₂, ···, n _r; n, p) has a unique vertex in V ₁ with degree

$${\Delta _{{V_1}}}\left( {{H_p}} \right)$$

? Both answers are p = o (log n ₁/N), where

$$N = \mathop \prod \limits_{i = 2}^r {n_i}$$

. The corresponding problems on

$${\delta _{{V_i}}}\left( {{H_p}} \right)$$

also are considered, and we obtained the answers are p ≤ (1 + o(1))(log n ₁/N) and p = o (log n ₁/N), respectively.

     

Sharp <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> Bound for Holomorphic Functions on the Unit Disc

For any 1 < p < ∞ and any \({X, Y\in \mathbb{R}}\) satisfying \({|X|\leq Y}\) , we determine the optimal constant C _p (X,Y) such that the following holds. If F is a holomorphic function on the unit disc satisfying ReF(0) = X and \({||{\rm Re}F||_{L^{p}(\mathbb{T})}=Y}\) , then

$$||F||_{L^p(\mathbb{T})}\geq C_p(X,Y).$$

This can be regarded as a reverse version of the classical estimates of Riesz and Essén. The proof rests on the exploitation of certain families of special subharmonic functions on the plane.

     

Distance-Regular Shilla Graphs with <Emphasis Type="Italic">b</Emphasis><Subscript>2</Subscript> = <Emphasis Type="Italic">c</Emphasis><Subscript>2</Subscript>

A Shilla graph is defined as a distance-regular graph of diameter 3 with second eigen-value θ₁ equal to a₃. For a Shilla graph, let us put a = a₃ and b = k/a. It is proved in this paper that a Shilla graph with b₂ = c₂ and noninteger eigenvalues has the following intersection array:

$$\left\{ {\frac{{{b^2}\left( {b - 1} \right)}}{2},\frac{{\left( {b - 1} \right)\left( {{b^2} - b + 2} \right)}}{2},\frac{{b\left( {b - 1} \right)}}{4};1,\frac{{b\left( {b - 1} \right)}}{4},\frac{{b{{\left( {b - 1} \right)}^2}}}{2}} \right\}$$

If Γ is a Q-polynomial Shilla graph with b₂ = c₂ and b = 2r, then the graph Γ has intersection array

$$\left\{ {2tr\left( {2r + 1} \right),\left( {2r + 1} \right)\left( {2rt + t + 1} \right),r\left( {r + t} \right);1,r\left( {r + t} \right),t\left( {4{r^2} - 1} \right)} \right\}$$

and, for any vertex u in Γ, the subgraph Γ₃(u) is an antipodal distance-regular graph with intersection array

$$\left\{ {t\left( {2r + 1} \right),\left( {2r - 1} \right)\left( {t + 1} \right),1;1,t + 1,t\left( {2r + 1} \right)} \right\}$$

The Shilla graphs with b₂ = c₂ and b = 4 are also classified in the paper.

     

Mean Square Estimates for Coefficients of Symmetric Power <Emphasis Type="Italic">L</Emphasis>-Functions

Let L(sym ^j f,s) be the jth symmetric power L-function attached to a holomorphic Hecke eigencuspform f(z) for the full modular group, and \(\lambda_{\mathrm{sym}^{j}f}(n)\) denote its nth coefficient. In this paper we are able to prove that

$\int_{1}^{x}\bigg|\sum_{n\leq y}\lambda_{\mathrm{sym}^{3}f}(n)\bigg|^{2}dy=O\bigl(x^{2}\bigr),$

and

$\int_{1}^{x}\bigg|\sum_{n\leq y}\lambda_{\mathrm{sym}^{4}f}(n)\bigg|^{2}dy=O\bigl(x^{\frac{11}{5}}\log x\bigr).$

     

Weak Type (1,1) Behavior for the Maximal Operator with <Emphasis Type="Italic">L</Emphasis><Superscript>1</Superscript>-Dini Kernel

Let M _Ω be the maximal operator with homogeneous kernel Ω. In the present paper, we show that if Ω satisfies the L ¹-Dini condition on ?? ^n?1, then the following weak type (1,1) behaviors

$$\lim\limits _{\lambda \rightarrow 0_{+}}\lambda m(\{x\in \mathbb {R}^{n}:M_{\Omega } f(x)>\lambda \})=\frac {1}{n} \|\Omega \|_{1} \|f\|_{1},$$

$$\sup\limits_{\lambda >0}\lambda m(\{x\in \mathbb {R}^{n}:M_{\Omega } f(x)>\lambda \})\lesssim {\bigg ((\log n)\|\Omega \|_{1}+{\int }_{0}^{1/n}\frac {\tilde {\omega }_{1}(\delta )}{\delta }d\delta \bigg )}\|f\|_{1}$$

hold for the maximal operator M _Ω and \(f\in L^{1}(\mathbb {R}^{n})\), here \(\tilde {\omega }_{1}\) denotes the L ¹ integral modulus of continuity of Ω defined by translation in \(\mathbb {R}^{n}\).     

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.

     

Moderate deviation principle for <Emphasis Type="Italic">m</Emphasis>-dependent random variables<Superscript>*</Superscript>

Let {X _n }_n?≥?1 be a sequence of strictly stationary m-dependent random variableswith EX₁ = 0 and \( \mathrm{E}{X}_1^2<\infty \), and let (b _n ) be an increasing sequence of positive numbers such that b _n ?↑?∞ and \( {b}_n/\sqrt{n}\downarrow 0\kern0.5em \mathrm{as}\kern0.5em n\to \infty \). We establish a moderate deviation principle of \( {\left({b}_n\sqrt{n}\right)}^{-1}{\sum}_{i=1}^n{X}_i \) under the condition

$$ \underset{n\to \infty }{\lim \sup}\frac{1}{b_n^2}\log \left[n\mathbf{P}\left(\left|{X}_1\right|>{b}_n\sqrt{n}\right)\right]=-\infty, $$

which is weaker than the classical exponential integrability condition. The results in the present paper weaken the assumptions of Chen [5] and extend partially the results of Eichelsbacher and Löwe [10].     

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.$$

     

<Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>-boundedness of a boundary integral operator on a contour with a peak

Results on the solvability of boundary integral equations on a plane contour with a peak obtained in collaboration with V.G. Maz’ya are developed. Earlier, it was proved that, on a contour Γ with an outward peak, the operator of the boundary equation of the Dirichlet boundary value problem maps the space ? _{p, β + 1} (Γ) continuously onto \(\mathcal{N}_{p,\beta } (\Gamma )\). The norm of a function in ? _{p, β} (Γ) is defined as

Open image in new window

, provided that the peak is at the origin. In this case, the norms on the spaces \(\mathcal{N}_{p,\beta }^ \mp (\Gamma )\) are defined by

Open image in new window

, where q _± are the intersection points of Γ with the circle {z: |z| = |q|} and δ > 0 is a fixed small number. On a contour with an inward peak, the operator of the boundary equation of the Dirichlet problem continuously maps ? _{p, β + 1} (Γ) onto ? _{p, β}(Γ), where ? _{p, β}(Γ) is the direct sum of \(\mathcal{N}_{p,\beta }^ + (\Gamma )\) (Γ) and the space

Open image in new window

(Γ) of functions on Γ of the form p(z) = Σ _{k = 0} ^m t ^(k)Rez ^k with the parameter m = [μ ? β ? p ^?1]. The operator I ? 2W of the boundary integral equation of plane elasticity theory, where W is the elastic double-layer potential, is considered. The main result is that the operator I ? 2W continuously maps the space ? _{p, β + 1} × ? _{p, β + 1}(Γ) to the space \(\mathcal{N}_{p,\beta }^ - \times \mathcal{N}_{p,\beta }^ - (\Gamma )\).

On a contour with an inward peak, the obtained representation of the operator I ? 2W and theorems on the boundedness of auxiliary integral operators imply that the images of vector-valued functions from ? _{p, β + 1} × ? _{p, β + 1}(Γ) have components representable as sums of functions from the spaces \(\mathcal{N}_{p,\beta }^ - (\Gamma )\)(Γ) and ? _{p, β}(Γ).     

A remark on the existence of entire large and bounded solutions to a (<Emphasis Type="Italic">k</Emphasis><Subscript>1</Subscript>, <Emphasis Type="Italic">k</Emphasis><Subscript>2</Subscript>)-Hessian system with gradient term

In this paper, we study the existence of positive entire large and bounded radial positive solutions for the following nonlinear system

$$\left\{ {\begin{array}{*{20}c}{S_{k_1 } \left( {\lambda \left( {D^2 u_1 } \right)} \right) + a_1 \left( {\left| x \right|} \right)\left| {\nabla u_1 } \right|^{k_1 } = p_1 \left( {\left| x \right|} \right)f_1 \left( {u_2 } \right)} & {for x \in \mathbb{R}^N ,} \\{S_{k_2 } \left( {\lambda \left( {D^2 u_2 } \right)} \right) + a_2 \left( {\left| x \right|} \right)\left| {\nabla u_2 } \right|^{k_2 } = p_2 \left( {\left| x \right|} \right)f_2 \left( {u_1 } \right)} & {for x \in \mathbb{R}^N .} \\\end{array} } \right.$$

Here \({S_{{k_i}}}\left( {\lambda \left( {{D^2}{u_i}} \right)} \right)\) is the k _i -Hessian operator, a ₁, p ₁, f ₁, a ₂, p ₂ and f ₂ are continuous functions.

     

The <Emphasis Type="Italic">p</Emphasis>-adic order of some fibonomial coefficients whose entries are powers of <Emphasis Type="Italic">p</Emphasis>

Let (F _n ) _n≥0 be the Fibonacci sequence. For 1 ≤ k ≤ m, the Fibonomial coefficient is defined as

$${\left[ {\begin{array}{*{20}{c}} m \\ k \end{array}} \right]_F} = \frac{{{F_{m - k + 1}} \cdots {F_{m - 1}}{F_m}}}{{{F_1} \cdots {F_k}}}$$

. In 2013, Marques, Sellers and Trojovský proved that if p is a prime number such that p ≡ ±2 (mod 5), then \(p{\left| {\left[ {\begin{array}{*{20}{c}} {{p^{a + 1}}} \\ {{p^a}} \end{array}} \right]} \right._F}\) for all integers a ≥ 1. In 2015, Marques and Trojovský worked on the p-adic order of \({\left[ {\begin{array}{*{20}{c}} {{p^{a + 1}}} \\ {{p^a}} \end{array}} \right]_F}\) for all a ≥ 1 when p ≠ 5. In this paper, we shall provide the exact p-adic order of \({\left[ {\begin{array}{*{20}{c}} {{p^{a + 1}}} \\ {{p^a}} \end{array}} \right]_F}\) for all integers a, b ≥ 1 and for all prime number p.

     

<Emphasis Type="Italic">s</Emphasis>-Vertex Pancyclic Index

A graph G is vertex pancyclic if for each vertex \({v \in V(G)}\) , and for each integer k with 3 ≤ k ≤ |V(G)|, G has a k-cycle C _k such that \({v \in V(C_k)}\) . Let s ≥ 0 be an integer. If the removal of at most s vertices in G results in a vertex pancyclic graph, we say G is an s-vertex pancyclic graph. Let G be a simple connected graph that is not a path, cycle or K _1,3. Let l(G) = max{m : G has a divalent path of length m that is not both of length 2 and in a K ₃}, where a divalent path in G is a path whose interval vertices have degree two in G. The s-vertex pancyclic index of G, written vp _s (G), is the least nonnegative integer m such that L ^m (G) is s-vertex pancyclic. We show that for a given integer s ≥ 0,

$vp_s(G)\le \left\{\begin{array}{l@{\quad}l}\qquad\quad\quad\,\,\,\,\,\,\, l(G)+s+1: \quad {\rm if} \,\, 0 \le s \le 4 \\ l(G)+\lceil {\rm log}_2(s-2) \rceil+4: \quad {\rm if} \,\, s \ge 5 \end{array}\right.$

And we improve the bound for essentially 3-edge-connected graphs. The lower bound and whether the upper bound is sharp are also discussed.

     

Isometries with dense windings of the torus in <Emphasis Type="Italic">C</Emphasis>(<Emphasis Type="Italic">M</Emphasis>)

Let C(M) be the space of all continuous functions on M? ?. We consider the multiplication operator T: C(M) → C(M) defined by Tf(z) = zf(z) and the torus

$$O(M) = \left\{ {f:M \to \mathbb{C} \ntrianglelefteq \left\| f \right\| = \left\| {\frac{1}{f}} \right\| = 1} \right\}$$

. If M is a Kronecker set, then the T-orbits of the points of the torus ½O(M) are dense in ½O(M) and are ½-dense in the unit ball of C(M).

     

Hardy Inequalities for Finsler <Emphasis Type="Italic">p</Emphasis>-Laplacian in the Exterior Domain

The Finsler p-Laplacian is the class of nonlinear differential operators given by

$$\begin{aligned} \Delta _{H,p}u:= \text {div}(H(\nabla u)^{p-1}\nabla _{\eta } H(\nabla u)) \end{aligned}$$

where \(1<p<\infty \) and \(H:\mathbf {R}^N\rightarrow [0,\infty )\) is in \(C^2(\mathbf {R}^N\backslash \{0\})\) and is positively homogeneous of degree 1. Under some additional constraints on H, we derive the Hardy inequality for Finsler p-Laplacian in exterior domain for \(1<p\le N\). We also provide an improved version of Hardy inequality for the case \(p=2\).

     

Stability of functional equations of <Emphasis Type="Italic">n</Emphasis>-Apollonius type in fuzzy ternary Banach algebras

Using the fixed point method, we investigate the generalized Hyers–Ulam stability of the ternary homomorphisms and ternary derivations between fuzzy ternary Banach algebras for the additive functional equation of n-Apollonius type, namely

$${\sum_{i=1}^{n} f(z-x_{i}) = -\frac{1}{n} \sum_{1 \leq i < j \leq n} f(x_{i}+x_{j}) + n f (z-\frac{1}{n^{2}} \sum_{i=1}^{n}x_{i}),}$$

where \({n \geq 2}\) is a fixed positive integer.

     

(<Emphasis Type="Italic">m</Emphasis>,<Emphasis Type="Italic">r</Emphasis>)-central Riordan arrays and their applications

For integers m > r ≥ 0, Brietzke (2008) defined the (m, r)-central coefficients of an infinite lower triangular matrix G = (d, h) = (d_n,k)_n,k∈N as d_{mn+r,(m?1)n+r}, with n = 0, 1, 2,..., and the (m, r)-central coefficient triangle of G as

$${G^{\left( {m,r} \right)}} = {\left( {{d_{mn + r,\left( {m - 1} \right)n + k + r}}} \right)_{n,k \in \mathbb{N}}}.$$

It is known that the (m, r)-central coefficient triangles of any Riordan array are also Riordan arrays. In this paper, for a Riordan array G = (d, h) with h(0) = 0 and d(0), h′(0) ≠ 0, we obtain the generating function of its (m, r)-central coefficients and give an explicit representation for the (m, r)-central Riordan array G^(m,r) in terms of the Riordan array G. Meanwhile, the algebraic structures of the (m, r)-central Riordan arrays are also investigated, such as their decompositions, their inverses, and their recessive expressions in terms of m and r. As applications, we determine the (m, r)-central Riordan arrays of the Pascal matrix and other Riordan arrays, from which numerous identities are constructed by a uniform approach.

     

Generalized growth and best approximation of entire functions in <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript>-norm in several complex variables

The paper deals with the characterization of generalized order and generalized type of entire functions in several complex variables in terms of the coefficients of the development with respect to the sequence of extremal polynomials and the best L ^p -approximation and interpolation errors, 0 < p ≤ ∞, on a compact set K with respect to the set

$K_r = \left\{z \in \mathbb{C}^n, {\rm exp} (V_K (z)) \leq r\right\}$

where V _K is the Siciak extremal function of a L-regular compact set K or V _K is the pluricomplex Green function with a pole at infinity. It has been noticed that in the study of growth of entire functions, the set K _r has not been used so extensively in comparison to disk. Our results apply satisfactorily for slow growth in \({\mathbb{C}^n}\) , replacing the circle \({\{z \in \mathbb{C}; |z| = r\}}\) by the set K _r and improve and extend various results of Harfaoui (Int J Maths Math Sci 2010:1–15, 2010), Seremeta (Am Math Soc Transl 88(2):291–301, 1970), Shah (J Approx Theory 19:315–324, 1977) and Vakarchuk and Zhir (Ukr Math J 54(9):1393–1401, 2002).

     

Standard monomials for <Emphasis Type="Italic">q</Emphasis>-uniform families and a conjecture of Babai and Frankl

Let n, k, α be integers, n, α>0, p be a prime and q=p ^α. Consider the complete q-uniform family

$\mathcal{F}\left( {k,q} \right) = \left\{ {K \subseteq \left[ n \right]:\left| K \right| \equiv k(mod q)} \right\}$

We study certain inclusion matrices attached to F(k,q) over the field\(\mathbb{F}_p \). We show that if l≤q?1 and 2l≤n then

$rank_{\mathbb{F}_p } I(\mathcal{F}(k,q),\left( {\begin{array}{*{20}c} {\left[ n \right]} \\ { \leqslant \ell } \\ \end{array} } \right)) \leqslant \left( {\begin{array}{*{20}c} n \\ \ell \\ \end{array} } \right)$

This extends a theorem of Frankl [7] obtained for the case α=1. In the proof we use arguments involving Gröbner bases, standard monomials and reduction. As an application, we solve a problem of Babai and Frankl related to the size of some L-intersecting families modulo q.     

Functional limit theorems for the maxima of perturbed random walk and divergent perpetuities in the <Emphasis Type="Italic">M</Emphasis><Subscript>1</Subscript>-topology

Let (ξ ₁, η ₁), (ξ ₂, η ₂),… be a sequence of i.i.d. two-dimensional random vectors. In the earlier article Iksanov and Pilipenko (2014) weak convergence in the J ₁-topology on the Skorokhod space of \(n^{-1/2}\underset {0\leq k\leq [n\cdot ]}{\max }\,(\xi _{1}+\ldots +\xi _{k}+\eta _{k+1})\) was proved under the assumption that contributions of \(\underset {0\leq k\leq n}{\max }\,(\xi _{1}+\ldots +\xi _{k})\) and \(\underset {1\leq k\leq n}{\max }\,\eta _{k}\) to the limit are comparable and that n ^?1/2(ξ ₁+… + ξ _[n?]) is attracted to a Brownian motion. In the present paper, we continue this line of research and investigate a more complicated situation when ξ ₁+… + ξ _[n?], properly normalized without centering, is attracted to a centered stable Lévy process, a process with jumps. As a consequence, weak convergence normally holds in the M ₁-topology. We also provide sufficient conditions for the J ₁-convergence. For completeness, less interesting situations are discussed when one of the sequences \(\underset {0\leq k\leq n}{\max }\,(\xi _{1}+\ldots +\xi _{k})\) and \(\underset {1\leq k\leq n}{\max }\,\eta _{k}\) dominates the other. An application of our main results to divergent perpetuities with positive entries is given.     

<Emphasis Type="Italic">p</Emphasis>, <Emphasis Type="Italic">q</Emphasis>-Analogue of a linear transformation preserving log-convexity

In this paper, we establish the preserving log-convexity of linear transformation associated with p, q-analogue of Pascal triangle, i.e., if the sequence of nonnegative numbers {x_n}n is logconvex, then \({y_n} = {\sum\nolimits_{k = 0}^n {\left[ {\frac{n}{k}} \right]} _{pq}}{x_k}\) so is it for q ≠ p ≥ 1.