Iterative reweighted methods for $$\ell _1-\ell _p$$ minimization

In this paper, we focus on the \(\ell _1-\ell _p\) minimization problem with \(0<p<1\), which is challenging due to the \(\ell _p\) norm being non-Lipschizian. In theory, we derive computable lower bounds for nonzero entries of the generalized first-order stationary points of \(\ell _1-\ell _p\) minimization, and hence of its local minimizers. In algorithms, based on three locally Lipschitz continuous \(\epsilon \)-approximation to \(\ell _p\) norm, we design several iterative reweighted \(\ell _1\) and \(\ell _2\) methods to solve those approximation problems. Furthermore, we show that any accumulation point of the sequence generated by these methods is a generalized first-order stationary point of \(\ell _1-\ell _p\) minimization. This result, in particular, applies to the iterative reweighted \(\ell _1\) methods based on the new Lipschitz continuous \(\epsilon \)-approximation introduced by Lu (Math Program 147(1–2):277–307, 2014), provided that the approximation parameter \(\epsilon \) is below a threshold value. Numerical results are also reported to demonstrate the efficiency of the proposed methods.     

Directed strongly walk-regular graphs

We generalize the concept of strong walk-regularity to directed graphs. We call a digraph strongly \(\ell \)-walk-regular with \(\ell > 1\) if the number of walks of length \(\ell \) from a vertex to another vertex depends only on whether the first vertex is the same as, adjacent to, or not adjacent to the second vertex. This generalizes also the well-studied strongly regular digraphs and a problem posed by Hoffman. Our main tools are eigenvalue methods. The case that the adjacency matrix is diagonalizable with only real eigenvalues resembles the undirected case. We show that a digraph \(\varGamma \) with only real eigenvalues whose adjacency matrix is not diagonalizable has at most two values of \(\ell \) for which \(\varGamma \) can be strongly \(\ell \)-walk-regular, and we also construct examples of such strongly walk-regular digraphs. We also consider digraphs with non-real eigenvalues. We give such examples and characterize those digraphs \(\varGamma \) for which there are infinitely many \(\ell \) for which \(\varGamma \) is strongly \(\ell \)-walk-regular.     

Ramanujan-type congruences for overpartitions modulo 16

Let \(\bar{p}(n)\) denote the number of overpartitions of \(n\). Recently, Fortin–Jacob–Mathieu and Hirschhorn–Sellers independently obtained 2-, 3- and 4-dissections of the generating function for \(\bar{p}(n)\) and derived a number of congruences for \(\bar{p}(n)\) modulo 4, 8 and 64 including \(\bar{p}(8n+7)\equiv 0 \pmod {64}\) for \(n\ge 0\). In this paper, we give a 16-dissection of the generating function for \(\bar{p}(n)\) modulo 16 and show that \(\bar{p}(16n+14)\equiv 0\pmod {16}\) for \(n\ge 0\). Moreover, using the \(2\)-adic expansion of the generating function for \(\bar{p}(n)\) according to Mahlburg, we obtain that \(\bar{p}(\ell ^2n+r\ell )\equiv 0\pmod {16}\), where \(n\ge 0\), \(\ell \equiv -1\pmod {8}\) is an odd prime and \(r\) is a positive integer with \(\ell \not \mid r\). In particular, for \(\ell =7\) and \(n\ge 0\), we get \(\bar{p}(49n+7)\equiv 0\pmod {16}\) and \(\bar{p}(49n+14)\equiv 0\pmod {16}\). We also find four congruence relations: \(\bar{p}(4n)\equiv (-1)^n\bar{p}(n) \pmod {16}\) for \(n\ge 0\), \(\bar{p}(4n)\equiv (-1)^n\bar{p}(n)\pmod {32}\) where \(n\) is not a square of an odd positive integer, \(\bar{p}(4n)\equiv (-1)^n\bar{p}(n)\pmod {64}\) for \(n\not \equiv 1,2,5\pmod {8}\) and \(\bar{p}(4n)\equiv (-1)^n\bar{p}(n)\pmod {128}\) for \(n\equiv 0\pmod {4}\).     

Normes cyclotomiques naïves et unités logarithmiques

