On the directions problem in <Emphasis Type="Italic">AG</Emphasis>(<Emphasis Type="Italic">n</Emphasis>, <Emphasis Type="Italic">q</Emphasis>)

We prove that if q = p ^h , p a prime, do not exist sets U í AG(n,q){U {\subseteq} AG(n,q)}, with |U| = q ^k and 1 < k < n, determining N directions where

On expansions of numbers in alternating <Emphasis Type="Italic">s</Emphasis>-adic series and Ostrogradskii series of the first and second kind

We present expansions of real numbers in alternating s-adic series (1 < s ∈ N), in particular, s-adic Ostrogradskii series of the first and second kind. We study the “geometry” of this representation of numbers and solve metric and probability problems, including the problem of structure and metric-topological and fractal properties of the distribution of the random variable

Univalent Functions, <Emphasis Type="Italic">VMOA</Emphasis> and Related Spaces

This paper is concerned mainly with the logarithmic Bloch space ℬ_log which consists of those functions f which are analytic in the unit disc \mathbbD{\mathbb{D}} and satisfy sup_{|z| < 1}(1-|z|)log\frac11-|z||f^￠(z)| < ￥\sup_{\vert z\vert <1}(1-\vert z\vert )\log\frac{1}{1-\vert z\vert}\vert f^{\prime}(z)\vert <\infty , and the analytic Besov spaces B ^p , 1≤p<∞. They are all subspaces of the space VMOA. We study the relation between these spaces, paying special attention to the membership of univalent functions in them. We give explicit examples of:

Some cyclic codes of length 2<Emphasis Type="Italic">p</Emphasis><Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

