On a matrix trace inequality due to Ando,Hiai and Okubo

Ando et al. have proved that inequality \(\Re \mathfrak{e}trA^{p_1 } B^{q_1 \ldots } A^{p_k } B^{q_k } \leqslant trA^{p_1 + \ldots + p_k } B^{q_1 + \ldots + q_k }p\) is valid for all positive semidefinite matrices A,B and those nonnegative real numbers p₁, q₁,..., p_k, q_k which satisfy certain additional conditions. We give an example to show that this inequality is not valid for all collections of p₁, q₁,..., p_k, q_k ≥ 0. We also study related trace inequalities.     

Hodge Star as Braided Fourier Transform

We study super-braided Hopf algebras Λ primitively generated by finite-dimensional right crossed (or Drinfeld-Radford-Yetter) modules Λ¹ over a Hopf algebra A which are quotients of the augmentation ideal A ⁺ as a crossed module by right multiplication and the adjoint coaction. Here super-bosonisation Open image in new window provides a bicovariant differential graded algebra on A. We introduce Λ _{m a x} providing the maximal prolongation, while the canonical braided-exterior algebra Λ _min = B _?(Λ¹) provides the Woronowicz exterior calculus. In this context we introduce a Hodge star operator ? by super-braided Fourier transform on B _?(Λ¹) and left and right interior products by braided partial derivatives. Our new approach to the Hodge star (a) differs from previous approaches in that it is canonically determined by the differential calculus and (b) differs on key examples, having order 3 in middle degree on k[S ₃] with its 3D calculus and obeying the q-Hecke relation ?² = 1 + (q ? q ^?1)? in middle degree on k _q [S L ₂] with its 4D calculus. Our work also provides a Hodge map on quantum plane calculi and a new starting point for calculi on coquasitriangular Hopf algebras A whereby any subcoalgebra \(\mathcal {L}\subseteq A\) defines a sub-braided Lie algebra and \({\Lambda }^{1}\subseteq \mathcal {L}^{*}\) provides the required data A ⁺ → Λ¹.     

Inversion and subspaces of a finite field

Consider two F _q -subspaces A and B of a finite field, of the same size, and let A ^?1 denote the set of inverses of the nonzero elements of A. The author proved that A ^?1 can only be contained in A if either A is a subfield, or A is the set of trace zero elements in a quadratic extension of a field. Csajbók refined this to the following quantitative statement: if A ^?1 ? B, then the bound |A ^?1∩B| ≤ 2|B|/q ? 2 holds. He also gave examples showing that his bound is sharp for |B| ≤ q ³. Our main result is a proof of the stronger bound |A ^?1 ∩ B| ≤ |B|/q · (1 + O _d (q ^?1/2)), for |B| = q ^d with d > 3. We also classify all examples with |B| ≤ q ³ which attain equality or near-equality in Csajbók’s bound.     

Pointwise multipliers for Besov spaces of dominating mixed smoothness-Ⅱ

We continue our investigations on pointwise multipliers for Besov spaces of dominating mixed smoothness. This time we study the algebra property of the classes S_(p,q)~rB(R~d) with respect to pointwise multiplication. In addition, if p≤q, we are able to describe the space of all pointwise multipliers for S_(p,q)~rB(R~d).     

Schur positivity and the <Emphasis Type="Italic">q</Emphasis>-log-convexity of the Narayana polynomials

We prove two recent conjectures of Liu and Wang by establishing the strong q-log-convexity of the Narayana polynomials, and showing that the Narayana transformation preserves log-convexity. We begin with a formula of Brändén expressing the q-Narayana numbers as a specialization of Schur functions and, by deriving several symmetric function identities, we obtain the necessary Schur-positivity results. In addition, we prove the strong q-log-concavity of the q-Narayana numbers. The q-log-concavity of the q-Narayana numbers N _q (n,k) for fixed k is a special case of a conjecture of McNamara and Sagan on the infinite q-log-concavity of the Gaussian coefficients.     

ON THE COADJOINT ORBITS OF MAXIMAL UNIPOTENT SUBGROUPS OF REDUCTIVE GROUPS

Let G be a simple algebraic group defined over an algebraically closed field of characteristic 0 or a good prime for G. Let U be a maximal unipotent subgroup of G and \( \mathfrak{u} \) its Lie algebra. We prove the separability of orbit maps and the connectedness of centralizers for the coadjoint action of U on (certain quotients of) the dual \( \mathfrak{u} \)* of \( \mathfrak{u} \). This leads to a method to give a parametrization of the coadjoint orbits in terms of so-called minimal representatives which form a disjoint union of quasi-affine varieties. Moreover, we obtain an algorithm to explicitly calculate this parametrization which has been used for G of rank at most 8, except E₈.When G is defined and split over the field of q elements, for q the power of a good prime for G, this algorithmic parametrization is used to calculate the number k(U(q); \( \mathfrak{u} \)*(q)) of coadjoint orbits of U(q) on \( \mathfrak{u} \)*(q). Since k(U(q), \( \mathfrak{u} \)*(q)) coincides with the number k(U(q)) of conjugacy classes in U(q), these calculations can be viewed as an extension of the results obtained in [11]. In each case considered here there is a polynomial h(t) with integer coefficients such that for every such q we have k(U(q)) = h(q). We also explain implications of our results for a parametrization of the irreducible complex characters of U(q).     

