HOLDER CONTINUITY AND DIFFERENTIABILITY ON CONVERGING SUBSEQUENCES

It is shown that an arbitrary function from D ?Rn to Rm will become C0,α-continuous in almost every x ∈ D after restriction to a certain subset with limit point x. For n ≥ m differentiability can be ob...     

The classification of Leonard triples of Racah type

Let K$\mathbb{K}$ denote an algebraically closed field of characteristic zero. Let V   denote a vector space over K$\mathbb{K}$ with finite positive dimension. By a Leonard triple on V we mean an ordered triple of linear transformations A  , A^?$A^{?}$, A^ε$A^{\epsilon }$ in End(V)$\mathrm{End}(V)$ such that for each B∈{A,A^?,A^ε}$B\in \{A,A^{?},A^{\epsilon }\}$ there exists a basis for V with respect to which the matrix representing B   is diagonal and the matrices representing the other two linear transformations are irreducible tridiagonal. In this paper we define a family of Leonard triples said to have Racah type and classify them up to isomorphism. Moreover, we show that each of them satisfies the _Z3${\mathbb{Z}}_3$-symmetric Askey–Wilson relations. As an application, we construct all Leonard triples that have Racah type from the universal enveloping algebra U(_sl2)$U({\mathit{sl}}_2)$.     

Block tridiagonal reduction of perturbed normal and rank structured matrices

It is well known that if a matrix A∈C^n×n$A\in {\mathbb{C}}^{n\times n}$ solves the matrix equation f(A,A^H)=0$f(A,A^H)=0$, where f(x,y)$f(x,y)$ is a linear bivariate polynomial, then A is normal; A   and A^H$A^H$ can be simultaneously reduced in a finite number of operations to tridiagonal form by a unitary congruence and, moreover, the spectrum of A is located on a straight line in the complex plane. In this paper we present some generalizations of these properties for almost normal matrices which satisfy certain quadratic matrix equations arising in the study of structured eigenvalue problems for perturbed Hermitian and unitary matrices.     

On matrices over an arbitrary semiring and their generalized inverses

In this paper, we consider matrices with entries from a semiring S. We first discuss some generalized inverses of rectangular and square matrices. We establish necessary and sufficient conditions for the existence of the Moore–Penrose inverse of a regular matrix. For an m×n$m\times n$ matrix A  , an n×m$n\times m$ matrix P and a square matrix Q of order m, we present necessary and sufficient conditions for the existence of the group inverse of QAP   with the additional property that P(QAP)^#Q$P{(QAP)}^{\mathrm{\#}}Q$ is a {1,2}$\{1,2\}$ inverse of A  . The matrix product used here is the usual matrix multiplication. The result provides a method for generating elements in the set of {1,2}$\{1,2\}$ inverses of an m×n$m\times n$ matrix A starting from an initial {1} inverse of A  . We also establish a criterion for the existence of the group inverse of a regular square matrix. We then consider a semiring structure (_Mm×n(S),+,°)$({\mathbf{M}}_{m\times n}(\mathbf{S}),+,°)$ made up of m×n$m\times n$ matrices with the addition defined entry-wise and the multiplication defined as in the case of the Hadamard product of complex matrices. In the semiring (_Mm×n(S),+,°)$({\mathbf{M}}_{m\times n}(\mathbf{S}),+,°)$, we present criteria for the existence of the Drazin inverse and the Moore–Penrose inverse of an m×n$m\times n$ matrix. When S is commutative, we show that the Hadamard product preserves the Hermitian property, and provide a Schur-type product theorem for the product A°(CC^?)$A°(C{C}^{?})$ of a positive semidefinite n×n$n\times n$ matrix A   and an n×n$n\times n$ matrix C.     

Analysis of symmetric matrix valued functions I

For any symmetric function f:Rⁿ?Rⁿ$f:{\mathbb{R}}^n?{\mathbb{R}}^n$, one can define a corresponding function on the space of n×n$n\times n$ real symmetric matrices by applying f$f$ to the eigenvalues of the spectral decomposition. We show that this matrix valued function inherits from f$f$ the properties of continuity, Lipschitz continuity, strict continuity, directional differentiability, Frechet differentiability, continuous differentiability.     

S-Noetherian properties on amalgamated algebras along an ideal

Let A and B   be commutative rings with identity, f:A→B$f:A\to B$ a ring homomorphism and J an ideal of B  . Then the subring A?^fJ:={(a,f(a)+j)|a∈A and j∈J}$A{?}^{f}J:=\{(a,f(a)+j)|a\in A\text{and}j\in J\}$ of A×B$A\times B$ is called the amalgamation of A with B along with J with respect to f. In this paper, we investigate a general concept of the Noetherian property, called the S  -Noetherian property which was introduced by Anderson and Dumitrescu, on the ring A?^fJ$A{?}^{f}J$ for a multiplicative subset S   of A?^fJ$A{?}^{f}J$. As particular cases of the amalgamation, we also devote to study the transfers of the S  -Noetherian property to the constructions D+(_X1,…,_Xn)E[_X1,…,_Xn]$D+(X_1,\dots ,X_n)E[X_1,\dots ,X_n]$ and D+(_X1,…,_Xn)E?_X1,…,_Xn?$D+(X_1,\dots ,X_n)E?X_1,\dots ,X_n?$ and Nagata?s idealization.     

