Wandering Subspaces of the Bergman Space and the Dirichlet Space Over {{\mathbb{D}^{n}}}

Doubly commuting invariant subspaces of the Bergman space and the Dirichlet space over the unit polydisc \({\mathbb{D}^n}\) (with \({n \geq 2}\) ) are investigated. We show that for any non-empty subset \({\alpha=\{\alpha_1,\ldots,\alpha_k\}}\) of \({\{1,\ldots,n\}}\) and doubly commuting invariant subspace \({\mathcal{S}}\) of the Bergman space or the Dirichlet space over \({\mathbb{D}^n}\) , restriction of the multiplication operator tuple on \({\mathcal{S}, M_{\alpha}|_\mathcal{S}:=(M_{z_{\alpha_1}}|_\mathcal{S},\ldots, M_{z_{\alpha_k}}|_\mathcal{S})}\) , always possesses generating wandering subspace of the form $$\bigcap_{i=1}^k(\mathcal{S}\ominus z_{\alpha_i}\mathcal{S})$$ .     

The {\mathcal {A}}-Truncated K-Moment Problem

Let \({\mathcal {A}}\subseteq {\mathbb {N}}^n\) be a finite set, and \(K\subseteq {\mathbb {R}}^n\) be a compact semialgebraic set. An \({\mathcal {A}}\) -truncated multisequence ( \({\mathcal {A}}\) -tms) is a vector \(y=(y_{\alpha })\) indexed by elements in \({\mathcal {A}}\) . The \({\mathcal {A}}\) -truncated \(K\) -moment problem ( \({\mathcal {A}}\) -TKMP) concerns whether or not a given \({\mathcal {A}}\) -tms \(y\) admits a \(K\) -measure \(\mu \) , i.e., \(\mu \) is a nonnegative Borel measure supported in \(K\) such that \(y_\alpha = \int _K x^\alpha \mathtt {d}\mu \) for all \(\alpha \in {\mathcal {A}}\) . This paper proposes a numerical algorithm for solving \({\mathcal {A}}\) -TKMPs. It aims at finding a flat extension of \(y\) by solving a hierarchy of semidefinite relaxations \(\{(\mathtt {SDR})_k\}_{k=1}^\infty \) for a moment optimization problem, whose objective \(R\) is generated in a certain randomized way. If \(y\) admits no \(K\) -measures and \({\mathbb {R}}[x]_{{\mathcal {A}}}\) is \(K\) -full (there exists \(p \in {\mathbb {R}}[x]_{{\mathcal {A}}}\) that is positive on \(K\) ), then \((\mathtt {SDR})_k\) is infeasible for all \(k\) big enough, which gives a certificate for the nonexistence of representing measures. If \(y\) admits a \(K\) -measure, then for almost all generated \(R\) , this algorithm has the following properties: i) we can asymptotically get a flat extension of \(y\) by solving the hierarchy \(\{(\mathtt {SDR})_k\}_{k=1}^\infty \) ; ii) under a general condition that is almost sufficient and necessary, we can get a flat extension of \(y\) by solving \((\mathtt {SDR})_k\) for some \(k\) ; iii) the obtained flat extensions admit a \(r\) -atomic \(K\) -measure with \(r\le |{\mathcal {A}}|\) . The decomposition problems for completely positive matrices and sums of even powers of real linear forms, and the standard truncated \(K\) -moment problems, are special cases of \({\mathcal {A}}\) -TKMPs. They can be solved numerically by this algorithm.     

Uncertainty principles and sum complexes

