Computation of <Emphasis Type="BoldItalic">p</Emphasis>-variation

A code for computing the p-variation of a piecewise monotone function is introduced. The code is publicly available in the R environment package under the name pvar. The algorithm is based on some properties of the p-variation of a piecewise monotone function proved in this paper. The mathematical results may have their own interest.     

On <Emphasis Type="Italic">p</Emphasis>-variation of bifractional Brownian motion

In this paper we study p-variation of bifractional Brownian motion. As an application, we introduce a class of estimators of the parameters of a bifractional Brownian motion and prove that both of them are strongly consistent; as another application, we investigate fractal nature related to the box dimension of the graph of bifractional Brownian motion.     

Approximation of sine-shaped functions by constants in the spaces <Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>, <Emphasis Type="Italic">p</Emphasis> < 1

We investigate the best approximations of sine-shaped functions by constants in the spaces L_p for p < 1. In particular, we find the best approximation of perfect Euler splines by constants in the spaces L_p for certain p(0,1).Translated from Ukrainskyi Matematychnyi Zhurnal, Vol. 56, No. 6, pp. 745–762, June, 2004.     

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.

     

Cyclotomic Hecke Algebras of <Emphasis Type="Italic">G</Emphasis>(<Emphasis Type="Italic">r</Emphasis>, <Emphasis Type="Italic">p</Emphasis>, <Emphasis Type="Italic">n</Emphasis>)

In this note, we find a monomial basis of the cyclotomic Hecke algebra \({\mathcal{H}_{r,p,n}}\) of G(r,p,n) and show that the Ariki-Koike algebra \({\mathcal{H}_{r,n}}\) is a free module over \({\mathcal{H}_{r,p,n}}\), using the Gröbner-Shirshov basis theory. For each irreducible representation of \({\mathcal{H}_{r,p,n}}\), we give a polynomial basis consisting of linear combinations of the monomials corresponding to cozy tableaux of a given shape.     

Cyclic Functions in <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript>(<Emphasis Type="Bold">R</Emphasis>), 1 \le <Emphasis Type="Italic">p</Emphasis> < \infty

Functions whose translates span L ^p (R) are called L ^p-cyclic functions. For a fixed p \memb [1, \infty], we construct Schwartz-class functions which are L ^r -cyclic for r > p and not L ^r - cyclic for r \le p. We then construct Schwartz-class functions which are L ^r -cyclic for r \ge p and not L ^r -cyclic for r < p. The constructions differ for p \memb (1, 2) and p > 2.     

Kernels and <Emphasis Type="Italic">p</Emphasis>-Kernels of <Emphasis Type="Italic">p</Emphasis><Superscript><Emphasis Type="Italic">r</Emphasis></Superscript>-ary 1-Perfect Codes

The rank of a q-ary code C is the dimension of the subspace spanned by C. The kernel of a q-ary code C of length n can be defined as the set of all translations leaving C invariant. Some relations between the rank and the dimension of the kernel of q-ary 1-perfect codes, over as well as over the prime field , are established. Q-ary 1-perfect codes of length n=(q^m − 1)/(q − 1) with different kernel dimensions using switching constructions are constructed and some upper and lower bounds for the dimension of the kernel, once the rank is given, are established.Communicated by: I.F. Blake     

Lower semicontinuity and relaxation for integral functionals with <Emphasis Type="Italic">p</Emphasis>(<Emphasis Type="Italic">x</Emphasis>)- and <Emphasis Type="Italic">p</Emphasis>(<Emphasis Type="Italic">x,u</Emphasis>)-growth

We consider the questions of lower semicontinuity and relaxation for the integral functionals satisfying the p(x)- and p(x, u)-growth conditions. Presently these functionals are actively studied in the theory of elliptic and parabolic problems and in the framework of the calculus of variations. The theory we present rests on the following results: the remarkable result of Kristensen on the characterization of homogeneous p-gradient Young measures by their summability; the earlier result of Zhang on approximating gradient Young measures with compact support; the result of Zhikov on the density in energy of regular functions for integrands with p(x)-growth; on the author’s approach to Young measures as measurable functions with values in a metric space whose metric has integral representation.     

