Form preservation under approximation by local exponential splines of an arbitrary order

We continue the study of the properties of local L-splines with uniform knots (such splines were constructed in the authors’ earlier papers) corresponding to a linear differential operator L of order r with constant coefficients and real pairwise different roots of the characteristic polynomial. Sufficient conditions (which are also necessary) are established under which an L-spline locally inherits the property of the generalized k-monotonicity (k ≤ r ? 1) of the input data, which are the values of the approximated function at the nodes of a uniform grid shifted with respect to the grid of knots of the L-spline. The parameters of an L-spline that is exact on the kernel of the operator L are written explicitly.     

New Techniques for Computing Geometric Index

We introduce new general techniques for computing the geometric index of a link L in the interior of a solid torus T. These techniques simplify and unify previous ad hoc methods used to compute the geometric index in specific examples and allow a simple computation of geometric index for new examples where the index was not previously known. The geometric index measures the minimum number of times any meridional disc of T must intersect L. It is related to the algebraic index in the sense that adding up signed intersections of an interior simple closed curve C in T with a meridional disc gives ± the algebraic index of C in T. One key idea is introducing the notion of geometric index for solid chambers of the form \(B^2\times I\) in T. We prove that if a solid torus can be divided into solid chambers by meridional discs in a specific (and often easy to obtain) way, then the geometric index can be easily computed.     

The General Problem of Polynomial Spline Interpolation

We study the general problem of interpolation by polynomial splines and consider the construction of such splines using the coefficients of expansion of a certain derivative in B-splines. We analyze the properties of the obtained systems of equations and estimate the interpolation error.     

Lebesgue Constants for Some Interpolating <Emphasis Type="Italic">L</Emphasis>-Splines

We find exact values for the uniform Lebesgue constants of interpolating L-splines that are bounded on the real axis, have equidistant knots, and correspond to the linear thirdorder differential operator L₃(D) = D(D₂ + α₂) with constant real coefficients, where α > 0. We compare the obtained result with the Lebesgue constants of other L-splines.     

On uniform Lebesgue constants of local exponential splines with equidistant knots

For a linear differential operator L _r of arbitrary order r with constant coefficients and real pairwise different roots of the characteristic polynomial, we study Lebesgue constants (the norms of linear operators from C to C) of local exponential splines corresponding to this operator with a uniform arrangement of knots; such splines were constructed by the authors in earlier papers. In particular, for the third-order operator L ₃ = D(D ² ? β ²) (β > 0), we find the exact values of Lebesgue constants for two types of local splines and compare these values with Lebesgue constants of exponential interpolation splines.     

Compound Geometric Distribution of Order <Emphasis Type="Italic">k</Emphasis>

The distribution of the number of trials until the first k consecutive successes in a sequence of Bernoulli trials with success probability p is known as geometric distribution of order k. Let T _k be a random variable that follows a geometric distribution of order k, and Y ₁,Y ₂,… a sequence of independent and identically distributed discrete random variables which are independent of T _k . In the present article we develop some results on the distribution of the compound random variable \(S_{k} =\sum_{t=1}^{T_{k}}Y_{t}\).     

Holomorphic mappings of once-holed tori

Let T be the space of marked once-holed tori and Y₀ be a Riemann surface with marked handle. We investigate geometric properties of the set T_a[Y₀] of X ∈ T that allow holomorphic mappings of X into Y₀. We also examine the set T_c[Y₀] of marked once-holed tori conformally embedded into Y₀. It turns out that T_a[Y₀] and T_c[Y₀] have several properties in common. Our basic tool is a new notion, called a handle condition.     

Tensor products of tilting modules

We consider whether the tilting properties of a tilting A-module T and a tilting B-module T′ can convey to their tensor product T ? T′: The main result is that T ? T′ turns out to be an (n + m)-tilting A ? B-module, where T is an m-tilting A-module and T′ is an n-tilting B-module.     

Local exponential splines with arbitrary knots

We construct local L-splines that have an arbitrary arrangement of knots and preserve the kernel of a linear differential operator L of order r with constant coefficients and real pairwise distinct roots of the characteristic polynomial.     

Some Structure Theories of Leibniz Triple Systems

In this paper, we investigate the Leibniz triple system T and its universal Leibniz envelope U(T). The involutive automorphism of U(T) determining T is introduced, which gives a characterization of the \(\mathbb {Z}_{2}\)-grading of U(T). We show that the category of Leibniz triple systems is equivalent to a full subcategory of the category of \(\mathbb {Z}_{2}\)-graded Leibniz algebras. We give the relationship between the solvable radical R(T) of T and R a d(U(T)), the solvable radical of U(T). Further, Levi’s theorem for Leibniz triple systems is obtained. Moreover, the relationship between the nilpotent radical of T and that of U(T) is studied. Finally, we introduce the notion of representations of a Leibniz triple system, which can be described by using involutive representations of its universal Leibniz envelope.     

