Generalized Absolute Values and Polar Decompositions of a Bounded Operator

Generalized absolute values as well as corresponding to them generalized polar decompositions of a bounded linear operator T of a Hilbert space H{\mathcal{H}} into a Hilbert space K{\mathcal{K}} are defined, motivated by the inequality |áTx, y?_K|² ￡ á|T|x, x?_Há|T^*|y, y?_K{|\langle{Tx}, {y}\rangle}_{\mathcal{K}}|^2 \leq \langle|T|x, {x}\rangle_{\mathcal{H}}\langle{|T^{*}|y}, {y}\rangle_{\mathcal{K}} . It is shown that there is a natural bijection between generalized absolute values of T and of T* which sends |T| to |T*|. For a bounded nonnegative operator A on H{\mathcal{H}} and a bounded Borel function f: \mathbbR₊ ? \mathbbR₊{f: \mathbb{R}_+ \to \mathbb{R}_+} , equivalent conditions for A and f(|T|) to be generalized absolute values of T are established and corresponding to them generalized absolute values of T* are determined.     

On Quantum Markov Chains on Cayley Tree II: Phase Transitions for the Associated Chain with XY-Model on the Cayley Tree of Order Three

In the present paper, we study forward quantum Markov chains (QMC) defined on a Cayley tree. Using the tree structure of graphs, we give a construction of quantum Markov chains on a Cayley tree. By means of such constructions we prove the existence of a phase transition for the XY-model on a Cayley tree of order three in QMC scheme. By the phase transition we mean the existence of two distinct QMC for the given family of interaction operators {K_áx,y?}{\{K_{\langle x,y\rangle}\}}.     

Homogenization for strongly anisotropic nonlinear elliptic equations

In this paper we present homogenization results for elliptic degenerate differential equations describing strongly anisotropic media. More precisely, we study the limit as e? 0 \epsilon \to 0 of the following Dirichlet problems with rapidly oscillating periodic coefficients:¶¶ . \cases {{ -div(\alpha(\frac{x}{\epsilon}}, \nabla u) A(\frac{x}{\epsilon}) \nabla u) = f(x) \in L^{\infty}(\Omega) \atop u = 0 su \eth\Omega\ } ¶¶where, p > 1,     a: \Bbb Rⁿ ×\Bbb Rⁿ ? \Bbb R,     a(y,x) ? áA(y)x,x?^p/2-1, A ? M^{n ×n}(\Bbb R) p>1, \quad \alpha : \Bbb R^n \times \Bbb R^n \to \Bbb R, \quad \alpha(y,\xi) \approx \langle A(y)\xi,\xi \rangle ^{p/2-1}, A \in M^{n \times n}(\Bbb R) , A being a measurable periodic matrix such that A^t(x) = A(x) 3 0A^t(x) = A(x) \ge 0 almost everywhere.¶¶The anisotropy of the medium is described by the following structure hypothesis on the matrix A:¶¶l^2/p(x) |x|² ￡ áA(x)x,x? ￡ L ^2/p(x) |x|², \lambda^{2/p}(x) |\xi|^2 \leq \langle A(x)\xi,\xi \rangle \leq \Lambda ^{2/p}(x) |\xi|^2, ¶¶where the weight functions l \lambda and L \Lambda (satisfying suitable summability assumptions) can vanish or blow up, and can also be "moderately" different. The convergence to the homogenized problem is obtained by a classical compensated compactness argument, that had to be extended to two-weight Sobolev spaces.     

Graphs, partitions and classes of groups

If \mathfrak X{\mathfrak X} is a class of groups, Delizia et al. (Bull Austral Math Soc 75:313–320, 2007) call a group G \mathfrak X{\mathfrak X} -transitive (or an \mathfrak XT{\mathfrak XT} -group) if whenever áa,b?{\langle a,b\rangle} and áb,c?{\langle b,c\rangle} are in \mathfrak X áa,c?{\mathfrak X} \langle a,c\rangle is also in \mathfrak X{\mathfrak X} (a,b,c ? G{a,b,c\in G}). The structure of \mathfrak XT{\mathfrak XT} -groups has been investigated for a number of classes of groups, by Delizia, Moravec and Nicotera and others. A graph can be associated with a group in many ways. Delizia, Moravec and Nicotera introduce a graph which is a generalisation of the commuting graph of a group, but do not make use of the graph. We will use the properties of the graph to investigate further classes of groups and to obtain more detailed structural information.     