Block partitions of sequences

Given a sequence A = (a ₁, …, a _n ) of real numbers, a block B of A is either a set B = {a _i , a _i+1, …, a _j } where i ≤ j or the empty set. The size b of a block B is the sum of its elements. We show that when each a _i ∈ [0, 1] and k is a positive integer, there is a partition of A into k blocks B ₁, …, B _k with |b _i ?b _j | ≤ 1 for every i, j. We extend this result in several directions.     

A gradual rank increasing process for matrix completion

The matrix completion problem is easy to state: let A be a given data matrix in which some entries are unknown. Then, it is needed to assign “appropriate values” to these entries. A common way to solve this problem is to compute a rank-k matrix, B _k , that approximates A in a least squares sense. Then, the unknown entries in A attain the values of the corresponding entries in B _k . This raises the question of how to determine a suitable matrix rank. The method proposed in this paper attempts to answer this question. It builds a finite sequence of matrices \(B_{k}, k = 1, 2, \dots \), where B _k is a rank-k matrix that approximates A in a least squares sense. The computational effort is reduced by using B _k-1 as starting point in the computation of B _k . The ability of B _k to serve as substitute for A is measured with two objective functions: a “training” function that measures the distance between the known part of A and the corresponding part of B _k , and a “probe” function that assesses the quality of the imputed entries. Watching the changes in these functions as k increases enables us to find an optimal matrix rank. Numerical experiments illustrate the usefulness of the proposed approach.     

Nonlinear trigonometric approximations of multivariate function classes

Order-sharp estimates are established for the best N-term approximations of functions from Nikol’skii–Besov type classes B_pq^sm(T^k) with respect to the multiple trigonometric system T^(k) in the metric of L_r(T^k) for a number of relations between the parameters s, p, q, r, and m (s = (s₁,..., s_n) ∈ R₊ⁿ, 1 ≤ p, q, r ≤ ∞, m = (m₁,..., m_n) ∈ Nⁿ, k = m₁ +... + m_n). Constructive methods of nonlinear trigonometric approximation—variants of the so-called greedy algorithms—are used in the proofs of upper estimates.     

Regularization of Mickelsson generators for nonexceptional quantum groups

Let g′ ? g be a pair of Lie algebras of either symplectic or orthogonal infinitesimal endomorphisms of the complex vector spaces C ^N?2 ? C ^N and U _q (g′) ? U _q (g) be a pair of quantum groups with a triangular decomposition U _q (g) = U _q (g_-)U _q (g₊)U _q (h). Let Z _q (g, g′) be the corresponding step algebra. We assume that its generators are rational trigonometric functions h ? → U _q (g_±). We describe their regularization such that the resulting generators do not vanish for any choice of the weight.     

Principal blocks and p-radical groups

Let G be a finite group and k a field of characteristic p > 0. In this paper, we obtain several equivalent conditions to determine whether the principal block B₀ of a finite p-solvable group G is p-radical, which means that B₀ has the property that e₀(k_P)^G is semisimple as a kG-module, where P is a Sylow p-subgroup of G, k_P is the trivial kP-module, (k_P)^G is the induced module, and e₀ is the block idempotent of B₀. We also give the complete classification of a finite p-solvable group G which has not more than three simple B₀-modules where B₀ is p-radical.     

Short proof of a conjecture concerning split-by-nilpotent extensions

Let C be a finite dimensional algebra with B a split extension by a nilpotent bimodule E. We provide a short proof to a conjecture by Assem and Zacharia concerning properties of \(\mathop {\text {mod}}B\) inherited by \(\mathop {\text {mod}}C\). We show if B is a tilted algebra, then C is a tilted algebra.     

The Uncountable Lattice of All Subfunctors of the Functor of Rational Representations

In set theory the cardinality of the continuum \(|{\mathbb R}|\) is the cardinal number of some interesting sets, like the Cantor set or the transcendental numbers. We will prove that the cardinal number of all subfunctors of the functor of rational representations \(k \otimes_{{\mathbb Z}} R_{{\mathbb Q}}\), taking values on odd order groups over the field k of characteristic 2, is equal to \(|{\mathbb R}|\). When the characteristic q?>?0 of the field k is not necessarily even, we will present a formula giving the dimension of the evaluations S _C,k(G), of the simple functor S _C,k, at any group G of order prime to q and being associated to a suitable cyclic group C.     

Characteristic modules and tensor products over quasi-hereditary algebras

Let A be a monomial quasi-hereditary algebra with a pure strong exact Borel subalgebra B.It is proved that the category of induced good modules over B is contained in the category of good modules over A;that the characteristic module of A is an induced module of that of B via the exact functor-(?)_B A if and only if the induced A-module of an injective B-module remains injective as a B-module.Moreover,it is shown that an exact Borel subalgebra of a basic quasi-hereditary serial algebra is right serial and that the characteristic module of a basic quasi-hereditary serial algebra is exactly the induced module of that of its exact Borel subalgebra.     