The <Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>-Approximation Order of Surface Spline Interpolation for 1 \leq <Emphasis Type="Italic">p</Emphasis> \leq 2

We show that the L_p-approximation order of surface spline interpolation equals m+1/p for p in the range 1 \leq p \leq 2, where m is an integer parameter which specifies the surface spline. Previously it was known that this order was bounded below by m + &frac; and above by m+1/p. With h denoting the fill-distance between the interpolation points and the domain , we show specifically that the L_p()-norm of the error between f and its surface spline interpolant is O(h^{m + 1/p}) provided that f belongs to an appropriate Sobolev or Besov space and that \subset R^d is open, bounded, and has the C^2m-regularity property. We also show that the boundary effects (which cause the rate of convergence to be significantly worse than O(h^2m)) are confined to a boundary layer whose width is no larger than a constant multiple of h |log h|. Finally, we state numerical evidence which supports the conjecture that the L_p-approximation order of surface spline interpolation is m + 1/p for 2 < p \leq \infty.     

Spin-One <Emphasis Type="Italic">p</Emphasis>-Spin Glass: Exact Solution for Large <Emphasis Type="Italic">p</Emphasis>

We study the low-temperature properties of the p-spin spin glass model in the spin-one (three-state) case for large values of p. We show that the one-step replica symmetry-breaking phase is unstable at a very low temperature, and we calculate the explicit boundary of the stability interval, the Gardner temperature, analytically for large values of p. This temperature for the spin-one model has the same form of dependence on p as in the case of Ising spins (two states). In the one-step replica symmetrybreaking state, a quadrupolar orientational glass coexists with the spin glass and also with a regular quadrupole ordering.     

Influence of <Emphasis Type="Italic">M</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>-supplemented subgroups on the structure of <Emphasis Type="Italic">p</Emphasis>-modular subgroups

A subgroup K of G is M _p -supplemented in G if there exists a subgroup B of G such that G = KB and TB < G for every maximal subgroup T of K with |K: T| = p ^α. We study the structure of the chief factor of G by using M _p -supplemented subgroups and generalize the results of Monakhov and Shnyparkov by involving the relevant results about the p-modular subgroup O ^p (G) of G.     

Efficient <Emphasis Type="Italic">p</Emphasis>th root computations in finite fields of characteristic <Emphasis Type="Italic">p</Emphasis>

We present a method for computing pth roots using a polynomial basis over finite fields of odd characteristic p, p ≥ 5, by taking advantage of a binomial reduction polynomial. For a finite field extension of our method requires p − 1 scalar multiplications of elements in by elements in . In addition, our method requires at most additions in the extension field. In certain cases, these additions are not required. If z is a root of the irreducible reduction polynomial, then the number of terms in the polynomial basis expansion of z ^1/p , defined as the Hamming weight of z ^1/p or , is directly related to the computational cost of the pth root computation. Using trinomials in characteristic 3, Ahmadi et al. (Discrete Appl Math 155:260–270, 2007) give is greater than 1 in nearly all cases. Using a binomial reduction polynomial over odd characteristic p, p ≥ 5, we find always.      

On approximation of meromorphic functions having index-pair (<Emphasis Type="Italic">p</Emphasis>, <Emphasis Type="Italic">q</Emphasis>)

The purpose of this paper is to generalize the results obtained by Winiarski (Ann. Polon. Math. 29:259–273, 1970) and Kasana and Kumar (Publ. Mat. 38:255–267, 1994) for the M ₀(C) of all entire functions onto the class M _m (C), m ≥ 0 of all meromorphic functions with exactly m poles on the complex plane C.     

Simultaneous approximation problems of <Emphasis Type="Italic">p</Emphasis>-adic numbers and <Emphasis Type="Italic">p</Emphasis>-adic knapsack cryptosystems - Alice in <Emphasis Type="Italic">p</Emphasis>-adic numberland

In this paper we construct the multi-dimensional p-adic approximation lattices by using simultaneous approximation problems (SAP) of p-adic numbers and we estimate the l _∞ norm of the p-adic SAP solutions theoretically by applying Dirichlet’s principle and numerically by using the LLL algorithm. By using the SAP solutions as private keys, the security of which depends on NP-hardness of SAP or the shortest vector problems (SVP) of p-adic lattices, we propose a p-adic knapsack cryptosystem with commitment schemes, in which the sender Alice prepares ciphertexts and the verification keys in her p-adic numberland.     

