Closed range and nonclosed range adjointable operators on Hilbert $$C^*$$-modules

In this paper, we show that for a positive operator A on a Hilbert \(C^*\)-module \( \mathscr {E} \), the range \( \mathscr {R}(A) \) of A is closed if and only if \( \mathscr {R}(A^\alpha ) \) is closed for all \(\alpha \in (0,1)\cup (1,+\,\infty )\), and this occurs if and only if \( \mathscr {R}(A)=\mathscr {R}(A^\alpha ) \) for all \(\alpha \in (0,1)\cup (1,+\,\infty )\). As an application, we prove that for an adjontable operator A if \(\mathscr {R}(A)\) is nonclosed, then \(\dim \left( \overline{\mathscr {R}(A)}/\mathscr {R}(A)\right) =+\,\infty \). Finally, we show that for an adjointable operator A if \( \overline{\mathscr {R}(A^*) } \) is orthogonally complemented in \( \mathscr {E} \), then under certain coditions there exists an idempotent C and a unique operator X such that \( XAX=X, AXA=CA, AX=C \) and \( XA=P_{A^*} \), where \( P_{A^*} \) is the orthogonal projection of \( \mathscr {E} \) onto \( \overline{\mathscr {R}(A^*)}\).     

A generalization of sumset and its applications

Let A be a nonempty finite subset of an additive abelian group G and let r and h be positive integers. The generalized h-fold sumset of A, denoted by \(h^{(r)}A\), is the set of all sums of h elements of A, where each element appears in a sum at most r times. The direct problem for \(h^{(r)}A\) is to find a lower bound for \(|h^{(r)}A|\) in terms of |A|. The inverse problem for \(h^{(r)}A\) is to determine the structure of the finite set A for which \(|h^{(r)}A|\) is minimal with respect to some fixed value of |A|. If \(G = \mathbb {Z}\), the direct and inverse problems are well studied. In case of \(G = \mathbb {Z}/p\mathbb {Z}\), p a prime, the direct problem has been studied very recently by Monopoli (J. Number Theory, 157 (2015) 271–279). In this paper, we express the generalized sumset \(h^{(r)}A\) in terms of the regular and restricted sumsets. As an application of this result, we give a new proof of the theorem of Monopoli and as the second application, we present new proofs of direct and inverse theorems for the case \(G = \mathbb {Z}\).     

EKR Sets for Large <Emphasis Type="Italic">n</Emphasis> and <Emphasis Type="Italic">r</Emphasis>

Let \(\mathcal {A}\subset \left( {\begin{array}{c}[n]\\ r\end{array}}\right) \) be a compressed, intersecting family and let \(X\subset [n]\). Let \(\mathcal {A}(X)=\{A\in \mathcal {A}:A\cap X\ne \emptyset \}\) and \(\mathcal {S}_{n,r}=\left( {\begin{array}{c}[n]\\ r\end{array}}\right) (\{1\})\). Motivated by the Erd?s–Ko–Rado theorem, Borg asked for which \(X\subset [2,n]\) do we have \(|\mathcal {A}(X)|\le |\mathcal {S}_{n,r}(X)|\) for all compressed, intersecting families \(\mathcal {A}\)? We call X that satisfy this property EKR. Borg classified EKR sets X such that \(|X|\ge r\). Barber classified X, with \(|X|\le r\), such that X is EKR for sufficiently large n, and asked how large n must be. We prove n is sufficiently large when n grows quadratically in r. In the case where \(\mathcal {A}\) has a maximal element, we sharpen this bound to \(n>\varphi ^{2}r\) implies \(|\mathcal {A}(X)|\le |\mathcal {S}_{n,r}(X)|\). We conclude by giving a generating function that speeds up computation of \(|\mathcal {A}(X)|\) in comparison with the naïve methods.     

A geometric approach to alternating <Emphasis Type="Italic">k</Emphasis>-linear forms