Let \(p\) be a prime and let \(A\) be a nonempty subset of the cyclic group \(C_p\) . For a field \({\mathbb F}\) and an element \(f\) in the group algebra \({\mathbb F}[C_p]\) let \(T_f\) be the endomorphism of \({\mathbb F}[C_p]\) given by \(T_f(g)=fg\) . The uncertainty number \(u_{{\mathbb F}}(A)\) is the minimal rank of \(T_f\) over all nonzero \(f \in {\mathbb F}[C_p]\) such that \(\mathrm{supp}(f) \subset A\) . The following topological characterization of uncertainty numbers is established. For \(1 \le k \le p\) define the sum complex \(X_{A,k}\) as the \((k-1)\) -dimensional complex on the vertex set \(C_p\) with a full \((k-2)\) -skeleton whose \((k-1)\) -faces are all \(\sigma \subset C_p\) such that \(|\sigma |=k\) and \(\prod _{x \in \sigma }x \in A\) . It is shown that if \({\mathbb F}\) is algebraically closed then $$\begin{aligned} u_{{\mathbb F}}(A)=p-\max \{k :\tilde{H}_{k-1}(X_{A,k};{\mathbb F}) \ne 0\}. \end{aligned}$$ The main ingredient in the proof is the determination of the homology groups of \(X_{A,k}\) with field coefficients. In particular it is shown that if \(|A| \le k\) then \(\tilde{H}_{k-1}(X_{A,k};{\mathbb F}_p)\!=\!0.\)      

Hall Polynomials and Composition Algebra of Representation Finite Algebras

Let \(\mathcal{A}\) be a representation finite algebra over finite field k such that the indecomposable \(\mathcal{A}\) -modules are determined by their dimension vectors and for each \(M, L \in ind(\mathcal{A})\) and \(N\in mod(\mathcal{A})\) , either \(F^{M}_{N L}=0\) or \(F^{M}_{L N}=0\) . We show that \(\mathcal{A}\) has Hall polynomials and the rational extension of its Ringel–Hall algebra equals the rational extension of its composition algebra. This result extend and unify some known results about Hall polynomials. As a consequence we show that if \(\mathcal{A}\) is a representation finite simply-connected algebra, or finite dimensional k-algebra such that there are no short cycles in \(mod(\mathcal{A})\) , or representation finite cluster tilted algebra, then \(\mathcal{A}\) has Hall polynomials and \(\mathcal{H}(\mathcal{A})\otimes_\mathbb{Z}Q=\mathcal{C}(\mathcal{A})\otimes_\mathbb{Z}Q\) .     

Structure of \mathrm {Gal}(\mathbb {k}_2^{(2)}/\mathbb {k}) for some fields \mathbb {k}=\mathbb {Q}(\sqrt{2p_1p_2},i) with \mathbf {C}l_2(\mathbb {k})\simeq (2, 2, 2)

Let \(p_1 \equiv p_2 \equiv 5\pmod 8\) be different primes. Put \(i=\sqrt{-1}\) and \(d=2p_1p_2\) , then the bicyclic biquadratic field \(\mathbb {k}=\mathbb {Q}(\sqrt{d},i)\) has an elementary abelian 2-class group of rank \(3\) . In this paper we determine the nilpotency class, the coclass, the generators and the structure of the non-abelian Galois group \(\mathrm {Gal}(\mathbb {k}_2^{(2)}/\mathbb {k})\) of the second Hilbert 2-class field \(\mathbb {k}_2^{(2)}\) of \(\mathbb {k}\) . We study the capitulation problem of the 2-classes of \(\mathbb {k}\) in its seven unramified quadratic extensions \(\mathbb {K}_i\) and in its seven unramified bicyclic biquadratic extensions \(\mathbb {L}_i\) .     

{\mathfrak {sl}}_3-Web bases,intermediate crystal bases and categorification

We give an explicit graded cellular basis of the \({\mathfrak {sl}}_3\) -web algebra \(K_S\) . In order to do this, we identify Kuperberg’s basis for the \({\mathfrak {sl}}_3\) -web space \(W_S\) with a version of Leclerc–Toffin’s intermediate crystal basis and we identify Brundan, Kleshchev and Wang’s degree of tableaux with the weight of flows on webs and the \(q\) -degree of foams. We use these observations to give a “foamy” version of Hu and Mathas graded cellular basis of the cyclotomic Hecke algebra which turns out to be a graded cellular basis of the \({\mathfrak {sl}}_3\) -web algebra. We restrict ourselves to the \({\mathfrak {sl}}_3\) case over \(\mathbb {C}\) here, but our approach should, up to the combinatorics of \({\mathfrak {sl}}_N\) -webs, work for all \(N>1\) or over \(\mathbb {Z}\) .     