Hermitian-Symmetric Inequalities in Hilbert Space

We establish several conditions which are equivalent to

Orthogonalities in linear spaces and difference operators

Summary. Quite recently C. Alsina, P. Cruells and M. S. Tomás [2], motivated by F. Suzuki's property of isosceles trapezoids, have proposed the following orthogonality relation in a real normed linear space (X, ||·||) (X, \Vert \cdot \Vert) : two vectors x,y ? X x,y \in X are T-orthogonal whenever¶||z-x ||² + ||z-y ||² = ||z ||² + ||z-(x+y) ||² \Vert z-x \Vert^2 + \Vert z-y \Vert^2 = \Vert z \Vert^2 + \Vert z-(x+y) \Vert^2 ¶for every z ? X z \in X . A natural question arises whether an analogue of T-orthogonality may be defined in any real linear space (without a norm structure). Our proposal reads as follows. Given a functional j \varphi on a real linear space X we say that two vectors x,y ? X x,y \in X are j \varphi -orthogonal (and write x^_jy x\perp_{\varphi}y ) provided that D_x,yj = 0 \Delta_{x,y}\varphi = 0 (D_h1,h2 \Delta_{h_1,h_2} stands here and in the sequel for the superposition D_h1 °D_h2 \Delta_{h_1} \circ \Delta_{h_2} of the usual difference operators).¶We are looking for necessary and/or sufficient conditions upon the functional j \varphi to generate a j \varphi -orthogonality such that the pair X,^_j X,\perp_{\varphi} forms an orthogonality space in the sense of J. Rätz (cf. [6]). Two new characterizations of inner product spaces as well as a generalization of some results obtained in [2] are presented.     

Cancellation in Skew Lattices

Distributive lattices are well known to be precisely those lattices that possess cancellation: x úy = x úzx \lor y = x \lor z and x ùy = x ùzx \land y = x \land z imply y = z. Cancellation, in turn, occurs whenever a lattice has neither of the five-element lattices M ₃ or N ₅ as sublattices. In this paper we examine cancellation in skew lattices, where the involved objects are in many ways lattice-like, but the operations ù\land and ú\lor no longer need be commutative. In particular, we find necessary and sufficient conditions involving the nonoccurrence of potential sub-objects similar to M ₃ or N ₅ that ensure that a skew lattice is left cancellative (satisfying the above implication) right cancellative (x úz = y úzx \lor z = y \lor z and x ùz = y ùzx \land z = y \land z imply x = y) or just cancellative (satisfying both implications). We also present systems of identities showing that left [right or fully] cancellative skew lattices form varieties. Finally, we give some positive characterizations of cancellation.     

On the quiver with relations of a repetitive algebra

Let A = kQ/ár?A = kQ/\langle \rho \rangle be a finite-dimensional k-algebra where r\rho is a set of relations for the quiver Q. Assume that r\rho contains only zero-relations or commutativity-relations. We describe explicitly the quiver with relations of the repetitive algebra  of A. The following well known result of D. Happel is one of the main reasons for studying Â: If A is of finite global dimension, then the stable module category of  and the derived category of A are equivalent.     

On formal quantum group laws

There exist natural generalizations of the concept of formal groups laws for noncommutative power series. This is a note on formal quantum group laws and quantum group law chunks. Formal quantum group laws correspond to noncommutative (topological) Hopf algebra structures on free associative power series algebras ká áx₁,...,x_m ? ?k\langle\! \langle x_1,\dots,x_m \rangle\! \rangle , k a field. Some formal quantum group laws occur as completions of noncommutative Hopf algebras (quantum groups). By truncating formal power series, one gets quantum group law chunks. ¶If the characteristic of k is 0, the category of (classical) formal group laws of given dimension m is equivalent to the category of m-dimensional Lie algebras. Given a formal group law or quantum group law (chunk), the corresponding Lie structure constants are determined by the coefficients of its chunk of degree 2. Among other results, a classification of all quantum group law chunks of degree 3 is given. There are many more classes of strictly isomorphic chunks of degree 3 than in the classical case.     

