Bilinear dual hyperovals in the largest ambient spaces

The following facts are shown for a bilinear dual hyperoval \({\mathcal {S}}\) of rank n. The ambient space \({\mathbf {A}}({\mathcal {S}})\) has vector dimension at most \(n(n+1)/2\). The dimension of \({\mathbf {A}}({\mathcal {S}})\) is \(n(n+1)/2\) if and only if \({\mathcal {S}}\) is isomorphic to the Huybrechts or the Buratti–Del Fra dual hyperoval.     

Derivations,Local and 2-Local Derivations on Some Algebras of Operators on Hilbert C*-Modules

For a commutative C*-algebra \({\mathcal {A}}\) with unit e and a Hilbert \({\mathcal {A}}\)-module \({\mathcal {M}}\), denote by End\(_{{\mathcal {A}}}({\mathcal {M}})\) the algebra of all bounded \({\mathcal {A}}\)-linear mappings on \({\mathcal {M}}\), and by End\(^*_{{\mathcal {A}}}({\mathcal {M}})\) the algebra of all adjointable mappings on \({\mathcal {M}}\). We prove that if \({\mathcal {M}}\) is full, then each derivation on End\(_{{\mathcal {A}}}({\mathcal {M}})\) is \({\mathcal {A}}\)-linear, continuous, and inner, and each 2-local derivation on End\(_{{\mathcal {A}}}({\mathcal {M}})\) or End\(^{*}_{{\mathcal {A}}}({\mathcal {M}})\) is a derivation. If there exist \(x_0\) in \({\mathcal {M}}\) and \(f_0\) in \({\mathcal {M}}^{'}\), such that \(f_0(x_0)=e\), where \({\mathcal {M}}^{'}\) denotes the set of all bounded \({\mathcal {A}}\)-linear mappings from \({\mathcal {M}}\) to \({\mathcal {A}}\), then each \({\mathcal {A}}\)-linear local derivation on End\(_{{\mathcal {A}}}({\mathcal {M}})\) is a derivation.     

Codes with the identifiable parent property for multimedia fingerprinting

Let \({\mathcal {C}}\) be a q-ary code of length n and size M, and \({\mathcal {C}}(i) = \{\mathbf{c}(i) \ | \ \mathbf{c}=(\mathbf{c}(1), \mathbf{c}(2), \ldots , \mathbf{c}(n))^{T} \in {\mathcal {C}}\}\) be the set of ith coordinates of \({\mathcal {C}}\). The descendant code of a sub-code \({\mathcal {C}}^{'} \subseteq {\mathcal {C}}\) is defined to be \({\mathcal {C}}^{'}(1) \times {\mathcal {C}}^{'}(2) \times \cdots \times {\mathcal {C}}^{'}(n)\). In this paper, we introduce a multimedia analogue of codes with the identifiable parent property (IPP), called multimedia IPP codes or t-MIPPC(n, M, q), so that given the descendant code of any sub-code \({\mathcal {C}}^{'}\) of a multimedia t-IPP code \({\mathcal {C}}\), one can always identify, as IPP codes do in the generic digital scenario, at least one codeword in \({\mathcal {C}}^{'}\). We first derive a general upper bound on the size M of a multimedia t-IPP code, and then investigate multimedia 3-IPP codes in more detail. We characterize a multimedia 3-IPP code of length 2 in terms of a bipartite graph and a generalized packing, respectively. By means of these combinatorial characterizations, we further derive a tight upper bound on the size of a multimedia 3-IPP code of length 2, and construct several infinite families of (asymptotically) optimal multimedia 3-IPP codes of length 2.     

Finite elements in some vector lattices of nonlinear operators

We study the collection of finite elements \(\Phi _{1}\big ({\mathcal {U}}(E,F)\big )\) in the vector lattice \({\mathcal {U}}(E,F)\) of orthogonally additive, order bounded (called abstract Uryson) operators between two vector lattices E and F, where F is Dedekind complete. In particular, for an atomic vector lattice E it is proved that for a finite element in \(\varphi \in {\mathcal {U}}(E,{\mathbb {R}})\) there is only a finite set of mutually disjoint atoms, where \(\varphi \) does not vanish and, for an atomless vector lattice the zero-vector is the only finite element in the band of \(\sigma \)-laterally continuous abstract Uryson functionals. We also describe the ideal \(\Phi _{1}\big ({\mathcal {U}}({\mathbb {R}}^n,{\mathbb {R}}^m)\big )\) for \(n,m\in {\mathbb {N}}\) and consider rank one operators to be finite elements in \({\mathcal {U}}(E,F)\).     

