ACCR ring of the forms $$\mathcal {A}[X]$$ and $$\mathcal {A}[[X]]$$A[[X]]

Let \(\mathcal {A}=(A_n)_{n\in \mathbb {N}}\) be an ascending chain of commutative rings with identity and let \(\mathcal {A}[X]\) (respectively, \(\mathcal {A}[[X]]\)) be the ring of polynomials (respectively, power series) with coefficient of degree n in \(A_n\) for each \(n\in \mathbb {N}\) (Hamed and Hizem in Commun Algebra 43:3848–3856, 2015; Haouat in Thèse de doctorat. Faculté des Sciences de Tunis, 1988). An A-module M is said to satisfy ACCR if the ascending chain of residuals of the form \(N:B\subseteq N:B^2\subseteq N:B^3\subseteq \cdots \) terminates for every submodule N of M and for every finitely generated ideal B of A (Lu in Proc Am Math Soc 117:5–10, 1993). We give necessary and sufficient condition for the ring \(\mathcal {A}[X]\) (respectively, \(\mathcal {A}[[X]]\)) to satisfy ACCR.     

Space $$ \mathcal{L} $$( X) of local dynamical systems and the Filippov space Aceu( X)

In the present paper, we establish a relationship between continuous local dynamical systems and spaces of the class A _ceu(X) of the Filippov theory. We suggest a construction method for a space of the class A _ceu(X) on the basis of a locally given dynamical system and conversely, a dynamical system is constructed locally in a specific way on the basis of a given space of the class A _ceu(X). The suggested construction method provides a homeomorphism between the space of all local dynamical systems on a locally compact metric space X and the space A _ceu(X). The obtained results generalize the Filippov theory to locally dynamical systems.     

The completeness characterization of $$C(\mathcal {L})$$ C ( L ) , $$\mathcal {L}$$ L a locale