θ-Pairs for 2-maximal subgroups of finite groups

Let H, A and B be subgroups of a group G. We call the pair (A, B) a θ-pair for H in G if: (i) áH, A? = G{\langle H, A\rangle=G} and B = (A ∩ H) _G ; (ii) if A ₁/B is a proper subgroup of A/B and A₁/B \vartriangleleft G/B{{A_1/B \vartriangleleft G/B}}, then G 1 áH, A₁?{G\neq \langle H, A_1\rangle}. In this paper, we study the θ-pairs for 2-maximal subgroups of a group, which imply a group to be solvable or supersolvable.     

Invariants of free Lie algebras

Let k be a principal ideal domain with identity and characteristic zero. For a positive integer n, with n \geqq 2n \geqq 2, let H(n) be the group of all n x n matrices having determinant ±1\pm 1. Further, we write SL(n) for the special linear group. Let L be a free Lie algebra (over k) of finite rank n. We prove that the algebra of invariants L^B(n) of B(n), with B(n) ? { H(n), SL(n)}B(n) \in \{ H(n), {\rm SL}(n)\} , is not a finitely generated free Lie algebra. Let us assume that k is a field of characteristic zero and let áSem(n) ?\langle {\rm Sem}(n) \rangle be the Lie subalgebra of L generated by the semi-invariants (or Lie invariants) Sem(n). We prove that áSem(n) ?\langle {\rm Sem}(n) \rangle is not a finitely generated free Lie algebra which gives a positive answer to a question posed by M. Burrow [4].     

The Problem of the Pointwise Fourier Inversion for Piecewise Smooth Functions of Several Variables

We study the pointwise convergence problem for the inverse Fourier transform of piecewise smooth functions, i.e., whether S_rD f (\bx) ? f (\bx)S_{\rho D} f (\bx) \to f (\bx) as r? ￥\rho \to \infty . r? ￥\rho \to \infty . Here for \bx,\bxi ? \Rn\bx,\bxi \in \Rn S_rDf(\bmx)=\dsf1(2p)^n/2\intli_rD [^(f)](\bxi) e^{\dst iá\bmx,\bxi?} d\bxi . S_{\rho D}f(\bm{x})=\dsf1{(2\pi)^{n/2}}\intli_{\rho D} \widehat{f}(\bxi) e^{\dst i\langle\bm{x},\bxi\rangle} d\bxi~. is the partial sum operator using a convex and open set DD containing the origin, and rD={ r\bxi:\bxi ? D }\rho D=\left\{ \rho \bxi:\bxi\in D \right\}.     

Morse theory for a fourth order elliptic equation with exponential nonlinearity

Given a Hilbert space (H,á·,·?){(\mathcal H,\langle\cdot,\cdot\rangle)}, and interval L ì (0,+￥){\Lambda\subset(0,+\infty)} and a map K ? C²(H,\mathbb R){K\in C^2(\mathcal H,\mathbb R)} whose gradient is a compact mapping, we consider the family of functionals of the type:

On certain functional equations related to Jordan triple (q, f){(\theta, \phi)}-derivations on semiprime rings

The main purpose of this paper is to prove the following result. Let R be a 2-torsion free semiprime ring with symmetric Martindale ring of quotients Q _s and let q{\theta} and f{\phi} be automorphisms of R. Suppose T:R? R{T:R\rightarrow R} is an additive mapping satisfying the relation T(xyx)=T(x)q(y)q(x)-f(x)T(y)q(x)+f(x)f(y)T(x){T(xyx)=T(x)\theta (y)\theta (x)-\phi (x)T(y)\theta (x)+\phi (x)\phi (y)T(x)}, for all pairs x,y ? R{x,y\in R}. In this case T is of the form 2T(x)=qq(x)+f(x)q{2T(x)=q\theta (x)+\phi (x)q}, for all x ? R{x\in R} and some fixed element q ? Q_s{q\in Q_{s}}.     