Randomized large distortion dimension reduction

Consider a random matrix \(H:{\mathbb {R}}^{n}\longrightarrow {\mathbb {R}}^{m}\) . Let \(D\ge 2\) and let \(\{W_l\}_{l=1}^{p}\) be a set of \(k\) -dimensional affine subspaces of \({\mathbb {R}}^{n}\) . We ask what is the probability that for all \(1\le l\le p\) and \(x,y\in W_l\) , $$\begin{aligned} \Vert x-y\Vert _2\le \Vert Hx-Hy\Vert _2\le D\Vert x-y\Vert _2. \end{aligned}$$ We show that for \(m=O\big (k+\frac{\ln {p}}{\ln {D}}\big )\) and a variety of different classes of random matrices \(H\) , which include the class of Gaussian matrices, existence is assured and the probability is very high. The estimate on \(m\) is tight in terms of \(k,p,D\) .     

Solid Extensions of the Cesàro Operator on ℓ p and c 0

We introduce and study the largest Banach lattice (for the coordinate-wise order) which is a solid subspace of \({\mathbb{C}^\mathbb{N}}\) and to which the classical Cesàro operator \({\mathcal{C}\colon\ell^p \to \ell^p}\) (a positive operator) can be continuously extended while still maintaining its values in ? ^p . Properties of this optimal Banach lattice \({[\mathcal{C}, \ell^p]_s}\) are presented. In addition, all continuous convolution operators of \({[\mathcal{C}, \ell^p]_s}\) into itself are identified and the spectrum of \({\mathcal{C}\colon[\mathcal{C}, \ell^p]_s \to[\mathcal{C}, \ell^p]_s}\) is determined. A similar investigation is undertaken for the Cesàro operator \({\mathcal{C}\colon c_0\to c_0}\) .     

Distributions and the Global Operator of Slice Monogenic Functions

In this paper we consider functions \(f\) defined on an open set \(U\) of the Euclidean space \(\mathbb{R }^{n+1}\) and with values in the Clifford Algebra \(\mathbb{R }_n\) . Slice monogenic functions \(f: U \subseteq \mathbb{R }^{n+1} \rightarrow \mathbb{R }_n\) belong to the kernel of the global differential operator with non constant coefficients given by \( \mathcal{G }=|{\underline{x}}|^2\frac{\partial }{\partial x_0} \ + \ {\underline{x}} \ \sum _{j=1}^n x_j\frac{\partial }{\partial x_j}. \) Since the operator \(\mathcal{G }\) is not elliptic and there is a degeneracy in \( {\underline{x}}=0\) , its kernel contains also less smooth functions that have to be interpreted as distributions. We study the distributional solutions of the differential equation \(\mathcal{G }F(x_0,{\underline{x}})=G(x_0,{\underline{x}})\) and some of its variations. In particular, we focus our attention on the solutions of the differential equation \( ({\underline{x}}\frac{\partial }{\partial x_0} \ - E)F(x_0,{\underline{x}})=G(x_0,{\underline{x}}), \) where \(E= \sum _{j=1}^n x_j\frac{\partial }{\partial x_j}\) is the Euler operator, from which we deduce properties of the solutions of the equation \( \mathcal{G }F(x_0,{\underline{x}})=G(x_0,{\underline{x}})\) .     

Pro-\mathcal {C} completions of orientable \text{ PD }^3-pairs

Let \({\mathcal {C}}\) be a class of finite groups. We study some sufficient conditions for the pro- \({\mathcal {C}}\) completion of an orientable \(\text{ PD }^3\) -pair over \(\mathbb {Z}\) to be an orientable profinite \(\text{ PD }^3\) -pair over \(\mathbb {F}_p\) . More results are proven for the pro- \(p\) completion of \(\text{ PD }^3\) -pairs.     

Measure of Self-Affine Sets and Associated Densities