We compute the \({\mathbb {Z}}\)-rank of the subgroup \(\widetilde{E}_K =\bigcap _{n\in {\mathbb {N}}} N_{K_n/K}(K_n^\times )\) of elements of the multiplicative group of a number field K that are norms from every finite level of the cyclotomic \({\mathbb {Z}}_\ell \)-extension \(K^c\) of K. Thus we compare its \(\ell \)-adification \({\mathbb {Z}}_\ell \otimes _{\mathbb {Z}}\widetilde{E}_K\) with the group of logarithmic units \(\widetilde{\varepsilon }_K\). By the way we point out an easy proof of the Gross–Kuz’min conjecture for \(\ell \)-undecomposed extensions of abelian fields.     

Lengths of words in transformation semigroups generated by digraphs

Given a simple digraph D on n vertices (with \(n\ge 2\)), there is a natural construction of a semigroup of transformations \(\langle D\rangle \). For any edge (a, b) of D, let \(a\rightarrow b\) be the idempotent of rank \(n-1\) mapping a to b and fixing all vertices other than a; then, define \(\langle D\rangle \) to be the semigroup generated by \(a \rightarrow b\) for all \((a,b) \in E(D)\). For \(\alpha \in \langle D\rangle \), let \(\ell (D,\alpha )\) be the minimal length of a word in E(D) expressing \(\alpha \). It is well known that the semigroup \(\mathrm {Sing}_n\) of all transformations of rank at most \(n-1\) is generated by its idempotents of rank \(n-1\). When \(D=K_n\) is the complete undirected graph, Howie and Iwahori, independently, obtained a formula to calculate \(\ell (K_n,\alpha )\), for any \(\alpha \in \langle K_n\rangle = \mathrm {Sing}_n\); however, no analogous non-trivial results are known when \(D \ne K_n\). In this paper, we characterise all simple digraphs D such that either \(\ell (D,\alpha )\) is equal to Howie–Iwahori’s formula for all \(\alpha \in \langle D\rangle \), or \(\ell (D,\alpha ) = n - \mathrm {fix}(\alpha )\) for all \(\alpha \in \langle D\rangle \), or \(\ell (D,\alpha ) = n - \mathrm {rk}(\alpha )\) for all \(\alpha \in \langle D\rangle \). We also obtain bounds for \(\ell (D,\alpha )\) when D is an acyclic digraph or a strong tournament (the latter case corresponds to a smallest generating set of idempotents of rank \(n-1\) of \(\mathrm {Sing}_n\)). We finish the paper with a list of conjectures and open problems.     

$$L^p$$ Joint Eigenfunction Bounds on Quaternionic Spheres

