Spectral Shorted Operators

If $$\mathcal{H}$$ is a Hilbert space, $$\mathcal{S}$$ is a closed subspace of $$\mathcal{H},$$ and A is a positive bounded linear operator on $$\mathcal{H},$$ the spectral shorted operator $$\rho \left( {\mathcal{S},\mathcal{A}} \right)$$ is defined as the infimum of the sequence $$\sum (\mathcal{S},A^n )^{1/n} ,$$ where denotes $$\sum \left( {\mathcal{S},B} \right)$$ the shorted operator of B to $$\mathcal{S}.$$ We characterize the left spectral resolution of $$\rho \left( {\mathcal{S},\mathcal{A}} \right)$$ and show several properties of this operator, particularly in the case that dim $${\mathcal{S} = 1.}$$ We use these results to generalize the concept of Kolmogorov complexity for the infinite dimensional case and for non invertible operators.     

Remarks on Rawnsley’s $$\varvec{\varepsilon }$$ε -function on the Fock–Bargmann–Hartogs domains

In this paper, we mainly study a family of unbounded non-hyperbolic domains in $$\mathbb {C}^{n+m}$$, called Fock–Bargmann–Hartogs domains $$D_{n,m}(\mu )$$ ($$\mu >0$$) which are defined as a Hartogs type domains with the fiber over each $$z\in \mathbb {C}^{n}$$ being a ball of radius $$e^{-\frac{\mu }{2} {\Vert z\Vert }^{2}}$$. The purpose of this paper is twofold. Firstly, we obtain necessary and sufficient conditions for Rawnsley’s $$\varepsilon $$-function $$\varepsilon _{(\alpha ,g)}(\widetilde{w})$$ of $$\big (D_{n,m}(\mu ), g(\mu ;\nu )\big )$$ to be a polynomial in $$\Vert \widetilde{w}\Vert ^2$$, where $$g(\mu ;\nu )$$ is a Kähler metric associated with the Kähler potential $$\nu \mu {\Vert z\Vert }^{2} -\ln (e^{-\mu {\Vert z\Vert }^{2}}-\Vert w\Vert ^2)$$. Secondly, using above results, we study the Berezin quantization on $$D_{n,m}(\mu )$$ with the metric $$\beta g(\mu ;\nu )$$$$(\beta >0)$$.     

Normal pairs of noncommutative rings

This paper extends the concept of a normal pair from commutative ring theory to the context of a pair of (associative unital) rings. This is done by using the notion of integrality introduced by Atterton. It is shown that if $$R \subseteq S$$ are rings and $$D=(d_{ij})$$ is an $$n\times n$$ matrix with entries in S, then D is integral (in the sense of Atterton) over the full ring of $$n\times n$$ matrices with entries in R if and only if each $$d_{ij}$$ is integral over R. If $$R \subseteq S$$ are rings with corresponding full rings of $$n\times n$$ matrices $$R_n$$ and $$S_n$$, then $$(R_n,S_n)$$ is a normal pair if and only if (R, S) is a normal pair. Examples are given of a pair $$(\Lambda , \Gamma )$$ of noncommutative (in fact, full matrix) rings such that $$\Lambda \subset \Gamma $$ is (resp., is not) a minimal ring extension; it can be further arranged that $$(\Lambda , \Gamma )$$ is a normal pair or that $$\Lambda \subset \Gamma $$ is an integral extension.     

On separating the submajorization order into majorization and pointwise inequality

As is known, the Hardy–Littlewood–Pólya submajorization preorder among integrable real-valued functions separates into the concatenation of pointwise inequality and majorization, in this order, i.e., if $$ x\prec \prec y$$ , then there is a z with $$x\le z\prec y$$ . Submajorization also separates, in the other order, into majorization and inequality, i.e., if $$x\prec \prec y$$ , then there is a w with $$x\prec w\le y$$ and, as is shown here, such a w can be chosen to be nonnegative if both x and y are. It is also shown that the former separation result (existence of z) can be deduced from the latter one (existence of w) by using a doubly stochastic operator on the Banach space $$L^{\varrho }\left( T\right) $$ , where T is a finite measure space and $$\varrho \in \left[ 1,+\infty \right] $$ . The results are applied to a $$\prec \prec $$ -isotone real-valued function C on the nonnegative cone $$ L_{+}^{\varrho }\left( T\right) $$ and to its positive-part extension to all of $$L^{\varrho }\left( T\right) $$ , defined by $$C^{\dagger }\left( y\right) =C\left( y^{+}\right) $$ , whose economic interpretation, when $$ C\left( y\right) $$ is the joint cost of producing quantities $$\left( y\left( t\right) \right) _{t\in T}$$ of a spectrum of commodities, is that of adding free disposal to the technology.     

