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}\).     

On stable Baire classes

We introduce and study adhesive spaces. Using this concept we obtain a characterization of stable Baire maps \({f : X\to Y}\) of the class \({\alpha}\) for wide classes of topological spaces. In particular, we prove that for a topological space X and a contractible space Y a map \({f : X \to Y}\) belongs to the nth stable Baire class if and only if there exist a sequence \({(f_k)_{k=1}^\infty}\) of continuous maps \({f_k : {X \to Y}}\) and a sequence \({(F_k)_{k=1}^\infty}\) of functionally ambiguous sets of the nth class in X such that \({f|_{F_k}=f_k|_{F_k}}\) for every k. Moreover, we show that every monotone function \({f : \mathbb{R} \to \mathbb{R}}\) is of the \({\alpha}\) th stable Baire class if and only if it belongs to the first stable Baire class.     

Abelian covers of alternating groups

Let \({C={\rm inf} (k/n)\sum_{i=1}^n x_i(x_{i+1}+\cdots+x_{i+k})^{-1}}\), where the infimum is taken over all pairs of integers \({n\geq k\geq 1}\) and all positive \({x_1,\ldots,x_n}\), \({x_{n+i}=x_i}\). We prove that \({\ln 2 \leq C < 0.9305}\). In the definition of the constant C, the operation \({{\rm inf}_{k}\, {\rm inf}_{n}\, {\rm inf}_{x}}\) can be replaced by \({{\rm lim}_{k \to \infty}\, {\rm lim}_{n \to \infty} {\rm inf}_{x}}\).     

Riesz Transform Characterizations of Hardy Spaces Associated to Degenerate Elliptic Operators

Let \({L_{w}}{:=-w^{-1}{\rm div}(A\nabla)}\) be the degenerate elliptic operator on the Euclidean space \({{\mathbb{R}^{n}}}\), where w is a Muckenhoupt \({A_{2}({\mathbb{R}^{n}})}\) weight. In this article, the authors establish the Riesz transform characterization of the Hardy space \({H^{p}_{L_{w}}({\mathbb{R}}^{n})}\) associated with L_w, for \({w \in A_{q}({\mathbb{R}}^{n}) \cap RH_{\frac{n}{n-2}}({\mathbb{R}^{n}})}\) with \({n \geq 3}\), \({q \in [1,2]}\) and \({p \in (q(\frac{1}{r}+\frac{q-1}{2}+\frac{1}{n})^{-1},1]}\) if, for some \({r \in (1,\,2]}\), \({{\{tL_w e^{-tL_w}\}}_{t\geq 0}}\) satisfies the weighted \({L^{r}-L^{2}}\) full off-diagonal estimates.     

Asymptotic behavior of the p-torsion functions as p goes to 1

Let \({\Omega}\) be a Lipschitz bounded domain of \({\mathbb{R}^N}\), \({N\geq2}\), and let \({u_p\in W_0^{1,p}(\Omega)}\) denote the p-torsion function of \({\Omega}\), p > 1. It is observed that the value 1 for the Cheeger constant \({h(\Omega)}\) is threshold with respect to the asymptotic behavior of u_p, as \({p\rightarrow 1^+}\), in the following sense: when \({h(\Omega) > 1}\), one has \({\lim_{p\rightarrow 1^+}\left\|u_{p}\right\| _{L^\infty(\Omega)}=0}\), and when \({h(\Omega) < 1}\), one has \({\lim_{p\rightarrow 1^+}\left\|u_p\right\| _{L^\infty(\Omega)}=\infty}\). In the case \({h(\Omega)=1}\), it is proved that \({\limsup_{p\rightarrow1^+}\left\|u_p\right\|_{L^\infty(\Omega)}<\infty}\). For a radial annulus \({\Omega_{a,b}}\), with inner radius a and outer radius b, it is proved that \({\lim_{p\rightarrow 1^+}\left\|u_p\right\| _{L^\infty(\Omega_{a,b})}=0}\) when \({h(\Omega_{a,b})=1}\).     

Lifting Fixed Points of Completely Positive Semigroups

Let \({\{\phi_s\}_{s\in S}}\) be a commutative semigroup of completely positive, contractive, and weak*-continuous linear maps acting on a von Neumann algebra N. Assume there exists a semigroup \({\{\alpha_s\}_{s\in S}}\) of weak*-continuous *-endomorphisms of some larger von Neumann algebra \({M\supset N}\) and a projection \({p\in M}\) with N = pMp such that α _s (1 ? p) ≤ 1 ? p for every \({s\in S}\) and \({\phi_s(y)=p\alpha_s(y)p}\) for all \({y\in N}\). If \({\inf_{s \in S}\alpha_s(1-p)=0}\) then we show that the map \({E:M\to N}\) defined by E(x) = pxp for \({x\in M}\) induces a complete isometry between the fixed point spaces of \({\{\alpha_s\}_{s\in S}}\) and \({\{\phi_s\}_{s\in S}}\).     