Unbounded order convergence in dual spaces

A net (_xα)$(x_{\alpha })$ in a vector lattice X   is said to be unbounded order convergent (or uo-convergent, for short) to x∈X$x\in X$ if the net (|_xα−x|∧y)$(|x_{\alpha }-x|\wedge y)$ converges to 0 in order for all y∈_X+$y\in X_{+}$. In this paper, we study unbounded order convergence in dual spaces of Banach lattices. Let X   be a Banach lattice. We prove that every norm bounded uo-convergent net in X^?$X^{?}$ is w^?$w^{?}$-convergent iff X   has order continuous norm, and that every w^?$w^{?}$-convergent net in X^?$X^{?}$ is uo-convergent iff X is atomic with order continuous norm. We also characterize among σ  -order complete Banach lattices the spaces in whose dual space every simultaneously uo- and w^?$w^{?}$-convergent sequence converges weakly/in norm.     

Nil Bohr0-sets and polynomial recurrence

In Huang et al.  [17] it was proved that for any Nil_d  Bohr₀-set A$A$, there are a minimal system (X,T)$(X,T)$ and a non-empty open subset U$U$ of X$X$ with A⊃{n∈Z:U∩T⁻ⁿU∩?∩T^−dnU≠0?}$A\supset \{n\in \mathbb{Z}:U\cap T^{-n}U\cap ?\cap T^{-dn}U\ne 0?\}$, and for any minimal system (X,T)$(X,T)$ and any open non-empty U⊂X$U\subset X$, the set {n∈Z:U∩T⁻ⁿU∩?∩T^−dnU≠0?}$\{n\in \mathbb{Z}:U\cap T^{-n}U\cap ?\cap T^{-dn}U\ne 0?\}$ is an almost Nil_d Bohr₀-set. The polynomial form of this problem is considered in this paper. It is shown that the latter is still true in the polynomial case, while the former is not in general. We also consider the special case when the system is a nilsystem.     

A p-adic algorithm for computing the inverse of integer matrices

A method for computing the inverse of an (n×n)$(n\times n)$ integer matrix A$A$ using p$p$-adic approximation is given. The method is similar to Dixon’s algorithm, but ours has a quadratic convergence rate. The complexity of this algorithm (without using FFT or fast matrix multiplication) is O(n⁴(logn)²)$O\left(n^4{(logn)}^2\right)$, the same as that of Dixon’s algorithm. However, experiments show that our method is faster. This is because our methods decrease the number of matrix multiplications but increase the digits of the components of the matrix, which suits modern CPUs with fast integer multiplication instructions.     

Regularity for the fractional Gelfand problem up to dimension 7

We study the problem (−Δ)^su=λe^u${(-\mathrm{\Delta })}^{s}u=\lambda e^u$ in a bounded domain Ω⊂Rⁿ$\Omega \subset {\mathbb{R}}^n$, where λ   is a positive parameter. More precisely, we study the regularity of the extremal solution to this problem. Our main result yields the boundedness of the extremal solution in dimensions n≤7$n\le 7$ for all s∈(0,1)$s\in (0,1)$ whenever Ω   is, for every i=1,...,n$i=1,...,n$, convex in the _xi$x_i$-direction and symmetric with respect to {_xi=0}$\{x_i=0\}$. The same holds if n=8$n=8$ and s?0.28206...$s?0.28206...$, or if n=9$n=9$ and s?0.63237...$s?0.63237...$. These results are new even in the unit ball Ω=_B1$\Omega =B_1$.     

On rigidity of Roe algebras

Roe algebras are C^?$C^{?}$-algebras built using large scale (or ‘coarse’) aspects of a metric space (X,d)$(X,d)$. In the special case that X=Γ$X=\Gamma$ is a finitely generated group and d   is a word metric, the simplest Roe algebra associated to (Γ,d)$(\Gamma ,d)$ is isomorphic to the crossed product C^?$C^{?}$-algebra l^∞(Γ)_?rΓ$l^{\infty }(\Gamma ){?}_r\Gamma$.     

Discrete Tomography and plane partitions

A plane partition   is a p×q$p\times q$ matrix A=(_aij)$A=(a_{ij})$, where 1?i?p$1?i?p$ and 1?j?q$1?j?q$, with non-negative integer entries, and whose rows and columns are weakly decreasing. From a geometric point of view plane partitions are equivalent to pyramids  , subsets of the integer lattice Z³${\mathbb{Z}}^3$ which play an important role in Discrete Tomography. As a consequence, some typical problems concerning the tomography of discrete lattice sets can be rephrased and considered via plane partitions. In this paper we focus on some of them. In particular, we get a necessary and sufficient condition for additivity, a canonical procedure for checking the existence of (weakly) bad configurations, and an algorithm which constructs minimal pyramids (with respect to the number of levels) with assigned projection of a bad configurations.     

Relativization makes contradictions harder for Resolution

We provide a number of simplified and improved separations between pairs of Resolution-with-bounded-conjunction refutation systems, Res(d)$\mathrm{Res}(d)$, as well as their tree-like versions, Res^?(d)${\mathrm{Res}}^{?}(d)$. The contradictions we use are natural combinatorial principles: the Least number principle  , _LNPn${\mathrm{LNP}}_n$ and an ordered variant thereof, the Induction principle  , _IPn${\mathrm{IP}}_n$.