We prove some sharp \(L^p-L^2\) estimates for joint spectral projections \(\pi _{\ell \ell '}\), with \(\ell ,\ell '\in {\mathbb {N}}\), \(\ell \ge \ell '\ge 0\), \(1\le p\le 2\), associated to the Laplace–Beltrami operator and to a suitably defined subLaplacian on the unit quaternionic sphere.     

Congruences for $$\ell $$-regular overpartitions and Andrews’ singular overpartitions

Let \(\overline{A}_{\ell }(n)\) be the number of overpartitions of n into parts not divisible by \(\ell \). In a recent paper, Shen calls the overpartitions enumerated by the function \(\overline{A}_{\ell }(n)\) as \(\ell \)-regular overpartitions. In this paper, we find certain congruences for \(\overline{A}_{\ell }(n)\), when \(\ell =4, 8\), and 9. Recently, Andrews introduced the partition function \(\overline{C}_{k, i}(n)\), called singular overpartition, which counts the number of overpartitions of n in which no part is divisible by k and only parts \(\equiv \pm i\pmod {k}\) may be over-lined. He also proved that \(\overline{C}_{3, 1}(9n+3)\) and \(\overline{C}_{3, 1}(9n+6)\) are divisible by 3. In this paper, we prove that \(\overline{C}_{3, 1}(12n+11)\) is divisible by 144 which was conjectured to be true by Naika and Gireesh.     

Automorphisms of the mapping class group of a nonorientable surface

Let \(\mathcal {X}_S\) denote the class of spaces homeomorphic to two closed orientable surfaces of genus greater than one identified to each other along an essential simple closed curve in each surface. Let \(\mathcal {C}_S\) denote the set of fundamental groups of spaces in \(\mathcal {X}_S\). In this paper, we characterize the abstract commensurability classes within \(\mathcal {C}_S\) in terms of the ratio of the Euler characteristic of the surfaces identified and the topological type of the curves identified. We prove that all groups in \(\mathcal {C}_S\) are quasi-isometric by exhibiting a bilipschitz map between the universal covers of two spaces in \(\mathcal {X}_S\). In particular, we prove that the universal covers of any two such spaces may be realized as isomorphic cell complexes with finitely many isometry types of hyperbolic polygons as cells. We analyze the abstract commensurability classes within \(\mathcal {C}_S\): we characterize which classes contain a maximal element within \(\mathcal {C}_S\); we prove each abstract commensurability class contains a right-angled Coxeter group; and, we construct a common CAT(0) cubical model geometry for each abstract commensurability class.     

Sharpness of Complex Interpolation on $$\alpha $$-Modulation Spaces

In this paper, we solve a long standing problem on the modulation spaces, \(\alpha \)-modulation spaces and Besov spaces. We establish sharp conditions for the complex interpolation between these function spaces. We show that no \(\alpha \)-modulation space \(M_{p,q}^{s,\alpha }\) can be regarded as the interpolation space between \(M_{p_1,q_1}^{s_1,\alpha _1}\) and \(M_{p_2,q_2}^{s_2,\alpha _2}\), unless \(\alpha _1\) is equal to \(\alpha _2\), essentially. Especially, our results show that the \(\alpha \)-modulation spaces can not be obtained by complex interpolation between modulation spaces and Besov spaces.     

Tannakian formalism for fiber functors over tensor categories

It is well known that the pseudovariety \(\mathbf {J}\) of all \(\mathscr {J}\)-trivial monoids is not local, which means that the pseudovariety \(g\mathbf {J}\) of categories generated by \(\mathbf {J}\) is a proper subpseudovariety of the pseudovariety \(\ell \mathbf {J}\) of categories all of whose local monoids belong to \(\mathbf {J}\). In this paper, it is proved that the pseudovariety \(\mathbf {J}\) enjoys the following weaker property. For every prime number p, the pseudovariety \(\ell \mathbf {J}\) is a subpseudovariety of the pseudovariety \(g(\mathbf {J}*\mathbf {Ab}_p)\), where \(\mathbf {Ab}_p\) is the pseudovariety of all elementary abelian p-groups and \(\mathbf {J}*\mathbf {Ab}_p\) is the pseudovariety of monoids generated by the class of all semidirect products of monoids from \(\mathbf {J}\) by groups from \(\mathbf {Ab}_p\). As an application, a new proof of the celebrated equality of pseudovarieties \(\mathbf {PG}=\mathbf {BG}\) is obtained, where \(\mathbf {PG}\) is the pseudovariety of monoids generated by the class of all power monoids of groups and \(\mathbf {BG}\) is the pseudovariety of all block groups.     

Spectral density estimates with partial symmetries and an application to Bahri–Lions-type results

We are concerned with the existence of infinitely many solutions for the problem \(-\Delta u=|u|^{p-2}u+f\) in \(\Omega \), \(u=u_0\) on \(\partial \Omega \), where \(\Omega \) is a bounded domain in \(\mathbb {R}^N\), \(N\ge 3\). This can be seen as a perturbation of the problem with \(f=0\) and \(u_0=0\), which is odd in u. If \(\Omega \) is invariant with respect to a closed strict subgroup of O(N), then we prove infinite existence for all functions f and \(u_0\) in certain spaces of invariant functions for a larger range of exponents p than known before. In order to achieve this, we prove Lieb–Cwikel–Rosenbljum-type bounds for invariant potentials on \(\Omega \), employing improved Sobolev embeddings for spaces of invariant functions.     

Associate space with respect to a locally $$\sigma $$-finite measure on a $$\delta $$δ-ring and applications to spaces of integrable functions defined by a vector measure

We show that for a locally \(\sigma \)-finite measure \(\mu \) defined on a \(\delta \)-ring, the associate space theory can be developed as in the \(\sigma \)-finite case, and corresponding properties are obtained. Given a saturated \(\sigma \)-order continuous \(\mu \)-Banach function space E, we prove that its dual space can be identified with the associate space \(E ^\times \) if, and only if, \(E^\times \) has the Fatou property. Applying the theory to the spaces \(L^p (\nu )\) and \(L_w^p (\nu )\), where \(\nu \) is a vector measure defined on a \(\delta \)-ring \(\mathcal {R}\) and \(1 \le p < \infty \), we establish results corresponding to those of the case when the vector measure is defined on a \(\sigma \)-algebra.     

Compact $$\lambda $$-translating Solitons with Boundary

A \(\lambda \)-translating soliton with density vector \(\mathbf {v}\) is a surface \(\varSigma \) in Euclidean space \(\mathbb {R}^3\) whose mean curvature H satisfies \(2H=2\lambda +\langle N,\mathbf {v}\rangle \), where N is the Gauss map of \(\varSigma \). In this article, we study the shape of a compact \(\lambda \)-translating soliton in terms of its boundary. If \(\varGamma \) is a given closed curve, we deduce under what conditions on \(\lambda \) there exists a compact \(\lambda \)-translating soliton \(\varSigma \) with boundary \(\varGamma \) and we provide estimates of the surface area depending on the height of \(\varSigma \). Finally, we study the shape of \(\varSigma \) related with the geometry of \(\varGamma \), in particular, we give conditions that assert that \(\varSigma \) inherits the symmetries of its boundary \(\varGamma \).     

CLT for Random Walks of Commuting Endomorphisms on Compact Abelian Groups

Let \(\mathcal S\) be an abelian group of automorphisms of a probability space \((X, {\mathcal A}, \mu )\) with a finite system of generators \((A_1, \ldots , A_d).\) Let \(A^{{\underline{\ell }}}\) denote \(A_1^{\ell _1} \ldots A_d^{\ell _d}\), for \({{\underline{\ell }}}= (\ell _1, \ldots , \ell _d).\) If \((Z_k)\) is a random walk on \({\mathbb {Z}}^d\), one can study the asymptotic distribution of the sums \(\sum _{k=0}^{n-1} \, f \circ A^{\,{Z_k(\omega )}}\) and \(\sum _{{\underline{\ell }}\in {\mathbb {Z}}^d} {\mathbb {P}}(Z_n= {\underline{\ell }}) \, A^{\underline{\ell }}f\), for a function f on X. In particular, given a random walk on commuting matrices in \(SL(\rho , {\mathbb {Z}})\) or in \({\mathcal M}^*(\rho , {\mathbb {Z}})\) acting on the torus \({\mathbb {T}}^\rho \), \(\rho \ge 1\), what is the asymptotic distribution of the associated ergodic sums along the random walk for a smooth function on \({\mathbb {T}}^\rho \) after normalization? In this paper, we prove a central limit theorem when X is a compact abelian connected group G endowed with its Haar measure (e.g., a torus or a connected extension of a torus), \(\mathcal S\) a totally ergodic d-dimensional group of commuting algebraic automorphisms of G and f a regular function on G. The proof is based on the cumulant method and on preliminary results on random walks.     

Triviality of Iwasawa module associated to some abelian fields of prime conductors

Let p be an odd prime number and \(\ell \) an odd prime number dividing \(p-1\). We denote by \(F=F_{p,\ell }\) the real abelian field of conductor p and degree \(\ell \), and by \(h_F\) the class number of F. For a prime number \(r \ne p,\,\ell \), let \(F_{\infty }\) be the cyclotomic \(\mathbb {Z}_r\)-extension over F, and \(M_{\infty }/F_{\infty }\) the maximal pro-r abelian extension unramified outside r. We prove that \(M_{\infty }\) coincides with \(F_{\infty }\) and consequently \(h_F\) is not divisible by r when r is a primitive root modulo \(\ell \) and r is smaller than an explicit constant depending on p.     

Homomorphisms of $$\ell ^1$$-Munn algebras and Rees matrix semigroup algebras

Let \({\mathcal {LM}}\left( {\mathcal {A}}, P\right) \) be an \(\ell ^1\)-Munn algebra over an arbitrary unital Banach algebra \({\mathcal {A}}\). We characterize homomorphisms from \({\mathcal {LM}}\left( {\mathcal {A}}, P\right) \) into an arbitrary Banach algebra \({\mathcal {B}}\) in terms of homomorphisms from \({\mathcal {A}}\) into \({\mathcal {B}}\). Then we discuss homomorphisms from arbitrary Banach algebras into \({\mathcal {LM}}\left( {\mathcal {A}}, P\right) \). Existence and uniqueness of homomorphisms under certain conditions are also discussed. We apply these results to the concrete case of \(\ell ^1(S)\) where S is a Rees matrix semigroup, to identify characters of \(\ell ^1(S)\) in both cases where S is with or without zero. As a consequence if the sandwich matrix of S has a zero entry, then \(\ell ^1(S)\) is character amenable.     

Power-normed spaces

To each power-norm \(((E^n, \Vert \cdot \Vert _n):n\in {\mathbb N})\) based on a given Banach space E, we associate two maximal symmetric sequence spaces \(L_\Phi ^E\) and \(L_\Psi ^E\) whose norms \(\Vert (z_k)\Vert _{L_\Phi ^E}\) and \(\Vert (z_k)\Vert _{L_\Psi ^E}\) are defined by \(\sup \{ \Vert (z_1x,\ldots ,z_nx)\Vert _n: \Vert x\Vert =1, n\in {\mathbb N}\}\) and \(\sup \{ \Vert \sum _{k=1}^n z_kx_k\Vert : \Vert (x_1,\ldots ,x_n)\Vert _n=1, n\in {\mathbb N}\}\) respectively. For each \(1\le p\le \infty \), we introduce and study the p-power-norms as those power-norms for which \(L_\Phi ^E=\ell ^p\) and \(L_\Psi ^E=\ell ^{p'}\), where \(1/p+1/p'=1\). As a special cases of p-power-norms we introduce certain smaller class, to be called the class of \(\ell ^p\)-power-norms, which is shown to contain the p-multi-norms defined in (Dales et al., Multi-norms and Banach lattices, 2016), and to coincide with the multi-norms and dual-multi-norms defined in (Dales and Polyakov, Diss Math 488, 2012) in the cases \(p=\infty \) and \(p=1\) respectively. We give several procedures to construct examples of such p-power and \(\ell ^p\)-power-norms and show that the natural formulations of the (p, q)-summing, (p, q)-concave, Rademacher power norms, t-standard power norms among others are examples in these classes. In particular, for instance the Rademacher power norm is a 2-power norm and the (p, q)-summing power-norm is a \(\ell ^r\)-power-norm for \(p>q\) with \(\frac{1}{r}=\frac{1}{q}-\frac{1}{p}\).     

On the Multiplication Tuples Related to Certain Reproducing Kernel Hilbert Spaces

We consider a class of subnormal operator tuples \(M_z\) consisting of multiplications by coordinate functions on a class of reproducing kernel Hilbert spaces associated with certain bounded domains \(\Omega \) in \({\mathbb {C}}^m\), with the closure \({{\bar{\Omega }}}\) of \(\Omega \) being the Taylor spectrum of \(M_z\) and the topological boundary \(\partial \Omega \) of \(\Omega \) being the Taylor essential spectrum of \(M_z\). If T is a subnormal operator tuple quasisimilar to \(M_z\), then we show that the Taylor spectrum of T is \({{\bar{\Omega }}}\) provided \({{\bar{\Omega }}}\) is polynomially convex and provided \(\Omega \) is either strictly pseudoconvex with \(C^2\) boundary or is starlike, and that the Taylor essential spectrum of T is \(\partial \Omega \) provided \(\Omega \) satisfies the Gleason property as well. This generalizes some previous work of the first-named author in the context of the unit ball and the unit polydisk. The relevant theory is then applied to the multiplication tuples on the Hardy and Bergman spaces of complex ellipsoids.     

On natural density,orthomodular lattices,measure algebras and non-distributive $$L^p$$ spaces

In this note we first show, roughly speaking, that if \(\mathcal {B}\) is a Boolean algebra included in the natural way in the collection \(\mathcal {D}/_\sim \) of all equivalence classes of natural density sets of the natural numbers, modulo null density, then \(\mathcal {B}\) extends to a \(\sigma \)-algebra \(\Sigma \subset \mathcal {D}/_\sim \) and the natural density is \(\sigma \)-additive on \(\Sigma \). We prove the main tool employed in the argument in a more general setting, involving a kind of quantum state function, more precisely, a group-valued submeasure on an orthomodular lattice. At the end we discuss the construction of ‘non-distributive \(L^p\) spaces’ by means of submeasures on lattices.     

A gradient estimate on graphs with the $$\varvec{}$$-condition

Let \(\omega \) be an unbounded radial weight on \(\mathbb {C}^d\), \(d\ge 1\). Using results related to approximation of \(\omega \) by entire maps, we investigate Volterra type and weighted composition operators defined on the growth space \(\mathcal {A}^\omega (\mathbb {C}^d)\). Special attention is given to the operators defined on the growth Fock spaces.