The special L-value of the winding quotient of square-free level

Let X be a smooth projective curve of genus \({g \geq 2}\) over an algebraically closed field k of characteristic \({p > 0}\). Let \({F_{X/k} : X \rightarrow X_{1}}\) be the relative Frobenius morphism, and E be a semistable vector bundle on X. Mehta and Pauly asked that whether the length of the Harder–Narasimhan filtration of \({(F_{X/k})^*E}\) is at most p. In this article, we answer the above question negatively by constructing an example.     

Estimating discontinuous periodic signals in a time inhomogeneous diffusion

We consider a diffusion \({(\xi_t)_{t\geq 0}}\) with some T-periodic time dependent input term contained in the drift: under an unknown parameter \({\vartheta\in\varTheta}\) , some discontinuity—an additional periodic signal—occurs at times \({kT\,{+}\,\vartheta}\) , \({k \in I\!\!N}\) . Assuming positive Harris recurrence of \({(\xi_{kT})_{k \in I\!\!N _0}}\) and exploiting the periodicity structure, we prove limit theorems for certain martingales and functionals of the process \({(\xi_t)_{t\ge 0}}\) . They allow to consider the statistical model parametrized by \({\vartheta\in\varTheta}\) locally in small neighbourhoods of some fixed \({\vartheta}\), with radius \({\frac{1}{n}}\) as n → ∞. We prove convergence of local models to a limit experiment studied by Ibragimov and Khasminskii (Statistical estimation, 1981) and discuss the behaviour of estimators under contiguous alternatives.     

The Katchalski–Lewis transversal problem for regular polygons

If every k-membered subfamily of a family of plane convex bodies has a line transversal, then we say that this family has property T(k). We say that a family \({\mathcal{F}}\) has property \({T-m}\), if there exists a subfamily \({\mathcal{G} \subset \mathcal{F}}\) with \({|\mathcal{F} - \mathcal{G}| \le m}\) admitting a line transversal. Heppes [7] posed the problem whether there exists a convex body K in the plane such that if \({\mathcal{F}}\) is a finite T(3)-family of disjoint translates of K, then m = 3 is the smallest value for which \({\mathcal{F}}\) has property \({T-m}\). In this paper, we study this open problem in terms of finite T(3)-families of pairwise disjoint translates of a regular 2n-gon \({(n \ge 5)}\). We find out that, for \({5 \le n \le 34}\), the family has property \({T - 3}\) ; for \({n \ge 35}\), the family has property \({T - 2}\).     

Bounded Cosine Functions Close to Continuous Scalar Bounded Cosine Functions

Let \({(C(t))_{t\in \mathbb R}}\) be a cosine function in a unital Banach algebra. We show that if \({\sup_{t\in \mathbb R}\Vert C(t)-c(t)\Vert < 2}\) for some continuous scalar bounded cosine function \({(c(t))_{t\in \mathbb R},}\) then the closed subalgebra generated by \({(C(t))_{t\in \mathbb R}}\) is isomorphic to \({\mathbb C^k}\) for some positive integer k. If, further, \({\sup_{t\in \mathbb R}\Vert C(t)-c(t)\Vert < \frac{8}{3\sqrt 3},}\) then \({C(t)=c(t)}\) for \({t\in \mathbb R}\).     

The Eight Cayley–Dickson Doubling Products

The purpose of this paper is to identify all eight of the basic Cayley–Dickson doubling products. A Cayley–Dickson algebra \({\mathbb{A}_{N+1}}\) of dimension \({2^{N+1}}\) consists of all ordered pairs of elements of a Cayley–Dickson algebra \({\mathbb{A}_{N}}\) of dimension \({2^N}\) where the product \({(a, b)(c, d)}\) of elements of \({\mathbb{A}_{N+1}}\) is defined in terms of a pair of second degree binomials \({(f(a, b, c, d), g(a, b, c,d))}\) satisfying certain properties. The polynomial pair\({(f, g)}\) is called a ‘doubling product.’ While \({\mathbb{A}_{0}}\) may denote any ring, here it is taken to be the set \({\mathbb{R}}\) of real numbers. The binomials \({f}\) and \({g}\) should be devised such that \({\mathbb{A}_{1} = \mathbb{C}}\) the complex numbers, \({\mathbb{A}_{2} = \mathbb{H}}\) the quaternions, and \({\mathbb{A}_{3} = \mathbb{O}}\) the octonions. Historically, various researchers have used different yet equivalent doubling products.     