Lie Algebras of Slow Growth and Klein-Gordon PDE

We discuss the notion of characteristic Lie algebra of a hyperbolic PDE. The integrability of a hyperbolic PDE is closely related to the properties of the corresponding characteristic Lie algebra χ. We establish two explicit isomorphisms:

1. 1)
   the first one is between the characteristic Lie algebra \(\chi (\sinh {u})\) of the sinh-Gordon equation \(u_{xy}=\sinh {u}\) and the non-negative part \({\mathcal {L}}({\mathfrak {sl}}(2,{\mathbb {C}}))^{\ge 0}\) of the loop algebra of \({\mathfrak {sl}}(2,{\mathbb {C}})\) that corresponds to the Kac-Moody algebra \(A_{1}^{(1)}\)

   $$\chi(\sinh{u})\cong {\mathcal{L}}({\mathfrak{s}\mathfrak{l}}(2,{\mathbb{C}}))^{\ge 0}={\mathfrak{s}\mathfrak{l}}(2, {\mathbb{C}}) \otimes {\mathbb{C}}[t]. $$
    
2. 2)
   the second isomorphism is for the Tzitzeica equation u_xy = e^u + e^??2u

   $$\chi(e^{u}{+}e^{-2u}) \cong {\mathcal{L}}({\mathfrak{s}\mathfrak{l}}(3,{\mathbb{C}}), \mu)^{\ge0}=\bigoplus_{j = 0}^{+\infty}{\mathfrak{g}}_{j (\text{mod} \; 2)} \otimes t^{j}, $$

   where \({\mathcal {L}}({\mathfrak {sl}}(3,{\mathbb {C}}), \mu )=\bigoplus _{j \in {\mathbb {Z}}}{\mathfrak {g}}_{j (\text {mod} \; 2)} \otimes t^{j}\) is the twisted loop algebra of the simple Lie algebra \({\mathfrak {sl}}(3,{\mathbb {C}})\) that corresponds to the Kac-Moody algebra \(A_{2}^{(2)}\).
    

Hence the Lie algebras \(\chi (\sinh {u})\) and χ(e^u + e^??2u) are slowly linearly growing Lie algebras with average growth rates \(\frac {3}{2}\) and \(\frac {4}{3}\) respectively.     

Hausdorffness for Lie algebra homology of Schwartz spaces and applications to the comparison conjecture

Let H be a real algebraic group acting equivariantly with finitely many orbits on a real algebraic manifold X and a real algebraic bundle \({\mathcal {E}}\) on X. Let \(\mathfrak {h}\) be the Lie algebra of H. Let \(\mathcal {S}(X,{\mathcal {E}})\) be the space of Schwartz sections of \({\mathcal {E}}\). We prove that \(\mathfrak {h}\mathcal {S}(X,{\mathcal {E}})\) is a closed subspace of \(\mathcal {S}(X,{\mathcal {E}})\) of finite codimension. We give an application of this result in the case when H is a real spherical subgroup of a real reductive group G. We deduce an equivalence of two old conjectures due to Casselman: the automatic continuity and the comparison conjecture for zero homology. Namely, let \(\pi \) be a Casselman–Wallach representation of G and V be the corresponding Harish–Chandra module. Then the natural morphism of coinvariants \(V_{\mathfrak {h}}\rightarrow \pi _{\mathfrak {h}}\) is an isomorphism if and only if any linear \(\mathfrak {h}\)-invariant functional on V is continuous in the topology induced from \(\pi \). The latter statement is known to hold in two important special cases: if H includes a symmetric subgroup, and if H includes the nilradical of a minimal parabolic subgroup of G.     

On the global convergence rate of the gradient descent method for functions with Hölder continuous gradients

The gradient descent method minimizes an unconstrained nonlinear optimization problem with \({\mathcal {O}}(1/\sqrt{K})\), where K is the number of iterations performed by the gradient method. Traditionally, this analysis is obtained for smooth objective functions having Lipschitz continuous gradients. This paper aims to consider a more general class of nonlinear programming problems in which functions have Hölder continuous gradients. More precisely, for any function f in this class, denoted by \({{\mathcal {C}}}^{1,\nu }_L\), there is a \(\nu \in (0,1]\) and \(L>0\) such that for all \(\mathbf{x,y}\in {{\mathbb {R}}}^n\) the relation \(\Vert \nabla f(\mathbf{x})-\nabla f(\mathbf{y})\Vert \le L \Vert \mathbf{x}-\mathbf{y}\Vert ^{\nu }\) holds. We prove that the gradient descent method converges globally to a stationary point and exhibits a convergence rate of \({\mathcal {O}}(1/K^{\frac{\nu }{\nu +1}})\) when the step-size is chosen properly, i.e., less than \([\frac{\nu +1}{L}]^{\frac{1}{\nu }}\Vert \nabla f(\mathbf{x}_k)\Vert ^{\frac{1}{\nu }-1}\). Moreover, the algorithm employs \({\mathcal {O}}(1/\epsilon ^{\frac{1}{\nu }+1})\) number of calls to an oracle to find \({\bar{\mathbf{x}}}\) such that \(\Vert \nabla f({{\bar{\mathbf{x}}}})\Vert <\epsilon \).     