The domination game played on diameter 2 graphs

Aequationes mathematicae - Let $$\gamma _g(G)$$ be the game domination number of a graph G. It is proved that if $$\mathrm{diam}(G) = 2$$ , then $$\gamma _g(G) \le \left\lceil \frac{n(G)}{2}...     

Maps preserving a certain product of operators

Let $$\mathcal {A}$$ be a standard operator algebra on a Banach space $$\mathcal {X}$$ with $$ \dim \mathcal {X}\ge 3$$. In this paper, we determine the form of the bijective maps $$\phi :\mathcal {A}\longrightarrow \mathcal {A}$$ satisfying $$\begin{aligned} \phi \left( \frac{1}{2}(AB^2+B^2A)\right) = \frac{1}{2}[\phi (A)\phi (B)^{2}+\phi (B)^{2}\phi (A)], \end{aligned}$$for every $$A,B \in \mathcal {A}$$.     

Exponent of a finite group of odd order with an involutory automorphism

Let $$w = w(x_1, \ldots , x_n)$$ be a non-trivial word of n-variables. The word map on a group G that corresponds to w is the map $$\widetilde{w}: G^n\rightarrow G$$ where $$\widetilde{w}((g_1, \ldots , g_n)) := w(g_1, \ldots , g_n)$$ for every sequence $$(g_1, \ldots , g_n)$$ . Let $$\mathcal G$$ be a simple and simply connected group which is defined and split over an infinite field K and let $$G =\mathcal G(K)$$ . For the case when $$w = w_1w_2 w_3 w_4$$ and $$w_1, w_2, w_3, w_4$$ are non-trivial words with independent variables, it has been proved by Hui et al. (Israel J Math 210:81–100, 2015) that $$G{\setminus } Z(G) \subset {{\text { Im}}}\,\widetilde{w}$$ where Z(G) is the center of the group G and $${{\text { Im}}}\, {\widetilde{w}}$$ is the image of the word map $$\widetilde{w}$$ . For the case when $$G = {{\text {SL}}}_n(K)$$ and $$n \ge 3$$ , in the same paper of Hui et al. (2015) it was shown that the inclusion $$G{\setminus } Z(G)\subset {{\text { Im}}}\,\widetilde{w}$$ holds for a product $$w = w_1w_2 w_3$$ of any three non-trivial words $$ w_1, w_2, w_3$$ with independent variables. Here we extent the latter result for every simple and simply connected group which is defined and split over an infinite field K except the groups of types $$B_2, G_2$$ .     

Sufficient conditions for local equivalence of mappings

Let $$f,g:({\mathbb {R}}^n,0)\rightarrow ({\mathbb {R}}^m,0)$$ be $$C^{r+1}$$ mappings and let $$Z=\{x\in \mathbf {\mathbb {R}}^n:\nu (df (x))=0\}$$ , $$0\in Z$$ , $$m\le n$$ . We will show that if there exist a neighbourhood U of $$0\in {\mathbb {R}}^n$$ and constants $$C,C'>0$$ and $$k>1$$ such that for $$x\in U$$ $$\begin{aligned}&\nu (df(x))\ge C{\text {dist}}(x,Z)^{k-1}, \\&\left| \partial ^{s} (f_i-g_i)(x) \right| \le C'\nu (df(x))^{r+k-|s|}, \end{aligned}$$ for any $$i\in \{1,\dots , m\}$$ and for any $$s \in \mathbf {\mathbb {N}}^n_0$$ such that $$|s|\le r$$ , then there exists a $$C^r$$ diffeomorphism $$\varphi :({\mathbb {R}}^n,0)\rightarrow ({\mathbb {R}}^n,0)$$ such that $$f=g\circ \varphi $$ in a neighbourhood of $$0\in {\mathbb {R}}^n$$ . By $$\nu (df)$$ we denote the Rabier function.     

