On latently real matrices and block quaternions

Let a complex n × n matrix A be unitarily similar to its entrywise conjugate matrix [`(A)] \bar{A} . If in the relation [`(A)] = P^*AP \bar{A} = {P^*}AP the unitary matrix P can be chosen symmetric (skew-symmetric), then A is called a latently real matrix (respectively, a generalized block quaternion). The differences in the systems of elementary divisors of these two matrix classes are found that explain why latently real matrices can be made real via unitary similarities, whereas, in general, block quaternions cannot. Bibliography: 5 titles.     

Unitary similarity of entrywise conjugate matrices and unitary decomplexification

Assume that a complex n × n matrix A is unitarily similar to a real matrix. It is proved that in this case, A is unitarily similar to its entrywise conjugate [`(A)] \bar{A} . An example showing that the reverse implication is in general false is constructed. Bibliography: 1 title.     

Abelian and Hamiltonian varieties of groupoids

We study certain groupoids generating Abelian, strongly Abelian, and Hamiltonian varieties. An algebra is Abelian if t( a,[`(c)] ) = t( a,[`(d)] ) ? t( b,[`(c)] ) = t( b,[`(d)] ) t\left( {a,\bar{c}} \right) = t\left( {a,\bar{d}} \right) \to t\left( {b,\bar{c}} \right) = t\left( {b,\bar{d}} \right) for any polynomial operation on the algebra and for all elements a, b, [`(c)] \bar{c} , [`(d)] \bar{d} . An algebra is strongly Abelian if t( a,[`(c)] ) = t( b,[`(d)] ) ? t( e,[`(c)] ) = t( e,[`(d)] ) t\left( {a,\bar{c}} \right) = t\left( {b,\bar{d}} \right) \to t\left( {e,\bar{c}} \right) = t\left( {e,\bar{d}} \right) for any polynomial operation on the algebra and for arbitrary elements a, b, e, [`(c)] \bar{c} , [`(d)] \bar{d} . An algebra is Hamiltonian if any subalgebra of the algebra is a congruence class. A variety is Abelian (strongly Abelian, Hamiltonian) if all algebras in a respective class are Abelian (strongly Abelian, Hamiltonian). We describe semigroups, groupoids with unity, and quasigroups generating Abelian, strongly Abelian, and Hamiltonian varieties.     

Proof of a conjecture of V. Nikiforov

Using analytical tools, we prove that for any simple graph G on n vertices and its complement [`(G)]\bar G the inequality $\mu \left( G \right) + \mu \left( {\bar G} \right) \leqslant \tfrac{4} {3}n - 1$\mu \left( G \right) + \mu \left( {\bar G} \right) \leqslant \tfrac{4} {3}n - 1 holds, where μ(G) and m( [`(G)] )\mu \left( {\bar G} \right) denote the greatest eigenvalue of adjacency matrix of the graphs G and [`(G)]\bar G respectively.     

Abelian and Hamiltonian groupoids

In this work, we investigate some groupoids that are Abelian algebras and Hamiltonian algebras. An algebra is Abelian if for every polynomial operation and for all elements a, b, [`(c)] \bar{c} , [`(d)] \bar{d} the implication t( a,[`(c)] ) = t( a,[`(d)] ) T t( b,[`(c)] ) = t( b,[`(d)] ) t\left( {a,\bar{c}} \right) = t\left( {a,\bar{d}} \right) \Rightarrow t\left( {b,\bar{c}} \right) = t\left( {b,\bar{d}} \right) holds. An algebra is Hamiltonian if every subalgebra is a block of some congruence on the algebra. R. J. Warne in 1994 described the structure of the Abelian semigroups. In this work, we describe the Abelian groupoids with identity, the Abelian finite quasigroups, and the Abelian semigroups S such that abS = aS and Sba = Sa for all a, b ∈ S. We prove that a finite Abelian quasigroup is a Hamiltonian algebra. We characterize the Hamiltonian groupoids with identity and semigroups under the condition of Abelianity of these algebras.     

Extended equivariant Picard complexes and homogeneous spaces

Let k be a field of characteristic 0 and let [`(k)] \bar{k} be a fixed algebraic closure of k. Let X be a smooth geometrically integral k-variety; we set [`(X)] = X ×_k[`(k)] \bar{X} = X{ \times_k}\bar{k} and denote by [`(X)] \bar{X} . In [BvH2] we defined the extended Picard complex of X as the complex of Gal( [`(k)]

On the sets of branch points of mappings more general than quasiregular

It is shown that if a point x ₀ ∊ ℝ ⁿ , n ≥ 3, is an essential isolated singularity of an open discrete Q-mapping f : D → [`(\mathbb R<sup>n</sup>)] \overline {\mathbb {R}^n} , B <sub>f</sub> is the set of branch points of f in D; and a point z <sub>0</sub> ∊ [`(\mathbb Rⁿ)] \overline {\mathbb {R}^n} is an asymptotic limit of f at the point x ₀; then, for any neighborhood U containing the point x ₀; the point z ₀ ∊ [`(f( B<sub>f</sub> ?U ))] \overline {f\left( {B_f \cap U} \right)} provided that the function Q has either a finite mean oscillation at the point x <sub>0</sub> or a logarithmic singularity whose order does not exceed n − 1: Moreover, for n ≥ 2; under the indicated conditions imposed on the function Q; every point of the set [`(\mathbb Rⁿ)] \overline {\mathbb {R}^n} \ f(D) is an asymptotic limit of f at the point x ₀. For n ≥ 3, the following relation is true: [`(\mathbbR<sup>n</sup> )] \f( D ) ì [`(f B_f )] \overline {\mathbb{R}^n } \backslash f\left( D \right) \subset \overline {f\,B_f } . In addition, if ￥ ? f( D ) \infty \notin f\left( D \right) , then the set f B _f is infinite and x₀ ? [`(B_f )] x_0 \in \overline {B_f } .     

Heat flows for a nonconvex Signorini type problem in $$ {\mathbb{R}^{N}} $$

We prove the existence of a global heat flow u : Ω ×  \mathbbR⁺ ? \mathbbR^N {\mathbb{R}^{+}} \to {\mathbb{R}^{N}}, N > 1, satisfying a Signorini type boundary condition u(∂Ω ×  \mathbbR⁺ {\mathbb{R}^{+}}) ⊂  \mathbbRⁿ {\mathbb{R}^{n}}), n \geqslant 2 n \geqslant 2 , and \mathbbR^N {\mathbb{R}^{N}}) with boundary ∂ [`(W)] \bar{\Omega } such that φ(∂Ω) ⊂ \mathbbR^N {\mathbb{R}^{N}} is given by a smooth noncompact hypersurface S. Bibliography: 30 titles.     

Smooth Universal Taylor Series

Let W í \Bbb C\Omega \subseteq {\Bbb C} be a simply connected domain in \Bbb C{\Bbb C} , such that {￥} è[ \Bbb C \[`(W)]]\{\infty\} \cup [ {\Bbb C} \setminus \bar{\Omega}] is connected. If g is holomorphic in Ω and every derivative of g extends continuously on [`(W)]\bar{\Omega} , then we write g ∈ A^∞ (Ω). For g ∈ A^∞ (Ω) and z ? [`(W)]\zeta \in \bar{\Omega} we denote S_N (g,z)(z) = ?^N_l=0\fracg^(l) (z)l ! (z-z)^lS_N (g,\zeta )(z)= \sum^{N}_{l=0}\frac{g^{(l)} (\zeta )}{l !} (z-\zeta )^l . We prove the existence of a function f ∈ A^∞(Ω), such that the following hold:

About a special class of two-dimensional complex Finsler spaces

In this paper we investigate a class of two-dimensional complex Finsler spaces, called η-Einstein, in [3]. The holomorphic sectional curvatures of such spaces, in directions of the local complex Berwald frames {l, m, [`(l)],[`(m)]\bar l,\bar m} and {λ, μ, [`(l)] ,[`(m)]\bar \lambda ,\bar \mu } are studied. We classify some subclasses of η-Einstein spaces, with respect to the horizontal holomorphic sectional curvature in direction λ. Finally, a special approach is devoted to the holomorphic bisectional curvatures of the two — dimensional η-Einstein spaces.     

On the boundedness of one recurrent sequence in a banach space

We establish necessary and sufficient conditions under which a sequence x ₀ = y ₀ , x _n+1 = Ax _n  + y _n+1 , n ≥ 0, is bounded for each bounded sequence { y_n :n \geqslant 0 } ì { x ? è_{n = 1}^￥ D( Aⁿ ) |sup_{n \geqslant 0} || Aⁿ x || < ￥ }\left\{ {y_n :n \geqslant 0} \right\} \subset \left\{ {\left. {x \in \bigcup\nolimits_{n = 1}^\infty {D\left( {A^n } \right)} } \right|\sup _{n \geqslant 0} \left\| {A^n x} \right\| < \infty } \right\}, where A is a closed operator in a complex Banach space with domain of definition D(A) .     

Effective construction of an algebraic variety nonsingular in codimension one over a ground field of zero characteristic