Semigroups of rectangular matrices under a sandwich operation

Let \({\mathcal {M}}_{mn}={\mathcal {M}}_{mn}({\mathbb {F}})\) denote the set of all \(m\times n\) matrices over a field \({\mathbb {F}}\), and fix some \(n\times m\) matrix \(A\in {\mathcal {M}}_{nm}\). An associative operation \(\star \) may be defined on \({\mathcal {M}}_{mn}\) by \(X\star Y=XAY\) for all \(X,Y\in {\mathcal {M}}_{mn}\), and the resulting sandwich semigroup is denoted \({\mathcal {M}}_{mn}^A={\mathcal {M}}_{mn}^A({\mathbb {F}})\). These semigroups are closely related to Munn rings, which are fundamental tools in the representation theory of finite semigroups. We study \({\mathcal {M}}_{mn}^A\) as well as its subsemigroups \(\hbox {Reg}({\mathcal {M}}_{mn}^A)\) and \({\mathcal {E}}_{mn}^A\) (consisting of all regular elements and products of idempotents, respectively), and the ideals of \(\hbox {Reg}({\mathcal {M}}_{mn}^A)\). Among other results, we characterise the regular elements; determine Green’s relations and preorders; calculate the minimal number of matrices (or idempotent matrices, if applicable) required to generate each semigroup we consider; and classify the isomorphisms between finite sandwich semigroups \({\mathcal {M}}_{mn}^A({\mathbb {F}}_1)\) and \({\mathcal {M}}_{kl}^B({\mathbb {F}}_2)\). Along the way, we develop a general theory of sandwich semigroups in a suitably defined class of partial semigroups related to Ehresmann-style “arrows only” categories; we hope this framework will be useful in studies of sandwich semigroups in other categories. We note that all our results have applications to the variants \({\mathcal {M}}_n^A\) of the full linear monoid \({\mathcal {M}}_n\) (in the case \(m=n\)), and to certain semigroups of linear transformations of restricted range or kernel (in the case that \(\hbox {rank}(A)\) is equal to one of m, n).     

Compact right multipliers on a Banach algebra related to locally compact semigroups

For a locally compact semigroup \({\mathcal{S}}\), let \(L_{0}^{\infty}({\mathcal{S}},M_{a}({\mathcal{S}}))\) be the Banach space of all μ-measurable (\(\mu\in M_{a}({\mathcal{S}})\)) functions vanishing at infinity, where \(M_{a}({\mathcal{S}})\) denotes the algebra of all measures in the measure algebra \(M({\mathcal{S}})\) of \({\mathcal{S}}\) with continuous translations. Here, we study right compact multipliers on the Banach algebra \(L_{0}^{\infty}({\mathcal{S}},M_{a}({\mathcal{S}}))^{*}\) equipped with an Arens product.     

Natural extensions and profinite completions of algebras

This paper investigates profinite completions of residually finite algebras, drawing on ideas from the theory of natural dualities. Given a class \({\mathcal{A} = \mathbb{ISP}(\mathcal{M})}\), where \({\mathcal{M}}\) is a set, not necessarily finite, of finite algebras, it is shown that each \({{\bf A} \in \mathcal{A}}\) embeds as a topologically dense subalgebra of a topological algebra \({n_{\mathcal{A}}({\bf A})}\) (its natural extension), and that \({n_{\mathcal{A}}({\bf A})}\) is isomorphic, topologically and algebraically, to the profinite completion of A. In addition it is shown how the natural extension may be concretely described as a certain family of relation-preserving maps; in the special case that \({\mathcal{M}}\) is finite and \({\mathcal{A}}\) possesses a single-sorted or multisorted natural duality, the relations to be preserved can be taken to be those belonging to a dualising set. For an algebra belonging to a finitely generated variety of lattice-based algebras, it is known that the profinite completion coincides with the canonical extension. In this situation the natural extension provides a new concrete realisation of the canonical extension, generalising the well-known representation of the canonical extension of a bounded distributive lattice as the lattice of up-sets of the underlying ordered set of its Priestley dual. The paper concludes with a survey of classes of algebras to which the main theorems do, and do not, apply.     