Denote by \({{\mathcal {G}}}_k(V)\) the Grassmannian of the k-subspaces of a vector space V over a field \({\mathbb {K}}\). There is a natural correspondence between hyperplanes H of \({\mathcal {G}}_k(V)\) and alternating k-linear forms on V defined up to a scalar multiple. Given a hyperplane H of \({{\mathcal {G}}_k}(V)\), we define a subspace \(R^{\uparrow }(H)\) of \({{\mathcal {G}}_{k-1}}(V)\) whose elements are the \((k-1)\)-subspaces A such that all k-spaces containing A belong to H. When \(n-k\) is even, \(R^{\uparrow }(H)\) might be empty; when \(n-k\) is odd, each element of \({\mathcal {G}}_{k-2}(V)\) is contained in at least one element of \(R^{\uparrow }(H)\). In the present paper, we investigate several properties of \(R^{\uparrow }(H)\), settle some open problems and propose a conjecture.     

Eichler’s commutation relation and some other invariant subspaces of Hecke operators

Let k be an odd positive integer, L a lattice on a regular positive definite k-dimensional quadratic space over \(\mathbb {Q}\), \(N_L\) the level of L, and \(\mathscr {M}(L)\)  be the linear space of \(\theta \)-series attached to the distinct classes in the genus of L. We prove that, for an odd prime \(p|N_L\), if \(L_p=L_{p,1}\,\bot \, L_{p,2}\), where \(L_{p,1}\) is unimodular, \(L_{p,2}\) is (p)-modular, and \(\mathbb {Q}_pL_{p,2}\) is anisotropic, then \(\mathscr {M}(L;p):=\) \(\mathscr {M}(L)\) \(+T_{p^2}.\) \(\mathscr {M}(L)\)  is stable under the Hecke operator \(T_{p^2}\). If \(L_2\) is isometric to \(\left( \begin{array}{ll}0&{}\frac{1}{2}\\ \frac{1}{2}&{}0\end{array}\right) ^{\kappa }\,\bot \, \langle \varepsilon \rangle \) or \(\left( \begin{array}{ll}0&{}\frac{1}{2}\\ \frac{1}{2}&{}0\end{array}\right) ^{\kappa }\,\bot \, \langle 2\varepsilon \rangle \) or \(\left( \begin{array}{ll}0&{}1\\ 1&{}0\end{array}\right) ^{\kappa }\,\bot \, \langle \varepsilon \rangle \) with \(\varepsilon \in \mathbb {Z}_2^{\times }\) and \(\kappa :=\frac{k-1}{2}\), then \(\mathscr {M}(L;2):=T_{2^2}.\mathscr {M}(L)+T_{2^2}^2.\,\mathscr {M}(L)\) is stable under the Hecke operator \(T_{2^2}\). Furthermore, we determine some invariant subspaces of the cusp forms for the Hecke operators.     

An <Emphasis Type="Italic">A</Emphasis>-invariant subspace for bipartite distance-regular graphs with exactly two irreducible <Emphasis Type="Italic">T</Emphasis>-modules with endpoint 2, both thin

Let \(\Gamma \) denote a bipartite distance-regular graph with vertex set X, diameter \(D \ge 4\), and valency \(k \ge 3\). Let \({{\mathbb {C}}}^X\) denote the vector space over \({{\mathbb {C}}}\) consisting of column vectors with entries in \({{\mathbb {C}}}\) and rows indexed by X. For \(z \in X\), let \({{\widehat{z}}}\) denote the vector in \({{\mathbb {C}}}^X\) with a 1 in the z-coordinate, and 0 in all other coordinates. Fix a vertex x of \(\Gamma \) and let \(T = T(x)\) denote the corresponding Terwilliger algebra. Assume that up to isomorphism there exist exactly two irreducible T-modules with endpoint 2, and they both are thin. Fix \(y \in X\) such that \(\partial (x,y)=2\), where \(\partial \) denotes path-length distance. For \(0 \le i,j \le D\) define \(w_{ij}=\sum {{\widehat{z}}}\), where the sum is over all \(z \in X\) such that \(\partial (x,z)=i\) and \(\partial (y,z)=j\). We define \(W=\mathrm{span}\{w_{ij} \mid 0 \le i,j \le D\}\). In this paper we consider the space \(MW=\mathrm{span}\{mw \mid m \in M, w \in W\}\), where M is the Bose–Mesner algebra of \(\Gamma \). We observe that MW is the minimal A-invariant subspace of \({{\mathbb {C}}}^X\) which contains W, where A is the adjacency matrix of \(\Gamma \). We show that \(4D-6 \le \mathrm{dim}(MW) \le 4D-2\). We display a basis for MW for each of these five cases, and we give the action of A on these bases.     