Rates of decay in the classical Katznelson-Tzafriri theorem

The Katznelson-Tzafriri Theorem states that, given a power-bounded operator T, ∥Tⁿ(I ? T)∥ → 0 as n → ∞ if and only if the spectrum σ(T) of T intersects the unit circle T in at most the point 1. This paper investigates the rate at which decay takes place when σ(T) ∩ T = {1}. The results obtained lead, in particular, to both upper and lower bounds on this rate of decay in terms of the growth of the resolvent operator R(e^iθ, T) as θ → 0. In the special case of polynomial resolvent growth, these bounds are then shown to be optimal for general Banach spaces but not in the Hilbert space case.     

Maximum Distance Between Slater Orders and Copeland Orders of Tournaments

Given a tournament T?=?(X, A), we consider two tournament solutions applied to T: Slater’s solution and Copeland’s solution. Slater’s solution consists in determining the linear orders obtained by reversing a minimum number of directed edges of T in order to make T transitive. Copeland’s solution applied to T ranks the vertices of T according to their decreasing out-degrees. The aim of this paper is to compare the results provided by these two methods: to which extent can they lead to different orders? We consider three cases: T is any tournament, T is strongly connected, T has only one Slater order. For each one of these three cases, we specify the maximum of the symmetric difference distance between Slater orders and Copeland orders. More precisely, thanks to a result dealing with arc-disjoint circuits in circular tournaments, we show that this maximum is equal to n(n???1)/2 if T is any tournament on an odd number n of vertices, to (n ²???3n?+?2)/2 if T is any tournament on an even number n of vertices, to n(n???1)/2 if T is strongly connected with an odd number n of vertices, to (n ²???3n???2)/2 if T is strongly connected with an even number n of vertices greater than or equal to 8, to (n ²???5n?+?6)/2 if T has an odd number n of vertices and only one Slater order, to (n ²???5n?+?8)/2 if T has an even number n of vertices and only one Slater order.     

Holomorphic maps preserving parts of the local spectrum

Let x ₀ be a nonzero vector in \({\mathbb{C}^{n}}\) , and let \({U\subseteq \mathcal{M}_{n}}\) be a domain containing the zero matrix. We prove that if φ is a holomorphic map from U into \({\mathcal{M}_{n}}\) such that the local spectrum of T ∈ U at x ₀ and the local spectrum of φ(T) at x ₀ have always a common value, then T and φ(T) have always the same spectrum, and they have the same local spectrum at x ₀ a.e. with respect to the Lebesgue measure on U. If \({\varphi \colon U\rightarrow \mathcal{M}_{n}}\) is holomorphic with φ(0) = 0 such that the local spectral radius of T at x ₀ equals the local spectral radius of φ(T) at x ₀ for all T ∈ U, there exists \({\xi \in \mathbb{C}}\) of modulus one such that ξT and φ(T) have the same spectrum for all T in U. We also prove that if for all T ∈ U the local spectral radius of φ(T) coincides with the local spectral radius of T at each vector x, there exists \({\xi \in \mathbb{C}}\) of modulus one such that φ(T) = ξT on U.     

Geometric Realizations of Lusztig’s Symmetries of Symmetrizable Quantum Groups

Let U be the quantum group and f be the Lusztig’s algebra associated with a symmetrizable generalized Cartan matrix. The algebra f can be viewed as the positive part of U. Lusztig introduced some symmetries T _i on U for all i ∈ I. Since T _i (f) is not contained in f, Lusztig considered two subalgebras _i f and ⁱ f of f for any i ∈ I, where _i f={x ∈ f | T _i (x) ∈ f} and \({^{i}\mathbf {f}}=\{x\in \mathbf {f}\,\,|\,\,T^{-1}_{i}(x)\in \mathbf {f}\}\). The restriction of T _i on _i f is also denoted by \(T_{i}:{_{i}\mathbf {f}}\rightarrow {^{i}\mathbf {f}}\). The geometric realization of f and its canonical basis are introduced by Lusztig via some semisimple complexes on the variety consisting of representations of the corresponding quiver. When the generalized Cartan matrix is symmetric, Xiao and Zhao gave geometric realizations of Lusztig’s symmetries in the sense of Lusztig. In this paper, we shall generalize this result and give geometric realizations of _i f, ⁱ f and \(T_{i}:{_{i}\mathbf {f}}\rightarrow {^{i}\mathbf {f}}\) by using the language ’quiver with automorphism’ introduced by Lusztig.     

The column-sufficiency and row-sufficiency of the linear transformation on Hilbert spaces