A Comment on Ryser’s Conjecture for Intersecting Hypergraphs

Let \(\tau({\mathcal{H}})\) be the cover number and \(\nu({\mathcal{H}})\) be the matching number of a hypergraph \({\mathcal{H}}\). Ryser conjectured that every r-partite hypergraph \({\mathcal{H}}\) satisfies the inequality \(\tau({\mathcal{H}}) \leq (r-1) \nu ({\mathcal{H}})\). This conjecture is open for all r ≥ 4. For intersecting hypergraphs, namely those with \(\nu({\mathcal{H}}) = 1\), Ryser’s conjecture reduces to \(\tau({\mathcal{H}}) \leq r-1\). Even this conjecture is extremely difficult and is open for all r ≥ 6. For infinitely many r there are examples of intersecting r-partite hypergraphs with \(\tau({\mathcal{H}}) = r-1\), demonstrating the tightness of the conjecture for such r. However, all previously known constructions are not optimal as they use far too many edges. How sparse can an intersecting r-partite hypergraph be, given that its cover number is as large as possible, namely \(\tau({\mathcal{H}}) \ge r-1\)? In this paper we solve this question for r ≤ 5, give an almost optimal construction for r = 6, prove that any r-partite intersecting hypergraph with τ(H) ≥ r ? 1 must have at least \((3-\frac{1}{\sqrt{18}})r(1-o(1)) \approx 2.764r(1-o(1))\) edges, and conjecture that there exist constructions with Θ(r) edges.     

Relative Igusa-Todorov Functions and Relative Homological Dimensions

We develope the theory of \({\mathcal {E}}\)-relative Igusa-Todorov functions in an exact I T-context \(({\mathcal {C}},{\mathcal {E}})\) (see Definition 2.1). In the case when \({\mathcal {C}}={\text {mod}}\, ({\Lambda })\) is the category of finitely generated left Λ-modules, for an artin algebra Λ, and \({\mathcal {E}}\) is the class of all exact sequences in \({\mathcal {C}},\) we recover the usual Igusa-Todorov functions, Igusa K. and Todorov G. (2005). We use the setting of the exact structures and the Auslander-Solberg relative homological theory to generalise the original Igusa-Todorov’s results. Furthermore, we introduce the \({\mathcal {E}}\)-relative Igusa-Todorov dimension and also we obtain relationships with the relative global and relative finitistic dimensions and the Gorenstein homological dimensions.     

On the topological center of a Banach algebra related to a foundation topological semigroup

Let \({\mathcal{S}}\) be a locally compact semigroup and \(L_{0}^{\infty}({\mathcal{S}},M_{a}({\mathcal{S}}))\) be the Banach space of all μ-measurable (\(\mu\in M_{a}({\mathcal{S}})\)) functions vanishing at infinity, where \(M_{a}({\mathcal{S}})\) denotes the algebra of all measures with continuous translations. Recently, we have shown that \(L_{0}^{\infty}({\mathcal{S}},M_{a}({\mathcal{S}}))^{*}\) can be equipped with an Arens type product. Here, we show that the topological center of \(L_{0}^{\infty}({\mathcal{S}},M_{a}({\mathcal{S}}))^{*}\) coincides with \(M_{a}({\mathcal{S}})\) for a class of locally compact semigroups \({\mathcal{S}}\): this gives a partial solution to a conjecture raised by the authors.     

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.     

Character Connes-amenability of dual Banach algebras

The concept of left character Connes-amenability for a dual Banach algebra \({\mathcal {A}}\) is introduced. We obtain a cohomological characterization of left character Connes-amenability as well as the relation between left \(\varphi \)-Connes-amenability and existence of left \(\varphi \)-normal virtual diagonals for a \(\omega ^{*}\)-continuous character \(\varphi \). We prove that left character amenability of \({\mathcal {A}}\) is equivalent to left character Connes-amenability of \({\mathcal {A}}^{**}\) when \({\mathcal {A}}\) is Arens regular. Moreover for a locally compact group G, we show that M(G) is left character Connes-amenable. In addition by means of some examples we show that for the new notion, the corresponding class of dual Banach algebras is larger than Connes-amenable dual Banach algebras.     

On the additivity of block designs

