A real matrix $A$ is a G-matrix if $A$ is nonsingular and there exist nonsingular diagonal matrices $D_1$ and $D_2$ such that $A^{-\mathrm{T}}=D_{1}A{D}_2$, where $A^{-\mathrm{T}}$ denotes the transpose of the inverse of $A$. Denote by $J=\mathrm{diag}(\pm 1)$ a diagonal (signature) matrix, each of whose diagonal entries is $+1$ or $-1$. A nonsingular real matrix $Q$ is called $J$-orthogonal if $Q^{\mathrm{T}}JQ=J$. Many connections are established between these matrices. In particular, a matrix $A$ is a G-matrix if and only if $A$ is diagonally (with positive diagonals) equivalent to a column permutation...

A vector $x$ is said to be an eigenvector of a square max-min matrix $A$ if $A\otimes x=x$. An eigenvector $x$ of $A$ is called the greatest $𝐗$-eigenvector of $A$ if $x\in 𝐗=\{x;\underline{x}\le x\le \overline{x}\}$ and $y\le x$ for each eigenvector $y\in 𝐗$. A max-min matrix $A$ is called strongly $𝐗$-robust if the orbit $x,A\otimes x,A^2\otimes x,\cdots$ reaches the greatest $𝐗$-eigenvector with any starting vector of $𝐗$. We suggest an $O\left(n^3\right)$ algorithm for computing the greatest $𝐗$-eigenvector of $A$ and study the strong $𝐗$-robustness. The necessary and sufficient conditions for strong $𝐗$-robustness are introduced...

Suppose that $A$ is a real symmetric matrix of order $n$. Denote by $m_A\left(0\right)$ the nullity of $A$. For a nonempty subset $\alpha$ of $\{1,2,...,n\}$, let $A\left(\alpha \right)$ be the principal submatrix of $A$ obtained from $A$ by deleting the rows and columns indexed by $\alpha$. When $m_{A\left(\alpha \right)}\left(0\right)=m_A\left(0\right)+\left|\alpha \right|$, we call $\alpha$ a P-set of $A$. It is known that every P-set of $A$ contains at most $\lfloor n/2\rfloor$ elements. The graphs of even order for which one can find a matrix attaining this bound are now completely characterized. However, the odd case turned out to be more difficult to tackle. As...

Let $\Omega \subset {ℂ}^n$ be a bounded, simply connected $ℂ$-convex domain. Let $\alpha \in {\mathbb{Z}}_{+}^n$ and let $f$ be a function on $\Omega$ which is separately $C^{2{\alpha }_j-1}$-smooth with respect to $z_j$ (by which we mean jointly $C^{2{\alpha }_j-1}$-smooth with respect to $\mathrm{Re}{z}_j$, $\mathrm{Im}{z}_j$). If $f$ is $\alpha$-analytic on $\Omega \setminus f^{-1}\left(0\right)$, then $f$ is $\alpha$-analytic on $\Omega$. The result is well-known for the case ${\alpha }_i=1$, $1\le i\le n$, even when $f$ a priori is only known to be continuous.

Consider the $n\times n$ matrix with $(i,j)$’th entry $gcd(i,j)$. Its largest eigenvalue ${\lambda }_n$ and sum of entries $s_n$ satisfy ${\lambda }_n>s_n/n$. Because $s_n$ cannot be expressed algebraically as a function of $n$, we underestimate it in several ways. In examples, we compare the bounds so obtained with one another and with a bound from S. Hong, R. Loewy (2004). We also conjecture that ${\lambda }_n>6{\pi }^{-2}nlogn$ for all $n$. If $n$ is large enough, this follows from F. Balatoni (1969).

Let ${𝒫}_n$ denote the class of analytic functions $p\left(z\right)$ of the form $p\left(z\right)=1+c_n{z}^n+c_{n+1}{z}^{n+1}+\cdots$ in the open unit disc $𝕌$. Applying the result by S. S. Miller and P. T. Mocanu (J. Math. Anal. Appl. 65 (1978), 289-305), some interesting properties for $p\left(z\right)$ concerned with Caratheodory functions are discussed. Further, some corollaries of the results concerned with the result due to M. Obradovic and S. Owa (Math. Nachr. 140 (1989), 97-102) are shown.

