Planar Beurling Transform and Bergman Type Spaces

In this paper we describe the actions of the operator $S_\mathbb{D }$ or its adjoint $S_\mathbb{D }^*$ on the poly-Bergman spaces of the unit disk $\mathbb{D }.$ Let $k$ and $j$ be positive integers. We prove that $(S_\mathbb{D })^{j}$ is an isometric isomorphism between the true poly-Bergman subspace $\mathcal{A }_{(k)}^2(\mathbb{D })\ominus N_{(k),j}$ onto the true poly-Bergman space $\mathcal{A }_{(j+k)}^2(\mathbb{D }),$ where the linear space $N_{(k),j}$ have finite dimension $j.$ The action of $(S_\mathbb{D })^{j-1}$ on the canonical Hilbert base for the Bergman subspace $\mathcal{A }^2(\mathbb{D })\ominus \mathcal{P }_{j-1},$ gives a Hilbert base $\{ \phi _{ j , k } \}_{ k }$ for $\mathcal{A }_{(j)}^2(\mathbb{D }).$ It is shown that $\{ \phi _{ j , k } \}_{ j, k }$ is a Hilbert base for $L^2(\mathbb{D },d A)$ such that whenever $j$ and $k$ remain constant we obtain a Hilbert base for the true poly-Bergman space $\mathcal{A }_{(j)}^2(\mathbb{D })$ and $\mathcal{A }_{(-k)}^2(\mathbb{D }),$ respectively. The functions $\phi _{ j , k }$ are polynomials in $z$ and $\overline{z}$ and are explicitly given in terms of the $(2,1)$ -hypergeometric polynomials. We prove explicit representations for the true poly-Bergman kernels and the Koshelev representation for the poly-Bergman kernels of $\mathbb{D }.$ The action of $S_\Pi $ on the true poly-Bergman spaces of the upper half-plane $\Pi $ allows one to introduce Hilbert bases for the true poly-Bergman spaces, and to give explicit representations of the true poly-Bergman and poly-Bergman kernels.     

Pfaffian representations of cubic surfaces

Let $\mathbb{K }$ be a field of characteristic zero. We describe an algorithm which requires a homogeneous polynomial $F$ of degree three in $\mathbb{K }[x_{0},x_1,x_{2},x_{3}]$ and a zero ${\mathbf{a }}$ of $F$ in $\mathbb{P }^{3}_{\mathbb{K }}$ and ensures a linear Pfaffian representation of $\text{ V}(F)$ with entries in $\mathbb{K }[x_{0},x_{1},x_{2},x_{3}]$ , under mild assumptions on $F$ and ${\mathbf{a }}$ . We use this result to give an explicit construction of (and to prove the existence of) a linear Pfaffian representation of $\text{ V}(F)$ , with entries in $\mathbb{K }^{\prime }[x_{0},x_{1},x_{2},x_{3}]$ , being $\mathbb{K }^{\prime }$ an algebraic extension of $\mathbb{K }$ of degree at most six. An explicit example of such a construction is given.     

Boundedness and Compactness of Pseudodifferential Operators with Non-Regular Symbols on Weighted Lebesgue Spaces

Applying the boundedness on weighted Lebesgue spaces of the maximal singular integral operator S _* related to the Carleson?CHunt theorem on almost everywhere convergence, we study the boundedness and compactness of pseudodifferential operators a(x, D) with non-regular symbols in ${L^\infty(\mathbb{R}, V(\mathbb{R})), PC(\overline{\mathbb{R}}, V(\mathbb{R}))}$ and ${\Lambda_\gamma(\mathbb{R}, V_d(\mathbb{R}))}$ on the weighted Lebesgue spaces ${L^p(\mathbb{R},w)}$ , with 1?< p <? ?? and ${w\in A_p(\mathbb{R})}$ . The Banach algebras ${L^\infty(\mathbb{R}, V(\mathbb{R}))}$ and ${PC(\overline{\mathbb{R}}, V(\mathbb{R}))}$ consist, respectively, of all bounded measurable or piecewise continuous ${V(\mathbb{R})}$ -valued functions on ${\mathbb{R}}$ where ${V(\mathbb{R})}$ is the Banach algebra of all functions on ${\mathbb{R}}$ of bounded total variation, and the Banach algebra ${\Lambda_\gamma(\mathbb{R}, V_d(\mathbb{R}))}$ consists of all Lipschitz ${V_d(\mathbb{R})}$ -valued functions of exponent ${\gamma \in (0,1]}$ on ${\mathbb{R}}$ where ${V_d(\mathbb{R})}$ is the Banach algebra of all functions on ${\mathbb{R}}$ of bounded variation on dyadic shells. Finally, for the Banach algebra ${\mathfrak{A}_{p,w}}$ generated by all pseudodifferential operators a(x, D) with symbols ${a(x, \lambda) \in PC(\overline{\mathbb{R}}, V(\mathbb{R}))}$ on the space ${L^p(\mathbb{R}, w)}$ , we construct a non-commutative Fredholm symbol calculus and give a Fredholm criterion for the operators ${A \in \mathfrak{A}_{p,w}}$ .     