Injective Presentations of Induced Modules over Cluster-Tilted Algebras

Every cluster-tilted algebra B is the relation extension \(C\ltimes \textup {Ext}^{2}_{C}(DC,C)\) of a tilted algebra C. A B-module is called induced if it is of the form M? _C B for some C-module M. We study the relation between the injective presentations of a C-module and the injective presentations of the induced B-module. Our main result is an explicit construction of the modules and morphisms in an injective presentation of any induced B-module. In the case where the C-module, and hence the B-module, is projective, our construction yields an injective resolution. In particular, it gives a module theoretic proof of the well-known 1-Gorenstein property of cluster-tilted algebras.     

On Templeman averages and variation functions

Let S be a countable semigroup acting in a measure-preserving fashion (g ? T _g ) on a measure space (Ω, A, µ). For a finite subset A of S, let |A| denote its cardinality. Let (A _k ) _k=1 ^∞ be a sequence of subsets of S satisfying conditions related to those in the ergodic theorem for semi-group actions of A. A. Tempelman. For A-measureable functions f on the measure space (Ω, A, μ) we form for k ≥ 1 the Templeman averages \(\pi _k (f)(x) = \left| {A_k } \right|^{ - 1} \sum\nolimits_{g \in A_k } {T_g f(x)}\) and set V _q f(x) = (Σ _k≥1|π _k+1(f)(x) ? π _k (f)(x)|q)^1/q when q ∈ (1, 2]. We show that there exists C > 0 such that for all f in L ¹(Ω, A, µ) we have µ({x ∈ Ω: V _q f(x) > λ}) ≤ C(∫_Ω | f | dµ/λ). Finally, some concrete examples are constructed.     

On the images of entire functions under the limit <Emphasis Type="Italic">q</Emphasis>-Bernstein operator

The limit q-Bernstein operator B _q comes out naturally as the limit for the sequence of q-Bernstein operators in the case 0 < q < 1: Alternatively, it can be viewed as a modification of the Szász-Mirakyan operator related to the Euler distribution. In this paper, a necessary and sufficient condition for a function g to be an image of an entire function under B _q is presented.     

Hochschild (co)homology of Yoneda algebras of reconstruction algebras of type A 1

The reconstruction algebra is a generalization of the preprojective algebra, and plays important roles in algebraic geometry and commutative algebra. We consider the homological property of this class of algebras by calculating the Hochschild homology and Hochschild cohomology. Let Λ _t be the Yoneda algebra of a reconstruction algebra of type A ₁ over a field k. In this paper, a minimal projective bimodule resolution of Λ _t is constructed, and the k-dimensions of all Hochschild homology and cohomology groups of Λ _t are calculated explicitly.     

On <Emphasis Type="Italic">K</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis>,<Emphasis Type="Italic">q</Emphasis></Subscript>-factorization of complete bipartite multigraphs

Let λK _m,n be a complete bipartite multigraph with two partite sets having m and n vertices, respectively. A K _p,q -factorization of λK _m,n is a set of edge-disjoint K _p,q -factors of λK _m,n which partition the set of edges of λK _m,n . When p = 1 and q is a prime number, Wang, in his paper [On K _1,q -factorization of complete bipartite graph, Discrete Math., 126: (1994), 359-364], investigated the K _1,q -factorization of K _m,n and gave a sufficient condition for such a factorization to exist. In papers [K _1,k -factorization of complete bipartite graphs, Discrete Math., 259: 301-306 (2002),; K _p,q -factorization of complete bipartite graphs, Sci. China Ser. A-Math., 47: (2004), 473-479], Du and Wang extended Wang’s result to the case that p and q are any positive integers. In this paper, we give a sufficient condition for λK _m,n to have a K _p,q -factorization. As a special case, it is shown that the necessary condition for the K _p,q -factorization of λK _m,n is always sufficient when p : q = k : (k + 1) for any positive integer k.     

The Number of <Emphasis Type="Italic">k</Emphasis>-Sumsets in an Abelian Group

Let G be an abelian group of order n. The sum of subsets A₁,...,A_k of G is defined as the collection of all sums of k elements from A₁,...,A_k; i.e., A₁ + A₂ + · · · + A_k = {a₁ + · · · + a_k | a₁ ∈ A₁,..., a_k ∈ A_k}. A subset representable as the sum of k subsets of G is a k-sumset. We consider the problem of the number of k-sumsets in an abelian group G. It is obvious that each subset A in G is a k-sumset since A is representable as A = A₁ + · · · + A_k, where A₁ = A and A₂ = · · · = A_k = {0}. Thus, the number of k-sumsets is equal to the number of all subsets of G. But, if we introduce a constraint on the size of the summands A₁,...,A_k then the number of k-sumsets becomes substantially smaller. A lower and upper asymptotic bounds of the number of k-sumsets in abelian groups are obtained provided that there exists a summand A_i such that |A_i| = n log^qn and |A₁ +· · ·+ A_i-1 + A_i+1 + · · ·+A_k| = n log^qn, where q = -1/8 and i ∈ {1,..., k}.