Let $G$ be a simple connected graph with vertex set $V\left(G\right)=\{v_1,v_2,\cdots ,v_n\}$ and edge set $E\left(G\right)$, and let $d_{v_i}$ be the degree of the vertex $v_i$. Let $D\left(G\right)$ be the distance matrix and let $T_r\left(G\right)$ be the diagonal matrix of the vertex transmissions of $G$. The generalized distance matrix of $G$ is defined as $D_{\alpha }\left(G\right)=\alpha T_r\left(G\right)+(1-\alpha )D\left(G\right)$, where $0\le \alpha \le 1$. Let ${\lambda }_1\left(D_{\alpha }\left(G\right)\right)\ge {\lambda }_2\left(D_{\alpha }\left(G\right)\right)\ge ...\ge {\lambda }_n\left(D_{\alpha }\left(G\right)\right)$ be the generalized distance eigenvalues of $G$, and let $k$ be an integer with $1\le k\le n$. We denote by $S_k\left(D_{\alpha }\left(G\right)\right)={\lambda }_1\left(D_{\alpha }\left(G\right)\right)+{\lambda }_2\left(D_{\alpha }\left(G\right)\right)+...+{\lambda }_k\left(D_{\alpha }\left(G\right)\right)$ the sum of the $k$ largest generalized distance eigenvalues. The generalized distance spread of a graph $G$ is defined as $D_{\alpha }S\left(G\right)={\lambda }_1\left(D_{\alpha }\left(G\right)\right)-{\lambda }_n\left(D_{\alpha }\left(G\right)\right)$....

Let $\left\{X_{ij}\right\}$, $i,j=\cdots$, be a double array of independent and identically distributed (i.i.d.) real random variables with $E{X}_{11}=\mu$, $E|X_{11}{-\mu |}^2=1$ and $E|X_{11}{|}^{4}lt;\infty$. Consider sample covariance matrices (with/without empirical centering) $𝒮=\frac{1}{n}{\sum }_{j=1}^n({𝐬}_j-\overline{𝐬}){({𝐬}_j-\overline{𝐬})}^T$ and $𝐒=\frac{1}{n}{\sum }_{j=1}^n{𝐬}_j{𝐬}_j^T$, where $\overline{𝐬}=\frac{1}{n}{\sum }_{j=1}^n{𝐬}_j$ and ${𝐬}_j={𝐓}_n^{1/2}{(X_{1j},...,X_{pj})}^T$ with ${\left({𝐓}_n^{1/2}\right)}^2={𝐓}_n$, non-random symmetric non-negative definite matrix. It is proved that central limit theorems of eigenvalue statistics of $𝒮$ and $𝐒$ are different as $n\to \infty$ with $p/n$ approaching a positive constant. Moreover, it is also proved that such a different behavior is not observed in the...

We prove that any divisor $Y$ of a global analytic set $X\subset {ℝ}^n$ has a generic equation, that is, there is an analytic function vanishing on $Y$ with multiplicity one along each irreducible component of $Y$. We also prove that there are functions with arbitrary multiplicities along $Y$. The main result states that if $X$ is pure dimensional, $Y$ is locally principal, $X/Y$ is not connected and $Y$ represents the zero class in $H_{q-1}^{\infty }(X,{\mathbb{Z}}_2)$ then the divisor $Y$ is globally principal.

Consider a $N\times n$ non-centered matrix ${𝛴}_n$ with a separable variance profile: $${𝛴}_n=\frac{D_n^{1/2}{X}_n{\tilde{D}}_n^{1/2}}{\sqrt{n}}+A_n.$$ Matrices $D_n$ and ${\tilde{D}}_n$ are non-negative deterministic diagonal, while matrix $A_n$ is deterministic, and $X_n$ is a random matrix with complex independent and identically distributed random variables, each with mean zero and variance one. Denote by $Q_n\left(z\right)$ the resolvent associated to ${𝛴}_n{𝛴}_n^{*}$, i.e. $$Q_n\left(z\right)={\left({𝛴}_n{𝛴}_n^{*}-z{I}_N\right)}^{-1}.$$ Given two sequences of deterministic vectors $\left(u_n\right)$ and $\left(v_n\right)$ with bounded Euclidean norms, we study the limiting behavior of the random bilinear form:...