Algebras of Convolution Type Operators with Piecewise Slowly Oscillating Data. I: Local and Structural Study

Let ${\mathcal{B}_{p,w}}$ be the Banach algebra of all bounded linear operators acting on the weighted Lebesgue space ${L^{p}(\mathbb{R}, w)}$ , where ${p \in (1, \infty)}$ and w is a Muckenhoupt weight. We study the Banach subalgebra ${\mathfrak{A}_{p,w}}$ of ${\mathcal{B}_{p,w}}$ generated by all multiplication operators aI ( ${a \in PSO^{\diamond}}$ ) and all convolution operators W ⁰(b) ( ${b \in PSO_{p,w}^{\diamond}}$ ), where ${PSO^{\diamond} \subset L^{\infty}(\mathbb{R})}$ and ${PSO_{p,w}^{\diamond} \subset M_{p,w}}$ are algebras of piecewise slowly oscillating functions that admit piecewise slowly oscillating discontinuities at arbitrary points of ${\mathbb{R} \cup \{\infty\}}$ , and M _p,w is the Banach algebra of Fourier multipliers on ${L^{p}(\mathbb{R}, w)}$ . Under some conditions on the Muckenhoupt weight w, we construct a Fredholm symbol calculus for the Banach algebra ${\mathfrak{A}_{p,w}}$ and establish a Fredholm criterion for the operators ${A \in \mathfrak{A}_{p,w}}$ in terms of their Fredholm symbols. To study the Banach algebra ${\mathfrak{A}_{p,w}}$ we apply the theory of Mellin pseudodifferential operators, the Allan–Douglas local principle, the two idempotents theorem and the method of limit operators. The paper is divided in two parts. The first part deals with the local study of ${\mathfrak{A}_{p,w}}$ and necessary tools for studying local algebras.     

Computing α-Invariants of Singular del Pezzo Surfaces

We prove a new local inequality for divisors on surfaces and utilize it to compute α-invariants of singular del Pezzo surfaces, which implies that del Pezzo surfaces of degree one whose singular points are of type $\mathbb{A}_{1}$ , $\mathbb{A}_{2}$ , $\mathbb{A}_{3}$ , $\mathbb{A}_{4}$ , $\mathbb{A}_{5}$ , or $\mathbb{A}_{6}$ are Kähler-Einstein.     

Spectral self-affine measures with prime determinant

The self-affine measure $\mu _{M,D}$ relating to an expanding matrix $M\in M_{n}(\mathbb Z )$ and a finite digit set $D\subset \mathbb Z ^n$ is a unique probability measure satisfying the self-affine identity with equal weight. In the present paper, we shall study the spectrality of $\mu _{M,D}$ in the case when $|\det (M)|=p$ is a prime. The main result shows that under certain mild conditions, if there are two points $s_{1}, s_{2}\in \mathbb R ^{n}, s_{1}-s_{2}\in \mathbb Z ^{n}$ such that the exponential functions $e_{s_{1}}(x), e_{s_{2}}(x)$ are orthogonal in $L^{2}(\mu _{M,D})$ , then the self-affine measure $\mu _{M,D}$ is a spectral measure with lattice spectrum. This gives some sufficient conditions for a self-affine measure to be a lattice spectral measure.     

The Generalization of the Decomposition of Functions by Energy Operators

This work starts with the introduction of a family of differential energy operators. Energy operators $({\varPsi}_{R}^{+}, {\varPsi}_{R}^{-})$ were defined together with a method to decompose the wave equation in a previous work. Here the energy operators are defined following the order of their derivatives $(\varPsi^{-}_{k}, \varPsi^{+}_{k}, k=\{0,\pm 1,\pm 2,\ldots\})$ . The main part of the work demonstrates for any smooth real-valued function f in the Schwartz space $(\mathbf{S}^{-}(\mathbb{R}))$ , the successive derivatives of the n-th power of f ( $n \in \mathbb{Z}$ and n≠0) can be decomposed using only $\varPsi^{+}_{k}$ (Lemma); or if f in a subset of $\mathbf{S}^{-}(\mathbb{R})$ , called $\mathbf{s}^{-}(\mathbb{R})$ , $\varPsi^{+}_{k}$ and $\varPsi^{-}_{k}$ ( $k\in \mathbb{Z}$ ) decompose in a unique way the successive derivatives of the n-th power of f (Theorem). Some properties of the Kernel and the Image of the energy operators are given along with the development. Finally, the paper ends with the application to the energy function.     