Arens regularity of projective tensor products

For completely contractive Banach algebras A and B (respectively operator algebras A and B), the necessary and sufficient conditions for the operator space projective tensor product \({A\widehat{\otimes}B}\) (respectively the Haagerup tensor product \({A\otimes^{h}B}\)) to be Arens regular are obtained. Using the non-commutative Grothendieck inequality, we show that, for C*-algebras A and B, \({A\otimes^{\gamma} B}\) is Arens regular if \({A\widehat{\otimes}B}\) and \({A\widehat{\otimes}B^{op}}\) are Arens regular whereas \({A\widehat{\otimes}B}\) is Arens regular if and only if \({A\otimes^{h}B}\) and \({B\otimes^{h}A}\) are, where \({\otimes^h}\), \({\otimes^{\gamma}}\), and \({\widehat{\otimes}}\) are the Haagerup, the Banach space projective tensor norm, and the operator space projective tensor norm, respectively.     

Hecke algebras for {{\rm GL}_n} over local fields

We study the local Hecke algebra \({\mathcal{H}_{G}(K)}\) for \({G = {\rm GL}_{n}}\) and K a non-archimedean local field of characteristic zero. We show that for \({G = {\rm GL}_{2}}\) and any two such fields K and L, there is a Morita equivalence \({\mathcal{H}_{G}(K) \sim_{M} \mathcal{H}_{G}(L)}\), by using the Bernstein decomposition of the Hecke algebra and determining the intertwining algebras that yield the Bernstein blocks up to Morita equivalence. By contrast, we prove that for \({G = {\rm GL}_{n}}\), there is an algebra isomorphism \({\mathcal{H}_{G}(K) \cong \mathcal{H}_{G}(L)}\) which is an isometry for the induced \({L^1}\)-norm if and only if there is a field isomorphism \({K \cong L}\).     

Applications of strongly convergent sequences to Fourier series by means of modulus functions

The aim of this work is to estimate sums involving P(n), the largest prime factor of an integer \({n \geqq 2}\) under digital constraints \({{f(P(n)) \equiv a}{\rm mod} b}\), for every \({a \in \mathbb{Z}}\) and an integer \({b \geqq 2}\) where f is a strongly q-additive function with integer values (i.e. \({f(aq^j + b) = f(a) + f(b)}\), with \({(a, b, j) \in \mathbb{N}^3}\), \({{0 \leqq b} < q^j}\)). We also estimate the cardinality of the set \({\{{n \leqq x, f(P(n) + c)} \equiv {a {\rm mod} b}, P(n) \equiv l {\rm mod} k\}}\), where \({c \in \mathbb{Z}}\), \({k \geqq 2}\).     

Theta characteristics of hyperelliptic graphs

We study theta characteristics of hyperelliptic metric graphs of genus g with no bridge edges. These graphs have a harmonic morphism of degree two to a metric tree that can be lifted to a morphism of degree two of a hyperelliptic curve X over K to the projective line, with K an algebraically closed field of char\({(K) \not =2}\), complete with respect to a non-Archimedean valuation, with residue field k of char\({(k)\not=2}\). The hyperelliptic curve has \({2^{2g}}\) theta characteristics. We show that for each effective theta characteristic on the graph, \({2^{g-1}}\) even and \({2^{g-1}}\) odd theta characteristics on the curve specialize to it; and \({2^g}\) even theta characteristics on the curve specialize to the unique not effective theta characteristics on the graph.     

On complete sequences

A sequence A of nonnegative integers is called complete if all sufficiently large integers can be represented as the sum of distinct terms taken form A. For a sequence \({S=\{s_{1}, s_{2}, \dots\}}\) of positive integers and a positive real number α, let S _α denote the sequence \({\{\lfloor\alpha s_{1}\rfloor, \lfloor\alpha s_{2}\rfloor, \dots\}}\), where \({\lfloor x \rfloor}\) denotes the greatest integer not greater than x. Let \({{U_S = \{\alpha \mid S_\alpha} \, is complete\}}\). Hegyvári [6] proved that if \({\lim_{n\to\infty} (s_{n+1}-s_{n})=+ \infty}\), \({s_{n+1} < \gamma s_{n}}\) for all integers \({n \geqq n_{0}}\), where \({1 < \gamma < 2}\), and \({U_{S}\ne\emptyset}\), then \({\mu(U_{S}) > 0}\), where \({\mu(U_{S})}\) is the Lebesgue measure of U _S . Yong-Gao Chen and the first author [4] proved that, if \({s_{n+1} < \gamma s_{n}}\) for all integers \({n \geqq n_{0}}\), where \({1 < \gamma \leqq 7/4=1.75}\), then \({\mu(U_{S}) > 0}\). In this paper, we prove that the conclusion holds for \({1 < \gamma \leqq \sqrt[4]{13}=1.898\dots\;}\).     