Denote by spanf₁,f₂,... the collection of all finite linear combinations of the functions f₁,f₂,... over ℝ. The principal result of the paper is the following. Theorem (Full Clarkson-Erdős-Schwartz Theorem). Suppose ${\left({\lambda }_j\right)}_{j=1}^{\infty }$ is a sequence of distinct positive numbers. Then $span1,x^{\lambda ₁},x^{\lambda ₂},...$ is dense in C[0,1] if and only if ${\sum }_{j=1}^{\infty }\left({\lambda }_j\right)/({\lambda }_j²+1)=\infty$. Moreover, if ${\sum }_{j=1}^{\infty }\left({\lambda }_j\right)/({\lambda }_j²+1)<\infty$, then every function from the C[0,1] closure of $span1,x^{\lambda ₁},x^{\lambda ₂},...$ can be represented as an analytic function on z ∈ ℂ ∖ (-∞, 0]: |z| < 1 restricted to (0,1). This result improves an...

In this paper, we obtain new sufficient conditions for the operators $F_{{\alpha }_1,{\alpha }_2,...,{\alpha }_n,\beta }\left(z\right)$ and $G_{{\alpha }_1,{\alpha }_2,...,{\alpha }_n,\beta }\left(z\right)$ to be univalent in the open unit disc $𝒰$, where the functions $f_1,f_2,...,f_n$ belong to the classes $S^{*}(a,b)$ and $𝒦(a,b)$. The order of convexity for the operators $F_{{\alpha }_1,{\alpha }_2,...,{\alpha }_n,\beta }\left(z\right)$ and $G_{{\alpha }_1,{\alpha }_2,...,{\alpha }_n,\beta }\left(z\right)$ is also determined. Furthermore, and for $\beta =1$, we obtain sufficient conditions for the operators $F_n\left(z\right)$ and $G_n\left(z\right)$ to be in the class $𝒦(a,b)$. Several corollaries and consequences of the main results are also considered.

We characterise the boundedness of the $H^{\infty }$ calculus of a sectorial operator in terms of dilation theorems. We show e. g. that if $-A$ generates a bounded analytic $C_0$ semigroup $\left(T_t\right)$ on a UMD space, then the $H^{\infty }$ calculus of $A$ is bounded if and only if $\left(T_t\right)$ has a dilation to a bounded group on $L^2([0,1],X)$. This generalises a Hilbert space result of C.LeMerdy. If $X$ is an $L^p$ space we can choose another $L^p$ space in place of $L^2([0,1],X)$.

We propose a new localization result for the leading eigenvalue and eigenvector of a symmetric matrix $A$. The result exploits the Frobenius inner product between $A$ and a given rank-one landmark matrix $X$. Different choices for $X$ may be used, depending on the problem under investigation. In particular, we show that the choice where $X$ is the all-ones matrix allows to estimate the signature of the leading eigenvector of $A$, generalizing previous results on Perron-Frobenius properties of matrices...

Plane $d$-webs have been studied a lot since their appearance at the turn of the 20th century. A rather recent and striking result for them is the theorem of Dufour, stating that the measurable conjugacies between 3-webs have to be analytic. Here, we show that even the set-theoretic conjugacies between two $d$-webs, $d\ge 3$ are analytic unless both webs are analytically parallelizable. Between two set-theoretically conjugate parallelizable $d$-webs, however, there always exists a nonmeasurable conjugacy;...

Let μ be a finite positive Borel measure on [0,1). Let ${\mathscr{H}}_{\mu }={\left({\mu }_{n,k}\right)}_{n,k\ge 0}$ be the Hankel matrix with entries ${\mu }_{n,k}={\int }_{[0,1)}{t}^{n+k}d\mu \left(t\right)$. The matrix ${}_{\mu }$ induces formally an operator on the space of all analytic functions in the unit disc by the fomula ${\mathscr{H}}_{\mu }\left(f\right)\left(z\right)={\sum }_{n=0}^{\infty }i\left({\sum }_{k=0}^{\infty }{\mu }_{n,k}{a}_k\right)zⁿ$, z ∈ , where $f\left(z\right)={\sum }_{n=0}^{\infty }aₙzⁿ$ is an analytic function in . We characterize those positive Borel measures on [0,1) such that ${\mathscr{H}}_{\mu }\left(f\right)\left(z\right)={\int }_{[0,1)}f\left(t\right)/(1-tz)d\mu \left(t\right)$ for all f in the Hardy space H¹, and among them we describe those for which ${\mathscr{H}}_{\mu }$ is bounded and compact on H¹. We also study the analogous problem for the Bergman space A². ...