Cubic symmetric polynomials yielding variations of the Erdős–Ginzburg–Ziv theorem

Let p be a prime and let $\varphi\in\mathbb{Z}_{p}[x_{1},x_{2},\ldots, x_{p}]$ be a symmetric polynomial, where  $\mathbb {Z}_{p}$ is the field of p elements. A sequence T in  $\mathbb {Z}_{p}$ of length p is called a φ-zero sequence if φ(T)=0; a sequence in $\mathbb {Z}_{p}$ is called a φ-zero free sequence if it does not contain any φ-zero subsequence. Motivated by the EGZ theorem for the prime p, we consider symmetric polynomials $\varphi\in \mathbb {Z}_{p}[x_{1},x_{2},\ldots, x_{p}]$ , which satisfy the following two conditions: (i) every sequence in  $\mathbb {Z}_{p}$ of length 2p?1 contains a φ-zero subsequence, and (ii) the φ-zero free sequences in  $\mathbb {Z}_{p}$ of maximal length are all those containing exactly two distinct elements, where each element appears p?1 times. In this paper, we determine all symmetric polynomials in $\mathbb {Z}_{p}[x_{1},x_{2},\ldots, x_{p}]$ of degree not exceeding 3 satisfying the conditions above.     

Linear recurring sequences and subfield subcodes of cyclic codes

Linear recurring sequences over finite fields play an important role in coding theory and cryptography. It is known that subfield subcodes of linear codes yield some good codes. In this paper, we study linear recurring sequences and subfield subcodes. Let Mqm(f(x)) denote the set of all linear recurring sequences over Fqm with characteristic polynomial f(x) over Fqm . Denote the restriction of Mqm(f(x)) to sequences over Fq and the set after applying trace function to each sequence in Mqm(f(x)) by Mqm(f(x)) | Fq and Tr( Mqm(f(x))), respectively. It is shown that these two sets are both complete sets of linear recurring sequences over Fq with some characteristic polynomials over Fq. In this paper, we firstly determine the characteristic polynomials for these two sets. Then, using these results, we determine the generator polynomials of subfield subcodes and trace codes of cyclic codes over Fqm .     

Constant Angle Property and Canonical Principal Directions for Surfaces in {\mathbb{M}^{2}(c) \times {\mathbb{R}_{1}}}

In this paper, we study surfaces in Lorentzian product spaces ${{\mathbb{M}^{2}(c) \times \mathbb{R}_1}}$ . We classify constant angle spacelike and timelike surfaces in ${{\mathbb{S}^{2} \times \mathbb{R}_1}}$ and ${{\mathbb{H}^{2} \times \mathbb{R}_1}}$ . Moreover, complete classifications of spacelike surfaces in ${{\mathbb{S}^{2} \times \mathbb{R}_1}}$ and ${{\mathbb{H}^{2} \times \mathbb{R}_1}}$ and timelike surfaces in ${{\mathbb{M}^{2}(c) \times \mathbb{R}_1}}$ with a canonical principal direction are obtained. Finally, a new characterization of the catenoid of the 3rd kind is established, as the only minimal timelike surface with a canonical principal direction in Minkowski 3–space.     

The cogyrolines of Möbius gyrovector spaces are metric but not periodic

In this paper, we prove that every metric line of a Möbius gyrovector space ${(\mathbb{R}_{1}^{n}, \oplus, \otimes)}$ is exactly a cogyroline of itself, and also we prove the nonexistence of periodic lines in ${(\mathbb{R}_{1}^{n}, \oplus, \otimes)}$ .     

On the Linear Dependence of a Finite Set of Additive Functions

In this note we prove the following: Let n?≥ 2 be a fixed integer. A system of additive functions ${A_{1},A_{2},\ldots,A_{n}:\mathbb{R} \to\mathbb{R}}$ is linearly dependent (as elements of the ${\mathbb{R}}$ vector space ${\mathbb{R}^{\mathbb{R}}}$ ), if and only if, there exists an indefinite quadratic form ${Q:\mathbb{R}^{n}\to\mathbb{R} }$ such that ${Q(A_{1}(x),A_{2}(x),\ldots,A_{n}(x))\geq 0}$ or ${Q(A_{1}(x),A_{2}(x),\ldots,A_{n}(x))\leq 0}$ holds for all ${x\in\mathbb{R}}$ .     