Continuous <Emphasis Type="Italic">l</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis>,<Emphasis Type="Italic">p</Emphasis></Subscript>-symmetric distributions

For p > 0, the l _n,p -generalized surface measure on the l _n,p -unit sphere is studied and used for deriving a geometric measure representation for l _n,p -symmetric distributions having a density.     

Finite <Emphasis Type="Italic">p</Emphasis>-central groups of height <Emphasis Type="Italic">k</Emphasis>

A finite group G is called p ⁱ -central of height k if every element of order p ⁱ of G is contained in the k ^th -term ζ _k (G) of the ascending central series of G. If p is odd, such a group has to be p-nilpotent (Thm. A). Finite p-central p-groups of height p − 2 can be seen as the dual analogue of finite potent p-groups, i.e., for such a finite p-group P the group P/Ω₁(P) is also p-central of height p − 2 (Thm. B). In such a group P, the index of P ^p is less than or equal to the order of the subgroup Ω₁(P) (Thm. C). If the Sylow p-subgroup P of a finite group G is p-central of height p − 1, p odd, and N _G (P) is p-nilpotent, then G is also p-nilpotent (Thm. D). Moreover, if G is a p-soluble finite group, p odd, and P ∈ Syl _p (G) is p-central of height p − 2, then N _G (P) controls p-fusion in G (Thm. E). It is well-known that the last two properties hold for Swan groups (see [11]).     

Approximation by K-finite functions in <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> spaces

Let Γ ⊂ ℝⁿ, n ≥ 2, be the boundary of a bounded domain. We prove that the translates by elements of Γ of functions which transform according to a fixed irreducible representation of the orthogonal group form a dense class in L ^p (ℝⁿ) for . A similar problem for noncompact symmetric spaces of rank one is also considered. We also study the connection of the above problem with the injectivity sets for weighted spherical mean operators. The first author was supported in part by a grant from UGC via DSA-SAP Phase IV.     

Hadamard variational formulas for <Emphasis Type="Italic">p</Emphasis>-torsion and <Emphasis Type="Italic">p</Emphasis>-eigenvalue with applications

In this paper, we pose two kinds of Minkowski problems involving the p-Laplacian operator. The Hadamard variational formulas for some p-Laplacian functionals are obtained. A good application is to prove symmetry results for solutions to some overdetermined problems of p-Laplacian equations.     

Symbol <Emphasis Type="Italic">p</Emphasis>-algebras of prime degree and their <Emphasis Type="Italic">p</Emphasis>-central subspaces

We prove that the maximal dimension of a p-central subspace of the generic symbol p-algebra of prime degree p is \({p+1}\). We do it by proving the following number theoretic fact: let \({\{s_1,\dots,s_{p+1}\}}\) be \({p+1}\) distinct nonzero elements in the additive group \({G=(\mathbb{Z}/p \mathbb{Z}) \times (\mathbb{Z}/p \mathbb{Z})}\), then every nonzero element \({g \in G}\) can be expressed as \({d_1 s_1+\dots+d_{p+1} s_{p+1}}\) for some non-negative integers \({d_1,\dots,d_{p+1}}\) with \({d_1+\dots+d_{p+1}\leq p-1}\).     

The <Emphasis Type="Italic">p</Emphasis>-harmonic approximation and the regularity of <Emphasis Type="Italic">p</Emphasis>-harmonic maps

We extend to the degenerate case , Simons approach to the classical regularity theory of harmonic maps of Schoen & Uhlenbeck, by proving a p-Harmonic Approximation Lemma. This allows to approximate functions with p-harmonic functions in the same way as the classical harmonic approximation lemma (going back to De Giorgi) does via harmonic functions. Finally, we show how to combine this tool with suitable regularity estimates for solutions to degenerate elliptic systems with a critical growth right hand side, in order to obtain partial -regularity of p-harmonic maps.Received: 2 November 2002, Accepted: 10 July 2003, Published online: 4 September 2003Mathematics Subject Classification (2000): 35J70, 49N60, 49Q60