We show that symmetric block designs \({\mathcal {D}}=({\mathcal {P}},{\mathcal {B}})\) can be embedded in a suitable commutative group \({\mathfrak {G}}_{\mathcal {D}}\) in such a way that the sum of the elements in each block is zero, whereas the only Steiner triple systems with this property are the point-line designs of \({\mathrm {PG}}(d,2)\) and \({\mathrm {AG}}(d,3)\). In both cases, the blocks can be characterized as the only k-subsets of \(\mathcal {P}\) whose elements sum to zero. It follows that the group of automorphisms of any such design \(\mathcal {D}\) is the group of automorphisms of \({\mathfrak {G}}_\mathcal {D}\) that leave \(\mathcal {P}\) invariant. In some special cases, the group \({\mathfrak {G}}_\mathcal {D}\) can be determined uniquely by the parameters of \(\mathcal {D}\). For instance, if \(\mathcal {D}\) is a 2-\((v,k,\lambda )\) symmetric design of prime order p not dividing k, then \({\mathfrak {G}}_\mathcal {D}\) is (essentially) isomorphic to \(({\mathbb {Z}}/p{\mathbb {Z}})^{\frac{v-1}{2}}\), and the embedding of the design in the group can be described explicitly. Moreover, in this case, the blocks of \(\mathcal {B}\) can be characterized also as the v intersections of \(\mathcal {P}\) with v suitable hyperplanes of \(({\mathbb {Z}}/p{\mathbb {Z}})^{\frac{v-1}{2}}\).     

Conformally Covariant Differential Operators for the Diagonal Action of $$O(p,\,q)$$ on Real Quadrics

Let \(X=G/P\) be a real projective quadric, where \(G=O(p,\,q)\) and P is a parabolic subgroup of G. Let \((\pi _{\lambda ,\epsilon },\, \mathcal H_{\lambda ,\epsilon })_{ (\lambda ,\epsilon )\in {\mathbb {C}}\times \{\pm \}}\) be the family of (smooth) representations of G induced from the characters of P. For \((\lambda ,\, \epsilon ),\, (\mu ,\, \eta )\in {\mathbb {C}}\times \{\pm \},\) a differential operator \(\mathbf D_{(\mu ,\eta )}^\mathrm{reg}\) on \(X\times X,\) acting G-covariantly from \({\mathcal {H}}_{\lambda ,\epsilon } \otimes {\mathcal {H}}_{\mu , \eta }\) into \({\mathcal {H}}_{\lambda +1,-\epsilon } \otimes {\mathcal {H}}_{\mu +1, -\eta }\) is constructed.     

Ideal Connes-Amenability of Dual Banach Algebras

Following Runde, we define the concept of ideal Connes-amenability for dual Banach algebras. For an Arens regular dual Banach algebra \({\mathcal {A}}\), we prove that the ideal Connes-amenability of \(\mathcal {A^{**}}\), the second dual of \({\mathcal {A}}\) necessities ideal Connes-amenability of \({{\mathcal {A}}}\). As a typical example, we show that von Neumann algebras are always ideally Connes-amenable. For a locally compact group G, the Fourier–Stieltjes algebra of G is ideally Connes-amenable, but not ideally amenable.     

An Invariant Subspace Theorem and Invariant Subspaces of Analytic Reproducing Kernel Hilbert Spaces - II

This paper is a follow-up contribution to our work (Sarkar in J Oper Theory, 73:433–441, 2015) where we discussed some invariant subspace results for contractions on Hilbert spaces. Here we extend the results of (Sarkar in J Oper Theory, 73:433–441, 2015) to the context of n-tuples of bounded linear operators on Hilbert spaces. Let \(T = (T_1, \ldots , T_n)\) be a pure commuting co-spherically contractive n-tuple of operators on a Hilbert space \({\mathcal {H}}\) and \({\mathcal {S}}\) be a non-trivial closed subspace of \({\mathcal {H}}\). One of our main results states that: \({\mathcal {S}}\) is a joint T-invariant subspace if and only if there exists a partially isometric operator \(\Pi \in {\mathcal {B}}(H^2_n({\mathcal {E}}), {\mathcal {H}})\) such that \({\mathcal {S}}= \Pi H^2_n({\mathcal {E}})\), where \(H^2_n\) is the Drury–Arveson space and \({\mathcal {E}}\) is a coefficient Hilbert space and \(T_i \Pi = \Pi M_{z_i}\), \(i = 1, \ldots , n\). In particular, it follows that a shift invariant subspace of a “nice” reproducing kernel Hilbert space over the unit ball in \({{\mathbb {C}}}^n\) is the range of a “multiplier” with closed range. Our work addresses the case of joint shift invariant subspaces of the Hardy space and the weighted Bergman spaces over the unit ball in \({{\mathbb {C}}}^n\).