Let k be a field of zero characteristic finitely generated over a primitive subfield. Let f be a polynomial of degree at most d in n variables, with coefficients from k, irreducible over an algebraic closure [`(k)] \bar{k} . Then we construct an algebraic variety V nonsingular in codimension one and a finite birational isomorphism V → Z(f), where Z(f) is the hypersurface of all common zeros of the polynomial f in the affine space. The running time of the algorithm for constructing V is polynomial in the size of the input. Bibliography: 8 titles.     

When is the Uvarov transformation positive definite?

Let L\cal{L} be a positive definite bilinear functional, then the Uvarov transformation of L\cal{L} is given by  U(p,q) = L(p,q) + m p(a)[`(q)](a<sup>-1</sup>) +[`(m)] p([`(a)]<sup>-1</sup>)\,\mathcal{U}(p,q) = \mathcal{L}(p,q) + m\,p(\alpha)\overline{q}(\alpha^{-1}) + \overline{m}\,p(\overline{\alpha}^{-1}) [`(q)]([`(a)])\overline{q}(\overline{\alpha}) where $|\alpha| > 1, m \in \mathbb{C}$|\alpha| > 1, m \in \mathbb{C}. In this paper we analyze conditions on m for U\cal{U} to be positive definite in the linear space of polynomials of degree less than or equal to n. In particular, we show that m has to lie inside a circle in the complex plane defined by α, n and the moments associated with L\cal{L}. We also give an upper bound for the radius of this circle that depends only on α and n. This and other conditions on m are visualized for some examples.     

On thin-complete ideals of subsets of groups

Let F ì P_G \mathcal{F} \subset {\mathcal{P}_G} be a left-invariant lower family of subsets of a group G. A subset A ⊂ G is called F \mathcal{F} -thin if xA ?yA ? F xA \cap yA \in \mathcal{F} for any distinct elements x, y ∈ G. The family of all F \mathcal{F} -thin subsets of G is denoted by t( F ) \tau \left( \mathcal{F} \right) . If t( F ) = F \tau \left( \mathcal{F} \right) = \mathcal{F} , then F \mathcal{F} is called thin-complete. The thin-completion t^*( F ) {\tau^*}\left( \mathcal{F} \right) of F \mathcal{F} is the smallest thin-complete subfamily of P_G {\mathcal{P}_G} that contains F \mathcal{F} . Answering questions of Lutsenko and Protasov, we prove that a set A ⊂ G belongs to τ*(G) if and only if, for any sequence (g _n ) _n∈ω of nonzero elements of G, there is n ∈ ω such that

Classification of the centers, of their cyclicity and isochronicity for two classes of generalized quintic polynomial differential systems

In this paper we classify the centers localized at the origin of coordinates, the cyclicity of their Hopf bifurcation and their isochronicity for the polynomial differential systems in \mathbbR²{\mathbb{R}^2} of degree d that in complex notation z = x + i y can be written as

Harmonicity of functions satisfying a weak form of the mean value property