Let \(B\) be an \(n\times n\) real expanding matrix and \(\mathcal {D}\) be a finite subset of \(\mathbb {R}^n\) with \(0\in \mathcal {D}\) . The self-affine set \(K=K(B,\mathcal {D})\) is the unique compact set satisfying the set-valued equation \(BK=\bigcup _{d\in \mathcal {D}}(K+d)\) . In the case where \(\#\mathcal D=|\det B|,\) we relate the Lebesgue measure of \(K(B,\mathcal {D})\) to the upper Beurling density of the associated measure \(\mu =\lim _{s\rightarrow \infty }\sum _{\ell _0, \ldots ,\ell _{s-1}\in \mathcal {D}}\delta _{\ell _0+B\ell _1+\cdots +B^{s-1}\ell _{s-1}}.\) If, on the other hand, \(\#\mathcal D<|\det B|\) and \(B\) is a similarity matrix, we relate the Hausdorff measure \(\mathcal {H}^s(K)\) , where \(s\) is the similarity dimension of \(K\) , to a corresponding notion of upper density for the measure \(\mu \) .     

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.     

Conical stochastic maximal L^p-regularity for 1\leqslant p<\infty

Let \(A = -\mathrm{div} \,a(\cdot ) \nabla \) be a second order divergence form elliptic operator on \({\mathbb R}^n\) with bounded measurable real-valued coefficients and let \(W\) be a cylindrical Brownian motion in a Hilbert space \(H\) . Our main result implies that the stochastic convolution process $$\begin{aligned} u(t) = \int _0^t e^{-(t-s)A}g(s)\,dW(s), \quad t\geqslant 0, \end{aligned}$$ satisfies, for all \(1\leqslant p<\infty \) , a conical maximal \(L^p\) -regularity estimate $$\begin{aligned} {\mathbb E}\Vert \nabla u \Vert _{ T_2^{p,2}({\mathbb R}_+\times {\mathbb R}^n)}^p \leqslant C_p^p {\mathbb E}\Vert g \Vert _{ T_2^{p,2}({\mathbb R}_+\times {\mathbb R}^n;H)}^p. \end{aligned}$$ Here, \(T_2^{p,2}({\mathbb R}_+\times {\mathbb R}^n)\) and \(T_2^{p,2}({\mathbb R}_+\times {\mathbb R}^n;H)\) are the parabolic tent spaces of real-valued and \(H\) -valued functions, respectively. This contrasts with Krylov’s maximal \(L^p\) -regularity estimate $$\begin{aligned} {\mathbb E}\Vert \nabla u \Vert _{L^p({\mathbb R}_+;L^2({\mathbb R}^n;{\mathbb R}^n))}^p \leqslant C^p {\mathbb E}\Vert g \Vert _{L^p({\mathbb R}_+;L^2({\mathbb R}^n;H))}^p \end{aligned}$$ which is known to hold only for \(2\leqslant p<\infty \) , even when \(A = -\Delta \) and \(H = {\mathbb R}\) . The proof is based on an \(L^2\) -estimate and extrapolation arguments which use the fact that \(A\) satisfies suitable off-diagonal bounds. Our results are applied to obtain conical stochastic maximal \(L^p\) -regularity for a class of nonlinear SPDEs with rough initial data.     

On Radii of Spheres Determined by Subsets of Euclidean Space

In this paper the author considers the problem of how large the Hausdorff dimension of \(E\subset \mathbb {R}^d\) needs to be in order to ensure that the radii set of \((d-1)\) -dimensional spheres determined by \(E\) has positive Lebesgue measure. The author also studies the question of how often can a neighborhood of a given radius repeat. There are two results obtained in this paper. First, by applying a general mechanism developed in Grafakos et al. (2013) for studying Falconer-type problems, the author proves that a neighborhood of a given radius cannot repeat more often than the statistical bound if \(\dim _{{\mathcal H}}(E)>d-1+\frac{1}{d}\) ; In \(\mathbb {R}^2\) , the dimensional threshold is sharp. Second, by proving an intersection theorem, the author proves that for a.e \(a\in \mathbb {R}^d\) , the radii set of \((d-1)\) -spheres with center \(a\) determined by \(E\) must have positive Lebesgue measure if \(\dim _{{\mathcal H}}(E)>d-1\) , which is a sharp bound for this problem.     

A Remark on The Geometry of Spaces of Functions with Prime Frequencies

For any positive integer r, denote by \({\mathcal{P}_{r}}\) the set of all integers \({\gamma \in \mathbb{Z}}\) having at most r prime divisors. We show that \({C_{\mathcal{P}_{r}}(\mathbb{T})}\) , the space of all continuous functions on the circle \({\mathbb{T}}\) whose Fourier spectrum lies in \({\mathcal{P}_{r}}\) , contains a complemented copy of \({\ell^{1}}\) . In particular, \({C_{\mathcal{P}_{r}}(\mathbb{T})}\) is not isomorphic to \({C(\mathbb{T})}\) , nor to the disc algebra \({A(\mathbb{D})}\) . A similar result holds in the L ¹ setting.     

\ell ^p-Linear Independence of the System of Integer Translates

Various properties of the system \({\mathcal {B}}_{\psi }\) of integer translates of a square integrable function \(\psi \in L^2({\mathbb {R}})\) can be completely described in terms of the periodization function \(p_{\psi }(\xi )=\sum _{k\in {\mathbb {Z}}}|\widehat{\psi }(\xi +k)|^2\) . In this paper, we consider the problem of \(\ell ^p\) -linear independence, where \(p>2\) . The results we present include the method of construction for one type of counterexamples to several naturally taken conjectures, a new sufficient condition for \(\ell ^p\) -linear independence and a characterization theorem having an additional assumption on \({\mathcal {B}}_{\psi }\) . In the latter, we obtain the characterization in terms of the sets of multiplicity of Lebesgue measure zero.     

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.     

Anderson’s Orthogonality Catastrophe for One-Dimensional Systems

The overlap, \({\mathcal{D}_N}\) , between the ground state of N free fermions and the ground state of N fermions in an external potential in one spatial dimension is given by a generalized Gram determinant. An upper bound is \({\mathcal{D}_N\leq\exp(-\mathcal{I}_N)}\) with the so-called Anderson integral \({\mathcal{I}_N}\) . We prove, provided the external potential satisfies some conditions, that in the thermodynamic limit \({\mathcal{I}_N = \gamma\ln N + O(1)}\) as \({N\to\infty}\) . The coefficient γ > 0 is given in terms of the transmission coefficient of the one-particle scattering matrix. We obtain a similar lower bound on \({\mathcal{D}_N}\) concluding that \({\tilde{C} N^{-\tilde{\gamma}} \leq \mathcal{D}_N \leq CN^{-\gamma}}\) with constants C, \({\tilde{C}}\) , and \({\tilde{\gamma}}\) . In particular, \({\mathcal{D}_N\to 0}\) as \({N\to\infty}\) which is known as Anderson’s orthogonality catastrophe.     

Behaviour at infinity of solutions of some linear functional equations in normed spaces

Let \({\mathbb{K} \in \{\mathbb{R}, \mathbb{C}\}, I = (d, \infty), \phi : I \to I}\) be unbounded continuous and increasing, X be a normed space over \({\mathbb{K}, \mathcal{F} : = \{f \in X^I : {\rm lim}_{t \to \infty} f(t) {\rm exists} \, {\rm in} X\},\hat{a} \in \mathbb{K}, \mathcal{A}(\hat{a}) : = \{\alpha \in \mathbb{K}^I : {\rm lim}_{t \to \infty} \alpha(t) = \hat{a}\},}\) and \({\mathcal{X} : = \{x \in X^I : {\rm lim} \, {\rm sup}_{t \to \infty} \|x(t)\| < \infty\}}\) . We prove that the limit lim _{t → ∞} x(t) exists for every \({f \in \mathcal{F}, \alpha \in \mathcal{A}(\hat{a})}\) and every solution \({x \in \mathcal{X}}\) of the functional equation $$x(\phi(t)) = \alpha(t) x(t) + f(t)$$ if and only if \({|\hat{a}| \neq 1}\) . Using this result we study behaviour of bounded at infinity solutions of the functional equation $$x(\phi^{[k]}(t)) = \sum_{j=0}^{k-1} \alpha_j(t) x (\phi^{[j]}(t)) + f(t),$$ under some conditions posed on functions \({\alpha_j(t), j = 0, 1,\ldots, k - 1,\phi}\) and f.