Given a real Hilbert space H with a Jordan product and \({\Omega\subset H}\) being the Lorentz cone, \({q\in H}\), and let T : H → H be a bounded linear transformation, the corresponding linear complementarity problem is denoted by LCP(T, Ω, q). In this paper, we introduce the concepts of the column-sufficiency and row-sufficiency of T. In particular, we show that the row-sufficiency of T is equivalent to the existence of the solution of LCP(T, Ω, q) under an operator commutative condition; and that the column-sufficiency along with cross commutative property is equivalent to the convexity of the solution set of LCP(T, Ω, q). In our analysis, the properties of the Jordan product and the Lorentz cone in H are interconnected.     

<Emphasis Type="Italic">T</Emphasis>-Coloring of Certain Networks

Given a graph G and a finite set T of non-negative integers containing zero, a T-coloring of G is a non-negative integer function f defined on V(G) such that \(|f(x)-f(y)|\not \in T\) whenever \((x,y)\in E(G)\). The span of T-coloring is the difference between the largest and smallest colors, and the T-span of G is the minimum span over all T-colorings f of G. The edge span of a T-coloring is the maximum value of \(|f(x)-f(y)|\) over all edges \((x,y)\in E(G)\), and the T-edge span of G is the minimum edge span over all T-colorings f of G. In this paper, we compute T-span and T-edge span of crown graph, circular ladder and mobius ladder, generalized theta graph, series-parallel graph and wrapped butterfly network.     

Finitistic dimension and restricted injective dimension

We study the relations between finitistic dimensions and restricted injective dimensions. Let R be a ring and T a left R-module with A = End _R T. If _R T is selforthogonal, then we show that rid(T _A ) ? findim(A _A ) ? findim( _R T) + rid(T _A ). Moreover, if R is a left noetherian ring and T is a finitely generated left R-module with finite injective dimension, then rid(T _A ) ? findim(A _A ) ? fin.inj.dim( _R R)+rid(T _A ). Also we show by an example that the restricted injective dimensions of a module may be strictly smaller than the Gorenstein injective dimension.     

Functional envelope of Cantor spaces

Given a topological dynamical system(X, T), where X is a compact metric space and T a continuous selfmap of X. Denote by S(X) the space of all continuous selfmaps of X with the compactopen topology. The functional envelope of(X, T) is the system(S(X), FT), where FT is defined by FT(?) = T ? ? for any ? ∈ S(X). We show that(1) If(Σ, T) is respectively weakly mixing, strongly mixing, diagonally transitive, then so is its functional envelope, where Σ is any closed subset of a Cantor set and T a selfmap of Σ;(2) If(S(Σ), F_σ) is transitive then it is Devaney chaos, where(Σ, σ) is a subshift of finite type;(3) If(Σ, T) has shadowing property, then(SU(Σ), FT) has shadowing property,where Σ is any closed subset of a Cantor set and T a selfmap of Σ;(4) If(X, T) is sensitive, where X is an interval or any closed subset of a Cantor set and T : X → X is continuous, then(SU(X), FT) is sensitive;(5) If Σ is a closed subset of a Cantor set with infinite points and T : Σ→Σ is positively expansive then the entropy ent U(FT) of the functional envelope of(Σ, T) is infinity.     

Conjugacy classes in Möbius groups

Let \({\mathbb H^{n+1}}\) denote the n + 1-dimensional (real) hyperbolic space. Let \({\mathbb {S}^{n}}\) denote the conformal boundary of the hyperbolic space. The group of conformal diffeomorphisms of \({\mathbb {S}^{n}}\) is denoted by M(n). Let M _o (n) be its identity component which consists of all orientation-preserving elements in M(n). The conjugacy classification of isometries in M _o (n) depends on the conjugacy of T and T ^?1 in M _o (n). For an element T in M(n), T and T ^?1 are conjugate in M(n), but they may not be conjugate in M _o (n). In the literature, T is called real if T is conjugate in M _o (n) to T ^?1. In this paper we classify real elements in M _o (n). Let T be an element in M _o (n). Corresponding to T there is an associated element T _o in SO(n + 1). If the complex conjugate eigenvalues of T _o are given by \({\{e^{i\theta_j}, e^{-i\theta_j}\}, 0 < \theta_j \leq \pi, j=1,\ldots,k}\) , then {θ₁, . . . , θ _k } are called the rotation angles of T. If the rotation angles of T are distinct from each-other, then T is called a regular element. After classifying the real elements in M _o (n) we have parametrized the conjugacy classes of regular elements in M _o (n). In the parametrization, when T is not conjugate to T ^?1 , we have enlarged the group and have considered the conjugacy class of T in M(n). We prove that each such conjugacy class can be induced with a fibration structure.