Explicit expressions for 4n + 2 primitive idempotents in the semi-simple group ring $R_{2p^{n}}\equiv \frac{GF(q)[x]}{p and q are distinct odd primes; n ≥ 1 is an integer and q has order \fracf(2pⁿ)2{\frac{\phi(2p^{n})}{2}} modulo 2p ⁿ . The generator polynomials, the dimension, the minimum distance of the minimal cyclic codes of length 2p ⁿ generated by these 4n + 2 primitive idempotents are discussed. For n = 1, the properties of some (2p, p) cyclic codes, containing the above minimal cyclic codes are analyzed in particular. The minimum weight of some subset of each of these (2p, p) codes are observed to satisfy a square root bound.     

Estimation of the norm of the derivative of a monotone rational function in the spaces <Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>

We show that the derivative of an arbitrary rational function R of degree n that increases on the segment [−1, 1] satisfies the following equality for all 0 < ε < 1 and p, q > 1:

Weighted criteria for the hardy transform under the <Emphasis Type="Italic">B</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript> condition in grand lebesgue spaces and some applications

We show that the Hardy operator

A Hyperplane Inequality for Measures of Convex Bodies in ? n , n≤4

Let 2≤n≤4. We show that for an arbitrary measure μ with even continuous density in ℝ ⁿ and any origin-symmetric convex body K in ℝ ⁿ ,

<Emphasis Type="Italic">v</Emphasis>-Adic maximal extensions,spectral norms and absolute Galois groups

Let (K, v) be a perfect rank one valued field and let ([`(K<sub>v</sub>)],[`(v)]){(\overline{K_{v}},\overline{v})} be the canonical valued field obtained from (K, v) by the unique extension of the valuation [(v)\tilde]{\widetilde{v}} of K _v , the completion of K relative to v, to a fixed algebraic closure [`(K<sub>v</sub>)]{\overline{K_{v}}} of K <sub>v</sub> . Let [`(K)]{\overline{K}} be the algebraic closure of K in [`(K<sub>v</sub>)]{\overline {K_{v}}}. An algebraic extension L of K, L ì [`(K)]{L\subset\overline{K}}, is said to be a v-adic maximal extension, if [`(v)] | <sub>L</sub>{\overline{v}\mid_{L}} is the only extension of v to L and L is maximal with this property. In this paper we describe some basic properties of such extensions and we consider them in connection with the v-adic spectral norm on [`(K)]{\overline{K}} and with the absolute Galois groups Gal([`(K)]/K){(\overline{K}/K)} and Gal([`(K_v)] /K_v){(\overline{K_{v}} /K_{v})}. Some other auxiliary results are given, which may be useful for other purposes.     

The classification of irreducible admissible mod <Emphasis Type="Italic">p</Emphasis> representations of a <Emphasis Type="Italic">p</Emphasis>-adic GL<Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>

Let F be a finite extension of ℚ _p . Using the mod p Satake transform, we define what it means for an irreducible admissible smooth representation of an F-split p-adic reductive group over  [`( \mathbbF)]<sub>p</sub>\overline{ \mathbb{F}}_{p} to be supersingular. We then give the classification of irreducible admissible smooth GL <sub>n</sub> (F)-representations over  [`( \mathbbF)]_p\overline{ \mathbb{F}}_{p} in terms of supersingular representations. As a consequence we deduce that supersingular is the same as supercuspidal. These results generalise the work of Barthel–Livné for n=2. For general split reductive groups we obtain similar results under stronger hypotheses.     

Compact embedded rotation hypersurfaces of <Emphasis Type="Italic">S</Emphasis><Superscript><Emphasis Type="Italic">n</Emphasis>+1</Superscript>

In this paper, we prove that and round geodesic spheres are the only n-dimensional compact embedded rotation hypersurfaces with H_m = 0 (1 ≤ m ≤ n − 1) in a unit sphere Sⁿ⁺¹(1). When m = 1, our result reduces to the result of T. Otsuki [O1], [O2], Brito and Leite [BL]. The project is supported by the grant No. 10531090 of NSFC.     

Two families of Niho sequences having four-valued cross correlation with <Emphasis Type="Italic">m</Emphasis>-sequences

For two odd integers m and s with 1 ≤ s < m and gcd(m ; s ) = 1, let h satisfy h (2^s ? 1) ≡ 1 (mod 2^m + 1) and d = (h + 1)(2^m ? 1) + 1. The cross correlation function between a binary m-sequence of period 2^2m ? 1 and its d-decimation sequence is proved to take four values, and the correlation distribution is completely determined. Let n be an even integer and k be an integer with \(1 \leqslant k \leqslant \frac{n}{2}\). For an odd prime p and a p-ary m-sequence {s(t)} of period pn ? 1, define u(t) = \(\sum \begin{array}{*{20}{c}}{\frac{{{p^k} - 1}}{2}} \\ {i = 0} \end{array}\) s(dit), where di = \(i{p^{\frac{n}{2}}} + {p^k} - i\) ? i and i = 0,1,..., \(\frac{{{p^k} - 1}}{2}\). It is proved that the cross correlation function between {u(t)} and {s(t)} is three-valued or four-valued depending on whether k is equal to \(\frac{n}{2}\) or not, and the distribution is also determined.     

The maximum size of a partial 3-spread in a finite vector space over <Emphasis Type="Italic">GF</Emphasis>(2)

Let n ≥ 3 be an integer, let V _n (2) denote the vector space of dimension n over GF(2), and let c be the least residue of n modulo 3. We prove that the maximum number of 3-dimensional subspaces in V _n (2) with pairwise intersection {0} is \frac2ⁿ-2^c7-c{\frac{2^n-2^c}{7}-c} for n ≥ 8 and c = 2. (The cases c = 0 and c = 1 have already been settled.) We then use our results to construct new optimal orthogonal arrays and (s, k, λ)-nets.     

The intersection of subgroups of finite <Emphasis Type="Italic">p</Emphasis>-groups

For a finite p-group G and a positive integer k let I _k (G) denote the intersection of all subgroups of G of order p ^k . This paper classifies the finite p-groups G with I_k(G) @ C_p^k-1{{I}_k(G)\cong C_{p^{k-1}}} for primes p > 2. We also show that for any k, α ≥ 0 with 2(α + 1) ≤ k ≤ n−α the groups G of order p ⁿ with I_k(G) @ C_p^k-a{{I}_k(G)\cong C_{p^{k-\alpha}}} are exactly the groups of exponent p ^n-α .     

The <Emphasis Type="Italic">s</Emphasis>-energy of spherical designs on <Emphasis Type="Italic">S</Emphasis><Superscript>2</Superscript>

This paper investigates the s-energy of (finite and infinite) well separated sequences of spherical designs on the unit sphere S ². A spherical n-design is a point set on S ² that gives rise to an equal weight cubature rule which is exact for all spherical polynomials of degree ≤n. The s-energy E _s (X) of a point set of m distinct points is the sum of the potential for all pairs of distinct points . A sequence Ξ = {X _m } of point sets X _m ⊂S ², where X _m has the cardinality card(X _m )=m, is well separated if for each pair of distinct points , where the constant λ is independent of m and X _m . For all s>0, we derive upper bounds in terms of orders of n and m(n) of the s-energy E _s (X _m(n)) for well separated sequences Ξ = {X _m(n)} of spherical n-designs X _m(n) with card(X _m(n))=m(n).      

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

     

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.

     

(1, 1)-<Emphasis Type="Italic">q</Emphasis>-coherent pairs

In this paper, we introduce the concept of (1, 1)-q-coherent pair of linear functionals (U,V)(\mathcal{U},\mathcal{V}) as the q-analogue to the generalized coherent pair studied by Delgado and Marcellán in (Methods Appl Anal 11(2):273–266, 2004). This means that their corresponding sequences of monic orthogonal polynomials {P _n (x)} _n ≥ 0 and {R _n (x)} _n ≥ 0 satisfy

Oscillation criteria for PDE with <Emphasis Type="Italic">p</Emphasis>-Laplacian involving general means

Oscillation criteria for PDE with p-Laplacian

On the parity of the class number of an imaginary abelian field of conductor 2<Superscript><Emphasis Type="Italic">a</Emphasis></Superscript><Emphasis Type="Italic">p</Emphasis><Superscript><Emphasis Type="Italic">b</Emphasis></Superscript>

Let p be an odd prime number, and p^n₀{p^{n_0}} the highest power of p dividing 2 ^p−1 − 1. Let K_n=Q(z_pⁿ⁺¹){K_n={\bf Q}(\zeta_{p^{n+1}})} and L_n,j=K_n⁺(z_2^j+2){L_{n,j}=K_n^+(\zeta_{2^{j+2}})} for j ≥ 0. Let h_n^*{h_n^*} be the relative class number of K _n , and h _n,j the class number of L _n,j , respectively. Let n be an integer with n ≥ n ₀. We prove that if the ratio h_n^*/h_n-1^*{h_n^*/h_{n-1}^*} is odd, then h _n,j /h _n−1,j is odd for any j ≥ 0.     

Generalized (<Emphasis Type="Italic">n</Emphasis>, <Emphasis Type="Italic">d</Emphasis>)-ray systems of points and inequalities for nonoverlapping domains and open sets

We solve the extremal problem of finding the maximum of the functional