Smooth 2-homogeneous polynomials on Hilbert spaces

We determine the smooth points of the unit ball of the space of 2-homogeneous polynomials on a Hilbert space H. Working separately for the real and the complex cases we show that a smooth polynomial attains its norm. We deduce that the polynomial P is smooth if and only if there exists a unit vector x₀ in H such that P(x)=± á x,x₀ ñ ²+P₁(x₁)P(x)=\pm \left \langle x,x_{0}\right \rangle ^{2}+P_{1}(x_{1}) where x= á x,x₀ ñ x₀+x₁ x=\left \langle x,x_{0}\right \rangle x_{0}+x_{1} is the decomposition of x in H=span{ x₀} ?H₁H={\rm {span}}\{ x_{0}\} \oplus H_{1} and P₁ is a 2-homogeneous polynomial on H₁ of norm strictly less than 1.     

Green’s relations and regularity for semigroups of transformations that preserve order and a double direction equivalence

Let T _X be the full transformation semigroup on a set X,

L p Norms of Eigenfunctions in the Completely Integrable Case

The eigenfunctions e^iál,x? e^{i\langle\lambda,x\rangle} of the Laplacian on a flat torus have uniformly bounded L^p norms. In this article, we prove that for every other quantum integrable Laplacian, the L^p norms of the joint eigenfunctions blow up at least at the rate || j_k || L^p 3 C(e)l_k^{[(p-2)/(4p)]-e} \| \varphi_k \| L^{p} \geq C(\epsilon)\lambda_{k}^{{p-2\over4p}-\epsilon} when p > 2. This gives a quantitative refinement of our recent result [TZ1] that some sequence of eigenfunctions must blow up in L^p unless (M,g) is flat. The better result in this paper is based on mass estimates of eigenfunctions near singular leaves of the Liouville foliation.     

The Dual Quiver of the Auslander–Reiten Quiver of Path Algebras

Let Q be a finite quiver of type A _n , n ≥ 1, D _n , n ≥ 4, E ₆, E ₇ and E ₈, σ ∈ Aut(Q), k be an algebraic closed field whose characteristic does not divide the order of σ. In this article, we prove that the dual quiver [(G_Q)\tilde]\widetilde{\Gamma_{Q}} of the Auslander–Reiten quiver Γ _Q of kQ, the Auslander–Reiten quiver of kQ#kás?kQ\#k\langle\sigma\rangle, and the Auslander–Reiten quiver G_[(Q)\tilde]\Gamma_{\widetilde{Q}} of k[(Q)\tilde]k\widetilde{Q}, where [(Q)\tilde]\widetilde{Q} is the dual quiver of Q, are isomorphic.     

Blocks with cyclic defect of Hecke orders of Coxeter groups

Let B\cal B be a p-block of cyclic defect of a Hecke order over the complete ring \Bbb Z[q] _{áq-1,p ?}\Bbb {Z}[q] _{\langle q-1,p \rangle}; i.e. modulo áq-1 ?\langle q-1 \rangle it is a p-block B of cyclic defect of the underlying Coxeter group G. Then B\cal B is a tree order over \Bbb Z[q]_{áq-1, p ?}\Bbb {Z}[q]_{\langle q-1, p \rangle } to the Brauer tree of B. Moreover, in case B\cal B is the principal block of the Hecke order of the symmetric group S(p) on p elements, then B\cal B can be described explicitly. In this case a complete set of non-isomorphic indecomposable Cohen-Macaulay B\cal B-modules is given.     

On global transformations of ordinary differential equations of the second order

The paper describes the general form of an ordinary differential equation of the second order which allows a nontrivial global transformation consisting of the change of the independent variable and of a nonvanishing factor. A result given by J. Aczél is generalized. A functional equation of the form