On toric ideals arising from signed graphs

Journal of Algebraic Combinatorics - A signed graph is a pair $$(G,\tau )$$ of a graph G and its sign $$\tau $$ , where a sign $$\tau $$ is a function from $$\{ (e,v)\mid e\in E(G),v\in V(G), v\in...     

The universal minimal one parameter system with quasi-discrete spectrum

The universal minimal one parameter system will be characterized as the space $$\Gamma ^{\infty }$$, in which $$\Gamma$$ is the Bohr compactification of the additive group $${\mathbb {R}}$$ of real numbers. In this way, we need to show that $$\Gamma ^\infty$$ is isomorphic to the spectrum of $$W({\mathbb {R}})$$, the norm closure of the invariant algebra generated by the maps $$\exp q(t)$$, where q(t) is a real polynomial on $${\mathbb {R}}$$.     

Fractional Gaussian estimates and holomorphy of semigroups

Let $$\Omega \subset {\mathbb {R}}^N$$ be an arbitrary open set, $$0<s<1$$ and denote by $$(e^{-t(-\Delta )_{{{\mathbb {R}}}^N}^s})_{t\ge 0}$$ the semigroup on $$L^2({{\mathbb {R}}}^N)$$ generated by the fractional Laplace operator. In the first part of the paper, we show that if T is a self-adjoint semigroup on $$L^2(\Omega )$$ satisfying a fractional Gaussian estimate in the sense that $$|T(t)f|\le Me^{-bt(-\Delta )_{{{\mathbb {R}}}^N}^s}|f|$$, $$0\le t \le 1$$, $$f\in L^2(\Omega )$$, for some constants $$M\ge 1$$ and $$b\ge 0$$, then T defines a bounded holomorphic semigroup of angle $$\frac{\pi }{2}$$ that interpolates on $$L^p(\Omega )$$, $$1\le p<\infty $$. Using a duality argument, we prove that the same result also holds on the space of continuous functions. In the second part, we apply the above results to the realization of fractional order operators with the exterior Dirichlet conditions.     

Freiman $$t$$ -Spread Principal Borel Ideals

Mathematical Notes - An equigenerated monomial ideal $$I$$ is a Freiman ideal if $$\mu(I^2)=\ell(I)\mu(I)-{\ell(I)\choose 2}$$ , where $$\ell(I)$$ is the analytic spread of $$I$$ and $$\mu(I)$$ is...     

Counter-examples to the Dunford–Schwartz pointwise ergodic theorem on $$\varvec{L^1+L^\infty }$$ L 1 + L ∞

Extending a result by Chilin and Litvinov, we show by construction that given any $$\sigma $$ -finite infinite measure space $$(\Omega ,\mathcal {A}, \mu )$$ and a function $$f\in L^1(\Omega )+L^\infty (\Omega )$$ with $$\mu (\{|f|>\varepsilon \})=\infty $$ for some $$\varepsilon >0$$ , there exists a Dunford–Schwartz operator T over $$(\Omega ,\mathcal {A}, \mu )$$ such that $$\frac{1}{N}\sum _{n=1}^N (T^nf)(x)$$ fails to converge for almost every $$x\in \Omega $$ . In addition, for each operator we construct, the set of functions for which pointwise convergence fails almost everywhere is residual in $$L^1(\Omega )+L^\infty (\Omega )$$ .     

Description of the Structure of Irregularity Sets of Linear Differential Systems with a Linear Parameter

Differential Equations - We consider the class of linear parametric differential systems $$\dot {x}=\mu A(t)x $$ defined on the half-line $$t\geq 0 $$ , where $$\mu \in \mathbb {R} $$ is a...     

Sparse graphs and an augmentation problem

Mathematical Programming - For two integers $$k&gt;0$$ and $$\ell $$ , a graph $$G=(V,E)$$ is called $$(k,\ell )$$ -tight if $$|E|=k|V|-\ell $$ and $$i_G(X)\le k|X|-\ell $$ for each...     

The completeness characterization of $$C(\mathcal {L})$$ C ( L ) , $$\mathcal {L}$$ L a locale

Positivity - The result of the title is: an archimedean $$\ell $$ -group with weak unit A is (isomorphic to) $$C(\mathcal {L})$$ for some (identifiable) locale $$\mathcal {L}$$ (or, $$\mathbb...     

On weakening tightness to weak tightness

The weak tightness wt(X) of a space X was introduced in Carlson (Topol Appl 249:103–111, 2018) with the property $$wt(X)\le t(X)$$. We investigate several well-known results concerning t(X) and consider whether they extend to the weak tightness setting. First we give an example of a non-sequential compactum X such that $$wt(X)=\aleph _0<t(X)$$ under $$2^{\aleph _0}=2^{\aleph _1}$$. In particular, this demonstrates the celebrated Balogh’s (Proc Am Math Soc 105(3):755–764, 1989) Theorem does not hold in general if countably tight is replaced with weakly countably tight. Second, we introduce the notion of an S-free sequence and show that if X is a homogeneous compactum then $$|X|\le 2^{wt(X)\pi \chi (X)}$$. This refines a theorem of de la Vega (Topol Appl 153:2118–2123, 2006). In the case where the cardinal invariants involved are countable, this also represents a variation of a theorem of Juhász and van Mill (Proc Am Math Soc 146(1):429–437, 2018). In this connection we also show $$w(X)\le 2^{wt(X)}$$ for a homogeneous compactum. Third, we show that if X is a $$T_1$$ space, $$wt(X)\le \kappa $$, X is $$\kappa ^+$$-compact, and $$\psi (\overline{D},X)\le 2^\kappa $$ for any $$D\subseteq X$$ satisfying $$|D|\le 2^\kappa $$, then (a) $$d(X)\le 2^\kappa $$ and (b) X has at most $$2^\kappa $$-many $$G_\kappa $$-points. This is a variation of another theorem of Balogh (Topol Proc 27:9–14, 2003). Finally, we show that if X is a regular space, $$\kappa =L(X)wt(X)$$, and $$\lambda $$ is a caliber of X satisfying $$\kappa <\lambda \le \left( 2^{\kappa }\right) ^+$$, then $$d(X)\le 2^{\kappa }$$. This extends of theorem of Arhangel$$'$$skiĭ (Topol Appl 104:13–26, 2000).     

Pro- $$\mathcal {C}$$ C congruence properties for groups of rooted tree automorphisms

We propose a generalisation of the congruence subgroup problem for groups acting on rooted trees. Instead of only comparing the profinite completion to that given by level stabilizers, we also compare pro- $$\mathcal {C}$$ completions of the group, where $$\mathcal {C}$$ is a pseudo-variety of finite groups. A group acting on a rooted, locally finite tree has the $$\mathcal {C}$$ -congruence subgroup property ( $$\mathcal {C}$$ -CSP) if its pro- $$\mathcal {C}$$ completion coincides with the completion with respect to level stabilizers. We give a sufficient condition for a weakly regular branch group to have the $$\mathcal {C}$$ -CSP. In the case where $$\mathcal {C}$$ is also closed under extensions (for instance the class of all finite p-groups for some prime p), our sufficient condition is also necessary. We apply the criterion to show that the Basilica group and the GGS-groups with constant defining vector (odd prime relatives of the Basilica group) have the p-CSP.     

Tauberian theorems for the logarithmic summability methods of integrals

Positivity - A real-valued continuous function f on $$[1, \infty )$$ is said to be summable by the logarithmic summability method of integrals (shortly, $$\ell $$ summable) if $$\begin{aligned}...     

The Liouville-type theorem for problems with nonstandard growth derived by Caccioppoli-type estimate

Let u be a nonnegative solution to the PDI $$-\,\mathrm{div} \mathcal {A}(x, u, \nabla u)\geqslant \mathcal {B}(x,u, \nabla u)$$ in $$\Omega $$, where $$\mathcal {A}$$ and $$\mathcal {B}$$ are differential operators with p(x)-type growth. As a consequence of the Caccioppoli-type inequality for the solution u, we obtain the Liouville-type theorem under some integral condition. We simplify the assumptions on functions $$ \mathcal {A}$$ and $$ \mathcal {B}$$, and we do not restrict the range of p(x) by the dimension n, therefore we can cover quite general family of problems.