Toy Teichmüller spaces of real dimension 2: the pentagon and the punctured triangle

Let \(f: S\longrightarrow B\) be a non-trivial fibration from a complex projective smooth surface S to a smooth curve B of genus b. Let \(c_f\) the Clifford index of the general fibre F of f. In Barja et al. (Journal für die reine und angewandte Mathematik, 2016) it is proved that the relative irregularity of f, \(q_f=h^{1,0}(S)-b\) is less or equal than or equal to \(g(F)-c_f\). In particular this proves the (modified) Xiao’s conjecture: \(q_f\le \frac{g(F)}{2} +1\) for fibrations of general Clifford index. In this short note we assume that the general fiber of f is a plane curve of degree \(d\ge 5\) and we prove that \(q_f\le g(F)-c_f-1\). In particular we obtain the conjecture for families of quintic plane curves. This theorem is implied for the following result on infinitesimal deformations: let F a smooth plane curve of degree \(d\ge 5\) and let \(\xi \) be an infinitesimal deformation of F preserving the planarity of the curve. Then the rank of the cup-product map \(H^0(F,\omega _F) {\overset{ \cdot \xi }{\longrightarrow }} H^1(F,O_F)\) is at least \(d-3\). We also show that this bound is sharp.     

Erratum to: Abstract commensurability and quasi-isometry classification of hyperbolic surface group amalgams

A fundamental result by Gromov and Thurston asserts that, if M is a closed hyperbolic n-manifold, then the simplicial volume \(\Vert M\Vert \) of M is equal to \(\mathrm{Vol}(M)/v_n\), where \(v_n\) is a constant depending only on the dimension of M. The same result also holds for complete finite-volume hyperbolic manifolds without boundary, while Jungreis proved that the ratio \(\mathrm{Vol}(M)/\Vert M\Vert \) is strictly smaller than \(v_n\) if M is compact with nonempty geodesic boundary. We prove here a quantitative version of Jungreis’ result for \(n\ge 4\), which bounds from below the ratio \(\Vert M\Vert /\mathrm{Vol}(M)\) in terms of the ratio \(\mathrm{Vol}(\partial M)/\mathrm{Vol}(M)\). As a consequence, we show that, for \(n\ge 4\), a sequence \(\{M_i\}\) of compact hyperbolic n-manifolds with geodesic boundary satisfies \(\lim _i \mathrm{Vol}(M_i)/\Vert M_i\Vert =v_n\) if and only if \(\lim _i \mathrm{Vol}(\partial M_i)/\mathrm{Vol}(M_i)=0\). We also provide estimates of the simplicial volume of hyperbolic manifolds with geodesic boundary in dimension 3.     

On the semistability of certain Lazarsfeld–Mukai bundles on abelian surfaces

