The inverse of nonsymmetric two-level Toeplitz operator matrices

The Gohberg–Semencul formula allows one to express the entries of the inverse of a Toeplitz matrix using only a few entries (the first row and the first column) of the inverse matrix, under some nonsingularity condition. In this paper we will provide a two variable generalization of the Gohberg–Semencul formula in the case of a nonsymmetric two-level Toeplitz matrix with a symbol of the form $f(z_1\text{,}{z}_2)=\frac{1}{\overline{P(z_1\text{,}{z}_2)}Q(z_1\text{,}{z}_2)}$ where $P(z_1\text{,}{z}_2)$ and $Q(z_1\text{,}{z}_2)$ are stable polynomials of two variables. We also consider the case of operator valued two-level Toeplitz matrices. In addition, we propose an equation solver involving two-level Toeplitz matrices. Numerical results are included.     

Matrix completion problems over integral domains: The case with a diagonal of prescribed blocks

Let $\mathfrak{R}$ be an arbitrary integral domain, let $\wedge =\{{\lambda }_1\text{,}\dots \text{,}{\lambda }_n\}$ be a multiset of elements of $\mathfrak{R}$, let $\sigma$ be a permutation of $\{1\text{,}\dots \text{,}k\}$ let $n_1\text{,}\dots \text{,}{n}_k$ be positive integers such that $n_1+?+n_k=n$, and for $r=1\text{,}\dots \text{,}k$ let $A_r\in {\mathfrak{R}}^{n_r\times n_{\sigma (r)}}$. We are interested in the problem of finding a block matrix $Q={\left[Q_{\mathit{rs}}\right]}_{r\text{,}s=1}^k\in {\mathfrak{R}}^{n\times n}$ with spectrum $\mathrm{\Lambda }$ and such that $Q_{r\sigma (r)}=A_r$ for $r=1\text{,}\dots \text{,}k$. Cravo and Silva completely characterized the existence of such a matrix when $\mathfrak{R}$ is a field. In this work we construct a solution matrix $Q$ that solves the problem when $\mathfrak{R}$ is an integral domain with two exceptions: (i) $k=2$; (ii) $k\ge 3$, $\sigma (r)=r$ and $n_r>n/2$ for some $r$.What makes this work quite unique in this area is that we consider the problem over the more general algebraic structure of integral domains, which includes the important case of integers. Furthermore, we provide an explicit and easy to implement finite step algorithm that constructs an specific solution matrix (we point out that Cravo and Silva’s proof is not constructive).     

Sums of Dirac masses and conditioned ubiquity

Multifractal formalisms hold for certain classes of atomless measures μ obtained as limits of multiplicative processes. This naturally leads us to ask whether non trivial discontinuous measures obey such formalisms. This is the case for a new kind of measures, whose construction combines additive and multiplicative chaos. This class is defined by ${\nu }_{\gamma \text{,}\sigma }={\sum }_{j?1}{b}^{?j\gamma }/j^2{\sum }_{k=0}^{b^j?1}\mu ([k{b}^{?j}\text{,}{(k+1)b^{?j}))}^{\sigma }{\delta }_{k{b}^{?j}}$ ($\text{supp}(\mu )=[0\text{,}1]\text{,}b$ integer $?2\text{,}\gamma ?0\text{,}\sigma ?1$). Under suitable assumptions on the initial measure μ, ${\nu }_{\gamma \text{,}\sigma }$ obeys some multifractal formalisms. Its Hausdorff multifractal spectrum $h?d_{{\nu }_{\gamma \text{,}\sigma }}(h)$ is composed of a linear part for h smaller than a critical value $h_{\gamma \text{,}\sigma }$, and then of a concave part when $h?h_{\gamma \text{,}\sigma }$. The same properties hold for the Hausdorff spectrum of some function series $f_{\gamma \text{,}\sigma }$ constructed according to the same scheme as ${\nu }_{\gamma \text{,}\sigma }$. These phenomena are the consequences of new results relating ubiquitous systems to the distribution of the mass of μ. To cite this article: J. Barral, S. Seuret, C. R. Acad. Sci. Paris, Ser. I 339 (2004).     