Heat kernel approach for sup-norm bounds for cusp forms of integral and half-integral weight

In this article, using the heat kernel approach from Bouche (Asymptotic results for Hermitian line bundles over complex manifolds: The heat kernel approach, Higher-dimensional complex varieties, pp 67–81, de Gruyter, Berlin, 1996), we derive sup-norm bounds for cusp forms of integral and half-integral weight. Let \({\Gamma\subset \mathrm{PSL}_{2}(\mathbb{R})}\) be a cocompact Fuchsian subgroup of first kind. For \({k \in \frac{1}{2} \mathbb{Z}}\) (or \({k \in 2\mathbb{Z}}\)), let \({S^{k}_{\nu}(\Gamma)}\) denote the complex vector space of cusp forms of weight-k and nebentypus \({\nu^{2k}}\) (\({\nu^{k\slash 2}}\), if \({k \in 2\mathbb{Z}}\)) with respect to \({\Gamma}\), where \({\nu}\) is a unitary character. Let \({\lbrace f_{1},\ldots,f_{j_{k}} \rbrace}\) denote an orthonormal basis of \({S^{k}_{\nu}(\Gamma)}\). In this article, we show that as \({k \rightarrow \infty,}\) the sup-norm for \({\sum_{i=1}^{j_{k}}y^{k}|f_{i}(z)|^{2}}\) is bounded by O(k), where the implied constant is independent of \({\Gamma}\). Furthermore, using results from Berman (Math. Z. 248:325–344, 2004), we extend these results to the case when \({\Gamma}\) is cofinite.     

The fractional Neumann and Robin type boundary conditions for the regional fractional <Emphasis Type="Italic">p</Emphasis>-Laplacian

Let \({p \in (1,\infty)}\), \({s \in (0,1)}\) and \({\Omega \subset {\mathbb{R}^{N}}}\) a bounded open set with boundary \({\partial\Omega}\) of class C ^1,1. In the first part of the article we prove an integration by parts formula for the fractional p-Laplace operator \({(-\Delta)_{p}^{s}}\) defined on \({\Omega \subset {\mathbb{R}^{N}}}\) and acting on functions that do not necessarily vanish at the boundary \({\partial\Omega}\). In the second part of the article we use the above mentioned integration by parts formula to clarify the fractional Neumann and Robin boundary conditions associated with the fractional p-Laplacian on open sets.     

On the existence of self-complementary and non-self-complementary strongly regular graphs with Paley parameters

For p an odd prime, let \({{\mathcal A}_{p}}\) be the complete classical affine association scheme whose associate classes correspond to parallel classes of lines in the classical affine plane AG(2, p). It is known that \({{\mathcal A}_{p}}\) is an amorphic association scheme. We investigate rank 3 fusion schemes of \({{\mathcal A}_{p}}\) whose basis graphs have the same parameters as the Paley graphs \({P(p^{2})}\). In contrast to the Paley graphs, the great majority of graphs we detect are non-self-complementary and non-Schurian. In particular, existence of non-self-complementary graphs with Paley parameters is established for \({p \ge 17}\), with an analogous existence result for non-Schurian such graphs when \({p \ge 11}\). We demonstrate that the number of self-complementary and non-self-complementary strongly regular graphs with Paley parameters grows rapidly as \({p \to \infty}\).     

Some estimates for the Schrödinger type operators with nonnegative potentials

In this paper we consider the Schrödinger operator ?Δ + V on \({\mathbb R^d}\), where the nonnegative potential V belongs to the reverse Hölder class \({B_{q_{_1}}}\) for some \({q_{_1}\geq \frac{d}{2}}\) with d ≥ 3. Let \({H^1_L(\mathbb R^d)}\) denote the Hardy space related to the Schrödinger operator L = ?Δ + V and \({BMO_L(\mathbb R^d)}\) be the dual space of \({H^1_L(\mathbb R^d)}\). We show that the Schrödinger type operator \({\nabla(-\Delta +V)^{-\beta}}\) is bounded from \({H^1_L(\mathbb R^d)}\) into \({L^p(\mathbb R^d)}\) for \({p=\frac{d}{d-(2\beta-1)}}\) with \({ \frac{1}{2}<\beta<\frac{3}{2} }\) and that it is also bounded from \({L^p(\mathbb R^d)}\) into \({BMO_L(\mathbb R^d)}\) for \({p=\frac{d}{2\beta-1}}\) with \({ \frac{1}{2}<\beta< 2}\).