Positivity - The result of the title is: an archimedean $$\ell $$ -group with weak unit A is (isomorphic to) $$C(\mathcal {L})$$ for some (identifiable) locale $$\mathcal {L}$$ (or, $$\mathbb...     

$$\mathcal $$ working precision inverses for symmetric tridiagonal Toeplitz matrices with $$\mathcal O(1)$$O(1) floating point calculations

A well known numerical task is the inversion of large symmetric tridiagonal Toeplitz matrices, i.e., matrices whose entries equal a on the diagonal and b on the extra diagonals (\(a, b\in \mathbb R\)). The inverses of such matrices are dense and there exist well known explicit formulas by which they can be calculated in \(\mathcal O(n^2)\). In this note we present a simplification of the problem that has proven to be rather useful in everyday practice: If \(\vert a\vert > 2\vert b\vert \), that is, if the matrix is strictly diagonally dominant, its inverse is a band matrix to working precision and the bandwidth is independent of n for sufficiently large n. Employing this observation, we construct a linear time algorithm for an explicit tridiagonal inversion that only uses \(\mathcal O(1)\) floating point operations. On the basis of this simplified inversion algorithm we outline the cornerstones for an efficient parallelizable approximative equation solver.     

A class of multipliers for $$\mathcal{W}^ \bot $$

Let denote the class of ergodic probability preserving transformations which are disjoint from every weakly mixing system. Let be the class of multipliers for , i.e. ergodic transformations whose all ergodic joinings with any element of are also in . Fix an ergodic rotationT, a mildly mixing actionS of a locally compact second countable groupG and an ergodic cocycle ϕ forT with values inG. The main result of the paper is a sufficient (and also necessary by [LeP] whenG is countable Abelian andS is Bernoullian) condition for the skew product build fromT, ϕ andS to be an element of . Moreover, the self-joinings of such extensions ofT are described with an application to study semisimple extensions of rotations. Dedicated to Hillel Furstenberg on the occasion of his retirement The first-named author was supported in part by CRDF, grant UM1-2546-KH-03. The second-named author was supported in part by KBN grant 1P03A 03826.     

Products of Functions in $$\mathrm {BMO}({\mathcal X})$$ and $$H^1_\mathrm{at}({\mathcal X})$$Hat1(X) via Wavelets Over Spaces of Homogeneous Type

Let \(({\mathcal X},d,\mu )\) be a metric measure space of homogeneous type in the sense of R. R. Coifman and G. Weiss and \(H^1_\mathrm{at}({\mathcal X})\) be the atomic Hardy space. Via orthonormal bases of regular wavelets and spline functions recently constructed by P. Auscher and T. Hytönen, the authors prove that the product \(f\times g\) of \(f\in H^1_\mathrm{at}({\mathcal X})\) and \(g\in \mathrm {BMO}({\mathcal X})\), viewed as a distribution, can be written into a sum of two bounded bilinear operators, respectively, from \(H^1_\mathrm{at}({\mathcal X})\times \mathrm {BMO}({\mathcal X})\) into \(L^1({\mathcal X})\) and from \(H^1_\mathrm{at}({\mathcal X}) \times \mathrm {BMO}({\mathcal X})\) into \(H^{\log }({\mathcal X})\), which affirmatively confirms the conjecture suggested by A. Bonami and F. Bernicot (This conjecture was presented by Ky in J Math Anal Appl 425:807–817, 2015).     

Every finite lattice in $$ \mathcal{V} (M_3) $$

We prove that every finite lattice in the variety generated by M₃ is isomorphic to the congruence lattice of a finite algebra.     

On bornologicalC $$\overline V $$ (X) spaces

Archiv der Mathematik -     

Stability of $$\mathcal{P}(S)$$ under Finite Perturbation

Abstract. T. Kato [9] found an important property of semi-Fredholm pencils, now called the Kato decomposition. Few years later, M.A. Kaashoek [7] introduced operators having the property as a generalization of semi-Fredholm operators. In [4], it is proved that these two notions are linked. The aim of this work is to study the stability of the property under finite perturbation.     

A parallel to the null ideal for inaccessible $$\lambda $$: Part I

It is well known how to generalize the meagre ideal replacing \(\aleph _0\) by a (regular) cardinal \(\lambda > \aleph _0\) and requiring the ideal to be \(({<}\lambda )\)-complete. But can we generalize the null ideal? In terms of forcing, this means finding a forcing notion similar to the random real forcing, replacing \(\aleph _0\) by \(\lambda \). So naturally, to call it a generalization we require it to be \(({<}\lambda )\)-complete and \(\lambda ^+\)-c.c. and more. Of course, we would welcome additional properties generalizing the ones of the random real forcing. Returning to the ideal (instead of forcing) we may look at the Boolean Algebra of \(\lambda \)-Borel sets modulo the ideal. Common wisdom have said that there is no such thing because we have no parallel of Lebesgue integral, but here surprisingly first we get a positive \(=\) existence answer for a generalization of the null ideal for a “mild” large cardinal \(\lambda \)—a weakly compact one. Second, we try to show that this together with the meagre ideal (for \(\lambda \)) behaves as in the countable case. In particular, we consider the classical Cichoń diagram, which compares several cardinal characterizations of those ideals. We shall deal with other cardinals, and with more properties of related forcing notions in subsequent papers (Shelah in The null ideal for uncountable cardinals; Iterations adding no \(\lambda \)-Cohen; Random \(\lambda \)-reals for inaccessible continued; Creature iteration for inaccesibles. Preprint; Bounding forcing with chain conditions for uncountable cardinals) and Cohen and Shelah (On a parallel of random real forcing for inaccessible cardinals. arXiv:1603.08362 [math.LO]) and a joint work with Baumhauer and Goldstern.     

Banach manifolds of algebraic elements in the algebra $$\mathcal{L}$$ ( H) of bounded linear operatorsof bounded linear operators

Given a complex Hilbert space H, we study the manifold of algebraic elements in . We represent as a disjoint union of closed connected subsets M of Z each of which is an orbit under the action of G, the group of all C^*-algebra automorphisms of Z. Those orbits M consisting of hermitian algebraic elements with a fixed finite rank r, (0< r<∞) are real-analytic direct submanifolds of Z. Using the C^*-algebra structure of Z, a Banach-manifold structure and a G-invariant torsionfree affine connection ∇ are defined on M, and the geodesics are computed. If M is the orbit of a finite rank projection, then a G-invariant Riemann structure is defined with respect to which ∇ is the Levi-Civita connection. Supported by Ministerio de Educación y Cultura of Spain, Research Project BFM2002-01529.     

The Abelian category of quotients of $$\mathcal{L}\mathfrak{F}$$ -spaces

We construct the category of quotients of -spaces and we show that it is Abelian. This answers a question of L. Waelbroeck from 1990.     

Banach-Steinhaus properties of strictly $$ \mathcal{N} $$-locally convex spaces based on the principle of uniform boundedness

Using the principle of uniform boundedness in a strictly -locally convex spaces, we establish a Banach-Steinhaus-type result for sequentially continuous linear operators.      

An O（rL） Infeasible Interior-point Algorithm for Symmetric Cone LCP via CHKS Function

In this paper, we propose a theoretical framework of an infeasible interior-point algorithm for solving monotone linear cornplementarity problems over symmetric cones （SCLCP）. The new algorithm gets Newton-like directions from the Chen-Harker-Kanzow-Smale （CHKS） smoothing equation of the SCLCP. It possesses the following features： The starting point is easily chosen; one approximate Newton step is computed and accepted at each iteration; the iterative point with unit stepsize automatically remains in the neighborhood of central path; the iterative sequence is bounded and possesses （9（rL） polynomial-time complexity under the monotonicity and solvability of the SCLCP.     

Some new integral inequalities for conjugate A-harmonic tensors

A new kind of weight-Ar^λ3 （λ1, λ2, Ω）-weight is used to prove the local and global integral inequalities for conjugate A-harmonic tensors, which can be regarded as generalizations of the classical results. Some applications of the above results to quasiregular mappings are given.     

Fundamentals for symplectic $$ \mathcal{A} $$-modules. Affine Darboux theorem

In his [9–11], the first author shows that the sheaf-theoreti-cally based Abstract Differential Geometry incorporates and generalizes classical differential geometry. Here, we undertake to explore the implications of Abstract Differential Geometry to classical symplectic geometry. The full investigation will be presented elsewhere.      

$${\mathcal{C}}_{0}$$ ( X)-algebras,stability and strongly self-absorbing $${\mathcal{C}}^{*}$$ -algebras

We study permanence properties of the classes of stable and so-called -stable -algebras, respectively. More precisely, we show that a (X)-algebra A is stable if all its fibres are, provided that the underlying compact metrizable space X has finite covering dimension or that the Cuntz semigroup of A is almost unperforated (a condition which is automatically satisfied for -algebras absorbing the Jiang–Su algebra tensorially). Furthermore, we prove that if is a K ₁-injective strongly self-absorbing -algebra, then A absorbs tensorially if and only if all its fibres do, again provided that X is finite-dimensional. This latter statement generalizes results of Blanchard and Kirchberg. We also show that the condition on the dimension of X cannot be dropped. Along the way, we obtain a useful characterization of when a -algebra with weakly unperforated Cuntz semigroup is stable, which allows us to show that stability passes to extensions of -absorbing -algebras. Research supported by: Deutsche Forschungsgemeinschaft (through the SFB 478), by the EU-Network Quantum Spaces - Noncommutative Geometry (Contract No. HPRN-CT-2002-00280), and by the Center for Advanced Studies in Mathematics at Ben-Gurion University     

Factorization of the $$ \mathcal{R} $$-matrix for the quantum algebra Uq( sℓ3)

The Yang-Baxter operator is obtained as a product of operators that permute representation parameters in the Lax operators. The construction relies on a factorization of the Lax operator into triangular matrices. Bibliography: 13 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 347, 2007, pp. 88–106.     

Pro- $$\mathcal {C}$$ C congruence properties for groups of rooted tree automorphisms

We propose a generalisation of the congruence subgroup problem for groups acting on rooted trees. Instead of only comparing the profinite completion to that given by level stabilizers, we also compare pro- $$\mathcal {C}$$ completions of the group, where $$\mathcal {C}$$ is a pseudo-variety of finite groups. A group acting on a rooted, locally finite tree has the $$\mathcal {C}$$ -congruence subgroup property ( $$\mathcal {C}$$ -CSP) if its pro- $$\mathcal {C}$$ completion coincides with the completion with respect to level stabilizers. We give a sufficient condition for a weakly regular branch group to have the $$\mathcal {C}$$ -CSP. In the case where $$\mathcal {C}$$ is also closed under extensions (for instance the class of all finite p-groups for some prime p), our sufficient condition is also necessary. We apply the criterion to show that the Basilica group and the GGS-groups with constant defining vector (odd prime relatives of the Basilica group) have the p-CSP.     

A modular-type formula for $$(x;q)_\infty $$

Let \(q=\text {e}^{2\pi i\tau }, \mathfrak {I}\tau >0\), \(x=\text {e}^{2\pi i{z}}\), \({z}\in \mathbb {C}\), and \((x;q)_\infty =\prod _{n\ge 0}(1-xq^n)\). Let \((q,x)\mapsto ({q_1},{x_1})\) be the classical modular substitution given by the relations \({q_1}=\text {e}^{-2\pi i/\tau }\) and \({x_1}=\text {e}^{2\pi i{z}/{\tau }}\). The main goal of this paper is to give a modular-type representation for the infinite product \((x;q)_\infty \), this means, to compare the function defined by \((x;q)_\infty \) with that given by \(({x_1};{q_1})_\infty \). Inspired by the work (Stieltjes in Collected Papers, Springer, New York, 1993) of Stieltjes on semi-convergent series, we are led to a “closed” analytic formula for the ratio \((x;q)_\infty /({x_1};{q_1})_\infty \) by means of the dilogarithm combined with a Laplace type integral, which admits a divergent series as Taylor expansion at \(\log q=0\). Thus, the function \((x;q)_\infty \) is linked with its modular transform \(({x_1};{q_1})_\infty \) in such an explicit manner that one can directly find the modular formulae known for Dedekind’s Eta function, Jacobi Theta function, and also for certain Lambert series. Moreover, one can remark that our results allow Ramanujan’s formula (Berndt in Ramanujan’s notebooks, Springer, New York, 1994, Entry 6’, p. 268) (see also Ramanujan in Notebook 2, Tata Institute of Fundamental Research, Bombay, 1957, p. 284) to be completed as a convergent expression for the infinite product \((x;q)_\infty \).