A unified approach for minimizing composite norms

We propose a first-order augmented Lagrangian algorithm (FALC) to solve the composite norm minimization problem $$\begin{aligned} \begin{array}{ll} \min \limits _{X\in \mathbb{R }^{m\times n}}&\mu _1\Vert \sigma (\mathcal{F }(X)-G)\Vert _\alpha +\mu _2\Vert \mathcal{C }(X)-d\Vert _\beta ,\\ \text{ subject} \text{ to}&\mathcal{A }(X)-b\in \mathcal{Q }, \end{array} \end{aligned}$$ where $\sigma (X)$ denotes the vector of singular values of $X \in \mathbb{R }^{m\times n}$ , the matrix norm $\Vert \sigma (X)\Vert _{\alpha }$ denotes either the Frobenius, the nuclear, or the $\ell _2$ -operator norm of $X$ , the vector norm $\Vert .\Vert _{\beta }$ denotes either the $\ell _1$ -norm, $\ell _2$ -norm or the $\ell _{\infty }$ -norm; $\mathcal{Q }$ is a closed convex set and $\mathcal{A }(.)$ , $\mathcal{C }(.)$ , $\mathcal{F }(.)$ are linear operators from $\mathbb{R }^{m\times n}$ to vector spaces of appropriate dimensions. Basis pursuit, matrix completion, robust principal component pursuit (PCP), and stable PCP problems are all special cases of the composite norm minimization problem. Thus, FALC is able to solve all these problems in a unified manner. We show that any limit point of FALC iterate sequence is an optimal solution of the composite norm minimization problem. We also show that for all $\epsilon >0$ , the FALC iterates are $\epsilon $ -feasible and $\epsilon $ -optimal after $\mathcal{O }(\log (\epsilon ^{-1}))$ iterations, which require $\mathcal{O }(\epsilon ^{-1})$ constrained shrinkage operations and Euclidean projection onto the set $\mathcal{Q }$ . Surprisingly, on the problem sets we tested, FALC required only $\mathcal{O }(\log (\epsilon ^{-1}))$ constrained shrinkage, instead of the $\mathcal{O }(\epsilon ^{-1})$ worst case bound, to compute an $\epsilon $ -feasible and $\epsilon $ -optimal solution. To best of our knowledge, FALC is the first algorithm with a known complexity bound that solves the stable PCP problem.     

A zoo of diffeomorphism groups on \mathbb{R }^{n}

We consider the groups ${\mathrm{Diff }}_\mathcal{B }(\mathbb{R }^n)$ , ${\mathrm{Diff }}_{H^\infty }(\mathbb{R }^n)$ , and ${\mathrm{Diff }}_{\mathcal{S }}(\mathbb{R }^n)$ of smooth diffeomorphisms on $\mathbb{R }^n$ which differ from the identity by a function which is in either $\mathcal{B }$ (bounded in all derivatives), $H^\infty = \bigcap _{k\ge 0}H^k$ , or $\mathcal{S }$ (rapidly decreasing). We show that all these groups are smooth regular Lie groups.     

Donsker-type theorems for nonparametric maximum likelihood estimators

Let ${\mathcal{P}}$ be a nonparametric probability model consisting of smooth probability densities and let ${\hat{p}_{n}}$ be the corresponding maximum likelihood estimator based on n independent observations each distributed according to the law ${\mathbb{P}}$ . With $\hat{\mathbb{P}}_{n}$ denoting the measure induced by the density ${\hat{p}_{n}}$ , define the stochastic process ${\hat{\nu}}_{n}: f\longmapsto \sqrt{n} \int fd({\hat{\mathbb{P}}}_{n} -\mathbb{P})$ where f ranges over some function class ${\mathcal{F}}$ . We give a general condition for Donsker classes ${\mathcal{F}}$ implying that the stochastic process $\hat{\nu}_{n}$ is asymptotically equivalent to the empirical process in the space ${\ell ^{\infty }(\mathcal{F})}$ of bounded functions on ${ \mathcal{F}}$ . This implies in particular that $\hat{\nu}_{n}$ converges in law in ${\ell ^{\infty }(\mathcal{F})}$ to a mean zero Gaussian process. We verify the general condition for a large family of Donsker classes ${\mathcal{ F}}$ . We give a number of applications: convergence of the probability measure ${\hat{\mathbb{P}}_{n}}$ to ${\mathbb{P}}$ at rate ${\sqrt{n}}$ in certain metrics metrizing the topology of weak(-star) convergence; a unified treatment of convergence rates of the MLE in a continuous scale of Sobolev-norms; ${\sqrt{n}}$ -efficient estimation of nonlinear functionals defined on ${\mathcal{P}}$ ; limit theorems at rate ${\sqrt{n}}$ for the maximum likelihood estimator of the convolution product ${\mathbb{P\ast P}}$ .     