Let \(X=\mathscr {J}(\widetilde{\mathscr {C}})\), the Jacobian of a genus 2 curve \(\widetilde{\mathscr {C}}\) over \({\mathbb {C}}\), and let Y be the associated Kummer surface. Consider an ample line bundle \(L=\mathscr {O}(m\widetilde{\mathscr {C}})\) on X for an even number m, and its descent to Y, say \(L'\). We show that any dominating component of \({\mathscr {W}}^1_{d}(|L'|)\) corresponds to \(\mu _{L'}\)-stable Lazarsfeld–Mukai bundles on Y. Further, for a smooth curve \(C\in |L|\) and a base-point free \(g^1_d\) on C, say (A, V), we study the \(\mu _L\)-semistability of the rank-2 Lazarsfeld–Mukai bundle associated to (C, (A, V)) on X. Under certain assumptions on C and the \(g^1_d\), we show that the above Lazarsfeld–Mukai bundles are \(\mu _L\)-semistable.     

<Emphasis Type="Italic">q</Emphasis>-Frequent hypercyclicity in spaces of operators

We provide conditions for a linear map of the form \(C_{R,T}(S)=RST\) to be q-frequently hypercyclic on algebras of operators on separable Banach spaces. In particular, if R is a bounded operator satisfying the q-frequent hypercyclicity criterion, then the map \(C_{R}(S)=RSR^*\) is shown to be q-frequently hypercyclic on the space \(\mathcal {K}(H)\) of all compact operators and the real topological vector space \(\mathcal {S}(H)\) of all self-adjoint operators on a separable Hilbert space H. Further we provide a condition for \(C_{R,T}\) to be q-frequently hypercyclic on the Schatten von Neumann classes \(S_p(H)\). We also characterize frequent hypercyclicity of \(C_{M^*_\varphi ,M_\psi }\) on the trace-class of the Hardy space, where the symbol \(M_\varphi \) denotes the multiplication operator associated to \(\varphi \).     

Gradient Estimates for Commutators of Square Roots of Elliptic Operators with Complex Bounded Measurable Coefficients

Let \(L=-\mathrm{div}(A\nabla )\) be a second order divergence form elliptic operator and A an accretive \(n\times n\) matrix with bounded measurable complex coefficients in \({\mathbb R}^n\). Let \(\nabla b\in L^n({\mathbb R}^n)\,(n>2)\). In this paper, we prove that the commutator generated by b and the square root of L, which is defined by \([b,\sqrt{L}]f(x)=b(x)\sqrt{L}f(x)-\sqrt{L}(bf)(x)\), is bounded from the homogenous Sobolev space \({\dot{L}}_1^2({\mathbb R}^n)\) to \(L^2({\mathbb R}^n)\).     

The Terwilliger algebra of the incidence graph of the Hamming graph

Let \(\varGamma \) be a distance-semiregular graph on Y, and let \(D^Y\) be the diameter of \(\varGamma \) on Y. Let \(\varDelta \) be the halved graph of \(\varGamma \) on Y. Fix \(x \in Y\). Let T and \(T'\) be the Terwilliger algebras of \(\varGamma \) and \(\varDelta \) with respect to x, respectively. Assume, for an integer i with \(1 \le 2i \le D^Y\) and for \(y,z \in \varGamma _{2i}(x)\) with \(\partial _{\varGamma }(y,z)=2\), the numbers \(|\varGamma _{2i-1}(x) \cap \varGamma (y) \cap \varGamma (z)|\) and \(|\varGamma _{2i+1}(x) \cap \varGamma (y) \cap \varGamma (z)|\) depend only on i and do not depend on the choice of y, z. The first goal in this paper is to show the relations between T-modules of \(\varGamma \) and \(T'\)-modules of \(\varDelta \). Assume \(\varGamma \) is the incidence graph of the Hamming graph H(D, n) on the vertex set Y and the set \({\mathcal {C}}\) of all maximal cliques. Then, \(\varGamma \) satisfies above assumption and \(\varDelta \) is isomorphic to H(D, n). The second goal is to determine the irreducible T-modules of \(\varGamma \). For each irreducible T-module W, we give a basis for W the action of the adjacency matrix on this basis and we calculate the multiplicity of W.     

On the semiclassical functional calculus for <Emphasis Type="Italic">h</Emphasis>-dependent functions

We study the functional calculus for operators of the form \(f_h(P(h))\) within the theory of semiclassical pseudodifferential operators, where \(\{f_h\}_{h\in (0,1]}\subset \mathrm{C^\infty _c}({{\mathbb {R}}})\) denotes a family of h-dependent functions satisfying some regularity conditions, and P(h) is either an appropriate self-adjoint semiclassical pseudodifferential operator in \(\mathrm{L}^2({{\mathbb {R}}}^n)\) or a Schrödinger operator in \(\mathrm{L}^2(M), M\) being a closed Riemannian manifold of dimension n. The main result is an explicit semiclassical trace formula with remainder estimate that is well-suited for studying the spectrum of P(h) in spectral windows of width of order \(h^\delta \), where \(0\le \delta <\frac{1}{2}\).     

Fractional Differentiability for Solutions of Nonlinear Elliptic Equations

We study nonlinear elliptic equations in divergence form

$$\text {div }{\mathcal A}(x,Du)=\text {div } G.$$

When \({\mathcal A}\) has linear growth in D u, and assuming that \(x\mapsto {\mathcal A}(x,\xi )\) enjoys \(B^{\alpha }_{\frac {n}\alpha , q}\) smoothness, local well-posedness is found in \(B^{\alpha }_{p,q}\) for certain values of \(p\in [2,\frac {n}{\alpha })\) and \(q\in [1,\infty ]\). In the particular case \({\mathcal A}(x,\xi )=A(x)\xi \), G = 0 and \(A\in B^{\alpha }_{\frac {n}\alpha ,q}\), \(1\leq q\leq \infty \), we obtain \(Du\in B^{\alpha }_{p,q}\) for each \(p<\frac {n}\alpha \). Our main tool in the proof is a more general result, that holds also if \({\mathcal A}\) has growth s?1 in D u, 2 ≤ s ≤ n, and asserts local well-posedness in L ^q for each q > s, provided that \(x\mapsto {\mathcal A}(x,\xi )\) satisfies a locally uniform VMO condition.

     

A generalization of total graphs

Let R be a commutative ring with nonzero identity, \(L_{n}(R)\) be the set of all lower triangular \(n\times n\) matrices, and U be a triangular subset of \(R^{n}\), i.e., the product of any lower triangular matrix with the transpose of any element of U belongs to U. The graph \(GT^{n}_{U}(R^n)\) is a simple graph whose vertices consists of all elements of \(R^{n}\), and two distinct vertices \((x_{1},\dots ,x_{n})\) and \((y_{1},\dots ,y_{n})\) are adjacent if and only if \((x_{1}+y_{1}, \ldots ,x_{n}+y_{n})\in U\). The graph \(GT^{n}_{U}(R^n)\) is a generalization for total graphs. In this paper, we investigate the basic properties of \(GT^{n}_{U}(R^n)\). Moreover, we study the planarity of the graphs \(GT^{n}_{U}(U)\), \(GT^{n}_{U}(R^{n}{\setminus } U)\) and \(GT^{n}_{U}(R^n)\).     

Universal Cycle Packings and Coverings for <Emphasis Type="Italic">k</Emphasis>-Subsets of an <Emphasis Type="Italic">n</Emphasis>-Set

A cyclic sequence of elements of [n] is an (n, k)-Ucycle packing (respectively, (n, k)-Ucycle covering) if every k-subset of [n] appears in this sequence at most once (resp. at least once) as a subsequence of consecutive terms. Let \(p_{n,k}\) be the length of a longest (n, k)-Ucycle packing and \(c_{n,k}\) the length of a shortest (n, k)-Ucycle covering. We show that, for a fixed \(k,p_{n,k}={n\atopwithdelims ()k}-O(n^{\lfloor k/2\rfloor })\). Moreover, when k is not fixed, we prove that if \(k=k(n)\le n^{\alpha }\), where \(0<\alpha <1/3\), then \(p_{n,k}={n\atopwithdelims ()k}-o({n\atopwithdelims ()k}^\beta )\) and \(c_{n,k}={n\atopwithdelims ()k}+o({n\atopwithdelims ()k}^\beta )\), for some \(\beta <1\). Finally, we show that if \(k=o(n)\), then \(p_{n,k}={n\atopwithdelims ()k}(1-o(1))\).     

Some new Kirkman signal sets

A decomposition of the blocks of an \(\textsf {STS}(v)\) into partial parallel classes of size m is equivalent to a Kirkman signal set \(\textsf {KSS}(v,m)\). We give decompositions of \(\textsf {STS}(4v-3)\) into classes of size \(v-1\) when \(v \equiv 3 \pmod {6}\), \(v \not = 3\). We also give decompositions of \(\textsf {STS}(v)\) into classes of various sizes when v is a product of two arbitrary integers that are both congruent to \(3 \pmod {6}\). These results produce new families of \(\textsf {KSS}(v,m)\).     

A generalization of the normal rational curve in $$\mathop {\mathrm{PG}}(d,q^n)$$ and its associated non-linear MRD codes

Let A and B be two points of \(\mathop {\mathrm{PG}}(d,q^n)\) and let \(\Phi \) be a collineation between the stars of lines with vertices A and B, that does not map the line AB into itself. In this paper we prove that if \(d=2\) or \(d\ge 3\) and the lines \(\Phi ^{-1}(AB), AB, \Phi (AB) \) are not in a common plane, then the set \(\mathcal{C}\) of points of intersection of corresponding lines under \(\Phi \) is the union of \(q-1\) scattered \({\mathbb {F}}_{q}\)-linear sets of rank n together with \(\{A,B\}\). As an application we will construct, starting from the set \(\mathcal{C}\), infinite families of non-linear \((d+1, n, q;d-1)\)-MRD codes, \(d\le n-1\), generalizing those recently constructed in Cossidente et al. (Des Codes Cryptogr 79:597–609, 2016) and Durante and Siciliano (Electron J Comb, 2017).     

Constructive Approximation in de Branges–Rovnyak Spaces

In most classical holomorphic function spaces on the unit disk in which the polynomials are dense, a function f can be approximated in norm by its dilates \(f_r(z):=f(rz)~(r<1)\). We show that this is not the case for the de Branges–Rovnyak spaces \(\mathcal{H}(b)\). More precisely, we exhibit a space \(\mathcal{H}(b)\) in which the polynomials are dense and a function \(f\in \mathcal{H}(b)\) such that \(\lim _{r\rightarrow 1^-}\Vert f_r\Vert _{\mathcal{H}(b)}=\infty \). On the positive side, we prove the following approximation theorem for Toeplitz operators on general de Branges–Rovnyak spaces \(\mathcal{H}(b)\). If \((h_n)\) is a sequence in \(H^\infty \) such that \(\Vert h_n\Vert _{H^\infty }\le 1\) and \(h_n(0)\rightarrow 1\), then \(\Vert T_{\overline{h}_n}f-f\Vert _{\mathcal{H}(b)}\rightarrow 0\) for all \(f\in \mathcal{H}(b)\). Using this result, we give the first constructive proof that, if b is a nonextreme point of the unit ball of \(H^\infty \), then the polynomials are dense in \(\mathcal{H}(b)\).     

On the peripheral spectrum of positive elements

Let A be an ordered Banach algebra with a unit \(\mathbf{e}\) and a cone \(A^+\). An element p of A is said to be an order idempotent if \(p^2 = p\) and \(0 \le p\le \mathbf{e}\). An element \(a\in A^+\) is said to be irreducible if the relation \((\mathbf{e}-p)ap = 0\), where p is an order idempotent, implies \(p = 0\) or \(p = \mathbf{e}\). For an arbitrary element a of A the peripheral spectrum \(\sigma _\mathrm{per}(a)\) of a is the set \(\sigma _\mathrm{per}(a) = \{\lambda \in \sigma (a):|\lambda | = r(a)\}\), where \(\sigma (a)\) is the spectrum of a and r(a) is the spectral radius of a. We investigate properties of the peripheral spectrum of an irreducible element a. Conditions under which \(\sigma _\mathrm{per}(a)\) contains or coincides with \(r(a)H_m\), where \(H_m\) is the group of all \(m^\mathrm{th}\) roots of unity, and the spectrum \(\sigma (a)\) is invariant under rotation by the angle \(\frac{2\pi }{m}\) for some \(m\in {\mathbb N}\), are given. The correlation between these results and the existence of a cyclic form of a is considered. The conditions under which a is primitive, i.e., \(\sigma _\mathrm{per}(a) = \{r(a)\}\), are studied. The necessary assumptions on the algebra A which imply the validity of these results, are discussed. In particular, the Lotz–Schaefer axiom is introduced and finite-rank elements of A are defined. Other approaches to the notions of irreducibility and primitivity are discussed. Conditions under which the inequalities \(0 \le b < a\) imply \(r(b) < r(a)\) are studied. The closedness of the center \(A_\mathbf{e}\), i.e., of the order ideal generated by \(\mathbf{e}\) in A, is proved.