The finite-step realizability of the joint spectral radius of a pair of d×d matrices one of which being rank-one

We study the finite-step realizability of the joint/generalized spectral radius of a pair of real square matrices ${\mathrm{S}}_1$ and ${\mathrm{S}}_2$, one of which has rank 1, where $2?d<+\infty$. Let $\rho (A)$ denote the spectral radius of a square matrix A. Then we prove that there always exists a finite-length word $(i_1^1\text{,}\dots \text{,}{i}_m^1)\in \{1\text{,}2{\}}^m$, for some finite $m?1$, such that$\sqrt[m]{\rho \left({\mathrm{S}}_{i_1^1}?{\mathrm{S}}_{i_m^1}\right)}={\sup }_{n?1}\left\{{\displaystyle \underset{(i_1\text{,}\dots \text{,}{i}_n)\in \{1\text{,}2{\}}^n}{\max }}\sqrt[n]{\rho ({\mathrm{S}}_{i_1}?{\mathrm{S}}_{i_n})}\right\}\text{.}$In other words, there holds the spectral finiteness property for $\{{\mathrm{S}}_1\text{,}{\mathrm{S}}_2\}$. Explicit formula for computation of the joint spectral radius is derived. This implies that the stability of the switched system induced by $\{{\mathrm{S}}_1\text{,}{\mathrm{S}}_2\}$ is algorithmically decidable in this case.     

Le nombre des diviseurs unitaires d'un entier dans les progressions arithmétiques

Let the functions $d_{k\text{,}l}^{*}(n)$ and $d_{k\text{,}l}(n)$ be number of unitary divisors (see below) and number of divisors n in arithmetic progressions $\{l+mk\}$; k and l are integers relatively prime such that $1?l?k$ and let, for $n?2$

$F(n\text{;}k\text{,}l)=\frac{\ln (d_{k\text{,}l}(n))\ln (\phi (k)\ln n)}{\ln n}\text{,}{F}^{*}(n\text{;}k\text{,}l)=\frac{\ln (d_{k\text{,}l}^{*}(n))\ln (\phi (k)\ln n)}{\ln n}\text{and}$

$D^{*}(n\text{;}k\text{,}l)=\frac{\ln (d_{k\text{,}l}(n)/d_{k\text{,}l}^{*}(n))\ln (\phi (k)\ln n)}{\ln n}\text{,}$

where $\phi (k)$ is Euler's totient. The function $F(n\text{;}k\text{,}l)$ has been studied in [A. Derbal, A. Smati, C. A. Acad. Sci. Paris, Ser. I 339 (2004) 87–90]. In this Note we study the functions $F^{*}(n\text{;}k\text{,}l)$ and $D^{*}(n\text{;}k\text{,}l)$. We give explicitly their maximal orders and we compute effectively the maximum of $F^{*}(n\text{;}k\text{,}l)$ for $k=1\text{,}2\text{,}3$ and that of $D^{*}(n\text{;}k\text{,}l)$ for $k=1\text{,}3\text{,}5\text{,}7\text{,}8\text{,}9\text{,}10\text{,}11\text{,}13$. To cite this article: A. Derbal, C. R. Acad. Sci. Paris, Ser. I 340 (2005).     

A satellite of the grand Furuta inequality and its application

The grand Furuta inequality has the following satellite (SGF;$t\in [0\text{,}1]$), given as a mean theoretic expression:$A?B>0\text{,}t\in [0\text{,}1]?A^{-r+t}{\#}_{\frac{1-t+r}{(p-t)s+r}}(A^t{?}_s{B}^p)?B\text{for}r?t\text{;}p\text{,}s?1\text{,}$where ${\#}_{\alpha }$ is the $\alpha$-geometric mean and ${?}_s$ ($s?[0\text{,}1]$) is a formal extension of ${\#}_{\alpha }$. It is shown that (SGF; $t\in [0\text{,}1]$) has the Löwner–Heinz property, i.e. (SGF; $t=1$) implies (SGF;t) for every $t\in [0\text{,}1]$. Furthermore, we show that a recent further extension of (GFI) by Furuta himself has also the Löwner–Heinz property.