Let W ì \Bbb Rⁿ\Omega \subset {\Bbb R}^n be a smooth domain and let u ? C⁰(W).u \in C^0(\Omega ). A classical result of potential theory states that¶¶-ò_{Sr([`(x)])</sub> u(x)ds(x)=u([`(x)])-\kern-5mm\int\limits _{S_{r}(\bar x)} u(x)d\sigma (x)=u(\bar x)¶¶for every [`(x)] ? W\bar x\in \Omega and r > 0r>0 if and only if¶¶Du=0 in W.\Delta u=0 \hbox { in } \Omega.¶¶Here -ò<sub>Sr([`(x)])} u(x)ds(x)-\kern-5mm\int\limits _{S_{r}(\bar x)} u(x)d\sigma (x) denotes the average of u on the sphere S_r([`(x)])S_r(\bar x) of center [`(x)]\bar x and radius r. Our main result, which is a "localized" version of the above result, states:¶¶Theorem. Let u ? W^2,1(W)u\in W^{2,1}(\Omega ) and let x ? Wx\in \Omega be a Lebesgue point of Du\Delta u such that¶¶-ò_Sr([`(x)]) u d s- a = o(r²)-\kern-5mm\int\limits _{S_{r}(\bar x)} u d \sigma - \alpha =o(r^2)¶¶for some a ? \Bbb R\alpha \in \Bbb R and all sufficiently small r > 0.r>0. Then¶¶Du(x)=0.\Delta u(x)=0.     

On Bernstein–Walsh-type lemmas in regions of the complex plane

Let G ì \mathbb C G \subset {\mathbb C} be a finite region bounded by a Jordan curve L: = ?G L: = \partial G , let W: = \textext[`(G)] \Omega : = {\text{ext}}\bar{G} (with respect to [`(\mathbb C)] {\overline {\mathbb C}} ), $ \Delta : = \left\{ {z:\left| z \right| > 1} \right\} $ \Delta : = \left\{ {z:\left| z \right| > 1} \right\} , and let w = F(z) w = \Phi (z) be a univalent conformal mapping of Ω onto Δ normalized by $ \Phi \left( \infty \right) = \infty, \;\Phi '\left( \infty \right) > 0 $ \Phi \left( \infty \right) = \infty, \;\Phi '\left( \infty \right) > 0 . By A _p (G); p > 0; we denote a class of functions f analytic in G and satisfying the condition

Extending the Torelli map to toroidal compactifications of Siegel space

It has been known since the 1970s that the Torelli map M  _g →A  _g , associating to a smooth curve its Jacobian, extends to a regular map from the Deligne–Mumford compactification [`(\operatorname M)]<sub>g</sub>\overline {\operatorname {M}}_{g} to the 2nd Voronoi compactification [`(\operatorname A)]_g^vor\overline {\operatorname {A}}_{g}^{\mathrm {vor}}. We prove that the extended Torelli map to the perfect cone (1st Voronoi) compactification [`(\operatorname A)]<sub>g</sub><sup>perf</sup>\overline {\operatorname {A}}_{g}^{\mathrm {perf}} is also regular, and moreover [`(\operatorname A)]_g^vor\overline {\operatorname {A}}_{g}^{\mathrm {vor}} and [`(\operatorname A)]<sub>g</sub><sup>perf</sup>\overline {\operatorname {A}}_{g}^{\mathrm {perf}} share a common Zariski open neighborhood of the image of [`(\operatorname M)]_g\overline {\operatorname {M}}_{g}. We also show that the map to the Igusa monoidal transform (central cone compactification) is not regular for g≥9; this disproves a 1973 conjecture of Namikawa.     

Canonical form with respect to semiscalar equivalence for a matrix pencil with nonsingular first matrix

Polynomial n × n matrices A(x) and B(x) over a field \mathbbF \mathbb{F} are called semiscalar equivalent if there exist a nonsingular n × n matrix P over \mathbbF \mathbb{F} and an invertible n × n matrix Q(x) over \mathbbF \mathbb{F} [x] such that A(x) = PB(x)Q(x). We give a canonical form with respect to semiscalar equivalence for a matrix pencil A(x) = A _0x - A ₁, where A ₀ and A ₁ are n × n matrices over \mathbbF \mathbb{F} , and A ₀ is nonsingular.     

Connected Domination Number of a Graph and its Complement

A set S of vertices in a graph G is a connected dominating set if every vertex not in S is adjacent to some vertex in S and the subgraph induced by S is connected. The connected domination number γ _c (G) is the minimum size of such a set. Let d^*(G)=min{d(G),d([`(G)])}{\delta^*(G)={\rm min}\{\delta(G),\delta({\overline{G}})\}} , where [`(G)]{{\overline{G}}} is the complement of G and δ(G) is the minimum vertex degree. We prove that when G and [`(G)]{{\overline{G}}} are both connected, g<sub>c</sub>(G)+g<sub>c</sub>([`(G)]) ￡ d^*(G)+4-(g_c(G)-3)(g_c([`(G)])-3){{\gamma_c}(G)+{\gamma_c}({\overline{G}})\le \delta^*(G)+4-({\gamma_c}(G)-3)({\gamma_c}({\overline{G}})-3)} . As a corollary, g<sub>c</sub>(G)+g<sub>c</sub>([`(G)]) ￡ \frac3n4{{\gamma_c}(G)+{\gamma_c}({\overline{G}})\le \frac{3n}{4}} when δ*(G) ≥ 3 and n ≥ 14, where G has n vertices. We also prove that g_c(G)+g_c([`(G)]) ￡ d<sup>*</sup>(G)+2{{\gamma_c}(G)+{\gamma_c}({\overline{G}})\le \delta^*(G)+2} when g<sub>c</sub>(G),g<sub>c</sub>([`(G)]) 3 4{{\gamma_c}(G),{\gamma_c}({\overline{G}})\ge 4} . This bound is sharp when δ*(G) = 6, and equality can only hold when δ*(G) = 6. Finally, we prove that g_c(G)g_c([`(G)]) ￡ 2n-4{{\gamma_c}(G){\gamma_c}({\overline{G}})\le 2n-4} when n ≥ 7, with equality only for paths and cycles.