On Suborbital Graphs for the Extended Modular Group {\hat{\Gamma}}

In this paper, we show that the extended modular group ${\hat{\Gamma}}$ acts on ${\hat{\mathbb{Q}}}$ transitively and imprimitively. Then the number of orbits of ${\hat{\Gamma} _{0}(N)}$ on ${\hat{\mathbb{Q}}}$ is calculated and compared with the number of orbits of ${\Gamma _{0}(N)}$ on ${\hat{\mathbb{Q}}}$ . Especially, we obtain the graphs ${\hat{G}_{u, N}}$ of ${\hat{\Gamma}_{0}(N)}$ on ${\hat{\mathbb{Q}}}$ , for each ${N\in\mathbb{N}}$ and each unit ${u \in U_{N} }$ , then we determine the suborbital graph ${\hat{F}_{u,N}}$ . We also give the edge conditions in ${\hat{G}_{u, N}}$ and the necessary and sufficient conditions for a circuit to be triangle in ${\hat{F}_{u, N}.}$      

The Left Hilbert BVP for h-Regular Functions in Clifford Analysis

Consider the real Clifford algebra ${\mathbb{R}_{0,n}}$ generated by e ₁, e ₂, . . . , e _n satisfying ${e_{i}e_{j} + e_{j}e_{i} = -2\delta_{ij} , i, j = 1, 2, . . . , n, e_{0}}$ is the unit element. Let ${\Omega}$ be an open set in ${\mathbb{R}^{n+1}}$ . u(x) is called an h-regular function in ${\Omega}$ if $$D_{x}u(x) + \widehat{u}(x)h = 0, \quad\quad (0.1)$$ where ${D_x = \sum\limits_{i=0}^{n} e_{i}\partial_{xi}}$ is the Dirac operator in ${\mathbb{R}^{n+1}}$ , and ${\widehat{u}(x) = \sum \limits_{A} (-1)^{\#A}u_{A}(x)e_{A}, \#A}$ denotes the cardinality of A and ${h = \sum\limits_{k=0}^{n} h_{k}e_{k}}$ is a constant paravector. In this paper, we mainly consider the Hilbert boundary value problem (BVP) for h-regular functions in ${\mathbb{R}_{+}^{n+1}}$ .     

Diophantine approximation of the orbit of 1 in the dynamical system of beta expansions

We consider the distribution of the orbits of the number 1 under the $\beta $ -transformations $T_\beta $ as $\beta $ varies. Mainly, the size of the set of $\beta >1$ for which a given point can be well approximated by the orbit of 1 is measured by its Hausdorff dimension. The dimension of the following set $E\big (\{\ell _n\}_{n\ge 1}, x_0\big )=\Big \{\,\beta >1: |T^n_{\beta }1-x_0|<\beta ^{-\ell _n}, \hbox { for infinitely many}, \, n\in \mathbb{N }\,\Big \}$ is determined, where $x_0$ is a given point in $[0,1]$ and $\{\ell _n\}_{n\ge 1}$ is a sequence of integers tending to infinity as $n\rightarrow \infty $ . For the proof of this result, the notion of the recurrence time of a word in symbolic space is introduced to characterise the lengths and the distribution of cylinders (the set of $\beta $ with a common prefix in the expansion of 1) in the parameter space $\{\,\beta \in \mathbb{R }: \beta >1\,\}$ .     

Spectrum of Functions and Distributions for the Jacobi-Dunkl Transform on {\mathbb{R}}

We establish real Paley-Wiener theorems for the Jacobi-Dunkl transform on ${\mathbb{R}}$ . More precisely, we characterize the functions in the generalized Schwartz space ${\mathcal{S}^{r}_{\alpha , \beta}(\mathbb{R})}$ and in ${L^{p}_{{A}_{\alpha , \beta}} \mathbb{R})}$ whose Jacobi-Dunkl transform has bounded, unbounded, convex and nonconvex support. Finally, we study the spectral problem on the generalized tempered distributions ${\mathcal{S}^{'r}_{\alpha , \beta}(\mathbb{R})}$ .